How Dart 3.0's class modifiers enable a pattern where types prove that computations have occurred. A capability missing from JavaScript, Python, TypeScript, Java, and most mainstream languages.