@manifesto-ai/core 0.2.0 → 1.0.0

package/dist/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAGH,OAAO,EAEL,KAAK,YAAY,EACjB,KAAK,YAAY,EACjB,KAAK,YAAY,EACjB,KAAK,WAAW,EAChB,KAAK,gBAAgB,EACrB,KAAK,iBAAiB,EACtB,KAAK,eAAe,EACpB,KAAK,gBAAgB,EACrB,KAAK,kBAAkB,EACvB,KAAK,eAAe,EACpB,KAAK,UAAU,EACf,KAAK,eAAe,EACpB,KAAK,eAAe,EACpB,KAAK,gBAAgB,EAErB,YAAY,EACZ,YAAY,EACZ,aAAa,EACb,WAAW,EACX,YAAY,EACZ,WAAW,EACX,SAAS,EAET,cAAc,GACf,MAAM,mBAAmB,CAAC;AAG3B,OAAO,EAEL,KAAK,UAAU,EACf,KAAK,iBAAiB,EACtB,KAAK,WAAW,EAChB,KAAK,OAAO,EACZ,KAAK,cAAc,EACnB,KAAK,WAAW,EAChB,KAAK,cAAc,EACnB,KAAK,eAAe,EACpB,KAAK,QAAQ,EACb,KAAK,OAAO,EACZ,KAAK,QAAQ,EACb,KAAK,QAAQ,EACb,KAAK,MAAM,EACX,KAAK,MAAM,EAEX,iBAAiB,EACjB,SAAS,EACT,YAAY,EACZ,mBAAmB,EACnB,eAAe,EACf,kBAAkB,EAElB,QAAQ,EACR,KAAK,UAAU,EAEf,iBAAiB,EACjB,gBAAgB,EAChB,oBAAoB,EACpB,mBAAmB,EACnB,kBAAkB,EAClB,uBAAuB,EACvB,KAAK,kBAAkB,GACxB,MAAM,uBAAuB,CAAC;AAG/B,OAAO,EAEL,KAAK,MAAM,EACX,KAAK,cAAc,EACnB,KAAK,cAAc,EACnB,KAAK,aAAa,EAClB,KAAK,cAAc,EACnB,KAAK,WAAW,EAChB,KAAK,cAAc,EACnB,KAAK,cAAc,EACnB,KAAK,iBAAiB,EACtB,KAAK,WAAW,EAChB,KAAK,eAAe,EACpB,KAAK,SAAS,EACd,QAAQ,EACR,cAAc,EAEd,KAAK,MAAM,EACX,KAAK,WAAW,EAChB,EAAE,EACF,GAAG,EACH,WAAW,EACX,IAAI,EACJ,KAAK,EACL,MAAM,EACN,QAAQ,EACR,SAAS,EACT,GAAG,EACH,MAAM,EACN,OAAO,EACP,OAAO,EACP,GAAG,EACH,GAAG,EACH,WAAW,EACX,QAAQ,EAER,SAAS,EACT,QAAQ,EACR,QAAQ,EACR,OAAO,EACP,QAAQ,EACR,KAAK,EACL,QAAQ,EACR,QAAQ,EACR,WAAW,EACX,WAAW,EACX,SAAS,EACT,KAAK,aAAa,EAClB,KAAK,kBAAkB,EACvB,KAAK,YAAY,GAClB,MAAM,mBAAmB,CAAC;AAG3B,OAAO,EAEL,KAAK,eAAe,EACpB,KAAK,OAAO,EACZ,KAAK,UAAU,EACf,KAAK,WAAW,EAChB,KAAK,SAAS,EAEd,oBAAoB,EACpB,qBAAqB,EACrB,mBAAmB,EACnB,kBAAkB,EAClB,gBAAgB,EAChB,QAAQ,EACR,QAAQ,EAER,iCAAiC,EACjC,aAAa,EACb,sBAAsB,EACtB,sBAAsB,EACtB,gBAAgB,EAChB,KAAK,qBAAqB,EAE1B,SAAS,EACT,oBAAoB,EACpB,aAAa,EACb,yBAAyB,EACzB,KAAK,iBAAiB,EACtB,KAAK,YAAY,GAClB,MAAM,gBAAgB,CAAC;AAGxB,OAAO,EAEL,KAAK,cAAc,EACnB,cAAc,EACd,aAAa,EACb,cAAc,EACd,cAAc,EACd,aAAa,EAEb,KAAK,gBAAgB,EACrB,KAAK,YAAY,EACjB,KAAK,aAAa,EAClB,KAAK,WAAW,EAChB,KAAK,WAAW,EAChB,mBAAmB,EACnB,mBAAmB,EAEnB,KAAK,aAAa,EAClB,KAAK,kBAAkB,EACvB,KAAK,mBAAmB,EACxB,KAAK,eAAe,EACpB,KAAK,eAAe,EACpB,KAAK,oBAAoB,EACzB,aAAa,GACd,MAAM,oBAAoB,CAAC;AAG5B,OAAO,EAEL,oBAAoB,EACpB,wBAAwB,EACxB,uBAAuB,EACvB,+BAA+B,EAC/B,+BAA+B,EAC/B,KAAK,4BAA4B,EACjC,KAAK,kBAAkB,EAEvB,mBAAmB,EACnB,eAAe,EACf,8BAA8B,EAC9B,6BAA6B,EAC7B,kBAAkB,EAClB,KAAK,qBAAqB,EAC1B,KAAK,yBAAyB,EAC9B,KAAK,YAAY,GAClB,MAAM,mBAAmB,CAAC;AAG3B,OAAO,EAEL,cAAc,EACd,aAAa,EACb,WAAW,EACX,gBAAgB,EAChB,iBAAiB,EACjB,YAAY,EAEZ,0BAA0B,EAC1B,aAAa,EACb,eAAe,EACf,kBAAkB,EAClB,cAAc,EACd,aAAa,EACb,sBAAsB,EACtB,qBAAqB,EACrB,gBAAgB,EAChB,SAAS,EACT,WAAW,EACX,cAAc,GACf,MAAM,mBAAmB,CAAC;AAG3B,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAIH,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AACvD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,sBAAsB,CAAC;AACrD,OAAO,KAAK,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAC;AACvD,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AACvD,OAAO,KAAK,EAAE,aAAa,EAAE,gBAAgB,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AAEzF,OAAO,EAAE,OAAO,EAAE,MAAM,mBAAmB,CAAC;AAC5C,OAAO,EAAE,KAAK,EAAE,MAAM,iBAAiB,CAAC;AACxC,OAAO,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAC;AAC9C,OAAO,EAAE,OAAO,EAAE,MAAM,mBAAmB,CAAC;AAE5C;;GAEG;AACH,MAAM,WAAW,aAAa;IAC5B;;;;;OAKG;IACH,OAAO,CACL,MAAM,EAAE,YAAY,EACpB,QAAQ,EAAE,QAAQ,EAClB,MAAM,EAAE,MAAM,GACb,OAAO,CAAC,aAAa,CAAC,CAAC;IAE1B;;;OAGG;IACH,KAAK,CACH,MAAM,EAAE,YAAY,EACpB,QAAQ,EAAE,QAAQ,EAClB,OAAO,EAAE,SAAS,KAAK,EAAE,GACxB,QAAQ,CAAC;IAEZ;;OAEG;IACH,QAAQ,CAAC,MAAM,EAAE,OAAO,GAAG,gBAAgB,CAAC;IAE5C;;OAEG;IACH,OAAO,CACL,MAAM,EAAE,YAAY,EACpB,QAAQ,EAAE,QAAQ,EAClB,IAAI,EAAE,YAAY,GACjB,aAAa,CAAC;CAClB;AAED;;GAEG;AACH,wBAAgB,UAAU,IAAI,aAAa,CAO1C;AAKD,cAAc,mBAAmB,CAAC;AAGlC,cAAc,kBAAkB,CAAC;AAGjC,cAAc,sBAAsB,CAAC;AAGrC,cAAc,aAAa,CAAC;AAG5B,cAAc,gBAAgB,CAAC;AAG/B,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC"}

