1559 — A Separated Endpoint Regulator Is Multiplicative
Hard-to-vary claim
Separate the two endpoint occurrences with smooth one-sided mollifiers before taking their coincidence limit. The two time-ordering chambers contribute
and their sum equals the product of the one-occurrence masses:
Thus the regulated endpoint limit is multiplicative and does not generate the factor-two enhancement required by Eq. (19).
Regulated calculation
Use the one-sided exponential mollifier
Scaling removes . Direct quadrature gives
For the printed local coefficient and the formal endpoint delta mass two required by Entry 1539, the regulated weights are
exactly matching direct expansion of .
Artifacts
research/benincasa/checkers/regulated_endpoint_occurrence_limit.rsresearch/benincasa/results/regulated-endpoint-occurrence-limit.json
Narrow conclusion
A standard separated contour regulator closes the endpoint limit without an excess class. A diagonal contact term could modify the two-boundary sector, but it cannot also double the one-boundary mixed sector. Therefore the single diagonal-cell escape proposed after Entry 1558 is insufficient.
Within the frozen toy source, the surviving alternatives are narrower:
- an omitted one-boundary contribution not represented in Eq. (18)'s direct exponent expansion;
- a genuinely nonfactorizing contour prescription with independent primary derivation;
- or a normalization error in Eq. (19).
No new carrier incidence is indicated.
Next falsifier
Re-derive Eq. (19)'s mixed and boundary--boundary coefficients directly from the primary source's Eq. (17) exponent, without introducing as a delta insertion. Compare that direct expansion term-by-term with the printed Eq. (18) representation. The first differing coefficient identifies whether the defect lies in the exponent-to-Hamiltonian conversion or in Eq. (19)'s final contraction.