vbt — 17 claims

• vbt-p01 — COMPLETE — vbt vbt-p01 (2-11) passes link checks; counts REGISTERED without a per-declaration run. Chunk gate BLOCKED; no witness verified.
• vbt-p02 — COMPLETE — vbt vbt-p02 (12-21) passes link checks; counts REGISTERED without a per-declaration run. Chunk gate BLOCKED; no witness verified.
• vbt-p03 — COMPLETE — vbt vbt-p03 (22-31) passes link checks; no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• vbt-p04 — COMPLETE — vbt vbt-p04 (32-41) passes link checks; no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• vbt-p05 — COMPLETE — vbt vbt-p05 (42-51) passes link checks; no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• vbt-p06 — COMPLETE — vbt vbt-p06 (52-61) passes link checks; no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• vbt-p07 — COMPLETE — vbt vbt-p07 (62-71) passes link checks; no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• vbt-p08 — COMPLETE — vbt vbt-p08 (72-81) passes link checks; no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• vbt-p09 — COMPLETE — vbt vbt-p09 (82-91) passes link checks; no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• vbt-p10 — COMPLETE — vbt vbt-p10 (92-101) passes link checks; no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• vbt-p11 — COMPLETE — vbt vbt-p11 (102-111) passes link checks; no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• vbt-p12 — COMPLETE — vbt vbt-p12 (112-121) passes link checks; no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• vbt-p13 — COMPLETE — vbt vbt-p13 (122-131) passes link checks; no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• vbt-p14 — COMPLETE — vbt vbt-p14 (132-141) passes link checks; no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• vbt-p15 — COMPLETE — vbt vbt-p15 (142-151) passes link checks; no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• vbt-p16 — COMPLETE — vbt vbt-p16 (152-161) passes link checks; no formal theorems bound. Chunk gate BLOCKED; no witness verified.
• vbt-p17 — COMPLETE — vbt vbt-p17 (162-162) passes link checks; no formal theorems bound. Chunk gate BLOCKED; no witness verified.