package/dist/index.js

@@ -1,51 +1,36 @@
 /**
  * @manifesto-ai/core
  *
- * AI Native Semantic Layer for SaaS Business Logic
+ * Manifesto Core - A Pure Semantic Calculator for Domain State
  *
- * Manifesto는 SaaS 비즈니스 로직을 의미론적 주소 공간(Semantic Path Space)으로 선언하여,
- * AI Agent가 UI를 이해하고 안전하게 조작할 수 있게 하는 AI Native Semantic Layer입니다.
+ * Core computes. Host executes. These concerns never mix.
  */
-// Domain - 도메인 정의 및 타입
-export { 
-// Helpers
-defineDomain, defineSource, defineDerived, defineAsync, defineAction, fieldPolicy, condition, 
-// Validation
-validateDomain, } from './domain/index.js';
-// Expression - DSL 표현식
-export { 
-// Parser
-isValidExpression, isGetExpr, extractPaths, stringifyExpression, parseExpression, expressionToString, 
-// Evaluator
-evaluate, 
-// Analyzer
-analyzeExpression, isPureExpression, isConstantExpression, areExpressionsEqual, optimizeExpression, substitutePathWithValue, } from './expression/index.js';
-// Effect - 부수효과 시스템
-export { isEffect, isEffectOfType, ok, err, effectError, isOk, isErr, unwrap, unwrapOr, unwrapErr, map, mapErr, flatMap, flatten, all, any, fromPromise, tryCatch, 
-// Runner
-runEffect, setValue, setState, apiCall, navigate, delay, sequence, parallel, conditional, catchEffect, emitEvent, } from './effect/index.js';
-// DAG - 의존성 그래프
-export { 
-// Graph
-buildDependencyGraph, getDirectDependencies, getDirectDependents, getAllDependencies, getAllDependents, hasCycle, findPath, 
-// Topological
-topologicalSortWithCycleDetection, getLevelOrder, reverseTopologicalSort, partialTopologicalSort, getAffectedOrder, 
-// Propagation
-propagate, propagateAsyncResult, analyzeImpact, createDebouncedPropagator, } from './dag/index.js';
-// Runtime - 도메인 실행 엔진
-export { createSnapshot, cloneSnapshot, getValueByPath, setValueByPath, diffSnapshots, SubscriptionManager, createBatchNotifier, createRuntime, } from './runtime/index.js';
-// Policy - 정책 평가
-export { 
-// Precondition
-evaluatePrecondition, evaluateAllPreconditions, checkActionAvailability, extractPreconditionDependencies, analyzePreconditionRequirements, 
-// Field Policy
-evaluateFieldPolicy, policyToUIState, extractFieldPolicyDependencies, evaluateMultipleFieldPolicies, explainFieldPolicy, } from './policy/index.js';
-// Schema - Zod 통합
-export { 
-// Integration
-schemaToSource, CommonSchemas, SchemaUtils, getSchemaDefault, getSchemaMetadata, toJsonSchema, 
-// Validation
-zodErrorToValidationResult, validateValue, validatePartial, validateDomainData, validateFields, validateAsync, mergeValidationResults, groupValidationByPath, filterBySeverity, getErrors, getWarnings, getSuggestions, } from './schema/index.js';
-// Re-export Zod for convenience
-export { z } from 'zod';
+import { compute } from "./core/compute.js";
+import { apply } from "./core/apply.js";
+import { validate } from "./core/validate.js";
+import { explain } from "./core/explain.js";
+/**
+ * Create a ManifestoCore instance
+ */
+export function createCore() {
+    return {
+        compute,
+        apply,
+        validate,
+        explain,
+    };
+}
+// ============ Re-exports ============
+// Schema types
+export * from "./schema/index.js";
+// Utilities
+export * from "./utils/index.js";
+// Evaluators (for advanced usage)
+export * from "./evaluator/index.js";
+// Errors
+export * from "./errors.js";
+// Factories
+export * from "./factories.js";
+// Core functions (for direct usage)
+export { compute, apply, validate, explain };
 //# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,uBAAuB;AACvB,OAAO;AAgBL,UAAU;AACV,YAAY,EACZ,YAAY,EACZ,aAAa,EACb,WAAW,EACX,YAAY,EACZ,WAAW,EACX,SAAS;AACT,aAAa;AACb,cAAc,GACf,MAAM,mBAAmB,CAAC;AAE3B,uBAAuB;AACvB,OAAO;AAgBL,SAAS;AACT,iBAAiB,EACjB,SAAS,EACT,YAAY,EACZ,mBAAmB,EACnB,eAAe,EACf,kBAAkB;AAClB,YAAY;AACZ,QAAQ;AAER,WAAW;AACX,iBAAiB,EACjB,gBAAgB,EAChB,oBAAoB,EACpB,mBAAmB,EACnB,kBAAkB,EAClB,uBAAuB,GAExB,MAAM,uBAAuB,CAAC;AAE/B,oBAAoB;AACpB,OAAO,EAcL,QAAQ,EACR,cAAc,EAId,EAAE,EACF,GAAG,EACH,WAAW,EACX,IAAI,EACJ,KAAK,EACL,MAAM,EACN,QAAQ,EACR,SAAS,EACT,GAAG,EACH,MAAM,EACN,OAAO,EACP,OAAO,EACP,GAAG,EACH,GAAG,EACH,WAAW,EACX,QAAQ;AACR,SAAS;AACT,SAAS,EACT,QAAQ,EACR,QAAQ,EACR,OAAO,EACP,QAAQ,EACR,KAAK,EACL,QAAQ,EACR,QAAQ,EACR,WAAW,EACX,WAAW,EACX,SAAS,GAIV,MAAM,mBAAmB,CAAC;AAE3B,gBAAgB;AAChB,OAAO;AAOL,QAAQ;AACR,oBAAoB,EACpB,qBAAqB,EACrB,mBAAmB,EACnB,kBAAkB,EAClB,gBAAgB,EAChB,QAAQ,EACR,QAAQ;AACR,cAAc;AACd,iCAAiC,EACjC,aAAa,EACb,sBAAsB,EACtB,sBAAsB,EACtB,gBAAgB;AAEhB,cAAc;AACd,SAAS,EACT,oBAAoB,EACpB,aAAa,EACb,yBAAyB,GAG1B,MAAM,gBAAgB,CAAC;AAExB,sBAAsB;AACtB,OAAO,EAGL,cAAc,EACd,aAAa,EACb,cAAc,EACd,cAAc,EACd,aAAa,EAOb,mBAAmB,EACnB,mBAAmB,EAQnB,aAAa,GACd,MAAM,oBAAoB,CAAC;AAE5B,iBAAiB;AACjB,OAAO;AACL,eAAe;AACf,oBAAoB,EACpB,wBAAwB,EACxB,uBAAuB,EACvB,+BAA+B,EAC/B,+BAA+B;AAG/B,eAAe;AACf,mBAAmB,EACnB,eAAe,EACf,8BAA8B,EAC9B,6BAA6B,EAC7B,kBAAkB,GAInB,MAAM,mBAAmB,CAAC;AAE3B,kBAAkB;AAClB,OAAO;AACL,cAAc;AACd,cAAc,EACd,aAAa,EACb,WAAW,EACX,gBAAgB,EAChB,iBAAiB,EACjB,YAAY;AACZ,aAAa;AACb,0BAA0B,EAC1B,aAAa,EACb,eAAe,EACf,kBAAkB,EAClB,cAAc,EACd,aAAa,EACb,sBAAsB,EACtB,qBAAqB,EACrB,gBAAgB,EAChB,SAAS,EACT,WAAW,EACX,cAAc,GACf,MAAM,mBAAmB,CAAC;AAE3B,gCAAgC;AAChC,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAUH,OAAO,EAAE,OAAO,EAAE,MAAM,mBAAmB,CAAC;AAC5C,OAAO,EAAE,KAAK,EAAE,MAAM,iBAAiB,CAAC;AACxC,OAAO,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAC;AAC9C,OAAO,EAAE,OAAO,EAAE,MAAM,mBAAmB,CAAC;AA2C5C;;GAEG;AACH,MAAM,UAAU,UAAU;IACxB,OAAO;QACL,OAAO;QACP,KAAK;QACL,QAAQ;QACR,OAAO;KACR,CAAC;AACJ,CAAC;AAED,uCAAuC;AAEvC,eAAe;AACf,cAAc,mBAAmB,CAAC;AAElC,YAAY;AACZ,cAAc,kBAAkB,CAAC;AAEjC,kCAAkC;AAClC,cAAc,sBAAsB,CAAC;AAErC,SAAS;AACT,cAAc,aAAa,CAAC;AAE5B,YAAY;AACZ,cAAc,gBAAgB,CAAC;AAE/B,oCAAoC;AACpC,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC"}

