CodeQL Security Analysis

Workflow runs for CodeQL Security Analysis

• fix(clade): correct identity uuid (deterministic v5) (#43)

  completed successfully:
  CodeQL Security Analysis#133:Commita95cc52pushedbyhyperpolymath
  main

  Jun 29, 20261m 18s
  More actions for workflow run 133

• fix(clade): correct identity uuid (deterministic v5)

  completed successfully:
  CodeQL Security Analysis#132:Pull request#43openedbyhyperpolymath
  fix/clade-uuid

  Jun 29, 202655s
  More actions for workflow run 132

• CodeQL Security Analysis

  completed successfully:
  CodeQL Security Analysis#131:Scheduled
  main

  Jun 29, 202640s
  More actions for workflow run 131

• ci: fmt under stable 1.96 to make rust-ci green (follow-up) (#42)

  completed successfully:
  CodeQL Security Analysis#130:Commit3c05860pushedbyhyperpolymath
  main

  Jun 28, 202651s
  More actions for workflow run 130

• ci: fmt under stable 1.96 to make rust-ci green (follow-up)

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

  Jun 28, 202659s
  More actions for workflow run 129

• ci: fmt under stable 1.96 to make rust-ci green (follow-up)

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

  Jun 28, 202641s
  More actions for workflow run 128

• ci: make CI genuinely green — rust-ci toolchain pin + canonical Julia…

  completed successfully:
  CodeQL Security Analysis#127:Commit65adbcepushedbyhyperpolymath
  main

  Jun 28, 202650s
  More actions for workflow run 127

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

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

  Jun 28, 202659s
  More actions for workflow run 126

• 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