CodeQL Security Analysis

Workflow runs for CodeQL Security Analysis

• CodeQL Security Analysis

  completed successfully:
  CodeQL Security Analysis#365:Scheduled
  main

  Jul 13, 20262m 2s
  More actions for workflow run 365

• fix(ci): clear OSSF Scorecard startup_failure (#119)

  completed successfully:
  CodeQL Security Analysis#364:Commit39e8f48pushedbyhyperpolymath
  main

  Jul 6, 202638m 57s
  More actions for workflow run 364

• fix(ci): clear OSSF Scorecard startup_failure

  completed successfully:
  CodeQL Security Analysis#363:Pull request#119openedbyhyperpolymath
  fix/scorecard-caller-startup

  Jul 6, 202623m 23s
  More actions for workflow run 363

• CodeQL Security Analysis

  completed successfully:
  CodeQL Security Analysis#362:Scheduled
  main

  Jul 6, 20262m 2s
  More actions for workflow run 362

• fix(ci): re-pin rust-ci-reusable past toolchain-input breakage (#118)

  completed successfully:
  CodeQL Security Analysis#361:Commitc08858dpushedbyhyperpolymath
  main

  Jul 3, 202619m 36s
  More actions for workflow run 361

• fix(ci): re-pin rust-ci-reusable past toolchain-input breakage

  completed successfully:
  CodeQL Security Analysis#360:Pull request#118openedbyhyperpolymath
  ci/repin-rust-ci-reusable-412a7031

  Jul 3, 202618m 39s
  More actions for workflow run 360

• CodeQL Security Analysis

  completed successfully:
  CodeQL Security Analysis#359:Scheduled
  main

  Jun 29, 20262m 3s
  More actions for workflow run 359

• docs: fold adversarial-review findings (honesty/divergence clarificat…

  completed successfully:
  CodeQL Security Analysis#358:Commite990dacpushedbyhyperpolymath
  main

  Jun 28, 20261m 59s
  More actions for workflow run 358

• docs: fold adversarial-review findings (honesty/divergence clarifications)

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

  Jun 28, 20261m 55s
  More actions for workflow run 357

• Phase 1b: control-flow execution + faithful block scoping (if/loop/at…

  completed successfully:
  CodeQL Security Analysis#356:Commitbd610ddpushedbyhyperpolymath
  main

  Jun 28, 20262m 12s
  More actions for workflow run 356

• Phase 1b: control-flow execution + faithful block scoping (if/loop/attempt/consent)

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

  Jun 28, 20262m 1s
  More actions for workflow run 355

• Phase 1b: statement-execution relation + preservation (simple-stateme…

  completed successfully:
  CodeQL Security Analysis#354:Commitd71dfe9pushedbyhyperpolymath
  main

  Jun 28, 20262m 5s
  More actions for workflow run 354

• Phase 1b: statement-execution relation + preservation (simple-statement fragment)

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

  Jun 28, 20262m 1s
  More actions for workflow run 353

• Phase 1b: store-typed preservation (generalize preservation to an arb…

  completed successfully:
  CodeQL Security Analysis#352:Commit01f7329pushedbyhyperpolymath
  main

  Jun 28, 20261m 42s
  More actions for workflow run 352

• Phase 1b: store-typed preservation (generalize preservation to an arbitrary context)

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

  Jun 28, 20262m 1s
  More actions for workflow run 351

• Phase 1b substrate: expression-evaluation invariants under a store (#…

  completed successfully:
  CodeQL Security Analysis#350:Commit156455fpushedbyhyperpolymath
  main

  Jun 28, 20262m 3s
  More actions for workflow run 350

• Phase 1b substrate: expression-evaluation invariants under a store

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

  Jun 28, 20262m 0s
  More actions for workflow run 349

• Phase 1b foundation: store typing (StoreWellTyped + lemmas) (#112)

  completed successfully:
  CodeQL Security Analysis#348:Commitc17b2eepushedbyhyperpolymath
  main

  Jun 28, 20261m 57s
  More actions for workflow run 348

• Phase 1b foundation: store typing (StoreWellTyped + lemmas)

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

  Jun 28, 20262m 1s
  More actions for workflow run 347

• Phase 1 core: the Substitution Lemma (type-safety.md Lemma 3.4) (#111)

  completed successfully:
  CodeQL Security Analysis#346:Commitcb54027pushedbyhyperpolymath
  main

  Jun 28, 20262m 3s
  More actions for workflow run 346

• Phase 1 core: the Substitution Lemma (type-safety.md Lemma 3.4)

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

  Jun 28, 20262m 3s
  More actions for workflow run 345

• Verification roadmap + Phase 2a (capability partial order + satisfact…

  completed successfully:
  CodeQL Security Analysis#344:Commit712b58apushedbyhyperpolymath
  main

  Jun 27, 20261m 59s
  More actions for workflow run 344

• Verification roadmap + Phase 2a (capability partial order + satisfaction)

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

  Jun 27, 20261m 56s
  More actions for workflow run 343

• CFLs not closed under intersection — explicit witnesses (cfl_not_clos…

  completed successfully:
  CodeQL Security Analysis#342:Commit6579da0pushedbyhyperpolymath
  main

  Jun 27, 20262m 20s
  More actions for workflow run 342

• CFLs not closed under intersection — explicit witnesses (cfl_not_closed_inter)

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

  Jun 27, 20262m 4s
  More actions for workflow run 341