No Such Machine
THE ORANGE BOOK / 0.26

Back matter

Sources and drafting disclosure

This manuscript is an explanatory synthesis of repository-local material. Its principal sources for version 0.1 are:

Version 0.3 adds, among others, the architecture, reproducibility contract, user journeys, threat model, OEP-0001, governance, release policy, and the decision suites under docs/. Version 0.4 adds the pure expression specification and OEP-0005, version 0.5 adds the bindings and conversions specification and OEP-0006, version 0.6 adds the arrays specification and OEP-0007, version 0.7 adds the loops specification and OEP-0008, and version 0.8 adds the conditions specification and OEP-0009, version 0.9 adds the lookups specification and OEP-0010, version 0.10 adds the modules specification, OEP-0011, and the scheme guide, version 0.11 adds the modular arithmetic specification and OEP-0012, version 0.12 adds the blocks specification and OEP-0013, version 0.13 adds the tuples specification and OEP-0014, version 0.14 adds the bytes specification and OEP-0015, version 0.15 adds the sizes specification and OEP-0016, version 0.16 adds the byte order specification and OEP-0017, version 0.17 adds the type parameters specification and OEP-0018, version 0.18 adds the lengths specification and OEP-0019, version 0.19 adds the tests specification and OEP-0020, and version 0.20 adds the computed amounts specification and OEP-0021. Version 0.21 adds the nested-array specification and OEP-0023; version 0.22 adds the static-modulus specification, OEP-0024, P2 limb definitions and the complete 1.0 execution record. Version 0.23 adds the permanent formatter contract and its command, identity and developer-tool status boundaries. Version 0.24 adds the permanent source documentation contract and its syntax-only, offline rendering and product documentation boundaries. Version 0.25 adds the permanent local witness replay contract, its typed value boundary, numeric instance selection and reference-only outcomes. Version 0.26 adds partial P4 mathematical product preparation alongside the existing P2 representation definitions, with exact accumulators and three normalization passes; it adds no P3 proof or P4 completion claim. Appendix D lists the principal sources for each chapter.

Initial manuscript version 0.1—the structure, preface, manuscript map, and Chapter 1—was drafted with OpenAI Codex, based on GPT-5, under Chase Bryan’s direction on 2026-07-12. Chase Bryan is the named author and remains accountable for review, correctness, provenance, and future revisions. AI-assisted prose is not a primary source, proof, independent review, or license provenance.

Manuscript version 0.2 added Chapter 2, drafted with OpenAI Codex, based on GPT-5, under Chase Bryan’s direction on 2026-07-14. The same authorship, review, evidence, and provenance boundaries apply.

Manuscript version 0.3 added Chapters 3 through 17 and Appendices A through D, revised the preface and contents, and updated this map. It was drafted with Claude Code, Anthropic’s coding agent, under Chase Bryan’s direction on 2026-09-28. Each new chapter was cross-checked during drafting against the repository sources it cites; that check is AI-assisted consistency review, not independent review. The same authorship, review, evidence, and provenance boundaries apply.

Manuscript version 0.4 revised the preface, Chapters 1, 3, 4, 8, 9, 11, and 12, and Appendix A for the S3b expression slice. It was drafted with Claude Code under Chase Bryan’s direction on 2026-09-28, and every Orange example it adds was run against the compiler at the revision that introduced it. That check is not independent review, and the same authorship, review, evidence, and provenance boundaries apply.

Manuscript version 0.5 revised the preface, Chapters 1, 3, 4, 8, and 12, and Appendix A for the S3c binding and conversion slice, and added the Chapter 8 section “Naming steps and changing types”. It also records the first D-004 laboratory run in Chapters 3 and 16 and Appendix B. It was drafted with Claude Code under Chase Bryan’s direction on 2026-09-28, and every Orange example it adds was run against the compiler at the revision that introduced it. That check is not independent review, and the same authorship, review, evidence, and provenance boundaries apply.

