@horizon36596/zenith-core 0.1.1

package/dist/headingRanges.js

@@ -0,0 +1,132 @@
+/** The narrowest range an edit may leave, as a fraction of the path. */
+export const MIN_RANGE_T = 0.02;
+/** Keeps t readable in the file: boundaries land on four decimals. */
+const roundT = (t) => Math.round(t * 10000) / 10000;
+/** The heading a range holds at `t`, for a mode that does not need the geometry, else null. */
+function fixedHeadingAt(range, t) {
+    const inner = range.heading;
+    if (inner.mode === "constant")
+        return inner.headingRad;
+    if (inner.mode === "linear") {
+        const span = range.endT - range.startT;
+        const local = span <= 0 ? 1 : (t - range.startT) / span;
+        return inner.fromRad + (inner.toRad - inner.fromRad) * local;
+    }
+    return null;
+}
+/**
+ * The same heading as one range from 0 to 1, or the heading itself when it is piecewise already.
+ * A step with no heading starts as one tangent range, the editor's default mode.
+ */
+export function toPiecewise(heading) {
+    if (heading?.mode === "piecewise")
+        return heading;
+    const inner = heading ?? { mode: "tangent" };
+    return { mode: "piecewise", ranges: [{ startT: 0, endT: 1, heading: inner }] };
+}
+/** The range that holds `t` strictly inside it, or -1 when t is on a boundary or outside 0..1. */
+export function rangeContaining(heading, t) {
+    return heading.ranges.findIndex((range) => t > range.startT && t < range.endT);
+}
+/**
+ * Splits the range that holds `t` into two at `t`. Both halves keep the range's mode; a `linear`
+ * range is cut at the heading it passes through at `t`, so the robot turns exactly as before until
+ * either half is changed. Returns the heading unchanged when either half would be narrower than
+ * `MIN_RANGE_T`.
+ */
+export function splitRange(heading, t) {
+    const at = roundT(t);
+    const index = rangeContaining(heading, at);
+    if (index < 0)
+        return heading;
+    const range = heading.ranges[index];
+    if (at - range.startT < MIN_RANGE_T || range.endT - at < MIN_RANGE_T)
+        return heading;
+    let left = range.heading;
+    let right = range.heading;
+    if (range.heading.mode === "linear") {
+        const middle = fixedHeadingAt(range, at);
+        left = { mode: "linear", fromRad: range.heading.fromRad, toRad: middle };
+        right = { mode: "linear", fromRad: middle, toRad: range.heading.toRad };
+    }
+    const ranges = [
+        ...heading.ranges.slice(0, index),
+        { startT: range.startT, endT: at, heading: left },
+        { startT: at, endT: range.endT, heading: right },
+        ...heading.ranges.slice(index + 1),
+    ];
+    return { mode: "piecewise", ranges };
+}
+/**
+ * Moves the boundary between range `index` and range `index + 1` to `t`, clamped so neither range
+ * gets narrower than `MIN_RANGE_T`. The two ranges keep their modes and values.
+ */
+export function moveBoundary(heading, index, t) {
+    const before = heading.ranges[index];
+    const after = heading.ranges[index + 1];
+    if (before === undefined || after === undefined)
+        return heading;
+    const lower = before.startT + MIN_RANGE_T;
+    const upper = after.endT - MIN_RANGE_T;
+    if (lower > upper)
+        return heading;
+    const at = roundT(Math.min(upper, Math.max(lower, t)));
+    const ranges = heading.ranges.map((range, position) => {
+        if (position === index)
+            return { ...range, endT: at };
+        if (position === index + 1)
+            return { ...range, startT: at };
+        return range;
+    });
+    return { mode: "piecewise", ranges };
+}
+/**
+ * Deletes range `index`; the range before it grows to cover the gap, or the one after it when it is
+ * the first. The last range cannot be deleted: a piecewise heading needs one.
+ */
+export function deleteRange(heading, index) {
+    if (heading.ranges.length <= 1)
+        return heading;
+    const removed = heading.ranges[index];
+    if (removed === undefined)
+        return heading;
+    const ranges = heading.ranges.slice();
+    ranges.splice(index, 1);
+    if (index === 0) {
+        const next = ranges[0];
+        ranges[0] = { ...next, startT: removed.startT };
+    }
+    else {
+        const previous = ranges[index - 1];
+        ranges[index - 1] = { ...previous, endT: removed.endT };
+    }
+    return { mode: "piecewise", ranges };
+}
+/** Replaces range `index`'s own heading, keeping where it starts and ends. */
+export function setRangeHeading(heading, index, inner) {
+    if (heading.ranges[index] === undefined)
+        return heading;
+    return {
+        mode: "piecewise",
+        ranges: heading.ranges.map((range, position) => (position === index ? { ...range, heading: inner } : range)),
+    };
+}
+/**
+ * A heading of `mode` for a range, carrying over the angle the range already holds where the new
+ * mode has one: a linear range starts where the old range started and ends where it ended.
+ */
+export function rangeHeadingForMode(mode, range) {
+    const start = fixedHeadingAt(range, range.startT) ?? 0;
+    const end = fixedHeadingAt(range, range.endT) ?? start;
+    switch (mode) {
+        case "constant":
+            return { mode: "constant", headingRad: start };
+        case "linear":
+            return { mode: "linear", fromRad: start, toRad: end };
+        case "facePoint":
+            return range.heading.mode === "facePoint" ? range.heading : { mode: "facePoint", xIn: 0, yIn: 0 };
+        default:
+            return { mode };
+    }
+}
+//# sourceMappingURL=headingRanges.js.map

