ABI Seam Verification

Workflow runs for ABI Seam Verification

• No-False gate hardening, D0/D0b status sync, and the W0 wave (E0/E1 h…

  completed successfully:
  ABI Seam Verification#41:Commitec425b0pushedbyhyperpolymath
  main

  Nov 10, 20261m 42s
  More actions for workflow run 41

• No-False gate hardening, D0/D0b status sync, and the W0 wave (E0/E1 holes, probes, aLib conformer)

  completed successfully:
  ABI Seam Verification#40:Pull request#425synchronizebycoderabbitai[bot]Bot
  claude/ephapax-architecture-plan-gzyctr

  Nov 9, 20261m 4s
  More actions for workflow run 40

• No-False gate hardening, D0/D0b status sync, and the W0 wave (E0/E1 holes, probes, aLib conformer)

  completed successfully:
  ABI Seam Verification#39:Pull request#425synchronizebycoderabbitai[bot]Bot
  claude/ephapax-architecture-plan-gzyctr

  Nov 9, 20264m 13s
  More actions for workflow run 39

• No-False gate hardening, D0/D0b status sync, and the W0 wave (E0/E1 holes, probes, aLib conformer)

  cancelled:
  ABI Seam Verification#38:Pull request#425synchronizebyhyperpolymath
  claude/ephapax-architecture-plan-gzyctr

  Nov 9, 20262m 2s
  More actions for workflow run 38

• No-False gate hardening, D0/D0b status sync, and the W0 wave (E0/E1 holes, probes, aLib conformer)

  cancelled:
  ABI Seam Verification#37:Pull request#425synchronizebyhyperpolymath
  claude/ephapax-architecture-plan-gzyctr

  Nov 9, 202629s
  More actions for workflow run 37

• No-False gate hardening, D0/D0b status sync, and the W0 wave (E0/E1 holes, probes, aLib conformer)

  completed successfully:
  ABI Seam Verification#36:Pull request#425synchronizebyhyperpolymath
  claude/ephapax-architecture-plan-gzyctr

  Nov 9, 202642m 15s
  More actions for workflow run 36

• No-False gate hardening, D0/D0b status sync, and the W0 wave (E0/E1 holes, probes, aLib conformer)

  cancelled:
  ABI Seam Verification#35:Pull request#425synchronizebyhyperpolymath
  claude/ephapax-architecture-plan-gzyctr

  Nov 9, 202619m 8s
  More actions for workflow run 35

• No-False gate hardening, D0/D0b status sync, and the W0 wave (E0/E1 holes, probes, aLib conformer)

  cancelled:
  ABI Seam Verification#34:Pull request#425synchronizebyhyperpolymath
  claude/ephapax-architecture-plan-gzyctr

  Nov 9, 202611m 34s
  More actions for workflow run 34

• No-False gate hardening, D0/D0b status sync, and the W0 wave (E0/E1 holes, probes, aLib conformer)

  cancelled:
  ABI Seam Verification#33:Pull request#425synchronizebyhyperpolymath
  claude/ephapax-architecture-plan-gzyctr

  Nov 9, 202631m 56s
  More actions for workflow run 33

• No-False gate hardening, D0/D0b status sync, and the W0 wave (E0/E1 holes, probes, aLib conformer)

  cancelled:
  ABI Seam Verification#32:Pull request#425synchronizebyhyperpolymath
  claude/ephapax-architecture-plan-gzyctr

  Nov 9, 20269m 14s
  More actions for workflow run 32

• No-False gate hardening, D0/D0b status sync, and the W0 wave (E0/E1 holes, probes, aLib conformer)

  cancelled:
  ABI Seam Verification#31:Pull request#425synchronizebyhyperpolymath
  claude/ephapax-architecture-plan-gzyctr

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

• No-False gate hardening, D0/D0b status sync, and the W0 wave (E0/E1 holes, probes, aLib conformer)

  cancelled:
  ABI Seam Verification#30:Pull request#425synchronizebyhyperpolymath
  claude/ephapax-architecture-plan-gzyctr

  Nov 9, 202610m 40s
  More actions for workflow run 30

• No-False gate hardening, D0/D0b status sync, and the W0 wave (E0/E1 holes, probes, aLib conformer)

  cancelled:
  ABI Seam Verification#29:Pull request#425synchronizebyhyperpolymath
  claude/ephapax-architecture-plan-gzyctr

  Nov 9, 20265m 19s
  More actions for workflow run 29

• 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