Repository navigation

Landing rollup: lang 2, startup 2, islands 3 - #3395

Merged

ctate merged 141 commits into

mainfrom

train/landing-1

Nov 8, 2026

Merged

Landing rollup: lang 2, startup 2, islands 3#3395
ctate merged 141 commits into
mainfrom
train/landing-1

Commits on Nov 7, 2026
- Judge generic loops by each instance's array facts and reject missing elements in array conversions with a TypeError
  
  cramforce
  and
  claude
  committed
  4cf2918
- Reach arrays in record and class fields at a generic callee's generic positions
  
  cramforce
  and
  claude
  committed
  4d66e1a
- Keep opaque generic arguments and implicitly typed instances out of the array-fact rules
  
  cramforce
  and
  claude
  committed
  068f667
- Read hole facts only at generic call sites and judge twice only when a generic array was read
  
  cramforce
  and
  claude
  committed
  a4361ee
- Apply the generic-call rule only to callees that build arrays from generic ones
  
  cramforce
  and
  claude
  committed
  bd71a7a
- Call only declared generic functions generic callees, and register the two program facts
  
  cramforce
  and
  claude
  committed
  db0e110
- Report width copies from the lowered program and test that no warning means Node's behaviour
  
  cramforce
  and
  claude
  committed
  a64ce96
- Describe a width-copy observation only when it is the first of its kind
  
  cramforce
  and
  claude
  committed
  1150e23
- Refuse writes that replace or delete a built-in member
  
  cramforce
  and
  claude
  committed
  058802e
- Give a function every argument of the final call, whatever slots it passed through
  
  cramforce
  and
  claude
  committed
  1b8445b
- Hand an array method's index and array to a function reached through a narrower slot
  
  cramforce
  and
  claude
  committed
  ffcde75
- Test the view tests a program gets, and that a program without the pair gets none
  
  cramforce
  and
  claude
  committed
  e727d6c
- Keep only the build-time refusal of replacing or deleting a built-in member
  
  cramforce
  and
  claude
  committed
  fe27d64
- Merge commit '800c240d8' into fix/builtin-replace
  cramforce
  committed
  2b68f75
- Keep byte views and symbols one identity across a Node island boundary
  
  cramforce
  and
  claude
  committed
  c6cfe98
- Merge origin/main into fix/divergence-soundness
  
  cramforce
  and
  claude
  committed
  61e3808
- Refresh the built-in member write snapshots
  
  cramforce
  and
  claude
  committed
  44440bf
- List the corpus programs main added that carry SC6001
  
  cramforce
  and
  claude
  committed
  fc2c0cc
- Type an untyped empty array where it is written, and stop copying it at typed slots
  
  cramforce
  and
  claude
  committed
  671a41a
- Exempt SC6001 from the corpus sweep instead of listing its programs
  
  cramforce
  and
  claude
  committed
  76a0e17
- Report a conversion of a copy, refuse the gate with the opt-out on a replayed verdict, and bound the warning's type text
  
  cramforce
  and
  claude
  committed
  a6d25ec
- Merge origin/main into fix/divergence-soundness
  
  cramforce
  and
  claude
  committed
  d1e1f1c
- Document the untyped empty array rule and SC2015 on the limitations page
  
  cramforce
  and
  claude
  committed
  eb424ce
- Keep the effects of a polyfill guard's other operands
  
  cramforce
  and
  claude
  committed
  9fc3332
- Decide an empty array per instance where its slot names a type parameter at any depth
  
  cramforce
  and
  claude
  committed
  92cc2d4
- Box a fresh untyped empty array literal as the untyped slot's own array
  
  cramforce
  and
  claude
  committed
  8865717
- Count the chained conversion in the copy-soundness baseline
  
  cramforce
  and
  claude
  committed
  6ec9035
- Merge main into fix/fn-slot-widening
  
  cramforce
  and
  claude
  committed
  2b2a48c
- Look through `<T>x` and `satisfies` where `as` is looked through
  
  cramforce
  and
  claude
  committed
  9e79d84
- Check an untyped value returned where the result is declared `undefined`
  
  cramforce
  and
  claude
  committed
  a72af4c
- Name an anonymous function after the class field it initializes
  
  cramforce
  and
  claude
  committed
  814de08
- Address review feedback
  ctate
  committed
  c6f5077
- Keep a checked concise body's conditional arms lazy
  
  cramforce
  and
  claude
  committed
  d462faf
- Merge origin/main into fix/ssf-lowering
  
  cramforce
  and
  claude
  committed
  6646588
- Name test programs without the numbers main has taken
  
  cramforce
  and
  claude
  committed
  6e1579c