Manuscript version 0.6 revised the preface, Chapters 1, 3, 4, 8, and 12, and Appendix A for the S3d array slice, and added the Chapter 8 section “A state as one value”. It was drafted with Claude Code under Chase Bryan’s direction on 2026-09-28, and every Orange example it adds was run against the compiler at the revision that introduced it. That check is not independent review, and the same authorship, review, evidence, and provenance boundaries apply.

Manuscript version 0.7 revised the preface, Chapters 1, 3, 4, 8, and 12, and Appendices A and D for the S3e loop slice, and added the Chapter 8 section “Rounds as one expression”. It was drafted with Claude Code under Chase Bryan’s direction on 2026-09-28, and every Orange example it adds was run against the compiler at the revision that introduced it. That check is not independent review, and the same authorship, review, evidence, and provenance boundaries apply.

Manuscript version 0.8 revised the preface, Chapters 1, 3, 4, 8, and 12, and Appendices A and D for the S3f condition slice, and added the Chapter 8 section “Choices and prime fields”. It was drafted with Claude Code under Chase Bryan’s direction on 2026-09-29, and every Orange example it adds was run against the compiler at the revision that introduced it. That check is not independent review, and the same authorship, review, evidence, and provenance boundaries apply.

Manuscript version 0.9 revised the preface, Chapters 1, 3, 4, 6, 8, 12, and 16, and Appendices A, B, and D for the S3g lookup slice and the second D-004 laboratory run, and added the Chapter 6 section “A lookup, two ways” and the Chapter 8 section “Tables keyed by data”. It was drafted with Claude Code under Chase Bryan’s direction on 2026-09-30, and every Orange example it adds was run against the compiler at the revision that introduced it. That check is not independent review, and the same authorship, review, evidence, and provenance boundaries apply.

Manuscript version 0.10 revised the preface, Chapters 1, 3, 4, 8, 12, and 16, and Appendices A and D for the S3h module slice and the sealing commands, and added the Chapter 8 section “Standards built on standards”. It was drafted with Claude Code under Chase Bryan’s direction on 2026-09-30, and every Orange example it adds was run against the compiler at the revision that introduced it. That check is not independent review, and the same authorship, review, evidence, and provenance boundaries apply.

Manuscript version 0.11 revised the preface, Chapters 1, 3, 4, 8, 12, and 16, and Appendices A and D for the S3i modular slice, and added the Chapter 8 section “Fields as types”. It was drafted with Claude Code under Chase Bryan’s direction on 2026-09-30, and every Orange example it adds was run against the compiler at the revision that introduced it. That check is not independent review, and the same authorship, review, evidence, and provenance boundaries apply.

Manuscript version 0.12 revised the preface, Chapters 1, 3, 4, 8, 12, and 16, and Appendices A and D for the S3j block slice, and added the Chapter 8 section “Rounds in the words of their standard”. It was drafted with Claude Code under Chase Bryan’s direction on 2026-09-30, and every Orange example it adds was run against the compiler at the revision that introduced it. That check is not independent review, and the same authorship, review, evidence, and provenance boundaries apply.

Manuscript version 0.13 revised the preface, Chapters 1, 3, 4, 8, 12, and 16, and Appendices A and D for the S3k tuple slice, and added the Chapter 8 section “Several values at once”. It was drafted with Claude Code under Chase Bryan’s direction on 2026-09-30, and every Orange example it adds was run against the compiler at the revision that introduced it. That check is not independent review, and the same authorship, review, evidence, and provenance boundaries apply.

Manuscript version 0.14 revised the preface, Chapters 1, 3, 4, 8, 12, and 16, and Appendices A and D for the S3l byte slice, and added the Chapter 8 section “Bytes as the standards print them”. It was drafted with Claude Code under Chase Bryan’s direction on 2026-09-30, and every Orange example it adds was run against the compiler at the revision that introduced it. That check is not independent review, and the same authorship, review, evidence, and provenance boundaries apply.

Manuscript version 0.15 revised the preface, Chapters 1, 3, 4, 8, 12, and 16, and Appendices A and D for the S3m size slice, and added the Chapter 8 section “One algorithm for every length”. It was drafted with Claude Code under Chase Bryan’s direction on 2026-09-30, and every Orange example it adds was run against the compiler at the revision that introduced it. That check is not independent review, and the same authorship, review, evidence, and provenance boundaries apply.

