CodeQL Security Analysis

Workflow runs for CodeQL Security Analysis

• chore(.machine_readable): convert 6a2 checkpoint files from Scheme to…

  failed:
  CodeQL Security Analysis#20:Commitaa570d9pushedbyhyperpolymath
  main

  Apr 11, 20261h 44m 58s
  More actions for workflow run 20

• chore(licence): clarify MPL-2.0 fallback — PMPL-1.0-or-later preferred

  failed:
  CodeQL Security Analysis#19:Commitddf8221pushedbyhyperpolymath
  main

  Apr 11, 20261h 0m 18s
  More actions for workflow run 19

• CodeQL Security Analysis

  failed:
  CodeQL Security Analysis#18:Scheduled
  main

  Apr 6, 202640s
  More actions for workflow run 18

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

  failed:
  CodeQL Security Analysis#17:Commit4f4bf13pushedbyhyperpolymath
  main

  Apr 4, 20267m 32s
  More actions for workflow run 17

• ci: deploy dogfood-gate, fix hypatia-scan, add pre-commit hooks

  failed:
  CodeQL Security Analysis#16:Commit1007039pushedbyhyperpolymath
  main

  Apr 4, 20262m 32s
  More actions for workflow run 16

• test: add CRG C smoke/structural tests + TEST-NEEDS.md

  failed:
  CodeQL Security Analysis#15:Commitc08a124pushedbyhyperpolymath
  main

  Apr 4, 20263m 10s
  More actions for workflow run 15

• Add casket pages workflow

  failed:
  CodeQL Security Analysis#14:Commitc49d278pushedbyhyperpolymath
  main

  Apr 2, 20262m 52s
  More actions for workflow run 14

• CodeQL Security Analysis

  failed:
  CodeQL Security Analysis#13:Scheduled
  main

  Mar 30, 20264s
  More actions for workflow run 13

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

  failed:
  CodeQL Security Analysis#12:Commit5c3c446pushedbyhyperpolymath
  main

  Mar 29, 20268s
  More actions for workflow run 12

• feat: add stapeln.toml container definition

  failed:
  CodeQL Security Analysis#11:Commit24a9196pushedbyhyperpolymath
  main

  Mar 29, 202610s
  More actions for workflow run 11

• chore: deploy UX infrastructure (contractile.just, .well-known, manif…

  failed:
  CodeQL Security Analysis#10:Commit73757f5pushedbyhyperpolymath
  main

  Mar 29, 202622s
  More actions for workflow run 10

• Fix EXPLAINME.adoc section heading quotes

  failed:
  CodeQL Security Analysis#9:Commitb60a9eepushedbyhyperpolymath
  main

  Mar 28, 202636s
  More actions for workflow run 9

• chore: add UX infrastructure (quickstart, doctor, setup)

  failed:
  CodeQL Security Analysis#8:Commit1ce706bpushedbyhyperpolymath
  main

  Mar 28, 202646s
  More actions for workflow run 8

• chore: add agent_instructions methodology layer

  failed:
  CodeQL Security Analysis#7:Commit128a92apushedbyhyperpolymath
  main

  Mar 24, 20262m 44s
  More actions for workflow run 7

• chore: standardise, Justfile, (rename,, fix, parse, errors,, remove, …

  failed:
  CodeQL Security Analysis#6:Commit54f960fpushedbyhyperpolymath
  main

  Mar 23, 20262m 28s
  More actions for workflow run 6

• docs: add cross-project v3 consistency evaluation (3 project types)

  failed:
  CodeQL Security Analysis#5:Commit3638eb5pushedbyhyperpolymath
  main

  Mar 23, 20262m 24s
  More actions for workflow run 5

• fix: add Divergent Invariant Preservation guard (v5 refinement #24)

  failed:
  CodeQL Security Analysis#4:Commit042cc64pushedbyhyperpolymath
  main

  Mar 23, 20262m 32s
  More actions for workflow run 4

• docs: update evaluation with final v3 numbers — 70% token reduction c…

  failed:
  CodeQL Security Analysis#3:Commit516d3cdpushedbyhyperpolymath
  main

  Mar 23, 20262m 25s
  More actions for workflow run 3

• feat: add evaluations framework — v0-v3 methodology comparison

  failed:
  CodeQL Security Analysis#2:Commit9338e85pushedbyhyperpolymath
  main

  Mar 23, 20262m 39s
  More actions for workflow run 2

• feat: initial methodologies repo — 26 methodologies, 3 field reports,…

  failed:
  CodeQL Security Analysis#1:Commit7b270dapushedbyhyperpolymath
  main

  Mar 23, 20262m 37s
  More actions for workflow run 1