Read the full manuscript online, from its preface and five parts to the theorem ledger and reproducible examples. This presentation preserves source lines and the original mathematical expressions. The full PDF and visual sampler remain available alongside it.
Work overview Contents Read PDF More resources Start reading
Contents Introduction (2) 1 Preface 2 Reading map Proof fields and certificates (8) 3 Proof fields and certificates 4 Introduction 5 Claim types and logical boundaries 6 Typed proof fields 7 The ambient proof field and the meaning of failure 8 Certificates and verification closure 9 Alternative derivations and certificate complexity 10 Certified paths as a category Coherent realization and information (3) 11 Coherent realization and information 12 Komorebi Space, realization fibers, and informative questions 13 A checked realization bridge for proof fields Compression, representation, and memory (9) 14 Compression, representation, and memory 15 Compression relative to a task family 16 Endpoint, audit, and discovery equivalence 17 Vector-valued loss 18 Compression debt 19 A proof ecology rather than one ideal form 20 Proof compilers and shared ledgers 21 Latent bridge graphs 22 Retention under a budget Revision, review, and inquiry (7) 23 Revision, review, and inquiry 24 Versioned proof objects 25 Evidence ledgers and provenance 26 Correlated review 27 Shared interpretation, review dependence, and identification 28 Verification bandwidth and audit queues 29 Recursive proof cubes and expansion depth Examples, implementation, and boundaries (11) 30 Examples, implementation, and boundaries 31 Worked finite examples 32 Reference implementation 33 What the theory establishes 34 Limitations and claim boundaries 35 Open theorem program 36 Conclusion 37 Notation and hypotheses 38 Theorem ledger 39 Reproduction and verification records 40 A complete minimal proof-field record References (1) 41 References PDF and companion guides All 25 numbered figures and six visual studies appear in the HTML chapters. The complete typeset edition and visual sampler remain available above. The chapters preserve the source wording, mathematical statements and recorded limits. They do not add a proof assessment.
