Repository navigation

Import Superdiffusion and anomalous regularization - #652

Merged

Vilin97 merged 65 commits into

mainfrom

codex/daily-superdiffusion-cleanup-20261013

Oct 17, 2026

Merged

Import Superdiffusion and anomalous regularization#652
Vilin97 merged 65 commits into
mainfrom
codex/daily-superdiffusion-cleanup-20261013

Commits on Oct 13, 2026
Commits on Oct 14, 2026
- Omit unused dimension instance in exhaustion profile
  Vilin97
  committed
  3307447
- Remove unused dimension instances and redundant private proof packaging
  Vilin97
  committed
  9b8309c
- Fix remaining unused dimension binders
  Vilin97
  committed
  4694280
- Remove dead aliases and redundant iteration packaging
  Vilin97
  committed
  989a72c
- Remove redundant private adapter proof packaging
  Vilin97
  committed
  47e4ed4
- Share comparison lemmas and remove redundant adapter proof slots
  Vilin97
  committed
  782327e
- Name and document shared boundary route contracts
  Vilin97
  committed
  8522948
- Reuse canonical operators, energy carriers and estimate proofs
  Vilin97
  committed
  e2b9004
- Share remaining copied constants and scalar response proofs
  Vilin97
  committed
  3932c92
- Share energy, localization, stream and constant-H1 proofs
  Vilin97
  committed
  82fce01
- Share analytical estimates through existing dependencies
  Vilin97
  committed
  7b626e1
- Consolidate unit-cube bounds and strengthen the Lipschitz bridge
  Vilin97
  committed
  761884d
- Derive local energy and variance interfaces from uniform estimates
  Vilin97
  committed
  eb0cc87
- Share geometry and error-weighted boundary calculations
  Vilin97
  committed
  d8f2c76
- Share depth oscillation bounds and remove redundant adapter inputs
  Vilin97
  committed
  45b8f86
- Share restricted norms and coefficient measurability criteria
  Vilin97
  committed
  c002d63
Commits on Oct 15, 2026
- Remove redundant equations from private statement aliases
  Vilin97
  committed
  2255fac
- Share coarse-block locality and scalar comparison producers
  Vilin97
  committed
  f1cafa7
- Share boundary energy and five-term frame estimates
  Vilin97
  committed
  c36c4ef
- Share analytical estimates and derive weaker endpoints
  Vilin97
  committed
  17a3762
- Share comparator and stream concentration calculations
  Vilin97
  committed
  7b321f1
- Share covering caps and gradient-weight clause assemblies
  Vilin97
  committed
  a20617d
- Share composed comparison and regularity data estimates
  Vilin97
  committed
  a3d44a3
- Share scale estimate closure, tail and grid mass calculations
  Vilin97
  committed
  68f45e0
- Share moment absorption and potential comparison proofs
  Vilin97
  committed
  26733c8
- Simplify result packages and share analytic utility proofs
  Vilin97
  committed
  b59b4b1
- Share moment measurability and ellipticity estimates
  Vilin97
  committed
  25922b8
- Share positive-part and zero-observable tail proofs
  Vilin97
  committed
  a554116
- Share measurable-proxy and cutoff-control proofs
  Vilin97
  committed
  71361b7
- Share shell norm, block-probe and boundary estimates
  Vilin97
  committed
  e40c96e
- Share weak-solution operations, continuity and tail-law transport
  Vilin97
  committed
  4585e67
- Share ellipticity and radial support; reuse Mathlib series measurability
  Vilin97
  committed
  6efc486
- Share norm, separation and cutoff covariance proofs
  Vilin97
  committed
  e1656af
- Share skew divergence support and Sobolev density
  Vilin97
  committed
  e527857
- Share normalized stream transport and L2 multipliers
  Vilin97
  committed
  98c8ffc
- Share power, finite-measure average and coordinate bounds
  Vilin97
  committed
  fde34f0
Commits on Oct 16, 2026
- Share cutoff convergence, corrector moments and comparator inventories
  Vilin97
  committed
  5c8bbca
- Share centering, representative measurability and cube containment
  Vilin97
  committed
  bb5abef
- Share boundary transports and Besov witness estimates
  Vilin97
  committed
  92906c2
- Share window geometry and weighted boundary assembly
  Vilin97
  committed
  55e9043
- Share weighted-gradient and coercive energy estimates
  Vilin97
  committed
  4a64d04
- Share adjoint bounds, cube comparisons and witness selection
  Vilin97
  committed
  c078f79
- Share signed grid transfers and relative error transport
  Vilin97
  committed
  5c9c71b
- Share two-term moments and scalar normalizer identities
  Vilin97
  committed
  2d81a08
- Reuse boundary estimates and remove reflexive contract premises
  Vilin97
  committed
  628402d
- Share the general minimizer stability assembly
  Vilin97
  committed
  cb3d864
- Share comparison window and forcing preparation
  Vilin97
  committed
  26acd92
- Share scalar energy and Besov weight estimates
  Vilin97
  committed
  cfb61b3
- Share translated normalized L2 domination estimates
  Vilin97
  committed
  fd26431
- Share gradient, average and small-parameter analytic proofs
  Vilin97
  committed
  1d3d18e
- Share reflection representatives and Agmon mass proofs
  Vilin97
  committed
  f055875
- Remove unused local constructions from Superdiffusion proofs
  Vilin97
  committed
  7a107b0

Commits

Commits on Oct 13, 2026

Commits on Oct 14, 2026

Commits on Oct 15, 2026

Commits on Oct 16, 2026