package/dist/headingRanges.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"headingRanges.js","sourceRoot":"","sources":["../src/headingRanges.ts"],"names":[],"mappings":"AAcA,wEAAwE;AACxE,MAAM,CAAC,MAAM,WAAW,GAAG,IAAI,CAAC;AAEhC,sEAAsE;AACtE,MAAM,MAAM,GAAG,CAAC,CAAS,EAAU,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,KAAK,CAAC,GAAG,KAAK,CAAC;AAEpE,+FAA+F;AAC/F,SAAS,cAAc,CAAC,KAAmB,EAAE,CAAS;IACpD,MAAM,KAAK,GAAG,KAAK,CAAC,OAAO,CAAC;IAC5B,IAAI,KAAK,CAAC,IAAI,KAAK,UAAU;QAAE,OAAO,KAAK,CAAC,UAAU,CAAC;IACvD,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC5B,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,GAAG,KAAK,CAAC,MAAM,CAAC;QACvC,MAAM,KAAK,GAAG,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,MAAM,CAAC,GAAG,IAAI,CAAC;QACxD,OAAO,KAAK,CAAC,OAAO,GAAG,CAAC,KAAK,CAAC,KAAK,GAAG,KAAK,CAAC,OAAO,CAAC,GAAG,KAAK,CAAC;IAC/D,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,WAAW,CAAC,OAA4B;IACtD,IAAI,OAAO,EAAE,IAAI,KAAK,WAAW;QAAE,OAAO,OAAO,CAAC;IAClD,MAAM,KAAK,GAAiB,OAAO,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;IAC3D,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC;AACjF,CAAC;AAED,kGAAkG;AAClG,MAAM,UAAU,eAAe,CAAC,OAAkB,EAAE,CAAS;IAC3D,OAAO,OAAO,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,GAAG,KAAK,CAAC,MAAM,IAAI,CAAC,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;AACjF,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,UAAU,CAAC,OAAkB,EAAE,CAAS;IACtD,MAAM,EAAE,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC;IACrB,MAAM,KAAK,GAAG,eAAe,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;IAC3C,IAAI,KAAK,GAAG,CAAC;QAAE,OAAO,OAAO,CAAC;IAC9B,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,CAAC,KAAK,CAAiB,CAAC;IACpD,IAAI,EAAE,GAAG,KAAK,CAAC,MAAM,GAAG,WAAW,IAAI,KAAK,CAAC,IAAI,GAAG,EAAE,GAAG,WAAW;QAAE,OAAO,OAAO,CAAC;IACrF,IAAI,IAAI,GAAiB,KAAK,CAAC,OAAO,CAAC;IACvC,IAAI,KAAK,GAAiB,KAAK,CAAC,OAAO,CAAC;IACxC,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QACpC,MAAM,MAAM,GAAG,cAAc,CAAC,KAAK,EAAE,EAAE,CAAW,CAAC;QACnD,IAAI,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,CAAC,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC;QACzE,KAAK,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC;IAC1E,CAAC;IACD,MAAM,MAAM,GAAG;QACb,GAAG,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC;QACjC,EAAE,MAAM,EAAE,KAAK,CAAC,MAAM,EAAE,IAAI,EAAE,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE;QACjD,EAAE,MAAM,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE;QAChD,GAAG,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC;KACnC,CAAC;IACF,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,EAAE,CAAC;AACvC,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,YAAY,CAAC,OAAkB,EAAE,KAAa,EAAE,CAAS;IACvE,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IACrC,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;IACxC,IAAI,MAAM,KAAK,SAAS,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,OAAO,CAAC;IAChE,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,GAAG,WAAW,CAAC;IAC1C,MAAM,KAAK,GAAG,KAAK,CAAC,IAAI,GAAG,WAAW,CAAC;IACvC,IAAI,KAAK,GAAG,KAAK;QAAE,OAAO,OAAO,CAAC;IAClC,MAAM,EAAE,GAAG,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACvD,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,QAAQ,EAAE,EAAE;QACpD,IAAI,QAAQ,KAAK,KAAK;YAAE,OAAO,EAAE,GAAG,KAAK,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC;QACtD,IAAI,QAAQ,KAAK,KAAK,GAAG,CAAC;YAAE,OAAO,EAAE,GAAG,KAAK,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC;QAC5D,OAAO,KAAK,CAAC;IACf,CAAC,CAAC,CAAC;IACH,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,EAAE,CAAC;AACvC,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,WAAW,CAAC,OAAkB,EAAE,KAAa;IAC3D,IAAI,OAAO,CAAC,MAAM,CAAC,MAAM,IAAI,CAAC;QAAE,OAAO,OAAO,CAAC;IAC/C,MAAM,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IACtC,IAAI,OAAO,KAAK,SAAS;QAAE,OAAO,OAAO,CAAC;IAC1C,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC;IACtC,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;IACxB,IAAI,KAAK,KAAK,CAAC,EAAE,CAAC;QAChB,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,CAAiB,CAAC;QACvC,MAAM,CAAC,CAAC,CAAC,GAAG,EAAE,GAAG,IAAI,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,CAAC;IAClD,CAAC;SAAM,CAAC;QACN,MAAM,QAAQ,GAAG,MAAM,CAAC,KAAK,GAAG,CAAC,CAAiB,CAAC;QACnD,MAAM,CAAC,KAAK,GAAG,CAAC,CAAC,GAAG,EAAE,GAAG,QAAQ,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,CAAC;IAC1D,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,MAAM,EAAE,CAAC;AACvC,CAAC;AAED,8EAA8E;AAC9E,MAAM,UAAU,eAAe,CAAC,OAAkB,EAAE,KAAa,EAAE,KAAmB;IACpF,IAAI,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,SAAS;QAAE,OAAO,OAAO,CAAC;IACxD,OAAO;QACL,IAAI,EAAE,WAAW;QACjB,MAAM,EAAE,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,QAAQ,EAAE,EAAE,CAAC,CAAC,QAAQ,KAAK,KAAK,CAAC,CAAC,CAAC,EAAE,GAAG,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;KAC7G,CAAC;AACJ,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,mBAAmB,CAAC,IAA0B,EAAE,KAAmB;IACjF,MAAM,KAAK,GAAG,cAAc,CAAC,KAAK,EAAE,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IACvD,MAAM,GAAG,GAAG,cAAc,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC;IACvD,QAAQ,IAAI,EAAE,CAAC;QACb,KAAK,UAAU;YACb,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC;QACjD,KAAK,QAAQ;YACX,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC;QACxD,KAAK,WAAW;YACd,OAAO,KAAK,CAAC,OAAO,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;QACpG;YACE,OAAO,EAAE,IAAI,EAAE,CAAC;IACpB,CAAC;AACH,CAAC"}

package/dist/index.d.ts

@@ -0,0 +1,41 @@
+/**
+ * @horizon36596/zenith-core: geometry, heading modes, footprints, canonical form, resolution, planning and the
+ * feasibility checks. Its exports are the contract the CLI, the MCP server and the editor build on.
+ *
+ * Pure: no DOM, no clock, no randomness, no Node APIs, so the CLI, the MCP server, the editor and
+ * the tests all compute the same answer from the same files (CLAUDE.md rule 1).
+ */
+export * from "./geometry/vec.js";
+export * from "./geometry/angle.js";
+export * from "./geometry/quadrature.js";
+export * from "./geometry/curve.js";
+export * from "./geometry/path.js";
+export * from "./geometry/sat.js";
+export * from "./heading.js";
+export * from "./headingRanges.js";
+export * from "./footprint.js";
+export * from "./types.js";
+export * from "./season.js";
+export * from "./provenance.js";
+export * from "./trace.js";
+export * from "./load.js";
+export * from "./canonicalize.js";
+export * from "./resolve.js";
+export * from "./plan.js";
+export * from "./check.js";
+export * from "./continuity.js";
+export * from "./findingHelp.js";
+export * from "./kinematics.js";
+export * from "./estimate.js";
+export * from "./ledger.js";
+export * from "./fix.js";
+export * from "./mirror.js";
+export * from "./tokens.js";
+export * from "./render.js";
+export * from "./checks/intake.js";
+export * from "./diff.js";
+export * from "./prBody.js";
+export * from "./unimplemented.js";
+export * from "./edit/index.js";
+export * from "./sim/index.js";
+//# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AACH,cAAc,mBAAmB,CAAC;AAClC,cAAc,qBAAqB,CAAC;AACpC,cAAc,0BAA0B,CAAC;AACzC,cAAc,qBAAqB,CAAC;AACpC,cAAc,oBAAoB,CAAC;AACnC,cAAc,mBAAmB,CAAC;AAClC,cAAc,cAAc,CAAC;AAC7B,cAAc,oBAAoB,CAAC;AACnC,cAAc,gBAAgB,CAAC;AAC/B,cAAc,YAAY,CAAC;AAC3B,cAAc,aAAa,CAAC;AAC5B,cAAc,iBAAiB,CAAC;AAChC,cAAc,YAAY,CAAC;AAC3B,cAAc,WAAW,CAAC;AAC1B,cAAc,mBAAmB,CAAC;AAClC,cAAc,cAAc,CAAC;AAC7B,cAAc,WAAW,CAAC;AAC1B,cAAc,YAAY,CAAC;AAC3B,cAAc,iBAAiB,CAAC;AAChC,cAAc,kBAAkB,CAAC;AACjC,cAAc,iBAAiB,CAAC;AAChC,cAAc,eAAe,CAAC;AAC9B,cAAc,aAAa,CAAC;AAC5B,cAAc,UAAU,CAAC;AACzB,cAAc,aAAa,CAAC;AAC5B,cAAc,aAAa,CAAC;AAC5B,cAAc,aAAa,CAAC;AAC5B,cAAc,oBAAoB,CAAC;AACnC,cAAc,WAAW,CAAC;AAC1B,cAAc,aAAa,CAAC;AAC5B,cAAc,oBAAoB,CAAC;AACnC,cAAc,iBAAiB,CAAC;AAChC,cAAc,gBAAgB,CAAC"}

