A.6.3.CSC:4.7 - Well-formedness constraints

Well-formedness constraint CSC-WF-0 (ordinary bounded use). An ordinary local candidate is usable only while its source is adjacent or directly linked, the present use and must-retain distinctions are explicit, any loss and anything added or strengthened beyond source support are visible together with the non-admissible use, and return remains cheap. This provisional comparison asserts neither exact endpoint identity nor an independently transferable CSC construction.

Well-formedness constraint CSC-WF-1 (exact controlled-coarsening construction). An exact or independently reused CSC account is well formed only when it identifies exact X, exact Y, and exact c : X -> Y; the same EntityOfConcern; one declared narrower admissible use; one non-admissible downstream use; controlled loss; and one visible return to exact X, established source relations, or the pattern that supplies the needed definition, constraint, test, or method. A source publication, declared set, model, graph, state representation, evidence set, open corpus, folder, topic, search cluster, form, or carrier cannot substitute for either endpoint.

Well-formedness constraint CSC-WF-2 (no authority upgrade). A coarsened rendering does not gain evidence, bridge, work, approval, gate, or adjudication authority by repetition, fluency, audience convenience, citation, or publication on a more visible publication face or channel.

Well-formedness constraint CSC-WF-3 (source path continuity). A coarsening chain remains well formed only while exact original source episteme, every intermediate receiving/source episteme, every declared construction, accumulated loss, uncertainty state, and return remain recoverable.