Static Analysis Gate

Workflow runs for Static Analysis Gate

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

  failed:
  Static Analysis Gate#317:Commitf546ee9pushedbyhyperpolymath
  main

  Nov 10, 20263m 53s
  More actions for workflow run 317

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

  failed:
  Static Analysis Gate#316:Pull request#466synchronizebyhyperpolymath
  claude/zen-brahmagupta-opqqle

  Nov 10, 20263m 49s
  More actions for workflow run 316

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

  failed:
  Static Analysis Gate#315:Commita261ac6pushedbyhyperpolymath
  main

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

• fix(trust): one trust kernel; Level 4 needs a certificate, Level 5 needs two small kernels

  failed:
  Static Analysis Gate#314:Pull request#477synchronizebyhyperpolymath
  claude/zen-brahmagupta-opqqle-w0-trust

  Nov 9, 20265m 58s
  More actions for workflow run 314

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

  failed:
  Static Analysis Gate#313:Commit72112a9pushedbyhyperpolymath
  main

  Nov 9, 20264m 40s
  More actions for workflow run 313

• fix(abi): CapnSchemas proved its claims about implicit variables; qualify, gate it in the ipkg

  failed:
  Static Analysis Gate#312:Pull request#472synchronizebyhyperpolymath
  claude/new-session-th4e9w-abi-capnschemas

  Nov 9, 20266m 23s
  More actions for workflow run 312

• fix(trust): one trust kernel; Level 4 needs a certificate, Level 5 needs two small kernels

  failed:
  Static Analysis Gate#311:Pull request#477synchronizebyhyperpolymath
  claude/zen-brahmagupta-opqqle-w0-trust

  Nov 9, 20265m 27s
  More actions for workflow run 311

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

  failed:
  Static Analysis Gate#310:Commit43b5cfbpushedbyhyperpolymath
  main

  Nov 9, 20268m 50s
  More actions for workflow run 310

• fix(abi): CapnSchemas proved its claims about implicit variables; qualify, gate it in the ipkg

  failed:
  Static Analysis Gate#309:Pull request#472synchronizebyhyperpolymath
  claude/new-session-th4e9w-abi-capnschemas

  Nov 9, 20267m 33s
  More actions for workflow run 309

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

  failed:
  Static Analysis Gate#308:Pull request#478synchronizebyhyperpolymath
  claude/compassionate-fermat-9x7vpe-scanner-pin

  Nov 9, 20263m 10s
  More actions for workflow run 308

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

  failed:
  Static Analysis Gate#307:Commit65216a2pushedbyhyperpolymath
  main

  Nov 9, 20265m 5s
  More actions for workflow run 307

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

  failed:
  Static Analysis Gate#306:Pull request#478synchronizebyhyperpolymath
  claude/compassionate-fermat-9x7vpe-scanner-pin

  Nov 9, 20264m 42s
  More actions for workflow run 306

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

  failed:
  Static Analysis Gate#305:Commitc09903apushedbyhyperpolymath
  main

  Nov 9, 20268m 40s
  More actions for workflow run 305

• chore(ci): cargo fmt, rmcp RustSec bump, gitleaks false positive at source, playground template owner

  failed:
  Static Analysis Gate#304:Pull request#473synchronizebyhyperpolymath
  claude/compassionate-fermat-9x7vpe

  Nov 9, 20269m 11s
  More actions for workflow run 304

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

  failed:
  Static Analysis Gate#303:Pull request#465synchronizebyhyperpolymath
  claude/new-session-th4e9w-rustsec-rmcp

  Nov 9, 20263m 41s
  More actions for workflow run 303

• fix(trust): one trust kernel; Level 4 needs a certificate, Level 5 needs two small kernels

  failed:
  Static Analysis Gate#302:Pull request#477synchronizebyhyperpolymath
  claude/zen-brahmagupta-opqqle-w0-trust

  Nov 9, 20264m 18s
  More actions for workflow run 302

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

  failed:
  Static Analysis Gate#301:Commitf385a6dpushedbyhyperpolymath
  main

  Nov 9, 20265m 46s
  More actions for workflow run 301

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

  cancelled:
  Static Analysis Gate#300:Commita3043d0pushedbyhyperpolymath
  main

  Nov 9, 20262m 28s
  More actions for workflow run 300

• docs(proofs): refresh PROOF-STATUS against the 2026-11-09 audit and PROOF-POLICY §1.2/§8

  failed:
  Static Analysis Gate#299:Pull request#482synchronizebyhyperpolymath
  claude/new-session-th4e9w-proof-status-refresh

  Nov 9, 202617m 59s
  More actions for workflow run 299

• proof(agda): real E9 composition soundness in the gated meta-checker; relabel the two corpus files

  failed:
  Static Analysis Gate#298:Pull request#471synchronizebyhyperpolymath
  claude/new-session-th4e9w-e9-composition

  Nov 9, 202618m 40s
  More actions for workflow run 298

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

  failed:
  Static Analysis Gate#297:Commit3c06ac3pushedbyhyperpolymath
  main

  Nov 9, 202611m 53s
  More actions for workflow run 297

• W0 gate: gate convention, w0.sh exit gate, and fixes for its false greens

  failed:
  Static Analysis Gate#296:Pull request#475synchronizebyhyperpolymath
  claude/zen-brahmagupta-opqqle-w0-integ

  Nov 9, 20264m 51s
  More actions for workflow run 296

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

  failed:
  Static Analysis Gate#295:Pull request#483synchronizebyhyperpolymath
  claude/zen-brahmagupta-opqqle-w0-split2

  Nov 9, 20265m 23s
  More actions for workflow run 295

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

  failed:
  Static Analysis Gate#294:Commitcea26cdpushedbyhyperpolymath
  main

  Nov 9, 20264m 24s
  More actions for workflow run 294

• CI-4: make every allow-fail unit blocking or remove it; Containerfile reproducibility replaces the Guix job

  failed:
  Static Analysis Gate#293:Pull request#476synchronizebyhyperpolymath
  claude/zen-brahmagupta-opqqle-w0-ci

  Nov 9, 20264m 4s
  More actions for workflow run 293