@manifesto-ai/core 0.3.0 → 1.3.0

package/dist/schema/field.js

@@ -0,0 +1,31 @@
+import { z } from "zod";
+/**
+ * Field type definitions
+ */
+export const PrimitiveFieldType = z.enum([
+    "string",
+    "number",
+    "boolean",
+    "null",
+    "object",
+    "array",
+]);
+export const EnumFieldType = z.object({
+    enum: z.array(z.unknown()).readonly(),
+});
+export const FieldType = z.union([PrimitiveFieldType, EnumFieldType]);
+export const FieldSpec = z.lazy(() => z.object({
+    type: FieldType,
+    required: z.boolean(),
+    default: z.unknown().optional(),
+    description: z.string().optional(),
+    fields: z.record(z.string(), FieldSpec).optional(),
+    items: FieldSpec.optional(),
+}));
+/**
+ * State specification - defines the shape of domain state
+ */
+export const StateSpec = z.object({
+    fields: z.record(z.string(), FieldSpec),
+});
+//# sourceMappingURL=field.js.map

package/dist/schema/field.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"field.js","sourceRoot":"","sources":["../../src/schema/field.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB;;GAEG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC,CAAC,IAAI,CAAC;IACvC,QAAQ;IACR,QAAQ;IACR,SAAS;IACT,MAAM;IACN,QAAQ;IACR,OAAO;CACR,CAAC,CAAC;AAGH,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,CAAC,MAAM,CAAC;IACpC,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,QAAQ,EAAE;CACtC,CAAC,CAAC;AAGH,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,kBAAkB,EAAE,aAAa,CAAC,CAAC,CAAC;AAetE,MAAM,CAAC,MAAM,SAAS,GAAyB,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,CACzD,CAAC,CAAC,MAAM,CAAC;IACP,IAAI,EAAE,SAAS;IACf,QAAQ,EAAE,CAAC,CAAC,OAAO,EAAE;IACrB,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,QAAQ,EAAE;IAC/B,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAClC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,SAAS,CAAC,CAAC,QAAQ,EAAE;IAClD,KAAK,EAAE,SAAS,CAAC,QAAQ,EAAE;CAC5B,CAAC,CACH,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,CAAC,MAAM,CAAC;IAChC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,SAAS,CAAC;CACxC,CAAC,CAAC"}

package/dist/schema/flow.d.ts

