A shape file, line by line, and the report it produces. One shape over one ordinary artifact, verdict by verdict; a closed shape that refuses what it was not told about; and the same graph handed to two validators that answer opposite ways, both correctly, because silence means different things under the open and closed worlds.

Nine things, four shapes, zero violations, and four things never examined. A shape declares what it is about, and coverage is a set difference nothing computes for you. A reasoner adds a fact nobody wrote, the shape runs against the graph that came out, and the parent-type rule that a string matcher never saw is derived once, offline, so the checker stays small.

Why grounding happens after the model, not inside it. Everything in the loop is input, and nothing in the loop can say the output is correct; two checks read the output, reviews initialise at fail, and a refusal is a location with a name. One move, four costumes, and the small promise it keeps: this does not make a model correct, it makes wrongness land somewhere visible before anyone believes it.