Proof — Verse 1.137

शब्दानामेव सा शक्तिस्तर्को यः पुरुषाश्रयः ।
स शब्दानुगतो न्यायोऽनागमेष्वनिवन्धनः ॥ १३७ ॥

That power belongs to words themselves; the reasoning that rests on a person, when it follows the words, is interpretive principle — apart from the traditions it is without ground.

Endorsed axioms (each cite is verbatim commentary)

• {"kind": "relation", "name": "asraya", "from": "sakti", "to": "sabda"}“their sakti, their authority, sabdanam eva: belongs to the words themselves”
• {"kind": "relation", "name": "asraya", "from": "tarka", "to": "purusa"}“Tarka as it lives in a reasoner — purusasraya, person-based”
• {"kind": "predication", "name": "sabdanugata", "of": "tarka"}“is authoritative only sabda-anugata, when it follows the words: tracking, subserving, drawing out”
• {"kind": "predication", "name": "anibandhana", "of": "tarka"}“Cut loose — anagamesu, where there is no received text to follow — it is anibandhana, groundless”

Denials

• {"kind": "predication", "name": "svatantra", "of": "tarka"}“reasoning is real as an *instrument of the word* and nothing as an independent source”

Rejected readings (refuted by compiled theorems)

• “The personal reasoning power and word-power are essentially equivalent sources of interpretive authority; both work together as equal instruments.” — This misses the verse's radical subordination: sakti belongs to words; tarka has authority only when following words. The commentary emphasizes asymmetry, not equivalence. Reading tarka and sakti as coequal violates the axiomatic structure.
• “Reasoning, when exercised by a skilled person, can be an independent and authoritative source of truth, even without textual support.” — The verse explicitly denies this: tarka without agama is anibandhana (groundless). The verse rules out freestanding authority for reasoning.

Lean module

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

namespace VakyaVallari.Verses.V1_137

open VakyaVallari

def sabda : Entity := ⟨"śabda", Sorta.linguisticItem⟩
def sakti : Entity := ⟨"śakti", Sorta.power⟩
def tarka : Entity := ⟨"tarka", Sorta.power⟩
def purusa : Entity := ⟨"puruṣa", Sorta.cognition⟩
def nyaya : Entity := ⟨"nyāya", Sorta.linguisticItem⟩
def agama : Entity := ⟨"āgama", Sorta.linguisticItem⟩

def contract : Contract :=
  { axioms := [ Claim.relation "asraya" (Node.ent sakti) (Node.ent sabda)
    , Claim.relation "asraya" (Node.ent tarka) (Node.ent purusa)
    , Claim.predication "sabdanugata" tarka
    , Claim.predication "anibandhana" tarka ]
  , denials := [ Claim.predication "svatantra" tarka ]
  , reported := [] }

def accepted : Reading :=
  { claims := [ Claim.relation "asraya" (Node.ent sakti) (Node.ent sabda)
    , Claim.relation "asraya" (Node.ent tarka) (Node.ent purusa)
    , Claim.predication "sabdanugata" tarka ] }

theorem accepted_adequate : contract.Adequate accepted := by decide

namespace Counterexamples

/- 'The personal reasoning power and word-power are essentially equivalent sources of interpretive authority; both work together as equal instruments.'
   Why rejected: This misses the verse's radical subordination: sakti belongs to words; tarka has authority only when following words. The commentary emphasizes asymmetry, not equivalence. Reading tarka and sakti as coequal violates the axiomatic structure. -/
def tarka_coequal : Reading :=
  { claims := [ Claim.identity sakti tarka ] }
theorem tarka_coequal_inadequate : ¬ contract.Adequate tarka_coequal := by decide
#guard contract.licenses tarka_coequal = false

/- 'Reasoning, when exercised by a skilled person, can be an independent and authoritative source of truth, even without textual support.'
   Why rejected: The verse explicitly denies this: tarka without agama is anibandhana (groundless). The verse rules out freestanding authority for reasoning. -/
def tarka_independent : Reading :=
  { claims := [ Claim.predication "svatantra" tarka ] }
theorem tarka_independent_inadequate : ¬ contract.Adequate tarka_independent := by decide
#guard contract.contradicts tarka_independent = true

end Counterexamples

end VakyaVallari.Verses.V1_137