@@ -0,0 +1,103 @@
+import { z } from "zod";
+import { type ExprNode } from "./expr.js";
+/**
+ * FlowNode - Declarative state transition programs
+ * Flows do NOT execute; they describe.
+ * Flows do NOT return values; they modify Snapshot.
+ * Flows are NOT Turing-complete; they always terminate.
+ */
+export type FlowNode = SeqFlow | IfFlow | PatchFlow | EffectFlow | CallFlow | HaltFlow | FailFlow;
+/**
+ * Patch operations
+ */
+export declare const PatchOp: z.ZodEnum<{
+    set: "set";
+    unset: "unset";
+    merge: "merge";
+}>;
+export type PatchOp = z.infer<typeof PatchOp>;
+/**
+ * seq - Execute steps in order
+ */
+export declare const SeqFlow: z.ZodType<{
+    kind: "seq";
+    steps: FlowNode[];
+}>;
+export type SeqFlow = z.infer<typeof SeqFlow>;
+/**
+ * if - Conditional execution
+ */
+export declare const IfFlow: z.ZodType<{
+    kind: "if";
+    cond: ExprNode;
+    then: FlowNode;
+    else?: FlowNode;
+}>;
+export type IfFlow = z.infer<typeof IfFlow>;
+/**
+ * patch - State mutation declaration
+ */
+export declare const PatchFlow: z.ZodObject<{
+    kind: z.ZodLiteral<"patch">;
+    op: z.ZodEnum<{
+        set: "set";
+        unset: "unset";
+        merge: "merge";
+    }>;
+    path: z.ZodString;
+    value: z.ZodOptional<z.ZodType<ExprNode, unknown, z.core.$ZodTypeInternals<ExprNode, unknown>>>;
+}, z.core.$strip>;
+export type PatchFlow = z.infer<typeof PatchFlow>;
+/**
+ * effect - External operation requirement declaration
+ * Effects are NOT executed by Core. They are declarations recorded in Snapshot.
+ */
+export declare const EffectFlow: z.ZodObject<{
+    kind: z.ZodLiteral<"effect">;
+    type: z.ZodString;
+    params: z.ZodRecord<z.ZodString, z.ZodType<ExprNode, unknown, z.core.$ZodTypeInternals<ExprNode, unknown>>>;
+}, z.core.$strip>;
+export type EffectFlow = z.infer<typeof EffectFlow>;
+/**
+ * call - Invoke another flow by name
+ * Does NOT pass arguments or return values.
+ * The called Flow reads from the same Snapshot.
+ */
+export declare const CallFlow: z.ZodObject<{
+    kind: z.ZodLiteral<"call">;
+    flow: z.ZodString;
+}, z.core.$strip>;
+export type CallFlow = z.infer<typeof CallFlow>;
+/**
+ * halt - Stop flow execution normally (not an error)
+ */
+export declare const HaltFlow: z.ZodObject<{
+    kind: z.ZodLiteral<"halt">;
+    reason: z.ZodOptional<z.ZodString>;
+}, z.core.$strip>;
+export type HaltFlow = z.infer<typeof HaltFlow>;
+/**
+ * fail - Stop flow execution with an error
+ * The error is recorded in Snapshot.
+ */
+export declare const FailFlow: z.ZodObject<{
+    kind: z.ZodLiteral<"fail">;
+    code: z.ZodString;
+    message: z.ZodOptional<z.ZodType<ExprNode, unknown, z.core.$ZodTypeInternals<ExprNode, unknown>>>;
+}, z.core.$strip>;
+export type FailFlow = z.infer<typeof FailFlow>;
+export declare const FlowNodeSchema: z.ZodType<FlowNode>;
+/**
+ * Flow node kinds enum
+ */
+export declare const FlowKind: z.ZodEnum<{
+    if: "if";
+    patch: "patch";
+    effect: "effect";
+    call: "call";
+    halt: "halt";
+    fail: "fail";
+    seq: "seq";
+}>;
+export type FlowKind = z.infer<typeof FlowKind>;
+//# sourceMappingURL=flow.d.ts.map

package/dist/schema/flow.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"flow.d.ts","sourceRoot":"","sources":["../../src/schema/flow.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,OAAO,EAAkB,KAAK,QAAQ,EAAE,MAAM,WAAW,CAAC;AAE1D;;;;;GAKG;AAEH,MAAM,MAAM,QAAQ,GAChB,OAAO,GACP,MAAM,GACN,SAAS,GACT,UAAU,GACV,QAAQ,GACR,QAAQ,GACR,QAAQ,CAAC;AAEb;;GAEG;AACH,eAAO,MAAM,OAAO;;;;EAAoC,CAAC;AACzD,MAAM,MAAM,OAAO,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,OAAO,CAAC,CAAC;AAI9C;;GAEG;AACH,eAAO,MAAM,OAAO,EAAE,CAAC,CAAC,OAAO,CAAC;IAAE,IAAI,EAAE,KAAK,CAAC;IAAC,KAAK,EAAE,QAAQ,EAAE,CAAA;CAAE,CAGhE,CAAC;AACH,MAAM,MAAM,OAAO,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,OAAO,CAAC,CAAC;AAE9C;;GAEG;AACH,eAAO,MAAM,MAAM,EAAE,CAAC,CAAC,OAAO,CAAC;IAAE,IAAI,EAAE,IAAI,CAAC;IAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,IAAI,CAAC,EAAE,QAAQ,CAAA;CAAE,CAK5F,CAAC;AACH,MAAM,MAAM,MAAM,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,MAAM,CAAC,CAAC;AAE5C;;GAEG;AACH,eAAO,MAAM,SAAS;;;;;;;;;iBAKpB,CAAC;AACH,MAAM,MAAM,SAAS,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,SAAS,CAAC,CAAC;AAElD;;;GAGG;AACH,eAAO,MAAM,UAAU;;;;iBAIrB,CAAC;AACH,MAAM,MAAM,UAAU,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,UAAU,CAAC,CAAC;AAEpD;;;;GAIG;AACH,eAAO,MAAM,QAAQ;;;iBAGnB,CAAC;AACH,MAAM,MAAM,QAAQ,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,QAAQ,CAAC,CAAC;AAEhD;;GAEG;AACH,eAAO,MAAM,QAAQ;;;iBAGnB,CAAC;AACH,MAAM,MAAM,QAAQ,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,QAAQ,CAAC,CAAC;AAEhD;;;GAGG;AACH,eAAO,MAAM,QAAQ;;;;iBAInB,CAAC;AACH,MAAM,MAAM,QAAQ,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,QAAQ,CAAC,CAAC;AAIhD,eAAO,MAAM,cAAc,EAAE,CAAC,CAAC,OAAO,CAAC,QAAQ,CAQtB,CAAC;AAE1B;;GAEG;AACH,eAAO,MAAM,QAAQ;;;;;;;;EAAmE,CAAC;AACzF,MAAM,MAAM,QAAQ,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,QAAQ,CAAC,CAAC"}

