tantraloka-a10 — 31 claims

• tal-a10-p01 — PARTIAL — tantraloka-a10 tal-a10-p01 (10.1-10.10) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a10-p02 — PARTIAL — tantraloka-a10 tal-a10-p02 (10.11-10.20) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a10-p03 — PARTIAL — tantraloka-a10 tal-a10-p03 (10.21-10.30) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a10-p04 — PARTIAL — tantraloka-a10 tal-a10-p04 (10.31-10.40) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a10-p05 — PARTIAL — tantraloka-a10 tal-a10-p05 (10.41-10.50) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a10-p06 — PARTIAL — tantraloka-a10 tal-a10-p06 (10.51-10.60) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a10-p07 — PARTIAL — tantraloka-a10 tal-a10-p07 (10.61-10.70) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a10-p08 — PARTIAL — tantraloka-a10 tal-a10-p08 (10.71-10.80) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a10-p09 — PARTIAL — tantraloka-a10 tal-a10-p09 (10.81-10.90) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a10-p10 — PARTIAL — tantraloka-a10 tal-a10-p10 (10.91-10.100) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a10-p11 — PARTIAL — tantraloka-a10 tal-a10-p11 (10.101-10.110) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a10-p12 — PARTIAL — tantraloka-a10 tal-a10-p12 (10.111-10.120) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a10-p13 — PARTIAL — tantraloka-a10 tal-a10-p13 (10.121-10.130) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a10-p14 — PARTIAL — tantraloka-a10 tal-a10-p14 (10.131-10.140) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a10-p15 — PARTIAL — tantraloka-a10 tal-a10-p15 (10.141-10.150) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a10-p16 — PARTIAL — tantraloka-a10 tal-a10-p16 (10.151-10.160) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a10-p17 — PARTIAL — tantraloka-a10 tal-a10-p17 (10.161-10.170) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a10-p18 — PARTIAL — tantraloka-a10 tal-a10-p18 (10.171-10.180) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a10-p19 — PARTIAL — tantraloka-a10 tal-a10-p19 (10.181-10.190) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a10-p20 — PARTIAL — tantraloka-a10 tal-a10-p20 (10.191-10.200) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a10-p21 — PARTIAL — tantraloka-a10 tal-a10-p21 (10.201-10.210) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a10-p22 — PARTIAL — tantraloka-a10 tal-a10-p22 (10.211-10.220) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a10-p23 — PARTIAL — tantraloka-a10 tal-a10-p23 (10.221-10.230) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a10-p24 — PARTIAL — tantraloka-a10 tal-a10-p24 (10.231-10.240) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a10-p25 — PARTIAL — tantraloka-a10 tal-a10-p25 (10.241-10.250) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a10-p26 — PARTIAL — tantraloka-a10 tal-a10-p26 (10.251-10.260) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a10-p27 — PARTIAL — tantraloka-a10 tal-a10-p27 (10.261-10.270) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a10-p28 — PARTIAL — tantraloka-a10 tal-a10-p28 (10.271-10.280) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a10-p29 — PARTIAL — tantraloka-a10 tal-a10-p29 (10.281-10.290) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a10-p30 — PARTIAL — tantraloka-a10 tal-a10-p30 (10.291-10.300) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a10-p31 — PARTIAL — tantraloka-a10 tal-a10-p31 (10.301-10.310) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.