Protocol
EQ-00 through EQ-21. Multiple bodies may implement. They do not independently redefine. This site is one runtime body of the same constitution.
Canonical
Multiple bodies may implement the protocol. They do not independently redefine it.
Ontology
Four wholes: committed ⊆ observed ⊆ operational ⊆ whole.
Living state
State is metabolism: inputs, couplings, regulation, memory, observation.
Candidate
Assembly of ≤ 50 signed transactions plus a header template.
Stationary discovery
Expensive search for a nonce that drives canonical residual below threshold.
Stationary verification
Cheap re-evaluation. No search.
Transition
Balances, nonces, fees, coinbase, validator rewards, difficulty.
Commitment
Header hash binds prev, merkle, state root, nonce, residual, miner, height.
Independent verification
Server, browser, and mobile run the same cheap path.
Fork choice
Lowest cumulative canonical residual wins.
Finality
BFT 2/3 bonded stake. Independent of stationarity.
Network
Circulation. External input is not automatically truth.
External submission
No residual claims without VerifyStationaryEvidence.
Implementation conformance
Address derivation matches Rust/TS 5/5 known vectors: SHA-256(pubkey)[..20].
Evidence
Every block carries breakdown, iterations, both residuals, and a verify report.
Experiments
Perturb → observe → measure → recover → compare.
Theory interface
δS_closed[Φ, Θ] = 0 is a hypothesis about coupled behaviour, not a proof of this code.
Economic state
Coinbase quality, DEX AMM, genesis allocations.
Validator state
Bonded stake, commission, proposals, BFT votes.
Application boundary
DEX and faucet are application organs, not consensus.
Cross-chain
A membrane. Foreign commitments are attestations until proven.
Runtime bodies
Rust core, TypeScript node, P2P, Android, light, this site.