CodeQL Security Analysis

Workflow runs for CodeQL Security Analysis

• ci: update SHA pins for codeql-action and trufflehog

  completed successfully:
  CodeQL Security Analysis#228:Commit83eff0dpushedbyhyperpolymath
  main

  Mar 16, 20268h 36m 9s
  More actions for workflow run 228

• migrate: .scm → .a2ml state files in .machine_readable/

  completed successfully:
  CodeQL Security Analysis#227:Commit81970b7pushedbyhyperpolymath
  main

  Mar 16, 20267h 9m 55s
  More actions for workflow run 227

• fix: correct email jonathan.jewell → j.d.a.jewell

  completed successfully:
  CodeQL Security Analysis#226:Commit256cb3apushedbyhyperpolymath
  main

  Mar 16, 20266h 6m 3s
  More actions for workflow run 226

• fix: global AGPL-3.0-or-later → PMPL-1.0-or-later replacement

  completed successfully:
  CodeQL Security Analysis#225:Commit3af4d8bpushedbyhyperpolymath
  main

  Mar 16, 20264h 49m 35s
  More actions for workflow run 225

• fix: SPDX headers (AGPL→PMPL), email, author name

  completed successfully:
  CodeQL Security Analysis#224:Commit38be8bcpushedbyhyperpolymath
  main

  Mar 16, 20263h 10m 41s
  More actions for workflow run 224

• Fix SPDX headers: AGPL-3.0-or-later → PMPL-1.0-or-later

  completed successfully:
  CodeQL Security Analysis#223:Commit6de9fbbpushedbyhyperpolymath
  main

  Mar 16, 20261h 0m 29s
  More actions for workflow run 223

• refactor: migrate 6SCM → 6A2 (.scm → .a2ml format)

  completed successfully:
  CodeQL Security Analysis#222:Commit9f9947epushedbyhyperpolymath
  main

  Mar 15, 202631m 39s
  More actions for workflow run 222

• feat: upgrade contractiles from YAML to A2ML canonical format

  completed successfully:
  CodeQL Security Analysis#221:Commit13e30ffpushedbyhyperpolymath
  main

  Mar 14, 202655s
  More actions for workflow run 221

• fix: eliminate all partials, convert all README.md to .adoc, fix lice…

  completed successfully:
  CodeQL Security Analysis#220:Commit81b1b76pushedbyhyperpolymath
  main

  Mar 14, 202654s
  More actions for workflow run 220

• chore: sync local changes

  completed successfully:
  CodeQL Security Analysis#219:Commitbf06f90pushedbyhyperpolymath
  main

  Mar 14, 202651s
  More actions for workflow run 219

• feat: add BEAM NIF pipeline (77 functions, libproven_nif.so)

  completed successfully:
  CodeQL Security Analysis#218:Commitc5a1637pushedbyhyperpolymath
  main

  Mar 13, 202651s
  More actions for workflow run 218

• fix: migrate Zig FFI to 0.15.2, fix idris2-zig-ffi path, fix RefC cod…

  completed successfully:
  CodeQL Security Analysis#217:Commite2bb964pushedbyhyperpolymath
  main

  Mar 13, 202657s
  More actions for workflow run 217

• Move unbreakable guarantee text from README to META.scm

  completed successfully:
  CodeQL Security Analysis#216:Commitecd27bfpushedbyhyperpolymath
  main

  Mar 11, 202638m 19s
  More actions for workflow run 216

• Standardise license setup: MPL-2.0 + PMPL-1.0-or-later (REUSE)

  completed successfully:
  CodeQL Security Analysis#215:Commit75ad6eapushedbyhyperpolymath
  main

  Mar 11, 202620m 16s
  More actions for workflow run 215

• CodeQL Security Analysis

  completed successfully:
  CodeQL Security Analysis#214:Scheduled
  main

  Mar 9, 202651s
  More actions for workflow run 214

• chore: hypatia dispatch auto-fixes (tmp-paths, shell-quoting, annotat…

  completed successfully:
  CodeQL Security Analysis#213:Commit0c48df0pushedbyhyperpolymath
  main

  Mar 7, 20266m 18s
  More actions for workflow run 213

• Auto-commit: Sync changes [2026-03-05]

  completed successfully:
  CodeQL Security Analysis#212:Commit45732e9pushedbyhyperpolymath
  main

  Mar 5, 202617m 47s
  More actions for workflow run 212

• fix: correct author attribution, license, emails across all manifests…

  completed successfully:
  CodeQL Security Analysis#211:Commita78394epushedbyhyperpolymath
  main

  Mar 2, 202659s
  More actions for workflow run 211

• CodeQL Security Analysis

  completed successfully:
  CodeQL Security Analysis#210:Scheduled
  main

  Mar 2, 202653s
  More actions for workflow run 210

• Delete EMERGENCY-CLEANUP-COMPLETE-2026-01-25.md

  completed successfully:
  CodeQL Security Analysis#209:Commit083dd6cpushedbyhyperpolymath
  main

  Mar 1, 202656s
  More actions for workflow run 209

• Delete .UNSAFE-ALL-BINDINGS-DELETED-FINAL-20260125/bindings directory

  completed successfully:
  CodeQL Security Analysis#208:Commitb33926epushedbyhyperpolymath
  main

  Mar 1, 20261m 13s
  More actions for workflow run 208

• Delete .UNSAFE-ALL-BINDINGS-DELETED-20260125-095712/bindings/scala/sr…

  completed successfully:
  CodeQL Security Analysis#207:Commit75fa51dpushedbyhyperpolymath
  main

  Mar 1, 20261m 1s
  More actions for workflow run 207

• Delete .UNSAFE-ALL-BINDINGS-DELETED-20260125-095657/bindings/scala/sr…

  completed successfully:
  CodeQL Security Analysis#206:Commit04461bfpushedbyhyperpolymath
  main

  Mar 1, 202657s
  More actions for workflow run 206

• Delete .UNSAFE-ALL-BINDINGS-DELETED-20260125-095646/bindings/scala/sr…

  completed successfully:
  CodeQL Security Analysis#205:Commit1644c37pushedbyhyperpolymath
  main

  Mar 1, 202653s
  More actions for workflow run 205

• Fix SafeEmail Validation and Proofs compilation errors

  completed successfully:
  CodeQL Security Analysis#204:Commitca06126pushedbyhyperpolymath
  main

  Feb 28, 20261m 0s
  More actions for workflow run 204