@manifesto-ai/core 0.2.0

package/dist/expression/parser.js

@@ -0,0 +1,201 @@
+/**
+ * Expression 유효성 검사
+ */
+export function isValidExpression(expr) {
+    if (expr === null)
+        return true;
+    if (typeof expr === 'string')
+        return true;
+    if (typeof expr === 'number')
+        return true;
+    if (typeof expr === 'boolean')
+        return true;
+    if (!Array.isArray(expr))
+        return false;
+    if (expr.length === 0)
+        return false;
+    const [op] = expr;
+    if (typeof op !== 'string')
+        return false;
+    return isValidOperator(op);
+}
+/**
+ * 유효한 연산자인지 확인
+ */
+function isValidOperator(op) {
+    const validOperators = new Set([
+        // Value access
+        'get',
+        // Comparison
+        '==',
+        '!=',
+        '>',
+        '>=',
+        '<',
+        '<=',
+        // Logical
+        '!',
+        'all',
+        'any',
+        // Arithmetic
+        '+',
+        '-',
+        '*',
+        '/',
+        '%',
+        // Conditional
+        'case',
+        'match',
+        'coalesce',
+        // String
+        'concat',
+        'upper',
+        'lower',
+        'trim',
+        'slice',
+        'split',
+        'join',
+        'matches',
+        'replace',
+        // Array
+        'length',
+        'at',
+        'first',
+        'last',
+        'includes',
+        'indexOf',
+        'map',
+        'filter',
+        'every',
+        'some',
+        'reduce',
+        'flatten',
+        'unique',
+        'sort',
+        'reverse',
+        // Number
+        'sum',
+        'min',
+        'max',
+        'avg',
+        'count',
+        'round',
+        'floor',
+        'ceil',
+        'abs',
+        'clamp',
+        // Object
+        'has',
+        'keys',
+        'values',
+        'entries',
+        'pick',
+        'omit',
+        // Type
+        'isNull',
+        'isNumber',
+        'isString',
+        'isArray',
+        'isObject',
+        'toNumber',
+        'toString',
+        // Date
+        'now',
+        'date',
+        'year',
+        'month',
+        'day',
+        'diff',
+    ]);
+    return validOperators.has(op);
+}
+/**
+ * Get 표현식인지 확인
+ */
+export function isGetExpr(expr) {
+    return Array.isArray(expr) && expr.length === 2 && expr[0] === 'get';
+}
+/**
+ * Expression에서 모든 get 경로 추출
+ */
+export function extractPaths(expr) {
+    const paths = [];
+    function traverse(e) {
+        if (e === null || typeof e !== 'object')
+            return;
+        if (!Array.isArray(e))
+            return;
+        const [op, ...args] = e;
+        if (op === 'get' && typeof args[0] === 'string') {
+            paths.push(args[0]);
+            return;
+        }
+        for (const arg of args) {
+            if (isValidExpression(arg)) {
+                traverse(arg);
+            }
+        }
+    }
+    traverse(expr);
+    return paths;
+}
+/**
+ * Expression을 JSON 문자열로 변환
+ */
+export function stringifyExpression(expr) {
+    return JSON.stringify(expr);
+}
+/**
+ * JSON 문자열을 Expression으로 파싱
+ */
+export function parseExpression(json) {
+    try {
+        const parsed = JSON.parse(json);
+        if (isValidExpression(parsed)) {
+            return { ok: true, expression: parsed };
+        }
+        return { ok: false, error: 'Invalid expression structure' };
+    }
+    catch (e) {
+        return { ok: false, error: `JSON parse error: ${String(e)}` };
+    }
+}
+/**
+ * Expression을 사람이 읽을 수 있는 형태로 변환
+ */
+export function expressionToString(expr) {
+    if (expr === null)
+        return 'null';
+    if (typeof expr === 'string')
+        return `"${expr}"`;
+    if (typeof expr === 'number')
+        return String(expr);
+    if (typeof expr === 'boolean')
+        return String(expr);
+    const [op, ...args] = expr;
+    switch (op) {
+        case 'get':
+            return `$${args[0]}`;
+        case '==':
+        case '!=':
+        case '>':
+        case '>=':
+        case '<':
+        case '<=':
+        case '+':
+        case '-':
+        case '*':
+        case '/':
+        case '%':
+            return `(${expressionToString(args[0])} ${op} ${expressionToString(args[1])})`;
+        case '!':
+            return `!${expressionToString(args[0])}`;
+        case 'all':
+            return `(${args.map((a) => expressionToString(a)).join(' && ')})`;
+        case 'any':
+            return `(${args.map((a) => expressionToString(a)).join(' || ')})`;
+        default:
+            return `${op}(${args.map((a) => (isValidExpression(a) ? expressionToString(a) : String(a))).join(', ')})`;
+    }
+}
+//# sourceMappingURL=parser.js.map

