clinkx 0.3.0 → 1.1.0

package/clinkx-workflows/dist/plan-review/contract.js

@@ -0,0 +1,289 @@
+import { isAbsolute, win32 } from "node:path";
+import { z } from "zod";
+export const REVIEW_ID_PATTERN = /^[A-Za-z0-9][A-Za-z0-9_.-]{0,63}$/;
+export const REPOSITORY_ID_PATTERN = /^[A-Za-z0-9][A-Za-z0-9._-]*(?:\/[A-Za-z0-9][A-Za-z0-9._-]*)*$/;
+export const PLAN_ID_PATTERN = /^[a-z0-9][a-z0-9-]{0,62}$/;
+export const SHA256_PATTERN = /^[0-9a-f]{64}$/;
+export const MAX_PLAN_REVIEW_REPOSITORY_ID_CHARS = 128;
+export const MAX_PLAN_REVIEW_SEATS = 10;
+export const PLAN_REVIEW_STANCES = [
+    "strict",
+    "pragmatic",
+    "adversarial",
+];
+export const MAX_RESULT_ENVELOPE_BYTES = 1_048_576;
+export const ReviewIdSchema = z.string().regex(REVIEW_ID_PATTERN);
+export const RepositoryIdSchema = z
+    .string()
+    .max(MAX_PLAN_REVIEW_REPOSITORY_ID_CHARS)
+    .regex(REPOSITORY_ID_PATTERN);
+export const PlanIdSchema = z.string().regex(PLAN_ID_PATTERN);
+export const DigestSchema = z.string().regex(SHA256_PATTERN);
+const PositiveIntegerSchema = z.number().int().min(1).finite();
+const ScoreSchema = z.number().min(0).max(10).finite();
+export const CliNameSchema = z.enum(["codex", "claude", "glm", "agy", "grok"]);
+/**
+ * The closed v1 plan-review provider set, derived from `CliNameSchema` so the
+ * enum stays the single source of truth: a seat's `cli_name` and the set
+ * discovery advertises cannot drift apart.
+ *
+ * Discovery filters configured adapters through this set. A custom adapter the
+ * host happens to have configured is NOT a v1 plan-review provider — admitting
+ * it into the roster would fail `CliNameSchema` at contract parse anyway, so
+ * advertising it would promise a seat that cannot be bound.
+ */
+export const PLAN_REVIEW_V1_CLI_NAMES = CliNameSchema.options;
+const PlanReviewSeatSchema = z
+    .object({
+    seat_id: ReviewIdSchema,
+    reviewer: z.string().min(1),
+    cli_name: CliNameSchema,
+    stance: z.enum(PLAN_REVIEW_STANCES),
+})
+    .strict()
+    .refine((seat) => seat.reviewer === seat.cli_name, {
+    message: "reviewer must equal cli_name",
+    path: ["reviewer"],
+});
+export const CouncilPlanReviewInputSchema = z
+    .object({
+    schema_version: z.literal("council-plan-review-input-v1"),
+    workspace_schema: z.literal("plan-workspace-v1"),
+    digest_profile: z.literal("checkpoint-text-v1"),
+    review_id: ReviewIdSchema,
+    repository_id: RepositoryIdSchema,
+    iteration: PositiveIntegerSchema,
+    plan_id: PlanIdSchema,
+    revision: PositiveIntegerSchema,
+    digest: DigestSchema,
+    expected_execution_contract_digest: DigestSchema,
+    threshold: ScoreSchema,
+    designated_editor: z.string().min(1),
+    chairman_seat: ReviewIdSchema,
+    plan_file: z
+        .string()
+        .min(1)
+        .refine((value) => isAbsolute(value) || win32.isAbsolute(value), "plan_file must be absolute"),
+    seats: z.array(PlanReviewSeatSchema).min(1).max(MAX_PLAN_REVIEW_SEATS),
+})
+    .strict()
+    .superRefine((input, ctx) => {
+    const seatIds = new Set();
+    for (const [index, seat] of input.seats.entries()) {
+        if (seatIds.has(seat.seat_id)) {
+            ctx.addIssue({
+                code: z.ZodIssueCode.custom,
+                message: `Duplicate seat_id: ${seat.seat_id}`,
+                path: ["seats", index, "seat_id"],
+            });
+        }
+        seatIds.add(seat.seat_id);
+    }
+    if (!seatIds.has(input.chairman_seat)) {
+        ctx.addIssue({
+            code: z.ZodIssueCode.custom,
+            message: "chairman_seat must identify one admitted seat",
+            path: ["chairman_seat"],
+        });
+    }
+});
+export const ReviewReceiptV1Schema = z
+    .object({
+    schema_version: z.literal("review-receipt-v1"),
+    workspace_schema: z.literal("plan-workspace-v1"),
+    digest_profile: z.literal("checkpoint-text-v1"),
+    review_id: ReviewIdSchema,
+    repository_id: RepositoryIdSchema,
+    iteration: PositiveIntegerSchema,
+    plan_id: PlanIdSchema,
+    revision: PositiveIntegerSchema,
+    digest: DigestSchema,
+    seat_id: ReviewIdSchema,
+    reviewer: z.string().min(1),
+    status: z.enum(["completed", "failed"]),
+    verdict: z.enum(["approve", "request_changes", "abstain"]),
+    score: ScoreSchema,
+    blockers: z.array(z.string().min(1)),
+    verification_gaps: z.array(z.string().min(1)),
+    findings: z.array(z.string().min(1)),
+})
+    .strict();
+const ResultBindingsSchema = z
+    .object({
+    repository_id: RepositoryIdSchema,
+    review_id: ReviewIdSchema,
+    plan_id: PlanIdSchema,
+    revision: PositiveIntegerSchema,
+    digest: DigestSchema,
+    threshold: ScoreSchema,
+    designated_editor: z.string().min(1),
+    chairman_seat: ReviewIdSchema,
+})
+    .strict();
+export const PlanReviewErrorReasonSchema = z.enum([
+    "timeout",
+    "nonzero_exit",
+    "invalid_output",
+    "schema_mismatch",
+    "no_artifact",
+    "cancelled",
+    "internal_error",
+]);
+const SeatErrorSchema = z
+    .object({
+    reason: PlanReviewErrorReasonSchema,
+    detail: z.string().max(2_048).optional(),
+})
+    .strict();
+const ResultSeatIdentityShape = {
+    seat_id: ReviewIdSchema,
+    internal_call_id: z.string().regex(/^seat_[0-9]{3,}$/),
+    reviewer: z.string().min(1),
+    cli_name: CliNameSchema,
+};
+const ResultSeatSchema = z.discriminatedUnion("execution_status", [
+    z
+        .object({
+        ...ResultSeatIdentityShape,
+        execution_status: z.literal("completed"),
+        receipt_candidate: ReviewReceiptV1Schema,
+    })
+        .strict(),
+    z
+        .object({
+        ...ResultSeatIdentityShape,
+        execution_status: z.literal("failed"),
+        error: SeatErrorSchema,
+    })
+        .strict(),
+    z
+        .object({
+        ...ResultSeatIdentityShape,
+        execution_status: z.literal("missing"),
+        error: SeatErrorSchema,
+    })
+        .strict(),
+]);
+const ChairmanIdentityShape = {
+    seat_id: ReviewIdSchema,
+    cli_name: CliNameSchema,
+};
+const ChairmanSchema = z.discriminatedUnion("execution_status", [
+    z
+        .object({
+        ...ChairmanIdentityShape,
+        execution_status: z.literal("completed"),
+        synthesis: z.string().max(65_536),
+    })
+        .strict(),
+    z
+        .object({
+        ...ChairmanIdentityShape,
+        execution_status: z.literal("failed"),
+    })
+        .strict(),
+    z
+        .object({
+        ...ChairmanIdentityShape,
+        execution_status: z.literal("skipped"),
+    })
+        .strict(),
+]);
+export const CouncilPlanReviewResultSchema = z
+    .object({
+    schema_version: z.literal("council-plan-review-result-v1"),
+    execution_contract_digest: DigestSchema,
+    execution_status: z.enum(["complete", "partial"]),
+    bindings: ResultBindingsSchema,
+    seats: z.array(ResultSeatSchema).min(1).max(10),
+    chairman: ChairmanSchema,
+})
+    .strict()
+    .superRefine((result, ctx) => {
+    const allSeatsCompleted = result.seats.every((seat) => seat.execution_status === "completed");
+    const expectedStatus = allSeatsCompleted ? "complete" : "partial";
+    if (result.execution_status !== expectedStatus) {
+        ctx.addIssue({
+            code: z.ZodIssueCode.custom,
+            message: `execution_status must be ${expectedStatus}`,
+            path: ["execution_status"],
+        });
+    }
+    const seatIds = new Set();
+    const callIds = new Set();
+    for (const [index, seat] of result.seats.entries()) {
+        if (seatIds.has(seat.seat_id)) {
+            ctx.addIssue({
+                code: z.ZodIssueCode.custom,
+                message: `Duplicate seat_id: ${seat.seat_id}`,
+                path: ["seats", index, "seat_id"],
+            });
+        }
+        seatIds.add(seat.seat_id);
+        if (callIds.has(seat.internal_call_id)) {
+            ctx.addIssue({
+                code: z.ZodIssueCode.custom,
+                message: `Duplicate internal_call_id: ${seat.internal_call_id}`,
+                path: ["seats", index, "internal_call_id"],
+            });
+        }
+        callIds.add(seat.internal_call_id);
+        if (seat.reviewer !== seat.cli_name) {
+            ctx.addIssue({
+                code: z.ZodIssueCode.custom,
+                message: "reviewer must equal cli_name",
+                path: ["seats", index, "reviewer"],
+            });
+        }
+        if (seat.execution_status === "completed") {
+            const receipt = seat.receipt_candidate;
+            const bindingMismatches = [
+                receipt.repository_id !== result.bindings.repository_id,
+                receipt.review_id !== result.bindings.review_id,
+                receipt.plan_id !== result.bindings.plan_id,
+                receipt.revision !== result.bindings.revision,
+                receipt.digest !== result.bindings.digest,
+                receipt.seat_id !== seat.seat_id,
+                receipt.reviewer !== seat.reviewer,
+            ];
+            if (bindingMismatches.some(Boolean)) {
+                ctx.addIssue({
+                    code: z.ZodIssueCode.custom,
+                    message: "receipt_candidate bindings must match the envelope seat and bindings",
+                    path: ["seats", index, "receipt_candidate"],
+                });
+            }
+        }
+    }
+    const chairmanSeat = result.seats.find((seat) => seat.seat_id === result.bindings.chairman_seat);
+    if (chairmanSeat === undefined) {
+        ctx.addIssue({
+            code: z.ZodIssueCode.custom,
+            message: "bindings.chairman_seat must identify one result seat",
+            path: ["bindings", "chairman_seat"],
+        });
+    }
+    if (result.chairman.seat_id !== result.bindings.chairman_seat) {
+        ctx.addIssue({
+            code: z.ZodIssueCode.custom,
+            message: "chairman.seat_id must equal bindings.chairman_seat",
+            path: ["chairman", "seat_id"],
+        });
+    }
+    if (chairmanSeat !== undefined &&
+        result.chairman.cli_name !== chairmanSeat.cli_name) {
+        ctx.addIssue({
+            code: z.ZodIssueCode.custom,
+            message: "chairman.cli_name must match the bound chairman seat",
+            path: ["chairman", "cli_name"],
+        });
+    }
+    if (Buffer.byteLength(JSON.stringify(result), "utf8") >
+        MAX_RESULT_ENVELOPE_BYTES) {
+        ctx.addIssue({
+            code: z.ZodIssueCode.custom,
+            message: `Serialized result envelope must not exceed ${String(MAX_RESULT_ENVELOPE_BYTES)} bytes`,
+        });
+    }
+});
+//# sourceMappingURL=contract.js.map

