Petersen, formal optimality of the Sivasutras (set-theoretic proof)

Cited in the triage of conjecture 'Pāṇini as compression' (slug: cj-027-panini-as-compression), verdict=leaked -- this connection already exists in the literature. Citation note: Ordering provably optimal for the natural-class system Triage rationale: Substantially published: the scholarship explicitly argues the Astadhyayi's architecture emerges from rigorous brevity-maximization (Kiparsky), and Petersen gives a formal optimality proof for the Sivasutras' ordering relative to the natural classes it must express. The harvest's computational MDL-permutation-search is an implementation refinement of an established thesis, not a new connection.