CodeQL Security Analysis

Workflow runs for CodeQL Security Analysis

• Delete .UNSAFE-ALL-BINDINGS-DELETED-20260125-095646/bindings/scala/sr…

  completed successfully:
  CodeQL Security Analysis#205:Commit1644c37pushedbyhyperpolymath
  main

  Mar 1, 202653s
  More actions for workflow run 205

• Fix SafeEmail Validation and Proofs compilation errors

  completed successfully:
  CodeQL Security Analysis#204:Commitca06126pushedbyhyperpolymath
  main

  Feb 28, 20261m 0s
  More actions for workflow run 204

• feat: add 7 framework convenience re-export modules

  completed successfully:
  CodeQL Security Analysis#203:Commit382c838pushedbyhyperpolymath
  main

  Feb 28, 20261m 0s
  More actions for workflow run 203

• feat: add 8 hardware backend modules (GPU, VPU, TPU, crypto, FPGA, NP…

  completed successfully:
  CodeQL Security Analysis#202:Commit180f4c7pushedbyhyperpolymath
  main

  Feb 28, 20261m 0s
  More actions for workflow run 202

• feat: scaffold 12 proven apps (httpd, dns, smtp, lpd, mqtt, ntp, sysl…

  completed successfully:
  CodeQL Security Analysis#201:Commited4fbf0pushedbyhyperpolymath
  main

  Feb 28, 202647s
  More actions for workflow run 201

• fix: add missing impossible cases in SafeTrust and import in SafeCycl…

  completed successfully:
  CodeQL Security Analysis#200:Commit1a3987dpushedbyhyperpolymath
  main

  Feb 28, 202649s
  More actions for workflow run 200

• feat: add SafeTrust, SafeAttestation, SafeCycleDetect library modules

  completed successfully:
  CodeQL Security Analysis#199:Commit22e94fapushedbyhyperpolymath
  main

  Feb 28, 202659s
  More actions for workflow run 199

• Auto-commit: Sync changes [2026-02-24]

  completed successfully:
  CodeQL Security Analysis#198:Commit1ab9158pushedbyhyperpolymath
  main

  Feb 24, 202612m 15s
  More actions for workflow run 198

• docs: add proven adoption flowchart and critical-core guidance

  completed successfully:
  CodeQL Security Analysis#197:Commitd0dad98pushedbyhyperpolymath
  main

  Feb 24, 202659s
  More actions for workflow run 197

• CodeQL Security Analysis

  completed successfully:
  CodeQL Security Analysis#196:Scheduled
  main

  Feb 23, 202653s
  More actions for workflow run 196

• Auto-commit: Sync changes [2026-02-22]

  completed successfully:
  CodeQL Security Analysis#195:Commit39afdc5pushedbyhyperpolymath
  main

  Feb 22, 202624m 18s
  More actions for workflow run 195

• CodeQL Security Analysis

  completed successfully:
  CodeQL Security Analysis#194:Scheduled
  main

  Feb 16, 202652s
  More actions for workflow run 194

• chore: add missing RSR template files

  completed successfully:
  CodeQL Security Analysis#193:Commit2d277f7pushedbyhyperpolymath
  main

  Feb 13, 202620m 25s
  More actions for workflow run 193

• feat: add domain-specific/ hardened modules and HARDENING-RULES.adoc

  completed successfully:
  CodeQL Security Analysis#192:Commite42b227pushedbyhyperpolymath
  main

  Feb 13, 202616m 50s
  More actions for workflow run 192

• fix: resolve compilation errors in SafeJson, SafeFloat, SafeCrypto, S…

  completed successfully:
  CodeQL Security Analysis#191:Commitf58c208pushedbyhyperpolymath
  main

  Feb 13, 202649s
  More actions for workflow run 191

• fix: add Jason as optional dependency for SafeJson module

  completed successfully:
  CodeQL Security Analysis#190:Commit612827epushedbyhyperpolymath
  main

  Feb 13, 20261m 1s
  More actions for workflow run 190

• fix: resolve SafeCurrency abs/1 conflict and SafeFloat infinity check

  completed successfully:
  CodeQL Security Analysis#189:Commit6504c58pushedbyhyperpolymath
  main

  Feb 13, 202659s
  More actions for workflow run 189

• fix: move defguardp is_valid_rgb before first usage in SafeColor

  completed successfully:
  CodeQL Security Analysis#188:Commit48ab2f0pushedbyhyperpolymath
  main

  Feb 13, 202648s
  More actions for workflow run 188

• feat: v1.1.0 — expand to 104 modules, standardise licensing and docum…

  completed successfully:
  CodeQL Security Analysis#187:Commit3a68f19pushedbyhyperpolymath
  main

  Feb 12, 202655s
  More actions for workflow run 187

• Auto-commit: Sync changes [2026-02-10]

  completed successfully:
  CodeQL Security Analysis#186:Commit70d889epushedbyhyperpolymath
  main

  Feb 10, 20266m 15s
  More actions for workflow run 186

• CodeQL Security Analysis

  completed successfully:
  CodeQL Security Analysis#185:Scheduled
  main

  Feb 9, 202653s
  More actions for workflow run 185

• fix: remove duplicate SCM files from root

  completed successfully:
  CodeQL Security Analysis#184:Commit9f0afc1pushedbyhyperpolymath
  main

  Feb 7, 20263h 31m 18s
  More actions for workflow run 184

• docs: update SCM files with project information

  completed successfully:
  CodeQL Security Analysis#183:Commitb3d988fpushedbyhyperpolymath
  main

  Feb 4, 20263h 29m 54s
  More actions for workflow run 183

• docs: add CONTRIBUTING.md

  completed successfully:
  CodeQL Security Analysis#182:Commit2e1b3d6pushedbyhyperpolymath
  main

  Feb 4, 20262h 5m 59s
  More actions for workflow run 182

• docs: add SCM checkpoint files

  completed successfully:
  CodeQL Security Analysis#181:Commit6e02079pushedbyhyperpolymath
  main

  Feb 4, 202611m 40s
  More actions for workflow run 181