package/clinkx-workflows/dist/plan-review/contract.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"contract.js","sourceRoot":"","sources":["../../src/plan-review/contract.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,KAAK,EAAE,MAAM,WAAW,CAAC;AAC9C,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,MAAM,CAAC,MAAM,iBAAiB,GAAG,mCAAmC,CAAC;AACrE,MAAM,CAAC,MAAM,qBAAqB,GAChC,+DAA+D,CAAC;AAClE,MAAM,CAAC,MAAM,eAAe,GAAG,2BAA2B,CAAC;AAC3D,MAAM,CAAC,MAAM,cAAc,GAAG,gBAAgB,CAAC;AAC/C,MAAM,CAAC,MAAM,mCAAmC,GAAG,GAAG,CAAC;AACvD,MAAM,CAAC,MAAM,qBAAqB,GAAG,EAAE,CAAC;AACxC,MAAM,CAAC,MAAM,mBAAmB,GAAG;IACjC,QAAQ;IACR,WAAW;IACX,aAAa;CACL,CAAC;AACX,MAAM,CAAC,MAAM,yBAAyB,GAAG,SAAS,CAAC;AAEnD,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,KAAK,CAAC,iBAAiB,CAAC,CAAC;AAClE,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC;KAChC,MAAM,EAAE;KACR,GAAG,CAAC,mCAAmC,CAAC;KACxC,KAAK,CAAC,qBAAqB,CAAC,CAAC;AAChC,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC;AAC9D,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,KAAK,CAAC,cAAc,CAAC,CAAC;AAC7D,MAAM,qBAAqB,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;AAC/D,MAAM,WAAW,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC;AACvD,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,QAAQ,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC;AAE/E;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,wBAAwB,GAAG,aAAa,CAAC,OAAO,CAAC;AAE9D,MAAM,oBAAoB,GAAG,CAAC;KAC3B,MAAM,CAAC;IACN,OAAO,EAAE,cAAc;IACvB,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAC3B,QAAQ,EAAE,aAAa;IACvB,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,mBAAmB,CAAC;CACpC,CAAC;KACD,MAAM,EAAE;KACR,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,KAAK,IAAI,CAAC,QAAQ,EAAE;IACjD,OAAO,EAAE,8BAA8B;IACvC,IAAI,EAAE,CAAC,UAAU,CAAC;CACnB,CAAC,CAAC;AAEL,MAAM,CAAC,MAAM,4BAA4B,GAAG,CAAC;KAC1C,MAAM,CAAC;IACN,cAAc,EAAE,CAAC,CAAC,OAAO,CAAC,8BAA8B,CAAC;IACzD,gBAAgB,EAAE,CAAC,CAAC,OAAO,CAAC,mBAAmB,CAAC;IAChD,cAAc,EAAE,CAAC,CAAC,OAAO,CAAC,oBAAoB,CAAC;IAC/C,SAAS,EAAE,cAAc;IACzB,aAAa,EAAE,kBAAkB;IACjC,SAAS,EAAE,qBAAqB;IAChC,OAAO,EAAE,YAAY;IACrB,QAAQ,EAAE,qBAAqB;IAC/B,MAAM,EAAE,YAAY;IACpB,kCAAkC,EAAE,YAAY;IAChD,SAAS,EAAE,WAAW;IACtB,iBAAiB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACpC,aAAa,EAAE,cAAc;IAC7B,SAAS,EAAE,CAAC;SACT,MAAM,EAAE;SACR,GAAG,CAAC,CAAC,CAAC;SACN,MAAM,CACL,CAAC,KAAK,EAAE,EAAE,CAAC,UAAU,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,UAAU,CAAC,KAAK,CAAC,EACvD,4BAA4B,CAC7B;IACH,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,oBAAoB,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,qBAAqB,CAAC;CACvE,CAAC;KACD,MAAM,EAAE;KACR,WAAW,CAAC,CAAC,KAAK,EAAE,GAAG,EAAE,EAAE;IAC1B,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,KAAK,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,KAAK,CAAC,KAAK,CAAC,OAAO,EAAE,EAAE,CAAC;QAClD,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;YAC9B,GAAG,CAAC,QAAQ,CAAC;gBACX,IAAI,EAAE,CAAC,CAAC,YAAY,CAAC,MAAM;gBAC3B,OAAO,EAAE,sBAAsB,IAAI,CAAC,OAAO,EAAE;gBAC7C,IAAI,EAAE,CAAC,OAAO,EAAE,KAAK,EAAE,SAAS,CAAC;aAClC,CAAC,CAAC;QACL,CAAC;QACD,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;IAC5B,CAAC;IAED,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,aAAa,CAAC,EAAE,CAAC;QACtC,GAAG,CAAC,QAAQ,CAAC;YACX,IAAI,EAAE,CAAC,CAAC,YAAY,CAAC,MAAM;YAC3B,OAAO,EAAE,+CAA+C;YACxD,IAAI,EAAE,CAAC,eAAe,CAAC;SACxB,CAAC,CAAC;IACL,CAAC;AACH,CAAC,CAAC,CAAC;AAML,MAAM,CAAC,MAAM,qBAAqB,GAAG,CAAC;KACnC,MAAM,CAAC;IACN,cAAc,EAAE,CAAC,CAAC,OAAO,CAAC,mBAAmB,CAAC;IAC9C,gBAAgB,EAAE,CAAC,CAAC,OAAO,CAAC,mBAAmB,CAAC;IAChD,cAAc,EAAE,CAAC,CAAC,OAAO,CAAC,oBAAoB,CAAC;IAC/C,SAAS,EAAE,cAAc;IACzB,aAAa,EAAE,kBAAkB;IACjC,SAAS,EAAE,qBAAqB;IAChC,OAAO,EAAE,YAAY;IACrB,QAAQ,EAAE,qBAAqB;IAC/B,MAAM,EAAE,YAAY;IACpB,OAAO,EAAE,cAAc;IACvB,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAC3B,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,WAAW,EAAE,QAAQ,CAAC,CAAC;IACvC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,iBAAiB,EAAE,SAAS,CAAC,CAAC;IAC1D,KAAK,EAAE,WAAW;IAClB,QAAQ,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IACpC,iBAAiB,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IAC7C,QAAQ,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;CACrC,CAAC;KACD,MAAM,EAAE,CAAC;AAIZ,MAAM,oBAAoB,GAAG,CAAC;KAC3B,MAAM,CAAC;IACN,aAAa,EAAE,kBAAkB;IACjC,SAAS,EAAE,cAAc;IACzB,OAAO,EAAE,YAAY;IACrB,QAAQ,EAAE,qBAAqB;IAC/B,MAAM,EAAE,YAAY;IACpB,SAAS,EAAE,WAAW;IACtB,iBAAiB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACpC,aAAa,EAAE,cAAc;CAC9B,CAAC;KACD,MAAM,EAAE,CAAC;AAEZ,MAAM,CAAC,MAAM,2BAA2B,GAAG,CAAC,CAAC,IAAI,CAAC;IAChD,SAAS;IACT,cAAc;IACd,gBAAgB;IAChB,iBAAiB;IACjB,aAAa;IACb,WAAW;IACX,gBAAgB;CACjB,CAAC,CAAC;AAEH,MAAM,eAAe,GAAG,CAAC;KACtB,MAAM,CAAC;IACN,MAAM,EAAE,2BAA2B;IACnC,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,QAAQ,EAAE;CACzC,CAAC;KACD,MAAM,EAAE,CAAC;AAEZ,MAAM,uBAAuB,GAAG;IAC9B,OAAO,EAAE,cAAc;IACvB,gBAAgB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,KAAK,CAAC,kBAAkB,CAAC;IACtD,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAC3B,QAAQ,EAAE,aAAa;CACf,CAAC;AAEX,MAAM,gBAAgB,GAAG,CAAC,CAAC,kBAAkB,CAAC,kBAAkB,EAAE;IAChE,CAAC;SACE,MAAM,CAAC;QACN,GAAG,uBAAuB;QAC1B,gBAAgB,EAAE,CAAC,CAAC,OAAO,CAAC,WAAW,CAAC;QACxC,iBAAiB,EAAE,qBAAqB;KACzC,CAAC;SACD,MAAM,EAAE;IACX,CAAC;SACE,MAAM,CAAC;QACN,GAAG,uBAAuB;QAC1B,gBAAgB,EAAE,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC;QACrC,KAAK,EAAE,eAAe;KACvB,CAAC;SACD,MAAM,EAAE;IACX,CAAC;SACE,MAAM,CAAC;QACN,GAAG,uBAAuB;QAC1B,gBAAgB,EAAE,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC;QACtC,KAAK,EAAE,eAAe;KACvB,CAAC;SACD,MAAM,EAAE;CACZ,CAAC,CAAC;AAEH,MAAM,qBAAqB,GAAG;IAC5B,OAAO,EAAE,cAAc;IACvB,QAAQ,EAAE,aAAa;CACf,CAAC;AAEX,MAAM,cAAc,GAAG,CAAC,CAAC,kBAAkB,CAAC,kBAAkB,EAAE;IAC9D,CAAC;SACE,MAAM,CAAC;QACN,GAAG,qBAAqB;QACxB,gBAAgB,EAAE,CAAC,CAAC,OAAO,CAAC,WAAW,CAAC;QACxC,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC;KAClC,CAAC;SACD,MAAM,EAAE;IACX,CAAC;SACE,MAAM,CAAC;QACN,GAAG,qBAAqB;QACxB,gBAAgB,EAAE,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC;KACtC,CAAC;SACD,MAAM,EAAE;IACX,CAAC;SACE,MAAM,CAAC;QACN,GAAG,qBAAqB;QACxB,gBAAgB,EAAE,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC;KACvC,CAAC;SACD,MAAM,EAAE;CACZ,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,6BAA6B,GAAG,CAAC;KAC3C,MAAM,CAAC;IACN,cAAc,EAAE,CAAC,CAAC,OAAO,CAAC,+BAA+B,CAAC;IAC1D,yBAAyB,EAAE,YAAY;IACvC,gBAAgB,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC;IACjD,QAAQ,EAAE,oBAAoB;IAC9B,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC;IAC/C,QAAQ,EAAE,cAAc;CACzB,CAAC;KACD,MAAM,EAAE;KACR,WAAW,CAAC,CAAC,MAAM,EAAE,GAAG,EAAE,EAAE;IAC3B,MAAM,iBAAiB,GAAG,MAAM,CAAC,KAAK,CAAC,KAAK,CAC1C,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,gBAAgB,KAAK,WAAW,CAChD,CAAC;IACF,MAAM,cAAc,GAAG,iBAAiB,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,SAAS,CAAC;IAClE,IAAI,MAAM,CAAC,gBAAgB,KAAK,cAAc,EAAE,CAAC;QAC/C,GAAG,CAAC,QAAQ,CAAC;YACX,IAAI,EAAE,CAAC,CAAC,YAAY,CAAC,MAAM;YAC3B,OAAO,EAAE,4BAA4B,cAAc,EAAE;YACrD,IAAI,EAAE,CAAC,kBAAkB,CAAC;SAC3B,CAAC,CAAC;IACL,CAAC;IAED,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,KAAK,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,KAAK,CAAC,OAAO,EAAE,EAAE,CAAC;QACnD,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;YAC9B,GAAG,CAAC,QAAQ,CAAC;gBACX,IAAI,EAAE,CAAC,CAAC,YAAY,CAAC,MAAM;gBAC3B,OAAO,EAAE,sBAAsB,IAAI,CAAC,OAAO,EAAE;gBAC7C,IAAI,EAAE,CAAC,OAAO,EAAE,KAAK,EAAE,SAAS,CAAC;aAClC,CAAC,CAAC;QACL,CAAC;QACD,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAE1B,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,gBAAgB,CAAC,EAAE,CAAC;YACvC,GAAG,CAAC,QAAQ,CAAC;gBACX,IAAI,EAAE,CAAC,CAAC,YAAY,CAAC,MAAM;gBAC3B,OAAO,EAAE,+BAA+B,IAAI,CAAC,gBAAgB,EAAE;gBAC/D,IAAI,EAAE,CAAC,OAAO,EAAE,KAAK,EAAE,kBAAkB,CAAC;aAC3C,CAAC,CAAC;QACL,CAAC;QACD,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;QAEnC,IAAI,IAAI,CAAC,QAAQ,KAAK,IAAI,CAAC,QAAQ,EAAE,CAAC;YACpC,GAAG,CAAC,QAAQ,CAAC;gBACX,IAAI,EAAE,CAAC,CAAC,YAAY,CAAC,MAAM;gBAC3B,OAAO,EAAE,8BAA8B;gBACvC,IAAI,EAAE,CAAC,OAAO,EAAE,KAAK,EAAE,UAAU,CAAC;aACnC,CAAC,CAAC;QACL,CAAC;QAED,IAAI,IAAI,CAAC,gBAAgB,KAAK,WAAW,EAAE,CAAC;YAC1C,MAAM,OAAO,GAAG,IAAI,CAAC,iBAAiB,CAAC;YACvC,MAAM,iBAAiB,GAAG;gBACxB,OAAO,CAAC,aAAa,KAAK,MAAM,CAAC,QAAQ,CAAC,aAAa;gBACvD,OAAO,CAAC,SAAS,KAAK,MAAM,CAAC,QAAQ,CAAC,SAAS;gBAC/C,OAAO,CAAC,OAAO,KAAK,MAAM,CAAC,QAAQ,CAAC,OAAO;gBAC3C,OAAO,CAAC,QAAQ,KAAK,MAAM,CAAC,QAAQ,CAAC,QAAQ;gBAC7C,OAAO,CAAC,MAAM,KAAK,MAAM,CAAC,QAAQ,CAAC,MAAM;gBACzC,OAAO,CAAC,OAAO,KAAK,IAAI,CAAC,OAAO;gBAChC,OAAO,CAAC,QAAQ,KAAK,IAAI,CAAC,QAAQ;aACnC,CAAC;YACF,IAAI,iBAAiB,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;gBACpC,GAAG,CAAC,QAAQ,CAAC;oBACX,IAAI,EAAE,CAAC,CAAC,YAAY,CAAC,MAAM;oBAC3B,OAAO,EAAE,sEAAsE;oBAC/E,IAAI,EAAE,CAAC,OAAO,EAAE,KAAK,EAAE,mBAAmB,CAAC;iBAC5C,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;IAED,MAAM,YAAY,GAAG,MAAM,CAAC,KAAK,CAAC,IAAI,CACpC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,KAAK,MAAM,CAAC,QAAQ,CAAC,aAAa,CACzD,CAAC;IACF,IAAI,YAAY,KAAK,SAAS,EAAE,CAAC;QAC/B,GAAG,CAAC,QAAQ,CAAC;YACX,IAAI,EAAE,CAAC,CAAC,YAAY,CAAC,MAAM;YAC3B,OAAO,EAAE,sDAAsD;YAC/D,IAAI,EAAE,CAAC,UAAU,EAAE,eAAe,CAAC;SACpC,CAAC,CAAC;IACL,CAAC;IACD,IAAI,MAAM,CAAC,QAAQ,CAAC,OAAO,KAAK,MAAM,CAAC,QAAQ,CAAC,aAAa,EAAE,CAAC;QAC9D,GAAG,CAAC,QAAQ,CAAC;YACX,IAAI,EAAE,CAAC,CAAC,YAAY,CAAC,MAAM;YAC3B,OAAO,EAAE,oDAAoD;YAC7D,IAAI,EAAE,CAAC,UAAU,EAAE,SAAS,CAAC;SAC9B,CAAC,CAAC;IACL,CAAC;IACD,IACE,YAAY,KAAK,SAAS;QAC1B,MAAM,CAAC,QAAQ,CAAC,QAAQ,KAAK,YAAY,CAAC,QAAQ,EAClD,CAAC;QACD,GAAG,CAAC,QAAQ,CAAC;YACX,IAAI,EAAE,CAAC,CAAC,YAAY,CAAC,MAAM;YAC3B,OAAO,EAAE,sDAAsD;YAC/D,IAAI,EAAE,CAAC,UAAU,EAAE,UAAU,CAAC;SAC/B,CAAC,CAAC;IACL,CAAC;IAED,IACE,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;QACjD,yBAAyB,EACzB,CAAC;QACD,GAAG,CAAC,QAAQ,CAAC;YACX,IAAI,EAAE,CAAC,CAAC,YAAY,CAAC,MAAM;YAC3B,OAAO,EAAE,8CAA8C,MAAM,CAAC,yBAAyB,CAAC,QAAQ;SACjG,CAAC,CAAC;IACL,CAAC;AACH,CAAC,CAAC,CAAC"}

