CodeQL Security Analysis

Workflow runs for CodeQL Security Analysis

• proof(verisimdb): close V9 (normalizer determinism + convergence) in …

  completed successfully:
  CodeQL Security Analysis#191:Commit81e1d52pushedbyhyperpolymath
  main

  Apr 17, 20261m 20s
  More actions for workflow run 191

• proof(verisimdb): close V5 (Octad transaction atomicity) with TLA+/TLC

  completed successfully:
  CodeQL Security Analysis#190:Commit9d3dfd8pushedbyhyperpolymath
  main

  Apr 17, 20261m 22s
  More actions for workflow run 190

• proof(verisimdb): close V1 (Octad coherence invariant) in Idris2

  completed successfully:
  CodeQL Security Analysis#189:Commite2e5d9bpushedbyhyperpolymath
  main

  Apr 17, 20261m 13s
  More actions for workflow run 189

• proof(verisimdb): close V8 (drift metric correctness) in Idris2

  completed successfully:
  CodeQL Security Analysis#188:Commit182cc7cpushedbyhyperpolymath
  main

  Apr 17, 20261m 21s
  More actions for workflow run 188

• chore: Justfile recapitalization + launcher path correction

  completed successfully:
  CodeQL Security Analysis#187:Commit0b601bepushedbyhyperpolymath
  main

  Apr 17, 20261m 35s
  More actions for workflow run 187

• chore: sync chore drift (docs, workflows, gitignore, a2ml)

  completed successfully:
  CodeQL Security Analysis#186:Commit427123epushedbyhyperpolymath
  main

  Apr 17, 202649m 46s
  More actions for workflow run 186

• chore: update LICENSE to PMPL-1.0-or-later with MPL-2.0 fallback

  completed successfully:
  CodeQL Security Analysis#185:Commit2057f31pushedbyhyperpolymath
  main

  Apr 17, 20261h 45m 26s
  More actions for workflow run 185

• Merge pull request #11 from hyperpolymath/launcher-keepopen-realign

  completed successfully:
  CodeQL Security Analysis#184:Commit7e54a21pushedbyhyperpolymath
  main

  Apr 17, 202614m 29s
  More actions for workflow run 184

• launcher: realign against keepopen-enabled template

  completed successfully:
  CodeQL Security Analysis#183:Pull request#11openedbyhyperpolymath
  launcher-keepopen-realign

  Apr 17, 202612m 7s
  More actions for workflow run 183

• chore: M5 CI/Workflow Sweep - final synchronisation

  completed successfully:
  CodeQL Security Analysis#182:Commit6e9d91apushedbyhyperpolymath
  main

  Apr 16, 202627m 21s
  More actions for workflow run 182

• chore: M5 CI/Workflow Sweep - add blockers and contractile.just

  completed successfully:
  CodeQL Security Analysis#181:Commit63296ccpushedbyhyperpolymath
  main

  Apr 15, 20261m 26s
  More actions for workflow run 181

• CodeQL Security Analysis

  completed successfully:
  CodeQL Security Analysis#180:Scheduled
  main

  Apr 13, 20261m 13s
  More actions for workflow run 180

• chore: add opsm.toml manifests for all sub-projects + update Justfile

  completed successfully:
  CodeQL Security Analysis#179:Commitb42db7dpushedbyhyperpolymath
  main

  Apr 12, 20261m 40s
  More actions for workflow run 179

• feat(quandledb): v0.3.0 extended invariants — determinant, signature,…

  completed successfully:
  CodeQL Security Analysis#178:Commit38d495dpushedbyhyperpolymath
  main

  Apr 12, 20267m 1s
  More actions for workflow run 178

• feat(quandledb): frontend query UI — textarea editor, results table, …

  completed successfully:
  CodeQL Security Analysis#177:Commitc5a577epushedbyhyperpolymath
  main

  Apr 12, 20266m 19s
  More actions for workflow run 177

• docs(explainme): add verisimdb EXPLAINME per README-EXPLAINME-STANDARD

  completed successfully:
  CodeQL Security Analysis#176:Commit02ce526pushedbyhyperpolymath
  main

  Apr 12, 20262m 58s
  More actions for workflow run 176

• feat(quandledb): end-to-end KRL query pipeline — evaluator, fault tol…

  completed successfully:
  CodeQL Security Analysis#175:Commitafd3220pushedbyhyperpolymath
  main

  Apr 12, 20261m 24s
  More actions for workflow run 175

• feat(quandledb/krl): implement KRL parser suite — Lexer, AST, Parser,…

  completed successfully:
  CodeQL Security Analysis#174:Commitfe44933pushedbyhyperpolymath
  main

  Apr 12, 20262m 16s
  More actions for workflow run 174

• fix(lithoglyph): migrate Zig 0.15.2 API changes across core-zig and g…

  completed successfully:
  CodeQL Security Analysis#173:Commit260dc69pushedbyhyperpolymath
  main

  Apr 12, 20261m 36s
  More actions for workflow run 173

• chore(a2ml-migration): rename .scm → .a2ml in lithoglyph + gql-dt

  completed successfully:
  CodeQL Security Analysis#172:Commit2bf4009pushedbyhyperpolymath
  main

  Apr 12, 20262m 15s
  More actions for workflow run 172

• fix(project): remove circular KRLAdapter dep from Project.toml

  completed successfully:
  CodeQL Security Analysis#171:Commit413aa0bpushedbyhyperpolymath
  main

  Apr 12, 20261m 20s
  More actions for workflow run 171

• feat(verisim-api): POST /proof_attempts auth guard + pagination offset

  completed successfully:
  CodeQL Security Analysis#170:Commit403e760pushedbyhyperpolymath
  main

  Apr 12, 20261m 29s
  More actions for workflow run 170

• test(quandledb): add property-based quandle axiom and Reidemeister in…

  completed successfully:
  CodeQL Security Analysis#169:Commit27debe9pushedbyhyperpolymath
  main

  Apr 12, 20261m 10s
  More actions for workflow run 169

• chore(v-sweep): delete V-lang VeriSimDB client source

  completed successfully:
  CodeQL Security Analysis#168:Commitf546e6cpushedbyhyperpolymath
  main

  Apr 12, 20261m 32s
  More actions for workflow run 168

• docs(v-migration): deprecate V-lang VeriSimDB client — point to Rust

  completed successfully:
  CodeQL Security Analysis#167:Commit131e41bpushedbyhyperpolymath
  main

  Apr 12, 20261m 22s
  More actions for workflow run 167