Research-stage boundaries
- The current proof does not establish universal application coverage.
- Contract validity does not imply proof-runtime support for every admitted form.
- The web prototype did not establish production durability, deployment or security certification.
- Android product development is active; debug image workflows are not enabled for production users.
No arbitrary code escape hatch
The architecture intentionally favors explicit capability primitives over arbitrary producer-written code. This creates real expressiveness limits; those limits are part of the research question, not something the public story should hide.
Claims may move
New product work does not change what the earlier prototype established. See the Product page for current Android examples.