tantraloka-a01 — 34 claims

• tal-a01-p01 — PARTIAL — tantraloka-a01 tal-a01-p01 (1.1-1.10) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a01-p02 — PARTIAL — tantraloka-a01 tal-a01-p02 (1.11-1.20) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a01-p03 — PARTIAL — tantraloka-a01 tal-a01-p03 (1.21-1.30) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a01-p04 — PARTIAL — tantraloka-a01 tal-a01-p04 (1.31-1.40) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a01-p05 — PARTIAL — tantraloka-a01 tal-a01-p05 (1.41-1.50) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a01-p06 — PARTIAL — tantraloka-a01 tal-a01-p06 (1.51-1.60) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a01-p07 — PARTIAL — tantraloka-a01 tal-a01-p07 (1.61-1.70) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a01-p08 — PARTIAL — tantraloka-a01 tal-a01-p08 (1.71-1.80) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a01-p09 — PARTIAL — tantraloka-a01 tal-a01-p09 (1.81-1.90) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a01-p10 — PARTIAL — tantraloka-a01 tal-a01-p10 (1.91-1.100) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a01-p11 — PARTIAL — tantraloka-a01 tal-a01-p11 (1.101-1.110) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a01-p12 — PARTIAL — tantraloka-a01 tal-a01-p12 (1.111-1.120) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a01-p13 — PARTIAL — tantraloka-a01 tal-a01-p13 (1.121-1.130) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a01-p14 — PARTIAL — tantraloka-a01 tal-a01-p14 (1.131-1.140) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a01-p15 — PARTIAL — tantraloka-a01 tal-a01-p15 (1.141-1.150) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a01-p16 — PARTIAL — tantraloka-a01 tal-a01-p16 (1.151-1.160) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a01-p17 — PARTIAL — tantraloka-a01 tal-a01-p17 (1.161-1.170) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a01-p18 — PARTIAL — tantraloka-a01 tal-a01-p18 (1.171-1.180) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a01-p19 — PARTIAL — tantraloka-a01 tal-a01-p19 (1.181-1.190) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a01-p20 — PARTIAL — tantraloka-a01 tal-a01-p20 (1.191-1.200) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a01-p21 — PARTIAL — tantraloka-a01 tal-a01-p21 (1.201-1.210) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a01-p22 — PARTIAL — tantraloka-a01 tal-a01-p22 (1.211-1.220) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a01-p23 — PARTIAL — tantraloka-a01 tal-a01-p23 (1.221-1.230) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a01-p24 — PARTIAL — tantraloka-a01 tal-a01-p24 (1.231-1.240) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a01-p25 — PARTIAL — tantraloka-a01 tal-a01-p25 (1.241-1.250) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a01-p26 — PARTIAL — tantraloka-a01 tal-a01-p26 (1.251-1.260) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a01-p27 — PARTIAL — tantraloka-a01 tal-a01-p27 (1.261-1.270) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a01-p28 — PARTIAL — tantraloka-a01 tal-a01-p28 (1.271-1.280) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a01-p29 — PARTIAL — tantraloka-a01 tal-a01-p29 (1.281-1.290) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a01-p30 — PARTIAL — tantraloka-a01 tal-a01-p30 (1.291-1.300) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a01-p31 — PARTIAL — tantraloka-a01 tal-a01-p31 (1.301-1.310) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a01-p32 — PARTIAL — tantraloka-a01 tal-a01-p32 (1.311-1.320) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a01-p33 — PARTIAL — tantraloka-a01 tal-a01-p33 (1.321-1.330) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a01-p34 — PARTIAL — tantraloka-a01 tal-a01-p34 (1.331-1.?) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.