sdd:LocalScope
A sdd:LocalScope is the scope backing a diagram's @local block — the home for facts the document asserts itself rather than cites from an external source (spec §3.1's F-asserted class). Because there is no external source, a sdd:LocalScope has nothing to verify against; its content is the document's own contribution.
A sdd:Diagram has zero or one local scope — one when the DSL authors an @local block, none when every fact is cited from a sdd:SourceScope instead. When present it is skolemized as <diagram>.local (spec §3.3), reachable via sdd:hasScope alongside the diagram's other scopes — it is one scope among possibly several, never THE scope a diagram carries. Like every scope, it is a coordinate frame (spec §3.2): without a position it is an identity frame relative to its parent, and an author may give it one with sdd:at — the same predicate shared with sdd:Node — to shift everything nested inside it.