package/dist/index.test.d.ts

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

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

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

package/dist/index.test.js

@@ -0,0 +1,13 @@
+import { describe, it, expect } from "vitest";
+import { createCore } from "./index.js";
+describe("core", () => {
+    it("should create a ManifestoCore instance", () => {
+        const core = createCore();
+        expect(core).toBeDefined();
+        expect(core.compute).toBeInstanceOf(Function);
+        expect(core.apply).toBeInstanceOf(Function);
+        expect(core.validate).toBeInstanceOf(Function);
+        expect(core.explain).toBeInstanceOf(Function);
+    });
+});
+//# sourceMappingURL=index.test.js.map

package/dist/index.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.test.js","sourceRoot":"","sources":["../src/index.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAC9C,OAAO,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AAExC,QAAQ,CAAC,MAAM,EAAE,GAAG,EAAE;IACpB,EAAE,CAAC,wCAAwC,EAAE,GAAG,EAAE;QAChD,MAAM,IAAI,GAAG,UAAU,EAAE,CAAC;QAC1B,MAAM,CAAC,IAAI,CAAC,CAAC,WAAW,EAAE,CAAC;QAC3B,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,cAAc,CAAC,QAAQ,CAAC,CAAC;QAC9C,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,cAAc,CAAC,QAAQ,CAAC,CAAC;QAC5C,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,cAAc,CAAC,QAAQ,CAAC,CAAC;QAC/C,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,cAAc,CAAC,QAAQ,CAAC,CAAC;IAChD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/schema/action.d.ts

