anyadā: machine-confirmed. Derivation cites 5.3.15, 8.4.68.
time: da
Alternative machine surfaces: anyadā
| status | DERIVED |
|---|---|
| verdict | AGREE — machine-confirmed |
| machine rules | 5.3.15, 8.4.68 |
| teaching ref | 5.3.15 |
| sūtra | text | after |
|---|---|---|
| 1.2.45 | arthavad adhātur apratyayaḥ prātipadikam | anya |
| 1.1.27 | sarva-ādīni sarvanāmāni | anya |
| 5.3.15 | sarva-eka-anya-kiṃ-yat-tadaḥ kāle dā | anya + dā |
| 1.2.46 | kṛt-taddhita-samāsāś ca | anya + dā |
| 1.1.27 | sarva-ādīni sarvanāmāni | anya + dā |
| 1.1.73 | anya + dā | |
| 1.1.38 | taddhitaś ca asarva-vibhaktiḥ | anya + dā |
| 4.1.2 | sv-au-jas-am-auṭ-chaṣ-ṭā-bhyāṃ-bhis-ṅebhyām-bhyas-ṅasi-bhyāṃ-bhyas-ṅas-os-ām-ṅy-os-sup | anya + dā + sum̐ |
| 1.3.2 | upadeśe 'j-anunāsika it | anya + dā + sum̐ |
| 1.3.9 | tasya lopaḥ | anya + dā + s |
| 1.1.27 | sarva-ādīni sarvanāmāni | anya + dā + s |
| 1.1.73 | anya + dā + s | |
| 1.1.43 | suḍ anapuṃsakasya | anya + dā + s |
| 1.1.38 | taddhitaś ca asarva-vibhaktiḥ | anya + dā + s |
| 2.4.82 | avyayād āp-supaḥ | anya + dā + |
| 1.1.27 | sarva-ādīni sarvanāmāni | anya + dā + |
| 1.1.73 | anya + dā + | |
| 1.1.43 | suḍ anapuṃsakasya | anya + dā + |
| 1.1.38 | taddhitaś ca asarva-vibhaktiḥ | anya + dā + |
| 1.4.13 | yasmāt pratyaya-vidhis tad-ādi pratyaye 'ṅgam | anya + dā + |
| 1.4.17 | svādiṣv a-sarvanamasthāne | anya + dā + |
| 1.4.14 | sup-tiṅ-antaṃ padam | anya + dā + |
| 8.4.68 | a a iti | anya + dā + |
Trace is Vidyut 0.4.0 machine output, unreviewed. Cross-check source: crosscheck.json.
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).
https://svatantrya.net/a/anyada/ — Svatantrya grammar pack, form anya-da.
Provenance: wheel-pack.json · harness.json