Manuscript IX-D@3 · IX-D-v3.tex · section · 3ad4586e

What was updated

Revision, domain, and verification audit › What was updated · lines 1900–1926

The obsolete claim that IX-Free's degree-four descent remains the current free stop has been removed. IX-Free-2 is the entering reference for the named free sector.

The revision does not independently certify the companion carrier or triangle proofs. It inherits the supplied IX-Free-2 theorem relative to exactly its stated premises.

The separate causal hypotheses are retained. In particular:

free wordwise coherence \neq \Rightarrow time ordering,

configuration-support inclusion \neq \Rightarrow retarded argument-slot support,

F9a \neq \Rightarrow F9b or quantum hypocontinuity .

Displayed formulas in this passage

unlabeled · line 1911
$free wordwise coherence \neq \Rightarrow time ordering,$
unlabeled · line 1916
$configuration-support inclusion \neq \Rightarrow retarded argument-slot support,$
unlabeled · line 1921
$F9a \neq \Rightarrow F9b or quantum hypocontinuity .$