<aside>
🔏
Anchored surface: VDF STARK Prover — Winterfell 0.13.1 Trait Migration
Charter type: Verifiable-compute jurisdiction under a Custom DAO Charter (no external framework cleanly fits).
</aside>
<aside>
🔗
Canonical cluster anchors (previewable). Yennefer cluster · TAEX · Retraining loop · §6.17 · Integrations registry · Integrative Flow.
‣ · ‣ · ‣ · ‣ · ‣ · TAEX Intent Router — Agent-Based Routing with Dissonance Memory MCP · ‣ · ‣ · ‣
</aside>
Constitutional clauses
- Every settlement is proven. No economic action settles without a STARK proof verified by the chancellery's reference verifier. Soft-settlement ("trust the operator") is unconstitutional.
- Winterfell parity is binding. Alternative provers MUST produce proofs byte-compatible with the Winterfell 0.13.1 reference. Forks that diverge are political acts requiring a Tier-King vote.
- Public verifier, private prover. The verifier is open and reproducible. The prover may be operated privately, but cannot withhold a proof when settlement is requested.
- VDF as time-anchor. Verifiable Delay Functions are the canonical time-anchor primitive for the federation — wall-clock claims are inadmissible.
Vetoable actions
- Any proposal that allows unproven settlements above a charter-defined dust threshold.
- Any proposal that closes the verifier source.
- Any proposal that replaces STARK with a non-post-quantum primitive.
- Any proposal that elevates a non-Winterfell-compatible prover without supermajority.
Federation responsibilities
This kingdom underwrites every other kingdom's settlement layer. Members of other kingdoms may petition the chancellery to verify their own protocol's correctness in exchange for QFOP. Refusal to verify must be justified in the public log.
Tier ladder
- Merchant — submits proofs for verification, does not operate a prover.
- Lord — operates a prover for a single application domain.
- King (floor) — operates a multi-domain prover and contributes to the reference verifier.
- Eternal Diamond — maintains the Winterfell parity test suite.