spanda — 6 claims

• span-p01 — COMPLETE — spanda span-p01 (2-10) passes link checks; counts REGISTERED without a per-declaration run. Chunk gate BLOCKED; no witness verified.
• span-p02 — COMPLETE — spanda span-p02 (11-19) passes link checks; no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• span-p03 — COMPLETE — spanda span-p03 (20-3) passes link checks; no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• span-p04 — COMPLETE — spanda span-p04 (4-6) passes link checks; no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• span-p05 — PARTIAL — spanda span-p05 (7-15) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• span-p06 — PARTIAL — spanda span-p06 (16-2) links incomplete (5 gaps named); no formal theorems bound. Chunk gate BLOCKED; no witness verified.