package/dist/index.js

@@ -0,0 +1,41 @@
+/**
+ * @horizon36596/zenith-core: geometry, heading modes, footprints, canonical form, resolution, planning and the
+ * feasibility checks. Its exports are the contract the CLI, the MCP server and the editor build on.
+ *
+ * Pure: no DOM, no clock, no randomness, no Node APIs, so the CLI, the MCP server, the editor and
+ * the tests all compute the same answer from the same files (CLAUDE.md rule 1).
+ */
+export * from "./geometry/vec.js";
+export * from "./geometry/angle.js";
+export * from "./geometry/quadrature.js";
+export * from "./geometry/curve.js";
+export * from "./geometry/path.js";
+export * from "./geometry/sat.js";
+export * from "./heading.js";
+export * from "./headingRanges.js";
+export * from "./footprint.js";
+export * from "./types.js";
+export * from "./season.js";
+export * from "./provenance.js";
+export * from "./trace.js";
+export * from "./load.js";
+export * from "./canonicalize.js";
+export * from "./resolve.js";
+export * from "./plan.js";
+export * from "./check.js";
+export * from "./continuity.js";
+export * from "./findingHelp.js";
+export * from "./kinematics.js";
+export * from "./estimate.js";
+export * from "./ledger.js";
+export * from "./fix.js";
+export * from "./mirror.js";
+export * from "./tokens.js";
+export * from "./render.js";
+export * from "./checks/intake.js";
+export * from "./diff.js";
+export * from "./prBody.js";
+export * from "./unimplemented.js";
+export * from "./edit/index.js";
+export * from "./sim/index.js";
+//# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AACH,cAAc,mBAAmB,CAAC;AAClC,cAAc,qBAAqB,CAAC;AACpC,cAAc,0BAA0B,CAAC;AACzC,cAAc,qBAAqB,CAAC;AACpC,cAAc,oBAAoB,CAAC;AACnC,cAAc,mBAAmB,CAAC;AAClC,cAAc,cAAc,CAAC;AAC7B,cAAc,oBAAoB,CAAC;AACnC,cAAc,gBAAgB,CAAC;AAC/B,cAAc,YAAY,CAAC;AAC3B,cAAc,aAAa,CAAC;AAC5B,cAAc,iBAAiB,CAAC;AAChC,cAAc,YAAY,CAAC;AAC3B,cAAc,WAAW,CAAC;AAC1B,cAAc,mBAAmB,CAAC;AAClC,cAAc,cAAc,CAAC;AAC7B,cAAc,WAAW,CAAC;AAC1B,cAAc,YAAY,CAAC;AAC3B,cAAc,iBAAiB,CAAC;AAChC,cAAc,kBAAkB,CAAC;AACjC,cAAc,iBAAiB,CAAC;AAChC,cAAc,eAAe,CAAC;AAC9B,cAAc,aAAa,CAAC;AAC5B,cAAc,UAAU,CAAC;AACzB,cAAc,aAAa,CAAC;AAC5B,cAAc,aAAa,CAAC;AAC5B,cAAc,aAAa,CAAC;AAC5B,cAAc,oBAAoB,CAAC;AACnC,cAAc,WAAW,CAAC;AAC1B,cAAc,aAAa,CAAC;AAC5B,cAAc,oBAAoB,CAAC;AACnC,cAAc,iBAAiB,CAAC;AAChC,cAAc,gBAAgB,CAAC"}

package/dist/kinematics.d.ts

@@ -0,0 +1,63 @@
+import { type Robot } from "@horizon36596/zenith-schema";
+/**
+ * The one place that reads a tunable out of `robot.json` and says what happens when the file does
+ * not carry it. Every default here is named where it is defined; nothing
+ * is invented, and nothing is read from two places without a stated order of preference.
+ */
+/** Seconds added to a path step for the follower to declare the end constraints met (`03` §3.7). */
+export declare const DEFAULT_SETTLE_S = 0.25;
+/** The estimate band until `07` fits a recorded run: nominal times one plus or minus this (`03` §3). */
+export declare const DEFAULT_BAND_FRACTION = 0.2;
+/** Where STRAFE_FRACTION starts warning: a fifth of a step spent sideways (`03` §4). */
+export declare const DEFAULT_STRAFE_FRACTION_WARN = 0.2;
+/** The fastest an intaking sweep should run, as a fraction of full speed (`03` §4, SWEEP_SPEED). */
+export declare const DEFAULT_SWEEP_SPEED_FRACTION = 0.4;
+/** How far off the travel direction a running mouth may point before MOUTH_LEADING fires. */
+export declare const MOUTH_LEADING_TOLERANCE_RAD: number;
+/** A step's `timeoutS` under this multiple of its estimate is TIMEOUT_TIGHT. */
+export declare const TIMEOUT_TIGHT_MULTIPLE = 1.2;
+/** Velocity and deceleration limits in the robot's own frame, already scaled by nothing. */
+export interface RobotLimits {
+    maxForwardVelInPerS: number;
+    maxStrafeVelInPerS: number;
+    forwardDecelInPerS2: number;
+    strafeDecelInPerS2: number;
+    accelInPerS2: number;
+    maxAngularVelRadPerS: number;
+    defaultPathSpeedFraction: number;
+    settleS: number;
+    bandFraction: number;
+    /** True when the follower holds the end pose, so every path step brakes to a stop (`03` §2). */
+    holdEnd: boolean;
+}
+export declare function robotLimits(robot: Robot): RobotLimits;
+/**
+ * The STRAFE_FRACTION threshold. `strafeFractionWarn` is the spelling the biobuzz robot file uses;
+ * `strafeFractionThreshold` is the older one and is still read so an existing file keeps working.
+ */
+export declare const strafeFractionWarn: (robot: Robot) => number;
+export declare const sweepSpeedFraction: (robot: Robot) => number;
+/**
+ * The robot's height for the STRUCTURE z gate, and the only place it is read: the root key first,
+ * then the footprint's, then the default. Both keys are `{ value, provenance }`, so whichever wins
+ * carries its label with it.
+ */
+export declare const robotHeightIn: (robot: Robot) => number;
+/**
+ * The velocity cap for a travel direction `phi` radians off the nose: the ellipse with semi-axes
+ * `maxForwardVel` and `maxStrafeVel` (`03` §3.1). `phi = 0` is nose-on, `phi = pi/2` is a pure
+ * strafe to the left.
+ */
+export declare function ellipseLimit(forward: number, strafe: number, phiRad: number): number;
+/** The speed cap in in/s for a travel direction, before `speedFraction` is applied. */
+export declare const velocityCapInPerS: (limits: RobotLimits, phiRad: number) => number;
+/** The coasting deceleration in in/s^2 available in a travel direction (`03` §3.2). */
+export declare const decelInPerS2: (limits: RobotLimits, phiRad: number) => number;
+/** The stopping distance from a speed in a travel direction, which is what strafing really costs. */
+export declare const stoppingDistanceIn: (limits: RobotLimits, velocityInPerS: number, phiRad: number) => number;
+/**
+ * The lateral acceleration the drivetrain is assumed to hold in a corner. `03` §3.5 names
+ * `strafeDecel` as the proxy and says to label it as one, which `estimate`'s explanation does.
+ */
+export declare const lateralAccelLimitInPerS2: (limits: RobotLimits) => number;
+//# sourceMappingURL=kinematics.d.ts.map

