CodeQL Security Analysis

Workflow runs for CodeQL Security Analysis

• CodeQL Security Analysis

  completed successfully:
  CodeQL Security Analysis#211:Scheduled
  main

  May 11, 20263m 15s
  More actions for workflow run 211

• CodeQL Security Analysis

  completed successfully:
  CodeQL Security Analysis#210:Scheduled
  main

  May 4, 20262m 54s
  More actions for workflow run 210

• chore(contractiles): k9 → svc/, remove lust dir (ADR-001 2026-04-18)

  completed successfully:
  CodeQL Security Analysis#209:Commit77781dbpushedbyhyperpolymath
  main

  Apr 27, 202618m 30s
  More actions for workflow run 209

• feat(verisim-api): Phase 1 Step 3 — ?include=embedding byte-exact rou…

  completed successfully:
  CodeQL Security Analysis#208:Commit3e55b08pushedbyhyperpolymath
  main

  Apr 27, 20261m 18s
  More actions for workflow run 208

• CodeQL Security Analysis

  completed successfully:
  CodeQL Security Analysis#207:Scheduled
  main

  Apr 27, 20262m 21s
  More actions for workflow run 207

• chore(deps): bump rustls-webpki (#12)

  completed successfully:
  CodeQL Security Analysis#206:Commit4d435ddpushedbyhyperpolymath
  main

  Apr 25, 20264m 52s
  More actions for workflow run 206

• chore(deps): bump rustls-webpki from 0.103.12 to 0.103.13 in /verisimdb in the cargo group across 1 directory

  completed successfully:
  CodeQL Security Analysis#205:Pull request#12openedbydependabot[bot]Bot
  dependabot/cargo/verisimdb/cargo-8056535635

  Apr 24, 20261m 27s
  More actions for workflow run 205

• chore: estate-wide metadata and submodule sync (2026-04-20)

  completed successfully:
  CodeQL Security Analysis#204:Commit894a50cpushedbyhyperpolymath
  main

  Apr 22, 20261m 15s
  More actions for workflow run 204

• CodeQL Security Analysis

  completed successfully:
  CodeQL Security Analysis#203:Scheduled
  main

  Apr 20, 20261m 33s
  More actions for workflow run 203

• refactor(quandledb): extract to top-level monorepo

  completed successfully:
  CodeQL Security Analysis#202:Commit8507330pushedbyhyperpolymath
  main

  Apr 19, 20265h 11m 3s
  More actions for workflow run 202

• chore(contractiles): add bust/ + relocate k9 to svc/

  completed successfully:
  CodeQL Security Analysis#201:Commit91e4eb1pushedbyhyperpolymath
  main

  Apr 18, 20264h 23m 44s
  More actions for workflow run 201

• chore(contractiles): remove lust (not in 6-verb set: intend trust mus…

  completed successfully:
  CodeQL Security Analysis#200:Commitf922c76pushedbyhyperpolymath
  main

  Apr 18, 20261h 46m 11s
  More actions for workflow run 200

• Standardize workspace: Capitalize Justfile references in scripts and …

  completed successfully:
  CodeQL Security Analysis#199:Commitdd7b35epushedbyhyperpolymath
  main

  Apr 18, 20267m 19s
  More actions for workflow run 199

• Standardize workspace: Justfile migration and A2ML directive cleanup

  completed successfully:
  CodeQL Security Analysis#198:Commit11f8541pushedbyhyperpolymath
  main

  Apr 18, 20261m 38s
  More actions for workflow run 198

• docs(verisimdb): clarify ProverKind is proven-domain, not an echidna …

  completed successfully:
  CodeQL Security Analysis#197:Commit2a43dffpushedbyhyperpolymath
  main

  Apr 17, 20261m 25s
  More actions for workflow run 197

• chore: fill empty .tool-versions from drift inventory (2026-04-17)

  completed successfully:
  CodeQL Security Analysis#196:Commit82eb090pushedbyhyperpolymath
  main

  Apr 17, 20264m 0s
  More actions for workflow run 196

• proof(verisimdb): close V11 (connector type safety / Obj.magic elimin…

  completed successfully:
  CodeQL Security Analysis#195:Commit95c3867pushedbyhyperpolymath
  main

  Apr 17, 20261m 31s
  More actions for workflow run 195

• proof(verisimdb): harden V10 scenario to actually exercise concurrency

  completed successfully:
  CodeQL Security Analysis#194:Commit2390e52pushedbyhyperpolymath
  main

  Apr 17, 20261m 26s
  More actions for workflow run 194

• ci(verisimdb): add TLA+ model-check workflow for V5/V9/V10

  completed successfully:
  CodeQL Security Analysis#193:Commita301cefpushedbyhyperpolymath
  main

  Apr 17, 20261m 23s
  More actions for workflow run 193

• proof(verisimdb): close V10 (transaction serializability) in TLA+

  completed successfully:
  CodeQL Security Analysis#192:Commit94aa56fpushedbyhyperpolymath
  main

  Apr 17, 20261m 31s
  More actions for workflow run 192

• 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