- Keep the island table's offsets and read island errors on Node's stack
  
  cramforce
  and
  claude
  committed
  fb32188
- Merge origin/main into fix/island-views-symbols
  
  cramforce
  and
  claude
  committed
  b022b7c
- Check a typed value behind a cast, and keep a cast `undefined` a no-op
  
  cramforce
  and
  claude
  committed
  ff5236b
- Merge remote-tracking branch 'origin/main' into fix/builtin-replace
  
  cramforce
  and
  claude
  committed
  1d5c79d
- Merge main into fix/fn-slot-widening again
  
  cramforce
  and
  claude
  committed
  20f5f17
- Refuse a write to a built-in member only where the program also reads it natively
  
  cramforce
  and
  claude
  committed
  ab67778
- Count only an array's members as served through untyped values, and register more conversions
  
  cramforce
  and
  claude
  committed
  d6e65cf
- Merge origin/main into fix/island-views-symbols
  
  cramforce
  and
  claude
  committed
  63d9069
- Regenerate the island value matrix and conformance list on the merge with main
  
  cramforce
  and
  claude
  committed
  cfc71de
- Record every member a copying call writes, read members through destructuring, and keep the alias cache on the pass
  
  cramforce
  and
  claude
  committed
  f13e98f
- Pin the refusal across modules, and count a use when the patching function is exported
  
  cramforce
  and
  claude
  committed
  2db5270
- Merge remote-tracking branch 'origin/main' into fix/builtin-replace
  
  cramforce
  and
  claude
  committed
  c64fdaa
- Merge remote-tracking branch 'origin/main' into fix/builtin-replace
  
  cramforce
  and
  claude
  committed
  1b840c4
- Address review feedback
  ctate
  committed
  38d6f01
- Merge branch 'main' into fix/empty-array-identity
  cramforce
  authored
  f0ffdd3
- Merge branch 'main' into fix/divergence-soundness
  cramforce
  authored
  efa07f5
- Merge remote-tracking branch 'origin/main' into fix/holed-array-generics
  
  cramforce
  and
  claude
  committed
  8c81026
- Evaluate a guard on Error.stackTraceLimit, keep attribute-only defineProperties, and count a redefined writable member
  
  cramforce
  and
  claude
  committed
  eeae89e
- Merge remote-tracking branch 'origin/main' into fix/builtin-replace
  
  cramforce
  and
  claude
  committed
  298b45a
- Pin attribute-only definitions of a built-in member, singular and plural
  
  cramforce
  and
  claude
  committed
  b012d76
- Merge remote-tracking branch 'origin/main' into fix/builtin-replace
  
  cramforce
  and
  claude
  committed
  4adce95
- Merge remote-tracking branch 'origin/main' into fix/holed-array-generics
  
  cramforce
  and
  claude
  committed
  9bd8005
- Pin generic-built holed arrays under callbacks the loop absorbs
  
  cramforce
  and
  claude
  committed
  7e92a79
- Merge remote-tracking branch 'origin/main' into fix/holed-array-generics
  
  cramforce
  and
  claude
  committed
  fea4845
- Evaluate island-closed module-level statements and loops inside the island
  
  cramforce
  and
  claude
  committed
  54e051a
- Keep the closed-statement decisions in progress on the lowerer
  
  cramforce
  and
  claude
  committed
  3c2dd49
- Drop two imports the snapshot tests no longer use
  
  cramforce
  and
  claude
  committed
  d906f7f
- Carry the holder only where a store may hold the function that escaped
  
  cramforce
  and
  claude
  committed
  3d01d17
- Adopt a promise given to a typed promise's resolve function
  
  cramforce
  and
  claude
  committed
  97cbeb2
- Merge origin/main (76a19f9d93) into train/lang-2
  
  cramforce
  and
  claude
  committed
  dfda1ca
- Merge #3156 (fix/dyn-write-read) into train/lang-2
  
  cramforce
  and
  claude
  committed
  55acfbc
- Merge #3288 (fix/empty-array-identity) into train/lang-2
  
  cramforce
  and
  claude
  committed
  0eeb164
- Merge #3263 (fix/fn-slot-widening) into train/lang-2
  
  cramforce
  and
  claude
  committed
  6daf491
- Merge #3221 (fix/divergence-soundness) into train/lang-2
  
  cramforce
  and
  claude
  committed
  4635dc3
- Merge #3302 (fix/ssf-lowering) into train/lang-2
  
  cramforce
  and
  claude
  committed
  eb32bcd
- Merge #3243 (fix/holed-array-generics, local head fea4845ddb) into train/lang-2
  
  cramforce
  and
  claude
  committed
  aba9096
- Give --no-copy-warning its cache key rule
  
  cramforce
  and
  claude
  committed
  ae2d0bd
