Section 11 4 October 2026
Countermodels and limits of inference
11 Countermodels and limits of inference
11.1 A stationary coherent cycle tests individual edge ownership
Take three vertices with , , and
Then but . The canonical exporters therefore produce clockwise packets even though every vertex population is stationary. Theorem 8.1 gives a clockwise Bell cycle at rate , with Poisson jump count and its full continuous event times. A generator which simply keeps the configuration fixed has the same one-time equilibrium and zero divergence, yet differs in path law by . It is excluded by individual primitive bond ownership, not by the continuity equation alone.
The nearest Markov surplus rival adds a constant to both directional equilibrium fluxes on each cycle bond. It also preserves . Its clockwise rate is and its counterclockwise rate is , independently of the occupied vertex. The probability of at least one backward jump is , whereas Bell's probability is zero. Thus full-path distance is at least that number. The microscopic theory suppresses this rival by the proved recombination hierarchy, rather than declaring two-way reactions impossible.
11.2 The finite-recombination rival really has dark traffic
On a two-vertex edge in a zero-current interval, put one packet of each species, no new births, and all carriers at the two endpoints. Total service rate is and recombination rate is . In the Poisson contact comparison, the probability that at least one of the carriers changes position before is exactly
The first event is a race of the two derived contact mechanisms. Recombination first removes both packets; service first already makes the path nonconstant. The instantaneous signed-queue comparison starts at and permits no service. Thus (52) is the exact total-variation distance between its joint -carrier path and that of this finite-rate Poisson reaction experiment. It is not, in general, the discrepancy probability for the designated ordinary carrier alone. The original finite spatial gas requires the additional comparison error of Theorem 5.1. A mixed stock can occur after opposite exports before recombination completes. This local test does not replace the empty-queue initialization of Theorem 8.1. It shows that the finite-rate mechanism has distinct predictions and is not a renamed Jordan decomposition. If recombination is absent or too slow, surplus survives.
11.3 The spatial ensemble selects timing beyond mean flux
Let , , and choose a single uniform . Put the arrival positions at times , , and randomly permute particle labels. Every individual arrival time is uniform on , just as for the independent gas, and mean flux is . Nevertheless on there are exactly two contacts with separation exactly . The Poisson comparison assigns zero probability to that exact spacing. The complete contact-history distance is therefore one. Independence of initial positions, not their one-body density or mean pressure, excludes this rival. P4 makes that additional statistical content explicit.
11.4 Recombination does not conceal a readable pilot ledger
Let be signed export counts, signed consumption counts and the recombination count on one bond. For empty initial stock,
Consequently
All retained recombination products cancel from the signed identity. Fast recombination removes surplus service but does not erase the source action from a joint ledger. A hypothetical ordinary classical reader of this ledger remains a countermodel to the older unrestricted material source, exactly as in the monograph. P3 replaces that unrestricted coupling constitution. Gauge invariance and finite work do not imply P3: is gauge invariant and can be put in an additional invariant mixed energy if that extra force is permitted.
Within the declared model a reader is an ordinary device in the common . Its probabilities in the Bell limit have the positive-effect form
This follows from full-configuration equivariance and the actual joint unitary; it is not a separate measurement postulate. For a fixed compiled clock implementation, Proposition A.1 supplies an input-uniform finite-resource error . An inaccessible reference remains in and is acted on by the identity. A direct rewrite of an actual ordinary source bit into a memory while leaving the joint field at would instead give positive actual probability to at zero coherent weight. It is not an allowed material interaction.
For , , no fixed positive record effect can reproduce the probability of an unchanged native Bell event for all three inputs , and with error smaller than
Direct two-state wave evolution gives event probabilities . For the first and third preparations the current is forward throughout the interval, so there is at most one forward event and its probability is the loss of origin weight. For the second it is backward. If a positive effect has error at most on all three, its trace is at most , whereas its expectation in the third vector is at least . A positive expectation cannot exceed the trace. Rearrangement gives (55).
□At the gap is . A material apparatus with path error cannot be a universal passive native counter with record error below this gap minus . The permitted coherent copy changes the complete source–memory field, so it does not claim to evade this obstruction. Its archive attests its own actual copy crossing. This explicitly distinguishes successful measurement from a fictitious passive record of every earlier native excursion.
11.5 Fine and coarse paths remain distinct
For any coarse boundary with microscopic currents , forward mean incidence is , not generally . Their discrepancy is
The monomial-copy theorem computes every fine current and makes this discrepancy zero at that specific boundary. It does not infer the result from a coarse clock population. Arbitrary circuit gates can have negative fine forward factors. Reduced null maps are used only to compute probabilities after retaining every receiver in the joint model; they do not supply actual trajectory rates. Expected flux integrals likewise remain expectations of counts, not sample counting measures.