tantraloka-a17 — 13 claims

• tal-a17-p01 — PARTIAL — tantraloka-a17 tal-a17-p01 (17.1-17.10) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a17-p02 — PARTIAL — tantraloka-a17 tal-a17-p02 (17.11-17.20) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a17-p03 — PARTIAL — tantraloka-a17 tal-a17-p03 (17.21-17.30) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a17-p04 — PARTIAL — tantraloka-a17 tal-a17-p04 (17.31-17.40) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a17-p05 — PARTIAL — tantraloka-a17 tal-a17-p05 (17.41-17.50) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a17-p06 — PARTIAL — tantraloka-a17 tal-a17-p06 (17.51-17.60) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a17-p07 — PARTIAL — tantraloka-a17 tal-a17-p07 (17.61-17.70) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a17-p08 — PARTIAL — tantraloka-a17 tal-a17-p08 (17.71-17.80) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a17-p09 — PARTIAL — tantraloka-a17 tal-a17-p09 (17.81-17.90) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a17-p10 — PARTIAL — tantraloka-a17 tal-a17-p10 (17.91-17.100) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a17-p11 — PARTIAL — tantraloka-a17 tal-a17-p11 (17.101-17.110) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a17-p12 — PARTIAL — tantraloka-a17 tal-a17-p12 (17.111-17.120) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a17-p13 — PARTIAL — tantraloka-a17 tal-a17-p13 (17.121-17.122) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.