CodeQL Security Analysis

Workflow runs for CodeQL Security Analysis

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

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

  Jul 21, 202641m 11s
  More actions for workflow run 294

• CodeQL Security Analysis

  completed successfully:
  CodeQL Security Analysis#293:Scheduled
  main

  Jul 20, 20262m 4s
  More actions for workflow run 293

• CodeQL Security Analysis

  completed successfully:
  CodeQL Security Analysis#292:Scheduled
  main

  Jul 13, 20261m 50s
  More actions for workflow run 292

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

  completed successfully:
  CodeQL Security Analysis#291:Commit3398da0pushedbyhyperpolymath
  main

  Jul 6, 202635m 54s
  More actions for workflow run 291

• fix(ci): clear OSSF Scorecard startup_failure

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

  Jul 6, 202619m 5s
  More actions for workflow run 290

• CodeQL Security Analysis

  completed successfully:
  CodeQL Security Analysis#289:Scheduled
  main

  Jul 6, 20261m 50s
  More actions for workflow run 289

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

  completed successfully:
  CodeQL Security Analysis#288:Commit2956930pushedbyhyperpolymath
  main

  Jun 29, 202612m 12s
  More actions for workflow run 288

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

  completed successfully:
  CodeQL Security Analysis#287:Pull request#180openedbyhyperpolymath
  fix/clade-uuid

  Jun 29, 202611m 57s
  More actions for workflow run 287

• CodeQL Security Analysis

  completed successfully:
  CodeQL Security Analysis#286:Scheduled
  main

  Jun 29, 20261m 42s
  More actions for workflow run 286

• fix(soundness): FFI octad ops fail loudly instead of reporting false …

  completed successfully:
  CodeQL Security Analysis#285:Commit696c495pushedbyhyperpolymath
  main

  Jun 28, 20261m 52s
  More actions for workflow run 285

• fix(soundness): FFI octad ops fail loudly instead of reporting false success

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

  Jun 28, 20261m 55s
  More actions for workflow run 284

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

  completed successfully:
  CodeQL Security Analysis#283:Commitce26ae4pushedbyhyperpolymath
  main

  Jun 28, 20261m 50s
  More actions for workflow run 283

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

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

  Jun 28, 20261m 51s
  More actions for workflow run 282

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

  completed successfully:
  CodeQL Security Analysis#281:Commit0d2e8e5pushedbyhyperpolymath
  main

  Jun 28, 20261m 53s
  More actions for workflow run 281

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

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

  Jun 28, 20261m 47s
  More actions for workflow run 280

• ABI Layer 3: compositional sidecar isolation (write-effect monoid hom…

  completed successfully:
  CodeQL Security Analysis#279:Commit3f4675cpushedbyhyperpolymath
  main

  Jun 28, 20261m 45s
  More actions for workflow run 279

• ABI Layer 3: compositional sidecar isolation (write-effect monoid homomorphism)

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

  Jun 28, 20261m 47s
  More actions for workflow run 278

• fix(ci): use the pinned Julia 1.11.5 in the ABI-FFI gate (#175)

  completed successfully:
  CodeQL Security Analysis#277:Commit77f6eb7pushedbyhyperpolymath
  main

  Jun 27, 20261m 24s
  More actions for workflow run 277

• fix(ci): use the pinned Julia 1.11.5 in the ABI-FFI gate

  completed successfully:
  CodeQL Security Analysis#276:Pull request#175openedbyhyperpolymath
  claude/abi-ffi-gate-julia-pin

  Jun 27, 20261m 41s
  More actions for workflow run 276

• chore: port the ABI-FFI gate from Python to Julia (RSR-H4: no Python)…

  completed successfully:
  CodeQL Security Analysis#275:Commitdd49dd3pushedbyhyperpolymath
  main

  Jun 27, 20261m 50s
  More actions for workflow run 275

• chore: port the ABI-FFI gate from Python to Julia (RSR-H4: no Python)

  completed successfully:
  CodeQL Security Analysis#274:Pull request#174openedbyhyperpolymath
  claude/abi-ffi-gate-julia

  Jun 27, 20261m 47s
  More actions for workflow run 274

• feat(abi): prove hash-chain integrity, version ordering & lineage acy…

  completed successfully:
  CodeQL Security Analysis#273:Commitb53a4c8pushedbyhyperpolymath
  main

  Jun 27, 20262m 16s
  More actions for workflow run 273

• feat(abi): prove hash-chain integrity, version ordering & lineage acyclicity (Idris2)

  completed successfully:
  CodeQL Security Analysis#272:Pull request#173openedbyhyperpolymath
  claude/verisimiser-abi-proofs

  Jun 27, 20261m 43s
  More actions for workflow run 272

• chore(license): reconcile residual PMPL prose to canonical MPL-2.0 + …

  completed successfully:
  CodeQL Security Analysis#271:Commit5c1c44cpushedbyhyperpolymath
  main

  Jun 27, 20261m 49s
  More actions for workflow run 271

• chore(license): reconcile residual PMPL prose to canonical MPL-2.0 + CC-BY-SA-4.0

  completed successfully:
  CodeQL Security Analysis#270:Pull request#172openedbyhyperpolymath
  claude/resolve-pr-167-jeczsh

  Jun 27, 20261m 40s
  More actions for workflow run 270