@rig-c/core 2.75.0 → 2.77.0

package/docs/AUTHORING.md

@@ -12647,7 +12647,7 @@ verdict on those figures.
 | <a id="CE_COMPILE_ALPHA_CLIP_CONFLICT"></a>`CE_COMPILE_ALPHA_CLIP_CONFLICT` | Names authored fields or convex/inverse flags conflicting with generated inside-clipping geometry. Use one authored/generated form.<br>Exact fixed diagnostic chunks (named values between chunks vary): ⟦: alphaClip conflicts with [⟧<br>⟦vertexCount⟧<br>⟦vertices⟧<br>⟦weights⟧<br>⟦boneIndexing⟧<br>⟦, ⟧<br>⟦], convex=⟧<br>⟦, inverse=⟧<br>⟦; required ordinary inside clipping with generated geometry only. Remove authored geometry/flags.⟧ |
 | <a id="CE_COMPILE_ALPHA_CLIP_DEFORM"></a>`CE_COMPILE_ALPHA_CLIP_DEFORM` | Names animation and source/clip key/frame counts that cannot share the existing projection contract. Give matching explicit supported transform keys in compatible actual frames, with constant world shares where needed, or author the corresponding clip geometry and motion; weighted binding does not copy source deform.<br>Exact fixed diagnostic chunks (named values between chunks vary): ⟦ alphaClip from "⟧<br>⟦"⟧<br>⟦: animation "⟧<br>⟦" has ⟧<br>⟦ source and ⟧<br>⟦ clip keys; source frame=⟧<br>⟦no vertex geometry⟧<br>⟦clip frame=⟧<br>⟦, constant world influence shares=⟧<br>⟦Required matching explicit affine/depth-yaw/pitch transforms in compatible DeformGeometry frames, ⟧<br>⟦with constant shares for world-space transfer. Fix the named frame/keys or author corresponding clip motion.⟧ |
 
