tantraloka-a31 — 17 claims

• tal-a31-p01 — PARTIAL — tantraloka-a31 tal-a31-p01 (31.1-31.10) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a31-p02 — PARTIAL — tantraloka-a31 tal-a31-p02 (31.11-31.20) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a31-p03 — PARTIAL — tantraloka-a31 tal-a31-p03 (31.21-31.30) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a31-p04 — PARTIAL — tantraloka-a31 tal-a31-p04 (31.31-31.40) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a31-p05 — PARTIAL — tantraloka-a31 tal-a31-p05 (31.41-31.50) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a31-p06 — PARTIAL — tantraloka-a31 tal-a31-p06 (31.51-31.60) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a31-p07 — PARTIAL — tantraloka-a31 tal-a31-p07 (31.61-31.70) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a31-p08 — PARTIAL — tantraloka-a31 tal-a31-p08 (31.71-31.80) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a31-p09 — PARTIAL — tantraloka-a31 tal-a31-p09 (31.81-31.90) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a31-p10 — PARTIAL — tantraloka-a31 tal-a31-p10 (31.91-31.100) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a31-p11 — PARTIAL — tantraloka-a31 tal-a31-p11 (31.101-31.110) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a31-p12 — PARTIAL — tantraloka-a31 tal-a31-p12 (31.111-31.120) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a31-p13 — PARTIAL — tantraloka-a31 tal-a31-p13 (31.121-31.130) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a31-p14 — PARTIAL — tantraloka-a31 tal-a31-p14 (31.131-31.140) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a31-p15 — PARTIAL — tantraloka-a31 tal-a31-p15 (31.141-31.150) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a31-p16 — PARTIAL — tantraloka-a31 tal-a31-p16 (31.151-31.160) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a31-p17 — PARTIAL — tantraloka-a31 tal-a31-p17 (31.161-31.164) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.