This book is a synthesis of repository sources. The principal sources for each part are listed here so a reader can move from explanation to authority.
- Chapters 1 through 3: the project charter, the research analysis, the assurance model, the product-form decision packet, and the semantic strata decision suite.
- Chapters 4 and 8: the grammar specification, the typed-literal semantics, OEP-0003, the proposed expression, binding and conversion, array, and loop, condition, and lookup, module, modular arithmetic, block, tuple, byte, size, byte order, type parameter, length, test, and amount specifications under OEP-0005 through OEP-0021, nested arrays under OEP-0023 and static moduli under OEP-0024, the compiler guide, the scheme guide, and the compiler’s own behavior at the book’s snapshot.
- Chapters 5 and 6: the architecture, the assurance model, the proof foundation and solver trust decision suites, and the threat model.
- Chapters 7 and 16: the decision register, OEP-0001, governance, the roadmap, and the owner’s recorded directions.
- Chapters 9 and 10: the architecture, the compiler strategy decision suite, and the user journeys.
- Chapters 11 through 13: the research analysis, the reproducibility contract, and the assurance model.
- Chapters 14, 15, and 17: the architecture, the reproducibility contract, the user journeys, the release policy, the security policy, and the support policy.
External standards, programs, and tools named in the book, such as FIPS publications, ACVP, FIPS 140-3, Wycheproof, SLSA, SPDX, and CycloneDX, are referenced for orientation only. The book imports none of them as normative input, and any future use would carry the exact provenance described in Chapter 11.