bridge-gate

Workflow runs for bridge-gate

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

  skipped:
  bridge-gate#503:Pull request#466synchronizebyhyperpolymath
  claude/zen-brahmagupta-opqqle

  Nov 10, 20261s
  More actions for workflow run 503

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

  skipped:
  bridge-gate#502:Pull request#477synchronizebyhyperpolymath
  claude/zen-brahmagupta-opqqle-w0-trust

  Nov 9, 20261s
  More actions for workflow run 502

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

  skipped:
  bridge-gate#501:Pull request#472synchronizebyhyperpolymath
  claude/new-session-th4e9w-abi-capnschemas

  Nov 9, 20262s
  More actions for workflow run 501

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

  skipped:
  bridge-gate#500:Pull request#477synchronizebyhyperpolymath
  claude/zen-brahmagupta-opqqle-w0-trust

  Nov 9, 20261s
  More actions for workflow run 500

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

  skipped:
  bridge-gate#499:Pull request#472synchronizebyhyperpolymath
  claude/new-session-th4e9w-abi-capnschemas

  Nov 9, 20261s
  More actions for workflow run 499

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

  skipped:
  bridge-gate#498:Pull request#478synchronizebyhyperpolymath
  claude/compassionate-fermat-9x7vpe-scanner-pin

  Nov 9, 2026Skipped
  More actions for workflow run 498

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

  skipped:
  bridge-gate#497:Pull request#478synchronizebyhyperpolymath
  claude/compassionate-fermat-9x7vpe-scanner-pin

  Nov 9, 20261s
  More actions for workflow run 497

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

  skipped:
  bridge-gate#496:Pull request#473synchronizebyhyperpolymath
  claude/compassionate-fermat-9x7vpe

  Nov 9, 20261s
  More actions for workflow run 496

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

  skipped:
  bridge-gate#495:Pull request#465synchronizebyhyperpolymath
  claude/new-session-th4e9w-rustsec-rmcp

  Nov 9, 20262s
  More actions for workflow run 495

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

  skipped:
  bridge-gate#494:Pull request#477synchronizebyhyperpolymath
  claude/zen-brahmagupta-opqqle-w0-trust

  Nov 9, 20261s
  More actions for workflow run 494

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

  skipped:
  bridge-gate#493:Pull request#482synchronizebyhyperpolymath
  claude/new-session-th4e9w-proof-status-refresh

  Nov 9, 20261s
  More actions for workflow run 493

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

  skipped:
  bridge-gate#492:Pull request#471synchronizebyhyperpolymath
  claude/new-session-th4e9w-e9-composition

  Nov 9, 20262s
  More actions for workflow run 492

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

  skipped:
  bridge-gate#491:Pull request#475synchronizebyhyperpolymath
  claude/zen-brahmagupta-opqqle-w0-integ

  Nov 9, 20261s
  More actions for workflow run 491

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

  skipped:
  bridge-gate#490:Pull request#483synchronizebyhyperpolymath
  claude/zen-brahmagupta-opqqle-w0-split2

  Nov 9, 20261s
  More actions for workflow run 490

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

  skipped:
  bridge-gate#489:Pull request#476synchronizebyhyperpolymath
  claude/zen-brahmagupta-opqqle-w0-ci

  Nov 9, 20262s
  More actions for workflow run 489

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

  skipped:
  bridge-gate#488:Pull request#476synchronizebyhyperpolymath
  claude/zen-brahmagupta-opqqle-w0-ci

  Nov 9, 20261s
  More actions for workflow run 488

• fix(k9): validate K9 with the canonical validator; bring every K9 record to contract v1.0.0

  skipped:
  bridge-gate#487:Pull request#464synchronizebyhyperpolymath
  claude/new-session-th4e9w-wo10-k9

  Nov 9, 20261s
  More actions for workflow run 487

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

  skipped:
  bridge-gate#486:Pull request#487synchronizebyhyperpolymath
  claude/new-session-th4e9w-etxtbsy-fixture

  Nov 9, 20261s
  More actions for workflow run 486

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

  skipped:
  bridge-gate#485:Pull request#483synchronizebyhyperpolymath
  claude/zen-brahmagupta-opqqle-w0-split2

  Nov 9, 20261s
  More actions for workflow run 485

• fix(k9): validate K9 with the canonical validator; bring every K9 record to contract v1.0.0

  skipped:
  bridge-gate#484:Pull request#464synchronizebyhyperpolymath
  claude/new-session-th4e9w-wo10-k9

  Nov 9, 20261s
  More actions for workflow run 484

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

  skipped:
  bridge-gate#483:Pull request#482synchronizebyhyperpolymath
  claude/new-session-th4e9w-proof-status-refresh

  Nov 9, 20261s
  More actions for workflow run 483

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

  skipped:
  bridge-gate#482:Pull request#471synchronizebyhyperpolymath
  claude/new-session-th4e9w-e9-composition

  Nov 9, 202611s
  More actions for workflow run 482

• proof(agda): model the speculative CAS + cancel-token race; replace the trivial cancellation-safety lemma

  skipped:
  bridge-gate#481:Pull request#470synchronizebyhyperpolymath
  claude/new-session-th4e9w-parallel-race-model

  Nov 9, 20261s
  More actions for workflow run 481

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

  skipped:
  bridge-gate#480:Pull request#487synchronizebyhyperpolymath
  claude/new-session-th4e9w-etxtbsy-fixture

  Nov 9, 20261s
  More actions for workflow run 480

• docs(proofs): PROOF-STATUS under strict §1, a §8.2 cone receipt, and a PWG census

  skipped:
  bridge-gate#479:Pull request#479synchronizebyhyperpolymath
  claude/zen-brahmagupta-opqqle-w0-ledger

  Nov 9, 20261s
  More actions for workflow run 479