kutra: machine-confirmed. Derivation cites 5.3.13, 7.2.104, 8.4.68.
place: tral (machine fires 5.3.13 on kim; 5.3.10 is the general adhikara)
Alternative machine surfaces: kutra
| status | DERIVED |
|---|---|
| verdict | AGREE — machine-confirmed |
| machine rules | 5.3.13, 7.2.104, 8.4.68 |
| teaching ref | 5.3.10 |
| sūtra | text | after |
|---|---|---|
| 1.2.45 | arthavad adhātur apratyayaḥ prātipadikam | kim |
| 1.1.74 | kim | |
| 1.1.27 | sarva-ādīni sarvanāmāni | kim |
| 5.3.13 | vā ha ca cchandasi | kim + tral |
| 1.3.3 | hal-antyam | kim + tral |
| 1.3.9 | tasya lopaḥ | kim + tra |
| 7.2.104 | ku ti-hoḥ | ku + tra |
| 89 | ku + tra | |
| 1.2.46 | kṛt-taddhita-samāsāś ca | ku + tra |
| 1.1.74 | ku + tra | |
| 1.1.27 | sarva-ādīni sarvanāmāni | ku + tra |
| 1.1.38 | taddhitaś ca asarva-vibhaktiḥ | ku + tra |
| 4.1.2 | sv-au-jas-am-auṭ-chaṣ-ṭā-bhyāṃ-bhis-ṅebhyām-bhyas-ṅasi-bhyāṃ-bhyas-ṅas-os-ām-ṅy-os-sup | ku + tra + sum̐ |
| 1.3.2 | upadeśe 'j-anunāsika it | ku + tra + sum̐ |
| 1.3.9 | tasya lopaḥ | ku + tra + s |
| 1.1.74 | ku + tra + s | |
| 1.1.27 | sarva-ādīni sarvanāmāni | ku + tra + s |
| 1.1.43 | suḍ anapuṃsakasya | ku + tra + s |
| 1.1.38 | taddhitaś ca asarva-vibhaktiḥ | ku + tra + s |
| 2.4.82 | avyayād āp-supaḥ | ku + tra + |
| 1.1.74 | ku + tra + | |
| 1.1.27 | sarva-ādīni sarvanāmāni | ku + tra + |
| 1.1.43 | suḍ anapuṃsakasya | ku + tra + |
| 1.1.38 | taddhitaś ca asarva-vibhaktiḥ | ku + tra + |
Trace is Vidyut 0.4.0 machine output, unreviewed. Cross-check source: crosscheck.json.
f92b1104b9488ed57ea554c47317c13612a896fb9f4f259f17b2d4fdbb007dea — trace pinned (tier-2 recompute passes). Structure: 28 steps, rule set b4721f0d559007bd…. 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).
https://svatantrya.net/a/kutra/ — Svatantrya grammar pack, form kim-tral.
Provenance: wheel-pack.json · harness.json