feat(analysis): PhILR, SBP and balance-dendrogram ILR bases with Agda proofs (#20) - #75

Merged

hyperpolymath merged 7 commits into

mainfrom

arena/01a0db2e-metamanifold-webui

Sep 26, 2026

Commits on Sep 26, 2026

feat(proofs): Agda foundation for ILR bases and compositions (#20)

hyperpolymath
and
arena-agent
committed
71f07e0
feat(analysis): implement PhILR, SBP and balance-dendrogram ILR bases (#20)

hyperpolymath
and
arena-agent
committed
41f40ff
feat(schemas): Nickel, JSON Schema and DEED contracts for ILR inputs (#20)

hyperpolymath
and
arena-agent
committed
3f4fc41
feat(frontend): ILR basis inputs in Advanced Analysis (#20)

hyperpolymath
and
arena-agent
committed
11e12e4
ci(bench): ILR scaling benchmark and same-runner CLR/ILR gate (#20)

hyperpolymath
and
arena-agent
committed
9234e81
docs(ilr): conditions, verification plan and language policy (#20)

hyperpolymath
and
arena-agent
committed
bf28786
Merge branch 'main' into arena/01a0db2e-metamanifold-webui
hyperpolymath
authored
b5c8c42