Link to current text
B.5.TU:7 - Conformance Checklist
- The application has a working question and a useful result to obtain or interpret.
- The theory’s objects, operations and premises needed for that application are recoverable.
- The construction connects supplied inputs to required outputs; a missing operation remains a specific gap.
- A source-supported application and a newly proposed adaptation retain their respective grounds.
- The worked consequence states what its construction, argument or computation establishes.
- The receiving use preserves consequential conditions, including any difference between an attainable result and a bound.
- Further study, evidence or specialist work serves a remaining useful contribution at an appropriate cost.
- The return supports an action, understanding, construction or next question; sufficient use can stop.