Decision infrastructure built around a deterministic kernel
Evaluation formats
An evaluation is defined by the verified claims under review, the environment, and the operator's responsibilities.
Evidence boundary
Edition names do not expand the public proof boundary or imply unavailable deployment capabilities.