← wheels · library

अन्यदा

anyadā · taddhita

anyadā: machine-confirmed. Derivation cites 5.3.15, 8.4.68.

Meaning

time: da

Alternative machine surfaces: anyadā

Verification

statusDERIVED
verdictAGREE — machine-confirmed
machine rules5.3.15, 8.4.68
teaching ref5.3.15
full derivation (23 steps)
sūtratextafter
1.2.45arthavad adhātur apratyayaḥ prātipadikamanya
1.1.27sarva-ādīni sarvanāmānianya
5.3.15sarva-eka-anya-kiṃ-yat-tadaḥ kāle dāanya + dā
1.2.46kṛt-taddhita-samāsāś caanya + dā
1.1.27sarva-ādīni sarvanāmānianya + dā
1.1.73anya + dā
1.1.38taddhitaś ca asarva-vibhaktiḥanya + dā
4.1.2sv-au-jas-am-auṭ-chaṣ-ṭā-bhyāṃ-bhis-ṅebhyām-bhyas-ṅasi-bhyāṃ-bhyas-ṅas-os-ām-ṅy-os-supanya + dā + sum̐
1.3.2upadeśe 'j-anunāsika itanya + dā + sum̐
1.3.9tasya lopaḥanya + dā + s
1.1.27sarva-ādīni sarvanāmānianya + dā + s
1.1.73anya + dā + s
1.1.43suḍ anapuṃsakasyaanya + dā + s
1.1.38taddhitaś ca asarva-vibhaktiḥanya + dā + s
2.4.82avyayād āp-supaḥanya + dā +
1.1.27sarva-ādīni sarvanāmānianya + dā +
1.1.73anya + dā +
1.1.43suḍ anapuṃsakasyaanya + dā +
1.1.38taddhitaś ca asarva-vibhaktiḥanya + dā +
1.4.13yasmāt pratyaya-vidhis tad-ādi pratyaye 'ṅgamanya + dā +
1.4.17svādiṣv a-sarvanamasthāneanya + dā +
1.4.14sup-tiṅ-antaṃ padamanya + dā +
8.4.68a a itianya + dā +

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

Certificate

b51c9d85c7ee940cca4bcc0ff8faf26622bee889a489fa846b6af26d31030fb3 — trace pinned (tier-2 recompute passes). Structure: 23 steps, rule set c2f00a9fe405ff02…. 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/anyada/ — Svatantrya grammar pack, form anya-da.

Provenance: wheel-pack.json · harness.json