- String element reads proven to be inside the string (counted loops, `i < text.length` guards, early exits, const length aliases) give plain strings, so one-character helpers keep plain string parameters
- Unproven, fractional, negative and out-of-range reads still give `undefined`, with new corpus programs pinning both directions