CodeQL Security Analysis

Workflow runs for CodeQL Security Analysis

• refactor(rename): VQL → VCL + verisimdb → verisim

  completed successfully:
  CodeQL Security Analysis#55:Commit2936952pushedbyhyperpolymath
  main

  Apr 5, 202643s
  More actions for workflow run 55

• feat(crg): add crg-grade and crg-badge justfile recipes

  completed successfully:
  CodeQL Security Analysis#54:Commit1683c27pushedbyhyperpolymath
  main

  Apr 4, 20266h 25m 56s
  More actions for workflow run 54

• feat(crg): add Current Grade badge anchor to READINESS.md

  completed successfully:
  CodeQL Security Analysis#53:Commit5b9474bpushedbyhyperpolymath
  main

  Apr 4, 20265h 17m 54s
  More actions for workflow run 53

• chore: remove orphaned workspace-level bench file

  completed successfully:
  CodeQL Security Analysis#52:Commitbc81af8pushedbyhyperpolymath
  main

  Apr 4, 20265h 16m 25s
  More actions for workflow run 52

• test: add criterion benchmarks for TypeLL core verification kernel

  completed successfully:
  CodeQL Security Analysis#51:Commit9a843d8pushedbyhyperpolymath
  main

  Apr 4, 20265h 14m 48s
  More actions for workflow run 51

• fix: set correct Groove capability type (was: custom)

  completed successfully:
  CodeQL Security Analysis#50:Commitd8fd2cepushedbyhyperpolymath
  main

  Apr 4, 20265h 14m 0s
  More actions for workflow run 50

• chore: add eclexiaiser-validate job to dogfood gate

  completed successfully:
  CodeQL Security Analysis#49:Commitf072b09pushedbyhyperpolymath
  main

  Apr 4, 20264h 55m 6s
  More actions for workflow run 49

• 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