@manifesto-ai/core 0.3.0 → 1.3.0

package/dist/schema/result.js

@@ -0,0 +1,94 @@
+import { z } from "zod";
+import { SemanticPath } from "./common.js";
+import { Snapshot, Requirement } from "./snapshot.js";
+import { TraceGraph, TraceNode } from "./trace.js";
+/**
+ * ComputeStatus - Result of a compute() call
+ */
+export const ComputeStatus = z.enum([
+    "complete", // Flow finished, no pending requirements
+    "pending", // Flow encountered effect, waiting for Host
+    "halted", // Flow explicitly halted
+    "error", // Flow encountered error
+]);
+/**
+ * ComputeResult - Result of compute() call
+ */
+export const ComputeResult = z.object({
+    /**
+     * New snapshot after computation
+     */
+    snapshot: Snapshot,
+    /**
+     * Pending requirements (effects) declared by the flow
+     */
+    requirements: z.array(Requirement),
+    /**
+     * Computation trace
+     */
+    trace: TraceGraph,
+    /**
+     * Computation status
+     */
+    status: ComputeStatus,
+});
+/**
+ * ValidationError - Single validation error
+ */
+export const ValidationError = z.object({
+    /**
+     * Error code (e.g., "V-001", "V-002")
+     */
+    code: z.string(),
+    /**
+     * Human-readable message
+     */
+    message: z.string(),
+    /**
+     * Path in the schema where error occurred
+     */
+    path: z.string().optional(),
+});
+/**
+ * ValidationResult - Result of validate() call
+ */
+export const ValidationResult = z.object({
+    /**
+     * Whether the schema is valid
+     */
+    valid: z.boolean(),
+    /**
+     * List of validation errors (empty if valid)
+     */
+    errors: z.array(ValidationError),
+});
+/**
+ * ExplainResult - Result of explain() call
+ */
+export const ExplainResult = z.object({
+    /**
+     * The value at the path
+     */
+    value: z.unknown(),
+    /**
+     * Trace showing how the value was computed
+     */
+    trace: TraceNode,
+    /**
+     * Dependencies that affect this value
+     */
+    deps: z.array(SemanticPath),
+});
+/**
+ * Create a successful validation result
+ */
+export function validResult() {
+    return { valid: true, errors: [] };
+}
+/**
+ * Create a failed validation result
+ */
+export function invalidResult(errors) {
+    return { valid: false, errors };
+}
+//# sourceMappingURL=result.js.map

package/dist/schema/result.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"result.js","sourceRoot":"","sources":["../../src/schema/result.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAC3C,OAAO,EAAE,QAAQ,EAAE,WAAW,EAAE,MAAM,eAAe,CAAC;AACtD,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAEnD;;GAEG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,CAAC,IAAI,CAAC;IAClC,UAAU,EAAE,yCAAyC;IACrD,SAAS,EAAG,4CAA4C;IACxD,QAAQ,EAAI,yBAAyB;IACrC,OAAO,EAAK,yBAAyB;CACtC,CAAC,CAAC;AAGH;;GAEG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,CAAC,MAAM,CAAC;IACpC;;OAEG;IACH,QAAQ,EAAE,QAAQ;IAElB;;OAEG;IACH,YAAY,EAAE,CAAC,CAAC,KAAK,CAAC,WAAW,CAAC;IAElC;;OAEG;IACH,KAAK,EAAE,UAAU;IAEjB;;OAEG;IACH,MAAM,EAAE,aAAa;CACtB,CAAC,CAAC;AAGH;;GAEG;AACH,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,CAAC,MAAM,CAAC;IACtC;;OAEG;IACH,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE;IAEhB;;OAEG;IACH,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE;IAEnB;;OAEG;IACH,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;CAC5B,CAAC,CAAC;AAGH;;GAEG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,CAAC,MAAM,CAAC;IACvC;;OAEG;IACH,KAAK,EAAE,CAAC,CAAC,OAAO,EAAE;IAElB;;OAEG;IACH,MAAM,EAAE,CAAC,CAAC,KAAK,CAAC,eAAe,CAAC;CACjC,CAAC,CAAC;AAGH;;GAEG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,CAAC,MAAM,CAAC;IACpC;;OAEG;IACH,KAAK,EAAE,CAAC,CAAC,OAAO,EAAE;IAElB;;OAEG;IACH,KAAK,EAAE,SAAS;IAEhB;;OAEG;IACH,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,YAAY,CAAC;CAC5B,CAAC,CAAC;AAGH;;GAEG;AACH,MAAM,UAAU,WAAW;IACzB,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC;AACrC,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,aAAa,CAAC,MAAyB;IACrD,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC;AAClC,CAAC"}

