Proof — Verse 1.66

प्राक्संज्ञिनाभिसंबन्धात् संज्ञा रूपपदार्थिका ।
षष्ठयाश्च प्रथमायाश्च निमित्तत्वाय कल्पते ॥ ६६ ॥

Before connection with the named, the name has the form itself as its meaning; and so it becomes fit to be the occasion for both the sixth case and the first.

Endorsed axioms (each cite is verbatim commentary)

• {"kind": "predication", "name": "rupa_padarthika", "of": "samjna"}“the samjna before its connection to the samjnin is rupa-padarthika — its meaning is just the form”
• {"kind": "predication", "name": "swatantra", "of": "samjna"}“the name has a standing of its own prior to the assignment”
• {"kind": "predication", "name": "nimitta", "of": "samjna"}“Both constructions are licensed, nimittatvaya kalpate, because the name has a standing of its own prior to the assignment”
• {"kind": "relation", "name": "sambandha", "from": "samjna", "to": "samjnin"}“the definitional act then relates two items each with its own claim to case”

Denials

• {"kind": "relation", "name": "liyate", "from": "samjna", "to": "samjnin"}“designation is a relation between two reals, not an absorption of one into the other”

Rejected readings (refuted by compiled theorems)

• “The name is ultimately identical with and absorbed into the named thing.” — Violates the verse's explicit teaching that samjna and samjnin are distinct reals in relation, not a case of identity or absorption. The designation is a relation (sambandha) between two pre-existing entities, each with its own ontological standing.
• “The name has no meaningful reference except through its connection to the named thing.” — Contradicts the axiom that samjna is rupa-padarthika before connection. The form (rupa) provides the name's meaning-object independently of assignment to the samjnin. Without this prior standing (swatantra), the name could not function as nimitta for dual grammatical cases.

Lean module

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

namespace VakyaVallari.Verses.V1_66

open VakyaVallari

def samjna : Entity := ⟨"samjñā", Sorta.linguisticItem⟩
def samjnin : Entity := ⟨"samjñin", Sorta.property⟩

def contract : Contract :=
  { axioms := [ Claim.predication "rupa_padarthika" samjna
    , Claim.predication "swatantra" samjna
    , Claim.predication "nimitta" samjna
    , Claim.relation "sambandha" (Node.ent samjna) (Node.ent samjnin) ]
  , denials := [ Claim.relation "liyate" (Node.ent samjna) (Node.ent samjnin) ]
  , reported := [] }

def accepted : Reading :=
  { claims := [ Claim.predication "rupa_padarthika" samjna
    , Claim.predication "nimitta" samjna
    , Claim.relation "sambandha" (Node.ent samjna) (Node.ent samjnin) ] }

theorem accepted_adequate : contract.Adequate accepted := by decide

namespace Counterexamples

/- 'The name is ultimately identical with and absorbed into the named thing.'
   Why rejected: Violates the verse's explicit teaching that samjna and samjnin are distinct reals in relation, not a case of identity or absorption. The designation is a relation (sambandha) between two pre-existing entities, each with its own ontological standing. -/
def absorption_identity : Reading :=
  { claims := [ Claim.identity samjna samjnin ] }
theorem absorption_identity_inadequate : ¬ contract.Adequate absorption_identity := by decide
#guard contract.licenses absorption_identity = false

/- 'The name has no meaningful reference except through its connection to the named thing.'
   Why rejected: Contradicts the axiom that samjna is rupa-padarthika before connection. The form (rupa) provides the name's meaning-object independently of assignment to the samjnin. Without this prior standing (swatantra), the name could not function as nimitta for dual grammatical cases. -/
def dependent_meaning : Reading :=
  { claims := [ Claim.predication "samjnin_padarthika" samjna ] }
theorem dependent_meaning_inadequate : ¬ contract.Adequate dependent_meaning := by decide
#guard contract.licenses dependent_meaning = false

end Counterexamples

end VakyaVallari.Verses.V1_66