सदा

sadā · taddhita

sadā: machine-confirmed. Derivation cites 5.3.15, 5.3.6, 8.3.111, 8.4.68.

Meaning

time: da

Alternative machine surfaces: sadā / sarvadā

Verification

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

full derivation (25 steps)

sūtra	text	after
1.2.45	arthavad adhātur apratyayaḥ prātipadikam	sarva
1.1.27	sarva-ādīni sarvanāmāni	sarva
5.3.15	sarva-eka-anya-kiṃ-yat-tadaḥ kāle dā	sarva + dā
5.3.6	sarvasya so 'nyatarasyāṃ di	sa + dā
1.2.46	kṛt-taddhita-samāsāś ca	sa + dā
1.1.27	sarva-ādīni sarvanāmāni	sa + dā
1.1.73		sa + dā
1.1.38	taddhitaś ca asarva-vibhaktiḥ	sa + dā
4.1.2	sv-au-jas-am-auṭ-chaṣ-ṭā-bhyāṃ-bhis-ṅebhyām-bhyas-ṅasi-bhyāṃ-bhyas-ṅas-os-ām-ṅy-os-sup	sa + dā + sum̐
1.3.2	upadeśe 'j-anunāsika it	sa + dā + sum̐
1.3.9	tasya lopaḥ	sa + dā + s
1.1.27	sarva-ādīni sarvanāmāni	sa + dā + s
1.1.73		sa + dā + s
1.1.43	suḍ anapuṃsakasya	sa + dā + s
1.1.38	taddhitaś ca asarva-vibhaktiḥ	sa + dā + s
2.4.82	avyayād āp-supaḥ	sa + dā +
1.1.27	sarva-ādīni sarvanāmāni	sa + dā +
1.1.73		sa + dā +
1.1.43	suḍ anapuṃsakasya	sa + dā +
1.1.38	taddhitaś ca asarva-vibhaktiḥ	sa + dā +
1.4.13	yasmāt pratyaya-vidhis tad-ādi pratyaye 'ṅgam	sa + dā +
1.4.17	svādiṣv a-sarvanamasthāne	sa + dā +
1.4.14	sup-tiṅ-antaṃ padam	sa + dā +
8.3.111	sedhater gatau	sa + dā +

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

Certificate

de4ab6447101ca4d7ad79d4d544ff691aa5c9a4a00bf93233efc9e450cc0b706 — trace pinned (tier-2 recompute passes). Structure: 25 steps, rule set 1a5c66705805c111…. 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: l05-ma-kimcit, 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/sada/ — Svatantrya grammar pack, form sarva-da.

Provenance: wheel-pack.json · harness.json