kathā: curated form; the machine differs. Machine gives kathā; the taught form stands.
expected flagship: kim+thal derives katha; katham is kim+thamu per 5.3.24-25. Curated katham stands as the taught form.
Alternative machine surfaces: kathā
| status | DERIVED |
|---|---|
| verdict | DISAGREE_STANDS — curated form; the machine differs |
| machine rules | 5.3.25, 7.2.103, 8.4.68 |
| teaching ref | 5.3.23 |
| sūtra | text | after |
|---|---|---|
| 1.2.45 | arthavad adhātur apratyayaḥ prātipadikam | kim |
| 1.1.74 | kim | |
| 1.1.27 | sarva-ādīni sarvanāmāni | kim |
| 5.3.25 | kimaś ca | kim + thāl |
| 1.3.3 | hal-antyam | kim + thāl |
| 1.3.9 | tasya lopaḥ | kim + thā |
| 7.2.103 | kimaḥ kaḥ | ka + thā |
| 1.2.46 | kṛt-taddhita-samāsāś ca | ka + thā |
| 1.1.74 | ka + thā | |
| 1.1.27 | sarva-ādīni sarvanāmāni | ka + thā |
| 1.1.73 | ka + thā | |
| 4.1.2 | sv-au-jas-am-auṭ-chaṣ-ṭā-bhyāṃ-bhis-ṅebhyām-bhyas-ṅasi-bhyāṃ-bhyas-ṅas-os-ām-ṅy-os-sup | ka + thā + sum̐ |
| 1.3.2 | upadeśe 'j-anunāsika it | ka + thā + sum̐ |
| 1.3.9 | tasya lopaḥ | ka + thā + s |
| 1.1.74 | ka + thā + s | |
| 1.1.27 | sarva-ādīni sarvanāmāni | ka + thā + s |
| 1.1.73 | ka + thā + s | |
| 1.1.43 | suḍ anapuṃsakasya | ka + thā + s |
| 2.4.82 | avyayād āp-supaḥ | ka + thā + |
| 1.1.74 | ka + thā + | |
| 1.1.27 | sarva-ādīni sarvanāmāni | ka + thā + |
| 1.1.73 | ka + thā + | |
| 1.1.43 | suḍ anapuṃsakasya | ka + thā + |
| 1.4.13 | yasmāt pratyaya-vidhis tad-ādi pratyaye 'ṅgam | ka + thā + |
Trace is Vidyut 0.4.0 machine output, unreviewed. Cross-check source: crosscheck.json.
b97fdc2e84fb1084cf6d3c44a4cd3b933e15079dc4c072273f7bc18b5f2c1b17 — trace pinned (tier-2 recompute passes). Structure: 27 steps, rule set d9f46534e725d915…. 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).
Lessons: l01-mamatma, l03-hrdi-vande, l04-nryti, l05-ma-kimcit
https://svatantrya.net/a/katha/ — Svatantrya grammar pack, form kim-thal.
Provenance: wheel-pack.json · harness.json