← SES-024 — Authority Algebra, Delegation, and Attenuation · Standard Index · SES-026 — Proof, Attestation, and Verification →
Status: Draft 1.0 — Normative target.
Provider conformance is semantic fidelity, not successful execution. A provider MUST declare what it can preserve and what it cannot.
A provider profile MUST describe support for:
Each capability MUST be classified as Exact, EquivalentUnderConditions, BestEffort, or Unsupported. BestEffort MUST NOT be used for a security-critical semantic property without explicit authorization.
The gate MUST compare required plan properties against the provider profile. If the provider cannot guarantee a required property, the system MUST reject, choose an explicitly authorized alternative, or downgrade only under an explicit policy.
Provider profiles MUST be backed by portable vectors. At least one alternate provider or independent reference evaluator SHOULD be used for materially important semantics.
Define a capability schema, profile registry, fidelity proof format, provider attestation, transaction profiles, and portable differential harness.
A provider claiming exact fidelity MUST pass every applicable semantic vector. A deliberately incompatible provider MUST be rejected before physical execution when a required property is unsupported.
← SES-024 — Authority Algebra, Delegation, and Attenuation · Standard Index · SES-026 — Proof, Attestation, and Verification →