package/dist/kinematics.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"kinematics.d.ts","sourceRoot":"","sources":["../src/kinematics.ts"],"names":[],"mappings":"AAAA,OAAO,EAA2B,KAAK,KAAK,EAAE,MAAM,6BAA6B,CAAC;AAElF;;;;GAIG;AAEH,oGAAoG;AACpG,eAAO,MAAM,gBAAgB,OAAO,CAAC;AAErC,wGAAwG;AACxG,eAAO,MAAM,qBAAqB,MAAM,CAAC;AAEzC,wFAAwF;AACxF,eAAO,MAAM,4BAA4B,MAAM,CAAC;AAEhD,oGAAoG;AACpG,eAAO,MAAM,4BAA4B,MAAM,CAAC;AAEhD,6FAA6F;AAC7F,eAAO,MAAM,2BAA2B,QAAc,CAAC;AAEvD,gFAAgF;AAChF,eAAO,MAAM,sBAAsB,MAAM,CAAC;AAO1C,4FAA4F;AAC5F,MAAM,WAAW,WAAW;IAC1B,mBAAmB,EAAE,MAAM,CAAC;IAC5B,kBAAkB,EAAE,MAAM,CAAC;IAC3B,mBAAmB,EAAE,MAAM,CAAC;IAC5B,kBAAkB,EAAE,MAAM,CAAC;IAC3B,YAAY,EAAE,MAAM,CAAC;IACrB,oBAAoB,EAAE,MAAM,CAAC;IAC7B,wBAAwB,EAAE,MAAM,CAAC;IACjC,OAAO,EAAE,MAAM,CAAC;IAChB,YAAY,EAAE,MAAM,CAAC;IACrB,gGAAgG;IAChG,OAAO,EAAE,OAAO,CAAC;CAClB;AAED,wBAAgB,WAAW,CAAC,KAAK,EAAE,KAAK,GAAG,WAAW,CAcrD;AAED;;;GAGG;AACH,eAAO,MAAM,kBAAkB,GAAI,OAAO,KAAK,KAAG,MAGpB,CAAC;AAE/B,eAAO,MAAM,kBAAkB,GAAI,OAAO,KAAK,KAAG,MAC0B,CAAC;AAE7E;;;;GAIG;AACH,eAAO,MAAM,aAAa,GAAI,OAAO,KAAK,KAAG,MACwC,CAAC;AAEtF;;;;GAIG;AACH,wBAAgB,YAAY,CAAC,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,MAAM,CAKpF;AAED,uFAAuF;AACvF,eAAO,MAAM,iBAAiB,GAAI,QAAQ,WAAW,EAAE,QAAQ,MAAM,KAAG,MACK,CAAC;AAE9E,uFAAuF;AACvF,eAAO,MAAM,YAAY,GAAI,QAAQ,WAAW,EAAE,QAAQ,MAAM,KAAG,MACU,CAAC;AAE9E,qGAAqG;AACrG,eAAO,MAAM,kBAAkB,GAC7B,QAAQ,WAAW,EACnB,gBAAgB,MAAM,EACtB,QAAQ,MAAM,KACb,MAAgF,CAAC;AAEpF;;;GAGG;AACH,eAAO,MAAM,wBAAwB,GAAI,QAAQ,WAAW,KAAG,MAAmC,CAAC"}

package/dist/kinematics.js

