Debugging audit

{@{}p{.33}p{.62}@{}} Invalid upgrade & Correction
Invalid upgrade & Correction

The four sheets are independent constructions & They use one host contract, one inherited free sector, and four ordered stage releases.

Free coherence constructs time ordering & The interfaces and the auxiliary classical-product counterexample separate these assertions.

A constant projection defines a retarded map & It loses nonconstant and lower-order coefficient information and supplies no causal extension.

Double ordering requires overlap & It requires causal disjointness, excluding null relation and coincidence.

A later slab proves exactly one ordering & It proves one ordering. Actual causal relation is needed to rule out the reverse.

Full support or injectivity computes the commutator & The commutator depends on $K-\overline{K}$, evaluated independently.

Observation-spacelike means functionally two-way & The sharp metric dependence includes its retained past and potentially its initial surface.

An upper causal ball proves lower support & No reverse inclusion follows. A solid-ball lower theorem is false in the specified flat realization.

The reflected cone carries a second delta & It is a jump of the locally integrable cosine difference. The direct delta remains separate.

The apex can receive an arbitrary contact & The common-Abel limit and global locally integrable cosine representative already fix it.

The source $a=-f\mathrm{d}\varphi$ can be chosen componentwise & The sphere detector uses a single explicit scalar configuration respecting that restriction.

An abstract carrier trace is (TC) & (TC) identifies the same actual adjoint on its required source domain and gives its null-sphere formula.

A flat trace calculation verifies every inherited operator & A same-operator, same-domain, same-normalization identification is required.

An earlier accepted trace formula can be assumed while (TC) is still declared unverified & If the formula has all of (TC)'s hypotheses for the same adjoint, the bridge is already proved. The two input regimes are explicitly separated.

An algebraic complement gives continuity & The extension criterion is algebraic; no continuous complement or sharp kernel is produced.

A contact changes two unequal forced free values into one & Factorization requires equality to both; the fixed-domain contradiction is independent of the proposed contact.

The parent $cr$ class classifies binary contacts & It is a supplied three-observation numerical conversion class, not a binary causal ambiguity theorem.

A third-order numerator gives a third-order quotient & Only the quotient through second order is determined.

Conditional subtraction is a slot-support theorem & It proves a functional-pair vanishing implication only.

A certificate clock consumes geometric time & Only the finite measured register names are consumed.