← wheels · library

सर्वतः

sarvataḥ · taddhita

sarvataḥ: machine-confirmed. Derivation cites 5.3.7, 8.2.66, 8.3.111, 8.3.15.

Meaning

source: tasil

Alternative machine surfaces: sarvataḥ

Verification

statusDERIVED
verdictAGREE — machine-confirmed
machine rules5.3.7, 8.2.66, 8.3.111, 8.3.15, 8.4.68
teaching ref5.3.7
full derivation (27 steps)
sūtratextafter
1.2.45arthavad adhātur apratyayaḥ prātipadikamsarva
1.1.27sarva-ādīni sarvanāmānisarva
5.3.7pañcamyās tasilsarva + tasim̐l
1.3.2upadeśe 'j-anunāsika itsarva + tasim̐l
1.3.3hal-antyamsarva + tasim̐l
1.3.9tasya lopaḥsarva + tas
1.2.46kṛt-taddhita-samāsāś casarva + tas
1.1.27sarva-ādīni sarvanāmānisarva + tas
1.1.38taddhitaś ca asarva-vibhaktiḥsarva + tas
4.1.2sv-au-jas-am-auṭ-chaṣ-ṭā-bhyāṃ-bhis-ṅebhyām-bhyas-ṅasi-bhyāṃ-bhyas-ṅas-os-ām-ṅy-os-supsarva + tas + sum̐
1.3.2upadeśe 'j-anunāsika itsarva + tas + sum̐
1.3.9tasya lopaḥsarva + tas + s
1.1.27sarva-ādīni sarvanāmānisarva + tas + s
1.1.43suḍ anapuṃsakasyasarva + tas + s
1.1.38taddhitaś ca asarva-vibhaktiḥsarva + tas + s
2.4.82avyayād āp-supaḥsarva + tas +
1.1.27sarva-ādīni sarvanāmānisarva + tas +
1.1.43suḍ anapuṃsakasyasarva + tas +
1.1.38taddhitaś ca asarva-vibhaktiḥsarva + tas +
1.4.13yasmāt pratyaya-vidhis tad-ādi pratyaye 'ṅgamsarva + tas +
1.4.17svādiṣv a-sarvanamasthānesarva + tas +
1.4.14sup-tiṅ-antaṃ padamsarva + tas +
8.2.66sa-sajuṣo ruḥsarva + tarum̐ +
1.3.2upadeśe 'j-anunāsika itsarva + tar +

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

Certificate

fe2c4cce5da93c4396f73dbad3b557f6fed532c815c9ba235bf3e9e215c2522f — trace pinned (tier-2 recompute passes). Structure: 27 steps, rule set 8979813e588c2c78…. 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/sarvatah/ — Svatantrya grammar pack, form sarva-tasil.

Provenance: wheel-pack.json · harness.json