High-Stakes Generality · Navier-Stokes C1 · 2026-05-31

A regime-2 witness now holds at two Grashof points.

The Coarse-Graining Postulate 1 reading of a Kolmogorov-flow C1 cell produces a Reading-2 regime-2 witness — state-insufficient AND control-sufficient — that now replicates at a second Grashof regime under a portable objective. It holds at (k_f = 2, G = 200) and (k_f = 2, G = 300); the control half is dimension-robust (d = 32 and d = 18) and objective-robust (fixed-percentile and portable-quantile), composed at matching ε_K = 0.0664. This is a witness, not a Navier-Stokes existence or smoothness claim, and not a Clay-problem-adjacent claim.

Regime-Generality v1 · 2026-05-30 PDE-C1-RG-POS at G=200 and G=300 Twin-state certified, 942,834 pairs near-determination stress test: survived review-gated: external PDE reviewer open C1 unpromoted
Navier-Stokes C1 generality card: review-gated proof-track 'Kolmogorov-flow C1 regime-generality lane'; complete Reading-2 witness now holds at G=200 and G=300 under a portable objective. Next gate: surface reviewer candidates or firm up proxy faithfulness with a derived objective selector. Stats: 2 regimes, 0.269 G300 damp fraction, 942,834 G300 witness pairs.
Generality gallery card · review-gated · see all high-stakes lanes →

The Load-Bearing Statement

Two-regime, dimension- and objective-robust, end-to-end Reading-2 witness.

The phrasing matters. This is not a Navier-Stokes existence/smoothness claim, not a Clay-problem-adjacent claim, and not a claim that Sundog has produced original PDE mathematics. Any public copy that elevates this witness into a theorem-facing posture silently retires the discipline that makes the result interesting.

The complete Reading-2 regime-2 witness — state-insufficient AND control-sufficient — now replicates at a second Grashof regime. It holds at (k_f = 2, G = 200) and (k_f = 2, G = 300); the control half is dimension-robust (d = 32 and d = 18) and objective-robust (fixed-percentile and portable-quantile), composed at matching ε_K. The Postulate-1 reading is non-vacuous on a real substrate. C1 remains UNPROMOTED.
2
Grashof regimes (G = 200, 300)
942,834
G=300 witness pairs (unique)
0.2688
G=300 damp fraction (adj.)
10-22×
below random-label floor (G=300)

In Plain Words

The body roams; its shadow still decides.

Picture the flow as a body — the full swirling fluid, hundreds of numbers — and a shadow: just its largest-scale features (the "signature"). Sundog's house question, the same one the solar-halo front page opens with and the h-of-x equation makes literal, is whether that shadow carries enough structure to act from when the body is too large to read directly.

Here the answer splits, and the split is the interesting part. You cannot rebuild the full fluid from the shadow — genuinely different bodies cast the same shadow, and we certify it with hundreds of thousands of matched "twin states." But you can make the one safety decision the controller cares about — is a low-band energy spike coming? — from the shadow alone, and get it right almost everywhere. State-insufficient, yet control-sufficient. It is like reading the time off a shadow without being able to rebuild the clock.

New here? That two-part move — read the shadow, then name exactly where it breaks — is the whole site in miniature; the generality umbrella runs it across six harder substrates. Reviewing this? The precise statement, the clause-by-clause claim ledger, and the glossary to standard observer-theory language are in the Proposition.

What The Witness Is

Reading 2 = state-insufficient AND control-sufficient at a matched signature radius.

Reading 2 is the regime where the standard determining-modes signal fails to reconstruct full state, but a smaller Postulate-1 signature nevertheless suffices for the control objective. The witness is constructive: pairs of trajectories that agree on the signature to within ε_K = 0.0664 also agree on the proxy-action objective, at a level that no random-label control reaches.

The G=200 read used the fixed-percentile objective at d = 32, with witness slope 0.736 and a_mm = -0.00079. The G=300 read used the portable quantile objective at d = 18, with a_mm = +0.00058 through the origin and a damp fraction of 0.2688 — well above the v6 0.004 vacuity that motivated the regime-generality pivot. The portable objective is a new objective, so the v5 witness had to be re-established under it before the G=300 test could be admitted; that re-establishment held, with G=200 numbers near-identical to the v5 old-objective read.

The G=300 twin-state lock is certified: TWIN_STATE_CERTIFIED, 100% witness coverage, 942,834 unique pairs, with δ_H = 0.0111 against a real median ‖Q_K‖ = 0.222. The cell-set spec, integrator energy-conservation self-test, and pre-registered verdict-rule completeness all closed cleanly before the verdict was interpreted.

The Mechanism, Measured · Named Novelty: MZ

Why the shadow can decide — a Mori–Zwanzig energy budget that closes on the signature.

