Manuscript XV-A@1 · XV-A.tex · section · f53f3515
Claim ledger
Claim ledger · lines 299–421
Completed scalar tests have a fixed-input sharp-width limit.
&
X-D@3, fixed-input release, lines 1445–1478.
&
The X-D fixed-input ramp family.
&
Completed scalar tests with the inputs held as declared.
&
Sharp-width limit; further order details unavailable.
&
Reported\ construction.
&
Joint sharp admission of a quantum metric kernel or a changed-input
limit.
The held-fixed graviton defect of the one-tree observable is
nonzero at .
&
X-E@1, release, lines 201–230;
supplied account.
&
One matter tree; flat gauge fixing.
Exact full action and inverse formula unavailable.
&
One-tree observable and held-fixed graviton comparison.
&
Tree calculation; defect at .
&
Reported\ nonzero defect.
&
Failure of every all-tree completion or an obstruction to every
gauge choice.
Three trees in background de Donder gauge close the stated
all-tree identity.
&
X-F@1, F6, lines 1269–1318;
supplied account.
&
Background de Donder gauge; three trees.
&
Declared X-F all-tree domain.
&
; precise coupling boundary is not recoverable from the
truncated supplied sentence.
&
Reported\ closure with an unresolved order citation.
&
An unrestricted BRST theorem, higher-order closure, or a
one-loop coefficient.
The unrestricted classical master equation is obstructed,
while a relative action identity is available.
&
Coverage account for XIV-A; no complete proof excerpt.
&
Reported frozen cubic data; fixed backgrounds.
&
Unrestricted ghosts versus ghosts supported where both backgrounds
are trivial.
&
Classical; precise coupling truncation unavailable.
&
Reported\ domain-dependent result.
&
Observable closure, unrestricted fixed-background covariance,
or a quantum differential.
The relative complex does not induce the claimed interacting
differential on the unchanged free-shell carrier.
&
Coverage account for XIV-B; no complete proof excerpt.
&
Relative classical complex; positive-coupling gauge-fixed equations.
&
Compact relative ghosts and the separate free-shell carrier.
&
Classical; agreement only at order zero is reported.
&
Reported\ carrier separation.
&
That compact gauge parameters are nonzero homogeneous free ghost
solutions, or that the free-shell equation ideal is unchanged.
The internal amplitude remains unresolved at H2.
&
XIV-H@1, thm:H2, lines 1539–1582.
&
Two internal placements with fixed retarded lines and smooth weights.
&
Untested internal kernels; internal characteristic transition.
&
Internal tree data, before quantum cross-line composition.
&
Copied input\ (source: unresolved at H2).
&
Nonexistence of every amplitude construction or admission of a
quantum coefficient.
Both internal placements are defined by tensor-product
pullback.
&
XIV-H@1, prop:K5exact, lines 1135–1202.
&
Products and , then finite
differential operations.
&
Internal distributions, including .
&
Internal tree kernel; not the contracted quantum target.
&
Copied input\ (source: constructed).
&
A product with the quantum cross-lines on the characteristic locus.