tantrasara-a17 — 1 claims

• tsa17-p01 — COMPLETE — tantrasara-a17 tsa17-p01 (17.1-17.6) passes link checks; no formal theorems bound. Chunk gate BLOCKED; no witness verified.