Manuscript version 0.16 revised the preface, Chapters 1, 3, 4, 8, 12, and 16, and Appendices A and D for the S3n byte-order slice, and added the Chapter 8 section “Words in either byte order”. It was drafted with Claude Code under Chase Bryan’s direction on 2026-09-30, and every Orange example it adds was run against the compiler at the revision that introduced it. That check is not independent review, and the same authorship, review, evidence, and provenance boundaries apply.

Manuscript version 0.17 revised the preface, Chapters 1, 3, 4, 8, 12, and 16, and Appendices A and D for the S3o type-parameter slice, and added the Chapter 8 section “One function for several types”. It was drafted with Claude Code under Chase Bryan’s direction on 2026-09-30, and every Orange example it adds was run against the compiler at the revision that introduced it. That check is not independent review, and the same authorship, review, evidence, and provenance boundaries apply.

Manuscript version 0.18 revised the preface, Chapters 1, 3, 4, 8, 12, and 16, and Appendices A and D for the S3p length slice, and added the Chapter 8 section “Vectors at full length”. It was drafted with Claude Code under Chase Bryan’s direction on 2026-09-30, and every Orange example it adds was run against the compiler at the revision that introduced it. That check is not independent review, and the same authorship, review, evidence, and provenance boundaries apply.

Manuscript version 0.19 revised the preface, Chapters 1, 3, 4, 8, 12, and 16, and Appendices A and D for the S3q test slice, and added the Chapter 8 section “Known answers beside the algorithm”. It was drafted with Claude Code under Chase Bryan’s direction on 2026-09-30, and every Orange example it adds was run against the compiler at the revision that introduced it. That check is not independent review, and the same authorship, review, evidence, and provenance boundaries apply.

Manuscript version 0.20 revised the preface, Chapters 1, 3, 4, 8, 12, and 16, and Appendices A and D for the S3r amount slice, and added the Chapter 8 section “Amounts the data choose”. It was drafted with Claude Code under Chase Bryan’s direction on 2026-09-30, and every Orange example it adds was run against the compiler at the revision that introduced it. That check is not independent review, and the same authorship, review, evidence, and provenance boundaries apply.

Manuscript version 0.21 updates Chapter 8, the current slice marker, and the status ledger for S3s nested arrays, with the executable “Arrays of rows” example. Codex using GPT-6.1 prepared these changes under Chase Bryan’s 2026-10-01 direction. Their implementation tests are solo-produced evidence; they do not supply independent review or semantic acceptance.

Manuscript version 0.22 updates the finite-size modulus boundary, Chapter 8’s executable examples and representation work, the current slice marker and status ledger, and the complete 1.0 execution path. Codex using GPT-6.1 prepared these changes under Chase Bryan’s 2026-10-01 direction. The proposals remain in review; no foundational decision, proof or release is inferred.

Manuscript version 0.23 documents the syntax-only formatter, its stdout and check-only interfaces, and the source identities that formatting changes. Codex using GPT-6.1 prepared these changes under Chase Bryan’s 2026-10-01 direction. The semantic boundary remains S3t in review; this frontend tool does not close S8 or establish proof, evidence or release acceptance.

Manuscript version 0.24 documents the syntax-only source documentation generator, its standalone offline HTML, bounded rendering and source-display identity. Codex using GPT-6.1 prepared these changes under Chase Bryan’s 2026-10-01 direction. The semantic boundary remains S3t in review; generated source pages supply no checked claim, proof acceptance or release authority.

Manuscript version 0.25 documents the typed local argument decoder and Boolean witness replayer. Codex using GPT-6.1 prepared these changes under Chase Bryan’s 2026-10-02 direction. The semantic boundary remains S3t in review; one concrete execution supplies no proof, solver selection, D-009 candidate credit, atomic claim authority or release acceptance.

The repository has no selected outbound documentation license under D-018. No license or redistribution grant should be inferred from this manuscript.