package/dist/schema/flow.js

@@ -0,0 +1,82 @@
+import { z } from "zod";
+import { SemanticPath } from "./common.js";
+import { ExprNodeSchema } from "./expr.js";
+/**
+ * Patch operations
+ */
+export const PatchOp = z.enum(["set", "unset", "merge"]);
+// ============ Flow Node Types ============
+/**
+ * seq - Execute steps in order
+ */
+export const SeqFlow = z.object({
+    kind: z.literal("seq"),
+    steps: z.array(z.lazy(() => FlowNodeSchema)),
+});
+/**
+ * if - Conditional execution
+ */
+export const IfFlow = z.object({
+    kind: z.literal("if"),
+    cond: ExprNodeSchema,
+    then: z.lazy(() => FlowNodeSchema),
+    else: z.lazy(() => FlowNodeSchema).optional(),
+});
+/**
+ * patch - State mutation declaration
+ */
+export const PatchFlow = z.object({
+    kind: z.literal("patch"),
+    op: PatchOp,
+    path: SemanticPath,
+    value: ExprNodeSchema.optional(),
+});
+/**
+ * effect - External operation requirement declaration
+ * Effects are NOT executed by Core. They are declarations recorded in Snapshot.
+ */
+export const EffectFlow = z.object({
+    kind: z.literal("effect"),
+    type: z.string(),
+    params: z.record(z.string(), ExprNodeSchema),
+});
+/**
+ * call - Invoke another flow by name
+ * Does NOT pass arguments or return values.
+ * The called Flow reads from the same Snapshot.
+ */
+export const CallFlow = z.object({
+    kind: z.literal("call"),
+    flow: z.string(),
+});
+/**
+ * halt - Stop flow execution normally (not an error)
+ */
+export const HaltFlow = z.object({
+    kind: z.literal("halt"),
+    reason: z.string().optional(),
+});
+/**
+ * fail - Stop flow execution with an error
+ * The error is recorded in Snapshot.
+ */
+export const FailFlow = z.object({
+    kind: z.literal("fail"),
+    code: z.string(),
+    message: ExprNodeSchema.optional(),
+});
+// ============ Combined Schema ============
+export const FlowNodeSchema = z.union([
+    SeqFlow,
+    IfFlow,
+    PatchFlow,
+    EffectFlow,
+    CallFlow,
+    HaltFlow,
+    FailFlow,
+]);
+/**
+ * Flow node kinds enum
+ */
+export const FlowKind = z.enum(["seq", "if", "patch", "effect", "call", "halt", "fail"]);
+//# sourceMappingURL=flow.js.map

