CodeQL Security Analysis

Workflow runs for CodeQL Security Analysis

• ci: make CI genuinely green — rust-ci toolchain pin + canonical Julia ABI-FFI gate

  completed successfully:
  CodeQL Security Analysis#125:Pull request#41openedbyhyperpolymath
  claude/new-session-znxgm7

  Jun 28, 202648s
  More actions for workflow run 125

• ABI Layer 5: end-to-end soundness capstone certificate (#40)

  completed successfully:
  CodeQL Security Analysis#124:Commite687c88pushedbyhyperpolymath
  main

  Jun 28, 202645s
  More actions for workflow run 124

• ABI Layer 5: end-to-end soundness capstone certificate

  completed successfully:
  CodeQL Security Analysis#123:Pull request#40synchronizebyhyperpolymath
  claude/new-session-znxgm7

  Jun 28, 202653s
  More actions for workflow run 123

• ABI Layer 4: prove the FFI result-code seam is injective + faithful (…

  completed successfully:
  CodeQL Security Analysis#122:Commit5b37667pushedbyhyperpolymath
  main

  Jun 28, 202643s
  More actions for workflow run 122

• ABI Layer 4: prove the FFI result-code seam is injective + faithful

  completed successfully:
  CodeQL Security Analysis#121:Pull request#39synchronizebyhyperpolymath
  claude/new-session-znxgm7

  Jun 28, 202642s
  More actions for workflow run 121

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

  completed successfully:
  CodeQL Security Analysis#120:Commitbefb22epushedbyhyperpolymath
  main

  Jun 28, 202635s
  More actions for workflow run 120

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

  completed successfully:
  CodeQL Security Analysis#119:Pull request#38synchronizebyhyperpolymath
  claude/new-session-znxgm7

  Jun 28, 202648s
  More actions for workflow run 119

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

  completed successfully:
  CodeQL Security Analysis#118:Commitbd08c30pushedbyhyperpolymath
  main

  Jun 27, 202643s
  More actions for workflow run 118

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

  completed successfully:
  CodeQL Security Analysis#117:Pull request#37openedbyhyperpolymath
  claude/new-session-znxgm7

  Jun 27, 202649s
  More actions for workflow run 117

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

  completed successfully:
  CodeQL Security Analysis#116:Commitcc37b35pushedbyhyperpolymath
  main

  Jun 27, 20261m 11s
  More actions for workflow run 116

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

  completed successfully:
  CodeQL Security Analysis#115:Pull request#36openedbyhyperpolymath
  ci/repin-standards-reusables-d7c2271

  Jun 27, 202657s
  More actions for workflow run 115

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

  completed successfully:
  CodeQL Security Analysis#114:Commit6532bc9pushedbyhyperpolymath
  main

  Jun 26, 20261m 37s
  More actions for workflow run 114

• ci: add ABI↔FFI conformance gate

  completed successfully:
  CodeQL Security Analysis#113:Pull request#35openedbyhyperpolymath
  claude/new-session-1fphit

  Jun 26, 202645s
  More actions for workflow run 113

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

  completed successfully:
  CodeQL Security Analysis#112:Commit703fd16pushedbyhyperpolymath
  main

  Jun 26, 202652s
  More actions for workflow run 112

• Auto-install pinned Zig toolchain in setup + devcontainer

  completed successfully:
  CodeQL Security Analysis#111:Pull request#34openedbyhyperpolymath
  claude/new-session-1fphit

  Jun 26, 202642s
  More actions for workflow run 111

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

  completed successfully:
  CodeQL Security Analysis#110:Commit412ae57pushedbyhyperpolymath
  main

  Jun 26, 20261m 36s
  More actions for workflow run 110

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

  completed successfully:
  CodeQL Security Analysis#109:Pull request#33synchronizebyhyperpolymath
  claude/iseriser-proofs-review-rtdcwb

  Jun 26, 20261m 12s
  More actions for workflow run 109

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

  completed successfully:
  CodeQL Security Analysis#108:Pull request#33openedbyhyperpolymath
  claude/iseriser-proofs-review-rtdcwb

  Jun 26, 202653s
  More actions for workflow run 108

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

  completed successfully:
  CodeQL Security Analysis#107:Commit2a34624pushedbyhyperpolymath
  main

  Jun 26, 20264m 14s
  More actions for workflow run 107

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

  completed successfully:
  CodeQL Security Analysis#106:Pull request#32openedbyhyperpolymath
  claude/iseriser-proofs-review-rtdcwb

  Jun 26, 20262m 32s
  More actions for workflow run 106

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

  completed successfully:
  CodeQL Security Analysis#105:Commitd2d08eapushedbyhyperpolymath
  main

  Jun 25, 202624m 0s
  More actions for workflow run 105

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

  completed successfully:
  CodeQL Security Analysis#104:Pull request#31openedbyhyperpolymath
  fix/readme-adoc-to-markdown

  Jun 25, 202623m 30s
  More actions for workflow run 104

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

  completed successfully:
  CodeQL Security Analysis#103:Commita6ffd68pushedbyhyperpolymath
  main

  Jun 24, 202617h 1m 11s
  More actions for workflow run 103

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

  completed successfully:
  CodeQL Security Analysis#102:Pull request#29synchronizebyhyperpolymath
  chore/clade-status-backfill

  Jun 24, 202616h 59m 10s
  More actions for workflow run 102

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

  cancelled:
  CodeQL Security Analysis#101:Commita714845pushedbyhyperpolymath
  main

  Jun 24, 202621m 40s
  More actions for workflow run 101