@petepetrash/circuit 0.1.0

package/dist/schemas/acceptance-criteria.d.ts

@@ -0,0 +1,94 @@
+import { z } from 'zod';
+export declare const AcceptanceCriterionId: z.ZodString;
+export type AcceptanceCriterionId = z.infer<typeof AcceptanceCriterionId>;
+export declare const AcceptanceCriteriaReportFieldPredicate: z.ZodEnum<{
+    present: "present";
+    non_empty: "non_empty";
+    changed_on_disk: "changed_on_disk";
+}>;
+export type AcceptanceCriteriaReportFieldPredicate = z.infer<typeof AcceptanceCriteriaReportFieldPredicate>;
+export declare const AcceptanceCriteriaCommandCriterion: z.ZodObject<{
+    kind: z.ZodLiteral<"command">;
+    id: z.ZodString;
+    command: z.ZodObject<{
+        id: z.ZodString;
+        cwd: z.ZodString;
+        argv: z.ZodArray<z.ZodString>;
+        timeout_ms: z.ZodNumber;
+        max_output_bytes: z.ZodNumber;
+        env: z.ZodRecord<z.ZodString, z.ZodString>;
+    }, z.core.$strict>;
+    expected_status: z.ZodLiteral<"passed">;
+}, z.core.$strict>;
+export type AcceptanceCriteriaCommandCriterion = z.infer<typeof AcceptanceCriteriaCommandCriterion>;
+export declare const AcceptanceCriteriaReportFieldCriterion: z.ZodObject<{
+    kind: z.ZodLiteral<"report_field">;
+    id: z.ZodString;
+    path: z.ZodArray<z.ZodString>;
+    predicate: z.ZodEnum<{
+        present: "present";
+        non_empty: "non_empty";
+        changed_on_disk: "changed_on_disk";
+    }>;
+}, z.core.$strict>;
+export type AcceptanceCriteriaReportFieldCriterion = z.infer<typeof AcceptanceCriteriaReportFieldCriterion>;
+export declare const AcceptanceCriterion: z.ZodDiscriminatedUnion<[z.ZodObject<{
+    kind: z.ZodLiteral<"command">;
+    id: z.ZodString;
+    command: z.ZodObject<{
+        id: z.ZodString;
+        cwd: z.ZodString;
+        argv: z.ZodArray<z.ZodString>;
+        timeout_ms: z.ZodNumber;
+        max_output_bytes: z.ZodNumber;
+        env: z.ZodRecord<z.ZodString, z.ZodString>;
+    }, z.core.$strict>;
+    expected_status: z.ZodLiteral<"passed">;
+}, z.core.$strict>, z.ZodObject<{
+    kind: z.ZodLiteral<"report_field">;
+    id: z.ZodString;
+    path: z.ZodArray<z.ZodString>;
+    predicate: z.ZodEnum<{
+        present: "present";
+        non_empty: "non_empty";
+        changed_on_disk: "changed_on_disk";
+    }>;
+}, z.core.$strict>], "kind">;
+export type AcceptanceCriterion = z.infer<typeof AcceptanceCriterion>;
+export declare const AcceptanceCriteriaFailurePolicy: z.ZodDiscriminatedUnion<[z.ZodObject<{
+    mode: z.ZodLiteral<"hard-fail">;
+}, z.core.$strict>, z.ZodObject<{
+    mode: z.ZodLiteral<"retry-with-feedback">;
+}, z.core.$strict>], "mode">;
+export type AcceptanceCriteriaFailurePolicy = z.infer<typeof AcceptanceCriteriaFailurePolicy>;
+export declare const AcceptanceCriteria: z.ZodObject<{
+    checks: z.ZodArray<z.ZodDiscriminatedUnion<[z.ZodObject<{
+        kind: z.ZodLiteral<"command">;
+        id: z.ZodString;
+        command: z.ZodObject<{
+            id: z.ZodString;
+            cwd: z.ZodString;
+            argv: z.ZodArray<z.ZodString>;
+            timeout_ms: z.ZodNumber;
+            max_output_bytes: z.ZodNumber;
+            env: z.ZodRecord<z.ZodString, z.ZodString>;
+        }, z.core.$strict>;
+        expected_status: z.ZodLiteral<"passed">;
+    }, z.core.$strict>, z.ZodObject<{
+        kind: z.ZodLiteral<"report_field">;
+        id: z.ZodString;
+        path: z.ZodArray<z.ZodString>;
+        predicate: z.ZodEnum<{
+            present: "present";
+            non_empty: "non_empty";
+            changed_on_disk: "changed_on_disk";
+        }>;
+    }, z.core.$strict>], "kind">>;
+    on_failure: z.ZodDefault<z.ZodDiscriminatedUnion<[z.ZodObject<{
+        mode: z.ZodLiteral<"hard-fail">;
+    }, z.core.$strict>, z.ZodObject<{
+        mode: z.ZodLiteral<"retry-with-feedback">;
+    }, z.core.$strict>], "mode">>;
+}, z.core.$strict>;
+export type AcceptanceCriteria = z.infer<typeof AcceptanceCriteria>;
+//# sourceMappingURL=acceptance-criteria.d.ts.map

package/dist/schemas/acceptance-criteria.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"acceptance-criteria.d.ts","sourceRoot":"","sources":["../../src/schemas/acceptance-criteria.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAGxB,eAAO,MAAM,qBAAqB,aAAoB,CAAC;AACvD,MAAM,MAAM,qBAAqB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,qBAAqB,CAAC,CAAC;AAE1E,eAAO,MAAM,sCAAsC;;;;EAOjD,CAAC;AACH,MAAM,MAAM,sCAAsC,GAAG,CAAC,CAAC,KAAK,CAC1D,OAAO,sCAAsC,CAC9C,CAAC;AAEF,eAAO,MAAM,kCAAkC;;;;;;;;;;;;kBAOpC,CAAC;AACZ,MAAM,MAAM,kCAAkC,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,kCAAkC,CAAC,CAAC;AAEpG,eAAO,MAAM,sCAAsC;;;;;;;;;kBAOxC,CAAC;AACZ,MAAM,MAAM,sCAAsC,GAAG,CAAC,CAAC,KAAK,CAC1D,OAAO,sCAAsC,CAC9C,CAAC;AAEF,eAAO,MAAM,mBAAmB;;;;;;;;;;;;;;;;;;;;;4BAG9B,CAAC;AACH,MAAM,MAAM,mBAAmB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,mBAAmB,CAAC,CAAC;AAEtE,eAAO,MAAM,+BAA+B;;;;4BAG1C,CAAC;AACH,MAAM,MAAM,+BAA+B,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,+BAA+B,CAAC,CAAC;AAE9F,eAAO,MAAM,kBAAkB;;;;;;;;;;;;;;;;;;;;;;;;;;;;kBAKpB,CAAC;AACZ,MAAM,MAAM,kBAAkB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,kBAAkB,CAAC,CAAC"}