A witness that something works is stronger once you can say why. The why here is an energy-budget reading, and it is where we name the explicit novelty.

Split the low band's energy tendency into a part fixed by the signature and a leftover coupling to the unresolved high modes: dE_low/dt = g(Φ_K) + R. A short lemma we can prove says the band cannot feed its own energy — the signature-only transfer T_LLL ≡ 0 — so R is the entire inter-scale transfer, all of it high-mode mediated. The naïve hope, "R is small," is therefore false by conservation.

The measured fact is subtler and stronger: R is ~99% a function of the signature (held-out R²(R | Φ_K) = 0.998 at G=200 and 0.990 at G=300, with calibrated positive and negative controls) — even though the high-mode state is certified not reconstructable from the signature. The flow's state roams; its decision-relevant energy budget is slaved to the shadow.

Named novelty (MZ). The Mori–Zwanzig closure itself is textbook — unresolved modes drive the resolved band through a memory term. What is new is the observability reading of it: the net high-mode energy transfer is signature-determined precisely where state reconstruction fails, so the decision is observable from the shadow even when the state is not. The mechanism is known; the reconstruction-vs-decision observability split is the contribution.

Citation Spine

The MZ name is not a novelty grab. It points to the standard projection / memory formalism; the Sundog-specific claim is the measured decision-observability split where state reconstruction fails.

0.998
R²(R | Φ_K) coupling slaving · G=200
0.990
R²(R | Φ_K) coupling slaving · G=300
≡ 0
T_LLL band self-transfer (proved lemma)
~1%
Mori–Zwanzig memory residual

This is explanatory, not promotion-bearing: it grounds the existing numbers, it does not move C1's status. Detail in the MZ energy-budget diagnostic, framed against standard observer theory in the separation statement (§7).

The Honest Limitation

Marginal, not sharp — and the page says so first.

The separation is real and certified but physically marginal. The signature reconstructs the energy-carrying content of the state almost completely — fraction of variance explained 0.997 in the energy norm and 0.993 in enstrophy — so K = 3 sits near the determining-modes threshold, and the genuinely under-determined part is dynamically-negligible dissipation-range noise. 2D Kolmogorov flow at moderate Grashof has a low-dimensional attractor; the body barely resists its shadow.

We tested the cheap escape — re-reading the gap in the enstrophy norm at G=200 — and it failed (still marginal). A genuinely non-marginal separation, where physically-relevant content is under-determined, needs a higher-dimensional regime (much higher Grashof, 3D, or a different substrate), and that route hits the same numerical wall as the Sabra-shell C2 lane — it needs an adaptive integrator. Stated plainly so a reviewer never has to extract it: this is a weak instance of the regime-2 target, not a gross state/control gap.

Adversarial Robustness · 2026-05-31 · we tried to demote it

Is the shadow only deciding because it nearly rebuilds the body? We pre-registered a probe to find out — and it survived.

The honest limitation above invites the sharpest objection a reviewer can raise: if the signature reconstructs ~99% of the energy-carrying state, then "control-sufficient" might just be "near-determining" wearing a different hat — the shadow decides only because it almost is the body. So we pre-registered a probe designed to demote our own result, with the verdict fixed both ways before it ran.

The test: does control-sufficiency simply track how predictable an objective is from the signature, across a slate of six objectives spanning the resolved band down into the dissipation range? If it did, the separation would be a closed-subspace artifact. It does not. The signature predicts every objective well — fraction-of-variance 0.76 to 1.00, including the high band and the dissipation range — yet control-sufficiency does not track that predictability (rank correlation −0.75 and −1.0, the opposite of the demotion hypothesis). The decision-observability split is not the near-determination in disguise.

We built a probe that could have demolished the result, pre-registered what each outcome would mean, and ran it. It came back for the witness. That is the posture this page wants for review: the most likely objection, tested in the open before a reviewer has to raise it.

And the page flags the one loose thread first. The slate also surfaced an unexpected, still-open puzzle: a dissipation-weighted objective (palinstrophy) the signature predicts perfectly yet is not control-sufficient for — predictable but not controllable, the reverse of the usual story. We do not yet know whether that is a real phenomenon or a burst artifact; it is logged as an open thread, not smoothed over. This is robustness, not promotion: it strengthens the framing for review; it does not move C1's status.

Detail in the objective-overlap discriminator (pre-registration + result §12).

Hypothesis · tested · falsified · re-aimed

We took the split to a resistant body. It wasn't resistant. So we build one that is.

The hypothesis was falsifiable, so we falsified it. The separation measured here is marginal only because the 2D-fluid attractor is low-dimensional — the signature nearly reconstructs the whole state, so there is little "state" for the decision to be unobservable from. The test was to carry the same reconstruction measure (does the low-dimensional shadow rebuild the full state?) to a substrate whose body genuinely resists its shadow. The candidate was Mesa's entangled, decomposition-resistant 5-dimensional net.7 subspace.