package/dist/schema/snapshot.d.ts

@@ -0,0 +1,153 @@
+import { z } from "zod";
+/**
+ * ErrorValue - Errors are values in Snapshot, not exceptions.
+ */
+export declare const ErrorValue: 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>;
+export type ErrorValue = z.infer<typeof ErrorValue>;
+/**
+ * FlowPosition - Position in the flow where effect was encountered
+ */
+export declare const FlowPosition: z.ZodObject<{
+    nodePath: z.ZodString;
+    snapshotVersion: z.ZodNumber;
+}, z.core.$strip>;
+export type FlowPosition = z.infer<typeof FlowPosition>;
+/**
+ * Requirement - A recorded effect declaration waiting for Host fulfillment
+ */
+export declare const Requirement: 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>;
+export type Requirement = z.infer<typeof Requirement>;
+/**
+ * SystemState - Internal system state
+ */
+export declare const SystemState: 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>;
+export type SystemState = z.infer<typeof SystemState>;
+/**
+ * SnapshotMeta - Snapshot metadata
+ */
+export declare const SnapshotMeta: z.ZodObject<{
+    version: z.ZodNumber;
+    timestamp: z.ZodNumber;
+    randomSeed: z.ZodString;
+    schemaHash: z.ZodString;
+}, z.core.$strip>;
+export type SnapshotMeta = z.infer<typeof SnapshotMeta>;
+/**
+ * Snapshot - Immutable, point-in-time representation of world state.
+ * This is the ONLY medium of communication between Core and Host.
+ */
+export declare const 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>;
+export type Snapshot = z.infer<typeof Snapshot>;
+/**
+ * Create initial system state
+ */
+export declare function createInitialSystemState(): SystemState;
+//# sourceMappingURL=snapshot.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"snapshot.d.ts","sourceRoot":"","sources":["../../src/schema/snapshot.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAGxB;;GAEG;AACH,eAAO,MAAM,UAAU;;;;;;;;;iBA4BrB,CAAC;AACH,MAAM,MAAM,UAAU,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,UAAU,CAAC,CAAC;AAEpD;;GAEG;AACH,eAAO,MAAM,YAAY;;;iBAUvB,CAAC;AACH,MAAM,MAAM,YAAY,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,YAAY,CAAC,CAAC;AAExD;;GAEG;AACH,eAAO,MAAM,WAAW;;;;;;;;;;iBA+BtB,CAAC;AACH,MAAM,MAAM,WAAW,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,WAAW,CAAC,CAAC;AAEtD;;GAEG;AACH,eAAO,MAAM,WAAW;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;iBAyBtB,CAAC;AACH,MAAM,MAAM,WAAW,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,WAAW,CAAC,CAAC;AAEtD;;GAEG;AACH,eAAO,MAAM,YAAY;;;;;iBAsBvB,CAAC;AACH,MAAM,MAAM,YAAY,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,YAAY,CAAC,CAAC;AAExD;;;GAGG;AACH,eAAO,MAAM,QAAQ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;iBAyBnB,CAAC;AACH,MAAM,MAAM,QAAQ,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,QAAQ,CAAC,CAAC;AAEhD;;GAEG;AACH,wBAAgB,wBAAwB,IAAI,WAAW,CAQtD"}

package/dist/schema/snapshot.js

