@makaio/framework 1.0.0-dev-1789148673705 → 1.0.0-dev-1789168267790

package/dist/{index-LFS-KagP.d.mts → index-DOVT8mU7.d.mts}

@@ -1,4 +1,4 @@
-import { C as ArtifactScope, K as ArtifactKindRegistration$1, V as ArtifactCategory, X as ArtifactLifecycleState, _ as ArtifactRelationTarget, it as ArtifactRef$1, p as ArtifactRelation, s as ArtifactObservation$1, t as ArtifactActor, x as ArtifactRevision$1, y as ArtifactRepresentations } from "./schemas-CXCdmM5K.mjs";
+import { C as ArtifactScope, K as ArtifactKindRegistration$1, V as ArtifactCategory, X as ArtifactLifecycleState, _ as ArtifactRelationTarget, it as ArtifactRef$1, p as ArtifactRelation, s as ArtifactObservation$1, t as ArtifactActor, tt as ArtifactUniquenessRule, x as ArtifactRevision$1, y as ArtifactRepresentations } from "./schemas-CXCdmM5K.mjs";
 import { l as JsonValue$1 } from "./json-value-DyMQrwGz.mjs";
 import { z } from "zod";
 import * as _$_makaio_core0 from "@makaio/framework/core";
@@ -1173,16 +1173,6 @@ declare const ArtifactSchemas$1: {
         excerpt: z.ZodOptional<z.ZodString>;
       }, z.core.$strict>]>>>;
       createdAt: z.ZodOptional<z.ZodNumber>;
