Repository navigation

Train lang 2: one identity for empty arrays, every argument through function slots, copy warnings from the lowered program, holed arrays in generic loops, typed promise resolution, built-in member writes refused where read natively - #3368

Merged

ctate merged 90 commits into

mainfrom

train/lang-2

Nov 8, 2026

Merged

Train lang 2: one identity for empty arrays, every argument through function slots, copy warnings from the lowered program, holed arrays in generic loops, typed promise resolution, built-in member writes refused where read natively#3368
ctate merged 90 commits into
mainfrom
train/lang-2

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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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 an early-exit polyfill guard decided when its test has an operand that runs
  
  cramforce
  and
  claude
  committed
  4f6d08d
Commits on Nov 8, 2026
- 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
- 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
- Merge origin/main (952d9fb2be) into train/lang-2
  
  cramforce
  and
  claude
  committed
  d10eec1
- Take the shapes main's variadic rule refuses out of #3263's tests
  
  cramforce
  and
  claude
  committed
  ec6430c
- Merge origin/main (851b59b90f) into train/lang-2
  
  cramforce
  and
  claude
  committed
  5b32646

Commits

Commits on Nov 7, 2026

Commits on Nov 8, 2026