Repository navigation

perf(runtime): per-site shape/slot memo for getter reads - #12986

Merged

proggeramlug merged 12 commits into

mainfrom

tsp1-prototype-getter-site-memo

Oct 23, 2026

Merged

perf(runtime): per-site shape/slot memo for getter reads#12986
proggeramlug merged 12 commits into
mainfrom
tsp1-prototype-getter-site-memo

Commits on Oct 23, 2026
- perf(runtime): memoize getter read sites with live shape-slot proofs
  Ralph Küpper
  committed
  5c1c6be
- perf(runtime): share shape-slot memo storage and trim property-read dispatch
  Ralph Küpper
  committed
  35f6e37
- perf(runtime): tail-call unproved slot loads from property probes
  Ralph Küpper
  committed
  518b1d6
- perf(runtime): separate indexed probe lookup and tail continuations
  Ralph Küpper
  committed
  41c9742
- perf(runtime): tail-continue indexed collisions and memo matches
  Ralph Küpper
  committed
  7b0f285
- perf(runtime): reconstruct collision cursors only on continuation
  Ralph Küpper
  committed
  770afdc
- perf(runtime): select indexed key storage before retaining its slot
  Ralph Küpper
  committed
  20cbe4c
- perf(runtime): reuse shape proofs and index state on collisions
  Ralph Küpper
  committed
  a1a9f81
- perf(runtime): keep indexed hits free of collision cursor state
  Ralph Küpper
  committed
  04fee5f
- docs(runtime): describe final getter memo startup behavior
  Ralph Küpper
  committed
  c29fc58
- fix(runtime): audit getter memo atom and lifetime contracts
  Ralph Küpper
  committed
  90869f1
- chore(codegen): refresh runtime ABI export manifest
  Ralph Küpper
  committed
  cfec08c