@@ -0,0 +1,71 @@
+import { DEFAULT_ROBOT_HEIGHT_IN } from "@horizon36596/zenith-schema";
+/**
+ * The one place that reads a tunable out of `robot.json` and says what happens when the file does
+ * not carry it. Every default here is named where it is defined; nothing
+ * is invented, and nothing is read from two places without a stated order of preference.
+ */
+/** Seconds added to a path step for the follower to declare the end constraints met (`03` §3.7). */
+export const DEFAULT_SETTLE_S = 0.25;
+/** The estimate band until `07` fits a recorded run: nominal times one plus or minus this (`03` §3). */
+export const DEFAULT_BAND_FRACTION = 0.2;
+/** Where STRAFE_FRACTION starts warning: a fifth of a step spent sideways (`03` §4). */
+export const DEFAULT_STRAFE_FRACTION_WARN = 0.2;
+/** The fastest an intaking sweep should run, as a fraction of full speed (`03` §4, SWEEP_SPEED). */
+export const DEFAULT_SWEEP_SPEED_FRACTION = 0.4;
+/** How far off the travel direction a running mouth may point before MOUTH_LEADING fires. */
+export const MOUTH_LEADING_TOLERANCE_RAD = Math.PI / 6;
+/** A step's `timeoutS` under this multiple of its estimate is TIMEOUT_TIGHT. */
+export const TIMEOUT_TIGHT_MULTIPLE = 1.2;
+const valueOf = (source, fallback) => (source === undefined ? fallback : source.value);
+export function robotLimits(robot) {
+    const k = robot.kinematics;
+    return {
+        maxForwardVelInPerS: k.maxForwardVelInPerS.value,
+        maxStrafeVelInPerS: k.maxStrafeVelInPerS.value,
+        forwardDecelInPerS2: k.forwardDecelInPerS2.value,
+        strafeDecelInPerS2: k.strafeDecelInPerS2.value,
+        accelInPerS2: k.accelInPerS2.value,
+        maxAngularVelRadPerS: k.maxAngularVelRadPerS.value,
+        defaultPathSpeedFraction: k.defaultPathSpeedFraction.value,
+        settleS: valueOf(k.settleS, DEFAULT_SETTLE_S),
+        bandFraction: k.calibration?.band ?? DEFAULT_BAND_FRACTION,
+        holdEnd: k.follower.holdEnd,
+    };
+}
+/**
+ * The STRAFE_FRACTION threshold. `strafeFractionWarn` is the spelling the biobuzz robot file uses;
+ * `strafeFractionThreshold` is the older one and is still read so an existing file keeps working.
+ */
+export const strafeFractionWarn = (robot) => robot.kinematics.strafeFractionWarn?.value ??
+    robot.kinematics.strafeFractionThreshold?.value ??
+    DEFAULT_STRAFE_FRACTION_WARN;
+export const sweepSpeedFraction = (robot) => valueOf(robot.kinematics.sweepSpeedFraction, DEFAULT_SWEEP_SPEED_FRACTION);
+/**
+ * The robot's height for the STRUCTURE z gate, and the only place it is read: the root key first,
+ * then the footprint's, then the default. Both keys are `{ value, provenance }`, so whichever wins
+ * carries its label with it.
+ */
+export const robotHeightIn = (robot) => robot.heightIn?.value ?? robot.footprint.heightIn?.value ?? DEFAULT_ROBOT_HEIGHT_IN;
+/**
+ * The velocity cap for a travel direction `phi` radians off the nose: the ellipse with semi-axes
+ * `maxForwardVel` and `maxStrafeVel` (`03` §3.1). `phi = 0` is nose-on, `phi = pi/2` is a pure
+ * strafe to the left.
+ */
+export function ellipseLimit(forward, strafe, phiRad) {
+    const cos = Math.cos(phiRad) / forward;
+    const sin = Math.sin(phiRad) / strafe;
+    const denominator = Math.hypot(cos, sin);
+    return denominator === 0 ? forward : 1 / denominator;
+}
+/** The speed cap in in/s for a travel direction, before `speedFraction` is applied. */
+export const velocityCapInPerS = (limits, phiRad) => ellipseLimit(limits.maxForwardVelInPerS, limits.maxStrafeVelInPerS, phiRad);
+/** The coasting deceleration in in/s^2 available in a travel direction (`03` §3.2). */
+export const decelInPerS2 = (limits, phiRad) => ellipseLimit(limits.forwardDecelInPerS2, limits.strafeDecelInPerS2, phiRad);
+/** The stopping distance from a speed in a travel direction, which is what strafing really costs. */
+export const stoppingDistanceIn = (limits, velocityInPerS, phiRad) => (velocityInPerS * velocityInPerS) / (2 * decelInPerS2(limits, phiRad));
+/**
+ * The lateral acceleration the drivetrain is assumed to hold in a corner. `03` §3.5 names
+ * `strafeDecel` as the proxy and says to label it as one, which `estimate`'s explanation does.
+ */
+export const lateralAccelLimitInPerS2 = (limits) => limits.strafeDecelInPerS2;
+//# sourceMappingURL=kinematics.js.map

package/dist/kinematics.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"kinematics.js","sourceRoot":"","sources":["../src/kinematics.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,uBAAuB,EAAc,MAAM,6BAA6B,CAAC;AAElF;;;;GAIG;AAEH,oGAAoG;AACpG,MAAM,CAAC,MAAM,gBAAgB,GAAG,IAAI,CAAC;AAErC,wGAAwG;AACxG,MAAM,CAAC,MAAM,qBAAqB,GAAG,GAAG,CAAC;AAEzC,wFAAwF;AACxF,MAAM,CAAC,MAAM,4BAA4B,GAAG,GAAG,CAAC;AAEhD,oGAAoG;AACpG,MAAM,CAAC,MAAM,4BAA4B,GAAG,GAAG,CAAC;AAEhD,6FAA6F;AAC7F,MAAM,CAAC,MAAM,2BAA2B,GAAG,IAAI,CAAC,EAAE,GAAG,CAAC,CAAC;AAEvD,gFAAgF;AAChF,MAAM,CAAC,MAAM,sBAAsB,GAAG,GAAG,CAAC;AAE1C,MAAM,OAAO,GAAG,CACd,MAAqC,EACrC,QAAgB,EACR,EAAE,CAAC,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AAiB9D,MAAM,UAAU,WAAW,CAAC,KAAY;IACtC,MAAM,CAAC,GAAG,KAAK,CAAC,UAAU,CAAC;IAC3B,OAAO;QACL,mBAAmB,EAAE,CAAC,CAAC,mBAAmB,CAAC,KAAK;QAChD,kBAAkB,EAAE,CAAC,CAAC,kBAAkB,CAAC,KAAK;QAC9C,mBAAmB,EAAE,CAAC,CAAC,mBAAmB,CAAC,KAAK;QAChD,kBAAkB,EAAE,CAAC,CAAC,kBAAkB,CAAC,KAAK;QAC9C,YAAY,EAAE,CAAC,CAAC,YAAY,CAAC,KAAK;QAClC,oBAAoB,EAAE,CAAC,CAAC,oBAAoB,CAAC,KAAK;QAClD,wBAAwB,EAAE,CAAC,CAAC,wBAAwB,CAAC,KAAK;QAC1D,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC,OAAO,EAAE,gBAAgB,CAAC;QAC7C,YAAY,EAAE,CAAC,CAAC,WAAW,EAAE,IAAI,IAAI,qBAAqB;QAC1D,OAAO,EAAE,CAAC,CAAC,QAAQ,CAAC,OAAO;KAC5B,CAAC;AACJ,CAAC;AAED;;;GAGG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC,KAAY,EAAU,EAAE,CACzD,KAAK,CAAC,UAAU,CAAC,kBAAkB,EAAE,KAAK;IAC1C,KAAK,CAAC,UAAU,CAAC,uBAAuB,EAAE,KAAK;IAC/C,4BAA4B,CAAC;AAE/B,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC,KAAY,EAAU,EAAE,CACzD,OAAO,CAAC,KAAK,CAAC,UAAU,CAAC,kBAAkB,EAAE,4BAA4B,CAAC,CAAC;AAE7E;;;;GAIG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,KAAY,EAAU,EAAE,CACpD,KAAK,CAAC,QAAQ,EAAE,KAAK,IAAI,KAAK,CAAC,SAAS,CAAC,QAAQ,EAAE,KAAK,IAAI,uBAAuB,CAAC;AAEtF;;;;GAIG;AACH,MAAM,UAAU,YAAY,CAAC,OAAe,EAAE,MAAc,EAAE,MAAc;IAC1E,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,OAAO,CAAC;IACvC,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,MAAM,CAAC;IACtC,MAAM,WAAW,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;IACzC,OAAO,WAAW,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,GAAG,WAAW,CAAC;AACvD,CAAC;AAED,uFAAuF;AACvF,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC,MAAmB,EAAE,MAAc,EAAU,EAAE,CAC/E,YAAY,CAAC,MAAM,CAAC,mBAAmB,EAAE,MAAM,CAAC,kBAAkB,EAAE,MAAM,CAAC,CAAC;AAE9E,uFAAuF;AACvF,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,MAAmB,EAAE,MAAc,EAAU,EAAE,CAC1E,YAAY,CAAC,MAAM,CAAC,mBAAmB,EAAE,MAAM,CAAC,kBAAkB,EAAE,MAAM,CAAC,CAAC;AAE9E,qGAAqG;AACrG,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAChC,MAAmB,EACnB,cAAsB,EACtB,MAAc,EACN,EAAE,CAAC,CAAC,cAAc,GAAG,cAAc,CAAC,GAAG,CAAC,CAAC,GAAG,YAAY,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;AAEpF;;;GAGG;AACH,MAAM,CAAC,MAAM,wBAAwB,GAAG,CAAC,MAAmB,EAAU,EAAE,CAAC,MAAM,CAAC,kBAAkB,CAAC"}

