@manifesto-ai/core 1.0.0 → 1.3.0

package/README.md

@@ -63,32 +63,52 @@ const core = createCore();
 
 // Define a simple schema (usually from @manifesto-ai/builder)
 const schema: DomainSchema = {
+  id: "example:counter",
   version: "1.0.0",
+  hash: "example-hash",
+  types: {},
   state: {
-    count: { type: "number", default: 0 },
+    fields: {
+      count: { type: "number", required: true, default: 0 },
+    },
+  },
+  computed: {
+    fields: {
+      "computed.count": {
+        deps: ["count"],
+        expr: { kind: "get", path: "count" },
+      },
+    },
   },
   actions: {
     increment: {
       flow: {
         kind: "patch",
         op: "set",
-        path: "/data/count",
-        value: { kind: "add", left: { kind: "get", path: "/data/count" }, right: 1 },
+        path: "count",
+        value: {
+          kind: "add",
+          left: { kind: "get", path: "count" },
+          right: { kind: "lit", value: 1 },
+        },
       },
     },
   },
 };
 
+// Create host context (deterministic inputs)
+const context = { now: 0, randomSeed: "seed" };
+
 // Create initial snapshot
-const snapshot = createSnapshot(schema);
+const snapshot = createSnapshot({ count: 0 }, schema.hash, context);
 
 // Create intent
-const intent = createIntent("increment");
+const intent = createIntent("increment", "intent-1");
 
 // Compute result (pure, deterministic)
-const result = await core.compute(schema, snapshot, intent);
+const result = await core.compute(schema, snapshot, intent, context);
 
-console.log(result.status); // → "completed"
+console.log(result.status); // → "complete"
 console.log(result.snapshot.data.count); // → 1
 ```
 
@@ -106,18 +126,18 @@ function createCore(): ManifestoCore;
 
 // Core interface
 interface ManifestoCore {
-  compute(schema, snapshot, intent): Promise<ComputeResult>;
-  apply(schema, snapshot, patches): Snapshot;
+  compute(schema, snapshot, intent, context): Promise<ComputeResult>;
+  apply(schema, snapshot, patches, context): Snapshot;
   validate(schema): ValidationResult;
   explain(schema, snapshot, path): ExplainResult;
 }
 
 // Key types
-type DomainSchema = { version, state, computed?, actions?, flows?, meta? };
+type DomainSchema = { id, version, hash, types, state, computed, actions, meta? };
 type Snapshot = { data, computed, system, input, meta };
 type Intent = { type, input?, intentId };
 type Patch = { op: "set" | "unset" | "merge", path, value? };
-type ComputeResult = { status, snapshot, patches, requirements, trace };
+type ComputeResult = { status, snapshot, requirements, trace };
 ```
 
 > See [SPEC.md](../../docs/packages/core/SPEC.md) for complete API reference.