package/dist/schema/flow.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"flow.js","sourceRoot":"","sources":["../../src/schema/flow.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAC3C,OAAO,EAAE,cAAc,EAAiB,MAAM,WAAW,CAAC;AAkB1D;;GAEG;AACH,MAAM,CAAC,MAAM,OAAO,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC,CAAC;AAGzD,4CAA4C;AAE5C;;GAEG;AACH,MAAM,CAAC,MAAM,OAAO,GAAkD,CAAC,CAAC,MAAM,CAAC;IAC7E,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC;IACtB,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,cAAc,CAAC,CAAC;CAC7C,CAAC,CAAC;AAGH;;GAEG;AACH,MAAM,CAAC,MAAM,MAAM,GAA+E,CAAC,CAAC,MAAM,CAAC;IACzG,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC;IACrB,IAAI,EAAE,cAAc;IACpB,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,cAAc,CAAC;IAClC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,cAAc,CAAC,CAAC,QAAQ,EAAE;CAC9C,CAAC,CAAC;AAGH;;GAEG;AACH,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,CAAC,MAAM,CAAC;IAChC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC;IACxB,EAAE,EAAE,OAAO;IACX,IAAI,EAAE,YAAY;IAClB,KAAK,EAAE,cAAc,CAAC,QAAQ,EAAE;CACjC,CAAC,CAAC;AAGH;;;GAGG;AACH,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,CAAC,MAAM,CAAC;IACjC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC;IACzB,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE;IAChB,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,cAAc,CAAC;CAC7C,CAAC,CAAC;AAGH;;;;GAIG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAC,CAAC,MAAM,CAAC;IAC/B,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC;IACvB,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE;CACjB,CAAC,CAAC;AAGH;;GAEG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAC,CAAC,MAAM,CAAC;IAC/B,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC;IACvB,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;CAC9B,CAAC,CAAC;AAGH;;;GAGG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAC,CAAC,MAAM,CAAC;IAC/B,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC;IACvB,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE;IAChB,OAAO,EAAE,cAAc,CAAC,QAAQ,EAAE;CACnC,CAAC,CAAC;AAGH,4CAA4C;AAE5C,MAAM,CAAC,MAAM,cAAc,GAAwB,CAAC,CAAC,KAAK,CAAC;IACzD,OAAO;IACP,MAAM;IACN,SAAS;IACT,UAAU;IACV,QAAQ;IACR,QAAQ;IACR,QAAQ;CACT,CAAwB,CAAC;AAE1B;;GAEG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC"}

package/dist/schema/host-context.d.ts

@@ -0,0 +1,12 @@
+import { z } from "zod";
+/**
+ * HostContext - Explicit host-provided inputs for determinism
+ */
+export declare const HostContext: z.ZodObject<{
+    now: z.ZodNumber;
+    randomSeed: z.ZodString;
+    env: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+    durationMs: z.ZodOptional<z.ZodNumber>;
+}, z.core.$strip>;
+export type HostContext = z.infer<typeof HostContext>;
+//# sourceMappingURL=host-context.d.ts.map

package/dist/schema/host-context.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"host-context.d.ts","sourceRoot":"","sources":["../../src/schema/host-context.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB;;GAEG;AACH,eAAO,MAAM,WAAW;;;;;iBAoBtB,CAAC;AACH,MAAM,MAAM,WAAW,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,WAAW,CAAC,CAAC"}

package/dist/schema/host-context.js

@@ -0,0 +1,23 @@
+import { z } from "zod";
+/**
+ * HostContext - Explicit host-provided inputs for determinism
+ */
+export const HostContext = z.object({
+    /**
+     * Logical time provided by Host
+     */
+    now: z.number(),
+    /**
+     * Deterministic random seed provided by Host
+     */
+    randomSeed: z.string(),
+    /**
+     * Optional host environment metadata
+     */
+    env: z.record(z.string(), z.unknown()).optional(),
+    /**
+     * Optional measured compute duration (ms)
+     */
+    durationMs: z.number().optional(),
+});
+//# sourceMappingURL=host-context.js.map

package/dist/schema/host-context.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"host-context.js","sourceRoot":"","sources":["../../src/schema/host-context.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB;;GAEG;AACH,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,CAAC,MAAM,CAAC;IAClC;;OAEG;IACH,GAAG,EAAE,CAAC,CAAC,MAAM,EAAE;IAEf;;OAEG;IACH,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE;IAEtB;;OAEG;IACH,GAAG,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,QAAQ,EAAE;IAEjD;;OAEG;IACH,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;CAClC,CAAC,CAAC"}

package/dist/schema/index.d.ts

@@ -1,3 +1,14 @@
-export * from './integration.js';
-export * from './validation.js';
+export * from "./common.js";
+export * from "./field.js";
+export * from "./expr.js";
+export * from "./flow.js";
+export * from "./computed.js";
+export * from "./action.js";
+export * from "./domain.js";
+export * from "./type-spec.js";
+export * from "./snapshot.js";
+export * from "./patch.js";
+export * from "./host-context.js";
+export * from "./trace.js";
+export * from "./result.js";
 //# sourceMappingURL=index.d.ts.map