package/dist/expression/parser.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"parser.js","sourceRoot":"","sources":["../../src/expression/parser.ts"],"names":[],"mappings":"AAUA;;GAEG;AACH,MAAM,UAAU,iBAAiB,CAAC,IAAa;IAC7C,IAAI,IAAI,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IAC/B,IAAI,OAAO,IAAI,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IAC1C,IAAI,OAAO,IAAI,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IAC1C,IAAI,OAAO,IAAI,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IAE3C,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC;QAAE,OAAO,KAAK,CAAC;IACvC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IAEpC,MAAM,CAAC,EAAE,CAAC,GAAG,IAAI,CAAC;IAClB,IAAI,OAAO,EAAE,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC;IAEzC,OAAO,eAAe,CAAC,EAAE,CAAC,CAAC;AAC7B,CAAC;AAED;;GAEG;AACH,SAAS,eAAe,CAAC,EAAU;IACjC,MAAM,cAAc,GAAG,IAAI,GAAG,CAAC;QAC7B,eAAe;QACf,KAAK;QACL,aAAa;QACb,IAAI;QACJ,IAAI;QACJ,GAAG;QACH,IAAI;QACJ,GAAG;QACH,IAAI;QACJ,UAAU;QACV,GAAG;QACH,KAAK;QACL,KAAK;QACL,aAAa;QACb,GAAG;QACH,GAAG;QACH,GAAG;QACH,GAAG;QACH,GAAG;QACH,cAAc;QACd,MAAM;QACN,OAAO;QACP,UAAU;QACV,SAAS;QACT,QAAQ;QACR,OAAO;QACP,OAAO;QACP,MAAM;QACN,OAAO;QACP,OAAO;QACP,MAAM;QACN,SAAS;QACT,SAAS;QACT,QAAQ;QACR,QAAQ;QACR,IAAI;QACJ,OAAO;QACP,MAAM;QACN,UAAU;QACV,SAAS;QACT,KAAK;QACL,QAAQ;QACR,OAAO;QACP,MAAM;QACN,QAAQ;QACR,SAAS;QACT,QAAQ;QACR,MAAM;QACN,SAAS;QACT,SAAS;QACT,KAAK;QACL,KAAK;QACL,KAAK;QACL,KAAK;QACL,OAAO;QACP,OAAO;QACP,OAAO;QACP,MAAM;QACN,KAAK;QACL,OAAO;QACP,SAAS;QACT,KAAK;QACL,MAAM;QACN,QAAQ;QACR,SAAS;QACT,MAAM;QACN,MAAM;QACN,OAAO;QACP,QAAQ;QACR,UAAU;QACV,UAAU;QACV,SAAS;QACT,UAAU;QACV,UAAU;QACV,UAAU;QACV,OAAO;QACP,KAAK;QACL,MAAM;QACN,MAAM;QACN,OAAO;QACP,KAAK;QACL,MAAM;KACP,CAAC,CAAC;IAEH,OAAO,cAAc,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;AAChC,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,SAAS,CAAC,IAAgB;IACxC,OAAO,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC;AACvE,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,YAAY,CAAC,IAAgB;IAC3C,MAAM,KAAK,GAAmB,EAAE,CAAC;IAEjC,SAAS,QAAQ,CAAC,CAAa;QAC7B,IAAI,CAAC,KAAK,IAAI,IAAI,OAAO,CAAC,KAAK,QAAQ;YAAE,OAAO;QAChD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;YAAE,OAAO;QAE9B,MAAM,CAAC,EAAE,EAAE,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;QACxB,IAAI,EAAE,KAAK,KAAK,IAAI,OAAO,IAAI,CAAC,CAAC,CAAC,KAAK,QAAQ,EAAE,CAAC;YAChD,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC;YACpB,OAAO;QACT,CAAC;QAED,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;YACvB,IAAI,iBAAiB,CAAC,GAAG,CAAC,EAAE,CAAC;gBAC3B,QAAQ,CAAC,GAAG,CAAC,CAAC;YAChB,CAAC;QACH,CAAC;IACH,CAAC;IAED,QAAQ,CAAC,IAAI,CAAC,CAAC;IACf,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,mBAAmB,CAAC,IAAgB;IAClD,OAAO,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;AAC9B,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,eAAe,CAAC,IAAY;IAC1C,IAAI,CAAC;QACH,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAY,CAAC;QAC3C,IAAI,iBAAiB,CAAC,MAAM,CAAC,EAAE,CAAC;YAC9B,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,EAAE,CAAC;QAC1C,CAAC;QACD,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,8BAA8B,EAAE,CAAC;IAC9D,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,qBAAqB,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;IAChE,CAAC;AACH,CAAC;AAED;;GAEG;AACH,MAAM,UAAU,kBAAkB,CAAC,IAAgB;IACjD,IAAI,IAAI,KAAK,IAAI;QAAE,OAAO,MAAM,CAAC;IACjC,IAAI,OAAO,IAAI,KAAK,QAAQ;QAAE,OAAO,IAAI,IAAI,GAAG,CAAC;IACjD,IAAI,OAAO,IAAI,KAAK,QAAQ;QAAE,OAAO,MAAM,CAAC,IAAI,CAAC,CAAC;IAClD,IAAI,OAAO,IAAI,KAAK,SAAS;QAAE,OAAO,MAAM,CAAC,IAAI,CAAC,CAAC;IAEnD,MAAM,CAAC,EAAE,EAAE,GAAG,IAAI,CAAC,GAAG,IAAI,CAAC;IAE3B,QAAQ,EAAE,EAAE,CAAC;QACX,KAAK,KAAK;YACR,OAAO,IAAI,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;QACvB,KAAK,IAAI,CAAC;QACV,KAAK,IAAI,CAAC;QACV,KAAK,GAAG,CAAC;QACT,KAAK,IAAI,CAAC;QACV,KAAK,GAAG,CAAC;QACT,KAAK,IAAI,CAAC;QACV,KAAK,GAAG,CAAC;QACT,KAAK,GAAG,CAAC;QACT,KAAK,GAAG,CAAC;QACT,KAAK,GAAG,CAAC;QACT,KAAK,GAAG;YACN,OAAO,IAAI,kBAAkB,CAAC,IAAI,CAAC,CAAC,CAAe,CAAC,IAAI,EAAE,IAAI,kBAAkB,CAAC,IAAI,CAAC,CAAC,CAAe,CAAC,GAAG,CAAC;QAC7G,KAAK,GAAG;YACN,OAAO,IAAI,kBAAkB,CAAC,IAAI,CAAC,CAAC,CAAe,CAAC,EAAE,CAAC;QACzD,KAAK,KAAK;YACR,OAAO,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,kBAAkB,CAAC,CAAe,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC;QAClF,KAAK,KAAK;YACR,OAAO,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,kBAAkB,CAAC,CAAe,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC;QAClF;YACE,OAAO,GAAG,EAAE,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;IAC9G,CAAC;AACH,CAAC"}