It came back marginal too. Ported directly, the measure showed the 256-wide net.7 is effectively ~2-dimensional — it is a function of a six-number observation — so the 5D shadow reconstructs ~99% of it. Mesa is sharp on a different axis (its subspace resists being decomposed into simpler features), but on the state-reconstruction axis this split actually needs, it is marginal, like the fluid. The strongest dynamical-system candidate — a Sabra shell model with a small-scale objective — came back the same. Three for three.

The reason is structural, and it says where to build. A sharp split needs a body that is high-dimensional by construction — not a turbulent cascade that concentrates its content in a few slaved modes, and not a controller whose input is six numbers. That points away from physics substrates and toward a control system whose state is genuinely large. So the next build heads to a language-model substrate — the chat lane — where the body (the model's internal state across a conversation) is high-dimensional by design and the shadow (a maintained ledger) is where we ask whether the same decision-observable-but-state-unobservable split finally turns sharp. This is the measured reason for the pivot, not a result on the model; the high-dim test is still to be scoped and run, and the ∞-dimensional NSE-attractor analogue likewise remains separately hypothesized, cited but not applied.

Falsification Surface

Five named failure modes — what would falsify the coupling claim.

The coupling between Sundog's Postulate-1 discipline and the open Navier-Stokes front is staged on two fronts (a defensible reading leg and a horizon empirical leg) and can fail in five named modes. Each candidate work item declares which modes it attacks.

1 Front-A vacuity

The Postulate-1 reading of determining modes, once written, reduces to what any careful PDE analyst would already say. The instrument has no edge over a good review.

2 Front-A miscalibration

The Postulate-1 / Blackwell-sufficiency distinction lands on confidently wrong readings — claims a control-sufficient signature where determining-modes literature already pins state-reconstruction sufficiency at a smaller mode count that suffices for control too.

3 Front-B vacuity

On shell models, a matched-budget DMD / critical-slowing-down / lacunarity / Rényi baseline detects intermittent bursts at least as well as a signature-based detector. Signatures add no signal.

4 Front-B reach

Even a clean shell-model positive silently smuggles in finite-dimensional truncation structure that does not survive the move to full 2D-perturbed or 3D small-data NSE. Cross-substrate sameness fails at the substrate boundary.

5 Coupling overreach

The ledger is published alongside a public workbench, reading, or claim that elevates a Front-A reading or Front-B shell-model result into a Clay-problem-adjacent posture. Detected by the Claims & Scope audit on any deploy that touches NSE vocabulary.

Next Gate

External PDE reviewer + derived objective selector.

Promotion criteria for the Navier-Stokes ledger require all four of: (a) Front-A vacuity rebutted; (b) runnable Phase-0 deliverable with pre-registered cell set and matched-seed baselines; (c) external-mathematician sanity-check path named; (d) pre-registered failure boundary fixed before numerical reads are interpreted.

The current witness materially advances (a) — a concrete regime-2 witness shows the Postulate-1 reading is non-vacuous on a real substrate — and closes (b) at the procedure-and-execution level. (d) is closed by construction (the cell set, integrator self-test, and verdict-rule completeness are all locked before interpretation). (c) is open and review-gated: an external PDE reviewer pass on Front-A is the next promotion step. The reviewer-facing packet now arrives with the most likely objection — whether the split is merely near-determination — already tested in the open (see Adversarial Robustness, above), so the ask is a focused sanity check, not an open investigation. Final (d) close is coupled to (c). The full twin-state lock receipt and proxy-faithfulness items remain open as part of (c).

Until (c) closes, this page carries the review-gated badge prominently and does not collapse the witness into a positive theorem-facing claim.

Claim Boundary

Sundog has not solved Navier-Stokes.

This page describes a witness on a Kolmogorov-flow cell at two Grashof points. It is finite-Galerkin, sampled-support, numerical. It is not an infinite-dim NSE theorem.

Signatures do not replace energy methods.

The Postulate-1 reading is a reading and instrument complement to existing determining-modes machinery, not a replacement for energy-side analysis.

Coarse-graining does not prove regularity.

The coarse-graining proof trunk (Phases 0-3 closed positive; Phase 4 open at the Bayesian-floor gate) is a separate theorem-facing program. It does not, on its own, prove NSE regularity. The witness here couples to it; it does not extend it to NSE smoothness.

Determining modes are not Sundog's idea.

Foias-Temam-Constantin determining modes / nodes / volumes are the prior-art spine. The Sundog contribution is a Blackwell-sufficiency reading of the same object, not a new PDE result.

Inspection Trail