package/dist/schemas/acceptance-criteria.js

@@ -0,0 +1,42 @@
+import { z } from 'zod';
+import { VerificationCommand } from './verification.js';
+export const AcceptanceCriterionId = z.string().min(1);
+export const AcceptanceCriteriaReportFieldPredicate = z.enum([
+    'present',
+    'non_empty',
+    // Cross-checks a worker's self-reported path list against the real working
+    // tree: every claimed path must actually differ on disk. Catches an
+    // overclaiming worker that lists a file it never touched.
+    'changed_on_disk',
+]);
+export const AcceptanceCriteriaCommandCriterion = z
+    .object({
+    kind: z.literal('command'),
+    id: AcceptanceCriterionId,
+    command: VerificationCommand,
+    expected_status: z.literal('passed'),
+})
+    .strict();
+export const AcceptanceCriteriaReportFieldCriterion = z
+    .object({
+    kind: z.literal('report_field'),
+    id: AcceptanceCriterionId,
+    path: z.array(z.string().min(1)).min(1),
+    predicate: AcceptanceCriteriaReportFieldPredicate,
+})
+    .strict();
+export const AcceptanceCriterion = z.discriminatedUnion('kind', [
+    AcceptanceCriteriaCommandCriterion,
+    AcceptanceCriteriaReportFieldCriterion,
+]);
+export const AcceptanceCriteriaFailurePolicy = z.discriminatedUnion('mode', [
+    z.object({ mode: z.literal('hard-fail') }).strict(),
+    z.object({ mode: z.literal('retry-with-feedback') }).strict(),
+]);
+export const AcceptanceCriteria = z
+    .object({
+    checks: z.array(AcceptanceCriterion).min(1),
+    on_failure: AcceptanceCriteriaFailurePolicy.default({ mode: 'hard-fail' }),
+})
+    .strict();
+//# sourceMappingURL=acceptance-criteria.js.map

package/dist/schemas/acceptance-criteria.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"acceptance-criteria.js","sourceRoot":"","sources":["../../src/schemas/acceptance-criteria.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAC;AAExD,MAAM,CAAC,MAAM,qBAAqB,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;AAGvD,MAAM,CAAC,MAAM,sCAAsC,GAAG,CAAC,CAAC,IAAI,CAAC;IAC3D,SAAS;IACT,WAAW;IACX,2EAA2E;IAC3E,oEAAoE;IACpE,0DAA0D;IAC1D,iBAAiB;CAClB,CAAC,CAAC;AAKH,MAAM,CAAC,MAAM,kCAAkC,GAAG,CAAC;KAChD,MAAM,CAAC;IACN,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC;IAC1B,EAAE,EAAE,qBAAqB;IACzB,OAAO,EAAE,mBAAmB;IAC5B,eAAe,EAAE,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC;CACrC,CAAC;KACD,MAAM,EAAE,CAAC;AAGZ,MAAM,CAAC,MAAM,sCAAsC,GAAG,CAAC;KACpD,MAAM,CAAC;IACN,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,cAAc,CAAC;IAC/B,EAAE,EAAE,qBAAqB;IACzB,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IACvC,SAAS,EAAE,sCAAsC;CAClD,CAAC;KACD,MAAM,EAAE,CAAC;AAKZ,MAAM,CAAC,MAAM,mBAAmB,GAAG,CAAC,CAAC,kBAAkB,CAAC,MAAM,EAAE;IAC9D,kCAAkC;IAClC,sCAAsC;CACvC,CAAC,CAAC;AAGH,MAAM,CAAC,MAAM,+BAA+B,GAAG,CAAC,CAAC,kBAAkB,CAAC,MAAM,EAAE;IAC1E,CAAC,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC,MAAM,EAAE;IACnD,CAAC,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,qBAAqB,CAAC,EAAE,CAAC,CAAC,MAAM,EAAE;CAC9D,CAAC,CAAC;AAGH,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC;KAChC,MAAM,CAAC;IACN,MAAM,EAAE,CAAC,CAAC,KAAK,CAAC,mBAAmB,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IAC3C,UAAU,EAAE,+BAA+B,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC;CAC3E,CAAC;KACD,MAAM,EAAE,CAAC"}

package/dist/schemas/axes.d.ts

@@ -0,0 +1,45 @@
+import { z } from 'zod';
+import { type CompiledDepth } from './process.js';
+export declare const TournamentN: z.ZodNumber;
+export type TournamentN = z.infer<typeof TournamentN>;
+export declare const Axes: z.ZodObject<{
+    depth: z.ZodDefault<z.ZodEnum<{
+        low: "low";
+        medium: "medium";
+        high: "high";
+    }>>;
+    tournament: z.ZodDefault<z.ZodBoolean>;
+    tournament_n: z.ZodDefault<z.ZodNumber>;
+    autonomous: z.ZodDefault<z.ZodBoolean>;
+}, z.core.$strict>;
+export type Axes = z.infer<typeof Axes>;
+export declare const DEFAULT_AXES: {
+    depth: "low" | "medium" | "high";
+    tournament: boolean;
+    tournament_n: number;
+    autonomous: boolean;
+};
+export declare const FlowAxes: z.ZodObject<{
+    allowed_depths: z.ZodArray<z.ZodEnum<{
+        low: "low";
+        medium: "medium";
+        high: "high";
+    }>>;
+    supports_tournament: z.ZodDefault<z.ZodBoolean>;
+    supports_autonomous: z.ZodDefault<z.ZodBoolean>;
+    default: z.ZodDefault<z.ZodObject<{
+        depth: z.ZodDefault<z.ZodEnum<{
+            low: "low";
+            medium: "medium";
+            high: "high";
+        }>>;
+        tournament: z.ZodDefault<z.ZodBoolean>;
+        tournament_n: z.ZodDefault<z.ZodNumber>;
+        autonomous: z.ZodDefault<z.ZodBoolean>;
+    }, z.core.$strict>>;
+    tournament_fan_out_stage: z.ZodOptional<z.core.$ZodBranded<z.ZodString, "StageId", "out">>;
+}, z.core.$strict>;
+export type FlowAxes = z.infer<typeof FlowAxes>;
+export declare const isConsequentialAxes: (axes: Axes) => boolean;
+export declare const isConsequentialDepth: (r: CompiledDepth) => boolean;
+//# sourceMappingURL=axes.d.ts.map

