Appendix G Sources and Edition Notes

Book contents · Previous: Appendix F FlatBuffers Table Laboratory

Appendix G of FlatBuffers & FlexBuffers: From Bytes to Mutable Memory. Sources and Edition Notes from the complete supplied first edition.

This is the supplied first edition, pinned to its September 2026 source baseline. The laboratories and LiveFlex capstone are educational implementations and design proposals. The book overview explains the evidence limits; Reaktor’s performance review documents the current framework.

Appendix G: Sources and edition notes

The numbered citations in this book refer to the primary sources below. The three implementation files are pinned to commit b8431fbcd7a5c71817f314e18b332c0648554efa, dated 14 September 2026. Other links are documentation locations consulted for this edition on 18 September 2026; rolling documentation can change. The Java reference deliberately uses an explicit JDK 22 API baseline. C++ draft links explain the language rules discussed, not a claim of complete support in every compiler.

Wire-format explanations and implementation observations are distinguished from the original LiveFlex design. Test receipts describe only executions performed for the supplied companion. The book does not claim upstream-runtime interoperability, production hardening, a completed optimized allocator, or benchmark superiority.

[1] Google FlatBuffers: FlexBuffers C++ implementation

Pinned source; type codes, layout, reader, builder, mutations, verifier.

Open primary source

[2] Google FlatBuffers: Table implementation

Pinned source; vtable lookup, accessors, mutation, verification helpers.

Open primary source

[3] Google FlatBuffers: FlatBufferBuilder implementation

Pinned source; reverse construction, offset conversion, vtables, 64-bit-region mechanisms.

Open primary source

[4] FlatBuffers documentation: Internals

Wire-format overview, scalar layout, offsets, tables, structs and vectors.

Open primary source

[5] FlatBuffers documentation: FlexBuffers

Schemaless format overview and API context.

Open primary source

[6] FlatBuffers documentation: Schema

Schema types, declarations and attributes.

Open primary source

[7] FlatBuffers documentation: Evolution

Compatibility rules and schema-evolution discipline.

Open primary source

[8] FlatBuffers documentation: C++

Generated C++ usage, verification and mutation context.

Open primary source

[9] FlatBuffers documentation: flatc

Compiler and code-generation options.

Open primary source

[10] FlatBuffers documentation: Annotation

Inspecting and annotating binary layouts.

Open primary source

[11] Abseil: Swiss Tables design notes

Primary design notes for metadata-first hash probing. LiveFlex's proposal is separately specified, not a copy of Abseil's complete implementation.

Open primary source

[12] C++ working draft: bit.cast

Requirements for representation-preserving bit casts.

Open primary source

[13] C++ working draft: Data races

Data races, happens-before and undefined behavior.

Open primary source

[14] C++ working draft: Memory resources

Polymorphic memory resources and resource lifetimes.

Open primary source

[15] C++ working draft: Atomic smart pointers

Atomic shared-pointer operations and implementation-defined lock-free status.

Open primary source

[16] LLVM: Auto-vectorization documentation

Loop and SLP vectorizers, diagnostics and constraints.

Open primary source

[17] Google Benchmark: User guide

Repetitions, optimization barriers, timing and measurement tools.

Open primary source

[18] Clang: AddressSanitizer

Memory-error instrumentation and execution requirements.

Open primary source

[19] Clang: UndefinedBehaviorSanitizer

Undefined-behavior instrumentation and its scope.

Open primary source

[20] Clang: ThreadSanitizer

Data-race instrumentation. No ThreadSanitizer run is claimed for this single-threaded laboratory.

Open primary source

[21] LLVM: LibFuzzer

Coverage-guided in-process fuzzing, targets, corpora and limits.

Open primary source

[22] Rust standard library: slice::from_raw_parts

Validity, alignment, allocation and lifetime conditions for borrowed raw slices.

Open primary source

[23] Java SE 22 API: MemorySegment

A specific Foreign Function & Memory API baseline, not a claim that JDK 22 is the latest release.

Open primary source

[24] ECMAScript specification: DataView objects

Explicit-endian byte access and BigInt scalar operations.

Open primary source

[25] Linux kernel documentation: False sharing

False-sharing behavior and investigation techniques.

Open primary source

Edition and reproducibility

First edition, 18 September 2026. The source commit above fixes the upstream implementation baseline. The accompanying archive contains the original source, fixtures, optional oracle programs, compiler/test receipts, and the editable manuscript. No upstream implementation files or font files are redistributed in the archive.

Original companion code is provided under the MIT license included in the archive. Upstream FlatBuffers code is separately governed by its own license. This book paraphrases and analyzes the implementation; the full source appendices reproduce the original companion, not the upstream header.

The strongest next verification step is to execute and extend the independent C++ oracle, then run stateful differential testing and sustained coverage-guided fuzzing on every intended target platform. Performance claims should be published only after the workload-normalized benchmarks in Chapter 22 have been run.

Book contents · Previous: Appendix F FlatBuffers Table Laboratory