@snaptrude/plugin-core 0.9.13 → 0.9.14-networks-20260930.1

package/src/massParameters.ops.ts

@@ -0,0 +1,246 @@
+import * as z from "zod"
+import {
+  ContourRecord,
+  CurveRecord,
+  LoftOptions,
+  MAX_LOFT_SECTIONS,
+  MAX_PATH_CURVES,
+  MAX_SWEEP_PATH_POINTS,
+  SweepAlongCurveRecordOptions,
+  SweepOptions,
+  XYZ,
+} from "./massParameters"
+import type { CurveKind, SurfaceKind } from "./massParameters"
+
+/**
+ * The **operation half** of a mass creation-parameter record: which edge or
+ * face of the recipe's solid a kernel step used, the step itself, and the
+ * values a `design.update.parameters` patch may carry.
+ *
+ * Split out of `massParameters.ts` so that each file stays under the size limit
+ * at which the agent runtime still serves a type module in ONE whole read (the
+ * record module alone had grown past it). Do not merge the two back. It is
+ * re-exported from there and from the package root, so every import path keeps
+ * working.
+ *
+ * Everything here is **pure JSON** by construction, exactly as in
+ * {@linkcode MassParametersRecord}: plain objects, numbers and arrays only, one
+ * `{x, y, z}` point shape, no class instances.
+ */
+
+/** Maximum kernel operations chained onto one recipe. */
+export const MAX_OPERATIONS = 8
+/** Maximum edges one fillet/chamfer operation may select. */
+export const MAX_OPERATION_EDGES = 64
+/** Maximum faces one shell operation may open. */
+export const MAX_OPERATION_FACES = 32
+/** Maximum rows in a variable-fillet radius law. */
+export const MAX_FILLET_LAW_SAMPLES = 32
+
+// `XYZ` and the record schemas below are resolved through `z.lazy`: this module
+// and `massParameters.ts` re-export each other, and this one is evaluated first,
+// so their consts are not yet initialised while these schemas are built. The
+// closures run at parse time, when both modules are live.
+const At: z.ZodType<XYZ, XYZ> = z.lazy(() => XYZ)
+
+/**
+ * Which EDGE of the input solid an operation used: its index in
+ * `core.geom.query.brep.listEdges` order at authoring time, the indices of the
+ * two faces it lies between, and its curve kind. This is topology, not
+ * coordinates — it survives a scalar edit of the base recipe (which moves every
+ * edge) and trips on a reorder or a topology change. Read-only: to blend a
+ * different edge, re-select it on the new shape and re-apply the operation.
+ */
+export type EdgeSelector = {
+  index: number
+  faces: [number, number]
+  curve: CurveKind
+  /** Where the edge sits INSIDE its solid: its midpoint in the record's own
+   *  frame, divided by the solid's bounding-box extent — a ratio per axis,
+   *  never a length, so it survives a scalar edit that scales the whole shape.
+   *  Written only when the discriminators above cannot tell two edges apart. A
+   *  tiebreak, never a coordinate fingerprint: a replay checks it within 0.02 of
+   *  the solid's own box and refuses on a miss — it never searches for a better
+   *  candidate. */
+  at?: XYZ
+}
+
+/**
+ * Which FACE of the input solid an operation used: its index in
+ * `core.geom.query.brep.listFaces` order, its surface kind, and the number of
+ * edges in its outer loop. Read-only, like {@linkcode EdgeSelector}.
+ */
+export type FaceSelector = {
+  index: number
+  kind: SurfaceKind
+  edgeCount: number
+  /** The face's centroid under the same normalisation and the same tiebreak
+   *  rule as {@linkcode EdgeSelector}'s `at` — written only where the
+   *  discriminators above cannot separate two faces, which on a freeform solid
+   *  (every face answers `"spline"`) is the common case. */
+  at?: XYZ
+}
+
+/** The input solid's topology at authoring time — the counts a replay checks first. */
+export type TopologyCounts = { faceCount: number; edgeCount: number }
+
+/**
+ * One kernel operation applied to the base recipe's solid, in order. `input`
+ * pins the topology the operation was authored against, so a base edit that
+ * changes the topology is refused rather than mis-applied.
+ *
+ * Edit one by patching the whole list back:
+ * `design.update.parameters(mass, { operations })`.
+ */
+export type OperationRecord =
+  | {
+      op: "fillet"
+      edges: EdgeSelector[]
+      radius: number
+      /** Radius at the far end of the blend contour, internal length units — a
+       *  linear variable blend from `radius`. One edge, and never with `radii`. */
+      endRadius?: number
+      /** The blend's radius law instead: `position` is normalised arc length
+       *  along the blend contour (a ratio 0..1, never converted), `radius` is
+       *  internal length units. 2..32 rows, strictly increasing `position`.
+       *  One edge, and never with `endRadius`. */
+      radii?: { position: number; radius: number }[]
+      input: TopologyCounts
+    }
+  | { op: "chamfer"; edges: EdgeSelector[]; distance: number; input: TopologyCounts }
+  | { op: "shell"; openFaces: FaceSelector[]; thickness: number; input: TopologyCounts }
+  | { op: "offset"; distance: number; input: TopologyCounts }
+
+/**
+ * One value of a `MassParametersPatch` — whatever a record's `values` key (or
+ * `operations`) may hold. Each key you send replaces that value whole — a
+ * scalar, a point, a list or a record (`contour`, `profile`, `sections`,
+ * `path`, `options`, `operations`) alike — so send the complete value you read.
+ */
+export type ParameterPatchValue =
+  | number
+  | XYZ
+  | XYZ[]
+  | ContourRecord
+  | ContourRecord[]
+  | CurveRecord[]
+  | LoftOptions
+  | SweepOptions
+  | SweepAlongCurveRecordOptions
+  | OperationRecord[]
+
+const FaceIndex = z.number().int().nonnegative()
+
+/** See {@linkcode EdgeSelector}. */
+export const EdgeSelector: z.ZodType<EdgeSelector, EdgeSelector> = z.strictObject({
+  index: FaceIndex,
+  faces: z.tuple([FaceIndex, FaceIndex]),
+  curve: z.enum(["line", "arc", "circle", "spline"]),
+  at: At.optional(),
+})
+
+/** See {@linkcode FaceSelector}. */
+export const FaceSelector: z.ZodType<FaceSelector, FaceSelector> = z.strictObject({
+  index: FaceIndex,
+  kind: z.enum(["plane", "cylinder", "cone", "sphere", "torus", "spline"]),
+  edgeCount: z.number().int().positive(),
+  at: At.optional(),
+})
+
+/** See {@linkcode TopologyCounts}. */
+export const TopologyCounts: z.ZodType<TopologyCounts, TopologyCounts> = z.strictObject({
+  faceCount: z.number().int().positive(),
+  edgeCount: z.number().int().positive(),
+})
+
+/** One row of a variable fillet's radius law. See {@linkcode OperationRecord}. */
+const FilletLawRow = z.strictObject({
+  position: z.number().finite().min(0).max(1),
+  radius: z.number().finite().positive(),
+})
+
+/**
+ * See {@linkcode OperationRecord}.
+ *
+ * A variable fillet — `endRadius` or `radii` — names ONE edge: the law is a
+ * property of the blend contour that edge belongs to, and `position` is measured
+ * from that edge's start, so a second edge would have no origin. The two forms
+ * are mutually exclusive and `radii` rows run strictly forward.
+ */
+export const OperationRecord: z.ZodType<OperationRecord, OperationRecord> = z
+  .discriminatedUnion("op", [
+    z.strictObject({
+      op: z.literal("fillet"),
+      edges: z.array(EdgeSelector).min(1).max(MAX_OPERATION_EDGES),
+      radius: z.number().finite().positive(),
+      endRadius: z.number().finite().positive().optional(),
+      radii: z.array(FilletLawRow).min(2).max(MAX_FILLET_LAW_SAMPLES).optional(),
+      input: TopologyCounts,
+    }),
+    z.strictObject({
+      op: z.literal("chamfer"),
+      edges: z.array(EdgeSelector).min(1).max(MAX_OPERATION_EDGES),
+      distance: z.number().finite().positive(),
+      input: TopologyCounts,
+    }),
+    z.strictObject({
+      op: z.literal("shell"),
+      openFaces: z.array(FaceSelector).min(1).max(MAX_OPERATION_FACES),
+      thickness: z.number().finite().positive(),
+      input: TopologyCounts,
+    }),
+    z.strictObject({
+      op: z.literal("offset"),
+      distance: z
+        .number()
+        .finite()
+        .refine((value) => value !== 0, { message: "distance must be non-zero" }),
+      input: TopologyCounts,
+    }),
+  ])
+  .superRefine((operation, ctx) => {
+    if (operation.op !== "fillet") return
+    const { edges, endRadius, radii } = operation
+    if (endRadius === undefined && radii === undefined) return
+    if (endRadius !== undefined && radii !== undefined) {
+      ctx.addIssue({
+        code: "custom",
+        message: "endRadius is mutually exclusive with radii",
+      })
+    }
+    if (edges.length !== 1) {
+      ctx.addIssue({
+        code: "custom",
+        message: "a variable fillet names exactly one edge — the blend contour it runs along",
+      })
+    }
+    if (radii?.some((row, i) => i > 0 && row.position <= radii[i - 1].position)) {
+      ctx.addIssue({
+        code: "custom",
+        message: "radii positions must strictly increase",
+      })
+    }
+  })
+
+/**
+ * One value of a parameter patch. See {@linkcode ParameterPatchValue}.
+ *
+ * Deliberately a CLOSED union of the shapes a record's `values` actually hold —
+ * no `z.unknown()`, nothing recursive: an unrecognised value is a VALIDATION at
+ * the wire, not a silent write of nonsense onto a mass. It only ever widens, so
+ * every value it accepted before it still accepts.
+ */
+export const ParameterPatchValue: z.ZodType<ParameterPatchValue, ParameterPatchValue> = z.lazy(() =>
+  z.union([
+    z.number().finite(),
+    XYZ,
+    z.array(XYZ).max(MAX_SWEEP_PATH_POINTS),
+    ContourRecord,
+    z.array(ContourRecord).max(MAX_LOFT_SECTIONS),
+    z.array(CurveRecord).max(MAX_PATH_CURVES),
+    LoftOptions,
+    SweepOptions,
+    SweepAlongCurveRecordOptions,
+    z.array(OperationRecord).max(MAX_OPERATIONS),
+  ]),
+)

