tantraloka-a04 — 28 claims

• tal-a04-p01 — PARTIAL — tantraloka-a04 tal-a04-p01 (4.1-4.10) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a04-p02 — PARTIAL — tantraloka-a04 tal-a04-p02 (4.11-4.20) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a04-p03 — PARTIAL — tantraloka-a04 tal-a04-p03 (4.21-4.30) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a04-p04 — PARTIAL — tantraloka-a04 tal-a04-p04 (4.31-4.40) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a04-p05 — PARTIAL — tantraloka-a04 tal-a04-p05 (4.41-4.50) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a04-p06 — PARTIAL — tantraloka-a04 tal-a04-p06 (4.51-4.60) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a04-p07 — PARTIAL — tantraloka-a04 tal-a04-p07 (4.61-4.70) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a04-p08 — PARTIAL — tantraloka-a04 tal-a04-p08 (4.71-4.80) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a04-p09 — PARTIAL — tantraloka-a04 tal-a04-p09 (4.81-4.90) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a04-p10 — PARTIAL — tantraloka-a04 tal-a04-p10 (4.91-4.100) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a04-p11 — PARTIAL — tantraloka-a04 tal-a04-p11 (4.101-4.110) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a04-p12 — PARTIAL — tantraloka-a04 tal-a04-p12 (4.111-4.120) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a04-p13 — PARTIAL — tantraloka-a04 tal-a04-p13 (4.121-4.130) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a04-p14 — PARTIAL — tantraloka-a04 tal-a04-p14 (4.131-4.140) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a04-p15 — PARTIAL — tantraloka-a04 tal-a04-p15 (4.141-4.150) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a04-p16 — PARTIAL — tantraloka-a04 tal-a04-p16 (4.151-4.160) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a04-p17 — PARTIAL — tantraloka-a04 tal-a04-p17 (4.161-4.170) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a04-p18 — PARTIAL — tantraloka-a04 tal-a04-p18 (4.171-4.180) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a04-p19 — PARTIAL — tantraloka-a04 tal-a04-p19 (4.181-4.190) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a04-p20 — PARTIAL — tantraloka-a04 tal-a04-p20 (4.191-4.200) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a04-p21 — PARTIAL — tantraloka-a04 tal-a04-p21 (4.201-4.210) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a04-p22 — PARTIAL — tantraloka-a04 tal-a04-p22 (4.211-4.220) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a04-p23 — PARTIAL — tantraloka-a04 tal-a04-p23 (4.221-4.230) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a04-p24 — PARTIAL — tantraloka-a04 tal-a04-p24 (4.231-4.240) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a04-p25 — PARTIAL — tantraloka-a04 tal-a04-p25 (4.241-4.250) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a04-p26 — PARTIAL — tantraloka-a04 tal-a04-p26 (4.251-4.260) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a04-p27 — PARTIAL — tantraloka-a04 tal-a04-p27 (4.261-4.270) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a04-p28 — PARTIAL — tantraloka-a04 tal-a04-p28 (4.271-4.279) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.