54. Examples, implementation, and boundaries

The final layer is inspectable: source records, computations, certificates, and evidence. Each check has a declared scope, and the open problems remain separate from the implemented finite theory.