A.6.4:7 - Conformance Checklist (normative)

CC-A.6.4-1 - Exact endpoints and changed EntityOfConcern. C.2.1 identifies X and Y and their exact EntitiesOfConcern; the two entities differ. A changed kind, frame, predicate set, domain, or notation alone does not pass this check.

CC-A.6.4-2 - Arrow identity. The selected formal substrate supplies r’s exact endpoints, arrow rule or designator, and equivalence criterion. Same endpoints, a diagram, or a use claim alone does not identify r.

CC-A.6.4-3 - Separate use proposition and case judgement. One C.2.1 assertion q names r, one receiving use, the invariant, visible loss, conditions, and affirmative or negative polarity. A separate current-case judgement reports satisfies, fails, or cannot decide from exact current facts. The same r may have another q and judgement for another use.

CC-A.6.4-4 - Conservative receiving claim. For an affirmative q, a satisfies judgement requires enough current case basis for q’s invariant and stated use, and the receiving episteme adds no unsupported commitment about that invariant. For either polarity, facts contrary to q’s proposition yield fails; a missing deciding fact yields cannot decide plus that fact and the reopen condition. Neither result changes q’s polarity.

CC-A.6.4-5 - Triggered additions only. For a Description or specification-use episteme, name every material change to claim content, effective scheme, grounding, scope, operating condition, or selected viewpoint under A.7 and E.10.D2. Add those values, evidence, currentness, a route-equivalence test, or a reopen condition only when they change q or the reader’s action.

CC-A.6.4-6 - Separate semantic correspondence. Test an F.9 Bridge only when the case also claims a relation between two exact local senses. The Bridge, its bounded-use claim, optional CL, evidence, and reliance remain separate from r and q.

CC-A.6.4-7 - Separate application and Work. For measurement, computation, actuation, model fitting, authoring, and other effects, identify the exact operation application and its argument and result bindings when an A.6.1 operation declaration is current; identify any performed Work separately. The arrow statement r : X -> Y neither identifies an application or Work occurrence nor proves a production relation.

CC-A.6.4-8 - Fourier boundary. A same-signal time/frequency change routes to C.29 and A.6.3.RT. A.6.4 is used only after the receiving spectrum or other mathematical object is independently identified as a different EntityOfConcern.

CC-A.6.4-9 - StructuralReinterpretation boundary. E.18 governs structure position, path, crossing, and gate relations. A.20 tests q’s exact proposition only when an internal constraint is current, and A.21 governs any gate decision. None identifies r or supplies a satisfies judgement merely by reference or placement.

CC-A.6.4-10 - Honest stop and light ordinary use. A missing deciding fact yields cannot decide and names the fact and reopen condition; contrary facts yield fails. Otherwise one short paragraph answering the six practical questions is enough. No separate evidence, assurance, publication, currentness, or reusable declaration is required unless its own use condition is current.