tantraloka-a29 — 30 claims
- tal-a29-p01 — PARTIAL — tantraloka-a29 tal-a29-p01 (29.1-29.10) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
- tal-a29-p02 — PARTIAL — tantraloka-a29 tal-a29-p02 (29.11-29.20) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
- tal-a29-p03 — PARTIAL — tantraloka-a29 tal-a29-p03 (29.21-29.30) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
- tal-a29-p04 — PARTIAL — tantraloka-a29 tal-a29-p04 (29.31-29.40) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
- tal-a29-p05 — PARTIAL — tantraloka-a29 tal-a29-p05 (29.41-29.50) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
- tal-a29-p06 — PARTIAL — tantraloka-a29 tal-a29-p06 (29.51-29.60) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
- tal-a29-p07 — PARTIAL — tantraloka-a29 tal-a29-p07 (29.61-29.70) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
- tal-a29-p08 — PARTIAL — tantraloka-a29 tal-a29-p08 (29.71-29.80) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
- tal-a29-p09 — PARTIAL — tantraloka-a29 tal-a29-p09 (29.81-29.90) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
- tal-a29-p10 — PARTIAL — tantraloka-a29 tal-a29-p10 (29.91-29.100) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
- tal-a29-p11 — PARTIAL — tantraloka-a29 tal-a29-p11 (29.101-29.110) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
- tal-a29-p12 — PARTIAL — tantraloka-a29 tal-a29-p12 (29.111-29.120) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
- tal-a29-p13 — PARTIAL — tantraloka-a29 tal-a29-p13 (29.121-29.130) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
- tal-a29-p14 — PARTIAL — tantraloka-a29 tal-a29-p14 (29.131-29.140) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
- tal-a29-p15 — PARTIAL — tantraloka-a29 tal-a29-p15 (29.141-29.150) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
- tal-a29-p16 — PARTIAL — tantraloka-a29 tal-a29-p16 (29.151-29.160) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
- tal-a29-p17 — PARTIAL — tantraloka-a29 tal-a29-p17 (29.161-29.170) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
- tal-a29-p18 — PARTIAL — tantraloka-a29 tal-a29-p18 (29.171-29.180) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
- tal-a29-p19 — PARTIAL — tantraloka-a29 tal-a29-p19 (29.181-29.190) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
- tal-a29-p20 — PARTIAL — tantraloka-a29 tal-a29-p20 (29.191-29.200) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
- tal-a29-p21 — PARTIAL — tantraloka-a29 tal-a29-p21 (29.201-29.210) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
- tal-a29-p22 — PARTIAL — tantraloka-a29 tal-a29-p22 (29.211-29.220) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
- tal-a29-p23 — PARTIAL — tantraloka-a29 tal-a29-p23 (29.221-29.230) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
- tal-a29-p24 — PARTIAL — tantraloka-a29 tal-a29-p24 (29.231-29.240) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
- tal-a29-p25 — PARTIAL — tantraloka-a29 tal-a29-p25 (29.241-29.250) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
- tal-a29-p26 — PARTIAL — tantraloka-a29 tal-a29-p26 (29.251-29.260) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
- tal-a29-p27 — PARTIAL — tantraloka-a29 tal-a29-p27 (29.261-29.270) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
- tal-a29-p28 — PARTIAL — tantraloka-a29 tal-a29-p28 (29.271-29.280) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
- tal-a29-p29 — PARTIAL — tantraloka-a29 tal-a29-p29 (29.281-29.290) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
- tal-a29-p30 — PARTIAL — tantraloka-a29 tal-a29-p30 (29.291-29.292) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.