CodeQL Security Analysis

Workflow runs for CodeQL Security Analysis

• CodeQL Security Analysis

  completed successfully:
  CodeQL Security Analysis#167:Scheduled
  main

  Apr 20, 20261m 30s
  More actions for workflow run 167

• Standardize workspace: Track Bust contractile artifacts

  completed successfully:
  CodeQL Security Analysis#166:Commit2786bf9pushedbyhyperpolymath
  main

  Apr 18, 20265h 25m 19s
  More actions for workflow run 166

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

  completed successfully:
  CodeQL Security Analysis#165:Commitcec3c6dpushedbyhyperpolymath
  main

  Apr 18, 20264h 6m 13s
  More actions for workflow run 165

• Standardize workspace: Capitalize Justfile references in scripts and …

  completed successfully:
  CodeQL Security Analysis#164:Commit7a097d9pushedbyhyperpolymath
  main

  Apr 18, 20263h 57m 55s
  More actions for workflow run 164

• chore: migrate .bot_directives/*.scm to .machine_readable/bot_directi…

  completed successfully:
  CodeQL Security Analysis#163:Commit4965020pushedbyhyperpolymath
  main

  Apr 17, 20261m 54s
  More actions for workflow run 163

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

  completed successfully:
  CodeQL Security Analysis#162:Commitc581995pushedbyhyperpolymath
  main

  Apr 17, 20261h 47m 3s
  More actions for workflow run 162

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

  completed successfully:
  CodeQL Security Analysis#161:Commit5d5a584pushedbyhyperpolymath
  main

  Apr 17, 20261h 59m 55s
  More actions for workflow run 161

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

  completed successfully:
  CodeQL Security Analysis#160:Commita4254ccpushedbyhyperpolymath
  main

  Apr 17, 20262h 2m 1s
  More actions for workflow run 160

• CodeQL Security Analysis

  completed successfully:
  CodeQL Security Analysis#159:Scheduled
  main

  Apr 13, 20261m 7s
  More actions for workflow run 159

• CodeQL Security Analysis

  completed successfully:
  CodeQL Security Analysis#158:Scheduled
  main

  Apr 6, 20261m 19s
  More actions for workflow run 158

• fix: replace deno -A with specific permission flags

  completed successfully:
  CodeQL Security Analysis#157:Commitab6ebd6pushedbyhyperpolymath
  main

  Mar 30, 20264m 11s
  More actions for workflow run 157

• CodeQL Security Analysis

  completed successfully:
  CodeQL Security Analysis#156:Scheduled
  main

  Mar 30, 20261m 16s
  More actions for workflow run 156

• feat: migrate bookmark scripts from Python to Julia

  completed successfully:
  CodeQL Security Analysis#155:Commitc91dec8pushedbyhyperpolymath
  main

  Mar 29, 202611m 53s
  More actions for workflow run 155

• feat: add stapeln.toml container definition

  completed successfully:
  CodeQL Security Analysis#154:Commit9312e5bpushedbyhyperpolymath
  main

  Mar 29, 202643m 49s
  More actions for workflow run 154

• Add VeriSimDB session helper script

  completed successfully:
  CodeQL Security Analysis#153:Commit7e0ff79pushedbyhyperpolymath
  main

  Mar 29, 20261m 38s
  More actions for workflow run 153

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

  completed successfully:
  CodeQL Security Analysis#152:Commita3c9126pushedbyhyperpolymath
  main

  Mar 29, 202641m 43s
  More actions for workflow run 152

• feat: deploy UX Manifesto infrastructure

  completed successfully:
  CodeQL Security Analysis#151:Commitd02adddpushedbyhyperpolymath
  main

  Mar 28, 20262h 3m 51s
  More actions for workflow run 151

• chore: add agent_instructions methodology layer

  completed successfully:
  CodeQL Security Analysis#150:Commitb1ac8cfpushedbyhyperpolymath
  main

  Mar 24, 20261h 29m 51s
  More actions for workflow run 150

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

  completed successfully:
  CodeQL Security Analysis#149:Commit73c52e1pushedbyhyperpolymath
  main

  Mar 23, 202629m 16s
  More actions for workflow run 149

• CodeQL Security Analysis

  completed successfully:
  CodeQL Security Analysis#148:Scheduled
  main

  Mar 23, 20263m 22s
  More actions for workflow run 148

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

  completed successfully:
  CodeQL Security Analysis#147:Commit73fc3f8pushedbyhyperpolymath
  main

  Mar 22, 202646m 13s
  More actions for workflow run 147

• build(deps): bump erlef/setup-beam from 1.22.0 to 1.23.0

  completed successfully:
  CodeQL Security Analysis#146:Commit03195bfpushedbyhyperpolymath
  main

  Mar 17, 20262m 35s
  More actions for workflow run 146

• build(deps): bump erlef/setup-beam from 1.22.0 to 1.23.0

  completed successfully:
  CodeQL Security Analysis#145:Pull request#40synchronizebyhyperpolymath
  dependabot/github_actions/erlef/setup-beam-1.23.0

  Mar 17, 20262m 23s
  More actions for workflow run 145

• build(deps): bump github/codeql-action from 4.32.6 to 4.33.0

  completed successfully:
  CodeQL Security Analysis#144:Commitc57bdedpushedbyhyperpolymath
  main

  Mar 17, 20261m 23s
  More actions for workflow run 144

• build(deps): bump github/codeql-action from 4.32.6 to 4.33.0

  completed successfully:
  CodeQL Security Analysis#143:Pull request#41synchronizebyhyperpolymath
  dependabot/github_actions/github/codeql-action-4.33.0

  Mar 17, 20261m 32s
  More actions for workflow run 143