Repository navigation

fix(runtime): instanceof and inherited getters on function objects - #13546

Merged

proggeramlug merged 145 commits into

PerryTS:mainfrom

jgoux:fix/function-receiver-instanceof-getter

Nov 1, 2026

Merged

fix(runtime): instanceof and inherited getters on function objects#13546
proggeramlug merged 145 commits into
PerryTS:mainfrom
jgoux:fix/function-receiver-instanceof-getter

Commits on Oct 30, 2026
- fix(runtime): instanceof and inherited getters on function objects
  jgoux
  committed
  d4559eb
- wpfacts: a method called on a described parameter's reach is a read, not an escape
  
  Ralph Küpper
  authored and
  proggeramlug
  committed
  817f9ba
- changelog: number the PR fragment
  
  Ralph Küpper
  authored and
  proggeramlug
  committed
  aa68ab0
- link: PERRY_LINK_PAD places pad objects between the compiled objects and the runtime archive; linkpad pads in front of the runtime
  
  Ralph Küpper
  authored and
  proggeramlug
  committed
  3077cc8
- changelog: number the PR fragment
  
  Ralph Küpper
  authored and
  proggeramlug
  committed
  7ead7bf
- compile env: register PERRY_FACTS_CONSUMED as a diagnostics-only variable
  
  Ralph Küpper
  authored and
  proggeramlug
  committed
  698f3fc
- changelog: number the PR fragment
  
  Ralph Küpper
  authored and
  proggeramlug
  committed
  330a5fa
- fix(runtime): stack-overflow guard under ulimit -s unlimited
  
  Ralph Küpper
  authored and
  proggeramlug
  committed
  d408a4a
- changelog: name the fragment for numbering
  
  Ralph Küpper
  authored and
  proggeramlug
  committed
  59f8ebc
- changelog: number the PR fragment
  
  Ralph Küpper
  authored and
  proggeramlug
  committed
  19a8e46
- fix(runtime): CreateDataProperty defines from a descriptor record, not a descriptor object
  
  Ralph Küpper
  authored and
  proggeramlug
  committed
  6d545a2
- test(gap): class fields define from a record on callable and plain receivers
  
  Ralph Küpper
  authored and
  proggeramlug
  committed
  eb927c2
- changelog: number the PR fragment
  
  Ralph Küpper
  authored and
  proggeramlug
  committed
  21dd89d
- runtime: state the PerryLayoutKey.off offset per pointer width (wasm32 build)
  
  Ralph Küpper
  authored and
  proggeramlug
  committed
  842490b
- ci(release-wasi): admit perry_host.discard_pages in the wasip1 import check
  
  Ralph Küpper
  authored and
  proggeramlug
  committed
  b3d3507
- changelog: number the PR fragment
  
  Ralph Küpper
  authored and
  proggeramlug
  committed
  ab685af
- linkpad: equalize the RELRO size and the aligned TLS size between the arms; layout check compares RELRO/TLS/RW starts
  
  Ralph Küpper
  authored and
  proggeramlug
  committed
  8a6b0b1
- changelog: number the PR fragment
  
  Ralph Küpper
  authored and
  proggeramlug
  committed
  d0abc90
Commits on Oct 31, 2026
- perry-runtime lib tests: pass in release and perry-dev at default threads
  
  Ralph Küpper
  authored and
  proggeramlug
  committed
  a2f1398
- changelog: number the PR fragment
  
  Ralph Küpper
  authored and
  proggeramlug
  committed
  f94a123
- codegen: native IR reader builds inline metadata tuples (noalias scope decls)
  
  Ralph Küpper
  authored and
  proggeramlug
  committed
  44ee7ca
- changelog: number the PR fragment
  
  Ralph Küpper
  authored and
  proggeramlug
  committed
  7c18fa9
- test: a relinked parent class constructor runs on the subclass instance per unit
  
  Ralph Küpper
  authored and
  proggeramlug
  committed
  e22a12a
- wpfacts: a class relinked as another unit's parent runs its constructor on that receiver
  
  Ralph Küpper
  authored and
  proggeramlug
  committed
  661a80a
- changelog: relinked parent constructor this per unit
  
  Ralph Küpper
  authored and
  proggeramlug
  committed
  8cd20c4
- changelog: name the fragment for numbering
  
  Ralph Küpper
  authored and
  proggeramlug
  committed
  c298991