package/dist/schemas/axes.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"axes.d.ts","sourceRoot":"","sources":["../../src/schemas/axes.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,OAAO,EAAE,KAAK,aAAa,EAAW,MAAM,cAAc,CAAC;AAE3D,eAAO,MAAM,WAAW,aAAiC,CAAC;AAC1D,MAAM,MAAM,WAAW,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,WAAW,CAAC,CAAC;AAEtD,eAAO,MAAM,IAAI;;;;;;;;;kBAON,CAAC;AACZ,MAAM,MAAM,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,IAAI,CAAC,CAAC;AAExC,eAAO,MAAM,YAAY;;;;;CAAiB,CAAC;AAE3C,eAAO,MAAM,QAAQ;;;;;;;;;;;;;;;;;;;kBAwDjB,CAAC;AACL,MAAM,MAAM,QAAQ,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,QAAQ,CAAC,CAAC;AAEhD,eAAO,MAAM,mBAAmB,GAAI,MAAM,IAAI,KAAG,OACY,CAAC;AAS9D,eAAO,MAAM,oBAAoB,GAAI,GAAG,aAAa,KAAG,OACV,CAAC"}

package/dist/schemas/axes.js

@@ -0,0 +1,79 @@
+import { z } from 'zod';
+import { StageId } from './ids.js';
+import { Process } from './process.js';
+export const TournamentN = z.number().int().min(2).max(4);
+export const Axes = z
+    .object({
+    depth: Process.default('medium'),
+    tournament: z.boolean().default(false),
+    tournament_n: TournamentN.default(3),
+    autonomous: z.boolean().default(false),
+})
+    .strict();
+export const DEFAULT_AXES = Axes.parse({});
+export const FlowAxes = z
+    .object({
+    allowed_depths: z.array(Process).min(1),
+    supports_tournament: z.boolean().default(false),
+    supports_autonomous: z.boolean().default(false),
+    default: Axes.default(DEFAULT_AXES),
+    tournament_fan_out_stage: StageId.optional(),
+})
+    .strict()
+    .superRefine((axes, ctx) => {
+    const seenDepths = new Set();
+    for (const [index, depth] of axes.allowed_depths.entries()) {
+        if (seenDepths.has(depth)) {
+            ctx.addIssue({
+                code: 'custom',
+                path: ['allowed_depths', index],
+                message: `duplicate allowed depth: ${depth}`,
+            });
+        }
+        seenDepths.add(depth);
+    }
+    if (!seenDepths.has(axes.default.depth)) {
+        ctx.addIssue({
+            code: 'custom',
+            path: ['default', 'depth'],
+            message: `default depth '${axes.default.depth}' is not in allowed_depths`,
+        });
+    }
+    if (axes.default.tournament && !axes.supports_tournament) {
+        ctx.addIssue({
+            code: 'custom',
+            path: ['default', 'tournament'],
+            message: 'default tournament cannot be true when supports_tournament is false',
+        });
+    }
+    if (axes.default.autonomous && !axes.supports_autonomous) {
+        ctx.addIssue({
+            code: 'custom',
+            path: ['default', 'autonomous'],
+            message: 'default autonomous cannot be true when supports_autonomous is false',
+        });
+    }
+    if (axes.supports_tournament && axes.tournament_fan_out_stage === undefined) {
+        ctx.addIssue({
+            code: 'custom',
+            path: ['tournament_fan_out_stage'],
+            message: 'tournament_fan_out_stage is required when supports_tournament is true',
+        });
+    }
+    if (!axes.supports_tournament && axes.tournament_fan_out_stage !== undefined) {
+        ctx.addIssue({
+            code: 'custom',
+            path: ['tournament_fan_out_stage'],
+            message: 'tournament_fan_out_stage is only allowed when supports_tournament is true',
+        });
+    }
+});
+export const isConsequentialAxes = (axes) => axes.depth === 'high' || axes.tournament || axes.autonomous;
+const axesForCompiledDepth = (depth) => ({
+    depth: Process.safeParse(depth).success ? depth : 'medium',
+    tournament: depth === 'tournament',
+    autonomous: depth === 'autonomous',
+    tournament_n: 3,
+});
+export const isConsequentialDepth = (r) => isConsequentialAxes(axesForCompiledDepth(r));
+//# sourceMappingURL=axes.js.map

