Chapter 14SPC-2 · Version 2
Why a manifestation law is additional
The preceding parts describe source/readout relations and capabilities of physically realized systems. This part supplies the proposed laws of manifestation. Its first task is to identify which choices the physical results leave open, so that the later constitution makes those choices explicitly. The underdetermination examples below explain why a constitutive law is needed; they do not replace the positive argument for the particular law adopted.
14.1 Common source does not determine a bridge
The physical results establish structures that a vessel can realize. They do not yet determine an experiential assignment. Let , with and . Both are descriptions of the same source, but no function satisfies . A common-source ontology alone does not imply the desired fibre compatibility.
Adding a constant awareness argument imposes no further mathematical restriction. For every and fixed , the map is a possible assignment on . Primitive awareness can be a legitimate ontological commitment while leaving the entire manifestation map unspecified. Its introduction must therefore be followed by actual laws rather than treated as the completion of the theory.
14.2 Regularity and symmetry leave genuine freedom
Fix , its ordinary metric and orientation, and landmarks . For , set
These maps preserve the landmarks and obey . Their derivatives are
which are bounded between and . Thus they are monotone bi-Lipschitz homeomorphisms. Coordinatewise extension respects Cartesian product composition. Repairs that preserve preserve every such assignment.
Distinct values of nevertheless give different maps. The orientation-preserving isometry group of the fixed interval with its landmarks is trivial. Hence these alternatives are not removed by that declared gauge. The example refutes uniqueness under the specific regularity, symmetry, and composition conditions just stated. It does not refute every richer naturality law on an independently specified category.
A naturality condition can relocate rather than remove the ambiguity. If both a phenomenal functor and its bridge are unknown, conjugating every phenomenal morphism by an invertible change of representation gives another natural pair. Likewise, replacing a manifestation map and compensating its decoder can preserve all outputs. The unknown target-side structure must be independently constrained or explicitly fixed by a constitutive law.
14.3 Report laws and latent descriptions
A general latent model writes
If both and are unrestricted, invertible changes of latent coordinates leave unchanged after the corresponding decoder transformation. More general inequivalent latent spaces can also induce the same report law. Thus a fitted report distribution is not automatically a unique phenomenal law.
An independently specified physical descriptor and experience-facing measurement map define a conditional factorization problem [33]. This formulation permits the target to constrain the descriptor rather than be defined by it. The stronger constitutive proposal below makes a different move: it identifies phenomenal relational organization with a canonical physical predictive object. This excludes alternative organizations by a declared law, not by claiming that generic regularity or report agreement has already ruled them out.
14.4 Quantitative aperture adequacy
Let be finite, a proposed descriptor, and an independently nominated target. Define
The best deterministic bridge through has exact uniform error
On a fixed fibre let be the minimum and maximum target values. Every single number approximating both has maximum error at least . Choosing their midpoint attains the bound on that fibre. Make this choice independently on each fibre and take the largest error.
□Exact factorization is the zero-error case. Refining a descriptor subdivides its fibres and cannot increase the optimal error. If , the two optimal errors differ by at most . Consequently a same-descriptor contrast larger than rejects every bridge with uniform modeling error at most , provided the equality of descriptors and the measurement bounds are independently justified.
This assesses descriptor adequacy. For a distribution-valued target, the corresponding problem is a minimum enclosing radius in a declared probability metric; half the diameter need not be optimal. The scalar formula therefore does not establish the general metric case or detect awareness.