Land sweeps + first honest CI: compiler builds, proofs check, fail-closed gates - #34

Merged

hyperpolymath merged 8 commits into

mainfrom

ci/v2-truth-gates

Aug 3, 2026

Commits on Jul 25, 2026

sweep2: add config files (mise.toml)

hyperpolymath
and
mistral-vibe
committed
eea0035
sweep3: add license files and SPDX identifiers

hyperpolymath
and
mistral-vibe
committed
458964a
sweep4: add C-A-G-M files

hyperpolymath
and
mistral-vibe
committed
fa680a6

Commits on Jul 26, 2026

fix: update CodeQL actions to SHA-pinned v3 (29b1f65c)
hyperpolymath
committed
f46ec5e

Commits on Aug 3, 2026

fix(proofs): make the Agda lib parseable and the Idris2 ABI suite typecheck

hyperpolymath
and
claude
committed
8f8e05e
chore(compliance): fill template placeholders; allowlist sanctioned root entries

hyperpolymath
and
claude
committed
7de9fe7
ci: add fail-closed Proof Gates (OCaml build, example matrix, Agda + Idris2)

hyperpolymath
and
claude
committed
1e42ddd
Merge branch 'main' into ci/v2-truth-gates
hyperpolymath
authored
351e966