package/dist/schemas/axes.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"axes.js","sourceRoot":"","sources":["../../src/schemas/axes.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,EAAE,OAAO,EAAE,MAAM,UAAU,CAAC;AACnC,OAAO,EAAsB,OAAO,EAAE,MAAM,cAAc,CAAC;AAE3D,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;AAG1D,MAAM,CAAC,MAAM,IAAI,GAAG,CAAC;KAClB,MAAM,CAAC;IACN,KAAK,EAAE,OAAO,CAAC,OAAO,CAAC,QAAQ,CAAC;IAChC,UAAU,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC;IACtC,YAAY,EAAE,WAAW,CAAC,OAAO,CAAC,CAAC,CAAC;IACpC,UAAU,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC;CACvC,CAAC;KACD,MAAM,EAAE,CAAC;AAGZ,MAAM,CAAC,MAAM,YAAY,GAAG,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;AAE3C,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAC;KACtB,MAAM,CAAC;IACN,cAAc,EAAE,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IACvC,mBAAmB,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC;IAC/C,mBAAmB,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC;IAC/C,OAAO,EAAE,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC;IACnC,wBAAwB,EAAE,OAAO,CAAC,QAAQ,EAAE;CAC7C,CAAC;KACD,MAAM,EAAE;KACR,WAAW,CAAC,CAAC,IAAI,EAAE,GAAG,EAAE,EAAE;IACzB,MAAM,UAAU,GAAG,IAAI,GAAG,EAAU,CAAC;IACrC,KAAK,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,IAAI,CAAC,cAAc,CAAC,OAAO,EAAE,EAAE,CAAC;QAC3D,IAAI,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;YAC1B,GAAG,CAAC,QAAQ,CAAC;gBACX,IAAI,EAAE,QAAQ;gBACd,IAAI,EAAE,CAAC,gBAAgB,EAAE,KAAK,CAAC;gBAC/B,OAAO,EAAE,4BAA4B,KAAK,EAAE;aAC7C,CAAC,CAAC;QACL,CAAC;QACD,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IACxB,CAAC;IACD,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACxC,GAAG,CAAC,QAAQ,CAAC;YACX,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,CAAC,SAAS,EAAE,OAAO,CAAC;YAC1B,OAAO,EAAE,kBAAkB,IAAI,CAAC,OAAO,CAAC,KAAK,4BAA4B;SAC1E,CAAC,CAAC;IACL,CAAC;IACD,IAAI,IAAI,CAAC,OAAO,CAAC,UAAU,IAAI,CAAC,IAAI,CAAC,mBAAmB,EAAE,CAAC;QACzD,GAAG,CAAC,QAAQ,CAAC;YACX,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,CAAC,SAAS,EAAE,YAAY,CAAC;YAC/B,OAAO,EAAE,qEAAqE;SAC/E,CAAC,CAAC;IACL,CAAC;IACD,IAAI,IAAI,CAAC,OAAO,CAAC,UAAU,IAAI,CAAC,IAAI,CAAC,mBAAmB,EAAE,CAAC;QACzD,GAAG,CAAC,QAAQ,CAAC;YACX,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,CAAC,SAAS,EAAE,YAAY,CAAC;YAC/B,OAAO,EAAE,qEAAqE;SAC/E,CAAC,CAAC;IACL,CAAC;IACD,IAAI,IAAI,CAAC,mBAAmB,IAAI,IAAI,CAAC,wBAAwB,KAAK,SAAS,EAAE,CAAC;QAC5E,GAAG,CAAC,QAAQ,CAAC;YACX,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,CAAC,0BAA0B,CAAC;YAClC,OAAO,EAAE,uEAAuE;SACjF,CAAC,CAAC;IACL,CAAC;IACD,IAAI,CAAC,IAAI,CAAC,mBAAmB,IAAI,IAAI,CAAC,wBAAwB,KAAK,SAAS,EAAE,CAAC;QAC7E,GAAG,CAAC,QAAQ,CAAC;YACX,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,CAAC,0BAA0B,CAAC;YAClC,OAAO,EAAE,2EAA2E;SACrF,CAAC,CAAC;IACL,CAAC;AACH,CAAC,CAAC,CAAC;AAGL,MAAM,CAAC,MAAM,mBAAmB,GAAG,CAAC,IAAU,EAAW,EAAE,CACzD,IAAI,CAAC,KAAK,KAAK,MAAM,IAAI,IAAI,CAAC,UAAU,IAAI,IAAI,CAAC,UAAU,CAAC;AAE9D,MAAM,oBAAoB,GAAG,CAAC,KAAoB,EAAQ,EAAE,CAAC,CAAC;IAC5D,KAAK,EAAE,OAAO,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,OAAO,CAAC,CAAC,CAAE,KAAiB,CAAC,CAAC,CAAC,QAAQ;IACvE,UAAU,EAAE,KAAK,KAAK,YAAY;IAClC,UAAU,EAAE,KAAK,KAAK,YAAY;IAClC,YAAY,EAAE,CAAC;CAChB,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAAC,CAAgB,EAAW,EAAE,CAChE,mBAAmB,CAAC,oBAAoB,CAAC,CAAC,CAAC,CAAC,CAAC"}

package/dist/schemas/axis-config-requirement.d.ts

@@ -0,0 +1,20 @@
+import { z } from 'zod';
+export declare const AxisConfigRequirement: z.ZodObject<{
+    axis: z.ZodEnum<{
+        tournament: "tournament";
+        autonomous: "autonomous";
+    }>;
+    path: z.ZodString;
+    message: z.ZodString;
+}, z.core.$strict>;
+export type AxisConfigRequirement = z.infer<typeof AxisConfigRequirement>;
+export declare const AxisConfigRequirementList: z.ZodArray<z.ZodObject<{
+    axis: z.ZodEnum<{
+        tournament: "tournament";
+        autonomous: "autonomous";
+    }>;
+    path: z.ZodString;
+    message: z.ZodString;
+}, z.core.$strict>>;
+export type AxisConfigRequirementList = z.infer<typeof AxisConfigRequirementList>;
+//# sourceMappingURL=axis-config-requirement.d.ts.map

package/dist/schemas/axis-config-requirement.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"axis-config-requirement.d.ts","sourceRoot":"","sources":["../../src/schemas/axis-config-requirement.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAYxB,eAAO,MAAM,qBAAqB;;;;;;;kBAUvB,CAAC;AACZ,MAAM,MAAM,qBAAqB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,qBAAqB,CAAC,CAAC;AAE1E,eAAO,MAAM,yBAAyB;;;;;;;mBAAwC,CAAC;AAC/E,MAAM,MAAM,yBAAyB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,yBAAyB,CAAC,CAAC"}

package/dist/schemas/axis-config-requirement.js

@@ -0,0 +1,24 @@
+import { z } from 'zod';
+// Stage 3b (first-class composition): the serialized shape of a config
+// prerequisite the CLI validates up-front, before any worker runs. One schema,
+// two homes — the authored FlowSchematic DECLARES it and the compiled manifest
+// carries it, so the CLI reads the requirement off the loaded flow without a
+// by-id catalog package lookup. The shape is identical to the in-code
+// `CompiledFlowAxisConfigRequirement` (src/flows/types.ts) — no camelCase rename
+// — so the manifest->runtime boundary passes it through. Currently only
+// Prototype's tournament axis needs operator-provided variant models. Like
+// engine flags, this describes a requirement, not a flow name. Absent = the flow
+// declares no required config.
+export const AxisConfigRequirement = z
+    .object({
+    // The boolean axis whose selection makes the config mandatory.
+    axis: z.enum(['tournament', 'autonomous']),
+    // Dot path into the layered selection config, e.g.
+    // 'flows.prototype.variant_models'. The last layer that defines it wins.
+    path: z.string().min(1),
+    // Operator-facing reason printed on rejection.
+    message: z.string().min(1),
+})
+    .strict();
+export const AxisConfigRequirementList = z.array(AxisConfigRequirement).min(1);
+//# sourceMappingURL=axis-config-requirement.js.map

package/dist/schemas/axis-config-requirement.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"axis-config-requirement.js","sourceRoot":"","sources":["../../src/schemas/axis-config-requirement.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,uEAAuE;AACvE,+EAA+E;AAC/E,+EAA+E;AAC/E,6EAA6E;AAC7E,sEAAsE;AACtE,iFAAiF;AACjF,wEAAwE;AACxE,2EAA2E;AAC3E,iFAAiF;AACjF,+BAA+B;AAC/B,MAAM,CAAC,MAAM,qBAAqB,GAAG,CAAC;KACnC,MAAM,CAAC;IACN,+DAA+D;IAC/D,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,YAAY,EAAE,YAAY,CAAC,CAAC;IAC1C,mDAAmD;IACnD,yEAAyE;IACzE,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACvB,+CAA+C;IAC/C,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;CAC3B,CAAC;KACD,MAAM,EAAE,CAAC;AAGZ,MAAM,CAAC,MAAM,yBAAyB,GAAG,CAAC,CAAC,KAAK,CAAC,qBAAqB,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC"}