package/dist/schema/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/schema/index.ts"],"names":[],"mappings":"AAAA,cAAc,kBAAkB,CAAC;AACjC,cAAc,iBAAiB,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/schema/index.ts"],"names":[],"mappings":"AACA,cAAc,aAAa,CAAC;AAG5B,cAAc,YAAY,CAAC;AAG3B,cAAc,WAAW,CAAC;AAG1B,cAAc,WAAW,CAAC;AAG1B,cAAc,eAAe,CAAC;AAG9B,cAAc,aAAa,CAAC;AAG5B,cAAc,aAAa,CAAC;AAC5B,cAAc,gBAAgB,CAAC;AAG/B,cAAc,eAAe,CAAC;AAG9B,cAAc,YAAY,CAAC;AAG3B,cAAc,mBAAmB,CAAC;AAGlC,cAAc,YAAY,CAAC;AAG3B,cAAc,aAAa,CAAC"}

package/dist/schema/index.js

@@ -1,3 +1,26 @@
-export * from './integration.js';
-export * from './validation.js';
+// Common types
+export * from "./common.js";
+// Field and State types
+export * from "./field.js";
+// Expression types
+export * from "./expr.js";
+// Flow types
+export * from "./flow.js";
+// Computed types
+export * from "./computed.js";
+// Action types
+export * from "./action.js";
+// Domain schema
+export * from "./domain.js";
+export * from "./type-spec.js";
+// Snapshot types
+export * from "./snapshot.js";
+// Patch and Intent types
+export * from "./patch.js";
+// Host context types
+export * from "./host-context.js";
+// Trace types
+export * from "./trace.js";
+// Result types
+export * from "./result.js";
 //# sourceMappingURL=index.js.map

package/dist/schema/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/schema/index.ts"],"names":[],"mappings":"AAAA,cAAc,kBAAkB,CAAC;AACjC,cAAc,iBAAiB,CAAC"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/schema/index.ts"],"names":[],"mappings":"AAAA,eAAe;AACf,cAAc,aAAa,CAAC;AAE5B,wBAAwB;AACxB,cAAc,YAAY,CAAC;AAE3B,mBAAmB;AACnB,cAAc,WAAW,CAAC;AAE1B,aAAa;AACb,cAAc,WAAW,CAAC;AAE1B,iBAAiB;AACjB,cAAc,eAAe,CAAC;AAE9B,eAAe;AACf,cAAc,aAAa,CAAC;AAE5B,gBAAgB;AAChB,cAAc,aAAa,CAAC;AAC5B,cAAc,gBAAgB,CAAC;AAE/B,iBAAiB;AACjB,cAAc,eAAe,CAAC;AAE9B,yBAAyB;AACzB,cAAc,YAAY,CAAC;AAE3B,qBAAqB;AACrB,cAAc,mBAAmB,CAAC;AAElC,cAAc;AACd,cAAc,YAAY,CAAC;AAE3B,eAAe;AACf,cAAc,aAAa,CAAC"}

package/dist/schema/patch.d.ts

@@ -0,0 +1,59 @@
+import { z } from "zod";
+import { SemanticPath } from "./common.js";
+/**
+ * Patch - A single state modification operation.
+ * Only three operations: set, unset, merge.
+ */
+export declare const Patch: z.ZodDiscriminatedUnion<[z.ZodObject<{
+    op: z.ZodLiteral<"set">;
+    path: z.ZodString;
+    value: z.ZodUnknown;
+}, z.core.$strip>, z.ZodObject<{
+    op: z.ZodLiteral<"unset">;
+    path: z.ZodString;
+}, z.core.$strip>, z.ZodObject<{
+    op: z.ZodLiteral<"merge">;
+    path: z.ZodString;
+    value: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+}, z.core.$strip>], "op">;
+export type Patch = z.infer<typeof Patch>;
+/**
+ * SetPatch - Set value at path
+ */
+export type SetPatch = Extract<Patch, {
+    op: "set";
+}>;
+/**
+ * UnsetPatch - Remove value at path
+ */
+export type UnsetPatch = Extract<Patch, {
+    op: "unset";
+}>;
+/**
+ * MergePatch - Shallow merge object at path
+ */
+export type MergePatch = Extract<Patch, {
+    op: "merge";
+}>;
+/**
+ * Intent - A request to perform an action
+ */
+export declare const Intent: z.ZodObject<{
+    type: z.ZodString;
+    input: z.ZodOptional<z.ZodUnknown>;
+    intentId: z.ZodString;
+}, z.core.$strip>;
+export type Intent = z.infer<typeof Intent>;
+/**
+ * Helper to create a set patch
+ */
+export declare function setPatch(path: SemanticPath, value: unknown): SetPatch;
+/**
+ * Helper to create an unset patch
+ */
+export declare function unsetPatch(path: SemanticPath): UnsetPatch;
+/**
+ * Helper to create a merge patch
+ */
+export declare function mergePatch(path: SemanticPath, value: Record<string, unknown>): MergePatch;
+//# sourceMappingURL=patch.d.ts.map

