W1-7: Type-checking Agda proofs + `agda --safe` CI + honest catalogue - #42

Merged

hyperpolymath merged 7 commits into

mainfrom

fix/agda-proofs-ci

Jul 11, 2026

Commits on Jul 10, 2026

fix(proofs): make Agda proofs type-check under --safe, add CI, honest catalogue

hyperpolymath
and
claude
committed
354224e

Commits on Jul 11, 2026

fix(ci): synthesise agda-stdlib .agda-lib so agda.yml runs on ubuntu-latest

hyperpolymath
and
claude
committed
2dd132f
Merge branch 'main' into fix/agda-proofs-ci
hyperpolymath
authored
7e64fbc
Merge branch 'main' into fix/agda-proofs-ci
hyperpolymath
authored
82fb786
Merge branch 'main' into fix/agda-proofs-ci
hyperpolymath
authored
f789e5e
Merge branch 'main' into fix/agda-proofs-ci
hyperpolymath
authored
b01e493
Merge branch 'main' into fix/agda-proofs-ci
hyperpolymath
authored
fdf9a6a