CodeQL Security Analysis

Workflow runs for CodeQL Security Analysis

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

  completed successfully:
  CodeQL Security Analysis#156:Commit7a974a2pushedbyhyperpolymath
  main

  Jul 21, 20262m 13s
  More actions for workflow run 156

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

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

  Jul 21, 202652s
  More actions for workflow run 155

• CodeQL Security Analysis

  completed successfully:
  CodeQL Security Analysis#154:Scheduled
  main

  Jul 20, 202645s
  More actions for workflow run 154

• chore(deps): bump regex from 1.12.3 to 1.13.0 (#52)

  completed successfully:
  CodeQL Security Analysis#153:Commit67e4865pushedbyhyperpolymath
  main

  Jul 15, 20261m 30s
  More actions for workflow run 153

• CodeQL Security Analysis

  completed successfully:
  CodeQL Security Analysis#152:Scheduled
  main

  Jul 13, 202648s
  More actions for workflow run 152

• CodeQL Security Analysis

  failed at startup:
  CodeQL Security Analysis#151:openedbydependabot[bot]Bot
  dependabot/cargo/regex-1.13.0

  Jul 10, 2026Startup failure
  More actions for workflow run 151

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

  completed successfully:
  CodeQL Security Analysis#150:Commit67aed16pushedbyhyperpolymath
  main

  Jul 9, 202632m 21s
  More actions for workflow run 150

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

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

  Jul 9, 202652s
  More actions for workflow run 149

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

  completed successfully:
  CodeQL Security Analysis#148:Commit34c9ee1pushedbyhyperpolymath
  main

  Jul 6, 20261m 21s
  More actions for workflow run 148

• fix(ci): clear OSSF Scorecard startup_failure

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

  Jul 6, 202650s
  More actions for workflow run 147

• CodeQL Security Analysis

  completed successfully:
  CodeQL Security Analysis#146:Scheduled
  main

  Jul 6, 202644s
  More actions for workflow run 146

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

  completed successfully:
  CodeQL Security Analysis#145:Commit1176671pushedbyhyperpolymath
  main

  Jun 29, 20261m 3s
  More actions for workflow run 145

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

  completed successfully:
  CodeQL Security Analysis#144:Pull request#49openedbyhyperpolymath
  fix/clade-uuid

  Jun 29, 20261m 36s
  More actions for workflow run 144

• CodeQL Security Analysis

  completed successfully:
  CodeQL Security Analysis#143:Scheduled
  main

  Jun 29, 202638s
  More actions for workflow run 143

• ci: make CI genuinely green — rust-ci toolchain pin + fmt/clippy (#48)

  completed successfully:
  CodeQL Security Analysis#142:Commit2656f00pushedbyhyperpolymath
  main

  Jun 28, 20261m 2s
  More actions for workflow run 142

• ci: make CI genuinely green — rust-ci toolchain pin + fmt/clippy

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

  Jun 28, 202647s
  More actions for workflow run 141

• ci: make CI genuinely green — rust-ci toolchain pin + fmt/clippy

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

  Jun 28, 202645s
  More actions for workflow run 140

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

  completed successfully:
  CodeQL Security Analysis#139:Commite65ee21pushedbyhyperpolymath
  main

  Jun 28, 202641s
  More actions for workflow run 139

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

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

  Jun 28, 202637s
  More actions for workflow run 138

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

  completed successfully:
  CodeQL Security Analysis#137:Commit87aad80pushedbyhyperpolymath
  main

  Jun 28, 202639s
  More actions for workflow run 137

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

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

  Jun 28, 202642s
  More actions for workflow run 136

• ABI Layer 3: transition soundness of linear free (state + address p…

  completed successfully:
  CodeQL Security Analysis#135:Commit38ac343pushedbyhyperpolymath
  main

  Jun 28, 202639s
  More actions for workflow run 135

• ABI Layer 3: transition soundness of linear free (state + address preservation)

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

  Jun 28, 202653s
  More actions for workflow run 134

• ABI Layer 2: prove linear-pointer memory safety (no use-after-free/do…

  completed successfully:
  CodeQL Security Analysis#133:Commit4ad7cb3pushedbyhyperpolymath
  main

  Jun 27, 202649s
  More actions for workflow run 133

• ABI Layer 2: prove linear-pointer memory safety (no use-after-free/double-free) — flagship Idris2 proof

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

  Jun 27, 202650s
  More actions for workflow run 132