- Architecture Overview — Core components, transaction pipeline, and design decisions
- Contra Core — Transaction pipeline, supported programs, and limitations
- Indexer & Operator — Datasource strategies, backfill, reconciliation, and operator pipeline
- Escrow Program — On-chain escrow: instructions, accounts, PDAs, and error codes
- Withdraw Program — Channel-side burn mechanics, events, and error codes
- Devnet Quickstart — End-to-end setup: escrow instance, deposit, transfer, withdraw
- Escrow Interaction Guide — TypeScript examples for all escrow instructions
- Withdrawing Guide — Withdrawal flow from channel burn to Mainnet release
- System Invariants — Safety and correctness invariants with implementation status
- Technical Requirements — Hardware specs, software versions, ports, and firewall rules
- Configuration & Operations — Service configuration, tuning guidelines, restart/recovery, and operational tools
- Railway Deployment — Multi-service deployment to Railway with observability