-      schemaVersion: z.ZodNumber;
-      scope: z.ZodObject<{
-        level: z.ZodString;
-        ids: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>;
-      }, z.core.$strip>;
-      actor: z.ZodObject<{
-        kind: z.ZodString;
-        id: z.ZodString;
-        displayName: z.ZodOptional<z.ZodString>;
-      }, z.core.$strip>;
       relations: z.ZodArray<z.ZodObject<{
         type: z.ZodString;
         target: z.ZodPreprocess<z.ZodDiscriminatedUnion<[z.ZodObject<{
@@ -1211,6 +1201,16 @@ declare const ArtifactSchemas$1: {
           id: z.ZodString;
         }, z.core.$strict>], "refClass">>;
       }, z.core.$strip>>;
+      schemaVersion: z.ZodNumber;
+      scope: z.ZodObject<{
+        level: z.ZodString;
+        ids: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>;
+      }, z.core.$strip>;
+      actor: z.ZodObject<{
+        kind: z.ZodString;
+        id: z.ZodString;
+        displayName: z.ZodOptional<z.ZodString>;
+      }, z.core.$strip>;
       confidence: z.ZodOptional<z.ZodObject<{
         level: z.ZodEnum<{
           inferred: "inferred";
@@ -1467,16 +1467,6 @@ declare const ArtifactSchemas$1: {
           excerpt: z.ZodOptional<z.ZodString>;
         }, z.core.$strict>]>>>;
         createdAt: z.ZodOptional<z.ZodNumber>;
-        schemaVersion: z.ZodNumber;
-        scope: z.ZodObject<{
-          level: z.ZodString;
-          ids: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>;
-        }, z.core.$strip>;
-        actor: z.ZodObject<{
-          kind: z.ZodString;
-          id: z.ZodString;
-          displayName: z.ZodOptional<z.ZodString>;
-        }, z.core.$strip>;
         relations: z.ZodArray<z.ZodObject<{
           type: z.ZodString;
           target: z.ZodPreprocess<z.ZodDiscriminatedUnion<[z.ZodObject<{
@@ -1505,6 +1495,16 @@ declare const ArtifactSchemas$1: {
             id: z.ZodString;
           }, z.core.$strict>], "refClass">>;
         }, z.core.$strip>>;
+        schemaVersion: z.ZodNumber;
+        scope: z.ZodObject<{
+          level: z.ZodString;
+          ids: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>;
+        }, z.core.$strip>;
+        actor: z.ZodObject<{
+          kind: z.ZodString;
+          id: z.ZodString;
+          displayName: z.ZodOptional<z.ZodString>;
+        }, z.core.$strip>;
         confidence: z.ZodOptional<z.ZodObject<{
           level: z.ZodEnum<{
             inferred: "inferred";
@@ -3890,16 +3890,6 @@ declare const ArtifactNamespace: _$_makaio_core0.BusNamespaceDefinition<"artifac
         excerpt: z.ZodOptional<z.ZodString>;
       }, z.core.$strict>]>>>;
       createdAt: z.ZodOptional<z.ZodNumber>;
-      schemaVersion: z.ZodNumber;
-      scope: z.ZodObject<{
-        level: z.ZodString;
-        ids: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>;
-      }, z.core.$strip>;
-      actor: z.ZodObject<{
-        kind: z.ZodString;
-        id: z.ZodString;
-        displayName: z.ZodOptional<z.ZodString>;
-      }, z.core.$strip>;
       relations: z.ZodArray<z.ZodObject<{
         type: z.ZodString;
         target: z.ZodPreprocess<z.ZodDiscriminatedUnion<[z.ZodObject<{
@@ -3928,6 +3918,16 @@ declare const ArtifactNamespace: _$_makaio_core0.BusNamespaceDefinition<"artifac
           id: z.ZodString;
         }, z.core.$strict>], "refClass">>;
       }, z.core.$strip>>;
+      schemaVersion: z.ZodNumber;
+      scope: z.ZodObject<{
+        level: z.ZodString;
+        ids: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>;
+      }, z.core.$strip>;
+      actor: z.ZodObject<{
+        kind: z.ZodString;
+        id: z.ZodString;
+        displayName: z.ZodOptional<z.ZodString>;
+      }, z.core.$strip>;
       confidence: z.ZodOptional<z.ZodObject<{
         level: z.ZodEnum<{
           inferred: "inferred";
@@ -4184,16 +4184,6 @@ declare const ArtifactNamespace: _$_makaio_core0.BusNamespaceDefinition<"artifac
           excerpt: z.ZodOptional<z.ZodString>;
         }, z.core.$strict>]>>>;
         createdAt: z.ZodOptional<z.ZodNumber>;
-        schemaVersion: z.ZodNumber;
-        scope: z.ZodObject<{
-          level: z.ZodString;
-          ids: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>;
-        }, z.core.$strip>;
-        actor: z.ZodObject<{
-          kind: z.ZodString;
-          id: z.ZodString;
-          displayName: z.ZodOptional<z.ZodString>;
-        }, z.core.$strip>;
         relations: z.ZodArray<z.ZodObject<{
           type: z.ZodString;
           target: z.ZodPreprocess<z.ZodDiscriminatedUnion<[z.ZodObject<{
@@ -4222,6 +4212,16 @@ declare const ArtifactNamespace: _$_makaio_core0.BusNamespaceDefinition<"artifac
             id: z.ZodString;
           }, z.core.$strict>], "refClass">>;
         }, z.core.$strip>>;
+        schemaVersion: z.ZodNumber;
+        scope: z.ZodObject<{
+          level: z.ZodString;
+          ids: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>;
+        }, z.core.$strip>;
+        actor: z.ZodObject<{
+          kind: z.ZodString;
+          id: z.ZodString;
+          displayName: z.ZodOptional<z.ZodString>;
+        }, z.core.$strip>;
         confidence: z.ZodOptional<z.ZodObject<{
           level: z.ZodEnum<{
             inferred: "inferred";
@@ -6628,16 +6628,6 @@ declare const ArtifactSubjects$1: _$_makaio_core0.BusSubjects<_$_makaio_core0.Fl
         excerpt: z.ZodOptional<z.ZodString>;
       }, z.core.$strict>]>>>;
       createdAt: z.ZodOptional<z.ZodNumber>;
-      schemaVersion: z.ZodNumber;
-      scope: z.ZodObject<{
-        level: z.ZodString;
-        ids: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>;
-      }, z.core.$strip>;
-      actor: z.ZodObject<{
-        kind: z.ZodString;
-        id: z.ZodString;
-        displayName: z.ZodOptional<z.ZodString>;
-      }, z.core.$strip>;
       relations: z.ZodArray<z.ZodObject<{
         type: z.ZodString;
         target: z.ZodPreprocess<z.ZodDiscriminatedUnion<[z.ZodObject<{
@@ -6666,6 +6656,16 @@ declare const ArtifactSubjects$1: _$_makaio_core0.BusSubjects<_$_makaio_core0.Fl
           id: z.ZodString;
         }, z.core.$strict>], "refClass">>;
       }, z.core.$strip>>;
+      schemaVersion: z.ZodNumber;
+      scope: z.ZodObject<{
+        level: z.ZodString;
+        ids: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>;
+      }, z.core.$strip>;
+      actor: z.ZodObject<{
+        kind: z.ZodString;
+        id: z.ZodString;
+        displayName: z.ZodOptional<z.ZodString>;
+      }, z.core.$strip>;
       confidence: z.ZodOptional<z.ZodObject<{
         level: z.ZodEnum<{
           inferred: "inferred";
@@ -6922,16 +6922,6 @@ declare const ArtifactSubjects$1: _$_makaio_core0.BusSubjects<_$_makaio_core0.Fl
           excerpt: z.ZodOptional<z.ZodString>;
         }, z.core.$strict>]>>>;
         createdAt: z.ZodOptional<z.ZodNumber>;
-        schemaVersion: z.ZodNumber;
-        scope: z.ZodObject<{
-          level: z.ZodString;
-          ids: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>;
-        }, z.core.$strip>;
-        actor: z.ZodObject<{
-          kind: z.ZodString;
-          id: z.ZodString;
-          displayName: z.ZodOptional<z.ZodString>;
-        }, z.core.$strip>;
         relations: z.ZodArray<z.ZodObject<{
           type: z.ZodString;
           target: z.ZodPreprocess<z.ZodDiscriminatedUnion<[z.ZodObject<{
@@ -6960,6 +6950,16 @@ declare const ArtifactSubjects$1: _$_makaio_core0.BusSubjects<_$_makaio_core0.Fl
             id: z.ZodString;
           }, z.core.$strict>], "refClass">>;
         }, z.core.$strip>>;
+        schemaVersion: z.ZodNumber;
+        scope: z.ZodObject<{
+          level: z.ZodString;
+          ids: z.ZodOptional<z.ZodRecord<z.ZodString, z.ZodString>>;
+        }, z.core.$strip>;
+        actor: z.ZodObject<{
+          kind: z.ZodString;
+          id: z.ZodString;
+          displayName: z.ZodOptional<z.ZodString>;
+        }, z.core.$strip>;
         confidence: z.ZodOptional<z.ZodObject<{
           level: z.ZodEnum<{
             inferred: "inferred";
@@ -9756,10 +9756,11 @@ declare const ArtifactLifecycleIdentitySchema: z.ZodObject<{
 /** Monotonic administration version, independent of the content revision. */
 declare const ArtifactLifecycleVersionSchema: z.ZodNumber;
 /**
- * Current administration state; each category admits only its own states. Version 1 is
- * reserved for the category initial state because every transition increments the version.
- * The reverse rule (initial state implies version 1) is deliberately not enforced: it only
- * holds while no transition re-enters an initial state, a property of the current matrix.
+ * Current administration state; each category admits only its own states. Version 1 implies
+ * the category initial state (every transition increments the version, so only the creation
+ * entry can be version 1). The converse does not hold: a `knowledge` artifact retired and
+ * then reinstated re-enters `valid` at a version greater than 1, so the reverse rule is
+ * deliberately not enforced.
  */
 declare const ArtifactLifecycleSnapshotSchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
   category: z.ZodLiteral<"knowledge">;
@@ -11404,4 +11405,170 @@ type ArtifactLifecycleFailure = z.infer<typeof ArtifactLifecycleFailureSchema>;
 /** Supplemental reaction input following a rejected valid transition request. */
 type ArtifactLifecycleRejectedPayload = z.infer<typeof ArtifactLifecycleRejectedPayloadSchema>;
 //#endregion
-export { ArtifactPatchErrorSchema as $, EvidenceResolveRequestSchema as $n, ArtifactResolveResponse as $t, ArtifactLifecycleSituation as A, compileArtifactDataChecker as An, ArtifactCreateRequest as At, ArtifactLifecycleVersionSchema as B, ArtifactDraftPatch as Bn, ArtifactNamespace as Bt, ArtifactLifecycleHistoryEntry as C, ArtifactContextRenderHintSchema as Cn, artifactPatchSegment as Ct, ArtifactLifecycleInitializedEntrySchema as D, ArtifactDataChecker as Dn, inspectArtifactDataLocation as Dt, ArtifactLifecycleInitializedEntry as E, ArtifactDataCheck as En, ArtifactSchemaFragment as Et, ArtifactLifecycleTransitionCommandSchema as F, ArtifactOf as Fn, ArtifactKindChangedPayload as Ft, ARTIFACT_PATCH_OPERATORS as G, ArtifactLifecycleSemanticEvent as Gn, ArtifactRelationAddedPayload as Gt, initialArtifactLifecycle as H, ArtifactLifecycleHookDefinition as Hn, ArtifactPatchSubjectRequest as Ht, ArtifactLifecycleTransitionIntent as I, defineArtifactKind as In, ArtifactKindListRequest as It, ArtifactPatchDocument as J, defineArtifactLifecycleHooks as Jn, ArtifactRelationTypeRegisterRequest as Jt, ArtifactPatchArrayFilter as K, BeforeArtifactHookContext as Kn, ArtifactRelationTypeListRequest as Kt, ArtifactLifecycleTransitionIntentSchema as L, AfterArtifactHookContext as Ln, ArtifactKindListResponse as Lt, ArtifactLifecycleSnapshot as M, AnyArtifactKindDefinition as Mn, ArtifactCreatedPayload as Mt, ArtifactLifecycleSnapshotSchema as N, ArtifactDataOf as Nn, ArtifactEvidenceResolveRequest as Nt, ArtifactLifecycleRejection as O, ArtifactDataIssue as On, isArtifactDataPathDeclared as Ot, ArtifactLifecycleTransitionCommand as P, ArtifactKindDefinition as Pn, ArtifactEvidenceResolveResponse$1 as Pt, ArtifactPatchErrorCode as Q, EvidenceResolveRequest as Qn, ArtifactResolveRequest as Qt, ArtifactLifecycleTransitionedEntry as R, AfterArtifactHookRegistration as Rn, ArtifactKindRegisterRequest as Rt, ArtifactLifecycleError as S, ArtifactContextRenderHint as Sn, artifactPatchPathFilterNames as St, ArtifactLifecycleIdentitySchema as T, ArtifactContextSelectorSchema as Tn, ARTIFACT_COLLECTION_ELEMENT_SEGMENT as Tt, isArtifactLifecycleTransitionAllowed as U, ArtifactLifecycleHookEvent as Un, ArtifactPatchSubjectResponse as Ut, advanceArtifactLifecycle as V, ArtifactHookFilter as Vn, ArtifactObservationAddedPayload as Vt, ARTIFACT_PATCH_ERROR_CODES as W, ArtifactLifecycleHookRegistration$1 as Wn, ArtifactQueryResponse as Wt, ArtifactPatchDryRunSchema as X, EvidenceOccurrenceExtractionOptions as Xn, ArtifactResolveContextRequest as Xt, ArtifactPatchDocumentSchema as Y, EvidenceOccurrence as Yn, ArtifactRelationTypeRegisterResponse as Yt, ArtifactPatchError as Z, extractEvidenceOccurrences as Zn, ArtifactResolveContextResponse as Zt, ArtifactLifecycleTransitionResponseSchema as _, ResolvedArtifactContextWireSchema as _n, ArtifactPatchSuccessSchema as _t, ArtifactLifecycleGetRequest as a, ArtifactSubjects$1 as an, EvidenceValueSchema$1 as ar, ArtifactPatchMigrationSchema as at, ArtifactLifecycleCurrent as b, ArtifactContextRelationSelector as bn, artifactPatchFilterName as bt, ArtifactLifecycleGetResponseSchema as c, ArtifactContextRootNode as cn, ArtifactPatchOperator as ct, ArtifactLifecycleHistoryResponse as d, UnresolvedArtifactContextNode as dn, ArtifactPatchRequest as dt, ArtifactReviseRequest as en, EvidenceResolveResponse as er, ArtifactPatchFailureSchema as et, ArtifactLifecycleHistoryResponseSchema as f, ArtifactContextRefEntry as fn, ArtifactPatchRequestSchema as ft, ArtifactLifecycleTransitionResponse as g, ResolvedArtifactContextWire$1 as gn, ArtifactPatchSuccess as gt, ArtifactLifecycleSchemas as h, ArtifactContextUnresolvedReasonSchema as hn, ArtifactPatchSegment as ht, ArtifactLifecycleFailureSchema as i, ArtifactStatusChangedPayload as in, EvidenceValue$1 as ir, ArtifactPatchMigration as it, ArtifactLifecycleSituationSchema as j, compileArtifactDataSchema as jn, ArtifactCreateResponse as jt, ArtifactLifecycleRejectionSchema as k, ArtifactDataValidator as kn, readArtifactTitle as kt, ArtifactLifecycleHistoryRequest as l, ArtifactContextTree as ln, ArtifactPatchPathSchema as lt, ArtifactLifecycleRejectedPayloadSchema as m, ArtifactContextUnresolvedReason as mn, ArtifactPatchResponseSchema as mt, ArtifactLifecycleCommittedPayloadSchema as n, ArtifactRevisedPayload as nn, ARTIFACT_VALUE_TYPE_KEYWORD as nr, ArtifactPatchIssue as nt, ArtifactLifecycleGetRequestSchema as o, hydrateArtifactContextTree as on, ArtifactPatchOperationResult as ot, ArtifactLifecycleRejectedPayload as p, ArtifactContextRefEntrySchema as pn, ArtifactPatchResponse as pt, ArtifactPatchArrayFilterSchema as q, BeforeArtifactHookRegistration as qn, ArtifactRelationTypeListResponse as qt, ArtifactLifecycleFailure as r, ArtifactSchemas$1 as rn, EVIDENCE_VALUE_TYPE as rr, ArtifactPatchIssueSchema as rt, ArtifactLifecycleGetResponse as s, ArtifactContextNode as sn, ArtifactPatchOperationResultSchema as st, ArtifactLifecycleCommittedPayload as t, ArtifactReviseResponse as tn, EvidenceResolveResponseSchema as tr, ArtifactPatchInstruction as tt, ArtifactLifecycleHistoryRequestSchema as u, ResolvedArtifactContextNode as un, ArtifactPatchPersistedSchema as ut, toArtifactLifecycleFailure as v, ARTIFACT_CONTEXT_RENDER_HINTS as vn, ArtifactPatchTarget as vt, ArtifactLifecycleHistoryEntrySchema as w, ArtifactContextSelector$1 as wn, artifactPatchSegments as wt, ArtifactLifecycleCurrentSchema as x, ArtifactContextRelationSelectorSchema as xn, artifactPatchInstructions as xt, ARTIFACT_LIFECYCLE_REJECTED_CODE as y, ArtifactContextKnownRenderHint as yn, ArtifactPatchTargetSchema as yt, ArtifactLifecycleTransitionedEntrySchema as z, ArtifactDraft as zn, ArtifactKindRegisterResponse as zt };
+//#region core/contracts/src/artifact/relation-target-identity.d.ts
+/**
+ * Pin-less identity of a relation target.
+ *
+ * The schema is derived from the canonical ref schemas so validation cannot
+ * drift from the definitions of what constitutes a valid artifact or entity
+ * reference: an `artifact` target is identified by its kind and stable id
+ * only (the mutable revision pin is omitted), and an `entity` target is
+ * identified by its entity type and id.
+ *
+ * Local and evidence targets carry no comparable stable identity and are
+ * therefore excluded from this union.
+ */
+declare const ArtifactRelationTargetIdentitySchema: z.ZodDiscriminatedUnion<[z.ZodObject<{
+  id: z.ZodString;
+  kind: z.ZodString;
+  refClass: z.ZodLiteral<"artifact">;
+}, z.core.$strict>, z.ZodObject<{
+  refClass: z.ZodLiteral<"entity">;
+  entityType: z.ZodString;
+  id: z.ZodString;
+}, z.core.$strict>], "refClass">;
+/**
+ * Pin-less identity of a relation target.
+ * @see {@link ArtifactRelationTargetIdentitySchema}
+ */
+type ArtifactRelationTargetIdentity = z.infer<typeof ArtifactRelationTargetIdentitySchema>;
+/**
+ * Strip the revision pin from an artifact target and keep an entity target as
+ * is, producing the comparable pin-less identity for uniqueness checks.
+ * @param target - A parsed {@link ArtifactRelationTarget}.
+ * @returns The pin-less {@link ArtifactRelationTargetIdentity} for `artifact`
+ *   and `entity` targets, or `undefined` for `local` and `evidence` targets
+ *   which carry no stable comparable identity.
+ */
+declare function artifactRelationTargetIdentity(target: ArtifactRelationTarget): ArtifactRelationTargetIdentity | undefined;
+/**
+ * Injective string form of an identity; equal identities serialize equally,
+ * distinct ones never collide.
+ *
+ * The serialization is a JSON-stringified fixed-order tuple:
+ * `['artifact', kind, id]` for artifact targets or
+ * `['entity', entityType, id]` for entity targets.
+ * @param identity - A validated {@link ArtifactRelationTargetIdentity}.
+ * @returns A stable, unique string for the identity.
+ */
+declare function serializeArtifactRelationTargetIdentity(identity: ArtifactRelationTargetIdentity): string;
+/**
+ * Human-readable form of an identity.
+ * @param identity - A validated {@link ArtifactRelationTargetIdentity}.
+ * @returns `artifact:<kind>/<id>` for artifact targets or
+ *   `entity:<entityType>/<id>` for entity targets.
+ */
+declare function describeArtifactRelationTargetIdentity(identity: ArtifactRelationTargetIdentity): string;
+//#endregion
+//#region core/contracts/src/artifact/uniqueness.d.ts
+/**
+ * What a store can derive and enforce; declared rules outside this set are
+ * reported as issues rather than silently dropped.
+ */
+type UniquenessSelectorCapability = 'relation-target' | 'lifecycle-states';
+/** Per-rule or per-selector issue surfaced when a capability is missing. */
+interface UniquenessSupportIssue {
+  /** Zero-based index of the rule in the declared uniqueness array. */
+  ruleIndex: number;
+  /**
+   * Zero-based index of the selector within `rule.by`.
+   * Absent when the issue concerns `lifecycleStates` rather than a selector.
+   */
+  selectorIndex?: number;
+  /**
+   * The missing capability.
+   * May be `'data'` even though it is not in {@link UniquenessSelectorCapability},
+   * because a data-path selector is always undeivable regardless of what the
+   * store declares.
+   */
+  capability: ArtifactUniquenessRule['by'][number]['kind'] | 'lifecycle-states';
+  /** Human-readable explanation. */
+  message: string;
+}
+/**
+ * Split declared rules into enforceable rules and issues, given a store's
+ * capabilities. A rule is enforceable when every selector kind and, if
+ * declared, `lifecycleStates` are supported.
+ * A selector is reported as unsupported when its kind is not in
+ * {@link DERIVABLE_SELECTOR_KINDS} or not in `supported`.
+ * Undefined or empty rules yield `{ ok: true, rules: [] }`.
+ * @param rules - Declared uniqueness rules from the kind registration.
+ * @param supported - Capability set the calling store can enforce.
+ * @returns Either an ok result with the rules array or a list of issues.
+ */
+declare function assessUniquenessSupport(rules: readonly ArtifactUniquenessRule[] | undefined, supported: readonly UniquenessSelectorCapability[]): {
+  ok: true;
+  rules: readonly ArtifactUniquenessRule[];
+} | {
+  ok: false;
+  issues: UniquenessSupportIssue[];
+};
+/**
+ * One selector's contribution to a uniqueness key.
+ * A part is structurally a `Partial<ArtifactRelation>` and can be used
+ * directly as a jsonb containment probe against the `relations_json` column:
+ * `relations_json @> '[{"type":"...","target":{...}}]'::jsonb`.
+ */
+interface UniquenessKeyPart {
+  /** Relation type matching the selector's `relationType`. */
+  type: string;
+  /** Pin-less comparable identity of the resolved target. */
+  target: ArtifactRelationTargetIdentity;
+}
+/** A fully resolved uniqueness key derived from an artifact's relations. */
+interface UniquenessKey {
+  /** The rule this key was derived from, in its original declared form. */
+  rule: ArtifactUniquenessRule;
+  /** Zero-based index of the rule in the declared uniqueness array. */
+  ruleIndex: number;
+  /**
+   * One part per selector, in declaration order; the containment probe a store
+   * can run against a stored relations array.
+   */
+  parts: UniquenessKeyPart[];
+  /** Injective string form for equality and logging (stable key order). */
+  serialized: string;
+}
+/** Reason a key could not be derived for a selector. */
+type UniquenessKeyIssueReason = 'missing-target' | 'ambiguous-target' | 'unsupported-target' | 'unsupported-selector';
+/** Diagnostic for a single selector within a rule that blocked key derivation. */
+interface UniquenessKeyIssue {
+  /** Zero-based index of the rule in the declared uniqueness array. */
+  ruleIndex: number;
+  /** Zero-based index of the failing selector within `rule.by`. */
+  selectorIndex: number;
+  /** Why derivation failed. */
+  reason: UniquenessKeyIssueReason;
+  /**
+   * Relation type string for `relation-target` selectors.
+   * Absent for `unsupported-selector` issues on `data` selectors.
+   */
+  relationType?: string;
+  /** Human-readable explanation. */
+  message: string;
+}
+/** Combined result of {@link buildUniquenessKeys}. */
+interface BuildUniquenessKeysResult {
+  /** Derived keys, one per fully resolved rule. */
+  keys: UniquenessKey[];
+  /** Selector-level issues for rules that could not be fully resolved. */
+  issues: UniquenessKeyIssue[];
+}
+/**
+ * Derive one key per rule from an artifact's relations.
+ * Rules with any issue produce no key; keys and issues are returned together.
+ * @param rules - Declared uniqueness rules to derive keys for.
+ * @param relations - Full relation list of the artifact being written.
+ * @returns Combined set of derived keys and selector-level issues.
+ */
+declare function buildUniquenessKeys(rules: readonly ArtifactUniquenessRule[], relations: readonly ArtifactRelation[]): BuildUniquenessKeysResult;
+/**
+ * Human-readable one-liner for a key.
+ * @example `about → artifact:concept/abc`
+ * @example `owned-by → entity:workpiece/W-1; about → artifact:concept/abc`
+ * @param key - A fully resolved uniqueness key.
+ * @returns A string describing each part in `type → identity` form, joined by `'; '`.
+ */
+declare function describeUniquenessKey(key: UniquenessKey): string;
+//#endregion
+export { ArtifactLifecycleTransitionedEntry as $, AfterArtifactHookRegistration as $n, ArtifactKindRegisterRequest as $t, ArtifactLifecycleSchemas as A, ArtifactContextUnresolvedReasonSchema as An, ArtifactPatchSegment as At, ArtifactLifecycleIdentitySchema as B, ArtifactContextSelectorSchema as Bn, ARTIFACT_COLLECTION_ELEMENT_SEGMENT as Bt, ArtifactLifecycleGetResponseSchema as C, ArtifactContextRootNode as Cn, ArtifactPatchOperator as Ct, ArtifactLifecycleHistoryResponseSchema as D, ArtifactContextRefEntry as Dn, ArtifactPatchRequestSchema as Dt, ArtifactLifecycleHistoryResponse as E, UnresolvedArtifactContextNode as En, ArtifactPatchRequest as Et, ArtifactLifecycleCurrent as F, ArtifactContextRelationSelector as Fn, artifactPatchFilterName as Ft, ArtifactLifecycleSituation as G, compileArtifactDataChecker as Gn, ArtifactCreateRequest as Gt, ArtifactLifecycleInitializedEntrySchema as H, ArtifactDataChecker as Hn, inspectArtifactDataLocation as Ht, ArtifactLifecycleCurrentSchema as I, ArtifactContextRelationSelectorSchema as In, artifactPatchInstructions as It, ArtifactLifecycleSnapshotSchema as J, ArtifactDataOf as Jn, ArtifactEvidenceResolveRequest as Jt, ArtifactLifecycleSituationSchema as K, compileArtifactDataSchema as Kn, ArtifactCreateResponse as Kt, ArtifactLifecycleError as L, ArtifactContextRenderHint as Ln, artifactPatchPathFilterNames as Lt, ArtifactLifecycleTransitionResponseSchema as M, ResolvedArtifactContextWireSchema as Mn, ArtifactPatchSuccessSchema as Mt, toArtifactLifecycleFailure as N, ARTIFACT_CONTEXT_RENDER_HINTS as Nn, ArtifactPatchTarget as Nt, ArtifactLifecycleRejectedPayload as O, ArtifactContextRefEntrySchema as On, ArtifactPatchResponse as Ot, ARTIFACT_LIFECYCLE_REJECTED_CODE as P, ArtifactContextKnownRenderHint as Pn, ArtifactPatchTargetSchema as Pt, ArtifactLifecycleTransitionIntentSchema as Q, AfterArtifactHookContext as Qn, ArtifactKindListResponse as Qt, ArtifactLifecycleHistoryEntry as R, ArtifactContextRenderHintSchema as Rn, artifactPatchSegment as Rt, ArtifactLifecycleGetResponse as S, ArtifactContextNode as Sn, ArtifactPatchOperationResultSchema as St, ArtifactLifecycleHistoryRequestSchema as T, ResolvedArtifactContextNode as Tn, ArtifactPatchPersistedSchema as Tt, ArtifactLifecycleRejection as U, ArtifactDataIssue as Un, isArtifactDataPathDeclared as Ut, ArtifactLifecycleInitializedEntry as V, ArtifactDataCheck as Vn, ArtifactSchemaFragment as Vt, ArtifactLifecycleRejectionSchema as W, ArtifactDataValidator as Wn, readArtifactTitle as Wt, ArtifactLifecycleTransitionCommandSchema as X, ArtifactOf as Xn, ArtifactKindChangedPayload as Xt, ArtifactLifecycleTransitionCommand as Y, ArtifactKindDefinition as Yn, ArtifactEvidenceResolveResponse$1 as Yt, ArtifactLifecycleTransitionIntent as Z, defineArtifactKind as Zn, ArtifactKindListRequest as Zt, ArtifactLifecycleCommittedPayloadSchema as _, ArtifactRevisedPayload as _n, ARTIFACT_VALUE_TYPE_KEYWORD as _r, ArtifactPatchIssue as _t, UniquenessKeyPart as a, ArtifactQueryResponse as an, ArtifactLifecycleHookRegistration$1 as ar, ARTIFACT_PATCH_ERROR_CODES as at, ArtifactLifecycleGetRequest as b, ArtifactSubjects$1 as bn, EvidenceValueSchema$1 as br, ArtifactPatchMigrationSchema as bt, assessUniquenessSupport as c, ArtifactRelationTypeListResponse as cn, BeforeArtifactHookRegistration as cr, ArtifactPatchArrayFilterSchema as ct, ArtifactRelationTargetIdentity as d, ArtifactResolveContextRequest as dn, EvidenceOccurrenceExtractionOptions as dr, ArtifactPatchDryRunSchema as dt, ArtifactKindRegisterResponse as en, ArtifactDraft as er, ArtifactLifecycleTransitionedEntrySchema as et, ArtifactRelationTargetIdentitySchema as f, ArtifactResolveContextResponse as fn, extractEvidenceOccurrences as fr, ArtifactPatchError as ft, ArtifactLifecycleCommittedPayload as g, ArtifactReviseResponse as gn, EvidenceResolveResponseSchema as gr, ArtifactPatchInstruction as gt, serializeArtifactRelationTargetIdentity as h, ArtifactReviseRequest as hn, EvidenceResolveResponse as hr, ArtifactPatchFailureSchema as ht, UniquenessKeyIssueReason as i, ArtifactPatchSubjectResponse as in, ArtifactLifecycleHookEvent as ir, isArtifactLifecycleTransitionAllowed as it, ArtifactLifecycleTransitionResponse as j, ResolvedArtifactContextWire$1 as jn, ArtifactPatchSuccess as jt, ArtifactLifecycleRejectedPayloadSchema as k, ArtifactContextUnresolvedReason as kn, ArtifactPatchResponseSchema as kt, buildUniquenessKeys as l, ArtifactRelationTypeRegisterRequest as ln, defineArtifactLifecycleHooks as lr, ArtifactPatchDocument as lt, describeArtifactRelationTargetIdentity as m, ArtifactResolveResponse as mn, EvidenceResolveRequestSchema as mr, ArtifactPatchErrorSchema as mt, UniquenessKey as n, ArtifactObservationAddedPayload as nn, ArtifactHookFilter as nr, advanceArtifactLifecycle as nt, UniquenessSelectorCapability as o, ArtifactRelationAddedPayload as on, ArtifactLifecycleSemanticEvent as or, ARTIFACT_PATCH_OPERATORS as ot, artifactRelationTargetIdentity as p, ArtifactResolveRequest as pn, EvidenceResolveRequest as pr, ArtifactPatchErrorCode as pt, ArtifactLifecycleSnapshot as q, AnyArtifactKindDefinition as qn, ArtifactCreatedPayload as qt, UniquenessKeyIssue as r, ArtifactPatchSubjectRequest as rn, ArtifactLifecycleHookDefinition as rr, initialArtifactLifecycle as rt, UniquenessSupportIssue as s, ArtifactRelationTypeListRequest as sn, BeforeArtifactHookContext as sr, ArtifactPatchArrayFilter as st, BuildUniquenessKeysResult as t, ArtifactNamespace as tn, ArtifactDraftPatch as tr, ArtifactLifecycleVersionSchema as tt, describeUniquenessKey as u, ArtifactRelationTypeRegisterResponse as un, EvidenceOccurrence as ur, ArtifactPatchDocumentSchema as ut, ArtifactLifecycleFailure as v, ArtifactSchemas$1 as vn, EVIDENCE_VALUE_TYPE as vr, ArtifactPatchIssueSchema as vt, ArtifactLifecycleHistoryRequest as w, ArtifactContextTree as wn, ArtifactPatchPathSchema as wt, ArtifactLifecycleGetRequestSchema as x, hydrateArtifactContextTree as xn, ArtifactPatchOperationResult as xt, ArtifactLifecycleFailureSchema as y, ArtifactStatusChangedPayload as yn, EvidenceValue$1 as yr, ArtifactPatchMigration as yt, ArtifactLifecycleHistoryEntrySchema as z, ArtifactContextSelector$1 as zn, artifactPatchSegments as zt };