CMP.Preface:2 - Forces that shape the construction
| Requirement | Choice it creates |
|---|---|
| A useful answer | A decision, one witness, every witness, an approximation and a continuing response can require different procedures. |
| Feasible resources | Conversion, preprocessing, memory, communication and output can dominate the apparent main computation. |
| Sufficient retained information | Sharing or summarizing work saves resources while potentially discarding a later-required distinction. |
| A justified conclusion | Small executions help expose a failure; a general guarantee needs an argument covering its admitted inputs and operations. |
| Useful results under uncertainty | A conditional answer, bound or heuristic candidate can be enough; stronger assurance should change the receiving choice enough to repay its cost. |
| Reuse in a changed setting | A different primitive, observation, input promise or interaction can invalidate a formerly correct construction. |
C.29.2 in FPF supplies the computational formulation: what is represented, what answer is required and which operations and resources are available. C.11.DUA helps choose how much additional inquiry or assurance the work warrants. The CMP methods construct the algorithmic contribution needed under that formulation. They do not require a proof or benchmark that cannot change the next useful action.