package/dist/expression/types.d.ts

@@ -0,0 +1,123 @@
+/**
+ * Expression DSL Types
+ *
+ * MapGL-like 선언적 표현식 언어
+ * - JSON-serializable (코드가 아닌 데이터)
+ * - Side-effect 없음 (순수 함수)
+ * - 정적 분석 가능 (의존성 추출, AI 파싱)
+ */
+import type { SemanticPath } from '../domain/types.js';
+/** 리터럴 값 */
+export type LiteralExpr = string | number | boolean | null;
+/** 경로로 값 읽기 */
+export type GetExpr = ['get', SemanticPath];
+/** 비교 연산자 */
+export type EqExpr = ['==', Expression, Expression];
+export type NeqExpr = ['!=', Expression, Expression];
+export type GtExpr = ['>', Expression, Expression];
+export type GteExpr = ['>=', Expression, Expression];
+export type LtExpr = ['<', Expression, Expression];
+export type LteExpr = ['<=', Expression, Expression];
+export type ComparisonExpr = EqExpr | NeqExpr | GtExpr | GteExpr | LtExpr | LteExpr;
+/** 논리 연산자 */
+export type NotExpr = ['!', Expression];
+export type AllExpr = ['all', ...Expression[]];
+export type AnyExpr = ['any', ...Expression[]];
+export type LogicalExpr = NotExpr | AllExpr | AnyExpr;
+/** 산술 연산자 */
+export type AddExpr = ['+', Expression, Expression];
+export type SubExpr = ['-', Expression, Expression];
+export type MulExpr = ['*', Expression, Expression];
+export type DivExpr = ['/', Expression, Expression];
+export type ModExpr = ['%', Expression, Expression];
+export type ArithmeticExpr = AddExpr | SubExpr | MulExpr | DivExpr | ModExpr;
+/** Case clause: [condition, result] */
+export type CaseClause = [Expression, Expression];
+/** Match clause: [pattern, result] */
+export type MatchClause = [Expression, Expression];
+/** case: if-else chain */
+export type CaseExpr = ['case', ...CaseClause[], Expression];
+/** match: pattern match */
+export type MatchExpr = ['match', Expression, ...MatchClause[], Expression];
+/** coalesce: first non-null */
+export type CoalesceExpr = ['coalesce', ...Expression[]];
+export type ConditionalExpr = CaseExpr | MatchExpr | CoalesceExpr;
+export type ConcatExpr = ['concat', ...Expression[]];
+export type UpperExpr = ['upper', Expression];
+export type LowerExpr = ['lower', Expression];
+export type TrimExpr = ['trim', Expression];
+export type SliceExpr = ['slice', Expression, number, number?];
+export type SplitExpr = ['split', Expression, string];
+export type JoinExpr = ['join', Expression, string];
+export type MatchesExpr = ['matches', Expression, string];
+export type ReplaceExpr = ['replace', Expression, string, string];
+export type StringFn = ConcatExpr | UpperExpr | LowerExpr | TrimExpr | SliceExpr | SplitExpr | JoinExpr | MatchesExpr | ReplaceExpr;
+export type LengthExpr = ['length', Expression];
+export type AtExpr = ['at', Expression, number];
+export type FirstExpr = ['first', Expression];
+export type LastExpr = ['last', Expression];
+export type IncludesExpr = ['includes', Expression, Expression];
+export type IndexOfExpr = ['indexOf', Expression, Expression];
+export type MapExpr = ['map', Expression, Expression];
+export type FilterExpr = ['filter', Expression, Expression];
+export type EveryExpr = ['every', Expression, Expression];
+export type SomeExpr = ['some', Expression, Expression];
+export type ReduceExpr = ['reduce', Expression, Expression, Expression];
+export type FlattenExpr = ['flatten', Expression];
+export type UniqueExpr = ['unique', Expression];
+export type SortExpr = ['sort', Expression, Expression?];
+export type ReverseExpr = ['reverse', Expression];
+export type ArrayFn = LengthExpr | AtExpr | FirstExpr | LastExpr | IncludesExpr | IndexOfExpr | MapExpr | FilterExpr | EveryExpr | SomeExpr | ReduceExpr | FlattenExpr | UniqueExpr | SortExpr | ReverseExpr;
+export type SumExpr = ['sum', Expression];
+export type MinExpr = ['min', Expression];
+export type MaxExpr = ['max', Expression];
+export type AvgExpr = ['avg', Expression];
+export type CountExpr = ['count', Expression];
+export type RoundExpr = ['round', Expression, number?];
+export type FloorExpr = ['floor', Expression];
+export type CeilExpr = ['ceil', Expression];
+export type AbsExpr = ['abs', Expression];
+export type ClampExpr = ['clamp', Expression, number, number];
+export type NumberFn = SumExpr | MinExpr | MaxExpr | AvgExpr | CountExpr | RoundExpr | FloorExpr | CeilExpr | AbsExpr | ClampExpr;
+export type HasExpr = ['has', Expression, string];
+export type KeysExpr = ['keys', Expression];
+export type ValuesExpr = ['values', Expression];
+export type EntriesExpr = ['entries', Expression];
+export type PickExpr = ['pick', Expression, ...string[]];
+export type OmitExpr = ['omit', Expression, ...string[]];
+export type ObjectFn = HasExpr | KeysExpr | ValuesExpr | EntriesExpr | PickExpr | OmitExpr;
+export type IsNullExpr = ['isNull', Expression];
+export type IsNumberExpr = ['isNumber', Expression];
+export type IsStringExpr = ['isString', Expression];
+export type IsArrayExpr = ['isArray', Expression];
+export type IsObjectExpr = ['isObject', Expression];
+export type ToNumberExpr = ['toNumber', Expression];
+export type ToStringExpr = ['toString', Expression];
+export type TypeFn = IsNullExpr | IsNumberExpr | IsStringExpr | IsArrayExpr | IsObjectExpr | ToNumberExpr | ToStringExpr;
+export type NowExpr = ['now'];
+export type DateExpr = ['date', Expression];
+export type YearExpr = ['year', Expression];
+export type MonthExpr = ['month', Expression];
+export type DayExpr = ['day', Expression];
+export type DiffExpr = ['diff', Expression, Expression, string];
+export type DateFn = NowExpr | DateExpr | YearExpr | MonthExpr | DayExpr | DiffExpr;
+export type OperatorExpr = ComparisonExpr | LogicalExpr | ArithmeticExpr;
+export type FunctionExpr = ConditionalExpr | StringFn | ArrayFn | NumberFn | ObjectFn | TypeFn | DateFn;
+/**
+ * Expression: MapGL-like 선언적 표현식
+ */
+export type Expression = LiteralExpr | GetExpr | OperatorExpr | FunctionExpr;
+/**
+ * EvaluationContext: Expression 평가에 필요한 컨텍스트
+ */
+export type EvaluationContext = {
+    /** 모든 경로의 값을 조회하는 함수 */
+    get: (path: SemanticPath) => unknown;
+    /** 현재 컨텍스트 값 (map/filter 내부에서 사용) */
+    current?: unknown;
+    /** 현재 인덱스 (map/filter 내부에서 사용) */
+    index?: number;
+    /** 누적값 (reduce에서 사용) */
+    accumulator?: unknown;
+};
+//# sourceMappingURL=types.d.ts.map

