Proof — Verse 1.120

शब्दस्य परिणापोऽयमित्याम्नायविदो विदुः ।
छन्दोभ्य एव प्रथममेतद्विश्वं व्यवर्तत ॥ १२० ॥

This is the transformation of the word — so those who know the tradition understand; from the Vedic hymns first of all this universe unrolled.

Endorsed axioms (each cite is verbatim commentary)

• {"kind": "relation", "name": "vivartate", "from": "sabda", "to": "visva"}“Bhartrhari's own considered verb has been vivartate since 1.1”
• {"kind": "relation", "name": "source", "from": "chandas", "to": "visva"}“from the metres, the hymns, first of all, this universe vyavartata, turned forth”
• {"kind": "predication", "name": "teaches_cosmic_unity", "of": "amnaya"}“the verse is doing legitimating work: the extravagant claims of 1.119 and 1.121-123 are being shown to be not a grammarian's professional inflation but the oldest teaching of the tradition itself”

Denials

• {"kind": "relation", "name": "parinamate", "from": "sabda", "to": "visva"}“parinama here sits in reported speech: it is the amnaya-knowers' formulation, and Bhartrhari's own considered verb has been vivartate since 1.1”

Rejected readings (refuted by compiled theorems)

• “Bhartrhari endorses the doctrine that the word truly transforms into the universe, as the Vedic tradition teaches.” — Takes parinama as Bhartrhari's own philosophical position. The commentary is explicit: parinama is the amnaya-knowers' scriptural idiom; Bhartrhari's own verb, held consistently since 1.1, is vivartate (appearance without real transformation). This is the central distinction the commentary enforces.
• “The word is a descriptive property of the universe, not its generative source.” — Demotes sabda from absolute principle to property, reversing the asymmetry established by the axioms. An absolute can vivartate into a manifestation; a property cannot. This is a sort error that breaks the ontological hierarchy.

Lean module

/- Verse 1.120 — generated from data/contracts/1.120.json. DO NOT EDIT.
   Axiom cites are verbatim commentary quotations, validated by
   tests/test_contracts.py. -/
import VakyaVallari.Adequacy

namespace VakyaVallari.Verses.V1_120

open VakyaVallari

def sabda : Entity := ⟨"śabda", Sorta.absolute⟩
def amnaya : Entity := ⟨"āmnāya", Sorta.linguisticItem⟩
def chandas : Entity := ⟨"chandas", Sorta.linguisticItem⟩
def visva : Entity := ⟨"viśva", Sorta.manifestation⟩

def contract : Contract :=
  { axioms := [ Claim.relation "vivartate" (Node.ent sabda) (Node.ent visva)
    , Claim.relation "source" (Node.ent chandas) (Node.ent visva)
    , Claim.predication "teaches_cosmic_unity" amnaya ]
  , denials := [ Claim.relation "parinamate" (Node.ent sabda) (Node.ent visva) ]
  , reported := [] }

def accepted : Reading :=
  { claims := [ Claim.relation "vivartate" (Node.ent sabda) (Node.ent visva)
    , Claim.relation "source" (Node.ent chandas) (Node.ent visva)
    , Claim.predication "teaches_cosmic_unity" amnaya ] }

theorem accepted_adequate : contract.Adequate accepted := by decide

namespace Counterexamples

/- 'Bhartrhari endorses the doctrine that the word truly transforms into the universe, as the Vedic tradition teaches.'
   Why rejected: Takes parinama as Bhartrhari's own philosophical position. The commentary is explicit: parinama is the amnaya-knowers' scriptural idiom; Bhartrhari's own verb, held consistently since 1.1, is vivartate (appearance without real transformation). This is the central distinction the commentary enforces. -/
def endorse_parinama : Reading :=
  { claims := [ Claim.relation "parinamate" (Node.ent sabda) (Node.ent visva) ] }
theorem endorse_parinama_inadequate : ¬ contract.Adequate endorse_parinama := by decide
#guard contract.contradicts endorse_parinama = true

/- 'The word is a descriptive property of the universe, not its generative source.'
   Why rejected: Demotes sabda from absolute principle to property, reversing the asymmetry established by the axioms. An absolute can vivartate into a manifestation; a property cannot. This is a sort error that breaks the ontological hierarchy. -/
def sabda_property : Entity := ⟨"śabda", Sorta.property⟩
def sabda_as_description : Reading :=
  { claims := [ Claim.relation "vivartate" (Node.ent sabda_property) (Node.ent visva) ] }
theorem sabda_as_description_inadequate : ¬ contract.Adequate sabda_as_description := by decide
#guard contract.licenses sabda_as_description = false
theorem sabda_as_description_sort_error : sabda_property ≠ sabda := by decide

end Counterexamples

end VakyaVallari.Verses.V1_120