Malte Ubl 6cd96eec49 Lower compound assignment with untyped operands like the expanded form ...

`checksum += parsed[i].score` (a number local plus an `any` value) failed
with SC1043 "comparing non-number, non-string values" in TypeScript, while
the expanded `checksum = checksum + parsed[i].score` compiled: the
compound lowering only routed checked-dynamic operands through the
runtime operators in JavaScript files.

Locals, record fields and array elements now lower `op=` with an untyped
right operand (or an untyped local target) exactly like `x = x op rhs`:
dyn.add / dyn.arithmetic / dyn.bitwise, then the checked conversion into
the target's declared type. Numeric operators keep Node's ToNumber
semantics; a `+=` that produces a string for a `number` target throws the
same catchable TypeError as the expanded assignment and leaves the target
unchanged (pinned in tests/harness/dyncheck.test.ts).

Remaining SC1043 refusals for arithmetic, unary, update and compound
operators now name the operator and operand types instead of the
comparison wording.

The retired-engine-763 diagnostics fixture compiles now and matches Node,
so it moves to the corpus as 5343.

2026-10-16 06:31:51 -07:00

..

cjs-esm-lexer-require-reached

init

2026-07-22 18:08:04 -05:00

cjs-module-mutation

feat: add static CommonJS module graph (#332)

2026-09-15 21:17:31 -05:00

cjs-require-cycle

init

2026-07-22 18:08:04 -05:00

cjs-require-esm-type-link

Enforce TypeScript 7 and Node type-link parity (#315)

2026-09-14 09:19:08 -05:00

cjs-require-tdz

init

2026-07-22 18:08:04 -05:00

cycle-class-early

Initialize import cycles in module evaluation order (#740)

2026-10-08 11:29:07 -05:00

cycle-default-export

Initialize import cycles in module evaluation order (#740)

2026-10-08 11:29:07 -05:00

cycle-namespace-import

Initialize import cycles in module evaluation order (#740)

2026-10-08 11:29:07 -05:00

cycle-var-early

Initialize import cycles in module evaluation order (#740)

2026-10-08 11:29:07 -05:00

deferred-class-binding

Report a rejected declaration's own diagnostic when a discarded probe flushed it first

2026-10-09 23:07:57 -05:00

deferred-class-receiver

Report a rejected declaration's own diagnostic when a discarded probe flushed it first

2026-10-09 23:07:57 -05:00

dynamic-import

init

2026-07-22 18:08:04 -05:00

esm-syntax-commonjs

fix(compiler): support implicit top-level await modules (#94)

2026-08-08 11:35:01 -05:00

import-defer

init

2026-07-22 18:08:04 -05:00

import-defer-type

init

2026-07-22 18:08:04 -05:00

import-forms

init

2026-07-22 18:08:04 -05:00

invalid-package-config

fix(compiler): support implicit top-level await modules (#94)

2026-08-08 11:35:01 -05:00

json-module-comment

init

2026-07-22 18:08:04 -05:00

json-modules

init

2026-07-22 18:08:04 -05:00

json-shape

init

2026-07-22 18:08:04 -05:00

ns-import-object

Add static literal dynamic imports (#363)

2026-09-20 15:59:34 -05:00

pkg-import-fences

init

2026-07-22 18:08:04 -05:00

retired-engine-import-refusal

Make scriptc compilation native-only

2026-10-12 12:25:30 -05:00

spi-off

Deferred-init fields: stream!-style classes lower with typed extraction reads

2026-07-23 00:40:54 -05:00

top-level-await-commonjs

fix(compiler): support implicit top-level await modules (#94)

2026-08-08 11:35:01 -05:00

top-level-await-module-leak

fix(compiler): support implicit top-level await modules (#94)

2026-08-08 11:35:01 -05:00

accessors.ts

Preserve interface identity and extend native library calls

2026-10-07 13:55:11 -05:00

aggregate-error-fences.ts

Implement Promise.allSettled and Promise.any

2026-10-13 19:12:53 -05:00

any.ts

Expand static support for common Effect 4 patterns (#600)

2026-10-01 17:36:29 -05:00

arrow-bind.ts

Compile renderer values and callbacks natively

2026-09-28 13:54:28 -05:00

assert-class-fences.ts

Add assert.deepEqual, partialDeepStrictEqual and the Assert class

2026-10-15 22:01:38 -05:00

assert-fences.ts

Add assert.deepEqual, partialDeepStrictEqual and the Assert class

2026-10-15 22:01:38 -05:00

async-iterator-handles.ts

feat: add static async iteration parity (#328)

2026-09-15 00:03:07 -05:00

bigint-fences.ts

Expand native collection keys and construction

2026-10-05 09:32:14 -05:00

blocked-binding-cascade.ts

Compile collection metadata and heterogeneous JavaScript tables natively

2026-09-28 22:20:24 -05:00

catch-bindings.ts

Preserve narrowed class values and collection composition

2026-10-08 01:21:43 -05:00

checker-panic-infinity.ts

perf: avoid repeated type queries and JavaScript binding scans (#630)

2026-10-03 07:40:13 -05:00

checker-panic-tuple.ts

init

2026-07-22 18:08:04 -05:00

child-process.ts

feat(child_process): support inline execFile callback options (#387)

2026-09-23 00:13:44 -05:00

class-decorators.ts

init

2026-07-22 18:08:04 -05:00

class-interface-refinements.ts

feat(compiler): preserve native type refinements for self-hosting

2026-09-28 08:12:06 -05:00

class-prototype-reflection.ts

feat: support static buffer constructors and prototype methods (#591)

2026-09-30 17:53:59 -05:00

class-values.ts

feat: support static Three.js collision workloads

2026-09-30 09:19:17 -05:00

collection-iterator-helpers.ts

Support stored Map and Set iterators in static builds (#618)

2026-10-02 13:26:27 -05:00

collection-views.ts

feat(compiler): enable native IR construction for self-hosting (#491)

2026-09-27 11:41:52 -05:00

component-fences.ts

Compile collection metadata and heterogeneous JavaScript tables natively

2026-09-28 22:20:24 -05:00

comptime.ts

init

2026-07-22 18:08:04 -05:00

console-fences.ts

Lower the rest of the global console

2026-10-13 18:55:55 -05:00

contract-acyclic-positions.ts

Acyclic: a dedicated default interface; shortest cycle in explanations

2026-10-11 16:30:25 -07:00

contract-acyclic.ts

Acyclic contract type: classes and object types that cannot lie on a cycle

2026-10-11 16:30:24 -07:00

contract-immutable.ts

Publish Immutable factory arrays only after provable index writes

2026-10-12 02:33:29 -05:00

contract-int32-escapes.ts

wip: contract types prototype

2026-10-11 11:17:17 -07:00

contract-int32.ts

wip: contract types prototype

2026-10-11 11:17:17 -07:00

contract-nothrow-handlers.ts

try/catch discharges NoThrow: handlers take what they catch

2026-10-11 16:30:24 -07:00

contract-nothrow.ts

Contract types: explain throwing paths, bind only declared functions, docs and baselines

2026-10-11 12:24:27 -07:00

contract-positions.ts

wip: contract types prototype

2026-10-11 11:17:17 -07:00

contract-program-lifetime-positions.ts

Add the ProgramLifetime contract: classes whose instances live until exit skip reference counting and cycle collection

2026-10-11 16:30:23 -07:00

contract-program-lifetime.ts

Merge main into feat/program-lifetime-publication

2026-10-12 09:38:24 -05:00

create-require.ts

Add static node:module parity (#361)

2026-09-20 14:44:19 -05:00

dataview.ts

Support native runtime values used by OpenTUI

2026-09-28 19:01:50 -05:00

date-formatters.ts

Fix static JavaScript edge cases and add Test262 coverage (#414)

2026-09-24 23:01:48 -05:00

date-union-fences.ts

Support Date instance lowering (#101)

2026-08-08 23:17:58 -05:00

deep-binary-nesting.ts

init

2026-07-22 18:08:04 -05:00

deep-nesting-preflight.ts

init

2026-07-22 18:08:04 -05:00

default-export.ts

Fixture and manifest bookkeeping for the graduated lowerings

2026-07-23 00:37:25 -05:00

delete-fences.ts

init

2026-07-22 18:08:04 -05:00

destructuring-fences.ts

Promote destructuring assignment targets, class-instance sources, class rest, and accessor defaults to the static tier

2026-07-23 17:27:25 -05:00

dynamic-import-static.ts

Add static literal dynamic imports (#363)

2026-09-20 15:59:34 -05:00

dynamic-representable-types.ts

Expand static support for common Effect 4 patterns (#600)

2026-10-01 17:36:29 -05:00

dynamic-surface.ts

Make compile blockers and Node differences actionable (#786)

2026-10-09 10:30:31 -05:00

ee-computed-internal.ts

Support scoped computed EventEmitter names (#389)

2026-09-23 00:38:45 -05:00

ee-computed-listeners.ts

Support scoped computed EventEmitter names (#389)

2026-09-23 00:38:45 -05:00

ee-computed-stream-internal.ts

Support scoped computed EventEmitter names (#389)

2026-09-23 00:38:45 -05:00

ee-computed-unrestricted.ts

Support scoped computed EventEmitter names (#389)

2026-09-23 00:38:45 -05:00

ee-emit-override.ts

Subclasses may override emit in the forwarding shape, monomorphized per event

2026-07-24 09:37:57 -05:00

enums.ts

init

2026-07-22 18:08:04 -05:00

es2025-fences.ts

Fresh-ArrayBuffer erasure, DataView setters, and named buffer fences

2026-07-23 19:45:15 -05:00

event-target-subclass-fences.ts

Support subclassing EventTarget and Event

2026-10-14 17:18:04 -05:00

events-once-fences.ts

Lower events.once over EventEmitter instances

2026-10-15 18:26:31 -05:00

exceptions.ts

Implement explicit resource management (#309)

2026-09-13 23:34:17 -05:00

fetch-static.ts

Expand static support for common Effect 4 patterns (#600)

2026-10-01 17:36:29 -05:00

filter-narrow.ts

init

2026-07-22 18:08:04 -05:00

filter-void-predicate-dyn.ts

fix(compiler): guard zero-arg dynamic filter calls

2026-08-17 10:34:43 -04:00

filter-void-predicate-dynamic.ts

fix(compiler): clarify void filter predicate fence

2026-08-14 10:27:38 -04:00

filter-void-predicate-island.ts

test(compiler): refresh filter void snapshot

2026-08-14 10:27:38 -04:00

filter-void-predicate.ts

fix(compiler): clarify void filter predicate fence

2026-08-14 10:27:38 -04:00

function-forms.ts

Add static builtin function values (#353)

2026-09-19 21:49:21 -05:00

function-limits.ts

init

2026-07-22 18:08:04 -05:00

generator-method-overrides.ts

Support static generator methods and loop bindings (#512)

2026-09-27 23:33:40 -05:00

generic-methods.ts

init

2026-07-22 18:08:04 -05:00

generic-signature-values.ts

Split the SC2001 catch-all into named type-fence families

2026-07-23 16:55:31 -05:00

generic-value-bindings.ts

Ambient roots trap whole chains; dead and nullish generic bindings lower to their runtime truth

2026-07-24 02:29:48 -05:00

generics.ts

Strengthen generic type and class boundaries

2026-10-07 11:47:54 -05:00

http2-module.ts

init

2026-07-22 18:08:04 -05:00

http2-response-trailers.ts

fix(http): enforce HTTP/1.1 Host requirement (#388)

2026-09-23 10:21:53 -05:00

identity-collection-keys.ts

Expand native collection keys and construction

2026-10-05 09:32:14 -05:00

import-equals-require.ts

init

2026-07-22 18:08:04 -05:00

import-meta-bare.ts

feat: support static ESM import metadata

2026-09-02 18:18:09 -05:00

import-meta-computed.ts

Expand Node 24 ESM metadata compatibility (#653)

2026-10-04 01:03:02 -05:00

import-meta-destructure.ts

Expand Node 24 ESM metadata compatibility (#653)

2026-10-04 01:03:02 -05:00

import-meta-rest.ts

Expand Node 24 ESM metadata compatibility (#653)

2026-10-04 01:03:02 -05:00

import-meta-write.ts

feat: support static ESM import metadata

2026-09-02 18:18:09 -05:00

imports.ts

init

2026-07-22 18:08:04 -05:00

index-signature-values.ts

Compose class references across unions and collections (#734)

2026-10-08 07:35:21 -05:00

inheritance.ts

Preserve narrowed class values and collection composition

2026-10-08 01:21:43 -05:00

intern-table-fences.ts

Add InternTable, a shared append-only table of published values

2026-10-15 19:59:56 -05:00

intersection-values.ts

fix(compiler): support branded primitive types (#320)

2026-09-14 13:46:36 -05:00

intl-segmenter.ts

Support native runtime values used by OpenTUI

2026-09-28 19:01:50 -05:00

intl.ts

The en-US Intl slice: composed NumberFormat and toLocaleString go static, the rest fences by name

2026-07-23 20:30:47 -05:00

iterator-slot-fences.ts

Carry optional values, never-returning calls and native iterators through typed returns (#739)

2026-10-08 11:04:59 -05:00

jsdoc-import-require.js

init

2026-07-22 18:08:04 -05:00

json-dyn.ts

feat: preserve class and child handles through unknown (#331)

2026-09-15 19:30:22 -05:00

local-class-boundaries.ts

Compile local class factories and spread calls natively

2026-09-28 20:11:25 -05:00

local-require-binding-esm.js

fix(compiler): support implicit top-level await modules (#94)

2026-08-08 11:35:01 -05:00

maps-surface.ts

Support stored Map and Set iterators in static builds (#618)

2026-10-02 13:26:27 -05:00

maps.ts

Expand native collection keys and construction

2026-10-05 09:32:14 -05:00

merged-namespace-collect-probe.ts

Fix both 0.0.10 crash sites: collect probes recover from poison, for-init declarators stay locals

2026-07-24 11:38:39 -05:00

mixed-compare.ts

init

2026-07-22 18:08:04 -05:00

mixins.ts

keyof-constrained generics monomorphize per literal key; generic-fn aliases register their target

2026-07-23 17:20:03 -05:00

mock-fences.ts

Add mock.fn and t.mock.fn with Node's calls log and implementation controls

2026-10-16 00:22:22 -05:00

module-out-of-scope.ts

Out-of-scope builtin modules say why: v8, inspector, node:sqlite, domain, and the underscore internals

2026-07-23 21:27:19 -05:00

module-resolution-introspection.ts

feat(compiler): add Node module resolution introspection (#322)

2026-09-14 18:15:44 -05:00

multiple-errors.ts

Parity bookkeeping for the new fixtures

2026-07-23 01:05:22 -05:00

namespaces.ts

init

2026-07-22 18:08:04 -05:00

new-target-field-initializer.ts

init

2026-07-22 18:08:04 -05:00

no-error-assertion-fences.ts

Support Node 24 no-error assertions (#648)

2026-10-03 20:16:24 -05:00

node-fallback-fence.ts

Lower timers/promises resolve values, the ref option and setInterval under @types/node

2026-10-15 18:18:45 -05:00

nullish-class-defaults.ts

Observe forwarded optional values and asserted class arms (#783)

2026-10-09 07:49:53 -05:00

optional-fields.ts

Implement sparse native arrays and missing-value parity (#297)

2026-09-12 22:39:07 -05:00

options-record.ts

Add dns.lookup's Node forms, lookupService, getServers and the default result order

2026-10-15 16:59:20 -05:00

outside-world.ts

Retire the "DOM" nickname in comments, internal docs, and message prose: the checked-dynamic tree / dyn values

2026-07-24 11:14:58 -05:00

overload-fences.ts

Add static callable specialization (#350)

2026-09-18 22:50:45 -05:00

overloaded-function-values.ts

Add static callable specialization (#350)

2026-09-18 22:50:45 -05:00

private-members.ts

Implement typed async generators (#310)

2026-09-14 00:38:06 -05:00

promise-all-fences.ts

Implement Promise.allSettled and Promise.any

2026-10-13 19:12:53 -05:00

record-width.ts

Retire the "DOM" nickname in comments, internal docs, and message prose: the checked-dynamic tree / dyn values

2026-07-24 11:14:58 -05:00

regex.ts

Expand static support for common Effect 4 patterns (#600)

2026-10-01 17:36:29 -05:00

retained-generic-rest-order.ts

Compile collection metadata and heterogeneous JavaScript tables natively

2026-09-28 22:20:24 -05:00

retired-engine-760-any-arithmetic.ts

Make scriptc compilation native-only

2026-10-12 12:25:30 -05:00

retired-engine-761-any-objects.ts

Make scriptc compilation native-only

2026-10-12 12:25:30 -05:00

retired-engine-968-jsval-lift.ts

Make scriptc compilation native-only

2026-10-12 12:25:30 -05:00

retired-engine-1112-number-methods.ts

Make scriptc compilation native-only

2026-10-12 12:25:30 -05:00

retired-engine-1123-any-conditional-spread.ts

Make scriptc compilation native-only

2026-10-12 12:25:30 -05:00

retired-engine-1587-any-field-unassigned.ts

Make scriptc compilation native-only

2026-10-12 12:25:30 -05:00

retired-engine-2083-destructuring-island-decl.ts

Make scriptc compilation native-only

2026-10-12 12:25:30 -05:00

retired-engine-2084-destructuring-primitive-sources.ts

Make scriptc compilation native-only

2026-10-12 12:25:30 -05:00

retired-engine-2086-destructuring-island-globals.ts

Make scriptc compilation native-only

2026-10-12 12:25:30 -05:00

retired-engine-2103-optional-tuple-elements.ts

Make scriptc compilation native-only

2026-10-12 12:25:30 -05:00

retired-engine-2104-computed-key-destructuring.ts

Make scriptc compilation native-only

2026-10-12 12:25:30 -05:00

retired-engine-2251-tagged-templates-dyn.ts

Make scriptc compilation native-only

2026-10-12 12:25:30 -05:00

retired-engine-2513-dyn-evolving-array-derived.ts

Make scriptc compilation native-only

2026-10-12 12:25:30 -05:00

retired-engine-2667-array-to-sorted-any.ts

Make scriptc compilation native-only

2026-10-12 12:25:30 -05:00

retired-engine-2790-array-missing-tagged-substitutions.ts

Make scriptc compilation native-only

2026-10-12 12:25:30 -05:00

runtime-optional-capture-chain.ts

Respect runtime optional values and initialization order in more places (#775)

2026-10-09 00:23:28 -05:00

runtime-optional-refined-union.ts

Read holes in for-of loops and missing-element shorthand properties as undefined

2026-10-09 22:05:36 -05:00

self-returning-function.ts

init

2026-07-22 18:08:04 -05:00

sets.ts

Expand native collection keys and construction

2026-10-05 09:32:14 -05:00

spread-fences.ts

Add static fixed-tuple call spreads (#351)

2026-09-19 00:00:26 -05:00

spread-runtime-optional.ts

Track optional values precisely through callbacks, captures and pops (#784)

2026-10-09 10:33:07 -05:00

statements.ts

init

2026-07-22 18:08:04 -05:00

static-blocks.ts

The #private-members chain: fields, methods, accessors, generators

2026-07-23 02:42:10 -05:00

stdlib-fence.ts

Implement Promise.allSettled and Promise.any

2026-10-13 19:12:53 -05:00

stdlib.ts

Compile three.js math modules with LLVM

2026-09-29 20:58:04 -05:00

text-codec-value.ts

Expand static support for common Effect 4 patterns (#600)

2026-10-01 17:36:29 -05:00

text-decoder-label.ts

feat: support static non-UTF-8 TextDecoder labels (#111)

2026-08-09 23:15:51 -05:00

top-level-await-implicit-module-nested-require.js

fix(compiler): support implicit top-level await modules (#94)

2026-08-08 11:35:01 -05:00

tuples.ts

feat(compiler): make lowering contexts natively compilable

2026-09-28 19:48:46 -05:00

unassigned-fields.ts

Deferred-init fields: stream!-style classes lower with typed extraction reads

2026-07-23 00:40:54 -05:00

union-clone-override-width.ts

feat(compiler): lower the complete frontend statically

2026-09-28 23:49:13 -05:00

unions.ts

Implement sparse native arrays and missing-value parity (#297)

2026-09-12 22:39:07 -05:00

unrelated-class-assertion.ts

Respect runtime optional values and initialization order in more places (#775)

2026-10-09 00:23:28 -05:00

url-mutation-object-plus.ts

Add Node 24 URL mutation support (#654)

2026-10-04 01:57:10 -05:00

url-mutation-operator.ts

Add Node 24 URL mutation support (#654)

2026-10-04 01:57:10 -05:00

url-mutation-runtime-key.ts

Add Node 24 URL mutation support (#654)

2026-10-04 01:57:10 -05:00

utility-types.ts

Support Date instance lowering (#101)

2026-08-08 23:17:58 -05:00