Source Occurrence Jets Do Not Form a Flat Subconnection
Record
Status: recomputed after the source audit corrected the closed occurrence primitives by adding their degree-eleven term. The moving-endpoint Gauss--Manin test has been computed exactly from the corrected formulas. The two source-defined five-level endpoint-jet columns do not span a connection-stable rank-two subbundle. Their sewn jet does not span a flat rank-one relative line either.
The period-line theorem of entry 333 is unchanged. The failure occurs in the endpoint extension data discarded by the Kummer period quotient.
No carrier stratum, endpoint counterterm, fitted summand, regulator, or splitting is added.
Deutsch--Popperian conjecture tested
The hard-to-vary claim was
The stronger sewn claim was
Both are falsified in the frozen source normal coordinate
Frozen connection calculation
Use the closed primitive
and endpoint branches
The exact certificate differentiates the five polar coefficients
at fixed . Each coefficient now includes all six odd primitive terms through . The certificate includes the moving endpoint and the common prefactor
For each source column and each derivative , the certificate solves for a putative linear combination of the two source columns from two independent jet rows and checks the remaining rows.
Rank-two closure falsifier
At each of six exact nonsoft points,
all four derivatives
escape the rank-two source span. Thus
The first escaping row is . The occurrence-exchange symmetry pairs the residuals with opposite signs, so this is an algebraic occurrence-allocation extension direction, not a new singular divisor.
Sewn rank-one closure falsifier
For
all twelve exact tests of
fail. The first escape is delayed to . Its residual is the same for both parameter directions:
The certificate verifies this formula exactly at all twelve derivative tests.
Therefore
The first three polar levels are compatible with a rank-one connection; the obstruction first appears at .
First connection saturation
At every tested point, the six columns
have rank five. Since the endpoint-jet fiber itself has rank five,
Thus the first Gauss--Manin derivative already generates the complete five-level endpoint-jet tower. There is no intermediate rank-three or rank-four source-section closure in this model.
This is a generic-rank statement on the six exact test fibers. A global connection matrix and its discriminant extension remain uncomputed.
Geometric home of the failure
The residual has poles only on
which is existing soft support, and a zero on
which is the existing signed-energy/coefficient locus. It introduces no new incidence divisor.
Its type is therefore
not elliptic data and not a new carrier generator. Its vanishing on the same locus as the sewn Kummer numerator shows that the failure is internal to the algebraic/Tate--Kummer extension sector.
The direct infinity-Gysin image remains zero, so the natural next question is whether adjoining the source-derived escaping jet direction closes inside the algebraic connection.
Effect on the architecture
The result narrows H2:
survives, but the cosmological coefficient object cannot be replaced by the direct sum of the elliptic quotient and the horizontal period lines. The endpoint mapping cone carries a nontrivial extension visible before physical boundary evaluation.
No canonical global splitting has been obtained.
Classification
- existing carrier: exceptional occurrence wall and finite endpoint divisor;
- soft support: ;
- coefficient zero: ;
- elliptic quotient: unchanged and absent from the direct jet image;
- Tate/Kummer quotient: horizontal only after period projection;
- extension data: first individual escape at ;
- sewn extension data: first escape at ;
- first connection saturation: full rank-five endpoint-jet tower;
- candidate algebraic home: , not yet embedded;
- genuinely new carrier datum: none.
Exact evidence
- `research/benincasa/marici-gm/src/bin/occurrence_jet_closure.rs`;
- `research/benincasa/occurrence-jet-closure.json`;
- 24 exact rank-two source-span tests;
- 12 exact sewn-line tests;
- 12 exact checks of ;
- six exact rank-five first-saturation checks;
- corrected degree-eleven coefficient ;
- 9,492 independent finite-field source-identity checks;
- optimized Rust compilation.
Qualifications
- The corrected formulas pass an independent frozen-source certificate at 1,582 valid points in each of three prime fields; a global characteristic-zero polynomial identity remains unproved.
- The connection is computed in the source-defined -normal trivialization.
- Failure of the selected source-section span does not imply failure of the full relative Gauss--Manin object.
- No identification with a coordinate of is claimed.
Next finite falsifier
Construct the smallest connection saturation generated by
inside the five-level endpoint-jet module.
Then test:
- its generic rank and flatness;
- whether the sewn escape generates the missing direction;
- whether the saturation embeds canonically into the algebraic kernel;
- whether its singular support remains confined to the frozen energy arrangement and ;
- whether the resulting extension class is the first source-defined coordinate capable of carrying the unpublished factor.
Failure to close inside source-derived algebraic coefficient data would force the next search upstream. It does not justify a carrier modification unless a missing source incidence is independently derived.
Outcome contract
{
"claim": "The two source-defined occurrence jets span a flat rank-two subconnection, with a flat sewn rank-one relative line.",
"status": "falsified_after_corrected_finite_field_source_certificate",
"highest_odd_primitive_degree": 11,
"finite_field_source_identity_checks": 9492,
"source_span_tests": 24,
"source_span_failures": 24,
"individual_first_escape": "w^-7",
"sewn_line_tests": 12,
"sewn_line_failures": 12,
"sewn_first_escape": "w^-3",
"sewn_escape_formula": "17*(y^2-x^2)/(8*x^2*y^2)",
"first_connection_saturation_rank": 5,
"endpoint_jet_fiber_rank": 5,
"period_line_survives": true,
"geometric_home": "endpoint_jet_extension_over_existing_carrier",
"candidate_absolute_home": "T7_algebraic_kernel_unproved",
"new_carrier_incidence": false,
"next_experiment": "Compute the minimal Gauss-Manin saturation of the occurrence jets and test canonical embedding into T7."
}