Share child derives and non-atomic prop and inject arguments after source checks inspect substitution. Lower dependencies before callers regardless of declaration order, preserve owner frames in stateless arms, and follow executable row bodies in dependency and metric readers. Leave JS bindings unmasked when derive calls hide their item-field reads. Action-body reads remain substituted.
Static shape readers resolve executable aliases before classifying literals, lists and projections. Retained arguments use the same owner-frame prefix as VM calls. Compiled literal/derive pairs cover nested virtualization, launch viewport policy, input capabilities, page image priority and retained press/swipe dispatch through deeper row and match frames.
The 19-section form and root twin stay within 10% in encoded plan and bundled JavaScript. Tests compare filtering, keyed-row changes and draft edits on the runner and JS target.
Keep source expansion and instance_iff unchanged. The Lean VM model for executable row calls and the lowering-sharing correspondence remain owed; semantics/README.md names this boundary. The format digest pin names the row change and the hosts that must rebuild.
Part of issues/20261113-child-derive-inlined-at-each-read-multiplies-code-size.md: the Lean row-call model, lowering-sharing proof and complete strict browser comparison remain owed.
Co-Authored-By: Claude Opus 5.5 <[email protected]>
