anuttarastika — 8 claims

• anu-p01 — COMPLETE — anuttarastika anu-p01 (1) passes link checks; no formal theorems bound. Chunk gate passes; no witness verified.
• anu-p02 — COMPLETE — anuttarastika anu-p02 (2) passes link checks; no formal theorems bound. Chunk gate passes; no witness verified.
• anu-p03 — COMPLETE — anuttarastika anu-p03 (3) passes link checks; no formal theorems bound. Chunk gate passes; no witness verified.
• anu-p04 — COMPLETE — anuttarastika anu-p04 (4) passes link checks; no formal theorems bound. Chunk gate passes; no witness verified.
• anu-p05 — COMPLETE — anuttarastika anu-p05 (5) passes link checks; no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• anu-p06 — COMPLETE — anuttarastika anu-p06 (6) passes link checks; no formal theorems bound. Chunk gate passes; no witness verified.
• anu-p07 — COMPLETE — anuttarastika anu-p07 (7) passes link checks; no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• anu-p08 — COMPLETE — anuttarastika anu-p08 (8) passes link checks; no formal theorems bound. Chunk gate BLOCKED; no witness verified.