tantraloka-a32 — 7 claims
- tal-a32-p01 — PARTIAL — tantraloka-a32 tal-a32-p01 (32.1-32.10) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
- tal-a32-p02 — PARTIAL — tantraloka-a32 tal-a32-p02 (32.11-32.20) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
- tal-a32-p03 — PARTIAL — tantraloka-a32 tal-a32-p03 (32.21-32.30) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
- tal-a32-p04 — PARTIAL — tantraloka-a32 tal-a32-p04 (32.31-32.40) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
- tal-a32-p05 — PARTIAL — tantraloka-a32 tal-a32-p05 (32.41-32.50) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
- tal-a32-p06 — PARTIAL — tantraloka-a32 tal-a32-p06 (32.51-32.60) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
- tal-a32-p07 — PARTIAL — tantraloka-a32 tal-a32-p07 (32.61-32.68) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.