SEAL-Core v0 is a prototype authority model. It is not production authorized, not externally certified, not government approved, and not whole-system formally verified.

Report security issues privately to the repository maintainers. Do not rely on this prototype for production enforcement, kernel isolation, or operational security boundaries.

The trusted authority logic for this pass is limited to the F*/Low* files in src/.