@manifesto-ai/core 2.7.1 → 2.8.0

package/dist/index.d.ts

@@ -775,16 +775,6 @@ declare const SystemState: z.ZodObject<{
         timestamp: z.ZodNumber;
         context: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
     }, z.core.$strip>>;
-    errors: z.ZodArray<z.ZodObject<{
-        code: z.ZodString;
-        message: z.ZodString;
-        source: z.ZodObject<{
-            actionId: z.ZodString;
-            nodePath: z.ZodString;
-        }, z.core.$strip>;
-        timestamp: z.ZodNumber;
-        context: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
-    }, z.core.$strip>>;
     pendingRequirements: z.ZodArray<z.ZodObject<{
         id: z.ZodString;
         type: z.ZodString;
@@ -833,16 +823,6 @@ declare const Snapshot: z.ZodObject<{
             timestamp: z.ZodNumber;
             context: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
         }, z.core.$strip>>;
-        errors: z.ZodArray<z.ZodObject<{
-            code: z.ZodString;
-            message: z.ZodString;
-            source: z.ZodObject<{
-                actionId: z.ZodString;
-                nodePath: z.ZodString;
-            }, z.core.$strip>;
-            timestamp: z.ZodNumber;
-            context: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
-        }, z.core.$strip>>;
         pendingRequirements: z.ZodArray<z.ZodObject<{
             id: z.ZodString;
             type: z.ZodString;
@@ -1139,16 +1119,6 @@ declare const SystemDelta: z.ZodObject<{
         timestamp: z.ZodNumber;
         context: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
     }, z.core.$strip>>>;
-    appendErrors: z.ZodArray<z.ZodObject<{
-        code: z.ZodString;
-        message: z.ZodString;
-        source: z.ZodObject<{
-            actionId: z.ZodString;
-            nodePath: z.ZodString;
-        }, z.core.$strip>;
-        timestamp: z.ZodNumber;
-        context: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
-    }, z.core.$strip>>;
     addRequirements: z.ZodArray<z.ZodObject<{
         id: z.ZodString;
         type: z.ZodString;
@@ -1215,16 +1185,6 @@ declare const ComputeResult: z.ZodObject<{
             timestamp: z.ZodNumber;
             context: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
         }, z.core.$strip>>>;
-        appendErrors: z.ZodArray<z.ZodObject<{
-            code: z.ZodString;
-            message: z.ZodString;
-            source: z.ZodObject<{
-                actionId: z.ZodString;
-                nodePath: z.ZodString;
-            }, z.core.$strip>;
-            timestamp: z.ZodNumber;
-            context: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodUnknown>>;
-        }, z.core.$strip>>;
         addRequirements: z.ZodArray<z.ZodObject<{
             id: z.ZodString;
             type: z.ZodString;
@@ -1365,6 +1325,15 @@ declare function validate(schema: unknown): ValidationResult;
  */
 declare function explain(schema: DomainSchema, snapshot: Snapshot, path: SemanticPath): ExplainResult;
 
+/**
+ * Check whether an action is available for a new invocation.
+ */
+declare function isActionAvailable(schema: DomainSchema, snapshot: Snapshot, actionName: string): boolean;
+/**
+ * Return all currently dispatchable actions in schema key order.
+ */
+declare function getAvailableActions(schema: DomainSchema, snapshot: Snapshot): readonly string[];
+
 /**
  * ComputedFieldSpec - Definition of a single computed field
  */
@@ -1779,10 +1748,18 @@ interface ManifestoCore {
      * Explain why a value is what it is.
      */
     explain(schema: DomainSchema, snapshot: Snapshot, path: SemanticPath): ExplainResult;
+    /**
+     * Check whether an action is currently dispatchable.
+     */
+    isActionAvailable(schema: DomainSchema, snapshot: Snapshot, actionName: string): boolean;
+    /**
+     * Return all currently dispatchable action names.
+     */
+    getAvailableActions(schema: DomainSchema, snapshot: Snapshot): readonly string[];
 }
 /**
  * Create a ManifestoCore instance
  */
 declare function createCore(): ManifestoCore;
 
-export { AbsExpr, ActionSpec, AddExpr, AndExpr, AppendExpr, AtExpr, CallFlow, CeilExpr, CoalesceExpr, ComputeResult, ComputeStatus, ComputedFieldSpec, ComputedSpec, ConcatExpr, CoreErrorCode, type DependencyGraph, DivExpr, DomainSchema, EffectFlow, EndsWithExpr, EntriesExpr, EnumFieldType, EqExpr, ErrorValue, type EvalContext, EveryExpr, ExplainResult, ExprKind, type ExprNode, ExprNodeSchema, type ExprResult, FailFlow, FieldExpr, FieldSpec, FieldType, FilterExpr, FindExpr, FirstExpr, FlatExpr, FloorExpr, FlowKind, type FlowNode, FlowNodeSchema, FlowPosition, type FlowResult, type FlowState, type FlowStatus, FromEntriesExpr, GetExpr, GtExpr, GteExpr, HaltFlow, HasKeyExpr, HostContext, IfExpr, IfFlow, IncludesExpr, IndexOfExpr, Intent, IsNullExpr, KeysExpr, LastExpr, LenExpr, LitExpr, LtExpr, LteExpr, type ManifestoCore, MapExpr, MaxArrayExpr, MaxExpr, MergeExpr, type MergePatch, MinArrayExpr, MinExpr, ModExpr, MulExpr, NegExpr, NeqExpr, NotExpr, ObjectExpr, OmitExpr, OrExpr, Patch, PatchFlow, PatchOp, PatchPath, PatchSegment, PickExpr, PowExpr, PrimitiveFieldType, ReplaceExpr, Requirement, Result, ReverseExpr, RoundExpr, type SchemaHashInput, type SchemaHashMode, SchemaMeta, SemanticPath, SeqFlow, type SetPatch, SliceExpr, Snapshot, SnapshotMeta, SomeExpr, SplitExpr, SqrtExpr, StartsWithExpr, StateSpec, StrIncludesExpr, StrLenExpr, SubExpr, SubstringExpr, SumArrayExpr, SystemDelta, SystemState, ToBooleanExpr, ToLowerCaseExpr, ToNumberExpr, ToStringExpr, ToUpperCaseExpr, type TraceContext, TraceGraph, TraceNode, TraceNodeKind, TraceTermination, TrimExpr, TypeDefinition, TypeSpec, TypeofExpr, UniqueExpr, type UnsetPatch, ValidationError, ValidationResult, ValuesExpr, apply, applySystemDelta, buildDependencyGraph, canonicalEqual, compareUnicodeCodePoints, compute, computeSync, createContext, createCore, createError, createFlowState, createInitialSystemState, createIntent, createSnapshot, createTraceContext, createTraceNode, detectCycles, err, evaluateComputed, evaluateExpr, evaluateFlow, evaluateFlowSync, evaluateSingleComputed, explain, extractDefaults, fromCanonical, generateRequirementId, generateRequirementIdSync, generateTraceId, getByPatchPath, getByPath, getTransitiveDeps, hasPath, hashSchema, hashSchemaEffective, hashSchemaEffectiveSync, hashSchemaSync, indexSegment, invalidResult, isErr, isErrorValue, isOk, isSafePatchPath, joinPath, lastSegment, mergeAtPatchPath, mergeAtPath, mergePatch, ok, parentPath, parsePath, patchPathToDisplayString, propSegment, semanticPathToPatchPath, setByPatchPath, setByPath, setPatch, sha256, sha256Sync, sortKeys, toCanonical, toJcs, topologicalSort, unsetByPatchPath, unsetByPath, unsetPatch, validResult, validate, withCollectionContext, withNodePath, withSnapshot };
+export { AbsExpr, ActionSpec, AddExpr, AndExpr, AppendExpr, AtExpr, CallFlow, CeilExpr, CoalesceExpr, ComputeResult, ComputeStatus, ComputedFieldSpec, ComputedSpec, ConcatExpr, CoreErrorCode, type DependencyGraph, DivExpr, DomainSchema, EffectFlow, EndsWithExpr, EntriesExpr, EnumFieldType, EqExpr, ErrorValue, type EvalContext, EveryExpr, ExplainResult, ExprKind, type ExprNode, ExprNodeSchema, type ExprResult, FailFlow, FieldExpr, FieldSpec, FieldType, FilterExpr, FindExpr, FirstExpr, FlatExpr, FloorExpr, FlowKind, type FlowNode, FlowNodeSchema, FlowPosition, type FlowResult, type FlowState, type FlowStatus, FromEntriesExpr, GetExpr, GtExpr, GteExpr, HaltFlow, HasKeyExpr, HostContext, IfExpr, IfFlow, IncludesExpr, IndexOfExpr, Intent, IsNullExpr, KeysExpr, LastExpr, LenExpr, LitExpr, LtExpr, LteExpr, type ManifestoCore, MapExpr, MaxArrayExpr, MaxExpr, MergeExpr, type MergePatch, MinArrayExpr, MinExpr, ModExpr, MulExpr, NegExpr, NeqExpr, NotExpr, ObjectExpr, OmitExpr, OrExpr, Patch, PatchFlow, PatchOp, PatchPath, PatchSegment, PickExpr, PowExpr, PrimitiveFieldType, ReplaceExpr, Requirement, Result, ReverseExpr, RoundExpr, type SchemaHashInput, type SchemaHashMode, SchemaMeta, SemanticPath, SeqFlow, type SetPatch, SliceExpr, Snapshot, SnapshotMeta, SomeExpr, SplitExpr, SqrtExpr, StartsWithExpr, StateSpec, StrIncludesExpr, StrLenExpr, SubExpr, SubstringExpr, SumArrayExpr, SystemDelta, SystemState, ToBooleanExpr, ToLowerCaseExpr, ToNumberExpr, ToStringExpr, ToUpperCaseExpr, type TraceContext, TraceGraph, TraceNode, TraceNodeKind, TraceTermination, TrimExpr, TypeDefinition, TypeSpec, TypeofExpr, UniqueExpr, type UnsetPatch, ValidationError, ValidationResult, ValuesExpr, apply, applySystemDelta, buildDependencyGraph, canonicalEqual, compareUnicodeCodePoints, compute, computeSync, createContext, createCore, createError, createFlowState, createInitialSystemState, createIntent, createSnapshot, createTraceContext, createTraceNode, detectCycles, err, evaluateComputed, evaluateExpr, evaluateFlow, evaluateFlowSync, evaluateSingleComputed, explain, extractDefaults, fromCanonical, generateRequirementId, generateRequirementIdSync, generateTraceId, getAvailableActions, getByPatchPath, getByPath, getTransitiveDeps, hasPath, hashSchema, hashSchemaEffective, hashSchemaEffectiveSync, hashSchemaSync, indexSegment, invalidResult, isActionAvailable, isErr, isErrorValue, isOk, isSafePatchPath, joinPath, lastSegment, mergeAtPatchPath, mergeAtPath, mergePatch, ok, parentPath, parsePath, patchPathToDisplayString, propSegment, semanticPathToPatchPath, setByPatchPath, setByPath, setPatch, sha256, sha256Sync, sortKeys, toCanonical, toJcs, topologicalSort, unsetByPatchPath, unsetByPath, unsetPatch, validResult, validate, withCollectionContext, withNodePath, withSnapshot };

package/dist/index.js

@@ -14220,17 +14220,6 @@ function withNodePath(ctx, nodePath) {
   return { ...ctx, nodePath };
 }
 
-// src/schema/common.ts
-var SemanticPath = external_exports.string().min(1);
-var Result = (valueSchema, errorSchema) => external_exports.discriminatedUnion("ok", [
-  external_exports.object({ ok: external_exports.literal(true), value: valueSchema }),
-  external_exports.object({ ok: external_exports.literal(false), error: errorSchema })
-]);
-var ok = (value) => ({ ok: true, value });
-var err = (error48) => ({ ok: false, error: error48 });
-var isOk = (result) => result.ok;
-var isErr = (result) => !result.ok;
-
 // src/utils/path.ts
 function parsePath(path) {
   if (!path) return [];
@@ -14361,6 +14350,174 @@ function joinPathPreserveEmptySegments(...segments) {
   return segments.map(escapePathSegment).join(".");
 }
 
+// src/utils/patch-path.ts
+var UNSAFE_PROP_SEGMENTS = /* @__PURE__ */ new Set(["__proto__", "constructor", "prototype"]);
+function patchPathToDisplayString(path) {
+  let output = "";
+  for (let i = 0; i < path.length; i++) {
+    const segment = path[i];
+    if (segment.kind === "prop") {
+      output += i === 0 ? segment.name : `.${segment.name}`;
+      continue;
+    }
+    output += `[${segment.index}]`;
+  }
+  return output;
+}
+function semanticPathToPatchPath(path) {
+  const segments = parsePath(path);
+  if (segments.length === 0) {
+    return [{ kind: "prop", name: path }];
+  }
+  const patchPath = [];
+  for (const segment of segments) {
+    const parsed = parseBracketIndexedSegment(segment);
+    if (parsed) {
+      patchPath.push(...parsed);
+      continue;
+    }
+    patchPath.push({ kind: "prop", name: segment });
+  }
+  return patchPath.length > 0 ? patchPath : [{ kind: "prop", name: path }];
+}
+function isSafePatchPath(path) {
+  return path.every((segment) => segment.kind !== "prop" || !UNSAFE_PROP_SEGMENTS.has(segment.name));
+}
+function getByPatchPath(obj, path) {
+  let current = obj;
+  for (const segment of path) {
+    if (segment.kind === "prop") {
+      if (current === null || typeof current !== "object" || Array.isArray(current)) {
+        return void 0;
+      }
+      current = current[segment.name];
+      continue;
+    }
+    if (!Array.isArray(current)) {
+      return void 0;
+    }
+    current = current[segment.index];
+  }
+  return current;
+}
+function setByPatchPath(obj, path, value) {
+  return setBySegments(obj, path, value);
+}
+function unsetByPatchPath(obj, path) {
+  return unsetBySegments(obj, path);
+}
+function mergeAtPatchPath(obj, path, value) {
+  const existing = getByPatchPath(obj, path);
+  const merged = isRecord(existing) ? { ...existing, ...value } : value;
+  return setByPatchPath(obj, path, merged);
+}
+function setBySegments(obj, segments, value) {
+  if (segments.length === 0) {
+    return value;
+  }
+  const [head, ...tail] = segments;
+  if (head.kind === "prop") {
+    const current2 = isRecord(obj) ? obj : {};
+    const nextValue = setBySegments(current2[head.name], tail, value);
+    return {
+      ...current2,
+      [head.name]: nextValue
+    };
+  }
+  const current = Array.isArray(obj) ? [...obj] : [];
+  current[head.index] = setBySegments(current[head.index], tail, value);
+  return current;
+}
+function unsetBySegments(obj, segments) {
+  if (segments.length === 0) {
+    return obj;
+  }
+  const [head, ...tail] = segments;
+  if (head.kind === "prop") {
+    if (!isRecord(obj)) {
+      return obj;
+    }
+    if (tail.length === 0) {
+      const { [head.name]: _removed, ...rest } = obj;
+      return rest;
+    }
+    return {
+      ...obj,
+      [head.name]: unsetBySegments(obj[head.name], tail)
+    };
+  }
+  if (!Array.isArray(obj)) {
+    return obj;
+  }
+  const next = [...obj];
+  if (tail.length === 0) {
+    if (head.index >= 0 && head.index < next.length) {
+      delete next[head.index];
+    }
+    return next;
+  }
+  next[head.index] = unsetBySegments(next[head.index], tail);
+  return next;
+}
+function isRecord(value) {
+  return value !== null && typeof value === "object" && !Array.isArray(value);
+}
+function parseBracketIndexedSegment(segment) {
+  if (!segment.includes("[")) {
+    return null;
+  }
+  if (segment.includes("\\[") || segment.includes("\\]")) {
+    return null;
+  }
+  const parsed = [];
+  let cursor = 0;
+  let sawIndex = false;
+  while (cursor < segment.length) {
+    const open = segment.indexOf("[", cursor);
+    if (open === -1) {
+      const tail = segment.slice(cursor);
+      if (tail.length === 0) {
+        break;
+      }
+      if (sawIndex) {
+        return null;
+      }
+      parsed.push({ kind: "prop", name: tail });
+      break;
+    }
+    const prefix = segment.slice(cursor, open);
+    if (prefix.length > 0) {
+      if (sawIndex) {
+        return null;
+      }
+      parsed.push({ kind: "prop", name: prefix });
+    }
+    const close = segment.indexOf("]", open + 1);
+    if (close === -1) {
+      return null;
+    }
+    const indexText = segment.slice(open + 1, close);
+    if (!/^[0-9]+$/.test(indexText)) {
+      return null;
+    }
+    parsed.push({ kind: "index", index: Number(indexText) });
+    sawIndex = true;
+    cursor = close + 1;
+  }
+  return parsed.length > 0 ? parsed : null;
+}
+
+// src/schema/common.ts
+var SemanticPath = external_exports.string().min(1);
+var Result = (valueSchema, errorSchema) => external_exports.discriminatedUnion("ok", [
+  external_exports.object({ ok: external_exports.literal(true), value: valueSchema }),
+  external_exports.object({ ok: external_exports.literal(false), error: errorSchema })
+]);
+var ok = (value) => ({ ok: true, value });
+var err = (error48) => ({ ok: false, error: error48 });
+var isOk = (result) => result.ok;
+var isErr = (result) => !result.ok;
+
 // src/evaluator/expr.ts
 function evaluateExpr(expr, ctx) {
   switch (expr.kind) {
@@ -15208,163 +15365,6 @@ function evaluateToBoolean(arg, ctx) {
   return ok(toBoolean(result.value));
 }
 
-// src/utils/patch-path.ts
-var UNSAFE_PROP_SEGMENTS = /* @__PURE__ */ new Set(["__proto__", "constructor", "prototype"]);
-function patchPathToDisplayString(path) {
-  let output = "";
-  for (let i = 0; i < path.length; i++) {
-    const segment = path[i];
-    if (segment.kind === "prop") {
-      output += i === 0 ? segment.name : `.${segment.name}`;
-      continue;
-    }
-    output += `[${segment.index}]`;
-  }
-  return output;
-}
-function semanticPathToPatchPath(path) {
-  const segments = parsePath(path);
-  if (segments.length === 0) {
-    return [{ kind: "prop", name: path }];
-  }
-  const patchPath = [];
-  for (const segment of segments) {
-    const parsed = parseBracketIndexedSegment(segment);
-    if (parsed) {
-      patchPath.push(...parsed);
-      continue;
-    }
-    patchPath.push({ kind: "prop", name: segment });
-  }
-  return patchPath.length > 0 ? patchPath : [{ kind: "prop", name: path }];
-}
-function isSafePatchPath(path) {
-  return path.every((segment) => segment.kind !== "prop" || !UNSAFE_PROP_SEGMENTS.has(segment.name));
-}
-function getByPatchPath(obj, path) {
-  let current = obj;
-  for (const segment of path) {
-    if (segment.kind === "prop") {
-      if (current === null || typeof current !== "object" || Array.isArray(current)) {
-        return void 0;
-      }
-      current = current[segment.name];
-      continue;
-    }
-    if (!Array.isArray(current)) {
-      return void 0;
-    }
-    current = current[segment.index];
-  }
-  return current;
-}
-function setByPatchPath(obj, path, value) {
-  return setBySegments(obj, path, value);
-}
-function unsetByPatchPath(obj, path) {
-  return unsetBySegments(obj, path);
-}
-function mergeAtPatchPath(obj, path, value) {
-  const existing = getByPatchPath(obj, path);
-  const merged = isRecord(existing) ? { ...existing, ...value } : value;
-  return setByPatchPath(obj, path, merged);
-}
-function setBySegments(obj, segments, value) {
-  if (segments.length === 0) {
-    return value;
-  }
-  const [head, ...tail] = segments;
-  if (head.kind === "prop") {
-    const current2 = isRecord(obj) ? obj : {};
-    const nextValue = setBySegments(current2[head.name], tail, value);
-    return {
-      ...current2,
-      [head.name]: nextValue
-    };
-  }
-  const current = Array.isArray(obj) ? [...obj] : [];
-  current[head.index] = setBySegments(current[head.index], tail, value);
-  return current;
-}
-function unsetBySegments(obj, segments) {
-  if (segments.length === 0) {
-    return obj;
-  }
-  const [head, ...tail] = segments;
-  if (head.kind === "prop") {
-    if (!isRecord(obj)) {
-      return obj;
-    }
-    if (tail.length === 0) {
-      const { [head.name]: _removed, ...rest } = obj;
-      return rest;
-    }
-    return {
-      ...obj,
-      [head.name]: unsetBySegments(obj[head.name], tail)
-    };
-  }
-  if (!Array.isArray(obj)) {
-    return obj;
-  }
-  const next = [...obj];
-  if (tail.length === 0) {
-    if (head.index >= 0 && head.index < next.length) {
-      delete next[head.index];
-    }
-    return next;
-  }
-  next[head.index] = unsetBySegments(next[head.index], tail);
-  return next;
-}
-function isRecord(value) {
-  return value !== null && typeof value === "object" && !Array.isArray(value);
-}
-function parseBracketIndexedSegment(segment) {
-  if (!segment.includes("[")) {
-    return null;
-  }
-  if (segment.includes("\\[") || segment.includes("\\]")) {
-    return null;
-  }
-  const parsed = [];
-  let cursor = 0;
-  let sawIndex = false;
-  while (cursor < segment.length) {
-    const open = segment.indexOf("[", cursor);
-    if (open === -1) {
-      const tail = segment.slice(cursor);
-      if (tail.length === 0) {
-        break;
-      }
-      if (sawIndex) {
-        return null;
-      }
-      parsed.push({ kind: "prop", name: tail });
-      break;
-    }
-    const prefix = segment.slice(cursor, open);
-    if (prefix.length > 0) {
-      if (sawIndex) {
-        return null;
-      }
-      parsed.push({ kind: "prop", name: prefix });
-    }
-    const close = segment.indexOf("]", open + 1);
-    if (close === -1) {
-      return null;
-    }
-    const indexText = segment.slice(open + 1, close);
-    if (!/^[0-9]+$/.test(indexText)) {
-      return null;
-    }
-    parsed.push({ kind: "index", index: Number(indexText) });
-    sawIndex = true;
-    cursor = close + 1;
-  }
-  return parsed.length > 0 ? parsed : null;
-}
-
 // src/core/validation-utils.ts
 var SEMVER_REGEX = /^\d+\.\d+\.\d+(?:-[0-9A-Za-z-]+(?:\.[0-9A-Za-z-]+)*)?(?:\+[0-9A-Za-z-]+(?:\.[0-9A-Za-z-]+)*)?$/;
 var URI_SCHEME_REGEX = /^[a-zA-Z][a-zA-Z0-9+.-]*:/;
@@ -16274,6 +16274,57 @@ function evaluateSingleComputed(schema, snapshot, path) {
   return evaluateExpr(spec.expr, ctx);
 }
 
+// src/core/action-availability.ts
+function evaluateActionAvailability(schema, snapshot, actionName, timestamp = snapshot.meta.timestamp) {
+  const action = schema.actions[actionName];
+  if (!action) {
+    return {
+      kind: "error",
+      code: "UNKNOWN_ACTION",
+      message: `Unknown action: ${actionName}`
+    };
+  }
+  if (!action.available) {
+    return { kind: "ok", available: true };
+  }
+  const ctx = createContext(
+    snapshot,
+    schema,
+    null,
+    `actions.${actionName}.available`,
+    void 0,
+    timestamp
+  );
+  const result = evaluateExpr(action.available, ctx);
+  if (isErr(result)) {
+    return {
+      kind: "error",
+      code: "INTERNAL_ERROR",
+      message: `Error evaluating availability: ${result.error.message}`
+    };
+  }
+  if (typeof result.value !== "boolean") {
+    return {
+      kind: "error",
+      code: "TYPE_MISMATCH",
+      message: `Availability condition must return boolean, got ${typeof result.value}`
+    };
+  }
+  return { kind: "ok", available: result.value };
+}
+function isActionAvailable(schema, snapshot, actionName) {
+  const result = evaluateActionAvailability(schema, snapshot, actionName);
+  if (result.kind === "error") {
+    throw new Error(result.message);
+  }
+  return result.available;
+}
+function getAvailableActions(schema, snapshot) {
+  return Object.keys(schema.actions).filter(
+    (actionName) => isActionAvailable(schema, snapshot, actionName)
+  );
+}
+
 // src/core/system-delta.ts
 function applySystemDelta(snapshot, delta) {
   const hasStatus = hasOwn(delta, "status");
@@ -16281,7 +16332,6 @@ function applySystemDelta(snapshot, delta) {
   const hasLastError = hasOwn(delta, "lastError");
   const removeRequirementIds = new Set(delta.removeRequirementIds ?? []);
   const addRequirements = delta.addRequirements ?? [];
-  const appendErrors = delta.appendErrors ?? [];
   const nextPending = applyRequirementDelta(
     snapshot.system.pendingRequirements,
     removeRequirementIds,
@@ -16292,7 +16342,6 @@ function applySystemDelta(snapshot, delta) {
     status: hasStatus ? delta.status : snapshot.system.status,
     currentAction: hasCurrentAction ? delta.currentAction ?? null : snapshot.system.currentAction,
     lastError: hasLastError ? delta.lastError ?? null : snapshot.system.lastError,
-    errors: appendErrors.length > 0 ? [...snapshot.system.errors, ...appendErrors] : snapshot.system.errors,
     pendingRequirements: nextPending
   };
   if (!hasSystemChanged(snapshot.system, nextSystem)) {
@@ -16324,25 +16373,11 @@ function hasSystemChanged(previous, next) {
   if (!isErrorValueEqual(previous.lastError, next.lastError)) {
     return true;
   }
-  if (!areErrorArraysEqual(previous.errors, next.errors)) {
-    return true;
-  }
   if (!areRequirementArraysEqual(previous.pendingRequirements, next.pendingRequirements)) {
     return true;
   }
   return false;
 }
-function areErrorArraysEqual(a, b) {
-  if (a.length !== b.length) {
-    return false;
-  }
-  for (let i = 0; i < a.length; i++) {
-    if (!isErrorValueEqual(a[i], b[i])) {
-      return false;
-    }
-  }
-  return true;
-}
 function areRequirementArraysEqual(a, b) {
   if (a.length !== b.length) {
     return false;
@@ -16421,27 +16456,17 @@ function computeSync(schema, snapshot, intent, context) {
   }
   const isReEntry = currentSnapshot.system.currentAction === intent.type;
   if (action.available && !isReEntry) {
-    const ctx2 = createContext(currentSnapshot, schema, intent.type, "available", intent.intentId, context.now);
-    const availResult = evaluateExpr(action.available, ctx2);
-    if (isErr(availResult)) {
+    const availability = evaluateActionAvailability(schema, currentSnapshot, intent.type, context.now);
+    if (availability.kind === "error") {
       return createErrorResult(
         currentSnapshot,
         intent,
-        "INTERNAL_ERROR",
-        `Error evaluating availability: ${availResult.error.message}`,
+        availability.code,
+        availability.message,
         context
       );
     }
-    if (typeof availResult.value !== "boolean") {
-      return createErrorResult(
-        currentSnapshot,
-        intent,
-        "TYPE_MISMATCH",
-        `Availability condition must return boolean, got ${typeof availResult.value}`,
-        context
-      );
-    }
-    if (!availResult.value) {
+    if (!availability.available) {
       return createErrorResult(
         currentSnapshot,
         intent,
@@ -16539,7 +16564,6 @@ function createErrorResult(snapshot, intent, code, message, context) {
     status: "error",
     currentAction: null,
     lastError: error48,
-    appendErrors: [error48],
     addRequirements: [],
     removeRequirementIds: []
   };
@@ -16574,7 +16598,6 @@ function createSystemDeltaForFlow(snapshot, intent, status, flowError, requireme
     status: systemStatus,
     currentAction: status === "pending" ? intent.type : null,
     lastError: flowError,
-    appendErrors: flowError && isError ? [flowError] : [],
     addRequirements: [...requirements],
     removeRequirementIds: snapshot.system.pendingRequirements.map((requirement) => requirement.id)
   };
@@ -16758,8 +16781,7 @@ function apply(schema, snapshot, patches, context) {
     newSystem = {
       ...newSystem,
       status: "error",
-      lastError,
-      errors: [...newSystem.errors, ...validationErrors]
+      lastError
     };
   }
   const intermediateSnapshot = {
@@ -16778,8 +16800,7 @@ function apply(schema, snapshot, patches, context) {
     newSystem = {
       ...newSystem,
       status: "error",
-      lastError: error48,
-      errors: [...newSystem.errors, error48]
+      lastError: error48
     };
   }
   return {
@@ -17667,10 +17688,6 @@ var SystemState = external_exports.object({
    * Last error (null if none)
    */
   lastError: ErrorValue.nullable(),
-  /**
-   * Error history
-   */
-  errors: external_exports.array(ErrorValue),
   /**
    * Pending requirements waiting for Host
    */
@@ -17726,7 +17743,6 @@ function createInitialSystemState() {
   return {
     status: "idle",
     lastError: null,
-    errors: [],
     pendingRequirements: [],
     currentAction: null
   };
@@ -17747,7 +17763,6 @@ var SystemDelta = external_exports.object({
   status: SystemState.shape.status.optional(),
   currentAction: external_exports.string().nullable().optional(),
   lastError: ErrorValue.nullable().optional(),
-  appendErrors: external_exports.array(ErrorValue),
   addRequirements: external_exports.array(Requirement),
   removeRequirementIds: external_exports.array(external_exports.string())
 });
@@ -18282,7 +18297,9 @@ function createCore() {
     apply,
     applySystemDelta,
     validate,
-    explain
+    explain,
+    isActionAvailable,
+    getAvailableActions
   };
 }
 export {
@@ -18435,6 +18452,7 @@ export {
   generateRequirementId,
   generateRequirementIdSync,
   generateTraceId,
+  getAvailableActions,
   getByPatchPath,
   getByPath,
   getTransitiveDeps,
@@ -18445,6 +18463,7 @@ export {
   hashSchemaSync,
   indexSegment,
   invalidResult,
+  isActionAvailable,
   isErr,
   isErrorValue,
   isOk,