CodeQL Security Analysis

Workflow runs for CodeQL Security Analysis

• docs: update STATE with 2026-04-03 session work

  completed successfully:
  CodeQL Security Analysis#244:Commite8d689dpushedbyhyperpolymath
  main

  Apr 3, 20265m 36s
  More actions for workflow run 244

• proof: close no_consumption_at_true_linear + advance T_Lam in typing_…

  completed successfully:
  CodeQL Security Analysis#243:Commitd29f234pushedbyhyperpolymath
  main

  Apr 3, 20261m 19s
  More actions for workflow run 243

• proof: close no_consumption_at_true_linear (Admitted→Qed)

  completed successfully:
  CodeQL Security Analysis#242:Commit61ae97cpushedbyhyperpolymath
  main

  Apr 3, 20261m 10s
  More actions for workflow run 242

• proof: reorder helpers before no_consumption_at_true_linear + prove c…

  completed successfully:
  CodeQL Security Analysis#241:Commit94ddc7bpushedbyhyperpolymath
  main

  Apr 3, 20261m 21s
  More actions for workflow run 241

• fix: remove tracked compiled libraries, add *.so/*.a/*.dylib to gitig…

  completed successfully:
  CodeQL Security Analysis#240:Commite7c4ca0pushedbyhyperpolymath
  main

  Apr 3, 20261m 9s
  More actions for workflow run 240

• proof: close type_determinacy (Admitted→Qed) + add true_flag_preserve…

  completed successfully:
  CodeQL Security Analysis#239:Commit442a8dcpushedbyhyperpolymath
  main

  Apr 3, 20261m 17s
  More actions for workflow run 239

• Snapshot local work before sync

  completed successfully:
  CodeQL Security Analysis#238:Commitfb3c09fpushedbyhyperpolymath
  main

  Apr 2, 20261m 26s
  More actions for workflow run 238

• Snapshot local work before sync

  completed successfully:
  CodeQL Security Analysis#237:Commitc903aefpushedbyhyperpolymath
  main

  Apr 2, 20262m 35s
  More actions for workflow run 237

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

  completed successfully:
  CodeQL Security Analysis#236:Commit08aacd2pushedbyhyperpolymath
  main

  Mar 30, 202614m 18s
  More actions for workflow run 236

• proof: explicit IH naming throughout no_consumption_at_true_linear

  completed successfully:
  CodeQL Security Analysis#235:Commit164b2f2pushedbyhyperpolymath
  main

  Mar 30, 20261m 12s
  More actions for workflow run 235

• docs: interactive proof session guide for closing T_Case/T_If

  completed successfully:
  CodeQL Security Analysis#234:Commit4d5d704pushedbyhyperpolymath
  main

  Mar 30, 20261m 19s
  More actions for workflow run 234

• proof: add S i match attempt for T_Case/T_If binding cases

  completed successfully:
  CodeQL Security Analysis#233:Commitc849dcfpushedbyhyperpolymath
  main

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

• proof: generalize i for binding cases + ctx_lookup_extend_succ lemma

  completed successfully:
  CodeQL Security Analysis#232:Commitc842536pushedbyhyperpolymath
  main

  Mar 30, 20261m 19s
  More actions for workflow run 232

• proof: close 15+ compound cases in no_consumption_at_true_linear

  completed successfully:
  CodeQL Security Analysis#231:Commit60e5877pushedbyhyperpolymath
  main

  Mar 30, 20261m 24s
  More actions for workflow run 231

• CodeQL Security Analysis

  completed successfully:
  CodeQL Security Analysis#230:Scheduled
  main

  Mar 30, 20261m 30s
  More actions for workflow run 230

• add type_determinacy + helper lemmas for closing Admitted proofs

  completed successfully:
  CodeQL Security Analysis#229:Commit008aeaepushedbyhyperpolymath
  main

  Mar 30, 20261m 22s
  More actions for workflow run 229

• fix: make Semantics.v compile with Rocq 9.1.1 (-R . "")

  completed successfully:
  CodeQL Security Analysis#228:Commitdb7723fpushedbyhyperpolymath
  main

  Mar 30, 20261m 10s
  More actions for workflow run 228

• fix: upgrade wasmtime 27→36 (CVE fixes) and add Decl::Const match arms

  completed successfully:
  CodeQL Security Analysis#227:Commit1e5740cpushedbyhyperpolymath
  main

  Mar 29, 202619m 8s
  More actions for workflow run 227

• chore: replace template placeholder in ROADMAP.adoc with project name

  completed successfully:
  CodeQL Security Analysis#226:Commitf369b8apushedbyhyperpolymath
  main

  Mar 29, 202625m 29s
  More actions for workflow run 226

• chore(deps): bump wasmtime from 27.0.0 to 36.0.6 in the cargo group across 1 directory

  completed successfully:
  CodeQL Security Analysis#225:Pull request#22synchronizebydependabot[bot]Bot
  dependabot/cargo/cargo-15be015eae

  Mar 29, 202629m 27s
  More actions for workflow run 225

• proof(formal): no_consumption_at_true_linear — variable cases Qed

  completed successfully:
  CodeQL Security Analysis#224:Commit5e9f95fpushedbyhyperpolymath
  main

  Mar 29, 202642m 44s
  More actions for workflow run 224

• docs: update STATE.scm and CHANGELOG.md for parser extensions (2026-0…

  completed successfully:
  CodeQL Security Analysis#223:Commit13080a6pushedbyhyperpolymath
  main

  Mar 29, 202641m 15s
  More actions for workflow run 223

• chore: update Cargo dependencies for security

  completed successfully:
  CodeQL Security Analysis#222:Commit47378c3pushedbyhyperpolymath
  main

  Mar 29, 202621m 56s
  More actions for workflow run 222

• proof(formal): T_Lam structure complete — G2_tail=G2 via flags_monotone

  completed successfully:
  CodeQL Security Analysis#221:Commit51eb9d8pushedbyhyperpolymath
  main

  Mar 29, 20261m 47s
  More actions for workflow run 221

• feat: add module declarations, -- comments, qualified imports, linear…

  completed successfully:
  CodeQL Security Analysis#220:Commit7b88a30pushedbyhyperpolymath
  main

  Mar 29, 20261m 19s
  More actions for workflow run 220