← wheels · library

सर्वत्र

sarvatra · taddhita

sarvatra: machine-confirmed. Derivation cites 5.3.13, 8.3.111, 8.4.68.

Meaning

place: tral

Alternative machine surfaces: sarvatra

Verification

statusDERIVED
verdictAGREE — machine-confirmed
machine rules5.3.13, 8.3.111, 8.4.68
teaching ref5.3.10
full derivation (24 steps)
sūtratextafter
1.2.45arthavad adhātur apratyayaḥ prātipadikamsarva
1.1.27sarva-ādīni sarvanāmānisarva
5.3.13vā ha ca cchandasisarva + tral
1.3.3hal-antyamsarva + tral
1.3.9tasya lopaḥsarva + tra
89sarva + tra
1.2.46kṛt-taddhita-samāsāś casarva + tra
1.1.27sarva-ādīni sarvanāmānisarva + tra
1.1.38taddhitaś ca asarva-vibhaktiḥsarva + tra
4.1.2sv-au-jas-am-auṭ-chaṣ-ṭā-bhyāṃ-bhis-ṅebhyām-bhyas-ṅasi-bhyāṃ-bhyas-ṅas-os-ām-ṅy-os-supsarva + tra + sum̐
1.3.2upadeśe 'j-anunāsika itsarva + tra + sum̐
1.3.9tasya lopaḥsarva + tra + s
1.1.27sarva-ādīni sarvanāmānisarva + tra + s
1.1.43suḍ anapuṃsakasyasarva + tra + s
1.1.38taddhitaś ca asarva-vibhaktiḥsarva + tra + s
2.4.82avyayād āp-supaḥsarva + tra +
1.1.27sarva-ādīni sarvanāmānisarva + tra +
1.1.43suḍ anapuṃsakasyasarva + tra +
1.1.38taddhitaś ca asarva-vibhaktiḥsarva + tra +
1.4.13yasmāt pratyaya-vidhis tad-ādi pratyaye 'ṅgamsarva + tra +
1.4.17svādiṣv a-sarvanamasthānesarva + tra +
1.4.14sup-tiṅ-antaṃ padamsarva + tra +
8.3.111sedhater gatausarva + tra +
8.4.68a a itisarva + tra +

Trace is Vidyut 0.4.0 machine output, unreviewed. Cross-check source: crosscheck.json.

Certificate

b111db2c3c50ad69d66ce616c9b9929852d4504ee9e872f066161b8945f35f09 — trace pinned (tier-2 recompute passes). Structure: 24 steps, rule set a83f2c2aadfb2c57…. 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).

In scripture

What this does not establish

Cite

https://svatantrya.net/a/sarvatra/ — Svatantrya grammar pack, form sarva-tral.

Provenance: wheel-pack.json · harness.json