@manifesto-ai/core 0.2.0

package/LICENSE

@@ -0,0 +1,21 @@
+MIT License
+
+Copyright (c) 2024 Manifesto AI
+
+Permission is hereby granted, free of charge, to any person obtaining a copy
+of this software and associated documentation files (the "Software"), to deal
+in the Software without restriction, including without limitation the rights
+to use, copy, modify, merge, publish, distribute, sublicense, and/or sell
+copies of the Software, and to permit persons to whom the Software is
+furnished to do so, subject to the following conditions:
+
+The above copyright notice and this permission notice shall be included in all
+copies or substantial portions of the Software.
+
+THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
+IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
+FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE
+AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER
+LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,
+OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
+SOFTWARE.

package/README.md

@@ -0,0 +1,434 @@
+# @manifesto-ai/core
+
+> AI Native Semantic Layer for SaaS Business Logic
+
+The core package provides domain definition, runtime execution, expression evaluation, and effect system for Manifesto AI.
+
+## Installation
+
+```bash
+pnpm add @manifesto-ai/core
+# or
+npm install @manifesto-ai/core
+```
+
+## Quick Start
+
+```typescript
+import {
+  defineDomain,
+  createRuntime,
+  defineDerived,
+  defineAction,
+  sequence,
+  setState,
+  apiCall,
+  z
+} from '@manifesto-ai/core';
+
+// Define a domain
+const todosDomain = defineDomain('todos', {
+  dataSchema: z.object({
+    items: z.array(z.object({
+      id: z.string(),
+      title: z.string(),
+      completed: z.boolean()
+    }))
+  }),
+
+  stateSchema: z.object({
+    filter: z.enum(['all', 'active', 'completed']).default('all'),
+    isLoading: z.boolean().default(false)
+  }),
+
+  derived: {
+    'derived.activeCount': defineDerived(
+      { $size: { $filter: ['data.items', { $eq: ['$item.completed', false] }] } },
+      z.number()
+    ),
+    'derived.filteredItems': defineDerived(
+      {
+        $if: [
+          { $eq: [{ $get: 'state.filter' }, 'all'] },
+          { $get: 'data.items' },
+          { $filter: ['data.items', {
+            $eq: ['$item.completed', { $eq: [{ $get: 'state.filter' }, 'completed'] }]
+          }] }
+        ]
+      },
+      z.array(z.object({ id: z.string(), title: z.string(), completed: z.boolean() }))
+    )
+  },
+
+  actions: {
+    addTodo: defineAction({
+      precondition: { $gt: [{ $size: { $get: 'input.title' } }, 0] },
+      effect: setValue('data.items', {
+        $concat: [
+          { $get: 'data.items' },
+          [{ id: { $get: 'input.id' }, title: { $get: 'input.title' }, completed: false }]
+        ]
+      })
+    })
+  }
+});
+
+// Create runtime
+const runtime = createRuntime(todosDomain);
+
+// Use the runtime
+runtime.set('data.items', [
+  { id: '1', title: 'Learn Manifesto', completed: false }
+]);
+
+console.log(runtime.get('derived.activeCount')); // 1
+```
+
+## API Reference
+
+### Domain Definition
+
+#### `defineDomain(name, config)`
+
+Creates a domain definition.
+
+```typescript
+const domain = defineDomain('myDomain', {
+  dataSchema: z.object({ ... }),      // Required: Source data schema
+  stateSchema: z.object({ ... }),     // Optional: UI state schema
+  derived: { ... },                    // Optional: Computed values
+  async: { ... },                      // Optional: Async data sources
+  actions: { ... }                     // Optional: Domain actions
+});
+```
+
+#### `defineSource(schema, meta?)`
+
+Defines a source field with optional metadata.
+
+```typescript
+const sources = {
+  'data.user': defineSource(
+    z.object({ name: z.string(), email: z.string() }),
+    { description: 'Current user information' }
+  )
+};
+```
+
+#### `defineDerived(expression, schema, meta?)`
+
+Defines a computed value.
+
+```typescript
+const derived = {
+  'derived.fullName': defineDerived(
+    { $concat: [{ $get: 'data.firstName' }, ' ', { $get: 'data.lastName' }] },
+    z.string(),
+    { description: 'User full name' }
+  )
+};
+```
+
+#### `defineAsync(config, schema, meta?)`
+
+Defines an async data source.
+
+```typescript
+const async = {
+  'async.userData': defineAsync(
+    {
+      fetch: { method: 'GET', url: '/api/user' },
+      dependencies: ['data.userId']
+    },
+    z.object({ name: z.string() })
+  )
+};
+```
+
+#### `defineAction(config)`
+
+Defines a domain action with preconditions and effects.
+
+```typescript
+const actions = {
+  submit: defineAction({
+    precondition: { $and: [
+      { $gt: [{ $get: 'derived.total' }, 0] },
+      { $not: { $get: 'state.isSubmitting' } }
+    ]},
+    effect: sequence([
+      setState('state.isSubmitting', true),
+      apiCall({ method: 'POST', url: '/api/submit' }),
+      setState('state.isSubmitting', false)
+    ])
+  })
+};
+```
+
+### Runtime
+
+#### `createRuntime(domain, options?)`
+
+Creates a runtime instance for a domain.
+
+```typescript
+const runtime = createRuntime(domain, {
+  initialData: { count: 0 },
+  initialState: { isLoading: false }
+});
+```
+
+#### Runtime Methods
+
+```typescript
+// Get a value by path
+runtime.get('data.user.name');        // Returns the value
+runtime.get('derived.fullName');      // Computes and returns
+
+// Set a value
+runtime.set('data.count', 10);
+runtime.set('state.isLoading', true);
+
+// Subscribe to changes
+const unsubscribe = runtime.subscribe('data.count', (value) => {
+  console.log('Count:', value);
+});
+
+// Subscribe to all changes
+runtime.subscribeAll((snapshot) => {
+  console.log('Snapshot changed:', snapshot);
+});
+
+// Get current snapshot
+const snapshot = runtime.getSnapshot();
+
+// Check action availability
+const canSubmit = runtime.checkAction('submit');
+// { available: true, reason: null }
+
+// Execute an action
+await runtime.executeAction('submit', { orderId: '123' });
+
+// Explain why a value is what it is
+const explanation = runtime.explain('derived.total');
+```
+
+### Expression DSL
+
+Manifesto uses a JSON-based DSL for declarative expressions.
+
+#### Comparison Operators
+
+```typescript
+{ $eq: [a, b] }       // a === b
+{ $ne: [a, b] }       // a !== b
+{ $gt: [a, b] }       // a > b
+{ $gte: [a, b] }      // a >= b
+{ $lt: [a, b] }       // a < b
+{ $lte: [a, b] }      // a <= b
+```
+
+#### Logical Operators
+
+```typescript
+{ $and: [expr1, expr2, ...] }   // All true
+{ $or: [expr1, expr2, ...] }    // Any true
+{ $not: expr }                   // Negation
+```
+
+#### Arithmetic Operators
+
+```typescript
+{ $add: [a, b] }        // a + b
+{ $subtract: [a, b] }   // a - b
+{ $multiply: [a, b] }   // a * b
+{ $divide: [a, b] }     // a / b
+{ $modulo: [a, b] }     // a % b
+```
+
+#### String Functions
+
+```typescript
+{ $concat: [str1, str2, ...] }  // Concatenate strings
+{ $upper: str }                  // Uppercase
+{ $lower: str }                  // Lowercase
+{ $trim: str }                   // Trim whitespace
+{ $split: [str, delimiter] }     // Split string
+{ $includes: [str, search] }     // Contains substring
+```
+
+#### Array Functions
+
+```typescript
+{ $size: array }                            // Array length
+{ $first: array }                           // First element
+{ $last: array }                            // Last element
+{ $filter: [array, predicate] }             // Filter elements
+{ $map: [array, transform] }                // Transform elements
+{ $find: [array, predicate] }               // Find first match
+{ $some: [array, predicate] }               // Any match
+{ $every: [array, predicate] }              // All match
+{ $sum: array }                             // Sum numbers
+{ $reduce: [array, reducer, initial] }      // Reduce array
+```
+
+#### Conditional
+
+```typescript
+{ $if: [condition, thenValue, elseValue] }
+```
+
+#### Path Reference
+
+```typescript
+{ $get: 'data.user.name' }    // Get value at path
+'$item.price'                  // Current item in iteration
+'$index'                       // Current index in iteration
+```
+
+### Effect System
+
+Effects describe side effects as data.
+
+#### Effect Types
+
+```typescript
+// Set a value
+setValue('data.count', 10)
+setValue('data.count', { $add: [{ $get: 'data.count' }, 1] })
+
+// Set state
+setState('state.isLoading', true)
+
+// API call
+apiCall({
+  method: 'POST',
+  url: '/api/orders',
+  body: { $get: 'data.order' },
+  headers: { 'Content-Type': 'application/json' }
+})
+
+// Navigation
+navigate('/success')
+
+// Delay
+delay(1000)  // milliseconds
+
+// Emit event
+emitEvent('orderCreated', { orderId: '123' })
+```
+
+#### Effect Composition
+
+```typescript
+// Sequential execution
+sequence([
+  setState('state.isLoading', true),
+  apiCall({ method: 'GET', url: '/api/data' }),
+  setState('state.isLoading', false)
+])
+
+// Parallel execution
+parallel([
+  apiCall({ method: 'GET', url: '/api/user' }),
+  apiCall({ method: 'GET', url: '/api/settings' })
+])
+
+// Conditional execution
+conditional(
+  { $get: 'state.isPremium' },
+  apiCall({ method: 'GET', url: '/api/premium' }),
+  apiCall({ method: 'GET', url: '/api/basic' })
+)
+
+// Error handling
+catchEffect(
+  apiCall({ method: 'POST', url: '/api/submit' }),
+  setState('state.error', { $get: 'error.message' })
+)
+```
+
+#### Running Effects
+
+```typescript
+import { runEffect } from '@manifesto-ai/core';
+
+const result = await runEffect(effect, runtime, {
+  apiHandler: async (config) => {
+    const response = await fetch(config.url, {
+      method: config.method,
+      body: JSON.stringify(config.body)
+    });
+    return response.json();
+  }
+});
+
+if (isOk(result)) {
+  console.log('Success:', result.value);
+} else {
+  console.log('Error:', result.error);
+}
+```
+
+### Result Type
+
+A functional error handling type.
+
+```typescript
+import { ok, err, isOk, isErr, map, flatMap, unwrapOr } from '@manifesto-ai/core';
+
+// Create results
+const success = ok(42);
+const failure = err({ code: 'NOT_FOUND', message: 'Item not found' });
+
+// Check type
+if (isOk(success)) {
+  console.log(success.value);  // 42
+}
+
+// Transform
+const doubled = map(success, (x) => x * 2);  // ok(84)
+
+// Chain operations
+const result = flatMap(success, (x) =>
+  x > 0 ? ok(x) : err({ code: 'INVALID', message: 'Must be positive' })
+);
+
+// Get with default
+const value = unwrapOr(failure, 0);  // 0
+```
+
+### Schema Utilities
+
+```typescript
+import {
+  schemaToSource,
+  validateValue,
+  zodErrorToValidationResult,
+  CommonSchemas
+} from '@manifesto-ai/core';
+
+// Common schemas
+CommonSchemas.email    // z.string().email()
+CommonSchemas.phone    // Phone number pattern
+CommonSchemas.money    // Positive number with 2 decimals
+
+// Validate values
+const result = validateValue(userSchema, inputData);
+if (!result.valid) {
+  console.log(result.issues);
+}
+```
+
+## Related Packages
+
+- [@manifesto-ai/bridge](../bridge) - Framework adapters
+- [@manifesto-ai/bridge-zustand](../bridge-zustand) - Zustand integration
+- [@manifesto-ai/bridge-react-hook-form](../bridge-react-hook-form) - React Hook Form integration
+- [@manifesto-ai/projection-ui](../projection-ui) - UI state projection
+- [@manifesto-ai/projection-agent](../projection-agent) - AI agent context
+- [@manifesto-ai/projection-graphql](../projection-graphql) - GraphQL schema generation
+
+## License
+
+MIT

