@dialecte/core 0.1.2 → 0.1.4

package/dist/types/definition.d.ts

@@ -1,70 +1,87 @@
 import { Namespace } from './records';
-/**
- * Validation rules that can be applied to attributes, elements, or values
- */
-export type ValidationRules = {
-    readonly enumeration: readonly string[] | null;
-    readonly pattern: readonly string[] | null;
-    readonly minInclusive: number | string | null;
-    readonly maxInclusive: number | string | null;
-    readonly minLength: number | string | null;
-    readonly maxLength: number | string | null;
-    readonly fractionDigits: number | string | null;
-    readonly totalDigits: number | string | null;
-    readonly whitespace: 'preserve' | 'replace' | 'collapse' | null;
-    readonly assertions: readonly any[] | null;
-    readonly minOccurrence: number | string | null;
-    readonly maxOccurrence: number | string | null;
+export type XPathStepKind = 'self' | 'name' | 'wildcard' | 'ns-wildcard';
+export type XPathStep = {
+    readonly kind: XPathStepKind;
+    readonly value?: string;
+};
+export type SelectorPath = {
+    readonly deep?: true;
+    readonly steps: readonly XPathStep[];
+};
+export type FieldTargetKind = 'element' | 'attribute' | 'wildcard' | 'ns-wildcard';
+export type FieldTarget = {
+    readonly kind: FieldTargetKind;
+    readonly value?: string;
+    readonly isAttribute?: true;
+};
+export type ConstraintField = {
+    readonly deep?: true;
+    readonly steps?: readonly XPathStep[];
+    readonly target: FieldTarget;
+};
+export type IdentityConstraint = {
+    readonly kind: 'unique' | 'key' | 'keyref';
+    readonly name: string;
+    readonly refer?: string;
+    readonly deep?: true;
+    readonly selector: readonly SelectorPath[];
+    readonly fields: readonly ConstraintField[];
+};
+export type Facets = {
+    readonly enumeration?: readonly string[];
+    readonly pattern?: readonly string[];
+    readonly minLength?: number;
+    readonly maxLength?: number;
+    readonly length?: number;
+    readonly minInclusive?: number | string;
+    readonly maxInclusive?: number | string;
+    readonly minExclusive?: number | string;
+    readonly maxExclusive?: number | string;
+    readonly totalDigits?: number;
+    readonly fractionDigits?: number;
+    readonly whiteSpace?: 'preserve' | 'replace' | 'collapse';
 };
-/**
- * Attribute definition with validation rules
- */
 export type AttributeDefinition = {
-    readonly required: boolean;
-    readonly default: string | null;
-    readonly namespace: Namespace | null;
-    readonly validation: ValidationRules;
+    readonly required?: true;
+    readonly default?: string;
+    readonly fixed?: string;
+    readonly namespace?: Namespace;
+    readonly facets?: Facets;
 };
-/**
- * Sub-element definition with constraints
- */
-export type SubElementDefinition = {
-    readonly required: boolean;
-    readonly validation: ValidationRules;
-    readonly constraints: readonly any[] | null;
+export type ChildDefinition = {
+    readonly required?: true;
+    readonly minOccurs?: number;
+    readonly maxOccurs?: number;
+    readonly constraints?: readonly IdentityConstraint[];
+};
+export type ChoiceGroup = {
+    readonly options: readonly string[];
+    readonly maxOccurs: number;
+};
+export type TextContent = {
+    readonly facets?: Facets;
 };
-/**
- * Generic element definition parameterized by element type
- * Provides typed access to attributes, sub-elements, and parents
- */
 export type ElementDefinition = {
     readonly tag: string;
     readonly namespace: Namespace;
-    readonly documentation: string | null;
+    readonly documentation?: string;
     readonly parents: readonly string[];
-    readonly validation: ValidationRules;
     readonly attributes: {
-        readonly any: boolean;
         readonly sequence: readonly string[];
         readonly details: Record<string, AttributeDefinition>;
     };
-    readonly subElements: {
-        readonly any: boolean;
+    readonly children: {
         readonly sequence: readonly string[];
-        readonly details: Record<string, SubElementDefinition>;
-        readonly choices: readonly any[];
-    };
-    readonly constraints: readonly any[];
-    readonly value: {
-        readonly type: string | null;
-        readonly validation: ValidationRules;
+        readonly any?: true;
+        readonly details: Record<string, ChildDefinition>;
+        readonly choices?: readonly ChoiceGroup[];
     };
+    readonly constraints?: readonly IdentityConstraint[];
+    readonly textContent?: TextContent;
 };
 /**
- * Complete definition - maps element names to their definitions
- * This is the raw JSON structure from XSD generation
- *
- * Each dialecte should define its own specific type extending this
+ * Complete definition — maps element names to their definitions.
+ * Each dialecte should define its own specific type extending this.
  */
 export type AnyDefinition = Record<string, ElementDefinition>;
 //# sourceMappingURL=definition.d.ts.map

package/dist/types/definition.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"definition.d.ts","sourceRoot":"","sources":["../../src/types/definition.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,WAAW,CAAA;AAE1C;;GAEG;AACH,MAAM,MAAM,eAAe,GAAG;IAC7B,QAAQ,CAAC,WAAW,EAAE,SAAS,MAAM,EAAE,GAAG,IAAI,CAAA;IAC9C,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,GAAG,IAAI,CAAA;IAC1C,QAAQ,CAAC,YAAY,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,CAAA;IAC7C,QAAQ,CAAC,YAAY,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,CAAA;IAC7C,QAAQ,CAAC,SAAS,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,CAAA;IAC1C,QAAQ,CAAC,SAAS,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,CAAA;IAC1C,QAAQ,CAAC,cAAc,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,CAAA;IAC/C,QAAQ,CAAC,WAAW,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,CAAA;IAC5C,QAAQ,CAAC,UAAU,EAAE,UAAU,GAAG,SAAS,GAAG,UAAU,GAAG,IAAI,CAAA;IAC/D,QAAQ,CAAC,UAAU,EAAE,SAAS,GAAG,EAAE,GAAG,IAAI,CAAA;IAC1C,QAAQ,CAAC,aAAa,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,CAAA;IAC9C,QAAQ,CAAC,aAAa,EAAE,MAAM,GAAG,MAAM,GAAG,IAAI,CAAA;CAC9C,CAAA;AAED;;GAEG;AACH,MAAM,MAAM,mBAAmB,GAAG;IACjC,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAA;IAC1B,QAAQ,CAAC,OAAO,EAAE,MAAM,GAAG,IAAI,CAAA;IAC/B,QAAQ,CAAC,SAAS,EAAE,SAAS,GAAG,IAAI,CAAA;IACpC,QAAQ,CAAC,UAAU,EAAE,eAAe,CAAA;CACpC,CAAA;AAED;;GAEG;AACH,MAAM,MAAM,oBAAoB,GAAG;IAClC,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAA;IAC1B,QAAQ,CAAC,UAAU,EAAE,eAAe,CAAA;IACpC,QAAQ,CAAC,WAAW,EAAE,SAAS,GAAG,EAAE,GAAG,IAAI,CAAA;CAC3C,CAAA;AAED;;;GAGG;AACH,MAAM,MAAM,iBAAiB,GAAG;IAC/B,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAA;IACpB,QAAQ,CAAC,SAAS,EAAE,SAAS,CAAA;IAC7B,QAAQ,CAAC,aAAa,EAAE,MAAM,GAAG,IAAI,CAAA;IACrC,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAA;IACnC,QAAQ,CAAC,UAAU,EAAE,eAAe,CAAA;IACpC,QAAQ,CAAC,UAAU,EAAE;QACpB,QAAQ,CAAC,GAAG,EAAE,OAAO,CAAA;QACrB,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAA;QACpC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,mBAAmB,CAAC,CAAA;KACrD,CAAA;IACD,QAAQ,CAAC,WAAW,EAAE;QACrB,QAAQ,CAAC,GAAG,EAAE,OAAO,CAAA;QACrB,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAA;QACpC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,oBAAoB,CAAC,CAAA;QACtD,QAAQ,CAAC,OAAO,EAAE,SAAS,GAAG,EAAE,CAAA;KAChC,CAAA;IACD,QAAQ,CAAC,WAAW,EAAE,SAAS,GAAG,EAAE,CAAA;IACpC,QAAQ,CAAC,KAAK,EAAE;QACf,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,CAAA;QAC5B,QAAQ,CAAC,UAAU,EAAE,eAAe,CAAA;KACpC,CAAA;CACD,CAAA;AAED;;;;;GAKG;AACH,MAAM,MAAM,aAAa,GAAG,MAAM,CAAC,MAAM,EAAE,iBAAiB,CAAC,CAAA"}
+{"version":3,"file":"definition.d.ts","sourceRoot":"","sources":["../../src/types/definition.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,WAAW,CAAA;AAI1C,MAAM,MAAM,aAAa,GAAG,MAAM,GAAG,MAAM,GAAG,UAAU,GAAG,aAAa,CAAA;AAExE,MAAM,MAAM,SAAS,GAAG;IACvB,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAA;IAC5B,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAA;CACvB,CAAA;AAED,MAAM,MAAM,YAAY,GAAG;IAC1B,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,CAAA;IACpB,QAAQ,CAAC,KAAK,EAAE,SAAS,SAAS,EAAE,CAAA;CACpC,CAAA;AAED,MAAM,MAAM,eAAe,GAAG,SAAS,GAAG,WAAW,GAAG,UAAU,GAAG,aAAa,CAAA;AAElF,MAAM,MAAM,WAAW,GAAG;IACzB,QAAQ,CAAC,IAAI,EAAE,eAAe,CAAA;IAC9B,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAA;IACvB,QAAQ,CAAC,WAAW,CAAC,EAAE,IAAI,CAAA;CAC3B,CAAA;AAED,MAAM,MAAM,eAAe,GAAG;IAC7B,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,CAAA;IACpB,QAAQ,CAAC,KAAK,CAAC,EAAE,SAAS,SAAS,EAAE,CAAA;IACrC,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAA;CAC5B,CAAA;AAED,MAAM,MAAM,kBAAkB,GAAG;IAChC,QAAQ,CAAC,IAAI,EAAE,QAAQ,GAAG,KAAK,GAAG,QAAQ,CAAA;IAC1C,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAA;IACvB,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,CAAA;IACpB,QAAQ,CAAC,QAAQ,EAAE,SAAS,YAAY,EAAE,CAAA;IAC1C,QAAQ,CAAC,MAAM,EAAE,SAAS,eAAe,EAAE,CAAA;CAC3C,CAAA;AAID,MAAM,MAAM,MAAM,GAAG;IACpB,QAAQ,CAAC,WAAW,CAAC,EAAE,SAAS,MAAM,EAAE,CAAA;IACxC,QAAQ,CAAC,OAAO,CAAC,EAAE,SAAS,MAAM,EAAE,CAAA;IACpC,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAA;IAC3B,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAA;IAC3B,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,GAAG,MAAM,CAAA;IACvC,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,GAAG,MAAM,CAAA;IACvC,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,GAAG,MAAM,CAAA;IACvC,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,GAAG,MAAM,CAAA;IACvC,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAA;IAC7B,QAAQ,CAAC,cAAc,CAAC,EAAE,MAAM,CAAA;IAChC,QAAQ,CAAC,UAAU,CAAC,EAAE,UAAU,GAAG,SAAS,GAAG,UAAU,CAAA;CACzD,CAAA;AAID,MAAM,MAAM,mBAAmB,GAAG;IACjC,QAAQ,CAAC,QAAQ,CAAC,EAAE,IAAI,CAAA;IACxB,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAA;IACzB,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAA;IACvB,QAAQ,CAAC,SAAS,CAAC,EAAE,SAAS,CAAA;IAC9B,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAA;CACxB,CAAA;AAED,MAAM,MAAM,eAAe,GAAG;IAC7B,QAAQ,CAAC,QAAQ,CAAC,EAAE,IAAI,CAAA;IACxB,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAA;IAC3B,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAA;IAC3B,QAAQ,CAAC,WAAW,CAAC,EAAE,SAAS,kBAAkB,EAAE,CAAA;CACpD,CAAA;AAED,MAAM,MAAM,WAAW,GAAG;IACzB,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAA;IACnC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAA;CAC1B,CAAA;AAED,MAAM,MAAM,WAAW,GAAG;IACzB,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAA;CACxB,CAAA;AAID,MAAM,MAAM,iBAAiB,GAAG;IAC/B,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAA;IACpB,QAAQ,CAAC,SAAS,EAAE,SAAS,CAAA;IAC7B,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,CAAA;IAC/B,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAA;IACnC,QAAQ,CAAC,UAAU,EAAE;QACpB,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAA;QACpC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,mBAAmB,CAAC,CAAA;KACrD,CAAA;IACD,QAAQ,CAAC,QAAQ,EAAE;QAClB,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAA;QACpC,QAAQ,CAAC,GAAG,CAAC,EAAE,IAAI,CAAA;QACnB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,eAAe,CAAC,CAAA;QACjD,QAAQ,CAAC,OAAO,CAAC,EAAE,SAAS,WAAW,EAAE,CAAA;KACzC,CAAA;IACD,QAAQ,CAAC,WAAW,CAAC,EAAE,SAAS,kBAAkB,EAAE,CAAA;IACpD,QAAQ,CAAC,WAAW,CAAC,EAAE,WAAW,CAAA;CAClC,CAAA;AAED;;;GAGG;AACH,MAAM,MAAM,aAAa,GAAG,MAAM,CAAC,MAAM,EAAE,iBAAiB,CAAC,CAAA"}

package/dist/types/extensions.d.ts

@@ -0,0 +1,73 @@
+import { Query } from '../document/query';
+import { Transaction } from '../document/transaction';
+/**
+ * A query extension: a function whose first argument is the Query instance.
+ * The remaining arguments become the public signature after binding.
+ */
+export type QueryExtensionFn = (query: Query<any>, ...args: any[]) => any;
+/**
+ * A transaction extension: a function whose first argument is the Transaction instance.
+ * The remaining arguments become the public signature after binding.
+ */
+export type TransactionExtensionFn = (tx: Transaction<any>, ...args: any[]) => any;
+/** A group of extension functions keyed by method name. */
+export type ExtensionGroup<Fn> = Record<string, Fn>;
+/** A map of PascalCase group names → extension groups. */
+export type ExtensionMap<Fn> = Record<string, ExtensionGroup<Fn>>;
+/**
+ * A single named extension module, grouping its query and transaction methods.
+ * Use this as the shape for each element's extension file (e.g. History/index.ts).
+ */
+export type ExtensionModule = {
+    query?: ExtensionGroup<QueryExtensionFn>;
+    transaction?: ExtensionGroup<TransactionExtensionFn>;
+};
+/**
+ * Extensions configuration for a dialecte.
+ * A record of named extension modules (e.g. { History: { query: ... } }).
+ * Produced by mergeExtensions().
+ */
+export type ExtensionsRegistry = {
+    query?: Record<string, NonNullable<ExtensionModule['query']>>;
+    transaction?: Record<string, NonNullable<ExtensionModule['transaction']>>;
+};
+/**
+ * Compile-time guard: rejects any extension group name that collides
+ * with a core method on Query or Transaction.
+ */
+export type AssertNoCollision<Extensions extends Record<string, unknown>, Reserved extends string> = {
+    [K in keyof Extensions]: K extends Reserved ? `Extension group "${K & string}" collides with a core method` : Extensions[K];
+};
+/**
+ * Given a map of extension groups, produces the same structure
+ * but with the first argument (query/tx) stripped from each function.
+ */
+export type BoundExtensionMap<GenericExtensionMap extends ExtensionMap<QueryExtensionFn | TransactionExtensionFn>> = {
+    [Group in keyof GenericExtensionMap]: {
+        [Method in keyof GenericExtensionMap[Group]]: GenericExtensionMap[Group][Method] extends (first: any, ...rest: infer Rest) => infer InferredRest ? (...args: Rest) => InferredRest : never;
+    };
+};
+export type QueryExtensions<Ext extends ExtensionsRegistry> = Ext extends {
+    query: infer Q extends ExtensionMap<QueryExtensionFn>;
+} ? BoundExtensionMap<Q> : {};
+export type AllExtensions<Ext extends ExtensionsRegistry> = QueryExtensions<Ext> & (Ext extends {
+    transaction: infer M extends ExtensionMap<TransactionExtensionFn>;
+} ? BoundExtensionMap<M> : {});
+/**
+ * A record of named extension modules (keys are element names, e.g. 'History').
+ */
+export type ExtensionModules = Record<string, ExtensionModule>;
+/**
+ * Derives the merged ExtensionsRegistry type from a record of ExtensionModules.
+ * mergeExtensions({ History }) → { query: { History: ... }, transaction: {} }
+ * Modules without query/transaction are filtered out.
+ */
+export type MergedExtensions<Modules extends ExtensionModules> = {
+    query: {
+        [K in keyof Modules as Modules[K]['query'] extends ExtensionGroup<QueryExtensionFn> ? K : never]: Modules[K]['query'] extends ExtensionGroup<QueryExtensionFn> ? Modules[K]['query'] : never;
+    };
+    transaction: {
+        [K in keyof Modules as Modules[K]['transaction'] extends ExtensionGroup<TransactionExtensionFn> ? K : never]: Modules[K]['transaction'] extends ExtensionGroup<TransactionExtensionFn> ? Modules[K]['transaction'] : never;
+    };
+};
+//# sourceMappingURL=extensions.d.ts.map

package/dist/types/extensions.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"extensions.d.ts","sourceRoot":"","sources":["../../src/types/extensions.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,kBAAkB,CAAA;AAC7C,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,wBAAwB,CAAA;AAIzD;;;GAGG;AAEH,MAAM,MAAM,gBAAgB,GAAG,CAAC,KAAK,EAAE,KAAK,CAAC,GAAG,CAAC,EAAE,GAAG,IAAI,EAAE,GAAG,EAAE,KAAK,GAAG,CAAA;AAEzE;;;GAGG;AAEH,MAAM,MAAM,sBAAsB,GAAG,CAAC,EAAE,EAAE,WAAW,CAAC,GAAG,CAAC,EAAE,GAAG,IAAI,EAAE,GAAG,EAAE,KAAK,GAAG,CAAA;AAIlF,2DAA2D;AAC3D,MAAM,MAAM,cAAc,CAAC,EAAE,IAAI,MAAM,CAAC,MAAM,EAAE,EAAE,CAAC,CAAA;AAEnD,0DAA0D;AAC1D,MAAM,MAAM,YAAY,CAAC,EAAE,IAAI,MAAM,CAAC,MAAM,EAAE,cAAc,CAAC,EAAE,CAAC,CAAC,CAAA;AAIjE;;;GAGG;AACH,MAAM,MAAM,eAAe,GAAG;IAC7B,KAAK,CAAC,EAAE,cAAc,CAAC,gBAAgB,CAAC,CAAA;IACxC,WAAW,CAAC,EAAE,cAAc,CAAC,sBAAsB,CAAC,CAAA;CACpD,CAAA;AAID;;;;GAIG;AACH,MAAM,MAAM,kBAAkB,GAAG;IAChC,KAAK,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,WAAW,CAAC,eAAe,CAAC,OAAO,CAAC,CAAC,CAAC,CAAA;IAC7D,WAAW,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,WAAW,CAAC,eAAe,CAAC,aAAa,CAAC,CAAC,CAAC,CAAA;CACzE,CAAA;AAID;;;GAGG;AACH,MAAM,MAAM,iBAAiB,CAC5B,UAAU,SAAS,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAC1C,QAAQ,SAAS,MAAM,IACpB;KACF,CAAC,IAAI,MAAM,UAAU,GAAG,CAAC,SAAS,QAAQ,GACxC,oBAAoB,CAAC,GAAG,MAAM,+BAA+B,GAC7D,UAAU,CAAC,CAAC,CAAC;CAChB,CAAA;AAID;;;GAGG;AACH,MAAM,MAAM,iBAAiB,CAC5B,mBAAmB,SAAS,YAAY,CAAC,gBAAgB,GAAG,sBAAsB,CAAC,IAChF;KACF,KAAK,IAAI,MAAM,mBAAmB,GAAG;SACpC,MAAM,IAAI,MAAM,mBAAmB,CAAC,KAAK,CAAC,GAAG,mBAAmB,CAAC,KAAK,CAAC,CAAC,MAAM,CAAC,SAAS,CACxF,KAAK,EAAE,GAAG,EACV,GAAG,IAAI,EAAE,MAAM,IAAI,KACf,MAAM,YAAY,GACpB,CAAC,GAAG,IAAI,EAAE,IAAI,KAAK,YAAY,GAC/B,KAAK;KACR;CACD,CAAA;AAID,MAAM,MAAM,eAAe,CAAC,GAAG,SAAS,kBAAkB,IAAI,GAAG,SAAS;IACzE,KAAK,EAAE,MAAM,CAAC,SAAS,YAAY,CAAC,gBAAgB,CAAC,CAAA;CACrD,GACE,iBAAiB,CAAC,CAAC,CAAC,GACpB,EAAE,CAAA;AAEL,MAAM,MAAM,aAAa,CAAC,GAAG,SAAS,kBAAkB,IAAI,eAAe,CAAC,GAAG,CAAC,GAC/E,CAAC,GAAG,SAAS;IAAE,WAAW,EAAE,MAAM,CAAC,SAAS,YAAY,CAAC,sBAAsB,CAAC,CAAA;CAAE,GAC/E,iBAAiB,CAAC,CAAC,CAAC,GACpB,EAAE,CAAC,CAAA;AAEP;;GAEG;AACH,MAAM,MAAM,gBAAgB,GAAG,MAAM,CAAC,MAAM,EAAE,eAAe,CAAC,CAAA;AAE9D;;;;GAIG;AACH,MAAM,MAAM,gBAAgB,CAAC,OAAO,SAAS,gBAAgB,IAAI;IAChE,KAAK,EAAE;SACL,CAAC,IAAI,MAAM,OAAO,IAAI,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,SAAS,cAAc,CAAC,gBAAgB,CAAC,GAChF,CAAC,GACD,KAAK,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,SAAS,cAAc,CAAC,gBAAgB,CAAC,GACpE,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,GACnB,KAAK;KACR,CAAA;IACD,WAAW,EAAE;SACX,CAAC,IAAI,MAAM,OAAO,IAAI,OAAO,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,SAAS,cAAc,CAAC,sBAAsB,CAAC,GAC5F,CAAC,GACD,KAAK,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,SAAS,cAAc,CAAC,sBAAsB,CAAC,GAChF,OAAO,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,GACzB,KAAK;KACR,CAAA;CACD,CAAA"}

package/dist/types/index.d.ts

@@ -4,4 +4,5 @@ export type * from './operations';
 export type * from './ref';
 export type * from './io';
 export type * from './definition';
+export type * from './extensions';
 //# sourceMappingURL=index.d.ts.map

package/dist/types/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/types/index.ts"],"names":[],"mappings":"AAAA,mBAAmB,mBAAmB,CAAA;AACtC,mBAAmB,WAAW,CAAA;AAC9B,mBAAmB,cAAc,CAAA;AACjC,mBAAmB,OAAO,CAAA;AAC1B,mBAAmB,MAAM,CAAA;AACzB,mBAAmB,cAAc,CAAA"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/types/index.ts"],"names":[],"mappings":"AAAA,mBAAmB,mBAAmB,CAAA;AACtC,mBAAmB,WAAW,CAAA;AAC9B,mBAAmB,cAAc,CAAA;AACjC,mBAAmB,OAAO,CAAA;AAC1B,mBAAmB,MAAM,CAAA;AACzB,mBAAmB,cAAc,CAAA;AACjC,mBAAmB,cAAc,CAAA"}

package/dist/types/io.d.ts

@@ -23,6 +23,18 @@ export type ExportOptions = {
 export type RecordPatch = {
     recordId: string;
 } & Partial<Omit<AnyRawRecord, 'id'>>;
+/**
+ * A warning produced during import.
+ *
+ * `type` is a discriminant string owned by the dialecte (e.g. `'unresolved-reference'`).
+ * `recordId` identifies the record that triggered the warning.
+ * `details` carries dialecte-specific context — its shape is defined by the dialecte.
+ */
+export type ImportWarning = {
+    type: string;
+    recordId: string;
+    details?: Record<string, unknown>;
+};
 /**
  * Return value of the afterImport hook.
  * Core applies each collection in order: creates → updates → deletes.
@@ -34,14 +46,11 @@ export type AfterImportResult = {
     updates?: RecordPatch[];
     /** IDs of records to remove */
     deletes?: string[];
+    /** Warnings collected during resolution — unresolved refs, unknown paths, etc. */
+    warnings?: ImportWarning[];
 };
 /**
  * IO hooks for import/export lifecycle.
- *
- * - `beforeImportRecord`: called synchronously per record during streaming.
- *   Use to collect data (e.g., build path indexes) without blocking the parser.
- * - `afterImport`: called once after all records are stored.
- *   Use for cross-record resolution (e.g., path → UUID) via bulk writes.
  */
 export type IOHooks = {
     beforeImportRecord?: (params: {

package/dist/types/io.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"io.d.ts","sourceRoot":"","sources":["../../src/types/io.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,WAAW,CAAA;AAE7C;;GAEG;AACH,MAAM,MAAM,YAAY,GAAG;IAC1B,SAAS,EAAE,MAAM,CAAA;IACjB,SAAS,EAAE,MAAM,CAAA;CACjB,CAAA;AAED;;GAEG;AACH,MAAM,MAAM,aAAa,GAAG,YAAY,GAAG;IAC1C,aAAa,EAAE,OAAO,CAAA;CACtB,CAAA;AAED,MAAM,MAAM,aAAa,GAAG;IAC3B,aAAa,EAAE,OAAO,CAAA;CACtB,CAAA;AAED;;;;GAIG;AACH,MAAM,MAAM,WAAW,GAAG;IAAE,QAAQ,EAAE,MAAM,CAAA;CAAE,GAAG,OAAO,CAAC,IAAI,CAAC,YAAY,EAAE,IAAI,CAAC,CAAC,CAAA;AAElF;;;GAGG;AACH,MAAM,MAAM,iBAAiB,GAAG;IAC/B,4BAA4B;IAC5B,OAAO,CAAC,EAAE,YAAY,EAAE,CAAA;IACxB,6CAA6C;IAC7C,OAAO,CAAC,EAAE,WAAW,EAAE,CAAA;IACvB,+BAA+B;IAC/B,OAAO,CAAC,EAAE,MAAM,EAAE,CAAA;CAClB,CAAA;AAED;;;;;;;GAOG;AACH,MAAM,MAAM,OAAO,GAAG;IACrB,kBAAkB,CAAC,EAAE,CAAC,MAAM,EAAE;QAAE,MAAM,EAAE,YAAY,CAAC;QAAC,QAAQ,EAAE,SAAS,YAAY,EAAE,CAAA;KAAE,KAAK,IAAI,CAAA;IAClG,4EAA4E;IAC5E,WAAW,CAAC,EAAE,MAAM,OAAO,CAAC,iBAAiB,CAAC,CAAA;CAC9C,CAAA"}
+{"version":3,"file":"io.d.ts","sourceRoot":"","sources":["../../src/types/io.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,WAAW,CAAA;AAE7C;;GAEG;AACH,MAAM,MAAM,YAAY,GAAG;IAC1B,SAAS,EAAE,MAAM,CAAA;IACjB,SAAS,EAAE,MAAM,CAAA;CACjB,CAAA;AAED;;GAEG;AACH,MAAM,MAAM,aAAa,GAAG,YAAY,GAAG;IAC1C,aAAa,EAAE,OAAO,CAAA;CACtB,CAAA;AAED,MAAM,MAAM,aAAa,GAAG;IAC3B,aAAa,EAAE,OAAO,CAAA;CACtB,CAAA;AAED;;;;GAIG;AACH,MAAM,MAAM,WAAW,GAAG;IAAE,QAAQ,EAAE,MAAM,CAAA;CAAE,GAAG,OAAO,CAAC,IAAI,CAAC,YAAY,EAAE,IAAI,CAAC,CAAC,CAAA;AAElF;;;;;;GAMG;AACH,MAAM,MAAM,aAAa,GAAG;IAC3B,IAAI,EAAE,MAAM,CAAA;IACZ,QAAQ,EAAE,MAAM,CAAA;IAChB,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;CACjC,CAAA;AAED;;;GAGG;AACH,MAAM,MAAM,iBAAiB,GAAG;IAC/B,4BAA4B;IAC5B,OAAO,CAAC,EAAE,YAAY,EAAE,CAAA;IACxB,6CAA6C;IAC7C,OAAO,CAAC,EAAE,WAAW,EAAE,CAAA;IACvB,+BAA+B;IAC/B,OAAO,CAAC,EAAE,MAAM,EAAE,CAAA;IAClB,kFAAkF;IAClF,QAAQ,CAAC,EAAE,aAAa,EAAE,CAAA;CAC1B,CAAA;AAED;;GAEG;AACH,MAAM,MAAM,OAAO,GAAG;IACrB,kBAAkB,CAAC,EAAE,CAAC,MAAM,EAAE;QAAE,MAAM,EAAE,YAAY,CAAC;QAAC,QAAQ,EAAE,SAAS,YAAY,EAAE,CAAA;KAAE,KAAK,IAAI,CAAA;IAClG,4EAA4E;IAC5E,WAAW,CAAC,EAAE,MAAM,OAAO,CAAC,iBAAiB,CAAC,CAAA;CAC9C,CAAA"}

package/dist/types/ref.d.ts

@@ -7,7 +7,6 @@ import { DialecteRecord, ParentRelationship, ChildRelationship } from './records
  * id is optional for singleton elements — the system resolves the record by tagName alone.
  * id is required for all other elements.
  *
- * Obtained by: addChild, deepClone, find, findChildren, findDescendants, getRoot
  */
 export type Ref<GenericConfig extends AnyDialecteConfig, GenericElement extends ElementsOf<GenericConfig>> = GenericElement extends SingletonElementsOf<GenericConfig> ? {
     readonly tagName: GenericElement;

package/dist/types/ref.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"ref.d.ts","sourceRoot":"","sources":["../../src/types/ref.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,iBAAiB,EAAE,UAAU,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAA;AAC3F,OAAO,KAAK,EAAE,cAAc,EAAE,kBAAkB,EAAE,iBAAiB,EAAE,MAAM,WAAW,CAAA;AAEtF;;;;;;;;GAQG;AACH,MAAM,MAAM,GAAG,CACd,aAAa,SAAS,iBAAiB,EACvC,cAAc,SAAS,UAAU,CAAC,aAAa,CAAC,IAEhD,cAAc,SAAS,mBAAmB,CAAC,aAAa,CAAC,GACtD;IAAE,QAAQ,CAAC,OAAO,EAAE,cAAc,CAAC;IAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,MAAM,CAAA;CAAE,GAC1D;IAAE,QAAQ,CAAC,OAAO,EAAE,cAAc,CAAC;IAAC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAA;CAAE,CAAA;AAE7D,MAAM,MAAM,MAAM,GAAG;IAAE,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,MAAM,CAAA;CAAE,CAAA;AAEvE;;;;;;GAMG;AACH,MAAM,MAAM,WAAW,CACtB,aAAa,SAAS,iBAAiB,EACvC,cAAc,SAAS,UAAU,CAAC,aAAa,CAAC,IAE9C,GAAG,CAAC,aAAa,EAAE,cAAc,CAAC,GAClC,cAAc,CAAC,aAAa,EAAE,cAAc,CAAC,GAC7C,kBAAkB,CAAC,aAAa,EAAE,cAAc,CAAC,GACjD,iBAAiB,CAAC,aAAa,EAAE,cAAc,CAAC,CAAA"}
+{"version":3,"file":"ref.d.ts","sourceRoot":"","sources":["../../src/types/ref.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,iBAAiB,EAAE,UAAU,EAAE,mBAAmB,EAAE,MAAM,mBAAmB,CAAA;AAC3F,OAAO,KAAK,EAAE,cAAc,EAAE,kBAAkB,EAAE,iBAAiB,EAAE,MAAM,WAAW,CAAA;AAEtF;;;;;;;GAOG;AACH,MAAM,MAAM,GAAG,CACd,aAAa,SAAS,iBAAiB,EACvC,cAAc,SAAS,UAAU,CAAC,aAAa,CAAC,IAEhD,cAAc,SAAS,mBAAmB,CAAC,aAAa,CAAC,GACtD;IAAE,QAAQ,CAAC,OAAO,EAAE,cAAc,CAAC;IAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,MAAM,CAAA;CAAE,GAC1D;IAAE,QAAQ,CAAC,OAAO,EAAE,cAAc,CAAC;IAAC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAA;CAAE,CAAA;AAE7D,MAAM,MAAM,MAAM,GAAG;IAAE,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,MAAM,CAAA;CAAE,CAAA;AAEvE;;;;;;GAMG;AACH,MAAM,MAAM,WAAW,CACtB,aAAa,SAAS,iBAAiB,EACvC,cAAc,SAAS,UAAU,CAAC,aAAa,CAAC,IAE9C,GAAG,CAAC,aAAa,EAAE,cAAc,CAAC,GAClC,cAAc,CAAC,aAAa,EAAE,cAAc,CAAC,GAC7C,kBAAkB,CAAC,aAAa,EAAE,cAAc,CAAC,GACjD,iBAAiB,CAAC,aAAa,EAAE,cAAc,CAAC,CAAA"}

package/dist/utils/assert.d.ts

@@ -3,12 +3,11 @@ import { DialecteErrorKey } from '../errors';
  * Assert a condition, throwing a structured DialecteError if it fails.
  *
  * @example
- * assert(record, { detail: 'addChild: parent not found', method: 'addChild' })
- * assert(ref.id, { detail: 'Singleton element has no id', method: 'getRecord', key: 'ELEMENT_NOT_FOUND' })
+ * assert(record, { detail: 'addChild: parent not found' })
+ * assert(ref.id, { detail: 'Singleton element has no id', key: 'ELEMENT_NOT_FOUND' })
  */
 export declare function assert(condition: unknown, error: {
     detail: string;
-    method: string;
     key?: DialecteErrorKey;
     ref?: {
         tagName: string;

package/dist/utils/assert.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"assert.d.ts","sourceRoot":"","sources":["../../src/utils/assert.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,UAAU,CAAA;AAEhD;;;;;;GAMG;AACH,wBAAgB,MAAM,CACrB,SAAS,EAAE,OAAO,EAClB,KAAK,EAAE;IACN,MAAM,EAAE,MAAM,CAAA;IACd,MAAM,EAAE,MAAM,CAAA;IACd,GAAG,CAAC,EAAE,gBAAgB,CAAA;IACtB,GAAG,CAAC,EAAE;QAAE,OAAO,EAAE,MAAM,CAAC;QAAC,EAAE,CAAC,EAAE,MAAM,CAAA;KAAE,CAAA;CACtC,GACC,OAAO,CAAC,SAAS,CAInB"}
+{"version":3,"file":"assert.d.ts","sourceRoot":"","sources":["../../src/utils/assert.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,UAAU,CAAA;AAEhD;;;;;;GAMG;AACH,wBAAgB,MAAM,CACrB,SAAS,EAAE,OAAO,EAClB,KAAK,EAAE;IACN,MAAM,EAAE,MAAM,CAAA;IACd,GAAG,CAAC,EAAE,gBAAgB,CAAA;IACtB,GAAG,CAAC,EAAE;QAAE,OAAO,EAAE,MAAM,CAAC;QAAC,EAAE,CAAC,EAAE,MAAM,CAAA;KAAE,CAAA;CACtC,GACC,OAAO,CAAC,SAAS,CAInB"}

package/dist/utils.js

@@ -1,4 +1,4 @@
-import { a as s } from "./index-B67NZSGJ.js";
+import { a as s } from "./index-CqwLClK7.js";
 export {
   s as assert
 };

package/package.json

@@ -1,6 +1,6 @@
 {
 	"name": "@dialecte/core",
-	"version": "0.1.2",
+	"version": "0.1.4",
 	"description": "Dialecte - Core functionality for Dialecte SDK",
 	"license": "MIT",
 	"repository": {
@@ -83,6 +83,7 @@
 		"vite": "^7.3.1",
 		"vite-plugin-dts": "^4.5.4",
 		"vitepress": "^2.0.0-alpha.16",
+		"vitepress-plugin-llms": "^1.11.1",
 		"vitest": "^3.2.4",
 		"vitest-browser-vue": "^1.0.0"
 	}

package/dist/document/query/main.types.d.ts

@@ -1,22 +0,0 @@
-import { Store } from '../../store';
-import { AnyDialecteConfig, Operation, AnyRawRecord } from '../../types';
-/**
- * Read-only context passed to record FP functions.
- *
- * Owned and built by Query, exposed as `this.context` for subclasses.
- * recordCache is only present inside a Transaction — Query passes undefined
- * so reads always hit the store directly (no staleness risk).
- */
-export type Context<GenericConfig extends AnyDialecteConfig> = {
-    readonly store: Store;
-    readonly recordCache: Map<string, AnyRawRecord> | undefined;
-    stagedOperations: Operation<GenericConfig>[];
-};
-/**
- * Narrowed Context that has an active cache — only true inside a Transaction.
- * Use isTransactionContext() to narrow before cache reads/writes.
- */
-export type CachedContext<GenericConfig extends AnyDialecteConfig> = Context<GenericConfig> & {
-    readonly recordCache: Map<string, AnyRawRecord>;
-};
-//# sourceMappingURL=main.types.d.ts.map

package/dist/document/query/main.types.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"main.types.d.ts","sourceRoot":"","sources":["../../../src/document/query/main.types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,SAAS,CAAA;AACpC,OAAO,KAAK,EAAE,iBAAiB,EAAE,SAAS,EAAE,YAAY,EAAE,MAAM,SAAS,CAAA;AAEzE;;;;;;GAMG;AACH,MAAM,MAAM,OAAO,CAAC,aAAa,SAAS,iBAAiB,IAAI;IAC9D,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAA;IACrB,QAAQ,CAAC,WAAW,EAAE,GAAG,CAAC,MAAM,EAAE,YAAY,CAAC,GAAG,SAAS,CAAA;IAC3D,gBAAgB,EAAE,SAAS,CAAC,aAAa,CAAC,EAAE,CAAA;CAC5C,CAAA;AAED;;;GAGG;AACH,MAAM,MAAM,aAAa,CAAC,aAAa,SAAS,iBAAiB,IAAI,OAAO,CAAC,aAAa,CAAC,GAAG;IAC7F,QAAQ,CAAC,WAAW,EAAE,GAAG,CAAC,MAAM,EAAE,YAAY,CAAC,CAAA;CAC/C,CAAA"}