Coordinated Lagrangian hunt: OpenWave M5.32 state after 12 audited rungs, next rung R13, help wanted

[xrodz]

@vantasnerdan @mjmikulski @JarekDuda

FYI and help wanted: OpenWave's autonomous Lagrangian hunt (task M5.32) is paused on our side after 12 audited rungs; this thread posts its state, the next rung we would run, and a proposal to coordinate the three stacks that are working the same problem. Nothing is needed from anyone beyond a read; the concrete ask is at the end.

Goal

The 4x4 M5 liquid-crystal action, corrected so that (1) the Coulomb sector of the 3x3 record is kept, (2) the Newton sign between two massive defects is attractive, and (3) a resting electron has a finite nonzero clock frequency at positive energy. Jarek's quest of 2026-08-17 / 08-20 (add Lorentz-covariant curvature contractions such as R_ac R^ac and R^2 to -F_abcd F^abcd - V(M)).

What we ran (OpenWave M5.32, 2026-08-27 to 08-29)

One autonomous rung ladder, each rung pre-registered (hypothesis + gate before any number), each closed by an independent adversarial audit on a second model instructed to refute it. The method note opens with the equations and carries an equation-to-code map so the implementation can be checked against the mathematics rather than the Python:

• method note: https://github.com/openwave-labs/openwave/blob/main/openwave/xperiments/m5_liquid_crystal/research/findings/m5_32_method_note.md
• task doc (plan, rung log R0-R12 with every audit verdict, pause record with resume pointers): https://github.com/openwave-labs/openwave/blob/main/openwave/xperiments/m5_liquid_crystal/research/tasks/m5_32_task_details.md
• machine-readable ledger, one entry per rung: research/data/m5_32_ledger.json

Rung	Audited result
R0	the certified stack, the record and the 2026-08-17 Newton notebook reproduce (17/17 selftests; notebook fit A = 863.733, B = 167.668 to six digits)
R1	no-go, certified: within the constant-coefficient current-order covariant class, no coefficients make the energy's omega^2 form positive on every time channel while reversing the boost weight (Farkas / LP certificates at three (g, delta) points, with and without the parity-odd terms). Independently reached by Maciej's report 001 and by the P239-P247 campaigns here
R2	a field-dependent internal metric (the covariant flip family, h = eta + 2uu) is bounded below for lambda >= 1/2, keeps the static sector, but gives only a weak clock
R3	the Newton sign is not met on any of three two-defect constructions; on the author's ansatz the pair energy is 4[S - (1 - 2 lambda) T] and the sign lives in the static sector S, which no covariant flip touches
R4, R6, R7, R8	the fixed-J clock runs to the box wall on every localized family (omega* L constant); any Lorentz-invariant derivative-free potential is constant along a boost dressing (theorem); the only bounded 2-derivative localizer is inert on the realized clock channel; the quartic classes' omega^4 inertia is itself box-divergent
R9, R10	the point hedgehog is not a protected soliton here: the stabilizer of d = diag(g, 1, delta, 0) in SO(1,3)+ is the Klein four-group, so pi_1 = Q8 and pi_2 = 0; the degree the record reads is an RP^2 degree of one eigenvector, possible only through a discontinuity on the z axis; the protected objects are lines
R11	Jarek's 2026-08-29 same-sign notebook is the 08-17 notebook with the spatial curvature density globally negated (both notebooks already had same-sign centers); that flip has no floor (exact dilation identity E_u[M(s x)] = s E_u[M], V ~ s^-3), and the same-sign pair stays repulsive under the certified sign. (F_abcd F^abcd)^2 drives the clock in the energy reading but the coefficient that opens a well grows with the box (313 / 476 / 637 at L = 48 / 72 / 96) and the frequency at fixed coefficient drifts 42 % across the ladder in both Hamiltonian readings; report 008 here sees the tick in one 32^3 box, the box ladder is what it cannot see
R12	the charged disclination ring is protected: its half-winding survives 3000 relaxation iterations at two radii and two boxes; it shrinks ~6 % and decelerating (park or collapse open). But its clock inertia is extensive with exactly the same radial profile as the point hedgehog's

Where we paused, and why

Every rung ran into the same wall: the fixed-J clock inertia grows with the box. R12 showed it has the same shape for the ring and for the point, so it is not a property of the object and not of any Lagrangian term we added. It is the rigid rotation of the vacuum frame far from the defect: the clock generator we all inherit from the record (the isorotation of the whole internal frame) does work on the vacuum. That makes the next step a modeling choice, not a computation, which is why we stopped rather than adding another term.

The next rung, declared (R13)

Does a stationary open-space fixed-J clock exist under a vacuum-vanishing flow?

Setup: the certified 4x4 action (or any of the covariant candidates above), a relaxed defect (ring or point), and a clock generator a0(x) that vanishes where the field is in the vacuum, instead of the rigid isorotation. Fix the internal angular momentum J. Validation: omega* and E_J stable across a box ladder (L = 48, 72, 96) with no taper and no wall pin doing the work; the inertia carried by the defect (shell profile peaking at the core, not flat to the wall); omega* below the vacuum mass gap so the clock does not radiate; the result robust to the choice among at least two vacuum-vanishing flows (for instance the isorotation weighted by the local departure from the vacuum spectrum, and a flow solving the linearized dynamics about the relaxed object). We deliberately do not constrain which flow is right: that is the physics question.

Help wanted

1. Jarek: which clock localization is physical, the rigid co-moving rotation of the whole frame or a flow that decays away from the defect? Every clock number in the three stacks depends on this, and it is a statement of the model's intent that no run can settle.
2. Anyone with cycles: run R13 as stated above on your own stack. Two independent implementations reaching the same omega*(L) would be worth more than either alone; a refutation would be worth as much.
3. Coordination proposal, since Jarek noted the three of us are hunting the same Lagrangian: one shared problem statement per rung (goal, setup, validation, posted as a thread like this one), each stack implementing independently, results compared by number with the scripts public. OpenWave's part of that is already in the open (method note, ledger, scripts); we would keep posting rung statements here if that is useful, and read yours.

Thanks.
Rodrigo Griesi (OpenWave @xrodz)

[JarekDuda]

Regarding "which clock localization is physical, the rigid co-moving rotation of the whole frame or a flow that decays away from the defect? Every clock number in the three stacks depends on this, and it is a statement of the model's intent that no run can settle.", it is indeed difficult crucial question - I thought about it many times, but don't really understand.

The basic suggestion here is de Broglie clock omega = mc^2/hbar, however, experimentally it is confirmed only for electron and neutrinos - we need to be careful about the rest, but at least for electron-neutrinos this omega need to vary. Another example are atoms - with own frequency from e.g. Dirac equation - slightly modified from free electron.

However, as we work on a single field, changing this frequency seems problematic - like requiring regions of constant frequency, and boundaries between them where frequency can change - like equalizing last two eigenvalues in M5, hence allowing different frequencies on both sides.

Another question is preferred frequency without particles? Definitely cannot be infinite, maybe is zero?

I will think about it, but working on box with single particle, basically energy minimization should lead to its frequency.

[vantasnerdan]

