Chapter 19SPC-2 · Version 2
A fully worked finite vessel
19.1 Physical dynamics and realization
Let the complete local state be . In a fixed operating regime define
with fresh independent noise bits satisfying and . These probabilities specify the native stochastic law. For its all-finite operational interpretation the law is assumed to continue with fresh independent noise; this is a physical model premise. A fixed finite run can instead be realized using an explicitly sized noise bank with its retained outgoing cells. The finite bank does not establish an indefinitely replenished reversible implementation.
The step has a reversible extension:
Its inverse is obtained from , . Thus a finite sequence can be realized as a permutation on the enlarged orthogonal state space, with independent noise cells initially prepared and all old cells retained. This is a finite physical model construction, not a claim to reproduce a biological vessel.
Changing with the other relevant parents fixed changes the next law of ; changing changes the next law of . Both routes are internal under . Take the native action to be this update and the native record to be the next values of the two registers, which are themselves reused by the following update. The two-tick schedule executes the route ; its terminal law differs by between preparations differing only in . The complete constitutive return catalogue consists of the native one- and two-tick return templates and their admitted component preparations. This finite template choice is explicit; it is not selected anew by an investigator. Four distinct first-step rows give four all-future predictive classes, and their singleton fibres make congruence automatic. Thus A1 assigns one perspective in this operational model.
19.2 The exact transition matrix
Order configurations as . Direct multiplication of the independent noise probabilities gives
Every row sums to one. The matrix is doubly stochastic, so the uniform distribution is stationary. Stationarity of the ensemble does not mean that the actual bits do not change. It also does not collapse the four predictive preparations into one class: their future conditional laws are distinct.
A separate report can copy or into a prepared orthogonal register. Here the report device has no return interaction, and its classical copying preserves the native state and update. It belongs to the external report layer. The native and external interrogation grammars consequently have different contrast metrics without representing a change of the core itself.
19.3 Delayed observations and the native contrast geometry
First consider only delayed complete-state observations beginning at , with no current-state report and no prior intervention that amplifies the distinction. The one-step TV matrix between the rows of Equation 19.2 is
For example, the first two rows differ by , for which half the sum of absolute values is . The first and third differ by , giving .
The same matrix is the TV distance of any complete future passive path that retains its first state . Given that first state, the remaining conditional path law is the same Markov kernel from either preparation. Applying that common kernel cannot increase TV; projecting the path back to its first state cannot decrease the original row distance. Equality follows. More time does not reveal an additional distinction about the initial state once the common Markov successor has been exactly observed.
For this declared native full-successor-record grammar, is the all-finite native contrast metric. It is not universal phenomenal geometry: another realized native grammar need not give this matrix. Exact current-state reports belong to the separate external grammar in this example.
19.4 External present-state reports have a different metric
Suppose the separate external report mechanism copies the present or before any noisy transition. Any two distinct configurations differ in at least one bit. Reporting that bit produces disjoint deterministic output laws. Therefore
Equation 19.4 is the supremum metric of external interrogation, not the native metric assigned by A2. All four native classes are already distinct, so exact present-state reports factor through them without refining the phenomenal partition. They can nevertheless have a larger TV contrast: report grounding is fibre constancy, not a Lipschitz or data-processing bound relative to the chosen native transcript metric. Adding an actual internal copy operation would change the native grammar and require a new realization analysis.
Under A2, the four pointed phenomenal states are the structurally transported four predictive states. They are not labeled as red, pain, or any human quality. The model fixes relational organization under its constitutive interpretation; it supplies no independent phenomenological calibration that would identify these states with an actual person's experience.
19.5 Reports, symmetry, and gauge
For a current report, , and similarly for . A delayed report has ; a delayed report has . These are ordinary physical predictions. Their phenomenal versions are induced through .
The asymmetric noise rates distinguish the two update channels. A permutation of state labels alone is not a physical symmetry if it fails to transport the channel names and probabilities. Some simultaneous bit-complement transformations can be presentation equivalences when the corresponding input and report labels are also transported. Such whole-model equivalences do not mean that a current preparation is the same physical preparation as under a fixed calibration.
The operational example specifies one core, four native predictive states, congruent native instruments, separate grounded report kernels, a native delayed contrast matrix, a distinct external interrogation metric, and a pointed assignment under A2. A maintained two-tick return contract qualifies it. If a fixed bank is included instead, the remaining fuel is part of the carrier and exhaustion is terminal; the four-state comparison is then a fixed-resource slice, not the entire enlarged object. Its mathematical completeness does not establish actual awareness in this device. The latter is the interpretation asserted by A0 and A1, not an additional finite calculation.