अस्ति

asti · tinanta

asti: machine-derived; no curated cross-check on file.

Meaning

No gloss on file.

Verification

status	DERIVED
verdict	MACHINE_DERIVED — machine-derived; no curated cross-check on file
machine rules	3.1.68, 3.2.123, 3.4.113, 3.4.78, 8.4.68

full derivation (17 steps)

sūtra	text	after
1.3.1	bhūvādayo dhātavaḥ	asam̐
1.3.2	upadeśe 'j-anunāsika it	asam̐
1.3.9	tasya lopaḥ	as
3.2.123	vartamāne laṭ	as + lam̐ṭ
1.3.2	upadeśe 'j-anunāsika it	as + lam̐ṭ
1.3.3	hal-antyam	as + lam̐ṭ
1.3.9	tasya lopaḥ	as + l
1.3.78	śeṣāt kartari parasmaipadam	as + l
3.4.78	tip-tas-jhi-sip-thas-tha-mib-vas-mas-ta-ātāṃ-jha-thās-āthām-dhvam-iḍ-vahi-mahiṅ	as + tip
1.3.3	hal-antyam	as + tip
1.3.9	tasya lopaḥ	as + ti
3.4.113	tiṅ-śit-sārvadhātukam	as + ti
3.1.68	kartari śap	as + śap + ti
2.4.72	adiprabhṛtibhyaḥ śapaḥ	as + + ti
1.4.13	yasmāt pratyaya-vidhis tad-ādi pratyaye 'ṅgam	as + + ti
1.4.14	sup-tiṅ-antaṃ padam	as + + ti
8.4.68	a a iti	as + + ti

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

Certificate

61d7018de648f0b209ce16446c9e24c0b13efe0804ba542aae1ff31ececc65a9 — trace pinned (tier-2 recompute passes). Structure: 17 steps, rule set 93cef798e689f845…. 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: l01-mamatma, l03-hrdi-vande, l04-nryti, l10-tantrasara-prose

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/asti/ — Svatantrya grammar pack, form as-lat-Prathama-Eka.

Provenance: wheel-pack.json · harness.json