Skip to content

[TS] Track UTF-16 backing bounds and model Array.isArray - #446

Open
CaelmBleidd wants to merge 3 commits into
mainfrom
caelmbleidd/stdlib-string-storage-pr391
Open

CaelmBleidd wants to merge 3 commits into
mainfrom
caelmbleidd/stdlib-string-storage-pr391

Conversation

@CaelmBleidd

@CaelmBleidd CaelmBleidd commented Oct 2, 2026 •

Copy link
Copy Markdown
Member

UTF-16 backing bounds are tracked per reference so model-produced strings and resolved witnesses retain their full length. Array.isArray handles genuine builtin Array calls, including captured globals, and falls back for project-defined owners.

Independent branch against main. String/Array slice and case-model integration moved to #443; Date and PBT export changes are separate.

Validation: 24 focused backing-boundary, Array.isArray, catalog and SDK identity tests passed, plus detektMain and detektTest. Broader GitHub CI remains the remote validation gate.

Review fixes: removed unused future-model APIs and recursively handled conditional fake values in Array.isArray; native-source value ?? [] regression passed.

@CaelmBleidd CaelmBleidd changed the title [6/12] Add symbolic string storage and Array primitives [TS] Add symbolic UTF-16 string storage and Array primitives Oct 2, 2026
@CaelmBleidd
CaelmBleidd marked this pull request as ready for review October 2, 2026 16:14
@CaelmBleidd
CaelmBleidd force-pushed the caelmbleidd/stdlib-source-inspector-pr391 branch from c3d4ad8 to fd51a0c Compare October 2, 2026 16:45
@CaelmBleidd
CaelmBleidd force-pushed the caelmbleidd/stdlib-string-storage-pr391 branch from e65eaa6 to 8e2cd7e Compare October 2, 2026 16:45
@CaelmBleidd
CaelmBleidd force-pushed the caelmbleidd/stdlib-source-inspector-pr391 branch from fd51a0c to 6891d2c Compare October 7, 2026 23:02
@CaelmBleidd
CaelmBleidd force-pushed the caelmbleidd/stdlib-string-storage-pr391 branch from 8e2cd7e to 887a358 Compare October 7, 2026 23:02
@CaelmBleidd
CaelmBleidd force-pushed the caelmbleidd/stdlib-source-inspector-pr391 branch from 6891d2c to 39a1088 Compare October 11, 2026 06:51
@CaelmBleidd
CaelmBleidd force-pushed the caelmbleidd/stdlib-string-storage-pr391 branch from 887a358 to 07681bf Compare October 11, 2026 06:51
@CaelmBleidd
CaelmBleidd force-pushed the caelmbleidd/stdlib-source-inspector-pr391 branch from 39a1088 to bb5b31b Compare October 12, 2026 13:26
@CaelmBleidd
CaelmBleidd force-pushed the caelmbleidd/stdlib-string-storage-pr391 branch from 07681bf to 4338855 Compare October 12, 2026 13:26
@CaelmBleidd
CaelmBleidd force-pushed the caelmbleidd/stdlib-source-inspector-pr391 branch from bb5b31b to e861cf4 Compare October 12, 2026 17:10
@CaelmBleidd
CaelmBleidd force-pushed the caelmbleidd/stdlib-string-storage-pr391 branch from 4338855 to ee6ce04 Compare October 12, 2026 17:11
@CaelmBleidd CaelmBleidd changed the title [TS] Add symbolic UTF-16 string storage and Array primitives [TS] Track UTF-16 backing bounds and model Array.isArray Oct 12, 2026
@CaelmBleidd
CaelmBleidd changed the base branch from caelmbleidd/stdlib-source-inspector-pr391 to main October 12, 2026 17:13
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant