Repository navigation

runtime: build-time init snapshot census (instr-only): Supabase check differ=0, D 1,643 (93.9%), production bytes = main - #13935

Merged

proggeramlug merged 95 commits into

mainfrom

snap3t

Nov 6, 2026

Merged

runtime: build-time init snapshot census (instr-only): Supabase check differ=0, D 1,643 (93.9%), production bytes = main#13935
proggeramlug merged 95 commits into
mainfrom
snap3t

Commits on Oct 30, 2026
- fix(compile): pnpm isolated stores, wrong-target Node-API addons, static text imports
  Ralph Küpper
  committed
  abe1d47
- feat(compile): named imports of CommonJS modules with opaque exports
  Ralph Küpper
  committed
  8178b4a
- fix(codegen): long image-literal key names; inline alias-scope metadata in the native reader
  Ralph Küpper
  committed
  942edda
- fix(resolve): compile a package from its TypeScript sources only when they are self-contained
  Ralph Küpper
  committed
  fb35b74
- fix(runtime): callable class instances: inherited getter receiver, instanceof
  Ralph Küpper
  committed
  141816f
- fix(hir): arrows passed to super(...) read the bound `this`
  Ralph Küpper
  committed
  c0e6c0b
- fix(wpfacts): one spelling of a ⊤ function result
  Ralph Küpper
  committed
  f9c3343
- perf(wpfacts): join only the solved units' shared writes each round
  Ralph Küpper
  committed
  231e1f4
- feat(wpfacts): name what keeps per-unit facts from a fixpoint
  Ralph Küpper
  committed
  282f40d
- fix(wpfacts): the no-fixpoint report compares a cell after its join
  Ralph Küpper
  committed
  20f98f1
- fix(wpfacts): a stand-in's result reached through a key stays in its run
  Ralph Küpper
  committed
  b787b33
- changelog: the Supabase CLI compiles from source
  Ralph Küpper
  committed
  f100398
- fix(hir): every arrow created before super() returns reads the bound this
  Ralph Küpper
  committed
  38d75c6
- fix(wpfacts): forwarded copies of one literal shape join, so the unit fixpoint terminates
  Ralph Küpper
  committed
  0d6cc87
- changelog: number the PR fragment
  Ralph Küpper
  committed
  93a125b
- fix(wpfacts): the no-fixpoint report compares every unit output
  Ralph Küpper
  committed
  9f4a2db
- test(wpfacts): forwarded copies of one literal shape reach a fixpoint
  Ralph Küpper
  committed
  3648b80
- Merge remote-tracking branch 'pr/13477' into snap1
  Ralph Küpper
  committed
  194405e
- Merge remote-tracking branch 'pr/13579' into snap1
  Ralph Küpper
  committed
  4ef5a8a
