Proof — Verse 1.148

अस्वगोण्यादयः शब्दाः साधवो विषयान्तरे ।
निमित्तभेदात् सर्वत्र साधुत्वं च व्यवस्थितम् ॥ १४८ ॥

Words like asva and goni are correct in another domain; correctness everywhere is settled by difference of ground.

Endorsed axioms (each cite is verbatim commentary)

• {"kind": "relation", "name": "vyavasthitam", "from": "nimitta", "to": "sadhutvam"}“correctness is fixed by the *ground* of use — the meaning-domain, the derivational warrant — not by the sound in itself”
• {"kind": "relation", "name": "visayabheda", "from": "visaya", "to": "sadhutvam"}“same phonetic form, different visaya, different verdict”
• {"kind": "predication", "name": "relational", "of": "sadhutvam"}“corruption is a relation between form, meaning and derivational title”

Denials

• {"kind": "predication", "name": "vyavasthitam", "of": "rupa"}“No form is corrupt as acoustics; corruption is a relation between form, meaning and derivational title”
• {"kind": "predication", "name": "independent", "of": "sabda"}“it is a failure of entitlement, a form appearing where it holds no warrant”

Rejected readings (refuted by compiled theorems)

• “A word-form is correct or incorrect based entirely on its phonetic shape.” — Ignores the relational nature of sadhutvam and its dependence on nimitta-bheda. Violates the axiom that correctness is determined by ground-difference, not by rupa alone. The commentary explicitly denies this: 'No form is corrupt as acoustics.'
• “The correctness of asva or goni is fixed uniformly; their status does not change across different meaning-domains.” — Denies the visaya-dependence established by 'in another domain' and confirmed by the commentary's example: the same form goni is sadhu as 'sack' but asadhu as 'cow'. This violates the axiom visayabheda -> sadhutvam.

Lean module

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

namespace VakyaVallari.Verses.V1_148

open VakyaVallari

def sabda : Entity := ⟨"śabda", Sorta.linguisticItem⟩
def sadhutvam : Entity := ⟨"sādhutva", Sorta.property⟩
def nimitta : Entity := ⟨"nimitta", Sorta.power⟩
def rupa : Entity := ⟨"rūpa", Sorta.linguisticItem⟩
def visaya : Entity := ⟨"viṣaya", Sorta.manifestation⟩
def artha : Entity := ⟨"artha", Sorta.manifestation⟩

def contract : Contract :=
  { axioms := [ Claim.relation "vyavasthitam" (Node.ent nimitta) (Node.ent sadhutvam)
    , Claim.relation "visayabheda" (Node.ent visaya) (Node.ent sadhutvam)
    , Claim.predication "relational" sadhutvam ]
  , denials := [ Claim.predication "vyavasthitam" rupa
    , Claim.predication "independent" sabda ]
  , reported := [] }

def accepted : Reading :=
  { claims := [ Claim.relation "vyavasthitam" (Node.ent nimitta) (Node.ent sadhutvam)
    , Claim.relation "visayabheda" (Node.ent visaya) (Node.ent sadhutvam) ] }

theorem accepted_adequate : contract.Adequate accepted := by decide

namespace Counterexamples

/- 'A word-form is correct or incorrect based entirely on its phonetic shape.'
   Why rejected: Ignores the relational nature of sadhutvam and its dependence on nimitta-bheda. Violates the axiom that correctness is determined by ground-difference, not by rupa alone. The commentary explicitly denies this: 'No form is corrupt as acoustics.' -/
def intrinsic_form_correctness : Reading :=
  { claims := [ Claim.predication "vyavasthitam" rupa ] }
theorem intrinsic_form_correctness_inadequate : ¬ contract.Adequate intrinsic_form_correctness := by decide
#guard contract.contradicts intrinsic_form_correctness = true

/- 'The correctness of asva or goni is fixed uniformly; their status does not change across different meaning-domains.'
   Why rejected: Denies the visaya-dependence established by 'in another domain' and confirmed by the commentary's example: the same form goni is sadhu as 'sack' but asadhu as 'cow'. This violates the axiom visayabheda -> sadhutvam. -/
def context_independent : Reading :=
  { claims := [ Claim.predication "universal" sadhutvam ] }
theorem context_independent_inadequate : ¬ contract.Adequate context_independent := by decide
#guard contract.licenses context_independent = false

end Counterexamples

end VakyaVallari.Verses.V1_148