SYSE.42:4.1 - Bind the selected means to the supported action

Recover what the task needs, which expression or target is meant, what may be done and what result will be used. Inspect the available means and the behavior that matters: entered expression, units, identifiers, valid range, current state and any effect/recovery conditions. For paper-supported arithmetic, establish the readable layout and supplied digit operations; the person performs them.

For every consequential argument, identify its source. Copy a known identifier from the current task or authoritative lookup; derive a quantity only through an applicable conversion. If the proposal omits a value or gives two plausible targets, obtain the smallest discriminating fact. A default is usable only when the contract makes it the intended value in these conditions.

Check the proposed use against the means actually available. For a calculator, inspect the entered expression before taking its display as the requested product. For software, check the actual tool set and current permissions; a generated tool name or explanation establishes neither. Place reliably enforced controls in the executor under SYSE.28. Use an explanation to locate a mismatch, while retaining the actual check.