@@ -0,0 +1,160 @@
+import { z } from "zod";
+import { SemanticPath } from "./common.js";
+/**
+ * ErrorValue - Errors are values in Snapshot, not exceptions.
+ */
+export const ErrorValue = z.object({
+    /**
+     * Error code
+     */
+    code: z.string(),
+    /**
+     * Human-readable message
+     */
+    message: z.string(),
+    /**
+     * Where the error occurred
+     */
+    source: z.object({
+        actionId: z.string(),
+        nodePath: z.string(),
+    }),
+    /**
+     * When the error occurred
+     */
+    timestamp: z.number(),
+    /**
+     * Additional context
+     */
+    context: z.record(z.string(), z.unknown()).optional(),
+});
+/**
+ * FlowPosition - Position in the flow where effect was encountered
+ */
+export const FlowPosition = z.object({
+    /**
+     * Path to the effect node in the flow
+     */
+    nodePath: z.string(),
+    /**
+     * Snapshot version at time of effect
+     */
+    snapshotVersion: z.number(),
+});
+/**
+ * Requirement - A recorded effect declaration waiting for Host fulfillment
+ */
+export const Requirement = z.object({
+    /**
+     * Unique identifier for this requirement.
+     * Should be deterministic: hash(schemaHash, intentId, actionId, flowNodePath)
+     */
+    id: z.string(),
+    /**
+     * Effect type that generated this requirement
+     */
+    type: z.string(),
+    /**
+     * Resolved parameters
+     */
+    params: z.record(z.string(), z.unknown()),
+    /**
+     * The action that was being computed
+     */
+    actionId: z.string(),
+    /**
+     * Position in the flow where effect was encountered
+     */
+    flowPosition: FlowPosition,
+    /**
+     * Timestamp when requirement was created
+     */
+    createdAt: z.number(),
+});
+/**
+ * SystemState - Internal system state
+ */
+export const SystemState = z.object({
+    /**
+     * Current status
+     */
+    status: z.enum(["idle", "computing", "pending", "error"]),
+    /**
+     * Last error (null if none)
+     */
+    lastError: ErrorValue.nullable(),
+    /**
+     * Error history
+     */
+    errors: z.array(ErrorValue),
+    /**
+     * Pending requirements waiting for Host
+     */
+    pendingRequirements: z.array(Requirement),
+    /**
+     * Current action being processed (if any)
+     */
+    currentAction: z.string().nullable(),
+});
+/**
+ * SnapshotMeta - Snapshot metadata
+ */
+export const SnapshotMeta = z.object({
+    /**
+     * Monotonically increasing version.
+     * Incremented by Core on each apply().
+     */
+    version: z.number(),
+    /**
+     * Timestamp of last modification.
+     * Set by Core on each apply().
+     */
+    timestamp: z.number(),
+    /**
+     * Deterministic random seed from Host context
+     */
+    randomSeed: z.string(),
+    /**
+     * Hash of the schema this snapshot conforms to.
+     */
+    schemaHash: z.string(),
+});
+/**
+ * Snapshot - Immutable, point-in-time representation of world state.
+ * This is the ONLY medium of communication between Core and Host.
+ */
+export const Snapshot = z.object({
+    /**
+     * Domain data (matches StateSpec)
+     */
+    data: z.unknown(),
+    /**
+     * Computed values (matches ComputedSpec)
+     */
+    computed: z.record(SemanticPath, z.unknown()),
+    /**
+     * System state
+     */
+    system: SystemState,
+    /**
+     * Input for current action (if any)
+     */
+    input: z.unknown(),
+    /**
+     * Snapshot metadata
+     */
+    meta: SnapshotMeta,
+});
+/**
+ * Create initial system state
+ */
+export function createInitialSystemState() {
+    return {
+        status: "idle",
+        lastError: null,
+        errors: [],
+        pendingRequirements: [],
+        currentAction: null,
+    };
+}
+//# sourceMappingURL=snapshot.js.map

