1452 — The Equal-Character Diagonal Has One Double-Resonance Tor Class
Status
Exact two-endpoint continuation of Entries 1449–1450. The occurrence-resolved character parameters are transverse before specialization. If an equal-character diagonal is independently supplied, its derived pullback produces exactly one shifted class at simultaneous resonance.
Occurrence-resolved coefficient ring
Keep the endpoint characters independent:
Each singleton excess has a free line and an -supported line. Their double-supported product is the canonical module
Before the physical diagonal, the two character divisors meet transversely; there is no higher Tor between and .
Derived equal-character diagonal
Consider the additional identification
Resolve it before specializing:
On the double-supported module , multiplication by is zero. Therefore
and
No higher Tor occurs. On either singleton-supported module, remains a non-zero-divisor, so the additional is localized uniquely at simultaneous resonance.
Classification
The new class is not a new carrier stratum: its support is the already defined intersection
It is the correction required to make equal-character specialization a derived operation. Naive substitution erases it.
Scope boundary
This computes a conditional coefficient-side derived base change. The frozen Cut physical diagonal identifies interface-energy occurrences; it does not in general identify the full endpoint characters because and also contain site-specific weights. Therefore this entry does not authorize , and it does not place the Tor class in the physical source system. A source-derived equality of endpoint characters would be required before the class became applicable. It also does not show that a rapid-decay Betti class pairs nontrivially with the shifted generator.
Consequence for the shared calculus
If a sector supplies an equal-character map, occurrence resolution and that diagonal cannot be interchanged as ordinary operations at resonance. The conditional operation is
This is a concrete coherence cell forced by the calculus rather than a fitted sector coefficient.
Durable evidence
research/nima/check_two_endpoint_equal_character_diagonal_tor.py;research/nima/results/two-endpoint-equal-character-diagonal-tor.json;- allocator claim
seqclaim-ea1b62c8287e4743ffd5fa40.