fix(typedef): Int64/Uint64, aligned-mode restrictions, read factory (ADR 099-102)
ADR-099 — Int64/Uint64 as first-class kinds:
- schema.rs: add Int64/Uint64 to TypeDefKind (19 kinds), type_size=8,
natural_alignment=8, is_fixed_size=true, needs_endian=true, FromStr
- data_access.rs: add read_i64/write_i64/read_u64/write_u64 + tests
- sequential_reader.rs: add I64/U64 to FieldValue + dispatch arms + test
- engine.rs: add I64/U64 read_field/write_field dispatch arms
- validation.rs: add Int64/Uint64 validators (as_i64/as_u64 check) +
registration + tests. Hand-written (not macro) to avoid clippy
'comparison useless due to type limits' for the full-range check.
ADR-100 — reject non-final inline length-prefixed variable fields:
- offset_map.rs: compute_struct now checks if a variable-length field
using inline length-prefixing (no maxLength, no offset-indirect) is
non-final → TypedefError::Offset at compile time. Prevents silent
data corruption (write_string clobbering subsequent fields).
ADR-101 — packed-mode read factory:
- engine.rs: Layout::Packed no longer stores a SequentialReader.
sequential_reader() returns Option<SequentialReader> (owned, fresh)
instead of Option<&SequentialReader>. The reader's cursor state is
consumer-owned.
ADR-102 — reject TUnion in aligned mode:
- offset_map.rs: compute_field returns TypedefError::Offset for
TypeDefKind::Union. Removed the dead compute_union_field,
variant_size_range, and find_discriminator_field methods (had three
bugs: no variant offsets, first-variant discriminator offset,
misaligned variant region).
295 tests pass, clippy clean, workspace builds clean.
glm-5.2
51806f4469