[TS Calls] Add guarded semantic models with a simplified contract - #377

Merged

CaelmBleidd merged 18 commits into

mainfrom

caelmbleidd/issue-365-guarded-semantic-models

Sep 18, 2026

Commits on Sep 8, 2026

[TS Calls] Add guarded semantic model registry and execution
CaelmBleidd
committed
bd53dad
[TS] Document fake value representation invariants
CaelmBleidd
committed
7fb29a7
[TS Calls] Harden guarded semantic model execution
CaelmBleidd
committed
67ed325
[TS Calls] Remove redundant named arguments
CaelmBleidd
committed
160e43e
[TS Calls] Separate intrinsic model implementations
CaelmBleidd
committed
fad3d15
[TS Calls] Simplify guarded semantic models
CaelmBleidd
committed
34597f5
[TS Calls] Finish model contract simplification
CaelmBleidd
committed
bcc9d62
[TS Calls] Support unresolved Array.shift elements
CaelmBleidd
committed
eba8e4e

Commits on Sep 17, 2026

[TS Calls] Read unresolved arrays from symbolic memory
CaelmBleidd
committed
9251124

Commits on Sep 18, 2026