v0.2.0 — ski@v1

The reserved runtime lands: a check is a content-addressed SKI term evaluated per Σ-GLYPH Book I v0.5; the verdict is a hash comparison; work and peak memory are bounded by the ATP budget — re-verifying a stranger's reason is safe by construction. Worked vectors in examples/ski/ (TV-10 as a warrant, 20 ATP, zero leaf blobs thanks to genesis intrinsics). v0.1 bodies still reject ski@v1; that rejection stays conformant. warrant check <hash> re-runs one.