← SES-022 — Transport-Neutral Wire Protocol · Standard Index · SES-024 — Authority Algebra, Delegation, and Attenuation →
Status: Draft 1.0 — Normative target.
SES MUST treat these as independently versioned domains:
A version MUST declare whether it is backward compatible, forward compatible, conditionally compatible, or incompatible. “Same major version” alone is insufficient evidence.
Before execution, peers MUST establish a mutually supported capability set. Unsupported semantics MUST result in deterministic rejection or an explicitly authorized fallback that preserves required invariants.
A downgrade MUST NOT remove a security requirement silently. Security profiles, authorization semantics, provenance requirements, and mutation guarantees MUST be monotonic unless an explicit policy permits the weaker profile.
Cache keys MUST include every version domain whose change can alter meaning, authority, provider behavior, or resource safety.
Generated metadata and IR MUST record the source schema/contract version and generator version. Stale generated artifacts MUST be rejected or regenerated deterministically.
Define a formal compatibility algebra, negotiation transcript, downgrade rules, migration tooling, and compatibility test vectors.
A compatibility harness MUST prove that supported combinations execute, unsupported combinations fail closed, and security-relevant downgrade attempts cannot broaden authority.
← SES-022 — Transport-Neutral Wire Protocol · Standard Index · SES-024 — Authority Algebra, Delegation, and Attenuation →