tantraloka-a06 — 26 claims

• tal-a06-p01 — PARTIAL — tantraloka-a06 tal-a06-p01 (6.1-6.10) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a06-p02 — PARTIAL — tantraloka-a06 tal-a06-p02 (6.11-6.20) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a06-p03 — PARTIAL — tantraloka-a06 tal-a06-p03 (6.21-6.30) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a06-p04 — PARTIAL — tantraloka-a06 tal-a06-p04 (6.31-6.40) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a06-p05 — PARTIAL — tantraloka-a06 tal-a06-p05 (6.41-6.50) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a06-p06 — PARTIAL — tantraloka-a06 tal-a06-p06 (6.51-6.60) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a06-p07 — PARTIAL — tantraloka-a06 tal-a06-p07 (6.61-6.70) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a06-p08 — PARTIAL — tantraloka-a06 tal-a06-p08 (6.71-6.80) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a06-p09 — PARTIAL — tantraloka-a06 tal-a06-p09 (6.81-6.90) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a06-p10 — PARTIAL — tantraloka-a06 tal-a06-p10 (6.91-6.100) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a06-p11 — PARTIAL — tantraloka-a06 tal-a06-p11 (6.101-6.110) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a06-p12 — PARTIAL — tantraloka-a06 tal-a06-p12 (6.111-6.120) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a06-p13 — PARTIAL — tantraloka-a06 tal-a06-p13 (6.121-6.130) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a06-p14 — PARTIAL — tantraloka-a06 tal-a06-p14 (6.131-6.140) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a06-p15 — PARTIAL — tantraloka-a06 tal-a06-p15 (6.141-6.150) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a06-p16 — PARTIAL — tantraloka-a06 tal-a06-p16 (6.151-6.160) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a06-p17 — PARTIAL — tantraloka-a06 tal-a06-p17 (6.161-6.170) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a06-p18 — PARTIAL — tantraloka-a06 tal-a06-p18 (6.171-6.180) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a06-p19 — PARTIAL — tantraloka-a06 tal-a06-p19 (6.181-6.190) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a06-p20 — PARTIAL — tantraloka-a06 tal-a06-p20 (6.191-6.200) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a06-p21 — PARTIAL — tantraloka-a06 tal-a06-p21 (6.201-6.210) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a06-p22 — PARTIAL — tantraloka-a06 tal-a06-p22 (6.211-6.220) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a06-p23 — PARTIAL — tantraloka-a06 tal-a06-p23 (6.221-6.230) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a06-p24 — PARTIAL — tantraloka-a06 tal-a06-p24 (6.231-6.240) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a06-p25 — PARTIAL — tantraloka-a06 tal-a06-p25 (6.241-6.250) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a06-p26 — PARTIAL — tantraloka-a06 tal-a06-p26 (6.251-6.252) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.