package/dist/expression/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/expression/types.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAMvD,YAAY;AACZ,MAAM,MAAM,WAAW,GAAG,MAAM,GAAG,MAAM,GAAG,OAAO,GAAG,IAAI,CAAC;AAM3D,eAAe;AACf,MAAM,MAAM,OAAO,GAAG,CAAC,KAAK,EAAE,YAAY,CAAC,CAAC;AAM5C,aAAa;AACb,MAAM,MAAM,MAAM,GAAG,CAAC,IAAI,EAAE,UAAU,EAAE,UAAU,CAAC,CAAC;AACpD,MAAM,MAAM,OAAO,GAAG,CAAC,IAAI,EAAE,UAAU,EAAE,UAAU,CAAC,CAAC;AACrD,MAAM,MAAM,MAAM,GAAG,CAAC,GAAG,EAAE,UAAU,EAAE,UAAU,CAAC,CAAC;AACnD,MAAM,MAAM,OAAO,GAAG,CAAC,IAAI,EAAE,UAAU,EAAE,UAAU,CAAC,CAAC;AACrD,MAAM,MAAM,MAAM,GAAG,CAAC,GAAG,EAAE,UAAU,EAAE,UAAU,CAAC,CAAC;AACnD,MAAM,MAAM,OAAO,GAAG,CAAC,IAAI,EAAE,UAAU,EAAE,UAAU,CAAC,CAAC;AAErD,MAAM,MAAM,cAAc,GAAG,MAAM,GAAG,OAAO,GAAG,MAAM,GAAG,OAAO,GAAG,MAAM,GAAG,OAAO,CAAC;AAEpF,aAAa;AACb,MAAM,MAAM,OAAO,GAAG,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC;AACxC,MAAM,MAAM,OAAO,GAAG,CAAC,KAAK,EAAE,GAAG,UAAU,EAAE,CAAC,CAAC;AAC/C,MAAM,MAAM,OAAO,GAAG,CAAC,KAAK,EAAE,GAAG,UAAU,EAAE,CAAC,CAAC;AAE/C,MAAM,MAAM,WAAW,GAAG,OAAO,GAAG,OAAO,GAAG,OAAO,CAAC;AAEtD,aAAa;AACb,MAAM,MAAM,OAAO,GAAG,CAAC,GAAG,EAAE,UAAU,EAAE,UAAU,CAAC,CAAC;AACpD,MAAM,MAAM,OAAO,GAAG,CAAC,GAAG,EAAE,UAAU,EAAE,UAAU,CAAC,CAAC;AACpD,MAAM,MAAM,OAAO,GAAG,CAAC,GAAG,EAAE,UAAU,EAAE,UAAU,CAAC,CAAC;AACpD,MAAM,MAAM,OAAO,GAAG,CAAC,GAAG,EAAE,UAAU,EAAE,UAAU,CAAC,CAAC;AACpD,MAAM,MAAM,OAAO,GAAG,CAAC,GAAG,EAAE,UAAU,EAAE,UAAU,CAAC,CAAC;AAEpD,MAAM,MAAM,cAAc,GAAG,OAAO,GAAG,OAAO,GAAG,OAAO,GAAG,OAAO,GAAG,OAAO,CAAC;AAM7E,uCAAuC;AACvC,MAAM,MAAM,UAAU,GAAG,CAAC,UAAU,EAAE,UAAU,CAAC,CAAC;AAElD,sCAAsC;AACtC,MAAM,MAAM,WAAW,GAAG,CAAC,UAAU,EAAE,UAAU,CAAC,CAAC;AAEnD,0BAA0B;AAC1B,MAAM,MAAM,QAAQ,GAAG,CAAC,MAAM,EAAE,GAAG,UAAU,EAAE,EAAE,UAAU,CAAC,CAAC;AAE7D,2BAA2B;AAC3B,MAAM,MAAM,SAAS,GAAG,CAAC,OAAO,EAAE,UAAU,EAAE,GAAG,WAAW,EAAE,EAAE,UAAU,CAAC,CAAC;AAE5E,+BAA+B;AAC/B,MAAM,MAAM,YAAY,GAAG,CAAC,UAAU,EAAE,GAAG,UAAU,EAAE,CAAC,CAAC;AAEzD,MAAM,MAAM,eAAe,GAAG,QAAQ,GAAG,SAAS,GAAG,YAAY,CAAC;AAMlE,MAAM,MAAM,UAAU,GAAG,CAAC,QAAQ,EAAE,GAAG,UAAU,EAAE,CAAC,CAAC;AACrD,MAAM,MAAM,SAAS,GAAG,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC;AAC9C,MAAM,MAAM,SAAS,GAAG,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC;AAC9C,MAAM,MAAM,QAAQ,GAAG,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;AAC5C,MAAM,MAAM,SAAS,GAAG,CAAC,OAAO,EAAE,UAAU,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;AAC/D,MAAM,MAAM,SAAS,GAAG,CAAC,OAAO,EAAE,UAAU,EAAE,MAAM,CAAC,CAAC;AACtD,MAAM,MAAM,QAAQ,GAAG,CAAC,MAAM,EAAE,UAAU,EAAE,MAAM,CAAC,CAAC;AACpD,MAAM,MAAM,WAAW,GAAG,CAAC,SAAS,EAAE,UAAU,EAAE,MAAM,CAAC,CAAC;AAC1D,MAAM,MAAM,WAAW,GAAG,CAAC,SAAS,EAAE,UAAU,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC;AAElE,MAAM,MAAM,QAAQ,GAChB,UAAU,GACV,SAAS,GACT,SAAS,GACT,QAAQ,GACR,SAAS,GACT,SAAS,GACT,QAAQ,GACR,WAAW,GACX,WAAW,CAAC;AAMhB,MAAM,MAAM,UAAU,GAAG,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC;AAChD,MAAM,MAAM,MAAM,GAAG,CAAC,IAAI,EAAE,UAAU,EAAE,MAAM,CAAC,CAAC;AAChD,MAAM,MAAM,SAAS,GAAG,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC;AAC9C,MAAM,MAAM,QAAQ,GAAG,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;AAC5C,MAAM,MAAM,YAAY,GAAG,CAAC,UAAU,EAAE,UAAU,EAAE,UAAU,CAAC,CAAC;AAChE,MAAM,MAAM,WAAW,GAAG,CAAC,SAAS,EAAE,UAAU,EAAE,UAAU,CAAC,CAAC;AAC9D,MAAM,MAAM,OAAO,GAAG,CAAC,KAAK,EAAE,UAAU,EAAE,UAAU,CAAC,CAAC;AACtD,MAAM,MAAM,UAAU,GAAG,CAAC,QAAQ,EAAE,UAAU,EAAE,UAAU,CAAC,CAAC;AAC5D,MAAM,MAAM,SAAS,GAAG,CAAC,OAAO,EAAE,UAAU,EAAE,UAAU,CAAC,CAAC;AAC1D,MAAM,MAAM,QAAQ,GAAG,CAAC,MAAM,EAAE,UAAU,EAAE,UAAU,CAAC,CAAC;AACxD,MAAM,MAAM,UAAU,GAAG,CAAC,QAAQ,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,CAAC,CAAC;AACxE,MAAM,MAAM,WAAW,GAAG,CAAC,SAAS,EAAE,UAAU,CAAC,CAAC;AAClD,MAAM,MAAM,UAAU,GAAG,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC;AAChD,MAAM,MAAM,QAAQ,GAAG,CAAC,MAAM,EAAE,UAAU,EAAE,UAAU,CAAC,CAAC,CAAC;AACzD,MAAM,MAAM,WAAW,GAAG,CAAC,SAAS,EAAE,UAAU,CAAC,CAAC;AAElD,MAAM,MAAM,OAAO,GACf,UAAU,GACV,MAAM,GACN,SAAS,GACT,QAAQ,GACR,YAAY,GACZ,WAAW,GACX,OAAO,GACP,UAAU,GACV,SAAS,GACT,QAAQ,GACR,UAAU,GACV,WAAW,GACX,UAAU,GACV,QAAQ,GACR,WAAW,CAAC;AAMhB,MAAM,MAAM,OAAO,GAAG,CAAC,KAAK,EAAE,UAAU,CAAC,CAAC;AAC1C,MAAM,MAAM,OAAO,GAAG,CAAC,KAAK,EAAE,UAAU,CAAC,CAAC;AAC1C,MAAM,MAAM,OAAO,GAAG,CAAC,KAAK,EAAE,UAAU,CAAC,CAAC;AAC1C,MAAM,MAAM,OAAO,GAAG,CAAC,KAAK,EAAE,UAAU,CAAC,CAAC;AAC1C,MAAM,MAAM,SAAS,GAAG,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC;AAC9C,MAAM,MAAM,SAAS,GAAG,CAAC,OAAO,EAAE,UAAU,EAAE,MAAM,CAAC,CAAC,CAAC;AACvD,MAAM,MAAM,SAAS,GAAG,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC;AAC9C,MAAM,MAAM,QAAQ,GAAG,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;AAC5C,MAAM,MAAM,OAAO,GAAG,CAAC,KAAK,EAAE,UAAU,CAAC,CAAC;AAC1C,MAAM,MAAM,SAAS,GAAG,CAAC,OAAO,EAAE,UAAU,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC;AAE9D,MAAM,MAAM,QAAQ,GAChB,OAAO,GACP,OAAO,GACP,OAAO,GACP,OAAO,GACP,SAAS,GACT,SAAS,GACT,SAAS,GACT,QAAQ,GACR,OAAO,GACP,SAAS,CAAC;AAMd,MAAM,MAAM,OAAO,GAAG,CAAC,KAAK,EAAE,UAAU,EAAE,MAAM,CAAC,CAAC;AAClD,MAAM,MAAM,QAAQ,GAAG,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;AAC5C,MAAM,MAAM,UAAU,GAAG,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC;AAChD,MAAM,MAAM,WAAW,GAAG,CAAC,SAAS,EAAE,UAAU,CAAC,CAAC;AAClD,MAAM,MAAM,QAAQ,GAAG,CAAC,MAAM,EAAE,UAAU,EAAE,GAAG,MAAM,EAAE,CAAC,CAAC;AACzD,MAAM,MAAM,QAAQ,GAAG,CAAC,MAAM,EAAE,UAAU,EAAE,GAAG,MAAM,EAAE,CAAC,CAAC;AAEzD,MAAM,MAAM,QAAQ,GAAG,OAAO,GAAG,QAAQ,GAAG,UAAU,GAAG,WAAW,GAAG,QAAQ,GAAG,QAAQ,CAAC;AAM3F,MAAM,MAAM,UAAU,GAAG,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC;AAChD,MAAM,MAAM,YAAY,GAAG,CAAC,UAAU,EAAE,UAAU,CAAC,CAAC;AACpD,MAAM,MAAM,YAAY,GAAG,CAAC,UAAU,EAAE,UAAU,CAAC,CAAC;AACpD,MAAM,MAAM,WAAW,GAAG,CAAC,SAAS,EAAE,UAAU,CAAC,CAAC;AAClD,MAAM,MAAM,YAAY,GAAG,CAAC,UAAU,EAAE,UAAU,CAAC,CAAC;AACpD,MAAM,MAAM,YAAY,GAAG,CAAC,UAAU,EAAE,UAAU,CAAC,CAAC;AACpD,MAAM,MAAM,YAAY,GAAG,CAAC,UAAU,EAAE,UAAU,CAAC,CAAC;AAEpD,MAAM,MAAM,MAAM,GACd,UAAU,GACV,YAAY,GACZ,YAAY,GACZ,WAAW,GACX,YAAY,GACZ,YAAY,GACZ,YAAY,CAAC;AAMjB,MAAM,MAAM,OAAO,GAAG,CAAC,KAAK,CAAC,CAAC;AAC9B,MAAM,MAAM,QAAQ,GAAG,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;AAC5C,MAAM,MAAM,QAAQ,GAAG,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;AAC5C,MAAM,MAAM,SAAS,GAAG,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC;AAC9C,MAAM,MAAM,OAAO,GAAG,CAAC,KAAK,EAAE,UAAU,CAAC,CAAC;AAC1C,MAAM,MAAM,QAAQ,GAAG,CAAC,MAAM,EAAE,UAAU,EAAE,UAAU,EAAE,MAAM,CAAC,CAAC;AAEhE,MAAM,MAAM,MAAM,GAAG,OAAO,GAAG,QAAQ,GAAG,QAAQ,GAAG,SAAS,GAAG,OAAO,GAAG,QAAQ,CAAC;AAMpF,MAAM,MAAM,YAAY,GAAG,cAAc,GAAG,WAAW,GAAG,cAAc,CAAC;AACzE,MAAM,MAAM,YAAY,GACpB,eAAe,GACf,QAAQ,GACR,OAAO,GACP,QAAQ,GACR,QAAQ,GACR,MAAM,GACN,MAAM,CAAC;AAEX;;GAEG;AACH,MAAM,MAAM,UAAU,GAAG,WAAW,GAAG,OAAO,GAAG,YAAY,GAAG,YAAY,CAAC;AAM7E;;GAEG;AACH,MAAM,MAAM,iBAAiB,GAAG;IAC9B,wBAAwB;IACxB,GAAG,EAAE,CAAC,IAAI,EAAE,YAAY,KAAK,OAAO,CAAC;IAErC,qCAAqC;IACrC,OAAO,CAAC,EAAE,OAAO,CAAC;IAElB,kCAAkC;IAClC,KAAK,CAAC,EAAE,MAAM,CAAC;IAEf,wBAAwB;IACxB,WAAW,CAAC,EAAE,OAAO,CAAC;CACvB,CAAC"}