package/dist/schemas/builtin-report-schemas.d.ts

@@ -0,0 +1,6 @@
+import { z } from 'zod';
+export declare const FANOUT_AGGREGATE_CONTRACT = "fanout.aggregate@v1";
+export declare const FLOW_RESULT_CONTRACT = "flow.result@v1";
+export declare const CONVERGE_JUDGMENT_CONTRACT = "converge.judgment@v1";
+export declare const BUILTIN_REPORT_SCHEMAS: Readonly<Record<string, z.ZodType<unknown>>>;
+//# sourceMappingURL=builtin-report-schemas.d.ts.map

package/dist/schemas/builtin-report-schemas.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"builtin-report-schemas.d.ts","sourceRoot":"","sources":["../../src/schemas/builtin-report-schemas.ts"],"names":[],"mappings":"AA6BA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAKxB,eAAO,MAAM,yBAAyB,wBAAwB,CAAC;AAa/D,eAAO,MAAM,oBAAoB,mBAAmB,CAAC;AAerD,eAAO,MAAM,0BAA0B,yBAAyB,CAAC;AAiGjE,eAAO,MAAM,sBAAsB,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAO9E,CAAC"}

package/dist/schemas/builtin-report-schemas.js

@@ -0,0 +1,155 @@
+// Engine-built-in report schemas — registered by the engine itself
+// rather than by any flow package.
+//
+// Shared by the relay-report registry
+// (src/flows/registries/report-schemas.ts) and the run-file report
+// validator (src/runtime/run-files/report-validator.ts), which both
+// merge this record under the flow-catalog-derived schemas.
+//
+// Honesty note on the contents:
+// - `fanout-aggregate@v1` is the PRODUCTION default aggregate report
+//   schema for fanout steps (src/runtime/executors/fanout.ts applies it
+//   whenever a fanout aggregate does not name its own schema).
+// - `fanout.aggregate@v1` is the SAME body under a dotted, first-class
+//   CONTRACT id. The composer binds it as the output of a composed static
+//   sub-run fanout: a typed aggregate envelope that leaves each branch's
+//   result_body open, so the aggregate write validates while the
+//   aggregate-survivors join admits any complete child RunResult. The
+//   non-dotted id above is a report-schema id (the runtime default); a block
+//   output_contract must be a dotted contract id, hence this sibling. Both
+//   point at one shape so they cannot drift.
+// - `runtime-proof-canonical@v1` is the minimal-shape positive case used
+//   by the runtime-proof internal flow path and runtime tests.
+// - `runtime-proof-strict@v1` is used by
+//   tests/runner/materializer-schema-parse.test.ts to exercise the
+//   check-pass + schema-fail mode.
+// - `converge.judgment@v1` is the COMPOSER-bound stop-judge contract for a
+//   generated Converge: the tail reviewer's typed output, carrying the
+//   goal_met/lesson the until-loop reads. See CONVERGE_JUDGMENT_CONTRACT below.
+import { z } from 'zod';
+// The first-class contract id the composer binds for a static sub-run fanout's
+// aggregate output. Exported so the composer and the registry share one string
+// and cannot drift apart.
+export const FANOUT_AGGREGATE_CONTRACT = 'fanout.aggregate@v1';
+// The generic terminal-result contract. It is ALREADY the default output of the
+// close-with-evidence block (src/schemas/flow-block-definitions.ts): every
+// shipped flow aliases it to a family result (fix.result@v1, build.result@v1, …)
+// in the flow's contract_aliases, so the generic is never written raw and so had
+// no schema or close builder. A COMPOSED short-tail flow (a triage that closes
+// after diagnose) cannot produce the evidence a family close builder REQUIRES, so
+// the composer falls the terminal back to this generic instead of an un-runnable
+// family bind. Registering the schema here (validated by the run-file report
+// validator) plus a reads-agnostic generic close builder lets such a flow run to
+// @complete. Built-ins are untouched: they still alias the generic away, so they
+// never emit this body.
+export const FLOW_RESULT_CONTRACT = 'flow.result@v1';
+// The dedicated judgment contract a composed Converge binds to its stop-judge (the
+// reviewer tail). Like FANOUT_AGGREGATE_CONTRACT and FLOW_RESULT_CONTRACT it is a
+// COMPOSER-bound contract, owned by no flow — the composer overrides the tail's
+// output to this name when (and only when) the role set asked for a Converge. It
+// exists because the until-loop reads two free fields from the tail's result —
+// `goal_met` (the boolean the evidence floor disposes) and `lesson` (carried to the
+// next attempt) — that the family reviewer schema (build.review@v1) does NOT carry
+// and, being `.strict()`, REJECTS. A composed reviewer bound to build.review@v1 thus
+// downgrades to failed_check the moment it carries the judgment, so the loop can
+// never read it and the run never closes clean. This contract carries exactly the
+// fields the judge produces, so the tail validates and the loop reads goal_met.
+//
+// Exported so the composer and the registry share one string and cannot drift apart.
+export const CONVERGE_JUDGMENT_CONTRACT = 'converge.judgment@v1';
+const MinimalVerdictShape = z.looseObject({ verdict: z.string().min(1) });
+// The Converge stop-judge body. Strict on exactly these four fields so the shape-hint
+// can instruct the worker to produce precisely them and "annotations cannot lie": a
+// judge that emits extra keys is rejected, not silently widened.
+//   - verdict: the reviewer verdict. A stop-judge's check.pass admits ALL THREE
+//     enum values (the composer rebinds the composed tail's check to this full
+//     vocabulary; the authored converge-proof / fix-until-green judges declare the
+//     same): the verdict reports that the judge did its job, while goal_met —
+//     disposed against the evidence floor — decides whether the loop stops clean,
+//     re-enters, or exhausts. An honest "reject, not done" is a valid judgment the
+//     loop disposes, never a failed check; under the family reviewer vocabulary
+//     (['accept', 'accept-with-fixes']) it crashed the run at the relay seam
+//     instead of looping (the F13 finding from the live surface test).
+//   - goal_met: the load-bearing boolean the until-loop's evidence floor disposes.
+//   - lesson: the short, free-text note carried verbatim into the next iteration's act
+//     (the engine reads it as opaque data, never as instructions). "none" when done.
+//   - summary: the human-facing line the close step soaks into its evidence report.
+const ConvergeJudgmentShape = z
+    .object({
+    verdict: z.enum(['accept', 'accept-with-fixes', 'reject']),
+    goal_met: z.boolean(),
+    lesson: z.string().min(1),
+    summary: z.string().min(1),
+})
+    .strict();
+const StrictPayloadShape = z
+    .object({
+    verdict: z.string().min(1),
+    rationale: z.string().min(1),
+})
+    .strict();
+const FanoutAggregateFixtureBranchShape = z.looseObject({
+    branch_id: z.string().min(1),
+    child_run_id: z.string().min(1),
+    child_outcome: z.string().min(1),
+    verdict: z.string().min(1),
+    admitted: z.boolean(),
+    result_path: z.string().min(1),
+    duration_ms: z.number().nonnegative(),
+});
+// TODO: misnomer, backs production not just fixtures. This shape backs the
+// PRODUCTION fanout-aggregate@v1 report schema and the fanout.aggregate@v1
+// contract (registered below), not only test fixtures. The name predates that
+// use; renaming is a terminology migration out of scope here. The honesty floor
+// below is not: keep the refine even if the name is later corrected.
+const FanoutAggregateFixtureShape = z
+    .looseObject({
+    schema_version: z.literal(1),
+    join_policy: z.enum(['pick-winner', 'disjoint-merge', 'aggregate-only', 'aggregate-survivors']),
+    branch_count: z.number().int().nonnegative(),
+    winner_branch_id: z.string().min(1).optional(),
+    branches: z.array(FanoutAggregateFixtureBranchShape),
+})
+    .superRefine((aggregate, ctx) => {
+    // Internal-consistency floor mirrored from PrototypeVariantAggregate
+    // (src/flows/prototype/reports.ts): branch_count must match the actual
+    // branch array, and a named winner must be one of the branches. Without
+    // these the production aggregate report could claim a count or a winner its
+    // own branches do not support — writer discipline, not the schema.
+    if (aggregate.branch_count !== aggregate.branches.length) {
+        ctx.addIssue({
+            code: 'custom',
+            path: ['branch_count'],
+            message: 'branch_count must match branches.length',
+        });
+    }
+    if (aggregate.winner_branch_id !== undefined &&
+        !aggregate.branches.some((branch) => branch.branch_id === aggregate.winner_branch_id)) {
+        ctx.addIssue({
+            code: 'custom',
+            path: ['winner_branch_id'],
+            message: 'winner_branch_id must match one of the branches',
+        });
+    }
+});
+// The generic terminal-result body. Kept deliberately small: a summary line, the
+// run outcome the close-time primary-result bind reads, and pointers to whatever
+// evidence the composed flow actually produced (the close step's resolved reads).
+// looseObject so a richer composed close can carry extra fields without a schema
+// change. `outcome` mirrors the values runOutcomeForPrimaryResultOutcome maps;
+// the generic builder always reports 'complete'.
+const FlowResultShape = z.looseObject({
+    schema_version: z.literal(1),
+    summary: z.string().min(1),
+    outcome: z.enum(['complete', 'stopped', 'handoff']),
+    evidence_links: z.array(z.string().min(1)),
+});
+export const BUILTIN_REPORT_SCHEMAS = Object.freeze({
+    'runtime-proof-canonical@v1': MinimalVerdictShape,
+    'runtime-proof-strict@v1': StrictPayloadShape,
+    'fanout-aggregate@v1': FanoutAggregateFixtureShape,
+    [FANOUT_AGGREGATE_CONTRACT]: FanoutAggregateFixtureShape,
+    [FLOW_RESULT_CONTRACT]: FlowResultShape,
+    [CONVERGE_JUDGMENT_CONTRACT]: ConvergeJudgmentShape,
+});
+//# sourceMappingURL=builtin-report-schemas.js.map

