CodeQL Security Analysis

Workflow runs for CodeQL Security Analysis

• chore: update eclexiaiser.toml with real function entries

  completed successfully:
  CodeQL Security Analysis#50:Commitf379183pushedbyhyperpolymath
  main

  Apr 4, 20265h 2m 59s
  More actions for workflow run 50

• chore: add eclexiaiser.toml manifests for container sub-services

  completed successfully:
  CodeQL Security Analysis#49:Commitb185d20pushedbyhyperpolymath
  main

  Apr 4, 20263h 56m 49s
  More actions for workflow run 49

• ci: deploy dogfood-gate, add Groove manifest and CRG tests

  completed successfully:
  CodeQL Security Analysis#48:Commit174fc9apushedbyhyperpolymath
  main

  Apr 4, 20262h 16m 1s
  More actions for workflow run 48

• docs: substantive CRG C annotation (EXPLAINME.adoc)

  completed successfully:
  CodeQL Security Analysis#47:Commit017d5b3pushedbyhyperpolymath
  main

  Apr 4, 202618m 46s
  More actions for workflow run 47

• Add casket pages workflow

  completed successfully:
  CodeQL Security Analysis#46:Commitce3840apushedbyhyperpolymath
  main

  Apr 2, 202624m 52s
  More actions for workflow run 46

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

  completed successfully:
  CodeQL Security Analysis#45:Commitcfdf482pushedbyhyperpolymath
  main

  Mar 30, 202611m 3s
  More actions for workflow run 45

• CodeQL Security Analysis

  completed successfully:
  CodeQL Security Analysis#44:Scheduled
  main

  Mar 30, 20261m 15s
  More actions for workflow run 44

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

  completed successfully:
  CodeQL Security Analysis#43:Commitcfe3776pushedbyhyperpolymath
  main

  Mar 29, 20269m 23s
  More actions for workflow run 43

• feat: add stapeln.toml container definition

  completed successfully:
  CodeQL Security Analysis#42:Commit3db02cdpushedbyhyperpolymath
  main

  Mar 29, 202613m 49s
  More actions for workflow run 42

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

  completed successfully:
  CodeQL Security Analysis#41:Commit533ac49pushedbyhyperpolymath
  main

  Mar 29, 202616m 10s
  More actions for workflow run 41

• feat: deploy UX Manifesto infrastructure

  completed successfully:
  CodeQL Security Analysis#40:Commit3d791a4pushedbyhyperpolymath
  main

  Mar 28, 20261h 35m 22s
  More actions for workflow run 40

• chore: add UX infrastructure (quickstart, doctor, setup)

  completed successfully:
  CodeQL Security Analysis#39:Commit29fd9fbpushedbyhyperpolymath
  main

  Mar 28, 202640m 18s
  More actions for workflow run 39

• chore: add agent_instructions methodology layer

  completed successfully:
  CodeQL Security Analysis#38:Commit165a6d4pushedbyhyperpolymath
  main

  Mar 24, 202636m 40s
  More actions for workflow run 38

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

  completed successfully:
  CodeQL Security Analysis#37:Commit5584dccpushedbyhyperpolymath
  main

  Mar 23, 202611m 22s
  More actions for workflow run 37

• CodeQL Security Analysis

  completed successfully:
  CodeQL Security Analysis#36:Scheduled
  main

  Mar 23, 20261m 11s
  More actions for workflow run 36

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

  completed successfully:
  CodeQL Security Analysis#35:Commit0326c6dpushedbyhyperpolymath
  main

  Mar 22, 202620m 32s
  More actions for workflow run 35

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

  completed successfully:
  CodeQL Security Analysis#34:Commit0864738pushedbyhyperpolymath
  main

  Mar 22, 20263m 56s
  More actions for workflow run 34

• chore: merge chore/cicd-optimizations into main (resolve permissions …

  completed successfully:
  CodeQL Security Analysis#33:Commitb24a4c6pushedbyhyperpolymath
  main

  Mar 21, 20261m 19s
  More actions for workflow run 33

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

  completed successfully:
  CodeQL Security Analysis#32:Commit023efc7pushedbyhyperpolymath
  main

  Mar 18, 202617m 49s
  More actions for workflow run 32

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

  completed successfully:
  CodeQL Security Analysis#31:Pull request#1openedbyhyperpolymath
  chore/cicd-optimizations

  Mar 18, 202612m 38s
  More actions for workflow run 31

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

  completed successfully:
  CodeQL Security Analysis#30:Commit88ad8afpushedbyhyperpolymath
  main

  Mar 17, 20262h 19m 39s
  More actions for workflow run 30

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

  completed successfully:
  CodeQL Security Analysis#29:Commitef5b835pushedbyhyperpolymath
  main

  Mar 17, 20261h 25m 32s
  More actions for workflow run 29

• chore: RSR sync and mass repository update

  completed successfully:
  CodeQL Security Analysis#28:Commit3b706aepushedbyhyperpolymath
  main

  Mar 17, 202625m 43s
  More actions for workflow run 28

• chore: add #![forbid(unsafe_code)] to safe Rust crates

  completed successfully:
  CodeQL Security Analysis#27:Commit824dd82pushedbyhyperpolymath
  main

  Mar 16, 20262h 29m 42s
  More actions for workflow run 27

• feat: add CLADE.a2ml — clade taxonomy declaration

  completed successfully:
  CodeQL Security Analysis#26:Commitae0e1d1pushedbyhyperpolymath
  main

  Mar 16, 20261h 56m 51s
  More actions for workflow run 26