@manifesto-ai/core 1.0.0 → 2.0.0

package/dist/core/explain.js

@@ -1,4 +1,4 @@
-import { createTraceNode } from "../schema/trace.js";
+import { createTraceContext, createTraceNode } from "../schema/trace.js";
 import { getByPath } from "../utils/path.js";
 import { createContext } from "../evaluator/context.js";
 import { evaluateExpr } from "../evaluator/expr.js";
@@ -12,16 +12,20 @@ import { isOk } from "../schema/common.js";
  * @returns ExplainResult with value, trace, and dependencies
  */
 export function explain(schema, snapshot, path) {
+    const trace = createTraceContext(snapshot.meta.timestamp);
+    return explainWithTrace(schema, snapshot, path, trace);
+}
+function explainWithTrace(schema, snapshot, path, trace) {
     // Check if it's a computed path
     if (path.startsWith("computed.")) {
-        return explainComputed(schema, snapshot, path);
+        return explainComputed(schema, snapshot, path, trace);
     }
     // Check if it's a system path
     if (path.startsWith("system.")) {
         const value = getByPath(snapshot.system, path.slice(7));
         return {
             value,
-            trace: createTraceNode("expr", path, { path }, value, []),
+            trace: createTraceNode(trace, "expr", path, { path }, value, []),
             deps: [],
         };
     }
@@ -30,7 +34,7 @@ export function explain(schema, snapshot, path) {
         const value = path === "input" ? snapshot.input : getByPath(snapshot.input, path.slice(6));
         return {
             value,
-            trace: createTraceNode("expr", path, { path }, value, []),
+            trace: createTraceNode(trace, "expr", path, { path }, value, []),
             deps: [],
         };
     }
@@ -38,36 +42,36 @@ export function explain(schema, snapshot, path) {
     const value = getByPath(snapshot.data, path);
     return {
         value,
-        trace: createTraceNode("expr", path, { path }, value, []),
+        trace: createTraceNode(trace, "expr", path, { path }, value, []),
         deps: [],
     };
 }
 /**
  * Explain a computed value
  */
-function explainComputed(schema, snapshot, path) {
+function explainComputed(schema, snapshot, path, trace) {
     const spec = schema.computed.fields[path];
     if (!spec) {
         // Not a computed field, just return the stored value
         const value = snapshot.computed[path];
         return {
             value,
-            trace: createTraceNode("computed", path, { path }, value, []),
+            trace: createTraceNode(trace, "computed", path, { path }, value, []),
             deps: [],
         };
     }
     // Evaluate the expression to get the trace
-    const ctx = createContext(snapshot, schema, null, path);
+    const ctx = createContext(snapshot, schema, null, path, undefined, trace);
     const result = evaluateExpr(spec.expr, ctx);
     const value = isOk(result) ? result.value : null;
     // Build trace with dependency information
     const childTraces = spec.deps.map((dep) => {
-        const depResult = explain(schema, snapshot, dep);
+        const depResult = explainWithTrace(schema, snapshot, dep, trace);
         return depResult.trace;
     });
     return {
         value,
-        trace: createTraceNode("computed", path, { expr: spec.expr }, value, childTraces),
+        trace: createTraceNode(trace, "computed", path, { expr: spec.expr }, value, childTraces),
         deps: spec.deps,
     };
 }

package/dist/core/explain.js.map

@@ -1 +1 @@
-{"version":3,"file":"explain.js","sourceRoot":"","sources":["../../src/core/explain.ts"],"names":[],"mappings":"AAIA,OAAO,EAAE,eAAe,EAAE,MAAM,oBAAoB,CAAC;AACrD,OAAO,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAC7C,OAAO,EAAE,aAAa,EAAE,MAAM,yBAAyB,CAAC;AACxD,OAAO,EAAE,YAAY,EAAE,MAAM,sBAAsB,CAAC;AACpD,OAAO,EAAE,IAAI,EAAE,MAAM,qBAAqB,CAAC;AAE3C;;;;;;;GAOG;AACH,MAAM,UAAU,OAAO,CACrB,MAAoB,EACpB,QAAkB,EAClB,IAAkB;IAElB,gCAAgC;IAChC,IAAI,IAAI,CAAC,UAAU,CAAC,WAAW,CAAC,EAAE,CAAC;QACjC,OAAO,eAAe,CAAC,MAAM,EAAE,QAAQ,EAAE,IAAI,CAAC,CAAC;IACjD,CAAC;IAED,8BAA8B;IAC9B,IAAI,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,EAAE,CAAC;QAC/B,MAAM,KAAK,GAAG,SAAS,CAAC,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;QACxD,OAAO;YACL,KAAK;YACL,KAAK,EAAE,eAAe,CAAC,MAAM,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,EAAE,KAAK,EAAE,EAAE,CAAC;YACzD,IAAI,EAAE,EAAE;SACT,CAAC;IACJ,CAAC;IAED,8BAA8B;IAC9B,IAAI,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,IAAI,IAAI,KAAK,OAAO,EAAE,CAAC;QAClD,MAAM,KAAK,GAAG,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;QAC3F,OAAO;YACL,KAAK;YACL,KAAK,EAAE,eAAe,CAAC,MAAM,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,EAAE,KAAK,EAAE,EAAE,CAAC;YACzD,IAAI,EAAE,EAAE;SACT,CAAC;IACJ,CAAC;IAED,4BAA4B;IAC5B,MAAM,KAAK,GAAG,SAAS,CAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IAC7C,OAAO;QACL,KAAK;QACL,KAAK,EAAE,eAAe,CAAC,MAAM,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,EAAE,KAAK,EAAE,EAAE,CAAC;QACzD,IAAI,EAAE,EAAE;KACT,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,SAAS,eAAe,CACtB,MAAoB,EACpB,QAAkB,EAClB,IAAkB;IAElB,MAAM,IAAI,GAAG,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IAE1C,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,qDAAqD;QACrD,MAAM,KAAK,GAAG,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;QACtC,OAAO;YACL,KAAK;YACL,KAAK,EAAE,eAAe,CAAC,UAAU,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,EAAE,KAAK,EAAE,EAAE,CAAC;YAC7D,IAAI,EAAE,EAAE;SACT,CAAC;IACJ,CAAC;IAED,2CAA2C;IAC3C,MAAM,GAAG,GAAG,aAAa,CAAC,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC;IACxD,MAAM,MAAM,GAAG,YAAY,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IAE5C,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC;IAEjD,0CAA0C;IAC1C,MAAM,WAAW,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE;QACxC,MAAM,SAAS,GAAG,OAAO,CAAC,MAAM,EAAE,QAAQ,EAAE,GAAG,CAAC,CAAC;QACjD,OAAO,SAAS,CAAC,KAAK,CAAC;IACzB,CAAC,CAAC,CAAC;IAEH,OAAO;QACL,KAAK;QACL,KAAK,EAAE,eAAe,CAAC,UAAU,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,EAAE,KAAK,EAAE,WAAW,CAAC;QACjF,IAAI,EAAE,IAAI,CAAC,IAAI;KAChB,CAAC;AACJ,CAAC"}
+{"version":3,"file":"explain.js","sourceRoot":"","sources":["../../src/core/explain.ts"],"names":[],"mappings":"AAIA,OAAO,EAAE,kBAAkB,EAAE,eAAe,EAAE,MAAM,oBAAoB,CAAC;AACzE,OAAO,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAC7C,OAAO,EAAE,aAAa,EAAE,MAAM,yBAAyB,CAAC;AACxD,OAAO,EAAE,YAAY,EAAE,MAAM,sBAAsB,CAAC;AACpD,OAAO,EAAE,IAAI,EAAE,MAAM,qBAAqB,CAAC;AAE3C;;;;;;;GAOG;AACH,MAAM,UAAU,OAAO,CACrB,MAAoB,EACpB,QAAkB,EAClB,IAAkB;IAElB,MAAM,KAAK,GAAG,kBAAkB,CAAC,QAAQ,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IAC1D,OAAO,gBAAgB,CAAC,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;AACzD,CAAC;AAED,SAAS,gBAAgB,CACvB,MAAoB,EACpB,QAAkB,EAClB,IAAkB,EAClB,KAA4C;IAE5C,gCAAgC;IAChC,IAAI,IAAI,CAAC,UAAU,CAAC,WAAW,CAAC,EAAE,CAAC;QACjC,OAAO,eAAe,CAAC,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;IACxD,CAAC;IAED,8BAA8B;IAC9B,IAAI,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,EAAE,CAAC;QAC/B,MAAM,KAAK,GAAG,SAAS,CAAC,QAAQ,CAAC,MAAM,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;QACxD,OAAO;YACL,KAAK;YACL,KAAK,EAAE,eAAe,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,EAAE,KAAK,EAAE,EAAE,CAAC;YAChE,IAAI,EAAE,EAAE;SACT,CAAC;IACJ,CAAC;IAED,8BAA8B;IAC9B,IAAI,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,IAAI,IAAI,KAAK,OAAO,EAAE,CAAC;QAClD,MAAM,KAAK,GAAG,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;QAC3F,OAAO;YACL,KAAK;YACL,KAAK,EAAE,eAAe,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,EAAE,KAAK,EAAE,EAAE,CAAC;YAChE,IAAI,EAAE,EAAE;SACT,CAAC;IACJ,CAAC;IAED,4BAA4B;IAC5B,MAAM,KAAK,GAAG,SAAS,CAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IAC7C,OAAO;QACL,KAAK;QACL,KAAK,EAAE,eAAe,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,EAAE,KAAK,EAAE,EAAE,CAAC;QAChE,IAAI,EAAE,EAAE;KACT,CAAC;AACJ,CAAC;AAED;;GAEG;AACH,SAAS,eAAe,CACtB,MAAoB,EACpB,QAAkB,EAClB,IAAkB,EAClB,KAA4C;IAE5C,MAAM,IAAI,GAAG,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IAE1C,IAAI,CAAC,IAAI,EAAE,CAAC;QACV,qDAAqD;QACrD,MAAM,KAAK,GAAG,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;QACtC,OAAO;YACL,KAAK;YACL,KAAK,EAAE,eAAe,CAAC,KAAK,EAAE,UAAU,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,EAAE,KAAK,EAAE,EAAE,CAAC;YACpE,IAAI,EAAE,EAAE;SACT,CAAC;IACJ,CAAC;IAED,2CAA2C;IAC3C,MAAM,GAAG,GAAG,aAAa,CAAC,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,CAAC,CAAC;IAC1E,MAAM,MAAM,GAAG,YAAY,CAAC,IAAI,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IAE5C,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC;IAEjD,0CAA0C;IAC1C,MAAM,WAAW,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE;QACxC,MAAM,SAAS,GAAG,gBAAgB,CAAC,MAAM,EAAE,QAAQ,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC;QACjE,OAAO,SAAS,CAAC,KAAK,CAAC;IACzB,CAAC,CAAC,CAAC;IAEH,OAAO;QACL,KAAK;QACL,KAAK,EAAE,eAAe,CAAC,KAAK,EAAE,UAAU,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,EAAE,KAAK,EAAE,WAAW,CAAC;QACxF,IAAI,EAAE,IAAI,CAAC,IAAI;KAChB,CAAC;AACJ,CAAC"}

package/dist/core/index.d.ts

@@ -1,5 +1,5 @@
 export { validate } from "./validate.js";
 export { apply } from "./apply.js";
-export { compute } from "./compute.js";
+export { compute, computeSync } from "./compute.js";
 export { explain } from "./explain.js";
 //# sourceMappingURL=index.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/core/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAC;AACzC,OAAO,EAAE,KAAK,EAAE,MAAM,YAAY,CAAC;AACnC,OAAO,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AACvC,OAAO,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/core/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAC;AACzC,OAAO,EAAE,KAAK,EAAE,MAAM,YAAY,CAAC;AACnC,OAAO,EAAE,OAAO,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AACpD,OAAO,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC"}

package/dist/core/index.js

@@ -1,5 +1,5 @@
 export { validate } from "./validate.js";
 export { apply } from "./apply.js";
-export { compute } from "./compute.js";
+export { compute, computeSync } from "./compute.js";
 export { explain } from "./explain.js";
 //# sourceMappingURL=index.js.map

package/dist/core/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/core/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAC;AACzC,OAAO,EAAE,KAAK,EAAE,MAAM,YAAY,CAAC;AACnC,OAAO,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AACvC,OAAO,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/core/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAC;AACzC,OAAO,EAAE,KAAK,EAAE,MAAM,YAAY,CAAC;AACnC,OAAO,EAAE,OAAO,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AACpD,OAAO,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC"}

package/dist/core/validate.d.ts

@@ -5,11 +5,12 @@ import type { ValidationResult } from "../schema/result.js";
  * Validation rules:
  * - V-001: All paths in ComputedSpec.deps MUST exist
  * - V-002: ComputedSpec dependency graph MUST be acyclic
- * - V-003: All paths in ExprNode.get MUST exist (TODO: implement path validation)
+ * - V-003: All paths in ExprNode.get MUST exist
  * - V-004: All `call` references in FlowSpec MUST exist
  * - V-005: FlowSpec `call` graph MUST be acyclic
  * - V-006: ActionSpec.available expression MUST return boolean (runtime check)
  * - V-007: ActionSpec.input MUST be valid FieldSpec (Zod handles this)
+ * - V-008: Schema hash MUST match canonical hash
  */
 export declare function validate(schema: unknown): ValidationResult;
 //# sourceMappingURL=validate.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"validate.d.ts","sourceRoot":"","sources":["../../src/core/validate.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,gBAAgB,EAAmB,MAAM,qBAAqB,CAAC;AAK7E;;;;;;;;;;;GAWG;AACH,wBAAgB,QAAQ,CAAC,MAAM,EAAE,OAAO,GAAG,gBAAgB,CAiD1D"}
+{"version":3,"file":"validate.d.ts","sourceRoot":"","sources":["../../src/core/validate.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,gBAAgB,EAAmB,MAAM,qBAAqB,CAAC;AAe7E;;;;;;;;;;;;GAYG;AACH,wBAAgB,QAAQ,CAAC,MAAM,EAAE,OAAO,GAAG,gBAAgB,CAuH1D"}

package/dist/core/validate.js

@@ -2,17 +2,20 @@ import { DomainSchema } from "../schema/domain.js";
 import { validResult, invalidResult } from "../schema/result.js";
 import { buildDependencyGraph, topologicalSort, detectCycles } from "../evaluator/dag.js";
 import { isErr } from "../schema/common.js";
+import { hashSchemaSync } from "../utils/hash.js";
+import { isValidSchemaId, isValidSemver, collectGetPathsFromExpr, collectGetPathsFromFlow, pathExistsInStateSpec, pathExistsInComputedSpec, pathExistsInFieldSpec, } from "./validation-utils.js";
 /**
  * Validate a domain schema
  *
  * Validation rules:
  * - V-001: All paths in ComputedSpec.deps MUST exist
  * - V-002: ComputedSpec dependency graph MUST be acyclic
- * - V-003: All paths in ExprNode.get MUST exist (TODO: implement path validation)
+ * - V-003: All paths in ExprNode.get MUST exist
  * - V-004: All `call` references in FlowSpec MUST exist
  * - V-005: FlowSpec `call` graph MUST be acyclic
  * - V-006: ActionSpec.available expression MUST return boolean (runtime check)
  * - V-007: ActionSpec.input MUST be valid FieldSpec (Zod handles this)
+ * - V-008: Schema hash MUST match canonical hash
  */
 export function validate(schema) {
     const errors = [];
@@ -27,6 +30,66 @@ export function validate(schema) {
         return invalidResult(zodErrors);
     }
     const domainSchema = parseResult.data;
+    if (!isValidSchemaId(domainSchema.id)) {
+        errors.push({
+            code: "SCHEMA_ERROR",
+            message: "Schema id must be a valid URI or UUID",
+            path: "id",
+        });
+    }
+    if (!isValidSemver(domainSchema.version)) {
+        errors.push({
+            code: "SCHEMA_ERROR",
+            message: "Schema version must follow Semantic Versioning 2.0",
+            path: "version",
+        });
+    }
+    const schemaHash = domainSchema.hash;
+    if (!schemaHash) {
+        errors.push({
+            code: "SCHEMA_ERROR",
+            message: "Schema hash is required",
+            path: "hash",
+        });
+    }
+    else {
+        const rawSchema = schema;
+        const { hash: _hash, ...schemaWithoutHash } = rawSchema;
+        const expectedHash = hashSchemaSync(schemaWithoutHash);
+        if (schemaHash !== expectedHash) {
+            errors.push({
+                code: "V-008",
+                message: `Schema hash mismatch: expected ${expectedHash}, got ${schemaHash}`,
+                path: "hash",
+            });
+        }
+    }
+    if (Object.keys(domainSchema.state.fields).length === 0) {
+        errors.push({
+            code: "SCHEMA_ERROR",
+            message: "StateSpec.fields must not be empty",
+            path: "state.fields",
+        });
+    }
+    if (Object.keys(domainSchema.computed.fields).length === 0) {
+        errors.push({
+            code: "SCHEMA_ERROR",
+            message: "ComputedSpec.fields must not be empty",
+            path: "computed.fields",
+        });
+    }
+    if (Object.keys(domainSchema.actions).length === 0) {
+        errors.push({
+            code: "SCHEMA_ERROR",
+            message: "actions must not be empty",
+            path: "actions",
+        });
+    }
+    errors.push(...validateStateDefaults(domainSchema.state, "state.fields"));
+    errors.push(...validateComputedDeps(domainSchema));
+    errors.push(...validateComputedExprPaths(domainSchema));
+    errors.push(...validateComputedDepsCoverage(domainSchema));
+    errors.push(...validateActionExprPaths(domainSchema));
     // V-002: Check computed dependency graph is acyclic
     const depGraph = buildDependencyGraph(domainSchema.computed);
     const sortResult = topologicalSort(depGraph);
@@ -140,4 +203,159 @@ function validateCallGraph(schema) {
     }
     return errors;
 }
+function validateStateDefaults(state, basePath) {
+    const errors = [];
+    const visit = (spec, path) => {
+        if (!spec.required && spec.default === undefined) {
+            errors.push({
+                code: "SCHEMA_ERROR",
+                message: "Optional fields must define a default value",
+                path,
+            });
+        }
+        if (spec.type === "object" && spec.fields) {
+            for (const [name, field] of Object.entries(spec.fields)) {
+                visit(field, `${path}.${name}`);
+            }
+        }
+        if (spec.type === "array" && spec.items) {
+            visit(spec.items, `${path}[]`);
+        }
+    };
+    for (const [name, field] of Object.entries(state.fields)) {
+        visit(field, `${basePath}.${name}`);
+    }
+    return errors;
+}
+function validateComputedDeps(schema) {
+    const errors = [];
+    for (const [path, spec] of Object.entries(schema.computed.fields)) {
+        for (const dep of spec.deps) {
+            const exists = pathExistsInComputedSpec(schema.computed, dep) ||
+                pathExistsInStateSpec(schema.state, dep);
+            if (!exists) {
+                errors.push({
+                    code: "V-001",
+                    message: `Unknown dependency path: ${dep}`,
+                    path: `computed.fields.${path}`,
+                });
+            }
+        }
+    }
+    return errors;
+}
+function validateComputedExprPaths(schema) {
+    const errors = [];
+    for (const [path, spec] of Object.entries(schema.computed.fields)) {
+        const exprPaths = collectGetPathsFromExpr(spec.expr);
+        const invalidPaths = exprPaths.filter((exprPath) => {
+            if (exprPath.startsWith("$"))
+                return false;
+            if (exprPath.startsWith("computed.")) {
+                return !pathExistsInComputedSpec(schema.computed, exprPath);
+            }
+            if (exprPath.startsWith("input.")) {
+                return true;
+            }
+            if (exprPath.startsWith("system.")) {
+                return true;
+            }
+            return !pathExistsInStateSpec(schema.state, exprPath);
+        });
+        for (const exprPath of invalidPaths) {
+            errors.push({
+                code: "V-003",
+                message: `Unknown path in computed expression: ${exprPath}`,
+                path: `computed.fields.${path}`,
+            });
+        }
+    }
+    return errors;
+}
+function validateComputedDepsCoverage(schema) {
+    const errors = [];
+    for (const [path, spec] of Object.entries(schema.computed.fields)) {
+        const exprPaths = collectGetPathsFromExpr(spec.expr);
+        const deps = new Set(spec.deps);
+        const relevantPaths = new Set(exprPaths.filter((exprPath) => {
+            if (exprPath.startsWith("$")) {
+                return false;
+            }
+            if (exprPath === "input" || exprPath.startsWith("input.")) {
+                return false;
+            }
+            if (exprPath === "system" || exprPath.startsWith("system.")) {
+                return false;
+            }
+            if (exprPath === "meta" || exprPath.startsWith("meta.")) {
+                return false;
+            }
+            if (exprPath.startsWith("computed.")) {
+                return pathExistsInComputedSpec(schema.computed, exprPath);
+            }
+            return pathExistsInStateSpec(schema.state, exprPath);
+        }));
+        for (const exprPath of relevantPaths) {
+            if (!deps.has(exprPath)) {
+                errors.push({
+                    code: "V-001",
+                    message: `Missing dependency for computed expression path: ${exprPath}`,
+                    path: `computed.fields.${path}`,
+                });
+            }
+        }
+    }
+    return errors;
+}
+function validateActionExprPaths(schema) {
+    const errors = [];
+    for (const [actionName, action] of Object.entries(schema.actions)) {
+        const exprPaths = [
+            ...collectGetPathsFromFlow(action.flow),
+            ...(action.available ? collectGetPathsFromExpr(action.available) : []),
+        ];
+        for (const exprPath of exprPaths) {
+            if (exprPath.startsWith("$")) {
+                continue;
+            }
+            if (exprPath === "input" || exprPath.startsWith("input.")) {
+                if (action.input) {
+                    const subPath = exprPath === "input" ? "" : exprPath.slice(6);
+                    if (!pathExistsInFieldSpec(action.input, subPath)) {
+                        errors.push({
+                            code: "V-003",
+                            message: `Unknown input path: ${exprPath}`,
+                            path: `actions.${actionName}`,
+                        });
+                    }
+                }
+                continue;
+            }
+            if (exprPath.startsWith("computed.")) {
+                if (!pathExistsInComputedSpec(schema.computed, exprPath)) {
+                    errors.push({
+                        code: "V-003",
+                        message: `Unknown computed path: ${exprPath}`,
+                        path: `actions.${actionName}`,
+                    });
+                }
+                continue;
+            }
+            if (exprPath.startsWith("system.")) {
+                continue;
+            }
+            if (exprPath === "meta" || exprPath.startsWith("meta.")) {
+                continue;
+            }
+            if (!pathExistsInStateSpec(schema.state, exprPath)) {
+                errors.push({
+                    code: "V-003",
+                    message: `Unknown state path: ${exprPath}`,
+                    path: `actions.${actionName}`,
+                });
+            }
+        }
+    }
+    return errors;
+}
 //# sourceMappingURL=validate.js.map

package/dist/core/validate.js.map

@@ -1 +1 @@
-{"version":3,"file":"validate.js","sourceRoot":"","sources":["../../src/core/validate.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AAEnD,OAAO,EAAE,WAAW,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AACjE,OAAO,EAAE,oBAAoB,EAAE,eAAe,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AAC1F,OAAO,EAAE,KAAK,EAAE,MAAM,qBAAqB,CAAC;AAE5C;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,QAAQ,CAAC,MAAe;IACtC,MAAM,MAAM,GAAsB,EAAE,CAAC;IAErC,kCAAkC;IAClC,MAAM,WAAW,GAAG,YAAY,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;IACnD,IAAI,CAAC,WAAW,CAAC,OAAO,EAAE,CAAC;QACzB,MAAM,SAAS,GAAG,WAAW,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YACrD,IAAI,EAAE,cAAc;YACpB,OAAO,EAAE,CAAC,CAAC,OAAO;YAClB,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC;SACnC,CAAC,CAAC,CAAC;QACJ,OAAO,aAAa,CAAC,SAAS,CAAC,CAAC;IAClC,CAAC;IAED,MAAM,YAAY,GAAG,WAAW,CAAC,IAAI,CAAC;IAEtC,oDAAoD;IACpD,MAAM,QAAQ,GAAG,oBAAoB,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC;IAC7D,MAAM,UAAU,GAAG,eAAe,CAAC,QAAQ,CAAC,CAAC;IAC7C,IAAI,KAAK,CAAC,UAAU,CAAC,EAAE,CAAC;QACtB,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;IAChC,CAAC;IAED,gDAAgD;IAChD,MAAM,MAAM,GAAG,YAAY,CAAC,QAAQ,CAAC,CAAC;IACtC,IAAI,MAAM,EAAE,CAAC;QACX,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;YAC3B,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI,EAAE,OAAO;gBACb,OAAO,EAAE,sBAAsB,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE;gBACnD,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC;aACf,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,yCAAyC;IACzC,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC;IAC/D,MAAM,UAAU,GAAG,sBAAsB,CAAC,YAAY,EAAE,WAAW,CAAC,CAAC;IACrE,MAAM,CAAC,IAAI,CAAC,GAAG,UAAU,CAAC,CAAC;IAE3B,qCAAqC;IACrC,MAAM,eAAe,GAAG,iBAAiB,CAAC,YAAY,CAAC,CAAC;IACxD,MAAM,CAAC,IAAI,CAAC,GAAG,eAAe,CAAC,CAAC;IAEhC,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACtB,OAAO,aAAa,CAAC,MAAM,CAAC,CAAC;IAC/B,CAAC;IAED,OAAO,WAAW,EAAE,CAAC;AACvB,CAAC;AAED;;GAEG;AACH,SAAS,sBAAsB,CAC7B,MAAkD,EAClD,WAAwB;IAExB,MAAM,MAAM,GAAsB,EAAE,CAAC;IAErC,KAAK,MAAM,CAAC,UAAU,EAAE,MAAM,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC;QAClE,MAAM,KAAK,GAAG,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QACxC,KAAK,MAAM,QAAQ,IAAI,KAAK,EAAE,CAAC;YAC7B,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;gBAC/B,MAAM,CAAC,IAAI,CAAC;oBACV,IAAI,EAAE,OAAO;oBACb,OAAO,EAAE,4BAA4B,QAAQ,gBAAgB,UAAU,GAAG;oBAC1E,IAAI,EAAE,WAAW,UAAU,EAAE;iBAC9B,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;GAEG;AACH,SAAS,YAAY,CAAC,IAA0C;IAC9D,MAAM,KAAK,GAAa,EAAE,CAAC;IAE3B,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,MAAM;YACT,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACtB,MAAM;QACR,KAAK,KAAK;YACR,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;gBAC9B,KAAK,CAAC,IAAI,CAAC,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC;YACpC,CAAC;YACD,MAAM;QACR,KAAK,IAAI;YACP,KAAK,CAAC,IAAI,CAAC,GAAG,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;YACvC,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;gBACd,KAAK,CAAC,IAAI,CAAC,GAAG,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;YACzC,CAAC;YACD,MAAM;IACV,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;GAEG;AACH,SAAS,iBAAiB,CACxB,MAAkD;IAElD,MAAM,MAAM,GAAsB,EAAE,CAAC;IAErC,mBAAmB;IACnB,MAAM,KAAK,GAAG,IAAI,GAAG,EAAoB,CAAC;IAC1C,KAAK,MAAM,CAAC,UAAU,EAAE,MAAM,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC;QAClE,KAAK,CAAC,GAAG,CAAC,UAAU,EAAE,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;IACnD,CAAC;IAED,0BAA0B;IAC1B,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,MAAM,cAAc,GAAG,IAAI,GAAG,EAAU,CAAC;IAEzC,SAAS,GAAG,CAAC,IAAY,EAAE,IAAc;QACvC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAClB,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAEzB,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;QACnC,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;YACvB,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;gBACtB,IAAI,GAAG,CAAC,GAAG,EAAE,CAAC,GAAG,IAAI,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC;oBAC7B,OAAO,IAAI,CAAC;gBACd,CAAC;YACH,CAAC;iBAAM,IAAI,cAAc,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;gBACnC,MAAM,CAAC,IAAI,CAAC;oBACV,IAAI,EAAE,OAAO;oBACb,OAAO,EAAE,yBAAyB,CAAC,GAAG,IAAI,EAAE,GAAG,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE;oBAC/D,IAAI,EAAE,WAAW,IAAI,EAAE;iBACxB,CAAC,CAAC;gBACH,OAAO,IAAI,CAAC;YACd,CAAC;QACH,CAAC;QAED,cAAc,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QAC5B,OAAO,KAAK,CAAC;IACf,CAAC;IAED,KAAK,MAAM,UAAU,IAAI,KAAK,CAAC,IAAI,EAAE,EAAE,CAAC;QACtC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC;YAC7B,GAAG,CAAC,UAAU,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC;QAChC,CAAC;IACH,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC"}
+{"version":3,"file":"validate.js","sourceRoot":"","sources":["../../src/core/validate.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AAEnD,OAAO,EAAE,WAAW,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AACjE,OAAO,EAAE,oBAAoB,EAAE,eAAe,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AAC1F,OAAO,EAAE,KAAK,EAAE,MAAM,qBAAqB,CAAC;AAC5C,OAAO,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAC;AAClD,OAAO,EACL,eAAe,EACf,aAAa,EACb,uBAAuB,EACvB,uBAAuB,EACvB,qBAAqB,EACrB,wBAAwB,EACxB,qBAAqB,GACtB,MAAM,uBAAuB,CAAC;AAE/B;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,QAAQ,CAAC,MAAe;IACtC,MAAM,MAAM,GAAsB,EAAE,CAAC;IAErC,kCAAkC;IAClC,MAAM,WAAW,GAAG,YAAY,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;IACnD,IAAI,CAAC,WAAW,CAAC,OAAO,EAAE,CAAC;QACzB,MAAM,SAAS,GAAG,WAAW,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YACrD,IAAI,EAAE,cAAc;YACpB,OAAO,EAAE,CAAC,CAAC,OAAO;YAClB,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC;SACnC,CAAC,CAAC,CAAC;QACJ,OAAO,aAAa,CAAC,SAAS,CAAC,CAAC;IAClC,CAAC;IAED,MAAM,YAAY,GAAG,WAAW,CAAC,IAAI,CAAC;IAEtC,IAAI,CAAC,eAAe,CAAC,YAAY,CAAC,EAAE,CAAC,EAAE,CAAC;QACtC,MAAM,CAAC,IAAI,CAAC;YACV,IAAI,EAAE,cAAc;YACpB,OAAO,EAAE,uCAAuC;YAChD,IAAI,EAAE,IAAI;SACX,CAAC,CAAC;IACL,CAAC;IAED,IAAI,CAAC,aAAa,CAAC,YAAY,CAAC,OAAO,CAAC,EAAE,CAAC;QACzC,MAAM,CAAC,IAAI,CAAC;YACV,IAAI,EAAE,cAAc;YACpB,OAAO,EAAE,oDAAoD;YAC7D,IAAI,EAAE,SAAS;SAChB,CAAC,CAAC;IACL,CAAC;IAED,MAAM,UAAU,GAAG,YAAY,CAAC,IAAI,CAAC;IACrC,IAAI,CAAC,UAAU,EAAE,CAAC;QAChB,MAAM,CAAC,IAAI,CAAC;YACV,IAAI,EAAE,cAAc;YACpB,OAAO,EAAE,yBAAyB;YAClC,IAAI,EAAE,MAAM;SACb,CAAC,CAAC;IACL,CAAC;SAAM,CAAC;QACN,MAAM,SAAS,GAAG,MAAiC,CAAC;QACpD,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,iBAAiB,EAAE,GAAG,SAAS,CAAC;QACxD,MAAM,YAAY,GAAG,cAAc,CAAC,iBAA+C,CAAC,CAAC;QACrF,IAAI,UAAU,KAAK,YAAY,EAAE,CAAC;YAChC,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI,EAAE,OAAO;gBACb,OAAO,EAAE,kCAAkC,YAAY,SAAS,UAAU,EAAE;gBAC5E,IAAI,EAAE,MAAM;aACb,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,IAAI,MAAM,CAAC,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACxD,MAAM,CAAC,IAAI,CAAC;YACV,IAAI,EAAE,cAAc;YACpB,OAAO,EAAE,oCAAoC;YAC7C,IAAI,EAAE,cAAc;SACrB,CAAC,CAAC;IACL,CAAC;IAED,IAAI,MAAM,CAAC,IAAI,CAAC,YAAY,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC3D,MAAM,CAAC,IAAI,CAAC;YACV,IAAI,EAAE,cAAc;YACpB,OAAO,EAAE,uCAAuC;YAChD,IAAI,EAAE,iBAAiB;SACxB,CAAC,CAAC;IACL,CAAC;IAED,IAAI,MAAM,CAAC,IAAI,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACnD,MAAM,CAAC,IAAI,CAAC;YACV,IAAI,EAAE,cAAc;YACpB,OAAO,EAAE,2BAA2B;YACpC,IAAI,EAAE,SAAS;SAChB,CAAC,CAAC;IACL,CAAC;IAED,MAAM,CAAC,IAAI,CAAC,GAAG,qBAAqB,CAAC,YAAY,CAAC,KAAK,EAAE,cAAc,CAAC,CAAC,CAAC;IAE1E,MAAM,CAAC,IAAI,CAAC,GAAG,oBAAoB,CAAC,YAAY,CAAC,CAAC,CAAC;IAEnD,MAAM,CAAC,IAAI,CAAC,GAAG,yBAAyB,CAAC,YAAY,CAAC,CAAC,CAAC;IAExD,MAAM,CAAC,IAAI,CAAC,GAAG,4BAA4B,CAAC,YAAY,CAAC,CAAC,CAAC;IAE3D,MAAM,CAAC,IAAI,CAAC,GAAG,uBAAuB,CAAC,YAAY,CAAC,CAAC,CAAC;IAEtD,oDAAoD;IACpD,MAAM,QAAQ,GAAG,oBAAoB,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC;IAC7D,MAAM,UAAU,GAAG,eAAe,CAAC,QAAQ,CAAC,CAAC;IAC7C,IAAI,KAAK,CAAC,UAAU,CAAC,EAAE,CAAC;QACtB,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;IAChC,CAAC;IAED,gDAAgD;IAChD,MAAM,MAAM,GAAG,YAAY,CAAC,QAAQ,CAAC,CAAC;IACtC,IAAI,MAAM,EAAE,CAAC;QACX,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;YAC3B,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI,EAAE,OAAO;gBACb,OAAO,EAAE,sBAAsB,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE;gBACnD,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC;aACf,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,yCAAyC;IACzC,MAAM,WAAW,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC;IAC/D,MAAM,UAAU,GAAG,sBAAsB,CAAC,YAAY,EAAE,WAAW,CAAC,CAAC;IACrE,MAAM,CAAC,IAAI,CAAC,GAAG,UAAU,CAAC,CAAC;IAE3B,qCAAqC;IACrC,MAAM,eAAe,GAAG,iBAAiB,CAAC,YAAY,CAAC,CAAC;IACxD,MAAM,CAAC,IAAI,CAAC,GAAG,eAAe,CAAC,CAAC;IAEhC,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACtB,OAAO,aAAa,CAAC,MAAM,CAAC,CAAC;IAC/B,CAAC;IAED,OAAO,WAAW,EAAE,CAAC;AACvB,CAAC;AAED;;GAEG;AACH,SAAS,sBAAsB,CAC7B,MAAkD,EAClD,WAAwB;IAExB,MAAM,MAAM,GAAsB,EAAE,CAAC;IAErC,KAAK,MAAM,CAAC,UAAU,EAAE,MAAM,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC;QAClE,MAAM,KAAK,GAAG,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QACxC,KAAK,MAAM,QAAQ,IAAI,KAAK,EAAE,CAAC;YAC7B,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;gBAC/B,MAAM,CAAC,IAAI,CAAC;oBACV,IAAI,EAAE,OAAO;oBACb,OAAO,EAAE,4BAA4B,QAAQ,gBAAgB,UAAU,GAAG;oBAC1E,IAAI,EAAE,WAAW,UAAU,EAAE;iBAC9B,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;GAEG;AACH,SAAS,YAAY,CAAC,IAA0C;IAC9D,MAAM,KAAK,GAAa,EAAE,CAAC;IAE3B,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,MAAM;YACT,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACtB,MAAM;QACR,KAAK,KAAK;YACR,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;gBAC9B,KAAK,CAAC,IAAI,CAAC,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC;YACpC,CAAC;YACD,MAAM;QACR,KAAK,IAAI;YACP,KAAK,CAAC,IAAI,CAAC,GAAG,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;YACvC,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;gBACd,KAAK,CAAC,IAAI,CAAC,GAAG,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;YACzC,CAAC;YACD,MAAM;IACV,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;GAEG;AACH,SAAS,iBAAiB,CACxB,MAAkD;IAElD,MAAM,MAAM,GAAsB,EAAE,CAAC;IAErC,mBAAmB;IACnB,MAAM,KAAK,GAAG,IAAI,GAAG,EAAoB,CAAC;IAC1C,KAAK,MAAM,CAAC,UAAU,EAAE,MAAM,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC;QAClE,KAAK,CAAC,GAAG,CAAC,UAAU,EAAE,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;IACnD,CAAC;IAED,0BAA0B;IAC1B,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,MAAM,cAAc,GAAG,IAAI,GAAG,EAAU,CAAC;IAEzC,SAAS,GAAG,CAAC,IAAY,EAAE,IAAc;QACvC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAClB,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAEzB,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;QACnC,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;YACvB,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;gBACtB,IAAI,GAAG,CAAC,GAAG,EAAE,CAAC,GAAG,IAAI,EAAE,GAAG,CAAC,CAAC,EAAE,CAAC;oBAC7B,OAAO,IAAI,CAAC;gBACd,CAAC;YACH,CAAC;iBAAM,IAAI,cAAc,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;gBACnC,MAAM,CAAC,IAAI,CAAC;oBACV,IAAI,EAAE,OAAO;oBACb,OAAO,EAAE,yBAAyB,CAAC,GAAG,IAAI,EAAE,GAAG,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE;oBAC/D,IAAI,EAAE,WAAW,IAAI,EAAE;iBACxB,CAAC,CAAC;gBACH,OAAO,IAAI,CAAC;YACd,CAAC;QACH,CAAC;QAED,cAAc,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QAC5B,OAAO,KAAK,CAAC;IACf,CAAC;IAED,KAAK,MAAM,UAAU,IAAI,KAAK,CAAC,IAAI,EAAE,EAAE,CAAC;QACtC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC;YAC7B,GAAG,CAAC,UAAU,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC;QAChC,CAAC;IACH,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,qBAAqB,CAC5B,KAA6C,EAC7C,QAAgB;IAEhB,MAAM,MAAM,GAAsB,EAAE,CAAC;IAErC,MAAM,KAAK,GAAG,CACZ,IAA4C,EAC5C,IAAY,EACZ,EAAE;QACF,IAAI,CAAC,IAAI,CAAC,QAAQ,IAAI,IAAI,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;YACjD,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI,EAAE,cAAc;gBACpB,OAAO,EAAE,6CAA6C;gBACtD,IAAI;aACL,CAAC,CAAC;QACL,CAAC;QAED,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;YAC1C,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;gBACxD,KAAK,CAAC,KAAK,EAAE,GAAG,IAAI,IAAI,IAAI,EAAE,CAAC,CAAC;YAClC,CAAC;QACH,CAAC;QAED,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;YACxC,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,IAAI,IAAI,CAAC,CAAC;QACjC,CAAC;IACH,CAAC,CAAC;IAEF,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC;QACzD,KAAK,CAAC,KAAK,EAAE,GAAG,QAAQ,IAAI,IAAI,EAAE,CAAC,CAAC;IACtC,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,oBAAoB,CAC3B,MAAkD;IAElD,MAAM,MAAM,GAAsB,EAAE,CAAC;IAErC,KAAK,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;QAClE,KAAK,MAAM,GAAG,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;YAC5B,MAAM,MAAM,GACV,wBAAwB,CAAC,MAAM,CAAC,QAAQ,EAAE,GAAG,CAAC;gBAC9C,qBAAqB,CAAC,MAAM,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;YAC3C,IAAI,CAAC,MAAM,EAAE,CAAC;gBACZ,MAAM,CAAC,IAAI,CAAC;oBACV,IAAI,EAAE,OAAO;oBACb,OAAO,EAAE,4BAA4B,GAAG,EAAE;oBAC1C,IAAI,EAAE,mBAAmB,IAAI,EAAE;iBAChC,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,yBAAyB,CAChC,MAAkD;IAElD,MAAM,MAAM,GAAsB,EAAE,CAAC;IAErC,KAAK,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;QAClE,MAAM,SAAS,GAAG,uBAAuB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACrD,MAAM,YAAY,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC,QAAQ,EAAE,EAAE;YACjD,IAAI,QAAQ,CAAC,UAAU,CAAC,GAAG,CAAC;gBAAE,OAAO,KAAK,CAAC;YAC3C,IAAI,QAAQ,CAAC,UAAU,CAAC,WAAW,CAAC,EAAE,CAAC;gBACrC,OAAO,CAAC,wBAAwB,CAAC,MAAM,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;YAC9D,CAAC;YACD,IAAI,QAAQ,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC;gBAClC,OAAO,IAAI,CAAC;YACd,CAAC;YACD,IAAI,QAAQ,CAAC,UAAU,CAAC,SAAS,CAAC,EAAE,CAAC;gBACnC,OAAO,IAAI,CAAC;YACd,CAAC;YACD,OAAO,CAAC,qBAAqB,CAAC,MAAM,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;QACxD,CAAC,CAAC,CAAC;QAEH,KAAK,MAAM,QAAQ,IAAI,YAAY,EAAE,CAAC;YACpC,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI,EAAE,OAAO;gBACb,OAAO,EAAE,wCAAwC,QAAQ,EAAE;gBAC3D,IAAI,EAAE,mBAAmB,IAAI,EAAE;aAChC,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,4BAA4B,CACnC,MAAkD;IAElD,MAAM,MAAM,GAAsB,EAAE,CAAC;IAErC,KAAK,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;QAClE,MAAM,SAAS,GAAG,uBAAuB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACrD,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAChC,MAAM,aAAa,GAAG,IAAI,GAAG,CAC3B,SAAS,CAAC,MAAM,CAAC,CAAC,QAAQ,EAAE,EAAE;YAC5B,IAAI,QAAQ,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;gBAC7B,OAAO,KAAK,CAAC;YACf,CAAC;YACD,IAAI,QAAQ,KAAK,OAAO,IAAI,QAAQ,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC;gBAC1D,OAAO,KAAK,CAAC;YACf,CAAC;YACD,IAAI,QAAQ,KAAK,QAAQ,IAAI,QAAQ,CAAC,UAAU,CAAC,SAAS,CAAC,EAAE,CAAC;gBAC5D,OAAO,KAAK,CAAC;YACf,CAAC;YACD,IAAI,QAAQ,KAAK,MAAM,IAAI,QAAQ,CAAC,UAAU,CAAC,OAAO,CAAC,EAAE,CAAC;gBACxD,OAAO,KAAK,CAAC;YACf,CAAC;YACD,IAAI,QAAQ,CAAC,UAAU,CAAC,WAAW,CAAC,EAAE,CAAC;gBACrC,OAAO,wBAAwB,CAAC,MAAM,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;YAC7D,CAAC;YACD,OAAO,qBAAqB,CAAC,MAAM,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;QACvD,CAAC,CAAC,CACH,CAAC;QAEF,KAAK,MAAM,QAAQ,IAAI,aAAa,EAAE,CAAC;YACrC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC;gBACxB,MAAM,CAAC,IAAI,CAAC;oBACV,IAAI,EAAE,OAAO;oBACb,OAAO,EAAE,oDAAoD,QAAQ,EAAE;oBACvE,IAAI,EAAE,mBAAmB,IAAI,EAAE;iBAChC,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,uBAAuB,CAC9B,MAAkD;IAElD,MAAM,MAAM,GAAsB,EAAE,CAAC;IAErC,KAAK,MAAM,CAAC,UAAU,EAAE,MAAM,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC;QAClE,MAAM,SAAS,GAAG;YAChB,GAAG,uBAAuB,CAAC,MAAM,CAAC,IAAI,CAAC;YACvC,GAAG,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,uBAAuB,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;SACvE,CAAC;QAEF,KAAK,MAAM,QAAQ,IAAI,SAAS,EAAE,CAAC;YACjC,IAAI,QAAQ,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;gBAC7B,SAAS;YACX,CAAC;YAED,IAAI,QAAQ,KAAK,OAAO,IAAI,QAAQ,CAAC,UAAU,CAAC,QAAQ,CAAC,EAAE,CAAC;gBAC1D,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;oBACjB,MAAM,OAAO,GAAG,QAAQ,KAAK,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;oBAC9D,IAAI,CAAC,qBAAqB,CAAC,MAAM,CAAC,KAAK,EAAE,OAAO,CAAC,EAAE,CAAC;wBAClD,MAAM,CAAC,IAAI,CAAC;4BACV,IAAI,EAAE,OAAO;4BACb,OAAO,EAAE,uBAAuB,QAAQ,EAAE;4BAC1C,IAAI,EAAE,WAAW,UAAU,EAAE;yBAC9B,CAAC,CAAC;oBACL,CAAC;gBACH,CAAC;gBACD,SAAS;YACX,CAAC;YAED,IAAI,QAAQ,CAAC,UAAU,CAAC,WAAW,CAAC,EAAE,CAAC;gBACrC,IAAI,CAAC,wBAAwB,CAAC,MAAM,CAAC,QAAQ,EAAE,QAAQ,CAAC,EAAE,CAAC;oBACzD,MAAM,CAAC,IAAI,CAAC;wBACV,IAAI,EAAE,OAAO;wBACb,OAAO,EAAE,0BAA0B,QAAQ,EAAE;wBAC7C,IAAI,EAAE,WAAW,UAAU,EAAE;qBAC9B,CAAC,CAAC;gBACL,CAAC;gBACD,SAAS;YACX,CAAC;YAED,IAAI,QAAQ,CAAC,UAAU,CAAC,SAAS,CAAC,EAAE,CAAC;gBACnC,SAAS;YACX,CAAC;YAED,IAAI,QAAQ,KAAK,MAAM,IAAI,QAAQ,CAAC,UAAU,CAAC,OAAO,CAAC,EAAE,CAAC;gBACxD,SAAS;YACX,CAAC;YAED,IAAI,CAAC,qBAAqB,CAAC,MAAM,CAAC,KAAK,EAAE,QAAQ,CAAC,EAAE,CAAC;gBACnD,MAAM,CAAC,IAAI,CAAC;oBACV,IAAI,EAAE,OAAO;oBACb,OAAO,EAAE,uBAAuB,QAAQ,EAAE;oBAC1C,IAAI,EAAE,WAAW,UAAU,EAAE;iBAC9B,CAAC,CAAC;YACL,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC"}

package/dist/core/validate.test.js

@@ -1,15 +1,63 @@
 import { describe, it, expect } from "vitest";
 import { validate } from "./validate.js";
+import { hashSchemaSync } from "../utils/hash.js";
+const BASE_STATE_FIELDS = {
+    dummy: { type: "string", required: true },
+    a: { type: "number", required: true },
+    b: { type: "number", required: true },
+    x: { type: "number", required: true },
+    count: { type: "number", required: true },
+    balance: { type: "number", required: true },
+    flag: { type: "boolean", required: true },
+    result: { type: "string", required: true },
+    items: {
+        type: "array",
+        required: true,
+        items: {
+            type: "object",
+            required: true,
+            fields: {
+                active: { type: "boolean", required: true },
+            },
+        },
+    },
+};
+const BASE_COMPUTED_FIELDS = {
+    "computed.dummy": {
+        expr: { kind: "get", path: "dummy" },
+        deps: ["dummy"],
+    },
+};
+const BASE_ACTIONS = {
+    noop: { flow: { kind: "halt", reason: "noop" } },
+};
 // Helper to create a valid minimal schema
 function createValidSchema(overrides = {}) {
-    return {
-        id: "test",
+    const { state, computed, actions: overrideActions, hash, types, ...restOverrides } = overrides;
+    const stateFields = {
+        ...BASE_STATE_FIELDS,
+        ...(state?.fields ?? {}),
+    };
+    const computedFields = {
+        ...BASE_COMPUTED_FIELDS,
+        ...(computed?.fields ?? {}),
+    };
+    const actions = {
+        ...BASE_ACTIONS,
+        ...(overrideActions ?? {}),
+    };
+    const schemaWithoutHash = {
+        id: "manifesto:test",
         version: "1.0.0",
-        hash: "test-hash",
-        state: { fields: {} },
-        computed: { fields: {} },
-        actions: {},
-        ...overrides,
+        ...restOverrides,
+        types: types ?? {},
+        state: { fields: stateFields },
+        computed: { fields: computedFields },
+        actions,
+    };
+    return {
+        ...schemaWithoutHash,
+        hash: hash ?? hashSchemaSync(schemaWithoutHash),
     };
 }
 describe("validate", () => {
@@ -32,7 +80,7 @@ describe("validate", () => {
         });
         it("should reject schema with invalid version format", () => {
             const result = validate({
-                id: "test",
+                id: "manifesto:test",
                 version: 123, // Should be string
                 hash: "test-hash",
                 state: { fields: {} },
@@ -41,6 +89,58 @@ describe("validate", () => {
             });
             expect(result.valid).toBe(false);
         });
+        it("should reject schema with invalid id", () => {
+            const schema = createValidSchema({ id: "not-a-uri" });
+            const result = validate(schema);
+            expect(result.valid).toBe(false);
+            expect(result.errors.some((e) => e.path === "id")).toBe(true);
+        });
+        it("should reject schema with invalid semver", () => {
+            const schema = createValidSchema({ version: "1.0" });
+            const result = validate(schema);
+            expect(result.valid).toBe(false);
+            expect(result.errors.some((e) => e.path === "version")).toBe(true);
+        });
+        it("should reject schema with empty computed fields", () => {
+            const schema = createValidSchema();
+            schema.computed = { fields: {} };
+            const result = validate(schema);
+            expect(result.valid).toBe(false);
+            expect(result.errors.some((e) => e.path === "computed.fields")).toBe(true);
+        });
+        it("should reject schema with hash mismatch", () => {
+            const schema = createValidSchema({ hash: "bad-hash" });
+            const result = validate(schema);
+            expect(result.valid).toBe(false);
+            expect(result.errors.some((e) => e.code === "V-008")).toBe(true);
+        });
+        it("should accept schemas with extra compiler fields when hash matches raw canonical", () => {
+            const schemaWithoutHash = {
+                id: "manifesto:test",
+                version: "1.0.0",
+                state: { fields: BASE_STATE_FIELDS },
+                computed: { fields: BASE_COMPUTED_FIELDS },
+                actions: BASE_ACTIONS,
+                types: {
+                    CustomType: {
+                        name: "CustomType",
+                        definition: {
+                            kind: "object",
+                            fields: {
+                                a: { type: { kind: "primitive", type: "string" }, optional: false },
+                                b: { type: { kind: "primitive", type: "number" }, optional: false },
+                            },
+                        },
+                    },
+                },
+            };
+            const schema = {
+                ...schemaWithoutHash,
+                hash: hashSchemaSync(schemaWithoutHash),
+            };
+            const result = validate(schema);
+            expect(result.valid).toBe(true);
+        });
     });
     describe("Computed Field Validation", () => {
         it("should validate schema with computed fields", () => {
@@ -57,6 +157,53 @@ describe("validate", () => {
             const result = validate(schema);
             expect(result.valid).toBe(true);
         });
+        it("should require deps to cover all expression paths", () => {
+            const schema = createValidSchema({
+                computed: {
+                    fields: {
+                        "computed.sum": {
+                            expr: { kind: "add", left: { kind: "get", path: "a" }, right: { kind: "get", path: "b" } },
+                            deps: ["a"],
+                        },
+                    },
+                },
+            });
+            const result = validate(schema);
+            expect(result.valid).toBe(false);
+            expect(result.errors.some((e) => e.message.includes("Missing dependency"))).toBe(true);
+        });
+        it("should reject deps with unknown paths", () => {
+            const schema = createValidSchema({
+                computed: {
+                    fields: {
+                        "computed.sum": {
+                            expr: { kind: "get", path: "a" },
+                            deps: ["a", "missing.path"],
+                        },
+                    },
+                },
+            });
+            const result = validate(schema);
+            expect(result.valid).toBe(false);
+            expect(result.errors.some((e) => e.code === "V-001")).toBe(true);
+            expect(result.errors.some((e) => e.message.includes("missing.path"))).toBe(true);
+        });
+        it("should reject computed expressions that read system paths", () => {
+            const schema = createValidSchema({
+                computed: {
+                    fields: {
+                        "computed.invalid": {
+                            expr: { kind: "get", path: "system.status" },
+                            deps: ["dummy"],
+                        },
+                    },
+                },
+            });
+            const result = validate(schema);
+            expect(result.valid).toBe(false);
+            expect(result.errors.some((e) => e.code === "V-003")).toBe(true);
+            expect(result.errors.some((e) => e.message.includes("system.status"))).toBe(true);
+        });
         it("should detect cyclic dependencies in computed fields (V-002)", () => {
             const schema = createValidSchema({
                 computed: {
@@ -175,6 +322,47 @@ describe("validate", () => {
             const result = validate(schema);
             expect(result.valid).toBe(true);
         });
+        it("should allow meta paths in action flow", () => {
+            const schema = createValidSchema({
+                actions: {
+                    mark: {
+                        flow: {
+                            kind: "patch",
+                            op: "set",
+                            path: "dummy",
+                            value: { kind: "get", path: "meta.intentId" },
+                        },
+                    },
+                },
+            });
+            const result = validate(schema);
+            expect(result.valid).toBe(true);
+        });
+        it("should reject unknown input paths in action expressions", () => {
+            const schema = createValidSchema({
+                actions: {
+                    update: {
+                        input: {
+                            type: "object",
+                            required: true,
+                            fields: {
+                                value: { type: "string", required: true },
+                            },
+                        },
+                        flow: {
+                            kind: "patch",
+                            op: "set",
+                            path: "dummy",
+                            value: { kind: "get", path: "input.missing" },
+                        },
+                    },
+                },
+            });
+            const result = validate(schema);
+            expect(result.valid).toBe(false);
+            expect(result.errors.some((e) => e.code === "V-003")).toBe(true);
+            expect(result.errors.some((e) => e.message.includes("input.missing"))).toBe(true);
+        });
     });
     describe("Call Reference Validation (V-004)", () => {
         it("should detect unknown call references", () => {