package/dist/schemas/builtin-report-schemas.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"builtin-report-schemas.js","sourceRoot":"","sources":["../../src/schemas/builtin-report-schemas.ts"],"names":[],"mappings":"AAAA,mEAAmE;AACnE,mCAAmC;AACnC,EAAE;AACF,sCAAsC;AACtC,mEAAmE;AACnE,oEAAoE;AACpE,4DAA4D;AAC5D,EAAE;AACF,gCAAgC;AAChC,qEAAqE;AACrE,wEAAwE;AACxE,+DAA+D;AAC/D,uEAAuE;AACvE,0EAA0E;AAC1E,yEAAyE;AACzE,iEAAiE;AACjE,sEAAsE;AACtE,6EAA6E;AAC7E,2EAA2E;AAC3E,6CAA6C;AAC7C,yEAAyE;AACzE,+DAA+D;AAC/D,yCAAyC;AACzC,mEAAmE;AACnE,mCAAmC;AACnC,2EAA2E;AAC3E,uEAAuE;AACvE,gFAAgF;AAEhF,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,+EAA+E;AAC/E,+EAA+E;AAC/E,0BAA0B;AAC1B,MAAM,CAAC,MAAM,yBAAyB,GAAG,qBAAqB,CAAC;AAE/D,gFAAgF;AAChF,2EAA2E;AAC3E,iFAAiF;AACjF,iFAAiF;AACjF,+EAA+E;AAC/E,kFAAkF;AAClF,iFAAiF;AACjF,6EAA6E;AAC7E,iFAAiF;AACjF,iFAAiF;AACjF,wBAAwB;AACxB,MAAM,CAAC,MAAM,oBAAoB,GAAG,gBAAgB,CAAC;AAErD,mFAAmF;AACnF,kFAAkF;AAClF,gFAAgF;AAChF,iFAAiF;AACjF,+EAA+E;AAC/E,oFAAoF;AACpF,mFAAmF;AACnF,qFAAqF;AACrF,iFAAiF;AACjF,kFAAkF;AAClF,gFAAgF;AAChF,EAAE;AACF,qFAAqF;AACrF,MAAM,CAAC,MAAM,0BAA0B,GAAG,sBAAsB,CAAC;AAEjE,MAAM,mBAAmB,GAAG,CAAC,CAAC,WAAW,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;AAE1E,sFAAsF;AACtF,oFAAoF;AACpF,iEAAiE;AACjE,gFAAgF;AAChF,+EAA+E;AAC/E,mFAAmF;AACnF,8EAA8E;AAC9E,kFAAkF;AAClF,mFAAmF;AACnF,gFAAgF;AAChF,6EAA6E;AAC7E,uEAAuE;AACvE,mFAAmF;AACnF,uFAAuF;AACvF,qFAAqF;AACrF,oFAAoF;AACpF,MAAM,qBAAqB,GAAG,CAAC;KAC5B,MAAM,CAAC;IACN,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,mBAAmB,EAAE,QAAQ,CAAC,CAAC;IAC1D,QAAQ,EAAE,CAAC,CAAC,OAAO,EAAE;IACrB,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACzB,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;CAC3B,CAAC;KACD,MAAM,EAAE,CAAC;AAEZ,MAAM,kBAAkB,GAAG,CAAC;KACzB,MAAM,CAAC;IACN,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAC1B,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;CAC7B,CAAC;KACD,MAAM,EAAE,CAAC;AAEZ,MAAM,iCAAiC,GAAG,CAAC,CAAC,WAAW,CAAC;IACtD,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAC5B,YAAY,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAC/B,aAAa,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAChC,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAC1B,QAAQ,EAAE,CAAC,CAAC,OAAO,EAAE;IACrB,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAC9B,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,WAAW,EAAE;CACtC,CAAC,CAAC;AAEH,2EAA2E;AAC3E,2EAA2E;AAC3E,8EAA8E;AAC9E,gFAAgF;AAChF,qEAAqE;AACrE,MAAM,2BAA2B,GAAG,CAAC;KAClC,WAAW,CAAC;IACX,cAAc,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;IAC5B,WAAW,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,aAAa,EAAE,gBAAgB,EAAE,gBAAgB,EAAE,qBAAqB,CAAC,CAAC;IAC/F,YAAY,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,WAAW,EAAE;IAC5C,gBAAgB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE;IAC9C,QAAQ,EAAE,CAAC,CAAC,KAAK,CAAC,iCAAiC,CAAC;CACrD,CAAC;KACD,WAAW,CAAC,CAAC,SAAS,EAAE,GAAG,EAAE,EAAE;IAC9B,qEAAqE;IACrE,uEAAuE;IACvE,wEAAwE;IACxE,4EAA4E;IAC5E,mEAAmE;IACnE,IAAI,SAAS,CAAC,YAAY,KAAK,SAAS,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC;QACzD,GAAG,CAAC,QAAQ,CAAC;YACX,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,CAAC,cAAc,CAAC;YACtB,OAAO,EAAE,yCAAyC;SACnD,CAAC,CAAC;IACL,CAAC;IACD,IACE,SAAS,CAAC,gBAAgB,KAAK,SAAS;QACxC,CAAC,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,SAAS,KAAK,SAAS,CAAC,gBAAgB,CAAC,EACrF,CAAC;QACD,GAAG,CAAC,QAAQ,CAAC;YACX,IAAI,EAAE,QAAQ;YACd,IAAI,EAAE,CAAC,kBAAkB,CAAC;YAC1B,OAAO,EAAE,iDAAiD;SAC3D,CAAC,CAAC;IACL,CAAC;AACH,CAAC,CAAC,CAAC;AAEL,iFAAiF;AACjF,iFAAiF;AACjF,kFAAkF;AAClF,iFAAiF;AACjF,+EAA+E;AAC/E,iDAAiD;AACjD,MAAM,eAAe,GAAG,CAAC,CAAC,WAAW,CAAC;IACpC,cAAc,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC;IAC5B,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAC1B,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,UAAU,EAAE,SAAS,EAAE,SAAS,CAAC,CAAC;IACnD,cAAc,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;CAC3C,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,sBAAsB,GAAiD,MAAM,CAAC,MAAM,CAAC;IAChG,4BAA4B,EAAE,mBAAmB;IACjD,yBAAyB,EAAE,kBAAkB;IAC7C,qBAAqB,EAAE,2BAA2B;IAClD,CAAC,yBAAyB,CAAC,EAAE,2BAA2B;IACxD,CAAC,oBAAoB,CAAC,EAAE,eAAe;IACvC,CAAC,0BAA0B,CAAC,EAAE,qBAAqB;CACpD,CAAC,CAAC"}