package/clinkx-workflows/dist/plan-review/digest.d.ts

@@ -0,0 +1,68 @@
+/** Why a body was rejected before it could be canonicalized. */
+export type CheckpointTextRejection = "invalid_utf8" | "contains_nul";
+/** Thrown when input is not admissible checkpoint text (invalid UTF-8 or NUL). */
+export declare class CheckpointTextError extends Error {
+    readonly code: CheckpointTextRejection;
+    constructor(code: CheckpointTextRejection, message: string);
+}
+/**
+ * Canonicalize raw plan bytes into `checkpoint-text-v1` form.
+ *
+ * @throws {CheckpointTextError} `invalid_utf8` if not valid UTF-8; `contains_nul`
+ *   if a NUL byte is present. A NUL is valid UTF-8 (U+0000), so it is checked
+ *   separately from decoding.
+ */
+export declare function canonicalizeCheckpointText(input: Uint8Array): Buffer;
+/** Canonical bytes plus their framed digest, computed once. */
+export interface CheckpointDigest {
+    canonicalBytes: Buffer;
+    digest: string;
+}
+/**
+ * Canonicalize `input` and return both the canonical bytes and the framed
+ * SHA-256 digest (lowercase hex). Runtime callers that persist the snapshot and
+ * bind the digest want both from a single canonicalization pass.
+ *
+ * @throws {CheckpointTextError} see {@link canonicalizeCheckpointText}.
+ */
+export declare function computeCheckpointDigest(input: Uint8Array): CheckpointDigest;
+/**
+ * Framed SHA-256 digest (lowercase hex) of `input`'s canonical form.
+ *
+ * @throws {CheckpointTextError} see {@link canonicalizeCheckpointText}.
+ */
+export declare function checkpointTextDigest(input: Uint8Array): string;
+declare const EXECUTION_CONTRACT_DECIMAL: unique symbol;
+/** Explicit integer/decimal value; JavaScript numbers are never admissible. */
+export interface ExecutionContractDecimal {
+    readonly value: string;
+    readonly [EXECUTION_CONTRACT_DECIMAL]: true;
+}
+/**
+ * Narrow recursive input accepted by the execution-contract encoder.
+ * `undefined` is allowed only as an object value, where it means an absent
+ * optional field. Arrays must contain values, and `null` is never admissible.
+ */
+export type ExecutionContractValue = string | boolean | ExecutionContractDecimal | readonly ExecutionContractValue[] | ExecutionContractObject;
+export interface ExecutionContractObject {
+    readonly [key: string]: ExecutionContractValue | undefined;
+}
+export type ExecutionContractRejection = "invalid_decimal" | "invalid_unicode" | "null" | "unsupported_type" | "undefined_array_element" | "cyclic_value" | "length_overflow";
+export declare class ExecutionContractEncodingError extends Error {
+    readonly code: ExecutionContractRejection;
+    constructor(code: ExecutionContractRejection, message: string);
+}
+/**
+ * Construct a canonical integer/decimal value without admitting imprecise JS
+ * numbers. `-0` is the sole non-canonical spelling normalized on input.
+ */
+export declare function executionContractDecimal(value: string): ExecutionContractDecimal;
+/** Encode one normalized execution contract using the pinned recursive grammar. */
+export declare function canonicalizeExecutionContract(input: ExecutionContractObject): Buffer;
+export interface ExecutionContractDigest {
+    canonicalBytes: Buffer;
+    digest: string;
+}
+/** Return the canonical bytes and SHA-256 digest of one normalized contract. */
+export declare function computeExecutionContractDigest(input: ExecutionContractObject): ExecutionContractDigest;
+export {};