package/dist/schema/snapshot.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"snapshot.js","sourceRoot":"","sources":["../../src/schema/snapshot.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAE3C;;GAEG;AACH,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,CAAC,MAAM,CAAC;IACjC;;OAEG;IACH,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE;IAEhB;;OAEG;IACH,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE;IAEnB;;OAEG;IACH,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC;QACf,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE;QACpB,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE;KACrB,CAAC;IAEF;;OAEG;IACH,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE;IAErB;;OAEG;IACH,OAAO,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,QAAQ,EAAE;CACtD,CAAC,CAAC;AAGH;;GAEG;AACH,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,CAAC,MAAM,CAAC;IACnC;;OAEG;IACH,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE;IAEpB;;OAEG;IACH,eAAe,EAAE,CAAC,CAAC,MAAM,EAAE;CAC5B,CAAC,CAAC;AAGH;;GAEG;AACH,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,CAAC,MAAM,CAAC;IAClC;;;OAGG;IACH,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE;IAEd;;OAEG;IACH,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE;IAEhB;;OAEG;IACH,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC;IAEzC;;OAEG;IACH,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE;IAEpB;;OAEG;IACH,YAAY,EAAE,YAAY;IAE1B;;OAEG;IACH,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE;CACtB,CAAC,CAAC;AAGH;;GAEG;AACH,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,CAAC,MAAM,CAAC;IAClC;;OAEG;IACH,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,WAAW,EAAE,SAAS,EAAE,OAAO,CAAC,CAAC;IAEzD;;OAEG;IACH,SAAS,EAAE,UAAU,CAAC,QAAQ,EAAE;IAEhC;;OAEG;IACH,MAAM,EAAE,CAAC,CAAC,KAAK,CAAC,UAAU,CAAC;IAE3B;;OAEG;IACH,mBAAmB,EAAE,CAAC,CAAC,KAAK,CAAC,WAAW,CAAC;IAEzC;;OAEG;IACH,aAAa,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;CACrC,CAAC,CAAC;AAGH;;GAEG;AACH,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,CAAC,MAAM,CAAC;IACnC;;;OAGG;IACH,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE;IAEnB;;;OAGG;IACH,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE;IAErB;;OAEG;IACH,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE;IAEtB;;OAEG;IACH,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE;CACvB,CAAC,CAAC;AAGH;;;GAGG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAC,CAAC,MAAM,CAAC;IAC/B;;OAEG;IACH,IAAI,EAAE,CAAC,CAAC,OAAO,EAAE;IAEjB;;OAEG;IACH,QAAQ,EAAE,CAAC,CAAC,MAAM,CAAC,YAAY,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC;IAE7C;;OAEG;IACH,MAAM,EAAE,WAAW;IAEnB;;OAEG;IACH,KAAK,EAAE,CAAC,CAAC,OAAO,EAAE;IAElB;;OAEG;IACH,IAAI,EAAE,YAAY;CACnB,CAAC,CAAC;AAGH;;GAEG;AACH,MAAM,UAAU,wBAAwB;IACtC,OAAO;QACL,MAAM,EAAE,MAAM;QACd,SAAS,EAAE,IAAI;QACf,MAAM,EAAE,EAAE;QACV,mBAAmB,EAAE,EAAE;QACvB,aAAa,EAAE,IAAI;KACpB,CAAC;AACJ,CAAC"}

package/dist/schema/trace.d.ts

