tantraloka-a30 — 13 claims

• tal-a30-p01 — PARTIAL — tantraloka-a30 tal-a30-p01 (30.1-30.10) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a30-p02 — PARTIAL — tantraloka-a30 tal-a30-p02 (30.11-30.20) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a30-p03 — PARTIAL — tantraloka-a30 tal-a30-p03 (30.21-30.30) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a30-p04 — PARTIAL — tantraloka-a30 tal-a30-p04 (30.31-30.40) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a30-p05 — PARTIAL — tantraloka-a30 tal-a30-p05 (30.41-30.50) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a30-p06 — PARTIAL — tantraloka-a30 tal-a30-p06 (30.51-30.60) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a30-p07 — PARTIAL — tantraloka-a30 tal-a30-p07 (30.61-30.70) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a30-p08 — PARTIAL — tantraloka-a30 tal-a30-p08 (30.71-30.80) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a30-p09 — PARTIAL — tantraloka-a30 tal-a30-p09 (30.81-30.90) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a30-p10 — PARTIAL — tantraloka-a30 tal-a30-p10 (30.91-30.100) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a30-p11 — PARTIAL — tantraloka-a30 tal-a30-p11 (30.101-30.110) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a30-p12 — PARTIAL — tantraloka-a30 tal-a30-p12 (30.111-30.120) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a30-p13 — PARTIAL — tantraloka-a30 tal-a30-p13 (30.121-30.123) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.