Proven Tests

Workflow runs for Proven Tests

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

  completed successfully:
  Proven Tests#161:Commit36f1055pushedbyhyperpolymath
  main

  Nov 10, 20266m 12s
  More actions for workflow run 161

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

  completed successfully:
  Proven Tests#160:Pull request#278synchronizebyhyperpolymath
  claude/compassionate-fermat-9x7vpe-proofdrift-lines

  Nov 10, 20264m 28s
  More actions for workflow run 160

• feat(publish): prototype generation-directory publish (not wired), wi…

  completed successfully:
  Proven Tests#159:Commitd4a68edpushedbyhyperpolymath
  main

  Nov 9, 20267m 37s
  More actions for workflow run 159

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

  completed successfully:
  Proven Tests#158:Pull request#275synchronizebyhyperpolymath
  claude/gallant-bell-4bo4oy-l-gen-dir

  Nov 9, 20269m 37s
  More actions for workflow run 158

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

  cancelled:
  Proven Tests#157:Commite12b823pushedbyhyperpolymath
  main

  Nov 9, 20261m 55s
  More actions for workflow run 157

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

  completed successfully:
  Proven Tests#156:Pull request#281synchronizebyhyperpolymath
  claude/gallant-bell-4bo4oy-n-idris-abi-ci

  Nov 9, 20265m 46s
  More actions for workflow run 156

• fix(assail): refuse an unwritable KYAML copy or sidecar before replac…

  cancelled:
  Proven Tests#155:Commit671c3a9pushedbyhyperpolymath
  main

  Nov 9, 20263m 33s
  More actions for workflow run 155

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

  completed successfully:
  Proven Tests#154:Pull request#274synchronizebyhyperpolymath
  claude/gallant-bell-4bo4oy-m-companion-writable

  Nov 9, 20263m 15s
  More actions for workflow run 154

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

  completed successfully:
  Proven Tests#153:Commit39db4e3pushedbyhyperpolymath
  main

  Nov 9, 20263m 35s
  More actions for workflow run 153

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

  completed successfully:
  Proven Tests#152:Pull request#284openedbydependabot[bot]Bot
  dependabot/github_actions/actions-bfe1b08dbd

  Nov 9, 20263m 8s
  More actions for workflow run 152

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

  completed successfully:
  Proven Tests#151:Pull request#282openedbyhyperpolymath
  claude/pa1-routing-table

  Nov 9, 202644m 46s
  More actions for workflow run 151

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

  completed successfully:
  Proven Tests#150:Pull request#279synchronizebyhyperpolymath
  claude/abi-idris2-gate

  Nov 9, 202642m 9s
  More actions for workflow run 150

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

  completed successfully:
  Proven Tests#149:Pull request#277synchronizebyhyperpolymath
  claude/proof-status-reconcile

  Nov 9, 202639m 53s
  More actions for workflow run 149

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

  cancelled:
  Proven Tests#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:
  Proven Tests#147:Pull request#277synchronizebyhyperpolymath
  claude/proof-status-reconcile

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

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

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

  Nov 9, 202646m 48s
  More actions for workflow run 146

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

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

  Nov 9, 202635m 7s
  More actions for workflow run 145

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

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

  Nov 9, 202634m 43s
  More actions for workflow run 144

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

  completed successfully:
  Proven Tests#143:Pull request#279openedbyhyperpolymath
  claude/abi-idris2-gate

  Nov 9, 202632m 9s
  More actions for workflow run 143

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

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

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

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

  completed successfully:
  Proven Tests#141:Pull request#277openedbyhyperpolymath
  claude/proof-status-reconcile

  Nov 9, 202630m 3s
  More actions for workflow run 141

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

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

  Nov 9, 202617m 41s
  More actions for workflow run 140

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

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

  Nov 9, 202614m 36s
  More actions for workflow run 139

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

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

  Nov 9, 202613m 15s
  More actions for workflow run 138

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

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

  Nov 9, 202614m 2s
  More actions for workflow run 137