fix(802): defer string_length to Tier 3 for UTF-8 byte soundness (v0.0.182)#810

Merged

aallan merged 7 commits into

mainfrom

fix/802-string-utf8-bytes

Jun 27, 2026

Commits on Jun 27, 2026

fix(802): defer string_length to Tier 3 for UTF-8 byte soundness (v0.0.182)

T
and
Claude
committed
fix(802): also defer astral-plane string literals (review finding) + runtime/edge tests

T
and
Claude
committed
fix(802): guard string literals Z3 can't model — surrogate crash + cutoff/astral tests (review)

T
and
Claude
committed
fix(802): scope spec U+2FFFF deferral to predicates; assert clean Tier-3 fallback (review)

T
and
Claude
committed
docs(802): correct surrogate "raises" rationale; add runtime soundness-loop test (review-pr)

T
and
Claude
committed
test(802): pin exact observables in two soundness tests (CodeRabbit)

T
and
Claude
committed
docs(802): note astral/surrogate predicate Tier-3 deferral in TESTING row (CodeRabbit)

T
and
Claude
committed