CodeQL Security Analysis

Workflow runs for CodeQL Security Analysis

• chore(deps): bump the rust-minor group with 2 updates

  completed successfully:
  CodeQL Security Analysis#211:Pull request#23openedbydependabot[bot]Bot
  dependabot/cargo/rust-minor-5e141a20ad

  May 9, 20266m 52s
  More actions for workflow run 211

• CodeQL Security Analysis

  completed successfully:
  CodeQL Security Analysis#210:Scheduled
  main

  May 4, 20267m 19s
  More actions for workflow run 210

• chore(deps): bump clap_complete in the rust-minor group (#22)

  completed successfully:
  CodeQL Security Analysis#209:Commit5b59c5epushedbyhyperpolymath
  main

  May 3, 202621m 18s
  More actions for workflow run 209

• chore(deps): bump clap_complete from 4.6.2 to 4.6.3 in the rust-minor group

  completed successfully:
  CodeQL Security Analysis#208:Pull request#22openedbydependabot[bot]Bot
  dependabot/cargo/rust-minor-5d4f98c0d0

  May 2, 20266m 49s
  More actions for workflow run 208

• fix(pa15): merge seam_contract_tests rebase conflict

  completed successfully:
  CodeQL Security Analysis#207:Commit28629ccpushedbyhyperpolymath
  main

  Apr 27, 202610m 52s
  More actions for workflow run 207

• feat(pa15): complete P2-A15 must-items — schema_version, headless, ad…

  completed successfully:
  CodeQL Security Analysis#206:Commit9c29ae9pushedbyhyperpolymath
  main

  Apr 27, 20267m 36s
  More actions for workflow run 206

• feat(schema/adjust): schema_version on 4 reports + adjust-check recipe

  completed successfully:
  CodeQL Security Analysis#205:Commit320256bpushedbyhyperpolymath
  main

  Apr 27, 20267m 33s
  More actions for workflow run 205

• Merge pull request #21 from hyperpolymath/dependabot/cargo/rust-minor…

  completed successfully:
  CodeQL Security Analysis#204:Commit98716b1pushedbyhyperpolymath
  main

  Apr 27, 20261h 31m 28s
  More actions for workflow run 204

• fix(security): update rustls-webpki 0.103.10→0.103.13; run cargo fmt

  completed successfully:
  CodeQL Security Analysis#203:Commitc8eb9abpushedbyhyperpolymath
  main

  Apr 27, 20261h 31m 9s
  More actions for workflow run 203

• Merge pull request #20 from hyperpolymath/dependabot/cargo/rustls-web…

  completed successfully:
  CodeQL Security Analysis#202:Commit757257cpushedbyhyperpolymath
  main

  Apr 27, 20261h 19m 37s
  More actions for workflow run 202

• docs(readme): move SPDX to top, add copyright line, OSSF and GWF badges

  completed successfully:
  CodeQL Security Analysis#201:Commitc0a0990pushedbyhyperpolymath
  main

  Apr 27, 20261h 13m 57s
  More actions for workflow run 201

• docs(readme): move SPDX to top, add copyright line, OSSF and GWF badges

  completed successfully:
  CodeQL Security Analysis#200:Commitbd118b9pushedbyhyperpolymath
  main

  Apr 27, 20261h 14m 11s
  More actions for workflow run 200

• chore(contractiles): k9 → svc/, remove lust dir (ADR-001 2026-04-18)

  completed successfully:
  CodeQL Security Analysis#199:Commitae287bepushedbyhyperpolymath
  main

  Apr 27, 202623m 2s
  More actions for workflow run 199

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

  completed successfully:
  CodeQL Security Analysis#198:Commite92583bpushedbyhyperpolymath
  main

  Apr 27, 20269m 48s
  More actions for workflow run 198

• CodeQL Security Analysis

  failed:
  CodeQL Security Analysis#197:Scheduled
  main

  Apr 27, 20267s
  More actions for workflow run 197

• fix(regression-tests): replace malformed $REPOS_DIR literal with runt…

  failed:
  CodeQL Security Analysis#196:Commit1b2b787pushedbyhyperpolymath
  main

  Apr 26, 20268s
  More actions for workflow run 196

• chore(deps): bump the rust-minor group with 4 updates

  failed:
  CodeQL Security Analysis#195:Pull request#21openedbydependabot[bot]Bot
  dependabot/cargo/rust-minor-523c6b6489

  Apr 25, 20265s
  More actions for workflow run 195

• chore(6a2): record 2026-04-25 test-suite Clade A conversion in STATE.…

  failed:
  CodeQL Security Analysis#194:Commitc0bbbd4pushedbyhyperpolymath
  main

  Apr 25, 20266s
  More actions for workflow run 194

• test: convert remaining integration tests to panic-free Result style

  failed:
  CodeQL Security Analysis#193:Commit9fe8507pushedbyhyperpolymath
  main

  Apr 25, 20261m 10s
  More actions for workflow run 193

• test: convert integration test files to panic-free Result-propagating…

  failed:
  CodeQL Security Analysis#192:Commit2053fd9pushedbyhyperpolymath
  main

  Apr 25, 202614s
  More actions for workflow run 192

• fix: eliminate production .unwrap() panic sites (6 → 0 bare unwraps)

  failed:
  CodeQL Security Analysis#191:Commit5ea9b74pushedbyhyperpolymath
  main

  Apr 25, 202614s
  More actions for workflow run 191

• feat: multi-lockfile, OSV retry, language-lock, attest verify, Rule 1…

  failed:
  CodeQL Security Analysis#190:Commitdb603c3pushedbyhyperpolymath
  main

  Apr 25, 202613s
  More actions for workflow run 190

• feat(tui,gui): add --headless mode for CI-safe operation

  failed:
  CodeQL Security Analysis#189:Commit9609d93pushedbyhyperpolymath
  main

  Apr 25, 20265s
  More actions for workflow run 189

• feat: schema versioning, safe_unwrap distinction, ADJUST contractile,…

  failed:
  CodeQL Security Analysis#188:Commitfd90d2bpushedbyhyperpolymath
  main

  Apr 25, 202622s
  More actions for workflow run 188

• fix(assail): skip .ipkg files in Idris ProofDrift; add Chapel detector

  failed:
  CodeQL Security Analysis#187:Commit945e5f9pushedbyhyperpolymath
  main

  Apr 25, 202659s
  More actions for workflow run 187