- hir: super_arrow_this PropertySet carries byte_offset/byte_end (merge of #13477 with main)
  Ralph Küpper
  committed
  777531e
- wpfacts: driver.rs merge of #13477 keeps both appended blocks whole
  Ralph Küpper
  committed
  ebee3b1
- WIP snap census runner
  Ralph Küpper
  committed
  62e8b30
- WIP snap census: exclusions, realm scope, digest, rset
  Ralph Küpper
  committed
  1a9d535
- WIP snap census: top mode, facts dump
  Ralph Küpper
  committed
  57eef33
- WIP snap census: no ordinary-build footprint (knob list, entry decl)
  Ralph Küpper
  committed
  4d17b80
- WIP snap census: TLS module globals, handler state off TLS/.bss
  Ralph Küpper
  committed
  a29a64b
- WIP snap census: handler diagnostics
  Ralph Küpper
  committed
  ddc8363
- WIP snap census: exact static TLS block
  Ralph Küpper
  committed
  2d4e3f0
- WIP snap census: handlers on own stack
  Ralph Küpper
  committed
  0d2b991
- WIP snap census: never protect the thread-pointer page
  Ralph Küpper
  committed
  6ae688e
- WIP snap census: whole TLS pages only
  Ralph Küpper
  committed
  bcfe3b1
Commits on Oct 31, 2026
- WIP snap census: main thread only
  Ralph Küpper
  committed
  4a5e7d3
- WIP snap census: step other threads through
  Ralph Küpper
  committed
  e9e6b50
- WIP snap census: free space, realm cells, noprotect
  Ralph Küpper
  committed
  1e31a04
- WIP snap census: births at free-list reuse, owner kinds
  Ralph Küpper
  committed
  f0c34b9
- WIP snap census: silent stores are reads
  Ralph Küpper
  committed
  0da6530
- WIP snap census: transparent-init what-if knob
  Ralph Küpper
  committed
  351d152
Commits on Nov 2, 2026
- WIP snap census: cascade attribution, dyn-code counts, attached cells, GC hold, lazy class mint as runtime work
  Ralph Küpper
  committed
  0853e13
- Merge remote-tracking branch 'origin/main' into snap3
  Ralph Küpper
  committed
  82779af
- merge fallout: take main's inline metadata reader (landed as 44ee7cab8)
  Ralph Küpper
  committed
  d1c74ad
- SNAP3 census: env reads as cells and one image guard, entry body in D, write containment, check run (instrumented only)
  Ralph Küpper
  committed
  e875bac
- merge fallout: drop the pre-landing copies of #13477 driver helpers (main has them)
  Ralph Küpper
  committed
  75e577e
- SNAP3b state: cargo check passes (production and instr cfg); release + instr build running; census code untested
  Ralph Küpper
  committed
  a916ecc
- SNAP3c census fixes: literal-shape store sites, guarded vars drop cells, check run ends at the boundary, digest names env storage and malloc pointers
  Ralph Küpper
  committed
  8f3d5df
- SNAP3d: the string alias-hint word is no env_var observation (cell reports alias=); raw mimalloc pointers hash as foreign in the digest
  Ralph Küpper
  committed
  a610085
- SNAP3d: a literal CommonJS require edge marks its target evaluation as reached by require (js_snap_require_edge, census compiles only), not import()
  Ralph Küpper
  committed
  349b9d1
- SNAP3e: the digest names a ShapeId by the shape it names and leaves a Map store's native indexes out
  Ralph Küpper
  committed
  310e4e1
- SNAP3f: the async-context test snapshot fills the census field by default
  Ralph Küpper
  committed
  07965bf
- SNAP3g: production builds carry no census code: main's instanceof (the pre-#13546 callable-instance walk from the snap1 merge is gone), one declared-prototype link read, js_snap_* exports and censu…
  Ralph Küpper
  committed
  c076654
- Merge remote-tracking branch 'origin/main' into snap3
  Ralph Küpper
  committed
  49c95de
- SNAP3g: a reused slot reports its birth by the user address (the header address is computed only in instrumented builds); the declared-prototype link is read once, with no census guard, in production
  Ralph Küpper
  committed
  d7b18c6
- SNAP3i: meta installs and prototype marks are representation; the entry module is the entry body; the weights run takes no fault
  Ralph Küpper
  committed
  aff6899
- SNAP3j: the census runs the whole prototype mark (flag, serial) as representation
  Ralph Küpper
  committed
  05ff2cf
- Merge commit '3ea781065' into snap3
  Ralph Küpper
  committed
  997a26a
- SNAP3k: a poisoned read in the check run reports instead of faulting
  Ralph Küpper
  committed
  b3bfa0e
- SNAP3l: key-granular locations for globalThis in the census
  Ralph Küpper
  committed
  73bea41
Commits on Nov 3, 2026
- SNAP3m: census TLS block is whole pages (no untracked module slots)
  Ralph Küpper
  committed
  f670222
- SNAP3n: program TLS slots on pages of their own in the census
  Ralph Küpper
  committed
  76185f4
- SNAP3o: runtime TLS roots counted on their own line; keyed global property reads name their key
  Ralph Küpper
  committed
  6269431
- Merge commit '05b80cb0c0' into snap3m
  Ralph Küpper
  committed
  afddbb8
- changelog: startup-snapshot census (instrumented builds only)
  Ralph Küpper
  committed
  2271779
- SNAP3p: a slot registered again (one linked class-static address, registered by its module and by importers) keeps its first owner; the re-registration is no access
  Ralph Küpper
  committed
  8fa8ddf
- Merge branch 'snap3' into snap3m
  Ralph Küpper
  committed
  3cb4a26
- SNAP3s: census R1-R3 (design 2.10.16): representation decides ordering not ownership (D writes in representation scopes, meta installs and to excluded cells of non-D objects join a rollback set wit…
  Ralph Küpper
  committed
  a095249
- SNAP3t: census serial rule (design 2.10.17): a dynamic prototype serial is drawn in allocation order, so the digest names it by the birth name of the prototype that carries it (PERRY_SNAP_SERIAL=0 …
  Ralph Küpper
  committed
  3c091e0
- SNAP3u: census key-name rule (design 2.10.18): a key is named by what it is, never by where it lives. A key in a named cell takes the cell name (a string by its bytes, R2); a symbol the runtime lea…
  Ralph Küpper
  committed
  a4ea4f1
- SNAP3v: census symbol identity and serial carrier (design 2.10.18, 2.10.17). A fresh symbol is an arena birth: its id word, drawn in creation order (symbol::next_id), is named by the symbol own bir…
  Ralph Küpper
  committed
  5cb9986
- Merge origin/main (8a878921b7) into snap3t
  Ralph Küpper
  committed
  2ecbc93
- SNAP3w: census lint and format: the census digest reads a string payload through string::string_data; the census header reads of its own births are allowlisted in the address-classification audit (…
  Ralph Küpper
  committed
  1c81323
- SNAP3x: census key-name rule on the symbol space (design 2.10.19). Since #13817 every persistent symbol is a cell of the process immortal symbol space, bump allocated in creation order, so its addr…
  Ralph Küpper
  committed
  f34c2cc
- SNAP3x: root-holder gate pins for the census hooks. PASS1_MARKED window re-audited for the three instruments-only hooks (gc/census.rs census_live counts a header against the census birth list; aren…
  Ralph Küpper
  committed
  ab9e6d8
- SNAP3y: cargo fmt order of the census re-export in map.rs (the instruments-only use of store::snap_native_index_range sorts before use store::*)
  Ralph Küpper
  committed
  776e99b
Commits on Nov 4, 2026
- SNAP4a: slack rule: an object is named up to its key count; its shape live bound is clipped to it (learned inline width is allocation state D moves; PERRY_SNAP_SLACK=0)
  Ralph Küpper
  committed
  a391626
- SNAP4a: first-use rule: a class keys cache fill and a regex literal site miss are the runtime's in the census (whichever init asks first; PERRY_SNAP_FIRSTUSE=0)
  Ralph Küpper
  committed
  a27c19f
- census: the weights run writes no heap digest (its collections free logged births)
  Ralph Küpper
  committed
  3db25cf
- census: digest the deprecated F64 rep lane by its special identity
  Ralph Küpper
  committed
  edb7f5f
- census: native module export first use is the runtime's (G2)
  Ralph Küpper
  committed
  becba6d
- census: singleton closure first use is the runtime's (G2)
  Ralph Küpper
  committed
  4107e60
- census: spread slow-path key list first use is the runtime's (G2)
  Ralph Küpper
  committed
  c24e54f
Commits on Nov 5, 2026
- census: an Ordinary object allocated past its live bound is named up to its key count (G1 widened; fixture T/fx/width2)
  Ralph Küpper
  committed
  2b486a0
- census: an arguments tail names its birth ShapeId by the shape (fixture T/fx/argtail)
  Ralph Küpper
  committed
  c2bd0d8
- census: a poisoned root slot registered in the check is D's binding, not the importer's (slot owner; fixture T/fx/statics)
  Ralph Küpper
  committed
  7a097d0
- Merge main (48ab126d58) into snap5
  Ralph Küpper
  committed
  b59277e
- snap census: the realm global is the runtime's, whichever init first asks for it
  Ralph Küpper
  committed
  ffe56c3
- snap census: %Object% and its prototype stand-in are the realm's
  Ralph Küpper
  committed
  5bf0820
- snap census: every lazy realm intrinsic builder is the runtime's
  Ralph Küpper
  committed
  352b0b4
- snap census: a module-global slot a member of D wrote is named in .wd, as a birth word D wrote
  Ralph Küpper
  committed
  5eb71be
- snap census: the JSON parse shape-keys cache miss is first-use state, the runtime's
  Ralph Küpper
  committed
  3ad95e7
- snap census: the check evaluates the imaged inits the census entered inside a skipped D body, in entry order
  Ralph Küpper
  committed
  d14976c
- snap census: a word into a canonical key-list backing names the chain by its first key
  Ralph Küpper
  committed
  b5623eb
- Merge commit '20e656b9c685af56546d1a4e7a736d39f98569b3' into snap5
  Ralph Küpper
  committed
  b3f7ea7
- fix: replay census evaluations through their once guards
  Ralph Küpper
  committed
  6913231
- fix: name census string shape keys by their bytes
  Ralph Küpper
  committed
  71e036e
- fix: keep census additions clear of production line labels
  Ralph Küpper
  committed
  9e2f5c2
Commits on Nov 6, 2026
- chore: merge main into snapshot census
  Ralph Küpper
  committed
  e69fb22

Commits

Commits on Oct 30, 2026

Commits on Oct 31, 2026

Commits on Nov 2, 2026

Commits on Nov 3, 2026

Commits on Nov 4, 2026

Commits on Nov 5, 2026

Commits on Nov 6, 2026