The docs site now carries the P0 specification: Pappus quotes, Cramér limits, the fee index, the contract interface, the trust model and the legal pages. Nothing is deployed yet. Gate G2 (testnet deploy) is pending, so every account id reads TODO-G2 and every status cell reads "not deployed".