Fix/idris2 totality and elaboration cures - #217

Merged

hyperpolymath merged 15 commits into

mainfrom

fix/idris2-totality-and-elaboration-cures

Sep 17, 2026

Commits on Jul 26, 2026

chore: estate-wide security compliance
hyperpolymath
committed
3702c48
chore: remove duplicate GOVERNANCE files, keep GOVERNANCE.md
hyperpolymath
committed
cca0341
chore: update guix.scm from squisher-corpus
hyperpolymath
committed
720f5e6

Commits on Aug 13, 2026

fix(ci): remove erroneous squisher-corpus guix.scm placeholder

hyperpolymath
and
mistral-vibe
committed
b819caf
fix(ci): update reusable workflow SHAs to @7fdc2705df74b4e352d2a1cde3e87a5923fdf329

hyperpolymath
and
mistral-vibe
committed
ed59101
fix(ci): update reusable workflow SHAs to @7fdc2705df74b4e352d2a1cde3e87a5923fdf329

hyperpolymath
and
mistral-vibe
committed
7d6071d
fix(ci): add required permissions for reusable workflows (Bug B)

hyperpolymath
and
mistral-vibe
committed
1f51bf5

Commits on Aug 14, 2026

chore(ci): bump standards reusable pins to fix Bug A and Bug B (#426)

hyperpolymath
and
mistral-vibe
committed
653974d
chore(ci): bump standards reusable pins to 5b1d0022 (#426)

hyperpolymath
and
mistral-vibe
committed
c83c7bf

Commits on Aug 27, 2026

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

hyperpolymath
and
claude
committed
2ce64f0

Commits on Aug 31, 2026

wip(cures): preserve 77 uncommitted Idris2 totality/elaboration cure files

hyperpolymath
and
claude
committed
d2d57a0

Commits on Sep 4, 2026

fix: restore identifiers and prose destroyed by the blanking sweep

hyperpolymath
and
claude
committed
6a81bca

Commits on Sep 11, 2026

feat: add modern GitHub rulesets for maximum compliance
mistral-vibe
committed
59af2a2

Commits on Sep 17, 2026