Skip to content

javascript: a call through a field holding a platform-made wrapper reaches the wrapped function - #1797

Merged
swapnilpaliwal-sd merged 1 commit into
apps/integration-0.1.9from
apps/javascript/path-claims-independence-despite-same-na
Sep 30, 2026
Merged

swapnilpaliwal-sd merged 1 commit into
apps/integration-0.1.9from
apps/javascript/path-claims-independence-despite-same-na

Conversation

@swapnilpaliwal-sd

Copy link
Copy Markdown
Contributor
  • A field or module variable set to a platform call's result when handed a project function (this.find = promisify(s.find.bind(s))) made this.find() an ambient terminal, so path called the caller independent of the method the wrapper runs.
  • Engine (calls.dl): the wrapper call now reaches the bound method when the graph knows it (multi_inferred, beside the platform row). When it does not, the call is an open value callee (unresolved_value_callee). A wrapper of a platform function (promisify(setTimeout), Math.max.bind(Math)) is unchanged.
  • path: a call ending on a TypeScript function-type signature counts as a value callee. A value callee named like the other endpoint is listed first and flagged.
  • Tests: new rows folded into the existing table-driven cases stored-field-callee-shapes (JS, 3 checks + 2 controls) and function-stored-in-a-holder (TS, 1 check). No new case directories. The 4 new checks fail before and pass after; the controls pass both ways.
  • Checked: JS golden 88/88, TS golden 97/97, tests/run.py JS 241/241. TS 168/173: the same 5 fail on the base. Product probes 46→47/70 with no regressions. multi_inferred 356→361, every other tier unchanged. Python, C# and Java were checked on the same shape and already give a chain or a lead.

… a project function reaches that function

A field or module variable set to what a platform call returned when handed a project function
(promisify(store.find.bind(store))) was an ambient terminal, and path called the caller independent
of the very method the wrapper runs. The wrapper call now reaches the bound method when the graph
knows it (one of a set), and is an open value callee when it does not. path also counts a call that
ends on a function type's signature (TypeScript) as a value callee, and lists a value callee named
like the other endpoint first.

Co-authored-by: axiomcode-bot[bot] <334110751+axiomcode-bot[bot]@users.noreply.github.com>
@swapnilpaliwal-sd
swapnilpaliwal-sd merged commit 9bb48fa into apps/integration-0.1.9 Sep 30, 2026
12 checks passed
@swapnilpaliwal-sd
swapnilpaliwal-sd deleted the apps/javascript/path-claims-independence-despite-same-na branch September 30, 2026 02:00
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant