Link to current text
C.3.5:10 - Conformance checklist (normative)
| ID | Requirement |
| AT-01 | KindAT is a facet with no algebra or threshold and appears in no guard or composition rule. |
| AT-02 | The tag designates one exact local kind; catalogs only represent that assignment and its references. |
| AT-03 | No text makes KindAT change F, G, R, classification truth, or extension contents. |
| AT-04 | KindBridge relation, bridge assertion, CL^k, and KindAT remain separate. |
| AT-05 | Catalog use references the separate signature, order, kind-use adaptation, bridge, and extension objects without collapsing them. |