package/dist/expression/types.js

@@ -0,0 +1,10 @@
+/**
+ * Expression DSL Types
+ *
+ * MapGL-like 선언적 표현식 언어
+ * - JSON-serializable (코드가 아닌 데이터)
+ * - Side-effect 없음 (순수 함수)
+ * - 정적 분석 가능 (의존성 추출, AI 파싱)
+ */
+export {};
+//# sourceMappingURL=types.js.map

package/dist/expression/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../src/expression/types.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG"}

package/dist/index.d.ts

@@ -0,0 +1,17 @@
+/**
+ * @manifesto-ai/core
+ *
+ * AI Native Semantic Layer for SaaS Business Logic
+ *
+ * Manifesto는 SaaS 비즈니스 로직을 의미론적 주소 공간(Semantic Path Space)으로 선언하여,
+ * AI Agent가 UI를 이해하고 안전하게 조작할 수 있게 하는 AI Native Semantic Layer입니다.
+ */
+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';
+//# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -0,0 +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"}

package/dist/index.js

@@ -0,0 +1,51 @@
+/**
+ * @manifesto-ai/core
+ *
+ * AI Native Semantic Layer for SaaS Business Logic
+ *
+ * Manifesto는 SaaS 비즈니스 로직을 의미론적 주소 공간(Semantic Path Space)으로 선언하여,
+ * AI Agent가 UI를 이해하고 안전하게 조작할 수 있게 하는 AI Native Semantic Layer입니다.
+ */
+// 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';
+//# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -0,0 +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"}

