CodeQL Security Analysis

Workflow runs for CodeQL Security Analysis

• fix(metrics): wire TPTP a2ml corpus into metric loader

  completed successfully:
  CodeQL Security Analysis#323:Commit9196fe0pushedbyhyperpolymath
  main

  Apr 17, 20267m 40s
  More actions for workflow run 323

• feat(metrics): scaffold eight-axis corpus metrics suite with VeriSim …

  completed successfully:
  CodeQL Security Analysis#322:Commit6b27847pushedbyhyperpolymath
  main

  Apr 17, 20268m 23s
  More actions for workflow run 322

• corpus: AFP → 50K, broader Agda extraction, rebalance

  completed successfully:
  CodeQL Security Analysis#321:Commitff9a58apushedbyhyperpolymath
  main

  Apr 17, 20267m 39s
  More actions for workflow run 321

• feat(vocab): cap CANON at ~100K tokens via MAX_MINED

  completed successfully:
  CodeQL Security Analysis#320:Commit4b07e0cpushedbyhyperpolymath
  main

  Apr 17, 20268m 7s
  More actions for workflow run 320

• feat(vocab): corpus-mined tokens → CANON 8,887 → 114,983 (12.9×)

  completed successfully:
  CodeQL Security Analysis#319:Commitbc90974pushedbyhyperpolymath
  main

  Apr 17, 20267m 52s
  More actions for workflow run 319

• corpus: fold Agda + AFP into merge_corpus, regenerate UNIFIED stats

  completed successfully:
  CodeQL Security Analysis#318:Commit300d35epushedbyhyperpolymath
  main

  Apr 17, 20267m 55s
  More actions for workflow run 318

• feat(corpus): AFP extractor — Isabelle 98 → 20,584 proofs

  completed successfully:
  CodeQL Security Analysis#317:Commitb0cd92fpushedbyhyperpolymath
  main

  Apr 17, 20267m 47s
  More actions for workflow run 317

• feat(corpus): Agda extractor — 1 → 5,529 proofs from agda-stdlib

  completed successfully:
  CodeQL Security Analysis#316:Commitd0762ebpushedbyhyperpolymath
  main

  Apr 17, 20268m 2s
  More actions for workflow run 316

• feat(vocab): curated CANON seed wired into training tokenizer

  completed successfully:
  CodeQL Security Analysis#315:Commitce6528fpushedbyhyperpolymath
  main

  Apr 17, 20268m 19s
  More actions for workflow run 315

• feat(corpus): add typechecker-ecosystem prover families + vocabulary

  completed successfully:
  CodeQL Security Analysis#314:Commitc1c311fpushedbyhyperpolymath
  main

  Apr 17, 20267m 52s
  More actions for workflow run 314

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

  completed successfully:
  CodeQL Security Analysis#313:Commitfdcb18epushedbyhyperpolymath
  main

  Apr 17, 20261h 0m 30s
  More actions for workflow run 313

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

  completed successfully:
  CodeQL Security Analysis#312:Commit169e030pushedbyhyperpolymath
  main

  Apr 17, 20261h 58m 22s
  More actions for workflow run 312

• chore: M5 CI/Workflow Sweep - final synchronisation

  completed successfully:
  CodeQL Security Analysis#311:Commitaaeef38pushedbyhyperpolymath
  main

  Apr 16, 20261h 16m 35s
  More actions for workflow run 311

• chore: track (empty) deno.lock for M5 sweep

  completed successfully:
  CodeQL Security Analysis#310:Commit3b03087pushedbyhyperpolymath
  main

  Apr 15, 202631m 49s
  More actions for workflow run 310

• CodeQL Security Analysis

  completed successfully:
  CodeQL Security Analysis#309:Scheduled
  main

  Apr 13, 20267m 24s
  More actions for workflow run 309

• chore(ui): migrate Justfile to deno task + update ReScript UI layer

  completed successfully:
  CodeQL Security Analysis#308:Commitc771a08pushedbyhyperpolymath
  main

  Apr 12, 20267m 9s
  More actions for workflow run 308

• feat(echidnabot): harden webhook signing + prover-unavailable distinc…

  completed successfully:
  CodeQL Security Analysis#307:Commitc3fc0b2pushedbyhyperpolymath
  main

  Apr 12, 20267m 21s
  More actions for workflow run 307

• proof: E4 trust level soundness (Idris2 complement to Lean4 Confidenc…

  completed successfully:
  CodeQL Security Analysis#306:Commit84121cepushedbyhyperpolymath
  main

  Apr 11, 20267m 6s
  More actions for workflow run 306

• chore(contractiles): migrate to .machine_readable/contractiles/ (cano…

  completed successfully:
  CodeQL Security Analysis#305:Commit6ab0901pushedbyhyperpolymath
  main

  Apr 11, 20267m 23s
  More actions for workflow run 305

• chore(6a2): migrate bot_directives to A2ML, remove deprecated .scm me…

  completed successfully:
  CodeQL Security Analysis#304:Commitffc2aa5pushedbyhyperpolymath
  main

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

• chore(6a2): commit pre-existing 6a2 sweep for echidnabot, HOL-o-exten…

  completed successfully:
  CodeQL Security Analysis#303:Commit02fd283pushedbyhyperpolymath
  main

  Apr 11, 20268m 40s
  More actions for workflow run 303

• chore(models): commit retrain metadata from 2026-04-11 VeriSimDB loop

  completed successfully:
  CodeQL Security Analysis#302:Commit390070bpushedbyhyperpolymath
  main

  Apr 11, 20268m 15s
  More actions for workflow run 302

• feat(v2.2): epistemic hardening — Z3 easy fixes, integration wiring, …

  completed successfully:
  CodeQL Security Analysis#301:Commitb0e29d0pushedbyhyperpolymath
  main

  Apr 11, 20267m 38s
  More actions for workflow run 301

• docs(machine-readable): update 6a2 for 2026-04-11 Fly cold-start hard…

  completed successfully:
  CodeQL Security Analysis#300:Commita59159cpushedbyhyperpolymath
  main

  Apr 11, 20268m 54s
  More actions for workflow run 300

• chore(6a2): update echidnabot STATE + fix Intentfile copy-paste

  completed successfully:
  CodeQL Security Analysis#299:Commit7ad4f66pushedbyhyperpolymath
  main

  Apr 11, 20266m 58s
  More actions for workflow run 299