Proof — Verse 1.149

ते साधुष्वनुमानेन प्रत्ययोत्पत्तिहेतवः ।
तादात्म्यमुपगम्येव शब्दार्थस्य प्रकाशकाः ॥ १४९ ॥

Among correct words, those are causes of the arising of cognition by way of inference; they illuminate the word's meaning as if having attained identity with it.

Endorsed axioms (each cite is verbatim commentary)

• {"kind": "relation", "name": "hetave", "from": "apabhramsa", "to": "pratyaya"}“amid the sadhus they cause understanding anumanena, by way of inference”
• {"kind": "relation", "name": "prakasaka", "from": "apabhramsa", "to": "artha"}“the deviant form illuminates tadatmyam upagamya iva, *as if* it had become identical with the meaning”
• {"kind": "relation", "name": "prakasaka", "from": "sadhu", "to": "artha"}“The sadhu signifies directly”
• {"kind": "relation", "name": "signifies_through", "from": "apabhramsa", "to": "sadhu"}“the apabhramsa signifies through the sadhu”
• {"kind": "predication", "name": "mediated_by_anumana", "of": "apabhramsa"}“by way of inference”

Denials

• {"kind": "identity", "a": "apabhramsa", "b": "sadhu"}“the corrupt form is evidence of the correct one, not its equal”

Rejected readings (refuted by compiled theorems)

• “Corrupt and correct word-forms are equivalent in status and function.” — The commentary explicitly states the corrupt form is evidence of the correct one, not equal to it. An equality claim contradicts the foundational asymmetry established between them.
• “Correct forms derive their meaning from corrupt ones; the correct signifies through the deviant.” — Reverses the causal and semiotic order. The commentary is explicit that apabhramsa signifies THROUGH sadhu, not the reverse. Sadhu is the base; corruption is parasitic on correctness. The reversed direction inverts the entire doctrine.

Lean module

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

namespace VakyaVallari.Verses.V1_149

open VakyaVallari

def sadhu : Entity := ⟨"sadhu", Sorta.linguisticItem⟩
def apabhramsa : Entity := ⟨"apabhramsa", Sorta.linguisticItem⟩
def pratyaya : Entity := ⟨"pratyaya", Sorta.cognition⟩
def artha : Entity := ⟨"artha", Sorta.property⟩
def anumana : Entity := ⟨"anumāna", Sorta.cognition⟩

def contract : Contract :=
  { axioms := [ Claim.relation "hetave" (Node.ent apabhramsa) (Node.ent pratyaya)
    , Claim.relation "prakasaka" (Node.ent apabhramsa) (Node.ent artha)
    , Claim.relation "prakasaka" (Node.ent sadhu) (Node.ent artha)
    , Claim.relation "signifies_through" (Node.ent apabhramsa) (Node.ent sadhu)
    , Claim.predication "mediated_by_anumana" apabhramsa ]
  , denials := [ Claim.identity apabhramsa sadhu ]
  , reported := [] }

def accepted : Reading :=
  { claims := [ Claim.relation "hetave" (Node.ent apabhramsa) (Node.ent pratyaya)
    , Claim.relation "prakasaka" (Node.ent apabhramsa) (Node.ent artha) ] }

theorem accepted_adequate : contract.Adequate accepted := by decide

namespace Counterexamples

/- 'Corrupt and correct word-forms are equivalent in status and function.'
   Why rejected: The commentary explicitly states the corrupt form is evidence of the correct one, not equal to it. An equality claim contradicts the foundational asymmetry established between them. -/
def apabhramsa_equal_to_sadhu : Reading :=
  { claims := [ Claim.identity apabhramsa sadhu ] }
theorem apabhramsa_equal_to_sadhu_inadequate : ¬ contract.Adequate apabhramsa_equal_to_sadhu := by decide
#guard contract.contradicts apabhramsa_equal_to_sadhu = true

/- 'Correct forms derive their meaning from corrupt ones; the correct signifies through the deviant.'
   Why rejected: Reverses the causal and semiotic order. The commentary is explicit that apabhramsa signifies THROUGH sadhu, not the reverse. Sadhu is the base; corruption is parasitic on correctness. The reversed direction inverts the entire doctrine. -/
def mediation_reversed : Reading :=
  { claims := [ Claim.relation "signifies_through" (Node.ent sadhu) (Node.ent apabhramsa) ] }
theorem mediation_reversed_inadequate : ¬ contract.Adequate mediation_reversed := by decide
#guard contract.licenses mediation_reversed = false

end Counterexamples

end VakyaVallari.Verses.V1_149