- List the empty-array case as refused in the copy-soundness baseline
  
  cramforce
  and
  claude
  committed
  f8ea850
- Register the width-copy scan's list of read-only runtime calls as a prefix list
  
  cramforce
  and
  claude
  committed
  a536e93
- Merge origin/main (fffd053659) into train/lang-2
  
  cramforce
  and
  claude
  committed
  23003a4
- Merge fix/member-call-receiver-narrowing (3d01d17084) into train/lang-2
  
  cramforce
  and
  claude
  committed
  4c9a541
- Merge fix/f5-typed-resolve (97cbeb2484) into train/lang-2
  
  cramforce
  and
  claude
  committed
  e1e02df
- Merge #3241 (fix/builtin-replace) into train/lang-2
  
  cramforce
  and
  claude
  committed
  ff9bed4
- Merge origin/main (4e3f07164b) into train/lang-2
  
  cramforce
  and
  claude
  committed
  420009b
- Regenerate the IR codec for the train's IR
  
  cramforce
  and
  claude
  committed
  aa197fe
- Run module initializers that only compute at the first use of what they make
  
  cramforce
  and
  claude
  committed
  b38aaec
- Merge origin/main (e7378e4fa1) into train/lang-2
  
  cramforce
  and
  claude
  committed
  cc77cb7
- Merge origin/main (fdf68fdf57) into train/lang-2
  
  cramforce
  and
  claude
  committed
  258566b
- Merge main fdf68fdf57 into perf/lazy-initializers-2
  
  cramforce
  and
  claude
  committed
  2ada2af
- Share a file both ways when a generated module's load evaluated it first
  
  cramforce
  and
  claude
  committed
  a505b9a
- Give a lazily run module initializer its place wherever the module is loaded from
  
  cramforce
  and
  claude
  committed
  f28078e
- Keep the operand of void in a built-in feature test
  
  cramforce
  and
  claude
  committed
  3bf19d3
- Merge origin/main (cb9665e11a) into train/lang-2
  
  cramforce
  and
  claude
  committed
  74e48e3
- Print why a module initializer is deferred or stays, when asked
  
  cramforce
  and
  claude
  committed
  828c6fd
- Keep a deferred group's run out of the loops that read what it made
  
  cramforce
  and
  claude
  committed
  dcac723
- Merge instant-start-2's closed statements (a505b9a55b) into fix/load-recorder-inputs
  
  cramforce
  and
  claude
  committed
  712086c
- Decide a built-in feature test only when nothing in it runs
  
  cramforce
  and
  claude
  committed
  0d3aab1
- Merge origin/main (37323b08f8) into train/lang-2
  
  cramforce
  and
  claude
  committed
  3551453
- Record the measured cost of the import-forms corpus program
  
  cramforce
  and
  claude
  committed
  be2dcc2
- Peel type wrappers in main's new module-binding reads
  
  cramforce
  and
  claude
  committed
  4904372
