Repository navigation
runtime/object-model: support primitive receiver boxing and temporary property visibility #3577
Description
Summary
Primitive property access and writes follow ECMAScript wrapper semantics for number primitives, including visible temporary values only where the spec permits.
Affected Test262 rows
- FFI call c code #215 language/function-code/10.4.3-1-103.js (runtime-fail: Uncaught exception: (5).x == 5)
- GTK4:
perry_ui_open_folder_dialognot wired — blocks docs/examples/ui/dialogs/snippets.ts on Linux CI #216 language/function-code/10.4.3-1-104.js (runtime-fail: Uncaught exception: (5).x === 5) - GTK4: 4 widget overlay/reorder FFIs not wired — blocks docs/examples/ui/layout/snippets.ts on Linux CI #217 language/function-code/10.4.3-1-106.js (runtime-fail: Uncaught exception: typeof (5).x Expected SameValue(«"undefined"», «"number"») to be true)
- GTK4: SplitView FFIs (
splitview_create,splitview_add_child) not wired — co-blocks docs/examples/ui/layout/snippets.ts on Linux CI #218 language/function-code/10.4.3-1-105.js (runtime-fail: Uncaught exception: typeof (5).x Expected SameValue(«"undefined"», «"object"») to be true)
Perry actual behavior from report
- 1 x runtime-fail: Uncaught exception: (5).x == 5
- 1 x runtime-fail: Uncaught exception: (5).x === 5
- 1 x runtime-fail: Uncaught exception: typeof (5).x Expected SameValue(«"undefined"», «"number"») to be true
- 1 x runtime-fail: Uncaught exception: typeof (5).x Expected SameValue(«"undefined"», «"object"») to be true
Node / ECMAScript expected behavior
Primitive property access and writes follow ECMAScript wrapper semantics for number primitives, including visible temporary values only where the spec permits.
Likely subsystem
ToObject/primitive wrapper object model
Acceptance criteria
- The
(5).xandtypeof (5).xrows match Node/Test262. - Number primitive ToObject behavior remains consistent with Number.prototype access.
- No persistent property is incorrectly stored on primitive values.
Validation
Run the Test262 differential against the affected area and confirm these rows leave the gap report:
scripts/test262_subset.py --root vendor/test262 --dir language/function-code --sample-cap 99999 --report /tmp/FUNC_PRIMITIVE_BOXING.jsonThis is Perry language/runtime semantics triage, not a Node core API compatibility issue.
Activity
andrewtdiz commentedon Jun 2, 2026
Claiming this as part of the same primitive wrapper/ToObject slice.
Scope: temporary primitive receiver boxing for number primitives and no persistent property storage on primitive values, coordinated with the Object/String wrapper fixes in #3986/#3987.
andrewtdiz commentedon Jun 2, 2026
Opened draft PR for this cut: #4161
Scope covered here:
Object(value)/ wrapper constructor identity for Number/String/Boolean-family wrapperslength, descriptors, keys, and own property namesThe broader
Object.assigndescriptor/proxy tail remains outside this PR.andrewtdiz commentedon Jun 3, 2026
PR #4161 merged on June 3, 2026 with the focused primitive wrapper/ToObject cut for this issue.
Merged scope:
Object(value)/ wrapper constructor identity for Number/String/Boolean-family wrapperslength, descriptors, keys, and own property namesThe corresponding regression fixture is
test-parity/node-suite/object/primitive-wrapper-toobject.ts. This issue looks stale-open and ready for maintainer closure.fix(runtime,hir): object-model semantics — Object boxing, this-bindin…
fix(runtime,hir): object-model semantics — Object boxing, this-bindin…
fix(runtime,hir): object-model semantics — Object boxing, this-bindin…
proggeramlug commentedon Jun 13, 2026
Verified resolved via the actual TC39 test262 differential (corpus @ pinned 4249661388):
The 4 rows this issue lists —
10.4.3-1-103/104/105/106(primitivethisToObject wrapper visibility in a getter) — are present in the corpus and pass (not in the failure set).Independently confirmed vs
node --experimental-strip-types: a sloppy getter onNumber.prototypeseesthisboxed (typeof (5).x === "object",(5).x == 5true,=== 5false), a strict getter sees the primitive (typeof === "number",=== 5true), and a plainn.x = v; n.xwrite/read round-trips toundefined(no persistent property on the primitive).