@@ -0,0 +1,14 @@
+import { z } from "zod";
+import { FieldSpec } from "./field.js";
+/**
+ * ActionSpec - Maps intents to flows
+ * An action defines what happens when a particular intent is dispatched.
+ */
+export declare const ActionSpec: z.ZodObject<{
+    flow: z.ZodType<import("./flow.js").FlowNode, unknown, z.core.$ZodTypeInternals<import("./flow.js").FlowNode, unknown>>;
+    input: z.ZodOptional<z.ZodType<FieldSpec, unknown, z.core.$ZodTypeInternals<FieldSpec, unknown>>>;
+    available: z.ZodOptional<z.ZodType<import("./expr.js").ExprNode, unknown, z.core.$ZodTypeInternals<import("./expr.js").ExprNode, unknown>>>;
+    description: z.ZodOptional<z.ZodString>;
+}, z.core.$strip>;
+export type ActionSpec = z.infer<typeof ActionSpec>;
+//# sourceMappingURL=action.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"action.d.ts","sourceRoot":"","sources":["../../src/schema/action.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAIvC;;;GAGG;AACH,eAAO,MAAM,UAAU;;;;;iBAuBrB,CAAC;AACH,MAAM,MAAM,UAAU,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,UAAU,CAAC,CAAC"}

