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

Merged

hyperpolymath merged 8 commits into

mainfrom

fix/idris2-build-blockers

Sep 13, 2026

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

Commits on Sep 8, 2026

Merge branch 'main' into fix/idris2-build-blockers
hyperpolymath
authored
728dbc5

Commits on Sep 9, 2026

Update src/Proven/SafeRegex/Parser.idr

hyperpolymath
and
coderabbitai[bot]
authored
82e200b
Harden Idris2 build scripts with version and environment checks
coderabbitai[bot]
committed
eb0bba5
Revert Idris 2 build repair changes
coderabbitai[bot]
committed
75133c8

Commits on Sep 13, 2026

Merge branch 'main' into fix/idris2-build-blockers
hyperpolymath
authored
eae3500