Verification algorithm
Follow bounded decode through action binding.
The protocol defines how explicit trust, signed grants, canonical actions, carried evidence, status, assurance, and authorization plans produce a stable three-way result.
Verification algorithm
Follow bounded decode through action binding.
Wire schema
Inspect the deterministic CBOR model and CDDL source.
Registries
See the closed identifiers and executable implementations accepted by V1.
Result codes
Browse generated denied and indeterminate codes.
verify_v1( proof_cbor, canonical_action_cbor, trusted_context_cbor) -> verification_result_cborThe result includes stable stage and code values, self-binding digests, authorized branches, assurance satisfactions, and resource/work totals.