Physical premise (IDWT): Physical spacetime has infinitely many ordinary spatial dimensions plus time. Matter occupies up to ten spatial dimensions; all remaining spatial directions are unbound for every particle. Depth counts a pattern's bound spatial involvement within that space. “Observed” and “unobserved” describe an observer's access, not different kinds of dimension. Older projective and nested-geometry calculations below retain their additional hypotheses; they do not establish a separate physical manifold or compactified direction. See spatial meaning and mathematical scope.

Summary: Research record, section 41: The reciprocal pushforward formulation is more faithful to current V2.

Provenance

Preserved from interaction notebook section 41, recorded 2026-09-05 and corrected 2026-09-06. Original sequence contents. This is an exploratory research record, not an independently established V2 result. Read the related later audits before using an intermediate conclusion.

41. The reciprocal pushforward formulation is more faithful to current V2

The bound-within/free-without theorem uses a pushforward rather than simple orthogonal deletion. For a higher-depth current J6(x,y)J_6(x,y),

MJ6=(π62)∗J6=∫J6(x,y)dμF(y). M J_6 =(\pi_{62})_*J_6 =\int J_6(x,y)d\mu_F(y).

The lower-depth carrier is lifted cylindrically by

L=π62∗. L=\pi_{62}^*.

With normalized fibre pairing, the structural identity is

ML=I ML=I

on the lower-depth test space, in the generalized/box-normalized sense already used by the contact theorem.

Therefore the electromagnetic lifting condition is naturally

(π62)∗ K6 π62∗=KEM(2). \boxed{ (\pi_{62})_*\,\mathcal K_6\,\pi_{62}^* =\mathcal K_{\rm EM}^{(2)}. }

Any correction N\mathcal N satisfying

(π62)∗ N π62∗=0 \boxed{ (\pi_{62})_*\,\mathcal N\,\pi_{62}^*=0 }

is invisible to the direct depth-two pushforward test.

Such an N\mathcal N may nevertheless act nontrivially on variations within the fibre and can therefore correlate higher-depth coordinates.

This is much closer to IDWT than the earlier ordinary six-dimensional Maxwell extrapolation.