runtime/object-model: implement strict and sloppy function this binding

[andrewtdiz]

Summary

Sloppy calls box primitive/nullish this as required and strict calls preserve exact this values; direct and .call forms agree with ECMAScript.

Affected Test262 rows

• Windows: 5 styling FFI stubs awaiting custom paint pass (#185 follow-up) #210 language/function-code/10.4.3-1-1-s.js (runtime-fail: Uncaught exception: bar.call(1) Expected SameValue(«"number"», «"object"») to be true)
• Class method body cannot capture enclosing-function locals #212 language/function-code/10.4.3-1-100gs.js (runtime-fail: Uncaught exception: 'this' had incorrect value!)
• String-array element access: arr[i] SIGSEGVs and indexOf returns -1 #214 language/function-code/10.4.3-1-102gs.js (runtime-fail: Uncaught exception: 'this' had incorrect value!)
• doc-tests: wasm_snippets.ts banner should constrain to // targets: wasm — currently fails to link on every native target #219 language/function-code/10.4.3-1-13-s.js (runtime-fail: Uncaught exception: f() Expected SameValue(«"undefined"», «"undefined"») to be false)
• Windows: whoami crate's GetUserNameExW link fails on every doc-test (missing secur32 import lib) #220 language/function-code/10.4.3-1-13gs.js (runtime-fail: Uncaught exception: 'this' had incorrect value!)
• Codegen: arr[i]= writes silently dropped on module-level const arrays declared empty #221 language/function-code/10.4.3-1-15gs.js (runtime-fail: Uncaught exception: 'this' had incorrect value!)
• Codegen: FFI returns:"i64" treats string-pointer returns as Number; auto-detect to string is name-based #222 language/function-code/10.4.3-1-15-s.js (runtime-fail: Uncaught exception: f() Expected SameValue(«"undefined"», «"undefined"») to be false)
• fs.appendFileSync writes 0 bytes on native target — HIR variant has no LLVM codegen arm #226 language/function-code/10.4.3-1-2-s.js (runtime-fail: Uncaught exception: bar.call("1") Expected SameValue(«"string"», «"object"») to be true)
• perry/updater: bind version into signed payload to prevent old-binary replay #229 language/function-code/10.4.3-1-3-s.js (runtime-fail: Uncaught exception: bar.call() Expected SameValue(«"undefined"», «"object"») to be true)

Perry actual behavior from report

• 4 x runtime-fail: Uncaught exception: 'this' had incorrect value!
• 2 x runtime-fail: Uncaught exception: f() Expected SameValue(«"undefined"», «"undefined"») to be false
• 1 x runtime-fail: Uncaught exception: bar.call("1") Expected SameValue(«"string"», «"object"») to be true
• 1 x runtime-fail: Uncaught exception: bar.call() Expected SameValue(«"undefined"», «"object"») to be true
• 1 x runtime-fail: Uncaught exception: bar.call(1) Expected SameValue(«"number"», «"object"») to be true

Node / ECMAScript expected behavior

Sloppy calls box primitive/nullish this as required and strict calls preserve exact this values; direct and .call forms agree with ECMAScript.

Likely subsystem

function call dispatch / this-binding conversion

Acceptance criteria

• bar.call(1), bar.call("1"), and bar.call() rows return the expected typeof this.
• Generator/strict variants no longer report incorrect this.
• Direct function calls match strict/sloppy this rules.

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_THIS_BINDING.json

This is Perry language/runtime semantics triage, not a Node core API compatibility issue.

[andrewtdiz]

Current main appears to have this strict/sloppy this binding slice covered by the existing focused regression.

Validation:

• base: 555e75715 (current origin/main in my checkout)
• target/release/perry --version -> perry 0.5.1112
• target/release/perry test-files/test_issue_3586_function_this_call.ts compiled successfully
• ./test_issue_3586_function_this_call -> issue-3586-ok

That regression covers the issue's main acceptance cases: strict .call(1) preserves primitive this, sloppy .call(1) boxes, sloppy direct call gets global this, first-class Function.prototype.call/apply, strict/sloppy replacement callback receivers, primitive getter boxing, and Function-constructor sloppy body behavior.

I could not run the exact Test262 command because vendor/test262 is not present in this checkout. Based on the local regression and the closed #3586 epic, this looks stale-open and ready for maintainer closure rather than a new PR.