Wall Residue Has No Canonical Absolute Nine-Master Coordinates
Record
Status: the weight- logarithmic wall class of entry 324 cannot be assigned canonical coordinates in the absolute equation-(58) nine-master module using the frozen source maps. Its parent master is , but that is ancestry data, not an absolute cohomology coordinate.
Entry 325's zero infinity-Gysin image remains valid. This entry sharpens its conditional phrase “whenever pushed”: the required pushforward is not among the frozen canonical arrows.
No splitting, projector, support summand, carrier cell, or normalization is added.
Deutsch--Popperian conjecture tested
The hard-to-vary claim was
The finite falsifier was a type-and-variance audit of the localization sequence before selecting any master coordinates.
Frozen coefficient types
Let denote the -residue surface and let denote the finite wall supplied by the actual lower denominator marks. Put
The equation-(58) module computed in entry 169 is the absolute residue surface object
Entry 169 explicitly does not insert the additional finite denominator marks into that module. The complete occurrence lift instead defines a marked meromorphic class on . Taking its logarithmic residue along the wall gives
The degree follows directly from the calculation: a two-form in leaves a one-form in after .
Localization gate
The frozen localization sequence contains
Therefore the canonical continuation from the wall residue is
not
Hence
A map in that direction would require a splitting of localization, a contracting homotopy, or a separately derived physical relative-realization map. Choosing one after seeing the desired , , or target is prohibited.
What the ancestry does and does not say
The complete form used in entries 234, 324 is
whose equation-(58) parent is the double-pole master . Thus the wall class has the source-defined ancestry label
But the residue operation has changed both support and cohomological degree. Erasing or declaring the resulting wall one-form to be an two-form would reverse the canonical localization arrow. Therefore
In particular, the invariance of under the absolute Gauss--Manin connection does not resolve this type mismatch.
Relation to infinity Gysin
Entry 325 proved scheme-theoretic disjointness between the finite wall and the anticanonical infinity divisor. Thus the supported class has zero direct elliptic boundary image:
That support theorem does not manufacture an absolute nine-master lift. Consequently it is safe to exclude a direct Legendre boundary component, but it is not safe to select coordinates in the rank-seven kernel.
Verdict
The canonical-pushforward conjecture is falsified in the frozen category:
This is a smaller surviving statement than entry 325's conditional kernel placement. The class remains coefficient complexity over the existing marked carrier. No new carrier incidence is required.
Classification
- existing carrier: unchanged finite marked wall and exceptional model;
- absolute coefficient object: ;
- wall coefficient object: ;
- parent-master ancestry: ;
- direct Legendre/infinity-Gysin image: zero;
- canonical rank-seven-kernel coordinates: absent;
- missing datum: physical relative-realization or another predeclared localization splitting;
- genuinely new carrier datum: none.
Exact evidence
research/benincasa/check_wall_to_absolute_type_gate.rs;research/benincasa/wall-to-absolute-type-gate.json;- source master ordering and marked-denominator exclusion of entry 169;
- complete form of entries 234, 324;
- warnings-denied optimized Rust compilation and execution.
Next finite falsifier
Remain in the correctly typed marked relative category. Construct the nearby/localization morphism from the wall object
to the physical relative-chain realization of the full occurrence-labelled integrand, not to absolute . Test whether the source symmetric wall cycle kills the entire class or only its current scalar period.
Concretely:
- retain both endpoints and the lower-half-plane Leray germ;
- compute the relative cohomology class modulo exact one-forms on the punctured wall curve;
- determine whether oddness in makes cohomologically trivial or merely annihilated by the symmetric physical cycle;
- only after deriving a realization map compare its image with the absolute algebraic kernel.
A nontrivial relative class with zero physical pairing would prove that the integrated chain forgets genuine supported coefficient data. Exactness of the wall one-form would instead remove the apparent correction before any nine-master comparison.
Outcome contract
{
"claim": "The frozen marked geometry canonically pushes the weight -1 wall residue into the absolute nine-master module.",
"status": "falsified_by_type_and_variance",
"absolute_object": "H2(S), containing M_q^(9)",
"wall_object": "H1(W)(-1)",
"canonical_sequence": "H2(S)->H2(U)->H1(W)(-1)->H3(S)",
"canonical_wall_to_absolute_H2_arrow": false,
"parent_master_ancestry": "e6",
"ancestry_is_coordinate": false,
"direct_infinity_gysin_image": 0,
"new_carrier_incidence": false,
"next_experiment": "Determine the relative cohomology class of the wall one-form and its physical-cycle annihilator."
}