TFPT scientific source excerpt
Original repository path: experiments/theory-contracts/foundational-process-classification-20261016/OBSERVABILITY.txt
Original file SHA-256: 5253c7df5f3347129e2eb5d8e6bb161d09d9fa19ae64a456ca967eebc7439468
Inclusive original lines: 1-92
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.

000001 | [OMITTED: non-scientific conversation or execution metadata]
000002 | [OMITTED: non-scientific conversation or execution metadata]
000003 | [OMITTED: non-scientific conversation or execution metadata]
000004 | 
000005 | 1. Change of question and level of the claim
000006 | 
000007 | The new request supersedes the proposed automatic continuation from the DAG
000008 | theorem to an axiom of protected memory. That theorem and the four preceding
000009 | starting classes remain valid within their stated assumptions. They are NOT
000010 | premises here. We first ask what observable, repeatable distinctions require,
000011 | then deliberately retain inequivalent models instead of choosing new rules
000012 | to eliminate their ambiguity. No TFPT, quantum, complex, Hilbert, E8, carrier
000013 | rank, spacetime, energy or clock structure is a model-selection criterion.
000014 | 
000015 | There is no formal theorem about literally every imaginable world until a
000016 | meaning of observation and a domain of models are specified. We distinguish:
000017 |  L1: consistency of a fully specified mathematical countermodel;
000018 |  L2: a conditional necessity theorem over an explicitly stated model class;
000019 |  L3: a testable account of the physical world with independently supported
000020 |      premises and predictive content not installed in those premises.
000021 | This study supplies L1 countermodels and elementary L2 boundaries. No new
000022 | physical data were acquired. No L3 result or literature priority is claimed.
000023 | 
000024 | 2. Minimal vocabulary versus independent empirical assumptions
000025 | 
000026 | Begin with preparations/protocol choices, distinguishable report labels,
000027 | finite records h, and available continuations q. No microscopic state is
000028 | initially primitive. A support answer lists which subsequent records are
000029 | allowed; a weighted answer additionally supplies numerical probabilities.
000030 | The latter is more structure and is not silently included in the former.
000031 | 
000032 | The following operational commitments are separated:
000033 |  O1: reports and their equality/difference can be recognized;
000034 |  O2: a declared preparation/context can be used again with the same answer
000035 |      rule at the stated level (supports or quantitative statistics);
000036 |  O3: certain serial continuations are available with fixed typing;
000037 |  O4: for a selected test q, each attainable first report is repeated with
000038 |      certainty/necessity on an immediate second q;
000039 |  O5: two available preparations make different reports of q certain.
000040 | 
000041 | O1 is definitional for a nontrivial observable distinction. O2 expresses the
000042 | reproducibility to be studied; extending a finite observation to every future
000043 | use is a hypothesis, not a consequence of recognizing a report. O3 is a
000044 | protocol-composition assumption, not a derivation of global physical time.
000045 | O4 and O5 are deliberately STRONGER test conditions than mere observation.
000046 | They provide a common sharp benchmark, not the definition of every possible
000047 | observation. Exact repeatability is an idealization; finite error tolerance
000048 | would need an additional quantitative formulation.
000049 | 
000050 | Independence controls:
000051 |  - Two written labels with only one attainable report provide no actual
000052 |    distinction.
000053 |  - A deterministic device can read b correctly and then reset its input to
000054 |    zero. It distinguishes preparations0/1 at first use, but q q on input1
000055 |    reports10: observation and perfect first discrimination do not imply O4.
000056 |  - A one-report device repeats perfectly without a nontrivial distinction.
000057 |  - A random first report followed by perfect copying can be repeatable even
000058 |    if the original preparation menu contains no two certainty preparations.
000059 |  - A protocol with one available interrogation need not allow q q at all.
000060 | 
000061 | Thus observation alone does not establish persistent material memory,
000062 | probabilities, a physical causal order or unrestricted composition/control.
000063 | Comparison of two recorded results needs accessible comparison information
000064 | within that experiment; this does not establish an eternally conserved
000065 | microscopic carrier or an observer subsystem.
000066 | 
000067 | 3. Common conditional consequence and its exact strength
000068 | 
000069 | Assume the sharp benchmark O1--O5. Histories ending with report0 and report1
000070 | have different residual answers to the same continuation q: only0 versus
000071 | only1. Consequently they are different operational predictive classes.
000072 | There are at least two reachable continuation-distinguishable classes, and
000073 | q preserves this result label under uninterrupted repetition.
000074 | 
000075 | This elementary residual-distinction lemma uses the same observational
000076 | quotient principle as automata minimization, now applied to actual declared
000077 | answers. It is a representational consequence of repeatable discrimination,
000078 | not a new explanation of the origin of physical states. The quotient does
000079 | not supply a microscopic ontology, a material memory, or a unique carrier.
000080 | 
000081 | Crucially, result repeatability does NOT imply that the entire post-test
000082 | state is fixed or that a branch T_a satisfies T_a squared=T_a. Counterworld:
000083 | read a from (a,c), retain a, increment c modulo3; a separate counter readout
000084 | distinguishes c. Every repetition reports a, while successive branch maps
000085 | keep changing an independently accessible internal coordinate. Nor does the
000086 | lemma supply non-disturbance of other tests, a metric duration, an entropy
000087 | arrow, energy conservation or a tensor product.
000088 | 
000089 | The shared result goes beyond a list of output labels by identifying
000090 | distinct continuation classes. It does not go beyond the substantive content
000091 | of the assumed repeatability in a way that explains new fundamental physics.
000092 |