CodeQL Security Analysis

Workflow runs for CodeQL Security Analysis

• ci(antipattern): broaden TS allowlist (cli, mod.ts, lsp-server, *vscode*, deno-*)

  completed successfully:
  CodeQL Security Analysis#195:Pull request#45openedbyhyperpolymath
  ci/antipattern-allowlist-v2

  May 3, 20261h 48m 23s
  More actions for workflow run 195

• ci(antipattern): allowlist legit TS bridge/adapter paths (#44)

  completed successfully:
  CodeQL Security Analysis#194:Commit737a8capushedbyhyperpolymath
  main

  May 3, 202641m 19s
  More actions for workflow run 194

• ci(antipattern): allowlist legit TS bridge/adapter paths

  completed successfully:
  CodeQL Security Analysis#193:Pull request#44openedbyhyperpolymath
  ci/antipattern-allowlist-bridges

  May 3, 202641m 53s
  More actions for workflow run 193

• chore(ci): update codeql-action SHA to v3.35.2

  completed successfully:
  CodeQL Security Analysis#192:Commit111b724pushedbyhyperpolymath
  main

  Apr 27, 202610m 46s
  More actions for workflow run 192

• CodeQL Security Analysis

  completed successfully:
  CodeQL Security Analysis#191:Scheduled
  main

  Apr 27, 20261m 17s
  More actions for workflow run 191

• agda: make CNO echo bridge relation-first

  completed successfully:
  CodeQL Security Analysis#190:Commit0538283pushedbyhyperpolymath
  main

  Apr 23, 20261m 11s
  More actions for workflow run 190

• agda: add concrete echo bridge model for CNO

  completed successfully:
  CodeQL Security Analysis#189:Commite80c5fbpushedbyhyperpolymath
  main

  Apr 23, 20261m 7s
  More actions for workflow run 189

• Add Agda echo/CNO bridge scaffold and integration pointers

  completed successfully:
  CodeQL Security Analysis#188:Commit24fae59pushedbyhyperpolymath
  main

  Apr 22, 20261m 13s
  More actions for workflow run 188

• further proofs

  completed successfully:
  CodeQL Security Analysis#187:Commit56d29c8pushedbyhyperpolymath
  main

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

• CodeQL Security Analysis

  completed successfully:
  CodeQL Security Analysis#186:Scheduled
  main

  Apr 20, 20261m 25s
  More actions for workflow run 186

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

  completed successfully:
  CodeQL Security Analysis#185:Commit607c118pushedbyhyperpolymath
  main

  Apr 18, 20265h 54m 52s
  More actions for workflow run 185

• chore(contractiles): remove lust (not in 6-verb set: intend trust mus…

  completed successfully:
  CodeQL Security Analysis#184:Commitca02fc3pushedbyhyperpolymath
  main

  Apr 18, 20263h 37m 58s
  More actions for workflow run 184

• Standardize workspace: Capitalize Justfile references in scripts and …

  completed successfully:
  CodeQL Security Analysis#183:Commita417457pushedbyhyperpolymath
  main

  Apr 18, 20263h 10m 33s
  More actions for workflow run 183

• Standardize workspace: Justfile migration and A2ML directive cleanup

  completed successfully:
  CodeQL Security Analysis#182:Commitcce7c4dpushedbyhyperpolymath
  main

  Apr 18, 20266m 59s
  More actions for workflow run 182

• ci: wire hypatia-scan.yml to query own Dependabot alerts

  completed successfully:
  CodeQL Security Analysis#181:Commite06ac81pushedbyhyperpolymath
  main

  Apr 17, 20261h 42m 51s
  More actions for workflow run 181

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

  completed successfully:
  CodeQL Security Analysis#180:Commit3a45352pushedbyhyperpolymath
  main

  Apr 17, 20261h 59m 6s
  More actions for workflow run 180

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

  completed successfully:
  CodeQL Security Analysis#179:Commit5589e74pushedbyhyperpolymath
  main

  Apr 17, 20261h 0m 25s
  More actions for workflow run 179

• chore: M5 CI/Workflow Sweep - final synchronisation

  completed successfully:
  CodeQL Security Analysis#178:Commit04c230bpushedbyhyperpolymath
  main

  Apr 16, 202651m 56s
  More actions for workflow run 178

• chore: M5 CI/Workflow Sweep - add blockers and contractile.just

  completed successfully:
  CodeQL Security Analysis#177:Commit5ef48b4pushedbyhyperpolymath
  main

  Apr 15, 202612m 20s
  More actions for workflow run 177

• CodeQL Security Analysis

  completed successfully:
  CodeQL Security Analysis#176:Scheduled
  main

  Apr 13, 20261m 54s
  More actions for workflow run 176

• chore(6a2): commit 6a2 sweep — a2ml drift

  completed successfully:
  CodeQL Security Analysis#175:Commitd163f19pushedbyhyperpolymath
  main

  Apr 11, 20263m 58s
  More actions for workflow run 175

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

  completed successfully:
  CodeQL Security Analysis#174:Commit1a1c39cpushedbyhyperpolymath
  main

  Apr 11, 202657m 44s
  More actions for workflow run 174

• chore: automated sync of local changes

  completed successfully:
  CodeQL Security Analysis#173:Commitd903b56pushedbyhyperpolymath
  main

  Apr 8, 202618m 6s
  More actions for workflow run 173

• CodeQL Security Analysis

  completed successfully:
  CodeQL Security Analysis#172:Scheduled
  main

  Apr 6, 20261m 16s
  More actions for workflow run 172

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

  completed successfully:
  CodeQL Security Analysis#171:Commit23a38acpushedbyhyperpolymath
  main

  Apr 4, 20265h 54m 35s
  More actions for workflow run 171