package/src/massParameters.ts

@@ -0,0 +1,427 @@
+import * as z from "zod"
+import { MAX_OPERATIONS, OperationRecord, ParameterPatchValue } from "./massParameters.ops"
+
+// The selectors, the operation record and the patch-value union live in
+// `massParameters.ops.ts` (split so each module stays small enough for the
+// agent to read in one go) and are re-exported here, so every import path
+// keeps working.
+export * from "./massParameters.ops"
+
+/**
+ * Mass **creation-parameter records** — the recipe a parametric mass was built
+ * from, shared verbatim by plugin-core, the Snaptrude host, and the agent
+ * runtime. There is one schema, not three hand-kept copies.
+ *
+ * A record is present on a mass committed from a `core.geom.create` brep
+ * constructor that carries a recipe (the four primitives, extrusion,
+ * revolution, loft, sweep). A fillet, chamfer, shell or offset of a **recorded**
+ * solid keeps the record: `kind` stays the base constructor and the step is
+ * appended to the record's `operations` list (see {@linkcode OperationRecord}).
+ * The record is absent — `null` — for everything
+ * else: drawn masses, imported geometry, booleans, split parts,
+ * `brepFromFaces`/`brepFromMesh`, and any operation on a solid that carried no
+ * record. Geometry there is not a pure function of a legible parameter set, and
+ * a record must never be a lie.
+ *
+ * Read one with `design.query.getParameters`.
+ *
+ * Everything here is **pure JSON** by construction — plain objects, numbers and
+ * arrays only, one `{x, y, z}` point shape everywhere (no tuples, no class
+ * instances): records are persisted by enumerable-field reflection, cloned with
+ * `structuredClone`, and round-tripped through the collaboration wire.
+ */
+
+/** A point in space. The single point shape used across every record. */
+export type XYZ = { x: number; y: number; z: number }
+
+/**
+ * One boundary curve of a profile record.
+ *
+ * The two spline forms are either/or, never both: a curve authored through
+ * points carries `splineThrough` (patch the points and the fit re-runs), and a
+ * curve with no through-point provenance — read back off an edge, or authored
+ * from control vertices — carries `splinePoles` and is re-minted verbatim.
+ * There is no variant holding both, so a `throughPoints` edit can never leave
+ * stale poles behind.
+ */
+export type CurveRecord =
+  | { type: "line"; start: XYZ; end: XYZ }
+  | { type: "arc"; start: XYZ; end: XYZ; centre: XYZ; axis: XYZ }
+  | { type: "circle"; centre: XYZ; axis: XYZ; radius: number }
+  /** Authored via splineFromPoints / profileFromSplinePoints. The through-points
+   *  ARE the recipe; regeneration re-runs the fit version named by
+   *  `fitVersion`. Several chained runs in one contour re-fit as ONE loop; use
+   *  splinePoles to keep their tangents. */
+  | { type: "splineThrough"; fitVersion: 1; throughPoints: XYZ[] }
+  /** No through-points known (authored from control points, or read back off
+   *  an edge). Rebuilt verbatim from these exact poles, knots and
+   *  multiplicities. */
+  | { type: "splinePoles"; degree: number; knots: number[]; mults: number[]; poles: XYZ[] }
+
+/** A closed boundary loop, as an ordered list of curves. */
+export type ProfileRecord = { curves: CurveRecord[] }
+
+/** An outer loop plus its holes — the cross-section shape of a recipe. */
+export type ContourRecord = { outer: ProfileRecord; holes: ProfileRecord[] }
+
+/** Optional loft behaviour switches, mirroring `core.geom.create.brepFromLoft`. */
+export type LoftOptions = {
+  compatibility?: "strict" | "auto"
+  seamAlignment?: "authored" | "auto"
+  /** `"ruled"` (default) keeps the sides straight: every pair of sections
+   *  joined by flat sides. `"smooth"` lofts every section in ONE pass, so the
+   *  sides curve continuously through the intermediates. */
+  smoothing?: "ruled" | "smooth"
+}
+
+/**
+ * How a swept profile turns along its path, mirroring
+ * `core.geom.create.brepFromSweepAlongCurve`. `"upright"` keeps the profile's up
+ * aligned with world up, `"frenet"` lets it roll with the path's curvature, and
+ * `"fixed"` carries the authored frame along unchanged.
+ */
+export type SweepOrientation = "frenet" | "fixed" | "upright"
+
+/** Optional sweep-along-a-curve switches. Pure JSON: the creator's own bag also
+ *  takes a `rail` curve, which is a live handle and never reaches a record. */
+export type SweepAlongCurveRecordOptions = { orientation?: SweepOrientation }
+
+/** Optional sweep scale law and corner transition, mirroring `core.geom.create.brepFromSweep`. */
+export type SweepOptions = {
+  startScale?: number
+  endScale?: number
+  scales?: number[]
+  transition?: "miter" | "round" | { bevel: number }
+}
+
+/** A face's surface kind — the vocabulary of `core.geom.query.face.getSurfaceKind`. */
+export type SurfaceKind = "plane" | "cylinder" | "cone" | "sphere" | "torus" | "spline"
+
+/** An edge's curve kind. Both spline forms of {@linkcode CurveRecord} report `"spline"`. */
+export type CurveKind = "line" | "arc" | "circle" | "spline"
+
+/**
+ * A mass's creation recipe: the constructor `kind`, a schema `version`, the
+ * `values` that constructor was called with, and the kernel `operations`
+ * (fillet / chamfer / shell / offset) applied on top, in order. Points and axes
+ * are in the mass's own local frame when stored; `design.query.getParameters`
+ * returns them in world coordinates. `operations` is frame-free. One variant
+ * per constructor `kind`; its `values` are that constructor's own arguments.
+ *
+ * `kind` stays the base constructor even after operations: a shelled, filleted
+ * sphere is still `{ kind: "sphere", operations: [shell, fillet] }`.
+ */
+export type MassParametersRecord =
+  | {
+      kind: "sphere"
+      version: 1
+      values: { centre: XYZ; radius: number }
+      operations?: OperationRecord[]
+    }
+  | {
+      kind: "cylinder"
+      version: 1
+      values: { base: XYZ; axis: XYZ; radius: number; height: number }
+      operations?: OperationRecord[]
+    }
+  | {
+      kind: "cone"
+      version: 1
+      values: { base: XYZ; axis: XYZ; baseRadius: number; topRadius: number; height: number }
+      operations?: OperationRecord[]
+    }
+  | {
+      kind: "torus"
+      version: 1
+      values: { centre: XYZ; axis: XYZ; majorRadius: number; minorRadius: number }
+      operations?: OperationRecord[]
+    }
+  | {
+      kind: "extrusion"
+      version: 1
+      values: {
+        contour: ContourRecord
+        direction: XYZ
+        amount: number
+        /** Total rotation base → top about `direction`, through the base
+         *  contour's centroid, in DEGREES — an angle, never converted. Absent
+         *  or 0 is a straight extrusion. Positive turns the top CLOCKWISE seen
+         *  from the far end of `direction` looking back at the base — for the
+         *  usual upward extrusion, that is the plan view from above. */
+        twistInDegrees?: number
+        /** Top outline scale about the same axis, a ratio — never converted.
+         *  Absent or 1 is a straight extrusion. */
+        topScale?: number
+        /** How many sections the twist/taper was built from, a count (2..64).
+         *  Resolved and stamped at create time, so an existing mass regenerates
+         *  from the record and never from a heuristic that may change; it is
+         *  re-resolved (and an echoed value overridden) when an edit changes
+         *  `twistInDegrees`, so a retwisted mass matches a fresh build of the
+         *  same angle. Absent exactly when the mass is neither twisted nor
+         *  tapered. */
+        levels?: number
+      }
+      operations?: OperationRecord[]
+    }
+  | {
+      kind: "revolution"
+      version: 1
+      values: {
+        contour: ContourRecord
+        axisOrigin: XYZ
+        axisDirection: XYZ
+        angleInDegrees: number
+      }
+      operations?: OperationRecord[]
+    }
+  | {
+      kind: "loft"
+      version: 1
+      values: { sections: ContourRecord[]; options?: LoftOptions }
+      operations?: OperationRecord[]
+    }
+  | {
+      kind: "sweep"
+      version: 1
+      values: { profile: ContourRecord; path: XYZ[]; options?: SweepOptions }
+      operations?: OperationRecord[]
+    }
+  | {
+      kind: "sweepAlongCurve"
+      version: 1
+      values: {
+        profile: ContourRecord
+        path: CurveRecord[]
+        options?: SweepAlongCurveRecordOptions
+      }
+      operations?: OperationRecord[]
+    }
+
+/**
+ * The argument of `design.update.parameters`: either a **partial** of a
+ * record's `values` (plus an optional `operations` list) — keys you leave out
+ * stay as they are — or the **whole record** you read from
+ * `design.query.getParameters`, edited. `kind` and `version` are immutable.
+ */
+export type MassParametersPatch = MassParametersRecord | Record<string, ParameterPatchValue>
+
+// ── Schemas ─────────────────────────────────────────────────────────────────
+// Array bounds are CONTRACT, not silent truncation: a record beyond them fails
+// validation. They keep a record inside the serialization budget of the save
+// and collaboration payloads it rides in. They bind RECORDS only — the shipped
+// creator schemas (loft sections, sweep path, fillet/chamfer edges, shell faces)
+// stay uncapped; an over-cap call still builds and the host simply mints no
+// record for it (the mass is then ordinary, non-parametric geometry).
+
+/** Maximum through-points in one authored spline curve record. */
+export const MAX_SPLINE_THROUGH_POINTS = 256
+/** Maximum control points in one exact-NURBS spline curve record. */
+export const MAX_SPLINE_POLES = 512
+/** Maximum path points in a sweep record. */
+export const MAX_SWEEP_PATH_POINTS = 512
+/** Maximum path curves in a sweep-along-a-curve record. */
+export const MAX_PATH_CURVES = 64
+/** Maximum cross-sections in a loft record. */
+export const MAX_LOFT_SECTIONS = 32
+/** Maximum sections a twisted or tapered extrusion record is built from. */
+export const MAX_TWIST_LEVELS = 64
+/** Maximum boundary curves in one profile loop record. */
+export const MAX_PROFILE_CURVES = 256
+/** Maximum hole loops in one contour record. */
+export const MAX_CONTOUR_HOLES = 64
+
+/** A point in space — `{ x, y, z }`, all finite. */
+export const XYZ: z.ZodType<XYZ, XYZ> = z.strictObject({
+  x: z.number().finite(),
+  y: z.number().finite(),
+  z: z.number().finite(),
+})
+
+/** One boundary curve of a profile record. See {@linkcode CurveRecord}. */
+export const CurveRecord: z.ZodType<CurveRecord, CurveRecord> = z.discriminatedUnion("type", [
+  z.strictObject({ type: z.literal("line"), start: XYZ, end: XYZ }),
+  z.strictObject({ type: z.literal("arc"), start: XYZ, end: XYZ, centre: XYZ, axis: XYZ }),
+  z.strictObject({
+    type: z.literal("circle"),
+    centre: XYZ,
+    axis: XYZ,
+    radius: z.number().finite().positive(),
+  }),
+  z.strictObject({
+    type: z.literal("splineThrough"),
+    fitVersion: z.literal(1),
+    throughPoints: z.array(XYZ).min(2).max(MAX_SPLINE_THROUGH_POINTS),
+  }),
+  z.strictObject({
+    type: z.literal("splinePoles"),
+    degree: z.number().int().positive(),
+    knots: z.array(z.number().finite()).min(2),
+    mults: z.array(z.number().int().positive()).min(2),
+    poles: z.array(XYZ).min(2).max(MAX_SPLINE_POLES),
+  }),
+])
+
+/** A closed boundary loop. See {@linkcode ProfileRecord}. */
+export const ProfileRecord: z.ZodType<ProfileRecord, ProfileRecord> = z.strictObject({
+  curves: z.array(CurveRecord).min(1).max(MAX_PROFILE_CURVES),
+})
+
+/** An outer loop plus its holes. See {@linkcode ContourRecord}. */
+export const ContourRecord: z.ZodType<ContourRecord, ContourRecord> = z.strictObject({
+  outer: ProfileRecord,
+  holes: z.array(ProfileRecord).max(MAX_CONTOUR_HOLES),
+})
+
+/** Optional loft behaviour switches. See {@linkcode LoftOptions}. */
+export const LoftOptions: z.ZodType<LoftOptions, LoftOptions> = z.strictObject({
+  compatibility: z.enum(["strict", "auto"]).optional(),
+  seamAlignment: z.enum(["authored", "auto"]).optional(),
+  smoothing: z.enum(["ruled", "smooth"]).optional(),
+})
+
+/** See {@linkcode SweepAlongCurveRecordOptions}. */
+export const SweepAlongCurveRecordOptions: z.ZodType<
+  SweepAlongCurveRecordOptions,
+  SweepAlongCurveRecordOptions
+> = z.strictObject({
+  orientation: z.enum(["frenet", "fixed", "upright"]).optional(),
+})
+
+/** Optional sweep scale law and corner transition. See {@linkcode SweepOptions}. */
+export const SweepOptions: z.ZodType<SweepOptions, SweepOptions> = z.strictObject({
+  startScale: z.number().finite().optional(),
+  endScale: z.number().finite().optional(),
+  scales: z.array(z.number().finite()).optional(),
+  transition: z
+    .union([
+      z.literal("miter"),
+      z.literal("round"),
+      z.strictObject({ bevel: z.number().finite() }),
+    ])
+    .optional(),
+})
+
+// `operations` rides beside `values` on every kind — additive and optional, so
+// `version` stays 1. An older reader that predates `operations` fails
+// `safeParse` on a record carrying it and degrades the mass to non-parametric;
+// it never blocks a load.
+// No `.min(1)`: `design.update.parameters` documents `{ operations: [] }` as the
+// drop-every-operation idiom, and the whole record you read back — edited to an
+// empty list — must patch the same way. The host normalises `[]` to an absent
+// key before storing, so a stored record never carries one.
+const RecordOperations = z.array(OperationRecord).max(MAX_OPERATIONS).optional()
+
+/**
+ * A mass's creation recipe. See {@linkcode MassParametersRecord}.
+ *
+ * `version` is a literal `1`: a restore that reads an unknown version fails
+ * `safeParse` and the mass degrades to non-parametric — editability is lost,
+ * geometry never is, and load is never blocked. Future versions add a migration
+ * at the restore site.
+ */
+export const MassParametersRecord: z.ZodType<MassParametersRecord, MassParametersRecord> = z.discriminatedUnion("kind", [
+  z.strictObject({
+    kind: z.literal("sphere"),
+    version: z.literal(1),
+    values: z.strictObject({ centre: XYZ, radius: z.number().finite().positive() }),
+    operations: RecordOperations,
+  }),
+  z.strictObject({
+    kind: z.literal("cylinder"),
+    version: z.literal(1),
+    values: z.strictObject({
+      base: XYZ,
+      axis: XYZ,
+      radius: z.number().finite().positive(),
+      height: z.number().finite().positive(),
+    }),
+    operations: RecordOperations,
+  }),
+  z.strictObject({
+    kind: z.literal("cone"),
+    version: z.literal(1),
+    values: z.strictObject({
+      base: XYZ,
+      axis: XYZ,
+      baseRadius: z.number().finite().positive(),
+      topRadius: z.number().finite().nonnegative(),
+      height: z.number().finite().positive(),
+    }),
+    operations: RecordOperations,
+  }),
+  z.strictObject({
+    kind: z.literal("torus"),
+    version: z.literal(1),
+    values: z.strictObject({
+      centre: XYZ,
+      axis: XYZ,
+      majorRadius: z.number().finite().positive(),
+      minorRadius: z.number().finite().positive(),
+    }),
+    operations: RecordOperations,
+  }),
+  z.strictObject({
+    kind: z.literal("extrusion"),
+    version: z.literal(1),
+    values: z.strictObject({
+      contour: ContourRecord,
+      direction: XYZ,
+      amount: z.number().finite(),
+      twistInDegrees: z.number().finite().optional(),
+      topScale: z.number().finite().positive().optional(),
+      levels: z.number().int().min(2).max(MAX_TWIST_LEVELS).optional(),
+    }),
+    operations: RecordOperations,
+  }),
+  z.strictObject({
+    kind: z.literal("revolution"),
+    version: z.literal(1),
+    values: z.strictObject({
+      contour: ContourRecord,
+      axisOrigin: XYZ,
+      axisDirection: XYZ,
+      angleInDegrees: z.number().finite().positive().max(360),
+    }),
+    operations: RecordOperations,
+  }),
+  z.strictObject({
+    kind: z.literal("loft"),
+    version: z.literal(1),
+    values: z.strictObject({
+      sections: z.array(ContourRecord).min(2).max(MAX_LOFT_SECTIONS),
+      options: LoftOptions.optional(),
+    }),
+    operations: RecordOperations,
+  }),
+  z.strictObject({
+    kind: z.literal("sweep"),
+    version: z.literal(1),
+    values: z.strictObject({
+      profile: ContourRecord,
+      path: z.array(XYZ).min(2).max(MAX_SWEEP_PATH_POINTS),
+      options: SweepOptions.optional(),
+    }),
+    operations: RecordOperations,
+  }),
+  z.strictObject({
+    kind: z.literal("sweepAlongCurve"),
+    version: z.literal(1),
+    values: z.strictObject({
+      profile: ContourRecord,
+      path: z.array(CurveRecord).min(1).max(MAX_PATH_CURVES),
+      options: SweepAlongCurveRecordOptions.optional(),
+    }),
+    operations: RecordOperations,
+  }),
+])
+
+/**
+ * The argument of `design.update.parameters`. See {@linkcode MassParametersPatch}.
+ * The full-record form is recognised by carrying both `kind` and `values`;
+ * which keys a kind actually has is checked host-side, where the error can name
+ * them.
+ */
+export const MassParametersPatch: z.ZodType<MassParametersPatch, MassParametersPatch> = z.union([
+  MassParametersRecord,
+  z.record(z.string(), ParameterPatchValue),
+])