Aliases: runtime alternatives; enum; Option; Result; admission; revocation; expiry; TOCTOU; trust.
The compiler makes declared relationships consequential. It does not establish current membership, expiry, truthful provider observations, independent real people, database contents or successful external effects. Check those facts at the owning boundary with the actual resources and concurrency discipline.
An established prerequisite should not become an avoidable Option or flag that every downstream leaf must rediscover. Genuine alternatives remain at their owner, using an enum, result or another appropriate interface. They can produce protected continuations. Neither banning enums nor using one platform-wide outcome vocabulary fulfills this obligation.
Recheck mutable authority after a boundary that invalidates the earlier facts. Do not keep a transaction open over a human delay or arbitrary external work merely to retain a type. Define what persists, what a later occurrence reloads, and what its current admission must establish. Fixture observations are teaching conveniences, not production authentication.
Your Reflection
Notes are browser-local. Export a copy to keep them; they are not submitted or judged.