35.2. What is deployed🔗

• D1 — The deployed units. The list — which units are deployed, and which model boundary each one realizes. A deployment that cannot name the boundary it implements has no specification to be judged against, and its acceptance gate is therefore a comparison against itself.

• D2 — What deploying adds. The counterpart of the model template's M3, pointed the other way: state what deploying adds, and cite the model document for what the module is. A deployment document that re-explains the physics duplicates a text that will move without it.