package/dist/schema/action.js

@@ -0,0 +1,30 @@
+import { z } from "zod";
+import { FieldSpec } from "./field.js";
+import { ExprNodeSchema } from "./expr.js";
+import { FlowNodeSchema } from "./flow.js";
+/**
+ * ActionSpec - Maps intents to flows
+ * An action defines what happens when a particular intent is dispatched.
+ */
+export const ActionSpec = z.object({
+    /**
+     * The flow to execute when this action is invoked
+     */
+    flow: FlowNodeSchema,
+    /**
+     * Input schema for validation.
+     * If defined, Core MUST validate input against this schema.
+     */
+    input: FieldSpec.optional(),
+    /**
+     * Availability condition.
+     * If defined, Core MUST check it before executing the flow.
+     * Expression MUST return boolean.
+     */
+    available: ExprNodeSchema.optional(),
+    /**
+     * Human-readable description
+     */
+    description: z.string().optional(),
+});
+//# sourceMappingURL=action.js.map

package/dist/schema/action.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"action.js","sourceRoot":"","sources":["../../src/schema/action.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AACvC,OAAO,EAAE,cAAc,EAAE,MAAM,WAAW,CAAC;AAC3C,OAAO,EAAE,cAAc,EAAE,MAAM,WAAW,CAAC;AAE3C;;;GAGG;AACH,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,CAAC,MAAM,CAAC;IACjC;;OAEG;IACH,IAAI,EAAE,cAAc;IAEpB;;;OAGG;IACH,KAAK,EAAE,SAAS,CAAC,QAAQ,EAAE;IAE3B;;;;OAIG;IACH,SAAS,EAAE,cAAc,CAAC,QAAQ,EAAE;IAEpC;;OAEG;IACH,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;CACnC,CAAC,CAAC"}

package/dist/schema/common.d.ts