package/dist/ledger.d.ts

@@ -0,0 +1,49 @@
+import type { Field } from "@horizon36596/zenith-schema";
+import { type SeasonRules, type SeasonState, type TargetId } from "./season.js";
+import type { LedgerRow, Plan } from "./types.js";
+/**
+ * The ledger of site/docs/seasons.md: what the robot holds, where
+ * every element is and what the season's own state is, stepped through the auto once.
+ *
+ * Transitions come from three places, in this order of trust:
+ *
+ *   1. `field.json` elements at kickoff, through `SeasonRules.initialState`.
+ *   2. Registry `ledger` hints on commands in `robot.json` (`launches: "count"`, `tip: "own"`).
+ *   3. A step's `expect` annotations (`collectFrom`, `launchesInto`, `tip`), which are the author
+ *      telling the planner something the files cannot work out, and so win where they disagree.
+ *
+ * The core knows nothing about the game: everything below turns a step into a call on the season
+ * plugin and records what came back.
+ */
+/** One step's effect on the ledger, which is what the checks read. */
+export interface LedgerEntry {
+    stepId: string;
+    /** The state as the step begins, which is what LEGAL_APPROACH and EMPTY_SHOT ask about. */
+    before: SeasonState;
+    after: SeasonState;
+    /** What the robot holds once the step has run, when the plugin tracks it. */
+    holds: Record<string, number>;
+    /** The target the ledger says is current while the step runs. */
+    target: TargetId | null;
+    /** How many pieces this step launched, and at what. */
+    launched: number;
+    collected: {
+        containerId: string;
+        count: number;
+    } | null;
+    tipped: "own" | "opponent" | null;
+    /** The row this step contributes to the panel, or null when it changed nothing. */
+    row: LedgerRow | null;
+}
+export interface LedgerRun {
+    entries: LedgerEntry[];
+    byStepId: Readonly<Record<string, LedgerEntry>>;
+    rows: LedgerRow[];
+    initialState: SeasonState;
+    finalState: SeasonState;
+}
+/** Steps the auto once and returns every transition, for the panel, the checks and the PR body. */
+export declare function runLedger(plan: Plan, field: Field, season?: SeasonRules): LedgerRun;
+/** The ledger rows of `03` section 6, for the panel and the pull-request body. */
+export declare const ledger: (plan: Plan, field: Field, season?: SeasonRules) => LedgerRow[];
+//# sourceMappingURL=ledger.d.ts.map

package/dist/ledger.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ledger.d.ts","sourceRoot":"","sources":["../src/ledger.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAe,KAAK,EAAe,MAAM,6BAA6B,CAAC;AACnF,OAAO,EAAiB,KAAK,WAAW,EAAE,KAAK,WAAW,EAAE,KAAK,QAAQ,EAAE,MAAM,aAAa,CAAC;AAC/F,OAAO,KAAK,EAAE,SAAS,EAAE,IAAI,EAAY,MAAM,YAAY,CAAC;AAE5D;;;;;;;;;;;;;GAaG;AAEH,sEAAsE;AACtE,MAAM,WAAW,WAAW;IAC1B,MAAM,EAAE,MAAM,CAAC;IACf,2FAA2F;IAC3F,MAAM,EAAE,WAAW,CAAC;IACpB,KAAK,EAAE,WAAW,CAAC;IACnB,6EAA6E;IAC7E,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAC9B,iEAAiE;IACjE,MAAM,EAAE,QAAQ,GAAG,IAAI,CAAC;IACxB,uDAAuD;IACvD,QAAQ,EAAE,MAAM,CAAC;IACjB,SAAS,EAAE;QAAE,WAAW,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAE,GAAG,IAAI,CAAC;IACzD,MAAM,EAAE,KAAK,GAAG,UAAU,GAAG,IAAI,CAAC;IAClC,mFAAmF;IACnF,GAAG,EAAE,SAAS,GAAG,IAAI,CAAC;CACvB;AAED,MAAM,WAAW,SAAS;IACxB,OAAO,EAAE,WAAW,EAAE,CAAC;IACvB,QAAQ,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC,CAAC;IAChD,IAAI,EAAE,SAAS,EAAE,CAAC;IAClB,YAAY,EAAE,WAAW,CAAC;IAC1B,UAAU,EAAE,WAAW,CAAC;CACzB;AAiCD,mGAAmG;AACnG,wBAAgB,SAAS,CACvB,IAAI,EAAE,IAAI,EACV,KAAK,EAAE,KAAK,EACZ,MAAM,GAAE,WAA2B,GAClC,SAAS,CAsGX;AAkBD,kFAAkF;AAClF,eAAO,MAAM,MAAM,GAAI,MAAM,IAAI,EAAE,OAAO,KAAK,EAAE,SAAQ,WAA2B,KAAG,SAAS,EAC3D,CAAC"}

package/dist/ledger.js

