tantraloka-a25 — 3 claims

• tal-a25-p01 — PARTIAL — tantraloka-a25 tal-a25-p01 (25.1-25.10) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a25-p02 — PARTIAL — tantraloka-a25 tal-a25-p02 (25.11-25.20) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a25-p03 — PARTIAL — tantraloka-a25 tal-a25-p03 (25.21-25.29) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.