Repository navigation
[TS] Support new field declaration for instances #288
Description
Resolution (2026-10-14)
Audited against usvm main at 19866c959d.
Undeclared and literal-key object properties are tracked, reconstructed, and preserved through writes, deletion and aliases. Implementation: usvm #458, usvm #474.
Validation: All 16 SymbolicPropertiesTest regressions passed, including bracket literals, new payloads, aliases and input reconstruction/Node replay.
Original report and acceptance context, retained for traceability
There should be an option to add fields x["newField"] = 15. Right now, reading of such field returns a fake object, but it isn't registered anywhere. Therefore, we won't restore it during input values resolution
Activity
[-]Support new field declaration for instances[/-][+][TS] Support new field declaration for instances[/+]