यदा

yadā · taddhita

yadā: machine-confirmed. Derivation cites 5.3.15, 7.2.102, 8.4.68.

Meaning

time: da

Alternative machine surfaces: yadā

Verification

status	DERIVED
verdict	AGREE — machine-confirmed
machine rules	5.3.15, 7.2.102, 8.4.68
teaching ref	5.3.15

full derivation (29 steps)

sūtra	text	after
1.2.45	arthavad adhātur apratyayaḥ prātipadikam	yad
1.1.74		yad
1.1.27	sarva-ādīni sarvanāmāni	yad
5.3.15	sarva-eka-anya-kiṃ-yat-tadaḥ kāle dā	yad + dā
7.2.102	tyadādīnām aḥ	yaa + dā
1.2.46	kṛt-taddhita-samāsāś ca	yaa + dā
1.1.74		yaa + dā
1.1.27	sarva-ādīni sarvanāmāni	yaa + dā
1.1.73		yaa + dā
1.1.38	taddhitaś ca asarva-vibhaktiḥ	yaa + dā
4.1.2	sv-au-jas-am-auṭ-chaṣ-ṭā-bhyāṃ-bhis-ṅebhyām-bhyas-ṅasi-bhyāṃ-bhyas-ṅas-os-ām-ṅy-os-sup	yaa + dā + sum̐
1.3.2	upadeśe 'j-anunāsika it	yaa + dā + sum̐
1.3.9	tasya lopaḥ	yaa + dā + s
1.1.74		yaa + dā + s
1.1.27	sarva-ādīni sarvanāmāni	yaa + dā + s
1.1.73		yaa + dā + s
1.1.43	suḍ anapuṃsakasya	yaa + dā + s
1.1.38	taddhitaś ca asarva-vibhaktiḥ	yaa + dā + s
2.4.82	avyayād āp-supaḥ	yaa + dā +
1.1.74		yaa + dā +
1.1.27	sarva-ādīni sarvanāmāni	yaa + dā +
1.1.73		yaa + dā +
1.1.43	suḍ anapuṃsakasya	yaa + dā +
1.1.38	taddhitaś ca asarva-vibhaktiḥ	yaa + dā +

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

Certificate

890e30b8c600ab3b59ca63bf7886ac84a232be253378e3fe4d73acc1410d91e1 — trace pinned (tier-2 recompute passes). Structure: 29 steps, rule set ad4b6bfcd507c3e1…. 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

Lessons: l06-sambhu-sarana

What this does not establish

Not a scholarly review; no human sign-off is recorded for this form.
A machine rule list is not proof the derivation is traditional.
Attestation here means the form occurs in a bundled passage, not that the passage uses it in this sense.
Curated teaching forms are beginner-safe choices, not a complete paradigm.

Cite

https://svatantrya.net/a/yada/ — Svatantrya grammar pack, form yad-da.

Provenance: wheel-pack.json · harness.json