I read the full thread (the opening post and Jarek's comment), the OpenWave M5.32 method/task/ledger through R12, and our own related chain rather than only P247: the exploratory P239/P240 action and clock search, the accepted P243 fluctuation/interaction claims, P244 full-band spectrum work, P245/P246 stress/gravity continuation, and P247 isolation/width-control campaign.

My short conclusion is:

R13 is the right frontier, but it needs to be split before more compute. OpenWave has established an infrared failure of its specified rigid co-moving clock flow. It has not established that every physical clock flow is infrared-extensive. On our side, P239/P240 already implemented the central idea in Jarek's comment—a common-phase reduced clock action that becomes trivial on a degenerate exterior vacuum—but that was still not sufficient: on the tested radial minimum branch, the clock-active tail and profile coefficients continued to drift with box size. The joint problem is therefore both clock legitimacy and dynamical width control.

This also confirms the numerical-governance concern raised above. Several apparent endpoints in both stacks were caused by an incorrectly represented object, a contaminated observable, a sign/reduction error, an under-resolved soft mode, or a conclusion broader than the finite ladder. More precision on the same wrong quantity would not have helped.

1. The common mathematical question

For a genuine cyclic clock coordinate $q\in S^1$, with $\omega=\dot q$, write the reduced Lagrangian as

$$ L[M,\omega]=A[M]+B[M]\omega+C[M]\omega^2. $$

Then

$$ J=\frac{\partial L}{\partial\omega}=B+2C\omega, \qquad \omega_{\star} = \frac{J-B}{2C}, $$

and the fixed-J functional is

$$ E_J[M]=E_{\rm stat}[M]+\frac{(J-B[M])^2}{4C[M]}. $$

OpenWave's current convention has $B=0$, $C={\rm kin}$, hence

$$ E_J=E_{\rm stat}+\frac{J^2}{4 {\rm kin}}, \qquad \omega_{\star} = \frac{J}{2 {\rm kin}}. $$

But these formulas are licensed only if the proposed tangent integrates to a normalized compact action, the action is phase-independent, and $J$ is the corresponding conserved charge. An arbitrary local velocity field with a finite quadratic norm is not yet a clock.

The profile must also be solved at fixed $J$, not statically relaxed and then post-processed:

$$ \delta E_{\rm stat}-\omega_{\star} \delta B-\omega_{\star}^2 \delta C=0. $$

The full constrained Hessian contains

$$ \delta^2\left[\frac{(J-B)^2}{4C}\right] =-\omega_{\star}\delta^2B-\omega_{\star}^2\delta^2C +\frac{(\delta B+2\omega_{\star}\delta C)^2}{2C}. $$

That last rank-one term, and all dependence of a field-dependent flow on $M$, are load-bearing in a soft-mode calculation. A kin_grad that freezes $a_0(M)$ cannot establish stationarity of the proposed R13 flow.

2. What OpenWave R0-R12 established

The certified M5.32 action uses

$$ F_{\mu\nu} =(\partial_\mu M)\eta(\partial_\nu M) -(\partial_\nu M)\eta(\partial_\mu M), \qquad \mathcal L_{\rm cert}=-4I_1-V_4(M). $$

The strongest supported route results, grouped for readability, are:

• R0-R3: action/sign search. The existing stack was reproduced. The constant-coefficient, current-order covariant quadratic family was exhausted under its stated recovery and boundedness gates; its admissible deformations do not repair the tested clock direction. A field-dependent sign flip can make the Hamiltonian bounded, but the tested clock remains weak/nonlocalized. The tested Newton-sign constructions did not give the desired common clock-and-attraction mechanism. These are scoped route results, not a no-go over higher derivatives, new fields, different vacuum stabilizers, or different clock representations.

• R4-R8: fixed-J, localizers, and quartics. The inherited rigid/co-moving flow has inertia growing approximately linearly with box size, so $\omega_{\star}\sim L^{-1}$. A derivative-free Lorentz-invariant potential is exactly constant along one Lorentz orbit, so it cannot localize motion that stays on that orbit. The tested $K_T$ minimum came from the dressing switching off. One quartic class was volume-extensive; another was dominated by the coordinate string and never acquired a continuum interpretation. The later audit also caught a wrong producer tangent sign. These are valuable mechanism diagnoses, but they do not establish that every dynamically derived flow is extensive.

• R9-R12: topology, far field, and ring. For the fixed distinct-eigenvalue orbit, the point texture has discrete stabilizer $D_2$, $\pi_1=Q_8$, and $\pi_2=0$: line defects are natural, while the point hedgehog is not homotopy-protected on that orbit. The R9 audit also reversed the initial string-exclusion reading: the $g=8$ line relaxed into a finite core with surviving, mesh-consistent inertia, while the $g=32$ probe remained unconverged. R10 distinguished rigid-flow inertia from an imposed tapered-flow diagnostic; it did not solve for the optimized physical clock flow, and its zero-barrier melt path began from the unrelaxed ansatz. R11 showed the global sign-flipped route has no floor. R12 found a half-winding ring whose local winding survived 3000 pinned FIRE steps, but the ring still shrank and the relaxation was not converged. That supports persistence over the tested run, not a stationary finite-radius ring.

The rigid-flow infrared law is analytically understandable. In the far field,

$$ M(r,\hat x)\to Q(\hat x)dQ(\hat x)^T, \qquad \partial_iM=\frac{D_i(\hat x)}{r}+O(r^{-2}), $$

while the rigid clock tangent remains $a_0=A(\hat x)+O(r^{-1})$. Therefore

$$ F_{0i}=\frac{\mathcal F_i(\hat x)}{r}+O(r^{-2}), $$

so the inertia density is $O(r^{-2})$ and

$$ C(L)\sim \kappa L+O(1), \quad \omega_{\star}(L)\sim\frac{J}{2\kappa L}, \quad E_{\rm rot}(L)\sim\frac{J^2}{4\kappa L}. $$

OpenWave's numbers show this directly for $J=200$:

$$ 48(0.148415)=7.124,\qquad 72(0.098162)=7.068,\qquad 96(0.073404)=7.047. $$

The defensible conclusion is: the specified rigid ansatz stores fixed $J$ in an expanding vacuum texture. That is not a theorem that all possible clocks do so.

3. What our P239-P247 chain tried

Our side is not just an independent repetition of the R12 box test. It explored a materially different completion and, importantly, already tried a symmetry-based vacuum-vanishing clock.

P239/P240: from the quadratic no-go to a vacuum-trivial clock

P239 independently enumerated the current-order curvature-quadratic basis. The parity-even sector has six independent contractions; the full deformation subspace that preserves the arbitrary static $3\times3$ action is blind to an explicit negative clock witness. This is the closest local analogue of OpenWave R1.

The next concept was a field-dependent spectral-Cartan contraction. With $P_t(M)$ the simple timelike spectral projector,

$$ h^{ab}(M)=\eta^{ab}-2P_t{}^a{}_c\eta^{cb}, $$

and schematically

$$ \mathcal L_{\rm SC} =-\frac12F_{\mu\nu ab}F_{\rho\sigma cd} \eta^{\mu\rho}\eta^{\nu\sigma}h^{ac}h^{bd}-V_{\rm M5.17}. $$

This gives a positive curvature Hamiltonian on its declared timelike branch while recovering the static $3\times3$ sector exactly. P239 also explored a projector-current completion whose Derrick ledger is

$$ E_J(R)=\kappa A_2R+\frac{A_4}{R}+\frac{J^2}{4C_I R^3}, $$

plus axisymmetric, timelike-scalar, spectral-guard, auxiliary-axis, and axis-lock variants. Several were exact structural successes but their numerical branches were unconverged or representation-obstructed; they are attempt evidence, not accepted existence claims.

P240 then ran a much broader solution ladder than the final spectral-Cartan branch alone suggests. The materially different constructions were:

Detailed P240 solution-family inventory

Route	Defining idea	What happened
Same-order contractions	Exhaust all constant-coefficient quadratic curvature scalars while preserving the full static $3\times3$ source sector.	An exact source-restricted witness remained negative. This family was rejected; field-dependent contractions and higher orders remained open.
$L_1$ field-dependent kinetic axis	With $Y=(I-P_t)(\eta^{-1}M)(I-P_t)$, $Z_\mu=(I-P_t)(\partial_\mu Y)(I-P_t)$, add $-\frac{\kappa_1}{2}{\rm Tr}(P_NY)^2P_t^{\mu\nu}{\rm Tr}(Z_\mu Z_\nu)$. Its clock reduction is $\kappa_1 n^2(\lambda_\theta-\lambda_\phi)^2\omega^2$, and it kills the zero-eigenline escape.	A tilted time projector $P_t$ and a high-wave-number static witness made the Hamiltonian unbounded below. Rejected by an exact mechanism, not by optimizer failure.
Axis-weighted Pontryagin square	Square an axis-weighted $\epsilon FF$ scalar so the added term is static-null and positive in its intended time channel.	Early coarse roots exposed axis/coordinate defects. After the regular-chart repair, a genuine root reached relative residual $9.85\times10^{-11}$ but had five negative Hessian modes, from about $-14.92$ to $-0.716$. This rejects stable-minimum status of that tested member/ansatz, not the whole higher-order family. Its scaling $I\sim R^{-3}$, $E_{J,\rm rot}\sim R^3$ was also unattractive for de-boxing.
Axis-weighted timelike Skyrme current	Use the unique single-trace commutator norm $-\frac12{\rm Tr}[Y,Z]^2$, weighted by $n^2={\rm Tr}(P_NY)^2$. The clock term is $\kappa n^2(\lambda_\theta-\lambda_\phi)^4\omega^2$.	Structurally healthy and static-null, but tested neighborhoods retained negative modes (about $-9.24$, and $-5.13,-4.24$ on the second branch). Polynomial replacements either introduced blind spectra or a new unfixed ratio; the constant-polynomial subfamily was exhausted, not all higher-current theories.
Alternating derivative sextic	$K_\mu=[Y,Z_\mu]$, $B^\mu=\epsilon^{\mu\nu\rho\sigma}{\rm Tr}(K_\nu K_\rho K_\sigma)/6$, with density $\kappa n^2q_{\mu\nu}(P_t)B^\mu B^\nu$. It gives $I\sim R^{-1}$ and $E_{J,\rm rot}\sim R$, a potentially confining scale.	The first rest-slice implementation omitted the dynamic projector contraction. The corrected Legendre polynomial $L=A+2C\omega+I\omega^2$ gives $H_J=(J-2C)^2/(4I)-A$ and revealed adverse fixed-J boost curvature. The single term was not a positive stabilizer.
Alternating sextic + projector current	Add a positive timelike-projector current to bound the adverse boost direction; an exact sufficient coefficient region exists.	An $8\times16$ positive-Hessian state appeared, but projection/refinement showed 65–85% of several fields in the upper half of the discrete spectrum and a two-order-of-magnitude energy blow-up. It was a lattice-scale stationary artifact. Smooth Galerkin continuation found a restricted saddle and then failed to reach a basis-converged physical endpoint.
Spectral-Cartan contraction	Replace the fixed internal signature by the $M$-derived $h(M)$ above, preserving Lorentz covariance on the simple-timelike branch and the complete static sector.	Selected as the strongest action-level candidate. Smooth roots existed; a split-channel saddle at small radius was independently confirmed, while larger boxes supplied a marginal stable window. Later de-boxing showed the minimum branch spreading rather than a box-independent core.
Fixed-J two-clock inertia	For symmetric two-clock inertia with diagonal entries $I_1,I_2$ and cross term $C$, $E_J=\frac14J^TI^{-1}J$. Equal like clocks have $\Delta E_J=-j^2C/[2I_0(I_0+C)]$ and are attractive when $C$ is positive; $C\sim A/r$ would give a Newton-like tail.	The implication is exact, but the boxed pair chart had only the summed phase, hence a singular counter-rotating inertia channel. Naive per-centre generators violated SPD. No relaxed positive $A/r$ cross inertia was established.

This ladder matters for R13: we already tried “add a localizer,” “raise derivative order,” “select an axis,” “change the contraction metric,” “repair the fixed-J Legendre map,” and “search smooth branches.” The reusable positive idea was not a particular mask; it was the exterior-degenerate clock symmetry. The repeated failure mode was then either loss of Hamiltonian boundedness, an invalid reduction/representation, or absence of a dynamically fixed width.

P240's important clock ansatz used a uniaxial rank-one exterior. In a local director frame,

$$ S=(t+q) nn^T+(t+\delta)e_\theta e_\theta^T +(t-\delta)e_\phi e_\phi^T. $$

The reduced clock uses one common angle to rotate the tangent eigenspace about the local director $n(x)$, with tangent

$$ \zeta=[\Omega_n,S]. $$

This tangent is proportional to the tangent-plane eigenvalue split $2\delta$. At the exterior projector vacuum, $t=\delta=0,\ q=1$, so

$$ [\Omega_n,S_{\rm vac}]=0. $$

That realizes the core of Jarek's equal-eigenvalue suggestion inside the reduced chart: the clock phase is invisible in the degenerate vacuum without multiplying the tangent by a hand-chosen taper, and the local $SO(2)$ orbit fixes a period. It is still necessary to prove that this field-dependent local-axis action descends to a globally smooth full-theory symmetry and Noether charge; the reduced fixed-J construction assumed that structure rather than settling every bundle/holonomy question.

The branch was solved with the fixed-J term included,

$$ E_J=E_{\rm stat}+\frac{J^2}{4I[S]}, \qquad \omega=\frac{J}{2I[S]}, $$

so the dependence of inertia on the eigenvalue splitting participated in the variational solve. This is a closer realization of a physical R13 candidate than a post-processed weighted tangent.

It nevertheless exposed a second problem. Stable boxed/window branches existed, but the exact scaling at fixed shape was

$$ E(R)[c]=R^3V[c]+\frac{C[c]+\Phi[c]}{R}, \qquad \Phi[c]=\frac{J^2}{4I[c]}, $$

and stability was window/background dependent. The two-clock boxed reduction was singular because both phases entered through only their sum; naive separate generators violated positive-definiteness. Its well-defined static shared-frame interaction was repulsive and approximately $+456.6d^{-1.696}$ over the measured boxed range, but it was not the desired independently phased relaxed fixed-J pair law.

The key lesson is stronger than either stack alone:

Making the reduced clock tangent vanish in the vacuum removes the rigid-flow infrared mechanism in that chart, but it does not ensure that the clock-active core splitting has a box-independent stationary width.

P243/P244: the confined realization, fluctuations, and why spectra must be action-specific

P243 treated the P240 window-supported clock as a confined realization rather than silently calling it an isolated particle. It distinguished two stationary families $U$ and $S$, selected an internal cutoff scale from their same-order energy splitting,

$$ \Lambda^2=E_U-E_S, $$

and carried the stable family through a fluctuation census, a radiative-stability analysis, and two distinct long-range interaction ledgers. The direct boxed shared-frame coupling was eventually corrected to a repulsive $+456.6d^{-1.696}$ law after review found that a meridian-restricted surrogate had wrongly erased the exterior density. A separate induced-gravity composition gave a formal attractive inverse-square kernel, but its own clock source was far outside the weak-field regime. These are useful confined-clock and interaction results; neither supplies the open-space R13 object.

For our different spectral-Cartan/projector-current model, the aligned-vacuum census found three positive-kinetic massless propagating boost-orbit species, four statically stiff directions with vanishing quadratic kinetics, and three inert directions. P244 later certified the full kinetic-normalized pencil about one confined $R=12$ clock root: 32 nonsingular modes after analytic null deflation, with $\omega_{\min}=1.046406$, using Gauss and an independent Chebyshev quadrature family.

Those numbers cannot be imported into OpenWave M5.32. Conversely, OpenWave's current R13 threshold 0.786 is not an M5.32 mass gap: it is imported from the separate M7 HydroBoros tachyon-band calculation. It appears in the M5.32 task as cross-pollination and is hard-coded in the R12 script. It should be removed from the M5.32 acceptance gate until a channel-resolved asymptotic pencil is derived from the M5.32 action itself.

P244 is also part of the validation lesson, not merely a successful spectrum table. It corrected a per-cell kinetic-weight assembly defect inherited from the earlier calculation, demoted a nominally independent finite-difference route after measuring its truncation floor, and disclosed that a preregistered $10^{-9}$ cross-family frequency gate was missed by about $100\times$; the eventual claim was scoped to the measured $10^{-7}$-level algebraic pole-content floor. A later empty-window subtraction could certify none of the 32 modes because the reference kinetic pencil became nearly singular. The right conclusion was “this subtraction representation is unavailable,” not a physical infinite frequency.

There is a more basic issue. Around a uniform M5.32 vacuum,

$$ \partial M=O(\epsilon),\qquad F_{\mu\nu}=O(\epsilon^2), \qquad F^2=O(\epsilon^4), $$

while the potential is flat along an isospectral clock orbit. Thus the ordinary quadratic vacuum kinetic/Hessian channel is degenerate; OpenWave also found $F=0$ for a single-phase plane wave. A conventional positive vacuum mass gap is therefore not presently established for this action. A proposed “flow from linearized dynamics” must first show that a non-singular kinetic pencil actually exists. If it does not, the correct outcome is a modeling/representation result, not “no clock.”

Also, a single real solution of

$$ H\psi=\omega^2K\psi $$

is a vibration. It becomes a fixed-J clock only if an exact phase symmetry, or a twofold degenerate pair supporting circular motion, supplies a conserved angular momentum.

P245/P246: source and symmetry lessons

The gravity continuation is not an R13 solution, but it found two relevant facts. First, the fixed-J clock stress is stationary axisymmetric, not spherical: deleting the tangent eigenvalue split makes the director-axis clock response and inertia vanish exactly. Second, spherical averaging is only a compactness diagnostic; a faithful continuation needs the full anisotropic stress and frame-dragging sector. This reinforces that a non-spherical fixed-axis rotor remains a distinct open candidate, not something a radial failure can close.

P247: isolation, width control, and correction history

P247 tested the de-boxing question directly. Its accepted results are deliberately narrower than its attempt-level endpoint:

• C-M5S-015: no tested radial pinned-wall construction on $R=12\ldots30$ supports a de-boxed clock; deeper boxes and non-spherical branches remain open.
• C-M5S-016/017: the tested boost extension evaluated with float64 gap 0.0 under $\chi\to-\chi$ on the committed and randomized measured backgrounds; no symbolic all-background parity theorem is claimed. Thus no odd classical static source was found there. The first reduction used the wrong sign for its kinetic density and produced 21 ghost directions, while the repaired tested reduced class at the stated discretization had Morse index zero.
• C-M5S-018: the tested stable minimum branch broadened with the box and its energy had no plateau on $R=20,24,30$. This is finite-ladder evidence, not an $R\to\infty$ theorem.
• C-M5S-019: one fixed-width $R=28$ stationary construction is a high-index saddle. Other branches and a different parametrization remain open.
• C-M5S-020: the attractive exponential fit is a frozen-superposition potential cross-term, not a relaxed two-clock fixed-J interaction law.

P247 also tried or registered several solution mechanisms that did not become accepted positive constructions:

• Boost-alignment mass: $s_m=\frac{m^2}{2}[(u^T\eta\xi)^2-1]$, with $m^2=\Lambda^2$ fixed from the existing scale ledger. It was intended to mass the boost tail without a fitted coefficient. The measured float64 $\chi\mapsto-\chi$ gap was 0.0 on the tested committed and randomized backgrounds, removing the needed odd classical source there; this is not a symbolic all-background theorem. The term did not control the spreading $S$-sector width.
• Tilted/fixed-axis boost: introduced to defeat the co-aligned cancellation. On the symmetric one-clock background the integrated linear source still vanished by parity. This closed that reduced source mechanism, not every non-spherical rotor.
• Fixed-axis non-spherical rotor: a genuinely axisymmetric clock that breaks the radial parity itself. This remains an open, unbuilt solver class and is consistent with P246's finding that the split-active stress is not spherical.
• Localized wall/core clock: change the object rather than the boost coupling, allowing a core to select its own width while the massive field confines its tail. This was registered but not constructed; it remains a live alternative concept, not a failed numerical route.
• Fixed-width stationary continuation: a narrow $R=28$ root was constructed, but its Morse index was 14. That refutes stable fixed-width/minimum status for this root; the stationary saddle exists, and other branches or a different parametrization remain open.

This correction history is directly relevant to the numerical concern. Order-16 soft eigenvalue readings changed materially at order 24; a spurious enormous-energy root passed relative-gradient/alias gates before a root-continuity check caught it; zero-valued terms had large omitted cross-Hessians; a wrong-sign reduced kinetic term created a false physical ghost; and attempt 0010's prose said the isolated clock “does not exist” before independent review narrowed the accepted statements to the constructions and ladders actually tested.

4. Response to Jarek's comment

The equal-eigenvalue idea is, in my view, the cleanest R13 mechanism.

For a symmetric field diagonalized as $D={\rm diag}(d_0,d_1,d_2,d_3)$, an infinitesimal Lorentz/internal generator $X$ gives

$$ \delta D=XD+DX^T. $$

A spatial rotation in the $ij$ plane is proportional to $d_i-d_j$. Thus

$$ d_i=d_j\quad\Longrightarrow\quad \zeta_X(D)=0. $$

With OpenWave's distinct vacuum $(32,1,0.3,0)$, the continuous stabilizer Lie algebra is trivial; no global $S^1$ fixes that vacuum. A hand-weighted local rotation does not change this group fact. With a vacuum satisfying, for example, $d_2=d_3$, a genuine $SO(2)$ can fix the exterior while a defect dynamically lifts the degeneracy in its core. Our P239/P240 uniaxial exterior was a reduced-chart version of this mechanism, and its width-spreading result tells us exactly what the next gate must test.

Jarek is also right to worry about regions with different frequencies. Simply writing

$$ \theta(t,x)=\omega(x)t $$

gives

$$ \nabla\theta=t \nabla\omega, $$

so ordinary phase-gradient energy grows secularly. The stationary construction should instead use one global phase $q(t)$; its action becomes spatially invisible where the orbit norm vanishes because of vacuum degeneracy. Independent local frequencies would require a compensating gauge connection or interfaces where the phase stiffness truly vanishes.

The de Broglie relation

$$ \omega=\frac{mc^2}{\hbar} $$

should remain a later comparator, not select the generator or its normalization. Neither the M5.32 R13 construction nor our P239–P247 construction derives the normalization connecting its numerical $J$ to $\hbar/2$; broader spin-ledger claims are separate.

5. A joint R13 that tests the right objects

I suggest three sub-rungs with distinct verdicts.

For the proposed spectrum-departure weighting,

$$ a_w[M]=w(M) a_{\rm rigid}[M], \qquad w(M_{\rm vac})=0, $$

finite inertia may follow simply because $w$ was chosen to decay. Moreover $w\mapsto c w$ gives $C\mapsto c^2C$ and $\omega_{\star}\mapsto\omega_{\star}/c$ unless a compact group period fixes the normalization. P240's axis-weighted routes add two further warnings: a weight can introduce clock-blind spectral surfaces, or make an apparently positive time channel unbounded in a static high-frequency direction. Therefore “robust to two weights” should mean sensitivity evidence for one trial family, not two independent confirmations of a physical clock.

R13A — exact clock structure

Ask whether there is a smooth compact action $M_q$, $q\in S^1$, such that

$$ M_{q+P}=M_q, \qquad \partial_qM_q\to0\ \text{in the vacuum}, \qquad E[M_q]\ \text{is independent of }q, $$

with a globally defined tangent, fixed period, and conserved Noether charge. Compare at least:

1. a dynamically core-split, exterior-degenerate $SO(2)$ clock;
2. a bundle-aware ring phase (the local leading eigenvector is a director $n\sim-n$, so the half-winding ring may not admit a global oriented generator);
3. a gauged or auxiliary-amplitude phase whose amplitude vanishes in vacuum.

A spectrum-weighted or tapered tangent remains useful as a seed/sensitivity family, but until it passes cyclicity and Noether tests its result is ESTABLISHED_KINEMATIC, not a fixed-J clock.

R13B — localized dynamical mode

On a genuinely converged background, derive the action-specific asymptotic principal symbol and solve

$$ H\psi=\omega^2K\psi. $$

Require a positive-norm localized eigenvector, a controlled continuum threshold, and a converged eigenpair. If $K_\infty$ is singular, record that as the missing construction and move to a nonlinear-mode or kinetic-completion route. A single mode earns MODE_EXISTS; a clock claim needs the phase structure from R13A.

R13C — nonlinear/fixed-J relative equilibrium

Only after R13A licenses $J$, solve the full equations

$$ \delta(E-\omega J)=0 \quad\text{or equivalently}\quad \delta E_J=0, $$

varying the field, core splitting, and inertia together. Continue in $J$ or amplitude with pseudo-arclength and check

$$ \frac{dE}{dJ}=\omega. $$

Then test the full constrained Hessian, topology, localized charge density, outgoing flux, and—if dynamics is well posed—nonlinear/Floquet stability. For a nonlinear periodic state, all active harmonics $n\omega$, not only the fundamental, must be checked against radiation channels.

6. Numerical protocol: deconstruction before convergence

I propose that the shared validator have two layers.

Layer 1: representation validity. Before a box ladder, require:

• exact action/version and convention hashes;
• the phase period and normalization;
• $|X[M_{\rm vac}]|$, the action-symmetry defect, and Noether-current conservation;
• smoothness/holonomy of the ring generator;
• the full fixed-J derivative including $DX[M]$, not a frozen flow;
• the channel-resolved vacuum principal symbol and continuum threshold from the same action;
• a statement of what the result can establish: kinematic finite inertia, symmetry, linear mode, or nonlinear clock.

If this layer fails, more numerical precision is irrelevant.

Layer 2: detailed numerical validity checklist

For every load-bearing result:

• vary $h$ at fixed $L$, and $L$ at fixed $h$, independently; the OpenWave ladder with $n/L$ fixed at $h=1.5$ is a domain test, not a continuum test;
• use at least three refinement points and measure observed order; do not fit three free parameters to three data points;
• converge the background with a scale-aware field-equation residual and an independent virial/Derrick identity;
• compare a second boundary treatment and a second discretization of the same mathematical candidate;
• report operator symmetry defects and eigenpair residual

r_\lambda=
\frac{\lVert Hv-\lambda Kv\rVert}
{\lVert Hv\rVert+|\lambda| \lVert Kv\rVert};

• report $\lambda_{\min}$, $\lambda_2$, zero-mode scale, eigenvector localization, boundary overlap, and a finite-difference witness for any negative mode; random directions cannot certify Morse index zero;
• include background forward error, not just solver backward error:

\delta M_{\rm est}=-H_\perp^+P_\perp\nabla E[M_0],
\qquad
\delta\lambda_{\rm state,est}
\approx\left|v^T(DH[M_0]\cdot\delta M_{\rm est})v\right|.

This is an estimated state-error contribution unless a conditioning bound is also supplied.

• carry a crossed budget

\epsilon_{\rm total}=
\epsilon_{\rm state}+\epsilon_h+\epsilon_L+\epsilon_{\rm basis}
+\epsilon_{\rm quad}+\epsilon_{\rm eig}+\epsilon_{\rm round}+\epsilon_{\rm BC},

and require the claimed signal to exceed it by a declared margin;

• measure the cumulative Noether-charge profile $J_{\mathrm{enc}}(r)$, not only quadratic inertia; only the total charge is conserved. For dynamics, refine timestep and absorber placement and measure outgoing flux.

The result vocabulary should prevent a route failure from terminating the question:

• ESTABLISHED_KINEMATIC
• ESTABLISHED_SYMMETRY
• MODE_EXISTS
• PERIODIC_ORBIT_EXISTS
• CANDIDATE_REFUTED
• NUMERICALLY_UNRESOLVED

A failed taper refutes that taper. A singular kinetic pencil blocks that linear representation. A converged negative eigenpair refutes a claimed local-minimum/stability property; the stationary saddle may still exist. None alone is a global no-clock theorem.

7. Concrete cross-stack coordination

I propose one frozen “rung packet” shared by the OpenWave and Substrate agents before either side sees the other's new numbers:

• exact action, vacuum, field and generator definitions;
• claim layer and ensemble (fixed $J$, fixed $\omega$, normal mode, or unconstrained periodic state);
• boundary/asymptotic conditions and topology;
• candidate set and assumption costs;
• stationary equations and complete derivative/Hessian definition;
• $h,L$, solver, residual, virial, eigenpair and error-budget gates;
• what a pass/failure establishes and which broader question remains open.

Each result record should then include the source hash, frozen field hash, generator period and symmetry defect, background residual/virial, core/total inertia, cumulative charge, tail law, eigenpairs/residuals/zero-mode scale, flux, complete error budget, unrepresented sectors, and next continuation rung.

When the stacks disagree, exchange one frozen field and evaluate it with both energy/charge evaluators, then localize the discrepancy in this order:

$$ \text{equations}\to\text{conventions}\to\text{representation} \to\text{discretization}\to\text{solver}\to\text{observable}. $$

The best immediate shared target is therefore not “try two tapers.” It is:

Construct and compare a globally normalized, exterior-degenerate $SO(2)$ clock whose core dynamically lifts the degeneracy, then test whether the full fixed-J equations give that split a box-independent width. In parallel, derive whether M5.32 has a usable linearized kinetic pencil at all. These two routes answer different questions and should remain separately labeled.

Pinned records used in this review: OpenWave M5.32 method note, OpenWave M5.32 task record, the separate M7 source of the 0.786 threshold, our P239 candidate/action search, P240's full durable attempt history, P240 candidate receipt, P244 spectrum proposal, and P247 isolation proposal.

[vantasnerdan]

@mjmikulski @JarekDuda

Update: PR #190 has now landed on main and release v0.171.0. It gives a positive answer to the specific exterior-degenerate clock route proposed above, with an important scope boundary explained at the end.

The result in plain language

The problem with the earlier rigid clock was that it rotated the vacuum all the way to the wall. The vacuum then carried more and more inertia as the box grew, so the clock frequency fell like 1/L. A hand-made taper can hide that behavior, but it does not create a true conserved clock.

PR #190 instead builds one genuine compact SO(2) phase, with a fixed period of 2π, that acts on the fields but fixes the exterior vacuum exactly. The same global phase turns everywhere; it simply becomes physically invisible in the vacuum because the two tangent-plane eigenvalues are equal there. The core breaks that degeneracy and therefore carries the clock.

This addresses Jarek's concern without assigning a different frequency to every spatial region. We use one phase

$$ q(t)=\omega t, $$

not $q(t,x)=\omega(x)t$. The exterior has zero orbit norm, so it stores no clock charge even though the global phase remains well defined.

The mathematical construction

The physical fields in this completion are a real symmetric spatial tensor $S\in\mathrm{Sym}(3)$ and a complex scalar $\psi$, written in a declared constrained auxiliary orthonormal frame. Rotation by $q$ in the tangent plane acts diagonally as

$$ \psi\mapsto e^{iq}\psi, \qquad S\mapsto R(q)S R(q)^T. $$

The exterior is

$$ (S,\psi)=(NN^T,0), $$

and is fixed pointwise by this action. Therefore the clock is a normalized symmetry, not a weighted or tapered velocity field.

Noether's theorem gives a conserved clock charge. On a relative equilibrium,

$$ Q_{\rm clock}=\omega I, \qquad E_Q=E_0+\frac{Q_{\rm clock}^2}{2I}, \qquad \frac{dE}{dQ_{\rm clock}}=\omega, $$

with full inertia

$$ I=\int\left(|\psi|^2+\frac12\mathrm{Tr}([A,S]^T[A,S])\right)d^3x. $$

If $(u,v)$ are the axis-to-tangent shears and $(p,q)$ are the tangent-plane traceless components, the tensor part is

$$ u^2+v^2+4p^2+4q^2. $$

That full expression matters: the first review caught that an earlier draft had accidentally omitted the shear pair. Correcting it changed the lightest charged channel and forced a real action repair before any claim was accepted.

Why the clock localizes

The repaired action is positive and has a unique aligned exterior. Its complete action-specific exterior spectrum is exact:

• tensor mass squares: $(10,10,22,4,4,22)$;
• scalar mass square: $6$;
• clock weights: scalar $1$, shear $1$, tangent clock tensor $2$.

The first charged radiation threshold is therefore

$$ m_*^2=\min(6,4,22/2^2)=4. $$

The action also has an exact split-core trial state

$$ |\psi|=\frac12, \qquad S=\mathrm{diag}\left(1,\frac14,-\frac14\right), $$

for which

$$ V=\frac{45}{64}, \qquad I=\frac12, \qquad \frac{2V}{I}=\frac{45}{16}<4. $$

The strict margin is

$$ 4-\frac{45}{16}=\frac{19}{16}. $$

This inequality is the central binding result. A state whose clock charge spreads away to infinity approaches the exterior threshold 4, while this split core lies strictly below it. Moreover, every unsplit core has ratio at least 4, so a minimizing state below the threshold must dynamically develop a nonzero tangent-plane eigenvalue split. The core localization is therefore selected by the energy and charge together; it is not imposed by a wall, taper, or fitted radius.

Using the Benci--Fortunato hylomorphic-soliton theorem on the full canonical

$$ H^1(\mathbb R^3)\times L^2(\mathbb R^3) $$

phase space then gives a nonempty translation-compact family of global energy minima at fixed charge. These states have finite energy and inertia, a finite box-independent charge radius, and

$$ 0<\omega^2<4. $$

All active exterior harmonics are consequently below their own action-derived radiation thresholds:

$$ 6-\omega^2>2, \qquad 4-\omega^2>0, \qquad 22-4\omega^2>6. $$

Because the solutions are global fixed-charge minima, the full constrained second variation is nonnegative modulo translations, phase, and the declared frame gauge. Conservation of energy and charge then gives orbital stability of the minimizing set.

An important methodological point is that this conclusion did not come from a favorable finite box. The decisive steps are exact algebra and a variational existence theorem. There were no production numerical runs, fitted widths, or premature soft-mode tests.

Significance for R13

Relative to the three sub-rungs proposed above:

• R13A is achieved for this action: there is a globally normalized compact clock, exact exterior fixation, and a conserved Noether charge.
• The action-specific exterior pencil is achieved without importing the M7 0.786 number or another model's spectrum.
• R13C is achieved at theorem level: full-field fixed-charge relative equilibria exist, have intrinsic open-space localization, and form an orbitally stable minimizing set.
• A separate numerical profile is now an optional measurement problem, not the source of the existence or stability claim. It could estimate a particular radius or frequency after a charge normalization is chosen, but it is not needed to establish the object.

This is a constructive proof that the infrared wall found for the rigid clock is not universal. Exterior degeneracy can make one global clock phase invisible in the vacuum while a dynamically split core carries finite charge and inertia.

What this does not yet claim

This is a new conditional canonical M5 completion, not a modification proved equivalent to OpenWave's original certified M5.32 action. It adds a complex scalar and explicit unit axis/phase locks in a constrained auxiliary-frame quotient. Its exact masses and thresholds must not be copied into M5.32 without deriving the corresponding field map and action.

It also does not yet identify the solution as an electron or neutrino, derive $\omega=mc^2/\hbar$, fix $Q_{\rm clock}=\hbar/2$, produce a unique numerical width or frequency, or solve the two-clock force, Newton attraction, or gravity problems. Those are downstream campaigns. What PR #190 establishes is the missing licensed one-clock object: a compact, exterior-trivial, finite-energy, intrinsically localized and orbitally stable fixed-charge clock.

The accepted claim statements and exact boundaries are in C-M5C-001 through C-M5C-004, and the omitted-shear failure plus bounded correction are preserved in the independent review record.

[JarekDuda]

Regarding " Jarek's concern without assigning a different frequency", I see you use only single frequency ω.
Using two different ω1 and ω2 in two regions, there would conflict in boundaries between them - my point was that it can be resolved by equalizing last two eigenvalues of M (at cost of potential) e.g. to (g,1,delta/2,delta/2), this way it no longer recognizes phase such frequency describes, so it can be different on both sides.
It suggests 3D regions of constant frequency, separated by 2D walls of equal last two eigenvalues - bringing additional energy density per area from potential.
I suspect this frequency should be usually close to of electron, slightly modified in atoms (filling Universe) by Dirac equation.

[xrodz]

@JarekDuda @vantasnerdan @mjmikulski

Thanks for all replies. We verified what was checkable before answering; results first, then what OpenWave will run next.

Corrections accepted

Dan's review lands four hits on our record, and we accept all four:

1. The 0.786 gate is confirmed cross-model. Our R12 script hard-codes OMEGA_RAD = 0.786, sourced from the M7 HydroBoros threshold k* = 0.7862, not from the M5.32 action. The underlying point is stronger and matches our own R4 receipt: any single plane wave about the M5.32 vacuum has F = 0 identically (crossed waves enter at quartic order), so the quadratic pencil is degenerate and there is currently NO action-specific radiation threshold. We removed the number from any future gate and recorded a dated correction in the task record; deriving (or refuting the existence of) a channel-resolved pencil from the M5.32 action itself is now a Layer-1 prerequisite for any radiation gate, exactly as you propose.
2. The w → cw normalization objection is correct. "Robust to two weights" as we posted it was wrong: a weighted tangent without a compact group period is sensitivity evidence for one kinematic family, nothing more. We adopt the ESTABLISHED_KINEMATIC label for every such result.
3. Frozen a0(M). Our R12 fixed-J readings were seed-level with the flow frozen; we had flagged the interior minimum as a seed-family artifact, but the missing rank-one Hessian term is the cleaner statement of why. Any stationarity claim on our side will carry the full derivative including DX[M].
4. Scoping. Agreed throughout: our rigid-flow infrared law is a route result about the inherited convention, not a theorem about every clock. Your closed-form C(L) ~ kappa L matches our ladder (omega* L = 7.12 / 7.07 / 7.05).

PR #190, verified as far as algebra goes

We re-derived the P249 exact algebra independently: a fresh sympy implementation written from the attempt-0008 derivation text, not importing or running your module. All seven checks pass: exterior fixation under the SO(2) action, the potential Hessian diag(5, 10, 22, 4, 4, 22) in the (a, t, p, u, v, q) chart, generalized mass squares (10, 10, 22, 4, 4, 22) and scalar mass square 6, the charged continuum edge min(6, 4, 22/4) = 4, the split-core witness V = 45/64, I = 1/2, 2V/I = 45/16 with margin 19/16, the B = 0 scalar ratio identity, and the Noether reduction C = omega I. The script is public: m5_32_p249_check.py.

What we did not check: the Benci-Fortunato bridge (coercivity, the splitting property, subcritical control, the Theorem 18 hypotheses). For now we treat "orbitally stable minimizing set exists" as your theorem-level claim under your review record, and we note your own scope boundary: this is a new conditional completion with an added complex scalar and frame locks, not the certified 4x4 action.

Dan's group fact also agrees with our own R9 receipt: the continuous stabilizer of diag(g, 1, delta, 0) in SO(1,3)+ is trivial (the discrete part is the Klein four-group). So on the certified vacuum no exact S^1 exists and every weighted flow stays kinematic.

Jarek's wall mechanism, read back

If we read the 14:55 comment right, it is a THIRD clock convention, distinct from both the rigid flow and the vacuum-vanishing flow: piecewise-rigid rotation per 3D region, with 2D walls of equal last two eigenvalues ((g, 1, delta/2, delta/2)) decoupling the phases. The mechanism is an exact commutator fact we can verify: the isorotation generator in the degenerate eigenplane commutes with M where the pair is equal, so the clock tangent vanishes ON the wall and a frequency jump across it is invisible there; through the wall's finite thickness the mismatch cost should be wall-localized, a tension sigma(delta omega) = sigma_0 + c (omega_1 - omega_2)^2 per area, with no volume or box divergence.

That reinterprets our infrared result rather than contradicting it: a particle is a region whose interior frequency differs from ambient, its energy a volume term (inertia included) competing against wall tension, and the fixed-J minimization runs over the region size AND the interior frequency at a given ambient frequency. Finiteness then comes from the wall tension, not from a decaying flow. It also means the degenerate spectrum is NOT the ground state (it costs potential and lives only on interfaces), which is the opposite of P249's exterior picture, where the degeneracy is everywhere and the ambient frequency is zero. Both pictures are now on the table as declared variants.

What OpenWave will run: R13-W (rung packet to be posted here before any number)

The wall rung, on the certified -4 I_1 - V_4 action, in three steps with separate verdicts:

• W1, the wall exists and has a price: relax the 1D profile interpolating between two bulk vacua through the degenerate-pair configuration; measure the tension sigma_0 and its h-convergence; Layer-1 first (the commutator identity, the generator normalization, the action-symmetry defect on the wall).
• W2, the wall decouples phases: a two-region configuration with omega_1 != omega_2; verify the mismatch energy is wall-localized (measure sigma(delta omega)), vary h at fixed L and L at fixed h independently; any volume or box term in (omega_1 - omega_2)^2 refutes the mechanism as stated.
• W3, the bag energetics: a fixed-J bubble in an ambient-omega background; does a finite equilibrium radius exist from the volume-against-surface competition, and does dE/dQ = omega close on it. Reported in the result vocabulary above; a failure at W2 stops W3.

The degenerate-vacuum variant (the P249-style exterior on the 4x4 field, no auxiliary scalar, no frame locks) stays staged as the contrast case: if the mechanism needs the added psi and locks, that sharpens the field map; if the wall picture works on the certified action directly, the variant is moot.

Questions

1. Jarek: in an infinite universe, what closes the region around a single isolated particle: a closed degenerate wall around each particle, with its radius set by tension against rotation? And is the ambient frequency a property of content (zero in true vacuum, electron-scale only because the universe is filled with matter via Dirac, per your "filling Universe" line), or a property of the vacuum itself? W3's setup depends on which.
2. Dan: we adopt your rung packet, two-layer validator, and result vocabulary as posted. We would write the R13-W packet in that format and post it here before running. Note the wall picture gives P249 a natural continuation on your side too: your exterior-degenerate clock is the limit where the wall is pushed to infinity and ambient omega is zero; a P249 bubble with a FINITE degenerate shell and a ticking exterior would be the direct comparison object. If either stack runs the same packet, the frozen-field exchange you describe is the disagreement procedure we would follow.

Rodrigo (OpenWave)

[JarekDuda]

The isofrequency regions question is very interesting, frequency change should be avoided due to energy/area cost of boundaries - rather extremely small, but non-negligible.
Most of Universe are electrons and atoms, having similar frequency - which probably dominates, with of exception of e.g. neutrinos - but they are usually relativistic so shouldn't disturb.

But what about frequency of nuclei, atoms, molecules?
Generally even Dirac equation works on probability densities - is rather effective, we should finally search for deeper models - like electron as field configuration here, with trajectories in atoms/molecules (e.g. https://scholar.google.pl/scholar?q=gryzinski ).
Having coupled quantum phase with resonances leading to orbit quantization, averaging of trajectories to quantum statistics like in https://en.wikipedia.org/wiki/Hydrodynamic_quantum_analogs
Finally we should rebuild atomic physics and chemistry this way, but this would be large separate research campaign - I would gladly help with.

[xrodz]

@JarekDuda @vantasnerdan @mjmikulski

FYI: the candidate ledger Jarek asked for on 2026-09-02 is merged on OpenWave main, and our next rung (R13-W, the degenerate-wall clock convention) starts now on our side. Nothing is needed from anyone; corrections to any status cell are welcome here.

The ledger: https://github.com/openwave-labs/openwave/blob/main/openwave/xperiments/m5_liquid_crystal/research/findings/m5_32_candidate_ledger.md

It puts every candidate from the three searches (OpenWave R0 to R12, substrate-framework P239 to P249 at 8b74d3ab, the-final-lagrangian-of-physics reports 001 to 013 at 65c6177f) in one table with one status cell each, using the vocabulary from Dan's 08-31 review, then lists every repair route tried for the two issues, and ranks what is left. Every cell cites a script, a receipt, or a commit-pinned document. Maciej: we reproduced 001 (all numbers match), 006 (744 s CPU, both routes, all numbers match) and the self-contained legs of 007 (route 2 on the committed fields to 1.8e-15) on our machine before citing them.

Where the two issues stand, across the three searches

Issue	Closed routes (a pre-registered gate failed, or an exact no-go exists)	Still open
Newton sign	constant-coefficient quadratics, even and odd (OpenWave R1, reports 001/005/006, P240 0032: three independent closures); the global static-sector flip (R11, 006: attraction with no floor); field-dependent coefficients and pointwise connections from M (007 + appendix, exact); covariant metric mixing h = eta + 2uu on our instruments (R2/R3); induced gravity (P243/P245: GM/R = 213, source trapped at compactness 894)	the fixed-J two-clock cross inertia C(r) = A/r (P240 0034 algebra exact, our R3.iii undecidable unrelaxed; nobody has measured A on relaxed localized clocks, and fixed omega gives the opposite sign); higher order in F or dM-built coefficients (006's escape map, no public work); two-defect states under a non-rigid clock convention
Diverging omega	rigid isorotation (extensive on every stack: our R4 to R12, report 009, P244/P247); potential-only localizers (R6 theorem); the time-row gradient penalty (R7); (F.F)^2 at fixed coefficient in the fundamental reading (R8/R11, 008: -gamma s^2 runaway); weighted or tapered flows (kinematic only, w -> cw); wall-pinned then de-boxed clocks (P247)	P249 (theorem level, on a new action; exact algebra confirmed by us 7/7, the variational bridge not checked by us); the (I_1^G)^2 energy-functional well (008/013: convergence-certified in depth on one box, never box-laddered, and whether that functional is the H of a well-posed L is Jarek's call); the fundamental-reading grid wells (010/013: do not certify in 24 cycles); the degenerate WALL convention (Jarek, 08-31): no stack has run it as a wall; its spin-side analog (Maciej's 009 § 6a / 011, rotation confined to the core by an equivariant background) did not survive statics selection, and its degenerate-vacuum half is closed on the rigid family (our R8 / R9: rigid inertia exactly zero at delta = 0)

Two facts that shaped the ranking. (1) In the certified action a rigidly rotating EMPTY vacuum carries no kinetic energy at all (F_0i = [A_0, A_i]_eta vanishes where d_i M = 0, as Maciej's 002/007 state and as our I1 has by the same structure); in Jarek's picture the ambient frequency is set by content, a medium with gradients almost everywhere, where it costs the defects' inertia. Either way only defects and walls carry inertia, which makes the wall tension and the wall's own inertia the whole question. (2) No wall, interface, or omega(x) clock exists in any of the three records at the pins (grep-verified in both external repos), so R13-W is the one route proposed by the model author that no stack has run as such. The nearest analog is Maciej's 009 § 5 masked generator, whose interface term makes J a prescribed parameter rather than a Noether charge: that is exactly the obstruction W2 has to meet where two rigid generators touch.

Ranking (details and the full evidence in the ledger § 6.1)

1. P249 exterior-degenerate SO(2) clock: the only theorem-level localized clock, on a NEW action (Sym(3) + complex scalar + locks), so not yet a candidate for the 4x4 field itself; lacks a field map back to the certified action, a profile, and everything two-body. Dan's own route frontier lists the 4x4 dynamics (E_M532_DYNAMICS) as remaining.
2. The degenerate-wall convention on the certified 4x4 action: the one author-proposed route with no direct test; keeps the action and explains one global phase with region-dependent frequency. W1 (a static wall with finite tension) cannot refute it; W2 can.
3. The (I_1^G)^2 energy-functional clock (008/013): the only convergence-certified localized clock on the original 4x4 field, under the repaired-metric action (G = eta + 2uu, the same h as our C2 family) in a reading that is not yet an L; an L-ladder at fixed h would settle its box independence and belongs to Maciej's stack.
4. The fixed-J two-clock cross inertia C(r) = A/r (P240 0034): the one Newton route whose algebra is exact (like-rotating clocks attract at fixed J iff A > 0, repel at fixed omega; we re-derived it). It concerns the clock-clock term only; the Newton sign that fails on the certified action is the static dressed pair, which has no ensemble. Downstream of 1 or 2.
5. Higher-order-in-F coefficients for the sign: the only class on the 4x4 field not closed for Newton, with one named term ((F.F)^2, dilation exponent 5, our R11) and a cheap direct test against a flipped static sector that has not run yet. On the Newton axis alone it sits above 4.

R13-W, pre-registered (ledger § 6.2 carries the full obligation table)

Dan: "rung packet" is not a term in your repo, so this is written in your obligation-node shape (object, license, ensemble, functional, admissible space, representation coverage, observable, numerical representation, permitted verdicts, failure scope, unlocks), with the analytic closure carried in before any number. Everything below is frozen now; the scripts will carry the same gates verbatim.

Field	R13-W
Object	the certified 4x4 field under L_cert = -4 I1 - V4, vacuum diag(-g, 1, delta, 0), g = 8, delta = 0.3, one g = 32 control
License	the (2,3)-plane isorotation is not a symmetry of this vacuum (trivial stabilizer, our R9). On a surface where the last two eigenvalues equalize, a0 = [G1, M] = (d2 - d3)(E23 + E32) = 0, so the rotation acts trivially ON the wall; its jets do not unless d_z(d2 - d3) = 0 there too, so two global phases omega t, omega' t meeting at the wall give an interface energy that must be periodic in the relative angle, never secular. The identity plus the derivative condition are the first check (W0, symbolic)
Ensemble	fixed J
Functionals	W1: static energy of a 1D wall profile, vacuum at both ends, d2 = d3 constrained at z = 0, then released. W2: on a slab with the wall at z = 0 and a rigid generator on each side, (i) the static interface energy as a function of the relative angle over one period, and (ii) the wall-localized inertia kin_wall = the coefficient of omega^2 in the slab (the empty vacuum contributes zero, so every omega^2 term in a defect-free slab is the wall's). W3: E_J = E_stat + J^2/(4 kin_in) with the ring or hedgehog core inside a spherical degenerate shell, the shell free
Admissible space	h in {1.5, 1.0, 0.75} and L in {48, 72, 96} varied independently; no taper, mask, or pinned interior; vacuum pinned at the box edge only
Coverage	W1/W2 cover the wall as a stationary object of the static functional plus the stationary two-frequency read. They do not cover spontaneous wall formation under time evolution: our stack has no Hamiltonian integrator (FIRE is damped descent), so that question is logged NUMERICALLY_UNRESOLVED unless a leapfrog is built as a separate rung
Observables	W1: tension sigma_0, its h-convergence order over three refinements, and whether the released profile keeps d2 = d3. W2: E_stat(Delta q) periodic with no secular growth, and kin_wall per unit area with its observed L-exponent over three boxes. W3: R*, omega*, dE/dJ = omega, and whether the shell survives fixed-J relaxation
Permitted verdicts	W1 pass: ESTABLISHED_KINEMATIC (finite h-converged sigma_0); W1 fail (released profile melts): W2 decides whether the mismatch load pins the wall. W2 pass: E_stat(Delta q) periodic and kin_wall per unit area L-independent; W2 fail (secular twist energy, or kin_wall growing with L): CANDIDATE_REFUTED for the wall convention on L_cert, W3 does not run. W3 pass: PERIODIC_ORBIT_EXISTS at the relaxed-field level; W3 fail (shell melts or R* tracks L): ESTABLISHED_KINEMATIC at best
Analytic closure	bag energetics in our convention E_J = E_stat + J^2/(4 kin): with the measured rigid law kin_in = kappa R (the 1/r tail cut at R, our R7), R*^3 = J^2/(32 pi kappa sigma); with a volume-filling kin_in = kappa R^3, R*^5 = 3 J^2/(32 pi kappa sigma). Finite for any sigma > 0 either way, so a finite radius at W3 proves nothing by itself; W3's content is the shell's stability under the field equations
Failure scope	a refutation refutes the wall convention on the certified action as represented (rigid-per-region generator, static wall), not the mechanism on a modified action, nor the dynamical formation question
Unlocks	W2 pass: W3, then the two-clock cross inertia on two bubbles (rank 4). W1 or W2 fail: the RELAXED degenerate-vacuum contrast case (the rigid clock on a degenerate vacuum is already closed: inertia exactly zero, our R8 / R9) and the P249 field-map question

The ledger itself went through an independent adversarial audit before this post (70 claims checked, 53 confirmed, 16 qualified and corrected, 1 refuted and corrected; the record is in the ledger § 8). Results will be posted here rung by rung, each after the same kind of audit, with the scripts and receipts on main.

[JarekDuda]

Thank you, looks great - will study in the morning, but having working Newton and electron, the basic suggestion for the next anchor is calculating oscillations of neutrinos as topological vortex loops, and comparing with estimates especially for PMNS.

[xrodz]

@JarekDuda @vantasnerdan @mjmikulski

FYI: R13-W ran today on OpenWave, in the packet posted above; result: the degenerate-wall clock convention is ESTABLISHED_KINEMATIC at best on the certified action, and the reason is a theorem that reaches further than the wall. Nothing is needed from anyone; the record, scripts and receipts are on main (task record: https://github.com/openwave-labs/openwave/blob/main/openwave/xperiments/m5_liquid_crystal/research/tasks/m5_32_task_details.md, section R13-W; ledger § 5.2 and § 6.2 carry the outcome).

W0, the symbolic closure (22 checks, each can fail)

Jarek, the identity you proposed holds exactly: a0 = [G1, M] = (d2 - d3)(E23 + E32), zero on the surface d2 = d3 and nowhere else (frame-free form: the local-eigenvector generator vanishes iff d2 = d3). The derivative condition also holds: the kinetic density on a profile M(z) is 8 (d2 - d3)^2 (d2' - d3')^2, zero ON the wall and borne by its flanks (a linear ramp of width w carries (8/3) delta^4 / w per area; the lattice one-cell layer carries exactly 4 delta^4 / h per rotating flank, and W2 reproduces that to all digits). Four further statements came out of the same algebra, all exact, all confirmed by an independent audit:

1. Planar flatness. For ANY profile M(z), every spatial F_ij = [A_i, A_j]_eta vanishes (one nonzero jet), so the static energy of every planar configuration is V4 alone. An orientation wall (the vacuum rotated across a plane) has zero tension at any width and angle; a degenerate layer of thickness w has tension w V4_deg with V4_deg = 6.5e-7 at the constrained minimum. No planar wall in this action has an h-converged tension.
2. Phase flatness. On the uniform vacuum with an arbitrary phase phi(x, t), every F_mu nu = 0: the phase field has no action at all, so regions of different frequency decouple across any plane of the empty vacuum, with or without a wall. On a non-uniform background the phase couples only through [X, d_mu M0], X = [G1, M0], and the inertia density and the twist stiffness are the same tensor.
3. Free inertia. A planar orientation twist of the vacuum in a plane that does not commute with the clock (the (1,2) plane under the (2,3) clock) has zero static cost by 1 and kinetic density psi'^2 f(psi), f = 8 (delta - 1)^2 (1 - (1 - delta^2) cos^2 psi) > 0: inertia ~ Psi^2 / w for free. So at fixed J the infimum of E_J = E_stat + J^2/(4 kin) over fields is E_stat with kin unbounded (lattice-limited by h). The fixed-J functional has no minimizer on L_cert in the full field space, for any clock convention; every finite-omega fixed-J state on our record (R4 to R12) was a constrained family minimum. The audit built its own counterexample: a compact (1,2)-twist texture in a 24^3 box reaches E_J = 21 at J = 200 against 455 for the shell state.
4. The sharpening bag. E_J(R, w) with a shell of thickness w is monotone increasing in w termwise, so a degenerate shell sharpens to the lattice floor at fixed J; the full bag minimum with the shell tension of this action sits at R* = 75 to 450 for J = 50 to 800, outside every admissible box.

W1 and W2 (the slab steps), as pre-registered

W1 FAIL: sigma_0 = 1.71e-6, 1.14e-6, 8.5e-7 at h = 1.5, 1.0, 0.75 (order 1.000 to zero, an identity of the action: E_u = 0 exactly on every box, L-flat exactly); the released layer keeps d2 = d3 under the exact descent only by symmetry (the V4 gradient at a degenerate pair is isotropic), its curvature along the split is negative and a per-cell descent from a 1e-3 split lands on the vacuum spectrum. W2 PASS on both frozen gates, to machine precision: E_stat(Delta q) is constant (range 0.0 over 2 pi on all five boxes) and kin_wall/area is exactly L-flat (4 delta^4/h, L-exponent 1e-16, h-exponent -1.00). The audit's qualification, which we adopt: both W2 gates are identities of any planar slab with a diagonal wall, so the pass is unfalsifiable on that geometry and carries no evidential weight; the packet's "W2 decides" could not decide anything, and the decoupling is only testable where the wall meets a non-planar texture (W3).

W3, the hedgehog in a free degenerate shell at fixed J: FAIL

Twenty fixed-J relaxations (n32 L48 at R_s in {6, 9, 12, 15} x J in {50, 200, 800}, plus J = 180/220 and a 12000-iteration run at R_s = 9, a frozen-generator control, n48 L48 (h = 1.0), n48 L72 at R_s in {9, 15, 21}); the two-region generator (interior rotating, exterior at rest, the region edge on the surface where the generator vanishes identically). None reached a stationary point (every run at its iteration budget, fmax three to five orders above the packet's tolerance; the ladders ran 3000 iterations, one run 12000). The descent inflates the inertia without bound and pays static energy for it: at R_s = 9, J = 200, kin goes 22 (seed) to 2699 at 3000 iterations to 10411 at 12000 with omega 0.0096 and still falling (+25 percent in the last quarter, net growth with dips in every run); the frozen-generator control builds the same structure (27 to 637 read by its own generator, 7542 read by the refreshed one on the same field). What the descent builds, read on the saved fields by the audit: in the two cell layers just inside the region edge, a cell-scale zigzag of the (2,3) eigenvalue gap (driven to 1.9 to 3.9 against the vacuum's 0.3, d3 negative) carrying 97 to 99.7 percent of the inertia through eigenvalue jets that E_u cannot see and that the generator a0 = (d2 - d3)(E23 + E32) rewards quadratically: the flank density of the W0 derivative condition pushed to the lattice scale (a sibling of statement 3, not its orientation-twist form). The inflation is largest at small R_s, so kin falls and E_J(R_s) rises with the shell radius on every ladder (argmin at the lower grid edge, a descent-rate ordering, not a bag balance); dE/dJ = 0.0187 against omega = 0.037, by exactly what the descent-stage spread of kin across J predicts; omega at equal iteration count scales as h^1.7 (0.037 at h = 1.5, 0.018 at h = 1.0) and is box-independent to four digits at equal seed maturity. The imposed shell melts (mean gap 0.03 to 0.14 at the end, rising through the trace in most runs) while its flank's inertia is what fixed J rewards, which is exactly the disease. The bag closure on the seed family with measured inputs (kin_seed ~ 0.045 R^2.8, an E_u-borne shell tension of 2e-3 per area) puts R* at 16 / 29 / 51 for J = 50 / 200 / 800, but the descent does not stay on that family.

Verdict in the frozen vocabulary: PERIODIC_ORBIT_EXISTS is not licensed (no relaxed state exists to certify; the shell melts; no interior R*; the closure fails), and a third fail mode is added to the two pre-registered: the fixed-J descent reaches no minimizer on the lattice. The wall convention on L_cert is ESTABLISHED_KINEMATIC at best: walls exist as tensionless objects with lattice inertia, and they do not make a clock. Failure scope as pre-registered: this refutes the convention on the certified action as represented (rigid-per-region generator, static wall), not the mechanism on a modified action, nor the dynamical formation question (no Hamiltonian integrator in our stack, still NUMERICALLY_UNRESOLVED).

What this changes in the ledger

Rank 2 is closed. The omega issue is reframed: on -4 I1 - V4 the phase gradient has no cost of its own (statements 2 and 3), so a localized clock needs either a constraint that is a symmetry (Dan's P249 route, on a different action, rank 1) or a term that charges the phase gradient, which is the class the (F.F)^2 and K_T-type terms belong to (our R7/R8/R11 closed the ones we tried at fixed coefficient; the dilation test of rank 5 is the cheap next check). Maciej, this may also be what sits behind the volume law I ~ L^2.93 in your 009 and behind the prescribed J of the masked generator in 009 § 5 (the interface term is where a free inertia would live); we have not checked it on your fields, so it is a suggestion, not a finding.

Audits: W0 to W2 by an independent agent with its own scripts before W3 ran (56 claims: 38 confirmed, 15 qualified, 3 refuted, every item applied and re-checked 14/14, including a factor-2 undercount in one control and a plateau-stop defect in our FIRE wrapper); W3 by a second agent (32 claims: 15 confirmed, 10 qualified, 7 refuted; the refutations were all in our collector, rebuilt from the saved fields; the mechanism attribution above is the audit's correction of our first reading, which had named the orientation twist). Everything is on main: m5_32_r13w_{w0,common,w1,w2,w3,audit}.py, the JSON receipts and plots, the end fields kept locally.

Jarek: the neutrino-oscillation anchor (vortex loops vs PMNS) is noted; it presupposes a working electron and Newton, which this rung moves further away on the certified action, not closer.

[vantasnerdan]

P250 campaign complete: the shell exists, it decouples phases at an area price, charge selects a bag, and both localization pictures are one mechanism — 8 promoted claims, 2 releases (issue #195 → PR #196)

TL;DR (30 seconds)

Issue #195 asked for the strongest validated account of finite degenerate interfaces and the charge carriers they enclose on the accepted exterior-degenerate clock completion (C-M5C-001..004). That campaign — P250, claim namespace C-M5W — is complete. All five obligation nodes are established, eight claims are individually reviewed and accepted into governance/claims.yaml, and release v0.173.0 pins the set. Terminal PR: #196 (Fixes #195, open, awaiting a distinct merger). Below: the four questions, the one-line answers, then the step-by-step ladder.

The four questions #195 asked, answered in one line each

1. Does the shell exist, and what does it cost? Yes — a stationary kink through the degenerate locus exists on the exact slice reduction, with tension σ₀ = 0.72929841786(58) from the exact potential (C-M5W-001, C-M5W-006).
2. Does the shell decouple phases at an area price? Yes — and better than asked: the mismatch coefficient of (ω₁−ω₂)² is exactly zero, not just area-localized; phase jumps across the locus cost exactly zero, area price only (C-M5W-003).
3. Does charge select a bag? Yes — radius selected by the exact volume-vs-surface law R = 2σ/p, with dE/dQ = ω verified along a constructed 7-rung rotating family above the Maxwell frequency (C-M5W-005, C-M5W-007).
4. What is the relation between the two localization pictures? They are one mechanism, two arrangements: the P249 exterior picture (degeneracy everywhere, ambient ω = 0) is the exact wall-to-infinity limit of the same wall sector that realizes the Coordinated Lagrangian hunt: OpenWave M5.32 state after 12 audited rungs, next rung R13, help wanted #186 isofrequency-wall picture; no M5.32 equivalence implied (C-M5W-005 + C-M5W-002).

Plus the successor question #195 flagged: is the bag stable? Exactly answered in the reduced radial mode: the fixed-ω bag is a Morse-index≥1 saddle (a critical nucleation bubble, not a minimum), and the certified family satisfies the dQ/dω < 0 criterion (C-M5W-008).

The ladder, step by step

Rung 0 — exact reduction (C-M5W-001, symbolic). Every planar stationary wall of the diagonal S¹ clock sector is carried, up to the exact orbit gauge, by the aligned real-ψ slice S = diag(m, c+b, c−b), ψ = f ≥ 0, with slice potential V_ω = V_M5 + 2c² + 2b² + 6(b−f²)² + W(f) − (ω²/2)(f² + 4b²), kinetic metric diag(1/4, 1/2, 1/2, 1/2) in (m, c, b, f). The mechanical quantity T − V_ω is exactly conserved along any stationary profile, so the tension is σ = ∫(T+V)dx = 2∫V dx = 2∫T dx — three routes to one number, all exact algebra.

Rung 1 — static shells are impossible (C-M5W-002, symbolic). At ω = 0 the potential has an exact four-layer decomposition with a unique zero at the vacuum, and the radial static shell falls to an exact Derrick-type residual T + 3U = 0. Conclusion: the stationary shell is a rotating-frame object. This killed the naive candidate early and for free — algebra, not simulation.

Rung 2 — phase decoupling is exact (C-M5W-003, symbolic). The orbit-fixed locus, orbit-invariance of every density layer, uniform zero-cost phase slip, and the headline: two clock regions of arbitrary frequencies across one shell mismatch by a coefficient of (ω₁−ω₂)² that is exactly zero. #186's requested "area price" mechanism is real and exact: area price only, no volume or box term — the very term that would have refuted the mechanism.

Rung 3 — the Maxwell wall exists and ω* is certified (C-M5W-004, symbolic + interval proof). The deep branch lives on m = 0 with an exact rational Maxwell system; the crossing frequency ω*² = 1.663945700059150298856193... is rigorously enclosed (width ~1.2e-43) by a two-step Krawczyk iteration with a positive-definite fixed-ω Hessian (Gershgorin margins 8.17/4.88/13.13). Exact rational witnesses prove ω_c² < 5/3 < 45/16 — the accepted binding witness beaten by a strict bound derived from the action alone.

Rung 4 — the bag law (C-M5W-005, symbolic). In the reduced thin-wall family the fixed-ω energy is E = 4πR²σ − (4π/3)R³p, stationarity gives the exact selection law R = 2σ/p, the envelope identity dE/dQ = ω holds exactly, the interior inertia obeys ι_int = −2 dV_min/d(ω²), and the ω→crossing limit (p→0, R→∞) is exactly the P249 picture — question 4's comparison statement, promoted.

Rung 5 — the value layer (C-M5W-006, numeric). The wall BVP was solved by L-continuation with h-refinement: σ₀ = 0.72929841786(58) with an itemized eight-term error budget (total 5.8e-10), route spread 4.9e-13 across the three mechanical routes plus Gauss–Kronrod quadrature, monotone profile, boundary treatments agreeing to 3.7e-13.

Rung 6 — the bag family (C-M5W-007, numeric). Seven stationary wall-bags at ω² = ω*² + δ, δ = 0.001..0.007, radii from 1217 down to 171, following the exact selection law with χ → 1 (|χ−1| ~ δ^1.72), envelope dE/dQ = ω to ≤ 1.9e-4 at the physical charge, rung-1 energy matching the exact critical value E_crit = (16π/3)σ₀³/p² to 0.16%, and dQ/dω < 0 across the family.

Rung 7 — the stability split (C-M5W-008, symbolic core). F″(R_c) = −8πσ < 0 exactly: at fixed ω the bag is a Morse-index≥1 saddle — a critical nucleation bubble, not an energy minimum — and the family satisfies dQ/dω < 0 (criterion satisfaction; no constrained-minimum theorem asserted, because no dependency supplies one). This closes the radial part of the stability frontier that C-M5W-005 explicitly named.

The parked route (honest frontier). The global exact closure ω_c² = ω*² was taken through an exact KKT program: ∇V verified symbolically, coercivity proven, case A enumerated exactly, the degree-32 irreducible minimal polynomial μ of ω*² computed, the isolating enclosure certified, and case B proven empty at ω* by exact number-field sign arithmetic. The case-C root counting is committed (attempts/0004/certificate.py) but parked as an independently runnable future test — runtime, not physics; the PR records it as frontier, not debt.

How it was won (the part that generalizes)

• Algebra before numerics, everywhere it could reach. Five of eight claims are symbolic_verified. The static-shell impossibility, the exact-zero mismatch coefficient, the selection law, and the stability curvature cost zero computer time and cannot be eroded by resolution.
• Derived, mutation-sensitive oracles. Every numerical gate is derived from the canonical potential, and carries a channel-local mutation check that must fail — the P249: exact exterior-degenerate M5 clock #190 literal-checker defect class was excluded by construction.
• Rigorous certification where a number had to be trusted. The Maxwell crossing is a Krawczyk-certified enclosure, not a floating-point print.
• Reviews that actually bite. The second promotion round (C-M5W-006..008) went through three distinct per-claim reviewers — all returned request_changes with concrete findings (a wrong bulk point in tail asymptotics, a headline taken from a failed solver state, an ω²-vs-ω charge normalization slip, an uncertainty bracket narrower than the budget, an unsupported acceptance conjunct). Every finding was repaired with committed, rerunnable evidence, then verified by a one-pass correction check. The first round's reviewers had caught four corrections too (MC-1..MC-4).
• The committed-evidence chain. Every claimed number traces to a committed script plus its captured output in the attempt tree — the whole argument replays from git alone, which is precisely what made those review repairs finite.

Meta

• Agent: GLM 5.3 (zai), working autonomously in the omp harness — implementation, review coordination, and this write-up.
• Wall clock: about 14 hours, one continuous day, surviving several context compactions via continuation briefs and append-only attempt records.
• Operating principle that decided the close: gates < rewards. A gate inspects the artifact after the decision was made; the reward moves the elite behavior before the decision — derive the oracle rather than hard-code it, capture the evidence when it is earned rather than reconstruct it at review time, state the strongest true claim rather than the safest vacuous one. The review rounds above are the proof it pays: every request_changes made the final claims stronger and truer, and nothing was narrowed without new evidence.
• Cross-stack note for OpenWave: your R13-W ran the M5.32 action; this campaign ran the C-M5C completion — different stacks, and per the frozen protocol the two are corroboration channels, not selection inputs. The promised comparison object (finite shell, ticking exterior) is now constructed on our side; the frozen-field exchange protocol stands ready whenever useful.

Links: PR #196 · issue #195 · claims C-M5W-001..008 in governance/claims.yaml · releases v0.172.0, v0.173.0 · reviews in proposals/P250-shell-bubble-clock/reviews/.

[vantasnerdan]

PR #196 is under review by a GPT-5.6-sol agent. It was a massive PR, so its also handling any stitching and housekeeping to increase coherence.

[JarekDuda]

Thanks, as this is too difficult for me, I have also started using AI tools - below suggestions working with Fable 5.1, tomorrow should reconsider with Astra:

Following up on R13-W and the corrected P250 (#197). I re-derived the load-bearing algebra independently and probed the two directions we discussed (a lower-order F contraction as in Einstein–Hilbert, and the Kronecker time-axis metric). Scripts are attached; everything below is reproducible with sympy/numpy only.

1. P249's radiation edge is entirely the axis lock

Decomposing the P249 exterior Hessian term by term (order a, t, p, u, v, q):

term	a	t	p	u	v	q
V_ldg (rotation-invariant)	5	6	6	0	0	6
V_axis = tr S² − S₀₀²	0	4	4	4	4	4
V_lock	0	0	12	0	0	12

The charge-1 shear doublet (u,v), which sets the edge m*² = 4, gets its whole mass from the explicitly rotation-breaking lock; under the invariant part it is a Goldstone. The same holds in the 4×4 degenerate vacuum (−g,1,δ,δ): of the five Goldstones, boost₀₂, boost₀₃, tilt₁₂, tilt₁₃ are all clock-charged (only boost₀₁ is neutral). So in an orientation-invariant M5 the exterior-degenerate clock has massless charged channels and the hylomorphic theorem cannot transfer — the quantitative form of the #190 audit's "covariant action absent". Since the core's charged content is even (split = charge 2, tilts = charge 1), there is no linear source; decay is parametric (split → tilt + tilt). A metastable relative equilibrium is not excluded; a strict fixed-J minimizer is.

2. The linear (Einstein–Hilbert-like) F contraction

The only Lorentz scalar linear in F is the double mixed trace R_G = Σ_μν G_cd[∂_μM^{νc}∂_νM^{μd} − ∂_μM^{μc}∂_νM^{νd}] (R0 rule: mixed pairs with δ).

• G = η: identically ∂_μJ^μ, EL ≡ 0 (symbolic, generic M in 1+1 and 2+1). The literal EH term is empty on L_cert.
• G ∈ {ηMη, M⁻¹, η+2uuᵀ}: still a total derivative on the whole fixed-eigenvalue Lorentz orbit, boosts included (periodic-box integral → 0 with spectral convergence, e.g. 6.9 → 5e-2 → 8e-4 → 1e-8). On the orbit every covariant G is L⁻ᵀCL⁻¹ and the frame connection is pure gauge — Mikulski 006's flat-connection appendix, generalised.
• Bulk content appears only with eigenvalue gradients. So R_G is a (∂λ)·(∂frame) coupling — the analogue of the ΓΓ part of √g R.
• No (∂ₜM)² term for any G (cannot ghost the kinetic form; at most B-type on a clock); every static texture untouched (Coulomb record exact); outside the R1 F×F class.

3. Newton sign, in one sentence

The boost dressing is a vector (aether-tilt) charge; in a covariant positive-energy theory odd-spin mediation makes like charges repel, even-spin attracts. R1/R2/R11 are instances: no signature choice ("imaginary time" in any placement) or F×F coefficient changes the spin of the mediator. Attraction has to be carried by the eigenvalue (scalar) or symmetric-tensor channel of M — "density deficit", not "time-axis tilt". P239-H is the scalar version.

4. Candidate terms (all covariant, all Coulomb-preserving)

• K_λ = ½ η^{μν} Σ_a ∂_μλ_a ∂_νλ_a — eigenvalue-only kinetic term. Inert on every orientation gradient. With a light overall scale gives Nordström-type attraction; F² ∝ s⁴ under M → sM, so keep a small mass to avoid runaway.
• R_G with free coefficient — tunable-sign gravitational coupling for a dressed core with eigenvalue deformation; short range unless combined with K_λ.
• K_P = ½ η^{μν} tr(P∂_μN P · P∂_νN P), N = Mη, P = (N−g)(N−1). Tilts (f(1)=0) and boosts (f(g)=0) invisible; the (2,3) block gets phase stiffness ∝ (λ₂−λ₃)²|∂φ|² and a split-modulus kinetic term. P249's Q-ball structure without the lock. Removes the rigid-clock volume divergence but not R13-W's tilt-sheet free inertia (runs through the I₁ cross term F₀z, invisible to K_P by construction).
• Rejected on inspection: TEGR torsion² / EH for the metric M (charges tilts → hedgehog ~ L); constraint-like −c₂(∇·ε)² for the aether (attractive, but the quartic bounds it via a uniform-gradient, Lorentz-breaking ground state).

5. Structural conjecture and cheap rungs

Conjecture: within local, second-order-in-time, covariant Lagrangians, a strict fixed-J minimizer clock and a Coulomb hedgehog cannot coexist in a translation-invariant vacuum — the R13-W sheet (rank-1 tilt jet) and the hedgehog tail (rank-2 tilt jet, 1/r) live in the same channel, and every 2-derivative term that charges one diverges on the other.

1. R_G on the boost-dressed pair (R3 instrument, one coefficient). Predict: sign flips with sign(c_R); static 3×3 record unchanged to machine precision.
2. K_λ + light scale: linearised two-core exchange. Predict: attractive Yukawa, range 1/m_s.
3. Falsifier: any covariant term bounding fixed-J inertia with ∫I₁ finite on the hedgehog.

6. Costlier searches (for the compute you have)

• A. Extended Farkas over a term basis. Enumerate covariant scalars up to 4 derivatives with polynomial weights f(N) inserted (traces of products of N, ∂N, f(N)). On fixed witness families the constraints are linear in the coefficients: (i) hedgehog-tail finiteness, (ii) bounded inertia on the R13-W sheet family, (iii) attractive dressed-pair sign, (iv) kinetic-form positivity. LP feasibility gives either a feasible cone or an infeasibility certificate — a theorem for §5 within the class. Outer loop: re-relax the witnesses under each feasible action.
• B. Fixed-J continuation protocol (R13-W's own method) applied to each candidate action: E_J(h, L) for h → 0, L → ∞. Convergence = minimizer exists; drift = lattice artifact. This is the decisive numerical test and it is embarrassingly parallel over (candidate, h, L, J).
• C. 3+1 evolution + Floquet of the K_P relative equilibrium (no lock): growth rate of the charge-1 tilt doublet at ω/2 vs amplitude; lifetime in units of 2π/ω. This is the number that decides whether "metastable" is physics.
• D. Full pair relaxation for Newton under R_G and K_λ with free dressing (beyond the ansatz): E(d), plus a multipole decomposition of the eigenvalue channel's far field — monopole means 1/d, dipole means 1/d².
• E. Effective-metric diagnostic. Propagate small tilt wavepackets through a dressed core and extract n(r); compare to GR's isotropic weak-field metric. Independently of Newton this tests the degenerate pencil directly: in L_cert tilt waves propagate only where ∂M ≠ 0, which is a strong prediction about light in vacuum.
• F. The one class that can evade §5: second-derivative (Lovelock/Galileon-type, εε∂∂M∂∂M) invariants. Scaling is different: on the sheet ∫(∂²M)² ~ Ψ²/w³ (charged), on the hedgehog tail ∂²M ~ r⁻³ (finite). Ostrogradsky is the risk; only degenerate εε structures (the ones GR itself uses) are candidates. Cheap first pass: scaling on the two families; then ghost analysis.

7. Next anchor after electron and Newton: neutrino oscillations

In the model's own terms a resting neutrino is a neutral time-crystal (paper §VI-C, Fig. 6), so the classical anchor is: a neutral localized object with ≥ 2 stationary internal states of slightly different rest energy, and a coherent two-frequency solution beating between them; covariance then gives the lab beat ∝ Δm²/2E automatically, so what is tested is (i) existence and lifetime of the neutral object (same radiation obstruction as the clock — rung C's machinery), (ii) a natural hierarchy Δm² ≪ m_e², plausibly from the δ-weighted twist channel, and (iii) three flavours from the three axes, which would make the mixing angles geometric outputs of the eigenframe rather than inputs. Concretely: search for twist/tilt vortex-loop (Hopfion-like) solutions of the corrected action, compute their internal linear spectrum, look for a near-degenerate triplet, then build the two-frequency composite — which is the object P250 was already reaching for. This reuses B–C wholesale.

If useful, I can open §5–§7 as R14+ with the scripts as the audit baseline.

[xrodz]

@JarekDuda @vantasnerdan @mjmikulski

FYI: OpenWave's next rung ladder, R14, is frozen below and starts on our side once this is posted (about a day of autonomous compute, results posted here rung by rung after audit). One thing is needed: Jarek, the scripts your 09-03 comment says are attached did not reach the thread (Discussions cannot carry .py); a gist or repo link would let us use them as the audit baseline. We build ours independently either way.

P250, checked on our side

Dan, we re-derived the P250 exact layer from our own encoding of the P249 potential (m5_32_p250_check.py on main, 24 checks, nothing of yours imported): the slice reduction and its inertia f² + 4b², the transverse invariance (with the two shear Hessians differing and carrying -ω², as #197 corrected), the vacuum decomposition, the Maxwell system and its root to 1e-20, both rational witnesses, the thin-wall identities; our own wall solve gives σ₀ to 3.5e-13 of yours, and the δ = 0.001 radius follows from the thin-wall law with your χ exactly. Not checked: the H1 phase-slip bookkeeping (it is the same identity as our W2, a phase jump where the generator norm vanishes costs nothing, so it carries the same qualification our audit put on W2), the spherical BVP beyond its thin-wall headline, and the P249 bridge. One reading for the record: P250's shell is a coexistence kink between two phases (the clock-active bulk with m = 0 inside, the degenerate vacuum outside), so it is the P249 object at finite radius above its crossing, not the degenerate wall between two ticking vacua that R13-W tested; on your action an exterior frequency is invisible by construction, so the "ticking exterior" comparison object does not exist there, and the two pictures meet at the bookkeeping level only, which your #197 review says too.

What changes the ranking

Jarek's 09-03 analysis, if it holds (R14-0 checks it first): P249's radiation edge is the axis lock, and on the 4x4 degenerate vacuum four of the five Goldstones are clock-charged, so a strict fixed-J minimizer is excluded in any orientation-invariant M5 and the field map of rank 1 inherits massless charged channels. The two-derivative terms K_λ, R_G and K_P are lower order than everything R1 closed and were never scanned on any stack; K_P is exactly the phase-gradient cost R13-W found missing in -4 I₁, and its (λ₂ - λ₃)² stiffness is the inertia structure ι = f² + 4b² that P250's bag runs on. And the conjecture (a strict fixed-J clock and a Coulomb hedgehog cannot coexist in a local second-order covariant Lagrangian, the sheet and the tail sharing one tilt channel) is a statement a linear program can settle within a frozen basis.

R14, pre-registered (ledger § 6.3 carries the full obligation table)

Rung	Question	Verdicts
R14-0 verify	the 09-03 algebra on our stack: the V_ldg / V_axis / V_lock Hessian split, the Goldstone count and charges on diag(-g, 1, δ, δ), R_G a total derivative on fixed-eigenvalue orbits (with an eigenvalue-gradient mutant that is not), K_λ inert on orientation gradients, K_P blind to tilts and boosts and, our addition, blind to the R13-W sheet	CONFIRMED / QUALIFIED / REFUTED per statement
R14-A theorem	the LP over the frozen basis B (R1's thirteen, K_T, K_λ, R_η, R_{ηMη}, K_P, the two non-F quartics of class C6, (F.F)²), c_I1 = -4 fixed: rows from four witness families measured per term on saved fields: (i) the relaxed hedgehog's tail integral and its L-exponent on three boxes, (ii) the W0 S5 sheet family at four widths plus three W3 end fields (static cost must outgrow the 1/w inertia), (iii) the R3 dressed pair at four separations (attraction), (iv) R1's per-channel kinetic forms (positivity), with the Coulomb sector kept; two solvers, the certificate re-checked in exact arithmetic; the same LP on the sub-bases names the class that carries or blocks feasibility	CLASS_INFEASIBLE (the conjecture as a theorem within B) or CONE_FEASIBLE (at most three vertices carried)
R14-B decisive numeric	the fixed-J continuation (R13-W's own method, local generator on the relaxed hedgehog) on L_cert + c K_P at c in {0.3, 1, 3} regardless of the LP, and on every vertex: h in {1.5, 1.0, 0.75} x L in {48, 72, 96}, J = 200 (50 and 800 on the base box), 6000 iterations or fmax < 1e-6, the frozen-generator control, the no-guard boundedness probes	PERIODIC_ORBIT_EXISTS (the two finest rungs in each direction within 10 percent, drift shrinking) or CANDIDATE_REFUTED with the runaway exponent
R14-C Newton	R_G on the dressed pair (R3 arms i and ii, both boundary types, c_R in {-1, -0.3, 0.3, 1}): does the sign of dE/dd follow sign(c_R) with the static 3x3 record unchanged; K_λ with m_s in {0.1, 0.3, 1}: sign and range of the eigenvalue-channel exchange between two relaxed cores; monopole or dipole in the relaxed hedgehog's eigenvalue-deficit far field	G2-lite per term and sign
R14-D the P250 bridge	on L_cert + c K_P: the rotating-frame potential over the (2,3) split, a clock-active bulk minimum of negative depth and a Maxwell crossing; if present, the coexistence kink's tension and the thin-wall bag law on the 4x4 field	MAXWELL_CROSSING_EXISTS or NO_CLOCK_ACTIVE_BULK
R14-E synthesis	ledger, term catalog seeded from B with every measured exponent, method-note section, the post here

Failure scope as pre-registered: an infeasible LP is class-relative (within B); a B-refutation refutes that action as represented; nothing here touches the Lovelock class or the potential axis, which are the two fallbacks written into the packet (a second-derivative scaling pass if the LP is infeasible; a scan of the (2,3) eigenvalue penalty if no crossing opens in D). Every gate carries a named mutation that must fail it, the lesson of W2. One auditor per rung before its verdict steers the next; numbers come with their box, stencil and seed maturity.

Jarek, on your offer to open §5 to §7 as R14+: this is that, run on our stack; your scripts, when posted, become the audit baseline for R14-0 and R14-A. The neutrino anchor and the atomic-physics direction stay out of this ladder by design.

[JarekDuda]

@xrodz @vantasnerdan @mjmikulski

Scripts and the full report: [GIST/REPO LINK]. Everything is sympy/numpy only; the README maps each script to the claim it checks. Since the 09-03 post, the same AI-assisted round ran its own adversarial pass and corrected several things that R14 would otherwise test in their superseded form. The corrections first, then pre-registered predictions for R14, then a floor result that bears on every dressed-core run.

Corrections to the 09-03 post

1. K_P must be written in H-adjoint form. The plain-trace form tr(Ω_μΩ_ν) as posted is indefinite: off-vacuum its boost channels enter as −(λ₀−g)²(…) (negative in 340/2000 random off-vacuum probes). Use K_P = ½η^{μν} tr(Ω_μ H Ω_νᵀ H⁻¹), Ω_μ = P∂_μN P, H = η+2uuᵀ (0/2000 negative). The same trap applies to every f(N)-weighted term, so the R14-A basis B should be built in H-adjoint form throughout, or the LP will admit actions whose boost sectors are ghosts inside cores.
2. Orbit theorem, correct scope. R_G is a total derivative on the fixed-eigenvalue orbit for every G that is a covariant function of M (η, ηMη, M⁻¹, η+2uuᵀ, random polynomial f(N): spectral convergence to 1e−8 … 1e−11). A constant C not commuting with the eigenframe breaks it (−206, converged), but such a C is not a function of M. Bulk content needs eigenvalue gradients, as R14-0's mutant says.
3. The Lovelock/εε fallback in the R14 packet is empty. Every ghost-free second-derivative structure (all derivative indices on ε-tensors) vanishes identically on planar profiles for the same reason F does; the structures that do see the sheet ((□M)²-type) are Ostrogradsky. No compute should go there.
4. The conjecture is a trilemma, and R14-A needs one more row. Sheet–tail exponents: the fixed-J sheet needs a cost ≥ c·x at both small and large gradient (p = 1 exactly; p > 1 loses to shallow wide sheets ∝ L^{1−p}, p < 1 to steep ones ∝ h^{1−p}), while the tail needs p > 3/2. But among the six invariant analytic quadratic jet forms, the tail takes values (4,0,4,2,0,2)(λ−δ)²/r² and a twist sheet (2,0,0,0,0,0)k²(1−δ)², so Q_F = Σ_i tr(∂_iM∂_iM) − |∂_iM^{ic}|² — Frank elasticity with zero splay constant — vanishes on the single tail and charges every sheet orientation. Its pair energy is finite (leading cross term odd, integrates out) but not Coulomb: −101, −136, −164, −199 at d = 2, 3, 4, 6 (L = 24), a ~c_F/d force that overtakes 1/d² beyond d ~ K_C/(90 c_F). Consequence for R14-A: Q_F is not in B, and the packet's witness rows test tail finiteness, sheet cost, dressed-pair sign and positivity — Q_F passes all four. Unless a fifth row pins the pair law's d-dependence (the four-separation fit must stay 1/d), the LP will return CONE_FEASIBLE on Q_F and mislead. Add Q_F to B and add the Coulomb-form row; the prediction is then CLASS_INFEASIBLE.
5. Free inertia survives the degenerate exterior. On (−g,1,δ,δ) a (1,2) sheet gives I₁^{kin} = 2ω²(δ−1)⁴sin²ψ·ψ′² at zero static cost, because the sheet rotates the (2,3) clock generator out of the degenerate plane. The textured-medium exit is closed as well: a uniform background gradient b gives the sheet a p = 1 stiffness but confines a single hedgehog (cross energy ≈ 0.07·L at b = 0.1); same coefficient, both effects.

Pre-registered predictions for R14

• R14-0: every listed statement confirms, with K_P blind to the R13-W sheet [T] and the K_P sign caveat above.
• R14-A: CONE_FEASIBLE via Q_F if the basis/rows stay as frozen; CLASS_INFEASIBLE with Q_F in B and the Coulomb-form row added.
• R14-B: CANDIDATE_REFUTED at every c ∈ {0.3, 1, 3}: the descent finds the (1,2) sheet (or its eigenvalue-zigzag sibling), invisible to K_P, with the same runaway as R13-W. The sheet has no conjugate momentum of its own, so this is variational, not dynamical — a Hamiltonian integrator would not see it.
• R14-C, R_G: sign of dE/dd follows sign(c_R); the static 3×3 record unchanged to machine precision; the pair law is d^{−2.01}, odd in the partner's dressing at leading order (charge–dipole), no 1/d; single-core energy ∝ c_R·m²·(deficit), even in m. R_G is a coupling, not a mediator.
• R14-C, K_λ: attractive Yukawa, range 1/m_s. Two things to read off while you are there: I₁ on the uniaxial core is ∝ (λ₁−δ)⁴ and independent of g, so the g-mode is unsourced except through dressing; and whether tr N is constant through the relaxed core decides if a stiff trace mediator is admissible (the hierarchy needs c ~ 10⁴¹E² in model units; a mode that stiff cannot be the melting direction).
• R14-D: no prediction; one warning below.

A floor result that touches every dressed-core run

On the all-η certified action, a twist sheet ψ = kz on a boost-gradient background of rapidity slope b has U = −2b²k²g²(δ−1)² at leading order in g — bilinear in (b, k), so nothing bounds it; the H-adjoint contraction gives exactly +2b²k²g²(δ−1)². Confirmed at 64³ on a localised radially dressed core (rapidity 0.5, width 2): ΔE = −114, −388, −1091 for k = 0.5, 1, 2 (all-η) vs +183, +594, +1549 (H-adjoint). Reproduction note: the twist must be a texture of the spatial frame inside the dressed frame; twisting after dressing co-rotates the boost axis and hides the effect (+160, +636, +2473 in both forms). So every dressed-core quantity on L_cert — the R3 dressed pair, R4's wall-running minimizer, the R13-W zigzag, and R14-C/D as frozen — sits on an unbounded functional; this is R2's λ ≥ ½ made explicit. Suggest R14-C/D run on I₁^h (the static 3×3 record is identical there). It is also the channel of the M5.8 clock-fuel mechanism (−c₁b²k² + c₂b⁴k⁴ has a frequency-rigid minimum at (bk)² = c₁/2c₂), so the signed quartic of that line is bounded on this witness iff it carries b⁴k⁴.

Two smaller items

• R² (any G) closes as a Newton mediator: on the hedgehog R_η = 2(δ−λ)(λ−δ+2λ′r)/r², linear in λ′, so R² gives the eigenvalue mode a 1/r²-weighted stiffness whose Green's function is C₁ + C₂r (Mannheim linear potential). I₁ itself does the same. Only a constant-stiffness term gives 1/d.
• Off-ladder, for the record: if flavour mixing is an SO(3) rotation of a real frame (MODELS.md's neutrino route), the PMNS matrix is real orthogonal, so J = 0 and δ_CP ∈ {0°, 180°} — a sharper falsifier than the single value 180°.

The report (15 pp., in the bundle) carries the verification ledger with [T]/[N]/[R] status per claim and the adversarial round (A1–A8) in full.

[JarekDuda]

I see no conflict between P250 and R13-W once each result is labelled by its action.

P250 constructs a finite-tension coexistence kink and a stationary thin-wall bag family in the C-M5C/P249 completion. Its exact phase-slip bookkeeping does not establish a global stationary interface between two freely chosen nonzero frequencies, and its fixed-frequency radial mode is a saddle. No full fixed-charge constrained minimum or full second-variation spectrum is claimed.

R13-W tests the certified M5.32 action, L_cert = -4 I1 - V4. For every one-coordinate planar profile, the commutator spatial term vanishes and only V4 remains; the phase field is also flat on the uniform vacuum orbit. Accordingly, W1 finds tension converging to zero, W2 passes only because its slab observables are identities, and W3 finds no stationary fixed-J state: the shell melts while flank inertia inflates. This excludes the tested wall-clock mechanism on L_cert, not walls in other completions.

I suggest that R14 apply these gates before optimizing any wall profile:

1. Exact clock charge. State the compact generator, its period, and the boundary conditions. Verify that the complete action is cyclic under this transformation and derive its Noether current and charge. A prescribed J or masked generator is not enough.

2. Healthy dynamics. Form weighted contractions with the declared H-adjoint, then derive the complete constrained Legendre map, physical kinetic quadratic form, and principal symbol. Require positive kinetic energy and strong hyperbolicity after constraints on the vacuum, core, wall, and counterflow backgrounds. “H-adjoint” by itself is not a positivity result.

3. Full fixed-J stability. Find a stationary point in the full field space and test the constrained second variation of E - omega J, or the equivalent Routhian. It should be coercive modulo genuine translation, internal-symmetry, and gauge zero modes, including variations of the generator, field-dependent inertia, and orientation-changing sheet modes. This is the gate that excludes the R13-W inertia-inflation direction.

4. Charge and asymptotics. Add Q_F to the candidate basis, but do not identify a nonzero Q_F with electric charge or a Coulomb law. Require an explicit Gauss-law or surface-flux normalization, a 1/r far potential in three spatial dimensions, a 1/d pair energy with the intended sign, and finite converged total energy for the extended source. P250 should remain a comparator for a different completion.

The R_G statement should also remain orbit-relative: establish the boundary-term identity on the fixed-spectrum orbit used in the derivation, then recompute it when eigenvalues vary. If the epsilon-epsilon planar fallback vanishes identically, record that null result rather than assigning it a stabilizing role.

The current-wedge term supplies an early rejection test. On an aligned homogeneous two-clock background,

g = Lambda r1^2 r2^2 (r1^2 mu1^2 + r2^2 mu2^2), c_-^2 = 1 - g.

For equal unit amplitudes and rates, g = 2 lambda. The point g = 1 has a degenerate spatial principal part; g > 1 is gradient-unstable. In the checked 1+1 counterflow theta = t, phi = gamma(t - v x), real characteristics require lambda <= 1/(1 + gamma); equality alone does not certify strong hyperbolicity. These formulas reject unrestricted large positive wedge alignment but do not certify other cores, nodes, walls, or counterflows.

Three currents must remain distinct: the defect/topological measure, the clock Noether current, and the emergent Dirac/Pauli matter current including its magnetization curl. Conservation of the clock current does not by itself move a defect zero. If one solution binds them, invert the complete reduced symplectic form and retain its reciprocal cross-blocks; negligible backreaction must follow from a norm hierarchy or on-shell cancellation.

For gravity, a static fit is insufficient: the linearized theory must contain the required massless 1/k^2 pole with positive physical residue and universal source coupling.

Finally, a real 3 x 3 orthogonal mixing matrix has J_CP = 0. If intrinsic Dirac-type leptonic oscillation CP is established, a purely real SO(3)-only mixing sector is incomplete and needs a physical complex phase or an equivalent CP-odd geometric or dynamical structure. Matter-induced neutrino/antineutrino asymmetry does not by itself establish this invariant.

The strongest R14 outcome would be either an admissible coefficient region with an explicit healthy witness action, or a clearly scoped no-go certificate.

[xrodz]

R14 complete: the two-derivative class cannot carry a coexisting clock and Coulomb hedgehog (exact certificate), K_P^h fails as a clock because the certified vacuum itself ticks, and P250's exterior-at-rest structure appears on the 4x4 field only with an explicit split stiffness on a modified potential

TL;DR (30 seconds)

The R14 packet (ledger § 6.3) ran as one autonomous session with an independent audit on every rung (56 claims: 31 confirmed, 17 qualified, 8 refuted, all applied). The coexistence conjecture is tested as a linear program over the whole basis on frozen rows measured from saved fields, K_P^h is continued at fixed J, R_G and K_lambda are read as Newton mediators on the certified pairs, and the P250 bridge is built on the 4x4 field. Everything is on main at 0e487065, links in the record line below.

The five questions the packet asked, answered in one line each:

1. Does the author's 09-03 algebra hold on our stack? Yes except one statement: the R_G orbit theorem fails on two-plane boost textures for the three M-dependent G (nonzero, spectrally converged); the Goldstone count, K_lambda inertness, the K_P channel table and the H-adjoint correction all hold, and the certified vacuum TICKS under the local clock generator (K_P inertia 194.4 per unit volume).
2. Can any action in the basis carry a Coulomb hedgehog and a clock together? The two-derivative class cannot: CLASS_INFEASIBLE with an exact rational certificate on two independent assemblies; the full basis with R1's F-built terms has no witness below coefficient norm 100, and its only corner above (I6 at norm 200) runs away when the field re-relaxes.
3. Is K_P^h a clock on the certified vacuum? No: CANDIDATE_REFUTED at c = 1 and 3, no stationary state, and omega = J / (2 kin) set by an inertia extensive in the volume (omega ~ J / L^3), because the exterior ticks; the sheet mechanism the author predicted is never reached, the exterior's inertia removes the clock first.
4. Do R_G or K_lambda give Newton? Not as stated: R_G's pair slope follows sign(c_R) only above a g-dependent threshold, changes the static 3x3 record, and has no pair law (a boundary-flux term of the saturated far-field boost); K_lambda is an attractive Yukawa only with a light eigenvalue mass that V4 does not supply.
5. Does P250's exterior at rest with a rotating interior exist on the 4x4 field? Not on L_cert + c K_P^h (the fixed-omega functional is unbounded along the split); yes on V4 + mu (m2 - m3)^2 for mu >= 5.6e-4, a first-order wall of tension 4.03 / 0.63 (mu 1e-2 / 1e-3, two independent methods), 3500 to 7700 box units wide, so nothing of it fits a certified box.

Record: the R14 ladder ran (2026-09-04 23:42 to 2026-09-05, one autonomous session, every rung independently audited: 56 claims, 31 confirmed, 17 qualified, 8 refuted, all applied, three instrument defects of ours found and fixed by the audits); the results below are on main at 0e487065 (PR #521): the task record tasks/m5_32_task_details.md (the R14 section, every number, the six audit reports applied), the scripts m5_32_r14_*.py, the term catalog findings/m5_32_term_catalog.md, the ledger findings/m5_32_candidate_ledger.md § 6.3. Nothing here needs a reply beyond what you find wrong. Jarek, your scripts link on the 09-05 replies is still the literal placeholder [GIST/REPO LINK], so no external script entered any rung; all cross-checks are against your written statements.

R14-0, your 09-03 algebra on our stack (audited 10 / 4 / 0)

Statement	Verdict	What we measured
P249's radiation edge is entirely the axis lock; five Goldstones on the degenerate 4x4 vacuum with clock charges (0,1,1,1,1), the split doublet charge 2	CONFIRMED (exact)	the Hessian split (5,6,6,0,0,6) / (0,4,4,4,4,4) / (0,0,12,0,0,12); a strict conjugation-invariant potential has exactly 5 flat directions there. One property of ours: a V4-type potential (a sum of trace squares) is quartically soft at a degenerate spectrum, 7 flat at quadratic order, so on L_cert-type potentials the charge-2 split has no quadratic mass
R_G is a total derivative on the whole fixed-eigenvalue orbit, boosts included, for every covariant function G	REFUTED for boosts	zero to 1e-15 on rotation orbits and on single-plane boost textures for all four G, but NONZERO and spectrally converged on textures with two or more boost planes for G = eta M eta, M^-1 and h_cov (e.g. -7.68, -10.1, -1.90 on a (x,y) box at N = 64). The delta pairing of a derivative index with an internal index is invariant uame changes; only R_eta (EL == 0) is empty everywhere. R_G has no omega^2 content(confirmed), and bulk content with eigenvalue gradients (confirmed)
K_lambda inert on orientation gradients and on every clock channel	CONFIRMED	rbit fields and on all seven generator channels of the relaxed hedgehog; its static energy is core-local (L-exponent 0.26)
K_P blind to tilts and boosts, phase stiffness (lambda_2 - lambda_3)^2 on the (2 the intended roots	zero on the three boosts and two tilts, [f(delta) f(0)]^2delta^2 = 194.4 on the clock; the literal polynomial (N - g)(N - 1) in our sign convention (spectrum (-g, 1, delta, 0)) is not blind to boosts, -8.5e7
K_P does not charge the R13-W sheet	CONFIRMED, plus an addition	continuum stthe (1,2) twist (the lattice value is an h^2 artifact of finite rotations); thefree inertia is untouched. Addition: K_P DOES charge the eigenvalue zigzag W3 measured (75 to 97 percent of its static energy on the layers)
your 09-05 correction: K_P must be H-adjoint	CONFIRMED independently before yoplain trace is indefinite off the vacuum spectrum (the timelike row leaks in withsigma = -1). Our audit adds: the invariant order is tr(Om^T H Om H^-1); the transposed placement, as written in both our texts, changes by a factor 20 under a boost. Also: G = M^-1 is
undefined on the certified vacuum (eigenvalue 0)
the W0 theorems per entrant	new	planar flatness survives R_G and is overturned by K_P for eigenvalue walls; phase flatness is overturned by K_P; the R13-W FREE INERTIA (the (1,2) twist
at zero static cost) survives K_P, R_G and K_lambda alike: no fixed-J minimizer on, by the R13-W theorem; inside the basis only the C6 quartic charges the twist
the vacuum ticks	new, the number that decides B and D	on the certified vacuum the local clock generator is nonzero, so K_P's inertia is 194.4 per unit volume against a V4 cost of 1.8e-6
for the degenerate state: the exterior at rest of P250 does not exist on `L_cert +energy on the hedgehog tail is L-divergent (exponent 1.34), the (2,3)-frameconnection of the hedgehog is charged

R14-A, the conjecture as a linear program (audited 4 / 4 / 1)

Basis: R1's thirteen (the parity-odd triple is null on every row), K_T, K_lambda, R_{eta M eta}, R_hcov, K_P^h, the four covariant constant-coefficient quadratic jet forms T1..T4 (your Q_F =
T1 - T3 is in the span, added on your 09-05 request), the C5/C6 quartics; `chat_I1sured on saved fields: the hedgehog tail plateau on two relaxed fields (acancellation of L-divergent tails must hold on every field; the first refined vertex cancelled two tails of 277 to 0.3 by a ratio tuned to one field), the (1,2) twist sheet and the (2,3)
zigzag sheet, the dressed pair on the R3 ansatz and on the relaxed pairs, the certepulsion and its 1/d FORM (your fifth row), fifteen omega^2 positivity channels,and UV boundedness: plane-wave averages, crossed-wave averages (a single plane wave has F = 0 identically, so single waves are blind to every curvature-built term), the exact quartic forms on
random jets, and the EXACT quadratic form of every two-derivative element in sevenby cutting planes. Two solvers, the certificate re-checked in exact rationalarithmetic.

Class	Verdict
the two-derivative class K_T, K_lambda, R_{eta M eta}, R_hcov, K_P^h, T1..T4, with or without the quartics	CLASS_INFEASIBLE, exact certificate (producer and auditor, independent
assemblies). The binding structure is the like-charge 1/d form against the two taior the relaxed pair; your prediction (CLASS_INFEASIBLE with Q_F in B and theCoulomb-form row) is confirmed for this class
the full basis with R1's F-built thirteen	no witness below coefficient norm 10e it only corners at norm 200 to 675 carried by I6 or I1_h at forty to a hundredtimes the certified I1, where the linear-response rows are not valid. The I6 corner was re-relaxed (the outer loop you asked for): it runs away within fifty iterations, a localized UV blow-up
at the hedgehog core (I6 = R^2 at minus forty-four times I1; R1's Coulomb gate hadIFIED for the full basis
the binding row	the zigzag sheet: without it a point exists at norm 1.4 (14.7 with the crossed-wave rows)
a fact the audit found in the certified action	the certified 4 I1 has a NEGATIthe hedgehog's boost tangents (-0.22, -0.16), so the certified Lagrangian alonefails the positivity rows and every feasible point carries K_T >= 0.064 to repair it

Not computed, in your 09-05 gate language: the Noether charge of an exact clock symmetry, the principal symbol and hyperbolicity, the constrained second variation. The cone statement is
"feasible on the frozen rows", not "healthy".

R14-B, the fixed-J continuation on L_cert + c K_P^h (audited 4 / 3 / 1, plus

CANDIDATE_REFUTED at c = 1 and 3 for J in {50, 200, 800} across h in {1.5, 1.0, 0.no stationary state (every descent ends on a logarithmic plateau with the FIRE step collapsed), the fixed-J term numerically invisible (1e-9 of the force), and the frequency omega = J / (2 kin) set by an inertia extensive in the volume: at fixed L = 48 the three spacings
give kin_KP = 1.67e7, 1.51e7, 1.54e7 and omega = 6.0e-6, 6.6e-6, 6.5e-6, while L =; the exterior ticks at 0.63 to 0.78 of the vacuum inertia per unit volume, soomega ~ J / L^3. Your prediction holds in the verdict and not in the mechanism: the descent never reaches a sheet regime, the exterior's inertia removes the clock first (the sheet remains the
theorem-level reason). Our pre-registered mechanism (full closure of the (2,3) gapdred iterations (gap 0.30 to 0.24, K_P^h cost down 40 to 60 percent) and stalled.Controls: a boost-dressed seed (rapidity 0.1) at c = 0.3 and 1 shows no boost runaway in 3000 iterations, the dressing decays 1.8 percent (the audit had computed a boost-sector saddle at c =
0.3 on the unsampled subspace); the P250 structure imposed by hand (the exterior p pair, the core kept) does not persist in either convention: the descentdegenerates the core too within a hundred iterations, and in the true gradient flow of E_J (generator frozen) the fixed-J reward is 0.01 against a K_P^h static cost of 9180 for keeping a
split at the core; a g = 32 control and a 6000-iteration continuation are in the r

R14-C, the scalar-channel Newton route (audited 1 / 4 / 4; an instrument defectt and fixed, the heals rerun)

Your statement	Verdict	Measured (linear response on the R3 relaxed pairs, wh
R_G on the dressed pair: the sign of dE/dd follows sign(c_R)	QUALIFIED	the s(R_G slope): -882 + 2058 c_R at lambda = 0, -2316 + 2058 c_R at lambda = 1 (I1^h),so the sign follows c_R only above c_R = 0.43 at lambda 0 and never within |c_R| <= 1 at lambda 1; the R_G slope scales with g (2058 = 32 x 64.4 + 10), so at g = 8 the threshold is about
1.7
the static 3x3 record unchanged to machine precision	REFUTED for eta M eta	on the certified like-charge pairs R_{eta M eta}'s E(12) - E(24) is -5.54 per unit coefficient against the
certified +0.28; only R_eta leaves the record untouched, and R_eta is empty
the pair law d^-2 (charge-dipole)	REFUTED as a pair law	on the ansatz the R_G slope dE/dd GROWS with d (62 to 140 per unit from d = 8 to 24) and E(d) never converges: on a boost orbit
R_hcov = -R_eta to 0.07 percent and R_{eta M eta} / R_hcov = g at every d, so the G is a boundary-flux term of the saturated far-field boost, not an interaction
K_lambda with a light scale: an attractive Yukawa of range 1/m_s	CONFIRMED as a model statement, QUALIFIED as physics	the eigenvalue deficits of the relaxed hedgehog are core-local
(r^-3.3 to r^-4.0; lambda_2 changes sign at r = 13.5); the linearized exchange is d lambda_3 at any assumed m_s; but V4 fixes the eigenvalue masses, and on thecertified action K_lambda's pair energy is a core overlap (exponent 6). A long-range eigenvalue exchange needs a modified potential
whether tr N is constant through the relaxed core	measured	it is not: the tr (one percent of tr N) and grows with relaxation

The heals themselves do not move the stiff core within the R3 budget (fields move ry C verdict is a linear-response verdict, the limitation R3 recorded.

R14-D and D2, the P250 bridge on the 4x4 field (audited 5 / 1 / 2, then 7 / 1 /

On L_cert + c K_P^h the exterior ticks and the fixed-omega functional is unboundas degree 10 in the eigenvalues against V4's 8; sealed behind eigenvaluecollisions, a far-split metastable pocket appears at omega 1.0e-3), so an exterior at rest coexisting with a rotating interior does not exist with the certified potential. On the C3-modified
potential V4 + mu (m2 - m3)^2 it DOES exist for mu >= 5.6e-4: in the full (m2, mroze the split line and saw only a continuous onset; the audit found thefirst-order crossing off that line) an exterior at rest at the diagonal minimum 0.157 coexists with a rotating interior across a first-order wall. We then built the wall: on the reduced 1D
functional (exact on planar diagonal profiles, cross-checked on a lattice slab to is 4.026 at mu = 1e-2 and 0.631 at mu = 1e-3, equal to the audit's path-optimizedBogomolny values (4.03, 0.63) by an independent method, with the thin-wall bag law R = 2 sigma / p at 1.03 omega_* giving R = 1.1e4 and 1.3e4. The scale is the caveat: the walls are 3500 to
7700 box units wide because the K_P^h kinetic metric f^4 is of order 1e3 while the so nothing of it fits a certified box, and all of it lives on a modifiedpotential: P250's structure on the 4x4 field is reachable exactly by the ingredient your section 1 identified as the whole gap, an explicit split stiffness at the degenerate point, and by
nothing else we tried.

What closes, what opens

Closed on our side	Open
the two-derivative class as a coexistence witness (certificate); K_P^h as a cloc(the exterior ticks); R_G as a Coulomb-compatible Newton mediator (threshold,g-dependent, no pair law); R_G's orbit theorem for boost textures; the plain K_P; the I6 corner	the author's gates 1 to 3 (exact Noether clock, principal symbol, constrained second
variation) on any candidate; the full-basis corners above norm 100 with fields re-ice bag on the modified potential (needs boxes of 1e4); the Lovelock class(dropped: every ghost-free epsilon-epsilon structure vanishes on planar profiles, as you said); the neutrino and atomic-physics directions (not staged)

Everything above is in the task record with the six audit scripts and their reports; the term catalog (every basis element with its measured tail, sheet, pair, Coulomb, positivity and UV-form entries) is the file linked in the record line above. Jarek, the gist link when yors are the ones to compare first, especially the boost-orbit integrals of R_G andthe K_P vacuum channel table.

[JarekDuda]

@xrodz @vantasnerdan @mjmikulski — thanks for R14; every verdict has been checked against what I wrote, and the record on my side is corrected where you were right.

R14-0, the R_G orbit theorem: you are right, and I can say why I was wrong. I reran it in 3+1 on a periodic box (spectral derivatives, N = 16/32/48, D = diag(−g, 1, δ, 0.1), random smooth textures). R_η stays at 1e−13 everywhere. For the covariant G: zero on rotation-only orbits (ηMη → 1e−7, M⁻¹ → 7e−5), the Kronecker G also zero with a single boost plane (−5e−9), but with two boost planes ∫R_G converges to +41.1 (Kronecker), −110 (ηMη), −300 (M⁻¹), and with three to +5.8 / −65 / +187 — your −7.68 / −10.1 / −1.90 is the same phenomenon on your box. My evidence was 2+1, and in two spatial dimensions the ΓΓ form is topological (the Gauss–Bonnet analogue), so it vanished for every G. Withdrawn: "total derivative on the whole orbit for every covariant G". Standing: EL ≡ 0 for R_η; no (∂_t M)² term for any G; the static record untouched for G = η and for the Kronecker G (u constant ⇒ G = I), which agrees with your R14-C finding that ηMη shifts it. R_G is a boost-sector term; with your threshold and no-pair-law results it is closed as a mediator from both sides.

K_P invariant order — a convention, both texts right. With N = Mη (mine) tr(ΩHΩᵀH⁻¹) is exactly invariant and the transposed order changes by −23.9 under a boost; with N = ηM (yours) it is the reverse (checked numerically, random off-vacuum point, boost ⊕ rotation). Your note on the roots for the (−g, 1, δ, 0) spectrum and on M⁻¹ being undefined on the certified vacuum are both adopted.

R14-B: verdict as predicted, mechanism yours. My package required the degenerate pair (δ, δ) for K_P precisely so that the exterior is silent; run on the certified (δ, 0) vacuum the exterior ticks and, as you also found, the biaxial hedgehog's transverse (2,3) frame carries a 1/r connection that K_P charges (L-exponent 1.34). So on the certified vacuum K_P fails twice, and the sheet regime is never reached. Your addition that V₄-type potentials are quartically soft at a degenerate spectrum is the price of the degenerate pair: the charge-2 split needs an explicit quadratic stiffness, which is exactly what R14-D found (μ ≥ 5.6e−4). That is the P249 gap I named on 09-03, now measured.

R14-A: the infeasibility prediction holds with your certificate; the total-derivative/counting trap I warned about did not bite because your tail rows are plateaus on relaxed fields with cancellation required on every field — the right design. Your finding that the certified 4I₁ has negative ω² on the hedgehog's boost tangents (−0.22, −0.16) is the same sign structure as the floor witness; the witness itself is a specific direction (a twist of the spatial frame inside the dressed frame) that a descent from a smooth rapidity-0.1 seed will not sample, and I read your audit's boost-sector saddle at c = 0.3 as it. V1 stands as a request.

R14-C: K_λ as a model statement confirmed, and the core-locality of the eigenvalue deficits on the certified potential is why the light scale has to come from the potential, as written. tr N not constant through the core answers rung I: the stiff-trace mediator is not admissible as is.

The next object, pre-registered. R14-D says P250's structure appears on the 4×4 field exactly when the potential has an explicit split stiffness at a degenerate pair, and that the K_P^h weights f(λ)⁴ ~ 1e3 (degree 10 in eigenvalues against V₄'s 8) are what make the fixed-ω functional unbounded along the split and the walls 3500–7700 units wide. Both are cured by replacing the polynomial projector with the exact spectral projector onto the (2,3) eigenplane, P₂₃ = (N−g)(N−1)/[(λ₂₃−g)(λ₂₃−1)] (a rational covariant function of N, weight 1 on the block, degree 2 overall):

L = −4 I₁ʰ − [V₄(g,1,δ,δ) + μ(λ₂−λ₃)²] + c_P · ½ η^{μν} tr(Ω_μ H Ω_νᵀ H⁻¹), Ω_μ = P₂₃ ∂_μ N P₂₃.

Predictions: (i) exterior inertia exactly zero; (ii) hedgehog tail finite with K_P (L-exponent 0, not 1.34); (iii) a P250-type wall of width ~ (c_P/μ)^{1/2} box units, O(10) for c_P ~ 100μ, so it fits a certified box; (iv) the fixed-J descent then reaches the (1,2) orientation sheet unscreened by exterior inertia — the clean test of the R13-W theorem on a candidate action, and my expectation is still no minimizer. What such an object can be is a relative equilibrium, whose fate is a dynamical question: on I₁ʰ every rotating background is linearly ill-posed in the tilt channel (⟨F₀z,F₀z⟩ = 4k²ω²s²(δ+s−1)² with no kinetic term), so a core-weighted E₂ regulator w(M)·tr(∂MG∂MG) with w vanishing on the vacuum spectrum is needed before any 3+1 run; hyperbolic iff wκ₂ > 16ω²s².

Scripts: the 3+1 R_G rerun (r14_rg_3p1.py), the K_P invariance check, and everything earlier are in the bundle; the gist link is Jarek's to fill in.

[giuliano-vantasner]

Referee confirmation (giuliano-vantasner) — gauge statement verified.

Checked the series claims independently (sympy): isotropic Schwarzschild indeed has A·B = (1−U²/4)² exactly (so GR in the PPN gauge is not a member of the reciprocal class); B = 1/A forces the spatial U² coefficient to 4−2β = 2 at β=1, with a₃ leaking only at U³ (your one-line proof is correct); and the naive Schwarzschild-coordinates read-off (β,γ,b₂) = (0,1,4) reproduces your 6π demonstration. The corrected class statement — isotropic and reciprocal in the standard PPN gauge — is well-posed, and I withdraw the counterexample as stated: with the gauge premise written down, Schwarzschild coordinates fail a different premise than the one I identified.

The 0.73 μas prediction now stands sharpened: class-determined (b₂ = 2, no free parameter), against GR's 15π/4. Your two attached hedges are the right ones — the Gaia 45° scanning law point especially (limb numbers are a mnemonic, not a forecast), and the photon-coupling conditionality, which is the whole game for the optics row.

Ledger updated on our side: flag raised 09-16, resolved same day with the gauge condition; Table 1 correction noted as pending on your side. This is the loop working — flag → answer → sharper claim.

[JarekDuda]

Closing the pending item. Table 1's optics row, falsifier (2), the status table and §8.2 now all carry the gauge condition — standard PPN gauge, isotropic spatial form and A·B = 1.

Your b₂ = 4 − 2β is the better form and I've adopted it, because it shows why a₃ can't leak rather than just that it doesn't: a₃ first appears at U³, with coefficient −a₃ − 8β + 8. It also does more than fix b₂. In the reciprocal class the second-order coefficient collapses:

π(2 + 2γ − β + b₂/2) = π(4 + 2γ − 2β)

There is no independent b₂ freedom at all — the second-order optics is a function of β and γ alone. At β = γ = 1 that's 4π against GR's 15π/4.

Which slightly changes how the prediction should be quoted. The claim is a coefficient ratio, 4π vs 15π/4, which is geometry-independent; the 0.73 μas is that ratio evaluated at a configuration nobody observes. Taking your point about the mnemonic: anywhere it's quoted as a target it should carry the elongation it's claimed at.

[giuliano-vantasner]

Referee acknowledgment (giuliano-vantasner) — collapse identity confirmed.

Checked: substituting b₂ = 4−2β gives π(4 + 2γ − 2β), so within the reciprocal class the second-order coefficient has no independent freedom — and your U³ coefficient (−a₃ − 8β + 8) matches my series exactly. Agreed on the quoting discipline too: the invariant claim is the ratio 4π : 15π/4 (= 16:15); any μas figure should carry its elongation. Nothing further from my side on the optics row — the pending Table-1 item is now closed from my end as well.

[mjmikulski]

@xrodz — the L-ladder appendix to report 008 is merged after three review rounds: APPENDIX-L-ladder.md (figure, records, reproduce_appendix_L.sh; the 48³/64³ fields are release assets fetched by the script).

Two things changed between the draft posted here on 09-14 and the merged version, both from the review. First, the first ladder run had frozen the pinned shell at the analytic ansatz while the chains used your instrument's float32 seed (3·10⁻⁸ apart); with the shell consistent the N = 32 ladder reproduces 008's committed ladder bitwise, and the bracket ω ∈ {0, 0.1, 0.2, 0.35} of every box was rerun that way, fields persisted, and evaluated by an independent numpy route (all twelve energies to 10⁻¹⁵). Second, the corrected L = 72 bracket has the 0.2 and 0.35 rungs within 10⁻⁵ of each other, swapping order across protocol levels, so the minimum there lies in that pair rather than at 0.2; at L = 96 it is 0.2 at every level in both runs.

Final table (h = 1.5, γ = 70.61 fixed):

L (N)	E_stat	frozen-profile ω_E	bracket minimum (5 protocol levels)	E − E(0) at 0.1, 0.2, 0.35 (10⁻⁵)
48 (32)	4.835	0.326	0.35 at all levels (bitwise = report)	−1.0, −3.8, −6.5
72 (48)	4.548	0.280	0.2 (levels 1–3), 0.35 (levels 4–5)	−5.1, −7.2, −8.3
96 (64)	4.377	0.249	0.2 at all levels	+8.0, −19.9, +6.6

So: the well survives the larger boxes, its rung drifts with the frozen-profile prediction, and in the larger boxes 008's fixed-depth protocol resolves the rung but not the depth — two runs 3·10⁻⁸ apart on the boundary differ in E(ω) − E(0) by up to 4·10⁻⁵ (L = 72) and 1.5·10⁻⁴ (L = 96), the remaining relaxation error common to both is not quantified. Not done: protocol deepening, continuum extrapolation, a per-box γ. If you re-read the ladder on the W1 × 25 electron, the same rung grid and protocol would make the two directly comparable.

[xrodz]

R22 plan: three core seeds under one uniaxial exterior, and the Coulomb certificate pair (the lepton paper's § 2.1 protocol and the 09-15 pair gate, on the 4x4 field with the polish as the instrument)

TL;DR

1. R22 moves to the exactly uniaxial vacuum (g, 1, delta, delta) that the working note (Zenodo 22788604, § 4 (iv)) and the lepton paper (Zenodo 22801032, § 2.1) both use. The R20 and R21 rows on (g, 1, delta, 0) stay in the record as the biaxial control.
2. R22-1 runs the lepton paper's § 2.1 protocol on the full 4x4 field: several inequivalent one-charge core seeds, one common exterior, one action, polished to a stated residual, under a pinned exterior and a released one, at two resolutions and two boxes. The question is whether any branch separation belongs to the field.
3. R22-2 runs the pair gate of the 09-15 posts: like and unlike pairs with pinned cores on the degenerate-pair vacuum, against U = -/+ 32 pi (1 - delta)^4 / d and the charge-even half-sum going to zero.
4. R22-0 is the form level, run first: the Faber identity on our stencils and its extension to the biaxial vacuum, the epsilon^4 flatness of V4 on the degenerate pair, the posted scripts run unchanged, one line per claim.
5. One question for the author at the end, and a section for Maciej on the L-ladder.

What R21 already says about the three-lepton question

The lepton paper reviews our stack at an August snapshot, so it predates R20 and R21. Its § 2.1 warns that "three different numbers are insufficient if they are held apart by different boundary sectors". R21 measured exactly that on the three-axis hedgehogs of the biaxial vacuum (the R21 results post):

Axis	Seed pin	Relaxed far pin	Free boundary	Winding on the r 9 surface
S_1	5.68	5.27	4.17	kept (the audit's count is 1 on every boundary; 4 to 6 conflicting links under two of them)
S_d	55.13	6.16	1.27	non-orientable on every boundary (a disclination texture)
S_0	15.52	3.95	1.73	lost on every boundary

The three energies were the pin's, and two of the three objects were not one-charge hedgehogs once polished. So the axis-per-species reading is closed on our side too, by measurement, and the paper's replacement (inequivalent cores under one exterior) is the right next test. One R21 row carries over: at W1 x 25 the electron is compact and boundary-indifferent (13.00 pinned, 12.68 free, 2.4 percent apart) with the spectrum held, so W1 x 25 is the working potential scale and W1 x 1 the control.

R22-0: the form level (run first, one script per claim)

Item	Claim under test	Check
(a)	The static quartic on M_sp = delta I + (1 - delta) n n^T equals 4 (1 - delta)^4 abs(E_top)^2	Per-cell residual on our stencils under the referee's two constraints, convergence in h^2; then the single-hedgehog self-energy against 16 pi (1 - delta)^4 / r_c as the known-answer control for R22-2
(b)	The same identity on the biaxial vacuum (1, delta, 0)	Closed form for a frame field (three gap weights), then the r^4 energy tails of the R21 polished fields against the predicted weight per axis. This is the bridge between the R20 / R21 record and the new vacuum
(c)	V4 is A(delta) epsilon^4 along the split of the degenerate pair (note § 8.6), so a biaxial core costs no quadratic potential on the certified action	Symbolic, plus an epsilon scan on the lattice; the same scan for the spectral potential of R20-0
(d)	The posted scripts (files.zip, the gravity bundle, m5_v2_verification.py)	Run unchanged, one line per numbered claim, PASS or the first failing line

Item (c) matters for reading R22-1: if the certified potential is quartic-flat in the biaxial direction, a biaxial core seed is cheap by construction, and a merge of the seeds is then the expected outcome, not a surprise.

R22-1: inequivalent cores under one exterior (the lepton paper's § 2.1 and § 2.4 on the 4x4 field)

Setting	Value
Action	the certified quartic plus V4 at W1 x 25 (main) and W1 x 1 (control), code branch s = -1, g 8
Vacuum and exterior	(g, 1, delta, delta), delta 0.3; the one-charge hedgehog of the eigenvalue-1 director, identical for every seed
Seeds (interior only, r < r_c)	radially melted core; oblate core; biaxial core; the distinguished core axis permuted to each transverse axis (§ 2.1 item 2)
Boundaries	the exact exterior pinned on the outer shell (the paper's fixed exterior); the free boundary (the paper's exterior-release control)
Instrument	FIRE, then the L-BFGS polish of R21 to max abs(G) < 1e-3 on the free cells; the attained residual and its spread across rows are reported, since R21 showed the polish can lower E while raising max abs(G)
Independence	n 32 and n 48 in one box (refinement), n 32 and n 64 at one spacing (box)
Side row	delta 0.89 (the c4 = 1 charge fit of the note), electron seed only

Reads per endpoint: energy and its partition, the Derrick identity, the eigenvalue and biaxiality profiles, the on-surface degree (undefined where the surface is non-orientable, with the conflicting-link count), and the RMS field difference between endpoints of different seeds.

Pre-registered outcomes:

Label	Condition
ONE_BRANCH	all seeds agree in energy to the residual-implied error and in field RMS, on both boundaries (the paper's § 2.4 result, reproduced on the 4x4 field)
BRANCH_BOUNDARY_HELD	distinct under the pinned exterior, merged under the free boundary
BRANCH_LATTICE_ONLY	distinct at n 32, merged at n 48 (the paper's d0 = 0.1 case)
BRANCHES_SURVIVE	distinct on both boundaries, both resolutions and both boxes; only then is a ratio reported against 1 : 206.77 : 3477.37

R22-2: the Coulomb certificate pair

Setting	Value
Field	the director on the degenerate-pair vacuum, energy = the certified static quartic on M_sp(n), delta 0.3
Cores	pinned balls of radius r_c carrying the single-hedgehog texture (an unpinned unlike pair annihilates, so "fixed cutoff" is implemented as a pin)
Geometry	centers perpendicular to the stereographic pole; no quotient-map seed (the two traps of the 09-15 post); d = 6, 8, 10, 12
References	the single pinned core at each position in the same box, so box and image terms cancel in U(d)
Reads	U(+-), U(++), U_grav = (U(++) + U(+-)) / 2, the on-surface degree around each core, and the transverse share from a lattice Helmholtz split of E_top

Predictions under test, at delta 0.3: the slope of U against 1/d is -24.14 for the unlike pair and +24.14 from above for the like pair, and U_grav falls inside the lattice residual h / d^2. Labels: COULOMB_CERTIFIED, LIKE_EXCESS (the transverse energy does not shrink), UNLIKE_TUBE (a flip tube is present), PAIR_BOX_LIMITED (the two boxes disagree).

If the certificate holds, the ledger's repulsive pair row is re-read as frozen-ansatz transverse energy, as the 09-15 post proposes. Until then that re-reading stays evidence.

For Maciej: the L-ladder

Thank you for the appendix. The ledger row on report 008 said box independence was never measured; it now is, and the row will be updated with your table and the link.

Your finding	How it meets ours
Point 1: the static electron changes with the box (E_stat 4.835, 4.548, 4.377; the tail slope changes sign)	The same fact as R21's boundary table above, on a second stack: a pinned shell sets the static energy at this potential scale
The frozen-profile omega_E falls 0.326, 0.280, 0.249 as C_1 and C_2 grow	Our reading: the drift is inherited from a static that still fills the box, so it should flatten on a compact electron
Point 3: two runs 3e-8 apart on the shell differ by up to 1.5e-4 in depth	The fixed-depth stall we hit with FIRE in R20. A residual gate in place of a cycle count, with the attained max abs(G) stated per rung, is what resolved it for us

R22-3 (stretch) computes omega_E = sqrt(C_1 / C_2) with your frozen tangent and envelope on the compact W1 x 25 electron, on three boundaries and two boxes, and reports it on your rung grid. The known-answer control is your committed N = 32 field: our route must return 0.326 there before any other number is read. It will not relax the rungs or refit gamma per box; if omega_E comes out box-independent, the relaxed ladder on that electron is the natural follow-up on either stack.

One question for the author

Both new documents fix the vacuum as exactly uniaxial, so R22 takes (g, 1, delta, delta) as current. What is not fixed is the potential on it: V4 is epsilon^4-flat there (note § 8.6), and the sextic Landau-de Gennes family of eq. (8) has no declared coefficients. R22 runs the certified V4. If there is a preferred member of eq. (8), or a preferred delta between 0.3 and the 0.89 of the c4 = 1 fit, one line with the values is enough and the same seeds rerun on it.

Cut line and what is not in this rung

If the run is short of time, R22-3 drops first, then the delta 0.89 side row, then the n 64 box rows. Not in R22: the C_12 gap scan on relaxed clocks, the scale-mode gravity terms, any two-derivative orientation term (closed by the 09-15 posts), the neutrino loop hypothesis. Every result row will name its validation script, and an independent agent audits the run before the results post.

[xrodz]

R22 results: the pinned pair returns the grounded-box Coulomb energy in the charge-odd channel; the core-seed test returns no separated branches and no compact endpoint; two of my own readings were refuted on the way

TL;DR

1. Form level. The Faber identity holds exactly on our stencils. Our stack's normalization is twice the posted one, so the pair slope here is 64 pi (1 - delta)^4 / d (48.27 / d at delta 0.3, the plan post's 24.14 in the author's units). It extends to a full frame field: the static quartic is THREE dual-Maxwell energies, one per eigenvector, each weighted by the squared product of the two gaps next to its axis.
2. Pair gate. A free box is a grounded wall for this functional, so the yardstick is the Dirichlet Green function of the cube, not 1 / d. Against it the charge-odd energy is Coulomb within 1.7 to 3.0 percent on six points in two boxes, and 1.7 percent at h 0.75. The charge-even part is NOT shown to vanish: it is positive at the few-percent level in this pinned geometry.
3. Core seeds. Under one pinned uniaxial exterior the seeds end within 3.2 percent of each other in energy, and the object is not compact: it fills the box, and with the boundary released the unit hedgehog is lost. No separated branches and no compact endpoint on (certified quartic + V4) at n 32, L 48, h 1.5; a common converged branch is not established either, and two of the reads are resolution-limited.
4. The instrument, again. The first pass of item 3 was an optimizer stall on one stiff matrix entry. The audit found it, and also refuted a mechanism I had proposed for the fall. Both are recorded below as they happened.
5. For Maciej. Our route returns 0.32551859539640887 on the committed N 32 field. On our fields omega_E is 4 to 14 times the control's, and the number itself is not a continuum quantity (it scales as h^(-3/2) and with the envelope radius).

Everything below is pinned to f92ae6afa560e544eeb1fc5571c939c652acb5d4. Every row names its validation script; each part was attacked by a fresh agent with its own code before this post (127 checks in four audits; 86 passed, and the 41 that failed are the corrections written into the tables below).

1. The form level (R22-0)

Equations. On M_sp = delta I + (1 - delta) n n^T: F_ij = (1 - delta)^2 rho_ij [n]_x, rho_ij = n . (d_i n x d_j n). For a frame field M_sp = R Lambda R^T with body rates W_i:

d_i M = R [w_i, Lambda] R^T
4 sum_{i<j} <F_ij, F_ij>_eta = 8 sum_a G_a^2 sum_{i<j} ((W_i x W_j)^a)^2,   G_a = prod_{b != a} (l_a - l_b)
(W_i x W_j)^a = rho_ij[e_a]        (Maurer-Cartan)

Claim	Result	Script
the identity on delta I + (1 - delta) n n^T	exact (sympy remainder 0; 2.7e-15 on 2000 jets); the stack carries 8 (1 - delta)^4, the posted form 4, so c4 = 2 here; off the constraint it fails upward: 8 (1 - delta)^4 (abs(E_top)^2 + 4 sum abs(gamma_j t_i - gamma_i t_j)^2), gamma_i = n . d_i n	m5_32_r22_0a_faber_identity.py
"lattice residual 6.5 to 1.7 percent on halving"	the posted faber_identity.py, unchanged, prints 73.6 percent at its n 40: the test field turns the director by 1.3 rad per cell there. The 6.5 and 1.7 do come out of the same field at n 160 and n 320	the same
the frame-field form	exact (sympy); uniaxial G^2 = ((1 - delta)^4, 0, 0); biaxial (1, 0.3, 0): (0.49, 0.0441, 0.09). The R21 W1 x 25 electron's tail carries the 0.49 weight within about 15 percent. The bundle's J12,J13 pair norm is this weight	m5_32_r22_0b_frame_identity.py
V4 = A eps^4 along the split of the pair (note § 8.6)	A = 4 + 36 delta^2 + 144 delta^4 with the massive directions held, 0.93 on the valley floor at delta 0.3; 7 zero modes of 10 on the uniaxial vacuum (the three boosts, the two tilts of the 1-axis, M_23, (M_22 - M_33) / sqrt 2); massive: 3.09, 35.0, 8462878	m5_32_r22_0c_v4_flatness.py
the posted scripts	run unchanged: m5_v2_verification.py every OK line; cross_inertia.py 43.3 / 24.8 / 11.4 and the sign change between gap 0.18 and 0.14; the 16 bundle scripts exit 0. R14G.py items 1 to 3 print their conclusions without computing them	the task record
a property of our stack	its forward / backward averaged functional has 12 exact lattice symmetries, not 48: a one-axis mirror changes the energy at 1e-3 to 8 percent. Comparisons "modulo symmetry" here use the 12	m5_32_r22_0_audit.py, C8

2. The pair gate (R22-2)

Setup. A unit director on the degenerate-pair vacuum, delta 0.3; pinned core balls of radius 2.5 carrying the exact single hedgehog; centers on x at +/- d / 2, the stereographic pole on z; seeds w_1 w_2 (like, degree 2) and w_1 conj(w_2) (unlike, degree 0), no quotient map; every other cell free, the faces included; U = E_pair - 2 E_ref with the single pinned core in the same box. k = 8 (1 - delta)^4 = 1.9208.

The wall. The variation of int abs(E_top)^2 leaves the boundary term alpha . (E_top x nu), so at a free face E_top is normal: a grounded conductor. The prediction is 8 pi k G_D(d) with the Dirichlet Green function of the cube (0.0893 at d 8, L 48, against 0.125). On the data the Neumann analog and free space are excluded (rms 0.74 and 1.46 against 0.10 to 0.14), and moving from L 48 to L 64 shifts U by 8 pi k Delta G_D within 1 to 4 percent.

d (h 1.0, L 48)	U(++)	U(+-)	box 8 pi k G_D	free 8 pi k / d	U_odd / box	half-sum
6	+6.503	-6.499	6.309	8.046	1.030	+0.002
8	+4.372	-4.488	4.313	6.034	1.027	-0.058
10	+3.160	-3.226	3.126	4.828	1.021	-0.033
12	+2.369	-2.402	2.345	4.023	1.017	-0.017
8 (L 64)	+4.805	-4.902	4.732	6.034	1.026	-0.049
12 (L 64)	+2.771	-2.799	2.739	4.023	1.017	-0.014
8 (h 0.75, L 48)	+4.436	-4.338	4.313	6.034	1.017	+0.049

Reading, with its margins:

Statement	Support
COULOMB_CERTIFIED for the charge-odd energy	U_odd / (8 pi k G_D) = 1.017 to 1.030 at h 1.0 on six points in two boxes, 1.017 at h 0.75 (an h^2 line through the two spacings gives 1.004). Degrees exact integers on every h 1.0 row, no extra defect, no link over 35 degrees. The coefficient is fixed to about 5 percent: 0.95 is rejected, 1.00 and 1.05 are not separable
the charge-even part is NOT shown absent	at h 1.0 the small half-sum is a cancellation: the like pair sits +0.31 / +0.09 / +0.05 / +0.03 above the pin-corrected bound and the unlike pair 0.08 to 0.14 BELOW it, which the continuum forbids, so that deficit measures the lattice error. At h 0.75 the deficit shrinks to 0.06, the like margin grows to 0.16, and the half-sum is +0.049. A two-point h^2 line puts it near +4 percent of U. That sign is what the inequality U_grav >= 0 allows; that it relaxes to zero is not shown. The like pair keeps a transverse energy 0.08 above the floor after 4000 iterations
a pin artifact, computed in advance	a ball of fixed uniform flux excludes the other core's field: a charge-even -(l / (l + 1)) (4 pi / (2 l + 1)) k r_c^(2l+1) / d^(2l+2) summed over l, -0.113 / -0.033 / -0.013 / -0.006 per pair, already removed in the margins above
UNLIKE_TUBE exists, as a lattice state	at h 1.5, d 10, the unlike pair collapsed into a one-cell flux tube from core to core (76 links over 60 degrees). Absent at h 1.0
limits	none of the rows reached the script's own 1e-7 residual gate (4000 iterations; the relaxation error on the half-sum is under 0.003). The labels in the plan post had no numeric thresholds, so the choice above is stated with its numbers rather than as a pass. This is a certificate in the DIRECTOR sector; item 3 shows the 4x4 field leaves that sector

So the ledger's repulsive pair row is not re-read as "absent" yet. The supportable cell is: Coulomb in the odd channel with the charge in closed form, a positive even part of a few percent in a pinned geometry, not resolved to zero.

Scripts: m5_32_r22_2_pair.py, audit m5_32_r22_2_audit.py (22 of 32 checks pass; the 10 that failed are the corrections in this table).

3. Inequivalent cores under one exterior (R22-1, the lepton paper's § 2.1 on the 4x4 field)

Setup. Certified quartic plus V4 with targets (-g, 1, delta, delta), g 8, delta 0.3, at W1 x 25 and W1; one exterior, the hedgehog of the eigenvalue-1 director; five cores (radially melted, a wider melt, oblate, biaxial, and the eigenvalue 1 moved from the radial to the azimuthal axis); pinned exact exterior and free boundary. On a cubic lattice the permutations of a fixed core frame over x, y, z are symmetries of a spherical exterior, so they count as one seed.

What happened, in order:

Step	Result
first pass (the R21 polish on all ten entries, 3000 then 9000 iterations)	every row still falling; energies 5.2 to 6.0, then 4.4 to 5.0; two W1 rows reported "polished"
the first audit	the fall was the instrument's. The V4 stiffness along M_00 is 8.46e6 w against 3.09 w and 35.0 w for the other massive directions; that one entry rate-limits L-BFGS by a factor 44 to 53 and carried the max abs(G) gate. The two "polished" rows had passed on the first iterate of a restarted chunk. Also refuted: my explanation that the Coulomb tail is unstable to the split of the pair (G_1^2 = ((1 - delta)^2 - eps^2)^2 falls at eps^2 while V4 resists at eps^4): the second variation on the exact uniaxial exterior is positive in 12 trials, because gradient terms of the same order outweigh it
rerun with M_00 solved exactly per cell (it enters only through V4 on a block-diagonal field; the reduced gradient is the spatial block of the full one)	below

Row (n 32, L 48, 3000 reduced iterations)	E	half-energy radius (half-box 24)	degree of the top eigenvector on the r 6 / 9 / 12 cubes
W1 x 25, pinned: biaxial / oblate / permuted / radial seed	3.430 / 3.454 / 3.495 / 3.540	15.4 to 16.6 (the seed: 4.4)	1 on every cube from r 12 to r 21; inside, the core has opened into a loop of radius 8 to 10
W1 x 25, free: biaxial / radial	0.444 / 0.203, falling	20 to 21	lost inside-out; the radial row reads 0 on every cube to r 21, the biaxial row keeps disclination segments near the faces
W1, pinned: biaxial / radial	2.0157 / 2.0167	19.3	1 / 1 / 1
W1, free: biaxial / radial	0.060 / 0.096, falling	22 to 23	0 inside r 9 / non-orientable on every cube (never reads 0)

Reading, in the rerun's auditor's words as far as the data carry:

Statement	Support
the instrument holds now	every energy reproduces to 0.0, max abs(G_00) 9e-10, the full ten-entry gradient equals the reduced one on every row, the solved M_00 is the global per-cell minimum. No row reached the gate (drops 3e-4 to 1e-2 per 250 iterations pinned)
no separated branches, no compact endpoint	pinned: the unit degree on every cube from r 12 to r 21, the half-energy radius 15.4 to 16.6 (W1 x 25) and 19.3 (W1) of a half-box 24, 22 to 26 percent of E inside r 12. At W1 the two seeds are one object outside r 6 (shell eigenvalues to 0.003, E to 0.05 percent)
NOT established: a common branch at W1 x 25	the four end fields differ pairwise by 0.16 to 0.29 RMS per cell, as much as each differs from the plain hedgehog: different loop shapes, centers and normals
resolution-limited at h 1.5	the opened core at W1 x 25 is a loop of 76 to 90 pierced plaquettes in which one link turns by more than 78 degrees (a one-lattice-spacing discontinuity); at W1 the core does not open. Under the free boundary the charge is lost inside-out through one-link tears (no outer cube ever loses it before an inner one, so nothing annihilated inside); 62 to 93 percent of the energy that remains is V4 of a residual split

So the lepton paper's § 2.4 result (three seeds, one branch, on the author's 3x3 five-component stack) is neither reproduced nor contradicted here: on the 4x4 field with V4 there is no compact object to compare.

Two things I did not expect, stated as observations only. The interior shell means of every pinned field are BIAXIAL from r 6 to r 18: (0.17, 0.45, 0.98) at W1 x 25 and (0.20, 0.47, 0.96) at W1, against the vacuum (0.3, 0.3, 1), the same mean split at w and 25 w to 2 percent. That spectrum is held by the energy, not a slow residual: projecting the field back onto the uniaxial spectrum costs +43 to +47 (W1 x 25) and +11 (W1), nearly all of it curvature. It runs along V4's valley: tr S and tr S^2 stay at the vacuum's 1.6 and 1.18 (1.598 and 1.20), which is the quartic-flat direction of item 1. And the free boundary, which the R21 electron on the biaxial vacuum had seemed indifferent to, unwinds this one; the R21 statement was read at equal stall with the old polish and is open again.

The delta 0.89 side row is uninformative: the absolute 1e-3 gate was met after 6 iterations (the seed's gradient is a tenth of the delta 0.3 seed's). The n 64 box row was cut.

Scripts: m5_32_r22_1_cores.py, m5_32_r22_1s_slaved.py, the refuted mechanism kept with its refutation in m5_32_r22_1b_split_halo.py; audits m5_32_r22_1_audit.py (17 of 35 pass) and m5_32_r22_1s_audit.py.

4. For Maciej: omega_E on our fields (R22-3)

Read	Result
the control	the route of verify_L_ladder_energies.py, re-typed with h as a parameter, returns on the committed N 32 field C_1 9.075435624180153e-06, C_2 8.564773350793515e-05, omega_E 0.32551859539640887; N 48: 0.27988 (report read at 20cfb025)
a branch difference	report 008 sits on M_00 = -g, our stack on M_00 = +g. For a block-diagonal field the curvature is identical on both and omega_E contains no potential, so our fields are read after M_00 -> -M_00; without it G is indefinite and C_1 < 0. V4 is not invariant under that map where M_00 departs from g (16 to 18 percent on our fields), so this is a frozen-profile read on a borrowed field
what the number is	a0 is normalized by the cell sum without h^3, so omega_E scales as h^(-3/2) (7.37 to 25.1 from n 32 to n 64 on one analytic field), and it grows about linearly with the envelope radius (the control itself: 0.222 at radius 6, 3.49 with no envelope). The stable read is the ratio to the control at equal h and envelope
our fields	ratio 10 to 14 on the R21 W1 x 25 electron, 6 to 10 on the R21 W1 rows, 4 to 9 on the R22-1 fields. On the rung grid 0.1 / 0.2 / 0.35 the energy falls monotonically on all of them: no bracketed minimum there
the plan post's guess	wrong: I expected the drift to flatten on a compact electron. It does not (4.00 against 4.59 across two boundaries), and item 3 now says that electron may not be compact either

Script: m5_32_r22_3_omega_e.py. The ledger row on report 008 now carries the L-ladder table and link.

Not computed here

The C_12 gap scan on relaxed clocks; the scale-mode gravity terms; any member of the sextic family of the note's eq. (8) (no coefficients declared; the same seeds rerun on one line of values); a larger box or a second spacing for item 3; an unpinned pair; the like pair beyond 4000 iterations.

One question for the author

Item 3 says that in the presence of a charge the curvature energy moves the interior along V4's quartic-flat valley to a biaxial spectrum, at both potential scales, so on this action the exactly uniaxial vacuum is not what surrounds the charge inside a finite box. Is there a member of eq. (8), or another potential, that is meant to make (delta, delta) stiff at second order? One line with the coefficients is enough and the rerun is cheap now that the instrument is fixed.

Full record: the R22 section of the task document and ledger § 6.13.

Edit, 2026-09-19: the task-document link above now points to 6f4e952d. The copy at the merge f92ae6af carried its sections R17 to R22 twice (my splice error when the last audit was folded in), the second copy with superseded wording for the rerun of item 3. Nothing else in this post changed; every other link stays pinned to f92ae6af.

[JarekDuda]

@xrodz @vantasnerdan @mjmikulski

Thank you for R22 and for the merged appendix. Answering the two questions first, since everything else depends on them.

Yes, the vacuum should be stiff at second order — and the coefficient is fixed by the electron

The ε⁴-flatness you measured is an accident of the certified V₄, not a symmetry requirement. Split the degenerate pair at fixed trace: with S = diag(a, b+ε/2, b−ε/2), the invariants shift as I₂ = I₂⁰ + ε²/2 and I₃ = I₃⁰ − sε²/2, both at O(ε²) and neither at O(ε). So any V(tr S², tr S³) has ε² curvature ∂²V/∂ε² = ∂_{I₂}V + 3b ∂_{I₃}V, generically nonzero; for the standard Landau–de Gennes form V = (A/2)I₂ − (B/3)I₃ + (C/4)I₂² it is (3A + 2Bs + 2Cs²)/6. Your V₄ has those two terms cancelling, which is why (M₂₂−M₃₃)/√2 came out as a seventh zero mode where symmetry only demands six (three boosts, two tilts, and M₂₃, which is a stabiliser and moves nothing).

The size is not free either. In the corrected note the transverse split Φ = ε e^{iθ} is a complex Klein–Gordon field whose threshold frequency is ω₀ = √(M²/2κ), and the electron's clock sits at ω₀ = m_e. With the Coulomb-anchored core (ξ = 1.88 fm) and the quartic-induced twist stiffness κ = 211 MeV², that gives M² = 110 MeV⁴ against the melting barrier V₀ = 3.5×10⁴ MeV⁴ — a ratio of 3.1×10⁻³, about 1:320. So: ε²-stiff, but soft by two and a half orders relative to melting. That is the one line of coefficients you asked for, in physical units; converting it to your W₁ scale needs your V₀ calibration, which I don't have.

A warning that follows immediately, and I think it explains item 3 rather than fixing it. The biaxial mode's mass is √(M²/κ) = ω₀ = m_e, so the halo it cuts off has radius 1/m_e = 386 fm ≈ 206 core radii. Even with the correct stiffness the object is box-filling on any affordable lattice. So "no compact endpoint" is the expected result, not a failure — what you are measuring is the biaxial mode's Compton length, and the test that converts it into a number is a scan: add cε² to V₄, measure the half-energy radius against c, and check it scales as c^{−1/2} and saturates when 1/√(c/κ) > L. That is cheap now that the instrument is fixed, and it is the calibration that would let the physical point be extrapolated rather than run.

δ: the Coulomb anchor fixes it, and δ = 0.3 is far off the physical point

With your normalisation (k = 8(1−δ)⁴, pair energy 8πk/d) matching e² = α gives 64π(1−δ)⁴ = α, i.e. 1−δ = 0.0776, δ = 0.9224. My note's 0.110 is the same statement with a factor 4 less in the action — the ratio is exactly 4^{1/4}, so our two numbers agree and the discrepancy was bookkeeping, not physics.

This matters for item 3 more than the ε² term does. At δ = 0.3 your k is 1.92 against the physical 2.90×10⁻⁴: the effective fine-structure constant is 6600× too large. Since Derrick gives R ∝ A^{1/4}, the δ = 0.3 object is about 9× larger than at the physical charge, with the same V₄ scale. Box-filling at δ = 0.3 is partly that. I'd treat δ ≈ 0.92 as the physical row rather than as a side row; the earlier δ = 0.89 attempt stalling after six iterations is a gate-calibration artefact of the much smaller seed gradient, and the gate should be relative there.

The frame identity, and what the pair gate does and does not settle

Your G_a = ∏_{b≠a}(λ_a − λ_b) form is the right generalisation and I've adopted it: the static quartic is three dual-Maxwell energies, one per eigenvector, each weighted by the squared product of its two neighbouring gaps. The uniaxial case G² = ((1−δ)⁴, 0, 0) says something the bundle only implied — hedgehogs of the two transverse axes cost nothing in the quartic when the pair is degenerate, which is the same flatness that makes your seeds cheap.

On the pair gate: the grounded-wall observation is right, and it is the kind of thing that invalidates a lot of published lattice electrostatics. COULOMB_CERTIFIED at 1.7–3.0% is more than my analytic claim needed.

On the charge-even part I want to be precise about what I claimed, because you've measured it correctly and it does not contradict me. My statement was that the charge-even channel is ≥ 0 with infimum 0 — the infimum is approached under free relaxation and is not attained under pins; your like pair sitting 0.08 above the floor after 4000 iterations is that gap, not a violation. For the ledger's Newton row only the sign matters: ≥ 0 means absent or repulsive, never attractive, and your +4% extrapolation confirms the sign. So the row should read "absent-or-repulsive, sign certified; zero not resolved", and the re-reading as frozen-ansatz transverse energy stays evidence, as you say. Your caveat that this is a director-sector certificate while the 4×4 field leaves that sector is the right one, and item 3's biaxial interior is exactly how it leaves.

The biaxial interior is the best result in the post

I think you have under-sold it. A charge surrounding itself with a biaxial halo at no potential cost, along V₄'s flat valley, with tr S and tr S² held at vacuum values, is precisely what the Q-ball clock needs and what the uniaxial vacuum otherwise denies it: the transverse phase θ is only defined where ε ≠ 0, so in an exactly uniaxial vacuum the electron has no phase to carry. Your measurement says the charge makes its own phase region. That turns a hole in the note (§4(iv) chose the uniaxial vacuum for a phase-free exterior, and then §6 needed a phase for interference) into a mechanism: phase-free far from matter, phase-bearing where charge is, with the halo radius set by the ε² stiffness above. If that survives the c-scan, it is a result in its own right and I'd like it written up as one.

The L-ladder: what I think the well is

@xrodz — the merged appendix is careful work and the bitwise reproduction settles the protocol question. My reading of the well, offered as a hypothesis with a cheap test: E(ω) < E(0) means rotation lowers the energy, i.e. the ω² term is negative — which on the η-contraction is the rotation–boost block that propels the clock and has no floor (every rotation–boost pair is negative; the mass–mass channel is positive on both branches). At frozen profile the quartic bounds it and you see a minimum; released, §321–322's argument says the fixed frequency does not bound the runaway. Two tests, both cheap: (i) rerun one rung on the positive (H-adjoint / Frobenius) contraction — if the well is the negative block, it disappears; (ii) at the well's ω, release the profile and see whether E keeps falling. If the well survives (i), it is a genuine spontaneously rotating ground state and a much bigger claim than the ladder is currently making.

On ω_E not being a continuum quantity — the h^{−3/2} scaling and envelope dependence are decisive, and I'd stop treating it as a frequency. The normalisation-independent definition is the Q-ball one: at fixed Noether charge Q, ω = dE/dQ. That is what makes the two stacks comparable without agreeing on envelopes, and near threshold it reduces to E = Qω, which is where E = ħω comes from in the note rather than being assumed. If both stacks report (Q, E, dE/dQ) on the same field, the ladder becomes a check of that relation instead of a curvature ratio.

The neutrino loop, since it is listed as out of scope

It can stay out, and I now think it can be closed rather than deferred. Twisted ring of class a in π₁(SO(3)/D₂) = Q₈: energy minimisation gives R* = √(C/2πT_a)·n and E* = 2√(2πT_aC)·n, so ω = dE/dn = E/n (the same threshold relation). The masses go as m_a ∝ |λ_b − λ_c|, which gives one light and two nearly degenerate states — inverted ordering, with u = ε/(1−δ) = 0.0147 from the measured splittings, lightest 0.74 meV and Σm_ν = 0.100 eV, already in tension with DESI-era bounds. But stability kills it first: R*/ξ = ε/(2π·gap), so a ring needs ε > 2π(λ_b−λ_c), and in the uniaxial vacuum no class satisfies that — R*/ξ ≈ 2×10⁻³, the ring collapses to the core. Interestingly, inside your biaxial halo (0.17, 0.45, 0.98) the ratio rises to 0.084 — still short, but an order of magnitude closer, which is the only regime where the idea would be worth a lattice run.

Where I'd put the next cycle

R23-0: the c-scan of the ε² coefficient against the half-energy radius (the calibration that makes item 3 readable). R23-1: item 3 rerun at δ = 0.92 with a relative gate. R23-2: the two L-ladder tests above. Everything else can wait for those three numbers.

---

Two notes for you before posting. The ε² curvature formula and the LdG expression are verified symbolically this turn; the M²/V₀ = 3×10⁻³ and the 206-core halo follow from the electron anchoring, so they inherit its sharp-core caveat (a relaxed profile moves them by an O(1) factor, not by orders). The δ = 0.9224 and the 6600× coupling are exact given their stated normalisation — worth double-checking their k convention before you post, since it is the strongest claim in the reply.

For the split: the ε² c-scan and the δ = 0.92 rerun are lattice work for their stack, not Fable's. Fable: the ε²-stiff potential written in the (tr S², tr S³) basis with the M²/V₀ constraint imposed, plus the biaxial-mode mass from its Hessian — one script, one claim. ChatGPT 5.6: the literature check on whether a charge-induced biaxial halo in a uniaxial nematic is known experimentally (it should be — biaxial coronas around defect cores are a standard liquid-crystal observation), which would give the halo mechanism an independent anchor.

[xrodz]

R23 plan: a second-order stiffness on the degenerate pair, the halo radius against it, and the Coulomb-anchored delta (the three items of the 09-19 reply, with the form level first)

TL;DR

1. R23 takes the three proposed items in the proposed order: the c scan of the halo radius, the row at delta 0.9224 with a relative gate, the two reads of the 008 well. A form level (R23-0) runs first.
2. The stiffness term has a unique form inside V(tr N^p): one linear combination of the invariants keeps (g, 1, delta, delta) critical and gives the split delta ± eps the energy (g + delta)(1 - delta) abs(c) eps^2. R23 runs that member unless the author names another.
3. Two exponents are pre-registered for the radius against c: the reply's -1/2 (a constant stiffness) and -1/4 (the stiffness our R22 audit measured on the hedgehog exterior, which falls as 1 / r^2). The scan decides; neither is claimed.
4. The anchor arithmetic reproduces (delta 0.92238, coupling ratio 6615, radius ratio 9.02). The zero-mode count does not: the orbit has 5 modes, and M_23 is one half of the split doublet, not a stabilizer direction.
5. The R22-1s rows were all still falling at 3000 iterations, so the slope is fitted on a radius that has stopped drifting, not on an energy gate. Four questions for the author at the end, none blocking.

What was checked in the reply before planning

These are plan-time reads from a scratch script. R23-0 repeats each one as a tracked check, and an independent agent audits it before the results post.

Claim in the reply	Plan-time read
a split at fixed trace shifts tr S^2 by eps^2 / 2 and tr S^3 by 3 b eps^2 / 2; the Landau-de Gennes curvature is (3A + 2Bs + 2Cs^2) / 6	exact in sympy; at the uniaxial minimum it reduces to B s / 2, so the cubic term carries it
the eps^4 flatness of V4 is an accident	agreed, with the mechanism: V4 is a sum of squares, so all of its first derivatives in the invariants vanish at the vacuum, and the curvature formula returns zero
symmetry demands six zero modes, M_23 being a stabilizer	not reproduced. The stabilizer of diag(g, 1, delta, delta) in the Lorentz group is the one rotation in the (2,3) plane, so the orbit has 6 - 1 = 5 modes (three boosts, two tilts). The perturbation M_23 splits the pair as delta ± eps, the same as (M_22 - M_33) / sqrt 2 after a 45 degree rotation. The two form the doublet that the reply itself calls Phi = eps e^(i theta). This is the 5 + 2 of the R22-0 Hessian (m5_32_r22_0c_v4_flatness.py)
64 pi (1 - delta)^4 = alpha gives delta 0.9224; delta 0.3 is 6600 times too strongly coupled; R ~ A^(1/4) gives 9 times	the arithmetic holds (0.92238, 6615, 9.02; the note's 0.110 is ours times 4^(1/4)), given a unit prefactor on the quartic. The Derrick step assumes an object balanced by the potential, which the R22 rows were not
omega_0 = sqrt(M^2 / 2 kappa) = m_e, a halo of 206 core radii, M^2 / V_0 = 3.1e-3	the arithmetic holds (0.5106 MeV; 386 fm / 1.88 fm = 205). The same reply writes the mode's mass as sqrt(M^2 / kappa), which is 0.722 MeV. kappa, xi and V_0 come from a note we have not run

The stiffness term (R23-0)

With N = M eta and the vacuum spectrum (-g, 1, delta, delta), a potential V(tr N, ..., tr N^4) keeps that spectrum critical only if its first derivatives V_p satisfy sum_p p V_p x^(p-1) = 0 at the three distinct eigenvalues. A cubic with three fixed roots is fixed up to a factor, so the first derivatives have one free direction:

L = sum_p a_p (tr N^p - C_p),     sum_p p a_p x^(p-1) = (x + g)(x - 1)(x - delta)
V = V4 + c L
split delta ± eps :   V = (g + delta)(1 - delta) abs(c) eps^2 + O(eps^4)     for c < 0

For c > 0 the vacuum is unstable along the split. At g 8, delta 0.3 the coefficient is 5.81 abs(c). A finite-difference Hessian at W1 x 25 and c = -1e-4 shows 5 zero modes, the doublet at 0.0321 w twice, and the three massive modes moved by under 1 percent. Below, c means abs(c).

R23-0 checks, before any lattice row: the uniqueness statement; the vacuum as the global minimum of V4 + c L over the scan's c range (random spectra); the closed-form doublet eigenvalue; the per-cell M_00 solve of the R22-1s instrument (m5_32_r22_1s_slaved.py) extended to V4 + c L, with its reduced gradient against a complex-step derivative and with c = 0 returning the R22-1s first-chunk energy to 1e-10; the conversion of M^2 / V_0 into c for each candidate definition of V_0.

The two exponents

The reply's picture is a Klein-Gordon field with a constant stiffness kappa, so the halo is cut at 1 / sqrt(c / kappa) and the radius goes as c^(-1/2).

On our stack the split has no gradient term of its own. Its stiffness is induced by the hedgehog through the quartic, and the R22-1 audit measured it on the exact uniaxial exterior (m5_32_r22_1_audit.py, check Q5, reproduced to 0.3 percent on clean shells):

e_2 = (K / r^2) [ 2 eps_r^2 + 2 eps^2 / r^2 ],     K = 8 (1 - delta)^2
with m2 eps^2 added, m2 = (g + delta)(1 - delta) c :
eps'' = eps / r^2 + (m2 / 2K) r^2 eps

Without the potential the decaying solution is r^(-0.618); the audit read log slopes of -0.4 to -0.9 on the R22 end fields, which is why they fill the box. With the potential the tail is cut as a Gaussian at R ~ (2K / m2)^(1/4), up to angular factors of order one, so the radius goes as c^(-1/4). On this picture the scan range below spans R from about 4.6 to about 14.6 in a half-box of 24.

Both are hypotheses. The second one comes from an audited second variation but its cutoff has not been run.

R23-1: the c scan

Setting	Value
Action	the certified quartic plus V4 + c L, V4 at W1 x 25, g 8, delta 0.3
Instrument	R22-1s: M_00 solved per cell, descent on the spatial block, chunks of 250
Rows	pinned exterior, rad seed, n 32 L 48, c = 0, 3e-5, 1e-4, 3e-4, 1e-3, 3e-3
Box check	c = 3e-5 and 1e-4 repeated at n 48 L 72
Spacing check	c = 3e-4 repeated at n 48 L 48
Seed check	the bia seed at c = 1e-4 and 1e-3
Radius, read two ways	the half-energy radius; the radius where eps r^0.618 falls to half its r 4.5 value
Other reads	the shell profile of eps, the interior spectrum, the on-surface degree on r 6 / 9 / 12

A row enters the fit only if its half-energy radius drifts by under 2 percent over its last 1000 iterations; otherwise it is labeled UNCONVERGED with its attained residual. The slope is fitted only on c values where the L 48 and L 72 radii agree to 10 percent.

Label	Condition
HALO_HALF	log slope of radius against c in [-0.6, -0.4], on both reads
HALO_QUARTER	slope in [-0.3, -0.2], on both reads
HALO_BOX_LIMITED	the radius moves under 10 percent across the scan, or fewer than three c values pass the box check
HALO_LATTICE_PINNED	the radius stays within 1.5 h of the seed core at every c
HALO_OTHER	any other slope, stated with its window

R23-2: delta 0.9224

Row	w	c	Purpose
A	W1 x 25	0 and one value	the proposed physical row as stated
B	W1 x 25 / 6615	0 and the same value scaled	the same k / w as the delta 0.3 main row, so A against B separates the scale from the shape

The gate is relative: fmax < 1e-3 k(delta) / k(0.3) on the spatial block, and the last-chunk drop under 1e-4 of E. Energies are reported in units of k. One expectation is stated now so it cannot be read as a result later: if the delta 0.3 object were potential-balanced, row A's radius would be 9 times smaller, under one cell at h 1.5, so row A is expected to read the lattice and serves as the control for row B.

Labels: TWIN_SAME_OBJECT (row B's radius within 10 percent of the delta 0.3 row at equal k / w), CORE_LATTICE_PINNED (the eigenvalue dip confined to 2 cells or fewer), DELTA_COMPACT (radius under L / 6 and stable under one refinement), DELTA_BOX_FILLING.

R23-3 (stretch): the 008 well, and a note for Maciej

The appendix and its ladder are Maciej's; R22-3 only re-typed the frozen-profile route and reproduced the committed value 0.32551859539640887. On that same committed N 32 field R23-3 reads C_1 split by block (rotation-boost against the rest, the blocks summing to the full C_1) and C_1 under the positive (Frobenius) contraction. Labels: WELL_NEGATIVE_BLOCK if C_1 <= 0 under the positive contraction, WELL_SURVIVES otherwise.

The second test (releasing the profile at the well's frequency) and the (Q, E, dE/dQ) report need the time-dependent stack of report 008, so they are not in R23. Maciej, if you run either, we will read our fields through the same definition of Q once it is written down, with the branch translation of R22-3.

The Newton row

Proposed wording for the ledger, slightly narrower than the reply's: "absent or repulsive; the sign read at the few-percent level on the pinned pair; zero not resolved; director sector only". "Sign certified" is more than the R22-2 audit supports, since the charge-even part there is a cancellation of two large numbers.

Questions for the author

1. Is L the intended second-order term? It is the only one inside V(tr N^p). A term outside that family (for example one built on the discriminant of the spectrum) would need its definition.
2. Which state defines the melting barrier V_0 on the 4x4 field (for example the isotropic spatial block at fixed trace, with M_00 at its vacuum value)? That fixes the conversion of M^2 / V_0 = 3.1e-3 into c.
3. Which of sqrt(M^2 / 2 kappa) and sqrt(M^2 / kappa) is the mode's mass? The halo radius in core units changes by sqrt 2.
4. Does the 5 + 2 count of zero modes above agree with the note once M_23 is read as the doublet's second component?

Cut line and what is not in this rung

If the run is short of time, R23-3 drops first, then the bia seed rows, then the n 48 L 48 spacing row. Not in R23: the released-profile test, the (Q, E, dE/dQ) report, a discriminant-based stiffness, the neutrino ring, a literature check on biaxial coronas around defect cores, and any write-up of the halo as a mechanism. On the last point: the R22-1s audit found the opened core to be a loop one lattice spacing wide and the four W1 x 25 end fields not to be one field, so the halo is reported as a result only after the c scan is audited. Every result row will name its validation script, and an independent agent audits each part before the results post.

[JarekDuda]

@xrodz @vantasnerdan @mjmikulski

All four questions answered, two concessions, and one request about the scan design that I'd ask you to act on before R23-1 runs.

Q4 — you are right and I was wrong. The stabiliser of diag(g,1,δ,δ) is the single (2,3) rotation, so the orbit is 5-dimensional; M₂₃ is not a stabiliser direction but a perturbation that splits the pair as δ ± ε, like (M₂₂−M₃₃) after 45°. Your 5 + 2 is correct and I miscounted an orbit against a perturbation. It improves the picture: under the residual SO(2) the pair carries charge 2, with the doublet

Φ = ½(M₂₂−M₃₃) + i M₂₃ (equivalently (M₂₂−M₃₃)/√2 + i√2 M₂₃ in the Frobenius-orthonormal basis),

verified to transform as Φ → e^{2iα}Φ. The relative normalisation matters and my first draft had it wrong: "one coefficient gives the doublet its mass" is true only because the two components carry equal weight, which is the whole content of the claim. So the ε⁴-flatness is a single fact about one complex field, not two coincidences.

Q1 — yes, L is the intended term, and your uniqueness result is stronger than my LdG version. A split at fixed trace shifts every invariant at O(ε²) and never at O(ε), so the ε² curvature depends only on the first derivatives of V in the invariants; criticality fixes those up to one direction; hence the curvature of any spectral potential is unique up to scale. One number, not a function. And I'd drop "accident" from my earlier post — your own mechanism makes it a theorem: any potential that is a sum of squares vanishing at the vacuum has zero first derivatives in the invariants and is therefore ε⁴-flat. That is a prediction — every sum-of-squares potential you try will do this — and it is much stronger than calling the current V₄ unlucky.

On the Bs/2: the factor is convention-dependent and both of us should state it. With V = (A/2)I₂ − (B/3)I₃ + (C/4)I₂² and its own stationarity condition the curvature is +Bs/2; with +(B/3)I₃ it is −Bs/2; the intermediate Bs/6 that turned up in review comes from combining one convention's curvature formula with the other's stationarity. Magnitude |B|s/2 either way, and the mechanism — the cubic invariant carries all of it — is convention-free.

Q2 — yes, that state. V₀ is the barrier to melting the director: isotropic spatial block at fixed trace, M₀₀ at its vacuum value, minus the vacuum. Conversion between your V = (g+δ)(1−δ)|c|ε² and my V = ½M²ε²: c = M²/[2(g+δ)(1−δ)], which at g = 8, δ = 0.3 is M²/11.62, so M²/V₀ = 3.1×10⁻³ gives c ≈ 2.67×10⁻⁴ V₀. Caveat: V₀ is a barrier height in a sharp-core Derrick model and a relaxed core does not fully melt, so treat that as the centre of the scan, not a target.

Q3 — neither, and my note is inconsistent; my error. The convention-free definition is the generalised eigenvalue along the doublet, ω₀² = V″/K″ with both second derivatives along the same direction — read it off your measured 0.0321w against the kinetic normalisation rather than from either closed form. The √2 between my two expressions is the complex-versus-real normalisation. What is convention-free is the anchor: ω₀ = m_e.

The exponent — your −1/4 is right for the action you are running, and that is the useful result. On L_cert + cL the doublet has no gradient term of its own, so the only stiffness is the quartic-induced K/r², the large-r equation is ε″ = k²r²ε, and the tail is Gaussian at r* ∝ c^{−1/4}. I reproduce it. My −1/2 assumed the doublet has a kinetic term of its own, which the note intends but writes badly — I used the individual projectors P₂, P₃, and those are undefined exactly where the pair is degenerate.

The repaired form, with two caveats I'd rather state than have found:

Φ ≡ P_⊥ M P_⊥ − ½Tr(P_⊥MP_⊥)P_⊥, P_⊥ = 1 − uu^T − nn^T (rank 2), L ⊃ −κ₀ Tr(∂_μΦ ∂^μΦ).

First, the rank-2 transverse projector needs a timelike projector as well as the director — the naive 1 − nn^T on the 4×4 has rank 3 and gives Φ ≠ 0 on the vacuum (verified). That puts the term in the same family as substrate-framework's P240 L₁ field-dependent kinetic axis, which was rejected by an exact mechanism (a tilted P_t plus a high-wavenumber static witness made the Hamiltonian unbounded below). So I am not claiming the term is safe; I am claiming it does not reopen the Coulomb-tail trilemma — Φ ≡ 0 on any uniaxial texture, for any director field, verified — and that it must pass P240's witness before anything else. Second, n is the leading eigenvector, so it is discontinuous where the long axis crosses the pair, which is where the core is and is the same discontinuity your R9 found on the z axis; a smooth surrogate for the projectors is an open construction problem.

Third, "constant κ₀" is not quite what the term gives. Since Φ = O(ε), Tr(∂Φ∂Φ) ~ (∂ε)² + ε²(∂n)², so it is a constant stiffness plus an induced ε²/r² term of the same shape as the quartic-induced one. The exponent conclusion survives — at large r the constant piece competes with the mass and the cutoff is exponential — but the induced piece is there and someone will find it.

So R23-1 is not choosing between two guesses about one Lagrangian: the exponent identifies which Lagrangian you are in. −1/4 says the doublet has no kinetic term of its own; −1/2 says it has one. Same conclusion your R13-W phase-flatness statement reaches from the vacuum side (on the uniform vacuum with arbitrary phase every F_μν = 0, so the phase has no action at all) — I should have cited that as yours rather than re-deriving the special case.

One request, and I'd treat it as blocking for the scan's value. As designed the ladder can only see −1/4. Your readable window is R ∈ [3h, L/2] = [4.5, 24], a factor 5.33; that window spans 2.9 decades of c under −1/4 but only 1.45 under −1/2. Your 6 points over 2 decades therefore cover the window fully under −1/4, while under −1/2 the low-c end sits outside the box and reads HALO_BOX_LIMITED — the scan is biased toward the hypothesis I am conceding and cannot confirm the one I am arguing for. A 3-decade, 7-point ladder extended upward in c gives ≥3 in-window points under both laws, at no extra cost per point. If budget is tight, drop a box row rather than shorten the ladder.

On the rest of the plan. Your Newton wording is better than mine and I adopt it verbatim — "sign certified" overstates a cancellation of two large numbers. Your Derrick caveat is right: the 9× radius ratio is for a potential-balanced object and your R22 rows were not balanced, so row A reading the lattice is the correct pre-registration and row B at equal k/w is the informative one. On the halo in core units, 206 is a lower bound in general (a Q-ball tail is 1/√(ω₀²−ω²) and diverges at threshold), but R23-1's object is static with no clock, so the mode mass is exactly the right length there — and, separately, note that 386/1.88 = (3/2)/α = 205.55, which is Nambu's 1952 formula and not m_μ/m_e = 206.768; it should never be written up as the muon ratio. R23-3's block split is the test I wanted; C₁ ≤ 0 under the Frobenius contraction is the negative block.

One narrowing on my own earlier claim: the doublet's charge 2 confirms the frame → tensor step of the factor-2 chain specifically. The spinor → frame step is the double cover and runs the other way relative to the frame, so the two should not be lumped together.

---

Changes from the draft: the doublet normalisation fixed and verified; the projector given its timelike part with P240's rejection named rather than waved at; "constant κ₀" corrected to constant-plus-induced; "accident" upgraded to the sum-of-squares theorem; the Bs convention stated; the scan-ladder request added as the one blocking item; the factor-2 claim narrowed.

For the split: Fable — the P240 witness on κ₀Tr(∂Φ∂Φ) with the rank-2 projector (a high-wavenumber static configuration with tilted P_t, checking whether the Hamiltonian is bounded below), then the Derrick-balance and pair-energy invariance, in that order, since the second is worthless if the first fails. ChatGPT 5.6 — the biaxial-corona literature question in its sharper form: whether any measured nematic system shows a biaxial halo radius scaling as a power of a control parameter, since a matching exponent is worth far more than an existence citation.

[xrodz]

R23 results: one linear invariant gives the degenerate pair its second-order stiffness and confines the biaxial halo; no exponent could be certified at any box we ran; at delta 0.9224 the object fills the box; the 008 well exists for any field

TL;DR

1. The term. Inside V(tr N^p) exactly one linear invariant L keeps (g, 1, delta, delta) critical, and the split delta ± eps costs exactly (g + delta)(1 - delta) c eps^2 - c eps^4 / 2 under V4 - c L. Five zero modes plus the doublet at 5.81 c. One finding the plan did not foresee: on full 4x4 matrices a second signature sector lies lower than the vacuum, behind a barrier.
2. The halo. The stiffness does what the 09-19 reply predicted qualitatively: it confines the biaxial halo and restores a clean unit hedgehog for c >= 1e-3. With c = 0 a fresh seed relaxes to the R22 box-filling state again.
3. The exponent. Not certified, by either law. The pre-registered label is HALO_BOX_LIMITED. Over the seven-point ladder requested on 09-20 the readable window holds three points and only one of them is clean: there is a wall at c <= 1e-4 on both boxes, an amplitude threshold between c 3e-3 and 1e-2, and a collapse of a disclination network between c 3e-4 and 1e-3. On the linear tail alone the profile follows the c^(-1/4) equation to 9 to 18 percent: a hypothesis on three points, not a result.
4. Delta 0.9224. Both rows fill the box: at W1 x 25 the hedgehog tears, at the scaled weight it melts into a scale-free ramp. My stated expectation (row A reads the lattice) was wrong. Row B cannot take a stiffness at all: the vacuum is unstable there above c 1e-6.
5. For Maciej. The well of the 008 ladder survives the positive contraction because the report's contraction already is the positive one; it disappears under eta. More important: any non-uniform field has such a well, so its existence carries no information.

Everything below is pinned to 461d0ff3dd0e35963a6c2f3a660b6302f68fd5cf (the task record, the ledger § 6.14). Every row names its validation script. Three fresh agents attacked the run with their own code before this post: 116 checks, 84 passed, and the 32 that failed are the corrections written into the tables below. Every number quoted here was reproduced by them. Sign convention: the code writes V = V4 - c L with c >= 0; the plan post's abs(c) is this c.

1. The stiffness term (R23-0)

N = M eta,   vacuum spectrum (-g, 1, delta, delta),   V4 = w sum_p (tr N^p - C_p)^2
L = sum_p a_p (tr N^p - C_p),    sum_p p a_p x^(p-1) = (x + g)(x - 1)(x - delta)
a_p = ( delta g,  -(delta g - delta + g) / 2,  (g - delta - 1) / 3,  1 / 4 )
on (-g, 1, delta + eps, delta - eps):    L = (delta + g)(delta - 1) eps^2 + eps^4 / 2     (exact)

Claim	Result	Script
one direction of first derivatives keeps the vacuum critical	holds on the vacuum orbit (rank 3 of the 10 x 4 Jacobian on 200 boosted vacua). Audit correction: criticality is a condition on the minimal polynomial, Q(N) = 0; a symmetric M with the vacuum spectrum and a Jordan block is not critical	m5_32_r23_0_form.py, audit A1
the Hessian on the vacuum	5 zero modes for c > 0 (7 at c = 0); the doublet M_23, (M_22 - M_33) / sqrt 2 at exactly (g + delta)(1 - delta) c; three massive modes positive. The orbit tangent has rank 5 and the (2,3) rotation's tangent has norm exactly 0	the same, audit A3
stability in c	stable to c 0.0863 at delta 0.3, 6.9e-3 at delta 0.92238 with W1 x 25, 1.04e-6 with W1 x 25 / 6615; the destabilizing mode is mostly M_11	the same, audit A4
the vacuum as global minimum	yes on real spectra. On full matrices V4 - c L reaches -c^2 sum a_p^2 / 4w (-501 c^2 here) on states whose spectrum carries a complex pair with a (1,1) plane, so the timelike direction sits inside the pair: a different signature sector, degenerate with the vacuum at c = 0. The barrier is 27.9 per unit volume (1541 w), reached by a block-diagonal path through a twin vacuum diag(-delta, -g, 1, delta) that has V = 0 for every c and is unstable along M_0i at -5.81 c. No complex spectrum within Frobenius distance 4.15 of the vacuum. A descent does not climb the barrier, so the rows below stay in the vacuum's sector	the same, audit A5 (m5_32_r23_0_audit.py)
the 09-20 conversion	V_0 (isotropic block at fixed trace, M_00 at vacuum) is 0.019253 at W1 x 25, so c = 3.1e-3 V_0 / 11.62 is 5.1e-6, a factor 6 under the ladder's floor	the same
the linear halo equation	eps'' = eps / r^2 + beta r^2 eps, beta = 5.81 c / 2K, K = 8 (1 - delta)^2, has the closed form sqrt(r) K_nu(sqrt(beta) r^2 / 2), nu = sqrt(5) / 4; every radius scales as beta^(-1/4) (fitted -0.2500000000). K and the angular factor come from the R22-1 audit and were not re-audited	the same, audit A6

2. The halo against c (R23-1)

Settings: the certified quartic plus V4 - c L, V4 at W1 x 25, g 8, delta 0.3, pinned exterior, the analytic rad seed, the R22-1s instrument (M_00 solved per cell on V4 - c L, L-BFGS on the spatial block). The known-answer control (c = 0, one chunk from the R22-1s source) returns the R22-1s energy 4.171721334566199 with a difference of exactly 0. The auditors reproduced every stored energy part to 1e-8 and every residual to 1e-6 with their own code. Script m5_32_r23_1_cscan.py, summary m5_32_r23_1_cscan_collect.json, audits m5_32_r23_1_audit.py and m5_32_r23_1b_audit.py.

Reads: r_half = the half-energy radius (pre-registered; interpolated here; 4.44 on the seed); r_eps = the radius where eps r^0.618 falls to half its r 4.5 value (pre-registered); R_K = the fitted cutoff of the K_nu form (added after the second audit, NOT pre-registered). Ends: G = at the gate (max abs(G) under 1e-3), F = still falling at the iteration cap, with the attained residual.

c	n 32 L 48: end, E, r_half, r_eps, R_K	n 48 L 72: end, E, r_half, r_eps, R_K	n 48 L 48, h 1.0: end, E, r_half, r_eps
0	G, 3.5233, 16.90, none, uncut
3e-5	F 2.0e-3, 3.6623, 16.46, none, uncut	F 5.0e-3, 3.7997, 18.61, 32.98, 39.5
1e-4	F 5.9e-3, 3.9557, 15.92, none, uncut	F 3.5e-3, 4.1576, 17.03, 28.11, 18.0
3e-4	G, 4.5674, 13.85, none, uncut	F 1.1e-3, 4.8111, 14.37, 22.17, 10.83	F 3.9e-3, 4.7609, 13.36, 20.92
1e-3	G, 5.4168, 11.16, 15.81, 9.64	F 6.7e-3, 5.6513, 11.72, 16.11, 7.67
3e-3	G, 6.2314, 7.33, 9.36, 5.02	G, 6.5104, 7.50, 9.39, 5.12	G, 6.3329, 7.03, 8.82
1e-2	G, 6.7550, 5.76, 6.67		G, 6.8554, 5.76, 7.60
3e-2	G, 7.1779, 5.58, 6.33		G, 7.2898, 5.58, 7.23

The label. HALO_BOX_LIMITED: the L 48 and L 72 half-energy radii differ by 11.7 percent at c 3e-5, and by 7.1 percent at c 1e-4 with the L 72 row unconverged, so no c passes the registered box check and no slope is fitted under the registered rule. The margin, disclosed: the c 1e-4 check is excluded only because that row's radius drifts 2.35 percent against a 2.0 percent rule, on a cell-quantized reader. Had that flag gone the other way, the rule would have fitted through the two top rows and returned HALO_QUARTER (slopes -0.20 and -0.27), which the reads below do not support.

Read	Result
the stiffness confines the halo	eps(18) / eps(6) is 0.78, 0.83, 0.84, 0.49, 0.108, 0.0022 from c 0 to 3e-3; at c 3e-3 the exterior is back to (0.301, 0.304, 0.9985) by r 15. At c = 0 the fresh seed ends at shell means (0.14 to 0.18, 0.44 to 0.50, 0.96 to 0.98) from r 1.5 to r 15, the R22 state again. Those are shell means: the spread of the mid eigenvalue inside a shell is 28 to 32 percent of the gap, and R22's (0.17, 0.45, 0.98) is a halo value (r 1.5 reads (0.113, 0.556, 0.932))
the degree	clean unit degree, zero orientation conflicts and zero disclination piercings on the r 6, 9, 12 cubes for every rad row with c >= 1e-3, on all three lattices, also with a box-centered reader; every row with c <= 3e-4 is pierced
the point hedgehog opens into a disclination network	of the top eigenvector, in every row with a halo: frustrated plaquettes out to r 12.6, 14.4, 12.0, then 4.1, 2.4 on L 72 (c 3e-5 to 3e-3). The network collapses between c 3e-4 and 1e-3, on every box
the halo is how the core escapes	at c = 0 the energy inside r 6 falls from 8.03 (seed) to 0.167, while outside r 6 it is 3.36 (curvature 2.69 plus V4 0.67) against 3.17 for the bare uniaxial hedgehog. So the halo is not an exterior saving and not free in the potential: outside the core it trades 0.48 of curvature for 0.67 of V4
the top of the ladder is a threshold, not a retreat	from c 3e-3 to 1e-2 eps(6) falls 12.7 times at h 1.5 and 26.7 times at h 1.0 (0.089 to 0.0071, 0.083 to 0.0031), where a retreating cutoff allows at most 2.5. What is left scales as h^2 (ratio 2.1 to 2.5 between the spacings), so it is the discretization biaxiality of an essentially uniaxial hedgehog. The state is stable to a biaxial core kick. The two points added on the 09-20 request carry no halo information, under either law
the bottom of the ladder is the wall	the pinned shell is 2 cells deep, so the free half-box of L 72 is 33: r_eps 32.98 at c 3e-5 is the end of the read window and 28.1 at c 1e-4 is 0.85 of it. The half-energy radius of a uniform density in the free region of L 48 is 20.6
the plateau is nonlinear	for c <= 3e-4 eps(r) sits near 0.13 to 0.15 across the box and drops at the wall; it is not the linear r^(-0.618) tail. At r 6 the quartic force of V4 over the quadratic force of c is 24.8, 8.2, 2.6, 0.47, 0.12 for the five lower c (valley-floor quartic coefficient 0.137)
the exponent	three points remain between the wall and the threshold. At c 3e-4 the network reaches r 12, inside the read region; at c 3e-3 r_eps is 1.5 times its floor and eps(4.5) is already down 31 percent; only c 1e-3 is clean. Local log slopes on L 72: -0.27 then -0.49 (r_eps), -0.29 then -0.37 (R_K), -0.17 then -0.41 (r_half, biased flat at the top where it sits 7 percent above a halo-free core-plus-Coulomb reference). 13 of 14 size reads the third auditor tried steepen by 0.12 to 0.41 across the window. The reads are soft too: r_eps at c 3e-3 moves 6 percent with the shell width, R_K 15 to 64 percent between a log and a linear fit
the tail-only read (a hypothesis)	fitted only where eps is below the nonlinear crossover, the K_nu form fits well (RMS log residual 0.03, 0.07, 0.15) with cutoffs 8.92, 7.16, 5.12 at c 3e-4, 1e-3, 3e-3, which are 1.09, 1.18, 1.11 times beta^(-1/4). Least-squares slope -0.24 (local -0.18 and -0.30, one point wall-adjacent). The profile's shape at c 1e-3 and 3e-3 also fits the K_nu cutoff better than exp(-r / R) / r (0.31 against 0.40, 0.11 against 0.34). This is the closest any read comes to a single exponent and it agrees with the 09-20 concession; three points do not certify it
box, spacing, start field	at c 3e-3 r_eps is 9.36, 9.39, 8.82 on the three lattices; the 0.279 of energy between the boxes is the hedgehog's Coulomb tail between the walls (0.2827 from the lattice density). At c 3e-4 the seed and a box-filling start field end 3.8 percent apart in radius and 1.8 percent in energy, both at the gate, and they are NOT the same field (mostly frame differences inside r 12): the gate does not select a unique stationary point
the physical point (an extrapolation)	c 5.1e-6 is outside every box. Over anchors and readers the extrapolation gives 6 to 57 seed-core radii against the 206 of the 09-19 reply. Nothing at the physical point was measured

3. Delta 0.92238 (R23-2)

Label DELTA_BOX_FILLING for both rows; TWIN_SAME_OBJECT, DELTA_COMPACT and CORE_LATTICE_PINNED all fail. Radii of 19.9 and 20.9 are the reader's ceiling (20.6), not sizes. The gate is relative, 1e-3 k(delta) / k(0.3) = 1.5e-7.

Row	End	E	What the field is
A, W1 x 25, c 0	falling at 6000, residual 4.2e-5	3.22e-4 from 4.04e-3	torn: the hedgehog is lost through disclinations (4, 6, 8 piercings on the three cubes, 118 frustrated plaquettes from r 4.4 to the pin) while the gap weight G_1^2 stays at 0.45 to 0.79 of vacuum
A, W1 x 25, c 3.094e-5	falling at 6000, residual 1.6e-5	5.73e-4	unit degree, no conflicts on r 9 and r 12; pierced on r 6; box-filling, shell means near (0.910, 0.940, 0.995)
B, W1 x 25 / 6615, c 0	under the gate at 232 iterations (3.1e-10)	1.545e-4 from 8.66e-4	melted: G_1^2 over vacuum is 1e-4 at r 1.5, 0.14 at r 15; V4 paid 1.3e-6 against 7.1e-4 of curvature saved. A scale-free ramp: the anisotropy grows as 0.0393 r, the energy density is nearly uniform, the direction field is intact (degree 1, no disclinations). No core scale but the box
B with a stiffness	not run		R23-0 shows the vacuum unstable there above c 1.04e-6 (lowest Hessian eigenvalue -6.3e-6 at the planned c); a stable c would cut the halo only at about the half-box

Reading: at the Coulomb-anchored delta the quartic is 6600 times weaker while V4's softest massive mode is 54 times weaker at W1 x 25 (1.04e-3 against 5.59e-2) and vanishes with w. So V4 at the equal-k/w weight does not hold the spectrum, and at W1 x 25 the field escapes by tearing. The equal-k/w twin is not a twin for the soft mode.

4. For Maciej: the well of the 008 ladder (R23-3)

Your committed N 32 field, our re-typed route 2, the control 0.32551859539640887 reproduced first. Script m5_32_r23_3_well.py, record m5_32_r23_3_well.json; the auditor reproduced every number to 1e-15 with own stencils.

Contraction	C1	Well
the report's G = eta - 2 q eta	+9.0754e-6	yes
Frobenius	+9.0729e-6	yes
eta	-9.0729e-6	no

On that field M_0i = 0 exactly and G equals the Euclidean metric to 3.9e-4, so the report's contraction already is the positive one: label WELL_SURVIVES. The static density lives entirely in the rotation block and the frozen tangent's density entirely in the boost block (a0 has only 0i entries), so under eta the second flips sign and the well is gone. That is the 09-19 hypothesis reversed: the well is there because the contraction is positive on the boost block. "No well under eta" holds on an exactly block-diagonal field only (white-noise M_0i of amplitude 1e-2 moves C1(eta) to +4.1e-5).

The point that matters for the ladder: under a positive contraction C1 is a sum of products of non-negative densities, so ANY non-uniform field has a well. Three block-diagonal white-noise fields with no soliton return omega_E of 25.3, 25.6, 24.9; the uniform vacuum returns C1 = 0. Existence is fixed by the form (i1s - omega^2 k1)^2; only the magnitude could inform, and R22-3 showed the magnitude depends on the a0 normalization, the envelope and h^(-3/2). The released-profile test and (Q, E, dE/dQ) need your time-dependent stack and were not run here.

Deviations

Nine, each logged before its rows were read; the full table is in the task record. The ones a reader needs: row B ran at c = 0 only (unstable vacuum, found at the form level after the pool had launched; the queued job was blocked before it ran). The L 48 box limits c <= 3e-4, so the scan was repeated on n 48 L 72. The 09-20 01:26 UTC request for a seven-point, three-decade ladder arrived four hours into the run; it was met in full (c 1e-2 and 3e-2 at two spacings), since ladder rows are independent jobs, and the record says those two values were chosen after the lower rows had been seen. R_K, the interpolated r_half and the tail-only fit were added after the second audit and are marked as not pre-registered. Five n 48 rows end still falling: the auditor found them converged for radii (0.2 and 1.8 percent over the last 1000 iterations), not in energy. Two statements of mine were wrong and were corrected by the auditors before this post: the size of the barrier to the second sector, and the mechanism of the top of the ladder.

The pair row of the ledger now reads, as agreed on 09-20: absent or repulsive; the sign read at the few-percent level on the pinned pair; zero not resolved; director sector only.

Not computed here

The kinetic term kappa_0 Tr(d Phi d Phi) with the rank-2 projector (it has to pass the P240 witness first, as the 09-20 reply says). Row B with a stiffness. The released profile and (Q, E, dE/dQ) of the 008 ladder. Any second spacing for the nonlinear plateau at c <= 3e-4. The angular factor of the linear halo equation. The neutrino ring. A literature check on biaxial coronas around defect cores.

Two questions for the author

1. The scan cannot deliver the calibration on this action at these boxes: below c 1e-4 the wall reads, above 3e-3 the halo is gone, and in between the plateau is nonlinear. A larger box moves only the wall. Does the note expect the threshold at the top (the split amplitude collapsing by one to two orders inside half a decade of c), and is there a read of the halo the author would accept that does not need a power law, for example the amplitude eps(6) against c near the threshold?
2. For the kinetic term: is u in P_perp = 1 - u u^T - n n^T the eta-normalized eigenvector of the timelike eigenvalue of N, and n the top spatial eigenvector of the same N? One line with the definition is enough for the witness to be run on exactly that object.

[JarekDuda]

Thanks — two answers, and one number that I think settles the calibration question.

2. The projector. Yes: u is the eta-normalized eigenvector of the timelike eigenvalue of N, and n is the top spatial eigenvector of the same N. But I would not run the witness on P_perp = 1 - u u^T - n n^T. That form is singular exactly where the physics is — wherever the pair it projects onto splits or coalesces, which is the core, the wall and the halo edge. Use the basis-free Riesz cluster projector instead:

P_23 = I - P_g - P_1,    B = P_23 N P_23 - (1/2) tr(P_23 N) P_23

Same doublet, polynomial in N, no director in its construction, smooth through splitting and coalescence. It still fails at the lambda_1 = lambda_3 core crossing, and that is the right thing to gate on.

1a. Why the term is needed at all. For V = w sum_p (tr N^p - C_p)^2, splitting a degenerate pair by eps enters every invariant at O(eps^2), so V = O(eps^4) identically — the degenerate pair has no quadratic stiffness of its own. (In 3x3 with vacuum (1, delta, delta) it is exactly V = 4 eps^4 (1 + 9 delta^2 + 36 delta^4).) So c L is literally supplying the missing m_b^2, and your doublet (g + delta)(1 - delta) c = 5.81 c is that mass. It also means the c = 0 box-filling state is not a condensate but the absence of a scale.

Separately, I have been computing the biaxial direction on the 3x3 record: it never condenses on its own. The elastic term beats the potential's own instability by about a factor 6 on the relaxed core, in every family tested — spherical, torus, split core — and with a one-constant quadratic elastic term as well as the commutator quartic. So expect the halo to be sourced by the core and never self-sustaining.

1b. Yes, expect the threshold at the top — it is the cutoff crossing the core. Your own linear form predicts it. With R_c = beta^(-1/4), beta = 5.81 c / 2K, K = 8 (1 - delta)^2 = 3.92:

c	3e-4	1e-3	3e-3	1e-2
R_c = beta^(-1/4)	8.19	6.06	4.61	3.41
your fitted R_K	8.92	7.16	5.12	—
ratio	1.09	1.18	1.11	—

The halo dies when R_c falls below the core. With your seed r_half = 4.44 and that measured ratio of 1.1, this is c ~ 5e-3 — inside the 3e-3 to 1e-2 window where you see eps(6) fall by 12.7 to 26.7 times. So the collapse is geometric, not a retreat, and half a decade is the right width for it.

The bottom of the window is not the box either: it is the nonlinear crossover, which your own quartic-over-quadratic force ratio at r 6 (24.8, 8.2, 2.6, 0.47, 0.12) puts between c 3e-4 and 1e-3. A larger box moves the wall and does not move the crossover. So no box on this action gives more than about half a decade of clean window. That is a property of the action, not of your ladder, and I think it retires the power-law read rather than deferring it.

1c. The read I would accept, with no power law in it. A collapse test. The linear halo has one master curve: plot eps(r) * r^0.618 against rho = sqrt(beta) r^2 / 2 and every row must lie on sqrt(rho) K_nu(rho), nu = sqrt(5)/4 — no fitted exponent, no fitted radius, one free amplitude per row which is the core's boundary condition. Three things come out of the one plot: which rows are linear (they collapse), where each row peels off at small rho (that is the nonlinear crossover, measured rather than inferred), and whether the c^(-1/4) law holds at all. It uses every point of every profile instead of one radius per row — and unlike a slope of -0.24 ± 0.1, it can be refuted.

Your eps(6) against c is the right instinct, and I would keep it as the supporting read near the threshold, where the collapse test runs out because the profile is no longer a tail. Pre-register it as the ratio to the master curve at the same normalization rather than as a raw amplitude.

On the physical point. The same law anchors it without extrapolating a fitted slope: at c = 5.1e-6, R_c = 22.7, about 5 seed-core radii. The nonlinear plateau extends the halo at small c, so treat 22.7 as a lower bound — but it is a long way from 206, and I would rather have that on the record now than discover it later.

Small one on the second signature sector. Depth -501 c^2 against a barrier of 27.9 per unit volume is 0.45 at your top row and 1.3e-8 at the physical point, so the metastability is real but binding nowhere on the ladder. Worth one line in the ledger so it does not get re-litigated.

[xrodz]

R24 results: the proposed kinetic term and the certified term share one sign on a boost ripple; the halo equation's angular factor is 3, not 1; the collapse read does not pass on our fields; the halo ends first order near c 4e-3

TL;DR

1. The reply's numbers. All reproduce (the O(eps^4) cost under V4, the cutoff table, the threshold estimate, the physical point, the sector depth). Two corrections: the 3x3 form is the leading order and not exact, and the master curve of the collapse is rho^nu K_nu(rho), not sqrt(rho) K_nu(rho).
2. The Riesz projector. Works as stated: zero on boosted vacua, tr B^2 = 2 eps^2, smooth through the coalescence.
3. The witness. With the covariant trace, kappa_0 Tr(dB dB) is negative on a static boost ripple of a split background. But the certified 4 <F, F>_eta has the same sign on the same ripple, on a relaxed field. So the witness does not single out the new term. I do not claim an instability for either: the ripple lives in time-space components, where the static action is not the Hamiltonian.
4. The halo equation. The angular factor is A = 3, not the 1 that I used in R23 and that the reply's r^0.618 inherits. Same beta, same cutoff beta^(-1/4), a steeper free tail r^(-1.303).
5. The collapse. Pre-registered label NEITHER. Only the falling edge of the rows at c >= 3e-3 follows the curve, with a 7 percent radius rescale, and that edge reads neither nu nor the c^(-1/4) law. Not refuted as a law: this box has no two converged halo rows a decade apart in c.
6. The threshold. Pre-registered label THRESHOLD_FIRST_ORDER. A halo state and a no-halo state coexist at c 4e-3; the halo branch ends between 4e-3 and 4.5e-3 on both spacings, 10 to 35 percent below the reply's estimate.
7. An instrument finding that reaches back. My symmetric radial seed on the fine lattice converges to saddles, and my force gate does not certify a minimum. The auditors found both. R23's "threshold between 3e-3 and 1e-2" was a property of the seed.

Everything below is pinned to e9338e91ce7e4e824a077b6b231109084c243e65 (the task record, the ledger § 6.15). The labels were committed before any stored profile was read (fe55c677). Two fresh agents attacked the run with their own code before this post: 100 checks, 74 passed, and the 26 that failed are the corrections written into the tables below. Sign convention: V = V4 - c L with c >= 0.

1. The reply's numbers and the projector (R24-0)

N = M eta,  vacuum (-g, 1, delta, delta),  V4 = w sum_p (tr N^p - C_p)^2,  p = 1..4
on (-g, 1, delta + eps, delta - eps):
    V4 / w = 4 eps^4 (1 + 9 delta^2 + 36 delta^4 + 12 delta^2 eps^2 + eps^4)        (exact)
P_i = v_i (eta v_i)^T / (v_i^T eta v_i),   P_23 = I - P_g - P_1
B = P_23 N P_23 - (1/2) tr(P_23 N) P_23
decaying solution of  eps'' = A eps / r^2 + beta r^2 eps :   sqrt(r) K_nu(sqrt(beta) r^2 / 2),  nu = sqrt(1 + 4A) / 4
    so  eps r^(2 nu - 1/2) = const * rho^nu K_nu(rho),   rho = sqrt(beta) r^2 / 2

Claim	Result	Script
V4 on the split is O(eps^4)	exact by sympy. With p <= 3 the 36 delta^4 term is absent, so the 3x3 closed form is the leading order	m5_32_r24_0_form.py a, audit C1
master curve sqrt(rho) K_nu(rho)	it is rho^nu K_nu(rho) (ODE residual 1.6e-16). The miss is the pure power rho^(nu - 1/2): a factor 1.14 across r 6 to 18 for A = 1, 2.42 for A = 3	m5_32_r24_0_form.py b, audit C2
cutoffs 8.19, 6.06, 4.61, 3.41; threshold near 5e-3; 22.7 at the physical point; depth 0.45 and 1.3e-8	reproduce (8.189, 6.061, 4.605, 3.408; 4.9e-3 to 6.7e-3; 22.68; 0.451 and 1.30e-8)	m5_32_r24_0_form.py b
Riesz B is zero on the vacuum orbit	9e-12 on 400 Lorentz transforms up to rapidity 4	m5_32_r24_0_form.py c, audit C3
tr B^2 = 2 eps^2, smooth through the coalescence	6.6e-8 on 400 splits; the single projector jumps by 2.9 where B is smooth	same
scope	the "largest spacelike eigenvalue" rule picks a doublet member once delta + eps > 1. The Euclidean 1 - u u^T - n n^T fails only for boosts with a component along the "1" axis	audit C3

2. The witness, and the baseline beside it (R24-0)

ripple:   N(x) = Lam(theta(x)) N_split Lam(theta(x))^-1,   Lam = exp(theta K),  K a boost along the unit vector a
    every tr N^p is constant            ->  V4 and L are blind
    one derivative direction            ->  F_ij = d_i M eta d_j M - d_j M eta d_i M = 0
    tr(d B d B) = -2 abs(B a)^2 theta'^2                      (split background at rest)
    tr(d B d B) = theta'^2 tr([K, B]^2),  indefinite          (boosted split background)
contractions:   h = eta + 2 (eta u)(eta u)^T  gives  +2 abs(B a)^2 theta'^2  at every theta
                Frobenius gives  2 eps^2 theta'^2 cosh(4 theta): positive, not Lorentz invariant
baseline, the same ripple on a relaxed stored field (c 1e-3, n 32, E 5.4168):
    dE_certified = 4 sum_ij <G_ij, G_ij>_eta,   G_ij = theta_j C_i - theta_i C_j,   C_i = [d_i M, K M + M K]_eta   (purely time-space)

Claim	Result	Script
tr(dB dB) = -2 abs(B a)^2 theta'^2	300 random cases to 2.7e-7, none positive; the lattice chain form to 1e-6	m5_32_r24_0_form.py d, audit C4
on a boosted background	positive in 0, 11 and 71 of 100 cases at rapidity 0.1, 0.5, 1.0. The unboundedness stands, the closed form is a rest-frame statement	audit C4
on the exact vacuum	B = 0, so the term is fourth order in small quantities. A finite split is needed, which is what a halo has	same
the certified action under the same ripple	dE = -3.28, -10.9, -68.5 for three ripples, to 7 digits by the auditor's own energy code	m5_32_r24_0_form.py d2, audit C5
is that a lattice artifact	no. dE / A^2 is constant to 0.07 percent from amplitude 1e-4 to 0.05; negative at every wavenumber down to a k = 0 bump; the continuum form above predicts the measured drop to 0.2 to 0.4 percent; on a uniform vacuum the same ripple leaves 3e-6 of it; a ROTATION ripple raises E	audit C5

Reading. Every field we have stored is a minimum inside the block-diagonal sector (M_0a = 0, where my optimizer descends) and a saddle of the full static action. The sign that the witness attributes to the new term is already in 4 <F, F>_eta. What is new in the new term is the order: on a UNIFORM split background the certified action is blind to the ripple and the new term is not. I am not calling either an instability: for time-space components minus the static Lagrangian is not the energy (the sign of A_0 in electrodynamics), and no rung has computed the constraint structure of the time-dependent theory. If a positive contraction is the repair, only the h one is Lorentz invariant. My first statement that Frobenius gives the same +2 was wrong and an auditor refuted it.

3. The halo equation: A = 3 (R24-0)

spatial block on the hedgehog:  M_0 = delta I + (1 - delta) rhat rhat^T,   density 4 sum_(i<j) tr(F_ij F_ij^T),  F_ij = [d_i M, d_j M]
split field  psi = a T_1 + b T_2,   T_1 = that that^T - phat phat^T,   T_2 = that phat^T + phat that^T
    every term linear in (a, b) and their first derivatives vanishes pointwise
    second variation x r^4 / (1 - delta)^2 :   16 r^2 abs(psi_r)^2  +  8 abs(D psi)^2 + 32 abs(psi)^2        (after total derivatives)
    on spin-2 sections:  8 (l(l+1) - 4) + 32  =  48, 96, 160, ...   for l = 2, 3, 4
    eps'' = A eps / r^2 + beta r^2 eps,   A = 48 / 16 = 3,   nu = sqrt(13) / 4 = 0.9014,   free tail r^(-1.303)
    beta = 5.81 c / (2 K),  K = 8 (1 - delta)^2:  unchanged, and so is the cutoff beta^(-1/4)

Claim	Result	Script
the spectrum 48, 96, 160	the auditor's Cartesian Galerkin solve on the sphere (no theta grid, no spin-weighted formula): 48 with multiplicity 10, then 96, 160, 240. 16 is not an eigenvalue	m5_32_r24_0_form.py e3, audit C6 Galerkin
against the form I used in R23	that form carried an angular coefficient of 16. The pointwise eps^2 coefficient is 16 (1 - delta)^2 (2 cot^2 theta - 1) / r^4 (-16 at the equator), and the eigenvalue after the total derivatives is 48. The radial coefficient 16 agrees. I did not trace where the old angular 16 came from	m5_32_r24_0_form.py e
the production stack agrees	its own curvature density reproduces the pointwise coefficient to 5.6, 2.5, 1.4 percent at h 1.5, 1.0, 0.75 (h^2)	m5_32_r24_0_form.py e2
mixing with the massless director modes	nonzero pointwise, and exactly 16 (1 - delta)^3 / r^4 div(W) with W the split tensor contracted with the director vector: a total divergence. Integrated block 2e-13	m5_32_r24_0_form.py e4, audit C6 Galerkin
mixing with the time-space modes and M_00	identically zero (time reflection)	m5_32_r24_0_form.py e4
mixing with the massive rr - tt mode	the E-type half of the l = 2 doublet couples, the B-type half does not. Adiabatic A_eff = 2.99, 2.92, about 2.7 at r 18, 12, 9; not perturbative near r 6	m5_32_r24_0_form.py e5, audit C6 Schur

So A = 3 is the far-field value, and the far field is linearly stable to the split: the halo has to start in the core, which agrees with the reply's "sourced, never self-sustaining".

4. The collapse read (R24-1)

eps = Amp r^(1/2 - 2 nu) m_nu(rho), m_nu = rho^nu K_nu(rho) normalized to 1, one amplitude per row, window 6 <= r <= L/2 - 6, shell means in bins of h / 2, for A = 1 and A = 3. COLLAPSE needs a pooled RMS of log(eps / prediction) at most 0.10 with no radius scale; COLLAPSE_SHIFTED allows one global radius scale.

Pool	A = 1: no scale, one scale	A = 3	Label
registered, h 1.0	1.59, 0.61	1.61, 0.58	NEITHER
registered, h 1.5	1.36, 0.59	1.38, 0.56	NEITHER
post hoc, the 8 halo rows at h 1.5	0.40, 0.20	0.43, 0.20	not a label
auditor, rows at c >= 3e-3, one scale 1.07	0.062	0.074	passes the bar
auditor, the same with rho > 1	0.057	0.064	passes the bar

The registered label says less than it seems to, and that is my fault: my pool rule kept every converged row above a 1e-3 floor, and most of those rows sit above the halo's end, where the split is a lattice residue and there is no halo to collapse. On the halo rows alone the read still fails, and the auditor found that failure robust to the binning, the shell statistic (mean, RMS, median), the window, the amplitude convention and the floor. What passes is the falling edge of the rows at c >= 3e-3 with a 7 percent radius rescale, and it passes for A = 3 wherever it passes for A = 1: at rho > 1 both curves go as rho^(nu - 1/2) e^(-rho). Those rows span a factor 1.33 in c, 7 percent in beta^(-1/4), the size of the fitted scale itself, so the edge does not test the c^(-1/4) law either. The two rows at c 1e-3, the only ones reaching rho < 1, are flat below the plateau (log slopes -0.15 and +0.04 where the curve has -1.61). Scripts: m5_32_r24_1_collapse.py read_A, audit T4, audit T5.

5. The top of the ladder (R24-2)

33 rows at delta 0.3, W1 x 25, L 48, the pinned shell. eps(6) is the shell mean of the split at r 6.

c	3e-3	3.5e-3	4e-3	4.25e-3	4.5e-3	5e-3	7e-3	1e-2
n 32, fresh seed	0.091	0.080	(0.039, a transient)	0.018	0.015	0.013	0.009	0.007
n 32, started from another state		0.081	0.066	0.039	0.015	0.013	0.009
n 48, fresh seed (saddles from 3.25e-3 up)	0.082	0.009	0.007			0.006	0.004	0.003
n 48, started from the halo state			0.050		0.010	0.008

Claim	Result	Script
two states at one c	n 48, c 4e-3: the halo state (E 6.45324, eps(6) 0.050) and the relaxed no-halo state (6.45621, 0.012). The halo is lower by 0.0030, the amplitudes 4.1 apart, both hold under continuation	m5_32_r24_2_threshold.py extension rows, audit T2
where the halo ends	followed upward from its c 4e-3 state, the halo is gone at 4.5e-3 on both spacings. At n 32 and 4.25e-3 it survives as a metastable remnant, higher in energy by 0.0011	m5_32_r24_2_threshold.py halo branch
against the reply's estimate	4.9e-3 to 6.7e-3 (the cutoff crossing the core) against 4e-3 to 4.5e-3: the same order, 10 to 35 percent high	m5_32_r24_0_form.py b
what the halo buys	at n 48, c 4e-3 it saves 0.36 inside r 6 and pays 0.25 in 6 < r < 18; the split peaks at 0.18 at r 3.6, an open shell	task record

Corrections by the second auditor, each from continuation runs under my own optimizer:

Finding	Numbers
my fresh n 48 rows at c >= 3.25e-3 are symmetry-protected saddles	the radial seed, core on a lattice vertex, keeps the lattice energy's 12-element symmetry group and the descent cannot leave it. A small kick lowers E by 0.0044 at c 4e-3 and moves the core 0.7 h along a body diagonal. My first energy gap of 0.0073 became 0.0030
my force gate does not certify a minimum	the fresh n 32 row at c 4e-3 passed at force 4.2e-5 and still left, to a third level at E 6.36160, BELOW the halo-started state (6.36641). At n 32 both surviving states at 4e-3 are halo states
my h^2 law for the split above the halo's end	it compared saddles at n 48 with minima at n 32. Like for like the ratio is 1.60, an h power near 1.2. The residue shrinks with h; its law is not read
the lattice energy has 12 symmetries, not 48	one axis flip of a relaxed field changes E by +0.076 (n 48); the (1,1,1) diagonal is singled out, so an l = 2 pattern about it is a lattice pattern here

Consequence for R23: the "amplitude threshold between c 3e-3 and 1e-2" that I reported there was the basin boundary of the symmetric seed, not the end of the halo. The confinement result and the HALO_BOX_LIMITED label do not depend on it.

Deviations

Nine, each logged before its rows were read or marked post hoc: two form checks added (the mixing with massless and with massive modes), two extension pools (rows inside the fall, then rows along the halo branch), the post hoc halo-rows block of the collapse script, the plot rewrite, wording fixes after the first audit, the consolidation of the first auditor's scratch scripts into one tracked script with thresholds attached afterwards (its docstring says so), and the pools running 2 h against a planned 3 h.

Not computed here

Any relaxation with the kinetic term switched on. The constraint structure of the time-space components, which decides whether the boost-ripple sign is an instability. A kick-and-continue pass over the symmetric-seed rows of R20 to R23, which the instrument finding calls for before their energies are quoted as minima. Halo rows a decade apart in c on a larger box, which the collapse law needs. The director sector sourced at cubic order by a finite halo. A bracket of the halo branch's end finer than 4e-3 to 4.5e-3.

Three questions for the author

1. For kappa_0 Tr(dB dB): is the intended contraction the eta trace? On a boost ripple of a split background it is negative, as the certified 4 <F, F>_eta is on the same ripple. Does the note treat the time-space components M_0i as constrained (a Gauss-law role), so that this sign is harmless, or is a positive internal metric such as h = eta + 2 u u the intended one?
2. The angular factor. The r^0.618 of the accepted read is A = 1. We get A = 3 from the full second variation on spin-2 sections (section 3). Could the 3x3 runs check the far-field exponent of the split, -0.62 against -1.30, in a regime where the mass term is off?
3. The collapse needs halo profiles a decade apart in c that are converged minima. Our box gives a factor 1.33. If the 3x3 runs hold such profiles, the shell means of eps(r) for two values of c would let the read be done on the author's side or ours.

[JarekDuda]

@xrodz — thank you for R24. The audit discipline is what makes it usable, and two of its corrections are to my own proposals, so those first.

Two errors of mine, withdrawn. The master curve I proposed for the collapse, sqrt(rho) K_nu(rho), is wrong: it is rho^nu K_nu(rho), as your ODE residual shows, and the miss is exactly the pure power rho^(nu - 1/2) you quantify. The r^0.618 in my reply inherits A = 1 and should go. And my threshold estimate (c ~ 5e-3) lands 10 to 35 percent high while describing the end of the halo as a geometric crossover — the cutoff crossing the core — when you find it is first order, with a halo and a no-halo state coexisting at 4e-3. The location was roughly right; the mechanism was not.

A = 3, by a third independent route. Your Galerkin solve and the working note's TT projection already agree. I ran the lepton article's own 3x3 code, which shares neither method (radial grid, Gauss-Legendre angular quadrature, the split texture built as the traceless in-plane part of P Q P for a constant STF tensor — a pure l = 2 spin-2 section), on exactly your M_0 = delta I + (1 - delta) rhat rhat^T with the potential off. Fitting E_2[phi] = int dr [K_r phi'^2 + K_a phi^2 / r^2] over ten windowed profiles gives A = K_a / K_r = 3.0000, residual 4.6e-7, so nu = sqrt(13)/4 = 0.9014 and the free tail r^(-1.303).

What A = 3 does to the clock — I think the most consequential line in R24. With a free tail r^(-p), the clock's self-inertia goes as int eps^2 d^3x ~ L^(3 - 2p) and the two-body cross inertia as C(d) ~ d^(3 - 2p). Here p = 1.303 < 3/2, so on the certified quartic alone the biaxial clock's inertia still diverges, as L^0.394, and the cross term grows with separation, which at fixed J is repulsive. A quadratic doublet term instead gives r^2 u'' + 2 r u' - 2u = 0, i.e. p = 2: finite inertia and C ~ 1/d. So the c = 0 far-field exponent does more than identify the kinetic structure. It decides whether a localized biaxial clock can exist at all: -1.303 says the certified term cannot localize it, -2 says a K_P-type two-derivative term can. That is the case for the missing term in one measurable number. One caution owed from the 3x3 side: even at p = 2 the cross inertia is exactly quadrupolar, C(theta) = C_0 cos(2 theta) in relative internal orientation, so the quadratic term fixes the range, not the sign.

Q1 — the contraction. h = eta + 2 (eta u)(eta u)^T. For a purely time-space matrix eta A eta = -A, so <A, A>_eta = -<A, A>_h identically: your three ripples should read +3.28, +10.9, +68.5 under h, and no stored energy changes, since block-diagonal fields have u = e_0, h = I, and identical <F, F> under both. Two remarks. The biaxial clock generator is purely spatial, so for it eta and h coincide — the choice changes the boost block and leaves the spatial clock untouched. And whether M_0i are constrained is the open constraint question you name; I would not settle it by assertion. But under h the witness is non-negative whichever way it resolves, which is itself a reason to prefer h: it makes the stability reading independent of the unfinished constraint analysis.

Q2 — the exponent on the 3x3 side. A = 3 is confirmed above. The c = 0 tail read needs a converged halo profile, and we do not have one: our radial-family runs relaxed to eps = 0. After your instrument finding I would not read that as evidence against a halo. A radial ansatz with a fixed l = 2 texture is precisely a symmetric-seed family, and eps = 0 there is plausibly the symmetry-protected saddle. We will rerun from a halo seed with a symmetry-breaking kick before quoting it.

Q3 — the collapse. The linear master curve can only test the tail, and on this box the low-c rows never reach it; they sit on a quartic-balanced plateau. Rather than a larger box, I would fit the full nonlinear radial profile — eps'' = 3 eps / r^2 + beta r^2 eps plus the projected quartic — with core data taken from the stored fields, which uses the plateau instead of discarding it. We have no halo profiles to send, for the reason above.

The reconciliation owed from the lepton article. Its section 8(ii) reported positive eps-curvature (+22.1 per eps^2) on the relaxed core and eps = 0 from every seed of a radial family, and concluded there was no condensate. R24 keeps the first and supersedes the second: +22.1 is linear stability of the uniaxial state, and a coexisting finite-amplitude branch is what a first-order transition means. The article will be revised to "linearly stable; a first-order halo branch exists (R24)". One more line has to go: the article argued a potential could place the clock "in the vacuum or nowhere". Your halo sits in an open shell peaking at r 3.6 with V4 - c L alone — consistent with "not at the melted centre", not with "nowhere".

[JarekDuda]

@xrodz @vantasnerdan @mjmikulski

Thank you for R13-W and P249/P250: the wall and exterior-degenerate results were very helpful. Meanwhile I finished a paper that bears on several open cells of the ledger:

"From M5/LdGS to Dirac: a positive Z4 lift of the Dirac propagator, and the road toward the QED, QCD and Standard Model Lagrangians", v2.8: https://zenodo.org/records/22903411 (LaTeX source, all scripts, and check_all.py with 57 checks).

• Part I is rigorous: path ensembles and the Dirac sector.
• Part II is a conditional field-level reading.
• Part III is my physical picture, a comparison with experiment, and lepton constraints.

Every claim is labelled [D] derived, [N] numerical, [K] known, [S] speculative or [O] open. Below is what seems most useful for the hunt, then four proposed rungs in Dan's obligation-node shape. I don't have compute myself, so I would be grateful if either stack takes any of them.

1. The clock: where spin must come from, and what box-extensive inertia means

• Spin cannot come from the vortex a charge is forced to carry [D]. In a biaxial exterior the transverse frame around a charge Q is a section of n*TS², whose Euler number is deg(n)·χ(S²) = 2Q. So a charge carries forced vortex structure of total index 2Q, and a neutral particle carries none. Charge and statistics are uncorrelated in nature:

  • π⁺ has Q = 1 and spin 0;
  • the deuteron has Q = 1 and spin 1;
  • ³He has Q = 2 and spin ½;
  • the neutron has Q = 0 and spin ½.

  So spin has to come from what every particle carries: the clock. Its natural carrier is the clock rotation's Noether charge, which is exactly the object P249 constructs. A unit-free gate follows: with the de Broglie reading ħ = E/ω, spin ½ means 2Jω/E = 1 [D]. In the convention E_J = E_stat + J²/(4C), that is E_rot = E/4.

• Box-extensive clock inertia may be physical, not a bug [S]. In my reading the clock frequency is global, fixed by least action over the whole history rather than by minimisation around one particle. A clock turning a charge's far-field texture has inertia density ∝ ω²Δ²Λ²/r², which grows with the box for an isolated charge — your R4–R12 infrared wall.

  • That inertia belongs to the medium. In a neutral medium the textures of opposite charges cancel beyond the screening distance, which cuts it off.
  • The natural local ensemble is then fixed ω with the ambient clock imposed, as in P250's fixed-ω bags, rather than fixed J in a box.

• The covariant quartic action is degenerate [D, N]. Its inertia vanishes on spatially uniform configurations, so the Legendre map is singular. This matches your R4 (F = 0 for single plane waves) and W0 (phase flatness).

  • Around a vacuum twisting along z, the pencil is not degenerate. For any perturbation Φ the quadratic Lagrangian is exactly L₂ = ½(ω² − k_x² − k_y²)|[Φ, C]|², with C = τ[G₁, D] (checked to 5×10⁻⁷). Every mode not commuting with C has ω = k_⊥, independent of τ, Δ and k_z.
  • A quadratic-inertia integrator gives ω = √8Δτk instead: a different action. Dynamics of the covariant action needs a regulating inertia ε·tr(∂ₜM)² with ε → 0, or a constraint analysis.

2. The vacuum must be weakly biaxial, 0 < δ ≲ 10⁻³

• The biaxiality must be nonzero. A twist about the director is invisible when the transverse eigenvalues are equal, so an exactly degenerate exterior carries no clock phase. P249/P250's δ = 0 is the limit in which the phase disappears.
• It must also be small. In a biaxial exterior every charge drags a strand; this is your R9/R10 (lines protected, the hedgehog's degree only through a discontinuity) and R12 (linear like-charge confinement).
  • The strand tension scales as δ⁴, and a charge can be pulled out only to L* = m/σ.
  • Free electrons over a metre then require δ ≲ 3×10⁻⁴ to 5×10⁻³, depending on the strand's core.
  • The certified diag(−g, 1, 0.3, 0) has spatial Δ/Λ ≈ 0.35, so its charges are strand-confined, which is what R12 measures.

3. The electron's magnetic moment needs the boost sector

• No three-component sector can carry it [D, N]. Any curvature built from a three-component connection has E·B ≡ 0, because three one-forms cannot make a four-form. This includes the time components and Faber's SU(2) model (7×10⁻¹⁷). A charge with a Coulomb field and a dipole has E·B = 2eμ cos θ/r⁵ ≠ 0, so no such sector can carry the electron's moment.
  • The escape needs a fourth independent one-form: the boosts of the 4×4 frame, where C∧C/|C|² = 1.6×10⁻² against 7×10⁻¹¹ with rotations only.
  • That is the same sector where your Newton-sign and boundedness no-gos sit.
• Where the loop can be [D]. μ_B needs vR = cλ̄: 274c on the core, c only on the Compton radius. A stationary core whose charge density has one sign is capped at (α/2)μ_B. A rigidly rotating texture's magnetic part is pure gauge after a Maxwell completion, and a pure twist is EM-silent. Two routes survive:
  • a charge orbiting at c on R = c/ω, which gives μ_B exactly;
  • a neutral current loop driven by the clock around its axis, with I = eω/2π at R = λ̄.
• Consistency checks for the loop. Tying the loop to the clock also keeps spin-0 charges such as π⁺ moment-free, as symmetry requires. And μ_n/μ_p = −0.685 ≈ −2/3 says p and n share internal currents.
• For M5.21.9 (Larmor). Under my dual dictionary (space–space curvature = electric, time–space = magnetic), the applied ε(xT_y − yT_x) is electric-type. A magnetic background is a steadily rotating texture: uniform Γ₀×Γᵢ with no Γᵢ×Γⱼ.

4. Coulomb is exact for equal pairs of either sign [D, N]

Thomson's theorem makes the Coulomb energy a lower bound over all fields with the given charges. The bound is attained by continuous directors:

• Opposite pair: label each field line by its emission direction at the positive charge; this reproduces the Coulomb field to 10⁻⁷.
• Like pair: rotate one charge's labels by π so both sides of the separatrix approach one pole. The result is Hölder-½ at the separatrix and agrees with the Coulomb field to 2.5×10⁻⁸ off it.

So the pair exponent of 1.4–1.7 seen at reachable boxes should converge to 1 in a weakly biaxial exterior. Faber's lattice gives α_sol⁻¹ = 137.1(1) (PRD 114, 014510). Unequal pairs remain open.

5. Nuclear forces as concrete field configurations [K, O]

There are no exchanged quanta, only configurations: V(d) = E(two solitons at d) − 2E(one). Its long-range part is what perturbation theory calls one-pion exchange. In the Skyrme model, which shares the quartic term, each soliton's far field is a pion dipole tail oriented by its spin, and two tails give the tensor force S₁₂. M5/LdGS must supply three things:

• a massive three-component pseudoscalar mode of range 1.41 fm, not a massless frame Goldstone; the eigenvalue- deforming modes are the candidates;
• spin-oriented dipole tails, giving S₁₂ and the deuteron's D-state;
• an isospin symmetry relating p and n, which the spatial SO(3) doesn't give.

The Skyrme product ansatz misses the intermediate-range attraction (Jackson–Jackson–Pasquier 1985), so E(d) should be checked for it early.

6. Leptons, briefly [D, K, N]

• Koide is two invariants of the √m tensor, not of the mass matrix. Tr S²/(Tr S)² = 2/3 puts the √m vector at 45° to (1,1,1), and θ fitted to m_μ/m_e is 0.22222205, within 1.8×10⁻⁷ of 2/9.
• That tensor cannot be the vacuum's. Its biaxiality is 0.382, far above the bound.
• It is a pole-mass statement. MS-bar masses at M_Z move the ratio from 2/3 by 1.9×10⁻³.
• Sargent's m⁵ law needs a fixed scale near G_F^{-1/2}.
• g universality doesn't constrain the cores. On the lattice g = 2 + β² + O(β⁴), converging to 2.

Proposed rungs

Packet A — the strand's δ-ladder (cheapest; decides the physical vacuum)

Field	A
Object	the certified 4×4 action; a ± pair or the R12 ring; vacuum diag(−g, 1, δ, 0)
Observable	the linear confinement tension σ(δ) at δ ∈ {0.3, 0.1, 0.03, 0.01}; h and L varied independently
Prediction	σ ∝ δ⁴
Verdicts	δ⁴ confirmed → the physical exterior is weakly biaxial (0 < δ ≲ 10⁻³), and runs should move there; another law → the bound's scaling needs revision

Scripts for every number above are in the Zenodo bundle, each rerun by check_all.py: three_forms.py, e_dot_b.py, completed_moment.py, dual_magnetic.py, twist_dispersion.py, pair_pullback.py, like_pullback.py, through_vortex.py, landau_g2.py, lepton_constraints.py and koide_precision.py.

Jarek

[xrodz]

R25 plan: the strand's delta ladder on the certified biaxial vacuum (Packet A), with the form level first, one correction to the record the paper cites, and three of the paper's claims run on our stack

TL;DR

1. R25 takes Packet A. On our stack the straight strand exists (a z-invariant slab, tension T about 1.6 delta^4 at W1 x 25, h 1.0) and the delta^4 law is an exact identity of the sector where only the (2, 3) pair moves, so the ladder's falsifiable content is (i) whether the relaxed strand leaves that sector and (ii) whether a charge's strand has the straight strand's tension. Both are measured; a bare delta^4 on the straight strand is reported, never labeled.
2. One correction to what the paper cites: our "linear like-charge confinement" was R18-3, on the uniaxial exterior (delta, delta), and its audit found a unit hedgehog with a split core (total charge one), not two like charges; R22-2's pinned pair on that exterior returned the Coulomb energy. No OpenWave measurement of strand confinement exists yet. R25-2 makes one, on the biaxial vacuum, from the compact electron's box ladder.
3. Three of the paper's claims run on our stack with our own scripts before any row is relaxed: the four-form witness (E.B needs the boost sector; a static field has no time-space curvature, so the read uses the rigid clock jet on the stored R24 ripple fields), the twisting-vacuum pencil L_2 = (1/2)(omega^2 - k_perp^2) abs([Phi, C])^2, and the spin gate 2 J omega / E = 1 as the number omega_* = sqrt(E_stat / 4C) on two boxes. The bundle's check_all.py was not run here.
4. The 09-21 reply is folded in: A = 3 by the third route agrees; the h contraction is adopted as the reading of the R24 witness (the three ripples read +3.28, +10.9, +68.5), while the M_0i constraint question stays open; the p = 2 doublet term is the kinetic-term rung behind that analysis, not R25.
5. A kick-and-continue pass over the 33 symmetric-seed rows of R22-1 and R23-1 runs in parallel (owed since the R24 audit); any R22 or R23 claim resting on a saddle is re-labeled.
6. A plan-time estimate, not a result: with the seed's T and the compact electron's energy, L_* = E / T is 400 to 550 box units at delta 0.3; read against the R10 core radius as xi_e = 1.41 fm and scaled by delta^4, a free electron over one meter needs delta near 2e-4, inside the paper's 3.3e-4 to 6e-5.
7. Four questions for the author at the end; only one blocks a label (the strand's index for one charge). Packets B to D did not survive the paste and are asked for.

What was checked in the two comments before planning

Plan-time reads from a scratch script; R25-0 repeats each as a tracked check with a fails_if, and an independent agent audits it before the results post.

Claim	Plan-time read
A = 3 from the lepton article's 3x3 code (K_a / K_r = 3.0000, residual 4.6e-7)	agrees with the Galerkin value of R24-0 e and the audit; closed
<A, A>_eta = -<A, A>_h for a purely time-space A, so the ripples read +3.28, +10.9, +68.5 under h and the witness is non-negative whichever way the constraint resolves	one line (eta A eta = -A); the R24 audit's C4e already gave +2 for h on the witness. Adopted as the reading, with the constraint question untouched
the free tail r^(-1.303) gives a self-inertia growing as L^0.394 and a cross inertia growing with d; p = 2 gives finite inertia and C ~ 1 / d	dimensional arithmetic, holds as stated; it restates the clock obstruction in one number
"R12 (linear like-charge confinement)"	misattributed, see TL;DR 2. The R18-3 record: E_int = -19.4 + 0.97 d on the mixed-budget ladder, a +1 director disclination along the segment, the far field of ONE unit hedgehog (A_pair / A_1 0.87 to 0.98, far-sphere degree 1.00 at every d)
T -> 2.25 delta^4 sqrt(W) at the optimal core	strand_tension.py is not in the bundle (the README lists it among the unmerged v1.10 scripts), so the number is evidence; the law is what R25-1 measures
E.B = 0 for any three-component curvature, escaped only by the boosts	exterior algebra, agreed; on a static field every four-form with a time leg is zero, so the witness needs d_t M = omega a0
the covariant quartic action is degenerate on uniform configurations; the pencil about a twisting vacuum	consistent with our R4 (F = 0 for single plane waves) and R13-W S4 (the phase field has no action on the uniform vacuum); re-derived in R25-0 d with the certified signs
spin from the clock's Noether charge, 2 J omega / E = 1	on E_J = E_stat + J^2 / (4 C) the gate is J_* = sqrt(C E_stat), omega_* = sqrt(E_stat / 4C); with the box-extensive C of every rigid clock on L_cert it is box-dependent, and R25-0 e prints it on two boxes
the local ensemble is fixed omega with the ambient clock imposed	R13-W S4 already: an ambient omega costs nothing in the empty vacuum of L_cert; the sign of the extensive cross inertia flips between the ensembles and its extensivity does not

Three plan-time findings on our stack

The delta^4 law is an identity of the block sector. On diag(-g, 1, delta, 0) a field that keeps M_00, the director axis and the director eigenvalue exact and moves only the (2, 3) pair has every spatial jet proportional to delta, so E_u scales as delta^4 exactly, and V4 on such a field is delta^4 times a delta-free shape. On the strand seed at n 48, h 1: E_u / delta^4 = 1.59248 at delta 0.3 and at delta 0.1, to all digits. R25-0 a states this in sympy with its condition. So the ladder can only be refuted by the relaxed strand leaving the block (a director tilt or time-space components) or by a charge's strand differing from the straight one.

The straight strand exists. A z-invariant slab 48 x 48 x 4 at h 1, W1 x 25, the x and y faces pinned at depth 1.6 and z free, the transverse pair turned by a half-turn about the axis and melted to its mean inside a core of width 2:

Read	delta 0.3	delta 0.1
seed T / delta^4, h 1.0	1.61	1.61
seed T / delta^4, h 1.5	1.07	1.07
after 600 FIRE iterations, h 1.0	1.587	1.607
block departure (director tilt, M_0i, z-variation)	0.0, 0.0, 0.0	0.0, 0.0, 0.0
core pair gap over the vacuum's	0.29	0.29

The 50 percent move between h 1.5 and 1.0 is the under-resolved core, so no tension is quoted before the h ladder. FIRE stalls on the slab (dt to 1e-3 at fmax 2e-2, the R20 family), so the polish is L-BFGS and the gate is relative to delta^4.

The pulled-back index-2 frame does not put the strand on the segment for the product textures. For the R22-2 director textures (w_1 conj(w_2), w_1 w_2), the frame e_1 = normalize(d n / d Re(zeta)) with its one index-2 zero at n = -z is orthogonal to n to 8e-13, but its singular set follows n = -z, which for these textures is the lower half-axis and a wide region below the pair, and the like texture carries index 4 on the lower half-axis. A pair seed with the strand on the segment is a designed object behind a puncture gate (each core sphere index 2, the far sphere 0 for a +- pair), so R25-2's primary read is the single compact electron's box ladder, where the strand runs from the core to the wall and dE / dL reads its tension. The pair is a stretch arm.

The packet, in the obligation shape

Field	R25
Object	the certified 4x4 action -4 I1 - V4 (m5_21_3_a_4d.py), vacuum diag(-g, 1, delta, 0), g 8, V4 at W1 x 25 (R21's compact electron), the potential's targets following delta
Symmetry or conservation license	the transverse half-disclination is protected (pi_1 = Q_8, R9), and the director eigenvalue's gap 1 - delta forbids its escape into the director (R9, R10): the strand cannot unwind. Within the (2, 3) block the action is homogeneous of degree 4 in delta (R25-0 a)
Ensemble	statics; no clock in R25-1 and R25-2
Variational functional	R25-1: E_stat per unit length on a z-invariant slab, the vacuum's E_stat subtracted. R25-2: E_stat(L) of the compact electron with its strand to the wall; the slope in L
Admissible space	R25-1: slabs at h in {1.5, 1.0, 0.75, 0.5} and L in {48, 72, 96} varied independently; delta in {0.3, 0.1, 0.03, 0.01}; w in {W1 x 6.25, x 25, x 100}. R25-2: cubes n 32 L 48, n 48 L 72, n 64 L 96 at h 1.5 and n 48 L 48, n 64 L 64 at h 1.0, the shell pinned at the seed's far field, every row kicked and continued
Representation coverage	the straight strand and the strand of one charge in a box; the +- pair only behind the puncture gate; the like pair's bookkeeping stated at the form level (R25-0 f), not run
Observables	R25-1: T, T / delta^4, T / sqrt(w), the core width from the interpolated pair-gap profile, the block departure, the h-convergence order. R25-2: the strand's index by windings on loops with abs(n_z) > 0.95, E(L), dE / dL against T_slab x n_half / 2
Numerical representation	the certified sym stencil; FIRE 2000 then L-BFGS to fmax / delta^4 < 1e-6 (slab) and the R23 gate plus the kick clause (cubes); energies from the record's energy code; arrays kept local
Permitted verdicts	R25-1: STRAND_IN_BLOCK (departure under 1e-6 in every row) or STRAND_LEAVES_BLOCK (a row above 1e-3 with T / delta^4 moving over 5 percent) or UNRESOLVED; STRAND_W_LAW (T / sqrt(w) constant within 10 percent over the factor 16) or STRAND_W_OTHER. R25-2: CHARGE_STRAND_MATCHES (dE / dL within 25 percent of T_slab x n_half / 2 on both spacings), CHARGE_STRAND_DIFFERS, INSUFFICIENT. The delta 0.1 stretch reports sigma(0.1) / sigma(0.3) against 1 / 81
Failure scope	a refutation refutes the straight strand's law and the charge-strand match on the certified action as represented; it says nothing about the paper's T -> 2.25 delta^4 sqrt(W) normalization, which is computed on a different core model
Unlocks	if the charge's strand matches: the free-electron bound in our units and the pair arm; if it differs: the strand's structure at a charge becomes the object (what the core does to the index)

Rows

Part	Rows	Cost
R25-0	six checks, each with a control that returns the other answer	under one hour
R25-1	12 slab rows (delta x w at h 1.0) + 8 rows (h and L at delta 0.3 and 0.03)	about one hour
R25-2	5 electron rows kicked and continued; stretch: delta 0.1 at n 32 and n 48; stretch: the +- pair at d 9, 12, 15	three to four hours
R25-K	33 rows (R22-1 and R23-1), kick 0.02 in the free cells, 500 iterations of continuation, STABLE or SADDLE per row	about one hour, in parallel

Not in R25

The paper's decisive moment calculation (a charged hedgehog with its clock in the 4x4 frame with boosts) waits on the constraint analysis of the time-space components; the nonlinear radial fit of the halo proposed in the 09-21 reply; Packets B to D; Part I of the paper.

Questions for the author

1. In your picture, does one charge drag one index-2 half-line to infinity, or a through line of index 1 on both sides? The confinement slope of a +- pair is T in the first case and T / 2 in the second, and our R25-2 label needs n_half from the field, which we will read, and from the intent, which only you can give.
2. Which W is the sqrt(W) of T -> 2.25 delta^4 sqrt(W), and can strand_tension.py join the bundle so check_all.py covers the claim the delta bound rests on?
3. For a like pair the far sphere carries index 4, so the outer strands must reach the wall and the segment carries index 0 by the bookkeeping above: is like-charge confinement expected at all in a weakly biaxial vacuum, or only the +- confinement?
4. Packets B, C and D: the post ends after Packet A's table.

[JarekDuda]

m5ldgs_dirac_v2.9.zip

@xrodz @vantasnerdan @mjmikulski

Thank you for taking Packet A, and for checking the paper's claims on your stack before running anything.

The correction is accepted. "R12 (linear like-charge confinement)" was my misattribution. R18-3 on the uniaxial exterior was one unit hedgehog with a split core, and R22-2's pinned pair returned the Coulomb energy. That agrees with the paper's §13 result that the Coulomb bound is attained for an opposite pair. So no OpenWave measurement of strand confinement exists yet, and R25-2 will be the first.

Your block-sector finding helped me sharpen the strand. The results are in v2.9: [v2.9 link], with strand_tension_check.py.

Answers to the four questions

1. What one charge drags. Topology fixes only the total: every enclosing sphere of a unit charge carries transverse index 2 (the Euler number of n*TS² is deg(n)·χ = 2Q). How that total is split is not fixed by topology, and at the Bogomolny point it does not matter:

• The straight half-disclination in your block sector (only the (2,3) pair moves) is a Bogomolny line. With the transverse block s₀𝟙 + b(cos φ σ_z + sin φ σ_x), the gradient energy is u = 32(bb′/ρ)² and the potential is W·K·(b² − b₀²)², with K = 4 + 36s₀² + 144s₀⁴. Then

  T = π√(32WK)·b₀⁴ = (π/√2)·Δ⁴√W at s₀ = 0, attained by b² = b₀²(1 − e^{−κρ²}) with κ = √(WK/32).

  Numerics agree with the bound to 10⁻⁶. This is exactly your identity E_u ∝ δ⁴, and it predicts T ∝ √w with core width ∝ w^{−1/4}, i.e. your STRAND_W_LAW with the constant given.

• At this point the tension is additive in the index. One index-2 half-line, two index-1 lines, or four half-disclinations all cost the same per unit length. So n_half is for the dynamics (beyond the block sector) to choose, and I claim no preferred split. Please read it from the field as you planned.

• The ± slope does not depend on the split. The segment between an opposite pair carries index 2 in every arrangement: each core sphere has index 2 and the far sphere 0. So σ = 4·T_½, where T_½ is your slab strand (a half-turn). Your T/2-versus-T distinction arises only if outer strands run to the wall instead of along the segment, which costs more length.

• This corrects the paper. v2.8 used σ = T_½. With σ = 4T_½ every δ bound tightens by 4^{1/4} = √2: a metre of free electron needs δ ≲ 2.3×10⁻⁴ (equal cores), a kilometre δ ≲ 4.2×10⁻⁵. Your plan-time estimate of δ ≈ 2×10⁻⁴ sits right on it.

2. The W and the script. W is the coefficient in E = ∫[u + W·Σ_{p≤4}(tr M^p − C_p)²], with u = 4·Σ_{i<j}|[∂_iM, ∂_jM]|². The old 2.25 was a numerical optimum 1.3% above the exact π/√2 = 2.221, and it is replaced. strand_tension_check.py is in the v2.9 bundle, and check_all.py (60 checks) now covers the tension the δ bound rests on. The v1.10 strand_tension.py, which checks a different identity, came from a parallel thread and is marked as not yet in the bundle.

3. Like pairs. No like-charge confinement is expected. The far sphere of a like pair carries index 4, so its strands must run outward, and none is required on the segment. In a neutral medium they end on opposite charges. The like-pair energy should be Coulomb plus d-independent outer-strand energy. The paper's §13 construction attains Coulomb exactly for an equal like pair.

4. Packets B–D are reposted below.

One result for Packet C and the moment calculation you deferred

The E·B ≡ 0 theorem holds for the 3×3 field at fixed eigenvalues. Where eigenvalues vary, their gradients supply a fourth one-form. I tested a hedgehog with a through-vortex along the spin axis, a clock, and a melted vortex core (eb_outgoing.py, eb_delta_scaling.py):

• E·B vanishes in two cases: at fixed eigenvalues (10⁻⁹), and exactly for a static twist along the vortex. It becomes 0.05–0.24 of |F|² with a melted core and the clock.
• The clock's sense decides the multipole. A rigid rotation about the spin axis gives dipole parity (B_r odd, zero net flux). A uniform sense about the local director gives net magnetic flux, i.e. a magnetic charge.
• But the field is too weak outside a strongly biaxial region. It lives only where eigenvalues vary, and |B|/|E| ∝ δ²: 7×10⁻², 5×10⁻³, 3×10⁻⁴, 2×10⁻⁵ for δ = 0.29 → 0.0045. The electron needs |B|/|E| ≈ λ̄/2r, about ½ at its Compton radius, so a weakly biaxial exterior falls short by six orders.

So the exterior moment still needs the boost sector (or a separate connection), which is where your time–space constraint analysis sits. That makes it the gate for Packets B and C.

Packet B — the spin-½ gate on the best localized clock

Field	B
Object	a stationary clock with a genuine Noether charge J (P249/P250, or any licensed clock)
Observable	the unit-free 2Jω/E and whether dynamics pins it at 1 (E_rot = E/4 in the E_stat + J²/4C convention); then, with a Maxwell sector (Cartan field or 4×4 boosts), the exterior dipole and the sign of its contact term
Prediction	spin ½ ⟺ 2Jω/E = 1; a physical moment is Ampère (+8π/3), not Gilbert (−4π/3)
Verdicts	pinned at 1 → a clock-based spin; box-dependent (your rigid-clock C) or fixed elsewhere → spin needs another carrier

Jarek