CodeQL Security Analysis

Workflow runs for CodeQL Security Analysis

• fix: update SafeNetwork proofs for Idris2 0.8.0 compatibility

  completed successfully:
  CodeQL Security Analysis#255:Commitd73f2c4pushedbyhyperpolymath
  main

  Mar 24, 20261h 7m 2s
  More actions for workflow run 255

• refactor(proofs): restructure SafeCrypto proofs

  completed successfully:
  CodeQL Security Analysis#254:Commit9eccf6apushedbyhyperpolymath
  main

  Mar 24, 20261h 27m 37s
  More actions for workflow run 254

• chore: submodule updates from session fixes (hook-generated)

  completed successfully:
  CodeQL Security Analysis#253:Commit3c79c86pushedbyhyperpolymath
  main

  Mar 24, 20261h 28m 40s
  More actions for workflow run 253

• docs: add raw classification data (4 first / 36 second / 66 WIP)

  completed successfully:
  CodeQL Security Analysis#252:Commit5f39d16pushedbyhyperpolymath
  main

  Mar 24, 20261h 30m 2s
  More actions for workflow run 252

• docs: update MODULE-STATUS with complete 3-tier classification

  completed successfully:
  CodeQL Security Analysis#251:Commit43c56f6pushedbyhyperpolymath
  main

  Mar 24, 20261h 25m 53s
  More actions for workflow run 251

• docs: add MODULE-STATUS — honest classification of all Safe* modules

  completed successfully:
  CodeQL Security Analysis#250:Commit4e27465pushedbyhyperpolymath
  main

  Mar 24, 20261h 33m 45s
  More actions for workflow run 250

• refactor(proofs): restructure SafeMath proofs for clarity

  completed successfully:
  CodeQL Security Analysis#249:Commit3aa0becpushedbyhyperpolymath
  main

  Mar 24, 20261h 26m 3s
  More actions for workflow run 249

• chore: code cleanup and UX infrastructure updates

  completed successfully:
  CodeQL Security Analysis#248:Commit464d948pushedbyhyperpolymath
  main

  Mar 24, 20261h 26m 27s
  More actions for workflow run 248

• chore: add Stapeln selur-compose.toml service definition

  completed successfully:
  CodeQL Security Analysis#247:Commit262e265pushedbyhyperpolymath
  main

  Mar 24, 20261h 26m 37s
  More actions for workflow run 247

• feat(ux): add onboarding, contractiles, and UX infrastructure

  completed successfully:
  CodeQL Security Analysis#246:Commit4b3ec8fpushedbyhyperpolymath
  main

  Mar 24, 20263m 25s
  More actions for workflow run 246

• chore: standardise manifest, justfile, readme (hook-generated)

  completed successfully:
  CodeQL Security Analysis#245:Commit1275d6cpushedbyhyperpolymath
  main

  Mar 24, 202654s
  More actions for workflow run 245

• fix: repair type errors in SafeMath.Bounded, SafeEmail, SafeJson.Parser

  completed successfully:
  CodeQL Security Analysis#244:Commit7c7ab0dpushedbyhyperpolymath
  main

  Mar 24, 202652s
  More actions for workflow run 244

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

  completed successfully:
  CodeQL Security Analysis#243:Commita5e6248pushedbyhyperpolymath
  main

  Mar 23, 202627m 15s
  More actions for workflow run 243

• feat: add branch protection settings.yml for OpenSSF Silver

  completed successfully:
  CodeQL Security Analysis#242:Commit80adefdpushedbyhyperpolymath
  main

  Mar 23, 202656s
  More actions for workflow run 242

• CodeQL Security Analysis

  completed successfully:
  CodeQL Security Analysis#241:Scheduled
  main

  Mar 23, 202652s
  More actions for workflow run 241

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

  completed successfully:
  CodeQL Security Analysis#240:Commitfaadc68pushedbyhyperpolymath
  main

  Mar 22, 202628m 10s
  More actions for workflow run 240

• chore: batch RSR compliance — SPDX headers, SHA-pin actions, forbid(u…

  completed successfully:
  CodeQL Security Analysis#239:Commita5540a2pushedbyhyperpolymath
  main

  Mar 22, 202610m 56s
  More actions for workflow run 239

• fix: update believe_me badge from 4566 to 0

  completed successfully:
  CodeQL Security Analysis#238:Commitf08b372pushedbyhyperpolymath
  main

  Mar 22, 202626m 7s
  More actions for workflow run 238

• chore(ci): maximize ci/cd values via dependabot and permissions

  completed successfully:
  CodeQL Security Analysis#237:Commit5f76ad0pushedbyhyperpolymath
  main

  Mar 18, 20264m 30s
  More actions for workflow run 237

• chore(ci): Maximize CI/CD values (Dependabot & Permissions)

  completed successfully:
  CodeQL Security Analysis#236:Pull request#2openedbyhyperpolymath
  chore/cicd-optimizations

  Mar 18, 202629m 20s
  More actions for workflow run 236

• chore: Big Unification — attach to BoJ Server / Casket architecture

  completed successfully:
  CodeQL Security Analysis#235:Commit5826764pushedbyhyperpolymath
  main

  Mar 17, 20262h 12m 2s
  More actions for workflow run 235

• chore: Big Unification — attach to BoJ Server / Casket architecture

  completed successfully:
  CodeQL Security Analysis#234:Commitacce164pushedbyhyperpolymath
  main

  Mar 17, 20261h 18m 33s
  More actions for workflow run 234

• chore: RSR sync and mass repository update

  completed successfully:
  CodeQL Security Analysis#233:Commit35cc82cpushedbyhyperpolymath
  main

  Mar 17, 202641m 23s
  More actions for workflow run 233

• feat: add SafeRecord — verified record subset destructuring

  completed successfully:
  CodeQL Security Analysis#232:Commit4f97232pushedbyhyperpolymath
  main

  Mar 16, 202657m 35s
  More actions for workflow run 232

• feat: add CLADE.a2ml — clade taxonomy declaration

  completed successfully:
  CodeQL Security Analysis#231:Commit01f1e22pushedbyhyperpolymath
  main

  Mar 16, 202656m 9s
  More actions for workflow run 231