@manifesto-ai/core 2.6.1 → 2.7.1

package/dist/index.d.ts

@@ -1479,6 +1479,7 @@ declare function toCanonical(obj: unknown): string;
  * - Non-finite numbers: null
  */
 declare function toJcs(value: unknown): string;
+declare function compareUnicodeCodePoints(a: string, b: string): number;
 /**
  * Parse canonical JSON string
  */
@@ -1784,4 +1785,4 @@ interface ManifestoCore {
  */
 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, 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, 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 };

package/dist/index.js

@@ -14891,7 +14891,8 @@ function evaluateAppend(array2, items, ctx) {
 }
 function evaluateObject(fields, ctx) {
   const result = {};
-  for (const [key, valueExpr] of Object.entries(fields)) {
+  for (const key of Object.keys(fields).sort(compareUnicodeCodePoints)) {
+    const valueExpr = fields[key];
     const valueResult = evaluateExpr(valueExpr, ctx);
     if (!valueResult.ok) return valueResult;
     result[key] = valueResult.value;
@@ -14910,21 +14911,25 @@ function evaluateKeys(obj, ctx) {
   if (!result.ok) return result;
   const value = result.value;
   if (typeof value !== "object" || value === null) return ok([]);
-  return ok(Object.keys(value));
+  return ok(Object.keys(value).sort(compareUnicodeCodePoints));
 }
 function evaluateValues(obj, ctx) {
   const result = evaluateExpr(obj, ctx);
   if (!result.ok) return result;
   const value = result.value;
   if (typeof value !== "object" || value === null) return ok([]);
-  return ok(Object.values(value));
+  return ok(
+    Object.keys(value).sort(compareUnicodeCodePoints).map((key) => value[key])
+  );
 }
 function evaluateEntries(obj, ctx) {
   const result = evaluateExpr(obj, ctx);
   if (!result.ok) return result;
   const value = result.value;
   if (typeof value !== "object" || value === null) return ok([]);
-  return ok(Object.entries(value));
+  return ok(
+    Object.keys(value).sort(compareUnicodeCodePoints).map((key) => [key, value[key]])
+  );
 }
 function evaluateMerge(objects, ctx) {
   const merged = {};
@@ -17988,6 +17993,24 @@ function validateStateDefaults(state, basePath) {
         path
       });
     }
+    if (spec.default !== void 0) {
+      if (spec.default === null && spec.required !== false) {
+        errors.push({
+          code: "V-009",
+          message: `Default value 'null' is not compatible with required field type '${typeof spec.type === "string" ? spec.type : "enum"}'`,
+          path
+        });
+      } else if (spec.default !== null) {
+        const typeCheck = validateValueAgainstFieldSpec(spec.default, spec);
+        if (!typeCheck.ok) {
+          errors.push({
+            code: "V-009",
+            message: `Default value type mismatch: ${typeCheck.message}`,
+            path
+          });
+        }
+      }
+    }
     if (spec.type === "object" && spec.fields) {
       for (const [name, field] of Object.entries(spec.fields)) {
         visit(field, `${path}.${name}`);
@@ -18387,6 +18410,7 @@ export {
   applySystemDelta,
   buildDependencyGraph,
   canonicalEqual,
+  compareUnicodeCodePoints,
   compute,
   computeSync,
   createContext,