- Merge fix/main-red-weak-keys (396d18c2fe, PR #3371) into train/lang-2
  
  cramforce
  and
  claude
  committed
  c2c4044
- Keep decided and undecided guards on different members in the positions program
  
  cramforce
  and
  claude
  committed
  6c61230
- Copy-soundness baseline: main refuses one more case by name
  
  cramforce
  and
  claude
  committed
  715a3d4
- Merge origin/main (0f154df0e1) into train/lang-2
  
  cramforce
  and
  claude
  committed
  5012504
- Keep Node's module compile cache for a program's Node island
  
  cramforce
  and
  claude
  committed
  26aadf9
- Keep an early-exit polyfill guard decided when its test has an operand that runs
  
  cramforce
  and
  claude
  committed
  4f6d08d
- Defer an island load only when it read nothing a run could answer differently
  
  cramforce
  and
  claude
  committed
  9400903
Commits on Nov 8, 2026
- Quote the quiet run in the docs, and say what the delayed write waits for
  
  cramforce
  and
  claude
  committed
  2c0b592
- Erase `X.m = X.m || f` only where the assignment does nothing
  
  cramforce
  and
  claude
  committed
  a332810
- Merge origin/main (ee6d7f7240) into train/lang-2
  
  cramforce
  and
  claude
  committed
  fe19272
- Keep the load recorder's format wrappers in a map, not a weak map
  
  cramforce
  and
  claude
  committed
  b135ce7
- Take the strict keep-value assignment out of 8738
  
  cramforce
  and
  claude
  committed
  beca8fc
- Merge origin/main (14960424a1) into train/lang-2
  
  cramforce
  and
  claude
  committed
  0463579
- Name a refused statement inside its own try at build time, not at every run
  
  cramforce
  and
  claude
  committed
  7cb7d9f
- Merge fix/island-views-symbols (#3284, cfc71de2ed) onto the islands-2 train
  
  cramforce
  and
  claude
  committed
  1311c15
- Refuse a resizable or detached program ArrayBuffer at the island crossing in every build
  
  cramforce
  and
  claude
  committed
  ca079a5
- Keep symbol keys of weak collections in the island's collection when a program has islands
  
  cramforce
  and
  claude
  committed
  73327ba
- Merge train/islands-2 (1bda0dd984: main 14960424a1 and the island member sites behind the table) into the restack of #3284
  
  cramforce
  and
  claude
  committed
  c4cf0e5
- List the object marks of worker_threads as no source of the load recorder
  
  cramforce
  and
  claude
  committed
  aff4136
- Merge train/islands-2 (98b69349ad, with main 793159ec8a) into the restack of #3284
  
  cramforce
  and
  claude
  committed
  d49f89e
- Pin a symbol-key delete on an island object
  
  cramforce
  and
  claude
  committed
  b71a297
- SC6012: say that the catch may run where Node's would not, and allow it on corpus programs
  
  cramforce
  and
  claude
  committed
  390edce
- Regenerate the island value matrix: byte views and symbols keep one identity across the boundary
  
  cramforce
  and
  claude
  committed
  3a21dbd
- Merge train/islands-2 (19cd362602: the review fix on #3382) into the restack of #3284
  
  cramforce
  and
  claude
  committed
  500e9ea
- Merge origin/main (952d9fb2be) into train/lang-2
  
  cramforce
  and
  claude
  committed
  d10eec1
- Merge train/startup-1 into fix/deferred-report-guarded-sites
  
  cramforce
  and
  claude
  committed
  c9d6bf5
- Merge train/islands-2 (e2e87ea9f0, with main 952d9fb2be) into the restack of #3284
  
  cramforce
  and
  claude
  committed
  c13d28a
- Regenerate the island conformance list: two programs match Node with byte views paired
  
  cramforce
  and
  claude
  committed
  8d9bd8d
- Merge train/islands-2 (61e47eb2dd, with main 851b59b90f: train startup-1) into the restack of #3284
  
  cramforce
  and
  claude
  committed
  cfe6840
- Merge fix/load-recorder-inputs (aff4136efd) into train/startup-2
  
  cramforce
  and
  claude
  committed
  58fa28e
- Keep statements and loops in place too in a program that patches a builtin module
  
  cramforce
  and
  claude
  committed
  9845861
- Merge feat/island-compile-cache (2c0b592d6d) into train/startup-2
  
  cramforce
  and
  claude
  committed
  4c7318e
- Merge fix/deferred-report-guarded-sites (c9d6bf5fc3) into train/startup-2
  
  cramforce
  and
  claude
  committed
  fc288db
- Take the shapes main's variadic rule refuses out of #3263's tests
  
  cramforce
  and
  claude
  committed
  ec6430c
- Merge perf/lazy-initializers-2 (be2dcc2b12) into train/startup-2
  
  cramforce
  and
  claude
  committed
  4ca5010
- Merge origin/main (851b59b90f) into train/lang-2
  
  cramforce
  and
  claude
  committed
  5b32646
- Pick the island module tree by its name in the load plan's test
  
  cramforce
  and
  claude
  committed
  0e2c052
- Merge main 58993e3690 into train/startup-2
  
  cramforce
  and
  claude
  committed
  0bd2727
- Merge train/islands-2 (0f4df1865e, the head of #3382) into the restack of #3284
  
  cramforce
  and
  claude
  committed
  69393c2
- Merge train/lang-2 (5b32646f38, #3368) into train/landing-1
  
  cramforce
  and
  claude
  committed
  0fbc0c3
- Merge train/startup-2 (0bd2727c9e, #3392) into train/landing-1
  
  cramforce
  and
  claude
  committed
  75f91cd
- Merge restack/island-views-symbols (69393c2f3f, islands-3: the restack of #3284) into train/landing-1
  
  cramforce
  and
  claude
  committed
  49cdfc6
- Regenerate the IR codec from the merged ir.ts
  
  cramforce
  and
  claude
  committed
  b10c233
- Read a call's arguments in the load recorder without running the load's code
  
  cramforce
  and
  claude
  committed
  b325e36
- Count an argument as readable in the load recorder only when nothing on it can run during the call
  
  cramforce
  and
  claude
  committed
  fed1d5a
- Take key generation and signing off the load recorder's list of pure builtins
  
  cramforce
  and
  claude
  committed
  b1de4ff

Commits

Commits on Nov 7, 2026

Commits on Nov 8, 2026