Static Analysis Gate

static-analysis-gate.yml

329 workflow runs

fix(proofs): DOM-1/DOM-2 corrected, checked in CI with pinned Agda, g…
completed successfully:
Static Analysis Gate#329:Commit5063985pushedbyhyperpolymath
main
Nov 10, 20261m 46s
fix(proofs): a pinned Agda receipt for DOM-1/2, PWG labels, and no silent proof skips
completed successfully:
Static Analysis Gate#328:Pull request#126synchronizebyhyperpolymath
claude/new-session-th4e9w-proof-honesty
Nov 9, 20261h 48m 10s
fix(proofs): DOM-1/DOM-2 corrected, checked in CI with pinned Agda, graded PWG-3 from receipts
completed successfully:
Static Analysis Gate#327:Pull request#127synchronizebyhyperpolymath
claude/zen-brahmagupta-opqqle
Nov 9, 20261h 22m 13s
fix(proofs): a pinned Agda receipt for DOM-1/2, PWG labels, and no silent proof skips
completed successfully:
Static Analysis Gate#326:Pull request#126synchronizebyhyperpolymath
claude/new-session-th4e9w-proof-honesty
Nov 9, 20261h 15m 28s
fix(proofs): a pinned Agda receipt for DOM-1/2, PWG labels, and no silent proof skips
completed successfully:
Static Analysis Gate#325:Pull request#126synchronizebyhyperpolymath
claude/new-session-th4e9w-proof-honesty
Nov 9, 20261h 18m 51s
fix(proofs): DOM-1/DOM-2 corrected, checked in CI with pinned Agda, graded PWG-3 from receipts
completed successfully:
Static Analysis Gate#324:Pull request#127synchronizebyhyperpolymath
claude/zen-brahmagupta-opqqle
Nov 9, 20261h 22m 54s
fix(proofs): DOM-1/DOM-2 corrected, checked in CI with pinned Agda, graded PWG-3 from receipts
completed successfully:
Static Analysis Gate#323:Pull request#127openedbyhyperpolymath
claude/zen-brahmagupta-opqqle
Nov 9, 20261h 18m 10s
fix(proofs): a pinned Agda receipt for DOM-1/2, PWG labels, and no silent proof skips
completed successfully:
Static Analysis Gate#322:Pull request#126openedbyhyperpolymath
claude/new-session-th4e9w-proof-honesty
Nov 9, 20261h 22m 38s
chore(deps): bump the actions group with 2 updates (#125)
completed successfully:
Static Analysis Gate#321:Commit7a5ab74pushedbyhyperpolymath
main
Nov 8, 202652s
chore(deps): bump the actions group with 2 updates
completed successfully:
Static Analysis Gate#320:Pull request#125openedbydependabot[bot]Bot
dependabot/github_actions/actions-26b05f84a5
Nov 8, 202643s
fix(k9): validate K9 with the canonical validator; bring every K9 rec…
completed successfully:
Static Analysis Gate#319:Commit391564cpushedbyhyperpolymath
main
Nov 5, 202654s
fix(k9): validate K9 with the canonical validator; bring every K9 record to contract v1.0.0
completed successfully:
Static Analysis Gate#318:Pull request#124synchronizebyhyperpolymath
claude/new-session-th4e9w-wo10-k9
Nov 5, 20269m 31s
fix(k9): validate K9 with the canonical validator; bring every K9 record to contract v1.0.0
completed successfully:
Static Analysis Gate#317:Pull request#124synchronizebyhyperpolymath
claude/new-session-th4e9w-wo10-k9
Nov 5, 202614m 57s
fix(k9): validate K9 with the canonical validator; bring every K9 record to contract v1.0.0
completed successfully:
Static Analysis Gate#316:Pull request#124openedbyhyperpolymath
claude/new-session-th4e9w-wo10-k9
Nov 5, 202615m 58s
feat(proofs): introduce fail-closed cross-kernel reconciliation recei…
completed successfully:
Static Analysis Gate#315:Commit097f30bpushedbyhyperpolymath
main
Nov 3, 20263m 55s
feat(proofs): introduce fail-closed cross-kernel reconciliation receipts
completed successfully:
Static Analysis Gate#314:Pull request#119synchronizebyhyperpolymath
feat/proof-reconciliation-contract-20261101
Nov 3, 20264m 1s
ci: consume the reviewed SLSA governance allowlist (#123)
completed successfully:
Static Analysis Gate#313:Commit31fffdepushedbyhyperpolymath
main
Nov 3, 20263m 36s
ci: consume the reviewed SLSA governance allowlist
completed successfully:
Static Analysis Gate#312:Pull request#123synchronizebyhyperpolymath
fix/governance-slsa-policy-pin
Nov 3, 20263m 5s
feat(proofs): introduce fail-closed cross-kernel reconciliation receipts
completed successfully:
Static Analysis Gate#311:Pull request#119synchronizebyhyperpolymath
feat/proof-reconciliation-contract-20261101
Nov 3, 20261m 0s
audit(echidna): reconcile ledger topology; land receipt/warrant seman…
completed successfully:
Static Analysis Gate#310:Commitdb67754pushedbyhyperpolymath
main
Nov 3, 20261m 6s
ci: consume the reviewed SLSA governance allowlist
completed successfully:
Static Analysis Gate#309:Pull request#123openedbyhyperpolymath
fix/governance-slsa-policy-pin
Nov 2, 20261m 5s
feat(proofs): introduce fail-closed cross-kernel reconciliation receipts
completed successfully:
Static Analysis Gate#308:Pull request#119synchronizebyhyperpolymath
feat/proof-reconciliation-contract-20261101
Nov 2, 202652s
feat(proofs): introduce fail-closed cross-kernel reconciliation receipts
completed successfully:
Static Analysis Gate#307:Pull request#119synchronizebyhyperpolymath
feat/proof-reconciliation-contract-20261101
Nov 2, 202647s
audit(echidna): reconcile ledger topology; land receipt/warrant semantics at Grade 3
completed successfully:
Static Analysis Gate#306:Pull request#122synchronizebyhyperpolymath
arena/4fb489bc-proof-burrower
Nov 1, 20265m 10s
audit(echidna): reconcile ledger topology; land receipt/warrant semantics at Grade 3
completed successfully:
Static Analysis Gate#305:Pull request#122synchronizebyhyperpolymath
arena/4fb489bc-proof-burrower
Nov 1, 20261m 0s