Appendix D - Conformance Test Table (Informative)
This appendix provides a reference list of conformance tests mapped to the assertions and invariants defined in Sections 7 and 8. Detailed test procedures are implementation-specific but MUST satisfy the requirements specified in Section 8.3.
| Test ID | Test Name | Assertion/Invariant | Section Reference |
|---|---|---|---|
| T-STR-1 | Component Mapping | All | 3.2–3.4, Appendix C |
| T-STR-2 | Plane Alignment | A5, INV-3 | 3.3, 4, Appendix C |
| T-OBS-1 | Ciphertext-Only Data Plane | A1, A2 | 3.5.2, 3.6, 7.5.2 E1 |
| T-OBS-2 | OP Key-Plane Blindness | A5 | 3.5.5, 4.5, 5.3.4 |
| T-OBS-3 | KCS/UKRS Blindness | A9 | 3.5.3, 4.10, 7.4.3 |
| T-CAP-1 | Provider Infrastructure Access | A2, A3 | 7.5.2 E2, 5.3.3 |
| T-CAP-2 | Collusion Test | A3, Tenet 4 | 5.3.6, 7.5.2 E4 |
| T-CAP-3 | Opaque Enforcement Point | A12 | 6.2.4, 7.4.3 |
| T-CAP-4 | Binary Transparency Verification | A2, A3 | 5.3.1, 7.4.4, 7.5.2 E1/E4 |
| T-REV-1 | Availability vs Decryptability | A4, INV-4 | 2.2.6, 4.6, 5.3.2, 7.5.2 E3 |
| T-REV-2 | UKRS Denial Test | A4, A9 | 4.10, 7.4.3, 7.5.2 E3 |