Item 50: The piecewise-affine facts the projection compiler cites
Normativity line — traderized enforcement · difficulty substantial · project normativity · closed · node item-50
— answered by the max–min round
Answered for the max–min half by the max–min round and registered as maxmin.representation and maxmin.converse; the piecewise-affinity half is PolyhedralCoverage.isPiecewiseAffineOn_proj, which establishes a cover only. It does not establish that the definition used is equivalent to the source's, which holds by inspection and is not formalized. Record: projects/normativity/rounds/2026-08-18-maxmin-representation/README.md, which carries the errata against the source.
Registered results bearing on this item
- maxmin.converse: Theorem 4.1(b). The agreement obligation quantifies over all pieces, including index triples outside the relevant selection sets, so each piece carries a guard.
- maxmin.representation: Ovchinnikov Theorem 4.1(a), for a nonempty convex domain in a topological real vector space. The source's proof silently needs full-dimensionality; the statement does not, and the round's errata carry
Where it hangs
- held by normativity