Manuscript IV-B@1 · IV-B-v1.tex · scope · dfb66408

What has been debugged

Scope, philosophy, and the corrected release › Two grades and one necessary subdivision · lines 187–201

has been debugged{ The literal inference

local conical flatness ⟹ global transfer of all three Minkowski models

is invalid. So is

a timestamp on a global Ramsey operation ⟹ a compact causal system-probe implementation .

We prove the corrected interface result and leave these stronger connecting constructions explicitly unclaimed.}

Displayed formulas in this passage

unlabeled · line 189
$local conical flatness ⟹ global transfer of all three Minkowski models$
unlabeled · line 195
$a timestamp on a global Ramsey operation ⟹ a compact causal system-probe implementation .$