parapravesika — 9 claims
- par-p01 — COMPLETE — parapravesika par-p01 (mangala) passes link checks; no formal theorems bound. Chunk gate UNKNOWN; no witness verified.
- par-p02 — COMPLETE — parapravesika par-p02 (mula-1 + vrtti (nanu; dvidha; sun-analogy)) passes link checks; no formal theorems bound. Chunk gate UNKNOWN; no witness verified.
- par-p03 — COMPLETE — parapravesika par-p03 (mula-2 + vrtti (ten names defined)) passes link checks; no formal theorems bound. Chunk gate UNKNOWN; no witness verified.
- par-p04 — COMPLETE — parapravesika par-p04 (mula-3 + vrtti (karyatva; abheda; tirodhana denied)) passes link checks; no formal theorems bound. Chunk gate UNKNOWN; no witness verified.
- par-p05 — COMPLETE — parapravesika par-p05 (mula-4 + vrtti (pramana-needs-none) + taduktam verse) passes link checks; no formal theorems bound. Chunk gate UNKNOWN; no witness verified.
- par-p06 — COMPLETE — parapravesika par-p06 (mula-5 + 36-tattva list + tattva definition) passes link checks; no formal theorems bound. Chunk gate UNKNOWN; no witness verified.
- par-p07 — COMPLETE — parapravesika par-p07 (laksanas 1-6; purusa/samsari/mukta; kañcuka origin (king analogy)) passes link checks; no formal theorems bound. Chunk gate UNKNOWN; no witness verified.
- par-p08 — COMPLETE — parapravesika par-p08 (5 sheaths; kañcuka; prakrti; antahkarana; indriyas; tanmatras; bhutas) passes link checks; no formal theorems bound. Chunk gate UNKNOWN; no witness verified.
- par-p09 — COMPLETE — parapravesika par-p09 (bija verse (amnaya); pot/ghee; phonemic involution; hridayabija = Paramasiva; phala; colophon) passes link checks; no formal theorems bound. Chunk gate UNKNOWN; no witness verified.