CodeQL Security Analysis

Workflow runs for CodeQL Security Analysis

• CodeQL Security Analysis

  completed successfully:
  CodeQL Security Analysis#139:Scheduled
  main

  Jul 13, 202645s
  More actions for workflow run 139

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

  completed successfully:
  CodeQL Security Analysis#138:Commit6acd80dpushedbyhyperpolymath
  main

  Jul 9, 202620m 55s
  More actions for workflow run 138

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

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

  Jul 9, 202656s
  More actions for workflow run 137

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

  completed successfully:
  CodeQL Security Analysis#136:Commit2b75f85pushedbyhyperpolymath
  main

  Jul 6, 202649m 22s
  More actions for workflow run 136

• fix(ci): clear OSSF Scorecard startup_failure

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

  Jul 6, 20264m 59s
  More actions for workflow run 135

• CodeQL Security Analysis

  completed successfully:
  CodeQL Security Analysis#134:Scheduled
  main

  Jul 6, 202643s
  More actions for workflow run 134

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

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

  Jun 29, 20269m 16s
  More actions for workflow run 133

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

  cancelled:
  CodeQL Security Analysis#132:Commit6a62547pushedbyhyperpolymath
  main

  Jun 29, 20261m 41s
  More actions for workflow run 132

• CodeQL Security Analysis

  completed successfully:
  CodeQL Security Analysis#131:Scheduled
  main

  Jun 29, 202647s
  More actions for workflow run 131

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

  completed successfully:
  CodeQL Security Analysis#130:Commit083f07dpushedbyhyperpolymath
  main

  Jun 28, 202644s
  More actions for workflow run 130

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

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

  Jun 28, 20261m 3s
  More actions for workflow run 129

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

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

  Jun 28, 202643s
  More actions for workflow run 128

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

  completed successfully:
  CodeQL Security Analysis#127:Commit3ba5465pushedbyhyperpolymath
  main

  Jun 28, 202638s
  More actions for workflow run 127

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

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

  Jun 28, 202649s
  More actions for workflow run 126

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

  completed successfully:
  CodeQL Security Analysis#125:Commit3be9030pushedbyhyperpolymath
  main

  Jun 28, 202645s
  More actions for workflow run 125

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

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

  Jun 28, 202646s
  More actions for workflow run 124

• ABI Layer 3: transitivity of multi-step disclosure reachability (#39)

  completed successfully:
  CodeQL Security Analysis#123:Commit8527eadpushedbyhyperpolymath
  main

  Jun 28, 20261m 35s
  More actions for workflow run 123

• ABI Layer 3: transitivity of multi-step disclosure reachability

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

  Jun 28, 202653s
  More actions for workflow run 122

• abi: prove progressive-disclosure monotonicity (Layer 2 Semantics) (#38)

  completed successfully:
  CodeQL Security Analysis#121:Commitde44afapushedbyhyperpolymath
  main

  Jun 27, 20261m 4s
  More actions for workflow run 121

• ABI Layer 2: prove progressive-disclosure monotonicity — flagship Idris2 proof

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

  Jun 27, 202645s
  More actions for workflow run 120

• ci: refresh standards reusable pins to current HEAD (d7c2271) (#37)

  completed successfully:
  CodeQL Security Analysis#119:Commit593ab3apushedbyhyperpolymath
  main

  Jun 27, 20261h 26m 14s
  More actions for workflow run 119

• ci: refresh standards reusable pins to current HEAD (d7c2271)

  completed successfully:
  CodeQL Security Analysis#118:Pull request#37openedbyhyperpolymath
  ci/repin-standards-reusables-d7c2271

  Jun 27, 20261h 26m 24s
  More actions for workflow run 118

• ci: add ABI↔FFI conformance gate (#36)

  completed successfully:
  CodeQL Security Analysis#117:Commit467b316pushedbyhyperpolymath
  main

  Jun 26, 20261m 2s
  More actions for workflow run 117

• ci: add ABI↔FFI conformance gate

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

  Jun 26, 202644s
  More actions for workflow run 116

• Auto-install pinned Zig toolchain in setup + devcontainer (#35)

  completed successfully:
  CodeQL Security Analysis#115:Commit92a6172pushedbyhyperpolymath
  main

  Jun 26, 20264m 55s
  More actions for workflow run 115