Assumption: Input map certificate

For each selected observation, the constructed input map provides targets $o_j(p)$, vectors $v_j(p)$, and bounds

Any exact gauge identity asserts equality only on its declared common plateau. An outside-plateau defect is included in ${{\eta }^o}_j,{{\eta }^v}_j$ or in a separately bounded operator remainder.