A.3.3:4.5 - Evidence, prediction, conformance, drift, and calibration
Let D be a U.Dynamics about exact EntityOfConcern E. Let W denote only exact dated U.Work occurrences when Work is current, and let O denote separately identified observation, telemetry, source, or measurement records.
| Derived value | Meaning |
|---|---|
trace(W, O, D) | ordered observed values produced by the declared observation relation from exact Work-side facts when present and separately identified telemetry, source, observation, or measurement records |
initialState(W, O, D) | stated, measured, or estimated state at trace start, with the exact statement or result and its subject pattern recoverable |
predict(D, initialState, inputs, horizon) | trajectory or distribution generated by the transition law over the declared horizon |
insideOperatingRegion(D, state) | check that state satisfies D’s constraints and invariants; separately name the prediction or use and its relevant time or horizon, then check D’s applicability window for that use |
residuals(prediction, trace, alignment) | discrepancies between the selected prediction and observed trace values under the stated alignment; prediction is the result of the identified predict(D, initialState, inputs, horizon) calculation |
fits(D, trace, tolerancePolicy) | conformance verdict under a declared tolerance, likelihood, interval, or distributional policy |
drift(D1, D2, domain) | divergence between two dynamics versions over a declared operating domain |
These expressions name claim-side calculations or questions. When an observation, conformance, drift, measurement, evaluation, gate, or assurance result is claimed, the applicable evaluation or measurement declaration states the criterion and result semantics, and the actual application and result are identified separately; C.2.1 identifies any persisted result episteme, and use A.10 or B.3 only for the separately claimed reliance or assurance use.
Calibration Work and its domain result may support a later dynamics episteme whose changed ClaimGraph receives its own C.2.1 identity; an EpistemeEditionRelation obtains only when C.2.1’s exact continuation predicate is separately established.