package/dist/schema/patch.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"patch.d.ts","sourceRoot":"","sources":["../../src/schema/patch.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAE3C;;;GAGG;AACH,eAAO,MAAM,KAAK;;;;;;;;;;;yBAehB,CAAC;AACH,MAAM,MAAM,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,KAAK,CAAC,CAAC;AAE1C;;GAEG;AACH,MAAM,MAAM,QAAQ,GAAG,OAAO,CAAC,KAAK,EAAE;IAAE,EAAE,EAAE,KAAK,CAAA;CAAE,CAAC,CAAC;AAErD;;GAEG;AACH,MAAM,MAAM,UAAU,GAAG,OAAO,CAAC,KAAK,EAAE;IAAE,EAAE,EAAE,OAAO,CAAA;CAAE,CAAC,CAAC;AAEzD;;GAEG;AACH,MAAM,MAAM,UAAU,GAAG,OAAO,CAAC,KAAK,EAAE;IAAE,EAAE,EAAE,OAAO,CAAA;CAAE,CAAC,CAAC;AAEzD;;GAEG;AACH,eAAO,MAAM,MAAM;;;;iBAiBjB,CAAC;AACH,MAAM,MAAM,MAAM,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,MAAM,CAAC,CAAC;AAE5C;;GAEG;AACH,wBAAgB,QAAQ,CAAC,IAAI,EAAE,YAAY,EAAE,KAAK,EAAE,OAAO,GAAG,QAAQ,CAErE;AAED;;GAEG;AACH,wBAAgB,UAAU,CAAC,IAAI,EAAE,YAAY,GAAG,UAAU,CAEzD;AAED;;GAEG;AACH,wBAAgB,UAAU,CAAC,IAAI,EAAE,YAAY,EAAE,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,UAAU,CAEzF"}

package/dist/schema/patch.js

@@ -0,0 +1,60 @@
+import { z } from "zod";
+import { SemanticPath } from "./common.js";
+/**
+ * Patch - A single state modification operation.
+ * Only three operations: set, unset, merge.
+ */
+export const Patch = z.discriminatedUnion("op", [
+    z.object({
+        op: z.literal("set"),
+        path: SemanticPath,
+        value: z.unknown(),
+    }),
+    z.object({
+        op: z.literal("unset"),
+        path: SemanticPath,
+    }),
+    z.object({
+        op: z.literal("merge"),
+        path: SemanticPath,
+        value: z.record(z.string(), z.unknown()),
+    }),
+]);
+/**
+ * Intent - A request to perform an action
+ */
+export const Intent = z.object({
+    /**
+     * Action type identifier
+     */
+    type: z.string(),
+    /**
+     * Action input parameters
+     */
+    input: z.unknown().optional(),
+    /**
+     * Unique identifier for this processing attempt.
+     * MUST be unique per processing attempt.
+     * MUST be stable across re-invocations for same attempt.
+     */
+    intentId: z.string(),
+});
+/**
+ * Helper to create a set patch
+ */
+export function setPatch(path, value) {
+    return { op: "set", path, value };
+}
+/**
+ * Helper to create an unset patch
+ */
+export function unsetPatch(path) {
+    return { op: "unset", path };
+}
+/**
+ * Helper to create a merge patch
+ */
+export function mergePatch(path, value) {
+    return { op: "merge", path, value };
+}
+//# sourceMappingURL=patch.js.map

