# Cross-Substrate Notes This note translates the Mesa -> Geometry crossover discipline into the rest of the Sundog portfolio. It started Threebody-scoped (§§1-5); §§6-8 are the portfolio-wide expansion. It is not evidence by itself. It is a design guardrail for turning "Sundog works across substrates" into testable phase specs instead of theme-matching. > **Doc-evolution note (2026-05-22).** Sections 1-5 are the original > Threebody-scoped transfer notes (Mesa -> Geometry -> Threebody, the > direction the cross-pollination first ran). Sections 6-7 are an > expansion: now that the cap-set / unit-distance / chat / mesa-interp > conversation has converged on shared top-level vocabulary, this doc > is the right "catch can" for cross-substrate generalizations that > apply to more than Threebody alone. If the catch-can use ratchets > past two more substrates, consider relocating from > `docs/threebody/` to `docs/CROSS_SUBSTRATE_NOTES.md` so the path > matches the scope; for now the existing imports from other docs > keep us here. The full provenance trail for §§6-7's vocabulary > lives in > `internal/feedback/Human/REDDIT_ImOutOfIceCream_UNIT-DISTANCE.md`. > **Relocation note (2026-05-31).** The catch-can has now ratcheted past the > threshold flagged above: the Faraday / Maxwell framing synthesis (§8) is the > substrate that tipped it, so this doc has moved to its predicted top-level home > `docs/CROSS_SUBSTRATE_NOTES.md`. A compatibility pointer stub remains at the old > `docs/threebody/CROSS_SUBSTRATE_NOTES.md` (project precedent: the Faraday README > pointer pattern), so historical inbound links keep resolving. Internal relative > links were rewritten one directory up; the bidirectional lane-ledger backlinks > now point at the new path. The `§6.5 -> §6.6` compander ratchet anchor moved > with the file; its path string in > `internal/feedback/Human/REDDIT_ImOutOfIceCream_UNIT-DISTANCE.md` was updated to > match. ## Cross-Substrate Generality Failure Map > The promoted companion to §1 "What Transfers": **where the projection / > signature-control operator hit a boundary.** Collecting the failures by > *mode* is the design guardrail this whole doc exists for - "Sundog works > across substrates" is only as honest as its catalogued failure boundaries. > Each entry is its own failure mode; the recurring lesson (§6.3) is that a > sharp control-regime-2 needs a **body that genuinely resists its shadow**, > and the bullets below are the distinct ways that requirement can fail. > Bidirectional: each lane ledger links back here. - **Navier-Stokes C1 - MARGINAL (near-invertible projection).** 2D Kolmogorov at moderate Grashof is low-dimensional, so the low-Fourier shadow `Phi_K` nearly reconstructs the body (read-off `FVE ~ 0.99` in both physical norms). State-rigidity and control-rigidity nearly coincide -> the regime-2 separation is strictly non-vacuous but **physically marginal**; the only under-determined content is dynamically-negligible dissipation-range noise (§6.3 row). The non-marginal regime needs high `G` / 3D (numerical wall). -> [`SUNDOG_V_NAVIERSTOKES.md`](SUNDOG_V_NAVIERSTOKES.md), [`proof/PDE_C1_NONMARGINAL_PROBE.md`](proof/PDE_C1_NONMARGINAL_PROBE.md). - **Navier-Stokes C2 (Sabra shell) - NUMERICAL WALL (shadow unmeasurable with current tooling).** Fixed-dt RK4 blows up integrating through the intermittent dissipation bursts the task is about (four-obstruction catalogue); the matched-budget comparison never ran. Not a result - a *tooling* boundary. Resume needs an adaptive/stiff integrator (the shared C1-high-G / C2 build). -> [`proof/PDE_C2_CELLSET_SABRA_v1.md`](proof/PDE_C2_CELLSET_SABRA_v1.md). - **Yang-Mills (SU(2) 3D, Phase 2) - BOUNDED NULL (shadow carries no separating structure on the cell).** Five `YM-P2-NEG-A` reads now span the original bare / smeared / correlator signatures against held-out coupling/spatial variance plus the amended finite-T Polyakov target. The v4/v5 powered-target audits were underpowered and the first v6 pilot was an unbracketed-grid void, but v6a supplied the missing powered+disjoint target and still scored at or below controls. Bounded cell-local null, lane PAUSED; external-review packet needs the v6a addendum before send. -> [`SUNDOG_V_YANG_MILLS.md`](SUNDOG_V_YANG_MILLS.md), [`yang-mills/receipts/2026-05-29_SU2_3D_phase2_bounded_null_synthesis.md`](yang-mills/receipts/2026-05-29_SU2_3D_phase2_bounded_null_synthesis.md). - **Riemann (Path i) - VACUOUS (rigidity trivially satisfied).** The `Z2`-descent is admitted but vacuous on gap-only features: the maximum reflection residual is identity-zero, so the projection's rigidity check passes *for the wrong reason* and carries no information. Escalation = an `S3`-triple bridge (Probe 01b) or external sanity check. -> [`SUNDOG_V_RIEMANN.md`](SUNDOG_V_RIEMANN.md). - **P-vs-NP - COST-BOUNDED (the shadow works, but the operating envelope blocks promotion).** Bounded alignment-verification: v0-v5 are all named quarantines - safety repaired (0 false accepts since v2, 0 spoof since v1) but the **cost gate** never clears (cap not_estimated; rollout ratio / absolute wall-time fail). The projection is control-useful yet bounded out of promotion by its cost envelope. -> [`SUNDOG_V_P_V_NP.md`](SUNDOG_V_P_V_NP.md). - **ARC-AGI - CONVERGENCE-TO-NULL (needs a reframing, not another sweep).** Phase 3 converged deterministically across three task-hardness receipts; Branch C selected, lane PAUSED. Reopening requires a different framing (stochastic per-task, Pass-C threshold revision, or a new framing) - not more cells of the same shape. -> [`SUNDOG_V_ARC.md`](SUNDOG_V_ARC.md). - **Isotrophy - CONDITIONAL (rigid only after naming the held-fixed coordinate).** The velocity-fraction shadow ranks stability only *within* fixed `m3` strata; it fails as a mass-marginal held-out predictor. Already documented at §7.2; listed here for the map. - **Threebody - DEFLATIONARY (the projection is simpler than first claimed).** Phase 18 reduced "guarded TRACK / tidal sensing" to a radius-gated inward reflex - an over-attribution corrected, not a separation. Already at §7.3. - **Faraday / classical EM - IDENTITY-SUCCESS (the shadow closes because the body<->shadow law is a theorem, so there is no body to resist).** The portfolio's only clean structural zero: local plaquette-holonomy data closes Faraday induction with no global reconstruction (Branch A). But the closure is the Bianchi identity `dF = d(dA) = 0` - body-resistance is *exactly zero by theorem* (§8.1), so this is a correctness check on the operator, not a regime-2 separation. The exact-zero anchor of the body-resistance axis that the *marginal* failures (NSE-C1, Mesa, shell) only approach numerically. -> [`SUNDOG_V_FARADAY.md`](SUNDOG_V_FARADAY.md), [`faraday/SHADOW_FARADAY.md`](faraday/SHADOW_FARADAY.md). - **Aharonov-Bohm / EM topology - EXACT-SEPARATION (topological), HYPOTHESIZED.** The same operator's loop tier on a non-contractible patch (`H^1 != 0`): state-insufficient (one flux number cannot rebuild the interior field) yet control-sufficient (it fixes the AB phase), *exactly*, with the gap an `H^1` invariant - while the local `F` tier goes control-blind. The portfolio's first *exact* regime-2 candidate, on a **topological** (not dimensional) resistance axis (§8.2). Pre-registered as the expected landing of Phase 7 case 3; not yet earned by a receipt. -> [`faraday/FARADAY_PHASE7_SPEC.md`](faraday/FARADAY_PHASE7_SPEC.md). **Failure-mode taxonomy.** Eight distinct ways a cross-substrate generalization *fails*: *marginal* (body doesn't resist), *numerical* (shadow unmeasurable), *bounded-null* (shadow non-separating), *vacuous* (rigidity trivial), *cost-bounded* (envelope blocks promotion), *convergence-to-null* (needs reframing), *conditional* (rigid only after conditioning), *deflationary* (over-attribution). Two non-failure anchors now bound the map: *identity-success* (Faraday - the shadow closes because the body<->shadow law is an identity, so there is no body to resist) and *exact-separation* (Aharonov-Bohm - a sharp, exact, topological regime-2, pre-registered). Cataloguing the mode - success or failure - is what turns each substrate into a design constraint for the next. ## 1. What Transfers Mesa and Geometry both converged on field-shaped structure: - Mesa: a behavioral cliff localized to an entangled 5D `net.7` activation subspace, with direction-specific neuron substrates and failed linear decompositions. - Geometry: a small set of shared halo generators whose visible arcs are forward-rich but inverse-narrow, with HaloSim acting as an independent forward oracle. - Threebody: a mapped near-escape survival pocket whose Phase 18 mechanism audit is deflationary: at matched duty, radius-gated inward thrust reproduces guarded TRACK without tidal sensing or gradient steering, while lower-velocity and equal-mass boundaries still expose harms. - Isotrophy: a two-layer audit-chain result. K_facet v0.3h remains a structural null / named-quarantine result on the strict G.2 catalog, while v0.11 registers a separate conditional catalog signal: Floquet velocity-fraction ranks stability within fixed `m3` strata but fails as a mass-marginal held-out predictor. The shared theorem posture is: > Useful action can emerge from indirect signatures when the signature remains > attached to the field, but the attachment is substrate-specific, asymmetric, > sometimes simpler than the first successful controller, and bounded by failure > maps. ## 2. Mesa Lessons for Threebody **Do not collapse variance, salience, and mechanism.** In Threebody terms, a diagnostic can have high AUROC, a large tidal spike, or obvious visual movement without being the causal control handle. Future specs should separate: - warning quality: does a signal forecast escape or close approach? - action coupling: does thrust change that signal in the intended direction? - outcome effect: does the controller improve survival against passive and naive baselines? **Expect direction-specific substrates.** Mesa's basin-inducing and basin-resisting directions did not reduce to one symmetric mechanism. Threebody should treat "move away from hazard" and "maintain bounded near-escape" as different control problems, not as sign-flipped versions of one policy. **Honor smoke-gate negatives.** If a boundary cell fails, stop the branch and record the failure instead of widening the sweep to average it away. Phase 13's full lock passed the high-velocity horizon test, but all risky/negative best cells stayed in the `velocityScale=0.95` band, with all 5 negative cells at mass ratio `1`. That is exactly the kind of boundary Mesa taught us to keep visible. ## 3. HaloSim / Geometry Lessons for Threebody **Use forward oracles to discipline inverse handles.** HaloSim helped Geometry reject a tempting manual tangent-arc fit by checking it against the canonical forward ray-traced curve. Threebody's analogue is to introduce higher-fidelity or more privileged forward checks for candidate control handles before promoting them into public claims. Candidate forward-oracle checks: - Compare the accelerometer/tidal proxy against a privileged local phase-space oracle on the same seeds. - Run short high-precision integration checks on winning cells to ensure the pocket is not a timestep artifact. - Add a "canonical curve" analogue: for each cell, estimate passive hazard quantiles first, then freeze them before controller comparison. - For future 3D builds, keep a validation render/trajectory oracle separate from the public interactive surface, the same way Geometry separates HaloSim from the atlas. **Forward-rich / inverse-narrow is a good warning label.** Geometry can generate many halo primitives from sun altitude, but only one inverse handle currently survives the strict photo gate. Threebody may likewise have many signals that respond to the field, while only one or two are useful for control. Future phase specs should rank signals by validated control utility, not by how physically evocative they are. ## 4. Candidate Future Phases Historical note: this section was drafted before Phases 14-18 ran. The suggestions below remain useful as provenance for the mechanism program, but the current controller interpretation is the Phase 18 result: the favorable survival envelope reduces to radius-gated inward thrust, not tidal-gradient steering. ### Phase 14 - Mechanism Decomposition and Action Coupling Question: is guarded TRACK winning because the accelerometer/tidal signal is the right causal handle, or because the guard happens to suppress bad thrust in the tested pocket? Suggested checks: - Freeze the Phase 13 winning guard and compare against action-shuffled, signal-shuffled, delayed-signal, and sign-flipped controls. - Report warning quality, action coupling, and outcome effect as separate columns. - Pre-register a negative branch where high warning quality with weak action coupling does not support a controller claim. ### Phase 15 - Forward-Oracle / Precision Lock Question: does the positive pocket survive stricter numerical and privileged forward checks? Suggested checks: - Rerun winning and boundary cells at smaller timesteps. - Add energy-drift and integration-error receipts. - Compare accelerometer-proxy TRACK against a privileged local phase-space oracle that is explicitly labeled as an oracle, not a deployable controller. - Preserve the same passive hazard-quantile gates across comparisons. ### Phase 16 - 3D / Spatial Extension Question: does the signature-action coupling survive the first spatial extension, or is it a planar artifact? Suggested checks: - Start with the Phase 13 winning high-velocity cells only. - Add one spatial perturbation axis at a time. - Keep the Phase 13 planar result as the baseline and report degradation, not just absolute survival. - Use a smoke gate before any broad 3D sweep. ### Sidecar - 3D Catalog Isotrophy / Symmetry Descent Historical note: the sidecar no longer stops at the original v0.3 symmetry- descent workbench. The current claim profile is two-layered. First, K_facet v0.3h resolved 20 strict G.2 rows as structural zeros and quarantined O_617 rather than converting it into a false 21/21. Second, the v0.10-v0.13 reopening found a conditional stability signal in the supplementary-B piano-trio catalog: velocity-fraction ranks stable above unstable rows within fixed `m3` strata (`AUC_cond = 0.6783`, exact `p = 2.046e-7`) while the mass-marginal held-out predictor fails (`AUC = 0.4125`). This is a conditional catalog signal, not a promotion of K_facet and not a controller result. v0.12 then tried to externalize it: the frozen rule taken to supplementary-A landed `external_transfer_blocked_by_attrition` (unbiased uniform probe attrition `0.3433`, Wilson95 `[0.2919, 0.3987]` above the 0.20 gate) -- the frozen D5 measurement is numerically intractable on ~1/3 of supp-A, a measurement-feasibility wall rather than a falsification. v0.13 (form locked, runner in progress) opens a signal-blind search for a tractable, independent external target. So the cross-substrate lesson sharpens: a real within-stratum signal can be blocked from external confirmation by the *measurement's* numerical reach, not only by the data. Question: can Sundog make a non-tautological first-principles prediction over an external three-body catalog, before writing another controller sweep? Suggested checks: - Use Li-Liao 2025's 21 equal-mass 3D choreographies and 273 piano-trio orbits as an external catalog, not as a Phase 13-15 continuation. - Treat the published fixed ansatz as the crystal cut: it enforces the concrete beta-class residual `Z2` called `F_beta`, so the count test is facet-conditioned rather than an unconditioned sample over all 3D orbit space. - Classify each choreography by residual spacetime `Z2` generators that survive the `S3 -> Z2` mass perturbation. - Compare the predicted daughter-family count against piano-trio families clustered across the `m3 = 0.1*n` grid. - Treat mismatch as a theorem-sharpening result, not a failed controller experiment. Workbench: - [`sundog_v_isotrophy.md`](sundog_v_isotrophy.md) - [`isotrophy/files.math`](isotrophy/files.math) - [`isotrophy/kfacet/kfacet_v11_m3_conditional_vf_rank_form.md`](isotrophy/kfacet/kfacet_v11_m3_conditional_vf_rank_form.md) ## 5. Documentation Shape Follow the Mesa pattern: - Keep `SUNDOG_V_THREEBODY.md` as the narrative spine and claim ledger. - Put implementation-grade phase locks in `docs/threebody/PHASE*_SPEC.md`. - Put run receipts and claim impact in `docs/threebody/PHASE*_RESULTS.md`. - Keep cross-substrate transfer notes here unless they become a concrete phase. The parent roadmap should summarize decisions and link out. It should not carry every command, threshold, result table, and readback template once a phase has graduated to implementation. ## 6. Top-Level Machinery Vocabulary The Mesa -> Geometry crossover, the cap-set / unit-distance overlay work, and the chat-experiment stack-invariance result are all instances of one operation. Until 2026-05-22 we did not have a precise enough name for it. We do now. ### 6.1 The precise term: projection What we have been calling **substrate shadow** is, in mathematical language, a **projection**: a map from a higher-dimensional space to a lower-dimensional one, often (for linear projections) idempotent (P^2 = P). The 2026 unit-distance proof literally projects the Minkowski lattice in C^f down to one complex coordinate. The 2016 cap-set polynomial-rank argument "reads off" a configuration by the dimension of an associated polynomial space — a projection in the operator sense. The chat-ledger artifact is conjectured to project prompt context into the bottleneck subspaces of the model's residual stream. The Mesa `net.7` `5D` subspace is what the controller's hidden state has been projected into, and the projection has rigidity the constituent SAE features / neurons / PCs lack. *Shadow* remains useful as the layperson metaphor. *Projection* is the precise term and the one we should use when the audience rewards precision — formal write-ups, mech-interp readers, cross-substrate generalizations, and (notably) the isotrophy red-team specs. ### 6.2 The body/shadow decomposition Every substrate where this operation has shown up admits a body/shadow decomposition: - The **body** is the high-dimensional object resisting direct measurement: dots in F_3^n, dots in R^2, a controller hidden state, tokens of a conversation, an `S3` symmetry orbit. - The **shadow** is the lower-dimensional projection that is *more* tractable than the body even though it contains less information: a polynomial-rank count, a CM-lattice projection, a `5D` entangled subspace, a ledger packet, the residual `Z2` generators that survive the `S3 -> Z2` mass perturbation. The shadow has rigidity the body lacks because the lower-dim substrate constrains what is consistent. That is why the body can be "read off" the shadow even though information has been discarded. ### 6.3 Bridging-vocabulary table across substrates | Substrate | Body (resists direct read) | Shadow (the projection we can read) | | --- | --- | --- | | Cap-set | dots in F_3^n with no 3-term AP | polynomial degree / rank over F_3 | | Unit-distance | dots in R^2 with many unit pairs | class-group pigeonhole in CM lattice; first complex coordinate | | Chat agent | token stream / surface response | maintained ledger packet, correlated with bottleneck subspaces | | Mesa controller | controller hidden state (`net.7`, 256-wide but **effectively ~2-dim** - a fn of 6-dim obs) | entangled `5D net.7` subspace - **sharp on irreducibility, marginal on body-resistance** (`FVE(net.7\|5D)~0.97`); see the body-resistance note below | | Geometry / HaloSim | full atmospheric optics | small set of halo generators / canonical implied circles | | Threebody | 18-dim full state | radius-gated inward reflex in the mapped near-escape pocket | | Isotrophy | `S3` symmetry orbit of a 3-body choreography; supplementary-B stability catalog | residual `Z2` generators surviving `S3 -> Z2` mass perturbation; Floquet velocity-fraction conditioned on `m3` | | Navier-Stokes (C1) | 2D Kolmogorov attractor state (finite-Galerkin, 440 real DOF) | low-Fourier signature `Phi_K` (K=3, 18-dim) - **but the body barely resists**: read-off `FVE(body\|shadow) ~ 0.997` (energy) / `0.993` (enstrophy), a near-invertible projection, so the regime-2 separation is **marginal**; genuine under-determination (`R^2 ~ 0.71` per-DOF) sits only in physically-negligible dissipation-range modes | | Faraday / EM (homogeneous) | EM field history on a contractible patch (smooth `A`, `dF = 0`) | plaquette holonomy `∮A = ∫F` - **zero body-resistance *by identity***: closure is the Bianchi identity `dF = d(dA) = 0`, so the shadow reconstructs the body exactly. The exact-zero anchor of the axis (§8.1) | | Aharonov-Bohm / EM (topological) [HYPOTHESIZED] | EM field config on a non-contractible patch (`H^1 != 0`) | loop holonomy `∮A = Φ` - **exact *topological* body-resistance**: one flux number is state-insufficient (cannot rebuild interior `B`) yet control-sufficient (fixes the AB phase); local `F` is control-blind. Portfolio's first *exact* regime-2 candidate; pre-register, earn via Phase 7 case 3 (§8.2) | The columns are the same operator. The substrate-specificity in row 3-5 is what bounds the operating envelope; the cross-substrate recurrence in rows 1-2 is what tells us the operator is real. **Body-resistance is the load-bearing property (2026-05-29, NSE addition).** The Navier-Stokes (C1) row is the table's *marginal boundary*, and it sharpens what "bounds the operating envelope" means for the **control** reading of the operator (Postulate-1: a control-rigid shadow of a state-resistant body). Where the body barely resists the shadow - where the projection is near-invertible, so the body can be reconstructed from the shadow (NSE-C1: `FVE ~ 0.99` in both physical norms) - state-rigidity and control-rigidity nearly coincide and the regime-2 separation collapses toward vacuity (strictly non-vacuous, but physically marginal). So a *sharp* control-regime-2 needs the body to genuinely resist - and **quantifying this (2026-05-29) showed two axes were being conflated**, correcting an earlier over-claim: - **Body-resistance** (`dim(body) >> dim(shadow)`, shadow *cannot* reconstruct the state) - the actual Sundog regime-2 axis. **Cap-set / unit-distance** have it (exponential body). **2D NSE (C1) does not** (low-dim attractor; `FVE ~ 0.99`). **Mesa does not either** - measured by porting the C1 FVE estimator to `net.7`: the 256-wide `net.7` is effectively **~2-dimensional** (participation ratio 2.0, robust across input distributions), so the 5D cliff shadow reconstructs `FVE(net.7|5D) ~ 0.97-0.99`. Structural: `net.7` is a function of the **6-dim** observation, so its image is an intrinsically low-dim manifold - there is no high-dim body to resist. - **Shadow-irreducibility** (the shadow *cannot be decomposed* into sparser/simpler pieces) - a *different* property. **Mesa has this** (the 5D resisted SAE / top-k / PC decomposition; "read holistically"); C1's `Phi_K` does not. So **Mesa is sharp on irreducibility but marginal on body-resistance**, and 2D NSE is marginal on both. Reading Mesa's irreducibility as body-resistance was the over-claim the FVE measurement falsified. **Honest consequence: no *control* substrate in the portfolio is demonstrated sharp on the body-resistance (Sundog regime-2) axis** - both measurable control lanes have intrinsically low-dimensional states; the body-resisting substrates (cap-set, unit-distance) are read-off, not control. A sharp *control* regime-2 needs a genuinely high-dimensional input/state - high-Re turbulence (behind the numerical wall) or high-dim RL/LLM agents (not in the portfolio). The non-marginal NSE regime (high `G` / 3D, where physically-relevant content is genuinely under-determined) sits behind the same numerical wall as the C2 shell model and needs the adaptive integrator. **Three-for-three (2026-05-29): every measurable *control* substrate is marginal on body-resistance.** After C1 (NSE) and Mesa, the Sabra **shell model** — the best PDE candidate, with a forward cascade and a small-scale control objective — was probed cheaply (`PDE_C2_SHELL_DIMENSIONALITY_PROBE.md`, within the fixed-dt stable window): effective rank of the real inertial cascade ≈ **1.7 of 30** (low-rank, slaved power-law), and the perm-arbiter shows the shells are *predictable from the low-shell shadow* (`R²_real ≫ R²_perm`) — directionally **marginal** too (window-limited by the same numerical wall, but eff-rank 1.7 is too low to flip). So the sharp *control* regime-2 is **not** demonstrated anywhere in the portfolio's control substrates — cascade-organized PDEs concentrate their relevant content in slaved/low-rank structure, and the controllers are low-dim by input. The genuinely body-resisting substrates (cap-set, unit-distance) are read-off, not control. **Where it would live: a substrate that is high-dimensional *by construction* — high-dim RL / LLM agents (high-dim observations or model states) — which is the structural property all three measured substrates lack.** Measured detail: `sundog/docs/proof/PDE_C1_NONMARGINAL_PROBE.md`, `PDE_C1_PROPOSITION.md`, `PDE_C2_SHELL_DIMENSIONALITY_PROBE.md`. **The prediction tested (2026-05-30): first de-confounded *control* regime-2 — on an LLM-like substrate, at low dimensionality.** The "where it would live" claim above was built and probed in the new `chatv2` lane (`sundog/docs/chatv2/`): a from-scratch transformer trained generatively on a synthetic `H`-latent channel task, with the C1/Mesa fingerprint ported to its residual stream. Two methodology catches came first and both matter for reading the result: (i) the initial run looked *marginal* but was a **variance-masking artifact** — transformer "massive-activation" outlier features hid the latent code from the variance metrics (`eff_dim ≈ 1.6` while 16 latents were linearly decodable); an information-basis re-measurement (`d_dec`, leak, body_carry) overturned it. (ii) The first computed-latent substrate failed a **mandatory linear-input-probe pre-check** (the latents were passively input-decodable — the same confound that makes the result trivial); a pair-XOR latent (provably not linearly decodable) fixed it. **With both controlled, the generative body is state-insufficient-yet-control-sufficient with a clean *objective-driven* contrast: the control-only twin fails to build the non-decision state (`body_carry` ≈ chance) where generative training builds it (~0.9) — SHARP at `H = 2, 4`.** This is the **first sharp control regime-2 in the portfolio** — the thing C1 / Mesa / shell could not show. **Honest bounds:** it holds only at *low* dimensionality (2–4); the genuinely high-dimensional regime (`H ≥ 8`) is **blocked by a learnability wall** (the small model fails to learn the pair-XOR aggregation — `eval_loss ≈ chance`, an *undertraining* F3′, **not** marginality), so a *high-dim* resisting body is still **unproven, not refuted**; it is a synthetic toy, not a real LLM; and it is **unpromoted**. Detail: `sundog/docs/chatv2/PHASE0_2_COMPUTED_LATENTS.md` (+ `PHASE0_MINIMUM_FALSIFIABLE.md` Amendment 1). **Resistance has (at least) two axes (2026-05-31, Faraday addition).** The body-resistance discussion above is *dimensional* - `dim(body) >> dim(shadow)`, the cap-set / unit-distance / high-dim-control axis, the one every measured control substrate falls short on. Faraday / Aharonov-Bohm add a second, *topological* axis: on a non-contractible domain the *local* gauge-invariant shadow (`F`) is a complete set of local observables yet fails to determine a *global* one (the AB holonomy), with the gap living in `H^1`. This resistance is independent of dimension - AB's body is low-dimensional but resists *exactly*, because the obstruction is cohomological, not dimensional. So "the body resists its shadow" can mean *too big to reconstruct* (dimensional) or *globally under-determined by local data* (topological). The portfolio's only **exact** regime-2 candidate (AB) lives on the topological axis; every dimensional-axis *control* substrate so far is marginal (NSE-C1, Mesa, shell) or toy/low-dim (chatv2). See §8 for the full Faraday/Maxwell reading. ### 6.4 The math-or-Buddha epistemic stance From the ImOutOfIceCream dialogue (2026-05-22): > If there is a mechanism that can be discovered, then the path is > through the language and tools of mathematics. If not, then the > path has already been described by Buddhas throughout timeless > time. This is the right calibration for cross-substrate work. Pursue the mechanism — that is what cap-set, unit-distance, the chat ledger, the Mesa `net.7` analysis, and the isotrophy spectral derivation are all doing. Do not be embarrassed if the mechanism does not reduce. The phenomenological frame is already complete in another tradition and is not less true for lacking a residual-stream probe. The two are not in competition. They are different surfaces of the same observation about how minds and systems operate under partial observability. Internal use only as a stance; do not deploy publicly attributing to the mod until they have published something we can cite. ### 6.5 Pending mech-interp citation A probe-side researcher (`u/ImOutOfIceCream`) has shared, in a public-but-niche thread, a not-yet-published finding that transformers act as **companders** on the effective rank of the residual stream, with categorical centroids occupying one subspace at the bottleneck and generator algebras (`so(3)` ranking first across many models) occupying the orthogonal complement. If the finding survives publication, it provides the residual-stream mechanism this vocabulary has been assuming. Until that gate trips, do not lift the framing into public Sundog copy. The pre-positioned `COMPANDER_PAPER_HOOK` ratchet across six public surfaces is documented in `internal/feedback/Human/REDDIT_ImOutOfIceCream_UNIT-DISTANCE.md` §§9-10. When the citation lands, the same vocabulary upgrade described there should be threaded back into this doc — see §6.6 below. ## 7. Implications for Ongoing Projects The vocabulary update lands differently in each active project. The point of this section is not to retroactively rewrite work that has its own established language — it is to make the cross-substrate move legible in each project's own terms, so the next planning session can decide whether to adopt the vocabulary natively. ### 7.1 Mesa The entangled `5D net.7` subspace is **the projection target**, not a feature decomposition that the team failed to factor. The v2 SAE attempt, the v3.2 top-k neurons, the v3.1 PC1-alone and PCs-2-5-alone attempts all failed for the same structural reason: a projection's output is rigid against further decomposition because the rigidity *is* the load-bearing property. The "read holistically or not at all" headline from v3.1/v3.2 is therefore not a methodological disappointment — it is direct evidence the operation is what we think it is. Action: the next mesa write-up that mentions "field-shaped structure" can be sharpened by adding *projection* as the precise operator and noting the cap-set / unit-distance cousins for audiences with the math background to follow. Layperson framings keep *shadow* / *field*. ### 7.2 Isotrophy Red Team (v0.3-v0.13) The S3 → Z2 mass-perturbation symmetry-descent **is a projection in the precise mathematical sense.** The v0.3a-h ratchet is, in projection terms, a sequence of pre-registered checks that: - the projection from `S3`-equivariant orbits to `Z2`-surviving generators is well-defined on the catalog - the projection has rigidity (predictions of which orbits land in which residual class are stable under controlled perturbation) - the projection's outputs match the Li-Liao 2025 empirical catalog at the predicted facet-conditioned cardinalities The red-team posture is the falsifier-first complement of that projection claim: each v0.3 sub-phase tries to find a case where the projection collapses (zero endomorphism, equivariance null, typed-transport failure, rank-matrix degeneracy). When a sub-phase *succeeds* at finding a collapse, it is a projection-rigidity failure — not a controller failure, not a count failure — and the spec rewrite needs to reflect the projection's actual domain. Action for any v0.3 → v0.4 transition: the v0.4 registration form can use *projection* explicitly, framing each pre-registered gate as a check on a specific projection property (well-definedness, rigidity, output match). This costs almost nothing — the v0.3 language is already adjacent — and it earns alignment with the Mesa and Threebody framings, which makes cross-substrate transfer faster the next time it is needed. It also positions isotrophy results to feed back into the §6.3 bridging table as fresh data points rather than as a niche threebody-adjacent sidecar. Post-v0.11 update: isotrophy now contributes a second projection lesson, separate from K_facet. The body is the per-row monodromy/Floquet geometry of the supplementary-B piano-trio catalog; the shadow is a signed velocity-fraction zone. v0.10a showed the ordered shadow is real in-sample. v0.10b showed it is not globally calibrated across mass bins. v0.11 showed the projection becomes rigid again after conditioning on `m3`: within fixed mass-ratio strata, the frozen velocity-fraction zone order ranks stable rows above unstable rows. That is almost the cleanest possible cross-substrate boundary result: the projection works exactly after naming the substrate coordinate that must be held fixed. It does not become a mass-marginal predictor, and it does not revise the v0.3h K_facet structural null. For future isotrophy work, the next meaningful step is therefore not another same-table statistic; it is either an external catalog transfer, a freshly registered mass-conditional predictor, or a new mechanism that explains why the velocity-fraction shadow is conditional on `m3`. ### 7.3 Threebody Phase 18 revises this row. The accelerometer / tidal proxy was a useful scaffold for finding the high-velocity near-escape pocket, but it is not the load-bearing projection for survival. The current mechanism reduces to radius crossing an inherited guard threshold plus an inward reflex at matched duty. The accelerometer / tidal proxy was previously treated as **the projection from 18-dim full state to 3-dim control signal.** The Phase 13 pocket-of-operation result is then a claim about *where in the orbit space that projection preserves load-bearing structure* and where it does not — exactly the body/shadow framing in §6.2, with the failure-map boundaries (low velocity, equal mass, overhead light) marking the edges of the projection's domain of validity. Current reading: Phase 18 narrows that old interpretation. The load-bearing projection is radius-gated geometry, and the failure-map boundaries (low velocity and equal mass) mark the edges of that projection's domain of validity. Post-Phase-18 action: future threebody specs can keep the existing "warning quality / action coupling / outcome effect" decomposition, but they should not describe the planar near-escape survival mechanism as sophisticated tidal sensing unless a fresh locked phase earns that claim. For the current pocket, the mechanism line is closed: radius-gated inward thrust explains survival. ### 7.4 Geometry / HaloSim and Chat Both already use the body/shadow framing on their public surfaces (`/geometry`, `/sundog`, `/h-of-x` for the optics side; `/chat`, `SUNDOG_V_CHAT.md` for the chat side). The vocabulary upgrade is incoming via the same publication-trigger gate as §6.5 — see the feedback-file ratchet for the pre-positioned anchors and drafts. Nothing to do here until the citation lands. ### 7.5 Was zeroing in on the vocabulary worth it? The question the asker raised — *would it behoove ongoing projects that we have zeroed in on top-level machinery vocabulary?* — the honest answer is: **yes, but the benefit is concentrated at project transitions**, not at the inside of a running phase. The isotrophy v0.3 -> v0.4 boundary is exactly the kind of seam where adopting projection language costs nothing and earns cross-substrate alignment. The middle of a running mesa phase is not such a seam. Apply the vocabulary at edges; do not retrofit it into the middle of work whose own language is already load-bearing. ## 8. Faraday / Maxwell: the exact anatomy of body-resistance *(2026-05-31. Framing, not evidence - same posture as §6: this section reads the closed Faraday Branch A result and the open Phase 7 boundary cases through the projection / body-resistance vocabulary. It pre-registers exactly one new empirical claim, tagged HYPOTHESIZED below; it does not assert it.)* Faraday is the portfolio's only clean structural-zero substrate, and it earns a place here because *why* it succeeded states the §6.3 body-resistance lesson as an algebraic identity instead of a measured near-coincidence. Four readings, then the reel-in. ### 8.1 Faraday closure = zero body-resistance, by identity [PROVED] The Faraday law the lane zeroed out is the *homogeneous* Maxwell equation `dF = 0`, which is the Bianchi identity `d(dA) = 0` (Shadow Faraday Phase 3, work-order step 2). So the body<->shadow closure is a geometric tautology: the plaquette-holonomy shadow reconstructs the body because the holonomy of an exact form around a contractible loop vanishes identically. In §6.3 terms, **body-resistance is exactly zero, and zero by theorem** - not by low dimension. Faraday is therefore the *exact-zero anchor* of the body-resistance continuum whose marginal interior is NSE-C1 (`FVE ~ 0.99`, resistance near-zero by accident of low dimension). Same lesson; Faraday states it as `0`. This reframes the "freebie" intuition honestly: Faraday was not classical EM cooperating with Sundog, it was Sundog landing on the half of Maxwell that is an identity. A clean zero on an identity is a correctness check on the operator (`P_shadow` really is gauge-invariant and local, and it really does close the loop) - it is not a regime-2 separation, because there was never a resisting body to separate from. ### 8.2 Aharonov-Bohm = exact *topological* body-resistance [HYPOTHESIZED - pre-registered; earn via Phase 7 case 3] The same operator's *other* tier produces the opposite corner. On a non-contractible patch (`H^1 != 0`), take the loop-holonomy tier `P_shadow^stencil = ∮A` as the shadow: - **State-insufficient.** The enclosed flux `Φ = ∮A` is one number per homology class; it cannot rebuild the interior field `B(x)`. Many bodies map to the same shadow. - **Control-sufficient.** For the registered objective "predict the Aharonov-Bohm interference shift," `Φ` is *exactly* sufficient (phase `= qΦ/ħ`). - **The local tier goes blind.** `F = 0` along every electron path, yet the phase is nonzero - so `P_shadow^point = F` is control-*insufficient* here. That is a regime-2 separation (state-insufficient yet control-sufficient) that is **sharp and exact**, and it resists along a **topological / cohomological** axis, not the dimensional axis of §6.3. It would be the first *exact* (non-marginal, non-learnability-walled) regime-2 point anywhere in the portfolio - the clean opposite corner from the three marginal control substrates and the toy/low-dim chatv2 result. Honest bounds. The resisting body is "small" - one integer per `H^1` generator, not a high-dimensional state - so AB does **not** close the open frontier of §6.3 (a high-dimensional *control* body on a real substrate); it is a different *kind* of resistance, not a bigger one. And it is **not yet earned**: this is the pre-registered expected landing of [`faraday/FARADAY_PHASE7_SPEC.md`](faraday/FARADAY_PHASE7_SPEC.md) case 3 (topological quarantine), where the two-tier divergence equals an `H^1` invariant. The Phase 7 hand-calc earns it as a receipt before any stronger language; until then this stays HYPOTHESIZED. Corollary it pins down. AB is the *exact boundary* of the Faraday headline. "Local gauge-invariant shadow suffices for Faraday induction" is true (Branch A) right up to topology, where it fails and the loop observable becomes mandatory. Phase 7 case 3 is therefore not a quarantine to file - it is the boundary-definer for the lane's central claim. ### 8.3 The U(1) -> Yang-Mills bridge: one operator, two portfolio outcomes [FRAMING] `P_shadow^stencil` is a U(1) Wilson plaquette. Maxwell is the *abelian* baby case of Yang-Mills, which sits in the failure map above as BOUNDED-NULL. The abelian loop closes cleanly because `dF = 0` is linear and the holonomy of an exact form vanishes; the non-abelian Bianchi `DF = dF + A^F = 0` drags the connection into the covariant derivative and the gauge-invariant content (Wilson loops, area law) becomes genuinely harder to separate. So **Faraday-clean and YM-bounded-null are the abelian and non-abelian ends of the same operator** - and the EM side supplies an *algebraic* reason for the YM upper limit: the very thing that made EM a freebie (linearity + exact-form holonomy) is exactly what the non-abelian case lacks. A short companion note would make this the first cross-substrate result that *explains a portfolio null from an adjacent success*. -> [`SUNDOG_V_YANG_MILLS.md`](SUNDOG_V_YANG_MILLS.md). ### 8.4 Homogeneous / inhomogeneous = topology / metric - where Maxwell-proper lives [PRE-REGISTERED PREDICTION] Everything above is the *homogeneous* half of Maxwell (`dF = 0`, metric-free, topological). Maxwell-proper adds the *inhomogeneous* half `d*F = J`, where the Hodge star `*` brings in the **metric** and with it the **dynamics and sources**. That is the only side where a *control* regime-2 could be non-trivial - and the §6.3 three-for-three pattern gives a pre-registered prediction: **likely marginal**, because classical sourced EM on a patch is nearly fixed by its sources (the retarded map `J -> F` is essentially invertible modulo homogeneous solutions). Worth a future Phase 8 takeoff gate, entered expecting marginal and treating a marginal landing as the publishable consistency result, not a surprise. (Phase 7 already corrected the common error here: ordinary electric sources live on the `d*F = J` side and leave `dF = 0` intact - that correction *is* the Faraday/Maxwell boundary, stated.) ### 8.5 Why this is the algebraic / cosmological reel-in The Faraday/AB pair converts the body-resistance story from measured near-coincidences into *exact statements*: resistance `= 0` by Bianchi (§8.1), resistance exact-and-topological by `H^1` (§8.2), the abelian/non-abelian boundary of one Wilson operator (§8.3), and the topology-vs-metric split (§8.4). It is the most algebraic substrate in the portfolio and the only one giving *exact* both-ended statements of the axis the rest of this document only measures. The homogeneous/inhomogeneous decomposition is the template for all gauge theory and for how fields couple to geometry; the topological side (helicity, flux, linking) is the same mathematics that organizes solar plasma - a quiet closure back to the sundog the program is named for. That last is flavor, not a claim. ### 8.6 What this section does and does not license - **Does:** add Faraday (identity-success) and Aharonov-Bohm (exact-separation) to the failure map and the §6.3 table; name the *topological* resistance axis as distinct from the *dimensional* one; pre-register the AB regime-2 claim. - **Does not:** earn the AB claim (Phase 7 case 3 owes the receipt); assert any Maxwell-proper result (that is a future Phase 8); or change any public Faraday copy. The Faraday lane's public claim remains the registered Branch A clean structural zero on the classical-vacuum, magnetically-clean, contractible domain.