@@ -0,0 +1,98 @@
+import { z } from "zod";
+/**
+ * TraceNodeKind - Types of trace nodes
+ */
+export declare const TraceNodeKind: z.ZodEnum<{
+    error: "error";
+    computed: "computed";
+    expr: "expr";
+    patch: "patch";
+    effect: "effect";
+    call: "call";
+    flow: "flow";
+    halt: "halt";
+    branch: "branch";
+}>;
+export type TraceNodeKind = z.infer<typeof TraceNodeKind>;
+/**
+ * TraceNode - A single node in the execution trace.
+ * Enables explainability - every computation produces a trace.
+ */
+export type TraceNode = {
+    /**
+     * Unique identifier for this trace node
+     */
+    id: string;
+    /**
+     * Type of trace node
+     */
+    kind: TraceNodeKind;
+    /**
+     * Path in the schema that produced this trace
+     */
+    sourcePath: string;
+    /**
+     * Input values at this point
+     */
+    inputs: Record<string, unknown>;
+    /**
+     * Output value produced
+     */
+    output: unknown;
+    /**
+     * Child trace nodes
+     */
+    children: TraceNode[];
+    /**
+     * Timestamp
+     */
+    timestamp: number;
+};
+export declare const TraceNode: z.ZodType<TraceNode>;
+/**
+ * TraceTermination - How the computation ended
+ */
+export declare const TraceTermination: z.ZodEnum<{
+    error: "error";
+    effect: "effect";
+    halt: "halt";
+    complete: "complete";
+}>;
+export type TraceTermination = z.infer<typeof TraceTermination>;
+/**
+ * TraceGraph - Complete trace of a computation
+ */
+export declare const TraceGraph: 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>;
+export type TraceGraph = z.infer<typeof TraceGraph>;
+/**
+ * TraceContext - Deterministic trace ID generation
+ */
+export type TraceContext = {
+    readonly nextId: () => string;
+    readonly timestamp: number;
+};
+/**
+ * Create a trace context for a single compute pass
+ */
+export declare function createTraceContext(timestamp: number): TraceContext;
+/**
+ * Create a trace node
+ */
+export declare function createTraceNode(trace: TraceContext, kind: TraceNodeKind, sourcePath: string, inputs: Record<string, unknown>, output: unknown, children?: TraceNode[]): TraceNode;
+//# sourceMappingURL=trace.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"trace.d.ts","sourceRoot":"","sources":["../../src/schema/trace.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAGxB;;GAEG;AACH,eAAO,MAAM,aAAa;;;;;;;;;;EAUxB,CAAC;AACH,MAAM,MAAM,aAAa,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,aAAa,CAAC,CAAC;AAE1D;;;GAGG;AACH,MAAM,MAAM,SAAS,GAAG;IACtB;;OAEG;IACH,EAAE,EAAE,MAAM,CAAC;IAEX;;OAEG;IACH,IAAI,EAAE,aAAa,CAAC;IAEpB;;OAEG;IACH,UAAU,EAAE,MAAM,CAAC;IAEnB;;OAEG;IACH,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAEhC;;OAEG;IACH,MAAM,EAAE,OAAO,CAAC;IAEhB;;OAEG;IACH,QAAQ,EAAE,SAAS,EAAE,CAAC;IAEtB;;OAEG;IACH,SAAS,EAAE,MAAM,CAAC;CACnB,CAAC;AAEF,eAAO,MAAM,SAAS,EAAE,CAAC,CAAC,OAAO,CAAC,SAAS,CAU1C,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,gBAAgB;;;;;EAAkD,CAAC;AAChF,MAAM,MAAM,gBAAgB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,gBAAgB,CAAC,CAAC;AAEhE;;GAEG;AACH,eAAO,MAAM,UAAU;;;;;;;;;;;;;;;;iBAsCrB,CAAC;AACH,MAAM,MAAM,UAAU,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,UAAU,CAAC,CAAC;AAEpD;;GAEG;AACH,MAAM,MAAM,YAAY,GAAG;IACzB,QAAQ,CAAC,MAAM,EAAE,MAAM,MAAM,CAAC;IAC9B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;CAC5B,CAAC;AAEF;;GAEG;AACH,wBAAgB,kBAAkB,CAAC,SAAS,EAAE,MAAM,GAAG,YAAY,CAMlE;AAED;;GAEG;AACH,wBAAgB,eAAe,CAC7B,KAAK,EAAE,YAAY,EACnB,IAAI,EAAE,aAAa,EACnB,UAAU,EAAE,MAAM,EAClB,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAC/B,MAAM,EAAE,OAAO,EACf,QAAQ,GAAE,SAAS,EAAO,GACzB,SAAS,CAUX"}

