CodeQL Security Analysis

Workflow runs for CodeQL Security Analysis

• CodeQL Security Analysis

  completed successfully:
  CodeQL Security Analysis#143:Scheduled
  main

  Jul 27, 202642s
  More actions for workflow run 143

• fix(ci): close the governance gate — SPDX, permissions, SHA pins, reu…

  completed successfully:
  CodeQL Security Analysis#142:Commit5c3527fpushedbyhyperpolymath
  main

  Jul 21, 20262h 56m 15s
  More actions for workflow run 142

• fix(ci): close the governance gate — SPDX, permissions, SHA pins, reusable bump

  completed successfully:
  CodeQL Security Analysis#141:Pull request#45openedbyhyperpolymath
  fix/governance-gate-sweep

  Jul 21, 202653m 17s
  More actions for workflow run 141

• security: re-pin secret scanner onto the real gitleaks gate (#44)

  completed successfully:
  CodeQL Security Analysis#140:Commit2625666pushedbyhyperpolymath
  main

  Jul 21, 202620m 14s
  More actions for workflow run 140

• security: re-pin secret scanner onto the real gitleaks gate

  completed successfully:
  CodeQL Security Analysis#139:Pull request#44openedbyhyperpolymath
  security/real-secret-gate

  Jul 21, 20266m 15s
  More actions for workflow run 139

• CodeQL Security Analysis

  completed successfully:
  CodeQL Security Analysis#138:Scheduled
  main

  Jul 20, 202643s
  More actions for workflow run 138

• CodeQL Security Analysis

  completed successfully:
  CodeQL Security Analysis#137:Scheduled
  main

  Jul 13, 202643s
  More actions for workflow run 137

• ci: Secret Scanner caller must grant the reusable's job permissions (…

  completed successfully:
  CodeQL Security Analysis#136:Commit8d8fdf3pushedbyhyperpolymath
  main

  Jul 9, 202611m 20s
  More actions for workflow run 136

• ci: Secret Scanner caller must grant the reusable's job permissions

  completed successfully:
  CodeQL Security Analysis#135:Pull request#43openedbyhyperpolymath
  ci/secret-scanner-caller-perms

  Jul 9, 20261m 24s
  More actions for workflow run 135

• fix(ci): clear OSSF Scorecard startup_failure (#42)

  completed successfully:
  CodeQL Security Analysis#134:Commit1dfd6e5pushedbyhyperpolymath
  main

  Jul 6, 202646m 33s
  More actions for workflow run 134

• fix(ci): clear OSSF Scorecard startup_failure

  completed successfully:
  CodeQL Security Analysis#133:Pull request#42openedbyhyperpolymath
  fix/scorecard-caller-startup

  Jul 6, 20265m 15s
  More actions for workflow run 133

• CodeQL Security Analysis

  completed successfully:
  CodeQL Security Analysis#132:Scheduled
  main

  Jul 6, 202650s
  More actions for workflow run 132

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

  completed successfully:
  CodeQL Security Analysis#131:Commit1cbe5d3pushedbyhyperpolymath
  main

  Jun 29, 20267m 34s
  More actions for workflow run 131

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

  completed successfully:
  CodeQL Security Analysis#130:Pull request#41openedbyhyperpolymath
  fix/clade-uuid

  Jun 29, 20266m 26s
  More actions for workflow run 130

• CodeQL Security Analysis

  completed successfully:
  CodeQL Security Analysis#129:Scheduled
  main

  Jun 29, 202646s
  More actions for workflow run 129

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

  completed successfully:
  CodeQL Security Analysis#128:Commit35c90depushedbyhyperpolymath
  main

  Jun 28, 202643s
  More actions for workflow run 128

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

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

  Jun 28, 20261m 7s
  More actions for workflow run 127

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

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

  Jun 28, 202640s
  More actions for workflow run 126

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

  completed successfully:
  CodeQL Security Analysis#125:Commit7fda0e9pushedbyhyperpolymath
  main

  Jun 28, 202649s
  More actions for workflow run 125

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

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

  Jun 28, 202643s
  More actions for workflow run 124

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

  completed successfully:
  CodeQL Security Analysis#123:Commit8e0badcpushedbyhyperpolymath
  main

  Jun 28, 202645s
  More actions for workflow run 123

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

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

  Jun 28, 202650s
  More actions for workflow run 122

• ABI Layer 3: type-lowering injectivity + composition (two deeper code…

  completed successfully:
  CodeQL Security Analysis#121:Commitd6ec80cpushedbyhyperpolymath
  main

  Jun 28, 20263m 11s
  More actions for workflow run 121

• ABI Layer 3: type-lowering injectivity + composition (two deeper codegen theorems)

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

  Jun 28, 20261m 7s
  More actions for workflow run 120

• abi(nimiser): prove C-binding signature preservation (Layer 2) (#36)

  completed successfully:
  CodeQL Security Analysis#119:Commit5b2fadapushedbyhyperpolymath
  main

  Jun 27, 20261m 3s
  More actions for workflow run 119