bridge-gate

Workflow runs for bridge-gate

• feat(assail): line-anchor Lean/Isabelle sorry findings so inline markers apply

  skipped:
  bridge-gate#361:Pull request#278synchronizebyhyperpolymath
  claude/compassionate-fermat-9x7vpe-proofdrift-lines

  Nov 10, 20261s
  More actions for workflow run 361

• feat(publish): prototype generation-directory publish (not wired), with experiments and a model check

  skipped:
  bridge-gate#360:Pull request#275synchronizebyhyperpolymath
  claude/gallant-bell-4bo4oy-l-gen-dir

  Nov 9, 20261s
  More actions for workflow run 360

• fix(abi): type-check the Idris2 proofs in CI and re-prove line-comment stripping

  skipped:
  bridge-gate#359:Pull request#281synchronizebyhyperpolymath
  claude/gallant-bell-4bo4oy-n-idris-abi-ci

  Nov 9, 20261s
  More actions for workflow run 359

• fix(assail): refuse an unwritable KYAML copy or sidecar before replacing the report

  skipped:
  bridge-gate#358:Pull request#274synchronizebyhyperpolymath
  claude/gallant-bell-4bo4oy-m-companion-writable

  Nov 9, 20262s
  More actions for workflow run 358

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

  completed successfully:
  bridge-gate#357:Pull request#284openedbydependabot[bot]Bot
  dependabot/github_actions/actions-bfe1b08dbd

  Nov 9, 20263m 19s
  More actions for workflow run 357

• feat(assail): route languages through a tested table; retire the vacuous PA1

  skipped:
  bridge-gate#356:Pull request#282openedbyhyperpolymath
  claude/pa1-routing-table

  Nov 9, 20261s
  More actions for workflow run 356

• ci(abi): gate the Idris2 proofs on every PR, with module-shaped paths

  skipped:
  bridge-gate#355:Pull request#279synchronizebyhyperpolymath
  claude/abi-idris2-gate

  Nov 9, 20269s
  More actions for workflow run 355

• fix(abi): repair the Idris2 proofs and record proof status against the policy

  skipped:
  bridge-gate#354:Pull request#277synchronizebyhyperpolymath
  claude/proof-status-reconcile

  Nov 9, 20261s
  More actions for workflow run 354

• ci(abi): gate the Idris2 proofs on every PR, with module-shaped paths

  skipped:
  bridge-gate#353:Pull request#279synchronizebyhyperpolymath
  claude/abi-idris2-gate

  Nov 9, 2026Skipped
  More actions for workflow run 353

• fix(abi): repair the Idris2 proofs and record proof status against the policy

  skipped:
  bridge-gate#352:Pull request#277synchronizebyhyperpolymath
  claude/proof-status-reconcile

  Nov 9, 20261s
  More actions for workflow run 352

• fix(abi): type-check the Idris2 proofs in CI and re-prove line-comment stripping

  skipped:
  bridge-gate#351:Pull request#281openedbyhyperpolymath
  claude/gallant-bell-4bo4oy-n-idris-abi-ci

  Nov 9, 20261s
  More actions for workflow run 351

• feat(assail): line-anchor Lean/Isabelle sorry findings so inline markers apply

  skipped:
  bridge-gate#350:Pull request#278synchronizebyhyperpolymath
  claude/compassionate-fermat-9x7vpe-proofdrift-lines

  Nov 9, 20261s
  More actions for workflow run 350

• feat(publish): prototype generation-directory publish (not wired), with experiments and a model check

  skipped:
  bridge-gate#349:Pull request#275synchronizebyhyperpolymath
  claude/gallant-bell-4bo4oy-l-gen-dir

  Nov 9, 20268s
  More actions for workflow run 349

• ci(abi): gate the Idris2 proofs on every PR, with module-shaped paths

  skipped:
  bridge-gate#348:Pull request#279openedbyhyperpolymath
  claude/abi-idris2-gate

  Nov 9, 20267s
  More actions for workflow run 348

• feat(assail): line-anchor Lean/Isabelle sorry findings so inline markers apply

  skipped:
  bridge-gate#347:Pull request#278openedbyhyperpolymath
  claude/compassionate-fermat-9x7vpe-proofdrift-lines

  Nov 9, 20261s
  More actions for workflow run 347

• fix(abi): repair the Idris2 proofs and record proof status against the policy

  skipped:
  bridge-gate#346:Pull request#277openedbyhyperpolymath
  claude/proof-status-reconcile

  Nov 9, 20261s
  More actions for workflow run 346

• feat(publish): prototype generation-directory publish (not wired), with experiments and a model check

  skipped:
  bridge-gate#345:Pull request#275synchronizebyhyperpolymath
  claude/gallant-bell-4bo4oy-l-gen-dir

  Nov 9, 20261s
  More actions for workflow run 345

• feat(publish): prototype generation-directory publish (not wired), with experiments and a model check

  skipped:
  bridge-gate#344:Pull request#275openedbyhyperpolymath
  claude/gallant-bell-4bo4oy-l-gen-dir

  Nov 9, 20261s
  More actions for workflow run 344

• fix(assail): refuse an unwritable KYAML copy or sidecar before replacing the report

  skipped:
  bridge-gate#343:Pull request#274openedbyhyperpolymath
  claude/gallant-bell-4bo4oy-m-companion-writable

  Nov 9, 20261s
  More actions for workflow run 343

• fix(deps): move futures-util to 0.3.34, dropping pin-utils

  skipped:
  bridge-gate#342:Pull request#273openedbyhyperpolymath
  claude/futures-util-drop-pin-utils

  Nov 9, 20261s
  More actions for workflow run 342

• chore(deps): bump ureq from 3.5.0 to 3.5.1 in the rust-minor group

  completed successfully:
  bridge-gate#341:Pull request#272openedbydependabot[bot]Bot
  dependabot/cargo/rust-minor-a61e9ba369

  Nov 7, 20262m 58s
  More actions for workflow run 341

• Fix recon's real baseline and simplify ledger verification

  skipped:
  bridge-gate#340:Pull request#271openedbyhyperpolymath
  fix/echo362-final-review

  Nov 7, 20261s
  More actions for workflow run 340

• Replace legacy Python CI helpers with tested Rust equivalents

  skipped:
  bridge-gate#339:Pull request#270openedbyhyperpolymath
  fix/echo362-native-ci-tools-20261107

  Nov 7, 20261s
  More actions for workflow run 339

• Finish Windows portability review controls without Git-dependent Cargo tests

  skipped:
  bridge-gate#338:Pull request#269openedbyhyperpolymath
  fix/echo362-portability-review-20261107

  Nov 7, 202610s
  More actions for workflow run 338

• Fix Windows checkout paths and prevent non-portable mass-panic reports

  skipped:
  bridge-gate#337:Pull request#268openedbyhyperpolymath
  fix/windows-report-paths-echo362

  Nov 7, 20261s
  More actions for workflow run 337