rig-parts 1.48.0 → 1.49.2

package/cli.ts

@@ -231,16 +231,21 @@ usage:
       spliced in (issue #537), the way mesh-draft writes its config, so that
       rig --config <out.json> builds it. What is spliced is measured: the
       same parts drafted again without the recipe, and each config section
-      that differs — bones and constraints whole (a hand-added bone does not
-      survive), meshes.<part>, regions.<part> and motion.tracks entry by
-      entry; a section the input lacks is inserted; every other byte as
-      read. The text is written as stated, so a relative path in it
-      resolves against <out.json>'s directory (a note names each when that
-      is not the input's). Only with --cloth and not with --from-config
-      (usage errors); refused, before anything is written, when <out.json>
-      exists or is a file this run writes (PROPOSE_WRITE_CONFIG_FRESH), or
-      when the spliced text does not parse to the config with the sections
-      set, naming the first key that moved (PROPOSE_WRITE_CONFIG_SPLICE).
+      that differs, entry by entry: meshes.<part> and regions.<part>, and
+      bones, constraints and motion.tracks by each entry's name (issue
+      #552) — an entry the recipe drafts replaced or inserted, one it
+      replaces removed, and every other entry, a hand-added one among
+      them, kept in its place; a section the input lacks is inserted;
+      every other byte as read. The text is written as stated, so a
+      relative path in it resolves against <out.json>'s directory (a note
+      names each when that is not the input's). Only with --cloth and not
+      with --from-config (usage errors); refused, before anything is
+      written, when <out.json> exists or is a file this run writes
+      (PROPOSE_WRITE_CONFIG_FRESH), when an entry the recipe re-drafts or
+      removes was changed by hand, naming the entry and the field
+      (PROPOSE_WRITE_CONFIG_CONFLICT), or when the spliced text does not
+      parse to the config with the sections set, naming the first key
+      that moved (PROPOSE_WRITE_CONFIG_SPLICE).
 
   rig-parts propose --parts <dir> --source <painting.png> --out <dir> --from-config <config.json>
       Draw the config's CURRENT bones instead (<out>/render/landmarks_config.png
@@ -1354,8 +1359,9 @@ function cmdPropose(args: string[]): number {
       writeArg === undefined || clothArg === undefined
         ? null
         : (() => {
-            const edits = clothConfigEdits(drafted, proposeWithBasis(P, joints, wristSnap, gridRule, null).proposal);
             const text = readFileSync(clothArg, 'utf8');
+            // Issue #552: bones, constraints and motion.tracks entry by entry; a hand edit the recipe would drop is refused by name.
+            const edits = clothConfigEdits(drafted, proposeWithBasis(P, joints, wristSnap, gridRule, null).proposal, JSON.parse(text) as unknown);
             return { at: writeArg, text: writtenClothConfig(clothArg, text, edits), paths: editPaths(edits), relative: relativeConfigPaths(dirname(resolve(clothArg)), JSON.parse(text) as Record<string, unknown>) };
           })();
     const bfile = basisFile(P, prop, basis, cfg === null || cmpPath === undefined ? null : { where: cmpPath, config: cfg });
@@ -1374,7 +1380,11 @@ function cmdPropose(args: string[]): number {
     printLint(P, prop, joints, draftLint);
     console.log(basisLine(bfile, out));
     if (written !== null && clothArg !== undefined) {
-      console.log(`wrote ${written.at}: ${clothArg}'s text with ${written.paths.join(', ')} spliced in from the draft; every other byte as read`);
+      console.log(
+        written.paths.length > 0
+          ? `wrote ${written.at}: ${clothArg}'s text with ${written.paths.join(', ')} spliced in from the draft; every other byte as read`
+          : `wrote ${written.at}: ${clothArg}'s text byte for byte; every entry the recipe drafts is already as drafted`,
+      );
       if (written.relative.length > 0 && dirname(resolve(written.at)) !== dirname(resolve(clothArg))) {
         console.log(`note: ${written.relative.map((r) => `${r.at} "${r.value}"`).join(', ')} written as stated; the loader resolves each against the directory the config sits in, ${dirname(written.at)} for ${written.at}, not ${dirname(clothArg)}; put the config beside ${clothArg} or rewrite them`);
       }

package/docs/AUTHORING.md

@@ -112,7 +112,7 @@ read by no CPU stage).
 | `assemble.head_face_underfill` | assemble, `assemble --propose-plan` | **authored**, optional (issue #492): `boolean` (`CONFIG_FIELD_TYPE` on any other). When both runs exist and `full:face` has at least `200` opaque run px (`PROPOSE_MIN_PX`), the stage maps `full:face` into the head canvas via `fullLayerToHead` and measures how much of its hole-filled silhouette (`alpha > 8`) is covered by `head:face` (`alpha > 8`). A head-run `face` covering less than `75 %` (`HEAD_FACE_COVERAGE_FLOOR`, measured `0.0 %..48.6 %` on hollow/omitted head runs vs `84.8 %..99.6 %` on clean head runs across the 4 public examples and 9-standee corpus) is refused with `SEETHROUGH_HEAD_RUN_HOLLOW` unless `head_face_underfill: true` is declared. When `head_face_underfill: true` is declared and `head:face` exists (`opaqueRunPx >= 200`), `fullLayerToHead(full:face)` is composited under `head:face` on the head canvas (`alpha = max(headAlpha, fullAlpha)`, RGB blended by `headAlpha / 255`) before `head:face` is placed in rig space (`underfill=<N>px(full:face)` on the `face` part log line and a `face: head_face_underfill composited …` note in `assemble --propose-plan`). The fill restores transparent pixels only and leaves the cut's own edge where it is — a hollow whose edge is not under hair stays visible, and that is the author's to fix at the cut. When `head:face` has fewer than `200` opaque pixels, `SEETHROUGH_HEAD_RUN_HOLLOW` still fires even under `head_face_underfill: true` because the head run omitted the face layer and cannot supply a jawline |
 | `limbs` | assemble (the cut and the caps), rig (through `regions`), check (`LIMB_ONE_BONE`) | **proposed** by `propose --keypoints` (issue #349), then checked: `{<limb>: {segments: [{part, from, bone}, {part, from, bone, joint, range?, cap?, edge?, cap_shape?, cut_band?}, …]}}`, the upper segment first. The rule is *Limbs: cut at their joints* below the table. `part` is a new part (`CONFIG_PART_NAME`, `CONFIG_PART_UNIQUE` against the plan, patches, cuts and every other limb part); `from` a plan part or a cut's piece (`CONFIG_NAME_RESOLVES`) — the layer the segment's pixels come from, which is cut into the limb parts and is not itself made: a `meshes` or `regions` entry for it is `CONFIG_NAME_RESOLVES`, and the segments of one limb that take one part are consecutive (`CONFIG_LIMB_FROM_RUN`); `bone` a declared bone, each segment's the child of the one before (`CONFIG_LIMB_BONES_CHAIN`); the upper segment names no `joint`, `range`, `cap`, `edge`, `cap_shape` or `cut_band` (`CONFIG_KEY_KNOWN`), every other names its `joint` (`CONFIG_FIELD_PRESENT`) — the joint is its bone's origin; `range` is `[min, max]` degrees from rest with `min <= 0 <= max` (`CONFIG_LIMB_RANGE`), which `assemble` writes into the lower part's `parts.json` record and `check` poses the joint at — its two ends and its middle — reading the seam there (`SEAM_OVER_RANGE`, issue #360; rig-c needs no rotation limit); `cap` a PNG path relative to the config's directory (`CONFIG_FIELD_TYPE`); `edge` `"feather"` and `cap_shape` `"disc"` (issue #360), each the one value its field takes (`CONFIG_FIELD_TYPE` on any other) — the cut's geometry at that joint, *Limbs: cut at their joints* below; absent, the cut is hard and the cap the layer's half-disc of half the limb's width; `cut_band` a whole number of px, 1 or more (`CONFIG_FIELD_TYPE`), on a segment that takes the segment above's part — between two layers nothing is cut, so a band there is `CONFIG_KEY_KNOWN` — places the cut within that many px of the joint line (issue #360, *Limbs: cut at their joints*); absent, the cut is the joint line. Each limb part is attached like any part — `regions.<part>`, which must be the segment's `bone` (`CONFIG_LIMB_BONE`), or a mesh, which `check` holds to that bone alone (`LIMB_ONE_BONE`). With `limbs`, `assemble` reads `bones` too (`CONFIG_FIELD_PRESENT` without it). Absent, nothing is cut at a joint and no byte of any output moves |
 | `bones` | rig; `propose --from-config` | **proposed** by `propose`, then corrected. A single bone `{name, parent, at, tip?}` or a chain `{chain, parent, points, tip, link_inherit?}` whose links are named `<chain>0 … <chain>n`. Parents come before children. In `rig.json` each link is **turned along its chain** — `rotation` is the direction from its origin to the next link's (the last link's to `tip`) and `length` that distance (issue #73), so a physics constraint added downstream finds a lever; under `--idle-keys ctl` the link's `<link>_ctl` carries the turn and the length and the link sits at local rotation 0 beneath it. A single bone with a `tip` is turned the same way, towards its tip, with that distance as its length (issue #239); a tip on the bone's own origin is refused (`RIG_TIP_DISTINCT`). The five face bones `eye_r`, `eye_l`, `brow_r`, `brow_l` and `mouth` (by name, when one has no tip of its own) are turned to the eye line — the line through the origins of `eye_r` and `eye_l` as `bones` writes them, read image-left to image-right, drawn when parts.json holds both an `eyewhite-r` and an `eyewhite-l` part — so the blink's `scaley` squashes across the eye line on a tilted head; move an eye bone and the line moves with it. With one eyewhite or none, or an eye bone missing, the rig stage's `face axis:` line says so and they keep the page's axes. A bone under a face bone keeps the face's axis. With the line, `rig.json` also declares `invariants.axes` — one entry, `"face"`, through `eye_r` and `eye_l`, holding the turned face bones (and their controls) — so rig-c's gate holds the build to the line; the line is the one rigc draws through the same two bones, so the tolerance is only the float floor — the largest gap the emitted (float32) bones have to it, rounded up to 6 places plus one 6-place unit — and the `face axis:` line prints it. With the line the rig stage also adds `head_up` (issue #250): a slotless bone under `head`, at head's origin, turned to the eye line + 90 degrees and as long as the eye midpoint lies from head's origin along that axis — the head's frame, which a rule that needs it reads; `head` keeps its own frame, so no key on it or under it changes meaning, and a config bone of that name is refused (`RIG_HEAD_UP_NAME_FREE`). A face bone with its own `tip` is held too (issue #258), in a second entry, `"face_tips"`, when its tip lies along the line within whole-pixel rounding — a tip written in whole pixels sits at most sqrt(2)/2 px off the point of the line it stands for, so its direction may sit up to asin((sqrt(2)/2) / length) degrees off — with its tolerance measured the same way; a tip further off is the bone's own axis, and the `face axis:` line names it with its gap and that bound. A failure is rig-c's `A51_BONES_LIE_ALONG_THEIR_DECLARED_AXIS` line, which names the bone and the fix (rig-c's `docs/AUTHORING.md` §3.7 and §5.2); with no line no entry is written and A51 reports SKIP. Every region on a turned bone is turned back, so the setup pose does not move. Any other single bone keeps world rotation 0; one whose parent is a link is turned back upright. A single bone may declare `inherit` (issue #348): what it takes from its parent's transform, one of rig-c's own mode names exactly as rig-c's table spells them — `normal`, `onlyTranslation`, `noRotationOrReflection`, `noScale`, `noScaleOrReflection` (rig-c's `RigBone.inherit`) — written to that bone in `rig.json` as declared; any other spelling, `"NoScale"` included (the runtime would fold its first letter; nothing here folds or maps), is refused (`CONFIG_BONE_INHERIT`), and a chain takes no `inherit` (`CONFIG_KEY_KNOWN`). A chain may instead declare `link_inherit` (issue #369), an object mapping its own expanded link names to those same modes, for example `"link_inherit": {"leg_r1": "noScale"}`. Only the named link changes; omitted links inherit normally. A key outside this chain is `CONFIG_NAME_RESOLVES`, with this chain's valid link names in the detail; a non-object or non-string mode is `CONFIG_FIELD_TYPE`, and another mode spelling is `CONFIG_BONE_INHERIT`. The mode is forwarded to the expanded link, or to its control under `--idle-keys ctl`, by the same rule as a single bone. This is an authored opt-in: `propose` does not add it. Its setup rotation is the turn from where rig-c's own poser puts the bone with no rotation of its own under that mode, so it still stands upright (or along its tip) at the setup pose. Where the idle gives the bone a `<bone>_ctl`, the mode goes on the control: the control is the bone the parent's rotation reaches, and the bone under it inherits normally, so the idle's keys moved onto the control still turn it. A foot that does not take its shin's rotation (`noRotationOrReflection` or `onlyTranslation`) keeps its shoe level while the leg is posed (`FEET_STAY_LEVEL`, §7); which mode is the author's. `noScale` keeps a shin or shoe's shape under a scaled parent but still takes the parent's rotation: a shoe that must also stay level needs a separate rotation constraint, for example a transform constraint from an unrotated bone. This does not change the proposed feet's existing inheritance or `FEET_STAY_LEVEL` default. An automatic mesh weighted through a bone with a mode other than `normal` gets no derived amplitude (its row names the bone) and no residual envelope (rig-c's `SKINNING_RANGE_UNSUPPORTED`). Absent, `rig.json` carries no `inherit` and no byte moves |
-| `meshes.<part>` | rig | **proposed**, then corrected. Exactly one of `grid` (the lattice: cell size, px — what `propose` writes: by default one spacing for the figure, round(H / 37) rig px with H the height of every part's box together, a part whose tenth of its short side is already coarser keeping that, and under `propose --grid-rule part` the reference's tenth of the part's short side clamped to 5..36, issue #265), `contour` (the outline mode, authored; the next row and "A contour mesh" below) or `auto` (the automatic mode, authored; "An automatic mesh" below) — two, or none, is `CONFIG_MESH_MODE`. In every mode: `r` (added to every distance before weighting: `w = 1/(d + r)²`), `segments` (a chain name, a bone name with a `tip`, or `[bone, [x0,y0], [x1,y1]]`), and, **authored**, optional, `exponent` (issue #161): a number above 0 that replaces the 2 in that rule, `w = 1/(d + r)^exponent` — a larger one hands each vertex more fully to its nearest bone; absent is 2 and changes no byte, a value that is not a number above 0 is `CONFIG_FIELD_TYPE` at `meshes.<part>.exponent`, and a declared one is echoed as `exponent` in the mesh's `mesh_report.json` row; the exponent is the distance rule's, so declared beside `rule: "heat"` it is refused (`CONFIG_FIELD_TYPE` at `meshes.<part>.exponent`). The segment list is the one authored decision about a layer: which bones may pull it. The slot's bone is the first segment's. Optional `rule` (issue #161): `"distance"` — the rule above, and what an absent `rule` means (every byte is the same) — or `"heat"`, bone heat over the part's own silhouette, in every mode: the lattice's art (alpha above 8, less any island a declared `stray` left out) with holes filled, or for `contour` and `auto` the silhouette their outline is traced from (that mode's art — alpha above 8 for `contour`, alpha 1 and above for `auto` — less any island a declared `stray` left out, holes filled, grown by its `margin`); each bound bone's sources are the silhouette pixels whose centre lies within 0.75 px of its segment (a pixel two bones reach goes to the nearer, a tie to the first listed), held at 1 for that bone and 0 for the others; the field is solved by row-major Gauss–Seidel over-relaxation to a sweep change under 1e-7 within 20000 sweeps; a vertex reads the nearest silhouette pixel and takes the same cap and floor (and `regions`) as the distance rule; `r` is not read. The mesh's `mesh_report.json` row gains `heat` (the constants, each bone's sources and sweeps, the residual). Any other value is `CONFIG_FIELD_TYPE`; a bound bone with no source pixel is `RIG_HEAT_BONE_SOURCE`, an island no bone has a source in `RIG_HEAT_ISLAND_SOURCE`, a solve past its sweep bound `RIG_HEAT_CONVERGED` — none is weighted 0. The rule is chosen per mesh, so `RIG_HEAT_BONE_SOURCE` names three remedies: move the segment onto the art, take the bone out of `segments`, or keep this part on the distance rule — the one to take when the bone anchors the part from outside its art (a torso bone under a neck), since the first moves a bone another part placed and the second drops the anchor (issue #303). On a lattice, `RIG_HEAT_ISLAND_SOURCE` on an island that is dust — at most 4 px and at most 0.1 % of the part's art px, `mesh-draft`'s line — names `meshes.<part>.stray` and the figure that leaves it out, with the value declared; an island above that line keeps the segment remedy, a real piece being a real authoring question |
+| `meshes.<part>` | rig | **proposed**, then corrected. Exactly one of `grid` (the lattice: cell size, px — what `propose` writes: by default one spacing for the figure, round(H / 37) rig px with H the height of every part's box together, a part whose tenth of its short side is already coarser keeping that, and under `propose --grid-rule part` the reference's tenth of the part's short side clamped to 5..36, issue #265), `contour` (the outline mode, authored; the next row and "A contour mesh" below) or `auto` (the automatic mode, authored; "An automatic mesh" below) — two, or none, is `CONFIG_MESH_MODE`. In every mode: `r` (added to every distance before weighting: `w = 1/(d + r)²`), `segments` (a chain name, a bone name with a `tip`, or `[bone, [x0,y0], [x1,y1]]`), and, **authored**, optional, `exponent` (issue #161): a number above 0 that replaces the 2 in that rule, `w = 1/(d + r)^exponent` — a larger one hands each vertex more fully to its nearest bone; absent is 2 and changes no byte, a value that is not a number above 0 is `CONFIG_FIELD_TYPE` at `meshes.<part>.exponent`, and a declared one is echoed as `exponent` in the mesh's `mesh_report.json` row; the exponent is the distance rule's, so declared beside `rule: "heat"` it is refused (`CONFIG_FIELD_TYPE` at `meshes.<part>.exponent`). The segment list is the one authored decision about a layer: which bones may pull it. The slot's bone is the first segment's. Optional `rule` (issue #161): `"distance"` — the rule above, and what an absent `rule` means (every byte is the same) — or `"heat"`, bone heat over the part's own silhouette, in every mode: the lattice's art (alpha above 8, less any island a declared `stray` left out) with holes filled, or for `contour` and `auto` the silhouette their outline is traced from (that mode's art — alpha above 8 for `contour`, alpha 1 and above for `auto` — less any island a declared `stray` left out, holes filled, grown by its `margin`); each bound bone's sources are the silhouette pixels whose centre lies within 0.75 px of its segment (a pixel two bones reach goes to the nearer, a tie to the first listed), held at 1 for that bone and 0 for the others; the field is solved by row-major Gauss–Seidel over-relaxation to a sweep change under 1e-7 within 20000 sweeps; a vertex reads the nearest silhouette pixel and takes the same cap and floor (and `regions`) as the distance rule; `r` is not read. The mesh's `mesh_report.json` row gains `heat` (the constants, each bone's sources and sweeps, the residual). Any other value is `CONFIG_FIELD_TYPE`; a bound bone with no source pixel is `RIG_HEAT_BONE_SOURCE`, an island no bone has a source in `RIG_HEAT_ISLAND_SOURCE`, a solve past its sweep bound `RIG_HEAT_CONVERGED` — none is weighted 0. The rule is chosen per mesh, so `RIG_HEAT_BONE_SOURCE` names three remedies: move the segment onto the art, take the bone out of `segments`, or keep this part on the distance rule — the one to take when the bone anchors the part from outside its art (a torso bone under a neck), since the first moves a bone another part placed and the second drops the anchor (issue #303). On a lattice, `RIG_HEAT_ISLAND_SOURCE` on an island that is dust — at most 4 px and at most 0.1 % of the part's art px, `mesh-draft`'s line — names `meshes.<part>.stray` and the figure that leaves it out, with the value declared; an island above that line keeps the segment remedy, a real piece being a real authoring question. In every mode the mesh's `mesh_report.json` row's `bones` names the bones the emitted model binds for the attachment — the sorted set its weights in the written `rig.json` name, so a `turn` twin (`turn_<part>_<bone>`) or a stopped link's `<link>_d` where those rebind it, never the segment bone it stands for — the same list in every mode, `remesh --delta`'s included (issue #536) |
 | `meshes.<part>.influence` | rig | **authored**, optional (issue #378), a mode beside `grid`, `contour` and `auto`: `{cell, radius, across, max, shape}`, every field required, none defaulted. rig-c's `segments` lattice over the part at `cell` px, each vertex pulled by every link of the mesh's `segments` within `radius` px of it — a pull that falls to exactly 0 at `radius` (`shape` `"linear"` or `"smooth"`), across the `segments` entries or only within the nearest one (`across`), the strongest `max` kept. The lattice and the shares are computed by rig-c's own promised functions (`buildSegmentsLattice`, `segmentDistance`, `influenceShares`), so the rule is rig-c's (its AUTHORING §3.4.7), and the mesh is written with explicit weights like every other mode. `radius` is a length on this part: the rig stage measures the farthest lattice vertex's distance to its nearest link and refuses a radius at or under it (`RIG_INFLUENCE_REACH`), naming the distance. `propose --cloth` drafts it when a recipe declares `influence` and no `radius` (issue #518): the farthest vertex's distance plus 3 of the part's lattice cells, printed on a `LINT` line with both figures. Measured on the cloth fixture and the public `wind` example (#513: 8 covered parts, `render --folds` with the physics on under wind and a hip sway of 8° and 30°): a radius just above the floor folds **more** than the lattice (one skirt went from 0 to 55 folded frames), and a larger one is **not** safer (one fringe folded again at about 3–4× its farthest distance); +2 to +6 cells read 0 on every part, +2 at the edge. No ceiling is drafted, and the 3 is a hypothesis until a third subject — state `radius` in the recipe to keep your own. `r`, `exponent`, `rule`, `influences`, `stray` and `ribs` belong to the distance rule or another mode and are refused beside it (`CONFIG_INFLUENCE_MODE`). For cloth and hair that should bend as one surface across its chains |
 | `meshes.<part>.contour` | rig | **authored**, optional (issue #84): `{tolerance, margin, spacing, maxEdge?, budget?, stray?, bridges?, regions?, bust?}`. `tolerance` — rig-c's Douglas–Peucker tolerance on the traced outline, px, 0 or more; `margin` — how far the silhouette grows before it is traced, px: 0, or 1 or more (a pixel joins when its centre lies within `margin` of an art pixel's centre; a value above 0 and below 1 adds nothing and is refused, `CONFIG_FIELD_TYPE`); `spacing` — the background interior spacing, px, above 0; `maxEdge` (issue #265) — the longest outline edge, px, above 0: every simplified edge longer than it is cut into `ceil(length / maxEdge)` equal pieces, each cut point on the 1/256 px grid, before any region or rib touches the outline (absent: nothing is cut, and no byte moves; under 2/256 px the rig stage refuses it, `CONTOUR_PARAMETER`, because two cut points could snap together); the row echoes it in `params` and counts the points it added in `contour.outlineCut`, both only when declared; `budget` — the most vertices the mesh may have (refused above it, nothing thinned); `stray` — the largest island, in art pixels, that may be left out of the mesh (absent: none is); `bridges` (issue #326) — `true`, its one value: islands are read in this order — **dust first** (those `stray` leaves out), **then faint islands** (every pixel's alpha under 64, a quarter of full opacity: left out the same way, their pixels kept in the image but not meshed, so not drawn, and named in the row's `contour.bridges.faint` with their px, brightest alpha and box), **then every visible island is meshed and bridged, whatever the bridge costs** — overdraw is reported, never a reason to drop art; the largest island, or a tie for it, is never left out, faint or not: dropping it would draft the part without its art, and a part whose main body is faint is a question about the layer, which the plan and the author own, not one for the mesh — and the pieces are joined into the one outline rig-c takes by bridges — the kept islands, holes filled, grow together by `margin`, so islands closer than about twice the margin are one grown silhouette, traced as one; each silhouette is traced, simplified, capped, refined and triangulated as a one-island mesh is; then, starting from the silhouette with the most art, the nearest pair of a vertex on the joined outline and one on a silhouette still apart whose quad holds (wound as the mesh, crossing no outline, holding no other vertex, one closed outline after) is joined by that quad, two triangles over no art, until none is apart. Coverage and overshoot read the silhouettes' triangles; a bridge's area is in `meshArea` and in the row's `contour.bridges` (`islands`, `units`, and per join `unit`, `span` — its two crossing edges, px — `area`, `vertices`, `pair`; and `faint`, only when an island was left out as faint), and the row's `params` echoes `bridges`, both only when declared; `art_coverage` counts a faint island's pixels as art not covered. Absent, a second island is refused as below and no byte moves; on one island it writes the mesh the undeclared entry writes. Any other value is `CONFIG_FIELD_TYPE`; beside `ribs` it is `CONTOUR_PARAMETER` (a rib runs across one outline); a join no pair makes is `CONTOUR_BRIDGE`. A bridge stretches with whatever pulls its two ends apart, so it belongs on a part whose pieces ride one bone — the only case `mesh-draft` drafts; `regions` — local deformation regions, each `{name, shape, bone, spacing, band}` with `shape` `"circle"` (`cx, cy, r`) or `"polygon"` (`points`, 3 or more): `bone` is the region's control bone (any bone `bones` declares), `spacing` the interior spacing inside the region and its band, `band` the width the bone's weight falls across. Every length and position is **rig px**, like every other in the config; the part image is the rig less `(x − 4, y − 4)` (its box less the pad), a translation, so a length is the same number in both. A region's `cx`, `cy`, `r`, `band` and `points` are multiples of 1/256 px (`CONFIG_FIELD_TYPE` otherwise); region names are unique per mesh (`CONFIG_REGION_NAME_UNIQUE`). `bust` (issue #475) — `{apex_r, apex_l, cleavage, alpha?: 0.22, clearance?: 3.8, bone_r?: "boob_r", bone_l?: "boob_l", spacing?: 14}`: derives the two circular regions `bust_r` and `bust_l` from the three rig-px landmarks `apex_r`, `apex_l` and `cleavage` (multiples of 1/256 px, `CONFIG_FIELD_TYPE` otherwise; projecting the torso midline `neck → chest → hip` onto `apex_r → apex_l` misses the cleavage by 14–93 px across all five calibrated 3/4-yaw characters, so all three points are required). With `d_s = \|cleavage − apex_s\|` and `D = \|apex_r − apex_l\|`, each side `s ∈ {r, l}` is placed at `cx = apex_s[0]`, `cy = apex_s[1]` with outer radius `R_s = d_s − clearance`, core radius `r_s = round(alpha × R_s)` and `band_s = round(R_s) − r_s` (`alpha` = 0.22, `clearance` = 3.8 px, `spacing` = 14 px, `bone_r` = `"boob_r"`, `bone_l` = `"boob_l"` by default, reproducing the five calibrated example characters within `<= 6 px`, max `\|ΔR\| = 5 px`, max `\|Δr\| = 3 px`). Refused when `clearance <= 0`, `R_r + R_l >= D`, or a derived `r_s` or `band_s` is not positive (`CONFIG_BUST_CLEARANCE`), when `bone_r` or `bone_l` is not declared in `bones` (`CONFIG_NAME_RESOLVES`), or when `contour.regions` also names `bust_r` or `bust_l` (`CONFIG_REGION_NAME_UNIQUE`). Both `propose` and `rig` read `contour.bust` through `contourRegionsOf` (`deriveBustRegions`), and hand-written `contour.regions` entries build byte-identically when `bust` is absent. The alpha threshold is not a field: art is alpha above 8, the lattice's and `check`'s |
 | `meshes.<part>.ribs` | rig | **authored**, optional (issue #188), in the `contour` and `auto` modes: `{<chain>: {stations}, …}`, each key a chain this mesh's `segments` name. Each link of the chain gets a row of vertices across the part at its origin and at `stations` points evenly between its origin and its end (`stations`, a whole number, 0 or more, required; a chain of L links carries L × (stations + 1) ribs), each rib a row of vertices across the part, kept as a row of locked edges; the rule is "Ribs along a chain" under "A contour mesh". Absent places none and changes no byte. Refused: a lattice mesh with ribs (`CONFIG_RIBS_MODE` — its vertices are its grid's corners), a key that is not one of the mesh's chains (`CONFIG_NAME_RESOLVES`), an object naming no chain or a `stations` that is not a whole number from 0 (`CONFIG_FIELD_TYPE`); at the rig stage `CONTOUR_RIB_ART`, `CONTOUR_RIB_LINK`, `CONTOUR_RIB_CROSSING`, `CONTOUR_RIB_EDGE` (the contour refusals). The mesh's `mesh_report.json` row gains `ribs` — the declaration, the ribs placed and the vertices they hold — and its contour report (the source's, in `auto`) lists each rib's vertices |
@@ -1652,20 +1652,37 @@ are drafted again without the recipe, and each config section whose value differ
 the recipe's. An object section is spliced entry by entry — `meshes.<part>` and
 `regions.<part>` for each part the recipe moved (a part it takes from `regions` into
 `meshes` leaves `regions`), `motion.tracks` and nothing else under `motion`, so
-`duration`, `blink` and `animations_from` keep their bytes — and `bones` and
-`constraints` whole: **the drafted array replaces the input's**, so a bone or a
-constraint added by hand does not survive a `--write-config`, as a hand-edited lattice
-does not survive `mesh-draft`. Every other byte is the input's; a section the input
-lacks (a config holding only `key` and `cloth`) is inserted. On the selftest's cloth
-fixture (CL201 prints the figures) the recipe moves `bones`, `meshes.hair_back`,
-`meshes.hair_front`, `meshes.skirt`, `motion.tracks` and `constraints`; `limbs` is not
+`duration`, `blink` and `animations_from` keep their bytes — and so are `bones`,
+`constraints` and `motion.tracks` (issue #552), by each entry's name: a bone by `name`
+or `chain` (one namespace, as a mesh segment resolves either), a constraint by `name`,
+a track by `chain` or by `bone` and `prop` together. An entry the recipe drafts (one the
+draft with the recipe holds and the draft without it lacks or holds differently) is
+replaced in place, or, when the input lacks it, inserted after the input's entry that
+precedes it in the drafted array (the nearest earlier drafted entry the array holds),
+else at the end of the array; an entry the recipe replaces (a plain chain it drafts as
+trees) is removed; **every other entry is kept, its bytes and its place** — a bone, a
+chain, a constraint or a track added by hand survives a `--write-config`. An entry the
+recipe re-drafts or removes that the author changed by hand (it equals neither draft) is
+not dropped: the run is refused, `PROPOSE_WRITE_CONFIG_CONFLICT`, naming the entry
+(`config.constraints[40] "skirt0a_0_physics"` in CL207), the first field the hand edit holds and
+what the draft writes there, every conflict at once and nothing written; take the draft
+by removing the hand edit, or leave the recipe out for that part. A `meshes.<part>` the
+recipe drafts is still the draft's whole, as a hand-edited lattice does not survive
+`mesh-draft`, and a mesh it does not draft keeps its bytes. Every other byte is the
+input's; a section the input lacks (a config holding only `key` and `cloth`) is
+inserted whole. On the selftest's cloth fixture (CL201 prints the figures) the recipe
+removes six plain chains from `bones` and their nine tracks from `motion.tracks`,
+inserts its trees, moves `meshes.hair_back`, `meshes.hair_front` and `meshes.skirt`,
+and inserts `constraints`; with bones, constraints, a track and a mesh added by hand
+(CL205) the written config differs from the input only at those entries; `limbs` is not
 moved on the public `wind` example with its keypoints, whose tracked config the flag
 wrote back byte for byte (measured once, when the flag landed). The text is written as stated: a relative path in it
 (`motion.animations_from`, `generation.control.skeleton`) resolves against the directory
 the written config sits in, so the out path belongs beside the input, and when it is not
 a note names each such path. Refused before anything is written: `--write-config`
 without `--cloth` or beside `--from-config` (`USAGE`), an out path that exists or that
-the run writes itself (`PROPOSE_WRITE_CONFIG_FRESH`), and a text whose splice does not
+the run writes itself (`PROPOSE_WRITE_CONFIG_FRESH`), a hand edit to an entry the
+recipe owns (`PROPOSE_WRITE_CONFIG_CONFLICT`), and a text whose splice does not
 parse to the config with the sections set — a key stated twice
 (`PROPOSE_WRITE_CONFIG_SPLICE`); a recipe that drafts nothing is
 `PROPOSE_CLOTH_DRAFTED` as without the flag.
@@ -2879,6 +2896,7 @@ says why each requirement exists and what breaks without it.
 | <a id="PROPOSE_CLOTH_DRAFTED"></a>`PROPOSE_CLOTH_DRAFTED` | with `--cloth` (issue #364): the config's `cloth` block holds a recipe for a tag the proposer drafts no chain on — no part has that tag, or every `back hair` part ends above the shoulders (a bun bone, no chain). A `bottomwear` recipe with no `bottomwear` part names every `topwear` part shaped like a skirt (issue #402) | leave that recipe out, or assemble the layer it is for, or declare the named part in `cloth.bottomwear.part` |
 | <a id="PROPOSE_CLOTH_PART"></a>`PROPOSE_CLOTH_PART` | with `--cloth` (issues #402, #437): `cloth.bottomwear.part` (a string) names no part, a part or cut piece whose source is not `topwear` (a `bottomwear` part takes the recipe by its tag already), or a target whose box ends above the hip + 0.25 face heights, the topwear rule's waist line; or `cloth.<tag>.parts` (or `part` as a list, issue #437) names a part not in `parts.json`, a part no link of the drafted tree crosses (`spanCrosses == 0`), or parts out of root-to-tip depth order along the chain | name the `topwear` part or its cut skirt piece that holds the skirt (or leave `part` out), or list only parts in `parts.json` that the drafted tree links cross in root-to-tip order |
 | <a id="PROPOSE_WRITE_CONFIG_FRESH"></a>`PROPOSE_WRITE_CONFIG_FRESH` | with `--write-config` (issue #537): the out path exists, or is a file the run writes itself (`proposal.json`, `basis.json` under `--out`); the config is written to a new file, never over the `--cloth` config or an earlier one | name a file that does not exist yet, beside the `--cloth` config |
+| <a id="PROPOSE_WRITE_CONFIG_CONFLICT"></a>`PROPOSE_WRITE_CONFIG_CONFLICT` | with `--write-config` (issue #552): an entry of `bones`, `constraints` or `motion.tracks` the recipe re-drafts or removes was changed by hand in the `--cloth` config — it equals neither the draft with the recipe nor the draft without it — so the write would drop the hand edit; the object is the entry (`config.constraints[40] "skirt0a_0_physics"` in CL207), the detail names the first field the hand edit holds and what the draft writes there. Also a name the config states twice where the recipe drafts it. Every conflict is named at once and nothing is written | take the draft by removing the hand edit (or the entry), or leave the recipe out for that part (its `cloth` block); state a name once |
 | <a id="PROPOSE_WRITE_CONFIG_SPLICE"></a>`PROPOSE_WRITE_CONFIG_SPLICE` | with `--write-config` (issue #537): the `--cloth` config's text with the drafted sections spliced in does not parse to that config with them set, and the message names the first key that moved — the text states a key twice, so the splice lands on the first and the parse keeps the last | state each key once in the `--cloth` config |
 | <a id="PROPOSE_CLOTH_BACK_HAIR_CHAINS"></a>`PROPOSE_CLOTH_BACK_HAIR_CHAINS` | with `--cloth` (issues #390, #445, #461): `cloth."back hair".chains` exceeds what the narrower side's opaque width at the eye-line root row holds at the part's mesh grid (`max(1, min(floor(w_r / grid), floor(w_l / grid)))`), or places a tree root outside the 15 px dilated art mask of the `back hair` part (e.g. an inner twin-tail root over the face where the hair has no pixel); the message names the part, each side's root-row width, the grid spacing, and any off-art root with its pixel alpha | lower `cloth."back hair".chains` to at most the max fit named in the message, or omit `chains` so `propose --cloth` derives the tree count per visible hair mass on each side from its root-row width |
 | <a id="PROPOSE_ACCESSORY_BODY"></a>`PROPOSE_ACCESSORY_BODY` | an accessory has nothing above its pendant rows to hang its bone on | that part's plan entry, or author its bones by hand |
@@ -2969,7 +2987,16 @@ outside the part's attachment, and the parts the config does not reproduce — r
 accepted after the config was written — are carried over as they are. `remesh.json`
 names the input's SHA-256 per file, the request, both versions, the part's counts
 before and after and both checks, and quotes `check`'s own physics line as the scope
-of the revision's check.
+of the revision's check. Each check side carries what the hold reads (`pass`,
+`measured`, `not_met`, `skipped`, `physics`) and, from issue #541, what `check`
+itself reports on that tree: `line`, the last line it prints (`check: PASS; …`),
+byte for byte — one function composes it for both — and `status`, every block's
+status as that tree's `check.json` records it (`gate`, `loop` and `seam` from their
+figures, every other block its own `status`: `PASS`, `FAIL`, `SKIP`, `WARN`,
+`CLEAR`, `REPORTED`). A consumer need not run `check` again on the revision: it
+binds the block to the files by the `revision` hash rows. A warning's status is
+carried, never held: a revision whose `CLOTH_SETTLES` is a `WARN` where the input's
+is `CLEAR` is written.
 
 **`--delta <mesh-edit.json>`** (in place of `--mesh`, exactly one of the two; issue
 #526) reads rig-c/review's mesh edit, `rig-review-mesh-edit/1`: `slot`, `skin`,
@@ -3041,7 +3068,10 @@ the config is left out of the revision — `retune.json`'s `held.not_compared` s
 what was held, which constraint fields changed (and which constraints were added or
 removed), how many idle tracks changed and the idle's duration before and after, both
 versions and both checks, and quotes `check`'s own physics line as the scope of the
-revision's check.
+revision's check. The check sides are `remesh`'s, `line` and `status` included
+(issue #541): `check`'s own last line and every block's status on that tree, so a
+consumer binds them to the revision by the `revision` hash rows instead of running
+`check` a second time.
 
 ### rig-c's mesh refusals, quoted in a line
 
@@ -3110,6 +3140,7 @@ documents do not ship). Each is an input this package built; none is an author's
 | <a id="REQUIREMENTS_CONSTRAINT_DRIVES"></a>`REQUIREMENTS_CONSTRAINT_DRIVES` | a `follow` names a bone its constraint does not constrain, or a property it does not drive: an `ik` drives `rotate` only; a `transform` drives `rotate` when a `to` names `rotate`, `translate` when one names `x` or `y` | the constraint's own bone and property |
 | <a id="REQUIREMENTS_TARGET_PARENT"></a>`REQUIREMENTS_TARGET_PARENT` | a scene target's bone is the root or is not parented to it, or the root is not at rest at the origin, or the animation keys the root — a stage point is a bone's position only under a root that stands still at the origin | a bone under the root for the scene to place |
 | <a id="REQUIREMENTS_TARGET"></a>`REQUIREMENTS_TARGET` | a scene target places one bone twice for one animation, places it for an animation no requirement measures, has a key outside the animation's `[0, duration]`, or sits in a group the animation translates | one placement per bone and animation, inside it, for an animation a requirement reads |
+| <a id="REQUIREMENTS_SELF_TARGET"></a>`REQUIREMENTS_SELF_TARGET` | a `contact` whose `target` is its own `bone` and `point` (0 apart by construction), or an `aim` whose `target` is a point of the aimed bone itself — its tip lies on its own axis (0 degrees by construction), its origin gives no line at all (issue #540): a PASS would say nothing. Refused before anything is built, beside the file's other refusals; a bone's tip against its own origin is a contact like any other (it reads the bone's length), and a stage target is never one | a different bone (or a stage point, for an aim), or for a contact the bone's other point |
 | <a id="CHECK_REQUIREMENTS_FRAMES"></a>`CHECK_REQUIREMENTS_FRAMES` | a requirement render did not write every frame rigc sampled, or the as-declared, released and full renders of a follow sampled different frames | a rigc problem; report it |
 | <a id="CHECK_REQUIREMENT_MET"></a>`CHECK_REQUIREMENT_MET` | a declared requirement measured outside its bar; the figure, its frame and the bar are quoted | the rig or its motion (§7, *Declared requirements*) — or the bar, if the scene asks less |
 | <a id="CHECK_REQUIREMENT_MEASURABLE"></a>`CHECK_REQUIREMENT_MEASURABLE` | a declared requirement is NOT MEASURABLE: what it asks is undefined in the frames, and the reason is quoted. Not a pass | the declaration (a bone with a length, a target off the bone's origin, a least drive the constraint reaches) or the rig |
@@ -3890,6 +3921,8 @@ is `{ "spec": "spine-parts-requirements/1", "fps": 12, "requirements": [], "not_
 | `follow` | `constraint`, `constraint_type` (`ik` or `transform`), `bone`, `property` (`rotate` or `translate`), `fraction`, `tolerance`, `least_drive` | below | no frame's drive reaches `least_drive` (the line prints the largest drive there was) |
 | `seam` | `part`, `neighbour` (two part names: each is drawn by the slot of its name), `within_px` | below | no seam pair reads on any frame (each pixel off its attachment's rest geometry, or the slot shows nothing) |
 
+A `contact` held against its own bone and point, and an `aim` at a point of the aimed bone itself, read 0 by construction (or, an aim at its own origin, no line at all), so they are refused before anything is built (`REQUIREMENTS_SELF_TARGET`, issue #540); a bone's tip against its own origin stays a contact, measured.
+
 **`follow`**, #87's definition to the letter: "bone A takes a fraction `f` of what
 constraint C asks of it" is measured from three poses of the same rig over the same
 frames, each posed by rig-c and differing in one thing only — *as declared*, the

package/docs/STABILITY.md

@@ -192,16 +192,16 @@ every number) are AUTHORING §3's tables, and the loader refuses any other by na
 | --- | --- | --- |
 | `parts.json`, `parts/<name>.png` | `assemble`, `build` | one record per part: `from` (`<run>:<tag>` with a See-through v3 tag, `<run>:author:<label>` for a layer the author made — issue #256, read by no role rule — or `painting:<name>` for a patch), `cut_from` on a cut's piece only (the plan part it was cut from, issue #230), `limb` on a limb segment's part only (issue #349: `name`, `segment`, `of`, `bone`, and below a joint `joint`, `range` when the config segment declares one (issue #360), and `cap` — `at`, `width`, `radius`, `box`, `layer_px`, `image_px` with a cap image, `image_layer` after it when that image was a hidden-art layer — issue #359, `<run>:<layer>:hidden` — `missing_px`, then `shape` and `upper_px` under the segment's `cap_shape`, and `edge`, `feather_radius` and `feathered_px` under its `edge`, and `cut_band`, `cut_offset`, `cut_at`, `cut_crossed`, `joint_crossed`, `band_px` and `stroke_luma_max` (when the band has a split) under its `cut_band`, issue #360), the box `x`, `y`, `w`, `h` (rig px), the pixel counts `src/parts.ts` documents (`opaque_px`, `visible_px`, `occluded_px`, `projected_core_px`, `source_px_taken`, `visible_not_projected_px`, `refused_drift_px`, `merged_px`, `seam_override_px`, and `fringe_pushed_back` when not empty); `rig_size`, `scale_rig_per_source`, `ghost_px`, `recomposite`, and `scene` (`figure_alpha_above`, `figure_px`, `figure_mask`) under `config.scene` only, with the figure's mask `figure_rig.png` beside the recomposite (issue #242); `single_run_pad` (`file_size`, `side`, `left`, `top`) last, only for one run whose file is not the `seethrough.resolution` square (issue #366) |
 | `rig/rig.json`, `rig/motion.json`, `rig/images/` | `rig`, `build`, `compose` | rig-c's rig spec and motion spec, `spec` `rigc-rig/1` and `rigc-motion/1`: the format is rig-c's, and this package writes only what rig-c's parser accepts; a bone carries `inherit` only where config.bones declares one, rig-c's mode name as written (issue #348) |
-| `rig/mesh_report.json` | `rig`, `build` | one row per mesh: `part`, `vertices`, `triangles`, `hull`, `bones`, `max_influences`, `mean_influences`, `art_coverage`, then `grid` (a lattice); `mode` "contour" with `params`, `contour`, `regions` (`params.maxEdge` and `contour.outlineCut` only when the mesh declares `contour.maxEdge`; `params.bridges` and `contour.bridges` — `islands`, `units`, `joins`, and `faint` only when an island was left out as faint — only when it declares `contour.bridges`); or `mode` "influence" with `influence` (as declared), `reach` (`farthest`, `at`, `nearest`, `capped`, `widest`) and `lattice` (rig-c's `SegmentsLatticeReport`: `cols`, `rows`, `artCells`, `keptCells`, `passes`, `islands`) (issue #378); or `mode` "auto" with `settings`, `source`, `result`, `residuals`, `worst_residual`, `worst_region`, `motion_amplitude`, `termination`, `weights`, `regions`, `deformation`, `quality_report` (rig-c's `mesh-quality-report/1` document whole), `motion_report`, and, only when they apply, `stray_cleared` (after `source`, when `source.stray` is declared), `skinning_residual` and `replay` (`AutoMeshReport` in `src/rig.ts`); in every mode, `exponent` when the mesh declares one (after `grid`, or after `mode`); `influences`, as declared, when a lattice or contour mesh declares it (after `exponent`, or where `exponent` would be); `stray` and `stray_cleared` when a lattice mesh declares `stray` (after `influences`, or where `influences` would be); `ribs` when a contour or auto mesh declares them (after `exponent`, or after `mode`), and then `contour.ribs` (`source.contour.ribs` in the automatic mode) |
+| `rig/mesh_report.json` | `rig`, `build` | one row per mesh: `part`, `vertices`, `triangles`, `hull`, `bones` (the sorted names the attachment's weights bind in the written `rig.json`, in every mode — since 1.49.1 (issue #536) a rig with `turn` or `stops` names the twins and `<link>_d` bones there, where the row named the segment bones they replace: a fix of a wrong name, not a format change; a rig with neither writes the bytes it wrote), `max_influences`, `mean_influences`, `art_coverage`, then `grid` (a lattice); `mode` "contour" with `params`, `contour`, `regions` (`params.maxEdge` and `contour.outlineCut` only when the mesh declares `contour.maxEdge`; `params.bridges` and `contour.bridges` — `islands`, `units`, `joins`, and `faint` only when an island was left out as faint — only when it declares `contour.bridges`); or `mode` "influence" with `influence` (as declared), `reach` (`farthest`, `at`, `nearest`, `capped`, `widest`) and `lattice` (rig-c's `SegmentsLatticeReport`: `cols`, `rows`, `artCells`, `keptCells`, `passes`, `islands`) (issue #378); or `mode` "auto" with `settings`, `source`, `result`, `residuals`, `worst_residual`, `worst_region`, `motion_amplitude`, `termination`, `weights`, `regions`, `deformation`, `quality_report` (rig-c's `mesh-quality-report/1` document whole), `motion_report`, and, only when they apply, `stray_cleared` (after `source`, when `source.stray` is declared), `skinning_residual` and `replay` (`AutoMeshReport` in `src/rig.ts`); in every mode, `exponent` when the mesh declares one (after `grid`, or after `mode`); `influences`, as declared, when a lattice or contour mesh declares it (after `exponent`, or where `exponent` would be); `stray` and `stray_cleared` when a lattice mesh declares `stray` (after `influences`, or where `influences` would be); `ribs` when a contour or auto mesh declares them (after `exponent`, or after `mode`), and then `contour.ribs` (`source.contour.ribs` in the automatic mode) |
 | `check/check.json` and the rest of `check/` | `check`, `build`, `compose` | the reference's fields in its order (`gate_spine_html_green`, `rigc_entry`, `pack_mode`, `environment` after it under `--environment` only (issue #538, additive: `path` as given, `sha256`, `steps`), `loop_max_diff`, the seam figures — `seam_mean`, `seam_px_over_40`, `seam_px_over_80` and, from issue #216, `seam_frame_scale`, the frame scale the bar divides the count by), `loop_physics` after `loop_max_diff` when the rig declares a physics constraint, `seam_border` after the seam figures when `parts.json` declares a scene (issue #242), `seam_pairs` after the seam figures when the seam bar fails or `--seam-pairs` asks (each row's picture under `check/seam/`; `--keep-stills` leaves the setup-pose still and its `frames.json` under `check/setup_still/`), then the judgement lines (`BREATH_VISIBLE`, `BLINK_NO_HOLE`, `CHAIN_LAG`, `TIP_OVER_ROOT`, `STILL_REGIONS_DARK`, `TEXTURE_STRETCH`), `ANIMATIONS_DO_NOT_FOLD` after them when `motion.json` holds an animation, the idle included — on every rig with an idle since issue #333 (issues #320, #363: `status`, `animations`, `fps`, `physics_left_out`, `folding` — each `animation`, `slot`, `attachment`, `frames`, `worst_frame`, `worst_triangles`, `triangles`, `physics_on`, `physics_off`, `physics_constraints`, `declared`, `line` — `folding_undeclared`, `declared_not_folding`, `bar`), `FEET_STAY_LEVEL` after it when a `footwear` part rides a bone that hangs from another and `motion.json` holds an animation (issue #348: `status`, `reason` on a SKIP only, `animations`, `fps`, `physics_left_out`, `bar_degrees`, `bar`, `feet` — each `part`, `bone`, `hangs_from`, `status`, `frames_posed`, `worst`), `LIMB_ONE_BONE` after it (and after `STRESS_OFF_CHAIN` where that is written) when `parts.json` holds a limb segment's part (issue #349: `status`, `parts` — each `part`, `limb`, `bone`, `status`, `others`), `SEAM_OVER_RANGE` after it when a limb record carries a `range` (issue #360: `status`, `frame_scale`, `physics_left_out`, `bar` — `mean`, `rig_px_over_40`, `level` — and `joints`, each `part`, `limb`, `segment`, `joint`, `bone`, `range`, `at`, `radius`, `under_px`, `status`, `poses` — each `degrees`, `status`, `mean`, `px_over_40`, `px_over_80`, `rig_px_over_40` — and `unread` on a joint not read), `SEAM_OVER_MOTION` after it when `parts.json` holds a limb segment or `--requirements` a `seam` (issue #493, a warning and not a bar: `status` — `WARN`, `CLEAR` or `SKIP` — `reason` on a SKIP only, `fps`, `floor`, `pairs` — each `pair`, `a`, `b`, `declared`, and `unread` on a pair not read — `animations`, `warnings`, `rows` — each `pair`, `animation`, `status`, `drawn`, `banded`, `opens`, `px`, `max_px`, `under_floor`), `CLOTH_SETTLES` after it when the rig declares a physics constraint and has an idle (issue #501, a warning and not a bar: `status` — `WARN` or `CLEAR` — `fps`, `frames`, `duration`, `floor_rig_px_per_s`, `floor`, `levers`, `warnings`, `rows` — each `tip`, `root`, `links`, `point`, `settles_at`, `max_rig_px_per_s`, `min_rig_px_per_s`), `RECOMPOSITE_HOLES` (its first figure `declared_scene` when `parts.json` declares a scene), `SETUP_POSE_VS_SOURCE`, `skipped`, a `requirements` block under `--requirements`, and `PASS`; `check/build/skeleton.json`, `.atlas` and `.png` are the packed artifact rig-c writes |
 | `layers.json`, `<index>_<name>.png` | `layers --export` | the wrapper form `layers` reads (issue #359): `width`, `height`, then `layers` — each `name`, `filename`, `left`, `top`, `right`, `bottom`, `depth_median` (the input's own; `null` for a PSD, the manifest's order then being the draw order) — drawn layers in draw order, then the hidden-art layers; a PNG's name is its index and its layer's name, and the manifest, not the file name, says which layer it is |
 | the template `.psd` | `layers --template` | one empty layer per name `templateLayerNames` (`src/layers.ts`) holds, bottom first; the same canvas writes the same bytes |
 | `proposal.json`, `render/landmarks*.png` | `propose` | the config's four rig sections, `constraints` with `--cloth` (issue #364: a physics constraint per tree link named `<bone>_physics`, a dangling end's `<bone>_translate`, and a skirt swing's transforms `<swing>_<tree>`), `turn` with `--full`/`--head`, `proposed_rig_scale` (issue #354), and `notes` |
 | `basis.json` | `propose` | spec `spine-parts-basis/1` |
-| the `--write-config` file | `propose --cloth … --write-config` | the `--cloth` config read, byte for byte, but for the sections the recipe drafts (issue #537): `bones` and `constraints` whole, and `meshes.<part>`, `regions.<part>` and `motion.tracks` for each entry the recipe moves, measured against the same parts drafted without it; a section the input lacks is inserted |
+| the `--write-config` file | `propose --cloth … --write-config` | the `--cloth` config read, byte for byte, but for the entries the recipe drafts (issue #537), measured against the same parts drafted without it: `meshes.<part>` and `regions.<part>` for each part the recipe moves, and `bones`, `constraints` and `motion.tracks` entry by entry by name (issue #552) — an entry the recipe drafts replaced or inserted, one it replaces removed, every other entry kept with its bytes and its place, and a hand edit to an entry the recipe owns refused by name (`PROPOSE_WRITE_CONFIG_CONFLICT`) rather than dropped; a section the input lacks is inserted |
 | `config.json`, `mesh_draft.json` | `mesh-draft` | `config.json` is the config read, byte for byte, but for each drafted part's `meshes` entry; `mesh_draft.json` is spec `rig-parts-mesh-draft/1`: `rules`, `lattice_check`, `draft_check`, `figure_overdraw`, and per lattice part `part`, `mode`, `lattice`, `candidate` (with `bridges` — `units`, `joins` of `span` and `area_px2`, `area_px2`, `overdraw`, and `faint` only when an island was left out as faint — only when the candidate is a bridged one, issue #326), `delta` (under `--more-triangles` only), `readings`, `gate` (each line's `reading`, `pass`, `text`, `margin`), `note`; and `not_compared` (issue #307), only when the config holds an `auto` or `contour` entry: per such entry, in config order, `part`, `mode` and `note` — the part was neither drafted nor compared, and a config of lattices alone writes no such key |
-| `rig.json`, `motion.json`, `mesh_report.json`, `images/`, `remesh.json` | `remesh` | the input revision's files, `rig.json` and `mesh_report.json` with the part's attachment and row replaced (under `--delta` the row is the input's with its counts, `bones` and influences recomputed and `mode` "delta"), every other file byte for byte; `remesh.json` is spec `rig-parts-remesh/1`: `request` (`part`, `mesh`, `mesh_sha256`, `idle_keys`, `page_edges`, `pack_shape`; under `--delta`, issue #526: `part`, `delta` — the mesh edit as read — `delta_sha256`, `ops`, `applied` — `moved`, `added`, `removed`, `constrained` — `idle_keys`, `page_edges`, `pack_shape`), `versions` (`parts`, `rigc`), `input` (`rig` — `path`, `bytes`, `sha256` per file — `config_sha256`, `parts_json_sha256`), `baseline` (`reproduced`, `not_compared`; under `--delta` `reproduced` holds one sentence: no config is built, the input is the baseline), `target` (`before`, `after`: `vertices`, `triangles`, `hull`), `preserved` (`identical`, `spliced`), `revision` (per file as `input.rig`), `check` (`input`, `revision`: `pass`, `measured`, `not_met`, `skipped`, `physics`; `scope`) |
-| `rig.json`, `motion.json`, `mesh_report.json`, `images/`, `retune.json` | `retune` | the input revision's files, `rig.json` with `constraints` and `invariants.detached` replaced and `motion.json` with `animations.idle` replaced by the config's build, every other file byte for byte; `retune.json` is spec `rig-parts-retune/1`: `request` (`idle_keys`, `page_edges`, `pack_shape`), `versions` (`parts`, `rigc`), `input` (`rig` — `path`, `bytes`, `sha256` per file — `config_sha256`, `parts_json_sha256`), `held` (`compared`, `not_compared`), `changed` (`constraints` — each `name`, `type`, `fields` — `added`, `removed`, `idle`: `tracks_changed`, `duration` as before and after), `preserved` (`identical`, `spliced`), `revision` (per file as `input.rig`), `check` (`input`, `revision`: `pass`, `measured`, `not_met`, `skipped`, `physics`; `scope`) |
+| `rig.json`, `motion.json`, `mesh_report.json`, `images/`, `remesh.json` | `remesh` | the input revision's files, `rig.json` and `mesh_report.json` with the part's attachment and row replaced (under `--delta` the row is the input's with its counts, `bones` and influences recomputed and `mode` "delta"), every other file byte for byte; `remesh.json` is spec `rig-parts-remesh/1`: `request` (`part`, `mesh`, `mesh_sha256`, `idle_keys`, `page_edges`, `pack_shape`; under `--delta`, issue #526: `part`, `delta` — the mesh edit as read — `delta_sha256`, `ops`, `applied` — `moved`, `added`, `removed`, `constrained` — `idle_keys`, `page_edges`, `pack_shape`), `versions` (`parts`, `rigc`), `input` (`rig` — `path`, `bytes`, `sha256` per file — `config_sha256`, `parts_json_sha256`), `baseline` (`reproduced`, `not_compared`; under `--delta` `reproduced` holds one sentence: no config is built, the input is the baseline), `target` (`before`, `after`: `vertices`, `triangles`, `hull`), `preserved` (`identical`, `spliced`), `revision` (per file as `input.rig`), `check` (`input`, `revision`: `pass`, `measured`, `not_met`, `skipped`, `physics`, then `line` and `status` — issue #541, additive, the spec stays `rig-parts-remesh/1`: `line` is the last line `check` prints on that tree, byte for byte, and `status` every block's status as that tree's `check.json` records it, by name in the file's order — `gate`, `loop` and `seam` read from their figures, every other block its own `status`, a block the file does not write absent; `scope`) |
+| `rig.json`, `motion.json`, `mesh_report.json`, `images/`, `retune.json` | `retune` | the input revision's files, `rig.json` with `constraints` and `invariants.detached` replaced and `motion.json` with `animations.idle` replaced by the config's build, every other file byte for byte; `retune.json` is spec `rig-parts-retune/1`: `request` (`idle_keys`, `page_edges`, `pack_shape`), `versions` (`parts`, `rigc`), `input` (`rig` — `path`, `bytes`, `sha256` per file — `config_sha256`, `parts_json_sha256`), `held` (`compared`, `not_compared`), `changed` (`constraints` — each `name`, `type`, `fields` — `added`, `removed`, `idle`: `tracks_changed`, `duration` as before and after), `preserved` (`identical`, `spliced`), `revision` (per file as `input.rig`), `check` (`input`, `revision`: `pass`, `measured`, `not_met`, `skipped`, `physics`, then `line` and `status` — issue #541, additive, the spec stays `rig-parts-retune/1`: `line` is the last line `check` prints on that tree, byte for byte, and `status` every block's status as that tree's `check.json` records it, by name in the file's order — `gate`, `loop` and `seam` read from their figures, every other block its own `status`, a block the file does not write absent; `scope`) |
 | the scene report | `compose` | spec `spine-parts-scene-report/1` |
 | `idle.png`, `idle-indexed.png`, `idle.gif` | `loop`, `build --loop` | APNG and GIF encodings of the rendered idle |
 

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "rig-parts",
-  "version": "1.48.0",
+  "version": "1.49.2",
   "description": "AI-authored 2D character parts from one anime painting and its See-through layer decomposition: measured parts, weighted-mesh rig specs, verified through rig-c before anything is written. A CLI for agents that cannot see the image.",
   "type": "module",
   "bin": {

package/src/build.ts

@@ -70,7 +70,7 @@ import {
   splitSchedule,
   untestedIntervals,
 } from './autoreplay.ts';
-import { besideIdleLine, CLOTH_LINE, type ClothLine, clothWarnText, frameRuns, MOTION_SEAM_LINE, type MotionSeamLine, type MotionSeamPlant, motionSeamWarnText, FOLD_LINE, type FoldsLine, LEVEL_LINE, type LevelLine, LIMB_LINE, type LimbLine, STRESS_LINE, SWEEP_LINE, type SweepLine, buildGateLines, causeLines, environmentLine, IDLE_FPS, IDLE_MAX_PX, maxRgbDiff, REQUIREMENTS_DIR, type CheckReport, type PackLine, DEFAULT_PACK_SHAPE, DEFAULT_PAGE_EDGES, GATE_PROFILE, JUDGEMENT_LINES, type JudgementLine, packedBuildArgs, packedBuildLabel, type PackMode, readCheckEnvironment, type PackShape, type PageEdges, readFrameSet, rigcFailed, rigcIdentity, rigcRanClause, REPORTED_LINES, type ReportedLine, type RigcRunner, runCheck, SEAM_DIR, SEAM_MEAN_BAR, seamPairText, seamRigPxText, SOURCE_LINE, SEAM_PX_BAR, SEAM_PX_LEVEL, SEAM_PX_LEVEL_HIGH, SPINEBOY_YARDSTICK, STILL_DIR } from './check.ts';
+import { besideIdleLine, checkSummaryLine, CLOTH_LINE, type ClothLine, clothWarnText, frameRuns, MOTION_SEAM_LINE, type MotionSeamLine, type MotionSeamPlant, motionSeamWarnText, FOLD_LINE, type FoldsLine, LEVEL_LINE, type LevelLine, LIMB_LINE, type LimbLine, STRESS_LINE, SWEEP_LINE, type SweepLine, buildGateLines, causeLines, environmentLine, IDLE_FPS, IDLE_MAX_PX, maxRgbDiff, REQUIREMENTS_DIR, type CheckReport, type PackLine, DEFAULT_PACK_SHAPE, DEFAULT_PAGE_EDGES, GATE_PROFILE, JUDGEMENT_LINES, type JudgementLine, packedBuildArgs, packedBuildLabel, type PackMode, readCheckEnvironment, type PackShape, type PageEdges, readFrameSet, rigcFailed, rigcIdentity, rigcRanClause, REPORTED_LINES, type ReportedLine, type RigcRunner, runCheck, SEAM_DIR, SEAM_MEAN_BAR, seamPairText, seamRigPxText, SOURCE_LINE, SEAM_PX_BAR, SEAM_PX_LEVEL, SEAM_PX_LEVEL_HIGH, SPINEBOY_YARDSTICK, STILL_DIR } from './check.ts';
 import { type Cut, type Extend, type Limb, loadConfig, loadConfigAndAnimations, loadEarlyConfig, type Patch, type PlanEntry } from './config.ts';
 import { failLine, PartsError, type Problem, refuseIfAny } from './errors.ts';
 import type { MeshQualityReport, MotionSchedule } from 'rig-c/mesh';
@@ -1390,18 +1390,6 @@ function showFigure(v: unknown): string {
   return String(v);
 }
 
-/**
- * How many of the bars measured and how many said SKIP, by name — the
- * summary's second half (issue #77): `PASS` reads only the bars that measured,
- * so a run that measured one bar says so on the line that says PASS. The
- * count is every bar `check` tallied: the `BARS` of `src/check.ts`, and
- * `ANIMATIONS_DO_NOT_FOLD` where it is written (issue #320).
- */
-export function barsSummary(r: CheckReport): string {
-  const { measured, skipped } = r.bars;
-  return `${measured.length} of ${measured.length + skipped.length} bar(s) measured, ${skipped.length} skipped${skipped.length === 0 ? '' : ` (${skipped.map((s) => s.bar).join(', ')})`}`;
-}
-
 /**
  * The rig stage's face-axis line (issue #239): the eye line's angle, the parts it runs between and the face bones
  * turned to it, or why there is no line and the face bones keep the page's axes — the note a one-eyed painting gets.
@@ -1561,13 +1549,6 @@ export function clothLines(line: ClothLine, plant: { silent?: boolean } = {}): s
   ];
 }
 
-/** The summary's warning clause: each warning line that read something, named, with the warnings they printed together; empty when none read. */
-export function warningsClause(r: Pick<CheckReport, 'motionSeam' | 'cloth'>): string {
-  const read = [...(r.motionSeam.status === 'SKIP' ? [] : [{ name: MOTION_SEAM_LINE, n: r.motionSeam.warnings }]), ...(r.cloth.status === 'SKIP' ? [] : [{ name: CLOTH_LINE, n: r.cloth.warnings }])];
-  if (read.length === 0) return '';
-  return `; ${read.reduce((a, x) => a + x.n, 0)} warning(s) (${read.map((x) => x.name).join(', ')}, not a bar)`;
-}
-
 /** A requirement's line as the console prints it: its name and status, the reason first when NOT MEASURABLE, then its figures as check.json holds them. */
 export function requirementText(name: string, line: RequirementLine): string {
   const rest = Object.entries(line).filter(([k]) => k !== 'status' && k !== 'reason');
@@ -1644,9 +1625,7 @@ export function checkStage(input: CheckStageInput, rigc: RigcRunner, bin: string
   log(`  gate: rig-play ${fig.gate_spine_html_green ? 'green' : 'RED'} (${fig.rigc_entry.entry}${fig.rigc_entry.spine_core === null ? ', rigc\'s own validator' : `, the spine-core ${fig.rigc_entry.spine_core} round trip`})`);
   log(`  wrote ${r.written.map((w) => join(input.out, w)).join(', ')}, ${join(input.out, 'build')}/${r.idle === null ? '' : `, ${join(input.out, 'idle_frames')}/`}${r.requirements === null ? '' : `, ${join(input.out, REQUIREMENTS_DIR)}/`}${fig.seam_pairs === undefined ? '' : `, ${join(input.out, SEAM_DIR)}/`}${existsSync(join(input.out, STILL_DIR)) ? `, ${join(input.out, STILL_DIR)}/` : ''}`);
   for (const p of r.problems) log(failLine(p));
-  const reqNotPass = r.requirements === null ? 0 : r.requirements.summary.declared - r.requirements.summary.pass;
-  const notMet = r.requirements === null ? `${r.problems.length} bar(s) not met` : `${r.problems.length - reqNotPass} bar(s) not met, ${reqNotPass} declared requirement(s) not PASS`;
-  log(`${fig.PASS ? 'check: PASS' : `check: FAIL — ${notMet}`}; ${barsSummary(r)}${warningsClause(r)}`);
+  log(checkSummaryLine(r));
   return r;
 }
 

package/src/check.ts

@@ -2142,6 +2142,62 @@ export interface CheckReport {
   cloth: ClothLine;
 }
 
+/**
+ * How many of the bars measured and how many said SKIP, by name — the
+ * summary's second half (issue #77): `PASS` reads only the bars that measured,
+ * so a run that measured one bar says so on the line that says PASS. The
+ * count is every bar `check` tallied: the {@link BARS}, and
+ * {@link FOLD_LINE} where it is written (issue #320).
+ */
+export function barsSummary(r: Pick<CheckReport, 'bars'>): string {
+  const { measured, skipped } = r.bars;
+  return `${measured.length} of ${measured.length + skipped.length} bar(s) measured, ${skipped.length} skipped${skipped.length === 0 ? '' : ` (${skipped.map((s) => s.bar).join(', ')})`}`;
+}
+
+/** The summary's warning clause: each warning line that read something, named, with the warnings they printed together; empty when none read. */
+export function warningsClause(r: Pick<CheckReport, 'motionSeam' | 'cloth'>): string {
+  const read = [...(r.motionSeam.status === 'SKIP' ? [] : [{ name: MOTION_SEAM_LINE, n: r.motionSeam.warnings }]), ...(r.cloth.status === 'SKIP' ? [] : [{ name: CLOTH_LINE, n: r.cloth.warnings }])];
+  if (read.length === 0) return '';
+  return `; ${read.reduce((a, x) => a + x.n, 0)} warning(s) (${read.map((x) => x.name).join(', ')}, not a bar)`;
+}
+
+/**
+ * The last line `check` prints, whole and as printed (`check: PASS; …` or `check: FAIL — …; …`), issue #541: the
+ * one place it is composed. `check` prints it from here, and `remesh.json` / `retune.json` carry it from here
+ * ({@link CheckReport} in, no clock, no path), so a consumer matching the carried line against a `check` run's stdout
+ * compares the same composer's output twice.
+ */
+export function checkSummaryLine(r: Pick<CheckReport, 'figures' | 'problems' | 'requirements' | 'bars' | 'motionSeam' | 'cloth'>): string {
+  const reqNotPass = r.requirements === null ? 0 : r.requirements.summary.declared - r.requirements.summary.pass;
+  const notMet = r.requirements === null ? `${r.problems.length} bar(s) not met` : `${r.problems.length - reqNotPass} bar(s) not met, ${reqNotPass} declared requirement(s) not PASS`;
+  return `${r.figures.PASS ? 'check: PASS' : `check: FAIL — ${notMet}`}; ${barsSummary(r)}${warningsClause(r)}`;
+}
+
+/** A block's status as {@link checkStatuses} reads it off `check.json`. */
+export type CheckStatus = 'PASS' | 'FAIL' | 'SKIP' | 'WARN' | 'CLEAR' | 'REPORTED';
+
+/**
+ * Every block's status as `check.json` records it (issue #541), read off the figures object `check.json` is written
+ * from, in the file's order, one entry per block the file holds. The three bars with figures and no `status` key are
+ * read the way {@link barsNotMet} reads the file: `gate` PASS when `gate_spine_html_green` is true, else FAIL (it is
+ * never skipped); `loop` SKIP when `loop_max_diff` is null, `seam` SKIP when `seam_mean` is null, otherwise FAIL when
+ * {@link barsNotMet} names it and PASS when it does not. Every other block carries its own `status` key and is copied:
+ * the judgement lines, then {@link FOLD_LINE}, {@link LEVEL_LINE}, {@link STRESS_LINE}, {@link LIMB_LINE},
+ * {@link SWEEP_LINE}, {@link MOTION_SEAM_LINE}, {@link CLOTH_LINE}, the reported lines and {@link SOURCE_LINE}, each
+ * where the file writes it. The `requirements` block's lines are not bars and are not read here.
+ */
+export function checkStatuses(fig: CheckFigures): Record<string, CheckStatus> {
+  const notMet = barsNotMet(fig as unknown as Record<string, unknown>);
+  const bar = (name: string, measured: boolean): CheckStatus => (!measured ? 'SKIP' : notMet.includes(name) ? 'FAIL' : 'PASS');
+  const out: Record<string, CheckStatus> = { gate: bar('gate', true), loop: bar('loop', fig.loop_max_diff !== null), seam: bar('seam', fig.seam_mean !== null) };
+  for (const n of JUDGEMENT_LINES) out[n] = fig[n].status;
+  for (const n of [FOLD_LINE, LEVEL_LINE, STRESS_LINE, LIMB_LINE, SWEEP_LINE, MOTION_SEAM_LINE, CLOTH_LINE, ...REPORTED_LINES, SOURCE_LINE] as const) {
+    const l = fig[n];
+    if (l !== undefined) out[n] = l.status;
+  }
+  return out;
+}
+
 /**
  * The one line `check` prints when `motion.json` holds animations beside the
  * idle (issue #183), or null when it holds none, so a rig of the idle alone

package/src/clothconfig.ts

@@ -7,12 +7,15 @@
  * (`cloth: null`), and each config section of the proposal ({@link PROPOSAL_CONFIG_SECTIONS}) whose value differs
  * between the two is drafted ({@link clothConfigEdits}). An object section (`meshes`, `regions`, `motion`) is
  * spliced entry by entry — `meshes.<part>` and `regions.<part>` for each part the recipe moved, `motion.tracks` and
- * not the author's `animations_from` — and an array section (`bones`, `constraints`) whole: the drafted array
- * replaces the input's, so a bone the author added by hand does not survive a write. A section the recipe does not
+ * not the author's `animations_from` — and so, from issue #552, is an array section (`bones`, `constraints`,
+ * `motion.tracks`): its entries are named ({@link ARRAY_SECTIONS}), the entries the recipe produced or changed are
+ * replaced in place or inserted, the entries it replaced are removed, and every other entry of the input — one the
+ * author added by hand among them — keeps its bytes and its place. A hand edit to an entry the recipe re-drafts or
+ * removes is refused by name, `PROPOSE_WRITE_CONFIG_CONFLICT`, rather than dropped. A section the recipe does not
  * move keeps the input's bytes.
  */
 
-import { PartsError } from './errors.ts';
+import { PartsError, type Problem } from './errors.ts';
 import { type ConfigEdit, splicedEdits } from './meshdraft.ts';
 import { PROPOSAL_CONFIG_SECTIONS, type Proposal } from './propose.ts';
 
@@ -20,25 +23,182 @@ function isPlain(v: unknown): v is Record<string, unknown> {
   return typeof v === 'object' && v !== null && !Array.isArray(v);
 }
 
+/** Key-order-blind JSON text: two entries are the same value when this is the same string. */
+function canon(v: unknown): string {
+  if (Array.isArray(v)) return `[${v.map(canon).join(',')}]`;
+  if (isPlain(v)) {
+    return `{${Object.keys(v)
+      .filter((k) => v[k] !== undefined)
+      .sort()
+      .map((k) => `${JSON.stringify(k)}:${canon(v[k])}`)
+      .join(',')}}`;
+  }
+  return JSON.stringify(v);
+}
+
+/** One edit `--write-config` makes, with the words the write line prints for it. */
+export interface ClothEdit extends ConfigEdit {
+  label: string;
+}
+
 /**
- * The edits that turn a config holding the draft without the recipe (`plain`) into one holding the draft with it
- * (`drafted`): for each config section whose value differs, an object section entry by entry (an entry the recipe
- * removed, such as a part it took from `regions` into `meshes`, is removed) and any other section whole.
+ * An array section spliced entry by entry (issue #552), and what names an entry in it: a bone by `name` (a single
+ * bone) or `chain` (a chain), one namespace, as a mesh segment resolves either; a constraint by `name`; a track by
+ * `chain`, or by `bone` and `prop` (the proposer writes two tracks on one bone, `translatey` and `scalex`). An entry
+ * with no such name has no identity: it is never the recipe's, so it is kept.
+ */
+export const ARRAY_SECTIONS: ReadonlyArray<{ path: readonly string[]; identity: (e: unknown) => string | null }> = [
+  { path: ['bones'], identity: (e) => (isPlain(e) ? (typeof e.name === 'string' ? e.name : typeof e.chain === 'string' ? e.chain : null) : null) },
+  { path: ['constraints'], identity: (e) => (isPlain(e) && typeof e.name === 'string' ? e.name : null) },
+  {
+    path: ['motion', 'tracks'],
+    identity: (e) => (isPlain(e) ? (typeof e.chain === 'string' ? e.chain : typeof e.bone === 'string' && typeof e.prop === 'string' ? `${e.bone} ${e.prop}` : null) : null),
+  },
+];
+
+function valueAt(o: unknown, path: readonly string[]): unknown {
+  let v = o;
+  for (const k of path) v = isPlain(v) ? v[k] : undefined;
+  return v;
+}
+
+/** Each entry of a drafted array by its name; the proposer names every entry once, and anything else is this module's error. */
+function byName(arr: readonly unknown[], identity: (e: unknown) => string | null, which: string, section: string): Map<string, unknown> {
+  const m = new Map<string, unknown>();
+  for (const e of arr) {
+    const k = identity(e);
+    if (k === null) throw new Error(`clothConfigEdits: the ${which} ${section} holds an entry with no name: ${JSON.stringify(e)}`);
+    if (m.has(k)) throw new Error(`clothConfigEdits: the ${which} ${section} names "${k}" twice`);
+    m.set(k, e);
+  }
+  return m;
+}
+
+/** The first field, in the author's order, where the author's entry differs from `ref`; null when the two are not both objects. */
+function firstField(author: unknown, ref: unknown): string | null {
+  if (!isPlain(author) || !isPlain(ref)) return null;
+  for (const k of [...Object.keys(author), ...Object.keys(ref).filter((k) => !(k in author))]) if (canon(author[k]) !== canon(ref[k])) return k;
+  return null;
+}
+
+function shown(v: unknown): string {
+  const t = JSON.stringify(v);
+  return t.length > 60 ? `${t.slice(0, 57)}...` : t;
+}
+
+/**
+ * The edits on one array section, entry by entry (issue #552). With `I` the input's entry of a name, `P` the plain
+ * draft's and `D` the recipe's (equality is of the value, key order aside):
+ * - owned (D present, and P absent or different): `I` absent is inserted after the input's entry that precedes it in
+ *   the drafted array (the nearest earlier drafted entry the array holds, one inserted before it included), else at
+ *   the end; `I` equal to `P` is replaced in place; `I` equal to `D` is left as it is;
+ * - removed (P present, D absent — the recipe replaced a plain chain with its trees): `I` equal to `P` is removed;
+ * - every other input entry is kept, bytes and order;
+ * - an owned or removed `I` that is none of those — changed by hand — is a conflict, as is a name the input states twice.
+ */
+function entryEdits(path: readonly string[], identity: (e: unknown) => string | null, drafted: readonly unknown[], plain: readonly unknown[], input: readonly unknown[], conflicts: Problem[]): ClothEdit[] {
+  const section = path.join('.');
+  const D = byName(drafted, identity, 'drafted', section);
+  const P = byName(plain, identity, 'plain', section);
+  const keys = input.map(identity);
+  const where = new Map<string, number[]>();
+  keys.forEach((k, i) => {
+    if (k !== null) where.set(k, [...(where.get(k) ?? []), i]);
+  });
+  const owned = [...D.keys()].filter((k) => !P.has(k) || canon(P.get(k)) !== canon(D.get(k)));
+  const removed = [...P.keys()].filter((k) => !D.has(k));
+  const replace: string[] = [];
+  const remove: string[] = [];
+  const conflict = (k: string, i: number, drafts: boolean): void => {
+    const author = input[i];
+    const field = firstField(author, P.has(k) ? P.get(k) : D.get(k));
+    const fieldOf = (e: unknown, f: string): string => (isPlain(e) && e[f] !== undefined ? `${f} ${shown(e[f])}` : `no ${f}`);
+    const held = field === null ? `the entry ${shown(author)}` : fieldOf(author, field);
+    const draft = D.get(k);
+    const draftSays = !drafts ? 'the draft removes the entry (the recipe drafts that part afresh)' : field === null ? `the draft writes ${shown(draft)}` : `the draft writes ${fieldOf(draft, field)}`;
+    conflicts.push({
+      code: 'PROPOSE_WRITE_CONFIG_CONFLICT',
+      object: `config.${section}[${i}] "${k}"`,
+      detail: `${section} entry "${k}" is the recipe's, and it was changed by hand: it holds ${held} where ${draftSays}, so the write would drop the hand edit; take the draft by removing the hand edit (or the entry), or leave the recipe out for that part (its config.cloth block)`,
+    });
+  };
+  for (const k of [...owned, ...removed]) {
+    const at = where.get(k) ?? [];
+    if (at.length > 1) {
+      conflicts.push({
+        code: 'PROPOSE_WRITE_CONFIG_CONFLICT',
+        object: `config.${section}[${at[1]}] "${k}"`,
+        detail: `${section} names "${k}" ${at.length} times (entries ${at.join(', ')}), and the recipe drafts that name, so the write cannot tell which entry is the recipe's; state it once`,
+      });
+      continue;
+    }
+    if (at.length === 0) continue;
+    const I = canon(input[at[0]]);
+    if (D.has(k)) {
+      if (I === canon(D.get(k))) continue;
+      if (P.has(k) && I === canon(P.get(k))) replace.push(k);
+      else conflict(k, at[0], true);
+    } else if (I === canon(P.get(k))) remove.push(k);
+    else conflict(k, at[0], false);
+  }
+  const edits: ClothEdit[] = [];
+  const work = [...keys];
+  for (const k of replace) edits.push({ path: [...path, work.indexOf(k)], value: D.get(k), label: `${section}["${k}"] replaced` });
+  for (const k of remove) {
+    const i = work.indexOf(k);
+    edits.push({ path: [...path, i], value: undefined, label: `${section}["${k}"] removed` });
+    work.splice(i, 1);
+  }
+  const order = [...D.keys()];
+  for (const k of owned) {
+    if (work.includes(k)) continue;
+    let pos = work.length;
+    for (let j = order.indexOf(k) - 1; j >= 0; j--) {
+      const before = work.indexOf(order[j]);
+      if (before >= 0) {
+        pos = before + 1;
+        break;
+      }
+    }
+    edits.push({ path: [...path, pos], value: D.get(k), insert: true, label: `${section}["${k}"] inserted` });
+    work.splice(pos, 0, k);
+  }
+  return edits;
+}
+
+/**
+ * The edits that turn `input` (the `--cloth` config, parsed) into one holding what the recipe drafts, measured as the
+ * difference between the draft with the recipe (`drafted`) and without it (`plain`): for each config section whose
+ * value differs, an object section entry by entry (an entry the recipe removed, such as a part it took from `regions`
+ * into `meshes`, is removed), an array section of {@link ARRAY_SECTIONS} entry by entry ({@link entryEdits}) where
+ * the input holds it as an array, and any other section, or one the input lacks, whole. Every conflict is collected and
+ * refused in one throw, `PROPOSE_WRITE_CONFIG_CONFLICT`, before anything is written.
+ *
+ * `whole` is the selftest's mutant only (issue #552): `bones`, `constraints` and `motion.tracks` replaced whole, as
+ * the #537 writer did; no flag or environment reaches it.
  */
-export function clothConfigEdits(drafted: Proposal, plain: Proposal): ConfigEdit[] {
-  const edits: ConfigEdit[] = [];
-  const d = drafted as unknown as Record<string, unknown>;
-  const p = plain as unknown as Record<string, unknown>;
+export function clothConfigEdits(drafted: Proposal, plain: Proposal, input: unknown, whole = false): ClothEdit[] {
+  const edits: ClothEdit[] = [];
+  const conflicts: Problem[] = [];
+  const d = JSON.parse(JSON.stringify(drafted)) as Record<string, unknown>;
+  const p = JSON.parse(JSON.stringify(plain)) as Record<string, unknown>;
+  const one = (path: readonly string[], a: unknown, b: unknown): void => {
+    const s = whole ? undefined : ARRAY_SECTIONS.find((x) => x.path.join('.') === path.join('.'));
+    const mine = valueAt(input, path);
+    if (s !== undefined && Array.isArray(b) && (a === undefined || Array.isArray(a)) && Array.isArray(mine)) edits.push(...entryEdits(path, s.identity, b, Array.isArray(a) ? a : [], mine, conflicts));
+    else edits.push({ path, value: b, label: path.join('.') });
+  };
   for (const section of PROPOSAL_CONFIG_SECTIONS) {
     const a = p[section];
     const b = d[section];
     if (JSON.stringify(a) === JSON.stringify(b)) continue;
     if (isPlain(a) && isPlain(b)) {
       for (const k of [...Object.keys(b), ...Object.keys(a).filter((k) => !(k in b))]) {
-        if (JSON.stringify(a[k]) !== JSON.stringify(b[k])) edits.push({ path: [section, k], value: b[k] });
+        if (JSON.stringify(a[k]) !== JSON.stringify(b[k])) one([section, k], a[k], b[k]);
       }
-    } else edits.push({ path: [section], value: b });
+    } else one([section], a, b);
   }
+  if (conflicts.length > 0) throw new PartsError(conflicts);
   return edits;
 }
 
@@ -61,7 +221,7 @@ export function writtenClothConfig(where: string, text: string, edits: readonly
   return r.text;
 }
 
-/** The paths the edits name, dotted, in order: what the write line prints. */
-export function editPaths(edits: readonly ConfigEdit[]): string[] {
-  return edits.map((e) => e.path.join('.'));
+/** What each edit names, in order: what the write line prints. */
+export function editPaths(edits: readonly ClothEdit[]): string[] {
+  return edits.map((e) => e.label);
 }

package/src/meshdraft.ts

@@ -484,10 +484,11 @@ export function partsNamed(p: Problem, among: readonly string[], seams: { draft:
 // ---------------------------------------------------------------------------
 
 /**
- * Where a JSON value starts and ends in a text, by a path of object keys, and (for a non-empty path) where the key
- * naming it starts (`key`, its opening quote). Throws when the path does not resolve.
+ * Where a JSON value starts and ends in a text, by a path of object keys and array indices (a number steps to that
+ * element of an array, issue #552), and (for a non-empty path) where the last step starts (`key`: a member's opening
+ * quote, or the element itself). Throws when the path does not resolve.
  */
-export function jsonValueSpan(text: string, path: readonly string[]): { start: number; end: number; key?: number } {
+export function jsonValueSpan(text: string, path: readonly (string | number)[]): { start: number; end: number; key?: number } {
   let i = 0;
   const ws = (): void => {
     while (i < text.length && /\s/.test(text[i])) i++;
@@ -541,6 +542,22 @@ export function jsonValueSpan(text: string, path: readonly string[]): { start: n
       skip();
       return keyAt === undefined ? { start, end: i } : { start, end: i, key: keyAt };
     }
+    const step = path[depth];
+    if (typeof step === 'number') {
+      if (text[i] !== '[') throw new Error(`jsonValueSpan: ${path.slice(0, depth).join('.') || 'the document'} is not an array`);
+      i++;
+      for (let n = 0; ; n++) {
+        ws();
+        if (text[i] === ']') throw new Error(`jsonValueSpan: no element ${step} at ${path.slice(0, depth).join('.') || 'the top'}`);
+        if (n === step) {
+          keyAt = i;
+          return find(depth + 1);
+        }
+        skip();
+        ws();
+        if (text[i] === ',') i++;
+      }
+    }
     if (text[i] !== '{') throw new Error(`jsonValueSpan: ${path.slice(0, depth).join('.') || 'the document'} is not an object`);
     i++;
     for (;;) {
@@ -562,14 +579,20 @@ export function jsonValueSpan(text: string, path: readonly string[]): { start: n
   return find(0);
 }
 
-/** One edit {@link splicedEdits} makes: the value at `path` set (replaced, or inserted when absent), or, `undefined`, removed. */
+/**
+ * One edit {@link splicedEdits} makes: the value at `path` set (replaced, or inserted when absent), or, `undefined`,
+ * removed. A path whose last step is an index (issue #552) addresses an array element: set replaces it, `undefined`
+ * removes it, and `insert` puts `value` before it (at the array's length: after its last element), every later
+ * element moving up one.
+ */
 export interface ConfigEdit {
-  path: readonly string[];
+  path: readonly (string | number)[];
   value: unknown;
+  insert?: boolean;
 }
 
 /** The span at `path`, or null where the path does not resolve (a key absent, or a step that is not an object). */
-function spanOrNull(text: string, path: readonly string[]): { start: number; end: number; key?: number } | null {
+function spanOrNull(text: string, path: readonly (string | number)[]): { start: number; end: number; key?: number } | null {
   try {
     return jsonValueSpan(text, path);
   } catch {
@@ -583,8 +606,32 @@ function indentAt(text: string, at: number): string {
   return /^[ \t]*/.exec(text.slice(lineStart))?.[0] ?? '';
 }
 
+/** An element inserted into the array at `arrayPath` before its element `index` (at its length: after the last). */
+function insertElement(text: string, arrayPath: readonly (string | number)[], index: number, value: unknown): string {
+  const arr = spanOrNull(text, arrayPath);
+  if (arr === null || text[arr.start] !== '[') throw new Error(`splicedEdits: ${arrayPath.join('.') || 'the document'} is not an array`);
+  const next = spanOrNull(text, [...arrayPath, index]);
+  if (next !== null) {
+    // Before the element: the new one takes its line, and the old one follows on a line of its own at the same indent.
+    const indent = indentAt(text, next.start);
+    const body = JSON.stringify(value, null, 2).split('\n').join(`\n${indent}`);
+    return `${text.slice(0, next.start)}${body},\n${indent}${text.slice(next.start)}`;
+  }
+  const prev = index > 0 ? spanOrNull(text, [...arrayPath, index - 1]) : null;
+  if (index > 0 && prev === null) throw new Error(`splicedEdits: ${arrayPath.join('.')} has no element ${index - 1}`);
+  const indent = prev !== null ? indentAt(text, prev.start) : `${indentAt(text, arr.start)}  `;
+  const body = JSON.stringify(value, null, 2).split('\n').join(`\n${indent}`);
+  if (prev === null) return `${text.slice(0, arr.start + 1)}\n${indent}${body}\n${indentAt(text, arr.start)}${text.slice(arr.end - 1)}`;
+  return `${text.slice(0, prev.end)},\n${indent}${body}${text.slice(prev.end)}`;
+}
+
 /** One edit on `text`; every byte it does not name is the input's. */
-function spliceOne(text: string, path: readonly string[], value: unknown): string {
+function spliceOne(text: string, path: readonly (string | number)[], value: unknown, insert = false): string {
+  const step = path[path.length - 1];
+  if (insert) {
+    if (typeof step !== 'number') throw new Error(`splicedEdits: an insert names an array index; ${path.join('.')} does not`);
+    return insertElement(text, path.slice(0, -1), step, value);
+  }
   const at = spanOrNull(text, path);
   if (value === undefined) {
     if (at === null || at.key === undefined) return text;
@@ -594,6 +641,8 @@ function spliceOne(text: string, path: readonly string[], value: unknown): strin
     if (text[before] === ',') return `${text.slice(0, before)}${text.slice(at.end)}`;
     let after = at.end;
     while (after < text.length && /\s/.test(text[after])) after++;
+    // An array's only element: the brackets close on each other.
+    if (typeof step === 'number' && text[before] === '[' && text[after] === ']') return `${text.slice(0, before + 1)}${text.slice(after)}`;
     if (text[after] === ',') {
       after++;
       while (after < text.length && /\s/.test(text[after])) after++;
@@ -605,13 +654,14 @@ function spliceOne(text: string, path: readonly string[], value: unknown): strin
     const body = JSON.stringify(value, null, 2).split('\n').join(`\n${indentAt(text, at.start)}`);
     return `${text.slice(0, at.start)}${body}${text.slice(at.end)}`;
   }
+  if (typeof step === 'number') throw new Error(`splicedEdits: ${path.join('.')} names no element; an element is added by an insert`);
   const parentPath = path.slice(0, -1);
   const parent = spanOrNull(text, parentPath);
   // A parent the text lacks is inserted whole, holding this one member.
-  if (parent === null) return spliceOne(text, parentPath, { [path[path.length - 1]]: value });
+  if (parent === null) return spliceOne(text, parentPath, { [step]: value });
   if (text[parent.start] !== '{') throw new Error(`splicedEdits: ${parentPath.join('.') || 'the document'} is not an object`);
   const indent = `${indentAt(text, parent.start)}  `;
-  const member = `"${path[path.length - 1]}": ${JSON.stringify(value, null, 2).split('\n').join(`\n${indent}`)}`;
+  const member = `"${step}": ${JSON.stringify(value, null, 2).split('\n').join(`\n${indent}`)}`;
   let last = parent.end - 2;
   while (last > parent.start && /\s/.test(text[last])) last--;
   if (last === parent.start) return `${text.slice(0, parent.start + 1)}\n${indent}${member}\n${indentAt(text, parent.start)}${text.slice(parent.end - 1)}`;
@@ -634,24 +684,35 @@ function firstMoved(got: unknown, want: unknown, path: readonly string[]): strin
 /**
  * The input's own text with each edit made in order: a value present is replaced, as `JSON.stringify(value, null, 2)`
  * indented to the line it starts on; one absent is inserted as the last member of its object (an absent parent
- * inserted with it); `undefined` removes the member. Every other byte is the input's. The result is parsed and held
+ * inserted with it); `undefined` removes the member. An index step addresses an array element (issue #552): replaced
+ * or removed in place, or, `insert`, put before that element on a line of its own at the neighbours' indent (after
+ * the last element at the array's length), and a removed element takes one comma beside it. Every other byte is the
+ * input's. The result is parsed and held
  * to the intended document — the input parsed with the same edits made on it — and `moved` names the first path
  * where it is not (a key the text states twice is the way it is not: the edit lands on the first, the parse keeps the
  * last); null when it is.
  */
 export function splicedEdits(text: string, edits: readonly ConfigEdit[]): { text: string; moved: string | null } {
   let out = text;
-  for (const e of edits) out = spliceOne(out, e.path, e.value);
+  for (const e of edits) out = spliceOne(out, e.path, e.value, e.insert === true);
   const want = JSON.parse(text) as Record<string, unknown>;
   for (const e of edits) {
-    let o = want;
+    let o: Record<string | number, unknown> | unknown[] = want;
     for (const k of e.path.slice(0, -1)) {
-      if (typeof o[k] !== 'object' || o[k] === null) o[k] = {};
-      o = o[k] as Record<string, unknown>;
+      const rec = o as Record<string | number, unknown>;
+      if (typeof rec[k] !== 'object' || rec[k] === null) rec[k] = {};
+      o = rec[k] as Record<string | number, unknown> | unknown[];
     }
     const last = e.path[e.path.length - 1];
-    if (e.value === undefined) delete o[last];
-    else o[last] = e.value;
+    if (Array.isArray(o) && typeof last === 'number') {
+      if (e.insert === true) o.splice(last, 0, e.value);
+      else if (e.value === undefined) o.splice(last, 1);
+      else o[last] = e.value;
+    } else {
+      const rec = o as Record<string | number, unknown>;
+      if (e.value === undefined) delete rec[last];
+      else rec[last] = e.value;
+    }
   }
   return { text: out, moved: firstMoved(JSON.parse(out), want, []) };
 }

package/src/remesh.ts

@@ -61,14 +61,14 @@ import { createHash } from 'node:crypto';
 import { existsSync, mkdirSync, readdirSync, readFileSync, rmSync, statSync, writeFileSync } from 'node:fs';
 import { dirname, join, relative, resolve, sep } from 'node:path';
 import { checkStage, gateThroughRigc, type Log, RIGC_MODEL_DOCUMENT, rigStage } from './build.ts';
-import { barsNotMet, type CheckReport, DEFAULT_PACK_SHAPE, DEFAULT_PAGE_EDGES, type PackShape, type PageEdges, rigcRanClause, type RigcRunner } from './check.ts';
+import { barsNotMet, type CheckReport, checkStatuses, type CheckStatus, checkSummaryLine, DEFAULT_PACK_SHAPE, DEFAULT_PAGE_EDGES, type PackShape, type PageEdges, rigcRanClause, type RigcRunner } from './check.ts';
 import { loadConfigAndAnimations } from './config.ts';
 import { PartsError, type Problem, problemLine, refuseIfAny } from './errors.ts';
 import { jsonValueSpan, scratchConfig } from './meshdraft.ts';
 import { computeExactFrameTransforms } from './coords.ts';
 import { type PartsFile } from './parts.ts';
 import { applyMeshEdit, type DeltaApplied, type DeltaPlant, deltaSourceProblems, type MeshEditDocument, readMeshEdit } from './remeshdelta.ts';
-import { DEFAULT_IDLE_KEYS, type IdleKeys, type MeshAttachment, rigJsonText, type RigSpec } from './rig.ts';
+import { DEFAULT_IDLE_KEYS, type IdleKeys, type MeshAttachment, meshBoundBones, rigJsonText, type RigSpec } from './rig.ts';
 import { pyRound } from './round.ts';
 
 /** The provenance file's spec. */
@@ -144,13 +144,21 @@ export interface MeshCounts {
   hull: number;
 }
 
-/** One side of the provenance's check block. */
+/**
+ * One side of the provenance's check block. The first five fields are what the hold ({@link checkHeldProblems})
+ * reads; `line` and `status` (issue #541) are what `check` itself reports on the same tree — its last line, whole,
+ * and every block's status as `check.json` records it — so a consumer need not run `check` a second time.
+ */
 export interface CheckSide {
   pass: boolean;
   measured: string[];
   not_met: string[];
   skipped: Array<{ bar: string; reason: string }>;
   physics: string | null;
+  /** The last line `check` prints ({@link checkSummaryLine}), byte for byte. */
+  line: string;
+  /** Every block's status as `check.json` records it, in the file's order ({@link checkStatuses}). */
+  status: Record<string, CheckStatus>;
 }
 
 /** `remesh.json` (spec {@link REMESH_SPEC}). */
@@ -461,6 +469,8 @@ export function checkSide(r: CheckReport): CheckSide {
     not_met: barsNotMet(r.figures as unknown as Record<string, unknown>),
     skipped: r.bars.skipped.map((s) => ({ bar: s.bar, reason: s.reason })),
     physics: r.loopPhysics,
+    line: checkSummaryLine(r),
+    status: checkStatuses(r.figures),
   };
 }
 
@@ -555,7 +565,7 @@ const textsOf = (tree: FileTree): Array<readonly [string, string]> => [...tree].
 
 /**
  * The delta's `mesh_report.json` row (issue #526): the input's row, key for key, with `vertices`, `triangles`, `hull`,
- * `bones` (the sorted set the new weights name), `max_influences` and `mean_influences` recomputed from the new
+ * `bones` (the sorted set the new weights name, `meshBoundBones` — the reading every rig row takes), `max_influences` and `mean_influences` recomputed from the new
  * attachment and `mode` "delta" (in place, or last when the row had none). Every other key is the input's and
  * describes the mesh the delta was drawn over.
  */
@@ -566,7 +576,7 @@ export function deltaRow(row: Json, att: MeshAttachment): Json {
     vertices: n,
     triangles: att.triangles.length / 3,
     hull: att.hull,
-    bones: [...new Set(att.weights.flatMap((w) => w.map((e) => e.bone)))].sort(),
+    bones: meshBoundBones(att),
     max_influences: Math.max(...att.weights.map((w) => w.length)),
     mean_influences: pyRound(entries / n, 2),
     mode: 'delta',

package/src/requirements.ts

@@ -13,7 +13,7 @@
  * | outcome | when | what it does |
  * | --- | --- | --- |
  * | not declared | the file states no requirement of that kind | the summary names the kind; not a pass, not a skip |
- * | refused | a bone, constraint, mesh or animation does not resolve, a field or bar is missing, a `follow` names a property its constraint does not drive | refused by name before anything is built ({@link readRequirements}, {@link resolveRequirements}) |
+ * | refused | a bone, constraint, mesh or animation does not resolve, a field or bar is missing, a `follow` names a property its constraint does not drive, a `contact` is held against its own bone's same point or an `aim` against a point of its own bone (issue #540) | refused by name before anything is built ({@link readRequirements}, {@link resolveRequirements}) |
  * | not measurable | it reads and the rig builds, and the quantity is undefined in the frames | `NOT MEASURABLE — <why>`, with the figures; the run does not PASS |
  * | measured | otherwise | `PASS` or `FAIL` against the author's bar, with the figures and the worst frame |
  *
@@ -253,7 +253,9 @@ const EXCEPTION_ABSENT: Record<ExceptionList, string> = {
  * in `not_swinging` and in `rises` or `rests`;
  * which parts they are is read against parts.json and the rig by `check`),
  * each entry's every field and bar by name, a key the format does not read,
- * and a name used twice. Resolving the names against the rig is
+ * a name used twice, and a `contact` against its own bone and point or an
+ * `aim` at a point of its own bone (issue #540: each reads 0 by construction,
+ * or no line at all). Resolving the names against the rig is
  * {@link resolveRequirements}'s.
  */
 export function readRequirements(path: string): RequirementsFile {
@@ -274,6 +276,9 @@ export function readRequirements(path: string): RequirementsFile {
   const field = (object: string, detail: string): void => {
     problems.push({ code: 'REQUIREMENTS_FIELD', object, detail });
   };
+  const selfTarget = (label: string, detail: string): void => {
+    problems.push({ code: 'REQUIREMENTS_SELF_TARGET', object: `${label} field "target"`, detail });
+  };
   if (raw.spec !== REQUIREMENTS_SPEC) field(`${at} field "spec"`, `is ${JSON.stringify(raw.spec)}; ${JSON.stringify(REQUIREMENTS_SPEC)} is required`);
   for (const k of Object.keys(raw)) if (!['spec', 'fps', 'targets', 'requirements', ...EXCEPTION_LISTS, 'may_fold'].includes(k) && !freeKey(k, raw[k])) field(`${at} field "${k}"`, 'is not a field this format reads (spec, fps, targets, requirements, not_planted, not_swinging, rises, rests, may_fold; note or *_note as a string; x-<name> as a record)');
   let fps = NaN;
@@ -331,6 +336,11 @@ export function readRequirements(path: string): RequirementsFile {
       let req: Requirement;
       if (kind === 'contact') {
         req = { ...common, kind, bone: str('bone'), point: point('point', r.point), target: target(), within_px: bar('within_px', (v) => v >= 0, 'a distance in stage px, 0 or more,') };
+        // Issue #540: a point against itself is 0 apart on every frame; the bone's other point is a reading (its length).
+        if ('bone' in req.target && req.bone.length > 0 && req.target.bone === req.bone && req.target.point === req.point) {
+          const other = req.point === 'tip' ? 'origin' : 'tip';
+          selfTarget(label, `contact of bone "${req.bone}" ${req.point} against bone "${req.target.bone}" ${req.target.point}, the same point: it measures 0 by construction, so a PASS says nothing — a different bone is required, or the bone's other point ("${other}")`);
+        }
       } else if (kind === 'follow') {
         const type = r.constraint_type;
         if (type !== 'ik' && type !== 'transform') field(`${label} field "constraint_type"`, `is ${JSON.stringify(type)}; "ik" or "transform" is required — a constraint resolves by name AND type, as in rig-c`);
@@ -349,6 +359,11 @@ export function readRequirements(path: string): RequirementsFile {
         };
       } else if (kind === 'aim') {
         req = { ...common, kind, bone: str('bone'), target: target(), within_degrees: bar('within_degrees', (v) => v >= 0 && v <= 180, 'an angle in degrees from 0 to 180') };
+        // Issue #540: the aimed bone's own tip lies on its axis (0 degrees on every frame) and its own origin gives no line at all.
+        if ('bone' in req.target && req.bone.length > 0 && req.target.bone === req.bone) {
+          const why = req.target.point === 'tip' ? 'its tip lies on its own axis, so the angle measures 0 by construction and a PASS says nothing' : 'its origin is where the line starts, so there is no line to aim along on any frame and nothing is measured';
+          selfTarget(label, `aim of bone "${req.bone}" axis against bone "${req.target.bone}" ${req.target.point}, a point of the aimed bone itself: ${why} — a different bone or a stage point is required`);
+        }
       } else if (kind === 'range') {
         const lo = bar('lo_degrees', () => true, 'an angle in degrees');
         const hi = bar('hi_degrees', () => true, 'an angle in degrees');

package/src/rig.ts

@@ -766,6 +766,16 @@ export type RigCommand = 'rig' | 'build';
 /** The `why` of the `invariants.idleDrivesMeshes` that `idleKeys: 'direct'` declares. */
 export const IDLE_DRIVES_MESHES_WHY = 'painting rig: the idle is meant to deform the meshes it keys (rig-parts rig --idle-keys direct)';
 
+/**
+ * The bones a mesh attachment binds: the sorted set of bone names its weights name (issue #536). Every
+ * `mesh_report.json` row's `bones` is this reading of the attachment the written `rig.json` holds — after the turn's
+ * twins and the stops' drawn links have taken their bones' places — so the row names what the emitted model binds in
+ * every mode; `remesh --delta`'s row (`deltaRow`, `src/remesh.ts`) takes the same function.
+ */
+export function meshBoundBones(att: Pick<MeshAttachment, 'weights'>): string[] {
+  return [...new Set(att.weights.flatMap((w) => w.map((e) => e.bone)))].sort();
+}
+
 /** One row of `mesh_report.json`: a lattice mesh's row is as it always was; a contour mesh's says so. */
 export type MeshReport = LatticeMeshReport | ContourMeshReport | AutoMeshReport | InfluenceMeshReport;
 
@@ -2544,6 +2554,12 @@ export function buildRig(
   // Only when the config has `turn`: every other build adds nothing here, so no byte moves.
   if (cfg.turn !== undefined) refuseIfAny(turnRiderProblems(cfg.turn, cfg, parts.parts));
   const turned = cfg.turn === undefined ? null : applyTurn(cfg.turn, parts.parts.map((p) => p.name), bones, slots, skin, cfg.constraints ?? []);
+  // issue #536: every row names the bones the emitted attachment binds, read once the turn and the stops have
+  // rebound the weights; a rig with neither rebinds nothing, so this reads back the names each row already holds.
+  for (const row of meshReport) {
+    const att = skin[row.part]?.[row.part];
+    if (att !== undefined && 'type' in att) row.bones = meshBoundBones(att);
+  }
 
   const name = `${cfg.key}_painting`;
   const rig: RigSpec = {