package/dist/schemas/change-kind.d.ts

@@ -0,0 +1,75 @@
+import { z } from 'zod';
+export declare const ChangeKind: z.ZodEnum<{
+    "ratchet-advance": "ratchet-advance";
+    "equivalence-refactor": "equivalence-refactor";
+    "migration-escrow": "migration-escrow";
+    discovery: "discovery";
+    disposable: "disposable";
+    "break-glass": "break-glass";
+}>;
+export type ChangeKind = z.infer<typeof ChangeKind>;
+export declare const MigrationEscrowChangeKind: z.ZodObject<{
+    failure_mode: z.ZodString;
+    acceptance_evidence: z.ZodString;
+    alternate_framing: z.ZodString;
+    change_kind: z.ZodLiteral<"migration-escrow">;
+    expires_at: z.ZodISODateTime;
+    restoration_plan: z.ZodString;
+}, z.core.$strict>;
+export type MigrationEscrowChangeKind = z.infer<typeof MigrationEscrowChangeKind>;
+export declare const BreakGlassChangeKind: z.ZodObject<{
+    failure_mode: z.ZodString;
+    acceptance_evidence: z.ZodString;
+    alternate_framing: z.ZodString;
+    change_kind: z.ZodLiteral<"break-glass">;
+    post_hoc_adr_deadline_at: z.ZodISODateTime;
+}, z.core.$strict>;
+export type BreakGlassChangeKind = z.infer<typeof BreakGlassChangeKind>;
+export declare const StandardChangeKind: z.ZodObject<{
+    failure_mode: z.ZodString;
+    acceptance_evidence: z.ZodString;
+    alternate_framing: z.ZodString;
+    change_kind: z.ZodEnum<{
+        "ratchet-advance": "ratchet-advance";
+        "equivalence-refactor": "equivalence-refactor";
+        discovery: "discovery";
+        disposable: "disposable";
+    }>;
+}, z.core.$strip>;
+export type StandardChangeKind = z.infer<typeof StandardChangeKind>;
+export declare const ChangeKindDeclaration: z.ZodDiscriminatedUnion<[z.ZodObject<{
+    failure_mode: z.ZodString;
+    acceptance_evidence: z.ZodString;
+    alternate_framing: z.ZodString;
+    change_kind: z.ZodLiteral<"ratchet-advance">;
+}, z.core.$strict>, z.ZodObject<{
+    failure_mode: z.ZodString;
+    acceptance_evidence: z.ZodString;
+    alternate_framing: z.ZodString;
+    change_kind: z.ZodLiteral<"equivalence-refactor">;
+}, z.core.$strict>, z.ZodObject<{
+    failure_mode: z.ZodString;
+    acceptance_evidence: z.ZodString;
+    alternate_framing: z.ZodString;
+    change_kind: z.ZodLiteral<"discovery">;
+}, z.core.$strict>, z.ZodObject<{
+    failure_mode: z.ZodString;
+    acceptance_evidence: z.ZodString;
+    alternate_framing: z.ZodString;
+    change_kind: z.ZodLiteral<"disposable">;
+}, z.core.$strict>, z.ZodObject<{
+    failure_mode: z.ZodString;
+    acceptance_evidence: z.ZodString;
+    alternate_framing: z.ZodString;
+    change_kind: z.ZodLiteral<"migration-escrow">;
+    expires_at: z.ZodISODateTime;
+    restoration_plan: z.ZodString;
+}, z.core.$strict>, z.ZodObject<{
+    failure_mode: z.ZodString;
+    acceptance_evidence: z.ZodString;
+    alternate_framing: z.ZodString;
+    change_kind: z.ZodLiteral<"break-glass">;
+    post_hoc_adr_deadline_at: z.ZodISODateTime;
+}, z.core.$strict>], "change_kind">;
+export type ChangeKindDeclaration = z.infer<typeof ChangeKindDeclaration>;
+//# sourceMappingURL=change-kind.d.ts.map

