Sewn Relative Quotient Is Canonical After Individual Period Failure
Record
Status: entry 332 falsified source-canonicity of the two individual physical occurrence periods. The surviving object has now been constructed at relative mapping-cone and period-line level. The endpoint polar jets form a boundary object; occurrence addition descends to a canonical sewn quotient; and the Kummer period of that quotient obeys an explicit flat rank-one logarithmic connection.
This does not construct a canonical boundary-evaluation functional for either occurrence. It does not claim that the full relative extension has been embedded horizontally into the absolute nine-master connection.
No carrier cell, blowup, endpoint counterterm, regulator hierarchy, support summand, or normalization is added.
Deutsch--Popperian conjecture tested
After entry 332, the smaller hard-to-vary claim is
The finite falsifiers are failure of the endpoint-jet addition identity, failure of cyclic covariance, or failure of the sewn period to satisfy one rank-one flat connection.
Frozen local normal-crossings model
Use the weighted chart of entries 230--231, 234, 240, 322--331:
On the exceptional wall , set
At generic nonsoft kinematics, the finite endpoint divisor
and the exceptional occurrence wall are transverse in local coordinates . Thus the source-forced weighted chart already gives the required local normal-crossings model. Degeneration of this chart is confined to
namely soft or endpoint-collision support already present in the frozen energy arrangement.
Relative mapping-cone object
Let be the sheaf of polar endpoint jets through on . The relevant meromorphic relative complex is the mapping-cone enlargement
Entry 331 gives
The relative representative retains both pieces:
Changing a meromorphic representative moves data between the bulk form and its boundary jet; it does not erase the jet. A physical finite-part evaluation additionally requires a functional
Entry 332 proves that the source does not define occurrence by occurrence.
Canonical sewing map
Define source sewing by literal occurrence addition:
Entry 331 proves the polynomial identities
Therefore
coefficientwise at all five polar orders
The regulator-dependent anti-diagonal allocation belongs to . The quotient by this kernel is source-canonical even though no canonical splitting back to the two occurrences exists.
Kummer quotient periods
On the physical interval between
choose the source sheet
The substitution
gives the exact period
Using the corrected coefficients of entry 331,
Their exact sum is
which is entry 240's unsplit regularized Kummer period.
These are periods of the Kummer quotients. They are not values of the full individual relative classes, because evaluating their endpoint jets would require the noncanonical .
Flat sewn period line
Away from
the sewn period satisfies
with
Since
its curvature vanishes:
Thus the sewn Kummer period spans a horizontal rank-one Tate/Kummer line. This is a period-level Gauss--Manin statement. Compatibility of the entire jet extension with the absolute nine-master connection is not inferred.
Boundary-limit audit
The admissible operations separate as follows.
- Boundary value before the exceptional grade retains one of the chamber currents of entries 231, 332.
- Exceptional grade before boundary value gives the canonical meromorphic classes and endpoint jets of entries 330--331.
- Endpoint finite part requires and is noncanonical for either occurrence.
- Source sewing kills the anti-diagonal chamber allocation and yields the unsplit relative class before evaluation.
- The total-energy deck action gives sign on both Kummer cohomology and transported chain, hence trivial monodromy on the period.
- Soft limits or produce poles already classified as soft support. They do not alter the generic no-go or the sewn identity.
- At , the two nonzero occurrence quotient periods cancel and the sewn period vanishes. This is a coefficient zero, not a new carrier incidence.
Therefore every generic order either factors through the sewn quotient or retains an explicitly classified boundary/regulator choice. No occurrence-level canonical physical number is recovered.
Infinity-Gysin and
Entries 240, 329--331 show that the wall Kummer class has zero direct image in the anticanonical Legendre quotient. Hence
The sewn line belongs to the algebraic/relative kernel sector , not the rank-two elliptic quotient. This is type compatibility only: no canonical coordinate in the absolute connection or identification with is claimed.
Verification
The exact Rust certificate checks:
- 4,096 occurrence-period sewing identities;
- 8,064 rational horizontal-connection identities;
- 12,288 cyclic marked-sector sewing identities;
- warning-denied optimized compilation.
An independent 100-decimal contour calculation checks generic , generic , near-diagonal, and near-soft kinematics. The largest relative integral error is below , and the largest relative sewing error is below .
The near-diagonal test resolves cancellation between two order-one occurrence periods to a sewn period of order . The near-soft test reaches periods of order while retaining the sewn identity.
Evidence:
- research/benincasa/check_occurrence_relative_extension.rs;
- research/benincasa/occurrence-relative-extension.json;
- research/benincasa/verify_occurrence_relative_periods.py;
- research/benincasa/occurrence-relative-periods-numeric.json.
Verdict
The smaller conjecture survives:
There is no canonical inverse splitting and no source-canonical individual physical occurrence period.
Classification
- existing carrier: unchanged exceptional wall, endpoint divisor, total-energy cover, and cyclic marked sectors;
- relative-chain data: boundary-value chamber and endpoint functional;
- Tate/Kummer data: two occurrence quotient lines and their sewn line;
- extension data: endpoint polar-jet mapping cone and anti-diagonal kernel;
- soft support: ;
- coefficient zero: ;
- Legendre/Gauss--Manin data: zero direct elliptic image;
- algebraic kernel: compatible with , without a chosen absolute coordinate;
- genuinely new carrier structure: none.
Next finite falsifier
Compute the Gauss--Manin derivative of the full five-level endpoint-jet vector
using closed symbolic formulas for and . Test whether the anti-diagonal kernel of is connection-stable and whether the quotient connection equals without choosing a boundary splitting.
Failure of kernel stability would falsify a horizontal full relative extension while preserving the period-line result. It would remain coefficient/extension data unless a missing source incidence were independently derived.
Outcome contract
{
"claim": "Occurrence addition descends to a regulator-independent relative Kummer quotient after individual physical periods fail.",
"status": "survives_at_mapping_cone_and_period_line_level",
"individual_physical_periods": "not_source_canonical",
"individual_kummer_quotient_periods": "exactly_computed",
"endpoint_jet_evaluation": "requires_noncanonical_boundary_functional",
"sewing_map": "literal_addition",
"sewn_period": "-3*i*pi*(x-y)*(x+y)/(16*(x*y)^4)",
"sewn_period_line_horizontal": true,
"full_relative_extension_horizontal": "uncomputed",
"direct_legendre_gysin_image": 0,
"algebraic_kernel_compatibility": "type_level_only",
"new_carrier_incidence": false,
"next_experiment": "Derive closed individual endpoint jets and test connection stability of the anti-diagonal sewing kernel."
}