Server Boot Gate

server-boot-gate.yml

669 workflow runs

fix(deploy): replace the pasted stopgap runbook with a fail-closed sc…
completed successfully:
Server Boot Gate#669:Commitf546ee9pushedbyhyperpolymath
main
Nov 10, 20261m 8s
fix(deploy): replace the pasted stopgap runbook with a fail-closed script
completed successfully:
Server Boot Gate#668:Pull request#466synchronizebyhyperpolymath
claude/zen-brahmagupta-opqqle
Nov 10, 20261m 38s
fix(trust): one trust kernel; Level 4 needs a certificate, Level 5 ne…
completed successfully:
Server Boot Gate#667:Commita261ac6pushedbyhyperpolymath
main
Nov 9, 20261m 35s
fix(trust): one trust kernel; Level 4 needs a certificate, Level 5 needs two small kernels
completed successfully:
Server Boot Gate#666:Pull request#477synchronizebyhyperpolymath
claude/zen-brahmagupta-opqqle-w0-trust
Nov 9, 20264m 31s
fix(abi): CapnSchemas proved its claims about implicit variables; qua…
completed successfully:
Server Boot Gate#665:Commit72112a9pushedbyhyperpolymath
main
Nov 9, 20261m 42s
fix(abi): CapnSchemas proved its claims about implicit variables; qualify, gate it in the ipkg
completed successfully:
Server Boot Gate#664:Pull request#472synchronizebyhyperpolymath
claude/new-session-th4e9w-abi-capnschemas
Nov 9, 20262m 43s
fix(trust): one trust kernel; Level 4 needs a certificate, Level 5 needs two small kernels
completed successfully:
Server Boot Gate#663:Pull request#477synchronizebyhyperpolymath
claude/zen-brahmagupta-opqqle-w0-trust
Nov 9, 20261m 42s
fix(ci): pin panic-attack f2a6a70 so the static analysis scan can com…
completed successfully:
Server Boot Gate#662:Commit43b5cfbpushedbyhyperpolymath
main
Nov 9, 20261m 37s
fix(abi): CapnSchemas proved its claims about implicit variables; qualify, gate it in the ipkg
completed successfully:
Server Boot Gate#661:Pull request#472synchronizebyhyperpolymath
claude/new-session-th4e9w-abi-capnschemas
Nov 9, 20263m 10s
fix(ci): pin panic-attack f2a6a70 so the static analysis scan can complete
completed successfully:
Server Boot Gate#660:Pull request#478synchronizebyhyperpolymath
claude/compassionate-fermat-9x7vpe-scanner-pin
Nov 9, 20261m 18s
chore(ci): cargo fmt, rmcp RustSec bump, gitleaks false positive at s…
completed successfully:
Server Boot Gate#659:Commit65216a2pushedbyhyperpolymath
main
Nov 9, 20262m 3s
fix(ci): pin panic-attack f2a6a70 so the static analysis scan can complete
completed successfully:
Server Boot Gate#658:Pull request#478synchronizebyhyperpolymath
claude/compassionate-fermat-9x7vpe-scanner-pin
Nov 9, 20261m 43s
fix(ci): restore main's red checks (rmcp RustSec, rustfmt, Hypatia Zi…
completed successfully:
Server Boot Gate#657:Commitc09903apushedbyhyperpolymath
main
Nov 9, 20263m 15s
chore(ci): cargo fmt, rmcp RustSec bump, gitleaks false positive at source, playground template owner
completed successfully:
Server Boot Gate#656:Pull request#473synchronizebyhyperpolymath
claude/compassionate-fermat-9x7vpe
Nov 9, 20262m 13s
fix(ci): restore main's red checks (rmcp RustSec, rustfmt, Hypatia Zig casts)
completed successfully:
Server Boot Gate#655:Pull request#465synchronizebyhyperpolymath
claude/new-session-th4e9w-rustsec-rmcp
Nov 9, 20262m 24s
fix(trust): one trust kernel; Level 4 needs a certificate, Level 5 needs two small kernels
completed successfully:
Server Boot Gate#654:Pull request#477synchronizebyhyperpolymath
claude/zen-brahmagupta-opqqle-w0-trust
Nov 9, 20261m 52s
docs(proofs): refresh PROOF-STATUS against the 2026-11-09 audit and P…
completed successfully:
Server Boot Gate#653:Commitf385a6dpushedbyhyperpolymath
main
Nov 9, 20263m 21s
proof(agda): real E9 composition soundness in the gated meta-checker;…
cancelled:
Server Boot Gate#652:Commita3043d0pushedbyhyperpolymath
main
Nov 9, 20261m 23s
docs(proofs): refresh PROOF-STATUS against the 2026-11-09 audit and PROOF-POLICY §1.2/§8
completed successfully:
Server Boot Gate#651:Pull request#482synchronizebyhyperpolymath
claude/new-session-th4e9w-proof-status-refresh
Nov 9, 20266m 20s
proof(agda): real E9 composition soundness in the gated meta-checker; relabel the two corpus files
completed successfully:
Server Boot Gate#650:Pull request#471synchronizebyhyperpolymath
claude/new-session-th4e9w-e9-composition
Nov 9, 20267m 28s
W0 split: server.rs, main.rs and the Justfile split by area, held to …
completed successfully:
Server Boot Gate#649:Commit3c06ac3pushedbyhyperpolymath
main
Nov 9, 20261m 53s
W0 gate: gate convention, w0.sh exit gate, and fixes for its false greens
completed successfully:
Server Boot Gate#648:Pull request#475synchronizebyhyperpolymath
claude/zen-brahmagupta-opqqle-w0-integ
Nov 9, 20263m 28s
W0 split: server.rs, main.rs and the Justfile split by area, held to pre-split goldens
completed successfully:
Server Boot Gate#647:Pull request#483synchronizebyhyperpolymath
claude/zen-brahmagupta-opqqle-w0-split2
Nov 9, 20261m 10s
CI-4: make every allow-fail unit blocking or remove it; Containerfile…
completed successfully:
Server Boot Gate#646:Commitcea26cdpushedbyhyperpolymath
main
Nov 9, 20262m 12s
CI-4: make every allow-fail unit blocking or remove it; Containerfile reproducibility replaces the Guix job
completed successfully:
Server Boot Gate#645:Pull request#476synchronizebyhyperpolymath
claude/zen-brahmagupta-opqqle-w0-ci
Nov 9, 20261m 39s