interaqt 0.3.0 → 0.3.1

package/agent/agentspace/knowledge/generator/api-reference.md

@@ -0,0 +1,3378 @@
+# Chapter 13: API Reference
+
+This chapter provides detailed reference documentation for all core APIs in the interaqt framework, including complete parameter descriptions, type definitions, and usage examples.
+
+## 13.1 Entity-Related APIs
+
+### Entity.create()
+
+Create entity definition. Entities are the basic units of data in the system.
+
+**Syntax**
+```typescript
+Entity.create(config: EntityConfig): EntityInstance
+```
+
+**Parameters**
+- `config.name` (string, required): Entity name, must match `/^[a-zA-Z0-9_]+$/` format
+- `config.properties` (Property[], required): Entity property list, defaults to empty array
+- `config.computation` (Computation[], optional): Entity-level computed data
+- `config.baseEntity` (Entity|Relation, optional): Base entity for filtered entity (used to create filtered entities)
+- `config.matchExpression` (MatchExp, optional): Match expression (used to create filtered entities)
+
+**Examples**
+```typescript
+// Create basic entity
+const User = Entity.create({
+    name: 'User',
+    properties: [
+        Property.create({ name: 'username', type: 'string' }),
+        Property.create({ name: 'email', type: 'string' })
+    ]
+})
+
+// Create filtered entity
+const ActiveUser = Entity.create({
+  name: 'ActiveUser',
+  baseEntity: User,
+  matchExpression: MatchExp.atom({
+    key: 'status',
+    value: ['=', 'active']
+  })
+})
+```
+
+**Filtered Entities**
+
+Filtered entities are views of existing entities that automatically filter records based on specified conditions. They support:
+
+1. **Cascade Filtering**: Filtered entities can be used as `baseEntity` to create new filtered entities:
+```typescript
+// First level filter
+const ActiveUser = Entity.create({
+    name: 'ActiveUser',
+    baseEntity: User,
+    matchExpression: MatchExp.atom({
+        key: 'isActive',
+        value: ['=', true]
+    })
+})
+
+// Second level filter - based on ActiveUser
+const TechActiveUser = Entity.create({
+    name: 'TechActiveUser',
+    baseEntity: ActiveUser,  // Using filtered entity as base
+    matchExpression: MatchExp.atom({
+        key: 'department',
+        value: ['=', 'Tech']
+    })
+})
+
+// Third level filter - even more specific
+const SeniorTechActiveUser = Entity.create({
+    name: 'SeniorTechActiveUser',
+    baseEntity: TechActiveUser,
+    matchExpression: MatchExp.atom({
+        key: 'role',
+        value: ['=', 'senior']
+    })
+})
+```
+
+2. **Complex Conditions**: Use boolean expressions for complex filtering:
+```typescript
+const TechYoungUser = Entity.create({
+    name: 'TechYoungUser',
+    baseEntity: User,
+    matchExpression: MatchExp.atom({
+        key: 'age',
+        value: ['<', 30]
+    }).and({
+        key: 'department',
+        value: ['=', 'Tech']
+    })
+})
+```
+
+3. **Automatic Updates**: When source entity records are created, updated, or deleted, filtered entities automatically reflect these changes based on their match expressions.
+
+### Property.create()
+
+Create entity property definition.
+
+**Syntax**
+```typescript
+Property.create(config: PropertyConfig): PropertyInstance
+```
+
+**Parameters**
+- `config.name` (string, required): Property name, must be 1-5 characters long
+- `config.type` (string, required): Property type, options: 'string' | 'number' | 'boolean'
+- `config.collection` (boolean, optional): Whether it's a collection type
+- `config.defaultValue` (function, optional): Default value function
+- `config.computed` (function, optional): Computed property function
+- `config.computation` (Computation, optional): Property computed data
+
+**⚠️ IMPORTANT: Timestamp Properties**
+When creating timestamp properties with `defaultValue`, **always convert milliseconds to seconds** using `Math.floor(Date.now()/1000)`:
+- ❌ WRONG: `defaultValue: () => Date.now()` - Returns milliseconds, database doesn't support this!
+- ✅ CORRECT: `defaultValue: () => Math.floor(Date.now()/1000)` - Returns Unix timestamp in seconds
+
+**Examples**
+```typescript
+// Basic property
+const username = Property.create({
+    name: 'username',
+    type: 'string'
+})
+
+// Property with default value - timestamp
+// 🔴 CRITICAL: Always use seconds for timestamps, not milliseconds!
+const createdAt = Property.create({
+    name: 'createdAt',
+    type: 'number',
+    defaultValue: () => Math.floor(Date.now()/1000)  // Convert to seconds - database doesn't support milliseconds!
+})
+
+// Computed property
+const fullName = Property.create({
+    name: 'fullName',
+    type: 'string',
+    computed: function(user) {
+        return `${user.firstName} ${user.lastName}`
+    }
+})
+
+// Property with reactive computation
+const postCount = Property.create({
+    name: 'postCount',
+    type: 'number',
+    computation: Count.create({
+        property: 'posts'  // Use property name from relation
+    })
+})
+```
+
+### HardDeletionProperty.create()
+
+Create a special property that triggers physical deletion of records when set to true.
+
+**Syntax**
+```typescript
+HardDeletionProperty.create(config?: HardDeletionPropertyConfig): PropertyInstance
+```
+
+**Parameters**
+- `config.name` (string, optional): Property name, defaults to `'_isDeleted_'`
+
+**Usage with StateMachine**
+
+HardDeletionProperty is typically used with StateMachine to manage record deletion:
+
+```typescript
+import { DELETED_STATE, NON_DELETED_STATE } from 'interaqt'
+
+// Define deletion StateMachine for the HardDeletionProperty
+const deletionStateMachine = StateMachine.create({
+    states: [NON_DELETED_STATE, DELETED_STATE],
+    defaultState: NON_DELETED_STATE,
+    transfers: [
+        StateTransfer.create({
+            trigger: DeleteUserInteraction,
+            current: NON_DELETED_STATE,
+            next: DELETED_STATE,
+            computeTarget: function(event) {
+                return { id: event.payload.userId }
+            }
+        })
+    ]
+})
+
+const hardDeletionProperty = HardDeletionProperty.create()
+hardDeletionProperty.computation = deletionStateMachine
+
+// Add HardDeletionProperty to entity
+const User = Entity.create({
+    name: 'User',
+    properties: [
+        Property.create({ name: 'name', type: 'string' }),
+        Property.create({ name: 'email', type: 'string' }),
+        // Add HardDeletionProperty with deletion StateMachine
+        hardDeletionProperty
+    ]
+})
+```
+
+**How It Works**
+1. When the property value transitions to `DELETED_STATE` (true), the Controller automatically deletes the record from storage
+2. The deletion is physical - the record is completely removed from the database
+3. This is different from soft deletion where records remain but are marked as deleted
+
+**Example: Entity Creation and Deletion Pattern**
+
+```typescript
+// Use Transform for entity creation
+const Article = Entity.create({
+    name: 'Article',
+    properties: [
+        Property.create({ name: 'title', type: 'string' }),
+        Property.create({ name: 'content', type: 'string' }),
+        HardDeletionProperty.create()
+    ],
+    // Transform creates new articles from interaction events
+    computation: Transform.create({
+        record: InteractionEventEntity,
+        callback: function(event) {
+            if (event.interactionName === 'CreateArticle') {
+                return {
+                    title: event.payload.title,
+                    content: event.payload.content
+                }
+            }
+            return null
+        }
+    })
+})
+
+// Configure deletion for the HardDeletionProperty
+const deletionProperty = HardDeletionProperty.create()
+deletionProperty.computation = StateMachine.create({
+    states: [NON_DELETED_STATE, DELETED_STATE],
+    defaultState: NON_DELETED_STATE,
+    transfers: [
+        StateTransfer.create({
+            trigger: DeleteArticleInteraction,
+            current: NON_DELETED_STATE,
+            next: DELETED_STATE,
+            computeTarget: function(event) {
+                return { id: event.payload.articleId }
+            }
+        })
+    ]
+})
+
+Article.properties.push(deletionProperty)
+```
+
+### Relation.create()
+
+Create relationship definition between entities or create filtered views of existing relations.
+
+**Syntax**
+```typescript
+Relation.create(config: RelationConfig): RelationInstance
+```
+
+**Two Types of Relations**
+1. **Base Relations**: Define direct relationships between entities (requires `source`, `target`, `type`)
+2. **Filtered Relations**: Create filtered views of existing relations (requires `baseRelation`, `matchExpression`)
+
+**Important: Auto-Generated Relation Names**
+
+If you did not specify a `name` property when creating relations, The framework will automatically generates the relation name based on the source and target entities. For example:
+- A relation between `User` and `Post` → automatically named `UserPost`
+- A relation between `Post` and `Comment` → automatically named `PostComment`
+
+**Parameters**
+- `config.name` (string, optional): Relation name. If not specified, will be auto-generated from source and target entity names
+- `config.source` (Entity|Relation, required for base relations): Source entity of the relationship
+- `config.sourceProperty` (string, required): Relationship property name in source entity
+- `config.target` (Entity|Relation, required for base relations): Target entity of the relationship
+- `config.targetProperty` (string, required): Relationship property name in target entity
+- `config.type` (string, required for base relations): Relationship type, options: '1:1' | '1:n' | 'n:1' | 'n:n'
+- `config.properties` (Property[], optional): Properties of the relationship itself
+- `config.computation` (Computation, optional): Relationship-level computed data
+- `config.baseRelation` (Relation, required for filtered relations): Base relation to filter from
+- `config.matchExpression` (MatchExp, required for filtered relations): Filter condition for the relation records
+
+
+**Note on Symmetric Relations**: The system automatically detects symmetric relations when `source === target` AND `sourceProperty === targetProperty`. There is no need to specify a `symmetric` parameter.
+
+**Examples**
+```typescript
+// One-to-many relationship
+const UserPostRelation = Relation.create({
+    source: User,
+    sourceProperty: 'posts',
+    target: Post,
+    targetProperty: 'author',
+    type: '1:n'
+})
+
+// Many-to-many relationship
+const UserTagRelation = Relation.create({
+    source: User,
+    sourceProperty: 'tags',
+    target: Tag,
+    targetProperty: 'users',
+    type: 'n:n'
+})
+
+// Symmetric relationship (friendship)
+// Note: System detects symmetric relations automatically when source === target AND sourceProperty === targetProperty
+const FriendRelation = Relation.create({
+    source: User,
+    sourceProperty: 'friends',
+    target: User,
+    targetProperty: 'friends',  // Same as sourceProperty - automatically symmetric
+    type: 'n:n'
+})
+
+// Relationship with properties
+const UserRoleRelation = Relation.create({
+    source: User,
+    sourceProperty: 'roles',
+    target: Role,
+    targetProperty: 'users',
+    type: 'n:n',
+    properties: [
+        Property.create({ name: 'assignedAt', type: 'string' }),
+        Property.create({ name: 'isActive', type: 'boolean' })
+    ]
+})
+```
+
+**Filtered Relations**
+
+Filtered relations are views of existing relations that automatically filter relationship records based on specified conditions. They support:
+
+1. **Basic Filtered Relations**: Create filtered views based on relation properties:
+```typescript
+// Base relation with properties
+const UserPostRelation = Relation.create({
+    source: User,
+    sourceProperty: 'posts',
+    target: Post,
+    targetProperty: 'author',
+    type: '1:n',
+    properties: [
+        Property.create({ name: 'isPublished', type: 'boolean' }),
+        Property.create({ name: 'priority', type: 'string' })
+    ]
+})
+
+// Filtered relation - only published posts
+const PublishedUserPostRelation = Relation.create({
+    name: 'PublishedUserPostRelation',
+    baseRelation: UserPostRelation,
+    sourceProperty: 'publishedPosts',
+    targetProperty: 'publishedAuthor',
+    matchExpression: MatchExp.atom({
+        key: 'isPublished',
+        value: ['=', true]
+    })
+})
+```
+
+2. **Cascade Filtering**: Filtered relations can be used as `baseRelation` to create new filtered relations:
+```typescript
+// First level filter - active assignments
+const ActiveUserProjectRelation = Relation.create({
+    name: 'ActiveUserProjectRelation',
+    baseRelation: UserProjectRelation,
+    sourceProperty: 'activeProjects',
+    targetProperty: 'activeUsers',
+    matchExpression: MatchExp.atom({
+        key: 'isActive',
+        value: ['=', true]
+    })
+})
+
+// Second level filter - only lead roles from active assignments
+const LeadUserProjectRelation = Relation.create({
+    name: 'LeadUserProjectRelation',
+    baseRelation: ActiveUserProjectRelation,  // Using filtered relation as base
+    sourceProperty: 'leadProjects',
+    targetProperty: 'leadUsers',
+    matchExpression: MatchExp.atom({
+        key: 'role',
+        value: ['=', 'lead']
+    })
+})
+```
+
+3. **Complex Filter Conditions**: Combine multiple conditions:
+```typescript
+const ImportantActiveRelation = Relation.create({
+    name: 'ImportantActiveRelation',
+    baseRelation: UserTaskRelation,
+    sourceProperty: 'importantActiveTasks',
+    targetProperty: 'assignedToImportant',
+    matchExpression: MatchExp.atom({
+        key: 'priority',
+        value: ['=', 'high']
+    }).and({
+        key: 'status',
+        value: ['=', 'active']
+    })
+})
+```
+
+4. **Automatic Updates**: When source relation records are created, updated, or deleted, filtered relations automatically reflect these changes based on their match expressions. For example, if a relation's `isActive` property is updated from `false` to `true`, it will automatically appear in the corresponding filtered relation.
+
+## 13.2 Computation-Related APIs
+
+### Count.create()
+
+Create count computation for counting records.
+
+**Syntax**
+```typescript
+Count.create(config: CountConfig): CountInstance
+```
+
+**Parameters**
+- `config.record` (Entity|Relation, optional): Entity or relation to count (for entity/global level computation)
+- `config.property` (string, optional): Property name from relation (for property level computation)
+- `config.direction` (string, optional): Relationship direction, options: 'source' | 'target', only for relation counting
+- `config.callback` (function, optional): Filter callback function, returns boolean to decide if included in count
+- `config.attributeQuery` (AttributeQueryData, optional): Attribute query configuration to optimize data fetching
+- `config.dataDeps` (object, optional): Data dependency configuration, format: `{[key: string]: DataDep}`
+
+**Examples**
+```typescript
+// Basic global count
+const totalUsers = Count.create({
+    record: User
+})
+
+// Basic property count (user's post count)
+const userPostCount = Property.create({
+    name: 'postCount',
+    type: 'number',
+    computation: Count.create({
+        property: 'posts'  // Use property name from relation
+    })
+})
+
+// Count with filter condition (only count published posts)
+const publishedPostCount = Property.create({
+    name: 'publishedPostCount',
+    type: 'number',
+    computation: Count.create({
+        property: 'posts',  // Use property name from relation
+        attributeQuery: ['status'],  // Query properties on related entity
+        callback: function(post) {
+            return post.status === 'published'
+        }
+    })
+})
+
+// Count with data dependencies (filter based on global minimum score setting)
+const minScoreThreshold = Dictionary.create({
+    name: 'minScoreThreshold',
+    type: 'number',
+    collection: false
+})
+const highScorePostCount = Property.create({
+    name: 'highScorePostCount',
+    type: 'number',
+    computation: Count.create({
+        property: 'posts',  // Use property name from relation
+        attributeQuery: ['score'],  // Query properties on related entity
+        dataDeps: {
+            minScore: {
+                type: 'global',
+                source: minScoreThreshold
+            }
+        },
+        callback: function(post, dataDeps) {
+            return post.score >= dataDeps.minScore
+        }
+    })
+})
+
+// Global count with filter and data dependencies
+const userActiveDays = Dictionary.create({
+    name: 'userActiveDays',
+    type: 'number',
+    collection: false
+})
+const activeUsersCount = Dictionary.create({
+    name: 'activeUsersCount',
+    type: 'number',
+    collection: false,
+    computation: Count.create({
+        record: User,
+        attributeQuery: ['lastLoginDate'],
+        dataDeps: {
+            activeDays: {
+                type: 'global',
+                source: userActiveDays
+            }
+        },
+        callback: function(user, dataDeps) {
+            const daysSinceLogin = (Date.now() - new Date(user.lastLoginDate).getTime()) / (1000 * 60 * 60 * 24)
+            return daysSinceLogin <= dataDeps.activeDays
+        }
+    })
+})
+
+// Relation count with direction parameter
+const authorPostCount = Property.create({
+    name: 'authoredPostCount',
+    type: 'number',
+    computation: Count.create({
+        property: 'posts',  // Use property name from relation
+    })
+})
+```
+
+### WeightedSummation.create()
+
+Create weighted summation computation.
+
+**Syntax**
+```typescript
+WeightedSummation.create(config: WeightedSummationConfig): WeightedSummationInstance
+```
+
+**Parameters**
+- `config.record` (Entity|Relation, optional): Entity or relation to compute (for entity/global level computation)
+- `config.property` (string, optional): Property name from relation (for property level computation)
+- `config.callback` (function, required): Callback function to calculate weight and value, returns `{weight: number, value: number}`
+- `config.attributeQuery` (AttributeQueryData, required): Attribute query configuration
+
+**Examples**
+```typescript
+// Calculate user total score
+const userTotalScore = Property.create({
+    name: 'totalScore',
+    type: 'number',
+    computation: WeightedSummation.create({
+        property: 'scores',  // Use property name from relation
+        callback: function(scoreRecord) {
+            return {
+                weight: scoreRecord.multiplier || 1,
+                value: scoreRecord.points
+            }
+        }
+    })
+})
+
+// Global weighted summation
+const globalWeightedScore = WeightedSummation.create({
+    record: ScoreRecord,
+    callback: function(record) {
+        return {
+            weight: record.difficulty,
+            value: record.score
+        }
+    }
+})
+```
+
+### Summation.create()
+
+Create summation computation for summing specified fields.
+
+**Syntax**
+```typescript
+Summation.create(config: SummationConfig): SummationInstance
+```
+
+**Parameters**
+- `config.record` (Entity|Relation, optional): Entity or relation to compute (for entity/global level computation)
+- `config.property` (string, optional): Property name from relation (for property level computation)
+- `config.attributeQuery` (AttributeQueryData, required): Attribute query configuration, specifies field path to sum
+- `config.direction` (string, optional): Relationship direction, options: 'source' | 'target', only for relation summation
+
+**How it works**
+
+Summation sums the field pointed to by the leftmost path in `attributeQuery`. If any value in the path is `undefined`, `null`, `NaN`, or `Infinity`, that value will be treated as 0.
+
+**Examples**
+```typescript
+// Basic global summation (sum all transaction amounts)
+const totalRevenue = Dictionary.create({
+    name: 'totalRevenue',
+    type: 'number',
+    collection: false,
+    computation: Summation.create({
+        record: Transaction,
+        attributeQuery: ['amount']
+    })
+})
+
+// Property-level summation (calculate user's total order amount)
+const userTotalSpent = Property.create({
+    name: 'totalSpent',
+    type: 'number',
+    computation: Summation.create({
+        property: 'orders',  // Use property name from relation
+        attributeQuery: ['totalAmount']  // Query properties on related entity
+    })
+})
+
+// Nested path summation (sum nested fields of related entities)
+const departmentBudget = Property.create({
+    name: 'totalBudget',
+    type: 'number',
+    computation: Summation.create({
+        property: 'projects',  // Use property name from relation
+        attributeQuery: [['budget', {
+            attributeQuery: ['allocatedAmount']
+        }]]  // Query nested properties on related entity
+    })
+})
+
+// Direct summation of relation properties
+const totalShippingCost = Property.create({
+    name: 'totalShippingCost',
+    type: 'number',
+    computation: Summation.create({
+        property: 'shipments',  // Use property name from relation
+        attributeQuery: [['&', {attributeQuery: ['shippingFee']}]]  // Access relation's own property with '&'
+    })
+})
+
+// Global summation handling missing values
+const totalBalance = Dictionary.create({
+    name: 'totalBalance',
+    type: 'number',
+    collection: false,
+    computation: Summation.create({
+        record: Account,
+        attributeQuery: ['balance']  // null or undefined values treated as 0
+    })
+})
+```
+
+**Working with Other Computations**
+
+If you need complex summation logic (like conditional filtering, data transformation etc.), you can first use other computations (like Transform) to calculate the needed values on records, then use Summation for simple summing:
+
+```typescript
+// First use Transform to calculate discounted price
+const OrderItem = Entity.create({
+    name: 'OrderItem',
+    properties: [
+        Property.create({ name: 'price', type: 'number' }),
+        Property.create({ name: 'quantity', type: 'number' }),
+        Property.create({ name: 'discountRate', type: 'number' }),
+        Property.create({
+            name: 'finalPrice',
+            type: 'number',
+            computed: function(item) {
+                const subtotal = (item.price || 0) * (item.quantity || 0);
+                const discount = subtotal * (item.discountRate || 0);
+                return subtotal - discount;
+            }
+        })
+    ]
+});
+
+// Then use Summation to sum computed values
+const orderTotal = Property.create({
+    name: 'total',
+    type: 'number',
+    computation: Summation.create({
+        property: 'items',  // Use property name from relation
+        attributeQuery: ['finalPrice']  // Query properties on related entity
+    })
+});
+```
+
+### Every.create()
+
+Create boolean computation that checks if all records meet a condition.
+
+**Syntax**
+```typescript
+Every.create(config: EveryConfig): EveryInstance
+```
+
+**Parameters**
+- `config.record` (Entity|Relation, optional): Entity or relation to check (for entity/global level computation)
+- `config.property` (string, optional): Property name from relation (for property level computation)
+- `config.callback` (function, required): Condition check function, returns boolean
+- `config.attributeQuery` (AttributeQueryData, required): Attribute query configuration
+- `config.notEmpty` (boolean, optional): Return value when collection is empty
+
+**Examples**
+```typescript
+// Check if user completed all required courses
+const completedAllRequired = Property.create({
+    name: 'completedAllRequired',
+    type: 'boolean',
+    computation: Every.create({
+        property: 'courses',  // Use property name from relation
+        attributeQuery: [['&', {attributeQuery: ['status']}]],  // Access relation's own property with '&'
+        callback: function(courseRelation) {
+            return courseRelation['&'].status === 'completed'
+        },
+        notEmpty: false
+    })
+})
+```
+
+### Any.create()
+
+Create boolean computation that checks if any record meets a condition.
+
+**Syntax**
+```typescript
+Any.create(config: AnyConfig): AnyInstance
+```
+
+**Parameters**
+- `config.record` (Entity|Relation, optional): Entity or relation to check (for entity/global level computation)
+- `config.property` (string, optional): Property name from relation (for property level computation)
+- `config.callback` (function, required): Condition check function, returns boolean
+- `config.attributeQuery` (AttributeQueryData, required): Attribute query configuration
+
+**Examples**
+```typescript
+// Check if user has any pending tasks
+const hasPendingTasks = Property.create({
+    name: 'hasPendingTasks',
+    type: 'boolean',
+    computation: Any.create({
+        property: 'tasks',  // Use property name from relation
+        attributeQuery: [['&', {attributeQuery: ['status']}]],  // Access relation's own property with '&'
+        callback: function(taskRelation) {
+            return taskRelation['&'].status === 'pending'
+        }
+    })
+})
+```
+
+### Transform.create()
+
+Create custom transformation computation.
+
+Transform is fundamentally about **transforming data from one collection to another collection**. It transforms sets of data (e.g., InteractionEventEntity → Entity/Relation, Entity → different Entity). Transform **cannot** be used for property computations within the same entity - use `getValue` for that purpose.
+
+**Important: One-to-Many Transformations**
+Transform callbacks can return either:
+- A single object → creates one record
+- An array of objects → creates multiple records from a single source
+- `null` or `undefined` → creates no records
+
+**Syntax**
+```typescript
+Transform.create(config: TransformConfig): TransformInstance
+```
+
+**Parameters**
+- `config.record` (Entity|Relation, required): Entity or relation to transform from (source collection)
+- `config.callback` (function, required): Transformation function that converts source data to target data
+- `config.attributeQuery` (AttributeQueryData, required): Attribute query configuration
+
+
+**Key Points**
+
+1. **Return Types**:
+   - Single object: Creates one target record
+   - Array of objects: Creates multiple target records from one source
+   - `null`/`undefined`: Creates no records (useful for filtering)
+
+2. **Automatic Updates**: When source records are updated or deleted, the transformed records are automatically updated or removed
+
+### StateMachine.create()
+
+Create state machine computation that manages state transitions and computes values based on those transitions. Can be used for entity properties, relation properties, or global dictionaries.
+
+**Syntax**
+```typescript
+StateMachine.create(config: StateMachineConfig): StateMachineInstance
+```
+
+**Parameters**
+- `config.states` (StateNode[], required): List of state nodes
+- `config.transfers` (StateTransfer[], required): List of state transfers
+- `config.defaultState` (StateNode, required): Default state
+
+**Important: Initial Value Handling**
+
+When using StateMachine for entity/relation properties:
+- If the property's initial value is set when the entity/relation is created, handle it in the entity/relation's computation
+- If the StateMachine needs to save or modify this initial value, explicitly define `computeValue` on the `defaultState` to handle it
+
+```typescript
+// Example: StateMachine handling initial value
+const MyStateMachine = StateMachine.create({
+    states: [pendingState, activeState],
+    transfers: [...],
+    defaultState: StateNode.create({
+        name: 'pending',
+        computeValue: (lastValue) => {
+            // Explicitly handle initial value
+            return lastValue || 'initial_state_value';
+        }
+    })
+});
+```
+
+**Examples**
+```typescript
+// First declare state nodes
+const pendingState = StateNode.create({ name: 'pending' });
+const confirmedState = StateNode.create({ name: 'confirmed' });
+const shippedState = StateNode.create({ name: 'shipped' });
+const deliveredState = StateNode.create({ name: 'delivered' });
+
+const OrderStateMachine = StateMachine.create({
+    states: [pendingState, confirmedState, shippedState, deliveredState],
+    transfers: [
+        StateTransfer.create({
+            current: pendingState,
+            next: confirmedState,
+            trigger: ConfirmOrderInteraction
+        })
+    ],
+    defaultState: pendingState
+});
+
+// Relation with HardDeletionProperty for deletion management
+const UserTargetRelation = Relation.create({
+    source: User,
+    sourceProperty: 'targets',
+    target: TargetEntity,
+    targetProperty: 'users',
+    type: 'n:n',
+    properties: [
+        Property.create({ name: 'createdAt', type: 'string' }),
+        Property.create({ name: 'isActive', type: 'boolean' }),
+    ],
+    // Use Transform to create relations
+    computation: Transform.create({
+        record: InteractionEventEntity,
+        callback: function(event) {
+            if (event.interactionName === 'CreateRelation') {
+                return {
+                    source: event.payload.sourceUser,
+                    target: event.payload.targetEntity,
+                    createdAt: new Date().toISOString(),
+                    isActive: true
+                }
+            }
+            return null
+        }
+    })
+})
+
+const relationDeletionProperty = HardDeletionProperty.create()
+
+// Configure deletion for relation's HardDeletionProperty
+relationDeletionProperty.computation = StateMachine.create({
+    states: [NON_DELETED_STATE, DELETED_STATE],
+    defaultState: NON_DELETED_STATE,
+    transfers: [
+        StateTransfer.create({
+            trigger: DeleteRelationInteraction,
+            current: NON_DELETED_STATE,
+            next: DELETED_STATE,
+            computeTarget: async function(this: Controller, event: any) {
+                const MatchExp = this.globals.MatchExp;
+                const relation = await this.system.storage.findOne(
+                    UserTargetRelation.name,
+                    MatchExp.atom({
+                        key: 'source.id',
+                        value: ['=', event.payload.sourceId]
+                    }).and({
+                        key: 'target.id',
+                        value: ['=', event.payload.targetId]
+                    }),
+                    undefined,
+                    ['id']
+                );
+                return relation ? { id: relation.id } : undefined;
+            }
+        })
+    ]
+})
+
+UserTargetRelation.properties.push(relationDeletionProperty)
+
+```
+
+### RealTime.create()
+
+Create real-time computation for handling time-based reactive computations. Real-time computations automatically manage state (lastRecomputeTime and nextRecomputeTime) and adopt different scheduling strategies based on return type.
+
+**Syntax**
+```typescript
+RealTime.create(config: RealTimeConfig): RealTimeInstance
+```
+
+**Parameters**
+- `config.callback` (function, required): Real-time computation callback function, accepts `(now: Expression, dataDeps: any) => Expression | Inequality | Equation`
+- `config.nextRecomputeTime` (function, optional): Recomputation interval function, accepts `(now: number, dataDeps: any) => number`, only valid for Expression type
+- `config.dataDeps` (object, optional): Data dependency configuration, format: `{[key: string]: DataDep}`
+- `config.attributeQuery` (AttributeQueryData, optional): Attribute query configuration
+
+**Return Types and Scheduling Behavior**
+- **Expression**: Returns numeric computation result, nextRecomputeTime = lastRecomputeTime + nextRecomputeTime function return value
+- **Inequality**: Returns boolean comparison result, nextRecomputeTime = solve() result (critical time point for state change)
+- **Equation**: Returns boolean equation result, nextRecomputeTime = solve() result (critical time point for state change)
+
+**State Management**
+
+RealTime computations automatically create and manage two state fields:
+- `lastRecomputeTime`: Timestamp of last computation
+- `nextRecomputeTime`: Timestamp of next computation
+
+State field naming convention:
+- Global computations: `_global_boundState_{computationName}_{stateName}`
+- Property computations: `_record_boundState_{entityName}_{propertyName}_{stateName}`
+
+**Examples**
+
+```typescript
+// Expression type: manually specify recomputation interval
+const currentTimestamp = Dictionary.create({
+    name: 'currentTimestamp',
+    type: 'number',
+    computation: RealTime.create({
+        nextRecomputeTime: (now: number, dataDeps: any) => 1000, // Update every second
+        callback: async (now: Expression, dataDeps: any) => {
+            return now.divide(1000); // Convert to seconds
+        }
+    })
+});
+
+// Inequality type: system automatically calculates critical time points
+const isAfterDeadline = Dictionary.create({
+    name: 'isAfterDeadline',
+    type: 'boolean',
+    computation: RealTime.create({
+        dataDeps: {
+            project: {
+                type: 'records',
+                source: projectEntity,
+                attributeQuery: ['deadline']
+            }
+        },
+        callback: async (now: Expression, dataDeps: any) => {
+            const deadline = dataDeps.project?.[0]?.deadline || Date.now() + 86400000;
+            // System will automatically recompute at deadline time
+            return now.gt(deadline);
+        }
+    })
+});
+
+// Equation type: check time equations
+const isExactHour = Dictionary.create({
+    name: 'isExactHour',
+    type: 'boolean',
+    computation: RealTime.create({
+        callback: async (now: Expression, dataDeps: any) => {
+            const millisecondsInHour = 3600000;
+            // System will automatically recompute at next exact hour
+            return now.modulo(millisecondsInHour).eq(0);
+        }
+    })
+});
+
+// Property-level real-time computation
+const userEntity = Entity.create({
+    name: 'User',
+    properties: [
+        Property.create({ name: 'lastLoginAt', type: 'number' }),
+        Property.create({
+            name: 'isRecentlyActive',
+            type: 'boolean',
+            computation: RealTime.create({
+                dataDeps: {
+                    _current: {
+                        type: 'property',
+                        attributeQuery: ['lastLoginAt']
+                    }
+                },
+                callback: async (now: Expression, dataDeps: any) => {
+                    const lastLogin = dataDeps._current?.lastLoginAt || 0;
+                    const oneHourAgo = now.subtract(3600000);
+                    return Expression.number(lastLogin).gt(oneHourAgo);
+                }
+            })
+        })
+    ]
+});
+
+// Complex data dependencies real-time computation
+const businessMetrics = Dictionary.create({
+    name: 'businessMetrics',
+    type: 'object',
+    computation: RealTime.create({
+        nextRecomputeTime: (now: number, dataDeps: any) => 300000, // Update every 5 minutes
+        dataDeps: {
+            config: {
+                type: 'records',
+                source: configEntity,
+                attributeQuery: ['businessHourStart', 'businessHourEnd']
+            },
+            metrics: {
+                type: 'records',
+                source: metricsEntity,
+                attributeQuery: ['dailyTarget', 'currentValue']
+            }
+        },
+        callback: async (now: Expression, dataDeps: any) => {
+            const config = dataDeps.config?.[0] || {};
+            const metrics = dataDeps.metrics?.[0] || {};
+            
+            const startHour = config.businessHourStart || 9;
+            const endHour = config.businessHourEnd || 17;
+            const currentHour = now.divide(3600000).modulo(24);
+            
+            const isBusinessTime = currentHour.gt(startHour).and(currentHour.lt(endHour));
+            const progressRate = Expression.number(metrics.currentValue || 0).divide(metrics.dailyTarget || 1);
+            
+            return {
+                isBusinessTime: isBusinessTime.evaluate({now: Date.now()}),
+                progressRate: progressRate.evaluate({now: Date.now()}),
+                timestamp: now.evaluate({now: Date.now()})
+            };
+        }
+    })
+});
+```
+
+**State Access Example**
+
+```typescript
+// Get computation instance
+const realTimeComputation = Array.from(controller.scheduler.computations.values()).find(
+    computation => computation.dataContext.type === 'global' && 
+                 computation.dataContext.id === 'currentTimestamp'
+);
+
+// Get state key names
+const lastRecomputeTimeKey = controller.scheduler.getBoundStateName(
+    realTimeComputation.dataContext, 
+    'lastRecomputeTime', 
+    realTimeComputation.state.lastRecomputeTime
+);
+
+const nextRecomputeTimeKey = controller.scheduler.getBoundStateName(
+    realTimeComputation.dataContext, 
+    'nextRecomputeTime', 
+    realTimeComputation.state.nextRecomputeTime
+);
+
+// Read state values
+const lastRecomputeTime = await system.storage.get(DICTIONARY_RECORD, lastRecomputeTimeKey);
+const nextRecomputeTime = await system.storage.get(DICTIONARY_RECORD, nextRecomputeTimeKey);
+```
+
+### Custom.create()
+
+Create custom computation with completely user-defined calculation logic.
+
+Custom computation provides maximum flexibility, allowing developers to implement any business logic that doesn't fit into other computation types. It supports custom compute functions, incremental computation, state management, and flexible data dependencies.
+
+**Syntax**
+```typescript
+Custom.create(config: CustomConfig): CustomInstance
+```
+
+**Parameters**
+- `config.name` (string, required): Computation name for identification
+- `config.compute` (function, required): Main computation function with signature:
+  ```typescript
+  // For Dictionary/Global context:
+  async function(
+    this: { controller: Controller, state: any }, 
+    dataDeps: any
+  ): Promise<any>
+  
+  // For Property context:
+  async function(
+    this: { controller: Controller, state: any }, 
+    dataDeps: any,
+    record: any
+  ): Promise<any>
+  ```
+- `config.incrementalCompute` (function, optional): Incremental computation function for optimized updates:
+  ```typescript
+  async function(
+    this: { controller: Controller, state: any },
+    lastValue: any,
+    mutationEvent: any,
+    record: any,
+    dataDeps: any
+  ): Promise<any>
+  ```
+- `config.incrementalPatchCompute` (function, optional): Patch-based incremental computation:
+  ```typescript
+  async function(
+    this: { controller: Controller, state: any },
+    lastValue: any,
+    mutationEvent: any,
+    record: any,
+    dataDeps: any
+  ): Promise<ComputationResultPatch[]>
+  ```
+- `config.createState` (function, optional): Create custom state for the computation:
+  ```typescript
+  function(): any
+  ```
+- `config.getDefaultValue` (function, optional): Provide default value when computation hasn't run:
+  ```typescript
+  function(): any
+  ```
+- `config.asyncReturn` (function, optional): Handle async task results:
+  ```typescript
+  async function(
+    this: { controller: Controller, state: any },
+    asyncResult: any,
+    dataDeps: any,
+    record?: any
+  ): Promise<any>
+  ```
+- `config.dataDeps` (object, optional): Data dependency configuration, format: `{[key: string]: DataDep}`. 
+  - For Property computation: use `type: 'property'` with `attributeQuery` to access current record and its relations
+  - For Dictionary computation: use `type: 'records'` with `source: EntityName`
+  - For accessing dictionaries: use `type: 'global'` with `source: DictionaryInstance`
+- `config.useLastValue` (boolean, optional): Whether to use last computed value in incremental computation
+- `config.attributeQuery` (AttributeQueryData, optional): Attribute query configuration
+
+**Examples**
+
+```typescript
+// Basic custom computation for global dictionary
+const userStats = Dictionary.create({
+    name: 'userStats',
+    type: 'object',
+    collection: false,
+    computation: Custom.create({
+        name: 'UserStatsCalculator',
+        dataDeps: {
+            users: {
+                type: 'records',
+                source: User,
+                attributeQuery: ['id', 'status', 'createdAt']
+            },
+            posts: {
+                type: 'records',
+                source: Post,
+                attributeQuery: ['id', 'authorId', 'status']
+            }
+        },
+        compute: async function(this: Controller, dataContext, args, state, dataDeps) {
+            const activeUsers = dataDeps.users.filter(u => u.status === 'active');
+            const publishedPosts = dataDeps.posts.filter(p => p.status === 'published');
+            
+            return {
+                totalUsers: dataDeps.users.length,
+                activeUsers: activeUsers.length,
+                totalPosts: dataDeps.posts.length,
+                publishedPosts: publishedPosts.length,
+                avgPostsPerUser: dataDeps.posts.length / dataDeps.users.length || 0
+            };
+        },
+        getDefaultValue: function() {
+            return {
+                totalUsers: 0,
+                activeUsers: 0,
+                totalPosts: 0,
+                publishedPosts: 0,
+                avgPostsPerUser: 0
+            };
+        }
+    })
+});
+
+// Incremental computation with state management
+const counterDict = Dictionary.create({
+    name: 'globalCounter',
+    type: 'object',
+    collection: false,
+    computation: Custom.create({
+        name: 'IncrementalCounter',
+        useLastValue: true,
+        dataDeps: {
+            counters: {
+                type: 'records',
+                source: Counter,
+                attributeQuery: ['value']
+            }
+        },
+        compute: async function(dataDeps) {
+            const total = dataDeps.counters.reduce((sum, c) => sum + (c.value || 0), 0);
+            return { total, count: dataDeps.counters.length };
+        },
+        incrementalCompute: async function(lastValue, mutationEvent, record, dataDeps) {
+            console.log('Previous value:', lastValue);
+            const total = dataDeps.counters.reduce((sum, c) => sum + (c.value || 0), 0);
+            const diff = total - (lastValue?.total || 0);
+            
+            return {
+                total,
+                count: dataDeps.counters.length,
+                lastChange: diff,
+                timestamp: Math.floor(Date.now()/1000)  // In seconds
+            };
+        },
+        getDefaultValue: function() {
+            return { total: 0, count: 0, lastChange: 0 };
+        }
+    })
+});
+
+// Custom computation with persistent state
+const stateManager = Dictionary.create({
+    name: 'stateManager',
+    type: 'object',
+    defaultValue: () => ({ value: 0 }),
+    computation: Custom.create({
+        name: 'StateManager',
+        dataDeps: {
+            trigger: {
+                type: 'global',
+                source: triggerDict
+            }
+        },
+        createState: function() {
+            return {
+                persistentCounter: new GlobalBoundState({ count: 0 })
+            };
+        },
+        compute: async function(dataDeps) {
+            if (!this.state || !this.state.persistentCounter) {
+                return { value: 0, error: 'no state' };
+            }
+            
+            // Read current state
+            const current = await this.state.persistentCounter.get() || { count: 0 };
+            
+            // Update state based on trigger
+            const increment = dataDeps.trigger || 0;
+            const newState = { count: current.count + increment };
+            await this.state.persistentCounter.set(newState);
+            
+            return { 
+                value: newState.count,
+                triggerValue: dataDeps.trigger 
+            };
+        }
+    })
+});
+
+// Async custom computation
+const apiDataProcessor = Dictionary.create({
+    name: 'apiData',
+    type: 'object',
+    collection: false,
+    computation: Custom.create({
+        name: 'APIDataProcessor',
+        asyncReturn: true,
+        dataDeps: {
+            endpoints: {
+                type: 'records',
+                source: APIEndpoint,
+                attributeQuery: ['url', 'method', 'headers']
+            }
+        },
+        compute: async function(dataDeps) {
+            // Return async task definition
+            return {
+                taskType: 'fetchAPI',
+                endpoints: dataDeps.endpoints,
+                processAt: Date.now()
+            };
+        },
+        getDefaultValue: function() {
+            return { status: 'pending', data: null };
+        }
+    })
+});
+
+// Complex relation-based computation (Dictionary level)
+const relationAnalyzer = Dictionary.create({
+    name: 'relationStats',
+    type: 'object',
+    collection: true,
+    computation: Custom.create({
+        name: 'RelationAnalyzer',
+        dataDeps: {
+            posts: {
+                type: 'records',  // Global query for all posts
+                source: Post,
+                attributeQuery: ['id', 'title']
+            },
+            relations: {
+                type: 'records',  // Global query for all relations
+                source: PostAuthorRelation,
+                attributeQuery: ['source', 'target']
+            }
+        },
+        compute: async function(dataDeps) {
+            const result: any = {};
+            
+            for (const post of dataDeps.posts || []) {
+                const authorCount = (dataDeps.relations || []).filter(r => 
+                    r.source && r.source.id === post.id
+                ).length;
+                
+                result[post.id] = {
+                    title: post.title,
+                    authorCount: authorCount
+                };
+            }
+            
+            return result;
+        }
+    })
+});
+
+// Property-level custom computation accessing own properties
+const User = Entity.create({
+    name: 'User',
+    properties: [
+        Property.create({ name: 'score', type: 'number' }),
+        Property.create({
+            name: 'level',
+            type: 'string',
+            defaultValue: () => 'beginner',
+            computation: Custom.create({
+                name: 'UserLevelCalculator',
+                dataDeps: {
+                    self: {
+                        type: 'property',
+                        attributeQuery: ['score']  // Access current record's score property
+                    },
+                    levelConfig: {
+                        type: 'global',
+                        source: levelConfigDict  // Global trigger required
+                    }
+                },
+                compute: async function(dataDeps, record) {
+                    const score = dataDeps.self?.score || 0;
+                    const config = dataDeps.levelConfig || { 
+                        beginner: 0, 
+                        intermediate: 100, 
+                        expert: 500 
+                    };
+                    
+                    if (score >= config.expert) return 'expert';
+                    if (score >= config.intermediate) return 'intermediate';
+                    return 'beginner';
+                }
+            })
+        })
+    ]
+});
+
+// Property-level custom computation accessing related entities
+const Order = Entity.create({
+    name: 'Order',
+    properties: [
+        Property.create({ name: 'orderId', type: 'string' }),
+        Property.create({
+            name: 'totalValue',
+            type: 'number',
+            defaultValue: () => 0,
+            computation: Custom.create({
+                name: 'OrderTotalCalculator',
+                dataDeps: {
+                    orderData: {
+                        type: 'property',
+                        attributeQuery: [
+                            ['items', {  // Access related items through nested query
+                                attributeQuery: ['price', 'quantity', 'discount']
+                            }]
+                        ]
+                    }
+                },
+                compute: async function(dataDeps, record) {
+                    const items = dataDeps.orderData?.items || [];
+                    return items.reduce((total, item) => {
+                        const price = item.price || 0;
+                        const quantity = item.quantity || 1;
+                        const discount = item.discount || 0;
+                        return total + (price * quantity * (1 - discount));
+                    }, 0);
+                }
+            })
+        })
+    ]
+});
+```
+
+**Advanced Features**
+
+1. **State Management**: Use `createState()` to create persistent state that survives across computation cycles. State can be stored using `GlobalBoundState`, `EntityBoundState`, or `RelationBoundState`.
+
+2. **Incremental Computation**: Implement `incrementalCompute` for optimized updates that can access the previous computed value.
+
+3. **Patch-based Updates**: Use `incrementalPatchCompute` for fine-grained updates that return specific changes rather than full recomputation.
+
+4. **Flexible Data Dependencies**: Configure complex data dependencies including:
+   - `type: 'records'`: Fetch all entity/relation records globally (for Dictionary/global computations)
+   - `type: 'property'`: Access current record's data including relations via nested attributeQuery (for Property computations)
+   - `type: 'global'`: Access global dictionary values
+
+**🔴 CRITICAL: dataDeps type Configuration**
+
+**For Property-level Custom computation:**
+- Use `type: 'property'` to access the current record's data
+- Use nested attributeQuery to access related entities through relations
+- Example: If you have a UserPostRelation with `sourceProperty: 'posts'`, use:
+  ```typescript
+  dataDeps: {
+    currentRecord: {
+      type: 'property',
+      attributeQuery: [
+        'id', 'name',  // Current record's own properties
+        ['posts', {  // Access related entities through nested query
+          attributeQuery: ['title', 'status']
+        }]
+      ]
+    }
+  }
+  // Then access in compute: dataDeps.currentRecord.posts
+  ```
+
+**For Dictionary-level Custom computation:**
+- Use `type: 'records'` for global entity queries
+- Specify `source: EntityName` to query all records of that entity
+- Example:
+  ```typescript
+  dataDeps: {
+    users: {
+      type: 'records',  // Global query
+      source: User,
+      attributeQuery: ['id', 'status']
+    }
+  }
+  ```
+
+**Common mistake**: Using `type: 'records'` in Property computation won't work correctly - it won't access the related entities for the specific record!
+
+5. **Async Support**: Set `asyncReturn: true` to return async task definitions that will be processed by the system's task queue.
+
+**Best Practices**
+
+1. **Always provide `getDefaultValue`**: This ensures the computation has a valid initial value
+2. **Use appropriate context type**: Global computations for system-wide values, property computations for entity-specific values
+3. **Use correct dataDeps type**: 
+   - `type: 'property'` for accessing current record data in Property computations (use nested attributeQuery for relations)
+   - `type: 'records'` for global queries in Dictionary computations
+   - Never use `type: 'records'` in Property computations (won't access the specific record's relations)
+4. **Handle missing data gracefully**: Check for null/undefined in dataDeps
+5. **Optimize with incremental computation**: Use `incrementalCompute` for expensive calculations
+6. **Property computations need triggers**: Property-level computations require global data dependencies to trigger on entity creation
+
+### Dictionary.create()
+
+Create global dictionary for storing system-wide state and values.
+
+**Syntax**
+```typescript
+Dictionary.create(config: DictionaryConfig): DictionaryInstance
+```
+
+**Parameters**
+- `config.name` (string, required): Dictionary name
+- `config.type` (string, required): Value type, must be one of PropertyTypes (e.g., 'string', 'number', 'boolean', 'object', etc.)
+- `config.collection` (boolean, required): Whether it's a collection type, defaults to false
+- `config.args` (object, optional): Type-specific arguments (e.g., string length, number range)
+- `config.defaultValue` (function, optional): Default value generator function
+- `config.computation` (Computation, optional): Reactive computation for the dictionary value
+
+**Examples**
+```typescript
+// Simple global counter
+const userCountDict = Dictionary.create({
+    name: 'userCount',
+    type: 'number',
+    collection: false,
+    computation: Count.create({
+        record: User
+    })
+})
+
+// System configuration
+const systemConfig = Dictionary.create({
+    name: 'config',
+    type: 'object',
+    collection: false,
+    defaultValue: () => ({
+        maxUsers: 1000,
+        maintenanceMode: false
+    })
+})
+
+// Real-time values
+const currentTime = Dictionary.create({
+    name: 'currentTime',
+    type: 'number',
+    collection: false,
+    computation: RealTime.create({
+        nextRecomputeTime: () => 1000, // Update every second
+        callback: async (now) => {
+            return now.divide(1000);
+        }
+    })
+})
+
+// Collection type dictionary
+const activeUsers = Dictionary.create({
+    name: 'activeUsers',
+    type: 'string',
+    collection: true,
+    computation: Transform.create({
+        record: User,
+        attributeQuery: ['id', 'lastLoginTime'],
+        callback: (users) => {
+            const oneHourAgo = Date.now() - 3600000;
+            return users
+                .filter(u => u.lastLoginTime > oneHourAgo)
+                .map(u => u.id);
+        }
+    })
+})
+```
+
+**Usage in Controller**
+
+Dictionaries are passed as the 6th parameter to Controller:
+
+```typescript
+const controller = new Controller({
+  system: system,
+  entities: entities,
+  relations: relations,
+  activities: activities,
+  interactions: interactions,
+  dict: [userCountDict, systemConfig, currentTime, activeUsers],, // Dictionaries
+  recordMutationSideEffects: []
+});
+```
+
+### StateNode.create()
+
+Create state node for state machine computation.
+
+**Syntax**
+```typescript
+StateNode.create(config: StateNodeConfig): StateNodeInstance
+```
+
+**Parameters**
+- `config.name` (string, required): State name identifier
+- `config.computeValue` (function, optional): Function to compute the value when transitioning to this state
+
+**computeValue Function**
+
+The `computeValue` function determines what value should be stored when the state machine transitions to this state:
+
+- **Function Signature**: 
+  - Sync: `(lastValue?: any, event?: InteractionEvent) => any`
+  - Async: `async (lastValue?: any, event?: InteractionEvent) => Promise<any>`
+  - `lastValue`: The previous value before the state transition (may be undefined for initial state)
+  - `event`: The interaction event that triggered the state transition (optional)
+    - Contains `user`, `payload`, `interactionName`, and other interaction metadata
+    - Only available when state transition is triggered by an interaction
+    - May be undefined for default state initialization
+  - Returns: The new value to be stored (can be a Promise)
+- **Context**: Called with `this` bound to the Controller instance
+- **Async Support**: Yes, `computeValue` can be an async function
+- **Purpose**: 
+  - Store state-specific data (e.g., timestamps, user IDs)
+  - Transform or calculate values based on the previous state
+  - Access interaction context (user, payload) during state transitions
+  - Return complex objects with multiple properties
+  - Return `null` to indicate deletion (for entity/relation state machines)
+  - Perform async operations like database queries or API calls
+
+**Examples**
+```typescript
+// Simple state node (no value computation)
+const pendingState = StateNode.create({ name: 'pending' });
+
+// Store timestamp when entering state
+const processedState = StateNode.create({
+    name: 'processed',
+    computeValue: () => new Date().toISOString()
+});
+
+// Store complex object
+const activeState = StateNode.create({
+    name: 'active',
+    computeValue: () => ({
+        activatedAt: Math.floor(Date.now()/1000),  // In seconds
+        status: 'active',
+        metadata: { source: 'manual' }
+    })
+});
+
+// Increment value based on previous state
+const incrementingState = StateNode.create({
+    name: 'incrementing',
+    computeValue: (lastValue) => {
+        const baseValue = typeof lastValue === 'number' ? lastValue : 0;
+        return baseValue + 1;
+    }
+});
+
+// Preserve previous value
+const idleState = StateNode.create({
+    name: 'idle',
+    computeValue: (lastValue) => {
+        return typeof lastValue === 'number' ? lastValue : 0;
+    }
+});
+
+// Return null to delete (for entity/relation state machines)
+const deletedState = StateNode.create({
+    name: 'deleted',
+    computeValue: () => null
+});
+
+// Async computeValue - fetch data from database
+const enrichedState = StateNode.create({
+    name: 'enriched',
+    computeValue: async function(lastValue) {
+        // Access controller to query database
+        const relatedData = await this.system.storage.findOne('RelatedEntity',
+            this.globals.MatchExp.atom({ key: 'id', value: ['=', lastValue.relatedId] }),
+            undefined,
+            ['name', 'metadata']
+        );
+        
+        return {
+            ...lastValue,
+            enrichedAt: new Date().toISOString(),
+            relatedInfo: relatedData
+        };
+    }
+});
+
+// Async computeValue - external API call
+const verifiedState = StateNode.create({
+    name: 'verified',
+    computeValue: async (lastValue) => {
+        // Simulate external verification
+        const verificationResult = await someExternalAPI.verify(lastValue.data);
+        
+        return {
+            status: 'verified',
+            verifiedAt: new Date().toISOString(),
+            verificationId: verificationResult.id,
+            confidence: verificationResult.confidence
+        };
+    }
+});
+
+// Using event parameter - access user information
+const approvedState = StateNode.create({
+    name: 'approved',
+    computeValue: (lastValue, event) => {
+        // Access user who triggered the approval
+        const approver = event?.user?.name || 'system';
+        return {
+            status: 'approved',
+            approvedAt: Math.floor(Date.now()/1000),  // In seconds
+            approvedBy: approver
+        };
+    }
+});
+
+// Using event parameter - access payload data
+const updatedState = StateNode.create({
+    name: 'updated',
+    computeValue: (lastValue, event) => {
+        // Merge payload data with existing value
+        if (event?.payload) {
+            return {
+                ...lastValue,
+                ...event.payload.updates,
+                lastModifiedAt: Math.floor(Date.now()/1000),  // In seconds
+                lastModifiedBy: event.user?.id
+            };
+        }
+        return lastValue;
+    }
+});
+
+// Using event parameter - conditional logic based on interaction
+const reviewedState = StateNode.create({
+    name: 'reviewed',
+    computeValue: (lastValue, event) => {
+        // Different behavior based on which interaction triggered the transition
+        if (event?.interactionName === 'approve') {
+            return { status: 'approved', reviewedAt: Math.floor(Date.now()/1000) };  // In seconds
+        } else if (event?.interactionName === 'reject') {
+            return { 
+                status: 'rejected', 
+                reviewedAt: Math.floor(Date.now()/1000),  // In seconds
+                reason: event.payload?.reason || 'No reason provided'
+            };
+        }
+        return { status: 'pending_review' };
+    }
+});
+```
+
+**Usage in StateMachine**
+
+StateNodes with `computeValue` are used in StateMachine to compute property values or entity states:
+
+```typescript
+// Counter that increments on interaction
+const CounterStateMachine = StateMachine.create({
+    states: [
+        StateNode.create({ 
+            name: 'idle', 
+            computeValue: (lastValue) => lastValue || 0 
+        }),
+        StateNode.create({ 
+            name: 'incrementing', 
+            computeValue: (lastValue) => (lastValue || 0) + 1 
+        })
+    ],
+    transfers: [/* ... */],
+    defaultState: idleState
+});
+
+// Timestamp tracking
+const ProcessingStateMachine = StateMachine.create({
+    states: [
+        StateNode.create({ name: 'pending' }),
+        StateNode.create({ 
+            name: 'processed', 
+            computeValue: () => new Date().toISOString() 
+        })
+    ],
+    transfers: [/* ... */],
+    defaultState: pendingState
+});
+
+// Apply to property
+const SomeEntity = Entity.create({
+    name: 'SomeEntity',
+    properties: [
+        Property.create({
+            name: 'processedAt',
+            type: 'string',
+            computation: ProcessingStateMachine
+        })
+    ]
+});
+```
+
+### StateTransfer.create()
+
+Create state transfer for state machine computation.
+
+**Syntax**
+```typescript
+StateTransfer.create(config: StateTransferConfig): StateTransferInstance
+```
+
+**Parameters**
+- `config.trigger` (Interaction, required): The Interaction instance that triggers this state transfer. Must be a reference to an Interaction created with `Interaction.create()`
+- `config.current` (StateNode, required): Current state node
+- `config.next` (StateNode, required): Next state node
+- `config.computeTarget` (function, optional): Function to compute which records should undergo this state transition. Returns the target record(s) that should be affected by this state change.
+
+**computeTarget Function**
+
+The `computeTarget` function determines which specific records should transition states when the trigger occurs:
+
+- **For Entity StateMachines**: Return entity record(s) with `id` field: `{id: string}` or array of such objects
+- **For Relation StateMachines**: 
+  - Return new relation specification: `{source: EntityRef, target: EntityRef}` where EntityRef can be:
+    - An object with `id`: `{id: string}`
+    - A full entity record: `{id: string, ...otherFields}`
+    - The source/target can also be arrays for batch operations
+  - Or return existing relation record(s) with `id`
+- **Function Signature**: 
+  - Sync: `(event: InteractionEvent) => TargetRecord`
+  - Async: `async function(this: Controller, event: InteractionEvent) => TargetRecord`
+- **Event Parameter**: Contains interaction details including `event.payload` with the interaction's payload data
+
+**Examples**
+```typescript
+// Simple state transfer (no computeTarget needed for global state)
+const approveTransfer = StateTransfer.create({
+    trigger: ApproveInteraction,
+    current: pendingState,
+    next: approvedState
+});
+
+// Entity state transfer - specify which entity to update
+const incrementTransfer = StateTransfer.create({
+    trigger: IncrementInteraction,
+    current: idleState,
+    next: incrementingState,
+    computeTarget: (event) => {
+        // Return the counter entity that should transition states
+        return { id: event.payload.counter.id };
+    }
+});
+
+// Relation state transfer - create new relation
+const assignReviewerTransfer = StateTransfer.create({
+    trigger: AssignReviewerInteraction,
+    current: unassignedState,
+    next: assignedState,
+    computeTarget: async function(this: Controller, event) {
+        // Find the request entity
+        const request = await this.system.storage.findOne('Request', 
+            this.globals.MatchExp.atom({
+                key: 'id',
+                value: ['=', event.payload.requestId]
+            }),
+            undefined,
+            ['id']
+        );
+        
+        // Return source and target to create/update relation
+        return {
+            source: request,  // Can be {id: '...'} or full entity
+            target: event.payload.reviewer  // From payload
+        };
+    }
+});
+
+// Relation state transfer - simple source/target
+const createFriendshipTransfer = StateTransfer.create({
+    trigger: AddFriendInteraction,
+    current: notFriendsState,
+    next: friendsState,
+    computeTarget: (event) => ({
+        source: event.user,  // The user initiating the friendship
+        target: { id: event.payload.friendId }  // The friend being added
+    })
+});
+
+// Relation state transfer - existing relation
+const updateRelationTransfer = StateTransfer.create({
+    trigger: UpdateStatusInteraction,
+    current: activeState,
+    next: updatedState,
+    computeTarget: async function(this: Controller, event) {
+        // Find existing relation
+        const relation = await this.system.storage.findOneRelationByName(UserProjectRelation.name,
+            this.globals.MatchExp.atom({
+                key: 'source.id',
+                value: ['=', event.user.id]
+            }).and({
+                key: 'target.id', 
+                value: ['=', event.payload.projectId]
+            }),
+            undefined,
+            ['id']
+        );
+        
+        return relation;  // Return existing relation by id
+    }
+});
+
+// Multiple targets - return array
+const bulkApproveTransfer = StateTransfer.create({
+    trigger: BulkApproveInteraction,
+    current: pendingState,
+    next: approvedState,
+    computeTarget: (event) => {
+        // Return multiple entities to transition
+        return event.payload.items.map(item => ({ id: item.id }));
+    }
+});
+```
+
+## 13.3 Interaction-Related APIs
+
+### Interaction.create()
+
+Create user interaction definition.
+
+**Syntax**
+```typescript
+Interaction.create(config: InteractionConfig): InteractionInstance
+```
+
+**Parameters**
+- `config.name` (string, required): Interaction name
+- `config.action` (Action, required): Interaction action
+- `config.payload` (Payload, optional): Interaction parameters
+- `config.conditions` (Condition|Conditions, optional): Execution conditions
+- `config.sideEffects` (SideEffect[], optional): Side effect handlers
+- `config.data` (Entity|Relation, optional): Associated data entity
+- `config.query` (Query, optional): Query definition for data fetching
+
+**Examples**
+
+1. **Create Data Interaction**
+```typescript
+// Create post interaction
+const CreatePostInteraction = Interaction.create({
+    name: 'createPost',
+    action: Action.create({ name: 'create' }),
+    payload: Payload.create({
+        items: [
+            PayloadItem.create({
+                name: 'postData',
+                base: Post,
+                required: true
+            })
+        ]
+    }),
+    conditions: Condition.create({
+        name: 'AuthenticatedUser',
+        content: async function(event) {
+            return event.user.id !== undefined
+        }
+    })
+})
+```
+
+2. **Get Data Interactions**
+
+To retrieve data, use `GetAction` and specify the `data` field:
+
+```typescript
+// Get all users
+const GetAllUsers = Interaction.create({
+    name: 'getAllUsers',
+    action: GetAction,  // Special action for data retrieval
+    data: User          // Entity to query
+})
+
+// Get filtered data with query configuration
+const GetActiveUsers = Interaction.create({
+    name: 'getActiveUsers',
+    action: GetAction,
+    data: User,
+    query: Query.create({
+        items: [
+            QueryItem.create({
+                name: 'attributeQuery',
+                value: ['id', 'name', 'email', 'status']  // Fields to retrieve
+            })
+        ]
+    })
+})
+
+// Get data with complex conditions
+const GetUserPosts = Interaction.create({
+    name: 'getUserPosts',
+    action: GetAction,
+    data: Post,
+    conditions: Condition.create({
+        name: 'canViewPosts',
+        content: async function(this: Controller, event) {
+            // Check if user can view posts based on query
+            const targetUserId = event.query?.match?.key === 'author.id' 
+                ? event.query.match.value[1] 
+                : null;
+            
+            // Allow users to see their own posts or public posts
+            return targetUserId === event.user.id || event.user.role === 'admin';
+        }
+    })
+})
+
+// Get paginated data
+const GetPostsPaginated = Interaction.create({
+    name: 'getPostsPaginated',
+    action: GetAction,
+    data: Post,
+    query: Query.create({
+        items: [
+            QueryItem.create({
+                name: 'attributeQuery',
+                value: ['id', 'title', 'content', 'createdAt', 'author']
+            }),
+            QueryItem.create({
+                name: 'modifier',
+                value: { limit: 10, offset: 0 }  // Pagination
+            })
+        ]
+    })
+})
+```
+
+**Usage Examples for Get Data Interactions**
+
+```typescript
+// Get all users
+const result = await controller.callInteraction('getAllUsers', {
+    user: { id: 'admin-user' }
+})
+// result.data contains array of users
+
+// Get filtered users with runtime query
+const activeUsersResult = await controller.callInteraction('getActiveUsers', {
+    user: { id: 'admin-user' },
+    query: {
+        match: MatchExp.atom({ key: 'status', value: ['=', 'active'] }),
+        attributeQuery: ['id', 'name', 'email']
+    }
+})
+// result.data contains filtered users with specified fields
+
+// Get user's posts
+const userPostsResult = await controller.callInteraction('getUserPosts', {
+    user: { id: 'user123' },
+    query: {
+        match: MatchExp.atom({ key: 'author.id', value: ['=', 'user123'] }),
+        attributeQuery: ['id', 'title', 'content', 'createdAt']
+    }
+})
+// result.data contains posts authored by user123
+
+// Get paginated posts
+const paginatedResult = await controller.callInteraction('getPostsPaginated', {
+    user: { id: 'user123' },
+    query: {
+        match: MatchExp.atom({ key: 'status', value: ['=', 'published'] }),
+        modifier: { limit: 10, offset: 20 },  // Get page 3 (assuming 10 per page)
+        attributeQuery: ['id', 'title', 'createdAt']
+    }
+})
+// result.data contains 10 posts starting from offset 20
+```
+
+**Key Points for Data Retrieval**
+
+1. **Required**: Must use `GetAction` as the action
+2. **Required**: Must specify `data` field with the Entity or Relation to query
+3. **Optional**: Use `query` in Interaction definition for fixed query configuration
+4. **Runtime Query**: Pass `query` object in `callInteraction` to dynamically filter data
+5. **Conditions**: Can use conditions to control access based on query parameters
+6. **Response**: Retrieved data is returned in `result.data` field
+
+### Action.create()
+
+Create interaction action identifier.
+
+⚠️ **Important: Action is not an "operation" but an identifier**
+
+Action is just a name for interaction types, like event type labels. It contains no operation logic or execution code.
+
+**Syntax**
+```typescript
+Action.create(config: ActionConfig): ActionInstance
+```
+
+**Parameters**
+- `config.name` (string, required): Action type identifier name
+
+**Examples**
+```typescript
+// These are just identifiers, containing no operation logic
+const CreateAction = Action.create({ name: 'create' })
+const UpdateAction = Action.create({ name: 'update' })
+const DeleteAction = Action.create({ name: 'delete' })
+const LikeAction = Action.create({ name: 'like' })
+
+// ❌ Wrong understanding: thinking Action contains operation logic
+const WrongAction = Action.create({ 
+  name: 'create',
+  execute: () => { /* ... */ }  // ❌ Action has no execute method!
+})
+
+// ✅ Correct understanding: Action is just an identifier
+const CorrectAction = Action.create({ 
+  name: 'create'  // That's it!
+})
+```
+
+**Where is the operation logic?**
+
+All operation logic is implemented through reactive computations (Transform, Count, etc.):
+
+```typescript
+// Interaction just declares that users can create posts
+const CreatePost = Interaction.create({
+  name: 'CreatePost',
+  action: Action.create({ name: 'create' }),  // Just an identifier
+  payload: Payload.create({ /* ... */ })
+});
+
+// The actual "create" logic is in Transform
+const UserPostRelation = Relation.create({
+  source: User,
+  target: Post,
+  computation: Transform.create({
+    record: InteractionEventEntity,
+    callback: (event) => {
+      if (event.interactionName === 'CreatePost') {
+        // This is where the actual creation logic is
+        return {
+          source: event.user.id,
+          target: {
+            title: event.payload.title,
+            content: event.payload.content
+          }
+        };
+      }
+    }
+  })
+});
+```
+
+### Payload.create()
+
+Create interaction parameter definition.
+
+**Syntax**
+```typescript
+Payload.create(config: PayloadConfig): PayloadInstance
+```
+
+**Parameters**
+- `config.items` (PayloadItem[], required): Parameter item list, defaults to empty array
+
+**Examples**
+```typescript
+const CreateUserPayload = Payload.create({
+    items: [
+        PayloadItem.create({
+            name: 'userData',
+            required: true
+        }),
+        PayloadItem.create({
+            name: 'profileData',
+            required: false
+        })
+    ]
+})
+```
+
+### PayloadItem.create()
+
+Create interaction parameter item.
+
+**Syntax**
+```typescript
+PayloadItem.create(config: PayloadItemConfig): PayloadItemInstance
+```
+
+**Parameters**
+- `config.name` (string, required): Parameter name
+- `config.required` (boolean, optional): Whether it's required, defaults to false
+- `config.isCollection` (boolean, optional): Whether it's a collection type, defaults to false
+- `config.itemRef` (Attributive|Entity, optional): Used to reference entities defined in other interactions within Activity
+
+**Examples**
+```typescript
+// Reference existing user
+const userRef = PayloadItem.create({
+    name: 'user',
+    required: true
+})
+
+// Create new post data
+const postData = PayloadItem.create({
+    name: 'postData',
+    required: true
+})
+
+// Collection type reference
+const reviewersItem = PayloadItem.create({
+    name: 'reviewers',
+    isCollection: true
+})
+
+// Activity item reference
+const activityItem = PayloadItem.create({
+    name: 'to',
+    itemRef: userRefB
+})
+```
+
+## 13.4 Activity-Related APIs
+
+### Activity.create()
+
+Create business activity definition.
+
+**Syntax**
+```typescript
+Activity.create(config: ActivityConfig): ActivityInstance
+```
+
+**Parameters**
+- `config.name` (string, required): Activity name
+- `config.interactions` (Interaction[], optional): List of interactions in the activity
+- `config.transfers` (Transfer[], optional): List of state transfers
+- `config.groups` (ActivityGroup[], optional): List of activity groups
+- `config.gateways` (Gateway[], optional): List of gateways
+- `config.events` (Event[], optional): List of events
+
+**Examples**
+```typescript
+const OrderProcessActivity = Activity.create({
+    name: 'OrderProcess',
+    interactions: [
+        CreateOrderInteraction,
+        ConfirmOrderInteraction,
+        PayOrderInteraction,
+        ShipOrderInteraction
+    ],
+    transfers: [
+        Transfer.create({
+            name: 'createToConfirm',
+            source: CreateOrderInteraction,
+            target: ConfirmOrderInteraction
+        }),
+        Transfer.create({
+            name: 'confirmToPay',
+            source: ConfirmOrderInteraction,
+            target: PayOrderInteraction
+        })
+    ]
+})
+```
+
+### Transfer.create()
+
+Create activity state transfer.
+
+**Syntax**
+```typescript
+Transfer.create(config: TransferConfig): TransferInstance
+```
+
+**Parameters**
+- `config.name` (string, required): Transfer name
+- `config.source` (Interaction|ActivityGroup|Gateway, required): Source node
+- `config.target` (Interaction|ActivityGroup|Gateway, required): Target node
+
+**Examples**
+```typescript
+const ApprovalTransfer = Transfer.create({
+    name: 'submitToApprove',
+    source: SubmitApplicationInteraction,
+    target: ApproveApplicationInteraction
+})
+```
+
+### Condition.create()
+
+Create interaction execution condition. Conditions are used to determine whether an interaction can be executed based on dynamic runtime checks.
+
+**Syntax**
+```typescript
+Condition.create(config: ConditionConfig): ConditionInstance
+```
+
+**Parameters**
+- `config.name` (string, optional): Condition name for debugging and error messages
+- `config.content` (function, required): Async condition check function with signature:
+  ```typescript
+  async function(this: Controller, event: InteractionEventArgs): Promise<boolean>
+  ```
+
+**Function Context**
+The `content` function is called with:
+- `this`: The Controller instance, providing access to system storage and other services
+- `event`: The interaction event containing:
+  - `event.user`: The user executing the interaction
+  - `event.payload`: The interaction payload data
+  - Other event properties based on the interaction context
+
+**Return Values**
+- `true`: Condition passes, interaction can proceed
+- `false`: Condition fails, interaction is rejected with "condition check failed" error
+- `undefined`: Treated as `true` with a warning (condition might not be implemented)
+- Thrown error: Caught and treated as `false`
+
+**Examples**
+
+```typescript
+// Basic condition - check user has enough credits
+const hasEnoughCredits = Condition.create({
+    name: 'hasEnoughCredits',
+    content: async function(this: Controller, event: any) {
+        const user = await this.system.storage.findOne('User', 
+            MatchExp.atom({ key: 'id', value: ['=', event.user.id] }),
+            undefined,
+            ['id', 'credits']
+        )
+        return user.credits >= 10
+    }
+})
+
+// Complex condition - check based on payload data
+const canAccessPremiumContent = Condition.create({
+    name: 'canAccessPremiumContent',
+    content: async function(this: Controller, event: any) {
+        const user = await this.system.storage.findOne('User', 
+            MatchExp.atom({ key: 'id', value: ['=', event.user.id] }),
+            undefined,
+            ['id', 'credits', 'subscriptionLevel']
+        )
+        const content = event.payload?.content
+        
+        // Regular content is always accessible
+        if (!content?.isPremium) return true
+        
+        // Premium content requires subscription or credits
+        return user.subscriptionLevel === 'premium' || user.credits >= content.creditCost
+    }
+})
+
+// System state condition
+const systemNotInMaintenance = Condition.create({
+    name: 'systemNotInMaintenance',
+    content: async function(this: Controller, event: any) {
+        const system = await this.system.storage.findOne('System', 
+            undefined, 
+            undefined, 
+            ['maintenanceMode']
+        )
+        return !system?.maintenanceMode
+    }
+})
+
+// Using condition in interaction
+const ViewContent = Interaction.create({
+    name: 'viewContent',
+    action: Action.create({ name: 'view' }),
+    payload: Payload.create({
+        items: [
+            PayloadItem.create({ name: 'content', base: Content })
+        ]
+    }),
+    conditions: canAccessPremiumContent  // Single condition
+})
+```
+
+**Error Handling**
+- Conditions that return `false` trigger a `'condition check failed'` error
+- Throwing an error in the content function also results in permission denial
+- Use `event.error` to provide custom error messages
+
+**Combining Conditions**
+Use `Conditions.create()` to combine multiple conditions with AND/OR logic:
+
+```typescript
+import { Conditions, BoolExp } from 'interaqt'
+
+const condition1 = Condition.create({
+    name: 'hasCredits',
+    content: async function(this: Controller, event) {
+        return event.user.credits > 0
+    }
+})
+
+const condition2 = Condition.create({
+    name: 'isVerified',
+    content: async function(this: Controller, event) {
+        return event.user.isVerified === true
+    }
+})
+
+// Combine with BoolExp
+const combinedConditions = Conditions.create({
+    content: BoolExp.atom(condition1).and(BoolExp.atom(condition2))
+})
+
+// Use in Interaction
+const PremiumAction = Interaction.create({
+    name: 'premiumAction',
+    action: Action.create({ name: 'premium' }),
+    conditions: combinedConditions
+})
+```
+
+**Usage Patterns**
+```typescript
+// Single condition - can be used directly
+conditions: AdminRole
+
+// Combined conditions with AND
+conditions: Conditions.create({
+    content: BoolExp.atom(AdminRole).and(BoolExp.atom(ActiveUser))
+})
+
+// Combined conditions with OR
+conditions: Conditions.create({
+    content: BoolExp.atom(AdminRole).or(BoolExp.atom(ModeratorRole))
+})
+
+// Complex combinations
+conditions: Conditions.create({
+    content: BoolExp.atom(AuthenticatedUser)
+        .and(BoolExp.atom(ActiveUser))
+        .and(
+            BoolExp.atom(AdminRole).or(BoolExp.atom(ModeratorRole))
+        )
+})
+```
+
+**Best Practices**
+
+1. **Always handle async operations properly**: Use await for all storage queries
+2. **Return explicit boolean values**: Avoid implicit conversions
+3. **Provide meaningful condition names**: Helps with debugging when conditions fail
+4. **Handle missing data gracefully**: Check for null/undefined before accessing properties
+5. **Keep conditions focused**: Each condition should check one specific rule
+6. **Use storage attributeQuery**: Only fetch the fields you need for performance
+
+**Error Handling**
+
+When a condition fails or throws an error, the interaction call returns:
+```typescript
+{
+    error: {
+        type: 'condition check failed',
+        message: 'condition check failed'
+    }
+}
+```
+
+## 13.5 System-Related APIs
+
+### Controller
+
+System controller that coordinates the work of various components.
+
+**Constructor**
+```typescript
+new Controller({
+    system: System,
+    entities: EntityInstance[],
+    relations: RelationInstance[],
+    activities: ActivityInstance[],
+    interactions: InteractionInstance[],
+    dict?: DictionaryInstance[],  // Note: This is for global dictionaries, NOT computations
+    recordMutationSideEffects?: RecordMutationSideEffect[],
+    ignorePermission?: boolean  // Skip condition checks when true
+})
+```
+
+⚠️ **IMPORTANT**: Controller does NOT accept a computations parameter. All computations should be defined within the `computation` field of Entity/Relation/Property definitions. The 6th parameter `dict` is for global dictionary definitions (Dictionary.create), not for computation definitions.
+
+**Main Methods**
+
+#### setup(install?: boolean)
+Initialize system.
+```typescript
+await controller.setup(true) // Create database tables
+```
+
+#### callInteraction(interactionName: string, args: InteractionEventArgs)
+Call interaction.
+
+**Note about ignorePermission**: When `controller.ignorePermission` is set to `true`, this method will bypass all condition checks, user validation, and payload validation defined in the interaction.
+
+**Return Type**
+```typescript
+type InteractionCallResponse = {
+  // Contains error information if the interaction failed
+  error?: unknown
+  
+  // For GET interactions: contains the retrieved data
+  data?: unknown
+  
+  // The interaction event that was processed
+  event?: InteractionEvent
+  
+  // Record mutations (create/update/delete) that occurred
+  effects?: RecordMutationEvent[]
+  
+  // Results from side effects defined in the interaction
+  sideEffects?: {
+    [effectName: string]: {
+      result?: unknown
+      error?: unknown
+    }
+  }
+  
+  // Additional context (e.g., activityId for activity interactions)
+  context?: {
+    [key: string]: unknown
+  }
+}
+```
+
+**Example**
+```typescript
+const result = await controller.callInteraction('createPost', {
+    user: { id: 'user1' },
+    payload: { postData: { title: 'Hello', content: 'World' } }
+})
+
+// Check for errors
+if (result.error) {
+    console.error('Interaction failed:', result.error)
+    return
+}
+
+// Access created record ID from effects
+const createdPostId = result.effects?.[0]?.record?.id
+
+// Check side effects
+if (result.sideEffects?.emailNotification?.error) {
+    console.warn('Email notification failed')
+}
+```
+
+#### callActivityInteraction(activityName: string, interactionName: string, activityId: string, args: InteractionEventArgs)
+Call interaction within activity.
+```typescript
+const result = await controller.callActivityInteraction(
+    'OrderProcess',
+    'confirmOrder',
+    'activity-instance-1',
+    { user: { id: 'user1' }, payload: { orderData: {...} } }
+)
+```
+
+### System
+
+System abstract interface that defines basic services like storage and logging.
+
+**Interface Definition**
+```typescript
+interface System {
+    conceptClass: Map<string, ReturnType<typeof createClass>>
+    storage: Storage
+    logger: SystemLogger
+    setup: (entities: Entity[], relations: Relation[], states: ComputationState[], install?: boolean) => Promise<any>
+}
+```
+
+### Storage
+
+Storage layer interface providing data persistence functionality.
+
+**Main Methods**
+
+#### Transaction Operations
+
+**beginTransaction(transactionName?: string)**
+Begin a database transaction.
+```typescript
+await storage.beginTransaction('updateOrder')
+```
+
+**commitTransaction(transactionName?: string)**
+Commit a database transaction.
+```typescript
+await storage.commitTransaction('updateOrder')
+```
+
+**rollbackTransaction(transactionName?: string)**
+Rollback a database transaction.
+```typescript
+await storage.rollbackTransaction('updateOrder')
+```
+
+#### Entity/Relation Operations
+
+🔴 **CRITICAL: Always specify attributeQuery parameter!**
+- Without `attributeQuery`, only the `id` field is returned
+- This is a common source of bugs in tests and applications
+- Always explicitly list all fields you need
+
+🔴 **CRITICAL: Relations have source and target as nested entities!**
+When working with relations (not regular entities), remember that:
+- **Relations** have `source` and `target` fields that reference entities
+- These fields should be treated as **nested entities**, not simple values
+- In `matchExpression`: Use dot notation (`source.id`, `target.name`)
+- In `attributeQuery`: Use nested query syntax (`['source', { attributeQuery: [...] }]`)
+- This applies to ALL storage methods when querying relations: `find()`, `findOne()`, `findRelationByName()`, `findOneRelationByName()`
+
+🔴 **CRITICAL: Always use Relation instance name when querying!**
+When using `storage.find()` or `storage.findOne()` to query relations:
+- **ALWAYS** use the name from the Relation instance: `storage.find(UserPostRelation.name, ...)`
+- **NEVER** hardcode the relation name: `storage.find('UserPostRelation', ...)` ❌
+- This is crucial because:
+  1. Relation names can be manually specified in `Relation.create({ name: 'CustomName', ... })`
+  2. If no name is specified, the framework auto-generates one (e.g., `UserPost` for User→Post relation)
+  3. Using the instance name ensures you always get the correct name regardless of how it was defined
+
+**Example:**
+```typescript
+// Define relation - name might be auto-generated or manually specified
+const UserPostRelation = Relation.create({
+    source: User,
+    sourceProperty: 'posts',
+    target: Post,
+    targetProperty: 'author',
+    type: '1:n'
+    // Note: no 'name' property, so it will be auto-generated as 'UserPost'
+})
+
+// ✅ CORRECT: Always use the relation instance's name property
+const relations = await storage.find(UserPostRelation.name, ...)  // Will use 'UserPost'
+
+// ❌ WRONG: Never hardcode the relation name
+const relations = await storage.find('UserPost', ...)  // Might break if name changes
+const relations = await storage.find('UserPostRelation', ...)  // Wrong assumption
+```
+
+**find(entityName: string, matchExpression?: MatchExpressionData, modifier?: ModifierData, attributeQuery?: AttributeQueryData)**
+Find multiple records matching the criteria.
+
+**Parameters**
+- `entityName` (string): Name of the entity to query
+- `matchExpression` (MatchExpressionData, optional): Query conditions
+- `modifier` (ModifierData, optional): Query modifiers (limit, offset, orderBy, etc.)
+- `attributeQuery` (AttributeQueryData, optional but critical): Fields to retrieve
+
+```typescript
+// ✅ CORRECT: Returns all specified fields
+const users = await storage.find('User', 
+  MatchExp.atom({ key: 'status', value: ['=', 'active'] }),
+  { limit: 10, orderBy: { createdAt: 'desc' } },
+  ['id', 'username', 'email', 'lastLoginDate']
+)
+```
+
+**🔴 CRITICAL: Querying Relations with source/target Fields**
+
+When querying relations that have `source` and `target` fields, these fields should be treated as related entities:
+
+1. **In matchExpression - Use dot notation for nested properties:**
+```typescript
+// ✅ CORRECT: Use relation instance name and dot notation for nested properties
+const relations = await storage.find(UserPostRelation.name,
+  MatchExp.atom({ key: 'source.id', value: ['=', userId] })
+    .and({ key: 'target.status', value: ['=', 'published'] }),
+  undefined,
+  ['id', 'createdAt']
+)
+
+// ❌ WRONG: Don't hardcode relation names or compare source/target directly
+const relations = await storage.find('UserPostRelation',  // Don't hardcode!
+  MatchExp.atom({ key: 'source', value: ['=', userId] }),  // This won't work!
+  undefined,
+  ['id']
+)
+```
+
+2. **In attributeQuery - Use nested query syntax for source/target:**
+```typescript
+// ✅ CORRECT: Use relation instance name and nested attributeQuery
+const relations = await storage.find(UserPostRelation.name,
+  undefined,
+  undefined,
+  [
+    'id',
+    'createdAt',  // Relation's own property
+    ['source', { attributeQuery: ['id', 'name', 'email'] }],  // Source entity fields
+    ['target', { attributeQuery: ['id', 'title', 'status'] }]  // Target entity fields
+  ]
+)
+
+// ❌ WRONG: Hardcoded name and incorrect attributeQuery
+const relations = await storage.find('UserPostRelation',  // Don't hardcode!
+  undefined,
+  undefined,
+  ['id', 'source', 'target']  // This only returns entity references, not data!
+)
+```
+
+**🔴 CRITICAL: Querying and Retrieving Related Entities**
+
+When working with related entities, you must use the correct syntax:
+
+1. **In matchExpression - Query by nested property path:**
+```typescript
+// ✅ CORRECT: Use dot notation to access related entity's properties
+const students = await storage.find('Student',
+  MatchExp.atom({ key: 'teacher.id', value: ['=', teacherId] }),
+  undefined,
+  ['id', 'name']
+)
+
+// ❌ WRONG: Cannot compare entity object directly
+const students = await storage.find('Student',
+  MatchExp.atom({ key: 'teacher', value: ['=', teacherId] }),  // This won't work!
+  undefined,
+  ['id', 'name']
+)
+```
+
+2. **In attributeQuery - Retrieve related entity fields:**
+```typescript
+// ✅ CORRECT: Use nested attributeQuery to fetch related entity fields
+const students = await storage.find('Student',
+  undefined,
+  undefined,
+  [
+    'id', 
+    'name',
+    ['teacher', { attributeQuery: ['id', 'name', 'email'] }]  // Nested query for related entity
+  ]
+)
+
+// ❌ WRONG: This only returns the reference, not the actual data
+const students = await storage.find('Student',
+  undefined,
+  undefined,
+  ['id', 'name', 'teacher']  // This won't fetch teacher's data!
+)
+```
+
+**Complete Example:**
+```typescript
+// Find all students of a specific teacher with teacher details
+const students = await storage.find('Student',
+  MatchExp.atom({ key: 'teacher.id', value: ['=', 'teacher123'] }),
+  { limit: 20 },
+  [
+    'id',
+    'name', 
+    'grade',
+    ['teacher', { 
+      attributeQuery: ['id', 'name', 'department'] 
+    }],
+    ['courses', { 
+      attributeQuery: ['id', 'title', 'credits'] 
+    }]
+  ]
+)
+```
+
+**findOne(entityName: string, matchExpression?: MatchExpressionData, modifier?: ModifierData, attributeQuery?: AttributeQueryData)**
+Find a single record matching the criteria.
+
+**Parameters**
+- Same as `find()` but returns only the first result
+
+```typescript
+// ✅ CORRECT: Returns all specified fields
+const user = await storage.findOne('User', 
+  MatchExp.atom({ key: 'email', value: ['=', 'user@example.com'] }),
+  undefined,
+  ['id', 'name', 'email', 'role', 'createdAt']
+)
+```
+
+**🔴 The same rules for related entities apply to findOne:**
+```typescript
+// ✅ CORRECT: Query and retrieve related entity
+const student = await storage.findOne('Student',
+  MatchExp.atom({ key: 'teacher.id', value: ['=', teacherId] }),  // Use dot notation in query
+  undefined,
+  [
+    'id',
+    'name',
+    ['teacher', { attributeQuery: ['id', 'name'] }]  // Use nested attributeQuery for retrieval
+  ]
+)
+```
+
+**🔴 When using findOne with Relations:**
+```typescript
+// ✅ CORRECT: Use relation instance name and dot notation
+const relation = await storage.findOne(UserPostRelation.name,
+  MatchExp.atom({ key: 'source.id', value: ['=', userId] })
+    .and({ key: 'target.id', value: ['=', postId] }),
+  undefined,
+  [
+    'id',
+    ['source', { attributeQuery: ['id', 'name'] }],
+    ['target', { attributeQuery: ['id', 'title'] }]
+  ]
+)
+
+// ❌ WRONG: Don't hardcode names or query source/target directly
+const relation = await storage.findOne('UserPostRelation',  // Don't hardcode!
+  MatchExp.atom({ key: 'source', value: ['=', userId] }),  // Won't work!
+  undefined,
+  ['id', 'source', 'target']  // Won't fetch entity data!
+)
+```
+
+**create(entityName: string, data: any, events?: RecordMutationEvent[])**
+Create a new record.
+
+**Parameters**
+- `entityName` (string): Name of the entity
+- `data` (any): Entity data (do NOT include id field)
+- `events` (RecordMutationEvent[], optional): Mutation events array
+
+```typescript
+const user = await storage.create('User', { 
+  username: 'john', 
+  email: 'john@example.com',
+  role: 'user'
+})
+// Returns created record with generated id
+```
+
+**update(entityName: string, matchExpression: MatchExpressionData, data: any, events?: RecordMutationEvent[])**
+Update existing records.
+
+**Parameters**
+- `entityName` (string): Name of the entity
+- `matchExpression` (MatchExpressionData): Which records to update
+- `data` (any): Fields to update
+- `events` (RecordMutationEvent[], optional): Mutation events array
+
+```typescript
+await storage.update('User', 
+  MatchExp.atom({ key: 'id', value: ['=', userId] }), 
+  { status: 'inactive', lastModified: Math.floor(Date.now()/1000) }  // In seconds
+)
+```
+
+**delete(entityName: string, matchExpression: MatchExpressionData, events?: RecordMutationEvent[])**
+Delete records.
+
+**Parameters**
+- `entityName` (string): Name of the entity
+- `matchExpression` (MatchExpressionData): Which records to delete
+- `events` (RecordMutationEvent[], optional): Mutation events array
+
+```typescript
+await storage.delete('User', 
+  MatchExp.atom({ key: 'id', value: ['=', userId] })
+)
+```
+
+#### Relation-Specific Operations
+
+**🔴 IMPORTANT: Relations have source and target fields that should be treated as related entities**
+
+When using relation-specific operations, the same rules apply for source/target fields:
+- In `matchExpression`: Use dot notation like `source.id` or `target.status`
+- In `attributeQuery`: Use nested query syntax like `['source', { attributeQuery: [...] }]`
+
+**findRelationByName(relationName: string, matchExpression?: MatchExpressionData, modifier?: ModifierData, attributeQuery?: AttributeQueryData)**
+Find relation records by relation name.
+
+```typescript
+// ✅ CORRECT: Use relation instance name, dot notation in matchExpression and nested query in attributeQuery
+const userPosts = await storage.findRelationByName(UserPostRelation.name,
+  MatchExp.atom({ key: 'source.id', value: ['=', userId] })
+    .and({ key: 'target.status', value: ['=', 'published'] }),
+  { limit: 10 },
+  [
+    'id', 
+    'createdAt',
+    ['source', { attributeQuery: ['id', 'name'] }],
+    ['target', { attributeQuery: ['id', 'title', 'status'] }]
+  ]
+)
+
+// ❌ WRONG: Don't hardcode relation names or use source/target directly in matchExpression
+const userPosts = await storage.findRelationByName('UserPostRelation',  // Don't hardcode!
+  MatchExp.atom({ key: 'source', value: ['=', userId] }),  // Won't work!
+  undefined,
+  ['id', 'source', 'target']  // Won't fetch entity data!
+)
+```
+
+**findOneRelationByName(relationName: string, matchExpression: MatchExpressionData, modifier?: ModifierData, attributeQuery?: AttributeQueryData)**
+Find a single relation record by relation name.
+
+```typescript
+// ✅ CORRECT: Use relation instance name to query and fetch relation with entity data
+const relation = await storage.findOneRelationByName(UserPostRelation.name,
+  MatchExp.atom({ key: 'source.id', value: ['=', userId] })
+    .and({ key: 'target.id', value: ['=', postId] }),
+  undefined,
+  [
+    'id',
+    'createdAt',
+    ['source', { attributeQuery: ['id', 'name', 'email'] }],
+    ['target', { attributeQuery: ['id', 'title', 'content'] }]
+  ]
+)
+
+// Simple case - just fetch by relation ID (still use instance name)
+const relation = await storage.findOneRelationByName(UserPostRelation.name,
+  MatchExp.atom({ key: 'id', value: ['=', relationId] }),
+  undefined,
+  ['*']  // This is OK for fetching all relation properties, but won't expand source/target
+)
+```
+
+**addRelationByNameById(relationName: string, sourceEntityId: string, targetEntityId: string, data?: any, events?: RecordMutationEvent[])**
+Create a relation between two entities by their IDs.
+
+```typescript
+// Create relation between user and post
+await storage.addRelationByNameById(UserPostRelation.name, 
+  userId, 
+  postId,
+  { createdAt: Math.floor(Date.now()/1000) }  // Optional relation properties - in seconds
+)
+```
+
+**updateRelationByName(relationName: string, matchExpression: MatchExpressionData, data: any, events?: RecordMutationEvent[])**
+Update relation properties (cannot update source/target).
+
+```typescript
+// Update by relation ID
+await storage.updateRelationByName(UserPostRelation.name,
+  MatchExp.atom({ key: 'id', value: ['=', relationId] }),
+  { priority: 'high' }  // Only update relation properties
+)
+
+// ✅ CORRECT: Use relation instance name and source/target properties
+await storage.updateRelationByName(UserPostRelation.name,
+  MatchExp.atom({ key: 'source.id', value: ['=', userId] })
+    .and({ key: 'target.status', value: ['=', 'draft'] }),
+  { reviewed: true }
+)
+
+// ❌ WRONG: Don't hardcode relation names or use source/target directly
+await storage.updateRelationByName('UserPostRelation',  // Don't hardcode!
+  MatchExp.atom({ key: 'source', value: ['=', userId] }),  // Won't work!
+  { reviewed: true }
+)
+```
+
+**removeRelationByName(relationName: string, matchExpression: MatchExpressionData, events?: RecordMutationEvent[])**
+Remove relations.
+
+```typescript
+// Remove by relation ID
+await storage.removeRelationByName(UserPostRelation.name,
+  MatchExp.atom({ key: 'id', value: ['=', relationId] })
+)
+
+// ✅ CORRECT: Use relation instance name with source/target properties
+await storage.removeRelationByName(UserPostRelation.name,
+  MatchExp.atom({ key: 'source.id', value: ['=', userId] })
+    .and({ key: 'target.id', value: ['=', postId] })
+)
+
+// ❌ WRONG: Don't hardcode relation names or use source/target directly
+await storage.removeRelationByName('UserPostRelation',  // Don't hardcode!
+  MatchExp.atom({ key: 'target', value: ['=', postId] })  // Won't work!
+)
+```
+
+#### KV Storage Operations
+
+**get(itemName: string, id: string, initialValue?: any)**
+Get value from key-value storage.
+
+```typescript
+// Get value with default
+const maxUsers = await storage.get('config', 'maxUsers', 100)
+```
+
+**set(itemName: string, id: string, value: any, events?: RecordMutationEvent[])**
+Set value in key-value storage.
+
+```typescript
+// Set configuration value
+await storage.set('config', 'maxUsers', 1000)
+
+// Store complex objects
+await storage.set('cache', 'userPreferences', {
+  theme: 'dark',
+  language: 'en',
+  notifications: true
+})
+```
+
+#### Utility Methods
+
+**getRelationName(entityName: string, attributeName: string)**
+Get the internal relation name for an entity's relation property.
+
+```typescript
+const relationName = storage.getRelationName('User', 'posts')
+// Returns something like 'User_posts_author_Post'
+```
+
+**getEntityName(entityName: string, attributeName: string)**
+Get the target entity name for a relation property.
+
+```typescript
+const targetEntity = storage.getEntityName('User', 'posts')
+// Returns 'Post'
+```
+
+**listen(callback: RecordMutationCallback)**
+Register a callback to listen for record mutations.
+
+```typescript
+storage.listen(async (events) => {
+  for (const event of events) {
+    console.log(`${event.type} on ${event.recordName}`, event.record)
+  }
+})
+```
+
+#### AttributeQueryData Format
+
+AttributeQuery specifies which fields to retrieve and supports nested queries for relations:
+
+```typescript
+type AttributeQueryData = (string | [string, { attributeQuery?: AttributeQueryData }])[]
+
+// Examples:
+// Simple fields
+['id', 'name', 'email']
+
+// All fields
+['*']
+
+// Nested relation query
+[
+  'id', 
+  'name',
+  ['posts', { 
+    attributeQuery: ['title', 'status', 'createdAt'] 
+  }]
+]
+
+// Multi-level nesting
+[
+  'id',
+  ['posts', { 
+    attributeQuery: [
+      'title',
+      ['comments', { 
+        attributeQuery: ['content', 'author'] 
+      }]
+    ] 
+  }]
+]
+```
+
+#### ModifierData Format
+
+Modifiers control query behavior:
+
+```typescript
+type ModifierData = {
+  limit?: number
+  offset?: number
+  orderBy?: {
+    [field: string]: 'asc' | 'desc'
+  }
+}
+
+// Example
+{
+  limit: 20,
+  offset: 40,
+  orderBy: {
+    createdAt: 'desc',
+    priority: 'asc'
+  }
+}
+```
+
+## 13.6 Utility Function APIs
+
+### MatchExp
+
+Query expression builder for constructing complex query conditions.
+
+#### MatchExp.atom(condition: MatchAtom)
+Create atomic query condition.
+
+**Parameters**
+- `condition.key` (string): Field name, supports dot notation like 'user.profile.name'
+- `condition.value` ([string, any]): Array of operator and value
+- `condition.isReferenceValue` (boolean, optional): Whether it's a reference value
+
+**Supported Operators**
+- `['=', value]`: Equals
+- `['!=', value]`: Not equals
+- `['>', value]`: Greater than
+- `['<', value]`: Less than
+- `['>=', value]`: Greater than or equal
+- `['<=', value]`: Less than or equal
+- `['like', pattern]`: Pattern matching
+- `['in', array]`: In array
+- `['between', [min, max]]`: In range
+- `['not', null]`: Not null
+
+**Examples**
+```typescript
+// Basic condition
+const condition1 = MatchExp.atom({
+    key: 'status',
+    value: ['=', 'active']
+})
+
+// Range query
+const condition2 = MatchExp.atom({
+    key: 'age',
+    value: ['between', [18, 65]]
+})
+
+// Relational query
+const condition3 = MatchExp.atom({
+    key: 'user.profile.city',
+    value: ['=', 'Beijing']
+})
+
+// Combined conditions
+const complexCondition = MatchExp.atom({
+    key: 'status',
+    value: ['=', 'active']
+}).and({
+    key: 'age',
+    value: ['>', 18]
+}).or({
+    key: 'vip',
+    value: ['=', true]
+})
+```
+
+#### MatchExp.fromObject(condition: Object)
+Create query condition from object (all conditions connected with AND).
+
+```typescript
+const condition = MatchExp.fromObject({
+    status: 'active',
+    age: 25,
+    city: 'Beijing'
+})
+// Equivalent to: status='active' AND age=25 AND city='Beijing'
+```
+
+### BoolExp
+
+Boolean expression builder for constructing complex logical expressions.
+
+#### BoolExp.atom(data: T)
+Create atomic expression.
+
+```typescript
+const expr1 = BoolExp.atom({ condition: 'isActive' })
+const expr2 = BoolExp.atom({ condition: 'isAdmin' })
+
+// Combined expression
+const combined = expr1.and(expr2).or({ condition: 'isOwner' })
+```
+
+## 13.5 Query APIs
+
+### Conditions
+
+Conditions are used to determine whether an interaction can be executed based on dynamic runtime checks.
+
+**Syntax**
+```typescript
+Conditions.create(config: ConditionsConfig): ConditionsInstance
+```
+
+**Parameters**
+- `config.content` (BoolExp, required): Boolean expression containing conditions combined with AND/OR logic
+
+**Examples**
+```typescript
+import { Conditions, BoolExp } from 'interaqt'
+
+const condition1 = Condition.create({
+    name: 'hasCredits',
+    content: async function(this: Controller, event) {
+        return event.user.credits > 0
+    }
+})
+
+const condition2 = Condition.create({
+    name: 'isVerified',
+    content: async function(this: Controller, event) {
+        return event.user.isVerified === true
+    }
+})
+
+// Combine with BoolExp
+const combinedConditions = Conditions.create({
+    content: BoolExp.atom(condition1).and(BoolExp.atom(condition2))
+})
+
+const MyInteraction = Interaction.create({
+    name: 'myInteraction',
+    action: Action.create({ name: 'execute' }),
+    conditions: combinedConditions
+})
+```
+
+### BoolExp
+
+Boolean expression builder for constructing complex logical expressions.
+
+#### BoolExp.atom(data: T)
+Create atomic expression.
+
+```typescript
+const expr1 = BoolExp.atom({ condition: 'isActive' })
+const expr2 = BoolExp.atom({ condition: 'isAdmin' })
+
+// Combined expression
+const combined = expr1.and(expr2).or({ condition: 'isOwner' })
+```
+
+## Type Definitions
+
+### Core Types
+
+```typescript
+// Interaction event arguments
+type InteractionEventArgs = {
+    user: { id: string, [key: string]: any }
+    payload?: { [key: string]: any }
+    [key: string]: any
+}
+
+// Record mutation event
+type RecordMutationEvent = {
+    recordName: string
+    type: 'create' | 'update' | 'delete'
+    record?: EntityIdRef & { [key: string]: any }
+    oldRecord?: EntityIdRef & { [key: string]: any }
+}
+
+// Entity reference
+type EntityIdRef = {
+    id: string
+    _rowId?: string
+    [key: string]: any
+}
+
+// Attribute query data
+type AttributeQueryData = (string | [string, { attributeQuery?: AttributeQueryData }])[]
+```
+
+### Computation-Related Types
+
+```typescript
+// Computation context
+type DataContext = {
+    type: 'global' | 'entity' | 'relation' | 'property'
+    id: string | Entity | Relation
+    host?: Entity | Relation
+}
+
+// Computation dependency
+type DataDep = {
+    type: 'records' | 'property' | 'global'
+    // For type: 'records' - the entity/relation to query globally
+    source?: Entity | Relation | Dictionary  
+    // For type: 'property' - the relation property name to access
+    property?: string  
+    attributeQuery?: AttributeQueryData
+}
+
+// Computation result
+type ComputationResult = any
+type ComputationResultPatch = {
+    type: 'insert' | 'update' | 'delete'
+    data?: any
+    affectedId?: string
+}
+```
+
+## Usage Examples
+
+### Complete Blog System Example
+
+```typescript
+import { Entity, Property, Relation, Interaction, Activity, Controller } from 'interaqt'
+
+// 1. Define entities
+const User = Entity.create({
+    name: 'User',
+    properties: [
+        Property.create({ name: 'username', type: 'string' }),
+        Property.create({ name: 'email', type: 'string' }),
+        Property.create({
+            name: 'postCount',
+            type: 'number',
+            computation: Count.create({ property: 'posts' })  // Use property name from relation
+        })
+    ]
+})
+
+const Post = Entity.create({
+    name: 'Post',
+    properties: [
+        Property.create({ name: 'title', type: 'string' }),
+        Property.create({ name: 'content', type: 'string' }),
+        Property.create({
+            name: 'likeCount',
+            type: 'number',
+            computation: Count.create({ property: 'likes' })  // Use property name from relation
+        })
+    ]
+})
+
+// 2. Define relations
+const UserPostRelation = Relation.create({
+    source: User,
+    sourceProperty: 'posts',
+    target: Post,
+    targetProperty: 'author',
+    type: '1:n'
+})
+
+const PostLikeRelation = Relation.create({
+    source: Post,
+    sourceProperty: 'likes',
+    target: User,
+    targetProperty: 'likedPosts',
+    type: 'n:n'
+})
+
+// 3. Define interactions
+const CreatePostInteraction = Interaction.create({
+    name: 'createPost',
+    action: Action.create({ name: 'create' }),
+    payload: Payload.create({
+        items: [
+            PayloadItem.create({
+                name: 'postData',
+                base: Post,
+                required: true
+            })
+        ]
+    }),
+    conditions: Condition.create({
+        name: 'AuthenticatedUser',
+        content: async function(event) {
+            return event.user.id !== undefined
+        }
+    })
+})
+
+const LikePostInteraction = Interaction.create({
+    name: 'likePost',
+    action: Action.create({ name: 'create' }),
+    payload: Payload.create({
+        items: [
+            PayloadItem.create({
+                name: 'post',
+                required: true
+            })
+        ]
+    })
+})
+
+// 4. Create controller and initialize system
+const controller = new Controller({
+    system, // System implementation
+    entities: [User, Post], // Entities
+    relations: [UserPostRelation, PostLikeRelation], // Relations
+    activities: [], // Activities
+    interactions: [CreatePostInteraction, LikePostInteraction] // Interactions
+})
+
+await controller.setup(true)
+
+// 5. Use APIs
+// Create post
+const result = await controller.callInteraction('createPost', {
+    user: { id: 'user1' },
+    payload: {
+        postData: {
+            title: 'Hello World',
+            content: 'This is my first post!'
+        }
+    }
+})
+
+// Like post
+await controller.callInteraction('likePost', {
+    user: { id: 'user2' },
+    payload: {
+        post: { id: result.recordId }
+    }
+})
+```
+
+This API reference documentation covers all core APIs of the interaqt framework, providing complete parameter descriptions and practical usage examples. Developers can quickly get started and deeply use various framework features based on this documentation.