C.13:7 - Conformance Checklist (normative, calculus‑level)
The following regulate a C.13 use.
| ID | Requirement | Purpose |
|---|---|---|
| CC-C13-1 — Three forms. | Use only sum, set, or slice for the C.13 construction narrative. | Preserve a small cross-domain calculus. |
| CC-C13-2 — Exact direct basis. | Name the whole, collection, or aspect; its inputs; the direct relation occurrences that obtain; its construction rule; and its identity or reidentification rule. | Prevent notation-created entities and relations. |
| CC-C13-3 — Assembly-sensitive identity. | Do not infer the identity of a whole, collection, or aspect from the input list alone; preserve assembly relations, rule conditions, and the direct reidentification law. | Distinguish the same inputs under different assemblies, and one whole surviving a permitted constituent change. |
| CC-C13-4 — No order or time by constructor. | Keep execution order, parallelism, temporal coverage, and phase with their direct patterns. | Preserve the boundary among structural construction, temporal extent, and method order. |
| CC-C13-5 — Narratability. | State the construction in ordinary language before or beside the shorthand. | Keep the construction usable without notation. |
| CC-C13-6 — Direct-relation discipline. | Use ComponentOf, a collection’s own belongs-to predicate, AspectOf, PortionOf, or ConstituentOf only with the meaning defined for that relation; the trace defines none of them. | Keeps public relation meanings with the patterns that define them. |
| CC-C13-7 — Trace separation. | Treat a materialized trace as a C.2.1 episteme about construction; creating, publishing, losing, or revising it does not create or end the whole, collection, or aspect it describes. | Keep ontology and epistemics separate. |
| CC-C13-8 — Collection belonging is not component parthood. | A set construction establishes no integrated assembly, acting eligibility, or holonhood. | Prevent collection-to-system drift. |
| CC-C13-9 — Facet explicitness. | A slice use names the exact aspect, bearer, governed facet, direct relation, and identity rule; a temporal window is not a structural facet here. | Prevent arbitrary slicing. |
| CC-C13-10 — Subject owner. | Apply C.13 to method, work, or discipline holons only after their direct patterns identify exact parts and whole-forming relations. | Permit accepted holon construction without generic decomposition. |
| CC-C13-11 — Published-edge boundary. | A direct structural Working-Model edge remains usable without a trace. If its publication elects B.3.5 or a named current requirement demands that profile, the edge follows B.3.5 for the required trace link and validation mode; C.13 does not treat that publication apparatus as the world-side relation, assembly, or identity rule. | Keep direct use, construction, and elected publication assurance distinct. |
| CC-C13-12 — Dependent structure stop. | A selected U.Structure is not a holon, agent, or a new whole named by an MHT claim merely by selection, label, or diagram. | Preserve the dependent-structure boundary. |
| CC-C13-13 — Transformation stop. | Do not infer transformation composition, parthood, holonhood, or atomism from entity construction, method or work decomposition, timing, or missing part facts. | Preserve the missing-governor boundary. |