CodeQL Security Analysis

Workflow runs for CodeQL Security Analysis

• chore(HOL-o-extension): mark aggregate-library peer as active

  completed successfully:
  CodeQL Security Analysis#148:Commit182cc9epushedbyhyperpolymath
  main

  Mar 8, 20267m 54s
  More actions for workflow run 148

• feat: add RSR artefacts — AI manifest, bot directives, container, lic…

  completed successfully:
  CodeQL Security Analysis#147:Commitf04d34dpushedbyhyperpolymath
  main

  Mar 7, 20268m 9s
  More actions for workflow run 147

• feat: scaffold HOL-o-extension — optional overlay for HOL4

  completed successfully:
  CodeQL Security Analysis#146:Commit69d5485pushedbyhyperpolymath
  main

  Mar 7, 20267m 55s
  More actions for workflow run 146

• Auto-commit: Sync changes [2026-03-05]

  completed successfully:
  CodeQL Security Analysis#145:Commitf88f086pushedbyhyperpolymath
  main

  Mar 5, 202625m 52s
  More actions for workflow run 145

• Auto-commit: Sync changes [2026-03-03]

  completed successfully:
  CodeQL Security Analysis#144:Commit38a1e65pushedbyhyperpolymath
  main

  Mar 3, 20267m 51s
  More actions for workflow run 144

• Fix stale submodule pointers after repo cleanup

  completed successfully:
  CodeQL Security Analysis#143:Commit30227bapushedbyhyperpolymath
  main

  Mar 2, 20267m 23s
  More actions for workflow run 143

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

  completed successfully:
  CodeQL Security Analysis#142:Commit2911699pushedbyhyperpolymath
  main

  Mar 2, 20269m 9s
  More actions for workflow run 142

• CodeQL Security Analysis

  completed successfully:
  CodeQL Security Analysis#141:Scheduled
  main

  Mar 2, 20267m 29s
  More actions for workflow run 141

• fix: RSR compliance — license, author, badges, CODEOWNERS, .well-known

  completed successfully:
  CodeQL Security Analysis#140:Commitc0c5cfapushedbyhyperpolymath
  main

  Mar 2, 20267m 28s
  More actions for workflow run 140

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

  completed successfully:
  CodeQL Security Analysis#139:Commit298015bpushedbyhyperpolymath
  main

  Feb 24, 202612m 33s
  More actions for workflow run 139

• CodeQL Security Analysis

  completed successfully:
  CodeQL Security Analysis#138:Scheduled
  main

  Feb 23, 20267m 22s
  More actions for workflow run 138

• chore(deps): bump bytes from 1.11.0 to 1.11.1 in the cargo group acro…

  completed successfully:
  CodeQL Security Analysis#137:Commit62ce32dpushedbyhyperpolymath
  main

  Feb 18, 202622m 43s
  More actions for workflow run 137

• chore(deps): bump bytes from 1.11.0 to 1.11.1 in the cargo group across 1 directory

  completed successfully:
  CodeQL Security Analysis#136:Pull request#5synchronizebyhyperpolymath
  dependabot/cargo/cargo-f6ecf5c85a

  Feb 18, 202620m 58s
  More actions for workflow run 136

• CodeQL Security Analysis

  completed successfully:
  CodeQL Security Analysis#135:Scheduled
  main

  Feb 16, 20266m 49s
  More actions for workflow run 135

• chore: remove crash capture artifacts, update .gitignore

  completed successfully:
  CodeQL Security Analysis#134:Commit757e32cpushedbyhyperpolymath
  main

  Feb 13, 202623m 53s
  More actions for workflow run 134

• docs: add session entry for workflow automation, note GitLab divergence

  completed successfully:
  CodeQL Security Analysis#133:Commit0cba626pushedbyhyperpolymath
  main

  Feb 12, 20267m 35s
  More actions for workflow run 133

• feat: pass VERISIMDB_PAT to scan-and-report workflow

  completed successfully:
  CodeQL Security Analysis#132:Commit5856de2pushedbyhyperpolymath
  main

  Feb 12, 20267m 31s
  More actions for workflow run 132

• feat: add OPSM to echidna ecosystem (community-tools)

  completed successfully:
  CodeQL Security Analysis#131:Commite622a19pushedbyhyperpolymath
  main

  Feb 12, 20266m 41s
  More actions for workflow run 131

• docs: add dot files/folders verification status

  completed successfully:
  CodeQL Security Analysis#130:Commit20750d8pushedbyhyperpolymath
  main

  Feb 12, 20267m 0s
  More actions for workflow run 130

• chore: update machine-readable STATE.scm and remove root SCM duplicates

  completed successfully:
  CodeQL Security Analysis#129:Commit07b5f5epushedbyhyperpolymath
  main

  Feb 12, 20267m 50s
  More actions for workflow run 129

• release: v1.5.0 - Trust & Safety + Fleet Integration

  completed successfully:
  CodeQL Security Analysis#128:Commitdac1ad9pushedbyhyperpolymath
  main

  Feb 12, 20267m 0s
  More actions for workflow run 128

• feat: add performance benchmarks for prover backend creation

  completed successfully:
  CodeQL Security Analysis#127:Commit4e9c81dpushedbyhyperpolymath
  main

  Feb 12, 20267m 23s
  More actions for workflow run 127

• security: add comprehensive safety documentation for unsafe blocks

  completed successfully:
  CodeQL Security Analysis#126:Commit4137890pushedbyhyperpolymath
  main

  Feb 12, 20267m 4s
  More actions for workflow run 126

• docs: update SONNET-TASKS.md with v1.5 completion verification

  completed successfully:
  CodeQL Security Analysis#125:Commit945a523pushedbyhyperpolymath
  main

  Feb 12, 20267m 0s
  More actions for workflow run 125

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

  completed successfully:
  CodeQL Security Analysis#124:Commit97cde50pushedbyhyperpolymath
  main

  Feb 10, 20267m 14s
  More actions for workflow run 124