CodeQL Security Analysis

Workflow runs for CodeQL Security Analysis

• docs+ci+bot: post-PR#100 hygiene sweep (docs, wiki, CI, machine-readable)

  completed successfully:
  CodeQL Security Analysis#203:Pull request#101openedbyhyperpolymath
  worktree-docs-hygiene-sweep

  Jul 7, 20261m 2s
  More actions for workflow run 203

• feat(proofs): complete CNO + OND pillars, verified across six provers…

  completed successfully:
  CodeQL Security Analysis#202:Commit6b591f1pushedbyhyperpolymath
  main

  Jul 6, 202636m 34s
  More actions for workflow run 202

• feat(proofs): complete CNO + OND pillars, verified across six provers

  completed successfully:
  CodeQL Security Analysis#201:Pull request#100synchronizebyhyperpolymath
  worktree-cno-ond-completion

  Jul 6, 202634m 55s
  More actions for workflow run 201

• feat(proofs): complete CNO + OND pillars, verified across six provers

  cancelled:
  CodeQL Security Analysis#200:Pull request#100synchronizebyhyperpolymath
  worktree-cno-ond-completion

  Jul 6, 20264m 57s
  More actions for workflow run 200

• feat(proofs): complete CNO + OND pillars, verified across six provers

  cancelled:
  CodeQL Security Analysis#199:Pull request#100openedbyhyperpolymath
  worktree-cno-ond-completion

  Jul 6, 20263m 23s
  More actions for workflow run 199

• fix(ci): clear OSSF Scorecard startup_failure (#99)

  cancelled:
  CodeQL Security Analysis#198:Commit1c19d10pushedbyhyperpolymath
  main

  Jul 6, 202638m 0s
  More actions for workflow run 198

• fix(ci): clear OSSF Scorecard startup_failure

  completed successfully:
  CodeQL Security Analysis#197:Pull request#99openedbyhyperpolymath
  fix/scorecard-caller-startup

  Jul 6, 202653s
  More actions for workflow run 197

• fix(ci): re-pin rust-ci-reusable past toolchain-input breakage (#98)

  completed successfully:
  CodeQL Security Analysis#196:Commitec3a141pushedbyhyperpolymath
  main

  Jul 3, 20261m 6s
  More actions for workflow run 196

• fix(ci): re-pin rust-ci-reusable past toolchain-input breakage

  completed successfully:
  CodeQL Security Analysis#195:Pull request#98openedbyhyperpolymath
  ci/repin-rust-ci-reusable-412a7031

  Jul 3, 20261m 12s
  More actions for workflow run 195

• Delete license/PMPL-1.0.txt (#97)

  completed successfully:
  CodeQL Security Analysis#194:Commit438935dpushedbyhyperpolymath
  main

  Jul 3, 20261m 3s
  More actions for workflow run 194

• Delete license/PMPL-1.0.txt

  completed successfully:
  CodeQL Security Analysis#193:Pull request#97openedbyhyperpolymath
  hyperpolymath-patch-1

  Jul 3, 20261m 10s
  More actions for workflow run 193

• chore(deps): bump the actions group with 6 updates (#96)

  completed successfully:
  CodeQL Security Analysis#192:Commit75daa84pushedbyhyperpolymath
  main

  Jul 3, 20261m 14s
  More actions for workflow run 192

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

  completed successfully:
  CodeQL Security Analysis#191:Pull request#96openedbydependabot[bot]Bot
  dependabot/github_actions/actions-27c433e26c

  Jul 3, 20261m 6s
  More actions for workflow run 191

• docs(roadmap): right-size to solo-maintainer reality; preserve vision…

  completed successfully:
  CodeQL Security Analysis#190:Commit67ae5a6pushedbyhyperpolymath
  main

  Jul 3, 20263m 23s
  More actions for workflow run 190

• docs(roadmap): right-size to solo-maintainer reality; preserve vision in appendix

  completed successfully:
  CodeQL Security Analysis#189:Pull request#95openedbyhyperpolymath
  claude/project-scope-planning-8agyox

  Jul 2, 202657s
  More actions for workflow run 189

• CodeQL Security Analysis

  completed successfully:
  CodeQL Security Analysis#188:Scheduled
  main

  Jul 1, 20261m 21s
  More actions for workflow run 188

• docs(proof): correct stale proof-status; disclose axiom dependence (#94)

  completed successfully:
  CodeQL Security Analysis#187:Commitc825401pushedbyhyperpolymath
  main

  Jun 29, 20261m 47s
  More actions for workflow run 187

• docs(proof): correct stale proof-status; disclose axiom dependence

  completed successfully:
  CodeQL Security Analysis#186:Pull request#94openedbyhyperpolymath
  proof/honest-status-md

  Jun 29, 20261m 35s
  More actions for workflow run 186

• ci: refresh standards reusable pins to current HEAD (d7c2271) (#93)

  completed successfully:
  CodeQL Security Analysis#185:Commitbac7885pushedbyhyperpolymath
  main

  Jun 27, 20261m 4s
  More actions for workflow run 185

• ci: refresh standards reusable pins to current HEAD (d7c2271)

  cancelled:
  CodeQL Security Analysis#184:Pull request#93openedbyhyperpolymath
  ci/repin-standards-reusables-d7c2271

  Jun 27, 20265s
  More actions for workflow run 184

• fix(license): absolute-zero — 3 stale PMPL-1.0-or-later body declarat…

  completed successfully:
  CodeQL Security Analysis#183:Commit5e063a0pushedbyhyperpolymath
  main

  Jun 27, 20261m 11s
  More actions for workflow run 183

• fix(license): absolute-zero — 3 stale PMPL-1.0-or-later body declarations → MPL-2.0

  completed successfully:
  CodeQL Security Analysis#182:Pull request#92openedbyhyperpolymath
  claude/hopeful-babbage-pn0l4o

  Jun 27, 202648s
  More actions for workflow run 182

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

  completed successfully:
  CodeQL Security Analysis#181:Commita35ecfdpushedbyhyperpolymath
  main

  Jun 26, 20261m 15s
  More actions for workflow run 181

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

  completed successfully:
  CodeQL Security Analysis#180:Pull request#91openedbydependabot[bot]Bot
  dependabot/github_actions/actions-b5176a539c

  Jun 26, 202652s
  More actions for workflow run 180

• docs(readme): convert README.adoc -> Markdown (renders on Glama/profi…

  completed successfully:
  CodeQL Security Analysis#179:Commit2e788ecpushedbyhyperpolymath
  main

  Jun 25, 202630m 59s
  More actions for workflow run 179