Senuamedia Lab
Navier-Stokes Regularity Research

A* Converges. Regularity Holds.

A holistic scaffold framework (H/H'/H'') solves Galerkin-truncated 3D Navier-Stokes models from 6 to 24 modes. The regularity threshold A* stabilises at 0.347 — positive at every mode count. 14/14 perfect classification. Alpha=2.0 universally. 36 theorems, 103 reproducible experiments, 4 verification points — all passing. Built in Simplex.

Mode Scaling: A* Converges

ModelModesA*(truth)A*(P)P/truthScoreα
6-mode61.1361.02086.1%17/202.0
8-mode80.2900.27795.5%16/162.0
10-mode100.3020.29096.1%13/142.0
12-mode120.3280.30793.8%14/142.0
16-mode160.3470.32894.6%14/142.0
20-mode200.3470.32894.6%14/142.0
24-mode240.3470.32894.6%14/142.0

A* converges to 0.347 by 16 modes. Adding modes 16→20→24 does not change the threshold. Regularity holds for all initial data with amplitude below A*. The framework is mode-count invariant.

Full mode scaling analysis →

Key Results

Paper

A Holistic Scaffold Framework for Navier-Stokes Regularity

36 theorems. 103 experiments. 7 Galerkin truncations solved. A* converges to 0.347. Four-step path to formal proof identified and verified.

Rod Higgins · Senuamedia · March 2026

Download Paper (PDF) →
Navier-Stokes

A* Converges to 0.347

7 Galerkin truncation models (6-24 modes) solved. Regularity threshold positive and convergent. 14/14 perfect classification at 16+ modes.

View results →
Verification

4/4 Points Verified

Feedback loop structural (9/9 params). A* positive universally (12/12 + 3/3 ICs). Scaffold chain complete (20/20). Doubling time = BKM (6/6).

View verification →
Theorem 13

I-Ratio Theorem

For K competing objectives, the interaction ratio

\[ I(\theta) = \frac{\displaystyle\sum_{i < j} g_i \cdot g_j}{\displaystyle\sum_i \lVert g_i \rVert^2} = -\frac{1}{2} \]

if and only if the system is at equilibrium. Holds for any \( K \geq 2 \).

138/138 tests pass · Max error: \( 2.22 \times 10^{-16} \)

Full proof →
Theorem 7

Desire as Bayesian Regulariser

A desire that partially contradicts the evidence stream acts as a regulariser, improving calibration by 31%. Misaligned desires outperform aligned desires at ALL observation horizons.

Cross-domain validated: beliefs, games, GANs, annealing

Full proof →
Theorem 12

Convergence Score as Chaos Detector

The score \( S = 1 - \frac{\text{late drift}}{\text{early drift}} \) correctly identifies chaos boundaries in the logistic map, locating the Feigenbaum point at \( r \approx 3.57 \). Model-free.

S and λ are complementary diagnostics

Full proof →
Theorem 14

B-Flow Convergence

Gradient descent on the balance residual \( B(\theta) = \frac{\|\sum g_i\|^2}{\sum \|g_i\|^2} \) converges to \( 375 \times 10^9 \) higher precision than loss-flow.

B-flow: \( 8.8 \times 10^{-16} \) · Loss-flow: \( 3.3 \times 10^{-4} \)

Full proof →
Theorem 2

Cosine-Scaled Projection

Graduated conflict resolution: \( \text{scale} = \alpha \cdot |\cos(g_i, g_j)| \). 100% conflict resolution vs Riemannian PCGrad's 66.5%. Also provides implicit exploration.

500/500 conflicts resolved

Full proof →
Universal Principle

Adversarial Regularisation

Partial opposition improves outcomes in EVERY domain: beliefs (31%), Prisoner's Dilemma (83.5% Pareto vs 33% Nash), GANs, and learning schedules.

The deepest cross-domain finding

Full analysis →

Conjectures

Details →

Reproducible Experiments

All experiments are implemented in Simplex and can be compiled and run independently. 188 compiler math tests validate correctness.

FileDomainValidatesResult
exp_contraction.sxCoreTheorem 15/5 subsystems contract
exp_gradient_interference.sxCoreTheorem 2100% resolution
exp_lyapunov.sxCoreTheorem 30% violations
exp_invariants.sxCoreProp 3.50 violations / 20K steps
exp_timescale.sxCoreTheorem 1100% separation
exp_interaction_matrix.sxCoreTheorem 4Converges in 5 cycles
exp_convergence_order.sxCoreTheorem 5S → 0.000264
exp_anima_deep.sxCognitiveTheorems 6, 755% belief improvement
exp_anima_correlated.sxCognitiveConjecture 7.1Desire regularisation
exp_chaos_boundary.sxDynamicsTheorem 12Feigenbaum detected
exp_s_vs_lyapunov.sxDynamicsProp 12.1S-λ complementarity
exp_nash_equilibrium.sxGamesTheorem 1183.5% Pareto
exp_iratio_proof.sxCoreTheorem 13138/138 pass
exp_iratio_proof_statistical.sxCoreTheorem 1370/70 pass
exp_balance_residual.sxCoreTheorem 14375B× precision
exp_iratio_applications.sxCross-domainTheorem 135 domains validated
exp_belief_cascade.sxCognitiveConjecture 6.4Chain discovery
exp_skeptical_annealing.sxCognitiveConjectures 6.3, 6.5Skeptic wins always
exp_memory_dynamics.sxCognitiveConjectures 6.6-6.10Forgetting learnable
exp_sensitivity.sxRobustnessProps 7.1-7.43 OOM stable
exp_code_gates.sxCodeTheorem 8S → 0 at step 50
exp_compiler_passes.sxCompilerTheorems 9, 10Per-program adaptation
exp_structure_discovery.sxTopologyGradient topologyConstraint graph found
exp_equilibrium_mapping.sxOptimizationTheorem 14B-flow validated
All Experiments →

Run Any Experiment

Every experiment is a standalone .sx file — download it from the experiment page, then:

# 1. Compile the Simplex source to LLVM IR
./sxc experiment.sx -o experiment.ll

# 2. Link with the runtime into a native binary
clang -O2 experiment.ll standalone_runtime.c \
  -o experiment -lm -lssl -lcrypto

# 3. Run
./experiment

Need the compiler? Download pre-built binaries or build from source.

Full Setup Guide (first-time users) →

Citation

@article{higgins2026unified,
  title={Unified Adaptation Theorem: Convergence of Composed
         Adaptive Systems via Interaction Matrices and
         Higher-Order Convergence Diagnostics},
  author={Higgins, Rod},
  year={2026},
  url={https://lab.senuamedia.com/papers/unified-adaptation-theorem.html}
}