Execute JavaScript builtins with symbolic strings and arrays - #391

Draft

CaelmBleidd wants to merge 33 commits into

mainfrom

caelmbleidd/stdlib-source-models

Commits on Sep 20, 2026

Support parameterized EtsIR model families
CaelmBleidd
committed
beef938
Add primary numeric intrinsic models
CaelmBleidd
committed
c48f468
Test primary numeric intrinsic semantics
CaelmBleidd
committed
28becf2
Allow calls runner to use bundled frontend
CaelmBleidd
committed
f403bbe
Model Array and String search methods in TypeScript
CaelmBleidd
committed
51d405d
Let EtsIR adapters resolve raw call inputs
CaelmBleidd
committed
6ec06c8
Test adapters with unresolved namespace receivers
CaelmBleidd
committed
3f826bc
Extend source sequence models
CaelmBleidd
committed
c7daaf0
Expand semantic model dependencies
CaelmBleidd
committed
b4a22f7
Bound sequence offset normalization
CaelmBleidd
committed
0826fab
Add adjacent numeric intrinsic models
CaelmBleidd
committed
635026a
Declare source model dependencies and domains
CaelmBleidd
committed
d1f242a
Model numeric Date APIs in TypeScript
CaelmBleidd
committed
24acd4d
Guard sparse Array search domains
CaelmBleidd
committed
d0b9f2d
Canonicalize Array search zero results
CaelmBleidd
committed
fdd0611
Require concrete String code units
CaelmBleidd
committed
dbfcfa2
Handle Date UTC omissions and invalid timezone offsets
CaelmBleidd
committed
284a6d2
Truncate Date fractions toward zero
CaelmBleidd
committed
c9890ed
Resolve Date calls through any aliases
CaelmBleidd
committed
563718b
Model remaining UTC minute setters
CaelmBleidd
committed
33781b4
Strengthen Date model registrations and tests
CaelmBleidd
committed
1cdd5f1
Fix Date registration formatting
CaelmBleidd
committed
cf2d6d8
Use Math.floor in Date calendar arithmetic
CaelmBleidd
committed
6f32a79
Document model coverage and declare Date rounding dependency
CaelmBleidd
committed
194ea90
Fix Date test formatting
CaelmBleidd
committed
1a6315d
Allow modeled NaN checks in Array removal matrix
CaelmBleidd
committed
2e80186
Satisfy numeric model style checks
CaelmBleidd
committed
b279fbe
Clean up sequence model style
CaelmBleidd
committed
8e1353c
Support symbolic Calls inputs and preflight telemetry
CaelmBleidd
committed
c08c8c6
Fix symbolic value semantics and add bounded array and string models
CaelmBleidd
committed
d57f7d9
Support Error and Array constructors, replacement, and erased assertions
CaelmBleidd
committed
411b48b
Reject callable arguments before querying modeled string types
CaelmBleidd
committed
2502bdb
Isolate Error model storage from user property resolution
CaelmBleidd
committed
1ec9cd9

Navigation Menu

Execute JavaScript builtins with symbolic strings and arrays - #391

Execute JavaScript builtins with symbolic strings and arrays#391
CaelmBleidd wants to merge 33 commits into
mainfrom
caelmbleidd/stdlib-source-models

Commits on Sep 20, 2026

Support parameterized EtsIR model families

Add primary numeric intrinsic models

Test primary numeric intrinsic semantics

Allow calls runner to use bundled frontend

Model Array and String search methods in TypeScript

Let EtsIR adapters resolve raw call inputs

Test adapters with unresolved namespace receivers

Extend source sequence models

Expand semantic model dependencies

Bound sequence offset normalization

Add adjacent numeric intrinsic models

Declare source model dependencies and domains

Model numeric Date APIs in TypeScript

Guard sparse Array search domains

Canonicalize Array search zero results

Require concrete String code units

Handle Date UTC omissions and invalid timezone offsets

Truncate Date fractions toward zero

Resolve Date calls through any aliases

Model remaining UTC minute setters

Strengthen Date model registrations and tests

Fix Date registration formatting

Use Math.floor in Date calendar arithmetic

Document model coverage and declare Date rounding dependency

Fix Date test formatting

Allow modeled NaN checks in Array removal matrix

Satisfy numeric model style checks

Clean up sequence model style

Support symbolic Calls inputs and preflight telemetry

Fix symbolic value semantics and add bounded array and string models

Support Error and Array constructors, replacement, and erased assertions

Reject callable arguments before querying modeled string types

Isolate Error model storage from user property resolution