CodeQL Security Analysis

Workflow runs for CodeQL Security Analysis

• fix(proofs): stop claiming SPARK proofs that do not exist; make the proof scaffold compile and fail closed

  completed successfully:
  CodeQL Security Analysis#196:Pull request#74synchronizebycoderabbitai[bot]Bot
  claude/lucid-hopper-wvkv5e

  Nov 9, 20267m 10s
  More actions for workflow run 196

• fix(proofs): stop claiming SPARK proofs that do not exist; make the proof scaffold compile and fail closed

  completed successfully:
  CodeQL Security Analysis#195:Pull request#74synchronizebyhyperpolymath
  claude/lucid-hopper-wvkv5e

  Nov 9, 202639m 56s
  More actions for workflow run 195

• fix(proofs): stop claiming SPARK proofs that do not exist; make the proof scaffold compile and fail closed

  completed successfully:
  CodeQL Security Analysis#194:Pull request#74openedbyhyperpolymath
  claude/lucid-hopper-wvkv5e

  Nov 9, 202641m 7s
  More actions for workflow run 194

• CodeQL Security Analysis

  completed successfully:
  CodeQL Security Analysis#193:Scheduled
  main

  Nov 9, 20261m 1s
  More actions for workflow run 193

• chore(deps): bump the actions group with 2 updates (#73)

  completed successfully:
  CodeQL Security Analysis#192:Commit2246caapushedbyhyperpolymath
  main

  Nov 8, 202649s
  More actions for workflow run 192

• chore(deps): bump the actions group with 2 updates

  completed successfully:
  CodeQL Security Analysis#191:Pull request#73openedbydependabot[bot]Bot
  dependabot/github_actions/actions-26b05f84a5

  Nov 8, 20261m 2s
  More actions for workflow run 191

• chore(deps): bump hyperpolymath/smtp-notify-action from 0.5.0 to 0.5.…

  completed successfully:
  CodeQL Security Analysis#190:Commit213fe71pushedbyhyperpolymath
  main

  Nov 2, 202647s
  More actions for workflow run 190

• CodeQL Security Analysis

  completed successfully:
  CodeQL Security Analysis#189:Scheduled
  main

  Nov 2, 202647s
  More actions for workflow run 189

• chore(deps): bump hyperpolymath/smtp-notify-action from 0.5.0 to 0.5.1 in the actions group

  completed successfully:
  CodeQL Security Analysis#188:Pull request#72openedbydependabot[bot]Bot
  dependabot/github_actions/actions-8997878c64

  Nov 1, 202641s
  More actions for workflow run 188

• CodeQL Security Analysis

  completed successfully:
  CodeQL Security Analysis#187:Scheduled
  main

  Oct 26, 202650s
  More actions for workflow run 187

• chore(deps): bump github/codeql-action from 4.39.0 to 4.39.1 in the a…

  completed successfully:
  CodeQL Security Analysis#186:Commit5aec56epushedbyhyperpolymath
  main

  Oct 25, 202648s
  More actions for workflow run 186

• chore(deps): bump github/codeql-action from 4.39.0 to 4.39.1 in the actions group

  completed successfully:
  CodeQL Security Analysis#185:Pull request#71openedbydependabot[bot]Bot
  dependabot/github_actions/actions-00a1a19959

  Oct 25, 202645s
  More actions for workflow run 185

• CodeQL Security Analysis

  completed successfully:
  CodeQL Security Analysis#184:Scheduled
  main

  Oct 19, 202645s
  More actions for workflow run 184

• chore(deps): bump github/codeql-action from 4.38.3 to 4.39.0 in the a…

  completed successfully:
  CodeQL Security Analysis#183:Commit2200e6dpushedbyhyperpolymath
  main

  Oct 18, 202644s
  More actions for workflow run 183

• chore(deps): bump github/codeql-action from 4.38.3 to 4.39.0 in the actions group

  completed successfully:
  CodeQL Security Analysis#182:Pull request#70openedbydependabot[bot]Bot
  dependabot/github_actions/actions-9adc00e088

  Oct 18, 202647s
  More actions for workflow run 182

• CodeQL Security Analysis

  failed at startup:
  CodeQL Security Analysis#181:Scheduled
  main

  Oct 12, 2026Startup failure
  More actions for workflow run 181

• CodeQL Security Analysis

  failed at startup:
  CodeQL Security Analysis#180:byhyperpolymath
  main

  Oct 11, 2026Startup failure
  More actions for workflow run 180

• CodeQL Security Analysis

  failed at startup:
  CodeQL Security Analysis#179:openedbydependabot[bot]Bot
  dependabot/github_actions/actions-cde91ae882

  Oct 11, 2026Startup failure
  More actions for workflow run 179

• feat: land the contractiles tree vendored in reposystem (147 files, i…

  failed at startup:
  CodeQL Security Analysis#178:Commita0b5619pushedbyhyperpolymath
  main

  Oct 9, 2026Startup failure
  More actions for workflow run 178

• CodeQL Security Analysis

  failed at startup:
  CodeQL Security Analysis#177:openedbyhyperpolymath
  feat/land-vendored-contractiles

  Oct 9, 2026Startup failure
  More actions for workflow run 177

• CodeQL Security Analysis

  failed at startup:
  CodeQL Security Analysis#176:Scheduled
  main

  Oct 5, 2026Startup failure
  More actions for workflow run 176

• docs(contractile): spec-first bundle — audit, RFC-0001, ADR-0002 (no …

  failed at startup:
  CodeQL Security Analysis#175:Commitd440161pushedbyhyperpolymath
  main

  Oct 4, 2026Startup failure
  More actions for workflow run 175

• CodeQL Security Analysis

  failed at startup:
  CodeQL Security Analysis#174:openedbyhyperpolymath
  arena/01a103ff-contractiles

  Oct 4, 2026Startup failure
  More actions for workflow run 174

• docs: add Signed commits section to CONTRIBUTING (#66)

  failed at startup:
  CodeQL Security Analysis#173:Commitc8ae464pushedbyhyperpolymath
  main

  Oct 1, 2026Startup failure
  More actions for workflow run 173

• CodeQL Security Analysis

  failed at startup:
  CodeQL Security Analysis#172:openedbyhyperpolymath
  docs/signing-policy-d218

  Oct 1, 2026Startup failure
  More actions for workflow run 172