On Wednesday, 26 March 2025 09:06:04 Pacific Daylight Time Jeremy Rifkin via
Std-Proposals wrote:
> Is this relevant anymore given contracts?

Internal state/invariant verification is not a contract.

-- 
Thiago Macieira - thiago (AT) macieira.info - thiago (AT) kde.org
  Principal Engineer - Intel DCAI Platform & System Engineering