CodeQL Security Analysis

Workflow runs for CodeQL Security Analysis

• aⁿbⁿcⁿ ∉ CFL + governance CI fixes (Licence SPDX, trufflehog SHA-pin)…

  completed successfully:
  CodeQL Security Analysis#340:Commitff575b1pushedbyhyperpolymath
  main

  Jun 27, 20262m 1s
  More actions for workflow run 340

• aⁿbⁿcⁿ ∉ CFL + governance CI fixes (Licence SPDX, trufflehog SHA-pin)

  completed successfully:
  CodeQL Security Analysis#339:Pull request#108openedbyhyperpolymath
  claude/v2-grammar-proofs-audit-1yqgxh

  Jun 27, 20261m 57s
  More actions for workflow run 339

• ci: refresh standards reusable pins to current HEAD (d7c2271) (#107)

  completed successfully:
  CodeQL Security Analysis#338:Commit5acbf3apushedbyhyperpolymath
  main

  Jun 27, 20262h 37m 32s
  More actions for workflow run 338

• ci: refresh standards reusable pins to current HEAD (d7c2271)

  completed successfully:
  CodeQL Security Analysis#337:Pull request#107openedbyhyperpolymath
  ci/repin-standards-reusables-d7c2271

  Jun 27, 20262h 36m 42s
  More actions for workflow run 337

• CFL pumping lemma — machine-checked from scratch in Lean (cfl_pumping…

  completed successfully:
  CodeQL Security Analysis#336:Commitc77b102pushedbyhyperpolymath
  main

  Jun 27, 20262m 1s
  More actions for workflow run 336

• CFL pumping lemma + aⁿbⁿcⁿ ∉ CFL — machine-checked from scratch in Lean

  completed successfully:
  CodeQL Security Analysis#335:Pull request#106synchronizebyhyperpolymath
  claude/v2-grammar-proofs-audit-1yqgxh

  Jun 27, 20262m 2s
  More actions for workflow run 335

• CFL pumping lemma + aⁿbⁿcⁿ ∉ CFL — machine-checked from scratch in Lean

  completed successfully:
  CodeQL Security Analysis#334:Pull request#106synchronizebyhyperpolymath
  claude/v2-grammar-proofs-audit-1yqgxh

  Jun 27, 20262m 5s
  More actions for workflow run 334

• CFL pumping lemma + aⁿbⁿcⁿ ∉ CFL — machine-checked from scratch in Lean

  completed successfully:
  CodeQL Security Analysis#333:Pull request#106openedbyhyperpolymath
  claude/v2-grammar-proofs-audit-1yqgxh

  Jun 27, 20261m 52s
  More actions for workflow run 333

• §7.3 CFL closure under union / concatenation / Kleene star (Lean, fro…

  completed successfully:
  CodeQL Security Analysis#332:Commitdfcec84pushedbyhyperpolymath
  main

  Jun 26, 20261m 59s
  More actions for workflow run 332

• §7.3 CFL closure under union / concatenation / Kleene star (Lean, fro…

  cancelled:
  CodeQL Security Analysis#331:Commitdfcec84pushedbyhyperpolymath
  main

  Jun 26, 20262s
  More actions for workflow run 331

• §7.3 CFL closure under union / concatenation / Kleene star (Lean, from scratch)

  completed successfully:
  CodeQL Security Analysis#330:Pull request#105openedbyhyperpolymath
  claude/v2-grammar-proofs-audit-1yqgxh

  Jun 26, 20262m 0s
  More actions for workflow run 330

• Grammar proofs, extensions: Coq parser port + §7.1 not-regular (from …

  completed successfully:
  CodeQL Security Analysis#329:Commit12971c7pushedbyhyperpolymath
  main

  Jun 26, 20261m 46s
  More actions for workflow run 329

• Grammar proofs, extensions: Coq parser port + §7.1 not-regular (from scratch)

  completed successfully:
  CodeQL Security Analysis#328:Pull request#104openedbyhyperpolymath
  claude/v2-grammar-proofs-audit-1yqgxh

  Jun 26, 20262m 27s
  More actions for workflow run 328

• Grammar structural proofs: no-left-recursion (+ discrepancy), lexer, …

  completed successfully:
  CodeQL Security Analysis#327:Commit0b1b031pushedbyhyperpolymath
  main

  Jun 26, 20262m 3s
  More actions for workflow run 327

• Grammar structural proofs: no-left-recursion (+ discrepancy), lexer, classification (Lean + Coq)

  completed successfully:
  CodeQL Security Analysis#326:Pull request#103openedbyhyperpolymath
  claude/v2-grammar-proofs-audit-1yqgxh

  Jun 26, 20262m 2s
  More actions for workflow run 326

• Machine-checked grammar proofs (Lean) + grammar reconciliation (#102)

  completed successfully:
  CodeQL Security Analysis#325:Commitcd4d161pushedbyhyperpolymath
  main

  Jun 26, 20264m 7s
  More actions for workflow run 325

• Machine-checked grammar proofs (Lean) + grammar reconciliation

  completed successfully:
  CodeQL Security Analysis#324:Pull request#102openedbyhyperpolymath
  claude/v2-grammar-proofs-audit-1yqgxh

  Jun 26, 20262m 33s
  More actions for workflow run 324

• feat(ci): attest build provenance (#101)

  completed successfully:
  CodeQL Security Analysis#323:Commitb6c815epushedbyhyperpolymath
  main

  Jun 25, 20269h 23m 0s
  More actions for workflow run 323

• feat(ci): attest build provenance

  completed successfully:
  CodeQL Security Analysis#322:Pull request#101openedbyhyperpolymath
  feat/attest-build-provenance

  Jun 25, 20269h 43m 49s
  More actions for workflow run 322

• chore(ci): add dormant push-email notification workflow (#100)

  cancelled:
  CodeQL Security Analysis#321:Commit5e5d116pushedbyhyperpolymath
  main

  Jun 24, 202614h 6m 24s
  More actions for workflow run 321

• chore(ci): add dormant push-email notification workflow

  completed successfully:
  CodeQL Security Analysis#320:Pull request#100synchronizebyhyperpolymath
  chore/push-email-notify

  Jun 24, 202621h 17m 22s
  More actions for workflow run 320

• chore(ci): add dormant push-email notification workflow

  cancelled:
  CodeQL Security Analysis#319:Pull request#100openedbyhyperpolymath
  chore/push-email-notify

  Jun 24, 202611m 11s
  More actions for workflow run 319

• chore(licence): normalise to MPL-2.0 + CC-BY-SA-4.0 (canonical pair) …

  cancelled:
  CodeQL Security Analysis#318:Commit9ca3060pushedbyhyperpolymath
  main

  Jun 24, 20261h 5m 17s
  More actions for workflow run 318

• chore(licence): normalise to MPL-2.0 + CC-BY-SA-4.0 (canonical pair)

  completed successfully:
  CodeQL Security Analysis#317:Pull request#99openedbyhyperpolymath
  chore/licence-normalisation-2026-06-24

  Jun 24, 202618h 43m 44s
  More actions for workflow run 317

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

  cancelled:
  CodeQL Security Analysis#316:Commit7a60bc8pushedbyhyperpolymath
  main

  Jun 24, 202643m 6s
  More actions for workflow run 316