Repository navigation

Realm production A2b: one declaration per native namespace (owners, names, Node member order); module vtable is a shape fact - #13967

Draft

proggeramlug wants to merge 42 commits into

mainfrom

wrt3p-a2b

Draft

Realm production A2b: one declaration per native namespace (owners, names, Node member order); module vtable is a shape fact#13967
proggeramlug wants to merge 42 commits into
mainfrom
wrt3p-a2b

Commits on Nov 4, 2026
- realm: the restricted reach unites the program's own names with the gate input; the gate asserts the seed and runs in CI
  Ralph Küpper
  committed
  d287c0d
- realm: every native birth declares its owner; the producer fills none in; owner truth test
  Ralph Küpper
  committed
  d9f699d
- realm: one object, one declaration: a native birth lists its other names; uses are spelled as the declaration
  Ralph Küpper
  committed
  2e915dc
- realm: a native namespace declared as an item beside its module (fs)
  Ralph Küpper
  committed
  92755b5
- realm: 45 native namespaces declared as items beside their keys (namespaces/<module>.rs, http2 in node_http2_constants.rs); their hand key tables and arms are gone
  Ralph Küpper
  committed
  20b9237
- realm: the 11 zero-member native namespaces declared as items with the members perry serves (Q7: Object.keys no longer leaks __module__); their inline lists leave the native birth
  Ralph Küpper
  committed
  22d05b9
- realm: the live key-table arms declared as items (Q10); 26 namespaces and 3 two-name splits leave their hand tables
  Ralph Küpper
  committed
  beb2109
- realm: the native-module vtable is a fact of the namespace shape (Q8 option a, stage S1)
  Ralph Küpper
  committed
  0280b89
- realm: births name their vtable; by-name reads take the codegen vtable; the default namespace vtable lives on the base vtable; codegen passes vtables (Q8 S2 runtime and codegen)
  Ralph Küpper
  committed
  1edf7ae
- realm: the seal fact reads the namespace birth; named-import IR tests expect the _vt entry (Q8 S2)
  Ralph Küpper
  committed
  14d9742
- realm: thread the module vtable through bound_native_callable_export_value, payload prototypes and payload families (Q8 S2 step 2)
  
  WRT
  authored and
  Ralph Küpper
  committed
  1e00ef8
- realm: delete the unkeyed by-name namespace birth; static exports carry their vtable; IR test: no by-name birth without a dynamic require (Q8 S2)
  
  WRT
  authored and
  Ralph Küpper
  committed
  5bf85b6
- realm: delete the by-name externs nothing emits (js_create_native_module_namespace, js_native_module_esm_export_value, js_native_module_named_esm_export_value) with their anchors and wasm rows (Q8 …
  Ralph Küpper
  committed
  ba547f8
- realm: a <mod>.default callable births its base namespace through the vtable base link, one clause sets both links (Q8 S2 Q2)
  Ralph Küpper
  committed
  2fb594c
- hir: the named-import marker is spelled as the extern codegen emits (_vt); the deleted extern's name no longer stands for it
  Ralph Küpper
  committed
  1a2f409
- stdlib: the worker process notification births its namespace with NM_PROCESS (main added the call after the by-name birth was deleted)
  Ralph Küpper
  committed
  d6ecdb4
- realm-diff gate: carry the S1 identity check and own-names seed onto main's gate; references regenerated (names from this head's R, cells from the restricted dumper source); the dumper skips the id…
  Ralph Küpper
  committed
  3005409
