@things-factory/figure-ui 10.1.129 → 10.1.142

package/dist-client/modeller/editor.js

@@ -7,7 +7,7 @@ import { notify } from '@operato/layout';
 import { OxPrompt } from '@operato/popup';
 import { customElement, property, state } from 'lit/decorators.js';
 import { live } from 'lit/directives/live.js';
-import { PART_LIMIT, parseFigureRecipe, resolveFigureRecipe, figurePartCountOf, figureRecipeIdFor, parseFigureAsset, figureSizeEditChanges, figureScaleAnchorOf, figureSectionMeasuresOf, figurePlaneAlignChanges, figurePartFaceOf, figureRowOf, figureFaceOverhangOf, figureRoomOnlyInputsOf, figureRoomRefitOf, seedFigureEvaluation, upgradeFigurePlacement } from '@hatiolab/figure-model';
+import { PART_LIMIT, parseFigureRecipe, resolveFigureRecipe, figurePartCountOf, figureRecipeIdFor, figureSizeEditChanges, figureScaleAnchorOf, figureSectionMeasuresOf, figurePlaneAlignChanges, figurePartFaceOf, figureRowOf, figureFaceOverhangOf, figureRoomOnlyInputsOf, figureRoomRefitOf } from '@hatiolab/figure-model';
 import './figure-recipe-catalog.js';
 import { captureFigureThumbnail } from './thumbnail.js';
 import { drawableFigureParts } from './renderer.js';
@@ -30,7 +30,7 @@ import { keyActionOf } from './keys.js';
 import { groupFields, ownerOf, partLabelOf, repeatOf } from './fields.js';
 import { SidePanelStyles } from './side-panel-styles.js';
 import { ScrollbarStyles } from '@operato/styles';
-import { alignChanges, boxOf, canMirror, mirrorChanges } from './align.js';
+import { alignChanges, canMirror, mirrorChanges } from './align.js';
 import { paletteRecipe } from './palette.js';
 import { apexOver, drawnOf } from './section-drawing.js';
 import { END_FACE } from './section-controls.js';
@@ -39,7 +39,7 @@ import { roomRefitRowsOf } from './occupancy.js';
 import { editRefusalOf, inDeclaredRoom, inputRangeRefusalOf, narrowingRetryOf, partRefusalOf, placementRefusalOf, recipeRefusalOf, removalNoticeOf, sizeRangeRefusalOf } from './refusals.js';
 import { endPlaceKeyOf, fieldWordsOf, followOf, measureNow, partSummaryOf, instanceRangeOf, instanceRangeToDeclare, proportionToFollow, rangeDiffers, rangeWith, turnsAboutAJoint, valueNow } from './links.js';
 import { jointFanOf } from './joint-fan.js';
-import { seedEvaluatedGeometry } from './evaluated.js';
+import { derivedHeld, derivedOf } from './revision.js';
 import { jointDragOf } from './joint-drag.js';
 import { liveOverSession, NOTHING_LIVE, scrubbed, scrubStep } from './live.js';
 import { startingShapeKindOfBody } from './starting-shape.js';
