Universal-Solenoid Visible-Hidden Motion Classification

Abstract

The universal solenoid is connected but not path-connected. A change of its hidden path-component coordinate publicly yields both a nonzero discrete address jump and a crossing between real-flow streamlines, while joined points have the same hidden coordinate.

Theorem 1.1 (Visible phase paths and hidden address jumps are exhaustive).

$$\begin{array}{c}(\mathrm{ConnectedSpace}\left(UniversalSolenoid\right)\wedge \neg \mathrm{PathConnectedSpace}\left(UniversalSolenoid\right))\wedge \\ (\forall x,y:UniversalSolenoid,\mathrm{Joined}\left(x,y\right)⟺\exists t:\mathbb{R},y=\mathrm{realFlow}\left(t\right)+x)\wedge \\ (\forall x,y:UniversalSolenoid,\mathrm{projection}\left(x\right)=\mathrm{projection}\left(y\right)\Rightarrow \mathrm{let}hiddenDifference:\ker (projection):=y-x,\mathrm{let}hiddenCoordinate:\mathrm{AddHom}\left(UniversalSolenoid,\mathrm{QuotientAddGroup}\left(UniversalSolenoid,\mathrm{range}\left(realFlowHom\right)\right)\right):=\mathrm{quotientMap}\left(\mathrm{range}\left(realFlowHom\right)\right),((hiddenCoordinate\left(x\right)\ne hiddenCoordinate\left(y\right)\Rightarrow (\exists jump:\mathrm{AddHom}\left(\mathbb{Z},HiddenAddress\right),jump\left(1\right)=\mathrm{symm}\left(hiddenKernelAddEquiv,hiddenDifference\right)\wedge jump\ne 0\wedge \neg \exists flow:\mathrm{CAddHom}\left(\mathbb{R},HiddenAddress\right),\mathrm{comp}\left(\mathrm{toAddMonoidHom}\left(flow\right),\mathrm{castAddHom}\left(\mathbb{Z},\mathbb{R}\right)\right)=jump)\wedge \neg \mathrm{Joined}\left(x,y\right))\wedge (\mathrm{Joined}\left(x,y\right)\Rightarrow hiddenCoordinate\left(x\right)=hiddenCoordinate\left(y\right))))\wedge \\ (\forall \gamma :C\left(\mathbb{R},UniversalSolenoid\right),\exists !data:C\left(\mathbb{R},\mathbb{R}\right)\times \ker (projection),\mathrm{fst}\left(data\right)\left(0\right)=\mathrm{baseRepresentative}\left(\gamma ,0\right)\wedge \forall t:\mathbb{R},\gamma \left(t\right)=\mathrm{realFlow}\left(\mathrm{fst}\left(data\right)\left(t\right)\right)+\mathrm{snd}\left(data\right))\wedge \\ (\forall first,second:HiddenAddress,first\ne second\Rightarrow ((\neg \exists motion:unitInterval\to HiddenAddress,\mathrm{Continuous}\left(motion\right)\wedge motion\left(0\right)=first\wedge motion\left(1\right)=second)\wedge (\exists jump:\mathrm{AddHom}\left(\mathbb{Z},HiddenAddress\right),jump\left(1\right)=second-first\wedge jump\ne 0\wedge \neg \exists flow:\mathrm{CAddHom}\left(\mathbb{R},HiddenAddress\right),\mathrm{comp}\left(\mathrm{toAddMonoidHom}\left(flow\right),\mathrm{castAddHom}\left(\mathbb{Z},\mathbb{R}\right)\right)=jump)))\wedge \\ (\forall jump:\mathrm{AddHom}\left(\mathbb{Z},HiddenAddress\right),jump\ne 0\Rightarrow \neg \exists flow:\mathrm{CAddHom}\left(\mathbb{R},HiddenAddress\right),\mathrm{comp}\left(\mathrm{toAddMonoidHom}\left(flow\right),\mathrm{castAddHom}\left(\mathbb{Z},\mathbb{R}\right)\right)=jump).\end{array}$$

Proof. Machine-checked in Lean as D5/S3/Observer/GoldenCoding/VisibleHiddenMotionClassification.universal_solenoid_visible_hidden_motion_classification (✓ std3). ∎

Source. Repository-derived.

Commentary.

The universal solenoid is connected, but an explicit hidden-kernel point lies outside the real-flow orbit of zero. The frozen path-orbit classification therefore supplies both non-path-connectedness and the exact path-reachable set of every point.

For two points in one visible fiber, the kernel difference supplies the prime-adic address change. The quotient by the real-flow range is the canonical hidden path-component coordinate. If that coordinate changes, the address difference generates a nonzero integer jump with no continuous real extension and the endpoints are not joined. This conjunction is stronger than the source classification’s disjunction.

Every continuous solenoid path has a unique real lift normalized at time zero and one constant element of the visible projection kernel. This is the whole-solenoid phase branch of the classification.

For any two distinct hidden addresses, no continuous unit-interval hidden motion joins them. Their difference canonically generates a nonzero integer-parameter additive action, and continuous hidden-flow rigidity prevents that action, or any nonzero integer action, from extending to a continuous additive real flow.

References

• Truth anchor: D5/S3/Observer/GoldenCoding/VisibleHiddenMotionClassification.universal_solenoid_visible_hidden_motion_classification
• Dependency: D5/S1/Solenoid/Connectivity/SameFiberPathOrbitCriterion
• Dependency: D5/S1/Solenoid/HiddenMotionRigidity
• Dependency: D5/S1/Solenoid/StreamlineDecomposition
• Dependency: D5/S3/Observer/HiddenFlow/DiscreteRigidity
• Dependency: D5/S3/Observer/HiddenFlow/StreamlineExistence