tasya: machine-derived; no curated cross-check on file.
3rd sg genitive (possessor)
| status | DERIVED |
|---|---|
| verdict | MACHINE_DERIVED — machine-derived; no curated cross-check on file |
| machine rules | 4.1.2, 7.1.12, 7.2.102, 8.4.68 |
| sūtra | text | after |
|---|---|---|
| 1.2.45 | arthavad adhātur apratyayaḥ prātipadikam | tad |
| 4.1.2 | sv-au-jas-am-auṭ-chaṣ-ṭā-bhyāṃ-bhis-ṅebhyām-bhyas-ṅasi-bhyāṃ-bhyas-ṅas-os-ām-ṅy-os-sup | tad + ṅas |
| 1.3.4 | na vibhaktau tusmāḥ | tad + ṅas |
| 1.3.8 | la-śa-kv ataddhite | tad + ṅas |
| 1.3.9 | tasya lopaḥ | tad + as |
| 1.1.74 | tad + as | |
| 1.1.27 | sarva-ādīni sarvanāmāni | tad + as |
| 1.1.74 | tad + as | |
| 1.1.27 | sarva-ādīni sarvanāmāni | tad + as |
| 7.2.102 | tyadādīnām aḥ | taa + as |
| 1.4.13 | yasmāt pratyaya-vidhis tad-ādi pratyaye 'ṅgam | taa + as |
| 7.1.12 | ṭā-ṅasi-ṅasām ina-āt-syāḥ | taa + sya |
| 1.4.17 | svādiṣv a-sarvanamasthāne | taa + sya |
| 1.4.14 | sup-tiṅ-antaṃ padam | taa + sya |
| 6.1.97 | ato guṇe | ta + sya |
| 8.4.68 | a a iti | ta + sya |
Trace is Vidyut 0.4.0 machine output, unreviewed. Cross-check source: crosscheck.json.
47d68d4ea0398c744684a50082ff43cc16d8c6b5c1552e4ad3b8cd2c9dac2d47 — trace pinned (tier-2 recompute passes). Structure: 16 steps, rule set f44d1d062e75455d…. Lean: checked (4.34.1 — structural check over the rule inventory, receipt-bound; NOT a derivation from the Aṣṭādhyāyī and not a claim about meaning).
Lessons: l05-ma-kimcit, l06-sambhu-sarana, l07-dual-fire, l10-tantrasara-prose
https://svatantrya.net/a/tasya/ — Svatantrya grammar pack, form pers-pron-3sg-gen.
Provenance: wheel-pack.json · harness.json