yataḥ: machine-confirmed. Derivation cites 5.3.7, 7.2.102, 8.2.66, 8.3.15.
source: tasil
Alternative machine surfaces: yataḥ
| status | DERIVED |
|---|---|
| verdict | AGREE — machine-confirmed |
| machine rules | 5.3.7, 7.2.102, 8.2.66, 8.3.15, 8.4.68 |
| teaching ref | 5.3.7 |
| sūtra | text | after |
|---|---|---|
| 1.2.45 | arthavad adhātur apratyayaḥ prātipadikam | yad |
| 1.1.74 | yad | |
| 1.1.27 | sarva-ādīni sarvanāmāni | yad |
| 5.3.7 | pañcamyās tasil | yad + tasim̐l |
| 1.3.2 | upadeśe 'j-anunāsika it | yad + tasim̐l |
| 1.3.3 | hal-antyam | yad + tasim̐l |
| 1.3.9 | tasya lopaḥ | yad + tas |
| 7.2.102 | tyadādīnām aḥ | yaa + tas |
| 1.2.46 | kṛt-taddhita-samāsāś ca | yaa + tas |
| 1.1.74 | yaa + tas | |
| 1.1.27 | sarva-ādīni sarvanāmāni | yaa + tas |
| 1.1.38 | taddhitaś ca asarva-vibhaktiḥ | yaa + tas |
| 4.1.2 | sv-au-jas-am-auṭ-chaṣ-ṭā-bhyāṃ-bhis-ṅebhyām-bhyas-ṅasi-bhyāṃ-bhyas-ṅas-os-ām-ṅy-os-sup | yaa + tas + sum̐ |
| 1.3.2 | upadeśe 'j-anunāsika it | yaa + tas + sum̐ |
| 1.3.9 | tasya lopaḥ | yaa + tas + s |
| 1.1.74 | yaa + tas + s | |
| 1.1.27 | sarva-ādīni sarvanāmāni | yaa + tas + s |
| 1.1.43 | suḍ anapuṃsakasya | yaa + tas + s |
| 1.1.38 | taddhitaś ca asarva-vibhaktiḥ | yaa + tas + s |
| 2.4.82 | avyayād āp-supaḥ | yaa + tas + |
| 1.1.74 | yaa + tas + | |
| 1.1.27 | sarva-ādīni sarvanāmāni | yaa + tas + |
| 1.1.43 | suḍ anapuṃsakasya | yaa + tas + |
| 1.1.38 | taddhitaś ca asarva-vibhaktiḥ | yaa + tas + |
Trace is Vidyut 0.4.0 machine output, unreviewed. Cross-check source: crosscheck.json.
931dad8d4a0f8e0af0ba6388635c6aafae3f0bf643a37e80fa333ab943ad50d7 — trace pinned (tier-2 recompute passes). Structure: 32 steps, rule set abca79881194ff98…. 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
https://svatantrya.net/a/yatah/ — Svatantrya grammar pack, form yad-tasil.
Provenance: wheel-pack.json · harness.json