- changelog: number the PR fragment
  
  Ralph Küpper
  authored and
  proggeramlug
  committed
  0fe9499
- runtime: constructing AbortSignal through a value or a live super() throws Illegal constructor
  
  Ralph Küpper
  authored and
  proggeramlug
  committed
  3c815b1
- test: a standalone class constructor stores this fields through its own facts
  
  Ralph Küpper
  authored and
  proggeramlug
  committed
  c69f356
- codegen: a standalone class constructor is compiled under its constructor's function id
  
  Ralph Küpper
  authored and
  proggeramlug
  committed
  87baefc
- changelog: standalone constructor function id
  
  Ralph Küpper
  authored and
  proggeramlug
  committed
  eb926c4
- changelog: number the PR fragment
  
  Ralph Küpper
  authored and
  proggeramlug
  committed
  72d58e2
- cjs_wrap: a CommonJS namespace exports only the keys the module writes
  
  Ralph Küpper
  authored and
  proggeramlug
  committed
  c111dfc
- changelog: fragment for numbering
  
  Ralph Küpper
  authored and
  proggeramlug
  committed
  610c439
- changelog: number the PR fragment
  
  Ralph Küpper
  authored and
  proggeramlug
  committed
  1cf8c83
- wpfacts: code that runs with this in a constructor can read the keys not yet assigned
  
  Ralph Küpper
  authored and
  proggeramlug
  committed
  a587c7f
- test: a method called from the constructor sees the unassigned key; changelog
  
  Ralph Küpper
  authored and
  proggeramlug
  committed
  833ad2b
- wpfacts, codegen: a key the constructor stores is present only once stored
  
  Ralph Küpper
  authored and
  proggeramlug
  committed
  a55a76a
- changelog: number the PR fragment
  
  Ralph Küpper
  authored and
  proggeramlug
  committed
  abaa1b2
- fix(modules): forward node:trace_events exports through its ESM namespace
  
  Ralph Küpper
  authored and
  proggeramlug
  committed
  8587d82
- changelog: number the PR fragment
  
  Ralph Küpper
  authored and
  proggeramlug
  committed
  19a6de5
- wpfacts: a literal handed to a closed function is described with its fields (UEB, UEA2 §4.1)
  
  Ralph Küpper
  authored and
  proggeramlug
  committed
  018e749
- changelog: UEB closed-function literal
  
  Ralph Küpper
  authored and
  proggeramlug
  committed
  17a931a
- changelog: number the PR fragment
  
  Ralph Küpper
  authored and
  proggeramlug
  committed
  86fc76b
- fix(wpfacts): forwarded copies of one literal shape join, so the unit fixpoint terminates
  
  Ralph Küpper
  authored and
  proggeramlug
  committed
  eb57043
- changelog: number the PR fragment
  
  Ralph Küpper
  authored and
  proggeramlug
  committed
  dff40c0
- test(wpfacts): forwarded copies of one literal shape reach a fixpoint
  
  Ralph Küpper
  authored and
  proggeramlug
  committed
  c790df8
- fix(wpfacts): forwarded copies of one literal shape join, so the unit fixpoint terminates
  
  Ralph Küpper
  authored and
  proggeramlug
  committed
  afa9c38
- changelog: number the PR fragment
  
  Ralph Küpper
  authored and
  proggeramlug
  committed
  1a563b7
- wpfacts: a forwarded function copy names the functions their owners describe (per-unit fixpoint terminates on zod v4)
  
  Ralph Küpper
  authored and
  proggeramlug
  committed
  9f7da2f
- test(wpfacts): forwarded function copies stay bounded (zod v4 compile.ts reduction)
  
  Ralph Küpper
  authored and
  proggeramlug
  committed
  2965448
- changelog: number the PR fragment
  
  Ralph Küpper
  authored and
  proggeramlug
  committed
  261895d
- feat(compile): export demand, layer 1 of dead-code elimination
  
  Ralph Küpper
  authored and
  proggeramlug
  committed
  12060d1
- export demand: a re-export the collection-time pruner postponed stays as it is
  
  Ralph Küpper
  authored and
  proggeramlug
  committed
  dfca590
- changelog: number the PR fragment
  
  Ralph Küpper
  authored and
  proggeramlug
  committed
  2d9877a
- compile env: key PERRY_EXPORT_DEMAND, exclude its report knob
  
  Ralph Küpper
  authored and
  proggeramlug
  committed
  a2fc8dc
