tantrasara-a01 — 1 claims

• tsa01-p01 — COMPLETE — tantrasara-a01 tsa01-p01 (1.1-1.5) passes link checks; no formal theorems bound. Chunk gate BLOCKED; no witness verified.