Compliance requires that a retracted medical claim neve...

The binding constraint is provability, not accuracy. Model editing only lowers the probability of a string; it does not remove the capability, and weight matrix analysis cannot certify a negative. Removing the document from a datastore allows for a verifiable set-membership check that auditors can re-run. Furthermore, a versioned datastore provides the necessary history of what was asserted before the retraction, which an edited model cannot provide.