CodeQL Security Analysis

Workflow runs for CodeQL Security Analysis

• fix(ci): repoint dogfood actions at their new in-ecosystem paths

  completed successfully:
  CodeQL Security Analysis#65:Pull request#29openedbyhyperpolymath
  fix/dogfood-action-refs

  Jul 27, 202645s
  More actions for workflow run 65

• docs(adr): draft ADR-0002 — L0 observational equivalence for TEA eras…

  completed successfully:
  CodeQL Security Analysis#64:Commit53e6afepushedbyhyperpolymath
  main

  Jul 27, 202658s
  More actions for workflow run 64

• docs(adr): draft ADR-0002 — L0 observational equivalence for TEA erasure (prospective ET-16)

  completed successfully:
  CodeQL Security Analysis#63:Pull request#28synchronizebyhyperpolymath
  docs/adr-0002-l0-observation

  Jul 27, 20261m 16s
  More actions for workflow run 63

• docs(adr): draft ADR-0002 — L0 observational equivalence for TEA erasure (prospective ET-16)

  completed successfully:
  CodeQL Security Analysis#62:Pull request#28openedbyhyperpolymath
  docs/adr-0002-l0-observation

  Jul 27, 202644s
  More actions for workflow run 62

• proofs(lean4): promote ET-2 to main — L1 conversion is decidable (#27)

  completed successfully:
  CodeQL Security Analysis#61:Commiteed2092pushedbyhyperpolymath
  main

  Jul 27, 202646s
  More actions for workflow run 61

• proofs(lean4): promote ET-2 to main — L1 conversion is decidable

  completed successfully:
  CodeQL Security Analysis#60:Pull request#27synchronizebyhyperpolymath
  proofs/lean4-l1-l2

  Jul 27, 202647s
  More actions for workflow run 60

• proofs(lean4): promote ET-2 to main — L1 conversion is decidable

  completed successfully:
  CodeQL Security Analysis#59:Pull request#27synchronizebyhyperpolymath
  proofs/lean4-l1-l2

  Jul 27, 202647s
  More actions for workflow run 59

• proofs(lean4): promote ET-2 to main — L1 conversion is decidable

  completed successfully:
  CodeQL Security Analysis#58:Pull request#27synchronizebyhyperpolymath
  proofs/lean4-l1-l2

  Jul 27, 202640s
  More actions for workflow run 58

• proofs(lean4): promote ET-2 to main — L1 conversion is decidable

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

  Jul 27, 202651s
  More actions for workflow run 57

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

  completed successfully:
  CodeQL Security Analysis#56:Commit0be2ae3pushedbyhyperpolymath
  main

  Jul 24, 202648s
  More actions for workflow run 56

• CodeQL Security Analysis

  failed at startup:
  CodeQL Security Analysis#55:openedbydependabot[bot]Bot
  dependabot/github_actions/actions-2fef39f4b1

  Jul 24, 2026Startup failure
  More actions for workflow run 55

• fix(ci): estate-wide foundational remediation (#25)

  completed successfully:
  CodeQL Security Analysis#54:Commit8737d50pushedbyhyperpolymath
  main

  Jul 23, 202632m 1s
  More actions for workflow run 54

• fix(ci): estate-wide foundational remediation

  completed successfully:
  CodeQL Security Analysis#53:Pull request#25openedbyhyperpolymath
  fix-ci-estate

  Jul 23, 202632m 7s
  More actions for workflow run 53

• fix(ci): close the governance gate — SPDX, permissions, SHA pins, reu…

  completed successfully:
  CodeQL Security Analysis#52:Commit6005443pushedbyhyperpolymath
  main

  Jul 21, 20262h 15m 10s
  More actions for workflow run 52

• fix(ci): close the governance gate — SPDX, permissions, SHA pins, reusable bump

  completed successfully:
  CodeQL Security Analysis#51:Pull request#23openedbyhyperpolymath
  fix/governance-gate-sweep

  Jul 21, 20261h 36m 17s
  More actions for workflow run 51

• chore(mise): remove 13 phantom tools and a no-op [alias] block (#22)

  completed successfully:
  CodeQL Security Analysis#50:Commitb592efbpushedbyhyperpolymath
  main

  Jul 21, 202616m 26s
  More actions for workflow run 50

• chore(mise): remove 13 phantom tools and a no-op [alias] block

  completed successfully:
  CodeQL Security Analysis#49:Pull request#22openedbyhyperpolymath
  chore/mise-toml-repair

  Jul 21, 202649s
  More actions for workflow run 49

• fix(sonar): point at this repo's own SonarCloud project (#20)

  completed successfully:
  CodeQL Security Analysis#48:Commitddf5749pushedbyhyperpolymath
  main

  Jul 21, 20261m 14s
  More actions for workflow run 48

• fix(sonar): point at this repo's own SonarCloud project

  completed successfully:
  CodeQL Security Analysis#47:Pull request#20synchronizebyhyperpolymath
  fix/sonar-project-key

  Jul 21, 20261m 8s
  More actions for workflow run 47

• chore(state): truth-sync STATE + AFFIRMATION anchor + real golden pat…

  cancelled:
  CodeQL Security Analysis#46:Commitd7fe2d1pushedbyhyperpolymath
  main

  Jul 21, 20261m 5s
  More actions for workflow run 46

• chore(state): truth-sync STATE + AFFIRMATION anchor + real golden path (PR-6, closes the sequence)

  completed successfully:
  CodeQL Security Analysis#45:Pull request#21openedbyhyperpolymath
  chore/state-and-affirmation

  Jul 21, 202648s
  More actions for workflow run 45

• fix(sonar): point at this repo's own SonarCloud project

  completed successfully:
  CodeQL Security Analysis#44:Pull request#20openedbyhyperpolymath
  fix/sonar-project-key

  Jul 21, 202648s
  More actions for workflow run 44

• proofs(lean4): mechanize the L1/L2 core (MECH-1 totality+stability, M…

  completed successfully:
  CodeQL Security Analysis#43:Commita11c987pushedbyhyperpolymath
  main

  Jul 21, 202631m 29s
  More actions for workflow run 43

• 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