From 9c6a73489c5ed2465a3cf65dcc950eeeae074b05 Mon Sep 17 00:00:00 2001 From: Dylan Roy Date: Tue, 29 Sep 2026 21:30:10 -0500 Subject: [PATCH] Identify actual elder partners through hard-negative fibres Add full fixed-d>=3 contained-tube proof and thin-domain counterexample, retained endpoint-matrix exhaustion of the actual failure measure, extended spectral failure coefficient, weak actual partner/death/lifetime law, and the exact compact lifetime-density difference. Preserve initial/intermediate AMEND and final same-provider noncontributor review. Conditional author-side science; no count-law premise, status promotion or existing source change. --- .../HARD_FIBRE_LEMMA.md | 254 ++++++++++ .../NONAUTHOR_REVIEW.md | 143 ++++++ .../concave_fibre_elder_20260930/PROOF.md | 468 ++++++++++++++++++ .../concave_fibre_elder_20260930/README.md | 43 ++ .../RECONNAISSANCE.md | 32 ++ .../concave_fibre_elder_20260930/SOURCES.json | 121 +++++ .../SOURCE_INTERFACE.md | 191 +++++++ 7 files changed, 1252 insertions(+) create mode 100644 frontiers/concave_fibre_elder_20260930/HARD_FIBRE_LEMMA.md create mode 100644 frontiers/concave_fibre_elder_20260930/NONAUTHOR_REVIEW.md create mode 100644 frontiers/concave_fibre_elder_20260930/PROOF.md create mode 100644 frontiers/concave_fibre_elder_20260930/README.md create mode 100644 frontiers/concave_fibre_elder_20260930/RECONNAISSANCE.md create mode 100644 frontiers/concave_fibre_elder_20260930/SOURCES.json create mode 100644 frontiers/concave_fibre_elder_20260930/SOURCE_INTERFACE.md diff --git a/frontiers/concave_fibre_elder_20260930/HARD_FIBRE_LEMMA.md b/frontiers/concave_fibre_elder_20260930/HARD_FIBRE_LEMMA.md new file mode 100644 index 000000000..7365ed9bc --- /dev/null +++ b/frontiers/concave_fibre_elder_20260930/HARD_FIBRE_LEMMA.md @@ -0,0 +1,254 @@ +# Hard-negative fibre lift of the planar elder barrier + +Author-side deterministic contribution by OpenAI `concave_fibre_geometry`, 30 September 2026. This is a mathematical extension candidate, not a source acceptance decision. It changes no existing source, status, integration disposition or probability/count claim. Its planar input is §§2–6 of `local_elder_geometry_20260930/PROOF.md`, corresponding to the requested PR170 cut. Source-cut verification and acceptance provenance are separate obligations handled by the parent task. + +## 1. The planar input and the additional geometric condition + +Let + +\[ +P(X,Z)=2kX^3-\frac{3k}{2}X-\frac{k}{2} + +\frac{s}{2}Z^2+\frac a2(X^2-1/4)Z + +\frac\beta2XZ^2+\frac c6Z^3, +\] + +with \(k>0\), \(M=(-1/2,0)\), \(S=(1/2,0)\), +\[ +B=\beta-a^2/(12k),\qquad +D=(c-a\beta/(4k)+a^3/(72k^2))/2. +\] +Assume the strict typed condition \(s<-|B|/2\), and exclude +\[ +12kD^2+(s-B)^2(B+2s)=0,\qquad 12kD^2+B^3=0. +\] +Let \(\mathcal Y=\{S\}\cup C(P)\), where \(C(P)\) consists of the additional critical points in \(-kk\), the hard boundary obeys the relative drop estimate + \[ + g_i(x,z)\le G_i(x)-D_0\quad(x\in\overline B_R,\ z\in\partial F_i(x)). \tag{HD} + \] + A graph-centred ellipsoid tube, described below, is a concrete sufficient interpretation of this tube hypothesis. + +No uniform lower bound on the hard Hessian eigenvalues is needed if (HD) is given directly. No control is required outside this tube. Strict negativity by itself, without (HD) or an equivalent closed-barrier condition, does not suffice. + +The hard tube need not cover the whole of \(B_{R+1}\): the reduced height only needs to be defined there for the planar collar construction, whereas the full lift needs a tube over the smaller disk containing the resulting caps. The graph paths also remain in that smaller disk. + +## 2. Deterministic conclusion + +For each \(Y\in\mathcal Y\), let \(Y_i\) be the unique continued critical point of \(G_i\), taking \(S_i=S\), and let +\[ +h_i=\max_{Y\in\mathcal Y}G_i(Y_i),\qquad +\widehat Y_i=\Psi_i(Y_i,\zeta_i(Y_i)),\qquad +\widehat M_i=\Psi_i(M,\zeta_i(M)). +\] +For all sufficiently large \(i\), +\[ +\boxed{\quad d_{f_i}(\widehat M_i)=b_i+r_i^3h_i.\quad} \tag{EHD} +\] +Here \(d_f(M)=\sup_{\gamma(0)=M,\ f(\gamma(1))>f(M)}\min_t f(\gamma(t))\) is the ordinary global superlevel maximin. In particular, +\[ +\frac{d_{f_i}(\widehat M_i)-b_i}{r_i^3}\to h_*. +\] +On the actual global Morse distinct-value locus, the unique graph point \(\widehat Y_i\) attaining \(h_i\) is the actual elder merge saddle. If \(C(P)\) is empty, this is exactly the lifted pinned saddle. If \(C(P)\) is nonempty, a continued window saddle has height strictly above \(-k\) and preempts the pinned saddle. Limiting ties do not obstruct the exact statement: one compares the finitely many actual heights at index \(i\). + +The actual lifetime is therefore exactly +\[ +b_i-d_{f_i}(\widehat M_i)=-r_i^3h_i, +\] +and its normalized limit is \(-h_*\). This is a deterministic geometry/lifetime result. It supplies no higher-dimensional tilted-law exhaustion, intensity, coefficient or count statement. + +## 3. Graph regularity and full critical-point indices + +At each fibre stationary point, negative definiteness makes \(g_{zz}\) invertible. The ordinary implicit function argument gives \(\zeta_i\in C^1\) for \(g_i\in C^2\), and +\[ +D\zeta_i=-g_{zz}^{-1}g_{zx},\qquad +\nabla G_i=g_x,\qquad +\nabla^2G_i=g_{xx}-g_{xz}g_{zz}^{-1}g_{zx}. \tag{SC} +\] +Thus \(G_i\in C^2\) even though a \(C^2\) graph is unnecessary. Existence of an interior fibre maximum must be assumed or separately verified; strict concavity alone only gives uniqueness once such a point exists. + +A point of the tube is full critical if and only if it lies on the graph and its soft point is critical for \(G_i\). At such a point, for soft and hard tangent vectors \(v,w\), +\[ +(v,w)^T\nabla^2g_i(v,w) +=v^T\nabla^2G_i v + +(w+g_{zz}^{-1}g_{zx}v)^Tg_{zz}(w+g_{zz}^{-1}g_{zx}v). +\] +This is an explicit invertible triangular change of variables, so full inertia adds \(m\) negative directions to reduced inertia. A reduced maximum lifts to a full maximum; a reduced saddle lifts to a nondegenerate full saddle with one positive direction and \(d-1\) negative directions, the superlevel merge index. No parametric Morse normal-form theorem is invoked. + +## 4. A fixed soft collar works at every level above the actual highest saddle + +For completeness, this records the properties of the planar construction that the lift actually needs. + +The cubic gradient estimate off the second excluded algebraic set gives +\[ +|\nabla P(x)|\ge c_0|x|^2\quad(|x|\ge R_0). +\] +Choose \(R_0\) to contain all window roots, the pins, and a small oval about \(M\). Choose \(R\) sufficiently large to contain all doubled chords and satisfy +\[ +R-R_0>\frac{2k}{c_0R_0^2}+1. +\] +For all sufficiently large \(i\), reduced \(C^1\) convergence on \(\overline B_{R+1}\) gives +\[ +|\nabla G_i(x)|\ge(c_0/2)|x|^2 +\quad(R_0\le|x|\le R+1). +\] +There are no reduced critical points in \((h_i,0)\) inside \(B_{R+1}\). This is elementary finite-root stability: around any nondegenerate root \(Y\), the map +\(x\mapsto x-(\nabla^2P(Y))^{-1}\nabla G_i(x)\) +is a contraction on a sufficiently small closed ball and maps that ball into itself for large \(i\). It has exactly one root there. Outside these disjoint root balls, in a slightly enlarged compact height band containing \([-k,0]\), \(\nabla P\) has a positive lower bound; convergence excludes any other roots. The excluded transition set prevents an additional critical point at \(-k\), and the source proves that the only critical point at or above zero is \(M\). + +Fix \(t_0\in(h_*,0)\) sufficiently close to zero. Uniformly negative Hessians in a small ball about the exact pin give a small disk \(K_{i,0}\) with +\[ +G_i=t_0\text{ on }\partial K_{i,0},\qquad +t_0\le G_i\le0\text{ on }K_{i,0}. +\] +One can construct the disk without a Morse lemma: the radial derivative from \(M\) is strictly negative under the negative Hessian bound, so every ray meets level \(t_0\) once and the implicit function theorem gives its oval. + +For every \(h_ih_i\), choose \(h\in(h_i,\min(t,t_0))\): this is a compact full cap whose boundary is strictly below that target. These direct derivative checks supply all regularity used here. + +The barrel argument already proves global normalized death \(\le h\) for every \(h>h_i\) sufficiently close to \(h_i\). Letting \(h\downarrow h_i\) gives the exact upper bound \(\le h_i\). + +## 6. Exact lower bound on the graph, and actual pairing + +For each \(Y\in\mathcal Y\), use the moving soft critical chord +\[ +x_i(t)=M+t(Y_i-M),\qquad +q_i(t)=G_i(x_i(t)),\qquad 0\le t\le2. +\] +Exact criticality gives \(q_i'(0)=q_i'(1)=0\). Reduced \(C^2\) convergence gives convergence of these restrictions in \(C^2\) to +\[ +q(t)=P(Y)(3t^2-2t^3). +\] +The limit has \(q''(0)=6P(Y)<0\), \(q''(1)=-6P(Y)>0\), negative derivative on \((0,1)\), positive derivative on \((1,2)\), and \(q(2)=-4P(Y)>0\). Second-derivative signs near the two exact derivative zeros, followed by first-derivative convergence away from those zeros, give the same strict monotonicity for \(q_i\) for all sufficiently large \(i\). Therefore its exact minimum is \(G_i(Y_i)\), and its endpoint is older than birth. + +Lift the chord to the actual chart by +\[ +\gamma_{i,Y}(t)=\Psi_i(x_i(t),\zeta_i(x_i(t))). +\] +This path has exactly the same height restriction \(b_i+r_i^3q_i(t)\). The graph may curve sharply and its hard coordinates need not converge; no approximation by a full-dimensional straight chord is made. Its inclusion in the tube is all that is needed. There are finitely many such paths, so one sufficiently large index works for all of them. The path corresponding to an actual maximizer of \(G_i(Y_i)\) gives normalized global death \(\ge h_i\), proving (EHD). + +This also directly identifies the merge at that graph point. Just above \(h_i\), the chord's two sides lead respectively to the birth and to an older endpoint, and they are in different global superlevel components because death is \(h_i\). At level \(h_i\), the chord joins them at \(\widehat Y_i\). On the global distinct-critical-value locus, no other critical point has that same height. The Schur identity proves it is a full merge-index saddle. Hence it is the actual elder saddle under the same ordinary maximin convention as the planar theorem. No Morse–Smale assumption or separatrix identification is needed. + +## 7. A quantitative test for anisotropic hard extent + +A simple sufficient replacement for (HD) is a positive-definite matrix \(A_i(x)\), a fixed depth \(D_0>k\), and the graph-centred ellipsoid tube +\[ +F_i(x)=\{\zeta_i(x)+v:v^TA_i(x)v<2D_0\}. +\] +Assume this compact tube lies in the chart interior and, throughout every fibre, +\[ +g_{zz}(x,z)\preceq-A_i(x). +\] +Twice integrating along the hard segment from the stationary maximum gives +\[ +g_i(x,\zeta_i(x)+v)\le G_i(x)-\frac12v^TA_i(x)v. +\] +On the hard boundary the drop is at least \(D_0\); above a planar cap, \(G_i\le0\), so hard boundary height is at most \(-D_0<-k\). This proves the needed barrier. The theorem only needs this boundary estimate above the cap family; imposing it over all \(B_R\) is a convenient checkable condition. + +The semiaxes are \(\sqrt{2D_0/\lambda_j(A_i(x))}\). They may depend on \(i\), on the base point, and on direction. Thus anisotropic full-chart extent is harmless provided those ellipsoids actually fit. Uniform hard concavity combined with an arbitrarily thin chart is insufficient. In physical coordinates with straight hard fibres (or an affine map in the hard variables), if an unnormalized physical hard Hessian obeys \(f_{yy}\preceq-H_i(x)\), the corresponding physical requirement is a contained ellipsoid +\[ +v^TH_i(x)v\le2D_0r_i^3. +\] +When \(H_i\) has order-one eigenvalues, its physical semiaxes have order \(r_i^{3/2}\). This is a sufficient geometric scale, not an assertion that the actual stochastic model supplies it. + +For an arbitrary nonlinear chart, one must verify the normalized-coordinate hard Hessian/drop directly, or include the chart's extra second-derivative terms; a physical Hessian bound does not automatically transform by congruence away from a full critical point. + +The logically weaker boundary condition is that hard boundary height is at most \(h_i\) over every cap used for levels decreasing to \(h_i\). A fixed margin below \(-k\) avoids depending on the unknown actual winning height and verifies this at once. Some closed full-dimensional barrier condition is indispensable if the exterior is arbitrary; strict hard concavity is one useful means of producing its vertical part. + +## 8. Explicit vertical-escape counterexample without depth + +Choose +\[ +P(X,Z)=2X^3-\frac32X-\frac12-\frac12Z^2+\frac13Z^3. +\] +Here \(k=1,s=-1,a=\beta=0,c=2\), hence \(B=0,D=1\), and the excluded discriminants are \(10\) and \(12\). The four critical points have heights +\[ +P(-1/2,0)=0,\quad P(1/2,0)=-1,\quad +P(-1/2,1)=-1/6,\quad P(1/2,1)=-7/6. +\] +Thus \(h_*=-1/6\). + +Let \(\epsilon_i\downarrow0\), and let \(\chi\in C^\infty(\mathbb R,[0,1])\) be zero on \(( -\infty,1]\) and one on \([2,\infty)\). For definiteness use elder height \(A=\sqrt2\), and set +\[ +H_i(w)=(1-\chi(w/\epsilon_i))(-w^2) + +\chi(w/\epsilon_i)\,[A-(w-3\epsilon_i)^2], +\qquad F_i(X,Z,w)=P(X,Z)+H_i(w). +\] +On the chart \(\mathbb R^2\times(-\epsilon_i,\epsilon_i)\), +\[ +F_i=P-w^2, +\] +so the hard Hessian is the uniformly strictly negative scalar \(-2\), the unique fibre maximum graph is \(w=0\), and its reduced height is exactly \(P\) on every compact soft set. Yet the exterior has an older strict maximum at \((M,3\epsilon_i)\), of height \(A\). Along \(0\le w\le3\epsilon_i\), the first blend term vanishes for \(w\ge2\epsilon_i\) and is otherwise at least \(-4\epsilon_i^2\); the second term is nonnegative for sufficiently small \(\epsilon_i\). Hence +\[ +d_{F_i}(M,0)\ge-4\epsilon_i^2>-1/6. +\] +A maximin beginning at height zero is at most zero, so these actual death levels tend to zero, rather than to \(h_*\). The obstruction is already visible at the hard chart boundary: +\[ +F_i(M,\epsilon_i)=-\epsilon_i^2\to0. +\] +For a compact-manifold version, protect a soft neighbourhood containing the pins, the four critical points and the vertical path; for each \(i\) its normalized radius can be finite but increasing to infinity. Multiply/extend smoothly outside a larger neighbourhood into a coordinate ball of a compact manifold. This retains convergence on every fixed normalized soft disk and changes neither the chart hypotheses nor the exhibited path bound. Additional \(m-1\) hard directions can be appended as \(-|z'|^2\), giving the same failure in every \(d\ge3\). Generic arbitrarily small perturbations away from the protected chart and the protected older maximum can impose the global Morse distinct-value locus while preserving the vertical-path lower bound (with, for example, \(-5\epsilon_i^2\) in place of \(-4\epsilon_i^2\)). The height counterexample itself does not need this extra locus. + +It also realizes genuinely shrinking anisotropic charts. Choose any \(r_i\downarrow0\), take +\(\Psi_i(X,Z,w)=(r_iX,r_iZ,r_i^{3/2}w)\) +in a fixed coordinate ball, and set \(f_i\circ\Psi_i=b_i+r_i^3F_i\) on the protected region. For example, choose its normalized soft radius \(R_i=r_i^{-1/2}\); its physical radius is then \(r_i^{1/2}\), so it fits inside the fixed coordinate ball while containing every fixed normalized soft disk for all large \(i\). Extend outside the protected physical region. On the thin physical hard chart \(|y|\0` followed by the exact bytes. No source file or manifest was changed. + +## Deterministic graph, collar, cap and exact elder saddle + +**Pass, under the displayed fixed-target hypotheses.** SC's complete-jet coupling bounds the actual global C4 norm at a fixed spectral target. With positive hard eigenvalues, the physical hard Hessian stays uniformly negative on each needed soft disk of radius `Rr` and a hard ball of radius `c0r`. The hard-gradient forcing at zero is `O(r^2)`, including the `−tau_xxwj/8` term forced by the endpoint pins. Strict concavity and an inward radial derivative give the interior graph; uniqueness preserves its exact hard-coordinate pins. + +Implicit differentiation gives graph size `O(r^2)`, first soft derivatives `O(r)` and second derivatives `O(1)`. The graph substitution changes the physical potential and its first and second soft derivatives by `O(r^4)`, `O(r^3)` and `O(r^2)`. Rescaling two soft coordinates by `r` and height by `r^3` makes each correction `O(r)` in C2. No inverse hard bound from this pointwise argument is placed in the probability majorant. + +The essential geometric addition is verified: a graph-centered physical hard radius `rho r^(3/2)` fits since `Cr^2+rho r^(3/2)k`. The graph's own `r^2` width would only produce an `r^4` physical drop and would not close the `r^3` death window. + +Off Delta, the cubic gradient grows quadratically at infinity. On a large fixed annulus, C1 convergence retains a gradient floor. Finite-root stability, exact pins and the Sigma exclusion remove all active-strip critical points other than the finite continued set. The cutoff gradient flow therefore transports the small maximum oval to level `h`, and the annulus speed bound prevents its boundary reaching the fixed soft disk boundary within time less than `k`. The same sufficiently large index works for every `h_i=2`, `Lambda` is a retained hard eigenvalue. Holding `J,lambda2,...,lambdam` fixed leaves `U=J+Lambda` fixed during the `lambda1` integration. This does not assume that matrix entries or eigenvalues are independent. + +The actual second soft determinant factor is retained. The inner integral is exactly + +`integral_0^(DrU^2) lambda1(lambda1+CrU) d lambda1 = r^3[(D^3/3)U^6+(CD^2/2)U^5]`. + +Together with the original outer `r^2` weight, this gives an `r^5` unnormalized numerator. Enlarging the ordered `lambda1` interval and dropping its Gaussian factor are valid positive-majorant operations. Division once by the full `Z_r>=z_*r^2` yields the required `r^3` scale. + +Retaining `1{U>A}` in that same integral and using higher uniform residual moments gives the polynomial tail tending to zero. Retaining `1{lambda2<=epsilon}` gives the vanishing hard strip mass by Gaussian polynomial integrability, including higher-corank intersections. There is no inverse eigenvalue or inverse gap factor. The M4 exception has tilted mass `O(r^4)` and vanishes after `r^−3` scaling. + +Weyl's inequality and Hessian Lipschitz control convert endpoint tightness to actual midpoint jet tightness. At fixed `A,epsilon`, a midpoint `h2<=epsilon` on `U<=A` implies endpoint `lambda2<=2epsilon` for small radius. Sending the U tail to zero and then epsilon to zero proves E7, including negative midpoint hard values. This is exhaustion of the full selector-failure measure. No count event, near-occurrence tail, factorial estimate or remote-witness event is substituted. + +## Spectral kernel, null sets and actual marks + +**Pass.** The spectral change contributes one raw soft Jacobian `r`, the actual determinant weight is on the `r^4` soft-sector scale, and the original full normalizer is on the `r^2` scale. After failure rescaling the prefactor is exactly `c_m r^2/Z_r`. The Jacobian's one hard power and determinant weight's two hard powers give the displayed `product h_j^3`; all remaining hard Vandermonde factors are retained. + +The extended sign-frame construction is essential and is stated correctly. Normalized Haar is the reference angular measure with SC's multiplicity constant, while the anisotropic raw Gaussian density stays inside the integral. It is not silently replaced by an invariant or GOE law. Simultaneous changes of O, the complete tensor, and the soft root coordinate leave the physical location unchanged. + +On compact positive hard sectors, the two-short-column bound supplies integrable conditional domination. Exact H1 supplies pointwise convergence of the actual failure indicator on generic typed targets. The determinant-weight limit is continuous and zero on or outside the typed boundary, so no selector convergence is needed there. Sigma, Delta, repeated spectra and the additional position set `D=0` are null sets under the displayed absolute-continuity interface; none is a discarded positive leading mass. Repeated hard spectra need no inverse-gap estimate. + +Compact L1 convergence and E4–E7 give global total variation for the extended jet/failure measure. SC's deterministic integrability bound makes the limiting measure finite; open positive nonempty sectors make its mass positive. The mass is exactly SC's displayed local integral `a1+a2`, with no `beta_far` term. This consumes a deterministic kernel and integral, not SC's global count conclusion. + +The actual partner, normalized death and lifetime marks are claimed only weakly. On generic compact couplings H1 supplies the local winning root and older path; the graph's hard displacement divided by r vanishes. Conditional dominated convergence then gives the joint pushforward, and actual failure exhaustion removes sentinel/essential mass. Weak tightness with converging total masses implies actual failed-partner locality for every deterministic cutoff with `delta_r/r` tending to infinity. No growing-radius root enclosure is needed. + +The fixed-radius Morse null set is used correctly through an arbitrary fixed sequence tending to zero: disintegration and a countable intersection give the relevant joint almost-sure locus along that sequence. The deterministic graph/cap/chord argument then applies. Limits along every such sequence establish the stated limit without an unsupported common null set for uncountably many pinned laws. + +## Compact actual lifetime-density interface and retained boundaries + +**Pass for L1 at its exact population.** P is consumed with ERR's corrected congruence, BOREL's whole-field replacement, and REC's convergence-in-law and embedded-chart reading rules. P's actual radial intensity is `r A_r dr`, with the dimension powers already cancelled. Pushing forward by `ell=kr^3` yields `ell^(-1/3)A_r/(3k^(2/3))`. Multiplication by failure probability `r^3[(1-p_r)/r^3]` gives exactly the density-difference factor `A_r[(1-p_r)/r^3]/(3k^(5/3))` after division by `ell^(2/3)`. + +P supplies the required compact common bounds; these are not inferred from pointwise topology. Dominated convergence therefore gives a finite positive coefficient C_fail for the compact candidate-minus-selected density. The original full z0 cancels against A0 if substituted, with one original pin density remaining. Transverse-frame independence follows from the physical probability and its unique limit, not from false torus rotational invariance or higher-dimensional birth cancellation. + +This density is not a replacement-bar intensity: a maximum may participate in multiple rejected candidates. It is not a standalone second-order selected-density expansion, an unrestricted refined difference, a numerical coefficient, a new count/moment theorem, or a statement uniform in vanishing k, growing dimension, volume or escaping marks. Those boundaries are retained. No numerical or engineering test was treated as mathematical evidence. + +## Recorded disposition + +Initial exact cut: **AMEND**, for the six literal/scope items above. Substantive H/F/M/L1 reasoning: no load-bearing defect found at the stated conditional source scope. All failures and requested corrections are preserved in this report. Publication or integration of a revised cut requires its own exact reread; this report does not accept author changes it has not seen. + +## Intermediate reread: residual coordinate label retained as AMEND + +The first author-corrected PROOF.md had 23415 bytes, SHA256 `fa405e286cb1cc337f57bffa671035a533818a0dc31196874005e1e300c4454c`, Git blob `8c1db93878253a3aa53f48cee1062ce9f9044cb8`. The corrected SOURCE_INTERFACE.md had 18098 bytes, SHA256 `cec41136dfac1fde2247f25dcf7601e1a01a6ec25c4d5f18e8bf1450e8360e48`, Git blob `7eb203bdf1311ff56b312962ba3f5ce6d5dd9766`. I reread both complete bodies and independently checked their identities. HARD_FIBRE_LEMMA.md and SOURCES.json were unchanged. + +The finite-r/contact derivative, exact/limiting lifetime, manifest locator, dependency roles, P lifetime scope, normalized pin arguments and cumulative-sentence removal were corrected. However, PROOF.md line 157 still called the normalized moving soft chord a chord “from M”, after explicitly reserving M for the physical pin. Both my read and the read-only geometric reviewer retained **AMEND** for that remaining instance of the original coordinate finding. The deterministic lemma itself remained correct, and the law reviewer accepted its corrected slice conditionally. This intermediate failed precision outcome is not erased by the final reread. + +## Final exact reread and source-scoped disposition + +The authors changed the remaining soft-chord label to M0. I independently verified and reread the complete final PROOF.md; the complete corrected SOURCE_INTERFACE.md was already reread at its unchanged final identity. The other load-bearing packet files are unchanged. The final reviewed cut is: + +| File | Bytes | Git blob | SHA256 | +|---|---:|---|---| +| PROOF.md | 23416 | `923d3236b5291a29bd162937f172190db84dcef5` | `5681896a6808f48fb7508914d0860ec508af7646e9e706fc260d935dd951c75e` | +| HARD_FIBRE_LEMMA.md | 18907 | `7365ed9bcf145c832d1c09f0b685fbe8d6695050` | `434ffd30ac96eb635211ea627459b78c1d39806f75b0634e0f4876dce0765b33` | +| SOURCE_INTERFACE.md | 18098 | `7eb203bdf1311ff56b312962ba3f5ce6d5dd9766` | `cec41136dfac1fde2247f25dcf7601e1a01a6ec25c4d5f18e8bf1450e8360e48` | +| SOURCES.json | 7186 | `f072e1bb5c79456be3c79451b6df5b287807edfa` | `b97a29ea09f8e8270bfddda8f364f0d61e431e30c1681af4b019f3fb48709a4d` | + +**Final disposition: ACCEPT at the displayed conditional source scope.** All initial literal precision findings and the intermediate residual label are resolved in this exact cut. No remaining mathematical or packet-precision AMEND was found. I did not edit any packet file, author any amendment to its proof, or make a remote write. + +This acceptance covers the contained negative hard-tube lift and its thin-domain falsifier; exact identification of the actual highest continued elder saddle with arbitrary exterior; full retained endpoint-matrix failure exhaustion and hard-boundary removal; the extended spectral jet/failure law in total variation with coefficient a1+a2; the weak actual joint partner/death/lifetime law and actual failed-partner locality; and the positive ell^(2/3) compact candidate-minus-selected lifetime-density coefficient L1 at its exact population. + +The hypotheses remain conditions. In particular the Gaussian/regression/cap/normalizer/Borel interfaces are consumed at the immutable identities above, with ERR, BOREL and REC's reading rules. LOCAL remains the exact public draft source identified by the manifest; its prior same-provider noncontributor review is not an external verdict on it or on this successor. SC's displayed analytic and deterministic spectral integral interfaces are consumed without promoting its global count theorem. Source verification, publication and finite checks supply no mathematical acceptance by themselves. + +The final acceptance supplies no replacement-bar intensity, standalone count or moment extension, register/status action, numerical enclosure, unrestricted refined lifetime difference, separate selected-density second-order expansion, or new parameter uniformity. It carries zero organizational-independence credit. The initial and intermediate AMEND records above remain part of the honest review history. diff --git a/frontiers/concave_fibre_elder_20260930/PROOF.md b/frontiers/concave_fibre_elder_20260930/PROOF.md new file mode 100644 index 000000000..923d3236b --- /dev/null +++ b/frontiers/concave_fibre_elder_20260930/PROOF.md @@ -0,0 +1,468 @@ +# Hard-negative fibres identify the actual elder law in every fixed dimension + +Author-side successor by OpenAI, 30 September 2026. Scientific effect NONE. +Disposition: AUTHOR_SIDE / HOLD pending qualified source-bound review. +The root, concave_fibre_geometry and higher_d_source_interface are contributors; +their source audits are not nonauthor acceptance. All source conditions below +are retained. No count moment or remote-count theorem is a premise. + +The complete deterministic lift, including its counterexample, is proved in +[HARD_FIBRE_LEMMA.md](HARD_FIBRE_LEMMA.md). The detailed analytic source +interface and retained matrix integral are in +[SOURCE_INTERFACE.md](SOURCE_INTERFACE.md). [SOURCES.json](SOURCES.json) +binds the complete public sources by immutable commit/path/blob/SHA256. +Together these files expose the full new argument; source hypotheses are not +accepted merely by being linked or having verified hashes. + +## 1. Model and the actual pairing estimand + +Fix an integer d>=3, torus side L>0, birth b in R, positive gap mark k, and an +orthonormal axial/transverse frame R. Use the exact variance-one periodized +Bargmann–Fock Gaussian field of [P], with strictly positive Fourier weights. +At M=(-r/2,0), S=(r/2,0), impose the original observations + + f(M)=b, f(S)=b-k r^3, grad f(M)=grad f(S)=0. + +Q_r is this original 2(d+1)-observation Gaussian regression. Set + + W_r=F_d(H_M) F_(d-1)(H_S), Z_r=E_(Q_r) W_r, + Q_r^W=(W_r/Z_r) Q_r. + +F_j is absolute Hessian determinant restricted to j negative eigenvalues. +There is one original weight and one FULL normalizer. No adjacency restriction, +extra pin density or good-event normalizer is inserted. [P] gives +Z_r/r^2 -> z0>0, with its congruence erratum [ERR] and convergence-in-law reading +rule [REC]. The ordinary global elder death is the superlevel maximin + + d_f(M)=sup_(gamma(0)=M, f(gamma(1))>b) min_t f(gamma(t)). + +An essential maximum has d_f(M)=-infinity. On the almost-sure global Morse +distinct-value locus of [P] §8, d_f(M) is the value of the actual elder merge +saddle when finite. Define + + F_r={actual ordinary elder partner of M is not S}, + p_r=Q_r^W(F_r^c), D_r=(d_f(M)-b)/r^3. + +The event is Borel by [P] §8; whole-field marked Kac–Rice uses the exact [BOREL] +repair, not an assumption that elder selection is a continuous local mark. +These are candidate pair-Palm estimands; counting every rejected candidate +does not count each replacement elder bar once. + +## 2. Original spectral coordinates and the soft cubic + +Put m=d-1. Write the signed ordered eigenvalues of -D_y^2 f(0) as +mu1<...0, -k P in C2 + +on every fixed soft disk. Write M0=(-1/2,0), S0=(1/2,0) for the normalized +soft pins, keeping M,S for the physical original pins. The graph retains +EXACT critical pins and values G_r(M0)=0, G_r(S0)=-k, since the original hard +gradients vanish there and the hard stationary point is unique. The proof of the supplied C2 interface, +including its derivative powers, is displayed in SOURCE_INTERFACE §2. + +The missing geometry is a full-dimensional barrier, not another root count. +For a fixed soft disk containing the planar collar and doubled critical chords, +let eta=min_j h_j>0. Taylor and the fixed C4 bound give + + f_ww <= -(eta/2) I + +on that soft disk at physical r scale and on a hard ball of radius c0 r, for +all sufficiently small r. This is a pointwise fixed-target bound; constants may +depend on eta. Twice integrating along a straight hard fibre gives + + f(t,zeta_r(t)+v) <= f(t,zeta_r(t))-(eta/4)|v|^2. + +Choose fixed rho with D0=eta rho^2/4>k. The centred hard tube +|v|<=rho r^(3/2) fits inside the c0 r ball, since zeta_r=O(r^2) and +r^(3/2)=o(r). On its hard boundary the normalized drop is at least D0. +This is the quantitative hard-depth hypothesis of HARD_FIBRE_LEMMA. The r^2 +scale of the critical graph alone would give a drop of order r^4 and would +not block escape across a death window of order r^3. + +For each continued soft window root Y_r, and the exact normalized S0, put + + h_r=max({-k} union {G_r(Y_r):Y in C(P)}). + +Theorem H (actual highest partner). Under the displayed fixed-target hypotheses, +for every sufficiently small r, + + d_f(M)=b+r^3 h_r. (H1) + +On the actual global Morse distinct-value locus, the unique highest continued +graph saddle is the actual ordinary elder partner. Its full Hessian has one +positive and d-1 negative directions. If n=0 the partner is EXACTLY S; if n>0 +a continued local window saddle preempts S. Limiting ties do not obstruct H1; +the comparison is between the finitely many ACTUAL heights at that r. + +Proof. [LOCAL] §§3–6 construct, in the reduced profile, compact disks K_(r,h) +for every h_rh_* pointwise in this coupling. When D!=0, the highest soft root +Y_*(Theta) is unique and the actual partner divided by r tends, in the original +physical axial frame, to + + T_*(Theta)=R(X_*, O(Z_*,0,...,0)). (H2) + +The hard graph coordinates divided by r vanish. Sign changes of an eigenframe +change Z_*,tau and O together, leaving H2 invariant. No separatrix or +Morse–Smale premise is needed. HARD_FIBRE_LEMMA §8 gives an explicit smooth +counterexample if the contained hard-depth tube is omitted, even when graph +convergence is exact and the physical hard Hessian is uniformly negative. + +## 4. Full failure-measure exhaustion from the endpoint matrix + +H1 is pointwise in fixed jets. It does not alone identify the full rare failure +law. This section supplies the required exhaustion from the actual endpoint +matrix, independently of any count or near-occurrence event. + +On typed support put B_M=-D_y^2 f(M)>0, with ordered eigenvalues + + 0=2, + v=m(m-1)/2. + +[P] (4.2)–(4.3) regress the whole field on the ENTIRE endpoint matrix and give +an independent residual g_r. Put J=1+||g_r||C4, U=J+Lambda. All fixed J moments +are uniformly bounded, J is independent of the whole matrix, and + + K=1+||f||C4 <= C(J+||B_M||F) <= C U. (E1) + +Here Lambda is among the retained eigenvalues lambda2,...,lambdam; its being +independent of lambda1 for this conditional integration is why m>=2 matters. +No independence among matrix entries, derivative suprema or internal residual +evaluations is asserted. + +The exact global good-cap implication [CAP]/[P] §8 gives F_r subset G_r^c, + + G_r={lambda1>[4/(3k)] r M3^2, r M4<=3k/10}. + +[P] (7.7), divided by the FULL Z floor once, bounds the M4 exception by O(r^4), +which is o(r^3). On the remaining depth branch, + + lambda1<=D r U^2, + W_r<=C r^2 U^(2m) lambda1(lambda1+C r U). (E2) + +The second factor is essential: it retains the saddle mixed-square term in +[P] (6.2). The endpoint matrix density has Gaussian bound [P] (3.5); its +spectral Jacobian is at most C Lambda^v. For every retained event E depending +only on J and the hard eigenvalues, the SAME integral gives + + E_Q[W_r;depth,E] + <= C r^2 E_J integral_hard exp(-c sum_hard lambda_j^2) + Lambda^v U^(2m) 1_E + integral_0^(D r U^2) lambda1(lambda1+C rU) d lambda1 + <= C r^5 E_J integral_hard exp(-c sum_hard lambda_j^2) + Lambda^v U^(2m+6) 1_E d lambda_hard. (E3) + +The extension of the lambda1 interval beyond its actual ordered interval is +an upper bound of a nonnegative majorant. U and E are retained while integrating +lambda1; its Gaussian factor may be dropped. Equation E3 is the retained-mark +version of [P] (7.4), not a new independence or cutoff inversion. + +Taking E={U>A}, using arbitrarily high J moments and Gaussian polynomial +integrability, and dividing once by Z_r>=z_*r^2, gives, for every fixed p>0, + + limsup_r r^-3 Q_r^W(F_r,U>A) <= C_p A^-p. (E4) + +Taking E={lambda2<=epsilon} in E3 gives + + lim_epsilon->0 limsup_r + r^-3 Q_r^W(F_r,lambda2<=epsilon)=0. (E5) + +Indeed integration of the hard Gaussian polynomial over this strip tends to +zero; for epsilon<=1 a constant times epsilon suffices after integrating all +other hard variables and the J moments. All higher-corank intersections are +included, with no inverse-hard-eigenvalue or inverse-gap factor. + +Weyl's eigenvalue inequality and Hessian Lipschitz control give + + |muj-lambdaj| <= r M3/2 <= C rU. + +On the depth branch this implies + + |s|<=D U^2+C U, |h|+|tau|+K<=C U. (E6) + +Consequently E4 is tightness of the FULL failure measure in the actual midpoint +jets and derivative norm, not just a compact-near count estimate. On U<=A, +midpoint h2<=epsilon implies endpoint lambda2<=2epsilon for sufficiently small +r at fixed epsilon,A. Equations E4–E5 and the M4 exception yield + + lim_epsilon->0 limsup_r + r^-3 Q_r^W(F_r,h2<=epsilon)=0. (E7) + +Midpoint hard eigenvalues of either sign near zero can carry no lost leading +failure mass. Inverse hard eigenvalues are used only at fixed positive targets +for graph convergence; they never enter E3. The complete detailed derivation +is SOURCE_INTERFACE §§4–5. No scalar shortcut is used: for d=2 one must retain +[LOCAL] §8's separate scalar near/far split, since Lambda=lambda1 there. + +## 5. The identified full elder-failure measure + +Let the limiting hard domain be 0=2) h_j^3 + product_(2<=i0} + ds dh dO d tau. (S1) + +It is extended by zero off the stated hard/typed domain. The deterministic +classifier bound [SC] (19) proves integrability: if x=-s>0 and n>0, then +x<=2|B|+(48kD^2)^(1/3), and + + integral_s w_+ 1{n>0} <=384k^2 |B|^3+2304k^3 D^2. + +The remaining hard spectral factor is a polynomial, while h0 has uniform +Gaussian decay in the ORIGINAL orthogonally rotated raw variables. All angular +variables remain inside the integral. Positive Gaussian density on open typed +nonempty sectors gives mu_fail(total)>0. In [SC] (20)'s notation its mass is + + a_fail=a1+a2. (S2) + +This consumes the displayed deterministic integral, not [SC]'s global count +limit. Its remote singleton coefficient beta_far does not enter S1 or S2. + +Theorem F (full fixed-dimensional selector-failure law). Under the exact +source interfaces and H1, in the extended spectral law of §2, + + r^-3 Q_r^W(Theta_r in dot, F_r) -> mu_fail in total variation, + (1-p_r)/r^3 -> a1+a2>0. (S3) + +Proof. On a fixed bounded spectral box with hard eigenvalues bounded below, +[SC] §2 disintegrates the actual additional full jet. Its soft eigenvalue +change has Jacobian r c_m J_r, where + + J_r=product_(j>=2)(h_j+rs) product_(2<=i product h_j^2 w_+. Its limiting +weight is zero off the typed domain and ON the typed boundary; selector +convergence is unnecessary there. For a typed generic target H1 gives the +actual indicator I=1_F eventually equal to 1{n>0}. The excluded algebraic +sets are null, not discarded positive mass. + +The independent complete-jet coupling [SC] (5)–(6) gives +K<=C_box(1+||F||C4). Its two-short-column bound [SC] (15) bounds W_r/r^4 by an +integrable fixed polynomial in that coupling norm on the box. Thus pointwise +convergence, the exact weight limit, and dominated convergence give compact +L1 convergence of S4 to S1, including near the typed boundary. Repeated hard +spectra are null; no uniform inverse-gap estimate is required on the box. +E4–E7 exhaust the ACTUAL failure measure, and S1 is integrable. First exhaust +bounded boxes and then let the positive hard lower bound decrease to zero. +The limsup of both excluded tails tends to zero. Compact L1 plus those two +tails is global L1, which is precisely the total variation statement S3. +Taking total masses proves its coefficient. QED. + +This establishes the pairing relevance of the microscopic soft geometry. +It does not equate two extra saddle witnesses with one maximum/saddle pair. +Neither a factorial moment nor fixed-remote mixing is used to infer selection. +When the fixed-r almost-sure global Morse/distinct-value locus is used in this +conditional coupling, take a countable intersection along an arbitrary fixed +sequence r_j->0. Dominated convergence along every such sequence proves the +stated limit. No common probability-one locus for uncountably many pinned laws +is assumed. + +## 6. Actual replacement location, death and lifetime + +On F_r let T_r be the actual elder partner's displacement from the midpoint, +in the local torus chart, divided by r. Use an isolated sentinel if the partner +is essential or outside that chart. For the same reason use a sentinel in D_r +when d_f(M) is not finite. These exceptions have r^-3 mass tending to zero: +on each regular compact jet sector H1 provides a local older path and actual +partner for all sufficiently small r; E4–E7 exhaust the remaining failure mass. + +Theorem M (actual marked law). The finite measures + + r^-3 Q_r^W((Theta_r,T_r,D_r) in dot, F_r) + +converge WEAKLY to the pushforward of S1 under + + Theta -> (Theta,T_*(Theta),h_*(Theta)). (M1) + +The conditional-on-failure law is M1 divided by a_fail. The lifetime mark +(b-d_f(M))/r^3 converges in that law to -h_* in (0,k), and its fraction of the +candidate lifetime converges to -h_*/k in (0,1). + +Proof. At a generic positive hard target H1 identifies the exact actual +winning continued root. Off the additional null set D=0, [LOCAL] §6's winning +soft root is unique; continuation and the vanishing r-scaled hard graph give +H2 and D_r->h_*. Insert any bounded continuous joint test function in S4. +The same compact dominated-convergence argument proves convergence of its +integral. E4–E7 remove the tails; sentinel mass has already been excluded. +No continuity across the polynomial transition sets is assumed. QED. + +Weak, not total variation, convergence is claimed for these real-valued marks. +Tightness of M1 also gives, for EVERY deterministic delta_r->0 with +delta_r/r->infinity, + + Q_r^W(F_r, dist(actual elder partner,midpoint)>delta_r)=o(r^3). (M2) + +For a given tolerance choose a fixed large radius with arbitrarily small +limiting marked tail, use weak tightness including the sentinel, then use +delta_r/r eventually larger than that radius. This is actual failed-partner +localization, rather than localization of a count-defined witness. + +## 7. Exact compact lifetime-density consequence + +Retain [P] §§10–12's exact compact population: birth b in an interval B, gap k +in an interval K, both of positive length and K bounded away from zero, axial +orientation u in S^(d-1) with ordinary area measure, per unit midpoint volume. +Choose a Borel transverse completion R(u) as in the source. The coefficient +a_fail is independent of that completion: the original selection probability +is physical and independent of a transverse coordinate choice, and S3 is its +unique limit. This does not assert torus rotational invariance or birth-factor +cancellation in higher dimensions. + +Use the source's ACTUAL radial ledger, in every fixed d: + + A_r=12 pi_r(R(u);v_r) Z_r/r^2, + nu_cand(ell)=ell^-1/3 integral_(B x K x S^(d-1)) + A_((ell/k)^(1/3))/(3k^(2/3)). + +The selected density has the additional p_r. The dimension powers have already +cancelled in [P] §10; no new spatial Jacobian or dimension-dependent lifetime +power may be inserted. [P] (7.8) supplies a common compact-mark bound on +(1-p_r)/r^3, and [P] (10.2)–(10.3) supply common bounds and A_r->A0. These are +existing domination interfaces, not uniformity inferred from pointwise H1. + +With r=(ell/k)^(1/3), the exact nonselected candidate density therefore has + + ell^-2/3 [nu_cand^(B,K)(ell)-nu_eld^(B,K)(ell)] + = integral_(B x K x S^(d-1)) + A_r/(3k^(5/3)) [(1-p_r)/r^3]. + +Dominated convergence and S3 identify + + nu_rej^(B,K)(ell) ~ C_fail^(B,K) ell^(2/3), + C_fail^(B,K)=integral_(B x K x S^(d-1)) + A0(b,k,u) a_fail(b,k,u)/(3k^(5/3)) db dk d sigma(u). (L1) + +C_fail is finite and strictly positive. The full z0 cancels if A0=12pi0z0 is +substituted into S1; there is still one original pin density and no additional +normalization. + +L1 is the compact candidate-minus-selected counting measure. It is not a +replacement-bar intensity obtained by counting all rejected candidates, nor a +standalone second-order selected-density expansion. An unrestricted refined +difference does not follow; its far rejected population is different. No new +k->0, d->infinity, volume, or escaping-mark uniformity is claimed. + +## 8. Hypotheses, explicit falsifiers and review boundary + +H1 assumes a generic typed cubic and its pinned reduced C2 convergence, an +embedded fixed soft collar, and a CONTAINED negative hard tube with drop D0>k. +The graph and tube are proved from [SC]'s actual smooth field on fixed positive +hard targets. The exact finite-r partner additionally uses the source's actual +global Morse distinct-value locus. A unique limiting position additionally +excludes D=0, a null set. The deterministic lemma does not require probability, +Morse–Smale, a separatrix assertion or control of the exterior. + +The stochastic statements require the original positive-spectrum field, +nonsingular contact/full-jet regression, independent endpoint-matrix residual +with all C4 moments, actual cap implication, double soft-factor weight bound, +full normalizer floor, and the original spectral density/coupling interfaces. +They are source-bound conditions, not consequences of tests or publication. +All inverse-hard constants are pointwise only. The actual rare failure tail +and multiple-soft exclusion are proved by E3–E7, rather than borrowed from a +near-count event. The full typed boundary is treated by its continuous zero +weight. The Haar-gauge extension is part of the precise measure statement. + +Falsifiers: + +- A full path bypassing a contained hard-depth cap at height above h_r, or a + graph-lifted moving chord whose exact minimum is not the continued root, + invalidates H1. The thin-tube counterexample in HARD_FIBRE_LEMMA §8 explains + why graph convergence alone is not a substitute for that hypothesis. +- A leading failure mass escaping every bounded midpoint jet set, or staying + at a nonvanishing fraction on h2<=epsilon as epsilon->0, contradicts E4/E7. + A defect in the parent cap implication, original residual independence or + retained matrix soft integral would reopen that analytic step. +- A dropped saddle mixed-square factor, extra restricted normalizer, omitted + hard/sign multiplicity or GOE substitution changes S1 and invalidates S3. +- A positive leading essential/sentinel mass contradicts M1. Total variation + for real-valued location/lifetime marks is outside the claim. +- Replacement-bar, unrestricted refined-density, new parameter-uniform or + numerical uses of L1 are outside this proof's interface. + +This is a new fixed-dimensional actual elder/failure/lifetime candidate, with +full proofs and source identities exposed. d=2 remains the separate [LOCAL] +scalar proof. No controlling acceptance, status, graph, prize, Boolean, parent +proof or source history is altered. Qualified nonauthor review must bind this +successor itself; acceptance of a count packet or of [LOCAL] alone is not an +acceptance of this higher-dimensional lift. diff --git a/frontiers/concave_fibre_elder_20260930/README.md b/frontiers/concave_fibre_elder_20260930/README.md new file mode 100644 index 000000000..cd78f41c8 --- /dev/null +++ b/frontiers/concave_fibre_elder_20260930/README.md @@ -0,0 +1,43 @@ +# From the soft plane to the actual elder partner in fixed d>=3 + +[PROOF.md](PROOF.md) extends the planar actual-pair theorem through negative +hard fibres and identifies the full higher-dimensional selector-failure law. +This is an additive mathematical candidate, AUTHOR_SIDE / HOLD, conditional +on the exact public source interfaces and pending qualified nonauthor review. + +The geometric step is a contained hard tube of width r^(3/2): its height drop +matches the r^3 death window and closes every transverse escape. The actual +critical graph itself has hard displacement O(r^2), which is too narrow to +provide that barrier. The full proof and an explicit thin-tube falsifier are +in [HARD_FIBRE_LEMMA.md](HARD_FIBRE_LEMMA.md). Graph-lifted critical chords and +thickened compact planar caps identify the actual global merge saddle as the +highest continued local window saddle for all sufficiently small r. + +Retaining the residual/hard-jet tail mark in the parent's endpoint-matrix +integral exhausts the ACTUAL failure measure. No count event or factorial bound +is substituted. It gives the full extended spectral-jet failure measure in +total variation, coefficient (1-p_r)/r^3 -> a1+a2, and the weak actual +replacement-location/death/lifetime law. The remote singleton count coefficient +does not enter. Actual failed partners localize inside every shrinking cutoff +whose ratio to r tends to infinity. + +The exact compact birth/gap candidate-minus-selected density consequently has +an identified positive ell^(2/3) coefficient in every fixed dimension. This is +the parent's exact universal radial ledger, not a new dimension-dependent +power, a replacement-bar counting formula, or a standalone second-order +selected-density expansion. + +[SOURCE_INTERFACE.md](SOURCE_INTERFACE.md) displays the analytic graph and full +matrix-tail derivations. [SOURCES.json](SOURCES.json) links all 11 full public +sources with immutable identities and separates required inputs from context. +[RECONNAISSANCE.md](RECONNAISSANCE.md) records the limited primary-source +comparison without a novelty claim. [NONAUTHOR_REVIEW.md](NONAUTHOR_REVIEW.md) +preserves the initial and intermediate AMEND findings and the final conditional +source-scoped ACCEPT of the corrected exact prose. It supplies zero +organizational-independence credit; qualified external review remains pending. + +All current contributors are OpenAI, with zero organizational-independence +credit. No existing proof, count packet, register, graph, source status, prize, +Boolean, workflow or active peer branch is changed. Uniformity in varying d, +volume or k->0, unrestricted refined lifetime differences and numerical +coefficients remain outside this note. diff --git a/frontiers/concave_fibre_elder_20260930/RECONNAISSANCE.md b/frontiers/concave_fibre_elder_20260930/RECONNAISSANCE.md new file mode 100644 index 000000000..b6511fb8a --- /dev/null +++ b/frontiers/concave_fibre_elder_20260930/RECONNAISSANCE.md @@ -0,0 +1,32 @@ +# Primary-source reconnaissance for the hard-fibre elder step + +30 September 2026, OpenAI author-side reconnaissance. No novelty or literature +priority claim. This is evidence of the actual access depth, not acceptance. + +The classical comparison is reduction along nondegenerate Hessian directions. +The primary abstract of Guangcun Lu, *The splitting lemmas for nonsmooth +functionals on Hilbert spaces I*, arXiv:1211.2127v2, +https://arxiv.org/abs/1211.2127v2, was read. It discusses a splitting theorem +and critical-group results near a critical point under weaker smoothness. Only +the author abstract and bibliographic metadata were inspected; its 68-page +proof was not read and no theorem from it is used in this packet. + +Searches also exposed Golubitsky–Marsden's *The Morse Lemma in Infinite +Dimensions via Singularity Theory*. The Ohio State reprint URL and Caltech +author-record URL returned restricted-fetch errors in the available public +retrieval service. No full-source exposure or proof consumption is claimed for +those attempts, and no alternate credential or access path was used. + +The inference guiding this packet is narrower than a splitting theorem: +critical-point reduction alone does not determine which labelled maximum +merges in the arbitrary exterior. The new argument proves its own Schur +completion, fibre concavity drop, compact full-dimensional cap and graph path. +HARD_FIBRE_LEMMA §8 explicitly falsifies elder transfer from reduced graph +convergence alone. No black-box splitting lemma supplies the hard-side depth. + +All mathematical dependencies actually consumed are the full public repository +sources in SOURCES.json, read at their exact immutable identities. SC supplies +the local analytic graph but explicitly excludes elder selection; the new +barrier is therefore a separately reviewed consumer step. The retained matrix +tail and actual-pair lifetime pushforward are proved in PROOF.md and +SOURCE_INTERFACE.md rather than inferred from a count theorem or a paper title. diff --git a/frontiers/concave_fibre_elder_20260930/SOURCES.json b/frontiers/concave_fibre_elder_20260930/SOURCES.json new file mode 100644 index 000000000..f072e1bb5 --- /dev/null +++ b/frontiers/concave_fibre_elder_20260930/SOURCES.json @@ -0,0 +1,121 @@ +{ + "repository": "d6g8k5htny-coder/Math-", + "public_main": "ab13a08f5e5b0adc7a7d80cf643d9b5a0618507f", + "planar_pr": 170, + "planar_head": "79f18f0cb318fceccd5bdf4e6dad29815165bc7d", + "scientific_effect": "NONE", + "review_independence_credit": 0, + "sources": [ + { + "id": "SC", + "commit": "ab13a08f5e5b0adc7a7d80cf643d9b5a0618507f", + "path": "frontiers/spectral_cluster_closure_20260929/PROOF.md", + "git_blob": "16c56821b52fd76b0be791622b9c3809eafde75a", + "url": "https://github.com/d6g8k5htny-coder/Math-/blob/ab13a08f5e5b0adc7a7d80cf643d9b5a0618507f/frontiers/spectral_cluster_closure_20260929/PROOF.md", + "bytes": 25006, + "sha256": "e971b2cbe50a8a06b47c1219191201e0d1037c9adac23e5e3b7d2051bb70c2eb", + "role": "required: \u00a7\u00a72,5,6 raw/full jet disintegration, orthogonal spectral Jacobian, actual hard graph C2 convergence, continuous typed weight, deterministic integral; global count law NOT consumed" + }, + { + "id": "CUB", + "commit": "ab13a08f5e5b0adc7a7d80cf643d9b5a0618507f", + "path": "frontiers/planar_cubic_cluster_20260929/PROOF.md", + "git_blob": "bb446d08db8a944537a743ad550b88c1c2ad5758", + "url": "https://github.com/d6g8k5htny-coder/Math-/blob/ab13a08f5e5b0adc7a7d80cf643d9b5a0618507f/frontiers/planar_cubic_cluster_20260929/PROOF.md", + "bytes": 19889, + "sha256": "117e9299a71e6139270266889eb772ed97518e402d9af029bbdb67caf9d4a0f0", + "role": "required: displayed original planar cubic, exact classifier and polynomial null sets; count expectations NOT consumed" + }, + { + "id": "EDL", + "commit": "ab13a08f5e5b0adc7a7d80cf643d9b5a0618507f", + "path": "frontiers/elder_dimension_lift_20260928/PROOF.md", + "git_blob": "7303bd791a68a1139251f0f6e403a9f7cc89b006", + "url": "https://github.com/d6g8k5htny-coder/Math-/blob/ab13a08f5e5b0adc7a7d80cf643d9b5a0618507f/frontiers/elder_dimension_lift_20260928/PROOF.md", + "bytes": 23971, + "sha256": "b529fe3780e1909014b3cb144b9a74156d976bbdc19b6711d0c5b1a1da9e5669", + "role": "context only: preceding actual root/index interface; no count or pairing conclusion consumed" + }, + { + "id": "DL", + "commit": "ab13a08f5e5b0adc7a7d80cf643d9b5a0618507f", + "path": "frontiers/d5_dimension_lift_20260929/PROOF.md", + "git_blob": "9d82c707fdb17d3072a8930f26dabedf59e456fc", + "url": "https://github.com/d6g8k5htny-coder/Math-/blob/ab13a08f5e5b0adc7a7d80cf643d9b5a0618507f/frontiers/d5_dimension_lift_20260929/PROOF.md", + "bytes": 53727, + "sha256": "6fb94b247e8e45bca9dc02f46670ac6029fb54e0ef906001efe48fe908549b80", + "role": "scope audit only: dimension-lift count result excludes elder selection; no count conclusion consumed" + }, + { + "id": "LOCAL", + "commit": "79f18f0cb318fceccd5bdf4e6dad29815165bc7d", + "path": "frontiers/local_elder_geometry_20260930/PROOF.md", + "git_blob": "ef2aa57959ea9f721bbf2316ce94cf616c1c9113", + "url": "https://github.com/d6g8k5htny-coder/Math-/blob/79f18f0cb318fceccd5bdf4e6dad29815165bc7d/frontiers/local_elder_geometry_20260930/PROOF.md", + "bytes": 39722, + "sha256": "f68038be79b46124b0f9b31205aa6e3682b34b6f5ef81f4a5697ae81f07cc46b", + "role": "required: Theorem E compact planar collar and moving critical chords; position uniqueness off D=0; draft at exact stated source scope" + }, + { + "id": "P", + "commit": "ab13a08f5e5b0adc7a7d80cf643d9b5a0618507f", + "path": "imports/lifetime_parent_20260925/UNIFORM_MATRIX_CAP_AND_LIFETIME.md", + "git_blob": "dfed3b8d318a3ab1950957f393307733a4bef3f2", + "url": "https://github.com/d6g8k5htny-coder/Math-/blob/ab13a08f5e5b0adc7a7d80cf643d9b5a0618507f/imports/lifetime_parent_20260925/UNIFORM_MATRIX_CAP_AND_LIFETIME.md", + "bytes": 40261, + "sha256": "9350ad6eaba6626b93c3dedeef9e2ff816e5cdf1c8318e85fb27499141c84bc7", + "role": "required: endpoint matrix density/residual, double soft-factor bound, full Z, global cap-failure inclusion, genericity/Borel and compact lifetime ledger" + }, + { + "id": "ELDERD", + "commit": "ab13a08f5e5b0adc7a7d80cf643d9b5a0618507f", + "path": "frontiers/elder_lower_all_d_20260929/PROOF.md", + "git_blob": "7f41c9e315be0a7985d4c770a11a2cdf717bd46a", + "url": "https://github.com/d6g8k5htny-coder/Math-/blob/ab13a08f5e5b0adc7a7d80cf643d9b5a0618507f/frontiers/elder_lower_all_d_20260929/PROOF.md", + "bytes": 16485, + "sha256": "88c6bfc7973fe832918f91e2ed1f47da3e51987ed9efc1a99648e82b2eb119e5", + "role": "context only: preceding elder-failure lower event; not used as a coefficient or upper barrier" + }, + { + "id": "ERR", + "commit": "ab13a08f5e5b0adc7a7d80cf643d9b5a0618507f", + "path": "imports/lifetime_parent_20260925/ERRATUM_CONGRUENCE.md", + "git_blob": "213594d6ca6a86fb938110f4d166d9ce275a02d0", + "url": "https://github.com/d6g8k5htny-coder/Math-/blob/ab13a08f5e5b0adc7a7d80cf643d9b5a0618507f/imports/lifetime_parent_20260925/ERRATUM_CONGRUENCE.md", + "bytes": 1782, + "sha256": "bad7ef609c4ad8c41ad6af562c1b6807921e19a9d556ed793ad1a0db6e202028", + "role": "required reading rule: endpoint congruence correction" + }, + { + "id": "BOREL", + "commit": "ab13a08f5e5b0adc7a7d80cf643d9b5a0618507f", + "path": "reviews/d1_section9_borel_repair_20260925/REPAIR.md", + "git_blob": "fe9b9ce4999908bb3814b500ee2d0ceb0c6f704a", + "url": "https://github.com/d6g8k5htny-coder/Math-/blob/ab13a08f5e5b0adc7a7d80cf643d9b5a0618507f/reviews/d1_section9_borel_repair_20260925/REPAIR.md", + "bytes": 9062, + "sha256": "845abf9f9c99d672c2a10a887b5a2e7206a3d2de3d876f35f75ff6e2dc13e62f", + "role": "required reading rule: whole-field Borel weighted Kac-Rice repair" + }, + { + "id": "REC", + "commit": "ab13a08f5e5b0adc7a7d80cf643d9b5a0618507f", + "path": "reviews/d1_chain_reconciliation_20260928/RECONCILIATION.md", + "git_blob": "75da2597971510f843f8d90c743950cb8c177342", + "url": "https://github.com/d6g8k5htny-coder/Math-/blob/ab13a08f5e5b0adc7a7d80cf643d9b5a0618507f/reviews/d1_chain_reconciliation_20260928/RECONCILIATION.md", + "bytes": 23312, + "sha256": "451b9d7ffee072a73fc904cab891b6693e3f233808b89df10cce1b57036b65da", + "role": "required reading rules and reviewed source scope: W1 convergence-in-law and embedded-chart radius" + }, + { + "id": "CAP", + "commit": "ab13a08f5e5b0adc7a7d80cf643d9b5a0618507f", + "path": "imports/lifetime_parent_20260925/MARKED_CYLINDER_CAP_PROOF.md", + "git_blob": "0633aca3c2a2882b0de4399da0a75d64c2e6b2e1", + "url": "https://github.com/d6g8k5htny-coder/Math-/blob/ab13a08f5e5b0adc7a7d80cf643d9b5a0618507f/imports/lifetime_parent_20260925/MARKED_CYLINDER_CAP_PROOF.md", + "bytes": 15160, + "sha256": "0bf922b9203c29088b12388807aa0e2ecd020485eb0f6e919679841b5b2636fc", + "role": "required: deterministic global good-cap selection implication" + } + ], + "source_exposure": "Full public immutable sources. Required interfaces remain conditional on their displayed assumptions and actual review scope. Context sources are not mathematical premises." +} diff --git a/frontiers/concave_fibre_elder_20260930/SOURCE_INTERFACE.md b/frontiers/concave_fibre_elder_20260930/SOURCE_INTERFACE.md new file mode 100644 index 000000000..7eb203bdf --- /dev/null +++ b/frontiers/concave_fibre_elder_20260930/SOURCE_INTERFACE.md @@ -0,0 +1,191 @@ +# Source-interface audit for a higher-dimensional elder bridge + +Read-only source audit, 30 September 2026. Same-provider OpenAI contributor; zero organizational-independence credit. No mathematical acceptance, scientific-status transition, existing-proof modification, PR action, or count-law promotion is asserted. The analytic lemmas reconstructed below are new author-side consumer steps requiring source-bound review. + +## 1. Exact public source cut + +Public `Math-/main` readback was `ab13a08f5e5b0adc7a7d80cf643d9b5a0618507f`. Public PR170 is an open draft at head `79f18f0cb318fceccd5bdf4e6dad29815165bc7d`, branch `codex/local-planar-elder-f68038be`. All listed files were fetched in full from the exact public commit. The scratch copies in `sources/` have been checked against the public Git blob identities, including UTF-8 byte lengths. Existing mutable source maps were not changed. + +| Tag | Exact path | Git blob | Bytes | Interface consumed | +|---|---|---|---:|---| +| SC | `frontiers/spectral_cluster_closure_20260929/PROOF.md` | `16c56821b52fd76b0be791622b9c3809eafde75a` | 25006 | §§2,5,6: raw midpoint regression, orthogonal spectral chart, physical anisotropic normal form, hard slaving, full weight, local spectral kernel and its integrability. Its count exhaustions are not premises. | +| CUB | `frontiers/planar_cubic_cluster_20260929/PROOF.md` | `bb446d08db8a944537a743ad550b88c1c2ad5758` | 19889 | C1–C15, Theorem C and Lemma S: original-coordinate cubic, classifier, stable roots, shear only for algebra. | +| EDL | `frontiers/elder_dimension_lift_20260928/PROOF.md` | `7303bd791a68a1139251f0f6e403a9f7cc89b006` | 23971 | Explanatory context only: A7–A28 compare physical jets, bounded shear charts and actual root/index constructions. SC supplies the orthogonal graph interface used here; no EDL count or pairing conclusion is a premise. | +| ELDERD | `frontiers/elder_lower_all_d_20260929/PROOF.md` | `7f41c9e315be0a7985d4c770a11a2cdf717bd46a` | 16485 | Context only: soft eigenplane path gives an elder-failure lower event, without an upper barrier or actual replacement partner. | +| DL | `frontiers/d5_dimension_lift_20260929/PROOF.md` | `9d82c707fdb17d3072a8930f26dabedf59e456fc` | 53727 | Scope audit only: §1.3 expressly excludes elder selection. No count/first-moment conclusion is consumed. | +| P | `imports/lifetime_parent_20260925/UNIFORM_MATRIX_CAP_AND_LIFETIME.md` | `dfed3b8d318a3ab1950957f393307733a4bef3f2` | 40261 | §§3–8: endpoint matrix density, independent full-field residual, original weight and full normalizer, cap-failure inclusion, genericity and maximin; §§10–12: exact compact radial/lifetime ledger and its domination interfaces. | +| CAP | `imports/lifetime_parent_20260925/MARKED_CYLINDER_CAP_PROOF.md` | `0633aca3c2a2882b0de4399da0a75d64c2e6b2e1` | 15160 | §§1–5: deterministic all-dimensional good-cap implication. | +| ERR | `imports/lifetime_parent_20260925/ERRATUM_CONGRUENCE.md` | `213594d6ca6a86fb938110f4d166d9ce275a02d0` | 1782 | Corrected endpoint congruence in P §5. | +| BOREL | `reviews/d1_section9_borel_repair_20260925/REPAIR.md` | `fe9b9ce4999908bb3814b500ee2d0ceb0c6f704a` | 9062 | Required whole-field Borel marked Kac–Rice replacement for P §9. | +| REC | `reviews/d1_chain_reconciliation_20260928/RECONCILIATION.md` | `75da2597971510f843f8d90c743950cb8c177342` | 23312 | §1 reading rule; §5 W1 convergence-in-law clarification and embedding radius. | +| LOCAL | `frontiers/local_elder_geometry_20260930/PROOF.md` at PR170 head | `ef2aa57959ea9f721bbf2316ce94cf616c1c9113` | 39722 | Theorem E, §§3–6: planar compact collar and exact highest continued partner; §8 scalar failure exhaustion. SHA256 `f68038be79b46124b0f9b31205aa6e3682b34b6f5ef81f4a5697ae81f07cc46b`. | + +For the first ten rows the immutable URL is `https://github.com/d6g8k5htny-coder/Math-/blob/ab13a08f5e5b0adc7a7d80cf643d9b5a0618507f/` followed by the path. For LOCAL replace the commit with `79f18f0cb318fceccd5bdf4e6dad29815165bc7d`. `SOURCES.json` gives complete URLs and SHA256 values. + +## 2. The supplied analytic graph interface + +Fix d≥3, m=d−1, one original axial frame, b∈R, k>0, and a midpoint spectral target. In SC's orthogonal coordinates + + A_mid = O diag(rs,−h2,…,−hm) Oᵀ, + 00 and fixed coupling C4 bound K, Taylor gives + + f_ww ≤ −h_min I/2, + |f_w(t,0)| ≤ C r², + |f_tw(t,w)| ≤ C r. + +The graph follows from strict concavity and the inward hard radial derivative. Implicit differentiation gives `|zeta_r|≤Cr²`, `|D_t zeta_r|≤Cr`, and `|D_t² zeta_r|≤C`. For `psi_r(t)=f(t,zeta_r(t))`, define `delta_r=psi_r(t)−f(t,0)`. Then + + |delta_r|≤Cr⁴, + |D_t delta_r|≤Cr³, + |D_t² delta_r|≤Cr². + +The Hessian identity used in the last bound is + + D_t² psi_r = f_tt−f_tw f_ww^(−1) f_wt + +evaluated on the graph. Each rescaled soft derivative contributes one factor r. Hence `(psi_r(rX,rZ)−b)/r³−(f(rX,rZ,0)−b)/r³=O(r)` in C². Inverse-hard constants are allowed at a fixed positive hard target; they must not be placed in the failure-tail majorant below. + +Since the original hard gradients vanish at each pin and the hard graph is unique, `zeta_r(M)=zeta_r(S)=0`. The reduced potential retains the exact critical pins and values 0,−k. Nondegenerate reduced critical points are actual full roots on the graph. Block congruence gives + + index(H_full)=(d−2)+index(H_reduced). + +Thus CUB's window saddles lift to actual index-(d−1) roots, and their hard coordinates are r² times `diag(h)^(−1)Q+o(1)`. Their physical coordinates divided by r tend to `(X,O(Z,0))` in the original axial/transverse frame. + +EDL's distinct construction uses the bounded determinant-one shear `y=(z,w−qz)` with q=D^(−1)v. Its original physical r-scaled location is `(X,Z,−qZ)` after the axial frame, not `(X,Z,0)`. In that chart sigma, not the raw a entry of A, is the soft curvature. Both SC's orthogonal chart and EDL's determinant-one shear preserve criticality, inertia and Hessian determinants; a general invertible linear change would introduce its squared determinant factor. SC's orthogonal chart is the appropriate global norm-controlled chart here. CUB's separate planar shear `u=X+aZ/(12k)` is only an algebraic change; reported physical X must be recovered as `u−aZ/(12k)`. + +## 3. Exact missing topological consumer step + +LOCAL Theorem E is stated on surfaces. It cannot simply be cited as a theorem about the full d-dimensional field. The new consumer needs to thicken its compact planar collar and control every hard boundary exit. + +The graph profile alone on an r²V box is insufficient. Hard side boundaries at that scale have a height drop of order r⁴, smaller than the r³ death window. A correct thickening uses a larger hard radius, for example `rho_r=A r^(3/2)` centered on zeta_r. Strict hard concavity yields + + f(t,w) ≤ psi_r(t)−(h_min/4)|w−zeta_r(t)|². + +Choose A with `h_min A²/4>k`. For every planar collar disk K_(r,h) supplied by the LOCAL §§4–6 construction for the actual reduced profile, psi_r≤b inside and psi_r=b+r³h on its boundary. The graph-centered hard tube over K_(r,h), of radius rho_r, is contained in the local chart for small r. Its soft boundary has height ≤b+r³h and its hard side boundary has height 0`, a witness event, or any remote-count estimate. + +Let `F_r={actual global ordinary partner of M is not S}` and let `B=−D_y²f(M)>0` on typed support. Order its eigenvalues + + 0[4/(3k)]r M3², r M4≤3k/10}. + +The fourth-derivative exception has tilted mass O(r⁴) by P (7.7) and the full floor (5.5), hence has zero r^(−3) limit. On the remaining depth branch, + + lambda1≤D rU². + +P (6.2), with its second soft factor retained, gives + + W_r ≤ C r² U^(2m) lambda1(lambda1+C rU). + +The endpoint matrix density has the Gaussian bound P (3.5). Its spectral Jacobian is bounded by `C Lambda^v`; the hard angular volume is finite. For fixed J and lambda2,…,lambdam, U is independent of lambda1. Thus for any retained event E depending only on J and the hard eigenvalues, + + E_Q[W_r;depth,E] + ≤ C r² E_J ∫ e^(−c sum_hard lambda_j²) Lambda^v U^(2m) + 1_E ∫_0^(DrU²) lambda1(lambda1+C rU) d lambda1 d lambda_hard + ≤ C r⁵ E_J ∫ e^(−c sum_hard lambda_j²) + Lambda^v U^(2m+6) 1_E d lambda_hard. (T1) + +The positive majorant permits extension of the lambda1 domain beyond its actual ordered interval; the Gaussian lambda1 factor can be dropped. The integral is exactly the r³ soft integral before the outer r² weight. Divide by the original full `Z_r≥z_*r²` once. + +With `E={U>A}`, every higher J moment and Gaussian polynomial integrability give, for every fixed p>0, + + limsup_(r→0) r^(−3) Q_r^W(F_r,U>A) ≤ C_p A^(−p). (T2) + +This follows directly from `U^q 1{U>A}≤A^(−p)U^(q+p)`, q=2m+6. It requires no common residual law for every r; the uniform moment bounds suffice. + +With `E={lambda2≤eta}`, averaging J's moments leaves an ordinary integrable Gaussian polynomial over the ordered positive hard eigenvalues. Its mass on the lambda2 strip tends to zero (a bound C eta for eta≤1 suffices). Consequently, + + lim_(eta→0) limsup_(r→0) + r^(−3) Q_r^W(F_r,lambda2≤eta)=0. (T3) + +This handles all higher-corank intersections in measure and never divides by a hard eigenvalue. It is a failure-measure statement, stronger for this purpose than SC §4's near-occurrence tail. + +## 5. Endpoint-to-midpoint conversion + +Let `mu1≤…≤mum` be the signed eigenvalues of `−D_y²f(0)`. Hessian Lipschitz control and Weyl's inequality give + + |muj−lambdaj|≤r M3/2≤C rU. + +With SC's midpoint variables `s=−mu1/r`, `h_j=mu_j` for j≥2 and rotated complete tensor tau, the depth branch satisfies + + |s|≤D U²+C U, + |h|+|tau|+K≤C U. (T4) + +T2 therefore implies full failure tightness in the actual midpoint spectral jets and in K. No replacement of the endpoint density by a midpoint density occurred in this tail argument. + +On U≤A, midpoint `h2≤eta` implies endpoint `lambda2≤2eta` for all sufficiently small r at each fixed eta,A. T3 then gives + + lim_(eta→0) limsup_(r→0) + r^(−3) Q_r^W(F_r,h2≤eta)=0. (T5) + +The error from U>A is sent to zero by T2 and the M4 exception is o(r³). In particular midpoint hard eigenvalues that are negative can carry no unidentified leading failure mass. Repeated hard eigenvalues need no inverse-gap estimates: the spectral chart boundary is null; on each compact sector its Jacobian is bounded and vanishes at a collision. Positive hard lower bounds are used only for pointwise graph convergence and removed using T5. + +For d=2/m=1, retain LOCAL §8's existing scalar near/far split and tail proof; T1 cannot be used with Lambda fixed because Lambda=lambda1. + +## 6. Exact resulting marked-law interface, conditional on the new geometry + +SC §2 disintegrates the raw physical midpoint (A,T) law, with density h_r→h_0. Its ordered orthogonal spectral transformation contributes `r c_m J_r`, where + + J_r=prod_(j≥2)(h_j+rs) prod_(2≤i0 the original typed weight has + + W_r/r⁴ → prod_(j≥2)h_j² w_+(s,a,beta), + w_+=9k²[B−2s]_+[−B−2s]_+, B=beta−a²/(12k). + +The continuous determinant-weight limit is zero outside the typed domain and on its boundary; no selector convergence is needed there. The full normalizer is P (5.4), with ERR and REC's W1 reading rule. For any bounded failure multiplier the exact scaled disintegration is + + (c_m r²/Z_r) J_r h_r(O diag(rs,−h)Oᵀ,Rot_O tau) + E[(W_r/r⁴) multiplier]. (T6) + +There is one raw soft-coordinate Jacobian r, one original W_r, and one full Z_r. On compact jets SC (6) and the two short-column determinant bound SC (15) provide an integrable coupling envelope without using a count event. Conditional on the deterministic fibre bridge, pointwise failure convergence is `1_F→1{n>0}` off LOCAL's polynomial null sets. The actual death and location converge to h_* and the winning physical root. Dominated convergence proves the compact marked failure law. T2–T5 exhaust the actual failure measure, so no near-occurrence exhaustion is substituted. + +The candidate finite limiting failure measure is + + dmu_fail = 1{n(s,a,beta,c)>0} (c_m/z0) + h_0(O diag(0,−h)Oᵀ,Rot_O tau) + prod_(j≥2)h_j³ prod_(2≤i