package/dist/policy/field-policy.d.ts

@@ -0,0 +1,63 @@
+import type { SemanticPath, ConditionRef, FieldPolicy } from '../domain/types.js';
+import type { EvaluationContext } from '../expression/types.js';
+/**
+ * FieldPolicyEvaluation: 필드 정책 평가 결과
+ */
+export type FieldPolicyEvaluation = {
+    /** 이 필드가 현재 의미있는지 (표시할지) */
+    relevant: boolean;
+    relevantReason?: string;
+    relevantConditions?: ConditionEvaluationDetail[];
+    /** 이 필드가 현재 수정 가능한지 */
+    editable: boolean;
+    editableReason?: string;
+    editableConditions?: ConditionEvaluationDetail[];
+    /** 이 필드가 현재 필수인지 */
+    required: boolean;
+    requiredReason?: string;
+    requiredConditions?: ConditionEvaluationDetail[];
+};
+/**
+ * ConditionEvaluationDetail: 조건 평가 상세
+ */
+export type ConditionEvaluationDetail = {
+    condition: ConditionRef;
+    actualValue: unknown;
+    satisfied: boolean;
+};
+/**
+ * 필드 정책 평가
+ */
+export declare function evaluateFieldPolicy(policy: FieldPolicy | undefined, ctx: EvaluationContext): FieldPolicyEvaluation;
+/**
+ * UI 표현을 위한 필드 상태
+ */
+export type FieldUIState = {
+    /** 보여야 하는지 */
+    visible: boolean;
+    /** 활성화 상태인지 */
+    enabled: boolean;
+    /** 필수 표시를 보여야 하는지 */
+    showRequired: boolean;
+    /** 비활성화 이유 (있으면) */
+    disabledReason?: string;
+    /** 숨김 이유 (있으면) */
+    hiddenReason?: string;
+};
+/**
+ * 필드 정책을 UI 상태로 변환
+ */
+export declare function policyToUIState(evaluation: FieldPolicyEvaluation): FieldUIState;
+/**
+ * 필드 정책의 의존성 추출
+ */
+export declare function extractFieldPolicyDependencies(policy: FieldPolicy): SemanticPath[];
+/**
+ * 다중 필드 정책 평가 (배치)
+ */
+export declare function evaluateMultipleFieldPolicies(policies: Record<SemanticPath, FieldPolicy | undefined>, ctx: EvaluationContext): Record<SemanticPath, FieldPolicyEvaluation>;
+/**
+ * AI용 필드 정책 설명 생성
+ */
+export declare function explainFieldPolicy(path: SemanticPath, evaluation: FieldPolicyEvaluation): string;
+//# sourceMappingURL=field-policy.d.ts.map