@@ -58,16 +58,9 @@ function foldSaid() {
 /** Product editor surface. The injected session is shared by page persistence and AI commands. */
 /** The words a panel is given when there are none: one array, so it does not read as a change. */
 const NO_WORDS = [];
+const NO_OVERHANG = { words: NO_WORDS, note: NO_WORDS };
 /** How long a command's candidate rests before its preview is worked out. */
 const PREVIEW_SETTLE_MS = 150;
-function deepFreeze(value) {
-    if (value && typeof value === 'object' && !Object.isFrozen(value)) {
-        Object.freeze(value);
-        for (const inner of Object.values(value))
-            deepFreeze(inner);
-    }
-    return value;
-}
 let FigureEditor = class FigureEditor extends LitElement {
     constructor() {
         super(...arguments);
@@ -709,33 +702,36 @@ let FigureEditor = class FigureEditor extends LitElement {
             this.live = NOTHING_LIVE;
         }
     }
+    /** The bodies drawn with the value in hand, or null when nothing is in hand (or the figure cannot take it). */
+    liveParts(shown) {
+        return shown ? liveOverSession(shown, this.live) : null;
+    }
     /** What the canvas draws: the figure with the value in hand when there is one, and without the parts hidden on the workbench. */
-    drawnParts(geometry, asset) {
-        const parts = (asset ? liveOverSession(asset, this.currentInputs(), this.live) : null) ?? drawableFigureParts(geometry ?? []);
+    drawnParts(geometry, live) {
+        const parts = live ?? drawableFigureParts(geometry ?? []);
         return parts.filter(body => !this.hiddenParts.has(ownerOf(body.id)));
     }
     /**
      * Where the selected part turns and how far, with the pose as it is drawn now -- a value in hand included, so the
      * fan follows the arm while a control is dragged. Its size comes from what the joint turns (`joint-fan`).
      */
-    fanOf(asset) {
-        if (!asset || !this.selected || this.hiddenParts.has(this.selected))
+    fanOf(shown, live) {
+        if (!shown || !this.selected || this.hiddenParts.has(this.selected))
             return null;
         try {
-            return jointFanOf(asset, this.selected, { ...this.currentInputs(), ...this.live.values });
+            return jointFanOf(shown, this.selected, live ? { values: this.live.values, geometry: live } : undefined);
         }
         catch {
             return null;
         }
     }
     /**
-     * Every input as the session holds it now -- the pose the author has set with the controls, and design values. The
-     * asset's source carries only the saved defaults, so drawing a value in hand over it put every other joint back to its
-     * saved angle while one slider moved, and the arm jumped when released (user, 2026-09-24).
+     * The figure on screen at its version: what every panel and helper reads (`revision.ts`). Every input as the session
+     * holds it now is its `inputs` -- the pose set with the controls included: drawing a value in hand over the saved
+     * defaults put every other joint back to its saved angle while one slider moved (user, 2026-09-24).
      */
-    currentInputs() {
-        const view = this.session?.read();
-        return view ? Object.fromEntries(view.fields.map(field => [field.id, field.value])) : {};
+    shown() {
+        return this.session?.revisionNow();
     }
     /** A value in hand: an input's value (design or pose) or a part edit. Nothing is recorded. */
     hold(values, edit) {
@@ -864,7 +860,7 @@ let FigureEditor = class FigureEditor extends LitElement {
      */
     insertRecipe(recipe, values) {
         try {
-            const asset = this.plainAsset();
+            const asset = this.shown().asset;
             const checked = parseFigureRecipe(recipe);
             const id = figureRecipeIdFor(asset, checked);
             const steps = resolveFigureRecipe(checked, { id, ...(checked.target === 'part' ? { target: this.selected } : {}), values });
@@ -881,7 +877,7 @@ let FigureEditor = class FigureEditor extends LitElement {
     /** The design values of the asset being edited. */
     designValues() {
         try {
-            return this.session ? (this.plainAsset().designInputs ?? {}) : {};
+            return this.shown()?.asset.designInputs ?? {};
         }
         catch {
             return {};
@@ -894,7 +890,7 @@ let FigureEditor = class FigureEditor extends LitElement {
         if (!id || !this.session || !this.session.read().geometry.some(g => g.id === id))
             return none;
         try {
-            const asset = this.plainAsset();
+            const asset = this.shown().asset;
             const reach = gizmoReachOf(asset, id);
             /*
               A size drag shows the face it keeps and the commit keeps the same (figureScaleAnchorOf). Where figure-model cannot
@@ -922,9 +918,10 @@ let FigureEditor = class FigureEditor extends LitElement {
     transformed(id, result) {
         const view = this.session.read();
         /* A part hanging from a joint: the drag edits the joint -- its value, or where it sits (ADR-0093). */
-        const asset = this.plainAsset();
+        const shown = this.shown();
+        const asset = shown.asset;
         const drawn = view.geometry.find(g => g.id === id);
-        const drag = drawn ? jointDragOf(asset, ownerOf(id), drawn, result, this.currentInputs()) : null;
+        const drag = drawn ? jointDragOf(asset, ownerOf(id), drawn, result, shown.inputs) : null;
         if (drag) {
             if (drag.kind === 'value')
                 this.run(() => this.session.apply([{ kind: 'set-state', input: drag.input, unit: drag.unit, value: drag.value }]));
@@ -1005,8 +1002,7 @@ let FigureEditor = class FigureEditor extends LitElement {
     /** 맞추기 — one tool, one step of the history, through the same inputs as the gizmo. */
     align(tool) {
         this.run(() => {
-            const asset = this.plainAsset();
-            const changes = alignChanges(asset, this.selected, this.reachOf(this.selected), tool);
+            const changes = alignChanges(this.shown(), this.selected, this.reachOf(this.selected), tool);
             if (changes.length)
                 this.session.apply(changes);
         });
@@ -1020,7 +1016,7 @@ let FigureEditor = class FigureEditor extends LitElement {
             const copy = this.session.read().geometry.find(g => !before.has(g.id))?.id;
             if (!copy)
                 return;
-            this.session.apply(mirrorChanges(this.plainAsset(), id, copy, axis));
+            this.session.apply(mirrorChanges(this.shown(), id, copy, axis));
             this.selected = copy;
         });
     }
@@ -1032,32 +1028,30 @@ let FigureEditor = class FigureEditor extends LitElement {
      */
     /* What a tilted part's typed size keeps, by the figure's placement: not the floor's lowest point everywhere (designer 2026-09-27). */
     keptExtremeWord() {
-        const placement = this.asset()?.placement ?? 'floor';
+        const placement = (this.asset())?.placement ?? 'floor';
         return i18next.t(`figure.label.kept-extreme-${placement}`);
     }
-    planeContactOf(source, part) {
-        if (this.planeContact?.source !== source || this.planeContact.part !== part) {
-            let contact;
+    /* How the selected part would meet the plane, worked out once per version and part. */
+    planeContactOf(shown, part) {
+        return derivedOf(shown, `plane-contact|${part}`, () => {
             try {
-                contact = figurePlaneAlignChanges(parseFigureAsset(source), part).contact;
+                return figurePlaneAlignChanges(shown.asset, part).contact;
             }
             catch {
-                contact = undefined;
+                return undefined;
             }
-            this.planeContact = { source, part, contact };
-        }
-        return this.planeContact.contact;
+        });
     }
-    renderPlaneAlign(asset, unavailable) {
-        const placement = asset.placement ?? 'floor';
+    renderPlaneAlign(shown, unavailable) {
+        const placement = shown.asset.placement ?? 'floor';
         /* A tilted part touches the plane at a point or an edge, a ball at its lowest; the tooltip says so rather than promise a face (designer 2026-09-27). */
-        const contact = this.planeContactOf(this.session.source(), this.selected);
+        const contact = this.planeContactOf(shown, this.selected);
         const told = contact === 'tilted' || contact === 'extreme' ? `-${contact}` : '';
         return html `<button plane-align=${placement} ?disabled=${unavailable} title=${i18next.t(`figure.text.align-to-${placement}${told}`)}
       @click=${() => this.alignToPlane()}>${i18next.t(`figure.button.align-to-${placement}`)}</button>`;
     }
     alignToPlane() {
-        const asset = this.parsedAsset();
+        const asset = this.shown().asset;
         const { changes, contact, refusal } = figurePlaneAlignChanges(asset, this.selected);
         if (refusal) {
             this.error = i18next.t(`figure.text.align-refused-${refusal.toLowerCase().replace(/_/g, '-')}`, { part: partLabelOf(this.selected) });
@@ -1070,27 +1064,21 @@ let FigureEditor = class FigureEditor extends LitElement {
     }
     renderTools(unavailable) {
         const reach = this.reachOf(this.selected);
-        if (!this.selected || !reach.translate)
+        const shown = this.shown();
+        if (!this.selected || !reach.translate || !shown)
             return null;
-        let asset;
-        try {
-            asset = this.plainAsset();
-        }
-        catch {
-            return null;
-        }
         /*
          * In words, two rows by what they do (user 2026-10-01: 「무엇을 하는 것인지 모르겠다」): moving the part to the figure's
          * centre lines, onto its plane or onto the grid; and making a mirrored copy, which makes a part and moves nothing.
          */
         const tool = (name, label, title) => html `<button ?disabled=${unavailable} title=${i18next.t(title)} @click=${() => this.align(name)}>${i18next.t(label)}</button>`;
-        const mirrors = ['x', 'z'].map(axis => ({ axis, able: canMirror(asset, this.selected, axis, reach) }));
+        const mirrors = ['x', 'z'].map(axis => ({ axis, able: canMirror(shown, this.selected, axis, reach) }));
         return html `<div vector-row>
         <label>${i18next.t('figure.label.tools')}</label>
         <div tools>
           ${tool('centre-x', 'figure.button.center-x', 'figure.text.center-on-x')}
           ${tool('centre-z', 'figure.button.center-z', 'figure.text.center-on-z')}
-          ${this.renderPlaneAlign(asset, unavailable)}
+          ${this.renderPlaneAlign(shown, unavailable)}
           ${tool('snap', 'figure.button.snap', 'figure.text.snap-explained')}
         </div>
       </div>
@@ -1140,21 +1128,6 @@ let FigureEditor = class FigureEditor extends LitElement {
                         : String(error);
         }
     }
-    dimsOf(asset) {
-        const view = this.session?.read();
-        const key = `${view?.context}|${view?.revision}|${this.selected}`;
-        if (this.dimsSaid?.key === key)
-            return this.dimsSaid.dims;
-        let dims;
-        try {
-            dims = boxOf(asset, this.selected, this.currentInputs())?.dims;
-        }
-        catch {
-            dims = undefined;
-        }
-        this.dimsSaid = { key, dims };
-        return dims;
-    }
     previewWordsNow() {
         const preview = this.currentPreview();
         const language = i18next.language;
@@ -1165,25 +1138,19 @@ let FigureEditor = class FigureEditor extends LitElement {
         return words;
     }
     renderLinks(unavailable, section) {
-        let asset;
-        try {
-            asset = this.plainAsset();
-        }
-        catch {
+        const shown = this.shown();
+        if (!shown)
             return null;
-        }
-        const dims = this.dimsOf(asset);
         return html `<figure-links
-      .asset=${asset}
+      .revision=${shown}
       .section=${section}
       .partId=${this.selected}
-      .dims=${dims}
       ?locked=${unavailable}
       @command=${(e) => this.linkCommand(e.detail.action)}
       .previewWords=${this.previewWordsNow()}
-      .detachWords=${this.detachWords(asset)}
-      .overhangWords=${section === 'shape' ? this.overhangWords(asset) : NO_WORDS}
-      .overhangNote=${section === 'shape' ? this.overhangNote(asset) : NO_WORDS}
+      .detachWords=${this.detachWords(shown)}
+      .overhangWords=${section === 'shape' ? this.overhangOf(shown).words : NO_WORDS}
+      .overhangNote=${section === 'shape' ? this.overhangOf(shown).note : NO_WORDS}
       .motionEnds=${section === 'motion' ? this.motionEnds() : null}
       @go-fasten=${() => this.goFasten()}
       @preview-command=${(e) => this.previewCommand(e.detail)}
@@ -1212,13 +1179,9 @@ let FigureEditor = class FigureEditor extends LitElement {
     }
     /** The figure's controls: try a value, name it, set its range and travel time, keep the pose. */
     renderControls(view, unavailable) {
-        let asset;
-        try {
-            asset = this.plainAsset();
-        }
-        catch {
+        const asset = this.shown()?.asset;
+        if (!asset)
             return null;
-        }
         const values = Object.fromEntries(view.fields.filter(f => f.role === 'state').map(f => [f.id, f.value]));
         return html `<figure-controls
       .asset=${asset}
@@ -1303,7 +1266,7 @@ let FigureEditor = class FigureEditor extends LitElement {
         /* A size typed in keeps the face the figure's placement keeps -- figure-model's one rule, as the gizmo and "follow the size" do. */
         const part = this.selected;
         const change = { kind: field.role === 'state' ? 'set-state' : 'set-design', input: field.id, unit: field.unit, value };
-        this.run(() => this.session.apply(field.role !== 'state' && part ? figureSizeEditChanges(this.parsedAsset(), part, [change]) : [change]));
+        this.run(() => this.session.apply(field.role !== 'state' && part ? figureSizeEditChanges(this.shown().asset, part, [change]) : [change]));
         // Rejected edits must also restore the displayed numeric value.
         input.value = String(this.session.read().fields.find(i => i.id === field.id).value);
     }
@@ -1353,12 +1316,12 @@ let FigureEditor = class FigureEditor extends LitElement {
         label.addEventListener('pointercancel', up);
     }
     /** The sizes a board may give the figure, and the way to measure them again after its parts changed. */
-    renderInstanceRange(asset, unavailable) {
-        if (!asset)
+    renderInstanceRange(shown, unavailable) {
+        if (!shown)
             return nothing;
-        /* Another figure, or another step of this one, is measured again. */
-        const at = `${this.session?.read().context ?? ''}:${this.revision}`;
-        if (this.range?.at !== at) {
+        const asset = shown.asset;
+        /* Measured once per version: measuring evaluates the figure at its edges. */
+        const measured = derivedOf(shown, 'instance-range', () => {
             let of;
             let toDeclare;
             try {
@@ -1373,11 +1336,11 @@ let FigureEditor = class FigureEditor extends LitElement {
             catch {
                 toDeclare = undefined;
             }
-            this.range = { at, of, toDeclare };
-        }
-        const range = this.range.of;
+            return { of, toDeclare };
+        });
+        const range = measured.of;
         /* No size yet: the figure is declared its size from its parts, so a board can resize it and parts can follow it. */
-        const toDeclare = this.range.toDeclare;
+        const toDeclare = measured.toDeclare;
         if (!range && toDeclare)
             return html `<section>
         <h3>${i18next.t('figure.label.instance-range')}</h3>
@@ -1492,9 +1455,10 @@ let FigureEditor = class FigureEditor extends LitElement {
      * The pitch of a row that fills its length is edited as a number (`set-repeat` makes it the part's own the first
      * time); a row of a fixed count says its pitch cannot be set yet (figure-model refuses it the same way).
      */
-    renderRepeat(asset, geometry, unavailable) {
+    renderRepeat(shown, geometry, unavailable) {
         const repeat = repeatOf(this.selected, geometry);
-        if (!asset || !repeat || repeat.index)
+        const asset = shown?.asset;
+        if (!shown || !asset || !repeat || repeat.index)
             return nothing;
         /* The row is set on its part; what hangs from that part is copied with it and has no row of its own. */
         if (!asset.document.model.nodes.some(n => n.id === `${this.selected}.repeat`))
@@ -1504,7 +1468,7 @@ let FigureEditor = class FigureEditor extends LitElement {
         const axis = model.nodes.find(n => n.id === `${this.selected}.repeat`)?.params?.axis ?? '?';
         const own = `${this.selected}.repeat.pitch`;
         /* The pitch as it stands: the part's own number, a constant, or what a pitch that follows a length comes to. */
-        const pitch = asset.designInputs[own] ?? model.constants.find(c => c.id === layout?.args[4])?.value ?? valueNow(asset, layout?.args[4]);
+        const pitch = asset.designInputs[own] ?? model.constants.find(c => c.id === layout?.args[4])?.value ?? valueNow(shown, layout?.args[4]);
         const fits = layout?.op === 'fit-pitch@1';
         /* What the pitch gives, in numbers: this many copies at the length it is authored, and how long it may be placed. */
         const lengthRef = layout?.args[0] ?? '';
@@ -1527,7 +1491,7 @@ let FigureEditor = class FigureEditor extends LitElement {
           @change=${(e) => this.setPitch(field, e)}
         />
       </div>
-      <ul row-reading>${rowWordsOf(this.rowNow(asset), (key, params) => i18next.t(key, params)).map(line => html `<li>${line}</li>`)}</ul>
+      <ul row-reading>${rowWordsOf(this.rowNow(shown), (key, params) => i18next.t(key, params)).map(line => html `<li>${line}</li>`)}</ul>
       <p hint>
         ${fits && length !== undefined && longest !== undefined && limit !== undefined
             ? i18next.t('figure.text.repeat-what-pitch-gives', {
@@ -1547,13 +1511,15 @@ let FigureEditor = class FigureEditor extends LitElement {
     </section>`;
     }
     /** The selected row as it is drawn now, read by figure-model: nothing when it cannot be read. */
-    rowNow(asset) {
-        try {
-            return figureRowOf(asset, this.selected, this.currentInputs());
-        }
-        catch {
-            return undefined;
-        }
+    rowNow(shown) {
+        return derivedOf(shown, `row|${this.selected}`, () => {
+            try {
+                return figureRowOf(shown.asset, this.selected, shown.inputs);
+            }
+            catch {
+                return undefined;
+            }
+        });
     }
     /** The design input a row's pitch is read from, when it is read from one (ADR-0096). */
     pitchInputOf(asset, part) {
@@ -1641,7 +1607,7 @@ let FigureEditor = class FigureEditor extends LitElement {
         if (!Number.isFinite(pitch) || pitch === field.value)
             return;
         /* Read from a design input the board may set: the input's value changes, the row keeps reading it (ADR-0096). */
-        const from = this.pitchInputOf(this.plainAsset(), this.selected);
+        const from = this.pitchInputOf(this.shown().asset, this.selected);
         if (from) {
             this.run(() => this.session.apply([{ kind: 'set-design', input: from, unit: 'mm', value: pitch }]));
             input.value = String(this.session.read().fields.find(i => i.id === from)?.value ?? field.value);
@@ -1699,14 +1665,15 @@ let FigureEditor = class FigureEditor extends LitElement {
             let face;
             if (candidate.face) {
                 try {
-                    face = figurePartFaceOf(this.parsedAsset(), candidate.face.part, candidate.face.face, this.currentInputs());
+                    const shown = this.shown();
+                    face = figurePartFaceOf(shown.asset, candidate.face.part, candidate.face.face, shown.inputs);
                 }
                 catch {
                     face = undefined;
                 }
             }
             /* A row is read on the figure the command would make, by figure-model, as drawn. */
-            const row = candidate.action.kind === 'make-repeat' ? figureRowOf(seen.asset, this.selected, this.currentInputs()) : undefined;
+            const row = candidate.action.kind === 'make-repeat' ? figureRowOf(seen.asset, this.selected, this.shown().inputs) : undefined;
             this.preview = {
                 ...held,
                 context: seen.context,
@@ -1738,37 +1705,36 @@ let FigureEditor = class FigureEditor extends LitElement {
      * Said once the figure has rested: working it out is a preview of the command on a copy (tens of milliseconds), and the
      * edit that made this version should be on screen before it. Until then nothing is said, as for a part with no joint.
      */
-    detachWords(asset) {
-        const view = this.session?.read();
-        const joint = asset?.joints?.find(j => j.body1.part === this.selected);
-        if (!asset || !view || !joint || !this.session)
+    detachWords(shown) {
+        const part = this.selected;
+        if (!this.session || !shown.asset.joints?.some(j => j.body1.part === part))
             return NO_WORDS;
-        const key = `${view.context}|${view.revision}|${this.selected}`;
-        if (this.detachSaid?.key === key)
-            return this.detachSaid.words;
-        if (this.detachAsked !== key) {
-            this.detachAsked = key;
+        const key = `detach|${part}`;
+        const said = derivedHeld(shown, key);
+        if (said)
+            return said;
+        if (this.detachAsked?.shown !== shown || this.detachAsked.part !== part) {
+            this.detachAsked = { shown, part };
             clearTimeout(this.detachTimer);
             this.detachTimer = setTimeout(() => {
-                const now = this.session?.read();
-                if (!now || `${now.context}|${now.revision}|${this.selected}` !== key)
+                if (this.shown() !== shown || this.selected !== part)
                     return;
-                this.computeDetachWords(asset, key);
+                derivedOf(shown, key, () => this.computeDetachWords(shown, part));
                 this.requestUpdate();
             }, PREVIEW_SETTLE_MS);
         }
         return NO_WORDS;
     }
-    computeDetachWords(asset, key) {
+    computeDetachWords(shown, part) {
         const say = (k, params) => i18next.t(k, params);
         let words;
         try {
-            const seen = this.session.previewCommand({ kind: 'detach', part: this.selected });
-            const own = seen.moves.some(m => m.body === this.selected);
+            const seen = this.session.previewCommand({ kind: 'detach', part });
+            const own = seen.moves.some(m => m.body === part);
             words = own
-                ? [say('figure.text.detach-moves'), ...previewWordsOf({ context: seen.context, revision: seen.revision, key, moves: seen.moves }, this.selected, say)]
+                ? [say('figure.text.detach-moves'), ...previewWordsOf({ context: seen.context, revision: seen.revision, key: `detach|${part}`, moves: seen.moves }, part, say)]
                 : /* It stays where it is: as expected, so nothing is said (user 2026-10-01). */ [];
-            const children = (asset.joints ?? []).filter(j => 'part' in j.body0 && j.body0.part === this.selected).map(j => partLabelOf(j.body1.part));
+            const children = (shown.asset.joints ?? []).filter(j => 'part' in j.body0 && j.body0.part === part).map(j => partLabelOf(j.body1.part));
             if (children.length)
                 words.push(say('figure.text.detach-keeps-children', { parts: children.join(', ') }));
             if (seen.clipsWouldGo.length)
@@ -1777,67 +1743,62 @@ let FigureEditor = class FigureEditor extends LitElement {
         catch (error) {
             words = [say('figure.text.detach-refused', { reason: this.said(error) })];
         }
-        this.detachSaid = { key, words };
         return words;
     }
-    /** Wider than its face: a fact of the relation, said in its details, not as a warning (designer 2026-09-27). */
-    overhangNote(asset) {
-        this.overhangWords(asset);
-        return this.overhangSaid?.note ?? [];
-    }
-    overhangWords(asset) {
-        const view = this.session?.read();
-        if (!asset || !view || !this.selected)
-            return NO_WORDS;
-        const key = `${view.context}|${view.revision}|${this.selected}`;
-        if (this.overhangSaid?.key === key)
-            return this.overhangSaid.words;
-        const say = (k, params) => i18next.t(k, params);
-        const where = (o) => ({ on: partLabelOf(o.on.part), face: say(`figure.label.face-${o.on.face}`) });
-        const sides = (o) => o.sides.map(s => say(`figure.text.overhang-side-${s.side}`, { axis: s.axis.toUpperCase(), mm: String(s.mm) })).join(', ');
-        const words = [];
-        const note = [];
-        try {
-            const inputs = this.currentInputs();
-            const own = figureFaceOverhangOf(asset, this.selected, inputs);
-            if (own?.state === 'larger') {
-                note.push(say('figure.text.overhang-larger', { ...where(own), sides: sides(own) }));
-                if (own.lopsided.length)
-                    note.push(say('figure.text.overhang-lopsided', { axes: own.lopsided.map(a => a.toUpperCase()).join(', ') }));
+    /*
+      Past the edge of the face a part is fastened to (ADR-0097 §5.5, Q3): the selected part's own, and the parts fastened
+      to it -- said apart from the room, nothing moved. Read once per version, part and language. The note says it is wider
+      than its face: a fact of the relation, said in its details, not as a warning (designer 2026-09-27).
+    */
+    overhangOf(shown) {
+        const part = this.selected;
+        if (!part)
+            return NO_OVERHANG;
+        return derivedOf(shown, `overhang|${part}|${i18next.language}`, () => {
+            const asset = shown.asset;
+            const say = (k, params) => i18next.t(k, params);
+            const where = (o) => ({ on: partLabelOf(o.on.part), face: say(`figure.label.face-${o.on.face}`) });
+            const sides = (o) => o.sides.map(s => say(`figure.text.overhang-side-${s.side}`, { axis: s.axis.toUpperCase(), mm: String(s.mm) })).join(', ');
+            const words = [];
+            const note = [];
+            try {
+                const own = figureFaceOverhangOf(asset, part, shown.inputs);
+                if (own?.state === 'larger') {
+                    note.push(say('figure.text.overhang-larger', { ...where(own), sides: sides(own) }));
+                    if (own.lopsided.length)
+                        note.push(say('figure.text.overhang-lopsided', { axes: own.lopsided.map(a => a.toUpperCase()).join(', ') }));
+                }
+                if (own?.state === 'out')
+                    words.push(say('figure.text.overhang-out', { ...where(own), sides: sides(own) }));
+                else if (own?.state === 'possible')
+                    words.push(say('figure.text.overhang-possible', where(own)));
+                else if (own?.state === 'unknown')
+                    words.push(say('figure.text.overhang-unknown', where(own)));
+                const held = (asset.joints ?? []).filter(j => 'part' in j.body0 && j.body0.part === part).map(j => figureFaceOverhangOf(asset, j.body1.part, shown.inputs));
+                const past = held.filter((o) => o?.state === 'out' || o?.state === 'possible');
+                if (past.length)
+                    words.push(say('figure.text.overhang-held', { parts: past.map(o => partLabelOf(o.part)).join(', ') }));
             }
-            if (own?.state === 'out')
-                words.push(say('figure.text.overhang-out', { ...where(own), sides: sides(own) }));
-            else if (own?.state === 'possible')
-                words.push(say('figure.text.overhang-possible', where(own)));
-            else if (own?.state === 'unknown')
-                words.push(say('figure.text.overhang-unknown', where(own)));
-            const held = (asset.joints ?? []).filter(j => 'part' in j.body0 && j.body0.part === this.selected).map(j => figureFaceOverhangOf(asset, j.body1.part, inputs));
-            const past = held.filter((o) => o?.state === 'out' || o?.state === 'possible');
-            if (past.length)
-                words.push(say('figure.text.overhang-held', { parts: past.map(o => partLabelOf(o.part)).join(', ') }));
-        }
-        catch {
-            /* Not read: nothing said rather than a guess. */
-        }
-        this.overhangSaid = { key, words, note };
-        return words;
+            catch {
+                /* Not read: nothing said rather than a guess. */
+            }
+            return { words, note };
+        });
     }
+    /** The selected part's motion at both ends of its range, made once per version and part. */
     motionEnds() {
-        const view = this.session?.read();
-        if (!view || !this.selected)
+        const shown = this.shown();
+        const part = this.selected;
+        if (!shown || !part)
             return null;
-        const key = `${view.context}|${view.revision}|${this.selected}`;
-        if (this.motionEndsSaid?.key !== key) {
-            let ends = null;
+        return derivedOf(shown, `motion-ends|${part}`, () => {
             try {
-                ends = motionEndsOf(this.parsedAsset(), this.selected, this.currentInputs());
+                return motionEndsOf(shown, part);
             }
             catch {
-                ends = null;
+                return null;
             }
-            this.motionEndsSaid = { key, ends };
-        }
-        return this.motionEndsSaid.ends;
+        });
     }
     /** "Fasten it first", from the motion tab: to the properties tab, the fastening form open on this part. */
     async goFasten() {
@@ -1874,50 +1835,8 @@ let FigureEditor = class FigureEditor extends LitElement {
         if (id && (this.tab === 'verdict' || this.tab === 'view' || this.tab === 'history'))
             this.tab = 'properties';
     }
-    /**
-     * The figure as the session holds it now, parsed once per text: a render asks for it a dozen times, and parsing the whole
-     * figure is most of what a selection costs. Read, never changed -- what changes a figure goes through the session.
-     */
-    /**
-     * The session has evaluated this figure at this version, with these inputs: the screen's questions of the text it just
-     * parsed are answered from that, not by evaluating the figure again (each is tens of milliseconds on a real figure).
-     */
-    seeded(asset) {
-        const view = this.session?.read();
-        if (view?.geometry.length) {
-            const values = this.currentInputs();
-            seedEvaluatedGeometry(asset, values, view.geometry);
-            seedFigureEvaluation(asset, values, view.geometry);
-        }
-        return asset;
-    }
-    parsedAsset() {
-        const text = this.session.source();
-        if (this.parsed?.text !== text) {
-            /* The session's text is what its workspace exported, compiled then: it is read here, not compiled again. */
-            const plain = this.plainAsset();
-            const upgraded = upgradeFigurePlacement(plain);
-            this.parsed = { text, asset: upgraded === plain ? plain : this.seeded(deepFreeze(upgraded)) };
-        }
-        return this.parsed.asset;
-    }
-    /**
-     * The figure as plain data, parsed once per text and frozen: the render, the gizmo's reach and every tool read it, and
-     * a copy for each of them cost more than the selection they serve. A change goes through the session, never through this.
-     */
-    plainAsset() {
-        const text = this.session.source();
-        if (this.plain?.text !== text)
-            this.plain = { text, asset: this.seeded(deepFreeze(JSON.parse(text))) };
-        return this.plain.asset;
-    }
     asset() {
-        try {
-            return this.plainAsset();
-        }
-        catch {
-            return undefined;
-        }
+        return this.shown()?.asset;
     }
     /** A side tab says what it is in words under its icon: the icons alone had to be learnt (designer 2026-09-27, U05). */
     renderTab(tab, icon, label, badge) {
@@ -1984,27 +1903,32 @@ let FigureEditor = class FigureEditor extends LitElement {
       @section-editor-close=${() => this.closeSectionEditor()}
     ></figure-section-editor>`;
     }
+    /**
+     * Why a drawn push's end cannot be drawn to one point now: the kernel's own refusal of that command on a copy (what is
+     * fastened to the end face), said as the face. Asked once per figure revision and part.
+     */
     pointBlockedOf(drawn) {
-        if (drawn.apex || drawn.section.kind !== 'polygon' || !this.session)
+        const shown = this.shown();
+        const session = this.session;
+        if (drawn.apex || drawn.section.kind !== 'polygon' || !session || !shown)
             return '';
-        const key = `${this.session.read().revision}|${this.selected}`;
-        if (this.pointBlocked?.key === key)
-            return this.pointBlocked.words;
-        let words = '';
-        try {
-            this.session.previewCommand({ kind: 'set-section', part: this.selected, apex: apexOver(drawn.section.points, drawn.axis) });
-        }
-        catch (error) {
-            if (error.code === 'FEATURE_MAPPING_REQUIRED')
-                words = i18next.t('figure.text.section-editor-apex-blocked', { face: i18next.t('figure.label.face-' + END_FACE(drawn.axis, 'end')) });
-        }
-        this.pointBlocked = { key, words };
-        return words;
+        const part = this.selected;
+        const apex = apexOver(drawn.section.points, drawn.axis);
+        return derivedOf(shown, `point-blocked|${part}|${i18next.language}`, () => {
+            try {
+                session.previewCommand({ kind: 'set-section', part, apex });
+            }
+            catch (error) {
+                if (error.code === 'FEATURE_MAPPING_REQUIRED')
+                    return i18next.t('figure.text.section-editor-apex-blocked', { face: i18next.t('figure.label.face-' + END_FACE(drawn.axis, 'end')) });
+            }
+            return '';
+        });
     }
     renderStart() {
         const shapes = ['box', 'cylinder', 'plate'];
         /* Where it is authored from, chosen before any part (ADR-0097): the figure's own setting, no room made up for it. */
-        const placement = (this.asset()?.placement ?? 'floor');
+        const placement = ((this.asset())?.placement ?? 'floor');
         return html `<div start role="region" aria-label=${i18next.t('figure.text.start-question')}>
       <h2>${i18next.t('figure.text.start-question')}</h2>
       <div start-paths>
@@ -2047,7 +1971,7 @@ let FigureEditor = class FigureEditor extends LitElement {
         let summary;
         try {
             summary = this.selected
-                ? partSummaryOf(this.parsedAsset(), ownerOf(this.selected), (key, params) => i18next.t(key, params), i18next.language || 'ko')
+                ? partSummaryOf(this.shown().asset, ownerOf(this.selected), (key, params) => i18next.t(key, params), i18next.language || 'ko')
                 : undefined;
         }
         catch {
@@ -2085,9 +2009,11 @@ let FigureEditor = class FigureEditor extends LitElement {
           A part's field only the declared room still reads -- its old height position once the floor holds it -- moves
           nothing; it is shown apart as what it is, not as a position (ADR-0097, designer 2026-09-27).
         */
+        const shown = this.shown();
+        const asset = shown?.asset;
         let roomOnly = [];
         try {
-            roomOnly = this.selected ? figureRoomOnlyInputsOf(this.parsedAsset(), this.selected) : [];
+            roomOnly = this.selected && asset ? figureRoomOnlyInputsOf(asset, this.selected) : [];
         }
         catch {
             roomOnly = [];
@@ -2098,14 +2024,13 @@ let FigureEditor = class FigureEditor extends LitElement {
         try {
             const body = view.geometry.find(g => g.id === this.selected);
             const placed = body ? placementOf(body) : undefined;
-            const parsed = this.selected ? this.parsedAsset() : undefined;
-            if (placed && parsed)
+            if (placed && shown && this.selected)
                 held = {
                     position: placed.position,
                     rotation: placed.rotation,
-                    size: ['x', 'y', 'z'].map(axis => measureNow(parsed, ownerOf(this.selected), axis)),
+                    size: ['x', 'y', 'z'].map(axis => measureNow(shown, ownerOf(this.selected), axis)),
                     /* Only a size a rule sets: a palette part's own numbers are its shape's fields, not a rule's (found in the browser). */
-                    sizeRuled: ['x', 'y', 'z'].every(axis => followOf(parsed, ownerOf(this.selected), axis).of !== 'own')
+                    sizeRuled: ['x', 'y', 'z'].every(axis => followOf(shown.asset, ownerOf(this.selected), axis).of !== 'own')
                 };
         }
         catch {
@@ -2119,8 +2044,8 @@ let FigureEditor = class FigureEditor extends LitElement {
                 : view.dirty || !view.id
                     ? 'figure.text.unsaved-changes'
                     : 'figure.text.saved';
-        const asset = this.asset();
         const tab = this.tab;
+        const live = this.liveParts(shown);
         return html `<ox-canvas-bar
         history
         fit
@@ -2181,7 +2106,7 @@ let FigureEditor = class FigureEditor extends LitElement {
             ? html `<figure-preview
               ?hidden=${this.middle !== 'preview'}
               .active=${this.middle === 'preview'}
-              .asset=${asset}
+              .revision=${shown}
               .context=${view.context ?? ''}
               .view=${this.view}
               .selected=${this.selected}
@@ -2200,9 +2125,9 @@ let FigureEditor = class FigureEditor extends LitElement {
           ${this.sectionEditing && this.sectionEditing === this.selected && !unavailable ? this.renderSectionEditor(view.geometry) : nothing}
           <figure-canvas
           .view=${this.view}
-          .parts=${this.drawnParts(view.geometry, asset)}
+          .parts=${this.drawnParts(view.geometry, live)}
           .anchors=${this.anchorsOf(asset)}
-          .fan=${this.fanOf(asset)}
+          .fan=${this.fanOf(shown, live)}
           .ghost=${this.previewShown().ghost}
           .highlight=${this.previewShown().highlight}
           .palette=${view.palette ?? {}}
@@ -2242,7 +2167,7 @@ let FigureEditor = class FigureEditor extends LitElement {
                     </div>
                     ${this.renderRepeatNote(view.geometry)}
                   </section>
-                  ${this.renderRepeat(asset, view.geometry, unavailable)}
+                  ${this.renderRepeat(shown, view.geometry, unavailable)}
                   ${this.renderGroups(this.withSizeRow(groupFields(partFields, this.selected), held), 'figure.label.group-placement-size', 'figure.label.group-shape', unavailable, this.renderTools(unavailable), held)}
                   ${roomFields.length ? this.renderRoomOnly(roomFields, unavailable) : nothing}
                   ${this.renderLinks(unavailable, 'shape')}
@@ -2273,7 +2198,7 @@ let FigureEditor = class FigureEditor extends LitElement {
                   </section>`
                 : html `${this.renderSubject()}<slot name="figure"></slot>
                   ${this.renderGroups(groupFields(common), 'figure.label.group-figure-size', 'figure.label.design-inputs', unavailable)}
-                  ${this.renderInstanceRange(asset, unavailable)}`}
+                  ${this.renderInstanceRange(shown, unavailable)}`}
           </div>
           <div panel ?off=${tab !== 'capability'}>
             ${this.renderSubject()}
@@ -2369,7 +2294,7 @@ let FigureEditor = class FigureEditor extends LitElement {
      * something else. A size that follows something is said at the panel's head, so not again here.
      */
     renderHeldAxes(vectors) {
-        const fastened = !!this.asset()?.joints?.some(j => j.body1.part === ownerOf(this.selected));
+        const fastened = !!(this.asset())?.joints?.some(j => j.body1.part === ownerOf(this.selected));
         const held = vectors.filter(g => g.kind === 'vector' && g.name !== 'size' && ['x', 'y', 'z'].some(axis => !g.cells[axis]));
         if (!held.length)
             return nothing;
@@ -2396,7 +2321,7 @@ let FigureEditor = class FigureEditor extends LitElement {
     async askRoomRefit() {
         let refit;
         try {
-            refit = figureRoomRefitOf(this.parsedAsset());
+            refit = figureRoomRefitOf(this.shown().asset);
         }
         catch (error) {
             this.error = this.said(error);