49. Interpretation and scope

The framework is intentionally operational, but that does not make it philosophically complete. A contract specifies selected consequences. It does not establish that those are all the consequences that matter. A formal model of a subject can be wrong, and a model of a reasoner’s computation can be incomplete. A successful finite witness does not answer every question about meaning, intentionality, or experience.