package/clinkx-workflows/dist/plan-review/digest.js

@@ -0,0 +1,241 @@
+import { createHash } from "node:crypto";
+/**
+ * `checkpoint-text-v1` plan-digest canonicalization and framing.
+ *
+ * Deep module: callers hand in the raw plan bytes and receive either the
+ * canonical bytes (what the runtime persists as the immutable snapshot) or the
+ * framed SHA-256 digest (what identity/admission compare against). All UTF-8
+ * decoding, control-byte rejection, and newline normalization are hidden here.
+ *
+ * Canonical form (byte-level; ASCII CR/LF cannot appear inside a multibyte
+ * UTF-8 sequence, so byte and code-point views agree):
+ *   1. reject if not valid UTF-8
+ *   2. reject if it contains a NUL (0x00)
+ *   3. CRLF -> LF, then any remaining lone CR -> LF
+ *   4. strip trailing LF bytes only (trailing spaces are preserved)
+ *   5. append exactly one LF
+ *
+ * Digest = SHA-256(FRAME || canonical_bytes), lowercase hex, where FRAME is the
+ * fixed 27 bytes "checkpoint-text-v1\0PLAN.md\0".
+ */
+/** FRAME = "checkpoint-text-v1\0PLAN.md\0" — the exact 27-byte digest prefix. */
+const CHECKPOINT_TEXT_V1_FRAME = Buffer.from("636865636b706f696e742d746578742d763100504c414e2e6d6400", "hex");
+const LF = 0x0a;
+const CR = 0x0d;
+const NUL = 0x00;
+/** Thrown when input is not admissible checkpoint text (invalid UTF-8 or NUL). */
+export class CheckpointTextError extends Error {
+    code;
+    constructor(code, message) {
+        super(message);
+        this.name = "CheckpointTextError";
+        this.code = code;
+    }
+}
+/**
+ * Canonicalize raw plan bytes into `checkpoint-text-v1` form.
+ *
+ * @throws {CheckpointTextError} `invalid_utf8` if not valid UTF-8; `contains_nul`
+ *   if a NUL byte is present. A NUL is valid UTF-8 (U+0000), so it is checked
+ *   separately from decoding.
+ */
+export function canonicalizeCheckpointText(input) {
+    // 1. Strict UTF-8 gate. A fresh fatal decoder throws on any invalid sequence;
+    //    ignoreBOM keeps a leading BOM as data so canonical bytes stay faithful.
+    try {
+        new TextDecoder("utf-8", { fatal: true, ignoreBOM: true }).decode(input);
+    }
+    catch {
+        throw new CheckpointTextError("invalid_utf8", "checkpoint text is not valid UTF-8");
+    }
+    // 2. Reject NUL (0x00) — valid UTF-8, so decoding does not catch it.
+    if (input.includes(NUL)) {
+        throw new CheckpointTextError("contains_nul", "checkpoint text contains a NUL byte");
+    }
+    // 3. CRLF -> LF and lone CR -> LF in a single pass.
+    const out = [];
+    for (let i = 0; i < input.length; i++) {
+        const byte = input[i];
+        if (byte === CR) {
+            out.push(LF);
+            if (input[i + 1] === LF) {
+                i++;
+            }
+        }
+        else {
+            out.push(byte);
+        }
+    }
+    // 4. Strip trailing LFs only (never trailing spaces).
+    while (out.length > 0 && out[out.length - 1] === LF) {
+        out.pop();
+    }
+    // 5. Append exactly one LF.
+    out.push(LF);
+    return Buffer.from(out);
+}
+/**
+ * Canonicalize `input` and return both the canonical bytes and the framed
+ * SHA-256 digest (lowercase hex). Runtime callers that persist the snapshot and
+ * bind the digest want both from a single canonicalization pass.
+ *
+ * @throws {CheckpointTextError} see {@link canonicalizeCheckpointText}.
+ */
+export function computeCheckpointDigest(input) {
+    const canonicalBytes = canonicalizeCheckpointText(input);
+    const digest = createHash("sha256")
+        .update(CHECKPOINT_TEXT_V1_FRAME)
+        .update(canonicalBytes)
+        .digest("hex");
+    return { canonicalBytes, digest };
+}
+/**
+ * Framed SHA-256 digest (lowercase hex) of `input`'s canonical form.
+ *
+ * @throws {CheckpointTextError} see {@link canonicalizeCheckpointText}.
+ */
+export function checkpointTextDigest(input) {
+    return computeCheckpointDigest(input).digest;
+}
+const EXECUTION_CONTRACT_TAG = {
+    string: 0x01,
+    decimal: 0x02,
+    bool: 0x03,
+    array: 0x04,
+    object: 0x05,
+};
+const EXECUTION_CONTRACT_DECIMAL = Symbol("execution-contract-decimal");
+const MAX_U64 = (1n << 64n) - 1n;
+const CANONICAL_DECIMAL = /^-?(?:0|[1-9][0-9]*)(?:\.[0-9]*[1-9])?$/;
+export class ExecutionContractEncodingError extends Error {
+    code;
+    constructor(code, message) {
+        super(message);
+        this.name = "ExecutionContractEncodingError";
+        this.code = code;
+    }
+}
+function canonicalDecimalString(value) {
+    if (typeof value !== "string") {
+        throw new ExecutionContractEncodingError("invalid_decimal", "execution-contract decimals must be strings");
+    }
+    const canonical = value === "-0" ? "0" : value;
+    if (!CANONICAL_DECIMAL.test(canonical)) {
+        throw new ExecutionContractEncodingError("invalid_decimal", `invalid canonical execution-contract decimal: ${JSON.stringify(value)}`);
+    }
+    return canonical;
+}
+/**
+ * Construct a canonical integer/decimal value without admitting imprecise JS
+ * numbers. `-0` is the sole non-canonical spelling normalized on input.
+ */
+export function executionContractDecimal(value) {
+    const canonical = canonicalDecimalString(value);
+    return Object.freeze({
+        value: canonical,
+        [EXECUTION_CONTRACT_DECIMAL]: true,
+    });
+}
+function u64(value) {
+    const bigint = BigInt(value);
+    if (!Number.isSafeInteger(value) || value < 0 || bigint > MAX_U64) {
+        throw new ExecutionContractEncodingError("length_overflow", "execution-contract frame length exceeds u64");
+    }
+    const encoded = Buffer.allocUnsafe(8);
+    encoded.writeBigUInt64BE(bigint);
+    return encoded;
+}
+function framed(tag, payload) {
+    return Buffer.concat([Buffer.from([tag]), u64(payload.length), payload]);
+}
+function assertUnicodeScalarString(value, label) {
+    for (let index = 0; index < value.length; index++) {
+        const code = value.charCodeAt(index);
+        if (code >= 0xd800 && code <= 0xdbff) {
+            const next = value.charCodeAt(index + 1);
+            if (next < 0xdc00 || next > 0xdfff) {
+                throw new ExecutionContractEncodingError("invalid_unicode", `${label} contains an unpaired UTF-16 surrogate`);
+            }
+            index++;
+        }
+        else if (code >= 0xdc00 && code <= 0xdfff) {
+            throw new ExecutionContractEncodingError("invalid_unicode", `${label} contains an unpaired UTF-16 surrogate`);
+        }
+    }
+}
+function isDecimal(value) {
+    return value[EXECUTION_CONTRACT_DECIMAL] === true;
+}
+function encodeExecutionContractValue(value, active) {
+    if (typeof value === "string") {
+        assertUnicodeScalarString(value, "execution-contract string");
+        return framed(EXECUTION_CONTRACT_TAG.string, Buffer.from(value, "utf8"));
+    }
+    if (typeof value === "boolean") {
+        return Buffer.from([EXECUTION_CONTRACT_TAG.bool, value ? 0x01 : 0x00]);
+    }
+    if (value === null) {
+        throw new ExecutionContractEncodingError("null", "null is not an execution-contract value; omit absent optional fields");
+    }
+    if (typeof value !== "object") {
+        throw new ExecutionContractEncodingError("unsupported_type", `unsupported execution-contract value type: ${typeof value}`);
+    }
+    if (isDecimal(value)) {
+        return framed(EXECUTION_CONTRACT_TAG.decimal, Buffer.from(canonicalDecimalString(value.value), "utf8"));
+    }
+    if (active.has(value)) {
+        throw new ExecutionContractEncodingError("cyclic_value", "execution-contract values must be acyclic");
+    }
+    active.add(value);
+    try {
+        if (Array.isArray(value)) {
+            const elements = [];
+            for (let index = 0; index < value.length; index++) {
+                const element = value[index];
+                if (!(index in value) || element === undefined) {
+                    throw new ExecutionContractEncodingError("undefined_array_element", "undefined array elements are not execution-contract values");
+                }
+                const encoded = encodeExecutionContractValue(element, active);
+                elements.push(Buffer.concat([u64(encoded.length), encoded]));
+            }
+            return framed(EXECUTION_CONTRACT_TAG.array, Buffer.concat(elements));
+        }
+        const prototype = Object.getPrototypeOf(value);
+        if (prototype !== Object.prototype && prototype !== null) {
+            throw new ExecutionContractEncodingError("unsupported_type", "execution-contract objects must be plain records");
+        }
+        const pairs = Object.entries(value)
+            .filter((entry) => entry[1] !== undefined)
+            .map(([key, member]) => {
+            assertUnicodeScalarString(key, "execution-contract object key");
+            return { key, keyBytes: Buffer.from(key, "utf8"), member };
+        })
+            .sort((left, right) => Buffer.compare(left.keyBytes, right.keyBytes))
+            .map(({ key, member }) => {
+            const encodedKey = framed(EXECUTION_CONTRACT_TAG.string, Buffer.from(key, "utf8"));
+            const encodedValue = encodeExecutionContractValue(member, active);
+            return Buffer.concat([
+                u64(encodedKey.length),
+                encodedKey,
+                u64(encodedValue.length),
+                encodedValue,
+            ]);
+        });
+        const payload = Buffer.concat([u64(pairs.length), ...pairs]);
+        return framed(EXECUTION_CONTRACT_TAG.object, payload);
+    }
+    finally {
+        active.delete(value);
+    }
+}
+/** Encode one normalized execution contract using the pinned recursive grammar. */
+export function canonicalizeExecutionContract(input) {
+    return encodeExecutionContractValue(input, new Set());
+}
+/** Return the canonical bytes and SHA-256 digest of one normalized contract. */
+export function computeExecutionContractDigest(input) {
+    const canonicalBytes = canonicalizeExecutionContract(input);
+    const digest = createHash("sha256").update(canonicalBytes).digest("hex");
+    return { canonicalBytes, digest };
+}
+//# sourceMappingURL=digest.js.map

