Appendices

1. State Machines & Sequence Diagrams for on-/off-ramp and dispute flows.
2. Proof Interface Specs: inputs/outputs for identity predicates; verifier APIs; planned evidence module interface.
3. Oracle Adapter Spec: sources, aggregation, parameters.
4. Reputation Math: scoring formulae, decay, thresholds, and examples.
5. Governance Parameters Registry with safe ranges and change procedures.
6. Glossary of protocol terms and rail classes.