Nothing is retyped. The real page is frozen exactly as it shipped.

Every rule the page implicitly set for itself, made explicit.

A version that holds the contract instead of guessing at it.

The reasoning travels with the result.