package/dist/schema/trace.js

@@ -0,0 +1,90 @@
+import { z } from "zod";
+import { generateTraceId } from "../utils/hash.js";
+/**
+ * TraceNodeKind - Types of trace nodes
+ */
+export const TraceNodeKind = z.enum([
+    "expr", // Expression evaluation
+    "computed", // Computed field evaluation
+    "flow", // Flow execution
+    "patch", // State mutation
+    "effect", // Effect declaration
+    "branch", // Conditional branch taken
+    "call", // Flow call
+    "halt", // Normal termination
+    "error", // Error occurred
+]);
+export const TraceNode = z.lazy(() => z.object({
+    id: z.string(),
+    kind: TraceNodeKind,
+    sourcePath: z.string(),
+    inputs: z.record(z.string(), z.unknown()),
+    output: z.unknown(),
+    children: z.array(TraceNode),
+    timestamp: z.number(),
+}));
+/**
+ * TraceTermination - How the computation ended
+ */
+export const TraceTermination = z.enum(["complete", "effect", "halt", "error"]);
+/**
+ * TraceGraph - Complete trace of a computation
+ */
+export const TraceGraph = z.object({
+    /**
+     * Root trace node
+     */
+    root: TraceNode,
+    /**
+     * All nodes indexed by ID for quick lookup
+     */
+    nodes: z.record(z.string(), TraceNode),
+    /**
+     * The intent that triggered this computation
+     */
+    intent: z.object({
+        type: z.string(),
+        input: z.unknown(),
+    }),
+    /**
+     * Snapshot version at start
+     */
+    baseVersion: z.number(),
+    /**
+     * Snapshot version at end
+     */
+    resultVersion: z.number(),
+    /**
+     * Total computation time (ms)
+     */
+    duration: z.number(),
+    /**
+     * Termination reason
+     */
+    terminatedBy: TraceTermination,
+});
+/**
+ * Create a trace context for a single compute pass
+ */
+export function createTraceContext(timestamp) {
+    let index = 0;
+    return {
+        timestamp,
+        nextId: () => generateTraceId(index++),
+    };
+}
+/**
+ * Create a trace node
+ */
+export function createTraceNode(trace, kind, sourcePath, inputs, output, children = []) {
+    return {
+        id: trace.nextId(),
+        kind,
+        sourcePath,
+        inputs,
+        output,
+        children,
+        timestamp: trace.timestamp,
+    };
+}
+//# sourceMappingURL=trace.js.map

package/dist/schema/trace.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"trace.js","sourceRoot":"","sources":["../../src/schema/trace.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AAEnD;;GAEG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,CAAC,IAAI,CAAC;IAClC,MAAM,EAAM,wBAAwB;IACpC,UAAU,EAAE,4BAA4B;IACxC,MAAM,EAAM,iBAAiB;IAC7B,OAAO,EAAK,iBAAiB;IAC7B,QAAQ,EAAI,qBAAqB;IACjC,QAAQ,EAAI,2BAA2B;IACvC,MAAM,EAAM,YAAY;IACxB,MAAM,EAAM,qBAAqB;IACjC,OAAO,EAAK,iBAAiB;CAC9B,CAAC,CAAC;AA4CH,MAAM,CAAC,MAAM,SAAS,GAAyB,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,CACzD,CAAC,CAAC,MAAM,CAAC;IACP,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE;IACd,IAAI,EAAE,aAAa;IACnB,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE;IACtB,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC;IACzC,MAAM,EAAE,CAAC,CAAC,OAAO,EAAE;IACnB,QAAQ,EAAE,CAAC,CAAC,KAAK,CAAC,SAAS,CAAC;IAC5B,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE;CACtB,CAAC,CACH,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,UAAU,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;AAGhF;;GAEG;AACH,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,CAAC,MAAM,CAAC;IACjC;;OAEG;IACH,IAAI,EAAE,SAAS;IAEf;;OAEG;IACH,KAAK,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,SAAS,CAAC;IAEtC;;OAEG;IACH,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC;QACf,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE;QAChB,KAAK,EAAE,CAAC,CAAC,OAAO,EAAE;KACnB,CAAC;IAEF;;OAEG;IACH,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE;IAEvB;;OAEG;IACH,aAAa,EAAE,CAAC,CAAC,MAAM,EAAE;IAEzB;;OAEG;IACH,QAAQ,EAAE,CAAC,CAAC,MAAM,EAAE;IAEpB;;OAEG;IACH,YAAY,EAAE,gBAAgB;CAC/B,CAAC,CAAC;AAWH;;GAEG;AACH,MAAM,UAAU,kBAAkB,CAAC,SAAiB;IAClD,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,OAAO;QACL,SAAS;QACT,MAAM,EAAE,GAAG,EAAE,CAAC,eAAe,CAAC,KAAK,EAAE,CAAC;KACvC,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,eAAe,CAC7B,KAAmB,EACnB,IAAmB,EACnB,UAAkB,EAClB,MAA+B,EAC/B,MAAe,EACf,WAAwB,EAAE;IAE1B,OAAO;QACL,EAAE,EAAE,KAAK,CAAC,MAAM,EAAE;QAClB,IAAI;QACJ,UAAU;QACV,MAAM;QACN,MAAM;QACN,QAAQ;QACR,SAAS,EAAE,KAAK,CAAC,SAAS;KAC3B,CAAC;AACJ,CAAC"}

