TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/foundational-process-classification-20261016/OBSERVABILITY.txt
Original file SHA-256: 5253c7df5f3347129e2eb5d8e6bb161d09d9fa19ae64a456ca967eebc7439468
Inclusive original lines: 213-235
Line numbers below refer to the original source.
This bounded excerpt is source evidence; it is not a new proof/checker run.
Conversation metadata and personal execution details are omitted where indicated.

000213 | 7. Other non-necessity statements, without resolving the ambiguities
000214 | 
000215 | Bare support does not fix a frequency law. Pick a hidden bit once per trial,
000216 | read it repeatably, and choose its preparation probability p in (0,1).
000217 | Every p has exactly the same single-trial possible strings0^n,1^n, but
000218 | different report weights. With independently repeated preparation, p=1/3
000219 | and p=2/3 yield different frequencies while all finite support patterns
000220 | coincide. Trial independence and probability weights are extra assumptions.
000221 | Thus support-observability does not select numerical probabilities. This
000222 | does not deny that probability can be used to represent deterministic data.
000223 | 
000224 | R is a counterexample to necessary noncommuting continued-system controls.
000225 | If normalized discard followed by either certainty preparation is ALSO
000226 | freely admitted, resets R0,R1 satisfy R0 R1=R0 != R1=R1 R0. Noncommutativity
000227 | then follows immediately, but from that additional control assumption and
000228 | already classically; it is not a quantum selection principle.
000229 | 
000230 | No physical metric time is fixed by these models. Experiment ordering and
000231 | word length are protocol data. Changing all durations while keeping the
000232 | same report rules leaves every stated benchmark answer unchanged. A model
000233 | without duration data proves only non-selection within this operational
000234 | question, not that material experiments require no time to be performed.
000235 |