@manifesto-ai/core 0.3.0 → 1.3.0

package/dist/index.d.ts

@@ -1,17 +1,53 @@
 /**
  * @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.
  */
-export { type SemanticPath, type SemanticMeta, type ConditionRef, type FieldPolicy, type SourceDefinition, type DerivedDefinition, type AsyncDefinition, type ActionDefinition, type ActionSemanticMeta, type PathDefinitions, type DomainMeta, type ManifestoDomain, type ValidationIssue, type ValidationResult, defineDomain, defineSource, defineDerived, defineAsync, defineAction, fieldPolicy, condition, validateDomain, } from './domain/index.js';
-export { type Expression, type EvaluationContext, type LiteralExpr, type GetExpr, type ComparisonExpr, type LogicalExpr, type ArithmeticExpr, type ConditionalExpr, type StringFn, type ArrayFn, type NumberFn, type ObjectFn, type TypeFn, type DateFn, isValidExpression, isGetExpr, extractPaths, stringifyExpression, parseExpression, expressionToString, evaluate, type EvalResult, analyzeExpression, isPureExpression, isConstantExpression, areExpressionsEqual, optimizeExpression, substitutePathWithValue, type DependencyAnalysis, } from './expression/index.js';
-export { type Effect, type SetValueEffect, type SetStateEffect, type ApiCallEffect, type NavigateEffect, type DelayEffect, type SequenceEffect, type ParallelEffect, type ConditionalEffect, type CatchEffect, type EmitEventEffect, type EffectTag, isEffect, isEffectOfType, type Result, type EffectError, ok, err, effectError, isOk, isErr, unwrap, unwrapOr, unwrapErr, map, mapErr, flatMap, flatten, all, any, fromPromise, tryCatch, runEffect, setValue, setState, apiCall, navigate, delay, sequence, parallel, conditional, catchEffect, emitEvent, type EffectHandler, type EffectRunnerConfig, type EffectResult, } from './effect/index.js';
-export { type DependencyGraph, type DagNode, type SourceNode, type DerivedNode, type AsyncNode, buildDependencyGraph, getDirectDependencies, getDirectDependents, getAllDependencies, getAllDependents, hasCycle, findPath, topologicalSortWithCycleDetection, getLevelOrder, reverseTopologicalSort, partialTopologicalSort, getAffectedOrder, type TopologicalSortResult, propagate, propagateAsyncResult, analyzeImpact, createDebouncedPropagator, type PropagationResult, type SnapshotLike, } from './dag/index.js';
-export { type DomainSnapshot, createSnapshot, cloneSnapshot, getValueByPath, setValueByPath, diffSnapshots, type SnapshotListener, type PathListener, type EventListener, type DomainEvent, type Unsubscribe, SubscriptionManager, createBatchNotifier, type DomainRuntime, type PreconditionStatus, type ResolvedFieldPolicy, type ExplanationTree, type ValidationError, type CreateRuntimeOptions, createRuntime, } from './runtime/index.js';
-export { evaluatePrecondition, evaluateAllPreconditions, checkActionAvailability, extractPreconditionDependencies, analyzePreconditionRequirements, type PreconditionEvaluationResult, type ActionAvailability, evaluateFieldPolicy, policyToUIState, extractFieldPolicyDependencies, evaluateMultipleFieldPolicies, explainFieldPolicy, type FieldPolicyEvaluation, type ConditionEvaluationDetail, type FieldUIState, } from './policy/index.js';
-export { schemaToSource, CommonSchemas, SchemaUtils, getSchemaDefault, getSchemaMetadata, toJsonSchema, zodErrorToValidationResult, validateValue, validatePartial, validateDomainData, validateFields, validateAsync, mergeValidationResults, groupValidationByPath, filterBySeverity, getErrors, getWarnings, getSuggestions, } from './schema/index.js';
-export { z } from 'zod';
+import type { DomainSchema } from "./schema/domain.js";
+import type { Snapshot } from "./schema/snapshot.js";
+import type { Intent, Patch } from "./schema/patch.js";
+import type { SemanticPath } from "./schema/common.js";
+import type { ComputeResult, ValidationResult, ExplainResult } from "./schema/result.js";
+import type { HostContext } from "./schema/host-context.js";
+import { compute } from "./core/compute.js";
+import { apply } from "./core/apply.js";
+import { validate } from "./core/validate.js";
+import { explain } from "./core/explain.js";
+/**
+ * ManifestoCore interface
+ */
+export interface ManifestoCore {
+    /**
+     * Compute the result of dispatching an intent.
+     *
+     * This is the ONLY entry point for computation.
+     * Each call is independent - there is no suspended context.
+     */
+    compute(schema: DomainSchema, snapshot: Snapshot, intent: Intent, context: HostContext): Promise<ComputeResult>;
+    /**
+     * Apply patches to a snapshot.
+     * Returns new snapshot with recomputed values.
+     */
+    apply(schema: DomainSchema, snapshot: Snapshot, patches: readonly Patch[], context: HostContext): Snapshot;
+    /**
+     * Validate a schema.
+     */
+    validate(schema: unknown): ValidationResult;
+    /**
+     * Explain why a value is what it is.
+     */
+    explain(schema: DomainSchema, snapshot: Snapshot, path: SemanticPath): ExplainResult;
+}
+/**
+ * Create a ManifestoCore instance
+ */
+export declare function createCore(): ManifestoCore;
+export * from "./schema/index.js";
+export * from "./utils/index.js";
+export * from "./evaluator/index.js";
+export * from "./errors.js";
+export * from "./factories.js";
+export { compute, apply, validate, explain };
 //# sourceMappingURL=index.d.ts.map

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;AACzF,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,0BAA0B,CAAC;AAE5D,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,EACd,OAAO,EAAE,WAAW,GACnB,OAAO,CAAC,aAAa,CAAC,CAAC;IAE1B;;;OAGG;IACH,KAAK,CACH,MAAM,EAAE,YAAY,EACpB,QAAQ,EAAE,QAAQ,EAClB,OAAO,EAAE,SAAS,KAAK,EAAE,EACzB,OAAO,EAAE,WAAW,GACnB,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;AAWH,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;AA6C5C;;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,50 @@
+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;
+    types: z.ZodRecord<z.ZodString, z.ZodObject<{
+        name: z.ZodString;
+        definition: z.ZodType<import("./type-spec.js").TypeDefinition, unknown, z.core.$ZodTypeInternals<import("./type-spec.js").TypeDefinition, unknown>>;
+    }, z.core.$strip>>;
+    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;AAMxB;;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;;;;;;;;;;;;;;;;;;;;;;;;;;;;;iBA4CvB,CAAC;AACH,MAAM,MAAM,YAAY,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,YAAY,CAAC,CAAC"}

package/dist/schema/domain.js

@@ -0,0 +1,60 @@
+import { z } from "zod";
+import { StateSpec } from "./field.js";
+import { ComputedSpec } from "./computed.js";
+import { ActionSpec } from "./action.js";
+import { TypeSpec } from "./type-spec.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(),
+    /**
+     * Named type declarations (compiler v0.3.3).
+     * Pure metadata; Core does not interpret these.
+     */
+    types: z.record(z.string(), TypeSpec),
+    /**
+     * 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;AACzC,OAAO,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAE1C;;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;;;OAGG;IACH,KAAK,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,QAAQ,CAAC;IAErC;;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"}