CodeQL Security Analysis

Workflow runs for CodeQL Security Analysis

• Standardize workspace: Capitalize Justfile references in scripts and …

  completed successfully:
  CodeQL Security Analysis#73:Commit83c96b4pushedbyhyperpolymath
  main

  Apr 18, 202623m 19s
  More actions for workflow run 73

• chore: fill empty .tool-versions from drift inventory (2026-04-17)

  completed successfully:
  CodeQL Security Analysis#72:Commit964f18fpushedbyhyperpolymath
  main

  Apr 17, 20262m 29s
  More actions for workflow run 72

• ci: restore Dependabot security path + wire auto-merge

  completed successfully:
  CodeQL Security Analysis#71:Commit8e2cca8pushedbyhyperpolymath
  main

  Apr 17, 20261h 2m 3s
  More actions for workflow run 71

• chore: sync local state

  completed successfully:
  CodeQL Security Analysis#70:Commit9e86b6cpushedbyhyperpolymath
  main

  Apr 17, 20267m 8s
  More actions for workflow run 70

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

  completed successfully:
  CodeQL Security Analysis#69:Commit316fab1pushedbyhyperpolymath
  main

  Apr 17, 20261h 39m 51s
  More actions for workflow run 69

• chore: M5 CI/Workflow Sweep - final synchronisation

  completed successfully:
  CodeQL Security Analysis#68:Commit8666720pushedbyhyperpolymath
  main

  Apr 16, 20261h 13m 13s
  More actions for workflow run 68

• chore: track (empty) deno.lock for M5 sweep

  completed successfully:
  CodeQL Security Analysis#67:Commit6072ad5pushedbyhyperpolymath
  main

  Apr 15, 202632m 10s
  More actions for workflow run 67

• CodeQL Security Analysis

  completed successfully:
  CodeQL Security Analysis#66:Scheduled
  main

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

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

  completed successfully:
  CodeQL Security Analysis#65:Commit67c89e7pushedbyhyperpolymath
  main

  Apr 11, 202631m 28s
  More actions for workflow run 65

• CodeQL Security Analysis

  completed successfully:
  CodeQL Security Analysis#64:Scheduled
  main

  Apr 6, 202659s
  More actions for workflow run 64

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

  completed successfully:
  CodeQL Security Analysis#63:Commitb14ba4epushedbyhyperpolymath
  main

  Apr 4, 20265h 35m 45s
  More actions for workflow run 63

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

  completed successfully:
  CodeQL Security Analysis#62:Commitca98d81pushedbyhyperpolymath
  main

  Apr 4, 20262h 41m 0s
  More actions for workflow run 62

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

  completed successfully:
  CodeQL Security Analysis#61:Commit3073ea4pushedbyhyperpolymath
  main

  Apr 4, 202653m 58s
  More actions for workflow run 61

• docs: add TEST-NEEDS.md (CRG C)

  completed successfully:
  CodeQL Security Analysis#60:Commitf9bcbd8pushedbyhyperpolymath
  main

  Apr 4, 202626m 42s
  More actions for workflow run 60

• Add casket pages workflow

  completed successfully:
  CodeQL Security Analysis#59:Commitce136cbpushedbyhyperpolymath
  main

  Apr 2, 202626m 58s
  More actions for workflow run 59

• Remove template-only ABI files that falsely implied formal verification

  completed successfully:
  CodeQL Security Analysis#58:Commit9bcdbf8pushedbyhyperpolymath
  main

  Mar 30, 202611m 12s
  More actions for workflow run 58

• CodeQL Security Analysis

  completed successfully:
  CodeQL Security Analysis#57:Scheduled
  main

  Mar 30, 20261m 25s
  More actions for workflow run 57

• feat: add stapeln.toml container definition

  completed successfully:
  CodeQL Security Analysis#56:Commit89a4227pushedbyhyperpolymath
  main

  Mar 29, 20264m 45s
  More actions for workflow run 56

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

  completed successfully:
  CodeQL Security Analysis#55:Commitbdaf140pushedbyhyperpolymath
  main

  Mar 28, 202615m 3s
  More actions for workflow run 55

• chore: add gitignore, gitattributes, tool-versions

  completed successfully:
  CodeQL Security Analysis#54:Commit1a08dedpushedbyhyperpolymath
  main

  Mar 28, 20262h 1m 52s
  More actions for workflow run 54

• feat: deploy UX Manifesto infrastructure

  completed successfully:
  CodeQL Security Analysis#53:Commit91d8adfpushedbyhyperpolymath
  main

  Mar 28, 20261h 33m 9s
  More actions for workflow run 53

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

  completed successfully:
  CodeQL Security Analysis#52:Commit1675ff4pushedbyhyperpolymath
  main

  Mar 28, 202635m 25s
  More actions for workflow run 52

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

  completed successfully:
  CodeQL Security Analysis#51:Commitd02f579pushedbyhyperpolymath
  main

  Mar 28, 20261m 26s
  More actions for workflow run 51

• Merge chore/cicd-optimizations into main

  failed:
  CodeQL Security Analysis#50:Commitf7daab3pushedbyhyperpolymath
  master

  Mar 26, 20261m 15s
  More actions for workflow run 50

• chore: add agent_instructions methodology layer

  completed successfully:
  CodeQL Security Analysis#49:Commit025b9capushedbyhyperpolymath
  main

  Mar 26, 20261m 13s
  More actions for workflow run 49