@retikz/core 0.1.0-alpha.2 → 0.1.0-alpha.3

package/dist/es/ir/path/step.d.ts

@@ -1,45 +1,171 @@
 import { z } from 'zod';
+/**
+ * 边标注（ADR-0004）：挂在画线 step 上的 label，渲染时按段几何 + side 偏移
+ * 翻译为一个 TextPrim。`move` / `cycle` 不挂 label——前者不画线、后者是闭合
+ * 标记，标签语义不清。
+ */
+export declare const StepLabelSchema: z.ZodObject<{
+    text: z.ZodString;
+    position: z.ZodOptional<z.ZodEnum<["midway", "near-start", "near-end"]>>;
+    side: z.ZodOptional<z.ZodEnum<["above", "below", "left", "right", "sloped"]>>;
+}, "strip", z.ZodTypeAny, {
+    text: string;
+    position?: "midway" | "near-start" | "near-end" | undefined;
+    side?: "above" | "below" | "left" | "right" | "sloped" | undefined;
+}, {
+    text: string;
+    position?: "midway" | "near-start" | "near-end" | undefined;
+    side?: "above" | "below" | "left" | "right" | "sloped" | undefined;
+}>;
+/** 边标注：单段 step 的位置 + side 修饰，编译期变成 TextPrim */
+export type IRStepLabel = z.infer<typeof StepLabelSchema>;
 export declare const MoveStepSchema: z.ZodObject<{
     type: z.ZodLiteral<"step">;
     kind: z.ZodLiteral<"move">;
-    to: z.ZodUnion<[z.ZodTuple<[z.ZodNumber, z.ZodNumber], null>, z.ZodType<import('..').PolarPosition, z.ZodTypeDef, import('..').PolarPosition>, z.ZodString]>;
+    to: z.ZodUnion<[z.ZodTuple<[z.ZodNumber, z.ZodNumber], null>, z.ZodType<import('..').PolarPosition, z.ZodTypeDef, import('..').PolarPosition>, z.ZodString, z.ZodObject<{
+        rel: z.ZodTuple<[z.ZodNumber, z.ZodNumber], null>;
+    }, "strip", z.ZodTypeAny, {
+        rel: [number, number];
+    }, {
+        rel: [number, number];
+    }>, z.ZodObject<{
+        relAccumulate: z.ZodTuple<[z.ZodNumber, z.ZodNumber], null>;
+    }, "strip", z.ZodTypeAny, {
+        relAccumulate: [number, number];
+    }, {
+        relAccumulate: [number, number];
+    }>]>;
 }, "strip", z.ZodTypeAny, {
     type: "step";
     kind: "move";
-    to: string | [number, number] | import('..').PolarPosition;
+    to: string | [number, number] | import('..').PolarPosition | {
+        rel: [number, number];
+    } | {
+        relAccumulate: [number, number];
+    };
 }, {
     type: "step";
     kind: "move";
-    to: string | [number, number] | import('..').PolarPosition;
+    to: string | [number, number] | import('..').PolarPosition | {
+        rel: [number, number];
+    } | {
+        relAccumulate: [number, number];
+    };
 }>;
 export declare const LineStepSchema: z.ZodObject<{
     type: z.ZodLiteral<"step">;
     kind: z.ZodLiteral<"line">;
-    to: z.ZodUnion<[z.ZodTuple<[z.ZodNumber, z.ZodNumber], null>, z.ZodType<import('..').PolarPosition, z.ZodTypeDef, import('..').PolarPosition>, z.ZodString]>;
+    to: z.ZodUnion<[z.ZodTuple<[z.ZodNumber, z.ZodNumber], null>, z.ZodType<import('..').PolarPosition, z.ZodTypeDef, import('..').PolarPosition>, z.ZodString, z.ZodObject<{
+        rel: z.ZodTuple<[z.ZodNumber, z.ZodNumber], null>;
+    }, "strip", z.ZodTypeAny, {
+        rel: [number, number];
+    }, {
+        rel: [number, number];
+    }>, z.ZodObject<{
+        relAccumulate: z.ZodTuple<[z.ZodNumber, z.ZodNumber], null>;
+    }, "strip", z.ZodTypeAny, {
+        relAccumulate: [number, number];
+    }, {
+        relAccumulate: [number, number];
+    }>]>;
+    label: z.ZodOptional<z.ZodObject<{
+        text: z.ZodString;
+        position: z.ZodOptional<z.ZodEnum<["midway", "near-start", "near-end"]>>;
+        side: z.ZodOptional<z.ZodEnum<["above", "below", "left", "right", "sloped"]>>;
+    }, "strip", z.ZodTypeAny, {
+        text: string;
+        position?: "midway" | "near-start" | "near-end" | undefined;
+        side?: "above" | "below" | "left" | "right" | "sloped" | undefined;
+    }, {
+        text: string;
+        position?: "midway" | "near-start" | "near-end" | undefined;
+        side?: "above" | "below" | "left" | "right" | "sloped" | undefined;
+    }>>;
 }, "strip", z.ZodTypeAny, {
     type: "step";
     kind: "line";
-    to: string | [number, number] | import('..').PolarPosition;
+    to: string | [number, number] | import('..').PolarPosition | {
+        rel: [number, number];
+    } | {
+        relAccumulate: [number, number];
+    };
+    label?: {
+        text: string;
+        position?: "midway" | "near-start" | "near-end" | undefined;
+        side?: "above" | "below" | "left" | "right" | "sloped" | undefined;
+    } | undefined;
 }, {
     type: "step";
     kind: "line";
-    to: string | [number, number] | import('..').PolarPosition;
+    to: string | [number, number] | import('..').PolarPosition | {
+        rel: [number, number];
+    } | {
+        relAccumulate: [number, number];
+    };
+    label?: {
+        text: string;
+        position?: "midway" | "near-start" | "near-end" | undefined;
+        side?: "above" | "below" | "left" | "right" | "sloped" | undefined;
+    } | undefined;
 }>;
 export declare const FoldStepSchema: z.ZodObject<{
     type: z.ZodLiteral<"step">;
     kind: z.ZodLiteral<"step">;
     via: z.ZodEnum<["-|", "|-"]>;
-    to: z.ZodUnion<[z.ZodTuple<[z.ZodNumber, z.ZodNumber], null>, z.ZodType<import('..').PolarPosition, z.ZodTypeDef, import('..').PolarPosition>, z.ZodString]>;
+    to: z.ZodUnion<[z.ZodTuple<[z.ZodNumber, z.ZodNumber], null>, z.ZodType<import('..').PolarPosition, z.ZodTypeDef, import('..').PolarPosition>, z.ZodString, z.ZodObject<{
+        rel: z.ZodTuple<[z.ZodNumber, z.ZodNumber], null>;
+    }, "strip", z.ZodTypeAny, {
+        rel: [number, number];
+    }, {
+        rel: [number, number];
+    }>, z.ZodObject<{
+        relAccumulate: z.ZodTuple<[z.ZodNumber, z.ZodNumber], null>;
+    }, "strip", z.ZodTypeAny, {
+        relAccumulate: [number, number];
+    }, {
+        relAccumulate: [number, number];
+    }>]>;
+    label: z.ZodOptional<z.ZodObject<{
+        text: z.ZodString;
+        position: z.ZodOptional<z.ZodEnum<["midway", "near-start", "near-end"]>>;
+        side: z.ZodOptional<z.ZodEnum<["above", "below", "left", "right", "sloped"]>>;
+    }, "strip", z.ZodTypeAny, {
+        text: string;
+        position?: "midway" | "near-start" | "near-end" | undefined;
+        side?: "above" | "below" | "left" | "right" | "sloped" | undefined;
+    }, {
+        text: string;
+        position?: "midway" | "near-start" | "near-end" | undefined;
+        side?: "above" | "below" | "left" | "right" | "sloped" | undefined;
+    }>>;
 }, "strip", z.ZodTypeAny, {
     type: "step";
     kind: "step";
-    to: string | [number, number] | import('..').PolarPosition;
+    to: string | [number, number] | import('..').PolarPosition | {
+        rel: [number, number];
+    } | {
+        relAccumulate: [number, number];
+    };
     via: "-|" | "|-";
+    label?: {
+        text: string;
+        position?: "midway" | "near-start" | "near-end" | undefined;
+        side?: "above" | "below" | "left" | "right" | "sloped" | undefined;
+    } | undefined;
 }, {
     type: "step";
     kind: "step";
-    to: string | [number, number] | import('..').PolarPosition;
+    to: string | [number, number] | import('..').PolarPosition | {
+        rel: [number, number];
+    } | {
+        relAccumulate: [number, number];
+    };
     via: "-|" | "|-";
+    label?: {
+        text: string;
+        position?: "midway" | "near-start" | "near-end" | undefined;
+        side?: "above" | "below" | "left" | "right" | "sloped" | undefined;
+    } | undefined;
 }>;
 export declare const CycleStepSchema: z.ZodObject<{
     type: z.ZodLiteral<"step">;
@@ -51,45 +177,462 @@ export declare const CycleStepSchema: z.ZodObject<{
     type: "step";
     kind: "cycle";
 }>;
+/**
+ * 控制点的 schema 别名。
+ *
+ * alpha.3：仅支持笛卡尔 `[x, y]`（与 ADR-0001 字面一致）。
+ * 未来扩展点：要支持节点 ref / 极坐标作为控制点（如 TikZ `controls (B)`）时，
+ * 只把这里改成 `z.union([PositionSchema, PolarPositionSchema, z.string().min(1)])`，
+ * curve / cubic schema 与下游消费侧不变。
+ */
+export declare const ControlPointSchema: z.ZodTuple<[z.ZodNumber, z.ZodNumber], null>;
+/** 控制点类型（曲线 step 用）；alpha.3 = `[number, number]`，未来可能扩展 */
+export type IRControlPoint = z.infer<typeof ControlPointSchema>;
+export declare const CurveStepSchema: z.ZodObject<{
+    type: z.ZodLiteral<"step">;
+    kind: z.ZodLiteral<"curve">;
+    to: z.ZodUnion<[z.ZodTuple<[z.ZodNumber, z.ZodNumber], null>, z.ZodType<import('..').PolarPosition, z.ZodTypeDef, import('..').PolarPosition>, z.ZodString, z.ZodObject<{
+        rel: z.ZodTuple<[z.ZodNumber, z.ZodNumber], null>;
+    }, "strip", z.ZodTypeAny, {
+        rel: [number, number];
+    }, {
+        rel: [number, number];
+    }>, z.ZodObject<{
+        relAccumulate: z.ZodTuple<[z.ZodNumber, z.ZodNumber], null>;
+    }, "strip", z.ZodTypeAny, {
+        relAccumulate: [number, number];
+    }, {
+        relAccumulate: [number, number];
+    }>]>;
+    control: z.ZodTuple<[z.ZodNumber, z.ZodNumber], null>;
+    label: z.ZodOptional<z.ZodObject<{
+        text: z.ZodString;
+        position: z.ZodOptional<z.ZodEnum<["midway", "near-start", "near-end"]>>;
+        side: z.ZodOptional<z.ZodEnum<["above", "below", "left", "right", "sloped"]>>;
+    }, "strip", z.ZodTypeAny, {
+        text: string;
+        position?: "midway" | "near-start" | "near-end" | undefined;
+        side?: "above" | "below" | "left" | "right" | "sloped" | undefined;
+    }, {
+        text: string;
+        position?: "midway" | "near-start" | "near-end" | undefined;
+        side?: "above" | "below" | "left" | "right" | "sloped" | undefined;
+    }>>;
+}, "strip", z.ZodTypeAny, {
+    type: "step";
+    kind: "curve";
+    to: string | [number, number] | import('..').PolarPosition | {
+        rel: [number, number];
+    } | {
+        relAccumulate: [number, number];
+    };
+    control: [number, number];
+    label?: {
+        text: string;
+        position?: "midway" | "near-start" | "near-end" | undefined;
+        side?: "above" | "below" | "left" | "right" | "sloped" | undefined;
+    } | undefined;
+}, {
+    type: "step";
+    kind: "curve";
+    to: string | [number, number] | import('..').PolarPosition | {
+        rel: [number, number];
+    } | {
+        relAccumulate: [number, number];
+    };
+    control: [number, number];
+    label?: {
+        text: string;
+        position?: "midway" | "near-start" | "near-end" | undefined;
+        side?: "above" | "below" | "left" | "right" | "sloped" | undefined;
+    } | undefined;
+}>;
+export declare const CubicStepSchema: z.ZodObject<{
+    type: z.ZodLiteral<"step">;
+    kind: z.ZodLiteral<"cubic">;
+    to: z.ZodUnion<[z.ZodTuple<[z.ZodNumber, z.ZodNumber], null>, z.ZodType<import('..').PolarPosition, z.ZodTypeDef, import('..').PolarPosition>, z.ZodString, z.ZodObject<{
+        rel: z.ZodTuple<[z.ZodNumber, z.ZodNumber], null>;
+    }, "strip", z.ZodTypeAny, {
+        rel: [number, number];
+    }, {
+        rel: [number, number];
+    }>, z.ZodObject<{
+        relAccumulate: z.ZodTuple<[z.ZodNumber, z.ZodNumber], null>;
+    }, "strip", z.ZodTypeAny, {
+        relAccumulate: [number, number];
+    }, {
+        relAccumulate: [number, number];
+    }>]>;
+    control1: z.ZodTuple<[z.ZodNumber, z.ZodNumber], null>;
+    control2: z.ZodTuple<[z.ZodNumber, z.ZodNumber], null>;
+    label: z.ZodOptional<z.ZodObject<{
+        text: z.ZodString;
+        position: z.ZodOptional<z.ZodEnum<["midway", "near-start", "near-end"]>>;
+        side: z.ZodOptional<z.ZodEnum<["above", "below", "left", "right", "sloped"]>>;
+    }, "strip", z.ZodTypeAny, {
+        text: string;
+        position?: "midway" | "near-start" | "near-end" | undefined;
+        side?: "above" | "below" | "left" | "right" | "sloped" | undefined;
+    }, {
+        text: string;
+        position?: "midway" | "near-start" | "near-end" | undefined;
+        side?: "above" | "below" | "left" | "right" | "sloped" | undefined;
+    }>>;
+}, "strip", z.ZodTypeAny, {
+    type: "step";
+    kind: "cubic";
+    to: string | [number, number] | import('..').PolarPosition | {
+        rel: [number, number];
+    } | {
+        relAccumulate: [number, number];
+    };
+    control1: [number, number];
+    control2: [number, number];
+    label?: {
+        text: string;
+        position?: "midway" | "near-start" | "near-end" | undefined;
+        side?: "above" | "below" | "left" | "right" | "sloped" | undefined;
+    } | undefined;
+}, {
+    type: "step";
+    kind: "cubic";
+    to: string | [number, number] | import('..').PolarPosition | {
+        rel: [number, number];
+    } | {
+        relAccumulate: [number, number];
+    };
+    control1: [number, number];
+    control2: [number, number];
+    label?: {
+        text: string;
+        position?: "midway" | "near-start" | "near-end" | undefined;
+        side?: "above" | "below" | "left" | "right" | "sloped" | undefined;
+    } | undefined;
+}>;
+export declare const BendStepSchema: z.ZodObject<{
+    type: z.ZodLiteral<"step">;
+    kind: z.ZodLiteral<"bend">;
+    to: z.ZodUnion<[z.ZodTuple<[z.ZodNumber, z.ZodNumber], null>, z.ZodType<import('..').PolarPosition, z.ZodTypeDef, import('..').PolarPosition>, z.ZodString, z.ZodObject<{
+        rel: z.ZodTuple<[z.ZodNumber, z.ZodNumber], null>;
+    }, "strip", z.ZodTypeAny, {
+        rel: [number, number];
+    }, {
+        rel: [number, number];
+    }>, z.ZodObject<{
+        relAccumulate: z.ZodTuple<[z.ZodNumber, z.ZodNumber], null>;
+    }, "strip", z.ZodTypeAny, {
+        relAccumulate: [number, number];
+    }, {
+        relAccumulate: [number, number];
+    }>]>;
+    bendDirection: z.ZodEnum<["left", "right"]>;
+    bendAngle: z.ZodOptional<z.ZodNumber>;
+    label: z.ZodOptional<z.ZodObject<{
+        text: z.ZodString;
+        position: z.ZodOptional<z.ZodEnum<["midway", "near-start", "near-end"]>>;
+        side: z.ZodOptional<z.ZodEnum<["above", "below", "left", "right", "sloped"]>>;
+    }, "strip", z.ZodTypeAny, {
+        text: string;
+        position?: "midway" | "near-start" | "near-end" | undefined;
+        side?: "above" | "below" | "left" | "right" | "sloped" | undefined;
+    }, {
+        text: string;
+        position?: "midway" | "near-start" | "near-end" | undefined;
+        side?: "above" | "below" | "left" | "right" | "sloped" | undefined;
+    }>>;
+}, "strip", z.ZodTypeAny, {
+    type: "step";
+    kind: "bend";
+    to: string | [number, number] | import('..').PolarPosition | {
+        rel: [number, number];
+    } | {
+        relAccumulate: [number, number];
+    };
+    bendDirection: "left" | "right";
+    label?: {
+        text: string;
+        position?: "midway" | "near-start" | "near-end" | undefined;
+        side?: "above" | "below" | "left" | "right" | "sloped" | undefined;
+    } | undefined;
+    bendAngle?: number | undefined;
+}, {
+    type: "step";
+    kind: "bend";
+    to: string | [number, number] | import('..').PolarPosition | {
+        rel: [number, number];
+    } | {
+        relAccumulate: [number, number];
+    };
+    bendDirection: "left" | "right";
+    label?: {
+        text: string;
+        position?: "midway" | "near-start" | "near-end" | undefined;
+        side?: "above" | "below" | "left" | "right" | "sloped" | undefined;
+    } | undefined;
+    bendAngle?: number | undefined;
+}>;
+export declare const ArcStepSchema: z.ZodObject<{
+    type: z.ZodLiteral<"step">;
+    kind: z.ZodLiteral<"arc">;
+    startAngle: z.ZodNumber;
+    endAngle: z.ZodNumber;
+    radius: z.ZodNumber;
+    label: z.ZodOptional<z.ZodObject<{
+        text: z.ZodString;
+        position: z.ZodOptional<z.ZodEnum<["midway", "near-start", "near-end"]>>;
+        side: z.ZodOptional<z.ZodEnum<["above", "below", "left", "right", "sloped"]>>;
+    }, "strip", z.ZodTypeAny, {
+        text: string;
+        position?: "midway" | "near-start" | "near-end" | undefined;
+        side?: "above" | "below" | "left" | "right" | "sloped" | undefined;
+    }, {
+        text: string;
+        position?: "midway" | "near-start" | "near-end" | undefined;
+        side?: "above" | "below" | "left" | "right" | "sloped" | undefined;
+    }>>;
+}, "strip", z.ZodTypeAny, {
+    type: "step";
+    radius: number;
+    kind: "arc";
+    startAngle: number;
+    endAngle: number;
+    label?: {
+        text: string;
+        position?: "midway" | "near-start" | "near-end" | undefined;
+        side?: "above" | "below" | "left" | "right" | "sloped" | undefined;
+    } | undefined;
+}, {
+    type: "step";
+    radius: number;
+    kind: "arc";
+    startAngle: number;
+    endAngle: number;
+    label?: {
+        text: string;
+        position?: "midway" | "near-start" | "near-end" | undefined;
+        side?: "above" | "below" | "left" | "right" | "sloped" | undefined;
+    } | undefined;
+}>;
+export declare const CirclePathStepSchema: z.ZodObject<{
+    type: z.ZodLiteral<"step">;
+    kind: z.ZodLiteral<"circlePath">;
+    radius: z.ZodNumber;
+    label: z.ZodOptional<z.ZodObject<{
+        text: z.ZodString;
+        position: z.ZodOptional<z.ZodEnum<["midway", "near-start", "near-end"]>>;
+        side: z.ZodOptional<z.ZodEnum<["above", "below", "left", "right", "sloped"]>>;
+    }, "strip", z.ZodTypeAny, {
+        text: string;
+        position?: "midway" | "near-start" | "near-end" | undefined;
+        side?: "above" | "below" | "left" | "right" | "sloped" | undefined;
+    }, {
+        text: string;
+        position?: "midway" | "near-start" | "near-end" | undefined;
+        side?: "above" | "below" | "left" | "right" | "sloped" | undefined;
+    }>>;
+}, "strip", z.ZodTypeAny, {
+    type: "step";
+    radius: number;
+    kind: "circlePath";
+    label?: {
+        text: string;
+        position?: "midway" | "near-start" | "near-end" | undefined;
+        side?: "above" | "below" | "left" | "right" | "sloped" | undefined;
+    } | undefined;
+}, {
+    type: "step";
+    radius: number;
+    kind: "circlePath";
+    label?: {
+        text: string;
+        position?: "midway" | "near-start" | "near-end" | undefined;
+        side?: "above" | "below" | "left" | "right" | "sloped" | undefined;
+    } | undefined;
+}>;
+export declare const EllipsePathStepSchema: z.ZodObject<{
+    type: z.ZodLiteral<"step">;
+    kind: z.ZodLiteral<"ellipsePath">;
+    radiusX: z.ZodNumber;
+    radiusY: z.ZodNumber;
+    label: z.ZodOptional<z.ZodObject<{
+        text: z.ZodString;
+        position: z.ZodOptional<z.ZodEnum<["midway", "near-start", "near-end"]>>;
+        side: z.ZodOptional<z.ZodEnum<["above", "below", "left", "right", "sloped"]>>;
+    }, "strip", z.ZodTypeAny, {
+        text: string;
+        position?: "midway" | "near-start" | "near-end" | undefined;
+        side?: "above" | "below" | "left" | "right" | "sloped" | undefined;
+    }, {
+        text: string;
+        position?: "midway" | "near-start" | "near-end" | undefined;
+        side?: "above" | "below" | "left" | "right" | "sloped" | undefined;
+    }>>;
+}, "strip", z.ZodTypeAny, {
+    type: "step";
+    kind: "ellipsePath";
+    radiusX: number;
+    radiusY: number;
+    label?: {
+        text: string;
+        position?: "midway" | "near-start" | "near-end" | undefined;
+        side?: "above" | "below" | "left" | "right" | "sloped" | undefined;
+    } | undefined;
+}, {
+    type: "step";
+    kind: "ellipsePath";
+    radiusX: number;
+    radiusY: number;
+    label?: {
+        text: string;
+        position?: "midway" | "near-start" | "near-end" | undefined;
+        side?: "above" | "below" | "left" | "right" | "sloped" | undefined;
+    } | undefined;
+}>;
 export declare const StepSchema: z.ZodDiscriminatedUnion<"kind", [z.ZodObject<{
     type: z.ZodLiteral<"step">;
     kind: z.ZodLiteral<"move">;
-    to: z.ZodUnion<[z.ZodTuple<[z.ZodNumber, z.ZodNumber], null>, z.ZodType<import('..').PolarPosition, z.ZodTypeDef, import('..').PolarPosition>, z.ZodString]>;
+    to: z.ZodUnion<[z.ZodTuple<[z.ZodNumber, z.ZodNumber], null>, z.ZodType<import('..').PolarPosition, z.ZodTypeDef, import('..').PolarPosition>, z.ZodString, z.ZodObject<{
+        rel: z.ZodTuple<[z.ZodNumber, z.ZodNumber], null>;
+    }, "strip", z.ZodTypeAny, {
+        rel: [number, number];
+    }, {
+        rel: [number, number];
+    }>, z.ZodObject<{
+        relAccumulate: z.ZodTuple<[z.ZodNumber, z.ZodNumber], null>;
+    }, "strip", z.ZodTypeAny, {
+        relAccumulate: [number, number];
+    }, {
+        relAccumulate: [number, number];
+    }>]>;
 }, "strip", z.ZodTypeAny, {
     type: "step";
     kind: "move";
-    to: string | [number, number] | import('..').PolarPosition;
+    to: string | [number, number] | import('..').PolarPosition | {
+        rel: [number, number];
+    } | {
+        relAccumulate: [number, number];
+    };
 }, {
     type: "step";
     kind: "move";
-    to: string | [number, number] | import('..').PolarPosition;
+    to: string | [number, number] | import('..').PolarPosition | {
+        rel: [number, number];
+    } | {
+        relAccumulate: [number, number];
+    };
 }>, z.ZodObject<{
     type: z.ZodLiteral<"step">;
     kind: z.ZodLiteral<"line">;
-    to: z.ZodUnion<[z.ZodTuple<[z.ZodNumber, z.ZodNumber], null>, z.ZodType<import('..').PolarPosition, z.ZodTypeDef, import('..').PolarPosition>, z.ZodString]>;
+    to: z.ZodUnion<[z.ZodTuple<[z.ZodNumber, z.ZodNumber], null>, z.ZodType<import('..').PolarPosition, z.ZodTypeDef, import('..').PolarPosition>, z.ZodString, z.ZodObject<{
+        rel: z.ZodTuple<[z.ZodNumber, z.ZodNumber], null>;
+    }, "strip", z.ZodTypeAny, {
+        rel: [number, number];
+    }, {
+        rel: [number, number];
+    }>, z.ZodObject<{
+        relAccumulate: z.ZodTuple<[z.ZodNumber, z.ZodNumber], null>;
+    }, "strip", z.ZodTypeAny, {
+        relAccumulate: [number, number];
+    }, {
+        relAccumulate: [number, number];
+    }>]>;
+    label: z.ZodOptional<z.ZodObject<{
+        text: z.ZodString;
+        position: z.ZodOptional<z.ZodEnum<["midway", "near-start", "near-end"]>>;
+        side: z.ZodOptional<z.ZodEnum<["above", "below", "left", "right", "sloped"]>>;
+    }, "strip", z.ZodTypeAny, {
+        text: string;
+        position?: "midway" | "near-start" | "near-end" | undefined;
+        side?: "above" | "below" | "left" | "right" | "sloped" | undefined;
+    }, {
+        text: string;
+        position?: "midway" | "near-start" | "near-end" | undefined;
+        side?: "above" | "below" | "left" | "right" | "sloped" | undefined;
+    }>>;
 }, "strip", z.ZodTypeAny, {
     type: "step";
     kind: "line";
-    to: string | [number, number] | import('..').PolarPosition;
+    to: string | [number, number] | import('..').PolarPosition | {
+        rel: [number, number];
+    } | {
+        relAccumulate: [number, number];
+    };
+    label?: {
+        text: string;
+        position?: "midway" | "near-start" | "near-end" | undefined;
+        side?: "above" | "below" | "left" | "right" | "sloped" | undefined;
+    } | undefined;
 }, {
     type: "step";
     kind: "line";
-    to: string | [number, number] | import('..').PolarPosition;
+    to: string | [number, number] | import('..').PolarPosition | {
+        rel: [number, number];
+    } | {
+        relAccumulate: [number, number];
+    };
+    label?: {
+        text: string;
+        position?: "midway" | "near-start" | "near-end" | undefined;
+        side?: "above" | "below" | "left" | "right" | "sloped" | undefined;
+    } | undefined;
 }>, z.ZodObject<{
     type: z.ZodLiteral<"step">;
     kind: z.ZodLiteral<"step">;
     via: z.ZodEnum<["-|", "|-"]>;
-    to: z.ZodUnion<[z.ZodTuple<[z.ZodNumber, z.ZodNumber], null>, z.ZodType<import('..').PolarPosition, z.ZodTypeDef, import('..').PolarPosition>, z.ZodString]>;
+    to: z.ZodUnion<[z.ZodTuple<[z.ZodNumber, z.ZodNumber], null>, z.ZodType<import('..').PolarPosition, z.ZodTypeDef, import('..').PolarPosition>, z.ZodString, z.ZodObject<{
+        rel: z.ZodTuple<[z.ZodNumber, z.ZodNumber], null>;
+    }, "strip", z.ZodTypeAny, {
+        rel: [number, number];
+    }, {
+        rel: [number, number];
+    }>, z.ZodObject<{
+        relAccumulate: z.ZodTuple<[z.ZodNumber, z.ZodNumber], null>;
+    }, "strip", z.ZodTypeAny, {
+        relAccumulate: [number, number];
+    }, {
+        relAccumulate: [number, number];
+    }>]>;
+    label: z.ZodOptional<z.ZodObject<{
+        text: z.ZodString;
+        position: z.ZodOptional<z.ZodEnum<["midway", "near-start", "near-end"]>>;
+        side: z.ZodOptional<z.ZodEnum<["above", "below", "left", "right", "sloped"]>>;
+    }, "strip", z.ZodTypeAny, {
+        text: string;
+        position?: "midway" | "near-start" | "near-end" | undefined;
+        side?: "above" | "below" | "left" | "right" | "sloped" | undefined;
+    }, {
+        text: string;
+        position?: "midway" | "near-start" | "near-end" | undefined;
+        side?: "above" | "below" | "left" | "right" | "sloped" | undefined;
+    }>>;
 }, "strip", z.ZodTypeAny, {
     type: "step";
     kind: "step";
-    to: string | [number, number] | import('..').PolarPosition;
+    to: string | [number, number] | import('..').PolarPosition | {
+        rel: [number, number];
+    } | {
+        relAccumulate: [number, number];
+    };
     via: "-|" | "|-";
+    label?: {
+        text: string;
+        position?: "midway" | "near-start" | "near-end" | undefined;
+        side?: "above" | "below" | "left" | "right" | "sloped" | undefined;
+    } | undefined;
 }, {
     type: "step";
     kind: "step";
-    to: string | [number, number] | import('..').PolarPosition;
+    to: string | [number, number] | import('..').PolarPosition | {
+        rel: [number, number];
+    } | {
+        relAccumulate: [number, number];
+    };
     via: "-|" | "|-";
+    label?: {
+        text: string;
+        position?: "midway" | "near-start" | "near-end" | undefined;
+        side?: "above" | "below" | "left" | "right" | "sloped" | undefined;
+    } | undefined;
 }>, z.ZodObject<{
     type: z.ZodLiteral<"step">;
     kind: z.ZodLiteral<"cycle">;
@@ -99,6 +642,300 @@ export declare const StepSchema: z.ZodDiscriminatedUnion<"kind", [z.ZodObject<{
 }, {
     type: "step";
     kind: "cycle";
+}>, z.ZodObject<{
+    type: z.ZodLiteral<"step">;
+    kind: z.ZodLiteral<"curve">;
+    to: z.ZodUnion<[z.ZodTuple<[z.ZodNumber, z.ZodNumber], null>, z.ZodType<import('..').PolarPosition, z.ZodTypeDef, import('..').PolarPosition>, z.ZodString, z.ZodObject<{
+        rel: z.ZodTuple<[z.ZodNumber, z.ZodNumber], null>;
+    }, "strip", z.ZodTypeAny, {
+        rel: [number, number];
+    }, {
+        rel: [number, number];
+    }>, z.ZodObject<{
+        relAccumulate: z.ZodTuple<[z.ZodNumber, z.ZodNumber], null>;
+    }, "strip", z.ZodTypeAny, {
+        relAccumulate: [number, number];
+    }, {
+        relAccumulate: [number, number];
+    }>]>;
+    control: z.ZodTuple<[z.ZodNumber, z.ZodNumber], null>;
+    label: z.ZodOptional<z.ZodObject<{
+        text: z.ZodString;
+        position: z.ZodOptional<z.ZodEnum<["midway", "near-start", "near-end"]>>;
+        side: z.ZodOptional<z.ZodEnum<["above", "below", "left", "right", "sloped"]>>;
+    }, "strip", z.ZodTypeAny, {
+        text: string;
+        position?: "midway" | "near-start" | "near-end" | undefined;
+        side?: "above" | "below" | "left" | "right" | "sloped" | undefined;
+    }, {
+        text: string;
+        position?: "midway" | "near-start" | "near-end" | undefined;
+        side?: "above" | "below" | "left" | "right" | "sloped" | undefined;
+    }>>;
+}, "strip", z.ZodTypeAny, {
+    type: "step";
+    kind: "curve";
+    to: string | [number, number] | import('..').PolarPosition | {
+        rel: [number, number];
+    } | {
+        relAccumulate: [number, number];
+    };
+    control: [number, number];
+    label?: {
+        text: string;
+        position?: "midway" | "near-start" | "near-end" | undefined;
+        side?: "above" | "below" | "left" | "right" | "sloped" | undefined;
+    } | undefined;
+}, {
+    type: "step";
+    kind: "curve";
+    to: string | [number, number] | import('..').PolarPosition | {
+        rel: [number, number];
+    } | {
+        relAccumulate: [number, number];
+    };
+    control: [number, number];
+    label?: {
+        text: string;
+        position?: "midway" | "near-start" | "near-end" | undefined;
+        side?: "above" | "below" | "left" | "right" | "sloped" | undefined;
+    } | undefined;
+}>, z.ZodObject<{
+    type: z.ZodLiteral<"step">;
+    kind: z.ZodLiteral<"cubic">;
+    to: z.ZodUnion<[z.ZodTuple<[z.ZodNumber, z.ZodNumber], null>, z.ZodType<import('..').PolarPosition, z.ZodTypeDef, import('..').PolarPosition>, z.ZodString, z.ZodObject<{
+        rel: z.ZodTuple<[z.ZodNumber, z.ZodNumber], null>;
+    }, "strip", z.ZodTypeAny, {
+        rel: [number, number];
+    }, {
+        rel: [number, number];
+    }>, z.ZodObject<{
+        relAccumulate: z.ZodTuple<[z.ZodNumber, z.ZodNumber], null>;
+    }, "strip", z.ZodTypeAny, {
+        relAccumulate: [number, number];
+    }, {
+        relAccumulate: [number, number];
+    }>]>;
+    control1: z.ZodTuple<[z.ZodNumber, z.ZodNumber], null>;
+    control2: z.ZodTuple<[z.ZodNumber, z.ZodNumber], null>;
+    label: z.ZodOptional<z.ZodObject<{
+        text: z.ZodString;
+        position: z.ZodOptional<z.ZodEnum<["midway", "near-start", "near-end"]>>;
+        side: z.ZodOptional<z.ZodEnum<["above", "below", "left", "right", "sloped"]>>;
+    }, "strip", z.ZodTypeAny, {
+        text: string;
+        position?: "midway" | "near-start" | "near-end" | undefined;
+        side?: "above" | "below" | "left" | "right" | "sloped" | undefined;
+    }, {
+        text: string;
+        position?: "midway" | "near-start" | "near-end" | undefined;
+        side?: "above" | "below" | "left" | "right" | "sloped" | undefined;
+    }>>;
+}, "strip", z.ZodTypeAny, {
+    type: "step";
+    kind: "cubic";
+    to: string | [number, number] | import('..').PolarPosition | {
+        rel: [number, number];
+    } | {
+        relAccumulate: [number, number];
+    };
+    control1: [number, number];
+    control2: [number, number];
+    label?: {
+        text: string;
+        position?: "midway" | "near-start" | "near-end" | undefined;
+        side?: "above" | "below" | "left" | "right" | "sloped" | undefined;
+    } | undefined;
+}, {
+    type: "step";
+    kind: "cubic";
+    to: string | [number, number] | import('..').PolarPosition | {
+        rel: [number, number];
+    } | {
+        relAccumulate: [number, number];
+    };
+    control1: [number, number];
+    control2: [number, number];
+    label?: {
+        text: string;
+        position?: "midway" | "near-start" | "near-end" | undefined;
+        side?: "above" | "below" | "left" | "right" | "sloped" | undefined;
+    } | undefined;
+}>, z.ZodObject<{
+    type: z.ZodLiteral<"step">;
+    kind: z.ZodLiteral<"bend">;
+    to: z.ZodUnion<[z.ZodTuple<[z.ZodNumber, z.ZodNumber], null>, z.ZodType<import('..').PolarPosition, z.ZodTypeDef, import('..').PolarPosition>, z.ZodString, z.ZodObject<{
+        rel: z.ZodTuple<[z.ZodNumber, z.ZodNumber], null>;
+    }, "strip", z.ZodTypeAny, {
+        rel: [number, number];
+    }, {
+        rel: [number, number];
+    }>, z.ZodObject<{
+        relAccumulate: z.ZodTuple<[z.ZodNumber, z.ZodNumber], null>;
+    }, "strip", z.ZodTypeAny, {
+        relAccumulate: [number, number];
+    }, {
+        relAccumulate: [number, number];
+    }>]>;
+    bendDirection: z.ZodEnum<["left", "right"]>;
+    bendAngle: z.ZodOptional<z.ZodNumber>;
+    label: z.ZodOptional<z.ZodObject<{
+        text: z.ZodString;
+        position: z.ZodOptional<z.ZodEnum<["midway", "near-start", "near-end"]>>;
+        side: z.ZodOptional<z.ZodEnum<["above", "below", "left", "right", "sloped"]>>;
+    }, "strip", z.ZodTypeAny, {
+        text: string;
+        position?: "midway" | "near-start" | "near-end" | undefined;
+        side?: "above" | "below" | "left" | "right" | "sloped" | undefined;
+    }, {
+        text: string;
+        position?: "midway" | "near-start" | "near-end" | undefined;
+        side?: "above" | "below" | "left" | "right" | "sloped" | undefined;
+    }>>;
+}, "strip", z.ZodTypeAny, {
+    type: "step";
+    kind: "bend";
+    to: string | [number, number] | import('..').PolarPosition | {
+        rel: [number, number];
+    } | {
+        relAccumulate: [number, number];
+    };
+    bendDirection: "left" | "right";
+    label?: {
+        text: string;
+        position?: "midway" | "near-start" | "near-end" | undefined;
+        side?: "above" | "below" | "left" | "right" | "sloped" | undefined;
+    } | undefined;
+    bendAngle?: number | undefined;
+}, {
+    type: "step";
+    kind: "bend";
+    to: string | [number, number] | import('..').PolarPosition | {
+        rel: [number, number];
+    } | {
+        relAccumulate: [number, number];
+    };
+    bendDirection: "left" | "right";
+    label?: {
+        text: string;
+        position?: "midway" | "near-start" | "near-end" | undefined;
+        side?: "above" | "below" | "left" | "right" | "sloped" | undefined;
+    } | undefined;
+    bendAngle?: number | undefined;
+}>, z.ZodObject<{
+    type: z.ZodLiteral<"step">;
+    kind: z.ZodLiteral<"arc">;
+    startAngle: z.ZodNumber;
+    endAngle: z.ZodNumber;
+    radius: z.ZodNumber;
+    label: z.ZodOptional<z.ZodObject<{
+        text: z.ZodString;
+        position: z.ZodOptional<z.ZodEnum<["midway", "near-start", "near-end"]>>;
+        side: z.ZodOptional<z.ZodEnum<["above", "below", "left", "right", "sloped"]>>;
+    }, "strip", z.ZodTypeAny, {
+        text: string;
+        position?: "midway" | "near-start" | "near-end" | undefined;
+        side?: "above" | "below" | "left" | "right" | "sloped" | undefined;
+    }, {
+        text: string;
+        position?: "midway" | "near-start" | "near-end" | undefined;
+        side?: "above" | "below" | "left" | "right" | "sloped" | undefined;
+    }>>;
+}, "strip", z.ZodTypeAny, {
+    type: "step";
+    radius: number;
+    kind: "arc";
+    startAngle: number;
+    endAngle: number;
+    label?: {
+        text: string;
+        position?: "midway" | "near-start" | "near-end" | undefined;
+        side?: "above" | "below" | "left" | "right" | "sloped" | undefined;
+    } | undefined;
+}, {
+    type: "step";
+    radius: number;
+    kind: "arc";
+    startAngle: number;
+    endAngle: number;
+    label?: {
+        text: string;
+        position?: "midway" | "near-start" | "near-end" | undefined;
+        side?: "above" | "below" | "left" | "right" | "sloped" | undefined;
+    } | undefined;
+}>, z.ZodObject<{
+    type: z.ZodLiteral<"step">;
+    kind: z.ZodLiteral<"circlePath">;
+    radius: z.ZodNumber;
+    label: z.ZodOptional<z.ZodObject<{
+        text: z.ZodString;
+        position: z.ZodOptional<z.ZodEnum<["midway", "near-start", "near-end"]>>;
+        side: z.ZodOptional<z.ZodEnum<["above", "below", "left", "right", "sloped"]>>;
+    }, "strip", z.ZodTypeAny, {
+        text: string;
+        position?: "midway" | "near-start" | "near-end" | undefined;
+        side?: "above" | "below" | "left" | "right" | "sloped" | undefined;
+    }, {
+        text: string;
+        position?: "midway" | "near-start" | "near-end" | undefined;
+        side?: "above" | "below" | "left" | "right" | "sloped" | undefined;
+    }>>;
+}, "strip", z.ZodTypeAny, {
+    type: "step";
+    radius: number;
+    kind: "circlePath";
+    label?: {
+        text: string;
+        position?: "midway" | "near-start" | "near-end" | undefined;
+        side?: "above" | "below" | "left" | "right" | "sloped" | undefined;
+    } | undefined;
+}, {
+    type: "step";
+    radius: number;
+    kind: "circlePath";
+    label?: {
+        text: string;
+        position?: "midway" | "near-start" | "near-end" | undefined;
+        side?: "above" | "below" | "left" | "right" | "sloped" | undefined;
+    } | undefined;
+}>, z.ZodObject<{
+    type: z.ZodLiteral<"step">;
+    kind: z.ZodLiteral<"ellipsePath">;
+    radiusX: z.ZodNumber;
+    radiusY: z.ZodNumber;
+    label: z.ZodOptional<z.ZodObject<{
+        text: z.ZodString;
+        position: z.ZodOptional<z.ZodEnum<["midway", "near-start", "near-end"]>>;
+        side: z.ZodOptional<z.ZodEnum<["above", "below", "left", "right", "sloped"]>>;
+    }, "strip", z.ZodTypeAny, {
+        text: string;
+        position?: "midway" | "near-start" | "near-end" | undefined;
+        side?: "above" | "below" | "left" | "right" | "sloped" | undefined;
+    }, {
+        text: string;
+        position?: "midway" | "near-start" | "near-end" | undefined;
+        side?: "above" | "below" | "left" | "right" | "sloped" | undefined;
+    }>>;
+}, "strip", z.ZodTypeAny, {
+    type: "step";
+    kind: "ellipsePath";
+    radiusX: number;
+    radiusY: number;
+    label?: {
+        text: string;
+        position?: "midway" | "near-start" | "near-end" | undefined;
+        side?: "above" | "below" | "left" | "right" | "sloped" | undefined;
+    } | undefined;
+}, {
+    type: "step";
+    kind: "ellipsePath";
+    radiusX: number;
+    radiusY: number;
+    label?: {
+        text: string;
+        position?: "midway" | "near-start" | "near-end" | undefined;
+        side?: "above" | "below" | "left" | "right" | "sloped" | undefined;
+    } | undefined;
 }>]>;
 /** Move step：移动游标但不绘制 */
 export type IRMoveStep = z.infer<typeof MoveStepSchema>;
@@ -108,9 +945,24 @@ export type IRLineStep = z.infer<typeof LineStepSchema>;
 export type IRFoldStep = z.infer<typeof FoldStepSchema>;
 /** Cycle step：把当前子路径闭合回起点（TikZ `cycle` / SVG `Z`） */
 export type IRCycleStep = z.infer<typeof CycleStepSchema>;
+/** Curve step：二次贝塞尔，一个控制点 */
+export type IRCurveStep = z.infer<typeof CurveStepSchema>;
+/** Cubic step：三次贝塞尔，两控制点 */
+export type IRCubicStep = z.infer<typeof CubicStepSchema>;
+/** Bend step：弧形简记，按方向 + 角度生成 */
+export type IRBendStep = z.infer<typeof BendStepSchema>;
+/** Arc step：以游标为圆心的圆弧段，按起末角度 + 半径定 */
+export type IRArcStep = z.infer<typeof ArcStepSchema>;
+/** CirclePath step：以游标为圆心的整圆 */
+export type IRCirclePathStep = z.infer<typeof CirclePathStepSchema>;
+/** EllipsePath step：以游标为圆心的整椭圆 */
+export type IREllipsePathStep = z.infer<typeof EllipsePathStepSchema>;
 /**
- * 路径上的一个动作。v0.1.0-alpha.1 支持 'move' / 'line' / 'step'（折角）/ 'cycle'（闭合）。
- * 后续会加 'curve'、'cubic'、'rel' 等。
+ * 路径上的一个动作。alpha.3 起支持十种 kind：'move' / 'line' / 'step'（折角）/
+ * 'cycle' / 'curve' / 'cubic' / 'bend'（曲线三件套，ADR-0001）/
+ * 'arc' / 'circlePath' / 'ellipsePath'（path-level 形状，ADR-0002）。
+ * ADR-0003 引入 `to` 字段的 rel / relAccumulate 变体。
+ * ADR-0004 给除 move/cycle 外八种 kind 加 `label?` 字段（边标注）。
  */
 export type IRStep = z.infer<typeof StepSchema>;
 //# sourceMappingURL=step.d.ts.map