CodeQL Security Analysis

Workflow runs for CodeQL Security Analysis

• ci(spark): adopt estate SPARK Theatre Gate (#135) (#50)

  completed successfully:
  CodeQL Security Analysis#180:Commit9080e60pushedbyhyperpolymath
  main

  May 19, 202613m 53s
  More actions for workflow run 180

• ci(spark): adopt estate SPARK Theatre Gate (#135)

  completed successfully:
  CodeQL Security Analysis#179:Pull request#50openedbyhyperpolymath
  ci/adopt-spark-theatre-gate

  May 19, 20265m 13s
  More actions for workflow run 179

• docs(proof): modshells SPARK no-op exemption (reconcile stale audit) …

  completed successfully:
  CodeQL Security Analysis#178:Commitba9b072pushedbyhyperpolymath
  main

  May 19, 20263m 46s
  More actions for workflow run 178

• chore(deps): Bump the actions group across 1 directory with 3 updates

  completed successfully:
  CodeQL Security Analysis#177:Pull request#47synchronizebydependabot[bot]Bot
  dependabot/github_actions/actions-93565b0ab9

  May 19, 202632m 47s
  More actions for workflow run 177

• docs(proof): modshells SPARK no-op exemption (reconcile stale audit)

  completed successfully:
  CodeQL Security Analysis#176:Pull request#49openedbyhyperpolymath
  docs/spark-noop-exemption

  May 19, 20261h 30m 39s
  More actions for workflow run 176

• CodeQL Security Analysis

  completed successfully:
  CodeQL Security Analysis#175:Scheduled
  main

  May 18, 202613h 20m 11s
  More actions for workflow run 175

• harden(ci): concurrency-cancel guard on canonical check workflows (#48)

  cancelled:
  CodeQL Security Analysis#174:Commit103fdfapushedbyhyperpolymath
  main

  May 18, 202617m 28s
  More actions for workflow run 174

• harden(ci): concurrency-cancel guard on canonical check workflows

  completed successfully:
  CodeQL Security Analysis#173:Pull request#48openedbyhyperpolymath
  harden/ci-concurrency-estate-2026-05-18

  May 18, 202612h 5m 58s
  More actions for workflow run 173

• chore(deps): Bump the actions group across 1 directory with 3 updates

  completed successfully:
  CodeQL Security Analysis#172:Pull request#47openedbydependabot[bot]Bot
  dependabot/github_actions/actions-93565b0ab9

  May 18, 20265h 24m 48s
  More actions for workflow run 172

• fix(ci): sync hypatia-scan.yml to canonical (#46)

  completed successfully:
  CodeQL Security Analysis#171:Commit4b8eebbpushedbyhyperpolymath
  main

  May 17, 202622h 37m 54s
  More actions for workflow run 171

• fix(ci): sync hypatia-scan.yml to canonical

  completed successfully:
  CodeQL Security Analysis#170:Pull request#46openedbyhyperpolymath
  fix/hypatia-scan-canonical

  May 17, 202622h 32m 25s
  More actions for workflow run 170

• chore(ci): prune CI noise — single governance wrapper (verisimiser#59…

  completed successfully:
  CodeQL Security Analysis#169:Commit36c5059pushedbyhyperpolymath
  main

  May 17, 20268h 5m 24s
  More actions for workflow run 169

• chore(ci): prune CI noise — single governance wrapper (verisimiser#59)

  completed successfully:
  CodeQL Security Analysis#168:Pull request#45openedbyhyperpolymath
  chore/governance-wrapper-59

  May 17, 202650s
  More actions for workflow run 168

• chore: Item 10 — migrate .scm metadata family → .a2ml (Track A, faith…

  completed successfully:
  CodeQL Security Analysis#167:Commitfa390dapushedbyhyperpolymath
  main

  May 17, 20263m 30s
  More actions for workflow run 167

• chore: Item 10 — migrate .scm metadata family → .a2ml (Track A, faithful)

  completed successfully:
  CodeQL Security Analysis#166:Pull request#44synchronizebyhyperpolymath
  chore/item10-meta-family-scm-to-a2ml

  May 17, 202650s
  More actions for workflow run 166

• chore: Item 10 — migrate .scm metadata family → .a2ml (Track A, faithful)

  completed successfully:
  CodeQL Security Analysis#165:Pull request#44openedbyhyperpolymath
  chore/item10-meta-family-scm-to-a2ml

  May 17, 202647s
  More actions for workflow run 165

• chore: Item 10 — migrate STATE.scm → STATE.a2ml v2 thin journal (#43)

  completed successfully:
  CodeQL Security Analysis#164:Commit3eae06epushedbyhyperpolymath
  main

  May 16, 202611m 10s
  More actions for workflow run 164

• chore: Item 9 — retire ReScript guidance → AffineScript (#42)

  completed successfully:
  CodeQL Security Analysis#163:Commit65986aapushedbyhyperpolymath
  main

  May 16, 20268m 30s
  More actions for workflow run 163

• chore: Item 10 — migrate STATE.scm → STATE.a2ml v2 thin journal

  completed successfully:
  CodeQL Security Analysis#162:Pull request#43openedbyhyperpolymath
  chore/item10-state-scm-to-a2ml-v2

  May 16, 202646s
  More actions for workflow run 162

• chore: Item 9 — retire ReScript guidance → AffineScript

  completed successfully:
  CodeQL Security Analysis#161:Pull request#42openedbyhyperpolymath
  chore/item9-rescript-to-affinescript-guidance

  May 16, 20264m 57s
  More actions for workflow run 161

• fix(ci): point CodeQL at actions so SAST runs every commit (#72) (#41)

  completed successfully:
  CodeQL Security Analysis#160:Commit2062d72pushedbyhyperpolymath
  main

  May 16, 202643m 3s
  More actions for workflow run 160

• fix(ci): point CodeQL at actions so SAST runs every commit (#72)

  completed successfully:
  CodeQL Security Analysis#159:Pull request#41openedbyhyperpolymath
  fix/scorecard-sast-codeql-matrix-modshells-40

  May 16, 202650m 25s
  More actions for workflow run 159

• chore(deps): Bump the actions group with 6 updates (#38)

  failed:
  CodeQL Security Analysis#158:Commite4b5758pushedbyhyperpolymath
  main

  May 16, 20261h 6m 18s
  More actions for workflow run 158

• chore(deps): Bump the actions group with 6 updates

  failed:
  CodeQL Security Analysis#157:Pull request#38synchronizebyhyperpolymath
  dependabot/github_actions/actions-4095b36d50

  May 16, 20261h 6m 14s
  More actions for workflow run 157

• fix(ci): adopt canonical hypatia-scan.yml (#39)

  failed:
  CodeQL Security Analysis#156:Commit07e20dcpushedbyhyperpolymath
  main

  May 16, 20261h 12m 3s
  More actions for workflow run 156