- Protocol
- SOVOS_CANON_V1
- Schema
- v2.4
- Attestation Format
- v1.1
- Failure Semantics
- Fail-closed
Protocol Registry
Supranational Invariant Surface
This registry defines protocol-level claims. Any output that cannot be independently reproduced is treated as invalid under fail-closed policy.
Canonical-Byte Re-Judgment Invariant
A terminal Sovrient claim is admissible only when a third party can recompute the same result from the declared packet bytes, declared specification bytes, and declared verifier mode. If any byte, specification, mode, dependency, signature, or required sidecar is missing or divergent, the claim does not pass.
This is the spec-facing home for the technical-register phrase. Buyer-facing pages translate the same rule as independently re-judgeable release evidence.
Versioning And Public Contract
| Surface | Current Public Label | Change Rule |
|---|---|---|
| Protocol | SOVOS_CANON_V1 | Changes only when the protocol-level verification contract changes. |
| Schema | v2.4 | Changes when serialized public evidence structure changes. |
| Attestation Format | v1.1 | Changes when signature, receipt, or sidecar semantics change. |
| Agent Discovery | SOVRIENT_AGENT_MANIFEST_V1 | Changes by schema version and generated_utc; freshness boundaries remain explicit inside the manifest. |
- Class
- VOSINT (Verifiable Open-Source Intelligence)
- Evidence Model
- Merkle-sealed, deterministic replay, signed witness surfaces
- Anchor State
- AWAITING WITNESS
- Policy
- NO PASS . NO RENDER . NO RELEASE
Crypto Agility Scope
Public Registry + Daily Catalogs
CLASSICAL_AUTHORITATIVE_WITH_PQC_SHADOW_TELEMETRY
Public protocol registry and daily sealed catalog custody remain classical-authoritative unless a broader policy promotion is published.
Authoritative MAS Portfolio
HYBRID_TRACE_COMPLETE_ON_HIGHEST_VALUE_ANCHORS
Authoritative MAS bundles now expose hybrid Ed25519 + ML-DSA-65 trace signatures across the supported USGS shadow, local benchmark, and MAS→NERV anchors. This MAS-scoped status does not by itself promote the broader public custody surface.
Invariants
- Verifier sovereignty: third parties can replay and reject without coordination.
- Non-repudiation: signatures and hashes bind each attestation state.
- Temporal continuity: identical inputs produce identical outputs through deterministic replay.
- Binary verification outcome: pass or fail; no soft acceptance.
Schema Catalog
Core Public Schemas
- protocol.json · protocol registry and invariants.
- status.json · operational status and freshness disclosure.
- machine-state.json · agent-readable discovery summary.
- agent-manifest.json · versioned agent discovery contract.
- sealed_catalog_latest.json · latest sealed lane catalog.
Standards And Conformance
Conformance Clauses
| Clause | Requirement | Failure Behavior |
|---|---|---|
| Declared Inputs | Input files, source windows, verifier mode, and method identifiers must be named before interpretation. | Missing declaration means HOLD or FAIL, not discretionary acceptance. |
| Canonical Serialization | Artifacts that enter a receipt must be serialized deterministically and hash-bound. | Byte divergence breaks replay and invalidates the specific claim. |
| Signature And Receipt | Sealed artifacts require signatures, sidecars, and receipt handles appropriate to the lane. | Missing or mismatched sidecars fail closed. |
| Freshness Boundary | Summary surfaces must disclose when they lag artifact-level evidence. | Artifact-level generated_utc, hashes, and sealed catalog records take precedence over prose. |
| External Trust | External trust is claimed only when an independent witness, audit, signature, timestamp, or anchor actually exists. | Unwitnessed or informational anchors remain non-production signals. |
Scope Declaration
Within Scope
- Multi-source seismic corroboration.
- Deterministic synthetic GUL outputs.
- Signed day receipts and registry entries.
- Merkle range packs and inclusion proofs.
Out of Scope
- Claims handling for any insurer or reinsurer.
- Legal opinion on settlement enforceability.
- Model science replacement for proprietary catastrophe models.
- Publication of private portfolio exposures.
- Licensing determinations, which are jurisdiction-specific.