package/dist/policy/field-policy.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"field-policy.d.ts","sourceRoot":"","sources":["../../src/policy/field-policy.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,YAAY,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAC;AAClF,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,wBAAwB,CAAC;AAEhE;;GAEG;AACH,MAAM,MAAM,qBAAqB,GAAG;IAClC,4BAA4B;IAC5B,QAAQ,EAAE,OAAO,CAAC;IAClB,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,kBAAkB,CAAC,EAAE,yBAAyB,EAAE,CAAC;IAEjD,uBAAuB;IACvB,QAAQ,EAAE,OAAO,CAAC;IAClB,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,kBAAkB,CAAC,EAAE,yBAAyB,EAAE,CAAC;IAEjD,oBAAoB;IACpB,QAAQ,EAAE,OAAO,CAAC;IAClB,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,kBAAkB,CAAC,EAAE,yBAAyB,EAAE,CAAC;CAClD,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,yBAAyB,GAAG;IACtC,SAAS,EAAE,YAAY,CAAC;IACxB,WAAW,EAAE,OAAO,CAAC;IACrB,SAAS,EAAE,OAAO,CAAC;CACpB,CAAC;AAEF;;GAEG;AACH,wBAAgB,mBAAmB,CACjC,MAAM,EAAE,WAAW,GAAG,SAAS,EAC/B,GAAG,EAAE,iBAAiB,GACrB,qBAAqB,CA0BvB;AA+CD;;GAEG;AACH,MAAM,MAAM,YAAY,GAAG;IACzB,cAAc;IACd,OAAO,EAAE,OAAO,CAAC;IACjB,eAAe;IACf,OAAO,EAAE,OAAO,CAAC;IACjB,qBAAqB;IACrB,YAAY,EAAE,OAAO,CAAC;IACtB,oBAAoB;IACpB,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,kBAAkB;IAClB,YAAY,CAAC,EAAE,MAAM,CAAC;CACvB,CAAC;AAEF;;GAEG;AACH,wBAAgB,eAAe,CAAC,UAAU,EAAE,qBAAqB,GAAG,YAAY,CAQ/E;AAED;;GAEG;AACH,wBAAgB,8BAA8B,CAAC,MAAM,EAAE,WAAW,GAAG,YAAY,EAAE,CAgBlF;AAED;;GAEG;AACH,wBAAgB,6BAA6B,CAC3C,QAAQ,EAAE,MAAM,CAAC,YAAY,EAAE,WAAW,GAAG,SAAS,CAAC,EACvD,GAAG,EAAE,iBAAiB,GACrB,MAAM,CAAC,YAAY,EAAE,qBAAqB,CAAC,CAQ7C;AAED;;GAEG;AACH,wBAAgB,kBAAkB,CAChC,IAAI,EAAE,YAAY,EAClB,UAAU,EAAE,qBAAqB,GAChC,MAAM,CA4CR"}