package/dist/schemas/change-kind.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"change-kind.d.ts","sourceRoot":"","sources":["../../src/schemas/change-kind.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,eAAO,MAAM,UAAU;;;;;;;EAOrB,CAAC;AACH,MAAM,MAAM,UAAU,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,UAAU,CAAC,CAAC;AAQpD,eAAO,MAAM,yBAAyB;;;;;;;kBAI3B,CAAC;AACZ,MAAM,MAAM,yBAAyB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,yBAAyB,CAAC,CAAC;AAElF,eAAO,MAAM,oBAAoB;;;;;;kBAGtB,CAAC;AACZ,MAAM,MAAM,oBAAoB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,oBAAoB,CAAC,CAAC;AAExE,eAAO,MAAM,kBAAkB;;;;;;;;;;iBAE7B,CAAC;AACH,MAAM,MAAM,kBAAkB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,kBAAkB,CAAC,CAAC;AAEpE,eAAO,MAAM,qBAAqB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;mCAOhC,CAAC;AACH,MAAM,MAAM,qBAAqB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,qBAAqB,CAAC,CAAC"}

package/dist/schemas/change-kind.js

@@ -0,0 +1,35 @@
+import { z } from 'zod';
+export const ChangeKind = z.enum([
+    'ratchet-advance',
+    'equivalence-refactor',
+    'migration-escrow',
+    'discovery',
+    'disposable',
+    'break-glass',
+]);
+const ChangeKindBase = z.object({
+    failure_mode: z.string().min(1),
+    acceptance_evidence: z.string().min(1),
+    alternate_framing: z.string().min(1),
+});
+export const MigrationEscrowChangeKind = ChangeKindBase.extend({
+    change_kind: z.literal('migration-escrow'),
+    expires_at: z.iso.datetime(),
+    restoration_plan: z.string().min(1),
+}).strict();
+export const BreakGlassChangeKind = ChangeKindBase.extend({
+    change_kind: z.literal('break-glass'),
+    post_hoc_adr_deadline_at: z.iso.datetime(),
+}).strict();
+export const StandardChangeKind = ChangeKindBase.extend({
+    change_kind: z.enum(['ratchet-advance', 'equivalence-refactor', 'discovery', 'disposable']),
+});
+export const ChangeKindDeclaration = z.discriminatedUnion('change_kind', [
+    StandardChangeKind.extend({ change_kind: z.literal('ratchet-advance') }).strict(),
+    StandardChangeKind.extend({ change_kind: z.literal('equivalence-refactor') }).strict(),
+    StandardChangeKind.extend({ change_kind: z.literal('discovery') }).strict(),
+    StandardChangeKind.extend({ change_kind: z.literal('disposable') }).strict(),
+    MigrationEscrowChangeKind,
+    BreakGlassChangeKind,
+]);
+//# sourceMappingURL=change-kind.js.map

package/dist/schemas/change-kind.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"change-kind.js","sourceRoot":"","sources":["../../src/schemas/change-kind.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,CAAC,IAAI,CAAC;IAC/B,iBAAiB;IACjB,sBAAsB;IACtB,kBAAkB;IAClB,WAAW;IACX,YAAY;IACZ,aAAa;CACd,CAAC,CAAC;AAGH,MAAM,cAAc,GAAG,CAAC,CAAC,MAAM,CAAC;IAC9B,YAAY,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IAC/B,mBAAmB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACtC,iBAAiB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;CACrC,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,yBAAyB,GAAG,cAAc,CAAC,MAAM,CAAC;IAC7D,WAAW,EAAE,CAAC,CAAC,OAAO,CAAC,kBAAkB,CAAC;IAC1C,UAAU,EAAE,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE;IAC5B,gBAAgB,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;CACpC,CAAC,CAAC,MAAM,EAAE,CAAC;AAGZ,MAAM,CAAC,MAAM,oBAAoB,GAAG,cAAc,CAAC,MAAM,CAAC;IACxD,WAAW,EAAE,CAAC,CAAC,OAAO,CAAC,aAAa,CAAC;IACrC,wBAAwB,EAAE,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE;CAC3C,CAAC,CAAC,MAAM,EAAE,CAAC;AAGZ,MAAM,CAAC,MAAM,kBAAkB,GAAG,cAAc,CAAC,MAAM,CAAC;IACtD,WAAW,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,iBAAiB,EAAE,sBAAsB,EAAE,WAAW,EAAE,YAAY,CAAC,CAAC;CAC5F,CAAC,CAAC;AAGH,MAAM,CAAC,MAAM,qBAAqB,GAAG,CAAC,CAAC,kBAAkB,CAAC,aAAa,EAAE;IACvE,kBAAkB,CAAC,MAAM,CAAC,EAAE,WAAW,EAAE,CAAC,CAAC,OAAO,CAAC,iBAAiB,CAAC,EAAE,CAAC,CAAC,MAAM,EAAE;IACjF,kBAAkB,CAAC,MAAM,CAAC,EAAE,WAAW,EAAE,CAAC,CAAC,OAAO,CAAC,sBAAsB,CAAC,EAAE,CAAC,CAAC,MAAM,EAAE;IACtF,kBAAkB,CAAC,MAAM,CAAC,EAAE,WAAW,EAAE,CAAC,CAAC,OAAO,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC,MAAM,EAAE;IAC3E,kBAAkB,CAAC,MAAM,CAAC,EAAE,WAAW,EAAE,CAAC,CAAC,OAAO,CAAC,YAAY,CAAC,EAAE,CAAC,CAAC,MAAM,EAAE;IAC5E,yBAAyB;IACzB,oBAAoB;CACrB,CAAC,CAAC"}