Mirror to Git Forges

Workflow runs for Mirror to Git Forges

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

  failed:
  Mirror to Git Forges#849:Commitf546ee9pushedbyhyperpolymath
  main

  Nov 10, 20263m 10s
  More actions for workflow run 849

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

  failed:
  Mirror to Git Forges#848:Commita261ac6pushedbyhyperpolymath
  main

  Nov 9, 20263m 22s
  More actions for workflow run 848

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

  failed:
  Mirror to Git Forges#847:Commit72112a9pushedbyhyperpolymath
  main

  Nov 9, 20266m 11s
  More actions for workflow run 847

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

  failed:
  Mirror to Git Forges#846:Commit43b5cfbpushedbyhyperpolymath
  main

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

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

  failed:
  Mirror to Git Forges#845:Commit65216a2pushedbyhyperpolymath
  main

  Nov 9, 20264m 36s
  More actions for workflow run 845

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

  failed:
  Mirror to Git Forges#844:Commitc09903apushedbyhyperpolymath
  main

  Nov 9, 20265m 21s
  More actions for workflow run 844

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

  failed:
  Mirror to Git Forges#843:Commitf385a6dpushedbyhyperpolymath
  main

  Nov 9, 20265m 25s
  More actions for workflow run 843

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

  cancelled:
  Mirror to Git Forges#842:Commita3043d0pushedbyhyperpolymath
  main

  Nov 9, 20261m 20s
  More actions for workflow run 842

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

  failed:
  Mirror to Git Forges#841:Commit3c06ac3pushedbyhyperpolymath
  main

  Nov 9, 20267m 41s
  More actions for workflow run 841

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

  failed:
  Mirror to Git Forges#840:Commitcea26cdpushedbyhyperpolymath
  main

  Nov 9, 20265m 31s
  More actions for workflow run 840

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

  failed:
  Mirror to Git Forges#839:Commit2e51291pushedbyhyperpolymath
  main

  Nov 9, 20264m 17s
  More actions for workflow run 839

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

  cancelled:
  Mirror to Git Forges#838:Commitd059264pushedbyhyperpolymath
  main

  Nov 9, 20263m 4s
  More actions for workflow run 838

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

  failed:
  Mirror to Git Forges#837:Commit2cb8cebpushedbyhyperpolymath
  main

  Nov 9, 20263m 31s
  More actions for workflow run 837

• Document verification integration status separately from prover decla…

  failed:
  Mirror to Git Forges#836:Commit2ab7574pushedbyhyperpolymath
  main

  Nov 7, 20264m 0s
  More actions for workflow run 836

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

  failed:
  Mirror to Git Forges#835:Commita81467bpushedbyhyperpolymath
  main

  Nov 5, 20265m 35s
  More actions for workflow run 835

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

  failed:
  Mirror to Git Forges#834:Commit3e7a9b6pushedbyhyperpolymath
  main

  Nov 5, 20269m 10s
  More actions for workflow run 834

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

  failed:
  Mirror to Git Forges#833:Commitb12522apushedbyhyperpolymath
  main

  Nov 5, 20264m 7s
  More actions for workflow run 833

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

  failed:
  Mirror to Git Forges#832:Commit0211aa0pushedbyhyperpolymath
  main

  Nov 5, 2026Failure
  More actions for workflow run 832

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

  failed:
  Mirror to Git Forges#831:Commit6dbfea5pushedbyhyperpolymath
  main

  Nov 4, 2026Failure
  More actions for workflow run 831

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

  failed:
  Mirror to Git Forges#830:Commit430cf1dpushedbyhyperpolymath
  main

  Nov 4, 2026Failure
  More actions for workflow run 830

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

  failed:
  Mirror to Git Forges#829:Commit744c86cpushedbyhyperpolymath
  main

  Nov 3, 2026Failure
  More actions for workflow run 829

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

  failed:
  Mirror to Git Forges#828:Commit1576370pushedbyhyperpolymath
  main

  Nov 2, 2026Failure
  More actions for workflow run 828

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

  failed:
  Mirror to Git Forges#827:Commit916b769pushedbyhyperpolymath
  main

  Oct 27, 2026Failure
  More actions for workflow run 827

• fix(corpus): the octad test's SCHEME path broke cargo check on main…

  failed:
  Mirror to Git Forges#826:Commitc03386bpushedbyhyperpolymath
  main

  Oct 22, 20262m 56s
  More actions for workflow run 826

• corpus: structural cross-prover identity keys + 256-dim structural em…

  failed:
  Mirror to Git Forges#825:Commite8e93f5pushedbyhyperpolymath
  main

  Oct 22, 20263m 1s
  More actions for workflow run 825