-## 15. Posing in place for a player — the runtime poser (stage 2)
+## 15. Posing in place for a player — the runtime poser (stage 4)
 
 rigc poses a model document twice over, on purpose (issue #1591). The **oracle**
 (`src/core/`) is the reference: each pose is a pure function of the document,
@@ -12682,13 +12682,13 @@ exact resolved table identity `(skin, model.slots[attachment.slot].name, placeho
 The display `name` may be shared by different placeholders; it is never a table
 key to guess the source from. These load-time strings do not change the pose path.
 
-| | what stage 2 poses |
+| | what stage 4 poses |
 | --- | --- |
 | bones | local and world transforms, all five inherit modes, skin-required bones under the view's skin (an inactive bone is zeros, as the oracle poses it) |
-| timelines | `rotate`, `translate(x/y)`, `scale(x/y)`, `shear(x/y)`; a slot's `attachment`, `rgba`, `rgb` and `alpha`; ik and transform timelines; linear, stepped and Bézier keys, each read from a per-pose key cursor |
-| constraints | one- and two-bone ik; world-space, absolute transform constraints; the document's order, each followed by the bones below what it moved posed again |
+| timelines | `rotate`, `translate(x/y)`, `scale(x/y)`, `shear(x/y)`; a slot's `attachment`, `rgba`, `rgb` and `alpha`; ik, transform and path timelines; linear, stepped and Bézier keys, each read from a per-pose key cursor |
+| constraints | physics with its exact clock, reset and parameter timelines, and optional constraint-scoped external translate/rotate; value-mapped sliders with bone/slot/deform/physics composition; path constraints across all position, spacing and rotate modes on open or closed, constant-speed or arc-length, weighted or unweighted, deformed curves; one- and two-bone ik; world-space, absolute transform constraints; the document's order, each followed by the bones below what it moved posed again |
 | vertices | regions, meshes, weighted meshes and linked meshes, written into the pose's buffer |
-| deform | weighted and unweighted mesh timelines, linear/stepped/Bézier, per-pose key cursors and in-place buffers; linked meshes inherit their source's timelines only with `timelines: true` |
+| deform | weighted and unweighted mesh and path timelines, linear/stepped/Bézier, per-pose key cursors and in-place buffers; linked meshes inherit their source's timelines only with `timelines: true` |
 | skins and events | named/no-skin views with their skin-required bones and constraints; event delivery in key order over `(last, time]`, tail then head across a wrap |
 | time | one animation at full weight from the setup pose, at a time (`apply`) or stepped as a looping track (`step`, the track time wrapped by the duration as `openTrack` wraps it) |
 
@@ -12729,9 +12729,47 @@ back to the definition's **volume**, matching the measured runtime rather than
 inventing a correction. An explicit `ignore: ['events']` diagnostic still mutes
 the list; normal compilation never does.
 
+Physics is explicit on a direct pose: `apply(time, 'none')` leaves physics inert;
+`apply(time, 'reset', delta)` or `apply(time, 'update', delta)` first applies
+reset keys over `(last, time]` against the old clock, then adds `delta` to the
+physics clock and solves. A backwards animation time crosses the tail then head
+of the interval, as a looping track does. `step(dt)` updates physics and the
+looping track; it takes the initial reset at animation zero if needed.
+`resetPhysics('animation')` starts at that animation's pose zero;
+`resetPhysics('setup')` starts from setup before applying the animation.
+The physics clock is a running sum, never the animation time; constructor option
+`{ clock: physicsClockStep }` can select the render clock without changing track
+time. `physicsTime` exposes that sum. A non-finite or negative delta/clock result
+throws `RuntimeInputError` naming the call. `physicsTranslate(x, y, scope?)` and
+`physicsRotate(x, y, degrees, scope?)` shift the previous origins across every
+physics constraint when `scope` is omitted, or only across the named physics
+constraints (`scope: []` moves none; duplicate names apply once; an unknown or
+non-physics constraint name throws `RuntimeInputError` before mutating any
+state); `setEnvironment({
+wind: [x, y], gravity: [x, y] })` supplies the skeleton directions (positive y
+points down), all numbers finite. Offsets, velocities, lags and buffers belong
+to each pose; a zero physics mix does not consume its constraint's clock.
+
+A slider reads its dial where earlier constraints left it: local or world
+property mapped as `to + (value - from) * scale`, clamped at zero or looped by
+its animation duration. A boneless slider uses its keyed `time`. The selected
+animation is applied at that value, never advanced as a track, and fires no
+events or physics reset keys. Mix zero does not re-pose bones; nonzero mix
+re-poses every keyed bone even before its first key. Its bone targets compose
+in authored order, including repeated names; each entry uses the same setup
+values and blends from the current pose. Ordinary tracks still read only the
+last target for each bone. An earlier unsupported inherit target is refused
+when a slider applies it, even if the track's last target would hide it.
+Absolute/additive bone and
+deform blends and slot switches follow the oracle, including direct scale and
+colour targets at mix one. Slider physics writes last one pass and affect only
+constraints later in update order. An unsupported timeline in a slider's
+animation refuses the whole model under that timeline's existing feature name,
+so an unselected track cannot hide a construct the slider always applies.
+
 **Everything else is refused at load, by name.** `RuntimeRefusal.missing` lists
 every construct met, each `{ feature, detail, animation }`, and the message
-reads `not posed by the runtime poser (stage 2), N construct(s) missing:
+reads `not posed by the runtime poser (stage 4), N construct(s) missing:
 <feature>: <detail>; …`. A model-level feature refuses the whole model; an
 animation-level one refuses that animation alone (`model.refused`;
 `model.animation(name)` and `setAnimation(name)` throw its refusal) and every
@@ -12740,13 +12778,12 @@ refused: nothing is posed approximately.
 
 | feature | refuses | what it is |
 | --- | --- | --- |
-| `path-constraint`, `physics-constraint`, `slider-constraint` | the model | a constraint of that kind |
 | `local-transform`, `additive-transform` | the model | a transform constraint with `localSource` or `localTarget`, or `additive` |
-| `inactive-constrained-bone` | the model | an applied ik or transform constraint naming a bone the view leaves inactive (what the oracle writes there depends on the pass before) |
+| `inactive-constrained-bone` | the model | an applied ik, transform or path constraint naming a bone the view leaves inactive (what the oracle writes there depends on the pass before) |
 | `noscale-world-target` | the model | a world-space transform onto a `noScale` or `noScaleOrReflection` bone, whose local values would be read back in that mode |
 | `clipping`, `null-atlas-region` | the model when shown at setup, else the animation that keys it | a clipping attachment; a region whose atlas rectangle the model states as `null` |
 | `skin-conflict` | as above | a placeholder the skins fill differently |
-| `oracle-absent` | the model | a pose the oracle itself leaves out (`constraintsAbsentWhy`) |
+| `oracle-absent` | the model | a pose the oracle itself leaves out (`constraintsAbsentWhy`, `pathAnimationsWhy`, `steppedPreviousPassWhy`, `sliderDeformsWalkedPathWhy`) |
 | `inherit-timeline`, `sequence-timeline`, `draw-order-timeline`, `dark-colour-timeline` | the animation | a timeline of that kind (`dark-colour` is `rgba2` / `rgb2`) |
 
 A call it cannot answer throws `RuntimeInputError`, naming the call:
@@ -12755,7 +12792,7 @@ this document's [...]`, `apply: the time NaN is not finite`.
 
 **The gate.** `tools/core_gate.ts` runs a third dumper (`runtimeDump` in
 `tools/pose_oracle.ts`) over every row it builds, at the oracle's samples, and
-compares its document with the oracle's in full doubles at tolerance 0 twice:
+compares both unstepped and stepped documents with the oracle's in full doubles at tolerance 0 twice:
 through `compare` and cell by cell (which reads the bones `compare`'s
 ill-conditioned rule leaves out). One `RUNTIME` line per row reads `IDENTICAL`
 (covered whole and equal), `SKIP` (refused at load, or animations or events left

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@rig-c/core",
-  "version": "2.75.0",
+  "version": "2.77.0",
   "description": "AI-authored 2D rigging and animation, verified before it is written. rigc compiles a rig spec into skeleton data in the Spine 4.3 format, gates it with named assertions held to a spine-core round trip's verdicts, and emits nothing that fails. Ships as an agent skill.",
   "type": "module",
   "bin": {

package/src/runtime/curves.ts

@@ -78,7 +78,9 @@ export function compileCurve(keys: readonly CoreKey[], channels: number): Runtim
 /** The last key at or before `t` (−1 before the first), found from `cursors[slot]` and left there — the header's first read. */
 export function keyAt(curve: RuntimeCurve, cursors: Int32Array, slot: number, t: number): number {
   const times = curve.times;
-  let i = cursors[slot];
+  // A slider can evaluate another animation between two reads of this one.
+  // Shared cursor slots are only search hints: keep the hint inside THIS curve.
+  let i = Math.min(cursors[slot], curve.keys - 1);
   while (i >= 0 && times[i] > t) i--;
   while (i + 1 < curve.keys && times[i + 1] <= t) i++;
   cursors[slot] = i;

package/src/runtime/index.ts

@@ -21,12 +21,12 @@
  * corpus through both at the oracle's samples and compares full doubles at
  * tolerance 0 (*The runtime poser* there). The oracle is not changed for it.
  *
- * ## Stage 2: what it poses, and what it refuses
+ * ## Stage 4: what it poses, and what it refuses
  *
  * Bones and their five inherit modes; the rotate, translate, scale and shear
  * timelines; a slot's attachment and colour (`rgba`, `rgb`, `alpha`)
  * timelines; weighted/unweighted deform timelines; region, mesh, weighted mesh and linked mesh vertices; one- and
- * two-bone ik and world-space, absolute transform constraints with their
+ * two-bone ik, world-space absolute transforms, path constraints, physics (with optional movement scope) and value-mapped sliders with their
  * timelines; skin-required bones and constraints under the view's skin. One
  * animation at full weight from the setup pose, at a time or stepped as a
  * looping track. Everything else is refused at load by name with the list of
@@ -81,4 +81,5 @@ export {
   L_SHEAR_Y,
 } from './model.ts';
 export type { RuntimeAnimation, RuntimeEvent, RuntimeAttachment, RuntimeFeature, RuntimeMissing, RuntimeModel, RuntimeOptions, RuntimePlant, RuntimeSlot } from './model.ts';
+export type { RuntimePoseOptions, RuntimePhysicsPhase } from './pose.ts';
 export { RuntimePose } from './pose.ts';

package/src/runtime/model.ts

@@ -1,5 +1,5 @@
 /**
- * The runtime poser's load-time half (issue #1591, stage 2): a skin view of
+ * The runtime poser's load-time half (issue #1591, stage 4): a skin view of
  * the compiled model (`readModel`, then `underSkin` / `underNoSkin` — the
  * oracle's reader and its views, read and never written) compiled once into
  * index-resolved bones and slots, a constraint plan, compiled timelines and
@@ -12,9 +12,9 @@
  * (`RuntimeMissing`), and:
  *
  * - **refuses the model** (`RuntimeRefusal`, every missing feature listed)
- *   when one is a property of the whole model — a path, physics or slider constraint, a transform constraint reading or
+ *   when one is a property of the whole model — a transform constraint reading or
  *   writing local values or adding (`localSource`, `localTarget`,
- *   `additive`), an ik or transform constraint over a bone the view leaves
+ *   `additive`), an ik, transform or path constraint over a bone the view leaves
  *   inactive, a world-space transform onto a `noScale` or
  *   `noScaleOrReflection` bone, a clipping attachment or a region with no
  *   atlas rectangle shown at setup, a placeholder the skins fill
@@ -26,9 +26,8 @@
  *   attachment key showing a clipping attachment or a region with no atlas
  *   rectangle. Every other animation of the model is posed.
  *
- * `RUNTIME_FEATURES` is the closed list of what can be named. Stage 2 adds mesh deform timelines to the
- * named/no-skin views and event keys, with immutable payloads compiled
- * at load. `ignore: ['events']` remains an explicit diagnostic opt-out; it is
+ * `RUNTIME_FEATURES` is the closed list of what can be named. Stage 4 adds path constraints and scoped physics movement (`physicsTranslate`/`physicsRotate` with an optional constraint scope) on top of Stage 3's indexed physics and value-mapped sliders. Mesh and path deforms, named/no-skin views
+ * and immutable event deliveries remain covered. `ignore: ['events']` remains an explicit diagnostic opt-out; it is
  * never the default. A merged view with conflicting attachments still refuses
  * by name, as the oracle itself cannot resolve that view without file order.
  *
@@ -47,19 +46,19 @@
  */
 import type { ModelVertices } from '../model.ts';
 import { activeBones, constraintRecords, CORE_REGION_KINDS, foldInheritMode, readBlend, readColour, shownAttachment, shownRow, sourceOfDoc, underSkin, type CompiledDocument, type CoreAnimation, type CoreBlendMode } from '../core/index.ts';
-import { constraintInactiveWhy, constraintsAbsentWhy, TRANSFORM_PROPERTIES, type CoreIkRecord, type CoreTransformRecord } from '../core/constraints.ts';
+import { constraintInactiveWhy, constraintsAbsentWhy, pathAnimationsWhy, TRANSFORM_PROPERTIES, type CoreIkRecord, type CoreTransformRecord } from '../core/constraints.ts';
+import { slotBonePlan, type CorePathRecord, type SlotBoneEvent } from '../core/constraints_path.ts';
 import { RUNTIME_PI } from '../core/world.ts';
 import { heldArray, timelineIdentity } from '../core/deform.ts';
+import { steppedPreviousPassWhy, type CorePhysicsRecord, type PhysicsTimelineKind } from '../core/constraints_physics.ts';
+import type { CoreSliderRecord } from '../core/constraints_slider.ts';
 import { compileCurve, compileDeformCurve, type RuntimeCurve } from './curves.ts';
 
 /** The stage of issue #1591 this poser implements. */
-export const RUNTIME_STAGE = 2;
+export const RUNTIME_STAGE = 4;
 
 /** Every construct the runtime poser can refuse, by the name its refusals carry. */
 export const RUNTIME_FEATURES = [
-  'path-constraint',
-  'physics-constraint',
-  'slider-constraint',
   'local-transform',
   'additive-transform',
   'inactive-constrained-bone',
@@ -125,9 +124,13 @@ export interface RuntimePlant {
   readonly eventWrapOffByOne?: boolean;
   /** The old restore behavior, which repeats keys up to the restored time. */
   readonly restoreEventsFromStart?: boolean;
-  /** Omit deform / multiply offsets by weights too early: negative controls only. */
+  /** Omit deform / multiply offsets by weights too early / omit path / ignore physics scope: negative controls only. */
+  readonly omitPhysics?: boolean;
+  readonly sliderAsTrack?: boolean;
   readonly omitDeform?: boolean;
   readonly deformAfterWeights?: boolean;
+  readonly omitPath?: boolean;
+  readonly ignorePhysicsScope?: boolean;
 }
 
 // A bone's local values, seven per bone.
@@ -175,6 +178,17 @@ export const IK_BEND_POSITIVE = 1;
 export const IK_COMPRESS = 2;
 export const IK_STRETCH = 4;
 
+// A path constraint's position, spacing and rotate modes.
+export const PATH_POSITION_FIXED = 0;
+export const PATH_POSITION_PERCENT = 1;
+export const PATH_SPACING_LENGTH = 0;
+export const PATH_SPACING_FIXED = 1;
+export const PATH_SPACING_PERCENT = 2;
+export const PATH_SPACING_PROPORTIONAL = 3;
+export const PATH_ROTATE_TANGENT = 0;
+export const PATH_ROTATE_CHAIN = 1;
+export const PATH_ROTATE_CHAIN_SCALE = 2;
+
 /** Degrees to radians, with the runtime's pi (`src/core/world.ts`). */
 export const RAD = RUNTIME_PI / 180;
 
@@ -257,7 +271,79 @@ export interface RuntimeTransform {
   readonly clamp: boolean;
 }
 
-export type RuntimeConstraint = RuntimeIk | RuntimeTransform;
+export interface RuntimePhysics {
+  readonly kind: 'physics';
+  readonly name: string;
+  readonly index: number;
+  readonly applied: boolean;
+  readonly bones: Int32Array;
+  readonly setup: CorePhysicsRecord;
+}
+
+export interface RuntimeSlider {
+  readonly kind: 'slider';
+  readonly name: string;
+  readonly index: number;
+  readonly applied: boolean;
+  readonly bones: Int32Array;
+  readonly bone: number;
+  readonly property: number;
+  readonly setup: CoreSliderRecord;
+  /** Resolved after every animation is compiled. Never a track. */
+  animation: RuntimeAnimation;
+}
+
+export interface RuntimePath {
+  readonly kind: 'path';
+  readonly name: string;
+  readonly index: number;
+  readonly applied: boolean;
+  readonly bones: Int32Array;
+  readonly slot: number;
+  readonly slotBone: number;
+  /** Setup path attachment index into `model.attachments`, or −1 when the slot shows no path. */
+  attachment: number;
+  /** Number of vertex coordinates (`2 * vertexCount`) in the setup path attachment. */
+  pathVertices: number;
+  readonly closed: boolean;
+  readonly constantSpeed: boolean;
+  readonly lengths: Float64Array;
+  readonly positionMode: number;
+  readonly spacingMode: number;
+  readonly rotateMode: number;
+  readonly offsetRotation: number;
+  readonly position: number;
+  readonly spacing: number;
+  readonly mixRotate: number;
+  readonly mixX: number;
+  readonly mixY: number;
+  /** Constraint index whose `before` or `after` state sets the slot bone's determinant sign (`slotBonePlan`), or −1. */
+  readonly slotEventAt: number;
+  readonly slotEventAfter: boolean;
+  readonly setup: CorePathRecord;
+}
+
+export interface RuntimePhysicsTimeline {
+  readonly kind: PhysicsTimelineKind;
+  readonly targets: Int32Array;
+  readonly curve: RuntimeCurve;
+  readonly cursor: number;
+}
+export interface RuntimeSliderTimeline {
+  readonly time: RuntimeCurve | null;
+  readonly mix: RuntimeCurve | null;
+  readonly timeCursor: number;
+  readonly mixCursor: number;
+}
+export interface RuntimePathTimeline {
+  readonly position: RuntimeCurve | null;
+  readonly spacing: RuntimeCurve | null;
+  readonly mix: RuntimeCurve | null;
+  readonly positionCursor: number;
+  readonly spacingCursor: number;
+  readonly mixCursor: number;
+}
+export type RuntimeConstraint = RuntimeIk | RuntimeTransform | RuntimePhysics | RuntimeSlider | RuntimePath;
 
 /** A bone timeline: the bone, its curve, and per channel the local field it writes and whether it multiplies the setup value (scale) or adds to it. */
 export interface RuntimeBoneTimeline {
@@ -310,7 +396,12 @@ export interface RuntimeAnimation {
   readonly name: string;
   readonly duration: number;
   readonly bones: readonly RuntimeBoneTimeline[];
+  /** Every authored target in order; sliders compose duplicates that tracks discard. */
+  readonly sliderBones: readonly RuntimeBoneTimeline[];
   readonly deforms: readonly RuntimeDeformTimeline[];
+  readonly physics: readonly RuntimePhysicsTimeline[];
+  readonly sliders: ReadonlyArray<RuntimeSliderTimeline | null>;
+  readonly paths: ReadonlyArray<RuntimePathTimeline | null>;
   readonly slots: readonly RuntimeSlotTimeline[];
   /** Per constraint of the plan, its timeline in this animation or `null`. */
   readonly constraints: ReadonlyArray<RuntimeConstraintTimeline | null>;
@@ -326,6 +417,13 @@ export interface RuntimeModel {
   /** Control-only boundary defect; fixed at load. */
   readonly omitDeform: boolean;
   readonly deformAfterWeights: boolean;
+  readonly omitPhysics: boolean;
+  readonly sliderAsTrack: boolean;
+  readonly omitPath: boolean;
+  readonly ignorePhysicsScope: boolean;
+  readonly hasPath: boolean;
+  readonly maxPathSpaces: number;
+  readonly maxPathVertices: number;
   readonly deformCount: number;
   readonly eventWrapOffByOne: boolean;
   readonly restoreEventsFromStart: boolean;
@@ -401,7 +499,7 @@ export function compileRuntime(doc: CompiledDocument, options: RuntimeOptions =
   const refusals = new Refusals(new Set(plant.admit ?? []));
   const ignoreEvents = (options.ignore ?? []).includes('events');
 
-  const absentWhy = constraintsAbsentWhy(doc);
+  const absentWhy = constraintsAbsentWhy(doc) ?? pathAnimationsWhy(doc) ?? steppedPreviousPassWhy(doc);
   if (absentWhy !== null) refusals.note('oracle-absent', `the oracle leaves the bones out: ${absentWhy}`);
 
   // --- bones ---
@@ -412,6 +510,12 @@ export function compileRuntime(doc: CompiledDocument, options: RuntimeOptions =
     if (i === undefined) throw new RuntimeInputError(`bone "${name}" is not a bone of this document (readModel refuses it first)`);
     return i;
   };
+  const slotIndex = new Map(doc.slots.map((s, i) => [s.name, i]));
+  const slotIndexOf = (name: string): number => {
+    const i = slotIndex.get(name);
+    if (i === undefined) throw new RuntimeInputError(`slot "${name}" is not a slot of this document (readModel refuses it first)`);
+    return i;
+  };
   const active = activeBones(doc);
   const parents = new Int32Array(nb);
   const modes = new Uint8Array(nb);
@@ -449,15 +553,29 @@ export function compileRuntime(doc: CompiledDocument, options: RuntimeOptions =
 
   // --- constraints, in the document's order ---
   const constraints: RuntimeConstraint[] = [];
-  for (const c of doc.constraints) if (c.kind === 'path' || c.kind === 'physics' || c.kind === 'slider') refusals.note(`${c.kind}-constraint`, `${c.kind} constraint "${c.name}"`);
-  for (const r of constraintRecords(doc)) {
-    if (r.kind !== 'ik' && r.kind !== 'transform') continue;
+  const records = constraintRecords(doc);
+  const skipped = new Set<number>();
+  records.forEach((r, i) => {
+    if (constraintInactiveWhy(r, active) !== null) skipped.add(i);
+  });
+  const pathPlan = records.some((r) => r.kind === 'path') ? slotBonePlan(doc.bones, active, records, skipped) : new Map<number, SlotBoneEvent | null>();
+  for (const r of records) {
     const applied = constraintInactiveWhy(r, active) === null;
-    const bones = Int32Array.from(r.bones.map(indexOf));
-    if (applied && r.bones.some((b) => !active.has(b))) refusals.note('inactive-constrained-bone', `${r.kind} constraint "${r.name}" names bone(s) ${r.bones.filter((b) => !active.has(b)).map((b) => `"${b}"`).join(', ')}, which the view leaves inactive — what the oracle writes there depends on the pass before`);
+    const bones = Int32Array.from((r.kind === 'physics' ? [r.bone] : r.kind === 'slider' ? r.timelines.bones.filter(t => t.timelines.length > 0).map(t => t.name) : r.bones).map(indexOf));
     const index = constraints.length;
+    if (r.kind === 'physics') {
+      constraints.push({ kind: 'physics', name: r.name, index, applied, bones, setup: r });
+      continue;
+    }
+    if (r.kind === 'slider') {
+      constraints.push({ kind: 'slider', name: r.name, index, applied, bones, setup: r, bone: r.bone === null ? -1 : indexOf(r.bone), property: TRANSFORM_PROPERTIES.indexOf(r.property), animation: null as unknown as RuntimeAnimation });
+      continue;
+    }
+    if (applied && r.bones.some((b) => !active.has(b))) refusals.note('inactive-constrained-bone', `${r.kind} constraint "${r.name}" names bone(s) ${r.bones.filter((b) => !active.has(b)).map((b) => `"${b}"`).join(', ')}, which the view leaves inactive — what the oracle writes there depends on the pass before`);
     if (r.kind === 'ik') constraints.push(compileIk(r, index, applied, bones, indexOf));
-    else {
+    else if (r.kind === 'path') {
+      constraints.push(compilePath(r, index, applied, bones, indexOf, slotIndexOf, pathPlan.get(index) ?? null));
+    } else {
       if (r.localSource || r.localTarget) refusals.note('local-transform', `transform constraint "${r.name}" ${[r.localSource ? 'reads local values (localSource)' : '', r.localTarget ? 'writes local values (localTarget)' : ''].filter((x) => x !== '').join(' and ')}`);
       if (r.additive) refusals.note('additive-transform', `transform constraint "${r.name}" is additive`);
       const t = compileTransform(r, index, applied, bones, indexOf);
@@ -535,8 +653,10 @@ export function compileRuntime(doc: CompiledDocument, options: RuntimeOptions =
       const source = g.kind === 'mesh' ? g.vertices : sourceOf(g.skin, g.slot, g.source);
       if (typeof source === 'string') throw new RuntimeInputError(`slot "${slot.name}": ${source} (readModel refuses it first)`);
       made = meshAttachment(at, source, indexOf, plant.bindingIndex, nb);
+    } else if (g?.kind === 'path') {
+      made = pathAttachment(at, g.vertices, indexOf, plant.bindingIndex, nb);
     }
-    // A bounding box, a path, a refused record admitted by a plant: the row's name and path, and nothing drawn.
+    // A bounding box, a refused record admitted by a plant: the row's name and path, and nothing drawn.
     if (made === null) made = vertexAttachment(at, DRAW_NONE, new Float64Array(0), 0);
     attachments.push(made);
     vertexCount += made.count;
@@ -557,7 +677,21 @@ export function compileRuntime(doc: CompiledDocument, options: RuntimeOptions =
       blend: readBlend(slot),
     };
   });
-  const slotIndex = new Map(doc.slots.map((s, i) => [s.name, i]));
+  let hasPath = false;
+  let maxPathSpaces = 0;
+  let maxPathVertices = 0;
+  for (const c of constraints) {
+    if (c.kind !== 'path') continue;
+    hasPath = true;
+    c.attachment = c.setup.path === null ? -1 : slots[c.slot].setupAttachment;
+    const spaceCount = c.rotateMode === PATH_ROTATE_TANGENT ? c.bones.length : c.bones.length + 1;
+    if (spaceCount > maxPathSpaces) maxPathSpaces = spaceCount;
+    if (c.attachment >= 0) {
+      const at = attachments[c.attachment];
+      c.pathVertices = at.bindingCounts.length > 0 ? at.bindingCounts.length * 2 : at.local.length;
+      if (c.pathVertices > maxPathVertices) maxPathVertices = c.pathVertices;
+    }
+  }
 
   // --- animations ---
   const animations = new Map<string, RuntimeAnimation>();
@@ -573,11 +707,23 @@ export function compileRuntime(doc: CompiledDocument, options: RuntimeOptions =
     }
   }
 
+  for (const c of constraints) if (c.kind === 'slider') {
+    const a = animations.get(c.setup.animation);
+    if (a !== undefined) c.animation = a;
+    else for (const m of refusals.byAnimation.get(c.setup.animation) ?? []) refusals.note(m.feature, `slider "${c.name}" applies refused animation "${c.setup.animation}": ${m.detail}`);
+  }
   if (refusals.model.length > 0) throw new RuntimeRefusal(refusals.model);
   const names = doc.animations.map((a) => a.name);
   return {
+    omitPhysics: plant.omitPhysics === true,
+    sliderAsTrack: plant.sliderAsTrack === true,
     omitDeform: plant.omitDeform === true,
     deformAfterWeights: plant.deformAfterWeights === true,
+    omitPath: plant.omitPath === true,
+    ignorePhysicsScope: plant.ignorePhysicsScope === true,
+    hasPath,
+    maxPathSpaces,
+    maxPathVertices,
     deformCount,
     eventWrapOffByOne: plant.eventWrapOffByOne === true,
     restoreEventsFromStart: plant.restoreEventsFromStart === true,
@@ -643,6 +789,12 @@ function meshAttachment(at: AttachmentHead, vertices: ModelVertices, indexOf: (n
   return { ...at, deformCount: ids.length * 2, draw: DRAW_WEIGHTED, local: NO_NUMBERS, count: counts.length * 2, bindingCounts: Int32Array.from(counts), bindingBones: Int32Array.from(ids), bindingX: Float64Array.from(xs), bindingY: Float64Array.from(ys), bindingWeights: Float64Array.from(ws) };
 }
 
+/** A path attachment's vertices and bindings: stored and deformed like a mesh, never drawn into `RuntimePose.vertices`. */
+function pathAttachment(at: AttachmentHead, vertices: ModelVertices, indexOf: (name: string) => number, rewrite: RuntimePlant['bindingIndex'], bones: number): RuntimeAttachment {
+  const m = meshAttachment(at, vertices, indexOf, rewrite, bones);
+  return { ...m, draw: DRAW_NONE, count: 0 };
+}
+
 function compileIk(r: CoreIkRecord, index: number, applied: boolean, bones: Int32Array, indexOf: (name: string) => number): RuntimeIk {
   return {
     kind: 'ik', name: r.name, index, applied, bones, target: indexOf(r.target),
@@ -655,6 +807,43 @@ function ikFlags(bendPositive: boolean, compress: boolean, stretch: boolean): nu
   return (bendPositive ? IK_BEND_POSITIVE : 0) | (compress ? IK_COMPRESS : 0) | (stretch ? IK_STRETCH : 0);
 }
 
+function compilePath(
+  r: CorePathRecord,
+  index: number,
+  applied: boolean,
+  bones: Int32Array,
+  indexOf: (name: string) => number,
+  slotIndexOf: (name: string) => number,
+  ev: SlotBoneEvent | null,
+): RuntimePath {
+  return {
+    kind: 'path',
+    name: r.name,
+    index,
+    applied,
+    bones,
+    slot: slotIndexOf(r.slot),
+    slotBone: indexOf(r.slotBone),
+    attachment: -1,
+    pathVertices: 0,
+    closed: r.path?.closed ?? false,
+    constantSpeed: r.path?.constantSpeed ?? true,
+    lengths: Float64Array.from(r.path?.lengths ?? []),
+    positionMode: r.positionMode === 'fixed' ? PATH_POSITION_FIXED : PATH_POSITION_PERCENT,
+    spacingMode: r.spacingMode === 'fixed' ? PATH_SPACING_FIXED : r.spacingMode === 'percent' ? PATH_SPACING_PERCENT : r.spacingMode === 'proportional' ? PATH_SPACING_PROPORTIONAL : PATH_SPACING_LENGTH,
+    rotateMode: r.rotateMode === 'chain' ? PATH_ROTATE_CHAIN : r.rotateMode === 'chainScale' ? PATH_ROTATE_CHAIN_SCALE : PATH_ROTATE_TANGENT,
+    offsetRotation: r.offsetRotation,
+    position: r.position,
+    spacing: r.spacing,
+    mixRotate: r.mixRotate,
+    mixX: r.mixX,
+    mixY: r.mixY,
+    slotEventAt: ev === null ? -1 : ev.at,
+    slotEventAfter: ev?.when === 'after',
+    setup: r,
+  };
+}
+
 function compileTransform(r: CoreTransformRecord, index: number, applied: boolean, bones: Int32Array, indexOf: (name: string) => number): RuntimeTransform {
   const fromProperty: number[] = [];
   const fromOffset: number[] = [];
@@ -714,18 +903,32 @@ function compileAnimation(
 
   const lastBy = <T extends { name: string }>(targets: readonly T[]): Map<string, T> => new Map(targets.map((t) => [t.name, t]));
   const bones: RuntimeBoneTimeline[] = [];
-  for (const target of lastBy(tl.bones).values()) {
+  type BoneTarget = (typeof tl.bones)[number];
+  const byTarget = new Map<BoneTarget, RuntimeBoneTimeline[]>();
+  const compileBones = (target: BoneTarget, forSlider: boolean): RuntimeBoneTimeline[] => {
+    const cached = byTarget.get(target);
+    if (cached !== undefined) return cached;
+    const keyed: RuntimeBoneTimeline[] = [];
+    byTarget.set(target, keyed);
     const bone = boneIndex.get(target.name);
-    if (bone === undefined) continue;
+    if (bone === undefined) return keyed;
     for (const t of target.timelines) {
       if (t.kind === 'inherit') {
-        refusals.note('inherit-timeline', `bone "${target.name}" keys its inherit mode`, name);
+        if (!forSlider) refusals.note('inherit-timeline', `bone "${target.name}" keys its inherit mode`, name);
+        else for (const c of constraints) if (c.kind === 'slider' && c.setup.animation === name) {
+          refusals.note('inherit-timeline', `slider "${c.name}" applies animation "${name}" whose bone "${target.name}" keys its inherit mode`);
+        }
         continue;
       }
       const spec = BONE_KINDS[t.kind];
-      bones.push({ bone, curve: compileCurve(t.keys, spec.length), cursor: cursors++, fields: Int32Array.from(spec.map((s) => s[0])), multiply: Uint8Array.from(spec.map((s) => s[1])) });
+      keyed.push({ bone, curve: compileCurve(t.keys, spec.length), cursor: cursors++, fields: Int32Array.from(spec.map((s) => s[0])), multiply: Uint8Array.from(spec.map((s) => s[1])) });
     }
-  }
+    return keyed;
+  };
+  // Keep the track's last-target Map order and reuse those exact curves/cursors.
+  for (const target of lastBy(tl.bones).values()) bones.push(...compileBones(target, false));
+  const sliderBones = constraints.some(c => c.kind === 'slider' && c.setup.animation === name)
+    ? tl.bones.flatMap(target => compileBones(target, true)) : [];
   const slotTimelines: RuntimeSlotTimeline[] = [];
   const keyedSlots = [...lastBy(tl.slots).values()].flatMap((target) => {
     const si = slotIndex.get(target.name);
@@ -752,12 +955,35 @@ function compileAnimation(
       const keyed = anim.constraints.ik.find((x) => x.name === c.name);
       if (keyed === undefined) continue;
       constraintTimelines[c.index] = { constraint: c.index, curve: compileCurve(keyed.keys, 2), cursor: cursors++, flags: Uint8Array.from(keyed.keys.map((k) => ikFlags(k.flags.bendPositive, k.flags.compress, k.flags.stretch))) };
-    } else {
+    } else if (c.kind === 'transform') {
       const keyed = anim.constraints.transform.find((x) => x.name === c.name);
       if (keyed === undefined) continue;
       constraintTimelines[c.index] = { constraint: c.index, curve: compileCurve(keyed.keys, TRANSFORM_PROPERTIES.length), cursor: cursors++, flags: null };
     }
   }
+  const sliders = constraints.map((c): RuntimeSliderTimeline | null => {
+    if (c.kind !== 'slider') return null;
+    const keyed = anim.constraints.slider.find(t => t.name === c.name);
+    if (keyed === undefined) return null;
+    return { time: keyed.time === null ? null : compileCurve(keyed.time, 1), mix: keyed.mix === null ? null : compileCurve(keyed.mix, 1), timeCursor: cursors++, mixCursor: cursors++ };
+  });
+  const paths = constraints.map((c): RuntimePathTimeline | null => {
+    if (c.kind !== 'path') return null;
+    const keyed = anim.constraints.path.find((t) => t.name === c.name);
+    if (keyed === undefined) return null;
+    return {
+      position: keyed.position === undefined ? null : compileCurve(keyed.position, 1),
+      spacing: keyed.spacing === undefined ? null : compileCurve(keyed.spacing, 1),
+      mix: keyed.mix === undefined ? null : compileCurve(keyed.mix, 3),
+      positionCursor: cursors++,
+      spacingCursor: cursors++,
+      mixCursor: cursors++,
+    };
+  });
+  const physics: RuntimePhysicsTimeline[] = (anim.constraints.physicsKeyed ?? []).map(t => ({
+    kind: t.kind, cursor: cursors++, curve: compileCurve(t.keys, t.kind === 'reset' ? 0 : 1),
+    targets: Int32Array.from(constraints.filter((c): c is RuntimePhysics => c.kind === 'physics' && c.applied && (t.name === '*' ? t.kind === 'reset' || c.setup.global[t.kind] : c.name === t.name)).map(c => c.index)),
+  }));
   const deforms: RuntimeDeformTimeline[] = deform.map(a => {
     const g = doc.skins.find(s => s.name === a.skin)?.attachments[a.slot]?.[a.attachment]?.geometry;
     if (g === undefined || g.kind === 'region' || g.kind === 'linkedmesh') throw new RuntimeInputError(`deform "${a.skin}/${a.slot}/${a.attachment}" has no vertex geometry (readModel refuses it first)`);
@@ -765,5 +991,5 @@ function compileAnimation(
     const arrays = keys.map(k => heldArray(g.vertices, k));
     return { identity: `${a.skin}/${a.slot}/${a.attachment}`, cursor: cursors++, curve: compileDeformCurve(keys), count: arrays[0].length, held: Float64Array.from(arrays.flat()) };
   });
-  return { name, duration: tl.duration, deforms, bones, slots: slotTimelines, constraints: constraintTimelines, cursors, events: tl.events.length, eventKeys: Object.freeze(ignoreEvents ? [] : tl.events.map(key => Object.freeze({ name: key.name, time: key.time, int: key.int, float: key.float, string: key.string, volume: key.volume ?? 0, balance: key.balance ?? 0 }))) };
+  return { name, duration: tl.duration, physics, sliders, paths, deforms, bones, sliderBones, slots: slotTimelines, constraints: constraintTimelines, cursors, events: tl.events.length, eventKeys: Object.freeze(ignoreEvents ? [] : tl.events.map(key => Object.freeze({ name: key.name, time: key.time, int: key.int, float: key.float, string: key.string, volume: key.volume ?? 0, balance: key.balance ?? 0 }))) };
 }