CodeQL Security Analysis

Workflow runs for CodeQL Security Analysis

• chore(clade): backfill [status] lifecycle block

  completed successfully:
  CodeQL Security Analysis#315:Pull request#98openedbyhyperpolymath
  chore/clade-status-backfill

  Jun 24, 202614h 46m 48s
  More actions for workflow run 315

• chore(ci): bump standards reusable workflow pins (#97)

  cancelled:
  CodeQL Security Analysis#314:Commit33ccefdpushedbyhyperpolymath
  main

  Jun 24, 20262h 1m 27s
  More actions for workflow run 314

• chore(ci): bump standards reusable workflow pins

  completed successfully:
  CodeQL Security Analysis#313:Pull request#97openedbyhyperpolymath
  chore/bump-standards-pins-2026-06-24

  Jun 24, 20267h 53m 26s
  More actions for workflow run 313

• chore: retire local issue/discussion templates -> inherit org .github…

  completed successfully:
  CodeQL Security Analysis#312:Commit19688bcpushedbyhyperpolymath
  main

  Jun 22, 202615m 42s
  More actions for workflow run 312

• CodeQL Security Analysis

  completed successfully:
  CodeQL Security Analysis#311:Scheduled
  main

  Jun 22, 20262m 7s
  More actions for workflow run 311

• ci: adopt standards reusable workflows for Scorecard, Hypatia, and Go…

  completed successfully:
  CodeQL Security Analysis#310:Commit48a7f1epushedbyhyperpolymath
  main

  Jun 21, 202615m 31s
  More actions for workflow run 310

• fix(identity): declare wokelang standalone; stop misrouting to nextge…

  completed successfully:
  CodeQL Security Analysis#309:Commitf6ca6f7pushedbyhyperpolymath
  main

  Jun 19, 20262m 5s
  More actions for workflow run 309

• fix(identity): declare wokelang standalone; stop misrouting to nextgen-languages

  completed successfully:
  CodeQL Security Analysis#308:Pull request#96synchronizebyhyperpolymath
  claude/wizardly-archimedes-9pnqed

  Jun 19, 20262m 26s
  More actions for workflow run 308

• docs: AFFIRMATION.adoc (MUST/INTEND/WISH state) + next-Claude handoff…

  cancelled:
  CodeQL Security Analysis#307:Commit9f74d4cpushedbyhyperpolymath
  main

  Jun 19, 20261m 20s
  More actions for workflow run 307

• fix(identity): declare wokelang standalone; stop misrouting to nextgen-languages

  completed successfully:
  CodeQL Security Analysis#306:Pull request#96openedbyhyperpolymath
  claude/wizardly-archimedes-9pnqed

  Jun 19, 20261m 52s
  More actions for workflow run 306

• docs: AFFIRMATION.adoc (MUST/INTEND/WISH state) + next-Claude handoff prompt

  completed successfully:
  CodeQL Security Analysis#305:Pull request#95openedbyhyperpolymath
  claude/sleepy-carson-bREoV

  Jun 19, 20261m 55s
  More actions for workflow run 305

• feat(vm): upvalue capture for closures (by value, single level) (#94)

  completed successfully:
  CodeQL Security Analysis#304:Commit14463d8pushedbyhyperpolymath
  main

  Jun 18, 20262m 3s
  More actions for workflow run 304

• feat(vm): upvalue capture for closures (by value, single level)

  completed successfully:
  CodeQL Security Analysis#303:Pull request#94openedbyhyperpolymath
  claude/sleepy-carson-bREoV

  Jun 18, 20262m 9s
  More actions for workflow run 303

• feat(vm): Result constructors from surface syntax + closures (#93)

  completed successfully:
  CodeQL Security Analysis#302:Commitf659790pushedbyhyperpolymath
  main

  Jun 18, 20261m 58s
  More actions for workflow run 302

• feat(vm): Result constructors from surface syntax + closures

  completed successfully:
  CodeQL Security Analysis#301:Pull request#93openedbyhyperpolymath
  claude/sleepy-carson-bREoV

  Jun 18, 20262m 6s
  More actions for workflow run 301

• feat(vm): VM runs the core language + enforces consent (coverage, opc…

  completed successfully:
  CodeQL Security Analysis#300:Commit6a050bdpushedbyhyperpolymath
  main

  Jun 18, 20261m 57s
  More actions for workflow run 300

• feat(vm): VM runs the core language + enforces consent (coverage, opcodes, consent)

  completed successfully:
  CodeQL Security Analysis#299:Pull request#92synchronizebyhyperpolymath
  claude/sleepy-carson-bREoV

  Jun 18, 20262m 10s
  More actions for workflow run 299

• feat(vm): VM runs the core language + enforces consent (coverage, opcodes, consent)

  cancelled:
  CodeQL Security Analysis#298:Pull request#92openedbyhyperpolymath
  claude/sleepy-carson-bREoV

  Jun 18, 20261m 48s
  More actions for workflow run 298

• feat(proofs): statement typing judgment + metatheory (Lean + Coq) (#91)

  completed successfully:
  CodeQL Security Analysis#297:Commitb141752pushedbyhyperpolymath
  main

  Jun 18, 20262m 2s
  More actions for workflow run 297

• feat(proofs): statement typing judgment + metatheory (Lean + Coq)

  completed successfully:
  CodeQL Security Analysis#296:Pull request#91openedbyhyperpolymath
  claude/sleepy-carson-bREoV

  Jun 18, 20261m 53s
  More actions for workflow run 296

• feat(proofs): Lean array typing — mirror Coq's T_Array/T_Lit_Array (#90)

  completed successfully:
  CodeQL Security Analysis#295:Commit9bb35eepushedbyhyperpolymath
  main

  Jun 18, 20262m 2s
  More actions for workflow run 295

• feat(proofs): Lean array typing — mirror Coq's T_Array/T_Lit_Array

  completed successfully:
  CodeQL Security Analysis#294:Pull request#90openedbyhyperpolymath
  claude/sleepy-carson-bREoV

  Jun 18, 20261m 41s
  More actions for workflow run 294

• ci: green the two red checks (CodeQL→Rust, PR fuzzing→cargo-fuzz) + p…

  completed successfully:
  CodeQL Security Analysis#293:Commit178786epushedbyhyperpolymath
  main

  Jun 18, 20261m 53s
  More actions for workflow run 293

• ci: green the two red checks (CodeQL→Rust, PR fuzzing→cargo-fuzz) + pin lint toolchain

  completed successfully:
  CodeQL Security Analysis#292:Pull request#89openedbyhyperpolymath
  claude/ci-green-checks

  Jun 18, 20262m 10s
  More actions for workflow run 292

• style(rust): cargo fmt + clippy --fix to clear Build Check (2204e1d l…

  failed:
  CodeQL Security Analysis#291:Commitd797723pushedbyhyperpolymath
  main

  Jun 18, 202631s
  More actions for workflow run 291