@@ -0,0 +1,37 @@
+import { z } from "zod";
+/**
+ * Dot-separated path for accessing values (e.g., "user.profile.name")
+ */
+export declare const SemanticPath: z.ZodString;
+export type SemanticPath = z.infer<typeof SemanticPath>;
+/**
+ * Result type for functions that can fail without throwing
+ */
+export declare const Result: <T extends z.ZodTypeAny, E extends z.ZodTypeAny>(valueSchema: T, errorSchema: E) => z.ZodDiscriminatedUnion<[z.ZodObject<{
+    ok: z.ZodLiteral<true>;
+    value: T;
+}, z.core.$strip>, z.ZodObject<{
+    ok: z.ZodLiteral<false>;
+    error: E;
+}, z.core.$strip>], "ok">;
+export type Result<T, E> = {
+    ok: true;
+    value: T;
+} | {
+    ok: false;
+    error: E;
+};
+/**
+ * Helper functions for Result type
+ */
+export declare const ok: <T>(value: T) => Result<T, never>;
+export declare const err: <E>(error: E) => Result<never, E>;
+export declare const isOk: <T, E>(result: Result<T, E>) => result is {
+    ok: true;
+    value: T;
+};
+export declare const isErr: <T, E>(result: Result<T, E>) => result is {
+    ok: false;
+    error: E;
+};
+//# sourceMappingURL=common.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"common.d.ts","sourceRoot":"","sources":["../../src/schema/common.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB;;GAEG;AACH,eAAO,MAAM,YAAY,aAAoB,CAAC;AAC9C,MAAM,MAAM,YAAY,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,YAAY,CAAC,CAAC;AAExD;;GAEG;AACH,eAAO,MAAM,MAAM,GAAI,CAAC,SAAS,CAAC,CAAC,UAAU,EAAE,CAAC,SAAS,CAAC,CAAC,UAAU,EACnE,aAAa,CAAC,EACd,aAAa,CAAC;;;;;;yBAKZ,CAAC;AAEL,MAAM,MAAM,MAAM,CAAC,CAAC,EAAE,CAAC,IACnB;IAAE,EAAE,EAAE,IAAI,CAAC;IAAC,KAAK,EAAE,CAAC,CAAA;CAAE,GACtB;IAAE,EAAE,EAAE,KAAK,CAAC;IAAC,KAAK,EAAE,CAAC,CAAA;CAAE,CAAC;AAE5B;;GAEG;AACH,eAAO,MAAM,EAAE,GAAI,CAAC,EAAE,OAAO,CAAC,KAAG,MAAM,CAAC,CAAC,EAAE,KAAK,CAA0B,CAAC;AAC3E,eAAO,MAAM,GAAG,GAAI,CAAC,EAAE,OAAO,CAAC,KAAG,MAAM,CAAC,KAAK,EAAE,CAAC,CAA2B,CAAC;AAE7E,eAAO,MAAM,IAAI,GAAI,CAAC,EAAE,CAAC,EAAE,QAAQ,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,MAAM,IAAI;IAAE,EAAE,EAAE,IAAI,CAAC;IAAC,KAAK,EAAE,CAAC,CAAA;CACrE,CAAC;AAEZ,eAAO,MAAM,KAAK,GAAI,CAAC,EAAE,CAAC,EAAE,QAAQ,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,KAAG,MAAM,IAAI;IAAE,EAAE,EAAE,KAAK,CAAC;IAAC,KAAK,EAAE,CAAC,CAAA;CACtE,CAAC"}

package/dist/schema/common.js

@@ -0,0 +1,20 @@
+import { z } from "zod";
+/**
+ * Dot-separated path for accessing values (e.g., "user.profile.name")
+ */
+export const SemanticPath = z.string().min(1);
+/**
+ * Result type for functions that can fail without throwing
+ */
+export const Result = (valueSchema, errorSchema) => z.discriminatedUnion("ok", [
+    z.object({ ok: z.literal(true), value: valueSchema }),
+    z.object({ ok: z.literal(false), error: errorSchema }),
+]);
+/**
+ * Helper functions for Result type
+ */
+export const ok = (value) => ({ ok: true, value });
+export const err = (error) => ({ ok: false, error });
+export const isOk = (result) => result.ok;
+export const isErr = (result) => !result.ok;
+//# sourceMappingURL=common.js.map

package/dist/schema/common.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"common.js","sourceRoot":"","sources":["../../src/schema/common.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB;;GAEG;AACH,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;AAG9C;;GAEG;AACH,MAAM,CAAC,MAAM,MAAM,GAAG,CACpB,WAAc,EACd,WAAc,EACd,EAAE,CACF,CAAC,CAAC,kBAAkB,CAAC,IAAI,EAAE;IACzB,CAAC,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,WAAW,EAAE,CAAC;IACrD,CAAC,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,KAAK,EAAE,WAAW,EAAE,CAAC;CACvD,CAAC,CAAC;AAML;;GAEG;AACH,MAAM,CAAC,MAAM,EAAE,GAAG,CAAI,KAAQ,EAAoB,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC;AAC3E,MAAM,CAAC,MAAM,GAAG,GAAG,CAAI,KAAQ,EAAoB,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC;AAE7E,MAAM,CAAC,MAAM,IAAI,GAAG,CAAO,MAAoB,EAAoC,EAAE,CACnF,MAAM,CAAC,EAAE,CAAC;AAEZ,MAAM,CAAC,MAAM,KAAK,GAAG,CAAO,MAAoB,EAAqC,EAAE,CACrF,CAAC,MAAM,CAAC,EAAE,CAAC"}

package/dist/schema/computed.d.ts