package/clinkx-workflows/dist/plan-review/digest.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"digest.js","sourceRoot":"","sources":["../../src/plan-review/digest.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAEzC;;;;;;;;;;;;;;;;;;GAkBG;AAEH,iFAAiF;AACjF,MAAM,wBAAwB,GAAG,MAAM,CAAC,IAAI,CAC1C,wDAAwD,EACxD,KAAK,CACN,CAAC;AAEF,MAAM,EAAE,GAAG,IAAI,CAAC;AAChB,MAAM,EAAE,GAAG,IAAI,CAAC;AAChB,MAAM,GAAG,GAAG,IAAI,CAAC;AAKjB,kFAAkF;AAClF,MAAM,OAAO,mBAAoB,SAAQ,KAAK;IACnC,IAAI,CAA0B;IAEvC,YAAY,IAA6B,EAAE,OAAe;QACxD,KAAK,CAAC,OAAO,CAAC,CAAC;QACf,IAAI,CAAC,IAAI,GAAG,qBAAqB,CAAC;QAClC,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC;IACnB,CAAC;CACF;AAED;;;;;;GAMG;AACH,MAAM,UAAU,0BAA0B,CAAC,KAAiB;IAC1D,8EAA8E;IAC9E,6EAA6E;IAC7E,IAAI,CAAC;QACH,IAAI,WAAW,CAAC,OAAO,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IAC3E,CAAC;IAAC,MAAM,CAAC;QACP,MAAM,IAAI,mBAAmB,CAC3B,cAAc,EACd,oCAAoC,CACrC,CAAC;IACJ,CAAC;IAED,qEAAqE;IACrE,IAAI,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;QACxB,MAAM,IAAI,mBAAmB,CAC3B,cAAc,EACd,qCAAqC,CACtC,CAAC;IACJ,CAAC;IAED,oDAAoD;IACpD,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACtC,MAAM,IAAI,GAAG,KAAK,CAAC,CAAC,CAAE,CAAC;QACvB,IAAI,IAAI,KAAK,EAAE,EAAE,CAAC;YAChB,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YACb,IAAI,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC;gBACxB,CAAC,EAAE,CAAC;YACN,CAAC;QACH,CAAC;aAAM,CAAC;YACN,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjB,CAAC;IACH,CAAC;IAED,sDAAsD;IACtD,OAAO,GAAG,CAAC,MAAM,GAAG,CAAC,IAAI,GAAG,CAAC,GAAG,CAAC,MAAM,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC;QACpD,GAAG,CAAC,GAAG,EAAE,CAAC;IACZ,CAAC;IAED,4BAA4B;IAC5B,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEb,OAAO,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AAC1B,CAAC;AAQD;;;;;;GAMG;AACH,MAAM,UAAU,uBAAuB,CAAC,KAAiB;IACvD,MAAM,cAAc,GAAG,0BAA0B,CAAC,KAAK,CAAC,CAAC;IACzD,MAAM,MAAM,GAAG,UAAU,CAAC,QAAQ,CAAC;SAChC,MAAM,CAAC,wBAAwB,CAAC;SAChC,MAAM,CAAC,cAAc,CAAC;SACtB,MAAM,CAAC,KAAK,CAAC,CAAC;IACjB,OAAO,EAAE,cAAc,EAAE,MAAM,EAAE,CAAC;AACpC,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,oBAAoB,CAAC,KAAiB;IACpD,OAAO,uBAAuB,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC;AAC/C,CAAC;AAED,MAAM,sBAAsB,GAAG;IAC7B,MAAM,EAAE,IAAI;IACZ,OAAO,EAAE,IAAI;IACb,IAAI,EAAE,IAAI;IACV,KAAK,EAAE,IAAI;IACX,MAAM,EAAE,IAAI;CACJ,CAAC;AAEX,MAAM,0BAA0B,GAAG,MAAM,CAAC,4BAA4B,CAAC,CAAC;AACxE,MAAM,OAAO,GAAG,CAAC,EAAE,IAAI,GAAG,CAAC,GAAG,EAAE,CAAC;AACjC,MAAM,iBAAiB,GAAG,yCAAyC,CAAC;AAiCpE,MAAM,OAAO,8BAA+B,SAAQ,KAAK;IAC9C,IAAI,CAA6B;IAE1C,YAAY,IAAgC,EAAE,OAAe;QAC3D,KAAK,CAAC,OAAO,CAAC,CAAC;QACf,IAAI,CAAC,IAAI,GAAG,gCAAgC,CAAC;QAC7C,IAAI,CAAC,IAAI,GAAG,IAAI,CAAC;IACnB,CAAC;CACF;AAED,SAAS,sBAAsB,CAAC,KAAc;IAC5C,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC9B,MAAM,IAAI,8BAA8B,CACtC,iBAAiB,EACjB,6CAA6C,CAC9C,CAAC;IACJ,CAAC;IACD,MAAM,SAAS,GAAG,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC;IAC/C,IAAI,CAAC,iBAAiB,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC;QACvC,MAAM,IAAI,8BAA8B,CACtC,iBAAiB,EACjB,iDAAiD,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,CACzE,CAAC;IACJ,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,wBAAwB,CACtC,KAAa;IAEb,MAAM,SAAS,GAAG,sBAAsB,CAAC,KAAK,CAAC,CAAC;IAChD,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,KAAK,EAAE,SAAS;QAChB,CAAC,0BAA0B,CAAC,EAAE,IAAa;KAC5C,CAAC,CAAC;AACL,CAAC;AAED,SAAS,GAAG,CAAC,KAAa;IACxB,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC;IAC7B,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC,IAAI,MAAM,GAAG,OAAO,EAAE,CAAC;QAClE,MAAM,IAAI,8BAA8B,CACtC,iBAAiB,EACjB,6CAA6C,CAC9C,CAAC;IACJ,CAAC;IACD,MAAM,OAAO,GAAG,MAAM,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC;IACtC,OAAO,CAAC,gBAAgB,CAAC,MAAM,CAAC,CAAC;IACjC,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,SAAS,MAAM,CAAC,GAAW,EAAE,OAAe;IAC1C,OAAO,MAAM,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC;AAC3E,CAAC;AAED,SAAS,yBAAyB,CAAC,KAAa,EAAE,KAAa;IAC7D,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,KAAK,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC;QAClD,MAAM,IAAI,GAAG,KAAK,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;QACrC,IAAI,IAAI,IAAI,MAAM,IAAI,IAAI,IAAI,MAAM,EAAE,CAAC;YACrC,MAAM,IAAI,GAAG,KAAK,CAAC,UAAU,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;YACzC,IAAI,IAAI,GAAG,MAAM,IAAI,IAAI,GAAG,MAAM,EAAE,CAAC;gBACnC,MAAM,IAAI,8BAA8B,CACtC,iBAAiB,EACjB,GAAG,KAAK,wCAAwC,CACjD,CAAC;YACJ,CAAC;YACD,KAAK,EAAE,CAAC;QACV,CAAC;aAAM,IAAI,IAAI,IAAI,MAAM,IAAI,IAAI,IAAI,MAAM,EAAE,CAAC;YAC5C,MAAM,IAAI,8BAA8B,CACtC,iBAAiB,EACjB,GAAG,KAAK,wCAAwC,CACjD,CAAC;QACJ,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,SAAS,CAAC,KAAa;IAC9B,OAAO,KAAK,CAAC,0BAAgD,CAAC,KAAK,IAAI,CAAC;AAC1E,CAAC;AAED,SAAS,4BAA4B,CACnC,KAA6B,EAC7B,MAAmB;IAEnB,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC9B,yBAAyB,CAAC,KAAK,EAAE,2BAA2B,CAAC,CAAC;QAC9D,OAAO,MAAM,CAAC,sBAAsB,CAAC,MAAM,EAAE,MAAM,CAAC,IAAI,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC;IAC3E,CAAC;IAED,IAAI,OAAO,KAAK,KAAK,SAAS,EAAE,CAAC;QAC/B,OAAO,MAAM,CAAC,IAAI,CAAC,CAAC,sBAAsB,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IACzE,CAAC;IAED,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;QACnB,MAAM,IAAI,8BAA8B,CACtC,MAAM,EACN,sEAAsE,CACvE,CAAC;IACJ,CAAC;IAED,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC9B,MAAM,IAAI,8BAA8B,CACtC,kBAAkB,EAClB,8CAA8C,OAAO,KAAK,EAAE,CAC7D,CAAC;IACJ,CAAC;IAED,IAAI,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC;QACrB,OAAO,MAAM,CACX,sBAAsB,CAAC,OAAO,EAC9B,MAAM,CAAC,IAAI,CAAC,sBAAsB,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC,CACzD,CAAC;IACJ,CAAC;IAED,IAAI,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;QACtB,MAAM,IAAI,8BAA8B,CACtC,cAAc,EACd,2CAA2C,CAC5C,CAAC;IACJ,CAAC;IACD,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IAElB,IAAI,CAAC;QACH,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;YACzB,MAAM,QAAQ,GAAa,EAAE,CAAC;YAC9B,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,KAAK,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC;gBAClD,MAAM,OAAO,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC;gBAC7B,IAAI,CAAC,CAAC,KAAK,IAAI,KAAK,CAAC,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;oBAC/C,MAAM,IAAI,8BAA8B,CACtC,yBAAyB,EACzB,4DAA4D,CAC7D,CAAC;gBACJ,CAAC;gBACD,MAAM,OAAO,GAAG,4BAA4B,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;gBAC9D,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC;YAC/D,CAAC;YACD,OAAO,MAAM,CAAC,sBAAsB,CAAC,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC;QACvE,CAAC;QAED,MAAM,SAAS,GAAG,MAAM,CAAC,cAAc,CAAC,KAAK,CAAC,CAAC;QAC/C,IAAI,SAAS,KAAK,MAAM,CAAC,SAAS,IAAI,SAAS,KAAK,IAAI,EAAE,CAAC;YACzD,MAAM,IAAI,8BAA8B,CACtC,kBAAkB,EAClB,kDAAkD,CACnD,CAAC;QACJ,CAAC;QAED,MAAM,KAAK,GAAG,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC;aAChC,MAAM,CAAC,CAAC,KAAK,EAA6C,EAAE,CAC3D,KAAK,CAAC,CAAC,CAAC,KAAK,SAAS,CACvB;aACA,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,MAAM,CAAC,EAAE,EAAE;YACrB,yBAAyB,CAAC,GAAG,EAAE,+BAA+B,CAAC,CAAC;YAChE,OAAO,EAAE,GAAG,EAAE,QAAQ,EAAE,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE,MAAM,CAAC,EAAE,MAAM,EAAE,CAAC;QAC7D,CAAC,CAAC;aACD,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,QAAQ,EAAE,KAAK,CAAC,QAAQ,CAAC,CAAC;aACpE,GAAG,CAAC,CAAC,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE,EAAE;YACvB,MAAM,UAAU,GAAG,MAAM,CACvB,sBAAsB,CAAC,MAAM,EAC7B,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE,MAAM,CAAC,CACzB,CAAC;YACF,MAAM,YAAY,GAAG,4BAA4B,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;YAClE,OAAO,MAAM,CAAC,MAAM,CAAC;gBACnB,GAAG,CAAC,UAAU,CAAC,MAAM,CAAC;gBACtB,UAAU;gBACV,GAAG,CAAC,YAAY,CAAC,MAAM,CAAC;gBACxB,YAAY;aACb,CAAC,CAAC;QACL,CAAC,CAAC,CAAC;QAEL,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,GAAG,KAAK,CAAC,CAAC,CAAC;QAC7D,OAAO,MAAM,CAAC,sBAAsB,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACxD,CAAC;YAAS,CAAC;QACT,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IACvB,CAAC;AACH,CAAC;AAED,mFAAmF;AACnF,MAAM,UAAU,6BAA6B,CAC3C,KAA8B;IAE9B,OAAO,4BAA4B,CAAC,KAAK,EAAE,IAAI,GAAG,EAAU,CAAC,CAAC;AAChE,CAAC;AAOD,gFAAgF;AAChF,MAAM,UAAU,8BAA8B,CAC5C,KAA8B;IAE9B,MAAM,cAAc,GAAG,6BAA6B,CAAC,KAAK,CAAC,CAAC;IAC5D,MAAM,MAAM,GAAG,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,cAAc,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IACzE,OAAO,EAAE,cAAc,EAAE,MAAM,EAAE,CAAC;AACpC,CAAC"}