Parent: #473 Related: #480, #493
Problem
The owned StringCell model already classifies Latin-1 content, can store non-ASCII Latin-1 as one byte per UTF-16 code unit, and exposes representation-aware UTF-16 and canonical WTF-8 accessors. Production still leaves flat_storage_active disabled, so every Latin-1 string retains its two-byte UTF-8 form and the completed reader-migration witnesses exercise the real layout only through temporary test flips.
Scope
- Enable physical flat Latin-1 storage for non-ASCII Latin-1 StringCells.
- Preserve canonical WTF-8 at parser, property-key, embedding, RegExp, JSON, serialization, diagnostic, and public/private ABI boundaries.
- Keep ASCII and already-canonical storage borrowed; transcode only at byte-canonical egress.
- Preserve exact UTF-16 length/index/slice/equality/hash/interning semantics, lone surrogates, moving GC, external owners, and OOM atomicity.
- Measure owned backing-byte reduction without publishing an unmeasured throughput claim.
No-workaround rules
- No representation forcing at semantic consumers, lossy replacement, invalid-byte tolerance, permanent canonical shadow copy, disabled assertion, source/input special case, or Test262 exclusion.
- No stack, queue, job, Promise, Worker, or Map/Set iterator implementation changes.
Acceptance
- Production constructs eligible non-ASCII Latin-1 StringCells in one-byte-per-unit storage.
- Canonical, ASCII, Latin-1, BMP, astral, and lone-surrogate content remains exact across construction, interning, property publication, JSON/RegExp, structured clone, embedding, and diagnostics.
- Allocation/OOM, moving-GC, no-GIL, and TSan witnesses pass without leaks or races.
- Relevant nonzero Test262 accounting and the full parallel unit gate pass with zero regressions.
- Exact owned-byte evidence quantifies the representation change; no throughput claim is made without an exact-parent benchmark.