package/dist/schema/patch.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"patch.js","sourceRoot":"","sources":["../../src/schema/patch.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAE3C;;;GAGG;AACH,MAAM,CAAC,MAAM,KAAK,GAAG,CAAC,CAAC,kBAAkB,CAAC,IAAI,EAAE;IAC9C,CAAC,CAAC,MAAM,CAAC;QACP,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC;QACpB,IAAI,EAAE,YAAY;QAClB,KAAK,EAAE,CAAC,CAAC,OAAO,EAAE;KACnB,CAAC;IACF,CAAC,CAAC,MAAM,CAAC;QACP,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC;QACtB,IAAI,EAAE,YAAY;KACnB,CAAC;IACF,CAAC,CAAC,MAAM,CAAC;QACP,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,OAAO,CAAC;QACtB,IAAI,EAAE,YAAY;QAClB,KAAK,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC;KACzC,CAAC;CACH,CAAC,CAAC;AAkBH;;GAEG;AACH,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC;IAC7B;;OAEG;IACH,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE;IAEhB;;OAEG;IACH,KAAK,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,QAAQ,EAAE;IAE7B;;;;OAIG;IACH,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE;CACrB,CAAC,CAAC;AAGH;;GAEG;AACH,MAAM,UAAU,QAAQ,CAAC,IAAkB,EAAE,KAAc;IACzD,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;AACpC,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,UAAU,CAAC,IAAkB;IAC3C,OAAO,EAAE,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;AAC/B,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,UAAU,CAAC,IAAkB,EAAE,KAA8B;IAC3E,OAAO,EAAE,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC;AACtC,CAAC"}

package/dist/schema/result.d.ts

