{"id":"scientific-surrogate-validation","name":"A learned field still obeys an evidence boundary","shortName":"A learned field still obeys an evidence boundary","role":"Train on a bounded parameter family; compare prediction with a numerical reference, boundary conditions and conservation residuals.","description":"A scientific surrogate learns an approximation to a family of physical input-output relationships. Its prediction should be compared with an identified reference problem, including geometry, boundary conditions, units and parameter range. A small average field error can hide an important local error, and an output that resembles a physical field need not satisfy the governing equation. Neural operators such as the Fourier Neural Operator provide one approach to learning mappings between function spaces. The worked heat example below does not train or run an FNO; it uses a three-point field to separate value error from a discrete equation residual. Residual checks themselves have a resolution and model boundary and cannot establish every physical property or out-of-distribution capability.","mechanism":["The reference problem fixes geometry, coefficients, forcing and boundary conditions before any learned output is assessed.","Training examples and evaluation parameters remain distinct, with the valid parameter family stated.","Predicted fields are compared both with reference values and with relevant equation or conservation checks.","Unseen boundaries or parameter ranges are evaluated explicitly rather than inferred from visual smoothness."],"learningObjective":"Compare a predicted field with matching boundary conditions, local error and an explicit discrete residual.","engineeringExample":"Consider a one-dimensional, steady, source-free conductor with three equally spaced points at x=[0,0.5,1] m and boundary temperatures 293 and 393 K in this mathematical example. The linear reference is [293,343,393] K. A hypothetical surrogate gives [293,353,393] K. Mean absolute error across the three points is 10/3 K, but the interior error is 10 K. Its centered second-difference residual is (293−2×353+393)/(0.5²)=−80 K/m², whereas the reference residual is zero. This is a discrete steady-equation check, not measured heat flow or a proof of full continuum accuracy.","misconception":"A smooth or low-average-error field is not automatically a valid physical solution.","check":{"question":"What is the interior second-difference residual for [293,353,393] K with spacing 0.5 m?","options":["0 K/m²","−80 K/m²","−20 K"],"answer":1,"explanation":"The numerator is −20 K and division by 0.25 m² gives −80 K/m²."},"checks":[],"prerequisites":["evaluation","training-data"],"related":["tool-loop","evaluation"],"specs":[{"label":"Mechanism boundary","value":"Where does a surrogate cease to approximate the physical problem?","context":"Constant-conductivity, one-dimensional, steady, source-free mathematical example with fixed boundaries. The discrete residual is not a complete PDE validation or a field measurement."},{"label":"Evidence type","value":"Authored worked example","context":"Worked explanation with a bounded numeric or state example. This lesson does not claim an executing implementation of an external model or platform."}],"interfaces":[{"name":"Declared input and state","direction":"in","signal":"The reference problem fixes geometry, coefficients, forcing and boundary conditions before any learned output is assessed."},{"name":"Checked outcome","direction":"out","signal":"Compare a predicted field with matching boundary conditions, local error and an explicit discrete residual."}],"tradeoff":"Surrogates can amortize repeated approximations but need evidence across their claimed parameter family and may fail under new boundaries.","whyAI":"AI for science is meaningful when learned predictions are tested against the actual physical problem and its limits.","sourceIds":["automation-fno"],"sources":[{"title":"Fourier Neural Operator for Parametric Partial Differential Equations","url":"https://arxiv.org/abs/2010.08895v3"}],"science":[{"title":"A learned field still obeys an evidence boundary · explicit relationship","equation":"The centered second-difference residual estimates the one-dimensional temperature curvature at an interior point.","explanation":"Consider a one-dimensional, steady, source-free conductor with three equally spaced points at x=[0,0.5,1] m and boundary temperatures 293 and 393 K in this mathematical example. The linear reference is [293,343,393] K. A hypothetical surrogate gives [293,353,393] K. Mean absolute error across the three points is 10/3 K, but the interior error is 10 K. Its centered second-difference residual is (293−2×353+393)/(0.5²)=−80 K/m², whereas the reference residual is zero. This is a discrete steady-equation check, not measured heat flow or a proof of full continuum accuracy.","assumptions":"Constant-conductivity, one-dimensional, steady, source-free mathematical example with fixed boundaries. The discrete residual is not a complete PDE validation or a field measurement."}],"evidenceNotes":"This is a worked explanation, not an executing external platform, model or robot. The quantities and fixtures are authored. Source scope is recorded in the automation learning review manifest; no source benchmark or private system behavior is claimed. Constant-conductivity, one-dimensional, steady, source-free mathematical example with fixed boundaries. The discrete residual is not a complete PDE validation or a field measurement.","level":"model","branch":"Models become evaluated applications","subbranch":"A learned field still obeys an evidence boundary","scale":"Logical state, task evidence and declared units; no physical assembly scale","kind":"system","workstream":"W11","visualFamily":"software-flow","labId":"library","labScope":"The worked example explains this mechanism. General numerical labs are a reference; they do not execute this lesson’s full mechanism.","history":[],"workedTrace":{"positionsM":[0,0.5,1],"referenceK":[293,343,393],"predictionK":[293,353,393],"spacingM":0.5,"maeK":3.3333333333333335,"residualKM2":-80}}