CodeQL Security Analysis

Workflow runs for CodeQL Security Analysis

• proofs(lean4): mechanize the L1/L2 core (MECH-1 totality+stability, MECH-2 complete) with hard gates

  completed successfully:
  CodeQL Security Analysis#42:Pull request#17openedbyhyperpolymath
  proofs/lean4-l1-l2

  Jul 21, 202612m 31s
  More actions for workflow run 42

• chore: purge template residue (ABI seam out, status files localized, …

  completed successfully:
  CodeQL Security Analysis#41:Commitafec9a3pushedbyhyperpolymath
  main

  Jul 21, 202642m 50s
  More actions for workflow run 41

• chore: purge template residue (ABI seam out, status files localized, IS-NOT enforced)

  completed successfully:
  CodeQL Security Analysis#40:Pull request#16openedbyhyperpolymath
  chore/purge-template-residue

  Jul 21, 202642m 48s
  More actions for workflow run 40

• docs(theory): formal spec per layer/gate + citable ET-1..ET-15 obliga…

  cancelled:
  CodeQL Security Analysis#39:Commit4043442pushedbyhyperpolymath
  main

  Jul 21, 202634m 57s
  More actions for workflow run 39

• docs(theory): formal spec per layer/gate + citable ET-1..ET-15 obligation ledger

  completed successfully:
  CodeQL Security Analysis#38:Pull request#15synchronizebyhyperpolymath
  docs/theory-spec

  Jul 21, 202646m 48s
  More actions for workflow run 38

• chore: remove Guix/build scaffolding (complete the interrupted sweep)…

  cancelled:
  CodeQL Security Analysis#37:Commitab597c6pushedbyhyperpolymath
  main

  Jul 21, 202635s
  More actions for workflow run 37

• chore(governance): land missing docs/packaging before the standards#5…

  cancelled:
  CodeQL Security Analysis#36:Commitbf0556fpushedbyhyperpolymath
  main

  Jul 21, 202625s
  More actions for workflow run 36

• docs(theory): formal spec per layer/gate + citable ET-1..ET-15 obligation ledger

  cancelled:
  CodeQL Security Analysis#35:Pull request#15openedbyhyperpolymath
  docs/theory-spec

  Jul 21, 20261m 1s
  More actions for workflow run 35

• chore: remove Guix/build scaffolding (complete the interrupted sweep)

  completed successfully:
  CodeQL Security Analysis#34:Pull request#13synchronizebyhyperpolymath
  chore/remove-guix-build-scaffolding

  Jul 21, 202646m 8s
  More actions for workflow run 34

• chore(governance): land missing docs/packaging before the standards#505 gates bite

  completed successfully:
  CodeQL Security Analysis#33:Pull request#14openedbyhyperpolymath
  chore/governance-505-remediation

  Jul 21, 202646m 20s
  More actions for workflow run 33

• chore: remove Guix/build scaffolding (complete the interrupted sweep)

  cancelled:
  CodeQL Security Analysis#32:Pull request#13openedbyhyperpolymath
  chore/remove-guix-build-scaffolding

  Jul 21, 20267m 54s
  More actions for workflow run 32

• chore: rescue stranded sweep 2-4 commits (config, licenses, C-A-G-M) …

  cancelled:
  CodeQL Security Analysis#31:Commitf4982bepushedbyhyperpolymath
  main

  Jul 21, 202610m 27s
  More actions for workflow run 31

• chore: rescue stranded sweep 2-4 commits (config, licenses, C-A-G-M)

  completed successfully:
  CodeQL Security Analysis#30:Pull request#12synchronizebyhyperpolymath
  chore/sweeps-2-4

  Jul 21, 202643m 30s
  More actions for workflow run 30

• Revert "ci: deploy docs via Ddraig SSG" (incident) (#11)

  cancelled:
  CodeQL Security Analysis#29:Commitecc1245pushedbyhyperpolymath
  main

  Jul 21, 202618s
  More actions for workflow run 29

• chore: rescue stranded sweep 2-4 commits (config, licenses, C-A-G-M)

  cancelled:
  CodeQL Security Analysis#28:Pull request#12openedbyhyperpolymath
  chore/sweeps-2-4

  Jul 21, 20264m 18s
  More actions for workflow run 28

• Revert "ci: deploy docs via Ddraig SSG" (incident)

  completed successfully:
  CodeQL Security Analysis#27:Pull request#11openedbyhyperpolymath
  incident/revert-ddraig-pages-systemet

  Jul 21, 202647m 58s
  More actions for workflow run 27

• ci: deploy docs via Ddraig SSG (#10)

  completed successfully:
  CodeQL Security Analysis#26:Commit98c1dc8pushedbyhyperpolymath
  main

  Jul 19, 20261h 11m 35s
  More actions for workflow run 26

• ci: deploy docs via Ddraig SSG

  completed successfully:
  CodeQL Security Analysis#25:Pull request#10openedbyhyperpolymath
  feat/ddraig-pages-mass

  Jul 19, 20261h 11m 59s
  More actions for workflow run 25

• chore(deps): bump the actions group with 6 updates (#9)

  completed successfully:
  CodeQL Security Analysis#24:Commit3aff5f1pushedbyhyperpolymath
  main

  Jul 17, 202647s
  More actions for workflow run 24

• chore(deps): bump the actions group with 6 updates

  completed successfully:
  CodeQL Security Analysis#23:Pull request#9openedbydependabot[bot]Bot
  dependabot/github_actions/actions-45a9dff1cf

  Jul 17, 202639s
  More actions for workflow run 23

• chore(deps): bump the actions group with 3 updates (#8)

  completed successfully:
  CodeQL Security Analysis#22:Commitf6b4387pushedbyhyperpolymath
  main

  Jul 10, 202652s
  More actions for workflow run 22

• chore(deps): bump the actions group with 3 updates

  completed successfully:
  CodeQL Security Analysis#21:Pull request#8openedbydependabot[bot]Bot
  dependabot/github_actions/actions-fcd0da06fc

  Jul 10, 202646s
  More actions for workflow run 21

• fix(ci): estate-wide structural CI fixes

  completed successfully:
  CodeQL Security Analysis#20:Commitfbbb122pushedbyhyperpolymath
  main

  Jul 7, 202643s
  More actions for workflow run 20

• fix(ci): clear OSSF Scorecard startup_failure (#7)

  completed successfully:
  CodeQL Security Analysis#19:Commit9025ee2pushedbyhyperpolymath
  main

  Jul 6, 202622m 9s
  More actions for workflow run 19

• fix(ci): clear OSSF Scorecard startup_failure

  completed successfully:
  CodeQL Security Analysis#18:Pull request#7openedbyhyperpolymath
  fix/scorecard-caller-startup

  Jul 6, 202612m 24s
  More actions for workflow run 18