@@ -0,0 +1,136 @@
+import { noSeasonRules } from "./season.js";
+const toNumber = (value) => typeof value === "number" && Number.isFinite(value) ? value : null;
+/**
+ * How many pieces a command launches: the registry hint names either a number or one of the
+ * command's own parameters, and `expect.count` overrides both.
+ */
+function launchCount(spec, args, expected) {
+    if (expected !== undefined)
+        return expected;
+    const hint = spec?.ledger?.["launches"];
+    if (hint === undefined)
+        return null;
+    if (typeof hint === "number")
+        return hint;
+    const fromArgs = toNumber(args?.[hint]);
+    if (fromArgs !== null)
+        return fromArgs;
+    const param = spec?.params?.[hint];
+    if (param !== undefined && "default" in param) {
+        const fallback = toNumber(param.default);
+        if (fallback !== null)
+            return fallback;
+    }
+    return toNumber(Number(hint));
+}
+const tipHint = (spec) => {
+    const hint = spec?.ledger?.["tip"];
+    return hint === "own" || hint === "opponent" ? hint : null;
+};
+/** Steps the auto once and returns every transition, for the panel, the checks and the PR body. */
+export function runLedger(plan, field, season = noSeasonRules) {
+    const robot = plan.robot;
+    const alliance = plan.auto.alliance;
+    const specOf = (name) => robot.commands.find((command) => command.name === name);
+    const initialState = season.initialState(field);
+    let state = season.start === undefined
+        ? initialState
+        : season.start(initialState, plan.auto.start.holds ?? {});
+    const withStart = state;
+    const entries = [];
+    const byStepId = {};
+    const apply = (step) => {
+        const before = state;
+        const target = season.currentTarget(state, alliance);
+        const expect = "expect" in step.step ? step.step.expect : undefined;
+        let launched = 0;
+        let collected = null;
+        let tipped = null;
+        if (step.step.kind === "command") {
+            const call = step.step;
+            const spec = specOf(call.name);
+            const count = launchCount(spec, call.args, expect?.count);
+            if (count !== null && count > 0) {
+                launched = count;
+                state = season.onLaunch(state, expect?.launchesInto ?? target ?? "", count, step.startPose);
+            }
+            tipped = expect?.tip ?? tipHint(spec);
+        }
+        else {
+            if (expect?.launchesInto !== undefined && (expect.count ?? 0) > 0) {
+                launched = expect.count ?? 0;
+                state = season.onLaunch(state, expect.launchesInto, launched, step.startPose);
+            }
+            tipped = expect?.tip ?? null;
+        }
+        if (expect?.collectFrom !== undefined) {
+            const count = expect.count ?? 1;
+            collected = { containerId: expect.collectFrom, count };
+            state = season.onCollect(state, expect.collectFrom, count);
+        }
+        if (tipped !== null && season.onTip !== undefined) {
+            state = season.onTip(state, tipped, alliance);
+        }
+        const holds = season.holds === undefined ? {} : season.holds(state);
+        const detail = season.describe === undefined ? null : season.describe(before, state);
+        const changed = before !== state;
+        const row = changed
+            ? {
+                stepId: step.id,
+                label: describeStep(step, launched, collected, tipped),
+                ...(detail === null ? {} : { detail }),
+                holds,
+            }
+            : null;
+        const entry = {
+            stepId: step.id,
+            before,
+            after: state,
+            holds,
+            target,
+            launched,
+            collected,
+            tipped,
+            row,
+        };
+        entries.push(entry);
+        byStepId[step.id] = entry;
+    };
+    const walk = (steps) => {
+        for (const step of steps) {
+            apply(step);
+            if (step.children === undefined)
+                continue;
+            if (step.step.kind === "branch") {
+                // Only one side of a branch runs, and `resolve` already takes the `then` side as the one
+                // that defines where the robot ends up, so the ledger follows the same side.
+                walk(step.children.slice(0, step.step.then.length));
+                continue;
+            }
+            walk(step.children);
+        }
+    };
+    walk(plan.steps);
+    return {
+        entries,
+        byStepId,
+        rows: [...entries.flatMap((entry) => (entry.row === null ? [] : [entry.row])), ...season.summary(state)],
+        initialState: withStart,
+        finalState: state,
+    };
+}
+/** What the step did, in the words the ledger panel prints in its first column. */
+function describeStep(step, launched, collected, tipped) {
+    const parts = [];
+    if (launched > 0)
+        parts.push(`launched ${String(launched)}`);
+    if (collected !== null) {
+        parts.push(`collected ${String(collected.count)} from ${collected.containerId}`);
+    }
+    if (tipped !== null)
+        parts.push(`tipped the ${tipped} hive`);
+    return parts.length === 0 ? step.id : `${step.id}: ${parts.join(", ")}`;
+}
+/** The ledger rows of `03` section 6, for the panel and the pull-request body. */
+export const ledger = (plan, field, season = noSeasonRules) => runLedger(plan, field, season).rows;
+//# sourceMappingURL=ledger.js.map

package/dist/ledger.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ledger.js","sourceRoot":"","sources":["../src/ledger.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,aAAa,EAAqD,MAAM,aAAa,CAAC;AA4C/F,MAAM,QAAQ,GAAG,CAAC,KAAc,EAAiB,EAAE,CACjD,OAAO,KAAK,KAAK,QAAQ,IAAI,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC;AAErE;;;GAGG;AACH,SAAS,WAAW,CAClB,IAA6B,EAC7B,IAAqE,EACrE,QAA4B;IAE5B,IAAI,QAAQ,KAAK,SAAS;QAAE,OAAO,QAAQ,CAAC;IAC5C,MAAM,IAAI,GAAG,IAAI,EAAE,MAAM,EAAE,CAAC,UAAU,CAAC,CAAC;IACxC,IAAI,IAAI,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IACpC,IAAI,OAAO,IAAI,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IAC1C,MAAM,QAAQ,GAAG,QAAQ,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC;IACxC,IAAI,QAAQ,KAAK,IAAI;QAAE,OAAO,QAAQ,CAAC;IACvC,MAAM,KAAK,GAAG,IAAI,EAAE,MAAM,EAAE,CAAC,IAAI,CAAC,CAAC;IACnC,IAAI,KAAK,KAAK,SAAS,IAAI,SAAS,IAAI,KAAK,EAAE,CAAC;QAC9C,MAAM,QAAQ,GAAG,QAAQ,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;QACzC,IAAI,QAAQ,KAAK,IAAI;YAAE,OAAO,QAAQ,CAAC;IACzC,CAAC;IACD,OAAO,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;AAChC,CAAC;AAED,MAAM,OAAO,GAAG,CAAC,IAA6B,EAA6B,EAAE;IAC3E,MAAM,IAAI,GAAG,IAAI,EAAE,MAAM,EAAE,CAAC,KAAK,CAAC,CAAC;IACnC,OAAO,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;AAC7D,CAAC,CAAC;AAEF,mGAAmG;AACnG,MAAM,UAAU,SAAS,CACvB,IAAU,EACV,KAAY,EACZ,SAAsB,aAAa;IAEnC,MAAM,KAAK,GAAU,IAAI,CAAC,KAAK,CAAC;IAChC,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC;IACpC,MAAM,MAAM,GAAG,CAAC,IAAY,EAA2B,EAAE,CACvD,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC;IAE1D,MAAM,YAAY,GAAG,MAAM,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC;IAChD,IAAI,KAAK,GACP,MAAM,CAAC,KAAK,KAAK,SAAS;QACxB,CAAC,CAAC,YAAY;QACd,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,YAAY,EAAE,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC;IAC9D,MAAM,SAAS,GAAG,KAAK,CAAC;IAExB,MAAM,OAAO,GAAkB,EAAE,CAAC;IAClC,MAAM,QAAQ,GAAgC,EAAE,CAAC;IAEjD,MAAM,KAAK,GAAG,CAAC,IAAc,EAAQ,EAAE;QACrC,MAAM,MAAM,GAAG,KAAK,CAAC;QACrB,MAAM,MAAM,GAAG,MAAM,CAAC,aAAa,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;QACrD,MAAM,MAAM,GAAG,QAAQ,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC;QAEpE,IAAI,QAAQ,GAAG,CAAC,CAAC;QACjB,IAAI,SAAS,GAAkD,IAAI,CAAC;QACpE,IAAI,MAAM,GAA8B,IAAI,CAAC;QAE7C,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YACjC,MAAM,IAAI,GAAG,IAAI,CAAC,IAA0C,CAAC;YAC7D,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC/B,MAAM,KAAK,GAAG,WAAW,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC;YAC1D,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,GAAG,CAAC,EAAE,CAAC;gBAChC,QAAQ,GAAG,KAAK,CAAC;gBACjB,KAAK,GAAG,MAAM,CAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,EAAE,YAAY,IAAI,MAAM,IAAI,EAAE,EAAE,KAAK,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC;YAC9F,CAAC;YACD,MAAM,GAAG,MAAM,EAAE,GAAG,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC;QACxC,CAAC;aAAM,CAAC;YACN,IAAI,MAAM,EAAE,YAAY,KAAK,SAAS,IAAI,CAAC,MAAM,CAAC,KAAK,IAAI,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC;gBAClE,QAAQ,GAAG,MAAM,CAAC,KAAK,IAAI,CAAC,CAAC;gBAC7B,KAAK,GAAG,MAAM,CAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC,YAAY,EAAE,QAAQ,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC;YAChF,CAAC;YACD,MAAM,GAAG,MAAM,EAAE,GAAG,IAAI,IAAI,CAAC;QAC/B,CAAC;QAED,IAAI,MAAM,EAAE,WAAW,KAAK,SAAS,EAAE,CAAC;YACtC,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,IAAI,CAAC,CAAC;YAChC,SAAS,GAAG,EAAE,WAAW,EAAE,MAAM,CAAC,WAAW,EAAE,KAAK,EAAE,CAAC;YACvD,KAAK,GAAG,MAAM,CAAC,SAAS,CAAC,KAAK,EAAE,MAAM,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC;QAC7D,CAAC;QAED,IAAI,MAAM,KAAK,IAAI,IAAI,MAAM,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;YAClD,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,KAAK,EAAE,MAAM,EAAE,QAAQ,CAAC,CAAC;QAChD,CAAC;QAED,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QACpE,MAAM,MAAM,GAAG,MAAM,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;QACrF,MAAM,OAAO,GAAG,MAAM,KAAK,KAAK,CAAC;QACjC,MAAM,GAAG,GAAqB,OAAO;YACnC,CAAC,CAAC;gBACE,MAAM,EAAE,IAAI,CAAC,EAAE;gBACf,KAAK,EAAE,YAAY,CAAC,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,CAAC;gBACtD,GAAG,CAAC,MAAM,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC;gBACtC,KAAK;aACN;YACH,CAAC,CAAC,IAAI,CAAC;QAET,MAAM,KAAK,GAAgB;YACzB,MAAM,EAAE,IAAI,CAAC,EAAE;YACf,MAAM;YACN,KAAK,EAAE,KAAK;YACZ,KAAK;YACL,MAAM;YACN,QAAQ;YACR,SAAS;YACT,MAAM;YACN,GAAG;SACJ,CAAC;QACF,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACpB,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC;IAC5B,CAAC,CAAC;IAEF,MAAM,IAAI,GAAG,CAAC,KAA0B,EAAQ,EAAE;QAChD,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,KAAK,CAAC,IAAI,CAAC,CAAC;YACZ,IAAI,IAAI,CAAC,QAAQ,KAAK,SAAS;gBAAE,SAAS;YAC1C,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;gBAChC,yFAAyF;gBACzF,6EAA6E;gBAC7E,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC;gBACpD,SAAS;YACX,CAAC;YACD,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACtB,CAAC;IACH,CAAC,CAAC;IAEF,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAEjB,OAAO;QACL,OAAO;QACP,QAAQ;QACR,IAAI,EAAE,CAAC,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;QACxG,YAAY,EAAE,SAAS;QACvB,UAAU,EAAE,KAAK;KAClB,CAAC;AACJ,CAAC;AAED,mFAAmF;AACnF,SAAS,YAAY,CACnB,IAAc,EACd,QAAgB,EAChB,SAAwD,EACxD,MAAiC;IAEjC,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,IAAI,QAAQ,GAAG,CAAC;QAAE,KAAK,CAAC,IAAI,CAAC,YAAY,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;IAC7D,IAAI,SAAS,KAAK,IAAI,EAAE,CAAC;QACvB,KAAK,CAAC,IAAI,CAAC,aAAa,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,SAAS,SAAS,CAAC,WAAW,EAAE,CAAC,CAAC;IACnF,CAAC;IACD,IAAI,MAAM,KAAK,IAAI;QAAE,KAAK,CAAC,IAAI,CAAC,cAAc,MAAM,OAAO,CAAC,CAAC;IAC7D,OAAO,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,EAAE,KAAK,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;AAC1E,CAAC;AAED,kFAAkF;AAClF,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,IAAU,EAAE,KAAY,EAAE,SAAsB,aAAa,EAAe,EAAE,CACnG,SAAS,CAAC,IAAI,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC,IAAI,CAAC"}