@@ -0,0 +1,23 @@
+import { z } from "zod";
+/**
+ * ComputedFieldSpec - Definition of a single computed field
+ */
+export declare const ComputedFieldSpec: z.ZodObject<{
+    deps: z.ZodArray<z.ZodString>;
+    expr: z.ZodType<import("./expr.js").ExprNode, unknown, z.core.$ZodTypeInternals<import("./expr.js").ExprNode, unknown>>;
+    description: z.ZodOptional<z.ZodString>;
+}, z.core.$strip>;
+export type ComputedFieldSpec = z.infer<typeof ComputedFieldSpec>;
+/**
+ * ComputedSpec - Collection of computed field definitions
+ * Computed values form a Directed Acyclic Graph (DAG).
+ */
+export declare const ComputedSpec: z.ZodObject<{
+    fields: z.ZodRecord<z.ZodString, z.ZodObject<{
+        deps: z.ZodArray<z.ZodString>;
+        expr: z.ZodType<import("./expr.js").ExprNode, unknown, z.core.$ZodTypeInternals<import("./expr.js").ExprNode, unknown>>;
+        description: z.ZodOptional<z.ZodString>;
+    }, z.core.$strip>>;
+}, z.core.$strip>;
+export type ComputedSpec = z.infer<typeof ComputedSpec>;
+//# sourceMappingURL=computed.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"computed.d.ts","sourceRoot":"","sources":["../../src/schema/computed.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAIxB;;GAEG;AACH,eAAO,MAAM,iBAAiB;;;;iBAiB5B,CAAC;AACH,MAAM,MAAM,iBAAiB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,iBAAiB,CAAC,CAAC;AAElE;;;GAGG;AACH,eAAO,MAAM,YAAY;;;;;;iBAMvB,CAAC;AACH,MAAM,MAAM,YAAY,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,YAAY,CAAC,CAAC"}

package/dist/schema/computed.js

@@ -0,0 +1,34 @@
+import { z } from "zod";
+import { SemanticPath } from "./common.js";
+import { ExprNodeSchema } from "./expr.js";
+/**
+ * ComputedFieldSpec - Definition of a single computed field
+ */
+export const ComputedFieldSpec = z.object({
+    /**
+     * Paths this computed value depends on.
+     * Must accurately reflect all paths referenced in expr.
+     */
+    deps: z.array(SemanticPath),
+    /**
+     * Expression to compute the value.
+     * Must be pure and total (always produce a value, never throw).
+     */
+    expr: ExprNodeSchema,
+    /**
+     * Human-readable description
+     */
+    description: z.string().optional(),
+});
+/**
+ * ComputedSpec - Collection of computed field definitions
+ * Computed values form a Directed Acyclic Graph (DAG).
+ */
+export const ComputedSpec = z.object({
+    /**
+     * Computed field definitions keyed by their semantic path.
+     * Paths typically start with "computed." prefix.
+     */
+    fields: z.record(SemanticPath, ComputedFieldSpec),
+});
+//# sourceMappingURL=computed.js.map

package/dist/schema/computed.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"computed.js","sourceRoot":"","sources":["../../src/schema/computed.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAC3C,OAAO,EAAE,cAAc,EAAE,MAAM,WAAW,CAAC;AAE3C;;GAEG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC,CAAC,MAAM,CAAC;IACxC;;;OAGG;IACH,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,YAAY,CAAC;IAE3B;;;OAGG;IACH,IAAI,EAAE,cAAc;IAEpB;;OAEG;IACH,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;CACnC,CAAC,CAAC;AAGH;;;GAGG;AACH,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,CAAC,MAAM,CAAC;IACnC;;;OAGG;IACH,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,YAAY,EAAE,iBAAiB,CAAC;CAClD,CAAC,CAAC"}

package/dist/schema/domain.d.ts

