Addendum 86 - The Status of a Physical Mapping
Formal Consistency, Physical Tests, and Symmetric Evidentiary Burdens
Abstract
A physical mapping identifies how boundary-defined count relations become readable in a specified physical domain. Evaluating that mapping requires separating its formal definitions, conditional derivations, physical assignments, predictions, and claims of causal priority. These claims have different evidentiary requirements. Their status cannot be inferred collectively from the success or failure of one equation.
R²D establishes a boundary-relative architecture of distinguishable states and compatible subordinate realizations. Applying that architecture to a particular physical system requires identifying the boundary, state classification, admissible realizations, and measurement relation. Formal consistency establishes that a proposed mapping respects its definitions. Empirical support establishes that specified observable consequences agree with evidence. Neither status, by itself, establishes every further claim about enclosing causal agency.
The same requirements apply to conventional accounts. Successful local equations establish the results they predict within their stated domain. A further claim that local objects and interactions define an enclosing organization requires a whole–part argument. Conversely, a conventional theory that makes no such claim should not be judged as though it had asserted a universal bottom-up ontology.
This addendum provides a claim-specific procedure for retaining valid results, identifying unresolved assignments, repairing formal inconsistencies, testing physical predictions, and evaluating causal-priority claims symmetrically.
1. A Mapping Begins with Defined Count Relations
At a specified boundary \(B_n\), let \(\mathfrak M_n\) be a finite domain of admissible compatible joint realizations of subordinate peers, and let \(\mathcal M_n\) be its readable macrostate classification. The boundary-defined map is
\[ \pi_n:\mathfrak M_n\longrightarrow\mathcal M_n. \]
For an admissible macrostate \(i\) with a nonempty classification fiber,
\[ W_{n,i}=\left|\pi_n^{-1}(i)\right|, \qquad S_{n,i}=\ln W_{n,i}. \]
Here \(W_{n,i}\) counts possible compatible realizations. It does not count which realization actually occurred. The logarithm supplies a dimensionless coordinate of that possible count.
These definitions establish the organization of the count domain. They do not, on their own, identify a laboratory preparation, a detector record, a spatial ruler, or a physical unit. Those identifications belong to the physical mapping.
A mapping must specify:
- Boundary: the relation defining the count domain.
- States: the distinctions readable at that boundary.
- Compatibility: the conditions determining admissible joint realizations.
- Classification: the assignment of those realizations to readable states.
- Readout: the relation connecting the defined counts or coordinates to observable quantities.
- Domain: the conditions within which the assignment is claimed to hold.
The physical boundary need not be a material surface. Its definition must nevertheless be sufficiently explicit to determine what is counted and what the physical read represents.
2. Separate the Claims Before Assigning Status
A proposed application can contain several different kinds of statement.
| Claim type | What it establishes or proposes | What must be evaluated |
|---|---|---|
| Definition | The meaning of a boundary, state, count, or coordinate. | Whether the terms are specified consistently and used with the same meaning. |
| Conditional derivation | A conclusion follows from stated premises. | The implication and the premises on which it depends. |
| Physical mapping | A particular system instantiates the defined relations. | Boundary assignment, classification, compatibility, and calibration. |
| Prediction | The mapping has specified observable consequences. | Agreement with independently assessed evidence within the stated domain. |
| Causal-priority claim | One relation defines or organizes another. | The formal whole–part relation and the evidence connecting it to the physical system. |
| Universality claim | The architecture or mapping extends across domains. | Its stated scope and the evidence or argument licensing that extension. |
One statement can participate in several rows. They must still be evaluated separately.
A derivation can be valid while its physical assignment remains unresolved. A prediction can be accurate while an attached account of agency remains unestablished. A mapping can fail while a conditional count result survives.
Publication or inclusion in a canon records what a framework asserts. It does not change the evidentiary type of the assertion.
3. Formal and Empirical Status Are Distinct
The following judgments should be attached to specified claims.
| Judgment | Basis | Consequence |
|---|---|---|
| Valid conditional result | The conclusion follows from the stated premises. | Retain the implication at that scope; evaluate physical premises separately. |
| Unresolved physical mapping | A proposed assignment lacks an adequate calibration, discriminating test, or other required bridge. | Identify the missing bridge and leave the physical assignment open. |
| Formally inconsistent mapping | The assignment conflicts with its definitions, count types, dimensions, or claimed mathematics. | Repair or reject that assignment as written. |
| Empirically contradicted mapping | Observable consequences conflict with sufficiently reliable evidence within the claimed conditions. | Revise or reject the implicated assignment or auxiliary premise. |
| Empirically supported mapping | Observable consequences agree with relevant evidence under adequately specified conditions. | Record the support and its scope; distinguish predictions shared with other mappings. |
These judgments are not mutually exclusive labels for an entire manuscript. They describe different claims and dimensions of evaluation.
Formal validity does not supply a physical calibration. Missing calibration does not establish a formal contradiction. Empirical agreement supports the consequences tested; it does not automatically settle claims the test cannot discriminate.
A mapping with no identifiable observable consequences can be considered formally, but its physical status cannot be settled through an unspecified experiment.
4. Count Types Must Survive the Mapping
Suppose a proposed detector mapping identifies \(W_{n,i}\), in its meaning, with the number of clicks actually recorded.
That identification exchanges a possible-count quantity for a realized-occurrence quantity. The error can be established from the definitions before performing another experiment.
A proposed numerical relation between independently defined possible counts and recorded occurrences is a different claim. It can be coherent and testable, provided the relation and its assumptions are stated.
The evaluator must distinguish
\[ \text{identity of meaning} \]
from
\[ \text{hypothesized numerical correspondence}. \]
Similarly, normalizing different counts does not make their underlying domains identical. For example,
\[ \frac{5}{10}=\frac{500}{1000}=\frac12 \]
preserves a proportion while omitting the absolute counts. It also says nothing about whether the two classifications have the same compatibility structure.
A fractional reading must therefore retain enough information about its defining boundary to support any further physical comparison. Equal normalized values alone do not establish equality of the primitive relations being read.
5. A Physical Test Must Identify What Can Fail
A discriminating test requires a specified mapping and observable consequences. It should identify:
- which quantities are measured independently;
- which parameters are calibrated and which are fitted;
- which preparations or constraints are varied;
- what outcome the mapping predicts;
- what uncertainty and auxiliary assumptions enter the prediction;
- which outcomes would challenge the mapping in its stated domain.
Independent determination of every primitive count is not always operationally available. In that case, the proposed bridge must explain how measurable consequences follow and where calibration or inference enters. An unavailable measurement must be reported rather than silently replaced by the observation the mapping was constructed to explain.
If evidence contradicts a prediction, the immediate target is the combination of mapping and auxiliary assumptions that generated it. Further analysis identifies which element failed.
A critic need not establish a rival universal ontology before demonstrating such a conflict. A successful rival fit, however, is not itself a contradiction unless the compared claims make incompatible consequences in the tested conditions.
The scope of failure matters. Failure of a physical assignment does not erase a valid conditional implication whose premises remain explicitly hypothetical.
6. Prediction Does Not Automatically Establish Agency
A local equation can accurately describe how selected variables change under specified conditions. That success does not independently establish that those variables define all the conditions organizing their change.
Within the R²D classification,
\[ i=\pi_n(m), \qquad m\in\mathfrak M_n, \]
the local realization is classified through an enclosing-defined relation. Describing \(m\) does not, by itself, derive the classification map, admissible domain, or compatibility conditions.
A proposed account of enclosing causal sufficiency must establish how its local description supplies those relations. Treating the local event as necessary for realization is insufficient to demonstrate that it independently defines the organization being realized.
This distinction applies symmetrically.
For R²D, identifying an enclosing classification does not automatically establish a particular physical causal intervention or verify the architecture’s universal physical application. The physical assignment and proposed observable consequences must be supplied.
For a conventional account, successful local dynamics do not automatically establish primitive bottom-up priority. If the theory makes no enclosing causal-priority claim, the appropriate status is:
No causal-priority claim in the local theory.
If such priority is asserted, ask for the whole–part definitions and argument supporting it.
Scientific usefulness and causal attribution are separate claims.
7. Application to the Boundary-Projection Addenda
Addendum 84, Paradox as Boundary Projection, examines the continuation of a count, coordinate, or ruler after the conditions defining its physical read change.
Its muscle example gives a conditional mechanical threshold for a specified reversible process:
\[ \kappa_{\mathrm{sys}}d^2 = T\Delta\Delta S_{\mathrm{th}}. \]
The result must be evaluated through the mechanical model, defined entropy increment, and conditions supporting that comparison. It does not independently classify every singularity in fluid dynamics, gravity, or cosmology. Each extension requires a physical mapping identifying the relevant distinction and its condition of validity.
Addendum 85, Local Agency and Enclosing Dependence, distinguishes local realization from enclosing sufficiency and develops boundary before representation. Its applications to markets, institutions, ecosystems, and human narratives require the corresponding boundaries and readouts to be specified.
Recognizing the same logical ordering across examples can motivate a mapping. It does not replace its construction.
Conversely, absence of a completed social or cognitive mapping does not undo the formal distinction between a local read and the enclosing relation it purports to define.
8. A Symmetric Claim Ledger
Before changing a claim’s status, record:
- Target: the exact statement and its claim type.
- Premises: the definitions, assumptions, and domain supporting it.
- Independent result: the observation or derivation being compared.
- Bridge: the identification connecting that result to the target.
- Judgment: what is supported, unresolved, formally inconsistent, or empirically contradicted.
- Scope: the conclusions affected and those that remain.
- Next determination: the measurement, calibration, or derivation that could resolve the remaining question.
Use this ledger for R²D and conventional accounts alike. Neither microscopic status nor enclosing vocabulary substitutes for the bridge.
An observation should change the status of the claim it bears on. It should not be promoted into an unrestricted verdict on a framework.
9. Universality and New Extensions
Part I’s boundary-relative definitions, a physical realization of those definitions, and their universal physical applicability have different logical roles.
Where a specified classification satisfies the definitions, the associated count consequences follow. Whether a particular physical domain instantiates that classification is a mapping question. Whether the architecture applies universally is a further claim with a broader burden.
The same discipline applies when introducing experience, life, intelligence, or social persistence.
For example, the proposed identification of experience with sustained closure is an additional definition or postulate. The existence of closure or persistence in a system does not independently establish that identification. Its consequences and criteria must be developed explicitly.
Likewise, identifying a learned AI score with a possibility coordinate requires specifying the relation being represented, the relevant count support, and what the normalization preserves. Formal correspondence and empirical fidelity remain distinct determinations.
A new extension should state what is inherited from the canon, what is newly proposed, and what observation could evaluate the proposed bridge.
10. Conclusion
A physical mapping is evaluated at the level of its claims.
Formal definitions establish meaning. Conditional derivations establish implications. Physical assignments establish a proposed correspondence. Tests evaluate its observable consequences. Causal-priority and universality claims require the additional arguments their scope entails.
The governing principle is
\[ \boxed{ \text{A result changes the status of the claim it tests, through an explicit bridge.} } \]
This preserves valid count results while exposing faulty assignments. It permits physical evidence to challenge R²D mappings and requires the same explicit treatment of conventional claims to enclosing agency.
Neither publication nor predictive success automatically establishes an ontology. Neither an unresolved calibration nor the failure of one assignment automatically defeats every claim built from the framework.