tantraloka-a15 — 62 claims

• tal-a15-p01 — PARTIAL — tantraloka-a15 tal-a15-p01 (15.1-15.10) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a15-p02 — PARTIAL — tantraloka-a15 tal-a15-p02 (15.11-15.20) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a15-p03 — PARTIAL — tantraloka-a15 tal-a15-p03 (15.21-15.30) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a15-p04 — PARTIAL — tantraloka-a15 tal-a15-p04 (15.31-15.40) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a15-p05 — PARTIAL — tantraloka-a15 tal-a15-p05 (15.41-15.50) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a15-p06 — PARTIAL — tantraloka-a15 tal-a15-p06 (15.51-15.60) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a15-p07 — PARTIAL — tantraloka-a15 tal-a15-p07 (15.61-15.70) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a15-p08 — PARTIAL — tantraloka-a15 tal-a15-p08 (15.71-15.80) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a15-p09 — PARTIAL — tantraloka-a15 tal-a15-p09 (15.81-15.90) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a15-p10 — PARTIAL — tantraloka-a15 tal-a15-p10 (15.91-15.100) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a15-p11 — PARTIAL — tantraloka-a15 tal-a15-p11 (15.101-15.110) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a15-p12 — PARTIAL — tantraloka-a15 tal-a15-p12 (15.111-15.120) links incomplete (5 gaps named); counts REGISTERED without a per-declaration run. Chunk gate BLOCKED; no witness verified.
• tal-a15-p13 — PARTIAL — tantraloka-a15 tal-a15-p13 (15.121-15.130) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a15-p14 — PARTIAL — tantraloka-a15 tal-a15-p14 (15.131-15.140) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a15-p15 — PARTIAL — tantraloka-a15 tal-a15-p15 (15.141-15.150) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a15-p16 — PARTIAL — tantraloka-a15 tal-a15-p16 (15.151-15.160) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a15-p17 — PARTIAL — tantraloka-a15 tal-a15-p17 (15.161-15.170) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a15-p18 — PARTIAL — tantraloka-a15 tal-a15-p18 (15.171-15.180) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a15-p19 — PARTIAL — tantraloka-a15 tal-a15-p19 (15.181-15.190) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a15-p20 — PARTIAL — tantraloka-a15 tal-a15-p20 (15.191-15.200) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a15-p21 — PARTIAL — tantraloka-a15 tal-a15-p21 (15.201-15.210) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a15-p22 — PARTIAL — tantraloka-a15 tal-a15-p22 (15.211-15.220) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a15-p23 — PARTIAL — tantraloka-a15 tal-a15-p23 (15.221-15.230) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a15-p24 — PARTIAL — tantraloka-a15 tal-a15-p24 (15.231-15.240) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a15-p25 — PARTIAL — tantraloka-a15 tal-a15-p25 (15.241-15.250) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a15-p26 — PARTIAL — tantraloka-a15 tal-a15-p26 (15.251-15.260) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a15-p27 — PARTIAL — tantraloka-a15 tal-a15-p27 (15.261-15.270) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a15-p28 — PARTIAL — tantraloka-a15 tal-a15-p28 (15.271-15.280) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a15-p29 — PARTIAL — tantraloka-a15 tal-a15-p29 (15.281-15.290) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a15-p30 — PARTIAL — tantraloka-a15 tal-a15-p30 (15.291-15.300) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a15-p31 — PARTIAL — tantraloka-a15 tal-a15-p31 (15.301-15.310) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a15-p32 — PARTIAL — tantraloka-a15 tal-a15-p32 (15.311-15.320) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a15-p33 — PARTIAL — tantraloka-a15 tal-a15-p33 (15.321-15.330) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a15-p34 — PARTIAL — tantraloka-a15 tal-a15-p34 (15.331-15.340) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a15-p35 — PARTIAL — tantraloka-a15 tal-a15-p35 (15.341-15.350) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a15-p36 — PARTIAL — tantraloka-a15 tal-a15-p36 (15.351-15.360) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a15-p37 — PARTIAL — tantraloka-a15 tal-a15-p37 (15.361-15.370) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a15-p38 — PARTIAL — tantraloka-a15 tal-a15-p38 (15.371-15.380) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a15-p39 — PARTIAL — tantraloka-a15 tal-a15-p39 (15.381-15.390) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a15-p40 — PARTIAL — tantraloka-a15 tal-a15-p40 (15.391-15.400) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a15-p41 — PARTIAL — tantraloka-a15 tal-a15-p41 (15.401-15.410) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a15-p42 — PARTIAL — tantraloka-a15 tal-a15-p42 (15.411-15.420) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a15-p43 — PARTIAL — tantraloka-a15 tal-a15-p43 (15.421-15.430) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a15-p44 — PARTIAL — tantraloka-a15 tal-a15-p44 (15.431-15.440) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a15-p45 — PARTIAL — tantraloka-a15 tal-a15-p45 (15.441-15.450) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a15-p46 — PARTIAL — tantraloka-a15 tal-a15-p46 (15.451-15.460) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a15-p47 — PARTIAL — tantraloka-a15 tal-a15-p47 (15.461-15.470) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a15-p48 — PARTIAL — tantraloka-a15 tal-a15-p48 (15.471-15.480) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a15-p49 — PARTIAL — tantraloka-a15 tal-a15-p49 (15.481-15.490) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a15-p50 — PARTIAL — tantraloka-a15 tal-a15-p50 (15.491-15.500) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a15-p51 — PARTIAL — tantraloka-a15 tal-a15-p51 (15.501-15.510) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a15-p52 — PARTIAL — tantraloka-a15 tal-a15-p52 (15.511-15.520) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a15-p53 — PARTIAL — tantraloka-a15 tal-a15-p53 (15.521-15.530) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a15-p54 — PARTIAL — tantraloka-a15 tal-a15-p54 (15.531-15.540) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a15-p55 — PARTIAL — tantraloka-a15 tal-a15-p55 (15.541-15.550) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a15-p56 — PARTIAL — tantraloka-a15 tal-a15-p56 (15.551-15.560) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a15-p57 — PARTIAL — tantraloka-a15 tal-a15-p57 (15.561-15.570) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a15-p58 — PARTIAL — tantraloka-a15 tal-a15-p58 (15.571-15.580) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a15-p59 — PARTIAL — tantraloka-a15 tal-a15-p59 (15.581-15.590) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a15-p60 — PARTIAL — tantraloka-a15 tal-a15-p60 (15.591-15.600) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a15-p61 — PARTIAL — tantraloka-a15 tal-a15-p61 (15.601-15.610) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• tal-a15-p62 — PARTIAL — tantraloka-a15 tal-a15-p62 (15.611-15.613) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.