tantraloka-a37 — 9 claims

• tal-a37-p01 — PARTIAL — tantraloka-a37 tal-a37-p01 (37.1-37.10) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a37-p02 — PARTIAL — tantraloka-a37 tal-a37-p02 (37.11-37.20) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a37-p03 — PARTIAL — tantraloka-a37 tal-a37-p03 (37.21-37.30) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a37-p04 — PARTIAL — tantraloka-a37 tal-a37-p04 (37.31-37.40) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a37-p05 — PARTIAL — tantraloka-a37 tal-a37-p05 (37.41-37.50) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a37-p06 — PARTIAL — tantraloka-a37 tal-a37-p06 (37.51-37.60) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a37-p07 — PARTIAL — tantraloka-a37 tal-a37-p07 (37.61-37.70) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a37-p08 — PARTIAL — tantraloka-a37 tal-a37-p08 (37.71-37.80) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a37-p09 — PARTIAL — tantraloka-a37 tal-a37-p09 (37.81-37.85) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.