@@ -0,0 +1,46 @@
+import { z } from "zod";
+/**
+ * Schema metadata
+ */
+export declare const SchemaMeta: z.ZodObject<{
+    name: z.ZodOptional<z.ZodString>;
+    description: z.ZodOptional<z.ZodString>;
+    authors: z.ZodOptional<z.ZodArray<z.ZodString>>;
+}, z.core.$strip>;
+export type SchemaMeta = z.infer<typeof SchemaMeta>;
+/**
+ * DomainSchema - Complete schema definition
+ *
+ * Defines:
+ * - What the domain looks like (StateSpec)
+ * - What can be derived (ComputedSpec)
+ * - How state transitions occur (Actions → FlowSpec)
+ */
+export declare const DomainSchema: z.ZodObject<{
+    id: z.ZodString;
+    version: z.ZodString;
+    hash: z.ZodString;
+    state: z.ZodObject<{
+        fields: z.ZodRecord<z.ZodString, z.ZodType<import("./field.js").FieldSpec, unknown, z.core.$ZodTypeInternals<import("./field.js").FieldSpec, unknown>>>;
+    }, z.core.$strip>;
+    computed: z.ZodObject<{
+        fields: z.ZodRecord<z.ZodString, z.ZodObject<{
+            deps: z.ZodArray<z.ZodString>;
+            expr: z.ZodType<import("./expr.js").ExprNode, unknown, z.core.$ZodTypeInternals<import("./expr.js").ExprNode, unknown>>;
+            description: z.ZodOptional<z.ZodString>;
+        }, z.core.$strip>>;
+    }, z.core.$strip>;
+    actions: z.ZodRecord<z.ZodString, z.ZodObject<{
+        flow: z.ZodType<import("./flow.js").FlowNode, unknown, z.core.$ZodTypeInternals<import("./flow.js").FlowNode, unknown>>;
+        input: z.ZodOptional<z.ZodType<import("./field.js").FieldSpec, unknown, z.core.$ZodTypeInternals<import("./field.js").FieldSpec, unknown>>>;
+        available: z.ZodOptional<z.ZodType<import("./expr.js").ExprNode, unknown, z.core.$ZodTypeInternals<import("./expr.js").ExprNode, unknown>>>;
+        description: z.ZodOptional<z.ZodString>;
+    }, z.core.$strip>>;
+    meta: z.ZodOptional<z.ZodObject<{
+        name: z.ZodOptional<z.ZodString>;
+        description: z.ZodOptional<z.ZodString>;
+        authors: z.ZodOptional<z.ZodArray<z.ZodString>>;
+    }, z.core.$strip>>;
+}, z.core.$strip>;
+export type DomainSchema = z.infer<typeof DomainSchema>;
+//# sourceMappingURL=domain.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"domain.d.ts","sourceRoot":"","sources":["../../src/schema/domain.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAKxB;;GAEG;AACH,eAAO,MAAM,UAAU;;;;iBAIrB,CAAC;AACH,MAAM,MAAM,UAAU,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,UAAU,CAAC,CAAC;AAEpD;;;;;;;GAOG;AACH,eAAO,MAAM,YAAY;;;;;;;;;;;;;;;;;;;;;;;;;iBAsCvB,CAAC;AACH,MAAM,MAAM,YAAY,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,YAAY,CAAC,CAAC"}

package/dist/schema/domain.js

@@ -0,0 +1,54 @@
+import { z } from "zod";
+import { StateSpec } from "./field.js";
+import { ComputedSpec } from "./computed.js";
+import { ActionSpec } from "./action.js";
+/**
+ * Schema metadata
+ */
+export const SchemaMeta = z.object({
+    name: z.string().optional(),
+    description: z.string().optional(),
+    authors: z.array(z.string()).optional(),
+});
+/**
+ * DomainSchema - Complete schema definition
+ *
+ * Defines:
+ * - What the domain looks like (StateSpec)
+ * - What can be derived (ComputedSpec)
+ * - How state transitions occur (Actions → FlowSpec)
+ */
+export const DomainSchema = z.object({
+    /**
+     * Unique identifier for this schema.
+     * MUST be a valid URI or UUID.
+     */
+    id: z.string(),
+    /**
+     * Semantic version.
+     * MUST follow Semantic Versioning 2.0.
+     */
+    version: z.string(),
+    /**
+     * Content hash for integrity verification.
+     * MUST be computed using the Canonical Form algorithm.
+     */
+    hash: z.string(),
+    /**
+     * State structure definition
+     */
+    state: StateSpec,
+    /**
+     * Computed values (DAG)
+     */
+    computed: ComputedSpec,
+    /**
+     * Intent-to-Flow mappings
+     */
+    actions: z.record(z.string(), ActionSpec),
+    /**
+     * Schema metadata
+     */
+    meta: SchemaMeta.optional(),
+});
+//# sourceMappingURL=domain.js.map

package/dist/schema/domain.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"domain.js","sourceRoot":"","sources":["../../src/schema/domain.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AACvC,OAAO,EAAE,YAAY,EAAE,MAAM,eAAe,CAAC;AAC7C,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAEzC;;GAEG;AACH,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,CAAC,MAAM,CAAC;IACjC,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAC3B,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;IAClC,OAAO,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,QAAQ,EAAE;CACxC,CAAC,CAAC;AAGH;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,CAAC,MAAM,CAAC;IACnC;;;OAGG;IACH,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE;IAEd;;;OAGG;IACH,OAAO,EAAE,CAAC,CAAC,MAAM,EAAE;IAEnB;;;OAGG;IACH,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE;IAEhB;;OAEG;IACH,KAAK,EAAE,SAAS;IAEhB;;OAEG;IACH,QAAQ,EAAE,YAAY;IAEtB;;OAEG;IACH,OAAO,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,UAAU,CAAC;IAEzC;;OAEG;IACH,IAAI,EAAE,UAAU,CAAC,QAAQ,EAAE;CAC5B,CAAC,CAAC"}