CodeQL Security Analysis

Workflow runs for CodeQL Security Analysis

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

  completed successfully:
  CodeQL Security Analysis#140:Commitab6116epushedbyhyperpolymath
  main

  Jul 21, 20263h 6m 51s
  More actions for workflow run 140

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

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

  Jul 21, 202628m 24s
  More actions for workflow run 139

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

  completed successfully:
  CodeQL Security Analysis#138:Commitec8ee09pushedbyhyperpolymath
  main

  Jul 21, 20269m 41s
  More actions for workflow run 138

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

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

  Jul 21, 20264m 1s
  More actions for workflow run 137

• CodeQL Security Analysis

  completed successfully:
  CodeQL Security Analysis#136:Scheduled
  main

  Jul 20, 202650s
  More actions for workflow run 136

• CodeQL Security Analysis

  completed successfully:
  CodeQL Security Analysis#135:Scheduled
  main

  Jul 13, 202643s
  More actions for workflow run 135

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

  completed successfully:
  CodeQL Security Analysis#134:Commit13d0e80pushedbyhyperpolymath
  main

  Jul 9, 202621m 25s
  More actions for workflow run 134

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

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

  Jul 9, 202648s
  More actions for workflow run 133

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

  completed successfully:
  CodeQL Security Analysis#132:Commitc763d82pushedbyhyperpolymath
  main

  Jul 6, 202651m 32s
  More actions for workflow run 132

• fix(ci): clear OSSF Scorecard startup_failure

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

  Jul 6, 20264m 23s
  More actions for workflow run 131

• CodeQL Security Analysis

  completed successfully:
  CodeQL Security Analysis#130:Scheduled
  main

  Jul 6, 202642s
  More actions for workflow run 130

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

  completed successfully:
  CodeQL Security Analysis#129:Commit312ce8fpushedbyhyperpolymath
  main

  Jun 29, 20261m 52s
  More actions for workflow run 129

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

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

  Jun 29, 20262m 54s
  More actions for workflow run 128

• CodeQL Security Analysis

  completed successfully:
  CodeQL Security Analysis#127:Scheduled
  main

  Jun 29, 202640s
  More actions for workflow run 127

• ci: make CI genuinely green — rust-ci toolchain pin (#40)

  completed successfully:
  CodeQL Security Analysis#126:Commit2d8a1cfpushedbyhyperpolymath
  main

  Jun 28, 202641s
  More actions for workflow run 126

• ci: make CI genuinely green — rust-ci toolchain pin

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

  Jun 28, 202642s
  More actions for workflow run 125

• ci: make CI genuinely green — rust-ci toolchain pin

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

  Jun 28, 202646s
  More actions for workflow run 124

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

  completed successfully:
  CodeQL Security Analysis#123:Commit1c0b550pushedbyhyperpolymath
  main

  Jun 28, 202646s
  More actions for workflow run 123

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

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

  Jun 28, 202641s
  More actions for workflow run 122

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

  completed successfully:
  CodeQL Security Analysis#121:Commit0088171pushedbyhyperpolymath
  main

  Jun 28, 202647s
  More actions for workflow run 121

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

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

  Jun 28, 202648s
  More actions for workflow run 120

• ABI Layer 3: schedule equivalence is an equivalence relation (reflexi…

  completed successfully:
  CodeQL Security Analysis#119:Commit8544be8pushedbyhyperpolymath
  main

  Jun 28, 202648s
  More actions for workflow run 119

• ABI Layer 3: schedule equivalence is an equivalence relation (reflexive/symmetric/transitive)

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

  Jun 28, 202654s
  More actions for workflow run 118

• feat(abi): prove schedule equivalence for loop split (Layer 2) (#36)

  completed successfully:
  CodeQL Security Analysis#117:Commit7e3f5eepushedbyhyperpolymath
  main

  Jun 27, 202652s
  More actions for workflow run 117

• ABI Layer 2: prove schedule equivalence (loop split) — flagship Idris2 proof

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

  Jun 27, 202649s
  More actions for workflow run 116