package/dist/policy/field-policy.js

@@ -0,0 +1,138 @@
+/**
+ * 필드 정책 평가
+ */
+export function evaluateFieldPolicy(policy, ctx) {
+    if (!policy) {
+        return {
+            relevant: true,
+            editable: true,
+            required: false,
+        };
+    }
+    const relevantResult = evaluateConditionList(policy.relevantWhen, ctx, true);
+    const editableResult = evaluateConditionList(policy.editableWhen, ctx, true);
+    const requiredResult = evaluateConditionList(policy.requiredWhen, ctx, false);
+    return {
+        relevant: relevantResult.satisfied,
+        relevantReason: relevantResult.reason,
+        relevantConditions: relevantResult.details,
+        editable: editableResult.satisfied,
+        editableReason: editableResult.reason,
+        editableConditions: editableResult.details,
+        required: requiredResult.satisfied,
+        requiredReason: requiredResult.reason,
+        requiredConditions: requiredResult.details,
+    };
+}
+/**
+ * 조건 목록 평가
+ */
+function evaluateConditionList(conditions, ctx, defaultValue) {
+    if (!conditions || conditions.length === 0) {
+        return { satisfied: defaultValue, details: [] };
+    }
+    const details = [];
+    let firstUnsatisfiedReason;
+    for (const condition of conditions) {
+        const actualValue = ctx.get(condition.path);
+        const actualBoolean = Boolean(actualValue);
+        const expectedBoolean = condition.expect !== 'false';
+        const satisfied = actualBoolean === expectedBoolean;
+        details.push({
+            condition,
+            actualValue,
+            satisfied,
+        });
+        if (!satisfied && !firstUnsatisfiedReason) {
+            firstUnsatisfiedReason = condition.reason;
+        }
+    }
+    const allSatisfied = details.every((d) => d.satisfied);
+    return {
+        satisfied: allSatisfied,
+        reason: allSatisfied ? undefined : firstUnsatisfiedReason,
+        details,
+    };
+}
+/**
+ * 필드 정책을 UI 상태로 변환
+ */
+export function policyToUIState(evaluation) {
+    return {
+        visible: evaluation.relevant,
+        enabled: evaluation.relevant && evaluation.editable,
+        showRequired: evaluation.relevant && evaluation.required,
+        disabledReason: evaluation.editable ? undefined : evaluation.editableReason,
+        hiddenReason: evaluation.relevant ? undefined : evaluation.relevantReason,
+    };
+}
+/**
+ * 필드 정책의 의존성 추출
+ */
+export function extractFieldPolicyDependencies(policy) {
+    const deps = new Set();
+    for (const cond of policy.relevantWhen ?? []) {
+        deps.add(cond.path);
+    }
+    for (const cond of policy.editableWhen ?? []) {
+        deps.add(cond.path);
+    }
+    for (const cond of policy.requiredWhen ?? []) {
+        deps.add(cond.path);
+    }
+    return [...deps];
+}
+/**
+ * 다중 필드 정책 평가 (배치)
+ */
+export function evaluateMultipleFieldPolicies(policies, ctx) {
+    const results = {};
+    for (const [path, policy] of Object.entries(policies)) {
+        results[path] = evaluateFieldPolicy(policy, ctx);
+    }
+    return results;
+}
+/**
+ * AI용 필드 정책 설명 생성
+ */
+export function explainFieldPolicy(path, evaluation) {
+    const lines = [];
+    lines.push(`Field: ${path}`);
+    lines.push('');
+    // Relevance
+    lines.push(`Relevant: ${evaluation.relevant ? 'Yes' : 'No'}`);
+    if (!evaluation.relevant) {
+        lines.push(`  Reason: ${evaluation.relevantReason ?? 'Condition not met'}`);
+        if (evaluation.relevantConditions) {
+            for (const detail of evaluation.relevantConditions) {
+                if (!detail.satisfied) {
+                    lines.push(`  - ${detail.condition.path}: expected ${detail.condition.expect ?? 'true'}, got ${Boolean(detail.actualValue)}`);
+                }
+            }
+        }
+    }
+    // Editable
+    lines.push(`Editable: ${evaluation.editable ? 'Yes' : 'No'}`);
+    if (!evaluation.editable) {
+        lines.push(`  Reason: ${evaluation.editableReason ?? 'Condition not met'}`);
+        if (evaluation.editableConditions) {
+            for (const detail of evaluation.editableConditions) {
+                if (!detail.satisfied) {
+                    lines.push(`  - ${detail.condition.path}: expected ${detail.condition.expect ?? 'true'}, got ${Boolean(detail.actualValue)}`);
+                }
+            }
+        }
+    }
+    // Required
+    lines.push(`Required: ${evaluation.required ? 'Yes' : 'No'}`);
+    if (evaluation.required && evaluation.requiredConditions) {
+        lines.push('  Because:');
+        for (const detail of evaluation.requiredConditions) {
+            if (detail.satisfied) {
+                lines.push(`  - ${detail.condition.path} = ${JSON.stringify(detail.actualValue)}`);
+            }
+        }
+    }
+    return lines.join('\n');
+}
+//# sourceMappingURL=field-policy.js.map