CodeQL Security Analysis

Workflow runs for CodeQL Security Analysis

• chore(governance): salvage net-new artifacts only — drop superseded s…

  completed successfully:
  CodeQL Security Analysis#38:Commitfd2a2f7pushedbyhyperpolymath
  main

  Jun 13, 20261m 3s
  More actions for workflow run 38

• Machine-readable governance scaffold + in-tree wiki (was 6a2-only skeleton)

  completed successfully:
  CodeQL Security Analysis#37:Pull request#195synchronizebyhyperpolymath
  claude/sleepy-carson-bREoV

  Jun 13, 20261m 14s
  More actions for workflow run 37

• proof(ordinal): general head-Ω monotonicity head-Ω-mono (Gate 1 bui…

  completed successfully:
  CodeQL Security Analysis#36:Commit4f44c8fpushedbyhyperpolymath
  main

  Jun 13, 20261m 17s
  More actions for workflow run 36

• proof(ordinal): general head-Ω monotonicity (Gate 1 building block)

  completed successfully:
  CodeQL Security Analysis#35:Pull request#198openedbyhyperpolymath
  claude/quirky-gauss-GaGZo

  Jun 13, 202659s
  More actions for workflow run 35

• proof: well-foundedness of the WfCNF-narrowed _<ᵇᵘⁿ_

  completed successfully:
  CodeQL Security Analysis#34:Commit30018b6pushedbyhyperpolymath
  main

  Jun 13, 20261m 17s
  More actions for workflow run 34

• proof: well-foundedness of the WfCNF-narrowed _<ᵇᵘⁿ_

  completed successfully:
  CodeQL Security Analysis#33:Pull request#196synchronizebyhyperpolymath
  claude/quirky-gauss-GaGZo

  Jun 13, 202655s
  More actions for workflow run 33

• proof: well-foundedness of the WfCNF-narrowed _<ᵇᵘⁿ_

  completed successfully:
  CodeQL Security Analysis#32:Pull request#196openedbyhyperpolymath
  claude/quirky-gauss-GaGZo

  Jun 13, 20261m 1s
  More actions for workflow run 32

• docs: record echo-types typesystem-integration sweep (4 downstream co…

  completed successfully:
  CodeQL Security Analysis#31:Commit48b9c11pushedbyhyperpolymath
  main

  Jun 12, 20261m 20s
  More actions for workflow run 31

• docs: record echo-types typesystem-integration sweep (4 downstream consumers)

  completed successfully:
  CodeQL Security Analysis#30:Pull request#194openedbyhyperpolymath
  claude/gifted-fermat-EmVcv

  Jun 12, 202654s
  More actions for workflow run 30

• fix(hypatia): farm token key → secret-name (scanner FP on 'secret = …')

  completed successfully:
  CodeQL Security Analysis#29:Commit8e84f69pushedbyhyperpolymath
  main

  Jun 12, 20261m 15s
  More actions for workflow run 29

• docs(governance): 6a2 S-expr→TOML conversion + 2026-06-12 checkpoint (bot directives, Dust/Bust, self-validating)

  completed successfully:
  CodeQL Security Analysis#28:Pull request#187synchronizebyhyperpolymath
  claude/confident-shannon-xf0Td

  Jun 12, 202654s
  More actions for workflow run 28

• docs(governance): 6a2 S-expr→TOML conversion + 2026-06-12 checkpoint (bot directives, Dust/Bust, self-validating)

  completed successfully:
  CodeQL Security Analysis#27:Pull request#187openedbyhyperpolymath
  claude/confident-shannon-xf0Td

  Jun 12, 202649s
  More actions for workflow run 27

• fix(LICENSE): restore SPDX-License-Identifier header

  completed successfully:
  CodeQL Security Analysis#26:Commite6db559pushedbyhyperpolymath
  main

  Jun 11, 20261m 15s
  More actions for workflow run 26

• fix(LICENSE): restore SPDX-License-Identifier header

  completed successfully:
  CodeQL Security Analysis#25:Pull request#186openedbyhyperpolymath
  fix/license-spdx-restore

  Jun 11, 20261m 0s
  More actions for workflow run 25

• estate-standardization-20260607 (DRAFT — owner-only LICENSE review re…

  completed successfully:
  CodeQL Security Analysis#24:Commit90d178bpushedbyhyperpolymath
  main

  Jun 11, 20261m 31s
  More actions for workflow run 24

• estate-standardization-20260607 (DRAFT — owner-only LICENSE review required)

  completed successfully:
  CodeQL Security Analysis#23:Pull request#185synchronizebyhyperpolymath
  estate-standardization-20260607

  Jun 11, 20261m 2s
  More actions for workflow run 23

• estate-standardization-20260607 (DRAFT — owner-only LICENSE review required)

  completed successfully:
  CodeQL Security Analysis#22:Pull request#185synchronizebyhyperpolymath
  estate-standardization-20260607

  Jun 11, 202656s
  More actions for workflow run 22

• chore(deps): bump github/codeql-action in the actions group

  completed successfully:
  CodeQL Security Analysis#21:Commit3ce822epushedbyhyperpolymath
  main

  Jun 11, 20261m 11s
  More actions for workflow run 21

• chore(deps): bump github/codeql-action from 4.36.1 to 4.36.2 in the actions group

  completed successfully:
  CodeQL Security Analysis#20:Pull request#183synchronizebyhyperpolymath
  dependabot/github_actions/actions-0321e4ed66

  Jun 11, 20261m 9s
  More actions for workflow run 20

• docs(CLAIMS_AUDIT): verify mappings — add VERDICT + EVIDENCE columns

  completed successfully:
  CodeQL Security Analysis#19:Commite2381dfpushedbyhyperpolymath
  main

  Jun 11, 20261m 5s
  More actions for workflow run 19

• docs(CLAIMS_AUDIT): Gate G1 input — mapping + verdict audit

  completed successfully:
  CodeQL Security Analysis#18:Pull request#184openedbyhyperpolymath
  docs/claims-audit-2026-06-10

  Jun 11, 202657s
  More actions for workflow run 18

• CodeQL Security Analysis

  completed successfully:
  CodeQL Security Analysis#17:Scheduled
  main

  Jun 8, 20261m 7s
  More actions for workflow run 17

• chore(deps): bump github/codeql-action from 4.36.1 to 4.36.2 in the actions group

  completed successfully:
  CodeQL Security Analysis#16:Pull request#183openedbydependabot[bot]Bot
  dependabot/github_actions/actions-0321e4ed66

  Jun 6, 202657s
  More actions for workflow run 16

• docs(state): 6a2 checkpoint — refresh STATE/META to current ordinal-track reality

  completed successfully:
  CodeQL Security Analysis#15:Pull request#182synchronizebyhyperpolymath
  claude/dreamy-hypatia-O8XHo

  Jun 5, 20261m 18s
  More actions for workflow run 15

• chore: gitignore _build/; correct CITATION author email

  cancelled:
  CodeQL Security Analysis#14:Commit9c00087pushedbyhyperpolymath
  main

  Jun 5, 20261m 10s
  More actions for workflow run 14