tantraloka-a05 — 16 claims

• tal-a05-p01 — PARTIAL — tantraloka-a05 tal-a05-p01 (5.1-5.10) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a05-p02 — PARTIAL — tantraloka-a05 tal-a05-p02 (5.11-5.20) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a05-p03 — PARTIAL — tantraloka-a05 tal-a05-p03 (5.21-5.30) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a05-p04 — PARTIAL — tantraloka-a05 tal-a05-p04 (5.31-5.40) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a05-p05 — PARTIAL — tantraloka-a05 tal-a05-p05 (5.41-5.50) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a05-p06 — PARTIAL — tantraloka-a05 tal-a05-p06 (5.51-5.60) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a05-p07 — PARTIAL — tantraloka-a05 tal-a05-p07 (5.61-5.70) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a05-p08 — PARTIAL — tantraloka-a05 tal-a05-p08 (5.71-5.80) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a05-p09 — PARTIAL — tantraloka-a05 tal-a05-p09 (5.81-5.90) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a05-p10 — PARTIAL — tantraloka-a05 tal-a05-p10 (5.91-5.100) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a05-p11 — PARTIAL — tantraloka-a05 tal-a05-p11 (5.101-5.110) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a05-p12 — PARTIAL — tantraloka-a05 tal-a05-p12 (5.111-5.120) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a05-p13 — PARTIAL — tantraloka-a05 tal-a05-p13 (5.121-5.130) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a05-p14 — PARTIAL — tantraloka-a05 tal-a05-p14 (5.131-5.140) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a05-p15 — PARTIAL — tantraloka-a05 tal-a05-p15 (5.141-5.150) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a05-p16 — PARTIAL — tantraloka-a05 tal-a05-p16 (5.151-5.159) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.