paratrimshika — 4 claims
- para-p01 — PARTIAL — paratrimshika para-p01 (2-10) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
- para-p02 — PARTIAL — paratrimshika para-p02 (11-19) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
- para-p03 — PARTIAL — paratrimshika para-p03 (20-28) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
- para-p04 — PARTIAL — paratrimshika para-p04 (29-36) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.