- runtime: make atom_bounds visible to the wasm image checks and the Windows bounds test (E0425 on wasi-execution)
  
  Ralph Küpper
  authored and
  proggeramlug
  committed
  41d31b7
- changelog: number the PR fragment
  
  Ralph Küpper
  authored and
  proggeramlug
  committed
  f2e0824
- wpfacts: a replayed parameter call belongs to its stand-in run (UEB forwarding fix + census) (#13610)
  proggeramlug
  authored
  11850fc
- codegen: holder facts: a read of a field holding only prefix-stable classes is a proven receiver (depends on #13601) (#13606)
  proggeramlug
  authored
  2afcb01
- wpfacts: a literal birth's chunk functions are in its unit (DGL)
  
  Ralph Küpper
  authored and
  proggeramlug
  committed
  86c60fc
- wpfacts: explain names the unit that reports a contract
  
  Ralph Küpper
  authored and
  proggeramlug
  committed
  6204206
- changelog: DGL literal chunks in the birth unit
  
  Ralph Küpper
  authored and
  proggeramlug
  committed
  d98608d
- changelog: number the PR fragment
  
  Ralph Küpper
  authored and
  proggeramlug
  committed
  42873d2
- hir: Expr::clone without recursion per nesting level; run-once view copies each part once
  
  Ralph Küpper
  authored and
  proggeramlug
  committed
  44d7b65
- changelog: number the PR fragment
  
  Ralph Küpper
  authored and
  proggeramlug
  committed
  8a8c0a4
- fix(worker_threads): reuse canonical messaging constructor exports
  
  TheHypnoo
  authored and
  proggeramlug
  committed
  c7331f1
- docs(changelog): number constructor export fragment
  
  TheHypnoo
  authored and
  proggeramlug
  committed
  efabfe1
- fix(codegen): namespace-importing yourself populates before the body runs
  
  TheHypnoo
  authored and
  proggeramlug
  committed
  70a57fe
- changelog: record the self-namespace import fix
  
  TheHypnoo
  authored and
  proggeramlug
  committed
  935405b
- feat(wpfacts): summarize the builtin constructor families the model was missing
  
  TheHypnoo
  authored and
  proggeramlug
  committed
  7c01c10
- changelog: record the builtin constructor summaries
  
  TheHypnoo
  authored and
  proggeramlug
  committed
  25f2232
- wpfacts: a contract publishes the protocol that touches a parameter
  
  Ralph Küpper
  authored and
  proggeramlug
  committed
  d413e02
- release: build every native ext in one cargo invocation
  
  Ralph Küpper
  authored and
  proggeramlug
  committed
  0e1fde9
- tests: set namespace_self_import in CompileOptions literals
  
  Ralph Küpper
  authored and
  proggeramlug
  committed
  4901eb1
- wpfacts: an unknown accessor defines the one key it is installed under
  
  Ralph Küpper
  authored and
  proggeramlug
  committed
  5339457
- changelog: unknown accessor key
  
  Ralph Küpper
  authored and
  proggeramlug
  committed
  329df17
- changelog: number the PR fragment
  
  Ralph Küpper
  authored and
  proggeramlug
  committed
  c695a9b
- wpfacts: a number key reads only number keys a store into ⊤ wrote on an intrinsic
  
  Ralph Küpper
  authored and
  proggeramlug
  committed
  3789b85
- wpfacts: per unit, the builtin prototypes' handover writes only the keys stored into ⊤
  
  Ralph Küpper
  authored and
  proggeramlug
  committed
  86bfb54
- wpfacts: an E6 on ⊤ in one unit reaches the other units
  
  Ralph Küpper
  authored and
  proggeramlug
  committed
  9e349e2
- changelog: IPS5 wpfacts soundness fixes
  
  Ralph Küpper
  authored and
  proggeramlug
  committed
  5000049
- changelog: number the PR fragment
  
  Ralph Küpper
  authored and
  proggeramlug
  committed
  7be3724
- release: highlights for the 0.5.x release
  
  Ralph Küpper
  authored and
  proggeramlug
  committed
  0e138c0
- release: highlights use the 2026-10-31 release checks
  
  Ralph Küpper
  authored and
  proggeramlug
  committed
  436ae7e
- feat(compile): drop modules only unreachable import() sites load (DCE layer 2, module level) (#13612)
  proggeramlug
  authored
  3a71b6c
- changelog: record the CompileOptions test-literal repair
  
  TheHypnoo
  authored and
  proggeramlug
  committed
  b163c51
- fix(worker_threads): share receiver-owned MessagePort operations
  
  TheHypnoo
  authored and
  proggeramlug
  committed
  b9de6d4
- docs(changelog): number MessagePort receiver fix fragment
  
  TheHypnoo
  authored and
  proggeramlug
  committed
  9ff1a83
- fix(codegen): instanceof consults a computed static Symbol.hasInstance
  
  TheHypnoo
  authored and
  proggeramlug
  committed
  30b4d93
- changelog: record the instanceof Symbol.hasInstance fix
  
  TheHypnoo
  authored and
  proggeramlug
  committed
  adcb854
- gc: walk x86-64 Linux stacks by frame kind, without the system unwinder (#13582)
  proggeramlug
  authored
  8eb99d6
- wpfacts: order unit cycles by strong edges; parameter types and namespace reach are weak
  
  Ralph Küpper
  authored and
  proggeramlug
  committed
  2350775
- changelog: number the PR fragment
  
  Ralph Küpper
  authored and
  proggeramlug
  committed
  e19ea3b
- compile: install the GC diagnostics when their knobs are set while compiling
  
  Ralph Küpper
  authored and
  proggeramlug
  committed
  93ad812
- changelog: number the PR fragment
  
  Ralph Küpper
  authored and
  proggeramlug
  committed
  e0cdf25
Commits on Nov 1, 2026
- wpfacts: own definite data key shadows the prototype chain (DEC 234)
  
  Ralph Küpper
  authored and
  proggeramlug
  committed
  53fb3af
- changelog: number the PR fragment
  
  Ralph Küpper
  authored and
  proggeramlug
  committed
  047ec69
- wpfacts: drop the marker Removed shares; the Hard share covers them (tssrc 20,139 unchanged)
  
  Ralph Küpper
  authored and
  proggeramlug
  committed
  b28eca7
- component-host: run live owners' destructors when disposing a driver component
  
  Ralph Küpper
  authored and
  proggeramlug
  committed
  87f8f08
- changelog: number the PR fragment
  
  Ralph Küpper
  authored and
  proggeramlug
  committed
  2dcc006
- component-host: release host-type handles without the synchronous drop API
  
  Ralph Küpper
  authored and
  proggeramlug
  committed
  121c6ad
- wpfacts: a call through a receiver field runs where the receiver is held (DECISIONS 231, 236)
  
  Ralph Küpper
  authored and
  proggeramlug
  committed
  a7a12f4
- changelog: wpfacts receiver field calls
  
  Ralph Küpper
  authored and
  proggeramlug
  committed
  058220e
- changelog: number the PR fragment
  
  Ralph Küpper
  authored and
  proggeramlug
  committed
  f6b9407
- wpfacts: generator next/return/throw return an iterator result, not the raw step value
  
  Ralph Küpper
  authored and
  proggeramlug
  committed
  b3f1990
- changelog: number the PR fragment
  
  Ralph Küpper
  authored and
  proggeramlug
  committed
  b384cd7
- ci(release): move Apple legs from macos-14 to macos-15
  
  Ralph Küpper
  authored and
  proggeramlug
  committed
  91ddefa
- dce: the link drops every function nothing live references (layer 0)
  
  Ralph Küpper
  authored and
  proggeramlug
  committed
  1dde139
- changelog: number the PR fragment
  
  Ralph Küpper
  authored and
  proggeramlug
  committed
  ffcd118
- docs: refresh runtime, memory and program facts across languages
  
  Ralph Küpper
  authored and
  proggeramlug
  committed
  f82ca7d
- docs: number PR changeset and polish German wording
  
  Ralph Küpper
  authored and
  proggeramlug
  committed
  dfb26c4
- test-wasi: refresh the transform rust-host lock for zstd 0.14
  
  Ralph Küpper
  authored and
  proggeramlug
  committed
  297d589
- component: throw a trap's first retirement destructor exception from dispose
  
  Ralph Küpper
  authored and
  proggeramlug
  committed
  4cb838f
- changelog: number the PR fragment
  
  Ralph Küpper
  authored and
  proggeramlug
  committed
  f163fcb
- wpfacts: RegExp test and @@replace/@@match/@@search call the regexp's exec
  
  Ralph Küpper
  authored and
  proggeramlug
  committed
  87929cc
- wpfacts: RegExp @@split and @@matchAll run a stored species constructor
  
  Ralph Küpper
  authored and
  proggeramlug
  committed
  b218c77
- changelog: fragment for the RegExp exec and species lookups
  
  Ralph Küpper
  authored and
  proggeramlug
  committed
  42f39a8
- changelog: number the PR fragment
  
  Ralph Küpper
  authored and
  proggeramlug
  committed
  910d81d
- runtime: bind thisArg in TypedArray callback methods and the constructor iterator receiver
  
  Ralph Küpper
  authored and
  proggeramlug
  committed
  25c3248
- runtime: rustfmt the thisArg change
  
  Ralph Küpper
  authored and
  proggeramlug
  committed
  b638fcf
- changelog: number the PR fragment
  
  Ralph Küpper
  authored and
  proggeramlug
  committed
  0c9f037
- fix(tty): preserve terminal output flags in raw input mode
  
  Ralph Küpper
  authored and
  proggeramlug
  committed
  178a637
- changelog: number the raw mode fix fragment
  
  Ralph Küpper
  authored and
  proggeramlug
  committed
  c265974
- fix(transform): bound cumulative HIR loop expansion
  
  Ralph Küpper
  authored and
  proggeramlug
  committed
  b788e9c
- changelog: number the loop expansion fix fragment
  
  Ralph Küpper
  authored and
  proggeramlug
  committed
  3f100ab
- docs: clarify size limits on kernel specialization
  
  Ralph Küpper
  authored and
  proggeramlug
  committed
  44441ce
- wpfacts: prove array iteration; for-of skips member read and array-arm close (#13645)
  
  Ralph Küpper
  authored and
  proggeramlug
  committed
  3b09443
- wpfacts: unit tests for the array iteration facts; codegen tests for the elided array close (#13645)
  
  Ralph Küpper
  authored and
  proggeramlug
  committed
  48ea1d3
- wpfacts: read the unmodeled-operand reason only for tokens on the array chain (#13645)
  
  Ralph Küpper
  authored and
  proggeramlug
  committed
  876a940
- wpfacts: TypedArray, Date toJSON and TextDecoder run the conversions their algorithms perform (#13651)
  proggeramlug
  authored
  49a8cb9
- fix(runtime): a class identity's [[Prototype]] is read from its shape
  
  Ralph Küpper
  authored and
  proggeramlug
  committed
  9070ac6
- fix(runtime): a callable's inherited read is one OrdinaryGet with the callable as receiver
  
  Ralph Küpper
  authored and
  proggeramlug
  committed
  55d30fa
- test(gap): inherited reads and prototype links of callable class instances
  
  Ralph Küpper
  authored and
  proggeramlug
  committed
  dcbad7a
- changelog: fragment for the callable inherited read
  
  Ralph Küpper
  authored and
  proggeramlug
  committed
  d383bd8
- changelog: number the PR fragment
  
  Ralph Küpper
  authored and
  proggeramlug
  committed
  f88e162
- wpfacts: no result through an unrun parameter; an element of ⊤ is not Function
  
  Ralph Küpper
  authored and
  proggeramlug
  committed
  7e7871a
- changelog: wpfacts unrun parameter fragment
  
  Ralph Küpper
  authored and
  proggeramlug
  committed
  2cffa04
- changelog: number the PR fragment
  
  Ralph Küpper
  authored and
  proggeramlug
  committed
  b1ac1c7
- wpfacts: the arguments object is not an Array
  
  Ralph Küpper
  authored and
  proggeramlug
  committed
  45c08aa
- changelog: arguments object fragment
  
  Ralph Küpper
  authored and
  proggeramlug
  committed
  e6f33b8
- wpfacts: a bound function made inside a summarized body keeps its bound arguments
  
  Ralph Küpper
  authored and
  proggeramlug
  committed
  c4222a7
- changelog: number the PR fragment
  
  Ralph Küpper
  authored and
  proggeramlug
  committed
  1c9ddf0
- Merge commit 'd4559eb70549782b15b8f4e925891edef5dfd077' into HEAD
  Ralph Küpper
  committed
  53ac2fa
- fix(runtime): instanceof Function follows a function object's reset prototype
  Ralph Küpper
  committed
  ea26904

Commits

Commits on Oct 30, 2026

Commits on Oct 31, 2026

Commits on Nov 1, 2026