ABI Seam Verification

Workflow runs for ABI Seam Verification

• fix(ci): reconcile the workflows with actions.lock (gh-actions-lock)

  completed successfully:
  ABI Seam Verification#28:Pull request#395openedbyhyperpolymath
  fix/sha-pin-actions

  Sep 20, 20262m 14s
  More actions for workflow run 28

• ABI Seam Verification

  failed at startup:
  ABI Seam Verification#27:openedbyhyperpolymath
  fix/sha-pin-actions

  Sep 19, 2026Startup failure
  More actions for workflow run 27

• fix(ci): unbreak workflow YAML and add a complete actions.lock

  completed successfully:
  ABI Seam Verification#26:Pull request#374openedbyhyperpolymath
  fix/workflow-dependency-locking

  Aug 27, 202639m 2s
  More actions for workflow run 26

• build(deps): bump actions/checkout from 7.0.0 to 7.0.1 in the actions group

  completed successfully:
  ABI Seam Verification#25:Pull request#352openedbydependabot[bot]Bot
  dependabot/github_actions/actions-7a5a078ad4

  Jul 21, 202624s
  More actions for workflow run 25

• fix(idris2): make the dyadic parse front-end actually compile + gate …

  completed successfully:
  ABI Seam Verification#24:Commitd2bd75fpushedbyhyperpolymath
  main

  Jul 6, 202639m 20s
  More actions for workflow run 24

• fix(idris2): make the dyadic parse front-end actually compile + gate it in CI

  completed successfully:
  ABI Seam Verification#23:Pull request#340openedbyhyperpolymath
  worktree-health-check-idris2-headers

  Jul 6, 202636m 4s
  More actions for workflow run 23

• build(deps): bump the actions group across 1 directory with 2 updates

  completed successfully:
  ABI Seam Verification#22:Pull request#308synchronizebydependabot[bot]Bot
  dependabot/github_actions/actions-ff17c29c8b

  Jun 23, 202614s
  More actions for workflow run 22

• build(deps): bump the actions group across 1 directory with 2 updates

  completed successfully:
  ABI Seam Verification#21:Pull request#308openedbydependabot[bot]Bot
  dependabot/github_actions/actions-ff17c29c8b

  Jun 21, 202629s
  More actions for workflow run 21

• build(deps): bump actions/checkout from 6.0.3 to 7.0.0 in the actions group

  completed successfully:
  ABI Seam Verification#20:Pull request#306openedbydependabot[bot]Bot
  dependabot/github_actions/actions-2217aebe03

  Jun 19, 202616s
  More actions for workflow run 20

• docs: AFFIRMATION.adoc (ground-truthed 2026-06-16) + Idris // → -- bu…

  completed successfully:
  ABI Seam Verification#19:Commite7cbf34pushedbyhyperpolymath
  main

  Jun 16, 202620s
  More actions for workflow run 19

• docs: AFFIRMATION.adoc (ground-truthed 2026-06-16) + Idris // → -- build fix

  completed successfully:
  ABI Seam Verification#18:Pull request#304openedbyhyperpolymath
  docs/affirmation-2026-06-16

  Jun 16, 202616s
  More actions for workflow run 18

• proof(L2): complete L2-modality migration of L1 preservation (Stage A…

  failed:
  ABI Seam Verification#17:Commit86f6e1bpushedbyhyperpolymath
  main

  Jun 15, 202619s
  More actions for workflow run 17

• proof(L2): complete L2-modality migration of L1 preservation (Stage A); soundness fix to follow

  failed:
  ABI Seam Verification#16:Pull request#294synchronizebyhyperpolymath
  proof/l1-soundness-modality-thread

  Jun 15, 202622s
  More actions for workflow run 16

• docs: reframe status surfaces — "gestating, not dead" (v1 → v2)

  completed successfully:
  ABI Seam Verification#15:Pull request#293synchronizebyhyperpolymath
  claude/quirky-gauss-GaGZo

  Jun 13, 202623s
  More actions for workflow run 15

• docs: reframe status surfaces — "gestating, not dead" (v1 → v2)

  cancelled:
  ABI Seam Verification#14:Pull request#293synchronizebyhyperpolymath
  claude/quirky-gauss-GaGZo

  Jun 13, 20268s
  More actions for workflow run 14

• build(deps): bump the actions group with 4 updates

  completed successfully:
  ABI Seam Verification#13:Pull request#287openedbydependabot[bot]Bot
  dependabot/github_actions/actions-60184f4b44

  Jun 3, 202618s
  More actions for workflow run 13

• chore(license): flip 343 PMPL→MPL-2.0 SPDX stamps (#285)

  completed successfully:
  ABI Seam Verification#12:Commit6102a35pushedbyhyperpolymath
  main

  Jun 2, 202619s
  More actions for workflow run 12

• chore(license): flip 343 PMPL→MPL-2.0 SPDX stamps

  completed successfully:
  ABI Seam Verification#11:Pull request#285synchronizebyhyperpolymath
  chore/license-uniform-mpl-2-0

  Jun 2, 202616s
  More actions for workflow run 11

• chore(license): flip 343 PMPL→MPL-2.0 SPDX stamps

  completed successfully:
  ABI Seam Verification#10:Pull request#285openedbyhyperpolymath
  chore/license-uniform-mpl-2-0

  Jun 2, 202616s
  More actions for workflow run 10

• docs(manifest): replace stale "67/67 Qed" claim with honest proof-debt pointer

  completed successfully:
  ABI Seam Verification#9:Pull request#183openedbyhyperpolymath
  docs/ai-manifest-honest

  May 27, 202643s
  More actions for workflow run 9

• docs: port §4.8.1 + §5.1 + L1 admit enumeration to main

  completed successfully:
  ABI Seam Verification#8:Pull request#182synchronizebyhyperpolymath
  docs/main-l1-enumeration

  May 27, 202629s
  More actions for workflow run 8

• proof(L1.G): convert Axiom region_liveness_at_split_l1 to Lemma with 1 narrow admit

  completed successfully:
  ABI Seam Verification#7:Pull request#181openedbyhyperpolymath
  proof/l1g-axiom-lemma-on-main

  May 27, 202617s
  More actions for workflow run 7

• docs: record tech-debt audit findings (2026-05-26) (#144)

  completed successfully:
  ABI Seam Verification#6:Commit7fbfaf0pushedbyhyperpolymath
  main

  May 27, 202629s
  More actions for workflow run 6

• chore(ci): replace mirror.yml with reusable wrapper (#147)

  cancelled:
  ABI Seam Verification#5:Commit014dc4bpushedbyhyperpolymath
  main

  May 27, 20266s
  More actions for workflow run 5

• docs: seed docs/proof-debt.md per trusted-base policy (#148)

  cancelled:
  ABI Seam Verification#4:Commit4c821e0pushedbyhyperpolymath
  main

  May 27, 20265s
  More actions for workflow run 4