CI Integrity

Workflow runs for CI Integrity

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

  completed successfully:
  CI Integrity#151:Pull request#282openedbyhyperpolymath
  claude/pa1-routing-table

  Nov 9, 202641m 40s
  More actions for workflow run 151

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

  completed successfully:
  CI Integrity#150:Pull request#279synchronizebyhyperpolymath
  claude/abi-idris2-gate

  Nov 9, 202640m 12s
  More actions for workflow run 150

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

  completed successfully:
  CI Integrity#149:Pull request#277synchronizebyhyperpolymath
  claude/proof-status-reconcile

  Nov 9, 202638m 29s
  More actions for workflow run 149

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

  cancelled:
  CI Integrity#148:Pull request#279synchronizebyhyperpolymath
  claude/abi-idris2-gate

  Nov 9, 202636m 23s
  More actions for workflow run 148

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

  cancelled:
  CI Integrity#147:Pull request#277synchronizebyhyperpolymath
  claude/proof-status-reconcile

  Nov 9, 202636m 24s
  More actions for workflow run 147

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

  completed successfully:
  CI Integrity#146:Pull request#281openedbyhyperpolymath
  claude/gallant-bell-4bo4oy-n-idris-abi-ci

  Nov 9, 202641m 17s
  More actions for workflow run 146

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

  completed successfully:
  CI Integrity#145:Pull request#278synchronizebyhyperpolymath
  claude/compassionate-fermat-9x7vpe-proofdrift-lines

  Nov 9, 202634m 17s
  More actions for workflow run 145

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

  completed successfully:
  CI Integrity#144:Pull request#275synchronizebyhyperpolymath
  claude/gallant-bell-4bo4oy-l-gen-dir

  Nov 9, 202632m 22s
  More actions for workflow run 144

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

  completed successfully:
  CI Integrity#143:Pull request#279openedbyhyperpolymath
  claude/abi-idris2-gate

  Nov 9, 202630m 43s
  More actions for workflow run 143

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

  cancelled:
  CI Integrity#142:Pull request#278openedbyhyperpolymath
  claude/compassionate-fermat-9x7vpe-proofdrift-lines

  Nov 9, 202610m 6s
  More actions for workflow run 142

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

  completed successfully:
  CI Integrity#141:Pull request#277openedbyhyperpolymath
  claude/proof-status-reconcile

  Nov 9, 202628m 24s
  More actions for workflow run 141

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

  completed successfully:
  CI Integrity#140:Pull request#275synchronizebyhyperpolymath
  claude/gallant-bell-4bo4oy-l-gen-dir

  Nov 9, 202615m 14s
  More actions for workflow run 140

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

  completed successfully:
  CI Integrity#139:Pull request#275openedbyhyperpolymath
  claude/gallant-bell-4bo4oy-l-gen-dir

  Nov 9, 202612m 23s
  More actions for workflow run 139

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

  completed successfully:
  CI Integrity#138:Pull request#274openedbyhyperpolymath
  claude/gallant-bell-4bo4oy-m-companion-writable

  Nov 9, 202610m 49s
  More actions for workflow run 138

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

  completed successfully:
  CI Integrity#137:Pull request#273openedbyhyperpolymath
  claude/futures-util-drop-pin-utils

  Nov 9, 202610m 19s
  More actions for workflow run 137

• CI Integrity

  failed:
  CI Integrity#136:Scheduled
  main

  Nov 9, 202639s
  More actions for workflow run 136

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

  completed successfully:
  CI Integrity#135:Pull request#272openedbydependabot[bot]Bot
  dependabot/cargo/rust-minor-a61e9ba369

  Nov 7, 202646s
  More actions for workflow run 135

• Fix recon's real baseline and simplify ledger verification (#271)

  completed successfully:
  CI Integrity#134:Commitf2a6a70pushedbyhyperpolymath
  main

  Nov 7, 202641s
  More actions for workflow run 134

• Fix recon's real baseline and simplify ledger verification

  completed successfully:
  CI Integrity#133:Pull request#271openedbyhyperpolymath
  fix/echo362-final-review

  Nov 7, 202642s
  More actions for workflow run 133

• Replace legacy Python CI helpers with tested Rust equivalents (#270)

  completed successfully:
  CI Integrity#132:Commit9d823cbpushedbyhyperpolymath
  main

  Nov 7, 202641s
  More actions for workflow run 132

• Replace legacy Python CI helpers with tested Rust equivalents

  completed successfully:
  CI Integrity#131:Pull request#270openedbyhyperpolymath
  fix/echo362-native-ci-tools-20261107

  Nov 7, 202651s
  More actions for workflow run 131

• Finish Windows portability review controls without Git-dependent Carg…

  completed successfully:
  CI Integrity#130:Commitacc7a95pushedbyhyperpolymath
  main

  Nov 7, 202633s
  More actions for workflow run 130

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

  completed successfully:
  CI Integrity#129:Pull request#269openedbyhyperpolymath
  fix/echo362-portability-review-20261107

  Nov 7, 202632s
  More actions for workflow run 129

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

  completed successfully:
  CI Integrity#128:Commit858dfebpushedbyhyperpolymath
  main

  Nov 7, 202622s
  More actions for workflow run 128

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

  completed successfully:
  CI Integrity#127:Pull request#268openedbyhyperpolymath
  fix/windows-report-paths-echo362

  Nov 7, 202626s
  More actions for workflow run 127