Pāṇini as compression

Claim (verbatim)

Pāṇini as compression. The Aṣṭādhyāyī, Pāṇini's fourth-century-BCE grammar of Sanskrit, achieves its legendary brevity partly through rule ordering: later rules silently inherit terms from earlier ones (anuvṛtti), so the total length of the grammar depends on the sequence in which its roughly four thousand rules are arranged. That makes rule order an optimization variable in exactly the sense of modern minimum-description-length theory, which measures how compactly a system can be encoded. The conjecture is that centuries of oral transmission and deliberate craft pushed the ordering close to the compression optimum: among all permutations of its own rules, the attested sequence sits at or near the minimum total description length. A computational search over reorderings should find essentially nothing meaningfully shorter.

Prediction clause (verbatim)

Implement an encoding of the Aṣṭādhyāyī in which each rule's encoded length depends on ordering via anuvṛtti-style inheritance, then run a computational reordering search — hill-climbing or simulated annealing over permutations of the rules, plus a large random-permutation sample — recording total description length per ordering. Primary clause: the attested ordering's total encoded length falls within 5% of the best ordering found by the search and within the top 1% of the random-permutation length distribution. The verdict follows the primary clause.

Kill-dataset (verbatim)

computational reordering search.

Novelty / leakage triage

already answered in the literature

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.

• Kiparsky, 'On the Architecture of Panini's Grammar' — Compression as the organizing principle
• Petersen, formal optimality of the Sivasutras (set-theoretic proof) — Ordering provably optimal for the natural-class system

Its literature citations feed the frontier as source leads (2 leads below the evidence/publication boundary, not yet reviewed).

Predictions

No prediction registered yet.