A.6.RSIR:4.4 - Reduced-use source labels
Reduced-use labels are allowed. They are not failures. A source label remains reduced-use when it helps readers find or recognize the case but does not carry FPF-governed content.
Examples:
- “API role” can remain a quoted source phrase while the branch is selected with
E.10.ROLE. The repaired claim may be an API description, an exact provider system-role assignment, a declaration or representation position, a promise-content episteme under A.2.3, an independently obtaining commitment under A.2.8,PromiseContentUse, a delivery or acceptance relation, another named direct relation, or an interface specification. - “parameter” can remain ordinary prose while a complete
SlotSpecis named only for a current reusable relation declaration, an operationArgumentDeclarationorResultDeclarationand any exact application binding stay underA.6.1, and a method-call, formula, or other representation position stays underC.29or its exact representation pattern. - “function” can remain ordinary engineering language when no architecture, capability, method, work, mathematical, quality, or module claim depends on it.