Deterministic tools with explicit assumptions. Results support selection and do not replace qualified design.