package/dist/schema/type-spec.d.ts

@@ -0,0 +1,34 @@
+import { z } from "zod";
+export type TypeDefinition = {
+    kind: "primitive";
+    type: string;
+} | {
+    kind: "array";
+    element: TypeDefinition;
+} | {
+    kind: "record";
+    key: TypeDefinition;
+    value: TypeDefinition;
+} | {
+    kind: "object";
+    fields: Record<string, {
+        type: TypeDefinition;
+        optional: boolean;
+    }>;
+} | {
+    kind: "union";
+    types: TypeDefinition[];
+} | {
+    kind: "literal";
+    value: string | number | boolean | null;
+} | {
+    kind: "ref";
+    name: string;
+};
+export declare const TypeDefinition: z.ZodType<TypeDefinition>;
+export declare const TypeSpec: z.ZodObject<{
+    name: z.ZodString;
+    definition: z.ZodType<TypeDefinition, unknown, z.core.$ZodTypeInternals<TypeDefinition, unknown>>;
+}, z.core.$strip>;
+export type TypeSpec = z.infer<typeof TypeSpec>;
+//# sourceMappingURL=type-spec.d.ts.map

package/dist/schema/type-spec.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"type-spec.d.ts","sourceRoot":"","sources":["../../src/schema/type-spec.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,MAAM,MAAM,cAAc,GACtB;IAAE,IAAI,EAAE,WAAW,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GACnC;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,OAAO,EAAE,cAAc,CAAA;CAAE,GAC1C;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,GAAG,EAAE,cAAc,CAAC;IAAC,KAAK,EAAE,cAAc,CAAA;CAAE,GAC9D;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE;QAAE,IAAI,EAAE,cAAc,CAAC;QAAC,QAAQ,EAAE,OAAO,CAAA;KAAE,CAAC,CAAA;CAAE,GACvF;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,KAAK,EAAE,cAAc,EAAE,CAAA;CAAE,GAC1C;IAAE,IAAI,EAAE,SAAS,CAAC;IAAC,KAAK,EAAE,MAAM,GAAG,MAAM,GAAG,OAAO,GAAG,IAAI,CAAA;CAAE,GAC5D;IAAE,IAAI,EAAE,KAAK,CAAC;IAAC,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC;AAElC,eAAO,MAAM,cAAc,EAAE,CAAC,CAAC,OAAO,CAAC,cAAc,CAsCpD,CAAC;AAEF,eAAO,MAAM,QAAQ;;;iBAGnB,CAAC;AACH,MAAM,MAAM,QAAQ,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,QAAQ,CAAC,CAAC"}