Read the equation
The written inequality compares a representation z with an underlying state s. If they inhabit different spaces, direct equality is not defined and a mapping is required first. A meaningful discrepancy compares z to an explicitly constructed representation of s in the same space.
Terms & definitions
| Term | Meaning in this source |
|---|---|
| z_t | Representation |
| s_t | Underlying state |
How it works
Read the definition from its right-hand expression to the quantity on the left. Its surrounding source records the intended input, state, or parameter context. Where the source leaves an operation unspecified, this page preserves that gap.
Assumptions & limits
Source recovery establishes that the expression appears in this record. Its mathematical validity, implementation behavior, and interpretation must be assessed separately. See the linked source and research notes for the checks available for this version.
Original context
Read the surrounding source passage
δtorigin=dzt,r0, δtcurrent=dzt,ϕst.
A changing, accurate estimate can differ permanently from its initial value. Conversely, an unchanged estimate can become inaccurate when the world changes. These two discrepancies cannot be substituted for one another. “Different from yesterday” and “incorrect about the present” are different empirical assertions.
Likewise, zt≠st is not automatically a meaningful error: a short representation and the physical/computational system it describes may be different types of object. A map can accurately represent selected properties of a city without being a city. Non-identity of representation and referent does not establish falsity.
2.2 Declaration, onset, and persistence
Once a declaration detector has been specified independently, define
tD=inf{t:Dt=1}.Exact original notation
{z}_{t}\ne {s}_{t}