Security Scan

Workflow runs for Security Scan

• fix(deploy): replace the pasted stopgap runbook with a fail-closed sc…

  failed:
  Security Scan#797:Commitf546ee9pushedbyhyperpolymath
  main

  Nov 10, 20262m 57s
  More actions for workflow run 797

• fix(trust): one trust kernel; Level 4 needs a certificate, Level 5 ne…

  failed:
  Security Scan#796:Commita261ac6pushedbyhyperpolymath
  main

  Nov 9, 20264m 28s
  More actions for workflow run 796

• fix(abi): CapnSchemas proved its claims about implicit variables; qua…

  failed:
  Security Scan#795:Commit72112a9pushedbyhyperpolymath
  main

  Nov 9, 20263m 13s
  More actions for workflow run 795

• fix(ci): pin panic-attack f2a6a70 so the static analysis scan can com…

  failed:
  Security Scan#794:Commit43b5cfbpushedbyhyperpolymath
  main

  Nov 9, 20263m 49s
  More actions for workflow run 794

• chore(ci): cargo fmt, rmcp RustSec bump, gitleaks false positive at s…

  failed:
  Security Scan#793:Commit65216a2pushedbyhyperpolymath
  main

  Nov 9, 20263m 43s
  More actions for workflow run 793

• fix(ci): restore main's red checks (rmcp RustSec, rustfmt, Hypatia Zi…

  failed:
  Security Scan#792:Commitc09903apushedbyhyperpolymath
  main

  Nov 9, 20264m 48s
  More actions for workflow run 792

• docs(proofs): refresh PROOF-STATUS against the 2026-11-09 audit and P…

  failed:
  Security Scan#791:Commitf385a6dpushedbyhyperpolymath
  main

  Nov 9, 20263m 34s
  More actions for workflow run 791

• proof(agda): real E9 composition soundness in the gated meta-checker;…

  cancelled:
  Security Scan#790:Commita3043d0pushedbyhyperpolymath
  main

  Nov 9, 20261m 19s
  More actions for workflow run 790

• W0 split: server.rs, main.rs and the Justfile split by area, held to …

  failed:
  Security Scan#789:Commit3c06ac3pushedbyhyperpolymath
  main

  Nov 9, 20265m 30s
  More actions for workflow run 789

• CI-4: make every allow-fail unit blocking or remove it; Containerfile…

  failed:
  Security Scan#788:Commitcea26cdpushedbyhyperpolymath
  main

  Nov 9, 20264m 21s
  More actions for workflow run 788

• fix(k9): validate K9 with the canonical validator; bring every K9 rec…

  failed:
  Security Scan#787:Commit2e51291pushedbyhyperpolymath
  main

  Nov 9, 20264m 6s
  More actions for workflow run 787

• fix(test): stop executable fixtures racing ETXTBSY under parallel tes…

  cancelled:
  Security Scan#786:Commitd059264pushedbyhyperpolymath
  main

  Nov 9, 20263m 18s
  More actions for workflow run 786

• proof(agda): model the speculative CAS + cancel-token race; replace t…

  failed:
  Security Scan#785:Commit2cb8cebpushedbyhyperpolymath
  main

  Nov 9, 20263m 7s
  More actions for workflow run 785

• Security Scan

  failed:
  Security Scan#784:Scheduled
  main

  Nov 8, 20262m 38s
  More actions for workflow run 784

• Document verification integration status separately from prover decla…

  failed:
  Security Scan#783:Commit2ab7574pushedbyhyperpolymath
  main

  Nov 7, 20263m 16s
  More actions for workflow run 783

• audit: routing/rule-engine recon, Logtalk quarantine; Agda proofs re-…

  failed:
  Security Scan#782:Commita81467bpushedbyhyperpolymath
  main

  Nov 5, 20263m 27s
  More actions for workflow run 782

• fix(deploy): containment stopgap for api.nesy-prover.dev (#461)

  failed:
  Security Scan#781:Commit3e7a9b6pushedbyhyperpolymath
  main

  Nov 5, 20268m 35s
  More actions for workflow run 781

• fix(ci): call standards reusables at metadatastician/standards (#458)

  failed:
  Security Scan#780:Commitb12522apushedbyhyperpolymath
  main

  Nov 5, 20263m 20s
  More actions for workflow run 780

• fix(deps): resolve RUSTSEC-2026-0433 in the root lockfile (#460)

  failed:
  Security Scan#779:Commit0211aa0pushedbyhyperpolymath
  main

  Nov 5, 20266m 9s
  More actions for workflow run 779

• chore(deps): bump rustls from 0.23.45 to 0.23.46 in /fuzz in the carg…

  failed:
  Security Scan#778:Commit6dbfea5pushedbyhyperpolymath
  main

  Nov 4, 20263m 46s
  More actions for workflow run 778

• chore(deps): bump the actions group across 1 directory with 3 updates…

  cancelled:
  Security Scan#777:Commit430cf1dpushedbyhyperpolymath
  main

  Nov 4, 202624s
  More actions for workflow run 777

• fix(deps): resolve RUSTSEC-2026-0414 in the root lockfile (#457)

  failed:
  Security Scan#776:Commit744c86cpushedbyhyperpolymath
  main

  Nov 3, 20263m 17s
  More actions for workflow run 776

• proofs: require full Agda safe/cubical-compatible mode in dogfood and…

  failed:
  Security Scan#775:Commit1576370pushedbyhyperpolymath
  main

  Nov 2, 20262m 49s
  More actions for workflow run 775

• Security Scan

  failed:
  Security Scan#774:Scheduled
  main

  Nov 1, 20262m 59s
  More actions for workflow run 774

• feat(lexicon): echidna lexicon scan + canonicaliser completeness (sta…

  failed:
  Security Scan#773:Commit916b769pushedbyhyperpolymath
  main

  Oct 27, 20263m 27s
  More actions for workflow run 773