A.15.3:2 - Problem
Without this boundary, five failures recur:
- Generic slot creation. Any description field named input, output, role, result, or parameter is treated as a SlotSpec.
- Declaration-family collapse. RelationSignature SlotSpecs and operation arguments or results are placed in one undifferentiated slot schema.
- Plan-as-actual inference. A planned value is treated as a participant in an obtaining relation or an actual operation binding.
- Description-as-declaration inference. A
U.MethodDescriptionthat mentions an input or effect is treated as if it declared a reusable participant locus. - Baseline rewrite. Performed values are copied back into the plan, erasing substitution and variance.