CodeQL Security Analysis

Workflow runs for CodeQL Security Analysis

• chore: automated sync of local changes

  completed successfully:
  CodeQL Security Analysis#173:Commitd903b56pushedbyhyperpolymath
  main

  Apr 8, 202618m 6s
  More actions for workflow run 173

• CodeQL Security Analysis

  completed successfully:
  CodeQL Security Analysis#172:Scheduled
  main

  Apr 6, 20261m 16s
  More actions for workflow run 172

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

  completed successfully:
  CodeQL Security Analysis#171:Commit23a38acpushedbyhyperpolymath
  main

  Apr 4, 20265h 54m 35s
  More actions for workflow run 171

• chore: update eclexiaiser.toml with real function entries

  completed successfully:
  CodeQL Security Analysis#170:Commit27cab88pushedbyhyperpolymath
  main

  Apr 4, 20265h 6m 59s
  More actions for workflow run 170

• chore: add eclexiaiser.toml manifests for container sub-services

  completed successfully:
  CodeQL Security Analysis#169:Commit3d9b7c0pushedbyhyperpolymath
  main

  Apr 4, 20264h 5m 5s
  More actions for workflow run 169

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

  completed successfully:
  CodeQL Security Analysis#168:Commitcb3b790pushedbyhyperpolymath
  main

  Apr 4, 20261h 14m 11s
  More actions for workflow run 168

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

  completed successfully:
  CodeQL Security Analysis#167:Commit9917a32pushedbyhyperpolymath
  main

  Apr 4, 202626m 7s
  More actions for workflow run 167

• docs(test): achieve CRG C — document all test categories passing

  completed successfully:
  CodeQL Security Analysis#166:Commitb0fa5f1pushedbyhyperpolymath
  main

  Apr 4, 20261m 11s
  More actions for workflow run 166

• chore: update STATE.a2ml with CRG C compliance achievement

  completed successfully:
  CodeQL Security Analysis#165:Commit1219f0apushedbyhyperpolymath
  main

  Apr 4, 20261m 13s
  More actions for workflow run 165

• feat: add comprehensive test suite to achieve CRG C compliance

  completed successfully:
  CodeQL Security Analysis#164:Commitfc5e8bfpushedbyhyperpolymath
  main

  Apr 4, 20261m 22s
  More actions for workflow run 164

• Add casket pages workflow

  completed successfully:
  CodeQL Security Analysis#163:Commit0881573pushedbyhyperpolymath
  main

  Apr 2, 202637m 59s
  More actions for workflow run 163

• ci: add E2E + aspect + bench + panic-attack workflow for absolute-zero

  completed successfully:
  CodeQL Security Analysis#162:Commit69ba44apushedbyhyperpolymath
  main

  Mar 30, 20261m 17s
  More actions for workflow run 162

• feat: add benchmarks, unit tests, E2E and aspect tests for absolute-zero

  completed successfully:
  CodeQL Security Analysis#161:Commit77af9b9pushedbyhyperpolymath
  main

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

• fix: remove eval, quote vars, use mktemp in absolute-zero shell scripts

  completed successfully:
  CodeQL Security Analysis#160:Commit250311fpushedbyhyperpolymath
  main

  Mar 30, 20261m 20s
  More actions for workflow run 160

• Remove template-only ABI files that falsely implied formal verification

  completed successfully:
  CodeQL Security Analysis#159:Commit3c1744fpushedbyhyperpolymath
  main

  Mar 30, 202613m 26s
  More actions for workflow run 159

• CodeQL Security Analysis

  completed successfully:
  CodeQL Security Analysis#158:Scheduled
  main

  Mar 30, 20261m 17s
  More actions for workflow run 158

• feat: add stapeln.toml container definition

  completed successfully:
  CodeQL Security Analysis#157:Commitabc3938pushedbyhyperpolymath
  main

  Mar 29, 202618m 22s
  More actions for workflow run 157

• fix: eliminate all 3 sorry in LambdaCNO proofs

  completed successfully:
  CodeQL Security Analysis#156:Commit29259c0pushedbyhyperpolymath
  main

  Mar 29, 20263m 48s
  More actions for workflow run 156

• chore: deploy UX infrastructure (contractile.just, .well-known, manif…

  completed successfully:
  CodeQL Security Analysis#155:Commit66f71b3pushedbyhyperpolymath
  main

  Mar 29, 202626m 2s
  More actions for workflow run 155

• chore: add UX infrastructure (quickstart, doctor, setup)

  completed successfully:
  CodeQL Security Analysis#154:Commitc87e331pushedbyhyperpolymath
  main

  Mar 28, 202653m 0s
  More actions for workflow run 154

• chore: add agent_instructions methodology layer

  completed successfully:
  CodeQL Security Analysis#153:Commit452e3e0pushedbyhyperpolymath
  main

  Mar 24, 202649m 1s
  More actions for workflow run 153

• chore: standardise, Justfile, (rename,, fix, parse, errors,, remove, …

  completed successfully:
  CodeQL Security Analysis#152:Commitb5b882cpushedbyhyperpolymath
  main

  Mar 23, 202623m 14s
  More actions for workflow run 152

• CodeQL Security Analysis

  completed successfully:
  CodeQL Security Analysis#151:Scheduled
  main

  Mar 23, 20261m 16s
  More actions for workflow run 151

• docs: add EXPLAINME.adoc — prove-it file backing README claims

  completed successfully:
  CodeQL Security Analysis#150:Commit58e6ffcpushedbyhyperpolymath
  main

  Mar 22, 20261m 10s
  More actions for workflow run 150

• build(deps): bump trufflesecurity/trufflehog from 3.93.8 to 3.94.0

  completed successfully:
  CodeQL Security Analysis#149:Commit8cc5a78pushedbyhyperpolymath
  main

  Mar 20, 20261m 31s
  More actions for workflow run 149