fix(idris2): cure seven build blockers — build goes VOID → RED, frontier 165 → 211/305 - #206

Open

hyperpolymath wants to merge 3 commits into

mainfrom

fix/idris2-build-blockers

Commits on Aug 27, 2026

fix(idris2): cure seven build blockers; drive frontier 165 -> 210/305

hyperpolymath
and
claude
committed
5adfd0d
docs: add Idris2 build work package for handover

hyperpolymath
and
claude
committed
9c2d073
docs: correct the postulate count from 46 to 42 (declaration position only)
hyperpolymath
committed
89d89ee