CodeQL Security Analysis

Workflow runs for CodeQL Security Analysis

• Add casket pages workflow

  completed successfully:
  CodeQL Security Analysis#171:Commitc3d292epushedbyhyperpolymath
  main

  Apr 2, 202658m 53s
  More actions for workflow run 171

• Remove template-only ABI files that falsely implied formal verification

  completed successfully:
  CodeQL Security Analysis#170:Commit4e02542pushedbyhyperpolymath
  main

  Mar 30, 202621m 54s
  More actions for workflow run 170

• CodeQL Security Analysis

  completed successfully:
  CodeQL Security Analysis#169:Scheduled
  main

  Mar 30, 20261m 19s
  More actions for workflow run 169

• chore: replace template placeholder in ROADMAP.adoc with project name

  completed successfully:
  CodeQL Security Analysis#168:Commitddf9f6apushedbyhyperpolymath
  main

  Mar 29, 202623m 40s
  More actions for workflow run 168

• chore: deploy UX infrastructure (contractile.just, .well-known, manif…

  completed successfully:
  CodeQL Security Analysis#167:Commit808744epushedbyhyperpolymath
  main

  Mar 29, 202647m 58s
  More actions for workflow run 167

• feat: add stapeln.toml layer-based container definition\n\nConverted …

  completed successfully:
  CodeQL Security Analysis#166:Commite02b8c1pushedbyhyperpolymath
  main

  Mar 28, 20262h 6m 20s
  More actions for workflow run 166

• chore: add agent_instructions methodology layer

  completed successfully:
  CodeQL Security Analysis#165:Commit753bc51pushedbyhyperpolymath
  main

  Mar 24, 20261h 42m 17s
  More actions for workflow run 165

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

  completed successfully:
  CodeQL Security Analysis#164:Commit464f1a2pushedbyhyperpolymath
  main

  Mar 24, 20261h 34m 46s
  More actions for workflow run 164

• Merge branch 'chore/cicd-optimizations'

  completed successfully:
  CodeQL Security Analysis#163:Commit7c86967pushedbyhyperpolymath
  main

  Mar 24, 20269m 36s
  More actions for workflow run 163

• CodeQL Security Analysis

  completed successfully:
  CodeQL Security Analysis#162:Scheduled
  main

  Mar 23, 202613m 41s
  More actions for workflow run 162

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

  completed successfully:
  CodeQL Security Analysis#161:Commit9c3dad1pushedbyhyperpolymath
  main

  Mar 18, 20263m 59s
  More actions for workflow run 161

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

  completed successfully:
  CodeQL Security Analysis#160:Pull request#12openedbyhyperpolymath
  chore/cicd-optimizations

  Mar 18, 202638m 21s
  More actions for workflow run 160

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

  completed successfully:
  CodeQL Security Analysis#159:Commite004a51pushedbyhyperpolymath
  main

  Mar 17, 20261h 59m 34s
  More actions for workflow run 159

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

  completed successfully:
  CodeQL Security Analysis#158:Commit1e53a36pushedbyhyperpolymath
  main

  Mar 17, 20261h 0m 13s
  More actions for workflow run 158

• chore: RSR sync and mass repository update

  completed successfully:
  CodeQL Security Analysis#157:Commit16086f3pushedbyhyperpolymath
  main

  Mar 17, 202646m 19s
  More actions for workflow run 157

• feat: add CLADE.a2ml — clade taxonomy declaration

  completed successfully:
  CodeQL Security Analysis#156:Commitf6fc7e7pushedbyhyperpolymath
  main

  Mar 16, 20262h 26m 50s
  More actions for workflow run 156

• chore: add SPDX headers to source files

  completed successfully:
  CodeQL Security Analysis#155:Commitd74156epushedbyhyperpolymath
  main

  Mar 16, 20261h 33m 53s
  More actions for workflow run 155

• CodeQL Security Analysis

  completed successfully:
  CodeQL Security Analysis#154:Scheduled
  main

  Mar 16, 20264h 40m 3s
  More actions for workflow run 154

• migrate: .scm → .a2ml state files in .machine_readable/

  completed successfully:
  CodeQL Security Analysis#153:Commit7db5c3cpushedbyhyperpolymath
  main

  Mar 16, 20267h 23m 12s
  More actions for workflow run 153

• fix: correct email jonathan.jewell → j.d.a.jewell

  completed successfully:
  CodeQL Security Analysis#152:Commitb38ed21pushedbyhyperpolymath
  main

  Mar 16, 20266h 20m 7s
  More actions for workflow run 152

• fix: global AGPL-3.0-or-later → PMPL-1.0-or-later replacement

  completed successfully:
  CodeQL Security Analysis#151:Commit1154d26pushedbyhyperpolymath
  main

  Mar 16, 20265h 11m 29s
  More actions for workflow run 151

• fix: SPDX headers (AGPL→PMPL), email, author name

  completed successfully:
  CodeQL Security Analysis#150:Commitd91a4f9pushedbyhyperpolymath
  main

  Mar 16, 20263h 19m 26s
  More actions for workflow run 150

• Fix SPDX headers: AGPL-3.0-or-later → PMPL-1.0-or-later

  completed successfully:
  CodeQL Security Analysis#149:Commit5937b40pushedbyhyperpolymath
  main

  Mar 16, 20261h 14m 21s
  More actions for workflow run 149

• Replace RSR template placeholders with actual values

  completed successfully:
  CodeQL Security Analysis#148:Commit81f94d7pushedbyhyperpolymath
  main

  Mar 16, 202642m 7s
  More actions for workflow run 148

• refactor: migrate 6SCM → 6A2 (.scm → .a2ml format)

  completed successfully:
  CodeQL Security Analysis#147:Commit4ab8fe2pushedbyhyperpolymath
  main

  Mar 15, 202642m 11s
  More actions for workflow run 147