From 89657c7c48289378949dc59e7fbe6dc1a55d9c62 Mon Sep 17 00:00:00 2001 From: Dylan Roy <249851642+d6g8k5htny-coder@users.noreply.github.com> Date: Thu, 8 Oct 2026 16:48:23 -0700 Subject: [PATCH] Prove higher-homology fold bars and degree-marked iid limits --- experiments/universality/README.md | 26 +- .../higher_homology_fold/PROOF.md | 911 ++++++++++++++++++ .../higher_homology_fold/REVIEW.md | 94 ++ 3 files changed, 1026 insertions(+), 5 deletions(-) create mode 100644 experiments/universality/higher_homology_fold/PROOF.md create mode 100644 experiments/universality/higher_homology_fold/REVIEW.md diff --git a/experiments/universality/README.md b/experiments/universality/README.md index 5ce7a8b62..4b437d71c 100644 --- a/experiments/universality/README.md +++ b/experiments/universality/README.md @@ -125,12 +125,28 @@ spectral degeneracy examples exclude automatic family uniformity. Its source verdicts and finite-regularity classical imports. This admits no covariance-matched non-Gaussian sampler or numerical approximation by itself. +The [higher-homology fold theorem](higher_homology_fold/PROOF.md) now proves +that an isolated regular cubic fold creates an actual ordinary Hp interval +with p=d-j-1, where j is the transverse Hessian index. Exact transverse +splitting gives one adapted-flow connection; a fixed-annulus height cost +excludes other connecting orbits, making the relative handle incidence a +unit. Aligned regular-level isotopy transfers smooth handle incidence to +the actual C4 filtration. Under the admitted SG contracts, every degree +p=0,...,d-1 has lifetime density asymptotic to c_(q,p)*ell^(-1/3) +as ell tends to zero, with law-specific inertia-cone coefficient and symmetry +c_(q,p)=c_(q,d-1-p). The all-degree weighted +cluster estimate yields a degree-marked iid-copy Poisson limit. Its +[review](higher_homology_fold/REVIEW.md) binds the exact topological proof, +classical imports and source exposure. This does not admit a numerical +Hp algorithm, arbitrary coefficient laws/geometries or spatial process. + These conventional analytic results discharge selected-bar counting and the leading near/far intensity composition for the stated ideal finite laws and admitted stationary Gaussian spectral/carrier laws. Further conditional ranks, literal critical formal alignment, certified sampler and -numerical/count coupling, genuinely blind law-by-law admission, higher homology -and spatial expanding-domain process convergence remain separate obligations. The sampler +numerical/count coupling, genuinely blind law-by-law admission, further field laws +and geometries, and spatial expanding-domain process convergence remain separate +obligations. The sampler and catalogue admissibility labels retain their original meaning. `models.py` defines the implemented finite-cutoff normalized sampler. Only @@ -202,6 +218,6 @@ python3 -B -S experiments/universality/verify_published.py experiments/universal No held-out seeds have been consumed by this suite. Before a blind experiment, supply each model's actual law admission, coefficient/remainder/window, implementation coupling, numerical/count transfer, field-level precision and -independent holdout custody described in the protocol. Further field laws, -higher homology and geometry changes need their own actual analytic adapters -and computational contracts; spatial expanding-domain process limits remain separate. +independent holdout custody described in the protocol. Further field laws and geometry changes need their own actual analytic adapters; +all admitted degrees still need their actual computational/count contracts. +Spatial expanding-domain process limits remain separate. diff --git a/experiments/universality/higher_homology_fold/PROOF.md b/experiments/universality/higher_homology_fold/PROOF.md new file mode 100644 index 000000000..8e18a7900 --- /dev/null +++ b/experiments/universality/higher_homology_fold/PROOF.md @@ -0,0 +1,911 @@ +# Higher homology: attaching obstructions and isolated-fold unit incidence + +Incorporated on 8 October 2026 by OpenAI/Codex root, task +01a11cbf-068d-7102-861e-75814e715c98, under GitHub307 claim6070584604 +and amendments6071035594/6071181708. Mathematical author: +OpenAI/Codex universality_review. This source preserves Sections1-12 +of the frozen 44,258-byte/884-line preparation at SHA256 +`de1cad971e113f097a8e29ba82fb295d93b23f57aeda5b265e6f3c88cef47f2e`. +That actual preparation has two separate fresh FULL nonauthor mathematical +PASS verdicts. This changed introduction, source-binding section and README +are a new construction, pending their own incorporated-source review. +The initial worktree base is native spectral draft330 head +`0c8ad2e7acbbf288b6ef2eeb4f96b6824ba8abaa`; no main landing is implied. +All performers are source/route-exposed OpenAI/Codex AI agents; +organizational independence0. No compiler, numerical, blind or scientific +promotion is supplied by these conventional analytic results. + +Adjacent handle indices and a small height gap alone permit global +attaching alternatives. An isolated regular cubic fold, with the +same-field continuation and complete critical-list control stated below, +supplies a unit incidence. That forces an actual short ordinary interval +in the appropriate degree over every fixed coefficient field. Mixed +transverse inertia changes the degree under these hypotheses. + +## 1. Conventions and the exact deterministic claim + +Let X be a closed oriented smooth d-manifold, d>=2, with a fixed +background Riemannian metric. The probabilistic specialization below +is the flat torus R^d/(L Z^d). Fix any coefficient field K. All +homology and ordinary persistence use K. Essential intervals are +excluded from the finite-lifetime population. + +For a field F, its decreasing superlevel filtration {F>=h} is the +increasing sublevel filtration of g=-F at time tau=-h. An ordinary +finite Hp interval born at field height b and dying at s0. The birth and death critical points are ordered in that +filtration, regardless of whether either is a local extremum of F. + +Consider actual C4 fields F_r, r down to zero, converging to F_0 +globally in C4. In fixed physical coordinates (s,t) near x, where +t is in R^(d-1), require: + +* x is the only degenerate critical point of F_0; +* F_0(x)=b, grad F_0(x)=0, F_0,ss(x)=0, + F_0,st(x)=0 and F_0,sss(x)=12k, with k>0; +* A_0=F_0,tt(x) is nonsingular, with j negative eigenvalues; +* every other critical point of F_0 is Morse, and their critical + values are distinct and different from b; +* F_r has the literal two pinned critical points + M_r=(-r/2,0), S_r=(r/2,0), with + + F_r(M_r)=b, F_r(S_r)=b-k r^3. (1) + +These are assumptions on a same physical field continuation, not +on unrelated arbitrary jets. In the Gaussian application they are +proved on each fixed contact-law fiber almost surely by SG below. +They imply the other critical set is finite: the regular contact +is isolated, and every other root is isolated on a compact complement. + +**Deterministic unit-fold theorem.** Under these assumptions, for +all sufficiently small r, F_r is globally Morse with distinct +critical values and its actual ordinary finite persistence contains +the interval + + Hp: birth M_r, death S_r, lifetime k r^3, + p=d-j-1. (2) + +Both endpoints have their unique birth/death roles in this interval. +No other critical value lies between them. No H0 elder enclosure, +negative-definite transverse block, preselected global attaching map, +or simultaneous event for all contact targets is assumed. + +The threshold depends on this realization and these fixed marks. +There is no uniform physical chart radius or deterministic convergence +rate. This assertion concerns the actual filtration of F_r; an +adapted gradientlike field is only a tool to calculate its handle +incidence. It does not replace F_r by a different persistence law. + +## 2. Transverse inertia and the persistence degree + +At the two pins the axial Schur complement tends, after division +by r, to -6k at M_r and +6k at S_r. The transverse blocks tend to +A_0. Thus, for small r, + + index_F(M_r)=j+1, index_F(S_r)=j. (3) + +Here index is the number of negative Hessian eigenvalues. Since +Hess g=-Hess F, their sublevel handle degrees for g are + + degree(M_r)=d-j-1=p, + degree(S_r)=d-j=p+1. (4) + +The earlier cell is M_r, at tau_a=-b; the later cell is S_r, at +tau_b=-b+k r^3. In particular a negative-definite transverse A_0 +(j=d-1) gives p=0, but an index-j block with jH_p(X^a,X^-) + +is a unit, the triple exact sequence gives H_*(X^+,X^-)=0. +The inclusion X^- -> X^+ is consequently a homology isomorphism. +The pair sequence for X^a shows that H_p(X^-) injects into +H_p(X^a) with quotient K: the next connecting map is zero because +its composition with the surjective delta is zero. The map to +H_p(X^+) kills one direction complementary to the old image and +is an isomorphism on that old image. Therefore the newly born +interval dies at the next handle. This also proves (2) from a +relative unit incidence, without rearranging critical values by +handle dimension or assuming a global Morse-Smale complex. + +There are real attaching alternatives when (5) is absent: + +* For p>=1, take an old p-cycle c, a new p-cycle a at time t_1, + a (p+1)-cell b' at t_2 just above t_1 with partial b'=c, + and a later (p+1)-cell e with partial e=a. The two Hp bars + are [t_0,t_2) and [t_1,t_3), not [t_1,t_2). This is realized + by a filtered CW complex: begin with a point and S^p, wedge + another S^p, and attach the two filling disks in the stated order. +* For p=0, begin with old vertices c_0,c_1, add the new vertex a, + then an edge joining c_0,c_1, then a later edge joining a,c_0. + The middle edge's boundary has no a coefficient. The old + c_1 component dies first; the new a component has a long bar. + The oldest c_0 component is essential. This is an actual filtered + graph and respects the ordinary H0 augmentation constraint. +* An earlier p-cell can instead kill an old H_(p-1) class and a + later (p+1)-cell create H_(p+1): set partial a=c_old and + partial b'=0. For p>=2 this is realized by filling an old + S^(p-1) and then wedging S^(p+1). For p=1 use an edge joining + two old components, then wedge S^2. Again the a coefficient + in partial b' is zero. + +These are rigorous filtered-chain/CW diagnostics. They are NOT +realizations of the isolated generic fold in Section 1. Calling +their arbitrary nearby cell times a geometric birth-death fold +would erase exactly the unit-incidence obligation. + +Even a nonzero a coefficient is insufficient for *that exact pair* +if a younger p-cell c enters between a and b': with +partial b'=a+c, the reduction pivot is c. An isolated limiting +contact whose other critical heights avoid b excludes this extra +cell. Both unit incidence and no intervening critical event matter. + +## 4. Exact transverse splitting at finite regularity + +We prove the geometric input without assuming a smooth unfolding +parameter lambda=r^2. The C4 continuation alone suffices. + +Shrink one fixed physical cylinder about x. Invertibility of A_0 +and the implicit function theorem give unique transverse critical +ridges t=h_r(s), with h_r converging to h_0 in C3. At the pins +h_r(+-r/2)=0. Put phi_r(s)=F_r(s,h_r(s)). Since + + phi_r'(s)=F_r,s(s,h_r(s)), + +phi_r is C4, although the ridge need only be C3. At contact, +h_0'(0)=-A_0^(-1)F_0,ts(0)=0. Differentiating the displayed +identity gives phi_0'(0)=phi_0''(0)=0 and phi_0'''(0)=12k. +The term containing h_0'' is multiplied by F_0,st=0. +On a smaller fixed cylinder phi_r''' stays positive for small r. + +The function phi_r' is therefore strictly convex. Its pinned roots +are s=-r/2 and s=r/2; they are its only roots and phi_r'<0 +between them. Its derivatives at the left/right root are respectively +negative/positive. Every local full critical point lies on the ridge, +so these are exactly the two local critical points. For F_0 the +expansion phi_0'(s)=6k s^2+o(s^2) proves contact is isolated. + +Now write, exactly rather than as a Taylor truncation, + + F_r(s,h_r(s)+t)=phi_r(s)+t^T B_r(s,t)t, + B_r(s,t)=integral_0^1 (1-v) F_r,tt(s,h_r(s)+v t)dv. (7) + +The symmetric B_r is C2 and converges in C2 on the fixed cylinder. +At (0,0) its limit is A_0/2. Diagonalize A_0 once. On a sufficiently +small matrix neighborhood, signed LDL factorization followed by +positive square roots of the absolute pivots gives a smooth matrix +map S(B), with + + B=S(B)^T J S(B), + J=diag(-I_j,+I_(d-1-j)). (8) + +The pivots are bounded away from zero on this neighborhood. Set +w=S(B_r(s,t))t. Its derivative in t at zero is invertible. The +inverse function theorem, after shrinking once more, supplies +uniformly invertible C2 coordinates (s,w), converging in C2 with r, +in which + + F_r=phi_r(s)-|w_-|^2+|w_+|^2. (9) + +This is an exact transverse splitting. No concavity is asserted +when w_+ is nonempty. Uniform invertibility here is for this fixed +realization's nonzero A_0; it is not an inverse-curvature moment +or a common radius over the Gaussian law. + +Outside this cylinder, use implicit continuations of the finitely +many old Morse critical points. On their compact complement and +outside a smaller contact neighborhood, grad F_0 has a positive +floor. Global C4 convergence therefore excludes any additional +root. The old critical values converge to their distinct heights, +all separated from b. Together with (1) this proves F_r is globally +Morse/distinct eventually and that no critical value lies between +F_r(S_r) and F_r(M_r). + +## 5. A unique local connection and a uniform no-escape argument + +In the splitting coordinates define the ascent vector field for F_r + + dot s=phi_r'(s), dot w_-=-2w_-, dot w_+=2w_+. (10) + +It is descending for g_r=-F_r. Along the axial segment between +the two roots, s decreases from S_r to M_r. The scalar autonomous +equation has exactly one such trajectory up to time translation: +separation of variables determines it, and the simple endpoint +zeros put the limits at infinite times. + +Any trajectory confined to this chart and converging to S_r as +time -> -infinity and M_r as time -> +infinity must have w=0. +A nonzero w_- explodes at the first limit; a nonzero w_+ explodes +at the second. Thus the connecting trajectory is unique locally. +Along it the unstable tangent of S_r is spanned by the axial +direction and the w_+ directions; the stable tangent of M_r is +spanned by the axial direction and the w_- directions. They sum +to the whole tangent space and intersect in the orbit direction. +The connection is transverse. On a regular level between the +critical heights, the corresponding attaching/belt spheres meet +transversely in one point. + +Pull (10) back to physical coordinates. The uniformly invertible +coordinate changes give constants c,C>0, independent of small r, +such that the resulting X_r satisfies + + dF_r(X_r)>=c |grad F_r|^2, + |X_r|<=C |grad F_r|. (11) + +Choose fixed concentric physical balls B_R and B_(2R) inside a +common splitting neighborhood, with both pins in B_(R/2). Make +X_r equal to this product field on B_(2R), and blend with a +background ascent gradient outside, using a nonnegative partition. +The estimates (11) survive the blend; the resulting field is C1, +is zero precisely at the critical points and is strictly ascending +elsewhere. On the compact annulus B_(2R) minus B_R, F_0 has no +critical point. For all small r there is a common gamma>0 with +|grad F_r|>=gamma there. + +For any portion of a trajectory traversing that annulus, parameterize +by background spatial arclength l. Equations (11) yield + + dF_r/dl=dF_r(X_r)/|X_r| >= (c/C)gamma. + +Traversing from radius R to 2R costs at least + + Delta_*=(c/C)gamma R>0 (12) + +in F height. A trajectory connecting S_r to M_r has total height +increase k r^3. Once k r^3=2. Its symmetric spectral +weights q_n>=0 sum to one. A simple sufficient verifier is full +positivity on |n|infinity<=5 and + + sum_n sqrt(q_n)(1+|2pi n/L|)^40. + +They have 2d+2 components. Their contact limit pins F=b, +grad F=0, the axial Hessian column V=0 and F_uuu=12k. +The Gaussian contact density pi_r(v_r) converges to pi_0(v_0), +and its covariance has a common floor in all frames at small r. +The original two-site height/gradient density is exactly +12r^(-(d+3)) pi_r(v_r). + +On the canonical full-field conditional coupling Q_r, SG proves +F_r -> F_0 globally C4 and a bound +||F_r||C4<=C||F||C4+C(|b|+k). Under Q_0 all other critical points +are Morse, have distinct heights, and avoid b almost surely, +for each fixed contact target/frame. The contact transverse block +A_0 has a full Gaussian density on symmetric matrices. It is +nonsingular almost surely. These are actual conditional statements, +not a disintegration of unconditional genericity onto every null +target or an uncountable simultaneous event. + +For the endpoint Hessians the exact block identity is + + H_i=[r alpha_i, r beta_i^T; r beta_i,A_i], + det H_i/r=alpha_i det A_i-r beta_i^T adj(A_i)beta_i. + +Its validity for singular A_i follows because both sides are +polynomials. Here alpha_M -> -6k, alpha_S -> 6k, beta_i is bounded +and A_i -> A_0. The congruence diag(r^(-1/2),I) has limit +diag(-6k,A_0) at M and diag(6k,A_0) at S. Thus if A_0 is nonsingular +its inertia gives exactly (3) on its index-j cone. A different +inertia eventually fails (16); at a singular limit the determinant +product tends to zero irrespective of indicator oscillations. +Consequently + + V_(p,r) -> V_(p,0) + =36k^2(det A_0)^2 1{index A_0=j}, + V_(p,r)<=C(1+||F_r||C3)^(2d). (17) + +Each index cone is open and nonempty. Full conditional Gaussian +matrix support makes + + z_(p,0)(b,k,u)=E_Q0 V_(p,0) + +strictly positive and finite at every fixed b,k>0,u. Domination +gives E_Qr V_(p,r) -> z_(p,0). On V_(p,0)>0, the contact-good +realization meets Section 1, so its actual pinned pair satisfies +sigma_p(F_r,M_r,S_r)=1 for all sufficiently small r. On +V_(p,0)=0 the product V_(p,r)(1-sigma_p) tends to zero without +requiring any finite-r genericity on that weight-zero support. +The same norm moment yields + + E_Qr[V_(p,r)(1-sigma_p)]->0, + E_Qr[V_(p,r) sigma_p]->z_(p,0). (18) + +No normalized weighted law is needed outside a compact small-r +band where its normalizer is positive. The unnormalized formulation +(18) has no global inverse-normalizer or inverse-curvature premise. + +SG's target coercivity and Gaussian regression bounds give one +all-mark envelope, also for (16): + + B_(p,r)=12 pi_r(v_r) E_Qr[V_(p,r) sigma_p] + <=H(b,k)=C(1+|b|+k)^(2d) exp[-c(b^2+k^2)], + integral_Rx(0,infinity) k^(-2/3)H db dk=ell/r_0^3} + B_(p,(ell/k)^(1/3))(b,k,u)/(3k^(2/3)) + db dk d sigma(u). + +Equations (18)-(19) give the full all-mark dominated limit. +Equation (21) removes the far term, so + + nu_p(ell) ~ c_(q,p) ell^(-1/3), + E N_(p,t)/L^d ~ (3/2)c_(q,p) t^(2/3), + c_(q,p)=4 integral k^(-2/3) pi_0(v_0) + z_(p,0) db dk d sigma(u). (22) + +The coefficient is finite and strictly positive for every +p=0,...,d-1 in this admitted Gaussian spectral class. The density +statement is pointwise for the explicitly specified finite Borel +representative (20). Arbitrary null-set changes to a Radon-Nikodym +version need not retain a pointwise asymptotic. Density continuity +is not asserted. The cumulative statement follows by integration, +not by differentiating a cumulative asymptotic. The missed near +candidate population is only o(ell^(-1/3)); no O(1) near remainder +is proved. + +Here is the exact law-specific Gaussian coefficient. Let +G=grad F, V_u=(F_uu,F_uv_1,...,F_uv_(d-1)), +A_u=Hess F restricted to u-perp, and +tau_u^2=Var(F_uuu|G=0)>0. Define + + D_(u,j)=E[(det A_u)^2 1{index A_u=j}|V_u=0]. (23) + +For the fixed spectral law, all these are its actual covariances +and conditional Gaussian matrix law. Stationary parity makes +(G,F_uuu) independent of (F,V_u,A_u). Integrating the birth b +in (22) removes conditioning on F=b but retains V_u=0 and the +correlations of V_u with A_u. It gives + + pi_0(v_0) z_(p,0), integrated in b + =36k^2 p_G(0) p_Vu(0) phi_tau_u(12k) D_(u,j). + +The remaining k factor in (22) is + + 144 integral_0^infinity k^(4/3) phi_tau(12k)dk + =12^(-1/3) integral_0^infinity z^(4/3) phi_tau(z)dz + =Gamma(7/6) tau^(4/3)/(24^(1/3)sqrt(pi)). + +Thus the physical coefficient is + + c_(q,p)=Gamma(7/6)/(24^(1/3)sqrt(pi)) + *integral_S^(d-1) p_G(0) p_Vu(0) + tau_u^(4/3) D_(u,d-p-1) d sigma(u). (24) + +There is no factor one half for ordered birth-to-death directions. +The numeral 24 is a change-of-variables constant, not the torus +side L. The coefficient depends on q,d,L, and its transverse +cone; covariance-independent amplitudes or infinite-cutoff uniformity +are not inferred. Its leading value is independent of the chosen +coefficient field K because the local incidence is +/-1. Global +bar pairings and lower-order populations can depend on K. + +Conditioned only on V_u=0, A_u is centered. Its symmetry under +A_u -> -A_u gives D_(u,j)=D_(u,d-1-j); hence + + c_(q,p)=c_(q,d-1-p). (25) + +This is a Gaussian cone identity, not a claim that the actual +entire barcode in those two degrees is identical. Summing over +p replaces the cone in (23) by the full second determinant moment, +since singular matrices have probability zero. In d=2 the two +leading coefficients c_(q,0),c_(q,1) are equal; no finite H2 +lifetime population is created by these ordinary filtrations. + +## 11. A degree-marked iid-copy corollary, with its actual cluster input + +The preceding result admits the same narrow process regime as SG; +this section explains the additional global step rather than inferring +Poisson from the first moment. Define + + N_t^all=sum_(p=0)^(d-1) N_(p,t) + +on the good locus and zero otherwise. The Borel construction in +Section 7 applies simultaneously to this finite set of degrees. +A single field has a finite positive lifetime list, so its process +on bounded scaled-lifetime windows tends to empty almost surely; +the mean also tends to zero at order t^(2/3). + +At a fixed contact-good realization with V_(p,0)>0, the unit-fold +theorem supplies the actual Hp bar and consumes both new critical +points' unique roles. Every other finite bar, in every degree, +uses two of the finitely many old critical branches. Their limiting +heights are distinct, so the minimum of all their nonzero possible +endpoint gaps is positive. This is true whether or not their old +pairing changes with r. There are no extra critical branches near +b. At r=(ta/k)^(1/3), with fixed 0=2} into (20), and +sum over p. Pointwise the weighted contact integrand tends to +zero by the preceding endpoint exhaustion. Its bound is a finite +multiple of + + a^(-1/3) k^(-2/3) H(b,k), 0=2}]=o(t^(2/3)). (26) + +This does not bound the second factorial moment. It deliberately +inserts a bounded global mark into a once-counted endpoint sum, +not an additional unbounded witness count or a four-site rank claim. + +Give each finite bar marks (p,a,b,k,M,u), with a=ell/t, +k=ell/dist(M,S)^3 and ordered u from its birth point M to its +death point S. In the near band these are unique physical +displacements. A fixed Borel shortest-displacement convention +outside that band is harmless because its contribution is O(t). +The limiting one-bar mean measure is + + d eta_(q,p)=4 a^(-1/3) k^(-2/3) pi_0(v_0) + z_(p,0)(b,k,u) da db dk dx d sigma(u). (27) + +Its mass on a<=T is (3/2)L^d c_(q,p) T^(2/3); the lifetime +marginal is L^d c_(q,p) a^(-1/3) da. Midpoint x and the actual +birth position M=x-r u/2 have the same limiting mark. In higher +degrees M is the birth critical point, not generally a maximum. + +For n independent whole copies of this one fixed actual law, +choose t_n down to zero with n t_n^(2/3)->lambda in (0,infinity). +For any compact-supported nonnegative process test f, the error +between its single-copy expected sum of 1-exp(-f) and its +single-copy expected 1-exp(-sum f) is bounded by the left side +of (26). Independence and the elementary Laplace product give +the Poisson random measure with intensity + + lambda sum_(p=0)^(d-1) delta_p tensor eta_(q,p). (28) + +The same all-mark bound proves convergence on finite windows a<=T. +The resulting limiting degree-mark populations are independent +Poisson restrictions of this marked measure; the finite-field +degree populations are not asserted independent. +This is an independent-whole-copy rare-event limit. It is not a +spatial expanding-domain limit, a within-one-field Poisson law, +a coalescing-contact factorial theorem or the separately owned +regional additional-witness estimate. Those regimes do not follow +from (26). No K7 factorial side result is inherited from K5 positivity. + +## 12. Failure boundaries and what the result does not universalize + +The reusable higher-degree mechanism is now explicit: + +1. Nonzero cubic axial derivative and nonsingular transverse block + give the adjacent degrees and exact local product connection. +2. Same-field C4 convergence and off-contact genericity give the + complete critical list, old height gaps and annulus gradient floor. +3. The small height gap plus that floor excludes other connecting + trajectories; the relative coefficient is a unit. +4. No intervening critical value lets that unit create and kill + the new persistence direction at those exact two endpoints. +5. The Borel once-count mark plus the actual probabilistic contact, + all-mark envelope and far interfaces give the lifetime density. + +Removing a premise has an identifiable obstruction, rather than +an automatic replacement law. Arbitrary adjacent cells with zero +incidence can exchange long bars as Section 3 shows. A second +critical level entering the shrinking band can change the exact +pivot even with a nonzero incidence. A singular transverse block +is outside the regular-fold theorem. Uncontrolled global continuation +can create extra endpoints or destroy the fixed-annulus floor. +Other singularity orders/contact densities can change the radial +weight and exponent. A non-Gaussian law needs its own actual +contact density, conditional selection and envelope; its covariance +does not supply them. + +There is therefore no H0 elder-rule generalization by terminology: +in p>0 the algebraic pivot and unit relative boundary replace elder +component enclosure. No arbitrary higher-homology fold, arbitrary +manifold, non-Gaussian class, numerical sample, formal theorem or +coefficient interval is admitted by the word 'generic'. The stated +Gaussian spectral class is admitted by its named ranks, moments, +conditional genericity and the new topological argument above. + +The qualitative unit-fold theorem works on the deterministic +oriented closed manifold in Section 1, but the density/process +specialization here is only the exact flat-torus Gaussian law. +A different geometry still needs its actual all-Borel count, +contact observations, volume Jacobian, envelope and far contracts. +No new scientific promotion or model-status change is made. + +## 13. Exact operational sources, review extents and classical imports + +The following incorporated operational bindings were freshly hashed by +root. SG's mathematical Sections1-11 are byte-identical to its original +825-line preparation; the original source consumed by the Hk author and +the new incorporated SG wrapper remain separately identified. + +| Symbol | Incorporated proof | Bytes / lines | SHA256 | +| --- | --- | --- | --- | +| SG | [spectral Gaussian admission](../spectral_gaussian_admission/PROOF.md) | 42478 / 826 | 6c0f34cb318d337b3b8c2c306f3b965f5e5a9d2fe38d5e001b8044de74b7f225 | +| ST | [regular-fold structural theorem](../fold_structural_universality/PROOF.md) | 43927 / 804 | 3d952a906553d578876456539a8f0dcd64aedd45099e8394cbe9db99866ec531 | +| IG | [periodized Gaussian H0](../periodized_gaussian_h0/PROOF.md) | 34629 / 637 | c8bd489ca3fbb3760f7b2d53e7385131ac5336c51ba983e00e4d540fe2f00aaa | +| PP | [iid short-bar process](../iid_short_bar_process/PROOF.md) | 30935 / 618 | 320bc988c468bea4938bb777a2d05952c6ab8e0a384f33725b50de847aeec1eb | +| ET | [finite elder transfer](../finite_elder_transfer/PROOF.md) | 23774 / 458 | c9e4fb09900888cd2b1bd96b49f85072b51c822b2503fe9f3d8891049bf66201 | + +The Hk mathematical author consumed SG's original42038B/825-line source, +SHA25643e8180947b559e53f7afcf95ba61136f3fffcbe05a19e7a5953018fda27e294: +a full prior saved-file read and fresh lines1-645/740-825 during the Hk +construction. Optional diagnostics646-739 are not a new Hk premise. +The current SG source has the same36656B Sections1-11 core, SHA256 +4cad43d3f80a8e47da886762d402c4981fe6834e278579b36673055539d6cf32; +root checked actual complete original/current core and incorporation diff. +No new whole current826-line SG read is attributed to the Hk author. +ST/IG/PP received that author's full actual reads in the immediately +preceding spectral derivation, including the separately filled truncated +ST middle; their identities were freshly rechecked during Hk preparation. +ET's incorporated bytes were rehashed; the author's full original ET read +was prior, with no fresh full incorporated ET wrapper read claimed. + +The proof consumes SG Sections2-5 for actual C4 law/moments, named finite +ranks and all-Borel incidence; Section6 for every fixed contact posterior's +genericity and complete old critical list; Section7 for the radial and +coefficient ledger and far bound; Section8 for the independently explained +bounded-cluster/Laplace mechanism. SG's H0 selector is supplied here by +Sections3-7's new relative unit-incidence/persistence argument. ST supplies +the observation/determinant ledger, IG the preceding physical-law route, +and PP the process-regime distinction. No K7/factorial theorem is consumed. + +Fresh FULL original-source mathematical reviews are separate: +final_contract_review read all884 actual lines in four untruncated ranges, +verified the exactde1cad identity, and found no must-fix; benchmark_formal_audit +independently read all884 actual lines and found no must-fix. Both freshly +rehashed the five original declared inputs. Final's prior separate full +actual input audits include SG original/current; this pass does not claim +five extra dependency reads. Benchmark's prior full input audits and ET +authorship remain separately exposed; this pass does not claim five new +whole dependency rereads. Root read original actual1-310/311-620/621-884 +untruncated. Changed incorporated bytes/readme await their own full review. + +Final's new Hk primary exposure was bounded parsed Milnor Section5 setup +and Theorem5.4, Section7 setup/Corollary7.3, bounded Laudenbach convention +and theorem clauses, and bounded Antony introduction/main theorem/normal +form. Benchmark's new Hk exposure was bounded parsed Milnor Section5 and +Section7 setup/Lemma7.2/Corollary7.3 and Laudenbach convention/extra-orbit +statement; no new Antony reading is credited to that reviewer. Root's new +bounded Milnor find results supplied actual Corollary7.3 and Theorem5.4 +passages, without full-book or raw-PDF credit. Neither root nor reviewers +inherit the author's complete six-page Laudenbach read described below. + +Original author supplied C/window/S/ST/IG/PP/SG. Benchmark authored CG/ET +and catalogue code. Final authored the separate fold-chart route and +provided earlier carrier witnesses. Root supplied bounded prefile unit +incidence, IGtheta and PP endpoint/Borel challenges. These are substantial +same-provider source and route exposures, with organizational independence0. +The [review record](REVIEW.md) retains exact original/current verdicts. + +The following author-side primary-exposure account and import ledger is +preserved from the original preparation. Its final request for exact-file +review is historical; the two new original-source verdicts are recorded +above and separately from pending incorporated-source review. + +Fresh primary readings for the new topological step are explicit: + +* [Milnor, Lectures on the h-Cobordism Theorem](https://webhomes.maths.ed.ac.uk/~v1ranick/surgery/hcobord.pdf), + 1965 primary book scan: bounded parsed-PDF readings of the + Section 5 setup/first cancellation theorem (printed pages 45-48, + PDF pages 49-52), and Section 7's relative boundary formula and + handle homology construction (printed pages 85-90, PDF pages + 89-94). Corollary 7.3 is the incidence import actually used. + Other cancellation hypotheses elsewhere in that book are not + imported. A bounded earlier opening also included its equal-N + Morse perturbation lemma, but the new topology proof does not + depend on a new high-dimensional Sard import. +* [Laudenbach, A proof of Morse's theorem about cancellation](https://arxiv.org/pdf/1307.2545), + arXiv:1307.2545v1: the complete parsed six-page/291-line primary + text was read. Its unique transverse orbit criterion and + pseudogradient convention corroborate the geometric mechanism. + Its additional global orbit condition is not assumed implicitly + as a replacement for the direct relative incidence calculation. +* [Antony, Gradient Flow Line Near Birth-Death Critical Points](https://arxiv.org/pdf/1706.07746), + arXiv:1706.07746v3: bounded actual parsed reading of the main + theorem, normal-form discussion and introductory outline only, + not the full 39-page proof. Its smooth unfolding and metric + assumptions are stated in Section 6 and are not claimed satisfied + merely by the C4 contact coupling. + +These were primary web text reads, not downloaded PDF byte-custody +verifications. No raw-PDF SHA or full-book/full-Antony read is +invented. No failed primary web operation was retried. The new construction +itself proves the adapted-flow no-escape step and the C4-to-smooth +filtration equivalence. Classical imports remaining are smooth +Morse handle attachment and its relative incidence formula, +ordinary smooth approximation/implicit continuation/ODE flow, +finite persistence interval decomposition, and SG's explicitly +declared locally Lipschitz area formula/Gaussian regression. +All integrability and limiting uses are supported by the actual +SG moments, target coercivity and domains in Sections 8-11. + +The strongest proved preparation claim is the unit-fold mechanism, +and, under the actual SG spectral assumptions, the resulting +ordinary Hp density and independent-copy degree-marked process. +An exact-file nonauthor attack must still assess these new +topological imports/bridges and composition. No review, compiler, +organizational independence or scientific credit is manufactured +by the author-side derivation or saved-byte readback. diff --git a/experiments/universality/higher_homology_fold/REVIEW.md b/experiments/universality/higher_homology_fold/REVIEW.md new file mode 100644 index 000000000..22fd94c88 --- /dev/null +++ b/experiments/universality/higher_homology_fold/REVIEW.md @@ -0,0 +1,94 @@ +# Higher-homology fold: source-bound review record + +Construction snapshot,8October2026. Mathematical author OpenAI/Codex +universality_review; wrapper/integrator root task +01a11cbf-068d-7102-861e-75814e715c98, claim6070584604 with +amendments6071035594/6071181708, lease00:30UTC9October. + +Current [proof](PROOF.md): 46174 UTF-8 bytes/911 lines, +SHA25687f43e6ed94c5c63c385ecf177f68212afa5db54b24062fa008f081f47a78999. +Preserved Sections1-12: 37220B, +SHA256c770d4f7a28bff3d9f59a5baa004f052fb6db2c9e27a11799db0e7420d124471. +Original44258B/884-line source SHA256 +de1cad971e113f097a8e29ba82fb295d93b23f57aeda5b265e6f3c88cef47f2e +has two distinct fresh FULL saved-file mathematical PASS verdicts, +final_contract_review and benchmark_formal_audit, no must-fix. +Root fully read the actual original884 lines. Current full root read, +current whole-source mathematical review and new README metadata review +are PENDING at this construction snapshot. Original verdicts do not +certify these new incorporated bindings. + +Actual isolated-fold unit relative incidence supplies the finite Hp bar +in degree p=d-j-1. SG named ranks, C4 moments, canonical contact and +all-mark/far bounds then supply actual degree-specific density, +law-specific inertia-cone coefficient and iid whole-copy marked process. +The all-degree weighted cluster estimate is proved; no second factorial +or same-field spatial claim is inherited. Ordinary homology over every +fixed field of coefficients; no torsion/integral barcode claim. + +All agents are OpenAI/Codex AI performers, prior source/route exposed, +organizational independence0. Full and bounded dependency/primary reading +extents are separately disclosed in PROOF Section13. Critical Lean, +computational/count coupling, numerical enclosures, blind50 custody, +spatial/expanding-domain process and scientific promotion remain open. +Compiler/tests/sampler/seeds:NOT_RUN. Full landmark goal ACTIVE. +## Completed incorporated-source review and companion amendment + +The construction snapshot above is preserved verbatim: 1,908 bytes / +34 lines, SHA256 `e1c109981a613c3e96283d8fe8f06200d344dce5f46aa0c3991c30a59d362769`. +Its PENDING states describe that historical construction. + +**final_contract_review: fresh FULL current-proof mathematical PASS.** +The reviewer read all 911 actual saved lines in four untruncated ranges, +verified 46,174 bytes / SHA256 +`87f43e6ed94c5c63c385ecf177f68212afa5db54b24062fa008f081f47a78999`, +read the complete original884-to-current911 diff and independently matched +the 37,220-byte Sections1-12 core. No mathematical must-fix emerged. +This is a new verdict, separate from the original884-line proof reviews. + +The fresh attack covered C4 splitting, the full critical list, the unique +product-flow connection, fixed-annulus height exclusion, relative unit +incidence, aligned smoothing and regular-level filtration equivalence, +Borel once-counting, inertia-cone constants and the all-degree cluster +estimate. Five current operational dependency hashes, including SG826, +match the table. Original/current SG Sections1-11 also match. These are +fresh hashes and core comparisons, with prior whole dependency audits +separately exposed; no five new whole dependency rereads are claimed. +No new primary-source fetch occurred in this incorporation pass. + +The reviewer fully read the construction REVIEW34/e1c109 and +README222/9eaf2a, its complete predecessor diff, and checked all33 local +links. Benchmark independently performed a full construction REVIEW34 / +README222 metadata read, complete source and README diffs, both preserved +core comparisons, five dependency hash checks and all33 links; this was a +bounded metadata audit, not a new whole911-line mathematical review. + +**Both companion audits: README wording AMEND.** The 14,761-byte / +222-line README at SHA256 +`9eaf2a0c036fba117fb1ea894b03a889fc92f56fd4542a522375f6c113fd4095` +said each degree "has density c_(q,p)*ell^(-1/3)" without an asymptotic +qualifier. Read literally, this overstated the actual small-lifetime +asymptotic as an exact global density. The proof itself correctly states +(22)'s asymptotic for its canonical Borel representative. + +Root preserved the actual construction README in an ordinary external +snapshot and corrected only that sentence to say lifetime density is +asymptotic to the stated expression as ell tends to zero. The corrected +README is 14,805 bytes / 223 lines, SHA256 +`303a83b01c05023d2cbf9728de4e40851c63da3afb8056835141c74786df8311`. +The proof remains unchanged. The corrected README and this appended +review record await their own exact-source metadata audit at this stage; +the earlier AMEND is retained, not overwritten as a PASS. + +Root completed the actual current911-line read in untruncated1-455 / +456-911 ranges, the complete actual incorporation diff, and full actual +construction REVIEW34 / README222 and its diff. The first combined tool +output truncated its diff/metadata portions; those portions were repeated +and fully read in a separate untruncated result. Five current inputs were +freshly rehashed. No truncated portion is credited as a complete read. + +Same-provider source/route exposure and organizational independence0 +remain explicit. Ordinary fixed-field homology, exact SG law/contracts, +no density continuity or near O(1) remainder, no numerical Hp coupling, +critical Lean or blind closure, no same-field spatial process and no +scientific promotion retain their stated boundaries. Goal ACTIVE.