Source changed 2026-10-03 08:25:59 UTC · snapshot created 2026-10-03 08:26:43 UTC · last check 2026-10-03 08:45:20 UTC
B.1:7 - Conformance Checklist
Check
Requirement
CC-B1-1
The current claim identifies whether it is part-whole, collection belonging under the collection’s own rule, collection-as-whole, a relation among local system-role kinds, classification, assignment, direct participation, method relation, work occurrence holarchy, selected structure, or mathematical description; unresolved claim-bearing “role” wording is sent through E.10.ROLE.
CC-B1-2
Part-whole claims name the exact whole and part participants, identity or recognition rule, part relation, constructional predicate and its defining pattern, plus any aggregation policy, selected structure, ClaimScope, or qualification window that changes the claim.
CC-B1-3
A.14 defines the relation vocabulary used here; C.13 defines the construction accounts.
CC-B1-4
Relations among local system-role kinds, classifications, assignments, direct participation relations, and Method relation structures are not treated as holonic parts merely because a label, graph, algebra, or naming convention composes them. A.2.7 is used only for the first of those branches.
CC-B1-5
Performed work occurrence parts require A.15.1.
CC-B1-6
Mathematical and representation apparatus is named as lens or expression, not as ontology by spelling.
CC-B1-7
B.2 is used only when the whole itself must be reidentified after existing-whole explanations fail.
CC-B1-8
No generic U.Boundary, U.Interaction, U.Level, U.Emergence, or U.Frustration is introduced by aggregation wording.