Repository navigation
chore(deps): bump rustls from 0.23.39 to 0.23.46 in /coord-tui in the cargo group across 1 directory - #373
Open
dependabot[bot] wants to merge 1 commit into
Open
chore(deps): bump rustls from 0.23.39 to 0.23.46 in /coord-tui in the cargo group across 1 directory#373dependabot[bot] wants to merge 1 commit into
dependabot[bot] wants to merge 1 commit into
Conversation
Bumps the cargo group with 1 update in the /coord-tui directory: [rustls](https://github.com/rustls/rustls). Updates `rustls` from 0.23.39 to 0.23.46 - [Release notes](https://github.com/rustls/rustls/releases) - [Changelog](https://github.com/rustls/rustls/blob/main/CHANGELOG.md) - [Commits](rustls/rustls@v/0.23.39...v/0.23.46) --- updated-dependencies: - dependency-name: rustls dependency-version: 0.23.46 dependency-type: indirect dependency-group: cargo ... Signed-off-by: dependabot[bot] <support@github.com>
dependabot
Bot
added
dependencies
Contributor
|
Important Review skippedBot user detected. To trigger a single review, invoke the
 |
🔍 Hypatia Security ScanFindings: 83 issues detected
View findings (sorted by severity)[
{
"line": 70,
"reason": "believe_me undermines formal verification (4 occurrences, CWE-704, line 70, 269, 279, 289)",
"type": "believe_me",
"file": "/home/runner/work/boj-server/boj-server/src/abi/Boj/SafetyLemmas.idr",
"level": "epi",
"action": "flag",
"rule_module": "code_safety",
"severity": "critical",
"evidence": [
{
"span": {
"file": "/home/runner/work/boj-server/boj-server/src/abi/Boj/SafetyLemmas.idr",
"end_line": 70,
"start_line": 70
},
"rule": "code_safety/believe_me",
"observations": 1,
"rule_version": "0.1.0"
}
],
"support": {
"kind": "pattern"
}
},
{
"reason": "Descriptile in retired location -- must be in .machine_readable/descriptiles/",
"type": "SD004",
"file": ".machine_readable/6a2/STATE.a2ml",
"level": "epi",
"target": ".machine_readable/descriptiles/STATE.a2ml",
"action": "move",
"rule_module": "structural_drift",
"severity": "critical",
"evidence": [
{
"span": {
"file": ".machine_readable/6a2/STATE.a2ml",
"end_line": 0,
"start_line": 0
},
"rule": "structural_drift/SD004",
"observations": 1,
"rule_version": "0.1.0"
}
],
"support": {
"kind": "pattern"
}
},
{
"reason": "Descriptile in retired location -- must be in .machine_readable/descriptiles/",
"type": "SD004",
"file": ".machine_readable/6a2/META.a2ml",
"level": "epi",
"target": ".machine_readable/descriptiles/META.a2ml",
"action": "move",
"rule_module": "structural_drift",
"severity": "critical",
"evidence": [
{
"span": {
"file": ".machine_readable/6a2/META.a2ml",
"end_line": 0,
"start_line": 0
},
"rule": "structural_drift/SD004",
"observations": 1,
"rule_version": "0.1.0"
}
],
"support": {
"kind": "pattern"
}
},
{
"reason": "Descriptile in retired location -- must be in .machine_readable/descriptiles/",
"type": "SD004",
"file": ".machine_readable/6a2/ECOSYSTEM.a2ml",
"level": "epi",
"target": ".machine_readable/descriptiles/ECOSYSTEM.a2ml",
"action": "move",
"rule_module": "structural_drift",
"severity": "critical",
"evidence": [
{
"span": {
"file": ".machine_readable/6a2/ECOSYSTEM.a2ml",
"end_line": 0,
"start_line": 0
},
"rule": "structural_drift/SD004",
"observations": 1,
"rule_version": "0.1.0"
}
],
"support": {
"kind": "pattern"
}
},
{
"reason": "Descriptile in retired location -- must be in .machine_readable/descriptiles/",
"type": "SD004",
"file": ".machine_readable/6a2/AGENTIC.a2ml",
"level": "epi",
"target": ".machine_readable/descriptiles/AGENTIC.a2ml",
"action": "move",
"rule_module": "structural_drift",
"severity": "critical",
"evidence": [
{
"span": {
"file": ".machine_readable/6a2/AGENTIC.a2ml",
"end_line": 0,
"start_line": 0
},
"rule": "structural_drift/SD004",
"observations": 1,
"rule_version": "0.1.0"
}
],
"support": {
"kind": "pattern"
}
},
{
"reason": "Descriptile in retired location -- must be in .machine_readable/descriptiles/",
"type": "SD004",
"file": ".machine_readable/6a2/NEUROSYM.a2ml",
"level": "epi",
"target": ".machine_readable/descriptiles/NEUROSYM.a2ml",
"action": "move",
"rule_module": "structural_drift",
"severity": "critical",
"evidence": [
{
"span": {
"file": ".machine_readable/6a2/NEUROSYM.a2ml",
"end_line": 0,
"start_line": 0
},
"rule": "structural_drift/SD004",
"observations": 1,
"rule_version": "0.1.0"
}
],
"support": {
"kind": "pattern"
}
},
{
"reason": "Descriptile in retired location -- must be in .machine_readable/descriptiles/",
"type": "SD004",
"file": ".machine_readable/6a2/PLAYBOOK.a2ml",
"level": "epi",
"target": ".machine_readable/descriptiles/PLAYBOOK.a2ml",
"action": "move",
"rule_module": "structural_drift",
"severity": "critical",
"evidence": [
{
"span": {
"file": ".machine_readable/6a2/PLAYBOOK.a2ml",
"end_line": 0,
"start_line": 0
},
"rule": "structural_drift/SD004",
"observations": 1,
"rule_version": "0.1.0"
}
],
"support": {
"kind": "pattern"
}
},
{
"reason": "Step uses `peter-evans/repository-dispatch` with `token: ${{ secrets.FARM_DISPATCH_TOKEN }}` but has no `if: secrets.FARM_DISPATCH_TOKEN != ''` gate. On repos where the secret hasn't been propagated the action fails on every push, red-maining the repo. Add the step-level gate (or env+if pattern) so the missing-secret path is a clean skip instead of a red.",
"type": "secret_action_without_presence_gate",
"file": ".github/workflows/instant-sync.yml",
"level": "epi",
"action": "peter-evans/repository-dispatch",
"rule_module": "workflow_audit",
"severity": "high",
"fix_recipe": "add_secret_presence_gate",
"evidence": [
{
"span": {
"file": ".github/workflows/instant-sync.yml",
"end_line": 0,
"start_line": 0
},
"rule": "workflow_audit/secret_action_without_presence_gate",
"observations": 1,
"rule_version": "0.1.0"
}
],
"support": {
"kind": "pattern"
}
},
{
"line": 29,
"reason": "job `deploy` in .github/workflows/pages-deploy.yml references `secrets.*` but does not install `step-security/harden-runner` or declare its egress — review outbound-egress monitoring; it holds the credential next to fetched code (a piped installer or a dependency install/build) in the same step",
"type": "RE001",
"file": ".github/workflows/pages-deploy.yml",
"level": "epi",
"action": "report",
"rule_module": "research_extensions",
"severity": "high",
"evidence": [
{
"span": {
"file": ".github/workflows/pages-deploy.yml",
"end_line": 29,
"start_line": 29
},
"rule": "research_extensions/RE001",
"observations": 1,
"rule_version": "0.1.0"
}
],
"support": {
"kind": "pattern"
}
},
{
"line": null,
"reason": "workflow .github/workflows/hypatia-scan.yml uploads SARIF to code scanning but masks the scanner's failure (`|| true` / `|| echo 0`) and never asserts the findings artefact is a non-empty array. When the scanner fails, this uploads a SARIF with zero results, and GitHub AUTO-CLOSES every previously-open alert for that category — silently, with the job green.",
"type": "WH014",
"file": ".github/workflows/hypatia-scan.yml",
"level": "epi",
"action": "report",
"rule_module": "workflow_hardening",
"severity": "high",
"evidence": [
{
"span": {
"file": ".github/workflows/hypatia-scan.yml",
"end_line": 0,
"start_line": 0
},
"rule": "workflow_hardening/WH014",
"observations": 1,
"rule_version": "0.1.0"
}
],
"support": {
"kind": "pattern"
}
},
{
"line": 33,
"reason": "Shell execution -- validate input before passing to shell (1 occurrences, CWE-78, line 33)",
"type": "js_exec_sync",
"file": "/home/runner/work/boj-server/boj-server/mcp-bridge/lib/nickel-validator.js",
"level": "epi",
"action": "flag",
"rule_module": "code_safety",
"severity": "high",
"evidence": [
{
"span": {
"file": "/home/runner/work/boj-server/boj-server/mcp-bridge/lib/nickel-validator.js",
"end_line": 33,
"start_line": 33
},
"rule": "code_safety/js_exec_sync",
"observations": 1,
"rule_version": "0.1.0"
}
],
"support": {
"kind": "pattern"
}
},
{
"reason": "Code scanning (Hypatia): hypatia/workflow_audit/secret_action_without_presence_gate -- Hypatia workflow_audit: secret_action_without_presence_gate -- 26 day(s) old [STALE]",
"type": "CSA001",
"file": ".github/workflows/instant-sync.yml",
"level": "epi",
"action": "escalate",
"rule_module": "code_scanning_alerts",
"severity": "high",
"evidence": [
{
"span": {
"file": ".github/workflows/instant-sync.yml",
"end_line": 0,
"start_line": 0
},
"rule": "code_scanning_alerts/CSA001",
"observations": 1,
"rule_version": "0.1.0"
}
],
"support": {
"kind": "pattern"
}
},
{
"reason": "Code scanning (Hypatia): hypatia/code_safety/js_exec_sync -- Hypatia code_safety: js_exec_sync -- 29 day(s) old [STALE]",
"type": "CSA001",
"file": "mcp-bridge/lib/nickel-validator.js",
"level": "epi",
"action": "escalate",
"rule_module": "code_scanning_alerts",
"severity": "high",
"evidence": [
{
"span": {
"file": "mcp-bridge/lib/nickel-validator.js",
"end_line": 0,
"start_line": 0
},
"rule": "code_scanning_alerts/CSA001",
"observations": 1,
"rule_version": "0.1.0"
}
],
"support": {
"kind": "pattern"
}
},
{
"reason": "Code scanning (Hypatia): hypatia/code_safety/believe_me -- Hypatia code_safety: believe_me -- 29 day(s) old [STALE]",
"type": "CSA001",
"file": "src/abi/Boj/SafetyLemmas.idr",
"level": "epi",
"action": "escalate",
"rule_module": "code_scanning_alerts",
"severity": "high",
"evidence": [
{
"span": {
"file": "src/abi/Boj/SafetyLemmas.idr",
"end_line": 0,
"start_line": 0
},
"rule": "code_scanning_alerts/CSA001",
"observations": 1,
"rule_version": "0.1.0"
}
],
"support": {
"kind": "pattern"
}
},
{
"reason": "Code scanning (Hypatia): hypatia/workflow_hardening/WH014 -- Hypatia workflow_hardening: WH014 -- 40 day(s) old [STALE]",
"type": "CSA001",
"file": ".github/workflows/hypatia-scan.yml",
"level": "epi",
"action": "escalate",
"rule_module": "code_scanning_alerts",
"severity": "high",
"evidence": [
{
"span": {
"file": ".github/workflows/hypatia-scan.yml",
"end_line": 0,
"start_line": 0
},
"rule": "code_scanning_alerts/CSA001",
"observations": 1,
"rule_version": "0.1.0"
}
],
"support": {
"kind": "pattern"
}
},
{
"reason": "Code-scanning alert hypatia/workflow_audit/secret_action_without_presence_gate (high) at .github/workflows/instant-sync.yml is 26 days old (threshold: 7 days) -- overdue for remediation",
"type": "CSA003",
"file": ".github/workflows/instant-sync.yml",
"level": "epi",
"action": "escalate",
"rule_module": "code_scanning_alerts",
"severity": "high",
"evidence": [
{
"span": {
"file": ".github/workflows/instant-sync.yml",
"end_line": 0,
"start_line": 0
},
"rule": "code_scanning_alerts/CSA003",
"observations": 1,
"rule_version": "0.1.0"
}
],
"support": {
"kind": "pattern"
}
},
{
"reason": "Code-scanning alert hypatia/code_safety/js_exec_sync (high) at mcp-bridge/lib/nickel-validator.js is 29 days old (threshold: 7 days) -- overdue for remediation",
"type": "CSA003",
"file": "mcp-bridge/lib/nickel-validator.js",
"level": "epi",
"action": "escalate",
"rule_module": "code_scanning_alerts",
"severity": "high",
"evidence": [
{
"span": {
"file": "mcp-bridge/lib/nickel-validator.js",
"end_line": 0,
"start_line": 0
},
"rule": "code_scanning_alerts/CSA003",
"observations": 1,
"rule_version": "0.1.0"
}
],
"support": {
"kind": "pattern"
}
},
{
"reason": "Code-scanning alert hypatia/code_safety/believe_me (high) at src/abi/Boj/SafetyLemmas.idr is 29 days old (threshold: 7 days) -- overdue for remediation",
"type": "CSA003",
"file": "src/abi/Boj/SafetyLemmas.idr",
"level": "epi",
"action": "escalate",
"rule_module": "code_scanning_alerts",
"severity": "high",
"evidence": [
{
"span": {
"file": "src/abi/Boj/SafetyLemmas.idr",
"end_line": 0,
"start_line": 0
},
"rule": "code_scanning_alerts/CSA003",
"observations": 1,
"rule_version": "0.1.0"
}
],
"support": {
"kind": "pattern"
}
},
{
"reason": "Code-scanning alert PinnedDependenciesID (medium) at .github/workflows/push-email-notify.yml is 39 days old (threshold: 30 days) -- overdue for remediation",
"type": "CSA003",
"file": ".github/workflows/push-email-notify.yml",
"level": "epi",
"action": "escalate",
"rule_module": "code_scanning_alerts",
"severity": "high",
"evidence": [
{
"span": {
"file": ".github/workflows/push-email-notify.yml",
"end_line": 0,
"start_line": 0
},
"rule": "code_scanning_alerts/CSA003",
"observations": 1,
"rule_version": "0.1.0"
}
],
"support": {
"kind": "pattern"
}
},
{
"reason": "Code-scanning alert PinnedDependenciesID (medium) at .github/workflows/dogfood-gate.yml is 39 days old (threshold: 30 days) -- overdue for remediation",
"type": "CSA003",
"file": ".github/workflows/dogfood-gate.yml",
"level": "epi",
"action": "escalate",
"rule_module": "code_scanning_alerts",
"severity": "high",
"evidence": [
{
"span": {
"file": ".github/workflows/dogfood-gate.yml",
"end_line": 0,
"start_line": 0
},
"rule": "code_scanning_alerts/CSA003",
"observations": 1,
"rule_version": "0.1.0"
}
],
"support": {
"kind": "pattern"
}
},
{
"reason": "Code-scanning alert hypatia/workflow_hardening/WH014 (high) at .github/workflows/hypatia-scan.yml is 40 days old (threshold: 7 days) -- overdue for remediation",
"type": "CSA003",
"file": ".github/workflows/hypatia-scan.yml",
"level": "epi",
"action": "escalate",
"rule_module": "code_scanning_alerts",
"severity": "high",
"evidence": [
{
"span": {
"file": ".github/workflows/hypatia-scan.yml",
"end_line": 0,
"start_line": 0
},
"rule": "code_scanning_alerts/CSA003",
"observations": 1,
"rule_version": "0.1.0"
}
],
"support": {
"kind": "pattern"
}
},
{
"line": 52,
"reason": "CI policy requires a retired descriptile path; align the check with .machine_readable/descriptiles/",
"type": "SD024",
"file": "Justfile",
"level": "epi",
"category": "RetiredDescriptilePolicy",
"action": "update_reference",
"rule_module": "structural_drift",
"severity": "high",
"recipe_id": "recipe-retired-descriptile-policy",
"fix_script": "fix-retired-descriptile-policy.sh",
"evidence": [
{
"span": {
"file": "Justfile",
"end_line": 52,
"start_line": 52
},
"rule": "structural_drift/SD024",
"observations": 1,
"rule_version": "0.1.0"
}
],
"support": {
"kind": "pattern"
}
},
{
"line": 937,
"reason": "CI policy requires a retired descriptile path; align the check with .machine_readable/descriptiles/",
"type": "SD024",
"file": "Justfile",
"level": "epi",
"category": "RetiredDescriptilePolicy",
"action": "update_reference",
"rule_module": "structural_drift",
"severity": "high",
"recipe_id": "recipe-retired-descriptile-policy",
"fix_script": "fix-retired-descriptile-policy.sh",
"evidence": [
{
"span": {
"file": "Justfile",
"end_line": 937,
"start_line": 937
},
"rule": "structural_drift/SD024",
"observations": 1,
"rule_version": "0.1.0"
}
],
"support": {
"kind": "pattern"
}
},
{
"line": 959,
"reason": "CI policy requires a retired descriptile path; align the check with .machine_readable/descriptiles/",
"type": "SD024",
"file": "Justfile",
"level": "epi",
"category": "RetiredDescriptilePolicy",
"action": "update_reference",
"rule_module": "structural_drift",
"severity": "high",
"recipe_id": "recipe-retired-descriptile-policy",
"fix_script": "fix-retired-descriptile-policy.sh",
"evidence": [
{
"span": {
"file": "Justfile",
"end_line": 959,
"start_line": 959
},
"rule": "structural_drift/SD024",
"observations": 1,
"rule_version": "0.1.0"
}
],
"support": {
"kind": "pattern"
}
},
{
"line": 1041,
"reason": "CI policy requires a retired descriptile path; align the check with .machine_readable/descriptiles/",
"type": "SD024",
"file": "Justfile",
"level": "epi",
"category": "RetiredDescriptilePolicy",
"action": "update_reference",
"rule_module": "structural_drift",
"severity": "high",
"recipe_id": "recipe-retired-descriptile-policy",
"fix_script": "fix-retired-descriptile-policy.sh",
"evidence": [
{
"span": {
"file": "Justfile",
"end_line": 1041,
"start_line": 1041
},
"rule": "structural_drift/SD024",
"observations": 1,
"rule_version": "0.1.0"
}
],
"support": {
"kind": "pattern"
}
}
]Powered by Hypatia Neurosymbolic CI/CD Intelligence |
This branch has not been deployed
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Bumps the cargo group with 1 update in the /coord-tui directory: rustls.
Updates
rustlsfrom 0.23.39 to 0.23.46Commits
f04804fDelay saving KX hint until handshake confirmation049d39bBump version to 0.23.466d0ba08Eliminate secret from impl Debug forServerSessionValue2b82b81unbuffered: update TLS 1.3 traffic keys before exhausting them74343e7conn: update TLS 1.3 traffic keys within fragmented writes795eea7Advance the HPKE sequence only after seal succeedsd67cb71stream: provide backpressure while buffering received plaintext7a69adeutil: fuse flushes from connections with errors493d089conn: fuse writes for connections with errorsdb00e01util: keep flushing after short writesDependabot will resolve any conflicts with this PR as long as you don't alter it yourself. You can also trigger a rebase manually by commenting
@dependabot rebase.Dependabot commands and options
You can trigger Dependabot actions by commenting on this PR:
@dependabot rebasewill rebase this PR@dependabot recreatewill recreate this PR, overwriting any edits that have been made to it@dependabot show <dependency name> ignore conditionswill show all of the ignore conditions of the specified dependency@dependabot ignore <dependency name> major versionwill close this group update PR and stop Dependabot creating any more for the specific dependency's major version (unless you unignore this specific dependency's major version or upgrade to it yourself)@dependabot ignore <dependency name> minor versionwill close this group update PR and stop Dependabot creating any more for the specific dependency's minor version (unless you unignore this specific dependency's minor version or upgrade to it yourself)@dependabot ignore <dependency name>will close this group update PR and stop Dependabot creating any more for the specific dependency (unless you unignore this specific dependency or upgrade to it yourself)@dependabot unignore <dependency name>will remove all of the ignore conditions of the specified dependency@dependabot unignore <dependency name> <ignore condition>will remove the ignore condition of the specified dependency and ignore conditionsYou can disable automated security fix PRs for this repo from the Security Alerts page.