@hatiolab/figure-model 0.1.89 → 0.1.91

package/dist/v3-authoring-actions.js

@@ -22,6 +22,7 @@
  * parent carries the child with it. A part that is fastened to nothing poses straight into the asset frame.
  */
 import { compileV3Asset } from "./v3-asset.js";
+import { checkPublicInput, keepPublicInputs } from "./v3-public-inputs.js";
 import { v3PartsExtentOf } from "./v3-gate.js";
 import { compileV3Graph, v3ShapeFaces } from "./v3-graph.js";
 import { V3ContractError } from "./v3-contract.js";
@@ -924,6 +925,55 @@ export function applyV3Authoring(source, action) {
         case 'remove-binding':
             removeBinding(asset, action);
             break;
+        case 'add-design-input': {
+            const m = asset.document.model;
+            const path = `inputs.${String(action.id)}`;
+            if (typeof action.id !== 'string' || !/^[a-zA-Z][a-zA-Z0-9_.-]*$/.test(action.id))
+                fail('SCHEMA', path, 'an id of letters, digits, dot, dash or underscore');
+            if (m.inputs.some((i) => i.id === action.id) || m.constants.some((c) => c.id === action.id) || m.nodes.some((n) => n.id === action.id || Object.values(n.outputs).includes(action.id)))
+                fail('DUPLICATE_WRITER', path, `${action.id} is already a name in the figure`);
+            if (!['mm', 'ratio', 'deg', 'count'].includes(action.unit))
+                fail('SCHEMA', `${path}.unit`, 'mm, ratio, deg or count');
+            if (![action.min, action.max, action.value].every(Number.isFinite) || !(action.min < action.max))
+                fail('INPUT_RANGE', path, 'a finite range, its least below its most');
+            if (action.value < action.min || action.value > action.max)
+                fail('INPUT_RANGE', path, `${action.value} is outside ${action.min}…${action.max}`);
+            m.inputs.push({ id: action.id, unit: action.unit, min: action.min, max: action.max, role: 'design' });
+            asset.designInputs[action.id] = action.value;
+            break;
+        }
+        case 'set-input-range': {
+            const path = `inputs.${String(action.input)}`;
+            const input = asset.document.model.inputs.find((i) => i.id === action.input);
+            if (!input)
+                fail('TARGET_ABSENT', path, `${String(action.input)} is not an input of the figure`);
+            if (input.role === 'state' || /^(sizing\.)?size\.[xyz]$/.test(action.input))
+                fail('EDIT_TARGET', path, `${action.input} is ${input.role === 'state' ? 'a state input; its range is its joint\'s' : 'the figure\'s size; declare-instance-size sets its range'}`);
+            if (![action.min, action.max].every(Number.isFinite) || !(action.min < action.max))
+                fail('INPUT_RANGE', path, 'a finite range, its least below its most');
+            const value = asset.designInputs[action.input];
+            if (value < action.min || value > action.max)
+                fail('INPUT_RANGE', path, `the value now, ${value}, is outside ${action.min}…${action.max}`);
+            input.min = action.min;
+            input.max = action.max;
+            break;
+        }
+        case 'publish-input': {
+            checkPublicInput(asset.document.model.inputs, action.input, `publicInputs.${String(action.input)}`);
+            const entry = { input: action.input, label: typeof action.label === 'string' ? action.label.trim() : action.label, ...(action.hint !== undefined ? { hint: action.hint } : {}) };
+            const list = (asset.publicInputs ?? []).filter(p => p.input !== action.input);
+            asset.publicInputs = [...list, entry];
+            break;
+        }
+        case 'unpublish-input': {
+            const list = (asset.publicInputs ?? []);
+            if (!list.some(p => p.input === action.input))
+                fail('EDIT_TARGET', `publicInputs.${String(action.input)}`, `${String(action.input)} is not set by a board`);
+            asset.publicInputs = list.filter(p => p.input !== action.input);
+            if (!asset.publicInputs.length)
+                delete asset.publicInputs;
+            break;
+        }
         case 'rename': {
             const name = typeof action.name === 'string' ? action.name.trim() : '';
             if (!name)
@@ -937,6 +987,8 @@ export function applyV3Authoring(source, action) {
     /* The joint records are the canon: whatever the command reshaped, their nodes are made again from them. */
     if (asset.joints?.length && action.kind !== 'set-joint' && action.kind !== 'remove-joint')
         rewriteJoints(asset);
+    /* An input a command took away takes its place on the board with it (ADR-0096). */
+    keepPublicInputs(asset);
     compileV3Asset(asset);
     if ((action.kind === 'link-dimension' || action.kind === 'make-repeat' || action.kind === 'set-joint') && action.narrowRange)
         narrowDeclaredSize(asset);
@@ -1675,7 +1727,8 @@ export function renameV3PartInJoints(asset, from, to) {
  * What reads a part that is to be taken away, said in the author's words: the space declared from the parts, another
  * part's size or place that follows it. Taking it would leave them reading nothing (빈틈 H, 2026-09-25).
  */
-function refuseIfRead(asset, part) {
+/** `spaceFittedAgain`: the space is declared again once the part is gone, so its reading the part is no refusal. */
+function refuseIfRead(asset, part, spaceFittedAgain = false) {
     const m = asset.document.model;
     const own = (id) => id === part || id.startsWith(`${part}.`);
     const mine = new Set([
@@ -1685,20 +1738,9 @@ function refuseIfRead(asset, part) {
     ]);
     const readsOf = (refs) => (n) => [...n.args, ...Object.values(n.params ?? {})].some((r) => typeof r === 'string' && refs.has(r));
     const readers = m.nodes.filter((n) => !own(n.id) && readsOf(mine)(n));
-    if (readers.some((n) => n.id.startsWith('occupancy.')) || stringsIn(asset.occupancy).some(r => mine.has(r)))
+    const space = spaceOnlyNodesOf(asset);
+    if (!spaceFittedAgain && (readers.some((n) => space.has(n.id)) || stringsIn(asset.occupancy).some(r => mine.has(r))))
         fail('PART_REFERENCED', part, `${part} is in the space the figure declares; declare the space again, or fit it to the parts, without it first`);
-    /*
-      Values another part shares stay when this one goes (the pruning keeps what is still read). The joint's own nodes
-      do not: they go with the joint, so a part reading them -- following where this one is fastened -- is named.
-    */
-    const jointOwned = new Set(m.nodes
-        .filter((n) => n.id.startsWith(`${part}.on.`) || [`${part}.seat.rigid`, `${part}.chain`, `${part}.world`, `${part}.turned`, `${part}.motion`].includes(n.id))
-        .flatMap((n) => Object.values(n.outputs)));
-    const followers = [...new Set(m.nodes.filter((n) => !own(n.id) && readsOf(jointOwned)(n)).map((n) => String(n.id).split('.')[0]))].filter(p => p !== part && !String(p).startsWith('occupancy'));
-    const children = new Set(((asset.joints ?? []).filter(j => 'part' in j.body0 && j.body0.part === part)).map(j => j.body1.part));
-    const others = followers.filter(p => !children.has(p));
-    if (others.length)
-        fail('PART_REFERENCED', part, `${others.join(', ')} ${others.length > 1 ? 'follow' : 'follows'} ${part}'s size or place; make ${others.length > 1 ? 'them' : 'it'} ${others.length > 1 ? 'their' : 'its'} own number first`);
 }
 /**
  * A copied part is fastened as the original is: its own record, the same faces and place, so it is not held by nodes
@@ -1725,43 +1767,267 @@ export function copyV3PartJoint(asset, from, to) {
     asset.joints = [...joints, copy];
     rewriteJoints(asset);
 }
+/** XYZ angles in degrees of a rotation written as rigid@1 writes it, Rx·Ry·Rz. */
+function eulerXYZ(r) {
+    const deg = (v) => round6((v * 180) / Math.PI) + 0;
+    const sy = Math.max(-1, Math.min(1, r[0][2]));
+    const ry = Math.asin(sy);
+    if (Math.abs(Math.cos(ry)) < 1e-9)
+        return [deg(Math.atan2(r[2][1], r[1][1])), deg(ry), 0];
+    return [deg(Math.atan2(-r[1][2], r[2][2])), deg(ry), deg(Math.atan2(-r[0][1], r[0][0]))];
+}
+/** The unit a value of this type is written in, as the graph keeps it (base units), or undefined for a pose and the rest. */
+function baseUnitOf(type) {
+    const t = JSON.stringify(type);
+    if (t === '[1,0,0]')
+        return 'mm';
+    if (t === '[0,1,0]')
+        return 'rad';
+    if (t === '[0,0,1]')
+        return 's';
+    if (t === '[0,0,0]')
+        return 'ratio';
+    if (t === '{"kind":"count"}')
+        return 'count';
+    return undefined;
+}
 /**
- * Before a part is taken away. What hangs from it, or follows its joint, is named and the removal refused -- a
- * silent cascade would take parts the author did not pick. A part nothing hangs from goes with its own joint.
+ * Before a part is taken away (chief architect's ruling 2026-09-27, replacing the refusals of 2026-09-25). What hung
+ * from it stays where it stood at rest -- every control at zero -- fastened to nothing: its joint, and the motion and
+ * control the joint gave it, go. A part that moved with its joint gets a control of its own, named after the part,
+ * over the leader's range put through the multiplier and offset, starting where it stood. A value that followed its
+ * size or place becomes the number it is now. One thing is refused, by name: a row laid along it, or hanging in it --
+ * a row is made from its record, and a record needs the part (ADR-0093).
  */
+export function releaseV3PartJoints(asset, part, options = {}) {
+    const a = asset;
+    const m = a.document.model;
+    const notice = { released: [], fixed: [], controls: [] };
+    refuseIfRead(a, part, options.spaceFittedAgain);
+    let joints = (a.joints ?? []);
+    const rows = joints.filter(j => 'part' in j.body0 && j.body0.part === part && j.repeat).map(j => j.body1.part);
+    if (rows.length)
+        fail('PART_ROW', part, `${rows.join(', ')} ${rows.length > 1 ? 'are rows' : 'is a row'} laid along ${part}; fasten ${rows.length > 1 ? 'them' : 'it'} to another part, or make ${rows.length > 1 ? 'them' : 'it'} one part, first`);
+    const own = joints.find(j => j.body1.part === part);
+    const children = joints.filter(j => 'part' in j.body0 && j.body0.part === part);
+    if (own?.repeat && children.length)
+        fail('PART_ROW', part, `${children.map(j => j.body1.part).join(', ')} ${children.length > 1 ? 'hang' : 'hangs'} in the row ${part}, on every copy; take ${children.length > 1 ? 'them' : 'it'} off first`);
+    const inputs = (over = {}) => ({ ...a.designInputs, ...a.stateDefaults, ...over });
+    const controls = m.inputs.filter((i) => i.role === 'state');
+    const rest = Object.fromEntries(controls.map((i) => [i.id, Math.min(i.max, Math.max(i.min, 0))]));
+    const graph = compileV3Graph(m);
+    const atRest = graph.evaluate(inputs(rest)).values;
+    const now = graph.evaluate(inputs()).values;
+    /* A part moving with a joint that goes: its own control, over what the leader's distance or angle came to. */
+    const going = new Set([...(own ? [own.id] : []), ...children.map(j => j.id)]);
+    /* A follower has no control of its own, so its own record's nominal id is not taken. */
+    const taken = new Set([...m.inputs.map((i) => i.id), ...joints.filter(j => !j.mimic).map(stateIdOf)]);
+    for (const f of joints.filter(o => o.mimic && going.has(o.mimic.joint) && !going.has(o.id))) {
+        const leader = joints.find(o => o.id === f.mimic.joint);
+        const leaderPart = leader.body1.part;
+        const quantity = nodeById(m, `${leaderPart}.motion`)?.args[3] ?? stateIdOf(leader);
+        const state = m.inputs.find((i) => i.id === stateIdOf(leader));
+        const distance = (value) => Number(graph.evaluate(inputs({ [stateIdOf(leader)]: value })).values[quantity]);
+        const turn = f.type === 'revolute';
+        const toUnit = (base) => round6(turn ? (base * 180) / Math.PI : base);
+        const offset = (f.mimic.offset ?? 0) * (turn ? Math.PI / 180 : 1);
+        const follow = (base) => toUnit(base * f.mimic.multiplier + offset);
+        const [lo, hi] = [follow(distance(state?.min ?? 0)), follow(distance(state?.max ?? 1))].sort((x, y) => x - y);
+        let id = f.body1.part;
+        for (let n = 2; taken.has(id); n++)
+            id = `${f.body1.part}-${n}`;
+        taken.add(id);
+        const start = Math.min(hi, Math.max(lo, follow(Number(now[quantity]))));
+        const { mimic: _led, travel: _share, ...alone } = f;
+        joints = joints.map(o => (o.id === f.id ? { ...alone, lowerLimit: lo, upperLimit: hi, state: { ...(f.state ?? {}), id, start } } : o));
+        notice.controls.push({ part: f.body1.part, control: id, min: lo, max: hi });
+    }
+    /* A value in a record that followed the part: the number it is now. */
+    const freezeMeasure = (measure, where) => {
+        if (!measure || typeof measure !== 'object' || measure.from.of !== 'part' || measure.from.part !== part)
+            return measure;
+        const probe = structuredClone(m);
+        const ref = stableDimension(probe, part, measure.from.axis, where);
+        const value = round6(Number(compileV3Graph(probe).evaluate(inputs()).values[ref]) * (measure.times ?? 1) + (measure.plus ?? 0));
+        notice.fixed.push({ part: where, value, unit: 'mm' });
+        return value;
+    };
+    joints = joints.map(j => {
+        if (j.id === own?.id || children.includes(j))
+            return j;
+        const out = structuredClone(j);
+        if (out.origin?.gap !== undefined)
+            out.origin.gap = freezeMeasure(out.origin.gap, j.body1.part);
+        if (out.repeat)
+            out.repeat.pitch = freezeMeasure(out.repeat.pitch, j.body1.part);
+        if (out.travel?.source?.of === 'part' && out.travel.source.part === part) {
+            const plus = freezeMeasure({ from: out.travel.source, times: out.travel.times, plus: out.travel.plus }, j.body1.part);
+            out.travel = { plus };
+        }
+        return out;
+    });
+    /*
+      What reads a value that goes -- where the part, or a part let go of, is fastened (its joint's nodes), or where it is
+      drawn -- and is not the space (fitted again, or refused above): the number it is now. Values the part shares with
+      another (a shape two placements draw) stay, as before; they do not go.
+    */
+    const jointNodes = (p) => (n) => n.id.startsWith(`${p}.on.`) || n.id.startsWith(`${p}.row`) || [`${p}.seat.rigid`, `${p}.chain`, `${p}.world`, `${p}.turned`, `${p}.motion`, `${p}.layout`, `${p}.assembly`, `${p}.repeat`].includes(n.id);
+    const leaving = [part, ...children.map(j => j.body1.part)];
+    const goingNodes = new Set(m.nodes.filter(n => leaving.some(p => jointNodes(p)(n))).map(n => n.id));
+    const goingRefs = new Set(m.nodes.filter(n => goingNodes.has(n.id)).flatMap(n => Object.values(n.outputs)));
+    const types = graph.outputTypes;
+    const live = liveRefsOf(a);
+    const space = spaceOnlyNodesOf(a);
+    const partOf = (id) => String(id).split('.')[0];
+    for (const n of m.nodes) {
+        /* The parts leaving are released below; a row's copies are gathered again from the records. */
+        if (goingNodes.has(n.id) || leaving.includes(partOf(n.id)) || n.op === 'assembly@1' || space.has(n.id) || !Object.values(n.outputs).some(o => live.has(o)))
+            continue;
+        /* A joint's own nodes are made again from its record, from where its parent stands then. */
+        if (joints.some(j => jointNodes(j.body1.part)(n)))
+            continue;
+        n.args = n.args.map((ref, i) => {
+            if (!goingRefs.has(ref))
+                return ref;
+            const unit = baseUnitOf(types[ref]);
+            const value = now[ref];
+            if (typeof value === 'number' && unit) {
+                notice.fixed.push({ part: partOf(n.id), value: round6(unit === 'rad' ? (value * 180) / Math.PI : value), unit: unit === 'rad' ? 'deg' : unit });
+                return constantOf(m, unit, round6(value) + 0, 'fixed');
+            }
+            const pose = value;
+            const type = types[ref];
+            if (pose?.r && pose.t && type?.kind === 'transform') {
+                const id = namer(m, `${n.id}.fixed`)(`pose.${i}`);
+                const [rx, ry, rz] = eulerXYZ(pose.r);
+                m.nodes.push({ id, op: 'rigid@1', args: [...pose.t.map(v => constantOf(m, 'mm', round6(v) + 0, 'fixed')), ...[rx, ry, rz].map(v => constantOf(m, 'rad', round6((v * Math.PI) / 180), 'fixed'))], outputs: { pose: `${id}.value` }, params: { from: type.from, to: type.to } });
+                notice.fixed.push({ part: partOf(n.id), value: 0, unit: 'pose' });
+                return `${id}.value`;
+            }
+            fail('PART_REFERENCED', part, `${partOf(n.id)} reads ${part}'s ${ref}, which cannot be written as a number`);
+        });
+    }
+    /* What hung from it: where it stood at rest, fastened to nothing. */
+    const standing = new Map(children.map(j => [j.body1.part, atRest[nodeById(m, j.body1.part).args[1]]]));
+    a.joints = joints.filter(j => j.id !== own?.id && !children.includes(j));
+    if (!a.joints.length)
+        delete a.joints;
+    for (const j of children) {
+        const child = j.body1.part;
+        const control = j.type !== 'fixed' && !j.mimic ? stateIdOf(j) : undefined;
+        stripJoint(a, j);
+        const at = standing.get(child);
+        const pose = nodeById(m, `${child}.pose`);
+        const turn = eulerXYZ(at.r);
+        const values = [...at.t.map(v => round6(v) + 0), ...turn];
+        const old = pose.args.slice(0, 6);
+        pose.args = [...AXES.map(axis => `${child}.position.${axis}`), ...AXES.map(axis => `${child}.rotation.${axis}`)].map((id, i) => {
+            if (!m.inputs.some((n) => n.id === id))
+                m.inputs.push({ id, unit: i < 3 ? 'mm' : 'deg', min: -Number.MAX_VALUE, max: Number.MAX_VALUE, role: 'design' });
+            a.designInputs[id] = values[i];
+            return id;
+        });
+        for (const ref of old)
+            if (!pose.args.includes(ref))
+                dropIfUnused(a, ref, ownInput(m, child, ref) ? ref : undefined);
+        notice.released.push({ part: child, ...(control && !m.inputs.some((i) => i.id === control) ? { control } : {}) });
+    }
+    if (own)
+        stripJoint(a, own);
+    dropDeadDanglers(a);
+    if (a.joints?.length)
+        rewriteJoints(a);
+    return notice;
+}
 /**
- * The declared room taken out of the graph, for a command that declares it again from the parts once it is done
- * (a part deleted with 「지우고 공간 다시 맞추기」). What it stood on stays: placement and the mounting face.
+ * The nodes that make the declared space and nothing else: reached from what \`occupancy\` names, not from any drawn
+ * body, record or binding. Named by what they do, not by their names -- an older fitting named them \`occ.*\`
+ * (FORKLIFT), a still older one left some the declaration no longer reaches (WALL_LAMP), and a part's own chain the
+ * space also reads is the part's (2026-09-27).
  */
-export function releaseV3Room(asset) {
+export function spaceOnlyNodesOf(asset) {
     const a = asset;
-    if (!a.occupancy?.bounds)
-        return null;
-    const was = stringsIn(a.occupancy.bounds);
-    const placement = a.occupancy.placement;
-    a.occupancy = a.occupancy.contact ? { contact: a.occupancy.contact, placement } : undefined;
-    if (!a.occupancy)
-        delete a.occupancy;
-    for (const ref of was)
-        dropIfUnused(a, ref);
-    return { placement };
+    const m = a.document.model;
+    const reach = (from) => {
+        const seen = new Set();
+        for (const pending = [...from]; pending.length;) {
+            const writer = writerOf(m, pending.pop());
+            if (!writer || seen.has(writer.id))
+                continue;
+            seen.add(writer.id);
+            pending.push(...writer.args, ...stringsIn(writer.params));
+        }
+        return seen;
+    };
+    const drawn = reach([
+        ...m.nodes.filter((n) => n.op === 'place@1' || n.op === 'repeat@1').flatMap((n) => Object.values(n.outputs)),
+        ...stringsIn(a.appearance),
+        ...stringsIn(a.document.capabilities),
+        ...stringsIn(a.drivers),
+        ...stringsIn(a.publicInputs),
+        ...stringsIn(a.joints)
+    ]);
+    return new Set([...reach(stringsIn(a.occupancy))].filter(id => !drawn.has(id)));
 }
-export function releaseV3PartJoints(asset, part) {
-    refuseIfRead(asset, part);
-    const joints = (asset.joints ?? []);
-    const hanging = joints.filter(j => 'part' in j.body0 && j.body0.part === part).map(j => j.body1.part);
-    if (hanging.length)
-        fail('PART_REFERENCED', part, `${part} holds ${hanging.join(', ')}; take ${hanging.length > 1 ? 'them' : 'it'} off first`);
-    const own = joints.find(j => j.body1.part === part);
-    if (!own)
-        return;
-    const followers = joints.filter(o => o.mimic?.joint === own.id).map(o => o.body1.part);
-    if (followers.length)
-        fail('PART_REFERENCED', part, `${followers.join(', ')} ${followers.length > 1 ? 'move' : 'moves'} with ${part}; make ${followers.length > 1 ? 'them' : 'it'} move on ${followers.length > 1 ? 'their' : 'its'} own first`);
-    asset.joints = joints.filter(j => j.id !== own.id);
-    if (!asset.joints.length)
-        delete asset.joints;
-    stripJoint(asset, own);
+/**
+ * A node no drawn body, declaration or record reaches, reading a value that is gone: an earlier fitting's space left
+ * reading a joint's node that went with its part (WALL_LAMP's shade, 2026-09-27). It was read by nothing before, and it
+ * goes with what it read. A node something does reach is left, and the figure is refused as broken.
+ */
+export function dropDeadDanglers(asset) {
+    const model = asset.document.model;
+    const strings = (v) => typeof v === 'string' ? [v] : Array.isArray(v) ? v.flatMap(strings) : v && typeof v === 'object' ? Object.values(v).flatMap(strings) : [];
+    for (;;) {
+        const written = new Set([...model.nodes.flatMap(n => Object.values(n.outputs)), ...model.inputs.map(i => i.id), ...model.constants.map(c => c.id)]);
+        const live = new Set();
+        const pending = [
+            ...model.nodes.filter(n => n.op === 'place@1' || n.op === 'repeat@1').flatMap(n => Object.values(n.outputs)),
+            ...strings(asset.appearance),
+            ...strings(asset.occupancy),
+            ...strings(asset.document.capabilities),
+            ...strings(asset.drivers),
+            ...strings(asset.publicInputs),
+            ...strings(asset.joints)
+        ];
+        while (pending.length) {
+            const ref = pending.pop();
+            if (live.has(ref))
+                continue;
+            live.add(ref);
+            const writer = model.nodes.find(n => Object.values(n.outputs).includes(ref));
+            if (writer)
+                pending.push(...writer.args, ...strings(writer.params));
+        }
+        const dead = model.nodes.filter(n => n.args.some(a => !written.has(a)) && !Object.values(n.outputs).some(o => live.has(o)));
+        if (!dead.length)
+            return;
+        model.nodes = model.nodes.filter(n => !dead.includes(n));
+    }
+}
+/** Every value a drawn body, a declaration or a record reaches, however far up. */
+export function liveRefsOf(asset) {
+    const a = asset;
+    const m = a.document.model;
+    const live = new Set();
+    const pending = [
+        ...m.nodes.filter((n) => n.op === 'place@1' || n.op === 'repeat@1').flatMap((n) => Object.values(n.outputs)),
+        ...stringsIn(a.appearance),
+        ...stringsIn(a.occupancy),
+        ...stringsIn(a.document.capabilities),
+        ...stringsIn(a.drivers),
+        ...stringsIn(a.publicInputs),
+        ...stringsIn(a.joints)
+    ];
+    while (pending.length) {
+        const ref = pending.pop();
+        if (live.has(ref))
+            continue;
+        live.add(ref);
+        const writer = writerOf(m, ref);
+        if (writer)
+            pending.push(...writer.args, ...stringsIn(writer.params));
+    }
+    return live;
 }
 function setJoint(asset, joint) {
     // As JSON: a field left undefined is a field not there, which is how the asset stores it.
@@ -2907,7 +3173,11 @@ function setRepeat(asset, a) {
         fail('EDIT_TARGET', path, `${a.part} repeats a fixed count; its pitch is built into its length and cannot be set yet`);
     if (layout.op !== 'fit-pitch@1')
         fail('EDIT_TARGET', path, `${a.part} lays its copies out by ${layout.op}, which has no pitch`);
-    if (!(Number.isFinite(a.pitch) && a.pitch > 0))
+    /* A pitch read from an input is a record's: a row without one takes a number (ADR-0096). */
+    if (typeof a.pitch !== 'number')
+        fail('EDIT_TARGET', path, `${a.part}'s row has no record to read its pitch from an input; make it again with make-repeat`);
+    const pitch = a.pitch;
+    if (!(Number.isFinite(pitch) && pitch > 0))
         fail('GEOMETRY_DOMAIN', path, 'a positive pitch is required');
     /*
       One number, the pitch: copies = floor(row length / pitch), at most `limit` of them (the kernel's copy cap).
@@ -2919,7 +3189,7 @@ function setRepeat(asset, a) {
     const authored = values[lengthRef];
     const limit = (values[layout.args[6]] ?? m.constants.find((c) => c.id === layout.args[6])?.value);
     const smallest = Math.ceil((authored / limit) * 1000) / 1000;
-    if (a.pitch < smallest)
+    if (pitch < smallest)
         fail('INPUT_RANGE', path, `at the length it is authored (${round6(authored)} mm) a pitch under ${smallest} mm makes more than ${limit} copies`);
     const id = `${a.part}.repeat.pitch`;
     if (!m.inputs.some((i) => i.id === id)) {
@@ -2931,11 +3201,11 @@ function setRepeat(asset, a) {
         for (const ref of new Set(was))
             dropIfUnused(asset, ref);
     }
-    asset.designInputs[id] = a.pitch;
+    asset.designInputs[id] = pitch;
     /* The longest length follows the pitch, within the default range (ten times the authored length). */
     const length = m.inputs.find((i) => i.id === lengthRef && i.role === 'design');
     if (length) {
-        const longest = Math.min(round6(limit * a.pitch), round6(authored * V3_INSTANCE_SIZE_DEFAULT.times));
+        const longest = Math.min(round6(limit * pitch), round6(authored * V3_INSTANCE_SIZE_DEFAULT.times));
         length.max = Math.max(longest, authored);
         if (length.min > length.max)
             length.min = Math.min(length.min, authored);