@almadar/core 7.22.0 → 7.24.0

package/dist/index.d.ts

@@ -3,7 +3,7 @@ export { A as AGENT_DOMAIN_CATEGORIES, a as ALLOWED_CUSTOM_COMPONENTS, b as Agen
 export { C as CORE_BINDINGS, a as CoreBinding, E as EvalContext, b as EventPayload, c as EventPayloadValue, d as Expression, e as ExpressionInput, f as ExpressionSchema, L as LogMeta, P as ParsedBinding, S as SExpr, g as SExprAtom, h as SExprAtomSchema, i as SExprInput, j as SExprSchema, k as collectBindings, l as getArgs, m as getOperator, n as isBinding, o as isSExpr, p as isSExprAtom, q as isSExprCall, r as isValidBinding, s as parseBinding, t as sexpr, w as walkSExpr } from './expression-BVRFm0sV.js';
 import { ResolvedIR, ResolvedEntity, ResolvedPage, ResolvedTrait, ChangesetValue, SchemaChange, CategorizedRemovals, PageContentReduction, SemanticSchemaChange } from './types/index.js';
 export { AgentCodeSearchResult, AgentCompactResult, AgentCompactStrategy, AgentContext, AgentGenerateOptions, AgentMemoryCategory, AgentMemoryRecord, AppSummary, AssetLoadStatus, BINDING_CONTEXT_RULES, BINDING_DOCS, BINDING_ROOTS, BindingContext, BindingRoot, BindingSchema, BridgeHealth, BusEvent, BusEventListener, BusEventSource, ChangeAuthor, ChangeSetDocument, ChangeSummary, CheckStatus, ContextExtensions, CreateFlow, DEFAULT_INTERACTION_MODELS, DeleteFlow, EditFlow, EffectTrace, EventEmit, EventKey, EventListen, EventLogEntry, GitHubLink, HistoryMeta, InteractionModel, InteractionModelInput, InteractionModelSchema, LazyService, ListInteraction, OrbitalVerificationAPI, PatternTypeSchema, PersistActionName, ResolvedEntityBinding, ResolvedField, ResolvedNavigation, ResolvedPattern, ResolvedSection, ResolvedSectionEvent, ResolvedTraitBinding, ResolvedTraitDataEntity, ResolvedTraitEvent, ResolvedTraitGuard, ResolvedTraitListener, ResolvedTraitState, ResolvedTraitTick, ResolvedTraitTransition, ResolvedTraitUIBinding, SaveOptions, SaveResult, SemanticChangeKind, ServerResponseTrace, ServiceAction, ServiceActionName, ServiceContract, ServiceEvents, SnapshotDocument, StatsView, StoreContract, StoreFilter, StoreFilterOp, TraitFieldRef, TraitFieldRefSchema, TraitStateSnapshot, TransitionFrom, TransitionTrace, Unsubscribe, ValidationDocument, ValidationIssue, ValidationMeta, ValidationResults, VerificationCheck, VerificationSnapshot, VerificationSummary, ViewFlow, createEmptyResolvedPage, createEmptyResolvedTrait, createLazyService, createResolvedField, createTypedEventBus, getAllPatternTypes, getBindingExamples, getInteractionModelForDomain, inferTsType, isResolvedIR, isTraitFieldRef, toBindingRoot, validateBindingInContext } from './types/index.js';
-export { ASTNode, CallSiteDiff, ComparisonCondition, ComparisonOperator, DomainBehavior, DomainChunk, DomainDocument, DomainEffect, DomainEntity, DomainField, DomainFieldDefault, DomainFieldItems, DomainFieldType, DomainGuard, DomainMutation, DomainPage, DomainPageAction, DomainPageSection, DomainRelationship, DomainTick, DomainToSchemaResult, DomainTransition, EFFECT_REGISTRY, EffectMapping, EffectType, FIELD_TYPE_REGISTRY, FactoryCallSite, FactoryCallSiteParams, FactoryEntitySignature, FactoryPageSignature, FactoryParamValue, FactorySignature, FactorySignatureCatalog, FactorySignatureEntityField, FactoryTraitSignature, FieldCheckCondition, FieldReference, FieldTypeMapping, GUARD_REGISTRY, GuardCondition, GuardMapping, KEYWORDS, Lexer, LogicalCondition, LogicalOperator, MULTI_WORD_KEYWORDS, MappingStore, MergeResult, ParseError, ParseResult, PresentationNavItem, PresentationOverlay, RelationshipType, SchemaFieldType, SchemaToDomainResult, SectionMapping, SourceLocation, SourceRange, Token, TokenType, TranslationBinding, TranslationResult, TranslationWarning, UserCheckCondition, applyMutation, applySectionUpdate, computeSchemaHash, convertDomainToSchema, convertEntitiesToDomain, convertPagesToDomain, convertSchemaToDomain, convertTraitsToDomain, createMappingStore, deleteSection, detectChanges, diffFactoryCalls, domainKeywordToSchemaType, findMapping, findMappingByPath, findMappingsByType, formatBehaviorToDomain, formatBehaviorToSchema, formatDomainGuardToSchema, formatEntityToDomain, formatEntityToSchema, formatGuardConditionToDomain, formatGuardToDomain, formatGuardToSchema, formatMergeSummary, formatPageToDomain, formatPageToSchema, formatSchemaEntityToDomain, formatSchemaGuardToDomain, formatSchemaPageToDomain, formatSchemaTraitToDomain, generateDomainLanguageReference, generateSectionId, getEffectMapping, getFieldTypeMapping, getGuardMapping, getRegisteredEffects, getRegisteredFieldTypes, getRegisteredGuards, getRegistryStats, getSchemaPath, hasSchemaChanged, isEffectRegistered, isFieldTypeRegistered, isGuardRegistered, mergeDomainChunks, parseBehavior, parseDomainEffect, parseDomainEffects, parseDomainGuard, parseEntity, parseGuard, parsePage, parseSectionId, removeMapping, resolveConflict, schemaEntityToDomainEntity, schemaPageToDomainPage, schemaTraitToDomainBehavior, schemaTypeToDomainKeyword, tokenize, translateDomainToParams, updateMappingRange, updateSchemaHash, upsertMapping, validateDomainChunk } from './domain-language/index.js';
+export { ASTNode, CallSiteDiff, ComparisonCondition, ComparisonOperator, DomainBehavior, DomainChunk, DomainDocument, DomainEffect, DomainEntity, DomainField, DomainFieldDefault, DomainFieldItems, DomainFieldType, DomainGuard, DomainMutation, DomainPage, DomainPageAction, DomainPageSection, DomainRelationship, DomainRuleOverlayEntry, DomainTick, DomainToSchemaResult, DomainTransition, EFFECT_REGISTRY, EffectMapping, EffectType, FIELD_TYPE_REGISTRY, FactoryCallSite, FactoryCallSiteParams, FactoryEntitySignature, FactoryPageSignature, FactoryParamValue, FactorySignature, FactorySignatureCatalog, FactorySignatureEntityField, FactoryTraitSignature, FieldCheckCondition, FieldReference, FieldTypeMapping, GUARD_REGISTRY, GuardCondition, GuardMapping, KEYWORDS, Lexer, LogicalCondition, LogicalOperator, MULTI_WORD_KEYWORDS, MappingStore, MergeResult, OwnershipOverlayEntry, ParseError, ParseResult, PresentationNavItem, PresentationOverlay, RelationshipType, RuleOverlay, SchemaFieldType, SchemaToDomainResult, SectionMapping, SourceLocation, SourceRange, Token, TokenType, TraitOverlay, TraitOverlayEntry, TraitOverlayListener, TranslationBinding, TranslationResult, TranslationWarning, UserCheckCondition, applyMutation, applySectionUpdate, computeSchemaHash, convertDomainToSchema, convertEntitiesToDomain, convertPagesToDomain, convertSchemaToDomain, convertTraitsToDomain, createMappingStore, deleteSection, detectChanges, diffFactoryCalls, domainKeywordToSchemaType, findMapping, findMappingByPath, findMappingsByType, formatBehaviorToDomain, formatBehaviorToSchema, formatDomainGuardToSchema, formatEntityToDomain, formatEntityToSchema, formatGuardConditionToDomain, formatGuardToDomain, formatGuardToSchema, formatMergeSummary, formatPageToDomain, formatPageToSchema, formatSchemaEntityToDomain, formatSchemaGuardToDomain, formatSchemaPageToDomain, formatSchemaTraitToDomain, generateDomainLanguageReference, generateSectionId, getEffectMapping, getFieldTypeMapping, getGuardMapping, getRegisteredEffects, getRegisteredFieldTypes, getRegisteredGuards, getRegistryStats, getSchemaPath, hasSchemaChanged, isEffectRegistered, isFieldTypeRegistered, isGuardRegistered, mergeDomainChunks, parseBehavior, parseDomainEffect, parseDomainEffects, parseDomainGuard, parseEntity, parseGuard, parsePage, parseSectionId, removeMapping, resolveConflict, schemaEntityToDomainEntity, schemaPageToDomainPage, schemaTraitToDomainBehavior, schemaTypeToDomainKeyword, tokenize, translateDomainToParams, updateMappingRange, updateSchemaHash, upsertMapping, validateDomainChunk } from './domain-language/index.js';
 export { C as ComposeBehaviorsInput, a as ComposeBehaviorsResult, E as EventWiringEntry, L as LayoutStrategy, b as applyEventWiring, c as composeBehaviors, d as detectLayoutStrategy } from './compose-behaviors-CHAMivlZ.js';
 export { PATTERN_TYPES, PatternConfig, PatternType, isValidPatternType } from '@almadar/patterns';
 export { BFSNode, BFSPathNode, EdgeWalkTransition, GraphTransition, GuardPayload, ReplayStep, ReplayTransition, StateEdge, WalkStep, buildEdgeCoveringWalk, buildGuardPayloads, buildReplayPaths, buildStateGraph, collectReachableStates, extractPayloadFieldRef, walkStatePairs } from './state-machine/index.js';

package/dist/index.js

@@ -7705,7 +7705,7 @@ var UI_SLOTS2 = [
 ];
 
 // src/domain-language/sync/translate-domain-to-params.ts
-function translateDomainToParams(binding, signature, presentation) {
+function translateDomainToParams(binding, signature, presentation, ruleOverlay, traitOverlay, catalog) {
   const warnings = [];
   const params = {};
   applyEntityName(binding.entity, signature, params);
@@ -7713,6 +7713,8 @@ function translateDomainToParams(binding, signature, presentation) {
   applyPersistence(binding.entity, signature, params, warnings);
   applyPagePaths(binding.pages ?? [], signature, params, warnings);
   applyPresentation(presentation, signature, params, warnings);
+  applyTraitOverlay(traitOverlay, signature, params, warnings);
+  applyRuleOverlay(ruleOverlay, signature, binding, catalog, params, warnings);
   return {
     callSite: {
       organism: signature.organism,
@@ -7801,6 +7803,165 @@ function applyPresentation(overlay, signature, params, warnings) {
     }
   };
 }
+function applyTraitOverlay(overlay, signature, params, warnings) {
+  if (!overlay) return;
+  const traitsByName = new Map(signature.traits.map((t) => [t.name, t]));
+  for (const [traitName, entry] of Object.entries(overlay)) {
+    const trait = traitsByName.get(traitName);
+    if (!trait) {
+      warnings.push({
+        field: `traitOverlay.${traitName}`,
+        reason: `factory signature has no trait named "${traitName}"`
+      });
+      continue;
+    }
+    mergeTraitOverride(traitName, entry, trait, params, warnings);
+  }
+}
+function mergeTraitOverride(traitName, entry, trait, params, warnings) {
+  const advertised = new Set(trait.overridableConfigKeys);
+  const existing = params.traitOverrides?.[traitName] ?? {};
+  const existingConfig = existing.config ?? {};
+  const mergedConfig = { ...existingConfig };
+  if (entry.config) {
+    for (const [k, v] of Object.entries(entry.config)) {
+      if (!advertised.has(k)) {
+        warnings.push({
+          field: `traitOverlay.${traitName}.config.${k}`,
+          reason: `trait does not advertise config key "${k}" (overridableConfigKeys: [${trait.overridableConfigKeys.join(", ")}])`
+        });
+        continue;
+      }
+      mergedConfig[k] = v;
+    }
+  }
+  const next = {
+    ...existing,
+    ...Object.keys(mergedConfig).length > 0 ? { config: mergedConfig } : {}
+  };
+  params.traitOverrides = {
+    ...params.traitOverrides,
+    [traitName]: next
+  };
+}
+function applyRuleOverlay(overlay, signature, binding, catalog, params, warnings) {
+  if (!overlay) return;
+  for (const rule of overlay.rules) {
+    if (!ruleAppliesToBinding(rule, binding)) continue;
+    if (!catalog) {
+      warnings.push({
+        field: `ruleOverlay.rules.${rule.id}`,
+        reason: "rule overlay supplied without a catalog \u2014 capability lookup requires one"
+      });
+      continue;
+    }
+    const match = findTraitByCapability(catalog, rule.capability);
+    if (!match) {
+      warnings.push({
+        field: `ruleOverlay.rules.${rule.id}`,
+        reason: `no trait in the catalog advertises capability "${rule.capability}"`
+      });
+      continue;
+    }
+    appendRuleExtraTrait(rule, match, binding, params);
+    if (rule.config) {
+      threadRuleConfig(rule, match.trait, params, warnings);
+    }
+  }
+  if (overlay.ownership) {
+    for (const entry of overlay.ownership) {
+      if (entry.entity !== binding.entity.name) continue;
+      applyOwnership(entry, params, signature, catalog, warnings);
+    }
+  }
+}
+function ruleAppliesToBinding(rule, binding) {
+  if (rule.appliesTo.length === 0) return true;
+  return rule.appliesTo.includes(binding.entity.name);
+}
+function findTraitByCapability(catalog, capability) {
+  for (const sig of catalog) {
+    for (const trait of sig.traits) {
+      if (trait.capabilities.includes(capability)) {
+        return { signature: sig, trait };
+      }
+    }
+  }
+  return void 0;
+}
+function appendRuleExtraTrait(rule, match, binding, params) {
+  const fromPath = `std/behaviors/${match.signature.organism}`;
+  const alias = organismToAlias(match.signature.organism);
+  const ref2 = {
+    from: fromPath,
+    ref: `${alias}.traits.${match.trait.name}`,
+    linkedEntity: binding.entity.name
+  };
+  const existing = params.extraTraits ?? [];
+  params.extraTraits = [...existing, ref2];
+}
+function organismToAlias(organism) {
+  const trimmed = organism.startsWith("std-") ? organism.slice(4) : organism;
+  return trimmed.split("-").filter((s) => s.length > 0).map((s) => s.charAt(0).toUpperCase() + s.slice(1)).join("");
+}
+function threadRuleConfig(rule, trait, params, warnings) {
+  if (!rule.config) return;
+  const advertised = new Set(trait.overridableConfigKeys);
+  const existing = params.traitOverrides?.[trait.name] ?? {};
+  const existingConfig = existing.config ?? {};
+  const merged = { ...existingConfig };
+  for (const [k, v] of Object.entries(rule.config)) {
+    if (!advertised.has(k)) {
+      warnings.push({
+        field: `ruleOverlay.rules.${rule.id}.config.${k}`,
+        reason: `trait "${trait.name}" does not advertise config key "${k}"`
+      });
+      continue;
+    }
+    merged[k] = v;
+  }
+  if (Object.keys(merged).length > 0) {
+    params.traitOverrides = {
+      ...params.traitOverrides,
+      [trait.name]: { ...existing, config: merged }
+    };
+  }
+}
+function applyOwnership(entry, params, signature, catalog, warnings) {
+  const local = signature.traits.find(
+    (t) => t.overridableConfigKeys.includes("ownerField")
+  );
+  if (local) {
+    writeOwnerField(local.name, entry.ownerField, params);
+    return;
+  }
+  if (catalog) {
+    for (const sig of catalog) {
+      const trait = sig.traits.find(
+        (t) => t.overridableConfigKeys.includes("ownerField")
+      );
+      if (trait) {
+        writeOwnerField(trait.name, entry.ownerField, params);
+        return;
+      }
+    }
+  }
+  warnings.push({
+    field: `ruleOverlay.ownership.${entry.entity}`,
+    reason: "no trait in the bound signature or catalog advertises an `ownerField` config knob"
+  });
+}
+function writeOwnerField(traitName, ownerField, params) {
+  const existing = params.traitOverrides?.[traitName] ?? {};
+  const existingConfig = existing.config ?? {};
+  params.traitOverrides = {
+    ...params.traitOverrides,
+    [traitName]: {
+      ...existing,
+      config: { ...existingConfig, ownerField }
+    }
+  };
+}
 function lowerField(f) {
   const schemaType = DOMAIN_TO_SCHEMA_FIELD_TYPE[f.fieldType];
   if (!schemaType) return void 0;