@@ -186,8 +206,8 @@ For typical usage, see [`@manifesto-ai/react`](../react/) or [`@manifesto-ai/hos
 | Document | Purpose |
 |----------|---------|
 | [GUIDE.md](../../docs/packages/core/GUIDE.md) | Step-by-step usage guide |
-| [SPEC.md](../../docs/packages/core/SPEC.md) | Complete specification |
-| [FDR.md](../../docs/packages/core/FDR.md) | Design rationale |
+| [SPEC.md](docs/SPEC.md) | Complete specification |
+| [FDR.md](docs/FDR.md) | Design rationale |
 
 ---
 

package/dist/__tests__/apply.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=apply.test.d.ts.map

package/dist/__tests__/apply.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"apply.test.d.ts","sourceRoot":"","sources":["../../src/__tests__/apply.test.ts"],"names":[],"mappings":""}

package/dist/__tests__/apply.test.js

@@ -0,0 +1,144 @@
+import { describe, it, expect } from "vitest";
+import { apply } from "../core/apply.js";
+import { createSnapshot } from "../factories.js";
+const HOST_CONTEXT = { now: 0, randomSeed: "seed" };
+describe("apply", () => {
+    it("should surface computed evaluation errors as values", () => {
+        const schema = {
+            id: "manifesto:test",
+            version: "1.0.0",
+            hash: "test-hash",
+            types: {},
+            state: {
+                fields: {
+                    dummy: { type: "string", required: true },
+                },
+            },
+            computed: {
+                fields: {
+                    "computed.a": {
+                        expr: { kind: "get", path: "computed.b" },
+                        deps: ["computed.b"],
+                    },
+                    "computed.b": {
+                        expr: { kind: "get", path: "computed.a" },
+                        deps: ["computed.a"],
+                    },
+                },
+            },
+            actions: {
+                noop: { flow: { kind: "halt", reason: "noop" } },
+            },
+        };
+        const snapshot = createSnapshot({ dummy: "initial" }, schema.hash, HOST_CONTEXT);
+        const result = apply(schema, snapshot, [{ op: "set", path: "dummy", value: "updated" }], HOST_CONTEXT);
+        expect(result.data).toEqual({ dummy: "updated" });
+        expect(result.system.status).toBe("error");
+        expect(result.system.lastError?.code).toBe("CYCLIC_DEPENDENCY");
+        expect(result.computed).toEqual({});
+    });
+    it("should record errors for unknown patch paths", () => {
+        const schema = {
+            id: "manifesto:test",
+            version: "1.0.0",
+            hash: "test-hash",
+            types: {},
+            state: {
+                fields: {
+                    dummy: { type: "string", required: true },
+                },
+            },
+            computed: { fields: {} },
+            actions: {
+                noop: { flow: { kind: "halt", reason: "noop" } },
+            },
+        };
+        const snapshot = createSnapshot({ dummy: "initial" }, schema.hash, HOST_CONTEXT);
+        const result = apply(schema, snapshot, [{ op: "set", path: "missing", value: "value" }], HOST_CONTEXT);
+        expect(result.data).toEqual({ dummy: "initial" });
+        expect(result.system.status).toBe("error");
+        expect(result.system.lastError?.code).toBe("PATH_NOT_FOUND");
+    });
+    it("should record errors for invalid patch value types", () => {
+        const schema = {
+            id: "manifesto:test",
+            version: "1.0.0",
+            hash: "test-hash",
+            types: {},
+            state: {
+                fields: {
+                    dummy: { type: "string", required: true },
+                },
+            },
+            computed: { fields: {} },
+            actions: {
+                noop: { flow: { kind: "halt", reason: "noop" } },
+            },
+        };
+        const snapshot = createSnapshot({ dummy: "initial" }, schema.hash, HOST_CONTEXT);
+        const result = apply(schema, snapshot, [{ op: "set", path: "dummy", value: 42 }], HOST_CONTEXT);
+        expect(result.data).toEqual({ dummy: "initial" });
+        expect(result.system.status).toBe("error");
+        expect(result.system.lastError?.code).toBe("TYPE_MISMATCH");
+    });
+    it("should ignore patches to computed and meta", () => {
+        const schema = {
+            id: "manifesto:test",
+            version: "1.0.0",
+            hash: "test-hash",
+            types: {},
+            state: {
+                fields: {
+                    count: { type: "number", required: true },
+                },
+            },
+            computed: {
+                fields: {
+                    "computed.double": {
+                        expr: {
+                            kind: "mul",
+                            left: { kind: "get", path: "count" },
+                            right: { kind: "lit", value: 2 },
+                        },
+                        deps: ["count"],
+                    },
+                },
+            },
+            actions: {
+                noop: { flow: { kind: "halt", reason: "noop" } },
+            },
+        };
+        const snapshot = createSnapshot({ count: 2 }, schema.hash, HOST_CONTEXT);
+        const result = apply(schema, snapshot, [
+            { op: "set", path: "computed.double", value: 999 },
+            { op: "set", path: "meta.version", value: 999 },
+            { op: "set", path: "count", value: 3 },
+        ], HOST_CONTEXT);
+        expect(result.data).toEqual({ count: 3 });
+        expect(result.computed["computed.double"]).toBe(6);
+        expect(result.meta.version).toBe(snapshot.meta.version + 1);
+    });
+    it("should record errors for merge patches on non-object fields", () => {
+        const schema = {
+            id: "manifesto:test",
+            version: "1.0.0",
+            hash: "test-hash",
+            types: {},
+            state: {
+                fields: {
+                    name: { type: "string", required: true },
+                },
+            },
+            computed: { fields: {} },
+            actions: {
+                noop: { flow: { kind: "halt", reason: "noop" } },
+            },
+        };
+        const snapshot = createSnapshot({ name: "initial" }, schema.hash, HOST_CONTEXT);
+        const result = apply(schema, snapshot, [{ op: "merge", path: "name", value: { extra: "value" } }], HOST_CONTEXT);
+        expect(result.data).toEqual({ name: "initial" });
+        expect(result.system.status).toBe("error");
+        expect(result.system.lastError?.code).toBe("TYPE_MISMATCH");
+    });
+});
+//# sourceMappingURL=apply.test.js.map

package/dist/__tests__/apply.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"apply.test.js","sourceRoot":"","sources":["../../src/__tests__/apply.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,EAAE,KAAK,EAAE,MAAM,kBAAkB,CAAC;AACzC,OAAO,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAC;AAGjD,MAAM,YAAY,GAAG,EAAE,GAAG,EAAE,CAAC,EAAE,UAAU,EAAE,MAAM,EAAE,CAAC;AAEpD,QAAQ,CAAC,OAAO,EAAE,GAAG,EAAE;IACrB,EAAE,CAAC,qDAAqD,EAAE,GAAG,EAAE;QAC7D,MAAM,MAAM,GAAiB;YAC3B,EAAE,EAAE,gBAAgB;YACpB,OAAO,EAAE,OAAO;YAChB,IAAI,EAAE,WAAW;YACjB,KAAK,EAAE,EAAE;YACT,KAAK,EAAE;gBACL,MAAM,EAAE;oBACN,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE;iBAC1C;aACF;YACD,QAAQ,EAAE;gBACR,MAAM,EAAE;oBACN,YAAY,EAAE;wBACZ,IAAI,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,YAAY,EAAE;wBACzC,IAAI,EAAE,CAAC,YAAY,CAAC;qBACrB;oBACD,YAAY,EAAE;wBACZ,IAAI,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,YAAY,EAAE;wBACzC,IAAI,EAAE,CAAC,YAAY,CAAC;qBACrB;iBACF;aACF;YACD,OAAO,EAAE;gBACP,IAAI,EAAE,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE;aACjD;SACF,CAAC;QAEF,MAAM,QAAQ,GAAG,cAAc,CAAC,EAAE,KAAK,EAAE,SAAS,EAAE,EAAE,MAAM,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;QACjF,MAAM,MAAM,GAAG,KAAK,CAClB,MAAM,EACN,QAAQ,EACR,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC,EAChD,YAAY,CACb,CAAC;QAEF,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC,CAAC;QAClD,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAC3C,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAC;QAChE,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8CAA8C,EAAE,GAAG,EAAE;QACtD,MAAM,MAAM,GAAiB;YAC3B,EAAE,EAAE,gBAAgB;YACpB,OAAO,EAAE,OAAO;YAChB,IAAI,EAAE,WAAW;YACjB,KAAK,EAAE,EAAE;YACT,KAAK,EAAE;gBACL,MAAM,EAAE;oBACN,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE;iBAC1C;aACF;YACD,QAAQ,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE;YACxB,OAAO,EAAE;gBACP,IAAI,EAAE,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE;aACjD;SACF,CAAC;QAEF,MAAM,QAAQ,GAAG,cAAc,CAAC,EAAE,KAAK,EAAE,SAAS,EAAE,EAAE,MAAM,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;QACjF,MAAM,MAAM,GAAG,KAAK,CAClB,MAAM,EACN,QAAQ,EACR,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC,EAChD,YAAY,CACb,CAAC;QAEF,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC,CAAC;QAClD,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAC3C,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;IAC/D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oDAAoD,EAAE,GAAG,EAAE;QAC5D,MAAM,MAAM,GAAiB;YAC3B,EAAE,EAAE,gBAAgB;YACpB,OAAO,EAAE,OAAO;YAChB,IAAI,EAAE,WAAW;YACjB,KAAK,EAAE,EAAE;YACT,KAAK,EAAE;gBACL,MAAM,EAAE;oBACN,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE;iBAC1C;aACF;YACD,QAAQ,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE;YACxB,OAAO,EAAE;gBACP,IAAI,EAAE,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE;aACjD;SACF,CAAC;QAEF,MAAM,QAAQ,GAAG,cAAc,CAAC,EAAE,KAAK,EAAE,SAAS,EAAE,EAAE,MAAM,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;QACjF,MAAM,MAAM,GAAG,KAAK,CAClB,MAAM,EACN,QAAQ,EACR,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,EACzC,YAAY,CACb,CAAC;QAEF,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC,CAAC;QAClD,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAC3C,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;IAC9D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4CAA4C,EAAE,GAAG,EAAE;QACpD,MAAM,MAAM,GAAiB;YAC3B,EAAE,EAAE,gBAAgB;YACpB,OAAO,EAAE,OAAO;YAChB,IAAI,EAAE,WAAW;YACjB,KAAK,EAAE,EAAE;YACT,KAAK,EAAE;gBACL,MAAM,EAAE;oBACN,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE;iBAC1C;aACF;YACD,QAAQ,EAAE;gBACR,MAAM,EAAE;oBACN,iBAAiB,EAAE;wBACjB,IAAI,EAAE;4BACJ,IAAI,EAAE,KAAK;4BACX,IAAI,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,OAAO,EAAE;4BACpC,KAAK,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,EAAE;yBACjC;wBACD,IAAI,EAAE,CAAC,OAAO,CAAC;qBAChB;iBACF;aACF;YACD,OAAO,EAAE;gBACP,IAAI,EAAE,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE;aACjD;SACF,CAAC;QAEF,MAAM,QAAQ,GAAG,cAAc,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,EAAE,MAAM,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;QACzE,MAAM,MAAM,GAAG,KAAK,CAClB,MAAM,EACN,QAAQ,EACR;YACE,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,iBAAiB,EAAE,KAAK,EAAE,GAAG,EAAE;YAClD,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,cAAc,EAAE,KAAK,EAAE,GAAG,EAAE;YAC/C,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,EAAE;SACvC,EACD,YAAY,CACb,CAAC;QAEF,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;QAC1C,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,iBAAiB,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACnD,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,GAAG,CAAC,CAAC,CAAC;IAC9D,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,6DAA6D,EAAE,GAAG,EAAE;QACrE,MAAM,MAAM,GAAiB;YAC3B,EAAE,EAAE,gBAAgB;YACpB,OAAO,EAAE,OAAO;YAChB,IAAI,EAAE,WAAW;YACjB,KAAK,EAAE,EAAE;YACT,KAAK,EAAE;gBACL,MAAM,EAAE;oBACN,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE;iBACzC;aACF;YACD,QAAQ,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE;YACxB,OAAO,EAAE;gBACP,IAAI,EAAE,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE;aACjD;SACF,CAAC;QAEF,MAAM,QAAQ,GAAG,cAAc,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,MAAM,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC;QAChF,MAAM,MAAM,GAAG,KAAK,CAClB,MAAM,EACN,QAAQ,EACR,CAAC,EAAE,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,EAAE,CAAC,EAC1D,YAAY,CACb,CAAC;QAEF,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,CAAC;QACjD,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAC3C,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,eAAe,CAAC,CAAC;IAC9D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/__tests__/jcs.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=jcs.test.d.ts.map

package/dist/__tests__/jcs.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"jcs.test.d.ts","sourceRoot":"","sources":["../../src/__tests__/jcs.test.ts"],"names":[],"mappings":""}

package/dist/__tests__/jcs.test.js

@@ -0,0 +1,45 @@
+import { describe, it, expect } from "vitest";
+import { toJcs } from "../utils/canonical.js";
+describe("toJcs", () => {
+    it("should serialize -0 as 0", () => {
+        expect(toJcs(-0)).toBe("0");
+    });
+    it("should use exponent form for large and small numbers", () => {
+        expect(toJcs(1e21)).toBe("1e+21");
+        expect(toJcs(1e-7)).toBe("1e-7");
+    });
+    it("should omit undefined and symbol object properties", () => {
+        const sym = Symbol("x");
+        const value = { b: 1, a: undefined, c: sym, d: null };
+        expect(toJcs(value)).toBe('{"b":1,"d":null}');
+    });
+    it("should convert non-serializable array items to null", () => {
+        const sym = Symbol("x");
+        const fn = () => { };
+        expect(toJcs([1, undefined, fn, sym, 2])).toBe("[1,null,null,null,2]");
+    });
+    it("should escape control characters in strings", () => {
+        const value = { text: "line\nbreak\tend" };
+        expect(toJcs(value)).toBe("{\"text\":\"line\\nbreak\\tend\"}");
+    });
+    it("should order keys by code point, including surrogate pairs", () => {
+        const keyA = "\uD834\uDD1E";
+        const keyB = "\uD834\uDD1F";
+        const value = {
+            [keyB]: 2,
+            a: 3,
+            [keyA]: 1,
+        };
+        const expected = `{"a":3,${JSON.stringify(keyA)}:1,${JSON.stringify(keyB)}:2}`;
+        expect(toJcs(value)).toBe(expected);
+    });
+    it("should escape quotes and backslashes", () => {
+        const value = { text: "quote\"slash\\end" };
+        expect(toJcs(value)).toBe("{\"text\":\"quote\\\"slash\\\\end\"}");
+    });
+    it("should escape null character", () => {
+        const value = { text: "nul\u0000end" };
+        expect(toJcs(value)).toBe("{\"text\":\"nul\\u0000end\"}");
+    });
+});
+//# sourceMappingURL=jcs.test.js.map

package/dist/__tests__/jcs.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"jcs.test.js","sourceRoot":"","sources":["../../src/__tests__/jcs.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,EAAE,KAAK,EAAE,MAAM,uBAAuB,CAAC;AAE9C,QAAQ,CAAC,OAAO,EAAE,GAAG,EAAE;IACrB,EAAE,CAAC,0BAA0B,EAAE,GAAG,EAAE;QAClC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC9B,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sDAAsD,EAAE,GAAG,EAAE;QAC9D,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAClC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACnC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,oDAAoD,EAAE,GAAG,EAAE;QAC5D,MAAM,GAAG,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC;QACxB,MAAM,KAAK,GAAG,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,IAAI,EAAE,CAAC;QAEtD,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,qDAAqD,EAAE,GAAG,EAAE;QAC7D,MAAM,GAAG,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC;QACxB,MAAM,EAAE,GAAG,GAAG,EAAE,GAAE,CAAC,CAAC;QAEpB,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,sBAAsB,CAAC,CAAC;IACzE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,6CAA6C,EAAE,GAAG,EAAE;QACrD,MAAM,KAAK,GAAG,EAAE,IAAI,EAAE,kBAAkB,EAAE,CAAC;QAE3C,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,mCAAmC,CAAC,CAAC;IACjE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,4DAA4D,EAAE,GAAG,EAAE;QACpE,MAAM,IAAI,GAAG,cAAc,CAAC;QAC5B,MAAM,IAAI,GAAG,cAAc,CAAC;QAC5B,MAAM,KAAK,GAA2B;YACpC,CAAC,IAAI,CAAC,EAAE,CAAC;YACT,CAAC,EAAE,CAAC;YACJ,CAAC,IAAI,CAAC,EAAE,CAAC;SACV,CAAC;QAEF,MAAM,QAAQ,GAAG,UAAU,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,MAAM,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC;QAE/E,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IACtC,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,sCAAsC,EAAE,GAAG,EAAE;QAC9C,MAAM,KAAK,GAAG,EAAE,IAAI,EAAE,mBAAmB,EAAE,CAAC;QAE5C,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,sCAAsC,CAAC,CAAC;IACpE,CAAC,CAAC,CAAC;IAEH,EAAE,CAAC,8BAA8B,EAAE,GAAG,EAAE;QACtC,MAAM,KAAK,GAAG,EAAE,IAAI,EAAE,cAAc,EAAE,CAAC;QAEvC,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,8BAA8B,CAAC,CAAC;IAC5D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/core/apply.d.ts

@@ -1,6 +1,7 @@
 import type { DomainSchema } from "../schema/domain.js";
 import type { Snapshot } from "../schema/snapshot.js";
 import type { Patch } from "../schema/patch.js";
+import type { HostContext } from "../schema/host-context.js";
 /**
  * Apply patches to a snapshot
  *
@@ -12,5 +13,5 @@ import type { Patch } from "../schema/patch.js";
  *
  * Note: Version and timestamp are Core-owned - Host MUST NOT modify these directly.
  */
-export declare function apply(schema: DomainSchema, snapshot: Snapshot, patches: readonly Patch[]): Snapshot;
+export declare function apply(schema: DomainSchema, snapshot: Snapshot, patches: readonly Patch[], context: HostContext): Snapshot;
 //# sourceMappingURL=apply.d.ts.map

package/dist/core/apply.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"apply.d.ts","sourceRoot":"","sources":["../../src/core/apply.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AACxD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,uBAAuB,CAAC;AACtD,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,oBAAoB,CAAC;AAKhD;;;;;;;;;;GAUG;AACH,wBAAgB,KAAK,CACnB,MAAM,EAAE,YAAY,EACpB,QAAQ,EAAE,QAAQ,EAClB,OAAO,EAAE,SAAS,KAAK,EAAE,GACxB,QAAQ,CAwCV"}
+{"version":3,"file":"apply.d.ts","sourceRoot":"","sources":["../../src/core/apply.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AACxD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,uBAAuB,CAAC;AACtD,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,oBAAoB,CAAC;AAChD,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,2BAA2B,CAAC;AAS7D;;;;;;;;;;GAUG;AACH,wBAAgB,KAAK,CACnB,MAAM,EAAE,YAAY,EACpB,QAAQ,EAAE,QAAQ,EAClB,OAAO,EAAE,SAAS,KAAK,EAAE,EACzB,OAAO,EAAE,WAAW,GACnB,QAAQ,CA2GV"}

package/dist/core/apply.js

@@ -1,6 +1,8 @@
 import { setByPath, unsetByPath, mergeAtPath } from "../utils/path.js";
 import { evaluateComputed } from "../evaluator/computed.js";
-import { isOk } from "../schema/common.js";
+import { isOk, isErr } from "../schema/common.js";
+import { createError } from "../errors.js";
+import { getFieldSpecAtPath, validateValueAgainstFieldSpec } from "./validation-utils.js";
 /**
  * Apply patches to a snapshot
  *
@@ -12,41 +14,117 @@ import { isOk } from "../schema/common.js";
  *
  * Note: Version and timestamp are Core-owned - Host MUST NOT modify these directly.
  */
-export function apply(schema, snapshot, patches) {
-    // 1. Apply patches to data
+export function apply(schema, snapshot, patches, context) {
+    // 1. Apply patches to data/system/input (data is default root)
     let newData = snapshot.data;
+    let newSystem = snapshot.system;
+    let newInput = snapshot.input;
+    const validationErrors = [];
+    const rootSpec = { type: "object", required: true, fields: schema.state.fields };
     for (const patch of patches) {
-        switch (patch.op) {
-            case "set":
-                newData = setByPath(newData, patch.path, patch.value);
+        const { root, subPath } = splitPatchPath(patch.path);
+        switch (root) {
+            case "data":
+                {
+                    const fieldSpec = getFieldSpecAtPath(rootSpec, subPath);
+                    if (!fieldSpec) {
+                        validationErrors.push(createError("PATH_NOT_FOUND", `Unknown patch path: ${patch.path}`, snapshot.system.currentAction ?? "", patch.path, context.now, { patch }));
+                        break;
+                    }
+                    if (patch.op !== "unset") {
+                        const result = validateValueAgainstFieldSpec(patch.value, fieldSpec, {
+                            allowPartial: patch.op === "merge",
+                            allowUndefined: false,
+                        });
+                        if (!result.ok) {
+                            validationErrors.push(createError("TYPE_MISMATCH", `Invalid patch value at ${patch.path}: ${result.message ?? "type mismatch"}`, snapshot.system.currentAction ?? "", patch.path, context.now, { patch }));
+                            break;
+                        }
+                    }
+                    newData = applyPatch(newData, patch, subPath);
+                }
                 break;
-            case "unset":
-                newData = unsetByPath(newData, patch.path);
+            case "system":
+                newSystem = applyPatch(newSystem, patch, subPath);
                 break;
-            case "merge":
-                newData = mergeAtPath(newData, patch.path, patch.value);
+            case "input":
+                newInput = applyPatch(newInput, patch, subPath);
+                break;
+            case "computed":
+            case "meta":
+                // Computed/meta are Core-owned; ignore external patch attempts.
                 break;
         }
     }
+    if (validationErrors.length > 0) {
+        const lastError = validationErrors[validationErrors.length - 1];
+        newSystem = {
+            ...newSystem,
+            status: "error",
+            lastError,
+            errors: [...newSystem.errors, ...validationErrors],
+        };
+    }
     // 2. Create intermediate snapshot with new data
     const intermediateSnapshot = {
         ...snapshot,
         data: newData,
+        system: newSystem,
+        input: newInput,
     };
     // 3. Recompute all computed values
     const computedResult = evaluateComputed(schema, intermediateSnapshot);
-    const computed = isOk(computedResult) ? computedResult.value : snapshot.computed;
+    let computed = snapshot.computed;
+    if (isOk(computedResult)) {
+        computed = computedResult.value;
+    }
+    else if (isErr(computedResult)) {
+        const error = computedResult.error;
+        computed = {};
+        newSystem = {
+            ...newSystem,
+            status: "error",
+            lastError: error,
+            errors: [...newSystem.errors, error],
+        };
+    }
     // 4. Return new snapshot with updated metadata
     return {
         data: newData,
         computed,
-        system: snapshot.system,
-        input: snapshot.input,
+        system: newSystem,
+        input: newInput,
         meta: {
             ...snapshot.meta,
             version: snapshot.meta.version + 1,
-            timestamp: Date.now(),
+            timestamp: context.now,
+            randomSeed: context.randomSeed,
         },
     };
 }
+function splitPatchPath(path) {
+    if (path === "system" || path.startsWith("system.")) {
+        return { root: "system", subPath: path === "system" ? "" : path.slice(7) };
+    }
+    if (path === "input" || path.startsWith("input.")) {
+        return { root: "input", subPath: path === "input" ? "" : path.slice(6) };
+    }
+    if (path === "computed" || path.startsWith("computed.")) {
+        return { root: "computed", subPath: path === "computed" ? "" : path.slice(9) };
+    }
+    if (path === "meta" || path.startsWith("meta.")) {
+        return { root: "meta", subPath: path === "meta" ? "" : path.slice(5) };
+    }
+    return { root: "data", subPath: path };
+}
+function applyPatch(value, patch, subPath) {
+    switch (patch.op) {
+        case "set":
+            return setByPath(value, subPath, patch.value);
+        case "unset":
+            return unsetByPath(value, subPath);
+        case "merge":
+            return mergeAtPath(value, subPath, patch.value);
+    }
+}
 //# sourceMappingURL=apply.js.map

package/dist/core/apply.js.map

@@ -1 +1 @@
-{"version":3,"file":"apply.js","sourceRoot":"","sources":["../../src/core/apply.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,SAAS,EAAE,WAAW,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AACvE,OAAO,EAAE,gBAAgB,EAAE,MAAM,0BAA0B,CAAC;AAC5D,OAAO,EAAE,IAAI,EAAE,MAAM,qBAAqB,CAAC;AAE3C;;;;;;;;;;GAUG;AACH,MAAM,UAAU,KAAK,CACnB,MAAoB,EACpB,QAAkB,EAClB,OAAyB;IAEzB,2BAA2B;IAC3B,IAAI,OAAO,GAAG,QAAQ,CAAC,IAAI,CAAC;IAE5B,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;QAC5B,QAAQ,KAAK,CAAC,EAAE,EAAE,CAAC;YACjB,KAAK,KAAK;gBACR,OAAO,GAAG,SAAS,CAAC,OAAO,EAAE,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;gBACtD,MAAM;YACR,KAAK,OAAO;gBACV,OAAO,GAAG,WAAW,CAAC,OAAO,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;gBAC3C,MAAM;YACR,KAAK,OAAO;gBACV,OAAO,GAAG,WAAW,CAAC,OAAO,EAAE,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;gBACxD,MAAM;QACV,CAAC;IACH,CAAC;IAED,gDAAgD;IAChD,MAAM,oBAAoB,GAAa;QACrC,GAAG,QAAQ;QACX,IAAI,EAAE,OAAO;KACd,CAAC;IAEF,mCAAmC;IACnC,MAAM,cAAc,GAAG,gBAAgB,CAAC,MAAM,EAAE,oBAAoB,CAAC,CAAC;IACtE,MAAM,QAAQ,GAAG,IAAI,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,cAAc,CAAC,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC;IAEjF,+CAA+C;IAC/C,OAAO;QACL,IAAI,EAAE,OAAO;QACb,QAAQ;QACR,MAAM,EAAE,QAAQ,CAAC,MAAM;QACvB,KAAK,EAAE,QAAQ,CAAC,KAAK;QACrB,IAAI,EAAE;YACJ,GAAG,QAAQ,CAAC,IAAI;YAChB,OAAO,EAAE,QAAQ,CAAC,IAAI,CAAC,OAAO,GAAG,CAAC;YAClC,SAAS,EAAE,IAAI,CAAC,GAAG,EAAE;SACtB;KACF,CAAC;AACJ,CAAC"}
+{"version":3,"file":"apply.js","sourceRoot":"","sources":["../../src/core/apply.ts"],"names":[],"mappings":"AAKA,OAAO,EAAE,SAAS,EAAE,WAAW,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AACvE,OAAO,EAAE,gBAAgB,EAAE,MAAM,0BAA0B,CAAC;AAC5D,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,qBAAqB,CAAC;AAElD,OAAO,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAC3C,OAAO,EAAE,kBAAkB,EAAE,6BAA6B,EAAE,MAAM,uBAAuB,CAAC;AAE1F;;;;;;;;;;GAUG;AACH,MAAM,UAAU,KAAK,CACnB,MAAoB,EACpB,QAAkB,EAClB,OAAyB,EACzB,OAAoB;IAEpB,+DAA+D;IAC/D,IAAI,OAAO,GAAG,QAAQ,CAAC,IAAI,CAAC;IAC5B,IAAI,SAAS,GAAgB,QAAQ,CAAC,MAAM,CAAC;IAC7C,IAAI,QAAQ,GAAG,QAAQ,CAAC,KAAK,CAAC;IAC9B,MAAM,gBAAgB,GAAiB,EAAE,CAAC;IAC1C,MAAM,QAAQ,GAAc,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC;IAE5F,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;QAC5B,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,cAAc,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QACrD,QAAQ,IAAI,EAAE,CAAC;YACb,KAAK,MAAM;gBACT,CAAC;oBACC,MAAM,SAAS,GAAG,kBAAkB,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;oBACxD,IAAI,CAAC,SAAS,EAAE,CAAC;wBACf,gBAAgB,CAAC,IAAI,CAAC,WAAW,CAC/B,gBAAgB,EAChB,uBAAuB,KAAK,CAAC,IAAI,EAAE,EACnC,QAAQ,CAAC,MAAM,CAAC,aAAa,IAAI,EAAE,EACnC,KAAK,CAAC,IAAI,EACV,OAAO,CAAC,GAAG,EACX,EAAE,KAAK,EAAE,CACV,CAAC,CAAC;wBACH,MAAM;oBACR,CAAC;oBAED,IAAI,KAAK,CAAC,EAAE,KAAK,OAAO,EAAE,CAAC;wBACzB,MAAM,MAAM,GAAG,6BAA6B,CAAC,KAAK,CAAC,KAAK,EAAE,SAAS,EAAE;4BACnE,YAAY,EAAE,KAAK,CAAC,EAAE,KAAK,OAAO;4BAClC,cAAc,EAAE,KAAK;yBACtB,CAAC,CAAC;wBACH,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC;4BACf,gBAAgB,CAAC,IAAI,CAAC,WAAW,CAC/B,eAAe,EACf,0BAA0B,KAAK,CAAC,IAAI,KAAK,MAAM,CAAC,OAAO,IAAI,eAAe,EAAE,EAC5E,QAAQ,CAAC,MAAM,CAAC,aAAa,IAAI,EAAE,EACnC,KAAK,CAAC,IAAI,EACV,OAAO,CAAC,GAAG,EACX,EAAE,KAAK,EAAE,CACV,CAAC,CAAC;4BACH,MAAM;wBACR,CAAC;oBACH,CAAC;oBAED,OAAO,GAAG,UAAU,CAAC,OAAO,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;gBAChD,CAAC;gBACD,MAAM;YACR,KAAK,QAAQ;gBACX,SAAS,GAAG,UAAU,CAAC,SAAS,EAAE,KAAK,EAAE,OAAO,CAAgB,CAAC;gBACjE,MAAM;YACR,KAAK,OAAO;gBACV,QAAQ,GAAG,UAAU,CAAC,QAAQ,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;gBAChD,MAAM;YACR,KAAK,UAAU,CAAC;YAChB,KAAK,MAAM;gBACT,gEAAgE;gBAChE,MAAM;QACV,CAAC;IACH,CAAC;IAED,IAAI,gBAAgB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAChC,MAAM,SAAS,GAAG,gBAAgB,CAAC,gBAAgB,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QAChE,SAAS,GAAG;YACV,GAAG,SAAS;YACZ,MAAM,EAAE,OAAO;YACf,SAAS;YACT,MAAM,EAAE,CAAC,GAAG,SAAS,CAAC,MAAM,EAAE,GAAG,gBAAgB,CAAC;SACnD,CAAC;IACJ,CAAC;IAED,gDAAgD;IAChD,MAAM,oBAAoB,GAAa;QACrC,GAAG,QAAQ;QACX,IAAI,EAAE,OAAO;QACb,MAAM,EAAE,SAAS;QACjB,KAAK,EAAE,QAAQ;KAChB,CAAC;IAEF,mCAAmC;IACnC,MAAM,cAAc,GAAG,gBAAgB,CAAC,MAAM,EAAE,oBAAoB,CAAC,CAAC;IACtE,IAAI,QAAQ,GAAG,QAAQ,CAAC,QAAQ,CAAC;IACjC,IAAI,IAAI,CAAC,cAAc,CAAC,EAAE,CAAC;QACzB,QAAQ,GAAG,cAAc,CAAC,KAAK,CAAC;IAClC,CAAC;SAAM,IAAI,KAAK,CAAC,cAAc,CAAC,EAAE,CAAC;QACjC,MAAM,KAAK,GAAG,cAAc,CAAC,KAAK,CAAC;QACnC,QAAQ,GAAG,EAAE,CAAC;QACd,SAAS,GAAG;YACV,GAAG,SAAS;YACZ,MAAM,EAAE,OAAO;YACf,SAAS,EAAE,KAAK;YAChB,MAAM,EAAE,CAAC,GAAG,SAAS,CAAC,MAAM,EAAE,KAAK,CAAC;SACrC,CAAC;IACJ,CAAC;IAED,+CAA+C;IAC/C,OAAO;QACL,IAAI,EAAE,OAAO;QACb,QAAQ;QACR,MAAM,EAAE,SAAS;QACjB,KAAK,EAAE,QAAQ;QACf,IAAI,EAAE;YACJ,GAAG,QAAQ,CAAC,IAAI;YAChB,OAAO,EAAE,QAAQ,CAAC,IAAI,CAAC,OAAO,GAAG,CAAC;YAClC,SAAS,EAAE,OAAO,CAAC,GAAG;YACtB,UAAU,EAAE,OAAO,CAAC,UAAU;SAC/B;KACF,CAAC;AACJ,CAAC;AAID,SAAS,cAAc,CAAC,IAAY;IAClC,IAAI,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,EAAE,CAAC;QACpD,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;IAC7E,CAAC;IACD,IAAI,IAAI,KAAK,OAAO,IAAI,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC;QAClD,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;IAC3E,CAAC;IACD,IAAI,IAAI,KAAK,UAAU,IAAI,IAAI,CAAC,UAAU,CAAC,WAAW,CAAC,EAAE,CAAC;QACxD,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,OAAO,EAAE,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;IACjF,CAAC;IACD,IAAI,IAAI,KAAK,MAAM,IAAI,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC,EAAE,CAAC;QAChD,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,IAAI,KAAK,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;IACzE,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC;AACzC,CAAC;AAED,SAAS,UAAU,CAAC,KAAc,EAAE,KAAY,EAAE,OAAe;IAC/D,QAAQ,KAAK,CAAC,EAAE,EAAE,CAAC;QACjB,KAAK,KAAK;YACR,OAAO,SAAS,CAAC,KAAK,EAAE,OAAO,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;QAChD,KAAK,OAAO;YACV,OAAO,WAAW,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;QACrC,KAAK,OAAO;YACV,OAAO,WAAW,CAAC,KAAK,EAAE,OAAO,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC;IACpD,CAAC;AACH,CAAC"}

package/dist/core/compute.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"compute.d.ts","sourceRoot":"","sources":["../../src/core/compute.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AACxD,OAAO,KAAK,EAAE,QAAQ,EAAe,MAAM,uBAAuB,CAAC;AACnE,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,oBAAoB,CAAC;AACjD,OAAO,KAAK,EAAE,aAAa,EAAiB,MAAM,qBAAqB,CAAC;AASxE;;;;;;;;;;GAUG;AACH,wBAAsB,OAAO,CAC3B,MAAM,EAAE,YAAY,EACpB,QAAQ,EAAE,QAAQ,EAClB,MAAM,EAAE,MAAM,GACb,OAAO,CAAC,aAAa,CAAC,CA6HxB"}
+{"version":3,"file":"compute.d.ts","sourceRoot":"","sources":["../../src/core/compute.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AACxD,OAAO,KAAK,EAAE,QAAQ,EAAe,MAAM,uBAAuB,CAAC;AACnE,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,oBAAoB,CAAC;AACjD,OAAO,KAAK,EAAE,aAAa,EAAiB,MAAM,qBAAqB,CAAC;AAUxE;;;;;;;;;;GAUG;AACH,wBAAsB,OAAO,CAC3B,MAAM,EAAE,YAAY,EACpB,QAAQ,EAAE,QAAQ,EAClB,MAAM,EAAE,MAAM,GACb,OAAO,CAAC,aAAa,CAAC,CAiKxB"}

package/dist/core/compute.js

@@ -31,15 +31,29 @@ export async function compute(schema, snapshot, intent) {
     if (!action) {
         return createErrorResult(currentSnapshot, intent, "UNKNOWN_ACTION", `Unknown action: ${intent.type}`, startTime);
     }
+    // 1.5 Validate intentId (must be non-empty)
+    if (!intent.intentId || intent.intentId === "") {
+        return createErrorResult(currentSnapshot, intent, "INVALID_INPUT", "Intent must have a non-empty intentId", startTime);
+    }
+    // 1.6 Validate input against action's input schema
+    if (action.input) {
+        const inputError = validateInput(action.input, intent.input);
+        if (inputError) {
+            return createErrorResult(currentSnapshot, intent, "INVALID_INPUT", inputError, startTime);
+        }
+    }
     // 2. Check availability condition
     if (action.available) {
-        const ctx = createContext(currentSnapshot, schema, intent.type, "available");
+        const ctx = createContext(currentSnapshot, schema, intent.type, "available", intent.intentId);
         const availResult = evaluateExpr(action.available, ctx);
         if (isErr(availResult)) {
             return createErrorResult(currentSnapshot, intent, "INTERNAL_ERROR", `Error evaluating availability: ${availResult.error.message}`, startTime);
         }
-        const isAvailable = availResult.value !== false && availResult.value !== null && availResult.value !== undefined;
-        if (!isAvailable) {
+        // Availability must return a boolean (A28: available conditions must be pure)
+        if (typeof availResult.value !== "boolean") {
+            return createErrorResult(currentSnapshot, intent, "TYPE_MISMATCH", `Availability condition must return boolean, got ${typeof availResult.value}`, startTime);
+        }
+        if (!availResult.value) {
             return createErrorResult(currentSnapshot, intent, "ACTION_UNAVAILABLE", `Action "${intent.type}" is not available`, startTime);
         }
     }
@@ -54,7 +68,7 @@ export async function compute(schema, snapshot, intent) {
         },
     };
     // 4. Create evaluation context and flow state
-    const ctx = createContext(preparedSnapshot, schema, intent.type, `actions.${intent.type}.flow`);
+    const ctx = createContext(preparedSnapshot, schema, intent.type, `actions.${intent.type}.flow`, intent.intentId);
     const flowState = createFlowState(preparedSnapshot);
     // 5. Evaluate the flow
     const flowResult = await evaluateFlow(action.flow, ctx, flowState, `actions.${intent.type}.flow`);
@@ -100,6 +114,7 @@ export async function compute(schema, snapshot, intent) {
     };
     return {
         snapshot: finalSnapshot,
+        requirements: [...flowResult.state.requirements],
         trace,
         status: systemStatus,
     };
@@ -154,7 +169,7 @@ function collectTraceNodes(root) {
  * Create an error result
  */
 function createErrorResult(snapshot, intent, code, message, startTime) {
-    const error = createError(code, message, intent.type, "");
+    const error = createError(code, message, intent.type, "", Date.now());
     const errorSnapshot = {
         ...snapshot,
         input: intent.input,
@@ -190,8 +205,83 @@ function createErrorResult(snapshot, intent, code, message, startTime) {
     };
     return {
         snapshot: errorSnapshot,
+        requirements: [],
         trace,
         status: "error",
     };
 }
+/**
+ * Validate input against action's input schema
+ * Returns error message if invalid, null if valid
+ */
+function validateInput(inputSpec, input) {
+    // Check type
+    if (inputSpec.type === "object") {
+        if (typeof input !== "object" || input === null || Array.isArray(input)) {
+            return `Expected object input, got ${typeof input}`;
+        }
+        const inputObj = input;
+        const fields = inputSpec.fields ?? {};
+        // Check for required fields
+        for (const [fieldName, fieldSpec] of Object.entries(fields)) {
+            if (fieldSpec.required && !(fieldName in inputObj)) {
+                return `Missing required field: ${fieldName}`;
+            }
+        }
+        // Check for unknown fields
+        for (const key of Object.keys(inputObj)) {
+            if (!(key in fields)) {
+                return `Unknown field: ${key}`;
+            }
+        }
+        // Recursively validate nested fields
+        for (const [fieldName, fieldSpec] of Object.entries(fields)) {
+            if (fieldName in inputObj) {
+                const error = validateFieldValue(fieldSpec, inputObj[fieldName], fieldName);
+                if (error)
+                    return error;
+            }
+        }
+    }
+    return null;
+}
+/**
+ * Validate a field value against its spec
+ */
+function validateFieldValue(spec, value, path) {
+    if (value === undefined || value === null) {
+        if (spec.required) {
+            return `Missing required field: ${path}`;
+        }
+        return null;
+    }
+    switch (spec.type) {
+        case "string":
+            if (typeof value !== "string") {
+                return `Expected string for ${path}, got ${typeof value}`;
+            }
+            break;
+        case "number":
+            if (typeof value !== "number") {
+                return `Expected number for ${path}, got ${typeof value}`;
+            }
+            break;
+        case "boolean":
+            if (typeof value !== "boolean") {
+                return `Expected boolean for ${path}, got ${typeof value}`;
+            }
+            break;
+        case "array":
+            if (!Array.isArray(value)) {
+                return `Expected array for ${path}, got ${typeof value}`;
+            }
+            break;
+        case "object":
+            if (typeof value !== "object" || Array.isArray(value)) {
+                return `Expected object for ${path}, got ${typeof value}`;
+            }
+            break;
+    }
+    return null;
+}
 //# sourceMappingURL=compute.js.map