Static Analysis Gate

Workflow runs for Static Analysis Gate

• ABI Layer 3: affine composition law over disjoint variable sets (#38)

  completed successfully:
  Static Analysis Gate#106:Commitbefb22epushedbyhyperpolymath
  main

  Jun 28, 202648s
  More actions for workflow run 106

• ABI Layer 3: affine composition law over disjoint variable sets

  completed successfully:
  Static Analysis Gate#105:Pull request#38synchronizebyhyperpolymath
  claude/new-session-znxgm7

  Jun 28, 20261m 0s
  More actions for workflow run 105

• ABI Layer 2: prove affine usage (use-at-most-once) — flagship Idris2 …

  completed successfully:
  Static Analysis Gate#104:Commitbd08c30pushedbyhyperpolymath
  main

  Jun 27, 202642s
  More actions for workflow run 104

• ABI Layer 2: prove affine usage (use-at-most-once) — flagship Idris2 proof

  completed successfully:
  Static Analysis Gate#103:Pull request#37openedbyhyperpolymath
  claude/new-session-znxgm7

  Jun 27, 202646s
  More actions for workflow run 103

• ci: refresh standards reusable pins to current HEAD (d7c2271) (#36)

  completed successfully:
  Static Analysis Gate#102:Commitcc37b35pushedbyhyperpolymath
  main

  Jun 27, 20263m 4s
  More actions for workflow run 102

• ci: refresh standards reusable pins to current HEAD (d7c2271)

  completed successfully:
  Static Analysis Gate#101:Pull request#36openedbyhyperpolymath
  ci/repin-standards-reusables-d7c2271

  Jun 27, 20262m 11s
  More actions for workflow run 101

• ci: add ABI↔FFI conformance gate (#35)

  completed successfully:
  Static Analysis Gate#100:Commit6532bc9pushedbyhyperpolymath
  main

  Jun 26, 20261m 22s
  More actions for workflow run 100

• ci: add ABI↔FFI conformance gate

  completed successfully:
  Static Analysis Gate#99:Pull request#35openedbyhyperpolymath
  claude/new-session-1fphit

  Jun 26, 202645s
  More actions for workflow run 99

• Auto-install pinned Zig toolchain in setup + devcontainer (#34)

  completed successfully:
  Static Analysis Gate#98:Commit703fd16pushedbyhyperpolymath
  main

  Jun 26, 20262m 22s
  More actions for workflow run 98

• Auto-install pinned Zig toolchain in setup + devcontainer

  completed successfully:
  Static Analysis Gate#97:Pull request#34openedbyhyperpolymath
  claude/new-session-1fphit

  Jun 26, 202642s
  More actions for workflow run 97

• ABI: make Idris2 proofs genuinely compile + add machine-checked theor…

  completed successfully:
  Static Analysis Gate#96:Commit412ae57pushedbyhyperpolymath
  main

  Jun 26, 20264m 31s
  More actions for workflow run 96

• ABI: make Idris2 proofs genuinely compile + add machine-checked theorems

  completed successfully:
  Static Analysis Gate#95:Pull request#33synchronizebyhyperpolymath
  claude/iseriser-proofs-review-rtdcwb

  Jun 26, 20262m 30s
  More actions for workflow run 95

• ABI: make Idris2 proofs genuinely compile + add machine-checked theorems

  completed successfully:
  Static Analysis Gate#94:Pull request#33openedbyhyperpolymath
  claude/iseriser-proofs-review-rtdcwb

  Jun 26, 202646s
  More actions for workflow run 94

• Normalize licensing to MPL-2.0 (code) + CC-BY-SA-4.0 (docs) (#32)

  completed successfully:
  Static Analysis Gate#93:Commit2a34624pushedbyhyperpolymath
  main

  Jun 26, 20264m 46s
  More actions for workflow run 93

• Normalize licensing to MPL-2.0 (code) + CC-BY-SA-4.0 (docs)

  completed successfully:
  Static Analysis Gate#92:Pull request#32openedbyhyperpolymath
  claude/iseriser-proofs-review-rtdcwb

  Jun 26, 20265m 33s
  More actions for workflow run 92

• docs(readme): convert README.adoc -> Markdown (renders on Glama/profi…

  completed successfully:
  Static Analysis Gate#91:Commitd2d08eapushedbyhyperpolymath
  main

  Jun 25, 20261h 14m 9s
  More actions for workflow run 91

• docs(readme): convert README.adoc -> Markdown (renders on Glama/profile/community-health)

  completed successfully:
  Static Analysis Gate#90:Pull request#31openedbyhyperpolymath
  fix/readme-adoc-to-markdown

  Jun 25, 20261h 15m 51s
  More actions for workflow run 90

• chore(clade): backfill [status] lifecycle block (#29)

  completed successfully:
  Static Analysis Gate#89:Commita6ffd68pushedbyhyperpolymath
  main

  Jun 24, 20261d 1h 24m 15s
  More actions for workflow run 89

• chore(clade): backfill [status] lifecycle block

  completed successfully:
  Static Analysis Gate#88:Pull request#29synchronizebyhyperpolymath
  chore/clade-status-backfill

  Jun 24, 20261d 1h 23m 23s
  More actions for workflow run 88

• chore(ci): add dormant push-email notification workflow (#30)

  completed successfully:
  Static Analysis Gate#87:Commita714845pushedbyhyperpolymath
  main

  Jun 24, 20261d 1h 27m 13s
  More actions for workflow run 87

• chore(ci): add dormant push-email notification workflow

  completed successfully:
  Static Analysis Gate#86:Pull request#30openedbyhyperpolymath
  chore/push-email-notify

  Jun 24, 20261d 1h 19m 18s
  More actions for workflow run 86

• chore(clade): backfill [status] lifecycle block

  completed successfully:
  Static Analysis Gate#85:Pull request#29openedbyhyperpolymath
  chore/clade-status-backfill

  Jun 24, 20261d 1h 2m 58s
  More actions for workflow run 85

• chore(licence): normalise to MPL-2.0 + CC-BY-SA-4.0 (canonical pair) …

  completed successfully:
  Static Analysis Gate#84:Commit24600a6pushedbyhyperpolymath
  main

  Jun 24, 20261d 1h 31m 14s
  More actions for workflow run 84

• chore(licence): normalise to MPL-2.0 + CC-BY-SA-4.0 (canonical pair)

  completed successfully:
  Static Analysis Gate#83:Pull request#28openedbyhyperpolymath
  chore/licence-normalisation-2026-06-24

  Jun 24, 20261d 1h 31m 24s
  More actions for workflow run 83

• chore(ci): bump standards reusable workflow pins (#27)

  completed successfully:
  Static Analysis Gate#82:Commitfdb01c1pushedbyhyperpolymath
  main

  Jun 24, 20268h 34m 18s
  More actions for workflow run 82