CodeQL Security Analysis

Workflow runs for CodeQL Security Analysis

• docs(v-migration): deprecate V-lang bindings — point to Zig and Rust

  completed successfully:
  CodeQL Security Analysis#305:Commitbe8f020pushedbyhyperpolymath
  main

  Apr 12, 20261m 8s
  More actions for workflow run 305

• chore(6a2): commit 6a2 sweep — a2ml drift

  completed successfully:
  CodeQL Security Analysis#304:Commit4246036pushedbyhyperpolymath
  main

  Apr 11, 20267m 36s
  More actions for workflow run 304

• chore(licence): clarify MPL-2.0 fallback — PMPL-1.0-or-later preferred

  completed successfully:
  CodeQL Security Analysis#303:Commitfcf692cpushedbyhyperpolymath
  main

  Apr 11, 20261h 14m 2s
  More actions for workflow run 303

• CodeQL Security Analysis

  completed successfully:
  CodeQL Security Analysis#302:Scheduled
  main

  Apr 6, 202657s
  More actions for workflow run 302

• feat(crg): add crg-grade and crg-badge justfile recipes

  completed successfully:
  CodeQL Security Analysis#301:Commit044b22bpushedbyhyperpolymath
  main

  Apr 4, 20266h 10m 12s
  More actions for workflow run 301

• chore: add eclexiaiser-validate job to dogfood gate

  completed successfully:
  CodeQL Security Analysis#300:Commit211306bpushedbyhyperpolymath
  main

  Apr 4, 20264h 44m 35s
  More actions for workflow run 300

• chore: add eclexiaiser.toml energy-cost manifest

  completed successfully:
  CodeQL Security Analysis#299:Commitdc87c67pushedbyhyperpolymath
  main

  Apr 4, 20263h 9m 40s
  More actions for workflow run 299

• ci: deploy dogfood-gate, fix hypatia-scan, add pre-commit hooks

  completed successfully:
  CodeQL Security Analysis#298:Commit5c37934pushedbyhyperpolymath
  main

  Apr 4, 20261h 23m 0s
  More actions for workflow run 298

• docs: substantive CRG C annotation (EXPLAINME.adoc)

  completed successfully:
  CodeQL Security Analysis#297:Commit4f35d46pushedbyhyperpolymath
  main

  Apr 4, 202638m 1s
  More actions for workflow run 297

• test: CRG D→C blitz — P2P + E2E + aspect tests for Rust binding

  completed successfully:
  CodeQL Security Analysis#296:Commitfe9ca2bpushedbyhyperpolymath
  main

  Apr 4, 202651s
  More actions for workflow run 296

• Add casket pages workflow

  completed successfully:
  CodeQL Security Analysis#295:Commit2a1a190pushedbyhyperpolymath
  main

  Apr 2, 202648m 11s
  More actions for workflow run 295

• docs: add TEST-NEEDS.md and/or PROOF-NEEDS.md from audit

  completed successfully:
  CodeQL Security Analysis#294:Commit658b4d0pushedbyhyperpolymath
  main

  Mar 30, 202613m 25s
  More actions for workflow run 294

• feat: add E2E + safety aspect + bench CI workflow

  completed successfully:
  CodeQL Security Analysis#293:Commitd9f0cedpushedbyhyperpolymath
  main

  Mar 30, 20265m 47s
  More actions for workflow run 293

• feat: add 15 Proofs.idr for critical Safe* modules

  completed successfully:
  CodeQL Security Analysis#292:Commit23f4a42pushedbyhyperpolymath
  main

  Mar 30, 202658s
  More actions for workflow run 292

• docs: add BibTeX bibliography for cross-language verified safety paper

  completed successfully:
  CodeQL Security Analysis#291:Commit4801df5pushedbyhyperpolymath
  main

  Mar 30, 20261m 11s
  More actions for workflow run 291

• CodeQL Security Analysis

  completed successfully:
  CodeQL Security Analysis#290:Scheduled
  main

  Mar 30, 202653s
  More actions for workflow run 290

• feat: add 16 new Safe modules — security, data integrity, crypto, dis…

  completed successfully:
  CodeQL Security Analysis#289:Commit97c150epushedbyhyperpolymath
  main

  Mar 29, 202656s
  More actions for workflow run 289

• feat: fix all 20 FFI bindings — not-proven/ is now EMPTY

  completed successfully:
  CodeQL Security Analysis#288:Commit3876264pushedbyhyperpolymath
  main

  Mar 29, 202652s
  More actions for workflow run 288

• feat: add 5 security hardening modules — CSRF, CSP, Redirect, SRI, OTP

  completed successfully:
  CodeQL Security Analysis#287:Commitb9881a8pushedbyhyperpolymath
  main

  Mar 29, 202610m 33s
  More actions for workflow run 287

• feat: prove ALL remaining Safe modules — SafeBase64 (5 files) and Saf…

  completed successfully:
  CodeQL Security Analysis#286:Commitce7c1bcpushedbyhyperpolymath
  main

  Mar 29, 202615m 26s
  More actions for workflow run 286

• feat: prove SafePhone, register 10 concurrent-session modules in ipkg

  completed successfully:
  CodeQL Security Analysis#285:Commit62f2452pushedbyhyperpolymath
  main

  Mar 29, 202614m 22s
  More actions for workflow run 285

• feat: create 5 new SafeModules, eliminate believe_me, prove 10 not-pr…

  completed successfully:
  CodeQL Security Analysis#284:Commit651fd80pushedbyhyperpolymath
  main

  Mar 29, 20261m 8s
  More actions for workflow run 284

• feat: add gt1ImpliesNonZero lemma to SafeFiniteField

  completed successfully:
  CodeQL Security Analysis#283:Commit7ba002dpushedbyhyperpolymath
  main

  Mar 29, 202653s
  More actions for workflow run 283

• docs: update MODULE-STATUS — 26/26 Proofs, 83 standalone, 23 in not-p…

  completed successfully:
  CodeQL Security Analysis#282:Commit2a951d0pushedbyhyperpolymath
  main

  Mar 29, 202640m 20s
  More actions for workflow run 282

• fix: restore SafeDSP, SafeLog, SafeBloom, SafeBuffer from not-proven

  completed successfully:
  CodeQL Security Analysis#281:Commit4dd5c94pushedbyhyperpolymath
  main

  Mar 29, 202641m 26s
  More actions for workflow run 281