SYSE.10:4 - Solution

Assess each engineering claim against the results actually available, preserve the distinction between model behavior and physical evidence, and supply a supported reliance limit to the receiving decision. An authorized Agent uses C.11 or a specialist experimental-design Method when further evidence is a live alternative: the choice determines whether to obtain it and, if so, which Work to undertake. This choice and any resulting probe or experiment design remain separate from the later assessment of available results described here.

SYSE.10:4.0.1 - Keep Different Decision Inputs Distinct

Keep each decision input’s kind explicit. An evidence-bearing result keeps its kind; state how it bears on a named claim under A.10. An objective, reward, loss, or heuristic enters C.11 as the evaluative or choice-rule input it actually supplies; a number does not make it evidence. A novelty or surprise characterization remains a characteristic claim. Use SYSE.10 to assess the engineering claim and its evidence use. The deciding Agent separately applies C.11 to choose a current option or record a next-probe result.

SYSE.10:4.1 - Perform the Move

Name the decision and claim. State the alternatives, deciding Agent, consequence, needed interval, and claim whose support can change the choice. Bind the claim to a subject, configuration, environment, use, interval, scale, and criterion.
Recover the current knowledge basis. Identify the relevant source epistemes and editions, including explanations, hypotheses, heuristics, models, mathematical lenses, observations, prior Work, and contradictory results. State their currentness and transfer limits. Evidence does not define the claim it supports.
State what each result can distinguish. Name the rival claims or alternatives, applicable conditions, inputs and controls, measurements, sensitivity, uncertainty, and the result that would leave the decision unchanged. If the live problem is choosing one further probe, use C.11; for an experiment set or sequence, use a specialist experimental-design Method.
Qualify model and representation use. State the modeled subject, purpose, assumptions, omissions, parameters, boundary conditions, solver or inference Method, verification, calibration, validation, uncertainty, sensitivity, and extrapolation boundary needed by this claim. Use C.29 for a mathematical correspondence and loss account.
Identify Work, observations, and measurements. Keep planned Work separate from dated Work. Name the performing Agent, enacted Method, tools, resources, subject configuration, inputs, controls, disturbances, result production, calibration, measurement interval, uncertainty, and missing data to the degree the claim needs.
Construct the evidence use. For each relied-on result, state the target claim, polarity, the actual grounding subject when one is part of the claim, source scheme, scope, relevance window, provenance, supported use, and unsupported use. Use C.28 separately when the claim is causal or counterfactual.
Compare and criticize. Seek possible defeaters such as shared assumptions, implementation-to-model gaps, configuration mismatch, rival explanations, contradictory or negative results, selection effects, failed transfer, extrapolation, and affected-System evidence omitted by the original study.
Record the assessment and decision effect. State what is supported, contradicted, narrowed, or unresolved; the reliance limit; residual uncertainty; and the stronger blocked claim. Then state the resulting engineering action—for example, choose, narrow, postpone, redesign, seek evidence, or stop. The assessment itself supplies neither the decision nor its authority.
Stop and reopen deliberately. State why the current basis is enough for this decision. Record a compatible C.11 result or specialist experimental-design result when further evidence is chosen. Name the later change that would matter, such as a change to a relied-on source, configuration, environment, use, Method, capability, observation, or claim.

This is an A.22.CGUS learning unfolding, not a lifecycle. Evidence-producing Work may overlap, iterate, or occur in another order. A physical trial can precede simulation during reverse engineering; operating evidence can reopen theory and architecture; a formal check and bench trial can address different claims concurrently.

SYSE.10:4.2 - Record the Result

Use one claim-and-decision sentence for a small reversible choice. For several evidence bases or consequential reliance, record:

Field	Required content
decision and claim	Alternatives, deciding Agent, relying Work, consequence, claim, subject, configuration, environment, use, interval, scale, criterion, and stronger nearby claim.
source basis	Source epistemes and editions, currentness, hypotheses, explanations, heuristics, prior observations, rival accounts, and transfer limits.
Method and Work	Evidence-producing Method, discrimination question, planned or dated Work, performer, tools and resources, inputs, controls, disturbances, subject configuration, and result production.
model or representation use	Modeled subject, purpose, assumptions, omissions, parameters, boundary conditions, computation or inference, verification, calibration, validation, uncertainty, sensitivity, extrapolation, and `C.29` correspondence when relevant.
observations and evidence	Observed occurrence or state, measurement Method and result, uncertainty and interval; target claim, polarity, grounding subject, scope, provenance, relevance window, supported and unsupported use.
criticism	Rival explanations, common assumptions, contradictions, negative results, configuration or implementation mismatch, selection effects, transfer limits, and omitted affected-System evidence.
assessment and decision effect	Supported, contradicted, narrowed, and unresolved claims; reliance limit; residual uncertainty; blocked stronger claim; and the choice, constraint, redesign, postponement, or stop that changes.
further evidence and reopen	Stopping reason and later change that reopens the assessment. When further evidence is chosen, the compatible `C.11` or specialist experimental-design result; if that required result is unavailable, name it and the dependent use on hold.

The assessment may cite supporting records—for example, model cards, trial reports, measurement records, or evidence graphs—instead of copying them. Keep the assessment tied to the receiving decision.

SYSE.10:4.3 - What Changes in Practice

Engineers stop asking whether a model is validated or a test passed in the abstract. They ask which claim about which configuration is supported for which use, which nearby claim remains unsupported, and how the decision changes.

Different inputs change different parts of the decision. For example, a theory can generate an alternative, a heuristic can guide search, a simulation result can reject an infeasible region, a failed trial can expose an interface assumption, and an operating observation can reopen a model-use claim. Each input keeps its governed kind and epistemic status. Additional evidence is obtained only after an authorized Agent chooses the probe or experiment design under the applicable Method.