tantraloka-a03 — 30 claims

• tal-a03-p01 — PARTIAL — tantraloka-a03 tal-a03-p01 (3.0-3.9) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a03-p02 — PARTIAL — tantraloka-a03 tal-a03-p02 (3.10-3.19) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a03-p03 — PARTIAL — tantraloka-a03 tal-a03-p03 (3.20-3.29) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a03-p04 — PARTIAL — tantraloka-a03 tal-a03-p04 (3.30-3.39) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a03-p05 — PARTIAL — tantraloka-a03 tal-a03-p05 (3.40-3.49) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a03-p06 — PARTIAL — tantraloka-a03 tal-a03-p06 (3.50-3.59) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a03-p07 — PARTIAL — tantraloka-a03 tal-a03-p07 (3.60-3.69) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a03-p08 — PARTIAL — tantraloka-a03 tal-a03-p08 (3.70-3.79) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a03-p09 — PARTIAL — tantraloka-a03 tal-a03-p09 (3.80-3.89) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a03-p10 — PARTIAL — tantraloka-a03 tal-a03-p10 (3.90-3.99) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a03-p11 — PARTIAL — tantraloka-a03 tal-a03-p11 (3.100-3.109) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a03-p12 — PARTIAL — tantraloka-a03 tal-a03-p12 (3.110-3.119) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a03-p13 — PARTIAL — tantraloka-a03 tal-a03-p13 (3.120-3.129) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a03-p14 — PARTIAL — tantraloka-a03 tal-a03-p14 (3.130-3.139) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a03-p15 — PARTIAL — tantraloka-a03 tal-a03-p15 (3.140-3.149) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a03-p16 — PARTIAL — tantraloka-a03 tal-a03-p16 (3.150-3.159) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a03-p17 — PARTIAL — tantraloka-a03 tal-a03-p17 (3.160-3.169) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a03-p18 — PARTIAL — tantraloka-a03 tal-a03-p18 (3.170-3.179) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a03-p19 — PARTIAL — tantraloka-a03 tal-a03-p19 (3.180-3.189) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a03-p20 — PARTIAL — tantraloka-a03 tal-a03-p20 (3.190-3.199) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a03-p21 — PARTIAL — tantraloka-a03 tal-a03-p21 (3.200-3.209) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a03-p22 — PARTIAL — tantraloka-a03 tal-a03-p22 (3.210-3.219) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a03-p23 — PARTIAL — tantraloka-a03 tal-a03-p23 (3.220-3.229) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a03-p24 — PARTIAL — tantraloka-a03 tal-a03-p24 (3.230-3.239) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a03-p25 — PARTIAL — tantraloka-a03 tal-a03-p25 (3.240-3.249) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a03-p26 — PARTIAL — tantraloka-a03 tal-a03-p26 (3.250-3.259) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a03-p27 — PARTIAL — tantraloka-a03 tal-a03-p27 (3.260-3.269) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a03-p28 — PARTIAL — tantraloka-a03 tal-a03-p28 (3.270-3.279) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a03-p29 — PARTIAL — tantraloka-a03 tal-a03-p29 (3.280-3.289) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a03-p30 — PARTIAL — tantraloka-a03 tal-a03-p30 (3.290-3.294) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.