CodeQL Security Analysis

codeql.yml

417 workflow runs

proof(coq): discharge eval_respects_state_eq_{L,R} via deletion + refactor
completed successfully:
CodeQL Security Analysis#67:Pull request#26openedbyhyperpolymath
proof-debt/abszero-tier-a-axiom-discharge
May 20, 202611h 18m 32s
fix(coq/cno): tier-0 rebuild - Coq 8.18 build repair + state_eq relaxation + eval_deterministic discharge (Refs standards#124)
completed successfully:
CodeQL Security Analysis#66:Pull request#25synchronizebyhyperpolymath
fix/coq-cno-tier0-rebuild-2026-05-20
May 20, 202611h 20m 38s
proof(coq): #133 rescue rebase + discharge eval_deterministic (PR #24)
cancelled:
CodeQL Security Analysis#65:Commit69e7a22pushedbyhyperpolymath
main
May 20, 202617m 24s
proof(coq): #133 rescue rebase + discharge eval_deterministic
completed successfully:
CodeQL Security Analysis#64:Pull request#24synchronizebyhyperpolymath
rebase/133-rescue-onto-main
May 20, 202611h 30m 13s
fix(coq/cno): tier-0 rebuild - Coq 8.18 build repair + state_eq relaxation + eval_deterministic discharge (Refs standards#124)
cancelled:
CodeQL Security Analysis#63:Pull request#25openedbyhyperpolymath
fix/coq-cno-tier0-rebuild-2026-05-20
May 20, 20261h 31m 30s
fix(lean4/cno): finish loadStore_preserves_memory cons-case build (#23)
cancelled:
CodeQL Security Analysis#62:Commit35933a6pushedbyhyperpolymath
main
May 20, 20262h 3m 52s
fix(lean4/cno): finish loadStore_preserves_memory cons-case build
completed successfully:
CodeQL Security Analysis#61:Pull request#23openedbyhyperpolymath
fix/lean-cno-cons-case-2026-05-20
May 20, 202612h 32m 2s
licence(#7): normalise PMPL-1.0 -> PMPL-1.0-or-later (owner carve-out…
completed successfully:
CodeQL Security Analysis#60:Commit057a598pushedbyhyperpolymath
main
May 19, 20261h 32m 45s
fix(licence): canonicalise to PMPL-1.0-or-later per authorship check …
cancelled:
CodeQL Security Analysis#59:Commitf39b762pushedbyhyperpolymath
main
May 19, 20268s
fix(licence): canonicalise to PMPL-1.0-or-later per authorship check (#133)
completed successfully:
CodeQL Security Analysis#58:Pull request#22openedbyhyperpolymath
proof-debt/standards-133-licence-canon
May 19, 20261h 27m 56s
licence(#7): PMPL-1.0 -> PMPL-1.0-or-later (owner carve-out, SPDX-only)
completed successfully:
CodeQL Security Analysis#57:Pull request#21openedbyhyperpolymath
licence-debt/07-pmpl-suffix
May 19, 202636m 31s
fix(licence): clear scaffold-placeholder leak (isolated; dirty repo) …
completed successfully:
CodeQL Security Analysis#56:Commitfb7a201pushedbyhyperpolymath
main
May 19, 20265h 44m 41s
fix(licence): #3 isolated — clear scaffold-placeholder leak (absolute-zero)
completed successfully:
CodeQL Security Analysis#55:Pull request#20synchronizebyhyperpolymath
licence-debt/03-final-placeholder
May 19, 202611h 28m 3s
fix(licence): #3 isolated — clear scaffold-placeholder leak (absolute-zero)
cancelled:
CodeQL Security Analysis#54:Pull request#20openedbyhyperpolymath
licence-debt/03-final-placeholder
May 19, 20261h 4m 55s
CodeQL Security Analysis
completed successfully:
CodeQL Security Analysis#53:Scheduled
main
May 18, 202612h 45m 54s
harden(ci): concurrency-cancel guard on canonical check workflows (#19)
cancelled:
CodeQL Security Analysis#52:Commitb766923pushedbyhyperpolymath
main
May 18, 202610m 8s
harden(ci): concurrency-cancel guard on canonical check workflows
completed successfully:
CodeQL Security Analysis#51:Pull request#19openedbyhyperpolymath
harden/ci-concurrency-estate-2026-05-18
May 18, 20266h 58m 50s
fix(ci): sync hypatia-scan.yml to canonical (413: env.HOME+Phase-2+SA…
cancelled:
CodeQL Security Analysis#50:Commit35829e5pushedbyhyperpolymath
main
May 17, 20261d 0h 0m 1s
fix(ci): sync hypatia-scan.yml to canonical
cancelled:
CodeQL Security Analysis#49:Pull request#18openedbyhyperpolymath
fix/hypatia-scan-canonical
May 17, 20261d 0h 0m 1s
chore(ci): replace per-repo governance copies with shared bundle wrapper
completed successfully:
CodeQL Security Analysis#48:Commiteb56680pushedbyhyperpolymath
main
May 17, 20269h 10m 57s
fix(ci): adopt canonical hypatia-scan.yml (env.HOME/scanner-layout + …
completed successfully:
CodeQL Security Analysis#47:Commit8b9fbbbpushedbyhyperpolymath
main
May 16, 20261h 28m 45s
fix(ci): adopt canonical hypatia-scan.yml
completed successfully:
CodeQL Security Analysis#46:Pull request#16openedbyhyperpolymath
fix/hypatia-scan-canonical
May 16, 20261h 31m 27s
chore(deps): bump the actions group with 3 updates (#15)
completed successfully:
CodeQL Security Analysis#45:Commit3ff5ceepushedbyhyperpolymath
main
May 16, 20261h 11m 51s
chore(deps): bump the actions group with 3 updates
completed successfully:
CodeQL Security Analysis#44:Pull request#15openedbydependabot[bot]Bot
dependabot/github_actions/actions-60c456e6ce
May 15, 202656s
fix(ci): rsr-antipattern.yml duplicate heredoc (#13)
completed successfully:
CodeQL Security Analysis#43:Commitaf75472pushedbyhyperpolymath
main
May 14, 20266h 57m 22s

Navigation Menu

CodeQL Security Analysis

417 workflow runs

proof(coq): discharge eval_respects_state_eq_{L,R} via deletion + refactor

fix(coq/cno): tier-0 rebuild - Coq 8.18 build repair + state_eq relaxation + eval_deterministic discharge (Refs standards#124)

proof(coq): #133 rescue rebase + discharge eval_deterministic (PR #24)

proof(coq): #133 rescue rebase + discharge eval_deterministic

fix(coq/cno): tier-0 rebuild - Coq 8.18 build repair + state_eq relaxation + eval_deterministic discharge (Refs standards#124)

fix(lean4/cno): finish loadStore_preserves_memory cons-case build (#23)

fix(lean4/cno): finish loadStore_preserves_memory cons-case build

licence(#7): normalise PMPL-1.0 -> PMPL-1.0-or-later (owner carve-out…

fix(licence): canonicalise to PMPL-1.0-or-later per authorship check …

fix(licence): canonicalise to PMPL-1.0-or-later per authorship check (#133)

licence(#7): PMPL-1.0 -> PMPL-1.0-or-later (owner carve-out, SPDX-only)

fix(licence): clear scaffold-placeholder leak (isolated; dirty repo) …

fix(licence): #3 isolated — clear scaffold-placeholder leak (absolute-zero)

fix(licence): #3 isolated — clear scaffold-placeholder leak (absolute-zero)

CodeQL Security Analysis

harden(ci): concurrency-cancel guard on canonical check workflows (#19)

harden(ci): concurrency-cancel guard on canonical check workflows

fix(ci): sync hypatia-scan.yml to canonical (413: env.HOME+Phase-2+SA…

fix(ci): sync hypatia-scan.yml to canonical

chore(ci): replace per-repo governance copies with shared bundle wrapper

fix(ci): adopt canonical hypatia-scan.yml (env.HOME/scanner-layout + …

fix(ci): adopt canonical hypatia-scan.yml

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

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

fix(ci): rsr-antipattern.yml duplicate heredoc (#13)

ProTip! You can narrow down the results and go further in time using the filter or the other filters available.

Workflow runs for CodeQL Security Analysis

417 workflow runs

ProTip! You can narrow down the results and go further in time using the created: filter or the other filters available.

ProTip! You can narrow down the results and go further in time using the filter or the other filters available.