staḥ: machine-derived; no curated cross-check on file.
No gloss on file.
| status | DERIVED |
|---|---|
| verdict | MACHINE_DERIVED — machine-derived; no curated cross-check on file |
| machine rules | 3.1.68, 3.2.123, 3.4.113, 3.4.78, 8.2.66, 8.3.111, 8.3.15, 8.4.68 |
| sūtra | text | after |
|---|---|---|
| 1.3.1 | bhūvādayo dhātavaḥ | asam̐ |
| 1.3.2 | upadeśe 'j-anunāsika it | asam̐ |
| 1.3.9 | tasya lopaḥ | as |
| 3.2.123 | vartamāne laṭ | as + lam̐ṭ |
| 1.3.2 | upadeśe 'j-anunāsika it | as + lam̐ṭ |
| 1.3.3 | hal-antyam | as + lam̐ṭ |
| 1.3.9 | tasya lopaḥ | as + l |
| 1.3.78 | śeṣāt kartari parasmaipadam | as + l |
| 3.4.78 | tip-tas-jhi-sip-thas-tha-mib-vas-mas-ta-ātāṃ-jha-thās-āthām-dhvam-iḍ-vahi-mahiṅ | as + tas |
| 1.3.4 | na vibhaktau tusmāḥ | as + tas |
| 3.4.113 | tiṅ-śit-sārvadhātukam | as + tas |
| 3.1.68 | kartari śap | as + śap + tas |
| 2.4.72 | adiprabhṛtibhyaḥ śapaḥ | as + + tas |
| 1.2.4 | sārvadhātukam apit | as + + tas |
| 1.4.13 | yasmāt pratyaya-vidhis tad-ādi pratyaye 'ṅgam | as + + tas |
| 1.4.14 | sup-tiṅ-antaṃ padam | as + + tas |
| 6.4.111 | śnasorallopaḥ | s + + tas |
| 8.2.66 | sa-sajuṣo ruḥ | s + + tarum̐ |
| 1.3.2 | upadeśe 'j-anunāsika it | s + + tar |
| 8.3.15 | khar-avasānayor visarjanīyaḥ | s + + taḥ |
| 8.3.111 | sedhater gatau | s + + taḥ |
| 8.4.68 | a a iti | s + + taḥ |
Trace is Vidyut 0.4.0 machine output, unreviewed. Cross-check source: crosscheck.json.
333b2f1f7e2970957ae1574b7df0a9c5a2bbcef05b68fd5ab19fe00c113fc80d — trace pinned (tier-2 recompute passes). Structure: 22 steps, rule set 6a60c61c653d01d4…. 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/stah/ — Svatantrya grammar pack, form as-lat-Prathama-Dvi.
Provenance: wheel-pack.json · harness.json