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

Open

CaelmBleidd wants to merge 8 commits into

mainfrom

caelmbleidd/issue-365-guarded-semantic-models

Commits on Aug 28, 2026

[TS Calls] Add guarded semantic model registry and execution
CaelmBleidd
committed
0457055
[TS] Document fake value representation invariants
CaelmBleidd
committed
45ac16c
[TS Calls] Harden guarded semantic model execution
CaelmBleidd
committed
25f2b98

Commits on Aug 29, 2026

Merge branch 'main' into caelmbleidd/issue-365-guarded-semantic-models
CaelmBleidd
authored
9c83589
[TS Calls] Remove redundant named arguments
CaelmBleidd
committed
176f188

Commits on Aug 31, 2026

[TS Calls] Separate intrinsic model implementations
CaelmBleidd
committed
c996c99

Commits on Sep 7, 2026

[TS Calls] Simplify guarded semantic models
CaelmBleidd
committed
036030b
[TS Calls] Finish model contract simplification
CaelmBleidd
committed
026c718