@@ -0,0 +1,142 @@
+import { z } from "zod";
+import { TraceNode } from "./trace.js";
+/**
+ * ComputeStatus - Result of a compute() call
+ */
+export declare const ComputeStatus: z.ZodEnum<{
+    error: "error";
+    pending: "pending";
+    complete: "complete";
+    halted: "halted";
+}>;
+export type ComputeStatus = z.infer<typeof ComputeStatus>;
+/**
+ * ComputeResult - Result of compute() call
+ */
+export declare const ComputeResult: z.ZodObject<{
+    snapshot: z.ZodObject<{
+        data: z.ZodUnknown;
+        computed: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+        system: z.ZodObject<{
+            status: z.ZodEnum<{
+                error: "error";
+                idle: "idle";
+                computing: "computing";
+                pending: "pending";
+            }>;
+            lastError: z.ZodNullable<z.ZodObject<{
+                code: z.ZodString;
+                message: z.ZodString;
+                source: z.ZodObject<{
+                    actionId: z.ZodString;
+                    nodePath: z.ZodString;
+                }, z.core.$strip>;
+                timestamp: z.ZodNumber;
+                context: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            }, z.core.$strip>>;
+            errors: z.ZodArray<z.ZodObject<{
+                code: z.ZodString;
+                message: z.ZodString;
+                source: z.ZodObject<{
+                    actionId: z.ZodString;
+                    nodePath: z.ZodString;
+                }, z.core.$strip>;
+                timestamp: z.ZodNumber;
+                context: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
+            }, z.core.$strip>>;
+            pendingRequirements: z.ZodArray<z.ZodObject<{
+                id: z.ZodString;
+                type: z.ZodString;
+                params: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+                actionId: z.ZodString;
+                flowPosition: z.ZodObject<{
+                    nodePath: z.ZodString;
+                    snapshotVersion: z.ZodNumber;
+                }, z.core.$strip>;
+                createdAt: z.ZodNumber;
+            }, z.core.$strip>>;
+            currentAction: z.ZodNullable<z.ZodString>;
+        }, z.core.$strip>;
+        input: z.ZodUnknown;
+        meta: z.ZodObject<{
+            version: z.ZodNumber;
+            timestamp: z.ZodNumber;
+            randomSeed: z.ZodString;
+            schemaHash: z.ZodString;
+        }, z.core.$strip>;
+    }, z.core.$strip>;
+    requirements: z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        type: z.ZodString;
+        params: z.ZodRecord<z.ZodString, z.ZodUnknown>;
+        actionId: z.ZodString;
+        flowPosition: z.ZodObject<{
+            nodePath: z.ZodString;
+            snapshotVersion: z.ZodNumber;
+        }, z.core.$strip>;
+        createdAt: z.ZodNumber;
+    }, z.core.$strip>>;
+    trace: z.ZodObject<{
+        root: z.ZodType<TraceNode, unknown, z.core.$ZodTypeInternals<TraceNode, unknown>>;
+        nodes: z.ZodRecord<z.ZodString, z.ZodType<TraceNode, unknown, z.core.$ZodTypeInternals<TraceNode, unknown>>>;
+        intent: z.ZodObject<{
+            type: z.ZodString;
+            input: z.ZodUnknown;
+        }, z.core.$strip>;
+        baseVersion: z.ZodNumber;
+        resultVersion: z.ZodNumber;
+        duration: z.ZodNumber;
+        terminatedBy: z.ZodEnum<{
+            error: "error";
+            effect: "effect";
+            halt: "halt";
+            complete: "complete";
+        }>;
+    }, z.core.$strip>;
+    status: z.ZodEnum<{
+        error: "error";
+        pending: "pending";
+        complete: "complete";
+        halted: "halted";
+    }>;
+}, z.core.$strip>;
+export type ComputeResult = z.infer<typeof ComputeResult>;
+/**
+ * ValidationError - Single validation error
+ */
+export declare const ValidationError: z.ZodObject<{
+    code: z.ZodString;
+    message: z.ZodString;
+    path: z.ZodOptional<z.ZodString>;
+}, z.core.$strip>;
+export type ValidationError = z.infer<typeof ValidationError>;
+/**
+ * ValidationResult - Result of validate() call
+ */
+export declare const ValidationResult: z.ZodObject<{
+    valid: z.ZodBoolean;
+    errors: z.ZodArray<z.ZodObject<{
+        code: z.ZodString;
+        message: z.ZodString;
+        path: z.ZodOptional<z.ZodString>;
+    }, z.core.$strip>>;
+}, z.core.$strip>;
+export type ValidationResult = z.infer<typeof ValidationResult>;
+/**
+ * ExplainResult - Result of explain() call
+ */
+export declare const ExplainResult: z.ZodObject<{
+    value: z.ZodUnknown;
+    trace: z.ZodType<TraceNode, unknown, z.core.$ZodTypeInternals<TraceNode, unknown>>;
+    deps: z.ZodArray<z.ZodString>;
+}, z.core.$strip>;
+export type ExplainResult = z.infer<typeof ExplainResult>;
+/**
+ * Create a successful validation result
+ */
+export declare function validResult(): ValidationResult;
+/**
+ * Create a failed validation result
+ */
+export declare function invalidResult(errors: ValidationError[]): ValidationResult;
+//# sourceMappingURL=result.d.ts.map

package/dist/schema/result.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"result.d.ts","sourceRoot":"","sources":["../../src/schema/result.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAGxB,OAAO,EAAc,SAAS,EAAE,MAAM,YAAY,CAAC;AAEnD;;GAEG;AACH,eAAO,MAAM,aAAa;;;;;EAKxB,CAAC;AACH,MAAM,MAAM,aAAa,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,aAAa,CAAC,CAAC;AAE1D;;GAEG;AACH,eAAO,MAAM,aAAa;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;iBAoBxB,CAAC;AACH,MAAM,MAAM,aAAa,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,aAAa,CAAC,CAAC;AAE1D;;GAEG;AACH,eAAO,MAAM,eAAe;;;;iBAe1B,CAAC;AACH,MAAM,MAAM,eAAe,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,eAAe,CAAC,CAAC;AAE9D;;GAEG;AACH,eAAO,MAAM,gBAAgB;;;;;;;iBAU3B,CAAC;AACH,MAAM,MAAM,gBAAgB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,gBAAgB,CAAC,CAAC;AAEhE;;GAEG;AACH,eAAO,MAAM,aAAa;;;;iBAexB,CAAC;AACH,MAAM,MAAM,aAAa,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,aAAa,CAAC,CAAC;AAE1D;;GAEG;AACH,wBAAgB,WAAW,IAAI,gBAAgB,CAE9C;AAED;;GAEG;AACH,wBAAgB,aAAa,CAAC,MAAM,EAAE,eAAe,EAAE,GAAG,gBAAgB,CAEzE"}