- lint pins: SSO review pin of node_stream_event_emitter.rs (only the process namespace birth changed); thread-exit custody entries for the module row table (NATIVE_MODULE_ROWS/ROW_COUNT replace NATI…
  Ralph Küpper
  committed
  772a363
- runtime: a native namespace is born into its vtable's branded shape (Q8)
  Ralph Küpper
  committed
  fc22992
- realm: the default member of node:stream, node:events and node:module is the CJS value (Stream, EventEmitter, Module)
  Ralph Küpper
  committed
  28bc998
- runtime: warnings and formatting in the files the realm work touches
  Ralph Küpper
  committed
  da91b7a
- realm: native namespace members in Node order: assert.strict, child_process.default, constants.default, dgram.default, http.default, https.default, net.default, process (and process.namespace, proc…
  Ralph Küpper
  committed
  7de7d2b
- realm: fs.default and http2.default members in Node order (declaration reorder, same members)
  Ralph Küpper
  committed
  45b1c6b
- realm: readline/promises exports in Node order (Interface, Readline, createInterface) at the submodule birth
  Ralph Küpper
  committed
  0830b1a
- realm: assert/strict CJS export sets its members in the declared order (Node order) instead of a second hand list
  Ralph Küpper
  committed
  1321995
- crypto.Certificate: a real prototype data property (constructor and the three SPKAC methods), statics in Node order
  Ralph Küpper
  committed
  3f5e111
- realm-dumps regenerated for the member order and Certificate.prototype; gap test test_gap_native_member_order (16 cells, shared keys, node oracle)
  Ralph Küpper
  committed
  5c5717b
- irdiff linkpad: pad perry_js_text (compiled JS bodies end the executable segment; a code-size difference past a page moved the read-only segment start)
  Ralph Küpper
  committed
  1da82c9
- realm-dumps regenerated on the rebase onto ced229822d (main added the MessageEvent global and dropped the Object.prototype names from Object; the old-to-new change equals main's own 6e5c6e1190-to-c…
  Ralph Küpper
  committed
  c8d9df0
- realm-diff gate: the agreement check is an identity (A2-DESIGN 6.4): one member list per namespace, the gate compares it with Node's Object.keys per cell (native-order.node.json, Node v26.12.1), ce…
  Ralph Küpper
  committed
  7ec0105
- runtime test: a deferred builtin import resolves through the (name, vtable) rows a program with a dynamic import carries (test-only with_test_module_rows installs and restores them)
  Ralph Küpper
  committed
  bb704fc
- warnings: the net vtable static is read inside the enclosing unsafe (no inner block); string_decoder drops the unused module name
  Ralph Küpper
  committed
  5e33bcb
- changelog: realm owners and member order (A2b)
  Ralph Küpper
  committed
  87d66bf
- realm owners: a native receiver with no declared native_namespace is an error by name (the producer fills none in); the 8 receivers declare their owner
  Ralph Küpper
  committed
  9fd739b
- class_registry: the reserved native parent arms name their module vtable through one local use (state.rs back under the file-size limit)
  Ralph Küpper
  committed
  b4f2162
- native_module: set_native_namespace_keys names its parameter key_list (the shape census tracks the word keys_array as a raw member; the census baseline is unchanged)
  Ralph Küpper
  committed
  1dcd04f
- native_export_collisions: a keyword-picked export arm (realm_decl! namespace) exports only for its own invocations; the wrapper check and the other arms skip it (self-test added)
  Ralph Küpper
  committed
  d62b2ae
- undo rustfmt-only churn in codegen dialect/mod.rs and fs/mod.rs (unrelated to A2b; both files were already over the size limit on main)
  Ralph Küpper
  committed
  b84b3eb
- shapes: the test-only brand-transition counter is a brand-keyed atomic (a thread_local is a GC-holder census row)
  Ralph Küpper
  committed
  ee73bbd
- native_module: set_native_namespace_keys hands back the receiver through with_mut_ptr (raw-handle debt ceiling for native_module.rs stays at 4)
  Ralph Küpper
  committed
  da2f4a3
- runtime_abi.tsv regenerated (--emit-wasm-abi): the _vt entry rows and js_nm_set_module_table are A2b rows; 6 more rows were missing on main already
  Ralph Küpper
  committed
  ae3b5e1
- fs: the module vtable statics are read as fs::namespace::NM_FS (no re-export line in fs/mod.rs, which is over the size limit on main)
  Ralph Küpper
  committed
  03f02d0

Commits

Commits on Nov 4, 2026