Architecture contract
Input is aPolicyCheckV1 (principal, action, resources, data classes, external effects, spend). Output is a PolicyDecisionV1 with a precedence: hard deny, hard allow, soft, cognitive, fail-closed. Hard deterministic rules run before any probabilistic risk. A policy may raise friction; it may not weaken a hard deny. Timeouts and missing calibration resolve to ASK.