Dressed Record Sources Without a Global Local Algebra: Lifting the Kernel's Source Object from Coordinate Cells to Relational Support

The record-history kernel adopted earlier in this series reads its source object — the record-export current's localization — off declared weak-field coordinate cells. That convenience was registered as a debt: an earlier paper set up and left open the genuine dressed, diffeomorphism-invariant region-algebra construction; the recovery panel barred discharge claims on the dressed-source debt; and the previous paper, which certified the kernel's causal core under a minimal apparatus-anchoring assumption, assigned this panel the dressed replacement as an open conjunct. This paper is the permitted attempt on that debt, for the kernel's source object specifically — not the general region-algebra problem of quantum gravity, which stays open on every branch and is said to stay open. The question audited: does what the kernel's sources are require a unique, background-independent, strictly local algebra per source — the Global Local Algebra, barred in any case by the imported Donnelly-Giddings obstruction — or does a declared family of admissible dressings, plus demonstrated invariance of exactly the functionals that enter experiments, do all the work the physics needs? Three dressing classes are constructed — anchor-record (on a non-circular anchor base fixed by the recovery panel's a-priori eligibility certificate), relational matter-field (partial-observable level sets), and world-tube/causal-diamond — each with domain, map, regularity, a covariance argument, a named reduction map to the kernel's cells, and a failure branch. The audit runs on a transport-bounded convention subclass: dressings whose profiles satisfy a declared Wasserstein-1 bound relative to the certified cell profile. That bound is a declared membership condition, not a theorem about all admissible dressings — the paper says so plainly and treats the per-class membership derivations as open work. The flagship invariance audit then shows: the order-face observables (the excess-law coefficient and the certified-export count) are identically invariant across the entire admissible family, by a one-line typing argument — they contain no localization data at all; the drift moment is invariant on the subclass with the bridge from intensity profiles to gravimeter response displayed, nine to sixteen orders below every declared gravimetry tolerance; and the geometry-noise source, audited at its actual bilocal covariance form on a declared positive test class, is invariant at the declared operating points with the response scalar sixteen orders below any plausible floor. The verdict is scoped, not discharged: invariance is certified on the named convention class — so the kernel may legitimately run with its source object typed as relational on that class — while the membership derivations, dressings beyond the subclass, and the general region-algebra construction are named open. Supports may remain admissibly open while every audited value holds: non-uniqueness of where, and invariance of what enters experiments, are compatible — and that combination, on its named class, is what replaces the Global Local Algebra. The substantive face of the foil — one true canonical dressing — is declined, not refuted. Nothing is adopted, calibrated, or scored; no prediction band moves.