Foundations and Methodology for a Finite-QEC Substrate: Code, Crystallisation, Ledgers, and Audit Protocol | Synapse