CodeQL Security Analysis

Workflow runs for CodeQL Security Analysis

• chore: gitignore wokelangiser i18n files (too large for GitHub)

  completed successfully:
  CodeQL Security Analysis#48:Commit6bca0f4pushedbyhyperpolymath
  main

  Apr 4, 20264h 3m 36s
  More actions for workflow run 48

• docs: add M2 estate audit report (2026-04-04)

  completed successfully:
  CodeQL Security Analysis#47:Commit2c6acd5pushedbyhyperpolymath
  main

  Apr 4, 20264h 6m 33s
  More actions for workflow run 47

• feat: add wokelangiser accessibility+consent manifest

  completed successfully:
  CodeQL Security Analysis#46:Commit737a060pushedbyhyperpolymath
  main

  Apr 4, 20263h 59m 52s
  More actions for workflow run 46

• chore: add eclexiaiser.toml energy-cost manifest

  completed successfully:
  CodeQL Security Analysis#45:Commitcc4c05epushedbyhyperpolymath
  main

  Apr 4, 20263h 33m 1s
  More actions for workflow run 45

• docs: update TEST-NEEDS.md with verified test counts

  completed successfully:
  CodeQL Security Analysis#44:Commit88a08e7pushedbyhyperpolymath
  main

  Apr 4, 20262h 8m 40s
  More actions for workflow run 44

• chore: add k9 Kennel guard for project metadata invariants

  completed successfully:
  CodeQL Security Analysis#43:Commit1019d29pushedbyhyperpolymath
  main

  Apr 4, 20262h 5m 53s
  More actions for workflow run 43

• chore: add k9iser.toml (Batch 2A)

  completed successfully:
  CodeQL Security Analysis#42:Commit32e4453pushedbyhyperpolymath
  main

  Apr 4, 20262h 43m 43s
  More actions for workflow run 42

• ci: deploy dogfood-gate, update CI config, add CRG tests

  completed successfully:
  CodeQL Security Analysis#41:Commit2717de1pushedbyhyperpolymath
  main

  Apr 4, 20261h 39m 51s
  More actions for workflow run 41

• docs: substantive CRG C annotation (EXPLAINME.adoc)

  completed successfully:
  CodeQL Security Analysis#40:Commit2b3e203pushedbyhyperpolymath
  main

  Apr 4, 202644m 40s
  More actions for workflow run 40

• Add casket pages workflow

  completed successfully:
  CodeQL Security Analysis#39:Commitfb90b64pushedbyhyperpolymath
  main

  Apr 2, 202658m 18s
  More actions for workflow run 39

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

  completed successfully:
  CodeQL Security Analysis#38:Commit137a49dpushedbyhyperpolymath
  main

  Mar 30, 202611m 48s
  More actions for workflow run 38

• ci: add E2E + aspect + bench CI workflow

  completed successfully:
  CodeQL Security Analysis#37:Commit2d59a0dpushedbyhyperpolymath
  main

  Mar 30, 202659s
  More actions for workflow run 37

• feat: add Idris2 soundness proofs for TypeLL type checker metatheory

  completed successfully:
  CodeQL Security Analysis#36:Commitf39ca7epushedbyhyperpolymath
  main

  Mar 30, 202646s
  More actions for workflow run 36

• CodeQL Security Analysis

  completed successfully:
  CodeQL Security Analysis#35:Scheduled
  main

  Mar 30, 202645s
  More actions for workflow run 35

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

  completed successfully:
  CodeQL Security Analysis#34:Commit6d29e8bpushedbyhyperpolymath
  main

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

• feat: add stapeln.toml layer-based container definition\n\nConverted …

  completed successfully:
  CodeQL Security Analysis#33:Commit97ddd31pushedbyhyperpolymath
  main

  Mar 28, 20262h 9m 50s
  More actions for workflow run 33

• chore: add agent_instructions methodology layer

  completed successfully:
  CodeQL Security Analysis#32:Commit670312fpushedbyhyperpolymath
  main

  Mar 24, 20261h 40m 20s
  More actions for workflow run 32

• chore: add Stapeln selur-compose.toml service definition

  completed successfully:
  CodeQL Security Analysis#31:Commit3c53dddpushedbyhyperpolymath
  main

  Mar 24, 20261h 33m 20s
  More actions for workflow run 31

• CodeQL Security Analysis

  completed successfully:
  CodeQL Security Analysis#30:Scheduled
  main

  Mar 23, 20261m 50s
  More actions for workflow run 30

• docs: add EXPLAINME.adoc — prove-it file backing README claims

  completed successfully:
  CodeQL Security Analysis#29:Commit26d2250pushedbyhyperpolymath
  main

  Mar 22, 202633m 34s
  More actions for workflow run 29

• Merge branch 'chore/cicd-optimizations'

  completed successfully:
  CodeQL Security Analysis#28:Commit3769be7pushedbyhyperpolymath
  main

  Mar 21, 20263m 45s
  More actions for workflow run 28

• docs: add unified levels documentation

  completed successfully:
  CodeQL Security Analysis#27:Commit0590027pushedbyhyperpolymath
  main

  Mar 21, 20263m 58s
  More actions for workflow run 27

• test: comprehensive TypeLL test suite — VQL bridge, core, integration

  completed successfully:
  CodeQL Security Analysis#26:Commitcf6a7c1pushedbyhyperpolymath
  main

  Mar 21, 202643s
  More actions for workflow run 26

• feat(spec): add remaining 5 Phase 1 formal specifications

  completed successfully:
  CodeQL Security Analysis#25:Commit116e0fepushedbyhyperpolymath
  main

  Mar 21, 202648s
  More actions for workflow run 25

• chore(floor-raise): add foundational tool integrations

  completed successfully:
  CodeQL Security Analysis#24:Commit1203605pushedbyhyperpolymath
  main

  Mar 21, 20266m 51s
  More actions for workflow run 24