CodeQL Security Analysis

codeql.yml

1572 workflow runs

feat(saturation+typing): corpus 4→17, vocab 5→14+4, arbiters 1→4, exchange 2→6, 42-discipline embedding, E-R schema
completed successfully:
CodeQL Security Analysis#872:Pull request#198openedbyhyperpolymath
prover-corpus-saturation
Jun 1, 20265m 42s
chore: purge nix per estate-wide deprecation directive 2026-06-01
completed successfully:
CodeQL Security Analysis#871:Pull request#189openedbyhyperpolymath
chore/purge-nix-policy-2026-06-01
Jun 1, 20261m 18s
feat(api/graphql): add verifyProof + suggestTactics(prover/context/goalState) + proverStatus (closes #180)
completed successfully:
CodeQL Security Analysis#870:Pull request#188openedbyhyperpolymath
feat/graphql-ops-for-echidnabot-issue-180
Jun 1, 20261m 14s
docs(audits): FFI boundary §§9-11 (FLINT + Zig bridges + Zig overlay) — closes #177
completed successfully:
CodeQL Security Analysis#869:Pull request#186openedbyhyperpolymath
fix/ffi-audit-sections-9-11-issue-177
Jun 1, 20261m 40s
fix(scripts): use mktemp for temp paths (closes 3 panic-attack path-traversal findings)
completed successfully:
CodeQL Security Analysis#868:Pull request#185openedbyhyperpolymath
fix/mktemp-scripts-panic-attack
Jun 1, 20261m 13s
release(v2.3.0): reconcile Cargo.toml + CHANGELOG (closes #173)
completed successfully:
CodeQL Security Analysis#867:Pull request#184openedbyhyperpolymath
release/v2.3.0-issue-173
Jun 1, 20261m 54s
ci(chapel): bump Chapel toolchain 2.3.0 → 2.8.0 (closes #181)
completed successfully:
CodeQL Security Analysis#866:Pull request#183openedbyhyperpolymath
fix/chapel-2.8.0-bump-issue-181
Jun 1, 20261m 16s
docs: meticulous doc maxout (human + machine) — 2026-06-01
completed successfully:
CodeQL Security Analysis#865:Pull request#182openedbyhyperpolymath
docs/maxout-meticulous-2026-06-01
Jun 1, 20261m 12s
chore(seams): bump 6 stale standards pins + fix proven manifest drift
completed successfully:
CodeQL Security Analysis#864:Pull request#179openedbyhyperpolymath
chore/seam-audit-pin-bumps-and-proven-manifest
Jun 1, 20261m 20s
docs(proofs): echo-types audit per estate standing directive
completed successfully:
CodeQL Security Analysis#863:Pull request#178openedbyhyperpolymath
chore/echo-types-audit
Jun 1, 20261m 11s
fix(security): bound load_octads_jsonl read — panic-attack Critical resurfaced (Refs #104)
completed successfully:
CodeQL Security Analysis#862:Pull request#176openedbyhyperpolymath
fix/octad-jsonl-bounded-read-pa-sweep
Jun 1, 20261m 28s
ci(governance): migrate R5a to .github/canonical-references/ — drop l…
completed successfully:
CodeQL Security Analysis#861:Commit88cd8dcpushedbyhyperpolymath
main
Jun 1, 20261m 16s
ci(governance): migrate R5a to .github/canonical-references/ — drop local workflow
completed successfully:
CodeQL Security Analysis#860:Pull request#174openedbyhyperpolymath
ci/migrate-r5a-to-canonical-references
Jun 1, 20261m 12s
ci(governance): bump standards SHA to consume R5b, drop local R5b hal…
completed successfully:
CodeQL Security Analysis#859:Commit75041fdpushedbyhyperpolymath
main
Jun 1, 20261m 10s
ci(governance): bump standards SHA to consume R5b, drop local R5b half
completed successfully:
CodeQL Security Analysis#858:Pull request#172openedbyhyperpolymath
ci/governance-standards-bump-r5b
Jun 1, 20261m 16s
ci(governance): R5 — hard gate against doc canonical-reference drift …
completed successfully:
CodeQL Security Analysis#857:Commitd7ce814pushedbyhyperpolymath
main
Jun 1, 20261m 12s
ci(governance): R5 — hard gate against doc canonical-reference drift
completed successfully:
CodeQL Security Analysis#856:Pull request#171openedbyhyperpolymath
ci/governance-doc-drift-r5
Jun 1, 20261m 18s
docs: CONTRIBUTING.adoc + CLAUDE.md + QUICKSTART-USER coherence (#170)
completed successfully:
CodeQL Security Analysis#855:Commit92d06cepushedbyhyperpolymath
main
Jun 1, 20261m 7s
docs: CONTRIBUTING.adoc + CLAUDE.md + QUICKSTART-USER coherence
completed successfully:
CodeQL Security Analysis#854:Pull request#170openedbyhyperpolymath
docs/contributing-claude-quickstart-coherence
Jun 1, 20261m 20s
docs: narrative coherence — README/EXPLAINME defer counts to canonica…
completed successfully:
CodeQL Security Analysis#853:Commit6aff53bpushedbyhyperpolymath
main
Jun 1, 20261m 9s
feat(abi): close TacticRecord round-trip lemmas (closes #152) (#166)
completed successfully:
CodeQL Security Analysis#852:Commita94ee81pushedbyhyperpolymath
main
Jun 1, 20261m 26s
docs: narrative coherence — README/EXPLAINME defer counts to canonical sources
completed successfully:
CodeQL Security Analysis#851:Pull request#169openedbyhyperpolymath
docs/narrative-coherence-canonical-references
Jun 1, 20261m 22s
feat(abi): close TacticRecord round-trip lemmas (closes #152)
completed successfully:
CodeQL Security Analysis#850:Pull request#166synchronizebyhyperpolymath
feat/abi-tactic-record-roundtrip-lemmas-152
Jun 1, 20261m 48s
fix(ci): version_check via env var — unblocks acl2/hol4 cron cells (#…
completed successfully:
CodeQL Security Analysis#849:Commit598487cpushedbyhyperpolymath
main
Jun 1, 20261m 14s
fix(ci): idris2-abi install via apt + tag-archive fallback — replaces…
cancelled:
CodeQL Security Analysis#848:Commite1edebepushedbyhyperpolymath
main
Jun 1, 20261m 13s

Navigation Menu

CodeQL Security Analysis

1572 workflow runs

feat(saturation+typing): corpus 4→17, vocab 5→14+4, arbiters 1→4, exchange 2→6, 42-discipline embedding, E-R schema

chore: purge nix per estate-wide deprecation directive 2026-06-01

feat(api/graphql): add verifyProof + suggestTactics(prover/context/goalState) + proverStatus (closes #180)

docs(audits): FFI boundary §§9-11 (FLINT + Zig bridges + Zig overlay) — closes #177

fix(scripts): use mktemp for temp paths (closes 3 panic-attack path-traversal findings)

release(v2.3.0): reconcile Cargo.toml + CHANGELOG (closes #173)

ci(chapel): bump Chapel toolchain 2.3.0 → 2.8.0 (closes #181)

docs: meticulous doc maxout (human + machine) — 2026-06-01

chore(seams): bump 6 stale standards pins + fix proven manifest drift

docs(proofs): echo-types audit per estate standing directive

fix(security): bound load_octads_jsonl read — panic-attack Critical resurfaced (Refs #104)

ci(governance): migrate R5a to .github/canonical-references/ — drop l…

ci(governance): migrate R5a to .github/canonical-references/ — drop local workflow

ci(governance): bump standards SHA to consume R5b, drop local R5b hal…

ci(governance): bump standards SHA to consume R5b, drop local R5b half

ci(governance): R5 — hard gate against doc canonical-reference drift …

ci(governance): R5 — hard gate against doc canonical-reference drift

docs: CONTRIBUTING.adoc + CLAUDE.md + QUICKSTART-USER coherence (#170)

docs: CONTRIBUTING.adoc + CLAUDE.md + QUICKSTART-USER coherence

docs: narrative coherence — README/EXPLAINME defer counts to canonica…

feat(abi): close TacticRecord round-trip lemmas (closes #152) (#166)

docs: narrative coherence — README/EXPLAINME defer counts to canonical sources

feat(abi): close TacticRecord round-trip lemmas (closes #152)

fix(ci): version_check via env var — unblocks acl2/hol4 cron cells (#…

fix(ci): idris2-abi install via apt + tag-archive fallback — replaces…

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

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