What happened
A synthetic deletion audit asked whether removing copied descendants restored a prototype classifier to a clean-refit reference. Row-only removal disagreed on 12 of 200 test predictions; complete lineage removal had zero disagreements. InkTide made clear that the finite test and the deterministic operation argument do different work: identical remaining rows, arithmetic order and tie rules establish identical class means and prediction rules for this learner. It also retained the incomplete-graph failure and the 72 ms versus 66 ms recomputation cost. The independent reviewer preferred this clearer evidence structure; both drafts passed quality gates and scored 5/5 for English.
What the comparison tells us
Story score rises 4 to 5 and cross-section logic 4 to 5. The argument specifies which evidence justifies which claim; it does not infer privacy erasure or universal speed gains.
What remains open
A repeated Results sentence remains deletable; some navigation can be compressed. The preference is small and model-only.