| REC17 | Comparability before change | ALIGNED_IN_LOCAL_IMPLEMENTATION | Temporal contracts make identity, scope, normalization, version, time, and unknown handling prerequisites to a change result. | ART-CON-003, ART-CON-004 | Local schema/design alignment only. It does not establish external adoption, live shared interoperability, production recovery, legal recognition, or independent certification. |
| REC18 | Raw versus selected-field lineage | ALIGNED_IN_LOCAL_IMPLEMENTATION | Exact raw comparison and selected-field comparison remain separately typed and cannot be relabeled. | ART-CON-003, ART-CON-004 | Local schema/design alignment only. It does not establish external adoption, live shared interoperability, production recovery, legal recognition, or independent certification. |
| REC19 | Difference versus materiality | ALIGNED_IN_LOCAL_IMPLEMENTATION | Detected difference and constitutional materiality are separate stages with named dimensions. | ART-CON-003 | Local schema/design alignment only. It does not establish external adoption, live shared interoperability, production recovery, legal recognition, or independent certification. |
| REC20 | Reconnect versus full restoration | ALIGNED_IN_LOCAL_IMPLEMENTATION | The state machine prohibits direct reconnect-to-full-restoration transitions. | ART-CON-005 | Local schema/design alignment only. It does not establish external adoption, live shared interoperability, production recovery, legal recognition, or independent certification. |
| REC21 | Contested histories | ALIGNED_IN_LOCAL_IMPLEMENTATION | Competing partition histories remain visible; last-writer and highest-capability defaults are prohibited. | ART-CON-007 | Local schema/design alignment only. It does not establish external adoption, live shared interoperability, production recovery, legal recognition, or independent certification. |
| REC22 | Proof obligations and receipts | ALIGNED_IN_LOCAL_IMPLEMENTATION | Conjunctive restoration obligations are paired with human/machine receipt templates and invalidation routes. | ART-CON-005, ART-CON-006, ART-CON-009 | Local schema/design alignment only. It does not establish external adoption, live shared interoperability, production recovery, legal recognition, or independent certification. |
| REC23 | Human explanation and machine state | ALIGNED_IN_LOCAL_IMPLEMENTATION | Legibility is dimension-specific and material machine fields must remain visible in human explanation. | ART-CON-006, ART-CON-008 | Local schema/design alignment only. It does not establish external adoption, live shared interoperability, production recovery, legal recognition, or independent certification. |
| REC24 | Invalidation and correction propagation | ALIGNED_IN_LOCAL_IMPLEMENTATION | Material invalidation preserves history and identifies dependent claims, decisions, receipts, caches, and representations. | ART-CON-009 | Local schema/design alignment only. It does not establish external adoption, live shared interoperability, production recovery, legal recognition, or independent certification. |