#A.10:4.4 Scope alignment (A.4) across Role–Method–Work (A.15).

Preface node heading:a-10-4-4-scope-alignment-a-4-across-role-method-work-a-15:16815

#Content

• Design‑time: MethodDescription lives here; methods are blueprints; anchors reference what would constitute proof or test.
• Run‑time: Work (actual execution) lives here; traces reference which MethodDescription they instantiate and record happenedBefore. Bridging edges are explicit (“this run trace instantiates that spec”), so scopes never silently mix.