CodeQL Security Analysis

codeql.yml

741 workflow runs

feat(campaign): panic-attack campaign poll — GitHub PR transitions (issue #33 S2b)
completed successfully:
CodeQL Security Analysis#292:Pull request#60synchronizebyhyperpolymath
feat/issue-33-s2b-campaign-poll
May 26, 20264h 10m 38s
docs(campaigns): add 2026-05-26 estate sweep report (human + machine)
completed successfully:
CodeQL Security Analysis#291:Pull request#48synchronizebyhyperpolymath
panic-fix/campaign-2026-05-26-report
May 26, 20264h 56m 33s
fix(assail): char-boundary-aware advance in Isabelle cartouche skip (regression from #49)
completed successfully:
CodeQL Security Analysis#290:Pull request#65openedbyhyperpolymath
fix/isabelle-cartouche-utf8-boundary
May 26, 20265h 16m 4s
chore(license): migrate to AGPL-3.0-or-later
completed successfully:
CodeQL Security Analysis#289:Pull request#64openedbyhyperpolymath
license/migrate-to-agpl-3.0-or-later
May 26, 20264h 25m 16s
feat(storage): per-finding hexad emission (issue #33 S1)
completed successfully:
CodeQL Security Analysis#288:Pull request#55synchronizebyhyperpolymath
feat/issue-33-s1-finding-hexads
May 26, 20264h 16m 15s
feat(query): facts-backed (crosslang :from :to) evaluator (issue #33 follow-up)
completed successfully:
CodeQL Security Analysis#287:Pull request#63openedbyhyperpolymath
feat/crosslang-query-facts-backed
May 26, 20264h 40m 54s
feat(sweep-tracker): hierarchical estate-sweep Markdown report
completed successfully:
CodeQL Security Analysis#286:Pull request#62openedbyhyperpolymath
feat/sweep-tracker-report
May 26, 20264h 32m 20s
feat(storage): persist kanren CrossLangInteraction as hexads (issue #33 follow-up)
completed successfully:
CodeQL Security Analysis#285:Pull request#61openedbyhyperpolymath
feat/crosslang-facts-persist
May 26, 20264h 33m 21s
chore(ci): convert hypatia-scan.yml to wrapper of standards reusable …
completed successfully:
CodeQL Security Analysis#284:Commitd449286pushedbyhyperpolymath
main
May 26, 20262h 55m 59s
feat(campaign): panic-attack campaign poll — GitHub PR transitions (issue #33 S2b)
completed successfully:
CodeQL Security Analysis#283:Pull request#60openedbyhyperpolymath
feat/issue-33-s2b-campaign-poll
May 26, 20261h 35m 53s
docs: record tech-debt audit findings (2026-05-26)
completed successfully:
CodeQL Security Analysis#282:Pull request#59openedbyhyperpolymath
claude/tech-debt-2026-05-26
May 26, 20261h 19m 26s
chore(ci): convert hypatia-scan.yml to wrapper of standards reusable
completed successfully:
CodeQL Security Analysis#281:Pull request#54synchronizebyhyperpolymath
chore/hypatia-scan-reusable-wrapper
May 26, 202638m 2s
fix: bound three unbounded file reads (resolves self-scan Critical) (…
completed successfully:
CodeQL Security Analysis#280:Commit0f6ea94pushedbyhyperpolymath
main
May 26, 202645s
fix: bound three unbounded file reads (resolves self-scan Critical)
completed successfully:
CodeQL Security Analysis#279:Pull request#51openedbyhyperpolymath
fix/bounded-reads-attestation-cache-classifications
May 26, 202651s
docs(campaigns): add 2026-05-26 estate sweep report (human + machine)
completed successfully:
CodeQL Security Analysis#278:Pull request#48synchronizebyhyperpolymath
panic-fix/campaign-2026-05-26-report
May 26, 202655s
fix(bridge): distinguish direct vs transitive phantom deps (closes #4…
completed successfully:
CodeQL Security Analysis#277:Commitea02d50pushedbyhyperpolymath
main
May 26, 20261m 4s
fix(bridge): distinguish direct vs transitive phantom deps (closes #47)
completed successfully:
CodeQL Security Analysis#276:Pull request#50synchronizebyhyperpolymath
fix/bridge-direct-vs-transitive-47
May 26, 20261m 26s
docs(campaigns): add 2026-05-26 estate sweep report (human + machine)
completed successfully:
CodeQL Security Analysis#275:Pull request#48synchronizebyhyperpolymath
panic-fix/campaign-2026-05-26-report
May 26, 20261m 49s
fix(assail): PA021 Isabelle detector skips prose blocks + antiquotati…
completed successfully:
CodeQL Security Analysis#274:Commitdb0e1b7pushedbyhyperpolymath
main
May 26, 20261m 0s
fix(bridge): distinguish direct vs transitive phantom deps (closes #47)
completed successfully:
CodeQL Security Analysis#273:Pull request#50openedbyhyperpolymath
fix/bridge-direct-vs-transitive-47
May 26, 202658s
fix(assail): PA021 Isabelle detector skips prose blocks + antiquotations (closes #43)
completed successfully:
CodeQL Security Analysis#272:Pull request#49synchronizebyhyperpolymath
fix/isabelle-prose-fp-43
May 26, 20261m 36s
docs(campaigns): add 2026-05-26 estate sweep report (human + machine)
completed successfully:
CodeQL Security Analysis#271:Pull request#48synchronizebyhyperpolymath
panic-fix/campaign-2026-05-26-report
May 26, 20261m 57s
fix(assail): PA021 Isabelle detector skips prose blocks + antiquotations (closes #43)
completed successfully:
CodeQL Security Analysis#270:Pull request#49openedbyhyperpolymath
fix/isabelle-prose-fp-43
May 26, 20262m 9s
fix(proofs): align Idris Lang enum with Rust (Chapel not C) — closes …
completed successfully:
CodeQL Security Analysis#269:Commit7766c18pushedbyhyperpolymath
main
May 26, 20264m 7s
docs(campaigns): add 2026-05-26 estate sweep report (human + machine)
completed successfully:
CodeQL Security Analysis#268:Pull request#48synchronizebyhyperpolymath
panic-fix/campaign-2026-05-26-report
May 26, 20265m 3s

Navigation Menu

CodeQL Security Analysis

741 workflow runs

feat(campaign): panic-attack campaign poll — GitHub PR transitions (issue #33 S2b)

docs(campaigns): add 2026-05-26 estate sweep report (human + machine)

fix(assail): char-boundary-aware advance in Isabelle cartouche skip (regression from #49)

chore(license): migrate to AGPL-3.0-or-later

feat(storage): per-finding hexad emission (issue #33 S1)

feat(query): facts-backed (crosslang :from :to) evaluator (issue #33 follow-up)

feat(sweep-tracker): hierarchical estate-sweep Markdown report

feat(storage): persist kanren CrossLangInteraction as hexads (issue #33 follow-up)

chore(ci): convert hypatia-scan.yml to wrapper of standards reusable …

feat(campaign): panic-attack campaign poll — GitHub PR transitions (issue #33 S2b)

docs: record tech-debt audit findings (2026-05-26)

chore(ci): convert hypatia-scan.yml to wrapper of standards reusable

fix: bound three unbounded file reads (resolves self-scan Critical) (…

fix: bound three unbounded file reads (resolves self-scan Critical)

docs(campaigns): add 2026-05-26 estate sweep report (human + machine)

fix(bridge): distinguish direct vs transitive phantom deps (closes #4…

fix(bridge): distinguish direct vs transitive phantom deps (closes #47)

docs(campaigns): add 2026-05-26 estate sweep report (human + machine)

fix(assail): PA021 Isabelle detector skips prose blocks + antiquotati…

fix(bridge): distinguish direct vs transitive phantom deps (closes #47)

fix(assail): PA021 Isabelle detector skips prose blocks + antiquotations (closes #43)

docs(campaigns): add 2026-05-26 estate sweep report (human + machine)

fix(assail): PA021 Isabelle detector skips prose blocks + antiquotations (closes #43)

fix(proofs): align Idris Lang enum with Rust (Chapel not C) — closes …

docs(campaigns): add 2026-05-26 estate sweep report (human + machine)

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

741 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.