Public observability layer ·
local checks are transparent ·
structural evaluation is private (GuardianAI)
Expression
PUBLIC
Constraint Envelope
PUBLIC
Domain declarations
Assumptions
Regime
Transformation Steps
PUBLIC
Current Expression
PUBLIC
Visible constraints
Transformation trace
Local Observable Checks
PUBLIC — transparent, not structural proof
Packaged CAE Object (JSON)
PUBLIC
This is the object sent to the remote endpoint.
Remote Structural Evaluation
PRIVATE — GuardianAI
Structural evaluation is handled by the private GuardianAI core via a narrow API boundary.
The mechanism is black-box. Only public-safe response fields are returned and displayed here.
If the endpoint is unavailable, local checks remain the only observable output.
idlePUBLIC APP LAYERv0.1.0 — GuardianAI endpoint: not configured