C.29.2:7 - Conformance Checklist
Apply these checks to the computational claim being made.
| Check | What must be recoverable |
|---|---|
| Answer and scope | The input class, required answer and any accuracy or interaction condition; an output characterization is distinguishable from its obtaining procedure. |
| Represented distinctions | Input meaning, computational state and output interpretation, including a retained distinction that a later operation needs. |
| Available operations | What each consequential operation does and where any non-elementary construction comes from. |
| Obtaining construction | An executable ordering, an applicable solver for declared relations, another specified computational behavior, or a substantive missing-construction task. |
| Argument | A proposed computation has a worked case and the argument needed for its claimed range, including termination or response properties when claimed. An obstruction has an argument establishing its scope. |
| Accuracy | The error relation or probability guarantee used by the receiver and the arithmetic, approximation, sampling and interpretation conditions that support it. |
| Resources | The relevant element/operation counts, per-element or per-operation costs, size parameters and material preparation/readout costs. |
| Result boundary | A qualified answer, restriction or obstruction; no unsupported promotion of one trace, failed representation or simulated execution. |
| Return | The failed connection and the contribution that can change it, without requiring further work after a sufficient result. |