package/dist/dag/graph.d.ts

@@ -0,0 +1,62 @@
+import type { SemanticPath, ManifestoDomain, SourceDefinition, DerivedDefinition, AsyncDefinition } from '../domain/types.js';
+/**
+ * DagNode: 그래프 노드
+ */
+export type DagNode = SourceNode | DerivedNode | AsyncNode;
+export type SourceNode = {
+    kind: 'source';
+    path: SemanticPath;
+    definition: SourceDefinition;
+};
+export type DerivedNode = {
+    kind: 'derived';
+    path: SemanticPath;
+    definition: DerivedDefinition;
+};
+export type AsyncNode = {
+    kind: 'async';
+    path: SemanticPath;
+    definition: AsyncDefinition;
+};
+/**
+ * DependencyGraph: Semantic Path 간 의존 관계 그래프
+ */
+export type DependencyGraph = {
+    /** 모든 노드 */
+    nodes: Map<SemanticPath, DagNode>;
+    /** 정방향 엣지: path → 이 path가 의존하는 것들 */
+    dependencies: Map<SemanticPath, Set<SemanticPath>>;
+    /** 역방향 엣지: path → 이 path를 의존하는 것들 */
+    dependents: Map<SemanticPath, Set<SemanticPath>>;
+    /** 위상 정렬된 순서 */
+    topologicalOrder: SemanticPath[];
+};
+/**
+ * 도메인에서 의존성 그래프 구축
+ */
+export declare function buildDependencyGraph<TData, TState>(domain: ManifestoDomain<TData, TState>): DependencyGraph;
+/**
+ * 특정 경로의 직접 의존성 조회
+ */
+export declare function getDirectDependencies(graph: DependencyGraph, path: SemanticPath): SemanticPath[];
+/**
+ * 특정 경로를 직접 의존하는 경로들 조회
+ */
+export declare function getDirectDependents(graph: DependencyGraph, path: SemanticPath): SemanticPath[];
+/**
+ * 특정 경로의 모든 의존성 조회 (전이적)
+ */
+export declare function getAllDependencies(graph: DependencyGraph, path: SemanticPath): SemanticPath[];
+/**
+ * 특정 경로를 의존하는 모든 경로 조회 (전이적)
+ */
+export declare function getAllDependents(graph: DependencyGraph, path: SemanticPath): SemanticPath[];
+/**
+ * 순환 의존성이 있는지 확인
+ */
+export declare function hasCycle(graph: DependencyGraph): boolean;
+/**
+ * 두 경로 사이의 경로 찾기 (BFS)
+ */
+export declare function findPath(graph: DependencyGraph, from: SemanticPath, to: SemanticPath): SemanticPath[] | null;
+//# sourceMappingURL=graph.d.ts.map