package/dist/load.d.ts

@@ -0,0 +1,12 @@
+import { type Auto, type Field, type Link, type Robot, type Waypoints } from "@horizon36596/zenith-schema";
+/**
+ * Parse, migrate and schema-validate. These throw SchemaError with every failing key named; the
+ * CLI turns that into a SCHEMA finding. Reading the bytes is the caller's job: core has no Node
+ * APIs (CLAUDE.md rule 1).
+ */
+export declare const loadAuto: (json: unknown) => Auto;
+export declare const loadRobot: (json: unknown) => Robot;
+export declare const loadField: (json: unknown) => Field;
+export declare const loadWaypoints: (json: unknown) => Waypoints;
+export declare const loadLink: (json: unknown) => Link;
+//# sourceMappingURL=load.d.ts.map

package/dist/load.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"load.d.ts","sourceRoot":"","sources":["../src/load.ts"],"names":[],"mappings":"AAAA,OAAO,EAML,KAAK,IAAI,EACT,KAAK,KAAK,EACV,KAAK,IAAI,EACT,KAAK,KAAK,EACV,KAAK,SAAS,EACf,MAAM,6BAA6B,CAAC;AAErC;;;;GAIG;AACH,eAAO,MAAM,QAAQ,GAAI,MAAM,OAAO,KAAG,IAAuB,CAAC;AACjE,eAAO,MAAM,SAAS,GAAI,MAAM,OAAO,KAAG,KAAyB,CAAC;AACpE,eAAO,MAAM,SAAS,GAAI,MAAM,OAAO,KAAG,KAAyB,CAAC;AACpE,eAAO,MAAM,aAAa,GAAI,MAAM,OAAO,KAAG,SAAiC,CAAC;AAChF,eAAO,MAAM,QAAQ,GAAI,MAAM,OAAO,KAAG,IAAuB,CAAC"}

package/dist/load.js

@@ -0,0 +1,12 @@
+import { parseAuto, parseField, parseLink, parseRobot, parseWaypoints, } from "@horizon36596/zenith-schema";
+/**
+ * Parse, migrate and schema-validate. These throw SchemaError with every failing key named; the
+ * CLI turns that into a SCHEMA finding. Reading the bytes is the caller's job: core has no Node
+ * APIs (CLAUDE.md rule 1).
+ */
+export const loadAuto = (json) => parseAuto(json);
+export const loadRobot = (json) => parseRobot(json);
+export const loadField = (json) => parseField(json);
+export const loadWaypoints = (json) => parseWaypoints(json);
+export const loadLink = (json) => parseLink(json);
+//# sourceMappingURL=load.js.map

package/dist/load.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"load.js","sourceRoot":"","sources":["../src/load.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,SAAS,EACT,UAAU,EACV,SAAS,EACT,UAAU,EACV,cAAc,GAMf,MAAM,6BAA6B,CAAC;AAErC;;;;GAIG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAC,IAAa,EAAQ,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;AACjE,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,IAAa,EAAS,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;AACpE,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,IAAa,EAAS,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;AACpE,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,IAAa,EAAa,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC;AAChF,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAC,IAAa,EAAQ,EAAE,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC"}