@manifesto-ai/core 2.9.0 → 2.11.0

package/README.md

@@ -37,7 +37,7 @@ Host -> CORE -> ComputeResult
 | Execute effects | Host |
 | Perform IO (network, filesystem) | Host |
 | Persist snapshots | Host |
-| Govern authority/proposals | World |
+| Govern authority/proposals | `@manifesto-ai/governance` + `@manifesto-ai/lineage` |
 | Handle UI/event bindings | SDK |
 
 ---
@@ -140,7 +140,7 @@ type Patch = { op: "set" | "unset" | "merge", path, value? };
 type ComputeResult = { status, snapshot, requirements, trace };
 ```
 
-> See [SPEC-v2.0.0.md](docs/SPEC-v2.0.0.md) for complete API reference.
+> See [core-SPEC.md](docs/core-SPEC.md) for the current living specification.
 
 ---
 
@@ -195,8 +195,9 @@ For typical usage, see [`@manifesto-ai/sdk`](../sdk/) — the recommended entry
 | Document | Purpose |
 |----------|---------|
 | [GUIDE.md](docs/GUIDE.md) | Step-by-step usage guide |
-| [SPEC-v2.0.0.md](docs/SPEC-v2.0.0.md) | Complete specification |
-| [FDR-v2.0.0.md](docs/FDR-v2.0.0.md) | Design rationale |
+| [core-SPEC.md](docs/core-SPEC.md) | Current living specification |
+| [VERSION-INDEX.md](docs/VERSION-INDEX.md) | Current and historical document map |
+| [FDR-v1.0.0.md](docs/FDR-v1.0.0.md) | Historical design rationale |
 
 ---
 

package/dist/core/action-availability.d.ts

@@ -1,6 +1,8 @@
 import type { DomainSchema } from "../schema/domain.js";
 import type { Snapshot } from "../schema/snapshot.js";
+import type { Intent } from "../schema/patch.js";
 type ActionAvailabilityErrorCode = "UNKNOWN_ACTION" | "INTERNAL_ERROR" | "TYPE_MISMATCH";
+type ActionDispatchabilityErrorCode = "UNKNOWN_ACTION" | "INTERNAL_ERROR" | "TYPE_MISMATCH";
 export type ActionAvailabilityEvaluation = {
     kind: "ok";
     available: boolean;
@@ -9,6 +11,14 @@ export type ActionAvailabilityEvaluation = {
     code: ActionAvailabilityErrorCode;
     message: string;
 };
+export type ActionDispatchabilityEvaluation = {
+    kind: "ok";
+    dispatchable: boolean;
+} | {
+    kind: "error";
+    code: ActionDispatchabilityErrorCode;
+    message: string;
+};
 /**
  * Evaluate an action's availability expression without re-entry semantics.
  *
@@ -21,7 +31,15 @@ export declare function evaluateActionAvailability(schema: DomainSchema, snapsho
  */
 export declare function isActionAvailable(schema: DomainSchema, snapshot: Snapshot, actionName: string): boolean;
 /**
- * Return all currently dispatchable actions in schema key order.
+ * Evaluate whether a specific bound intent is dispatchable.
+ */
+export declare function evaluateIntentDispatchability(schema: DomainSchema, snapshot: Snapshot, intent: Intent, timestamp?: number): ActionDispatchabilityEvaluation;
+/**
+ * Check whether a specific bound intent is dispatchable.
+ */
+export declare function isIntentDispatchable(schema: DomainSchema, snapshot: Snapshot, intent: Intent): boolean;
+/**
+ * Return all currently available actions in schema key order.
  */
 export declare function getAvailableActions(schema: DomainSchema, snapshot: Snapshot): readonly string[];
 export {};

package/dist/core/compute.d.ts

@@ -14,3 +14,8 @@ export declare function computeSync(schema: DomainSchema, snapshot: Snapshot, in
  * Compute the result of dispatching an intent (async wrapper).
  */
 export declare function compute(schema: DomainSchema, snapshot: Snapshot, intent: Intent, context: HostContext): Promise<ComputeResult>;
+/**
+ * Validate only the caller-provided input portion of an intent.
+ * Returns an error message when the intent is malformed, or null when valid.
+ */
+export declare function validateIntentInput(schema: DomainSchema, intent: Intent): string | null;

package/dist/core/type-definition-utils.d.ts

@@ -0,0 +1,18 @@
+import type { PatchSegment } from "../schema/patch.js";
+import type { StateSpec } from "../schema/field.js";
+import type { TypeDefinition, TypeSpec } from "../schema/type-spec.js";
+export type TypeValidationOptions = {
+    allowPartial?: boolean;
+    allowUndefined?: boolean;
+};
+type TypeValidationResult = {
+    ok: boolean;
+    message?: string;
+};
+export declare function resolveTypeDefinition(definition: TypeDefinition, types: Record<string, TypeSpec>, seenRefs?: readonly string[]): TypeDefinition | null;
+export declare function pathExistsInTypeDefinition(definition: TypeDefinition, types: Record<string, TypeSpec>, path: string): boolean;
+export declare function pathExistsInTypeDefinitionSegments(definition: TypeDefinition, types: Record<string, TypeSpec>, segments: readonly string[]): boolean;
+export declare function getTypeDefinitionAtSegments(definition: TypeDefinition, types: Record<string, TypeSpec>, segments: readonly PatchSegment[]): TypeDefinition | null;
+export declare function getStateTypeDefinitionAtSegments(state: StateSpec, types: Record<string, TypeSpec>, segments: readonly PatchSegment[]): TypeDefinition | null;
+export declare function validateValueAgainstTypeDefinition(value: unknown, definition: TypeDefinition, types: Record<string, TypeSpec>, options?: TypeValidationOptions): TypeValidationResult;
+export {};

package/dist/core/validate.d.ts

@@ -9,6 +9,8 @@ import type { ValidationResult } from "../schema/result.js";
  * - V-004: All `call` references in FlowSpec MUST exist
  * - V-005: FlowSpec `call` graph MUST be acyclic
  * - V-006: ActionSpec.available expression MUST return boolean (runtime check)
+ * - V-009: ActionSpec.dispatchable expression MUST return boolean (runtime check)
+ * - V-010: Typing seams MUST align with compatibility carriers and resolve refs
  * - V-007: ActionSpec.input MUST be valid FieldSpec (Zod handles this)
  * - V-008: Schema hash MUST match canonical hash
  */

package/dist/core/validation-utils.d.ts

@@ -3,11 +3,12 @@ import type { FlowNode } from "../schema/flow.js";
 import type { FieldSpec, StateSpec } from "../schema/field.js";
 import type { ComputedSpec } from "../schema/computed.js";
 import type { PatchSegment } from "../schema/patch.js";
+import type { TypeSpec } from "../schema/type-spec.js";
 export declare function isValidSchemaId(id: string): boolean;
 export declare function isValidSemver(version: string): boolean;
 export declare function collectGetPathsFromExpr(expr: ExprNode): string[];
 export declare function collectGetPathsFromFlow(flow: FlowNode): string[];
-export declare function pathExistsInStateSpec(state: StateSpec, path: string): boolean;
+export declare function pathExistsInStateSpec(state: StateSpec, path: string, types?: Record<string, TypeSpec>): boolean;
 export declare function pathExistsInComputedSpec(computed: ComputedSpec, path: string): boolean;
 export declare function pathExistsInFieldSpec(spec: FieldSpec, path: string): boolean;
 export declare function pathExistsInFieldSpecSegments(spec: FieldSpec, segments: readonly PatchSegment[]): boolean;

package/dist/index.d.ts

@@ -11,12 +11,12 @@ import type { Intent, Patch } from "./schema/patch.js";
 import type { SemanticPath } from "./schema/common.js";
 import type { ComputeResult, ValidationResult, ExplainResult, SystemDelta } from "./schema/result.js";
 import type { HostContext } from "./schema/host-context.js";
-import { compute, computeSync } from "./core/compute.js";
+import { compute, computeSync, validateIntentInput } from "./core/compute.js";
 import { apply } from "./core/apply.js";
 import { applySystemDelta } from "./core/system-delta.js";
 import { validate } from "./core/validate.js";
 import { explain } from "./core/explain.js";
-import { getAvailableActions, isActionAvailable } from "./core/action-availability.js";
+import { getAvailableActions, isActionAvailable, isIntentDispatchable } from "./core/action-availability.js";
 /**
  * ManifestoCore interface
  */
@@ -50,13 +50,17 @@ export interface ManifestoCore {
      */
     explain(schema: DomainSchema, snapshot: Snapshot, path: SemanticPath): ExplainResult;
     /**
-     * Check whether an action is currently dispatchable.
+     * Check whether an action is currently available for a new invocation.
      */
     isActionAvailable(schema: DomainSchema, snapshot: Snapshot, actionName: string): boolean;
     /**
-     * Return all currently dispatchable action names.
+     * Return all currently available action names.
      */
     getAvailableActions(schema: DomainSchema, snapshot: Snapshot): readonly string[];
+    /**
+     * Check whether a specific bound intent is dispatchable against the current snapshot.
+     */
+    isIntentDispatchable(schema: DomainSchema, snapshot: Snapshot, intent: Intent): boolean;
 }
 /**
  * Create a ManifestoCore instance
@@ -67,4 +71,4 @@ export * from "./utils/index.js";
 export * from "./evaluator/index.js";
 export * from "./errors.js";
 export * from "./factories.js";
-export { compute, computeSync, apply, applySystemDelta, validate, explain, isActionAvailable, getAvailableActions, };
+export { compute, computeSync, validateIntentInput, apply, applySystemDelta, validate, explain, isActionAvailable, getAvailableActions, isIntentDispatchable, };