tantrasara-a14 — 1 claims

• tsa14-p01 — COMPLETE — tantrasara-a14 tsa14-p01 (14.1-14.29) passes link checks; no formal theorems bound. Chunk gate BLOCKED; no witness verified.