package/dist/dag/graph.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"graph.d.ts","sourceRoot":"","sources":["../../src/dag/graph.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,YAAY,EACZ,eAAe,EACf,gBAAgB,EAChB,iBAAiB,EACjB,eAAe,EAChB,MAAM,oBAAoB,CAAC;AAG5B;;GAEG;AACH,MAAM,MAAM,OAAO,GAAG,UAAU,GAAG,WAAW,GAAG,SAAS,CAAC;AAE3D,MAAM,MAAM,UAAU,GAAG;IACvB,IAAI,EAAE,QAAQ,CAAC;IACf,IAAI,EAAE,YAAY,CAAC;IACnB,UAAU,EAAE,gBAAgB,CAAC;CAC9B,CAAC;AAEF,MAAM,MAAM,WAAW,GAAG;IACxB,IAAI,EAAE,SAAS,CAAC;IAChB,IAAI,EAAE,YAAY,CAAC;IACnB,UAAU,EAAE,iBAAiB,CAAC;CAC/B,CAAC;AAEF,MAAM,MAAM,SAAS,GAAG;IACtB,IAAI,EAAE,OAAO,CAAC;IACd,IAAI,EAAE,YAAY,CAAC;IACnB,UAAU,EAAE,eAAe,CAAC;CAC7B,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,eAAe,GAAG;IAC5B,YAAY;IACZ,KAAK,EAAE,GAAG,CAAC,YAAY,EAAE,OAAO,CAAC,CAAC;IAElC,qCAAqC;IACrC,YAAY,EAAE,GAAG,CAAC,YAAY,EAAE,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC;IAEnD,qCAAqC;IACrC,UAAU,EAAE,GAAG,CAAC,YAAY,EAAE,GAAG,CAAC,YAAY,CAAC,CAAC,CAAC;IAEjD,gBAAgB;IAChB,gBAAgB,EAAE,YAAY,EAAE,CAAC;CAClC,CAAC;AAEF;;GAEG;AACH,wBAAgB,oBAAoB,CAAC,KAAK,EAAE,MAAM,EAChD,MAAM,EAAE,eAAe,CAAC,KAAK,EAAE,MAAM,CAAC,GACrC,eAAe,CAiGjB;AAoDD;;GAEG;AACH,wBAAgB,qBAAqB,CACnC,KAAK,EAAE,eAAe,EACtB,IAAI,EAAE,YAAY,GACjB,YAAY,EAAE,CAEhB;AAED;;GAEG;AACH,wBAAgB,mBAAmB,CACjC,KAAK,EAAE,eAAe,EACtB,IAAI,EAAE,YAAY,GACjB,YAAY,EAAE,CAEhB;AAED;;GAEG;AACH,wBAAgB,kBAAkB,CAChC,KAAK,EAAE,eAAe,EACtB,IAAI,EAAE,YAAY,GACjB,YAAY,EAAE,CAmBhB;AAED;;GAEG;AACH,wBAAgB,gBAAgB,CAC9B,KAAK,EAAE,eAAe,EACtB,IAAI,EAAE,YAAY,GACjB,YAAY,EAAE,CAmBhB;AAED;;GAEG;AACH,wBAAgB,QAAQ,CAAC,KAAK,EAAE,eAAe,GAAG,OAAO,CA8BxD;AAED;;GAEG;AACH,wBAAgB,QAAQ,CACtB,KAAK,EAAE,eAAe,EACtB,IAAI,EAAE,YAAY,EAClB,EAAE,EAAE,YAAY,GACf,YAAY,EAAE,GAAG,IAAI,CA4BvB"}