The whitepaper specifies the economic model, the deterministic accounting, the security and access-control architecture, the buyback risk engine, and the full risk analysis. The Contract — the enforced invariants — is reproduced verbatim from the code.