sdd:hasScopeCopy as claim

sdd:hasScope connects a sdd:Diagram to its scopes — the outermost structure of a diagram's body (spec §3.2): zero or more @source blocks plus zero or one @local block for asserted facts.Copy as claim

A scope does double duty: it is a provenance unit (which quads verify against which source) and a geometry unit, a coordinate frame that may carry its own sdd:at so its children's positions are relative to it. sdd:hasScope is a one-quad-per-scope predicate — a diagram with two @source blocks and an @local block carries three sdd:hasScope triples, each pointing at one sdd:SourceScope or the sdd:LocalScope. A purely-cited diagram with no @local block carries no sdd:LocalScope at all — a diagram of only source scopes is legal.Copy as claim