Paper 45 constructed the record-history kernel's microcausality core and certified the record-export decoherence-diffusion floor — but only tube-wise, with the population aggregate proven only for mutually slow tubes. Its verdict registered the debt exactly: "a general-frame operator derivation for arbitrarily boosted extended populations is open, and the verdict carries it as (o1). " Until that seam is discharged, the floor's meaning — the surface on which a population is counted, the definition of who belongs to it, and the units in which the bound is read — is silently borrowed from a preferred rest frame. This paper personifies that borrowing as the Global Laboratory Frame and retires it constructively, at fixed-background leading order, on declared population classes. The instrument is covariant trade-off data: CTD = (gammawt, R, nuₖgammawt, R, w, export accounting, unit conventions) — "CTD is a normal form, not an additional physical assumption. It repackages 45's world-tube intensity and 54's covariant export-accounting window into one declared object. " Populations are declared on four classes — C-slow, C-boost, C-ext (membership "by tube label and proper-time segment, not by intersection with a simultaneity surface"), and C-boost-ext (the product class, non-comoving members explicitly permitted — the (o1) joint case) — with admissibility rules barring the declaration loophole: units must be defined from CTD's own invariant objects, and membership predicates may consume no hypersurface datum. The boosted-floor theorem derives, rather than declares, the lift: the per-tube trade-off objects are functionals of worldline-geometric data alone, so boosts act on them by fiberwise conjugation and on nothing else, and every term of the scalar floor lambdadiff >= c₀ barmuCTD² / lambdadec is a frame-scalar. Lemma Agg supplies the aggregation step 45 left open — a direct-integral construction over the declared congruence measure, under displayed hypotheses H1-H5 (common finite-dimensional fiber from 41's fixed operative family; measurability; declared uniform bounds including the D2 upper bound; record-register disjointness; the inherited certified-subclass adaptedness condition), with block-diagonality properly scoped (the channels excluded by hypothesis and inherited order, with all-order feedback and arbitrary screened fields left at (t5) / (o2), Paper 55's seat) and both scalar floors published (the strong mean-square form and 41's registered form, related by a displayed Jensen step in the floor-preserving direction). Exact benchmark recovery returns Paper 41/45's numbers unchanged — floor 2. 0e-60/lambdadec, ceiling 4. 0e-56, admissible point (1e-2, 1e-57 kg² s²) — the live falsification test: a derivation that moved any number would be killed, not celebrated. The ceiling is strict, and the paper's primary type fact is negative: this is not an adoption and cannot become one — Paper 45's registered condition, "any future covariant-adoption paper must close (o1), (o2), (o4) and would be a new L3-A act, " is quoted in the opening and the Conclusion, and (o2) and (o4) remain open at their owners' seats after this paper. Nothing here narrows lambdadec's or lambdadiff's range; no datum is scored — "The result is general-frame within the declared CTD classes — no privileged laboratory frame within C-slow, C-boost, C-ext, and C-boost-ext — not a universal background-independent floor theorem. " Every failure branch is first-class (F-boost; F-ext; F-boost-ext — routed by a pre-committed branch table), and the add-only annotation to 45's register is generated from the realized closure set, never overclaiming. FloorStatus (general-frame) = scoped; the registered slogans carry the result: "This paper strengthens the standing of the floor, not the floor. " — "A floor that needs a favorite frame is a decree, not a bound. "
Tomoyuki Uchida (Mon,) studied this question.