CodeQL Security Analysis

Workflow runs for CodeQL Security Analysis

• CodeQL Security Analysis

  completed successfully:
  CodeQL Security Analysis#287:Scheduled
  main

  Apr 20, 20261m 18s
  More actions for workflow run 287

• Docs/vision relocation 2026 04 17 (#29)

  completed successfully:
  CodeQL Security Analysis#286:Commitdbf4bddpushedbyhyperpolymath
  main

  Apr 19, 20261m 12s
  More actions for workflow run 286

• Docs/vision relocation 2026 04 17

  completed successfully:
  CodeQL Security Analysis#285:Pull request#29synchronizebyhyperpolymath
  docs/vision-relocation-2026-04-17

  Apr 19, 20261m 8s
  More actions for workflow run 285

• chore(state): populate [dogfooding-status] — proven/bindings/ephapax …

  completed successfully:
  CodeQL Security Analysis#284:Commitab199abpushedbyhyperpolymath
  main

  Apr 19, 20265h 6m 14s
  More actions for workflow run 284

• chore(state): populate [dogfooding-status] — proven/bindings/ephapax consumer

  completed successfully:
  CodeQL Security Analysis#283:Pull request#28openedbyhyperpolymath
  chore/state-dogfooding-proven-consumer

  Apr 19, 20265h 3m 9s
  More actions for workflow run 283

• chore(main-history): linearize from 0f2b917 (squash-rebuild 2026-04-19)

  completed successfully:
  CodeQL Security Analysis#282:Commit68cdb41pushedbyhyperpolymath
  main

  Apr 18, 20265h 19m 37s
  More actions for workflow run 282

• chore(main-history): linearize from 0f2b917 (squash-rebuild 2026-04-19)

  completed successfully:
  CodeQL Security Analysis#281:Commit37f8887pushedbyhyperpolymath
  main

  Apr 18, 20265h 21m 25s
  More actions for workflow run 281

• chore(contractiles): add bust/ + relocate k9 to svc/

  completed successfully:
  CodeQL Security Analysis#280:Commited51063pushedbyhyperpolymath
  main

  Apr 18, 20265h 27m 32s
  More actions for workflow run 280

• Standardize workspace: Justfile migration and A2ML directive cleanup

  completed successfully:
  CodeQL Security Analysis#279:Commitc7aa57bpushedbyhyperpolymath
  main

  Apr 18, 20265m 16s
  More actions for workflow run 279

• Docs/vision relocation 2026 04 17 (#27)

  completed successfully:
  CodeQL Security Analysis#278:Commitef8ed9dpushedbyhyperpolymath
  main

  Apr 18, 20261m 16s
  More actions for workflow run 278

• Docs/vision relocation 2026 04 17

  completed successfully:
  CodeQL Security Analysis#277:Pull request#27synchronizebyhyperpolymath
  docs/vision-relocation-2026-04-17

  Apr 18, 20261m 15s
  More actions for workflow run 277

• Docs/vision relocation 2026 04 17

  completed successfully:
  CodeQL Security Analysis#276:Pull request#27openedbyhyperpolymath
  docs/vision-relocation-2026-04-17

  Apr 18, 20261m 14s
  More actions for workflow run 276

• docs(governance): CRG v2.0 STRICT audit — C (declared) -> D (honest)

  completed successfully:
  CodeQL Security Analysis#275:Commitc84e364pushedbyhyperpolymath
  main

  Apr 18, 20261m 16s
  More actions for workflow run 275

• chore: estate-wide chore + stale-path sweep (2026-04-17)

  completed successfully:
  CodeQL Security Analysis#274:Commitc86aa0dpushedbyhyperpolymath
  main

  Apr 17, 20261h 53m 38s
  More actions for workflow run 274

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

  completed successfully:
  CodeQL Security Analysis#273:Commit95dcd66pushedbyhyperpolymath
  main

  Apr 17, 202620m 38s
  More actions for workflow run 273

• Merge remote-tracking branch 'origin/main'

  completed successfully:
  CodeQL Security Analysis#272:Commitf9742d9pushedbyhyperpolymath
  main

  Apr 16, 20261m 12s
  More actions for workflow run 272

• build(deps): bump rand from 0.9.2 to 0.9.4 in the cargo group across …

  completed successfully:
  CodeQL Security Analysis#271:Commita041434pushedbyhyperpolymath
  main

  Apr 15, 20261m 22s
  More actions for workflow run 271

• build(deps): bump rand from 0.9.2 to 0.9.4 in the cargo group across 1 directory

  completed successfully:
  CodeQL Security Analysis#270:Pull request#26openedbydependabot[bot]Bot
  dependabot/cargo/cargo-2cb957d483

  Apr 14, 20262m 47s
  More actions for workflow run 270

• CodeQL Security Analysis

  completed successfully:
  CodeQL Security Analysis#269:Scheduled
  main

  Apr 13, 20261m 20s
  More actions for workflow run 269

• feat(formal): region proof tactics + CI workflow + 6a2 A2ML enrichment

  completed successfully:
  CodeQL Security Analysis#268:Commitc618e59pushedbyhyperpolymath
  main

  Apr 12, 20266m 49s
  More actions for workflow run 268

• docs(explainme): improve completeness per README-EXPLAINME-STANDARD

  completed successfully:
  CodeQL Security Analysis#267:Commitbd488adpushedbyhyperpolymath
  main

  Apr 12, 20261m 39s
  More actions for workflow run 267

• feat(formal): 63 Qed / 1 Admitted — close T_Region_Active extension

  completed successfully:
  CodeQL Security Analysis#266:Commit206b098pushedbyhyperpolymath
  main

  Apr 12, 20261m 5s
  More actions for workflow run 266

• fix(papers): resolve LaTeX compilation errors and overflow warnings

  completed successfully:
  CodeQL Security Analysis#265:Commit4883e22pushedbyhyperpolymath
  main

  Apr 12, 20261m 10s
  More actions for workflow run 265

• chore(a2ml-migration): remove legacy .scm checkpoint files

  completed successfully:
  CodeQL Security Analysis#264:Commit53a47a0pushedbyhyperpolymath
  main

  Apr 12, 20261m 15s
  More actions for workflow run 264

• Add nextgen-typing pipeline links in ECOSYSTEM

  completed successfully:
  CodeQL Security Analysis#263:Commit6bc8a98pushedbyhyperpolymath
  main

  Apr 12, 20261m 29s
  More actions for workflow run 263