kramastotra — 30 claims

• kram-p01 — COMPLETE — kramastotra kram-p01 (1) passes link checks; no formal theorems bound. Chunk gate passes; no witness verified.
• kram-p02 — COMPLETE — kramastotra kram-p02 (2) passes link checks; no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• kram-p03 — COMPLETE — kramastotra kram-p03 (3) passes link checks; no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• kram-p04 — COMPLETE — kramastotra kram-p04 (4) passes link checks; no formal theorems bound. Chunk gate passes; no witness verified.
• kram-p05 — COMPLETE — kramastotra kram-p05 (5) passes link checks; no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• kram-p06 — COMPLETE — kramastotra kram-p06 (6) passes link checks; no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• kram-p07 — COMPLETE — kramastotra kram-p07 (7) passes link checks; no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• kram-p08 — COMPLETE — kramastotra kram-p08 (8) passes link checks; no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• kram-p09 — COMPLETE — kramastotra kram-p09 (9) passes link checks; no formal theorems bound. Chunk gate passes; no witness verified.
• kram-p10 — COMPLETE — kramastotra kram-p10 (10) passes link checks; no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• kram-p11 — COMPLETE — kramastotra kram-p11 (11) passes link checks; no formal theorems bound. Chunk gate passes; no witness verified.
• kram-p12 — COMPLETE — kramastotra kram-p12 (12) passes link checks; no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• kram-p13 — COMPLETE — kramastotra kram-p13 (13) passes link checks; no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• kram-p14 — COMPLETE — kramastotra kram-p14 (14) passes link checks; no formal theorems bound. Chunk gate passes; no witness verified.
• kram-p15 — COMPLETE — kramastotra kram-p15 (15) passes link checks; no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• kram-p16 — COMPLETE — kramastotra kram-p16 (16) passes link checks; no formal theorems bound. Chunk gate passes; no witness verified.
• kram-p17 — COMPLETE — kramastotra kram-p17 (17) passes link checks; no formal theorems bound. Chunk gate passes; no witness verified.
• kram-p18 — COMPLETE — kramastotra kram-p18 (18) passes link checks; no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• kram-p19 — COMPLETE — kramastotra kram-p19 (19) passes link checks; no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• kram-p20 — COMPLETE — kramastotra kram-p20 (20) passes link checks; no formal theorems bound. Chunk gate passes; no witness verified.
• kram-p21 — COMPLETE — kramastotra kram-p21 (21) passes link checks; no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• kram-p22 — COMPLETE — kramastotra kram-p22 (22) passes link checks; no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• kram-p23 — COMPLETE — kramastotra kram-p23 (23) passes link checks; no formal theorems bound. Chunk gate passes; no witness verified.
• kram-p24 — COMPLETE — kramastotra kram-p24 (24) passes link checks; no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• kram-p25 — COMPLETE — kramastotra kram-p25 (25) passes link checks; no formal theorems bound. Chunk gate passes; no witness verified.
• kram-p26 — COMPLETE — kramastotra kram-p26 (26) passes link checks; no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• kram-p27 — COMPLETE — kramastotra kram-p27 (27) passes link checks; no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• kram-p28 — COMPLETE — kramastotra kram-p28 (28) passes link checks; no formal theorems bound. Chunk gate passes; no witness verified.
• kram-p29 — COMPLETE — kramastotra kram-p29 (29) passes link checks; no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• kram-p30 — COMPLETE — kramastotra kram-p30 (30) passes link checks; no formal theorems bound. Chunk gate BLOCKED; no witness verified.