Each asset has a defined responsibility, an intended producer, and an intended consumer. The raw JSON opens directly in a new tab and can be retrieved by schema validators, developer tools, or automated documentation systems.
Core schema
Execution Contract Schema
Defines the complete versioned envelope that binds requester, actor, proposed action, target, authority, evidence, current state, policy, constraints, admissibility, execution, receipt, correction, and lifecycle state.
Used by: Contract builders, admissibility gates, validators, ledgers, and conformance tools.
Shared definitions
Common Definitions Schema
Defines reusable public objects including requester, actor, target, authority claim, delegation, evidence, current-state snapshot, policy binding, constraints, admissibility decision, correction record, and lifecycle record.
Used by: All SAQ™ public schemas.
Bounded authority
Execution Grant Schema
Defines the narrow, expiring, replay-resistant grant issued only after a contract is admitted. It binds one actor, action, target, constraint set, validity window, use limit, and revocation source.
Used by: Grant services, execution brokers, and boundary verifiers.
Proof of consequence
Execution Receipt Schema
Defines the attributable receipt that distinguishes what was proposed, what was authorized, what was realized, the resulting state, execution variance, and whether correction is required.
Used by: Executors, ledgers, correction services, auditors, and conformance tools.
Decision language
Reason-Code Schema
Defines the structure of public reason codes used to explain denial, deferral, expiry, escalation, revocation, correction, and other boundary outcomes.
Used by: Admissibility gates, transition records, remediation workflows, and receipts.
Conformance examples
Test-Vector Schema
Defines the format of positive and negative examples used to test admissibility evaluation, grant verification, receipt validation, and correction behavior.
Used by: Implementers, reviewers, and future public conformance tooling.
State machine
Lifecycle Transition Rules
Publishes the contract states, permitted transitions, required guards, transition-record requirements, and expressly forbidden transitions.
Used by: Contract orchestrators, ledgers, gate services, and state-machine validators.
Decision language
Reason-Code Catalog
Publishes the public catalog of structured reason codes with category, severity, default disposition, message, remediation, retryability, and terminal-state meaning.
Used by: Boundary decisions, execution refusals, remediation, correction, and conformance evidence.
Verification
Test-Vector Manifest
Indexes five positive and five negative test vectors covering admissibility, bounded grants, stale state, expired authority, action mutation, replay rejection, receipts, and correction.
Used by: Developers and reviewers validating public v0.1 behavior.
Publication
Public Asset Manifest
Identifies the public release, publication rights, excluded controlled assets, raw asset URLs, file sizes, and SHA-256 digests.
Used by: Provenance review, release verification, and automated documentation.