@_linked/core 2.31.0 → 2.32.0

package/lib/esm/shapes/SHACL.d.ts

@@ -113,21 +113,23 @@ export interface ObjectPropertyShapeConfig extends PropertyShapeConfig {
      */
     shape?: typeof Shape | [string, string];
     /**
-     * Marks this property as *containment* (composition): the value(s) are owned by the subject.
-     * For replace, set-remove and the class check, ownership is decided per predicate across the
-     * registry: another shape's property on this predicate owns its values too.
+     * Marks this property as *containment* (composition): the value(s) are owned by the subject
+     * through this property. Ownership is per property: a plain property of another shape on the
+     * same predicate is a reference and owns nothing. Requires `shape` (throws otherwise).
      *
-     * - With a `shape`: replacing, unsetting or set-removing a value deletes the old node's own
-     *   triples; deleting the subject (by id or in bulk) deletes its immediate values; re-sent
-     *   `{id}`s are kept. Linking an existing node by `{id}` is class-checked: it is refused when
-     *   the node is typed and none of its types is the shape's class, a registered sub-shape's,
-     *   or `sh:class`.
-     * - Without a `shape` (a polymorphic slot): only `dependent`-typed values are deleted.
-     * - In both cases the cascade follows the edge to `dependent`-typed descendants.
+     * - Replacing, unsetting or set-removing a value deletes the old node's own triples and blank
+     *   values, and its owned subtree; re-sent `{id}`s are kept.
+     * - Deleting the subject (by id or in bulk) deletes its owned subtree (recursion other than a
+     *   shape owning its own kind stops after `MAX_OWNED_RECURSION` re-entries): the values
+     *   of its `contains` properties, the values their shapes own in turn, and the extra `contains`
+     *   values of registered sub-shapes (followed only from nodes of the sub-shape's class).
+     * - Linking an existing node by `{id}` is class-checked: it is refused when the node is typed
+     *   and none of its types is the shape's class, a registered sub-shape's, or `sh:class`.
      *
-     * With a `shape`, shape sync also persists a generated SHACL shape for this property (at its
-     * property shape's IRI plus `.singleOwner`, written by the declaring class only) that limits
-     * each value of the predicate to one owner. It is not enforced on write.
+     * Shape sync also persists a generated SHACL shape for this property (at its property shape's
+     * IRI plus `.singleOwner`, written by the declaring class only) that limits each value of the
+     * predicate to one owner of the declaring class or a registered sub-shape's class. It is not
+     * enforced on write.
      */
     contains?: boolean;
 }

package/lib/esm/shapes/SHACL.js

@@ -238,6 +238,14 @@ export function createPropertyShape(config, propertyKey, defaultNodeKind = null,
         propertyShape.class = toNodeReference(config.class);
     }
     if (config.contains) {
+        // Ownership is walked shape by shape, so an owned value needs a shape to walk into. A
+        // polymorphic slot holding blank structure needs no `contains`: blank values are deleted
+        // through their blank-capable `nodeKind`.
+        if (!config.shape) {
+            throw new Error(`The contains property "${propertyKey}" needs a \`shape\`: ownership follows the value ` +
+                `shape to what it owns in turn. Declare the value's shape, or drop \`contains\` (a blank ` +
+                `value is deleted through a blank-capable \`nodeKind\` without it).`);
+        }
         propertyShape.contains = true;
     }
     if (config.equals) {

package/lib/esm/shapes/SHACL.js.map

@@ -1 +1 @@
-{"version":3,"file":"SHACL.js","sourceRoot":"","sources":["../../../src/shapes/SHACL.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,OAAO,EAA0B,eAAe,EAAC,MAAM,2BAA2B,CAAC;AACnF,OAAO,EAAC,KAAK,EAAwB,MAAM,YAAY,CAAC;AACxD,OAAO,EAAC,KAAK,EAAC,MAAM,wBAAwB,CAAC;AAC7C,OAAO,EAAC,2BAA2B,EAAC,MAAM,kCAAkC,CAAC;AAC7E,OAAO,EAAC,aAAa,EAAC,MAAM,wBAAwB,CAAC;AAErD,OAAO,EAAC,qBAAqB,EAAkC,MAAM,mCAAmC,CAAC;AACzG,OAAO,EACL,uBAAuB,EACvB,gBAAgB,IAAI,oBAAoB,EACxC,gBAAgB,IAAI,oBAAoB,EACxC,kBAAkB,GAGnB,MAAM,oBAAoB,CAAC;AAK5B,2EAA2E;AAC3E,OAAO,EACL,iBAAiB,EACjB,uBAAuB,EACvB,gBAAgB,EAChB,gBAAgB,EAChB,kBAAkB,EAClB,qBAAqB,EACrB,eAAe,EACf,mBAAmB,EACnB,uBAAuB,GACxB,MAAM,oBAAoB,CAAC;AAE5B;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAW,oBAAoB,CAAC;AAE7D;;;;;;;;;GASG;AACH,MAAM,UAAU,iBAAiB,CAAC,WAAmB;IACnD,OAAO,WAAW;SACf,OAAO,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC,kDAAkD;SAC3E,OAAO,CAAC,gBAAgB,EAAE,GAAG,CAAC,CAAC,+CAA+C;SAC9E,OAAO,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC,qBAAqB;SAC7C,WAAW,EAAE,CAAC;AACnB,CAAC;AAED;;;;;GAKG;AACH,MAAM,cAAc,GAAG,IAAI,GAAG,EAAkB,CAAC;AAEjD,oEAAoE;AACpE,MAAM,UAAU,uBAAuB,CACrC,WAAmB,EACnB,MAA2B;;IAE3B,cAAc,CAAC,GAAG,CAAC,WAAW,EAAE,MAAA,MAAM,aAAN,MAAM,uBAAN,MAAM,CAAE,OAAO,mCAAI,gBAAgB,CAAC,CAAC;AACvE,CAAC;AAED,+EAA+E;AAC/E,SAAS,cAAc,CAAC,WAAmB;;IACzC,OAAO,MAAA,cAAc,CAAC,GAAG,CAAC,WAAW,CAAC,mCAAI,gBAAgB,CAAC;AAC7D,CAAC;AAED,uEAAuE;AACvE,MAAM,UAAU,aAAa,CAAC,WAAmB;IAC/C,OAAO,GAAG,cAAc,CAAC,WAAW,CAAC,OAAO,iBAAiB,CAAC,WAAW,CAAC,EAAE,CAAC;AAC/E,CAAC;AAOD,MAAM,iBAAiB,GAAG,CACxB,QAAyB,EACzB,eAAoC,EACJ,EAAE;IAClC,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,OAAO,eAAe,CAAC;IACzB,CAAC;IACD,IAAI,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC5B,MAAM,GAAG,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,aAAL,KAAK,uBAAL,KAAK,CAAE,EAAE,CAAC,CAAC;QAC/C,MAAM,aAAa,GAAG,GAAG,CAAC,QAAQ,CAAC,KAAK,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;QACvD,MAAM,aAAa,GAAG,GAAG,CAAC,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACjD,MAAM,eAAe,GAAG,GAAG,CAAC,QAAQ,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QACvD,IAAI,aAAa,IAAI,aAAa,EAAE,CAAC;YACnC,OAAO,KAAK,CAAC,cAAc,CAAC;QAC9B,CAAC;QACD,IAAI,eAAe,IAAI,aAAa,EAAE,CAAC;YACrC,OAAO,KAAK,CAAC,YAAY,CAAC;QAC5B,CAAC;QACD,IAAI,eAAe,IAAI,aAAa,EAAE,CAAC;YACrC,OAAO,KAAK,CAAC,kBAAkB,CAAC;QAClC,CAAC;QACD,OAAO,QAAQ,CAAC,CAAC,CAAC,CAAC;IACrB,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC,CAAC;AA0LF,MAAM,yBAAyB,GAAG,MAAM,CAAC,kBAAkB,CAAC,CAAC;AAC7D,MAAM,yBAAyB,GAAG,MAAM,CAAC,kBAAkB,CAAC,CAAC;AAC7D,MAAM,yBAAyB,GAAG,MAAM,CAAC,kBAAkB,CAAC,CAAC;AAa7D;;;;;;;;GAQG;AACH,MAAM,OAAO,SAAU,SAAQ,KAAK;;AAC3B,qBAAW,GAAG,KAAK,CAAC,SAAS,CAAC;AAGvC;;;;;;GAMG;AACH,MAAM,OAAO,aAAc,SAAQ,KAAK;;AAC/B,yBAAW,GAAG,KAAK,CAAC,aAAa,CAAC;AAG3C,MAAM,iBAAiB,GAAG,CAGxB,MAAc,EACd,WAAmB,EACnB,QAA2B,EAC3B,EAAE;IACF,IAAK,MAAoC,CAAC,KAAK,EAAE,CAAC;QAChD,MAAM,WAAW,GAAI,MAAoC,CAAC,KAAK,CAAC;QAEhE,IAAI,KAAK,CAAC,OAAO,CAAC,WAAW,CAAC,EAAE,CAAC;YAC/B,MAAM,CAAC,WAAW,EAAE,SAAS,CAAC,GAAG,WAAW,CAAC;YAC7C,MAAM,YAAY,GAAG,eAAe,CAAC,WAAW,EAAE,SAAS,CAAC,CAAC;YAC7D,QAAQ,CAAC,UAAU,GAAG,EAAC,EAAE,EAAE,YAAY,EAAC,CAAC;QAC3C,CAAC;aAAM,CAAC;YACN,MAAM,UAAU,GAAG,WAA2B,CAAC;YAC/C,IAAI,UAAU,CAAC,KAAK,EAAE,CAAC;gBACrB,QAAQ,CAAC,UAAU,GAAG,EAAC,EAAE,EAAE,UAAU,CAAC,KAAK,CAAC,EAAE,EAAC,CAAC;YAClD,CAAC;iBAAM,CAAC;gBACN,YAAY,CACV,WAAW,EACX,CAAC,SAAwB,EAAE,EAAE;oBAC3B,QAAQ,CAAC,UAAU,GAAG,EAAC,EAAE,EAAE,SAAS,CAAC,EAAE,EAAC,CAAC;gBAC3C,CAAC,EACD,WAAW,CACZ,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC;AACH,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,wBAAwB,GAAG,IAAI,GAAG,CAAC,CAAC,KAAK,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC;AAE/D,MAAM,UAAU,qBAAqB,CACnC,KAAoB,EACpB,aAAgC;IAEhC,IAAI,wBAAwB,CAAC,GAAG,CAAC,aAAa,CAAC,KAAK,CAAC,EAAE,CAAC;QACtD,MAAM,IAAI,KAAK,CACb,mBAAmB,aAAa,CAAC,KAAK,gDAAgD;YACpF,wFAAwF,CAC3F,CAAC;IACJ,CAAC;IACD,qFAAqF;IACrF,2BAA2B,CAAC,aAAa,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC;IACxE,MAAM,SAAS,GAAG,oBAAoB,CAAC,KAAK,EAAE,aAAa,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IACzE,MAAM,QAAQ,GAAG,oBAAoB,CAAC,KAAK,EAAE,aAAa,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IACzE,IAAI,CAAC,QAAQ,IAAI,SAAS,EAAE,CAAC;QAC3B,IAAI,CAAE,aAA0C,CAAC,yBAAyB,CAAC,EAAE,CAAC;YAC5E,aAAa,CAAC,QAAQ,GAAG,SAAS,CAAC,QAAQ,CAAC;QAC9C,CAAC;QACD,IAAI,CAAE,aAA0C,CAAC,yBAAyB,CAAC,EAAE,CAAC;YAC5E,aAAa,CAAC,QAAQ,GAAG,SAAS,CAAC,QAAQ,CAAC;QAC9C,CAAC;QACD,IAAI,CAAE,aAA0C,CAAC,yBAAyB,CAAC,EAAE,CAAC;YAC5E,aAAa,CAAC,QAAQ,GAAG,SAAS,CAAC,QAAQ,CAAC;QAC9C,CAAC;QACD,0BAA0B,CAAC,KAAK,EAAE,SAAS,EAAE,aAAa,CAAC,CAAC;IAC9D,CAAC;IACD,IAAI,QAAQ,EAAE,CAAC;QACb,MAAM,CAAC,MAAM,CAAC,QAAQ,EAAE,aAAa,CAAC,CAAC;QACvC,OAAO,QAAQ,CAAC;IAClB,CAAC;IACD,aAAa,CAAC,EAAE,GAAG,GAAG,KAAK,CAAC,EAAE,IAAI,aAAa,CAAC,KAAK,EAAE,CAAC;IACxD,oBAAoB,CAAC,KAAK,EAAE,aAAa,CAAC,CAAC;IAC3C,OAAO,aAAa,CAAC;AACvB,CAAC;AAED,MAAM,iBAAiB,GAAG;IACxB,KAAK,CAAC,SAAS,CAAC,EAAE;IAClB,KAAK,CAAC,GAAG,CAAC,EAAE;IACZ,KAAK,CAAC,OAAO,CAAC,EAAE;CACjB,CAAC;AAEF,MAAM,iBAAiB,GAAG,CAAC,QAA6B,EAAe,EAAE;IACvE,IAAI,CAAC,CAAA,QAAQ,aAAR,QAAQ,uBAAR,QAAQ,CAAE,EAAE,CAAA,EAAE,CAAC;QAClB,OAAO,IAAI,GAAG,EAAE,CAAC;IACnB,CAAC;IACD,QAAQ,QAAQ,CAAC,EAAE,EAAE,CAAC;QACpB,KAAK,KAAK,CAAC,SAAS,CAAC,EAAE,CAAC;QACxB,KAAK,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC;QAClB,KAAK,KAAK,CAAC,OAAO,CAAC,EAAE;YACnB,OAAO,IAAI,GAAG,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC;QAChC,KAAK,KAAK,CAAC,cAAc,CAAC,EAAE;YAC1B,OAAO,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC,SAAS,CAAC,EAAE,EAAE,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;QACrD,KAAK,KAAK,CAAC,YAAY,CAAC,EAAE;YACxB,OAAO,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,EAAE,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC;QACnD,KAAK,KAAK,CAAC,kBAAkB,CAAC,EAAE;YAC9B,OAAO,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC,SAAS,CAAC,EAAE,EAAE,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC;QACzD;YACE,OAAO,IAAI,GAAG,CAAC,iBAAiB,CAAC,CAAC;IACtC,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,kBAAkB,GAAG,CACzB,KAAoB,EACpB,aAAgC,EAChC,OAAe,EACf,EAAE;IACF,MAAM,IAAI,KAAK,CACb,wBAAwB,KAAK,CAAC,KAAK,IAAI,aAAa,CAAC,KAAK,KAAK,OAAO,EAAE,CACzE,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,0BAA0B,GAAG,CACjC,KAAoB,EACpB,IAAuB,EACvB,QAA2B,EAC3B,EAAE;IACF,IACE,OAAO,IAAI,CAAC,QAAQ,KAAK,QAAQ;QACjC,OAAO,QAAQ,CAAC,QAAQ,KAAK,QAAQ;QACrC,QAAQ,CAAC,QAAQ,GAAG,IAAI,CAAC,QAAQ,EACjC,CAAC;QACD,kBAAkB,CAChB,KAAK,EACL,QAAQ,EACR,+BAA+B,IAAI,CAAC,QAAQ,OAAO,QAAQ,CAAC,QAAQ,IAAI,CACzE,CAAC;IACJ,CAAC;IAED,IACE,OAAO,IAAI,CAAC,QAAQ,KAAK,QAAQ;QACjC,OAAO,QAAQ,CAAC,QAAQ,KAAK,QAAQ;QACrC,QAAQ,CAAC,QAAQ,GAAG,IAAI,CAAC,QAAQ,EACjC,CAAC;QACD,kBAAkB,CAChB,KAAK,EACL,QAAQ,EACR,iCAAiC,IAAI,CAAC,QAAQ,OAAO,QAAQ,CAAC,QAAQ,IAAI,CAC3E,CAAC;IACJ,CAAC;IAED,IAAI,IAAI,CAAC,QAAQ,IAAI,QAAQ,CAAC,QAAQ,EAAE,CAAC;QACvC,MAAM,SAAS,GAAG,iBAAiB,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACnD,MAAM,aAAa,GAAG,iBAAiB,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;QAC3D,MAAM,cAAc,GAAG,CAAC,GAAG,aAAa,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;QAC/E,IAAI,cAAc,EAAE,CAAC;YACnB,kBAAkB,CAChB,KAAK,EACL,QAAQ,EACR,+BAA+B,IAAI,CAAC,QAAQ,CAAC,EAAE,OAAO,QAAQ,CAAC,QAAQ,CAAC,EAAE,IAAI,CAC/E,CAAC;QACJ,CAAC;IACH,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,UAAU,mBAAmB,CAGjC,MAAc,EACd,WAAmB,EACnB,kBAAsC,IAAI,EAC1C,aAA8C,IAAI;IAElD,MAAM,aAAa,GAAG,uBAAuB,EAAE,CAAC;IAChD,aAAa,CAAC,IAAI,GAAG,qBAAqB,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IACxD,aAAa,CAAC,KAAK,GAAG,WAAW,CAAC;IAElC,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC;QAChB,aAAa,CAAC,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC;IACnC,CAAC;IACD,IAAI,MAAM,CAAC,WAAW,EAAE,CAAC;QACvB,aAAa,CAAC,WAAW,GAAG,MAAM,CAAC,WAAW,CAAC;IACjD,CAAC;IAED,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC;QACpB,aAAa,CAAC,QAAQ,GAAG,CAAC,CAAC;IAC7B,CAAC;SAAM,IAAI,MAAM,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;QACzC,aAAa,CAAC,QAAQ,GAAG,MAAM,CAAC,QAAQ,CAAC;IAC3C,CAAC;IACA,aAA0C,CAAC,yBAAyB,CAAC;QACpE,MAAM,CAAC,QAAQ,KAAK,IAAI,IAAI,MAAM,CAAC,QAAQ,KAAK,SAAS,CAAC;IAE5D,IAAI,MAAM,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;QAClC,aAAa,CAAC,QAAQ,GAAG,MAAM,CAAC,QAAQ,CAAC;IAC3C,CAAC;IACA,aAA0C,CAAC,yBAAyB,CAAC;QACpE,MAAM,CAAC,QAAQ,KAAK,SAAS,CAAC;IAChC,IAAK,MAAqC,CAAC,QAAQ,EAAE,CAAC;QACpD,aAAa,CAAC,QAAQ,GAAG,eAAe,CACrC,MAAqC,CAAC,QAAQ,CAChD,CAAC;IACJ,CAAC;IAED,IAAK,MAAoC,CAAC,KAAK,EAAE,CAAC;QAChD,aAAa,CAAC,KAAK,GAAG,eAAe,CAClC,MAAoC,CAAC,KAAK,CAC5C,CAAC;IACJ,CAAC;IAED,IAAK,MAAoC,CAAC,QAAQ,EAAE,CAAC;QACnD,aAAa,CAAC,QAAQ,GAAG,IAAI,CAAC;IAChC,CAAC;IAED,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;QAClB,aAAa,CAAC,gBAAgB,GAAG,eAAe,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IAClE,CAAC;IACD,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC;QACpB,aAAa,CAAC,QAAQ,GAAG,eAAe,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;IAC5D,CAAC;IACD,IAAK,MAAqC,CAAC,QAAQ,EAAE,CAAC;QACpD,aAAa,CAAC,QAAQ,GAAG,eAAe,CAAE,MAAqC,CAAC,QAAQ,CAAC,CAAC;IAC5F,CAAC;IACD,IAAK,MAAqC,CAAC,gBAAgB,EAAE,CAAC;QAC5D,aAAa,CAAC,gBAAgB,GAAG,eAAe,CAAE,MAAqC,CAAC,gBAAgB,CAAC,CAAC;IAC5G,CAAC;IACD,mFAAmF;IACnF,8EAA8E;IAC9E,wEAAwE;IACxE,CAAC;QACC,MAAM,GAAG,GAAG,MAAoC,CAAC;QACjD,IAAI,GAAG,CAAC,YAAY,KAAK,SAAS;YAAE,aAAa,CAAC,YAAY,GAAG,GAAG,CAAC,YAAY,CAAC;QAClF,IAAI,GAAG,CAAC,YAAY,KAAK,SAAS;YAAE,aAAa,CAAC,YAAY,GAAG,GAAG,CAAC,YAAY,CAAC;QAClF,IAAI,GAAG,CAAC,YAAY,KAAK,SAAS;YAAE,aAAa,CAAC,YAAY,GAAG,GAAG,CAAC,YAAY,CAAC;QAClF,IAAI,GAAG,CAAC,YAAY,KAAK,SAAS;YAAE,aAAa,CAAC,YAAY,GAAG,GAAG,CAAC,YAAY,CAAC;QAClF,IAAI,GAAG,CAAC,SAAS,KAAK,SAAS;YAAE,aAAa,CAAC,SAAS,GAAG,GAAG,CAAC,SAAS,CAAC;QACzE,IAAI,GAAG,CAAC,SAAS,KAAK,SAAS;YAAE,aAAa,CAAC,SAAS,GAAG,GAAG,CAAC,SAAS,CAAC;QACzE,IAAI,GAAG,CAAC,OAAO,KAAK,SAAS;YAAE,aAAa,CAAC,OAAO,GAAG,GAAG,CAAC,OAAO,CAAC;IACrE,CAAC;IACD,IAAI,MAAM,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;QAClC,MAAM,CAAC,GAAG,MAAM,CAAC,QAAQ,CAAC;QAC1B,aAAa,CAAC,kBAAkB,GAAG,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAClG,CAAC;IACD,IAAI,MAAM,CAAC,YAAY,KAAK,SAAS,EAAE,CAAC;QACtC,aAAa,CAAC,YAAY,GAAG,MAAM,CAAC,YAAY,CAAC;IACnD,CAAC;IACD,IAAI,MAAM,CAAC,EAAE,EAAE,CAAC;QACd,aAAa,CAAC,EAAE,GAAG,MAAM,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CACzC,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,eAAe,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAC7E,CAAC;IACJ,CAAC;IACD,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;QAClB,aAAa,CAAC,MAAM,GAAG,qBAAqB,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IAC9D,CAAC;IACD,kFAAkF;IAClF,kFAAkF;IAClF,iFAAiF;IACjF,yBAAyB;IACzB,IAAI,MAAM,CAAC,KAAK,KAAK,SAAS;QAAE,aAAa,CAAC,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC;IACnE,IAAI,MAAM,CAAC,KAAK,KAAK,SAAS;QAAE,aAAa,CAAC,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC;IACnE,IAAI,MAAM,CAAC,WAAW,KAAK,SAAS;QAAE,aAAa,CAAC,WAAW,GAAG,MAAM,CAAC,WAAW,CAAC;IACrF,IAAI,MAAM,CAAC,aAAa,KAAK,SAAS;QACpC,aAAa,CAAC,aAAa,GAAG,MAAM,CAAC,aAAa,CAAC;IAErD,aAAa,CAAC,QAAQ,GAAG,iBAAiB,CAAC,MAAM,CAAC,QAAQ,EAAE,eAAe,CAAC,CAAC;IAC5E,aAA0C,CAAC,yBAAyB,CAAC;QACpE,MAAM,CAAC,QAAQ,KAAK,SAAS,CAAC;IAEhC,IAAI,UAAU,EAAE,CAAC;QACf,YAAY,CAAC,UAAU,EAAE,CAAC,KAAoB,EAAE,EAAE;YAChD,iBAAiB,CAAC,MAAM,EAAE,WAAW,EAAE,aAAa,CAAC,CAAC;YACtD,qBAAqB,CAAC,KAAK,EAAE,aAAa,CAAC,CAAC;QAC9C,CAAC,CAAC,CAAC;IACL,CAAC;IAED,OAAO,aAAa,CAAC;AACvB,CAAC;AAED,MAAM,UAAU,YAAY,CAC1B,UAA2C,EAC3C,QAAwC,EACxC,YAAqB,EACrB,kBAA4B;IAE5B,MAAM,EAAE,GAAG,kBAAkB;QAC3B,CAAC,CAAC,CAAC,KAAoB,EAAE,EAAE;YACvB,MAAM,UAAU,GAAG,MAAM,CAAC,cAAc,CAAC,UAAU,CAAiB,CAAC;YACrE,IAAI,UAAU,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;gBAChC,QAAQ,CAAC,KAAK,CAAC,CAAC;gBAChB,OAAO;YACT,CAAC;YACD,IAAI,UAAU,CAAC,IAAI,KAAK,EAAE,EAAE,CAAC;gBAC3B,OAAO,CAAC,KAAK,CACX,SAAS,KAAK,CAAC,KAAK,6EAA6E,CAClG,CAAC;gBACF,OAAO;YACT,CAAC;YACD,YAAY,CACV,UAAU,EACV,GAAG,EAAE;gBACH,QAAQ,CAAC,KAAK,CAAC,CAAC;YAClB,CAAC,EACD,YAAY,EACZ,kBAAkB,CACnB,CAAC;QACJ,CAAC;QACH,CAAC,CAAC,QAAQ,CAAC;IAEb,MAAM,YAAY,GAAG,CACnB,gBAA8B,EAC9B,aAA6C,EAC7C,EAAE;QACF,IAAI,gBAAgB,CAAC,cAAc,CAAC,OAAO,CAAC,EAAE,CAAC;YAC7C,aAAa,CAAE,gBAAiC,CAAC,KAAK,CAAC,CAAC;QAC1D,CAAC;aAAM,CAAC;YACN,IAAI,CAAC,gBAAgB,CAAC,gBAAgB,CAAC,EAAE,CAAC;gBACxC,gBAAgB,CAAC,gBAAgB,CAAC,GAAG,EAAE,CAAC;YAC1C,CAAC;YACD,gBAAgB,CAAC,gBAAgB,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;QACzD,CAAC;IACH,CAAC,CAAC;IAEF,IAAI,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,CAAC;QAC9B,MAAM,CAAC,WAAW,EAAE,SAAS,CAAC,GAAG,UAAU,CAAC;QAC5C,MAAM,WAAW,GAAG,eAAe,CAAC,WAAW,EAAE,SAAS,CAAC,CAAC;QAC5D,IAAI,OAAO,QAAQ,KAAK,WAAW,EAAE,CAAC;YACpC,MAAM,CAAC,gBAAgB,CAAC,MAAM,EAAE,GAAG,EAAE;gBACnC,MAAM,QAAQ,GAAG,aAAa,CAAC,WAAW,CAAC,CAAC;gBAC5C,IAAI,CAAC,QAAQ,EAAE,CAAC;oBACd,OAAO,CAAC,IAAI,CACV,+BAA+B,WAAW,IAAI,SAAS,sBAAsB,YAAY,uCAAuC,CACjI,CAAC;oBACF,OAAO;gBACT,CAAC;gBACD,YAAY,CAAC,QAAmC,EAAE,EAAE,CAAC,CAAC;YACxD,CAAC,CAAC,CAAC;QACL,CAAC;aAAM,CAAC;YACN,oBAAoB,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC;QACxC,CAAC;IACH,CAAC;SAAM,CAAC;QACN,YAAY,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;IAC/B,CAAC;AACH,CAAC;AAED,MAAM,eAAe,GAAG,CAGtB,MAAc,EACd,kBAAsC,IAAI,EAC1C,EAAE;IACF,OAAO,UACL,MAAW,EACX,WAAmB,EACnB,WAA+B;QAE/B,mBAAmB,CAAC,MAAM,EAAE,WAAW,EAAE,eAAe,EAAE,MAAM,CAAC,WAAW,CAAC,CAAC;IAChF,CAAC,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,MAAkC,EAAE,EAAE;IACpE,OAAO,eAAe,CAA6B,MAAM,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC;AAC5E,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,MAAiC,EAAE,EAAE;IAClE,OAAO,eAAe,CAA4B,MAAM,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC;AACvE,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,cAAc,GAAG,CAC5B,MAA8D,EAC9D,EAAE;IACF,OAAO,eAAe,CAAC,MAAM,CAAC,CAAC;AACjC,CAAC,CAAC;AAEF,MAAM,UAAU,gBAAgB,CAC9B,MAAW,EACX,WAAmB,EACnB,WAA+B;IAE/B,YAAY,CACV,MAAM,CAAC,WAAW,EAClB,CAAC,KAAoB,EAAE,EAAE;QACvB,MAAM,UAAU,GAAG,MAAM,CAAC,cAAc,CAAC,MAAM,CAAC,WAAW,CAAiB,CAAC;QAC7E,MAAM,cAAc,GAAG,UAAU,CAAC,KAAK,CAAC;QACxC,MAAM,kBAAkB,GAAG,oBAAoB,CAC7C,cAAc,EACd,WAAW,EACX,IAAI,CACL,CAAC;QACF,IAAI,CAAC,kBAAkB,EAAE,CAAC;YACxB,OAAO,CAAC,IAAI,CACV,YAAY,WAAW,6BAA6B,UAAU,CAAC,IAAI,6FAA6F,MAAM,CAAC,WAAW,CAAC,IAAI,IAAI,WAAW,EAAE,CACzM,CAAC;YACF,OAAO;QACT,CAAC;QACD,MAAM,mBAAmB,GAAG,kBAAkB,CAAC,kBAAkB,CAAC,CAAC;QACnE,mBAAmB,CAAC,QAAQ,GAAG,CAAC,CAAC;QACjC,qBAAqB,CAAC,KAAK,EAAE,mBAAmB,CAAC,CAAC;IACpD,CAAC,EACD,EAAE,EACF,IAAI,CACL,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,eAAe,CAAC,WAAmB,EAAE,SAAiB;IACpE,kFAAkF;IAClF,6EAA6E;IAC7E,OAAO,GAAG,cAAc,CAAC,WAAW,CAAC,SAAS,iBAAiB,CAAC,WAAW,CAAC,IAAI,SAAS,EAAE,CAAC;AAC9F,CAAC;AAED,MAAM,kBAAkB,GAAG,IAAI,GAAG,EAA8C,CAAC;AACjF,MAAM,UAAU,oBAAoB,CAClC,WAAmB;IAEnB,MAAM,SAAS,GAAG,kBAAkB,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;IACtD,kBAAkB,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC;IACvC,OAAO,SAAS,CAAC;AACnB,CAAC;AACD,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAClC,WAAmB,EACnB,QAAwC,EACxC,EAAE;IACF,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,WAAW,CAAC,EAAE,CAAC;QACzC,kBAAkB,CAAC,GAAG,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC;IAC1C,CAAC;IACD,kBAAkB,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;AACrD,CAAC,CAAC","sourcesContent":["/*\n * This Source Code Form is subject to the terms of the Mozilla Public\n * License, v. 2.0. If a copy of the MPL was not distributed with this\n * file, You can obtain one at https://mozilla.org/MPL/2.0/.\n */\nimport {type NodeReferenceValue, toNodeReference} from '../utils/NodeReference.js';\nimport {Shape, type ShapeConstructor} from './Shape.js';\nimport {shacl} from '../ontologies/shacl.js';\nimport {warnOnReservedPropertyLabel} from '../queries/reservedQueryNames.js';\nimport {getShapeClass} from '../utils/ShapeClass.js';\nimport type {PathExpr} from '../paths/PropertyPathExpr.js';\nimport {normalizePropertyPath, type PropertyPathDecoratorInput} from '../paths/normalizePropertyPath.js';\nimport {\n  createPropertyShapeData,\n  getPropertyShape as getPropertyShapeData,\n  addPropertyShape as addPropertyShapeData,\n  clonePropertyShape,\n  type NodeShapeData,\n  type PropertyShapeData,\n} from './nodeShapeData.js';\n\n// Metadata types now live in nodeShapeData.js (plain objects); re-exported here for\n// existing importers of `NodeShape`/`PropertyShape`-adjacent types.\nexport type {NodeShapeData, PropertyShapeData, PropertyShapeResult} from './nodeShapeData.js';\n// Metadata operations (formerly NodeShape/PropertyShape instance methods).\nexport {\n  getPropertyShapes,\n  getUniquePropertyShapes,\n  getPropertyShape,\n  addPropertyShape,\n  clonePropertyShape,\n  propertyShapeToResult,\n  nodeShapeEquals,\n  createNodeShapeData,\n  createPropertyShapeData,\n} from './nodeShapeData.js';\n\n/**\n * Default identity root for shape & package IRIs. Public/first-party packages\n * publish under `linked.cm` (arch-02 §Domains). Packages may override per-package\n * via `linkedPackage(name, { baseUri })` — CN injects a workspace-scoped root\n * (`{workspaceSlug}.id.create.now`) for private packages; first-party packages\n * keep this default.\n */\nexport const LINKED_DATA_ROOT: string = 'https://linked.cm/';\n\n/**\n * Derive the public package slug — the npm package **basename** with the\n * `@scope/` dropped, kebab-cased (arch-02 §Slug rules: `^[a-z0-9]+(?:-[a-z0-9]+)*$`).\n * The package name is the single source of truth; there is no separate slug.\n *   `@_linked/core` → `core`, `@linked.cm/blog` → `blog`, `mypkg` → `mypkg`.\n *\n * Both first-party (`@_linked`) and community (`@linked.cm`) packages publish into\n * the one `linked.cm/{shape,pkg}` space, so the basename must be globally unique —\n * enforced by the registry, which reserves the (handful of) first-party names.\n */\nexport function packageNameToSlug(packageName: string): string {\n  return packageName\n    .replace(/^@[^/]+\\//, '') // drop the npm scope (@scope/), keep the basename\n    .replace(/[^a-zA-Z0-9]+/g, '-') // any run of non-alphanumerics → single hyphen\n    .replace(/^-+|-+$/g, '') // trim stray hyphens\n    .toLowerCase();\n}\n\n/**\n * Where each package publishes its IRIs (the identity root). The slug is always\n * derived from the package name; only the root is configurable — `linkedPackage`\n * defaults it to `LINKED_DATA_ROOT` (linked.cm), and CN injects a workspace-scoped\n * root (`{workspaceSlug}.id.create.now`) for private packages.\n */\nconst packageBaseUri = new Map<string, string>();\n\n/** Record a package's publish root. Called by `linkedPackage()`. */\nexport function setPackagePublishConfig(\n  packageName: string,\n  config?: {baseUri?: string},\n): void {\n  packageBaseUri.set(packageName, config?.baseUri ?? LINKED_DATA_ROOT);\n}\n\n/** Resolve a package's publish root, defaulting to linked.cm if undeclared. */\nfunction resolveBaseUri(packageName: string): string {\n  return packageBaseUri.get(packageName) ?? LINKED_DATA_ROOT;\n}\n\n/** Public/first-party package IRI — arch-02: `{baseUri}pkg/{slug}`. */\nexport function getPackageUri(packageName: string): string {\n  return `${resolveBaseUri(packageName)}pkg/${packageNameToSlug(packageName)}`;\n}\n\ntype NodeKindConfig = NodeReferenceValue | NodeReferenceValue[];\n\nexport type PropertyPathInput = PropertyPathDecoratorInput;\nexport type PropertyPathInputList = PropertyPathDecoratorInput;\n\nconst normalizeNodeKind = (\n  nodeKind?: NodeKindConfig,\n  defaultNodeKind?: NodeReferenceValue,\n): NodeReferenceValue | undefined => {\n  if (!nodeKind) {\n    return defaultNodeKind;\n  }\n  if (Array.isArray(nodeKind)) {\n    const ids = nodeKind.map((entry) => entry?.id);\n    const includesBlank = ids.includes(shacl.BlankNode.id);\n    const includesNamed = ids.includes(shacl.IRI.id);\n    const includesLiteral = ids.includes(shacl.Literal.id);\n    if (includesBlank && includesNamed) {\n      return shacl.BlankNodeOrIRI;\n    }\n    if (includesLiteral && includesNamed) {\n      return shacl.IRIOrLiteral;\n    }\n    if (includesLiteral && includesBlank) {\n      return shacl.BlankNodeOrLiteral;\n    }\n    return nodeKind[0];\n  }\n  return nodeKind;\n};\n\nexport interface NodeShapeConfig {\n  /**\n   * Set to true to close the shape. This means any target node of this shape\n   * that has properties outside the defined properties of this shape is invalid.\n   */\n  closed?: boolean;\n  /**\n   * Optional list of properties that are also permitted in addition to those explicitly listed by this shape.\n   */\n  ignoredProperties?: NodeReferenceValue[];\n}\n\nexport interface LiteralPropertyShapeConfig extends PropertyShapeConfig {\n  nodeKind?: NodeReferenceValue;\n  /**\n   * Values of the configured property must be less than the values of this 'lessThan' property.\n   * Value is always a property IRI (pair constraint).\n   */\n  lessThan?: NodeReferenceValue;\n  /**\n   * Values of the configured property must be less than or equal the values of this 'lessThanOrEquals' property.\n   * Value is always a property IRI (pair constraint).\n   */\n  lessThanOrEquals?: NodeReferenceValue;\n  /**\n   * All values of this property must be higher than this number\n   */\n  minExclusive?: number | string;\n  /**\n   * All values of this property must be higher than or equal this number\n   */\n  minInclusive?: number;\n  /**\n   * All values of this property must be lower than this number\n   */\n  maxExclusive?: number;\n  /**\n   * All values of this property must be lower than or equal this number\n   */\n  maxInclusive?: number;\n  /**\n   * All literal values of this property must at least be this long\n   */\n  minLength?: number;\n  /**\n   * All literal values of this property must at most be this long\n   */\n  maxLength?: number;\n  /**\n   * All literal values of this property must match this regular expression\n   */\n  pattern?: RegExp;\n  /**\n   * All literal values of this property must have one of these languages as their language tag\n   */\n  languageIn?: string[];\n  /**\n   * No pair of values may use the same language tag.\n   */\n  uniqueLang?: boolean;\n  /**\n   * Each literal value of this property must use this datatype\n   */\n  datatype?: NodeReferenceValue;\n  /**\n   * Each value of the property must occur in this set.\n   * Use {id: '...'} for IRI nodes, or plain strings/numbers/booleans for literal values.\n   */\n  in?: (NodeReferenceValue | string | number | boolean)[];\n}\n\nexport interface ObjectPropertyShapeConfig extends PropertyShapeConfig {\n  nodeKind?: NodeReferenceValue;\n  /**\n   * Each value of this property must have this class as its rdf:type\n   */\n  class?: NodeReferenceValue;\n  /**\n   * The shape that values of this property path need to confirm to.\n   * You need to provide a class that extends Shape.\n   */\n  shape?: typeof Shape | [string, string];\n  /**\n   * Marks this property as *containment* (composition): the value(s) are owned by the subject.\n   * For replace, set-remove and the class check, ownership is decided per predicate across the\n   * registry: another shape's property on this predicate owns its values too.\n   *\n   * - With a `shape`: replacing, unsetting or set-removing a value deletes the old node's own\n   *   triples; deleting the subject (by id or in bulk) deletes its immediate values; re-sent\n   *   `{id}`s are kept. Linking an existing node by `{id}` is class-checked: it is refused when\n   *   the node is typed and none of its types is the shape's class, a registered sub-shape's,\n   *   or `sh:class`.\n   * - Without a `shape` (a polymorphic slot): only `dependent`-typed values are deleted.\n   * - In both cases the cascade follows the edge to `dependent`-typed descendants.\n   *\n   * With a `shape`, shape sync also persists a generated SHACL shape for this property (at its\n   * property shape's IRI plus `.singleOwner`, written by the declaring class only) that limits\n   * each value of the predicate to one owner. It is not enforced on write.\n   */\n  contains?: boolean;\n}\n\nexport interface PropertyShapeConfig {\n  /**\n   * The property path of this property shape.\n   *\n   * Four accepted forms, all equivalent where they overlap:\n   *\n   * - **An ontology term** — `documents.confidence`. The idiom for real shapes: it reuses the\n   *   ontology, so a namespace changes in one place. `createNameSpace` returns a `{id}` ref, so\n   *   the term IS the second form and is passed DIRECTLY — never `documents.confidence.id`,\n   *   which unwraps it back to a bare string.\n   * - **A node reference** — `{id: 'https://example.org/vocab#startsAt'}`. What the first form\n   *   produces. Convenient in tests, or wherever an ontology module would be overkill.\n   * - **A bare IRI or prefixed name** — `'https://example.org/vocab#startsAt'`, `'ex:startsAt'`.\n   * - **A path expression** — `'ex:a/ex:b'`, `{seq: [...]}`, `{inv: ...}`, and the other\n   *   operators. An array is read as a sequence.\n   *\n   * A string is parsed as an expression only when it is not a bare absolute IRI: `ex:a/ex:b` is\n   * a sequence, while the `/` inside `https://example.org/vocab#x` belongs to the IRI.\n   */\n  path: PropertyPathInputList;\n  /**\n   * Indicates that this property must exist.\n   * Shorthand for minCount=1\n   */\n  required?: boolean;\n  /**\n   * Each value must be of this node type.\n   */\n  nodeKind?: NodeKindConfig;\n  /**\n   * Minimum number of values required\n   */\n  minCount?: number;\n  /**\n   * Maximum number of values allowed\n   */\n  maxCount?: number;\n  /**\n   * Values of the configured property must equal the values of this 'equals' property.\n   * Value is always a property IRI (pair constraint).\n   */\n  equals?: NodeReferenceValue;\n  /**\n   * Values of the configured property must differ from the values of this 'disjoint' property.\n   * Value is always a property IRI (pair constraint).\n   */\n  disjoint?: NodeReferenceValue;\n  /**\n   * At least one value of this property must equal the given value.\n   * Use {id: '...'} for IRI nodes, or a plain string for literal values.\n   */\n  hasValue?: NodeReferenceValue | string | number | boolean;\n  name?: string;\n  description?: string;\n  order?: number;\n  group?: string;\n  /**\n   * Display importance, lower = more important (`core:displayRank`).\n   * A renderer that can show only N properties shows the N lowest ranks.\n   */\n  displayRank?: number;\n  /** Omit this property from generic rendering (`core:displayHidden`). */\n  displayHidden?: boolean;\n  /**\n   * should correlate to the given datatype or class\n   */\n  defaultValue?: unknown;\n  /**\n   * Each value of the property must occur in this set.\n   * Use {id: '...'} for IRI nodes, or plain strings for literal values.\n   *\n   * @example\n   * in: ['ACTIVE', 'PENDING', 'CLOSED']\n   * in: [{id: 'http://example.org/StatusA'}, {id: 'http://example.org/StatusB'}]\n   */\n  in?: (NodeReferenceValue | string | number | boolean)[];\n  /**\n   * Values of the configured property path are sorted by the values of this property path.\n   */\n  sortBy?: PropertyPathInputList;\n}\n\nconst EXPLICIT_NODE_KIND_SYMBOL = Symbol('explicitNodeKind');\nconst EXPLICIT_MIN_COUNT_SYMBOL = Symbol('explicitMinCount');\nconst EXPLICIT_MAX_COUNT_SYMBOL = Symbol('explicitMaxCount');\n\n/** Internal symbol-keyed flags on a PropertyShapeData object to track which fields were explicitly configured. */\ninterface ExplicitFlags {\n  [EXPLICIT_NODE_KIND_SYMBOL]?: boolean;\n  [EXPLICIT_MIN_COUNT_SYMBOL]?: boolean;\n  [EXPLICIT_MAX_COUNT_SYMBOL]?: boolean;\n}\n\nexport interface ParameterConfig {\n  optional?: number;\n}\n\n/**\n * Static-only DSL handle for the SHACL `sh:NodeShape` meta-shape.\n *\n * Never instantiated — a shape's metadata is a plain {@link NodeShapeData} object\n * (see nodeShapeData.js), and the instance methods that used to live here are now\n * free functions in that module. This class exists only to carry the meta-shape's\n * static `.shape` self-description and to serve as the DSL entry point for reading\n * and writing node-shape SHACL data (`NodeShape.create/select/delete`).\n */\nexport class NodeShape extends Shape {\n  static targetClass = shacl.NodeShape;\n}\n\n/**\n * Static-only DSL handle for the SHACL `sh:PropertyShape` meta-shape.\n *\n * Never instantiated — property-shape metadata is a plain {@link PropertyShapeData}\n * object (see nodeShapeData.js). Exists only for its static `.shape` self-description\n * and as a DSL entry point (`PropertyShape.create/select`).\n */\nexport class PropertyShape extends Shape {\n  static targetClass = shacl.PropertyShape;\n}\n\nconst connectValueShape = <\n  Config extends LiteralPropertyShapeConfig | ObjectPropertyShapeConfig,\n>(\n  config: Config,\n  propertyKey: string,\n  property: PropertyShapeData,\n) => {\n  if ((config as ObjectPropertyShapeConfig).shape) {\n    const shapeConfig = (config as ObjectPropertyShapeConfig).shape;\n\n    if (Array.isArray(shapeConfig)) {\n      const [packageName, shapeName] = shapeConfig;\n      const nodeShapeUri = getNodeShapeUri(packageName, shapeName);\n      property.valueShape = {id: nodeShapeUri};\n    } else {\n      const shapeClass = shapeConfig as typeof Shape;\n      if (shapeClass.shape) {\n        property.valueShape = {id: shapeClass.shape.id};\n      } else {\n        onShapeSetup(\n          shapeConfig,\n          (nodeShape: NodeShapeData) => {\n            property.valueShape = {id: nodeShape.id};\n          },\n          propertyKey,\n        );\n      }\n    }\n  }\n};\n\n/**\n * The DSL-JSON where-clause combinators. A property may not be named after one,\n * because a condition key in those positions has no `{path}` escape (the key is a\n * bare string). See documentation/dsl-json.md (Reserved words).\n */\nconst RESERVED_PROPERTY_LABELS = new Set(['and', 'or', 'not']);\n\nexport function registerPropertyShape(\n  shape: NodeShapeData,\n  propertyShape: PropertyShapeData,\n) {\n  if (RESERVED_PROPERTY_LABELS.has(propertyShape.label)) {\n    throw new Error(\n      `Property label '${propertyShape.label}' is reserved (a DSL-JSON boolean combinator) ` +\n        `and cannot be used as a property name. See documentation/dsl-json.md (Reserved words).`,\n    );\n  }\n  // Not fatal, but the author needs to hear it here rather than from the field tracer.\n  warnOnReservedPropertyLabel(propertyShape.label, shape.label, shape.id);\n  const inherited = getPropertyShapeData(shape, propertyShape.label, true);\n  const existing = getPropertyShapeData(shape, propertyShape.label, false);\n  if (!existing && inherited) {\n    if (!(propertyShape as unknown as ExplicitFlags)[EXPLICIT_MIN_COUNT_SYMBOL]) {\n      propertyShape.minCount = inherited.minCount;\n    }\n    if (!(propertyShape as unknown as ExplicitFlags)[EXPLICIT_MAX_COUNT_SYMBOL]) {\n      propertyShape.maxCount = inherited.maxCount;\n    }\n    if (!(propertyShape as unknown as ExplicitFlags)[EXPLICIT_NODE_KIND_SYMBOL]) {\n      propertyShape.nodeKind = inherited.nodeKind;\n    }\n    validateOverrideTightening(shape, inherited, propertyShape);\n  }\n  if (existing) {\n    Object.assign(existing, propertyShape);\n    return existing;\n  }\n  propertyShape.id = `${shape.id}/${propertyShape.label}`;\n  addPropertyShapeData(shape, propertyShape);\n  return propertyShape;\n}\n\nconst ATOMIC_NODE_KINDS = [\n  shacl.BlankNode.id,\n  shacl.IRI.id,\n  shacl.Literal.id,\n];\n\nconst nodeKindToAtomics = (nodeKind?: NodeReferenceValue): Set<string> => {\n  if (!nodeKind?.id) {\n    return new Set();\n  }\n  switch (nodeKind.id) {\n    case shacl.BlankNode.id:\n    case shacl.IRI.id:\n    case shacl.Literal.id:\n      return new Set([nodeKind.id]);\n    case shacl.BlankNodeOrIRI.id:\n      return new Set([shacl.BlankNode.id, shacl.IRI.id]);\n    case shacl.IRIOrLiteral.id:\n      return new Set([shacl.IRI.id, shacl.Literal.id]);\n    case shacl.BlankNodeOrLiteral.id:\n      return new Set([shacl.BlankNode.id, shacl.Literal.id]);\n    default:\n      return new Set(ATOMIC_NODE_KINDS);\n  }\n};\n\nconst throwOverrideError = (\n  shape: NodeShapeData,\n  propertyShape: PropertyShapeData,\n  message: string,\n) => {\n  throw new Error(\n    `Invalid override for ${shape.label}.${propertyShape.label}: ${message}`,\n  );\n};\n\nconst validateOverrideTightening = (\n  shape: NodeShapeData,\n  base: PropertyShapeData,\n  override: PropertyShapeData,\n) => {\n  if (\n    typeof base.minCount === 'number' &&\n    typeof override.minCount === 'number' &&\n    override.minCount < base.minCount\n  ) {\n    throwOverrideError(\n      shape,\n      override,\n      `minCount cannot be lowered (${base.minCount} -> ${override.minCount}).`,\n    );\n  }\n\n  if (\n    typeof base.maxCount === 'number' &&\n    typeof override.maxCount === 'number' &&\n    override.maxCount > base.maxCount\n  ) {\n    throwOverrideError(\n      shape,\n      override,\n      `maxCount cannot be increased (${base.maxCount} -> ${override.maxCount}).`,\n    );\n  }\n\n  if (base.nodeKind && override.nodeKind) {\n    const baseKinds = nodeKindToAtomics(base.nodeKind);\n    const overrideKinds = nodeKindToAtomics(override.nodeKind);\n    const widensNodeKind = [...overrideKinds].some((kind) => !baseKinds.has(kind));\n    if (widensNodeKind) {\n      throwOverrideError(\n        shape,\n        override,\n        `nodeKind cannot be widened (${base.nodeKind.id} -> ${override.nodeKind.id}).`,\n      );\n    }\n  }\n};\n\nexport function createPropertyShape<\n  Config extends LiteralPropertyShapeConfig | ObjectPropertyShapeConfig,\n>(\n  config: Config,\n  propertyKey: string,\n  defaultNodeKind: NodeReferenceValue = null,\n  shapeClass: typeof Shape | [string, string] = null,\n) {\n  const propertyShape = createPropertyShapeData();\n  propertyShape.path = normalizePropertyPath(config.path);\n  propertyShape.label = propertyKey;\n\n  if (config.name) {\n    propertyShape.name = config.name;\n  }\n  if (config.description) {\n    propertyShape.description = config.description;\n  }\n\n  if (config.required) {\n    propertyShape.minCount = 1;\n  } else if (config.minCount !== undefined) {\n    propertyShape.minCount = config.minCount;\n  }\n  (propertyShape as unknown as ExplicitFlags)[EXPLICIT_MIN_COUNT_SYMBOL] =\n    config.required === true || config.minCount !== undefined;\n\n  if (config.maxCount !== undefined) {\n    propertyShape.maxCount = config.maxCount;\n  }\n  (propertyShape as unknown as ExplicitFlags)[EXPLICIT_MAX_COUNT_SYMBOL] =\n    config.maxCount !== undefined;\n  if ((config as LiteralPropertyShapeConfig).datatype) {\n    propertyShape.datatype = toNodeReference(\n      (config as LiteralPropertyShapeConfig).datatype,\n    );\n  }\n\n  if ((config as ObjectPropertyShapeConfig).class) {\n    propertyShape.class = toNodeReference(\n      (config as ObjectPropertyShapeConfig).class,\n    );\n  }\n\n  if ((config as ObjectPropertyShapeConfig).contains) {\n    propertyShape.contains = true;\n  }\n\n  if (config.equals) {\n    propertyShape.equalsConstraint = toNodeReference(config.equals);\n  }\n  if (config.disjoint) {\n    propertyShape.disjoint = toNodeReference(config.disjoint);\n  }\n  if ((config as LiteralPropertyShapeConfig).lessThan) {\n    propertyShape.lessThan = toNodeReference((config as LiteralPropertyShapeConfig).lessThan);\n  }\n  if ((config as LiteralPropertyShapeConfig).lessThanOrEquals) {\n    propertyShape.lessThanOrEquals = toNodeReference((config as LiteralPropertyShapeConfig).lessThanOrEquals);\n  }\n  // Value-range / string-length / pattern constraints (report 021 §3, G5). These are\n  // recorded on the shape and serialized to SHACL; there is no DSL-side runtime\n  // enforcement — they describe the shape for validators / introspection.\n  {\n    const lit = config as LiteralPropertyShapeConfig;\n    if (lit.minInclusive !== undefined) propertyShape.minInclusive = lit.minInclusive;\n    if (lit.maxInclusive !== undefined) propertyShape.maxInclusive = lit.maxInclusive;\n    if (lit.minExclusive !== undefined) propertyShape.minExclusive = lit.minExclusive;\n    if (lit.maxExclusive !== undefined) propertyShape.maxExclusive = lit.maxExclusive;\n    if (lit.minLength !== undefined) propertyShape.minLength = lit.minLength;\n    if (lit.maxLength !== undefined) propertyShape.maxLength = lit.maxLength;\n    if (lit.pattern !== undefined) propertyShape.pattern = lit.pattern;\n  }\n  if (config.hasValue !== undefined) {\n    const v = config.hasValue;\n    propertyShape.hasValueConstraint = typeof v === 'object' && v !== null ? toNodeReference(v) : v;\n  }\n  if (config.defaultValue !== undefined) {\n    propertyShape.defaultValue = config.defaultValue;\n  }\n  if (config.in) {\n    propertyShape.in = config.in.map((entry) =>\n      typeof entry === 'object' && entry !== null ? toNodeReference(entry) : entry,\n    );\n  }\n  if (config.sortBy) {\n    propertyShape.sortBy = normalizePropertyPath(config.sortBy);\n  }\n  // Arrangement + display metadata. `order` and `group` were declared on the config\n  // but never copied onto the property shape, so a declared `sh:order` was silently\n  // dropped and every renderer fell back to array position. Carried now, alongside\n  // the two display terms.\n  if (config.order !== undefined) propertyShape.order = config.order;\n  if (config.group !== undefined) propertyShape.group = config.group;\n  if (config.displayRank !== undefined) propertyShape.displayRank = config.displayRank;\n  if (config.displayHidden !== undefined)\n    propertyShape.displayHidden = config.displayHidden;\n\n  propertyShape.nodeKind = normalizeNodeKind(config.nodeKind, defaultNodeKind);\n  (propertyShape as unknown as ExplicitFlags)[EXPLICIT_NODE_KIND_SYMBOL] =\n    config.nodeKind !== undefined;\n\n  if (shapeClass) {\n    onShapeSetup(shapeClass, (shape: NodeShapeData) => {\n      connectValueShape(config, propertyKey, propertyShape);\n      registerPropertyShape(shape, propertyShape);\n    });\n  }\n\n  return propertyShape;\n}\n\nexport function onShapeSetup(\n  shapeClass: typeof Shape | [string, string],\n  callback: (shape: NodeShapeData) => void,\n  propertyName?: string,\n  waitForSuperShapes?: boolean,\n) {\n  const cb = waitForSuperShapes\n    ? (shape: NodeShapeData) => {\n        const superClass = Object.getPrototypeOf(shapeClass) as typeof Shape;\n        if (superClass.name === 'Shape') {\n          callback(shape);\n          return;\n        }\n        if (superClass.name === '') {\n          console.error(\n            `Shape ${shape.label} does not extend base class lincd/shapes/Shape. Make sure it extends Shape.`,\n          );\n          return;\n        }\n        onShapeSetup(\n          superClass,\n          () => {\n            callback(shape);\n          },\n          propertyName,\n          waitForSuperShapes,\n        );\n      }\n    : callback;\n\n  const safeCallback = (\n    targetShapeClass: typeof Shape,\n    innerCallback: (shape: NodeShapeData) => void,\n  ) => {\n    if (targetShapeClass.hasOwnProperty('shape')) {\n      innerCallback((targetShapeClass as typeof Shape).shape);\n    } else {\n      if (!targetShapeClass['shapeCallbacks']) {\n        targetShapeClass['shapeCallbacks'] = [];\n      }\n      targetShapeClass['shapeCallbacks'].push(innerCallback);\n    }\n  };\n\n  if (Array.isArray(shapeClass)) {\n    const [packageName, shapeName] = shapeClass;\n    const nodeShapeId = getNodeShapeUri(packageName, shapeName);\n    if (typeof document !== 'undefined') {\n      window.addEventListener('load', () => {\n        const resolved = getShapeClass(nodeShapeId);\n        if (!resolved) {\n          console.warn(\n            `Could not find value shape (${packageName}/${shapeName}) for accessor get ${propertyName}(). Likely because it is not bundled.`,\n          );\n          return;\n        }\n        safeCallback(resolved as unknown as typeof Shape, cb);\n      });\n    } else {\n      addNodeShapeCallback(nodeShapeId, cb);\n    }\n  } else {\n    safeCallback(shapeClass, cb);\n  }\n}\n\nconst _linkedProperty = <\n  Config extends ObjectPropertyShapeConfig | LiteralPropertyShapeConfig,\n>(\n  config: Config,\n  defaultNodeKind: NodeReferenceValue = null,\n) => {\n  return function (\n    target: any,\n    propertyKey: string,\n    _descriptor: PropertyDescriptor,\n  ) {\n    createPropertyShape(config, propertyKey, defaultNodeKind, target.constructor);\n  };\n};\n\nexport const literalProperty = (config: LiteralPropertyShapeConfig) => {\n  return _linkedProperty<LiteralPropertyShapeConfig>(config, shacl.Literal);\n};\n\nexport const objectProperty = (config: ObjectPropertyShapeConfig) => {\n  return _linkedProperty<ObjectPropertyShapeConfig>(config, shacl.IRI);\n};\n\nexport const linkedProperty = (\n  config: ObjectPropertyShapeConfig | LiteralPropertyShapeConfig,\n) => {\n  return _linkedProperty(config);\n};\n\nexport function disallowProperty(\n  target: any,\n  propertyKey: string,\n  _descriptor: PropertyDescriptor,\n) {\n  onShapeSetup(\n    target.constructor,\n    (shape: NodeShapeData) => {\n      const superClass = Object.getPrototypeOf(target.constructor) as typeof Shape;\n      const superNodeShape = superClass.shape;\n      const superPropertyShape = getPropertyShapeData(\n        superNodeShape,\n        propertyKey,\n        true,\n      );\n      if (!superPropertyShape) {\n        console.warn(\n          `Property ${propertyKey} not found in super class ${superClass.name} or any of its super classes. Does it have a property decorator? Cannot disallow property ${target.constructor.name}.${propertyKey}`,\n        );\n        return;\n      }\n      const clonedPropertyShape = clonePropertyShape(superPropertyShape);\n      clonedPropertyShape.maxCount = 0;\n      registerPropertyShape(shape, clonedPropertyShape);\n    },\n    '',\n    true,\n  );\n}\n\nexport function getNodeShapeUri(packageName: string, shapeName: string): string {\n  // arch-02: `{baseUri}shape/{packageSlug}/{ShapeName}` — ShapeName kept PascalCase\n  // (it is a class name, already URI-safe), packageSlug derived from the name.\n  return `${resolveBaseUri(packageName)}shape/${packageNameToSlug(packageName)}/${shapeName}`;\n}\n\nconst nodeShapeCallbacks = new Map<string, ((shape: NodeShapeData) => void)[]>();\nexport function getAndClearCallbacks(\n  nodeShapeId: string,\n): ((shape: NodeShapeData) => void)[] {\n  const callbacks = nodeShapeCallbacks.get(nodeShapeId);\n  nodeShapeCallbacks.delete(nodeShapeId);\n  return callbacks;\n}\nexport const addNodeShapeCallback = (\n  nodeShapeId: string,\n  callback: (shape: NodeShapeData) => void,\n) => {\n  if (!nodeShapeCallbacks.has(nodeShapeId)) {\n    nodeShapeCallbacks.set(nodeShapeId, []);\n  }\n  nodeShapeCallbacks.get(nodeShapeId).push(callback);\n};\n"]}
+{"version":3,"file":"SHACL.js","sourceRoot":"","sources":["../../../src/shapes/SHACL.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,OAAO,EAA0B,eAAe,EAAC,MAAM,2BAA2B,CAAC;AACnF,OAAO,EAAC,KAAK,EAAwB,MAAM,YAAY,CAAC;AACxD,OAAO,EAAC,KAAK,EAAC,MAAM,wBAAwB,CAAC;AAC7C,OAAO,EAAC,2BAA2B,EAAC,MAAM,kCAAkC,CAAC;AAC7E,OAAO,EAAC,aAAa,EAAC,MAAM,wBAAwB,CAAC;AAErD,OAAO,EAAC,qBAAqB,EAAkC,MAAM,mCAAmC,CAAC;AACzG,OAAO,EACL,uBAAuB,EACvB,gBAAgB,IAAI,oBAAoB,EACxC,gBAAgB,IAAI,oBAAoB,EACxC,kBAAkB,GAGnB,MAAM,oBAAoB,CAAC;AAK5B,2EAA2E;AAC3E,OAAO,EACL,iBAAiB,EACjB,uBAAuB,EACvB,gBAAgB,EAChB,gBAAgB,EAChB,kBAAkB,EAClB,qBAAqB,EACrB,eAAe,EACf,mBAAmB,EACnB,uBAAuB,GACxB,MAAM,oBAAoB,CAAC;AAE5B;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAW,oBAAoB,CAAC;AAE7D;;;;;;;;;GASG;AACH,MAAM,UAAU,iBAAiB,CAAC,WAAmB;IACnD,OAAO,WAAW;SACf,OAAO,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC,kDAAkD;SAC3E,OAAO,CAAC,gBAAgB,EAAE,GAAG,CAAC,CAAC,+CAA+C;SAC9E,OAAO,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC,qBAAqB;SAC7C,WAAW,EAAE,CAAC;AACnB,CAAC;AAED;;;;;GAKG;AACH,MAAM,cAAc,GAAG,IAAI,GAAG,EAAkB,CAAC;AAEjD,oEAAoE;AACpE,MAAM,UAAU,uBAAuB,CACrC,WAAmB,EACnB,MAA2B;;IAE3B,cAAc,CAAC,GAAG,CAAC,WAAW,EAAE,MAAA,MAAM,aAAN,MAAM,uBAAN,MAAM,CAAE,OAAO,mCAAI,gBAAgB,CAAC,CAAC;AACvE,CAAC;AAED,+EAA+E;AAC/E,SAAS,cAAc,CAAC,WAAmB;;IACzC,OAAO,MAAA,cAAc,CAAC,GAAG,CAAC,WAAW,CAAC,mCAAI,gBAAgB,CAAC;AAC7D,CAAC;AAED,uEAAuE;AACvE,MAAM,UAAU,aAAa,CAAC,WAAmB;IAC/C,OAAO,GAAG,cAAc,CAAC,WAAW,CAAC,OAAO,iBAAiB,CAAC,WAAW,CAAC,EAAE,CAAC;AAC/E,CAAC;AAOD,MAAM,iBAAiB,GAAG,CACxB,QAAyB,EACzB,eAAoC,EACJ,EAAE;IAClC,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,OAAO,eAAe,CAAC;IACzB,CAAC;IACD,IAAI,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC5B,MAAM,GAAG,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,aAAL,KAAK,uBAAL,KAAK,CAAE,EAAE,CAAC,CAAC;QAC/C,MAAM,aAAa,GAAG,GAAG,CAAC,QAAQ,CAAC,KAAK,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;QACvD,MAAM,aAAa,GAAG,GAAG,CAAC,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACjD,MAAM,eAAe,GAAG,GAAG,CAAC,QAAQ,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QACvD,IAAI,aAAa,IAAI,aAAa,EAAE,CAAC;YACnC,OAAO,KAAK,CAAC,cAAc,CAAC;QAC9B,CAAC;QACD,IAAI,eAAe,IAAI,aAAa,EAAE,CAAC;YACrC,OAAO,KAAK,CAAC,YAAY,CAAC;QAC5B,CAAC;QACD,IAAI,eAAe,IAAI,aAAa,EAAE,CAAC;YACrC,OAAO,KAAK,CAAC,kBAAkB,CAAC;QAClC,CAAC;QACD,OAAO,QAAQ,CAAC,CAAC,CAAC,CAAC;IACrB,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC,CAAC;AA4LF,MAAM,yBAAyB,GAAG,MAAM,CAAC,kBAAkB,CAAC,CAAC;AAC7D,MAAM,yBAAyB,GAAG,MAAM,CAAC,kBAAkB,CAAC,CAAC;AAC7D,MAAM,yBAAyB,GAAG,MAAM,CAAC,kBAAkB,CAAC,CAAC;AAa7D;;;;;;;;GAQG;AACH,MAAM,OAAO,SAAU,SAAQ,KAAK;;AAC3B,qBAAW,GAAG,KAAK,CAAC,SAAS,CAAC;AAGvC;;;;;;GAMG;AACH,MAAM,OAAO,aAAc,SAAQ,KAAK;;AAC/B,yBAAW,GAAG,KAAK,CAAC,aAAa,CAAC;AAG3C,MAAM,iBAAiB,GAAG,CAGxB,MAAc,EACd,WAAmB,EACnB,QAA2B,EAC3B,EAAE;IACF,IAAK,MAAoC,CAAC,KAAK,EAAE,CAAC;QAChD,MAAM,WAAW,GAAI,MAAoC,CAAC,KAAK,CAAC;QAEhE,IAAI,KAAK,CAAC,OAAO,CAAC,WAAW,CAAC,EAAE,CAAC;YAC/B,MAAM,CAAC,WAAW,EAAE,SAAS,CAAC,GAAG,WAAW,CAAC;YAC7C,MAAM,YAAY,GAAG,eAAe,CAAC,WAAW,EAAE,SAAS,CAAC,CAAC;YAC7D,QAAQ,CAAC,UAAU,GAAG,EAAC,EAAE,EAAE,YAAY,EAAC,CAAC;QAC3C,CAAC;aAAM,CAAC;YACN,MAAM,UAAU,GAAG,WAA2B,CAAC;YAC/C,IAAI,UAAU,CAAC,KAAK,EAAE,CAAC;gBACrB,QAAQ,CAAC,UAAU,GAAG,EAAC,EAAE,EAAE,UAAU,CAAC,KAAK,CAAC,EAAE,EAAC,CAAC;YAClD,CAAC;iBAAM,CAAC;gBACN,YAAY,CACV,WAAW,EACX,CAAC,SAAwB,EAAE,EAAE;oBAC3B,QAAQ,CAAC,UAAU,GAAG,EAAC,EAAE,EAAE,SAAS,CAAC,EAAE,EAAC,CAAC;gBAC3C,CAAC,EACD,WAAW,CACZ,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC;AACH,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,wBAAwB,GAAG,IAAI,GAAG,CAAC,CAAC,KAAK,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC;AAE/D,MAAM,UAAU,qBAAqB,CACnC,KAAoB,EACpB,aAAgC;IAEhC,IAAI,wBAAwB,CAAC,GAAG,CAAC,aAAa,CAAC,KAAK,CAAC,EAAE,CAAC;QACtD,MAAM,IAAI,KAAK,CACb,mBAAmB,aAAa,CAAC,KAAK,gDAAgD;YACpF,wFAAwF,CAC3F,CAAC;IACJ,CAAC;IACD,qFAAqF;IACrF,2BAA2B,CAAC,aAAa,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC;IACxE,MAAM,SAAS,GAAG,oBAAoB,CAAC,KAAK,EAAE,aAAa,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IACzE,MAAM,QAAQ,GAAG,oBAAoB,CAAC,KAAK,EAAE,aAAa,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IACzE,IAAI,CAAC,QAAQ,IAAI,SAAS,EAAE,CAAC;QAC3B,IAAI,CAAE,aAA0C,CAAC,yBAAyB,CAAC,EAAE,CAAC;YAC5E,aAAa,CAAC,QAAQ,GAAG,SAAS,CAAC,QAAQ,CAAC;QAC9C,CAAC;QACD,IAAI,CAAE,aAA0C,CAAC,yBAAyB,CAAC,EAAE,CAAC;YAC5E,aAAa,CAAC,QAAQ,GAAG,SAAS,CAAC,QAAQ,CAAC;QAC9C,CAAC;QACD,IAAI,CAAE,aAA0C,CAAC,yBAAyB,CAAC,EAAE,CAAC;YAC5E,aAAa,CAAC,QAAQ,GAAG,SAAS,CAAC,QAAQ,CAAC;QAC9C,CAAC;QACD,0BAA0B,CAAC,KAAK,EAAE,SAAS,EAAE,aAAa,CAAC,CAAC;IAC9D,CAAC;IACD,IAAI,QAAQ,EAAE,CAAC;QACb,MAAM,CAAC,MAAM,CAAC,QAAQ,EAAE,aAAa,CAAC,CAAC;QACvC,OAAO,QAAQ,CAAC;IAClB,CAAC;IACD,aAAa,CAAC,EAAE,GAAG,GAAG,KAAK,CAAC,EAAE,IAAI,aAAa,CAAC,KAAK,EAAE,CAAC;IACxD,oBAAoB,CAAC,KAAK,EAAE,aAAa,CAAC,CAAC;IAC3C,OAAO,aAAa,CAAC;AACvB,CAAC;AAED,MAAM,iBAAiB,GAAG;IACxB,KAAK,CAAC,SAAS,CAAC,EAAE;IAClB,KAAK,CAAC,GAAG,CAAC,EAAE;IACZ,KAAK,CAAC,OAAO,CAAC,EAAE;CACjB,CAAC;AAEF,MAAM,iBAAiB,GAAG,CAAC,QAA6B,EAAe,EAAE;IACvE,IAAI,CAAC,CAAA,QAAQ,aAAR,QAAQ,uBAAR,QAAQ,CAAE,EAAE,CAAA,EAAE,CAAC;QAClB,OAAO,IAAI,GAAG,EAAE,CAAC;IACnB,CAAC;IACD,QAAQ,QAAQ,CAAC,EAAE,EAAE,CAAC;QACpB,KAAK,KAAK,CAAC,SAAS,CAAC,EAAE,CAAC;QACxB,KAAK,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC;QAClB,KAAK,KAAK,CAAC,OAAO,CAAC,EAAE;YACnB,OAAO,IAAI,GAAG,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC;QAChC,KAAK,KAAK,CAAC,cAAc,CAAC,EAAE;YAC1B,OAAO,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC,SAAS,CAAC,EAAE,EAAE,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;QACrD,KAAK,KAAK,CAAC,YAAY,CAAC,EAAE;YACxB,OAAO,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,EAAE,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC;QACnD,KAAK,KAAK,CAAC,kBAAkB,CAAC,EAAE;YAC9B,OAAO,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC,SAAS,CAAC,EAAE,EAAE,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CAAC;QACzD;YACE,OAAO,IAAI,GAAG,CAAC,iBAAiB,CAAC,CAAC;IACtC,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,kBAAkB,GAAG,CACzB,KAAoB,EACpB,aAAgC,EAChC,OAAe,EACf,EAAE;IACF,MAAM,IAAI,KAAK,CACb,wBAAwB,KAAK,CAAC,KAAK,IAAI,aAAa,CAAC,KAAK,KAAK,OAAO,EAAE,CACzE,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,0BAA0B,GAAG,CACjC,KAAoB,EACpB,IAAuB,EACvB,QAA2B,EAC3B,EAAE;IACF,IACE,OAAO,IAAI,CAAC,QAAQ,KAAK,QAAQ;QACjC,OAAO,QAAQ,CAAC,QAAQ,KAAK,QAAQ;QACrC,QAAQ,CAAC,QAAQ,GAAG,IAAI,CAAC,QAAQ,EACjC,CAAC;QACD,kBAAkB,CAChB,KAAK,EACL,QAAQ,EACR,+BAA+B,IAAI,CAAC,QAAQ,OAAO,QAAQ,CAAC,QAAQ,IAAI,CACzE,CAAC;IACJ,CAAC;IAED,IACE,OAAO,IAAI,CAAC,QAAQ,KAAK,QAAQ;QACjC,OAAO,QAAQ,CAAC,QAAQ,KAAK,QAAQ;QACrC,QAAQ,CAAC,QAAQ,GAAG,IAAI,CAAC,QAAQ,EACjC,CAAC;QACD,kBAAkB,CAChB,KAAK,EACL,QAAQ,EACR,iCAAiC,IAAI,CAAC,QAAQ,OAAO,QAAQ,CAAC,QAAQ,IAAI,CAC3E,CAAC;IACJ,CAAC;IAED,IAAI,IAAI,CAAC,QAAQ,IAAI,QAAQ,CAAC,QAAQ,EAAE,CAAC;QACvC,MAAM,SAAS,GAAG,iBAAiB,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;QACnD,MAAM,aAAa,GAAG,iBAAiB,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;QAC3D,MAAM,cAAc,GAAG,CAAC,GAAG,aAAa,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;QAC/E,IAAI,cAAc,EAAE,CAAC;YACnB,kBAAkB,CAChB,KAAK,EACL,QAAQ,EACR,+BAA+B,IAAI,CAAC,QAAQ,CAAC,EAAE,OAAO,QAAQ,CAAC,QAAQ,CAAC,EAAE,IAAI,CAC/E,CAAC;QACJ,CAAC;IACH,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,UAAU,mBAAmB,CAGjC,MAAc,EACd,WAAmB,EACnB,kBAAsC,IAAI,EAC1C,aAA8C,IAAI;IAElD,MAAM,aAAa,GAAG,uBAAuB,EAAE,CAAC;IAChD,aAAa,CAAC,IAAI,GAAG,qBAAqB,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IACxD,aAAa,CAAC,KAAK,GAAG,WAAW,CAAC;IAElC,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC;QAChB,aAAa,CAAC,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC;IACnC,CAAC;IACD,IAAI,MAAM,CAAC,WAAW,EAAE,CAAC;QACvB,aAAa,CAAC,WAAW,GAAG,MAAM,CAAC,WAAW,CAAC;IACjD,CAAC;IAED,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC;QACpB,aAAa,CAAC,QAAQ,GAAG,CAAC,CAAC;IAC7B,CAAC;SAAM,IAAI,MAAM,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;QACzC,aAAa,CAAC,QAAQ,GAAG,MAAM,CAAC,QAAQ,CAAC;IAC3C,CAAC;IACA,aAA0C,CAAC,yBAAyB,CAAC;QACpE,MAAM,CAAC,QAAQ,KAAK,IAAI,IAAI,MAAM,CAAC,QAAQ,KAAK,SAAS,CAAC;IAE5D,IAAI,MAAM,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;QAClC,aAAa,CAAC,QAAQ,GAAG,MAAM,CAAC,QAAQ,CAAC;IAC3C,CAAC;IACA,aAA0C,CAAC,yBAAyB,CAAC;QACpE,MAAM,CAAC,QAAQ,KAAK,SAAS,CAAC;IAChC,IAAK,MAAqC,CAAC,QAAQ,EAAE,CAAC;QACpD,aAAa,CAAC,QAAQ,GAAG,eAAe,CACrC,MAAqC,CAAC,QAAQ,CAChD,CAAC;IACJ,CAAC;IAED,IAAK,MAAoC,CAAC,KAAK,EAAE,CAAC;QAChD,aAAa,CAAC,KAAK,GAAG,eAAe,CAClC,MAAoC,CAAC,KAAK,CAC5C,CAAC;IACJ,CAAC;IAED,IAAK,MAAoC,CAAC,QAAQ,EAAE,CAAC;QACnD,sFAAsF;QACtF,yFAAyF;QACzF,0CAA0C;QAC1C,IAAI,CAAE,MAAoC,CAAC,KAAK,EAAE,CAAC;YACjD,MAAM,IAAI,KAAK,CACb,0BAA0B,WAAW,mDAAmD;gBACtF,0FAA0F;gBAC1F,oEAAoE,CACvE,CAAC;QACJ,CAAC;QACD,aAAa,CAAC,QAAQ,GAAG,IAAI,CAAC;IAChC,CAAC;IAED,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;QAClB,aAAa,CAAC,gBAAgB,GAAG,eAAe,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IAClE,CAAC;IACD,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC;QACpB,aAAa,CAAC,QAAQ,GAAG,eAAe,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;IAC5D,CAAC;IACD,IAAK,MAAqC,CAAC,QAAQ,EAAE,CAAC;QACpD,aAAa,CAAC,QAAQ,GAAG,eAAe,CAAE,MAAqC,CAAC,QAAQ,CAAC,CAAC;IAC5F,CAAC;IACD,IAAK,MAAqC,CAAC,gBAAgB,EAAE,CAAC;QAC5D,aAAa,CAAC,gBAAgB,GAAG,eAAe,CAAE,MAAqC,CAAC,gBAAgB,CAAC,CAAC;IAC5G,CAAC;IACD,mFAAmF;IACnF,8EAA8E;IAC9E,wEAAwE;IACxE,CAAC;QACC,MAAM,GAAG,GAAG,MAAoC,CAAC;QACjD,IAAI,GAAG,CAAC,YAAY,KAAK,SAAS;YAAE,aAAa,CAAC,YAAY,GAAG,GAAG,CAAC,YAAY,CAAC;QAClF,IAAI,GAAG,CAAC,YAAY,KAAK,SAAS;YAAE,aAAa,CAAC,YAAY,GAAG,GAAG,CAAC,YAAY,CAAC;QAClF,IAAI,GAAG,CAAC,YAAY,KAAK,SAAS;YAAE,aAAa,CAAC,YAAY,GAAG,GAAG,CAAC,YAAY,CAAC;QAClF,IAAI,GAAG,CAAC,YAAY,KAAK,SAAS;YAAE,aAAa,CAAC,YAAY,GAAG,GAAG,CAAC,YAAY,CAAC;QAClF,IAAI,GAAG,CAAC,SAAS,KAAK,SAAS;YAAE,aAAa,CAAC,SAAS,GAAG,GAAG,CAAC,SAAS,CAAC;QACzE,IAAI,GAAG,CAAC,SAAS,KAAK,SAAS;YAAE,aAAa,CAAC,SAAS,GAAG,GAAG,CAAC,SAAS,CAAC;QACzE,IAAI,GAAG,CAAC,OAAO,KAAK,SAAS;YAAE,aAAa,CAAC,OAAO,GAAG,GAAG,CAAC,OAAO,CAAC;IACrE,CAAC;IACD,IAAI,MAAM,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;QAClC,MAAM,CAAC,GAAG,MAAM,CAAC,QAAQ,CAAC;QAC1B,aAAa,CAAC,kBAAkB,GAAG,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAClG,CAAC;IACD,IAAI,MAAM,CAAC,YAAY,KAAK,SAAS,EAAE,CAAC;QACtC,aAAa,CAAC,YAAY,GAAG,MAAM,CAAC,YAAY,CAAC;IACnD,CAAC;IACD,IAAI,MAAM,CAAC,EAAE,EAAE,CAAC;QACd,aAAa,CAAC,EAAE,GAAG,MAAM,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CACzC,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,eAAe,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAC7E,CAAC;IACJ,CAAC;IACD,IAAI,MAAM,CAAC,MAAM,EAAE,CAAC;QAClB,aAAa,CAAC,MAAM,GAAG,qBAAqB,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IAC9D,CAAC;IACD,kFAAkF;IAClF,kFAAkF;IAClF,iFAAiF;IACjF,yBAAyB;IACzB,IAAI,MAAM,CAAC,KAAK,KAAK,SAAS;QAAE,aAAa,CAAC,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC;IACnE,IAAI,MAAM,CAAC,KAAK,KAAK,SAAS;QAAE,aAAa,CAAC,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC;IACnE,IAAI,MAAM,CAAC,WAAW,KAAK,SAAS;QAAE,aAAa,CAAC,WAAW,GAAG,MAAM,CAAC,WAAW,CAAC;IACrF,IAAI,MAAM,CAAC,aAAa,KAAK,SAAS;QACpC,aAAa,CAAC,aAAa,GAAG,MAAM,CAAC,aAAa,CAAC;IAErD,aAAa,CAAC,QAAQ,GAAG,iBAAiB,CAAC,MAAM,CAAC,QAAQ,EAAE,eAAe,CAAC,CAAC;IAC5E,aAA0C,CAAC,yBAAyB,CAAC;QACpE,MAAM,CAAC,QAAQ,KAAK,SAAS,CAAC;IAEhC,IAAI,UAAU,EAAE,CAAC;QACf,YAAY,CAAC,UAAU,EAAE,CAAC,KAAoB,EAAE,EAAE;YAChD,iBAAiB,CAAC,MAAM,EAAE,WAAW,EAAE,aAAa,CAAC,CAAC;YACtD,qBAAqB,CAAC,KAAK,EAAE,aAAa,CAAC,CAAC;QAC9C,CAAC,CAAC,CAAC;IACL,CAAC;IAED,OAAO,aAAa,CAAC;AACvB,CAAC;AAED,MAAM,UAAU,YAAY,CAC1B,UAA2C,EAC3C,QAAwC,EACxC,YAAqB,EACrB,kBAA4B;IAE5B,MAAM,EAAE,GAAG,kBAAkB;QAC3B,CAAC,CAAC,CAAC,KAAoB,EAAE,EAAE;YACvB,MAAM,UAAU,GAAG,MAAM,CAAC,cAAc,CAAC,UAAU,CAAiB,CAAC;YACrE,IAAI,UAAU,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;gBAChC,QAAQ,CAAC,KAAK,CAAC,CAAC;gBAChB,OAAO;YACT,CAAC;YACD,IAAI,UAAU,CAAC,IAAI,KAAK,EAAE,EAAE,CAAC;gBAC3B,OAAO,CAAC,KAAK,CACX,SAAS,KAAK,CAAC,KAAK,6EAA6E,CAClG,CAAC;gBACF,OAAO;YACT,CAAC;YACD,YAAY,CACV,UAAU,EACV,GAAG,EAAE;gBACH,QAAQ,CAAC,KAAK,CAAC,CAAC;YAClB,CAAC,EACD,YAAY,EACZ,kBAAkB,CACnB,CAAC;QACJ,CAAC;QACH,CAAC,CAAC,QAAQ,CAAC;IAEb,MAAM,YAAY,GAAG,CACnB,gBAA8B,EAC9B,aAA6C,EAC7C,EAAE;QACF,IAAI,gBAAgB,CAAC,cAAc,CAAC,OAAO,CAAC,EAAE,CAAC;YAC7C,aAAa,CAAE,gBAAiC,CAAC,KAAK,CAAC,CAAC;QAC1D,CAAC;aAAM,CAAC;YACN,IAAI,CAAC,gBAAgB,CAAC,gBAAgB,CAAC,EAAE,CAAC;gBACxC,gBAAgB,CAAC,gBAAgB,CAAC,GAAG,EAAE,CAAC;YAC1C,CAAC;YACD,gBAAgB,CAAC,gBAAgB,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;QACzD,CAAC;IACH,CAAC,CAAC;IAEF,IAAI,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,CAAC;QAC9B,MAAM,CAAC,WAAW,EAAE,SAAS,CAAC,GAAG,UAAU,CAAC;QAC5C,MAAM,WAAW,GAAG,eAAe,CAAC,WAAW,EAAE,SAAS,CAAC,CAAC;QAC5D,IAAI,OAAO,QAAQ,KAAK,WAAW,EAAE,CAAC;YACpC,MAAM,CAAC,gBAAgB,CAAC,MAAM,EAAE,GAAG,EAAE;gBACnC,MAAM,QAAQ,GAAG,aAAa,CAAC,WAAW,CAAC,CAAC;gBAC5C,IAAI,CAAC,QAAQ,EAAE,CAAC;oBACd,OAAO,CAAC,IAAI,CACV,+BAA+B,WAAW,IAAI,SAAS,sBAAsB,YAAY,uCAAuC,CACjI,CAAC;oBACF,OAAO;gBACT,CAAC;gBACD,YAAY,CAAC,QAAmC,EAAE,EAAE,CAAC,CAAC;YACxD,CAAC,CAAC,CAAC;QACL,CAAC;aAAM,CAAC;YACN,oBAAoB,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC;QACxC,CAAC;IACH,CAAC;SAAM,CAAC;QACN,YAAY,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;IAC/B,CAAC;AACH,CAAC;AAED,MAAM,eAAe,GAAG,CAGtB,MAAc,EACd,kBAAsC,IAAI,EAC1C,EAAE;IACF,OAAO,UACL,MAAW,EACX,WAAmB,EACnB,WAA+B;QAE/B,mBAAmB,CAAC,MAAM,EAAE,WAAW,EAAE,eAAe,EAAE,MAAM,CAAC,WAAW,CAAC,CAAC;IAChF,CAAC,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,MAAkC,EAAE,EAAE;IACpE,OAAO,eAAe,CAA6B,MAAM,EAAE,KAAK,CAAC,OAAO,CAAC,CAAC;AAC5E,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,MAAiC,EAAE,EAAE;IAClE,OAAO,eAAe,CAA4B,MAAM,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC;AACvE,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,cAAc,GAAG,CAC5B,MAA8D,EAC9D,EAAE;IACF,OAAO,eAAe,CAAC,MAAM,CAAC,CAAC;AACjC,CAAC,CAAC;AAEF,MAAM,UAAU,gBAAgB,CAC9B,MAAW,EACX,WAAmB,EACnB,WAA+B;IAE/B,YAAY,CACV,MAAM,CAAC,WAAW,EAClB,CAAC,KAAoB,EAAE,EAAE;QACvB,MAAM,UAAU,GAAG,MAAM,CAAC,cAAc,CAAC,MAAM,CAAC,WAAW,CAAiB,CAAC;QAC7E,MAAM,cAAc,GAAG,UAAU,CAAC,KAAK,CAAC;QACxC,MAAM,kBAAkB,GAAG,oBAAoB,CAC7C,cAAc,EACd,WAAW,EACX,IAAI,CACL,CAAC;QACF,IAAI,CAAC,kBAAkB,EAAE,CAAC;YACxB,OAAO,CAAC,IAAI,CACV,YAAY,WAAW,6BAA6B,UAAU,CAAC,IAAI,6FAA6F,MAAM,CAAC,WAAW,CAAC,IAAI,IAAI,WAAW,EAAE,CACzM,CAAC;YACF,OAAO;QACT,CAAC;QACD,MAAM,mBAAmB,GAAG,kBAAkB,CAAC,kBAAkB,CAAC,CAAC;QACnE,mBAAmB,CAAC,QAAQ,GAAG,CAAC,CAAC;QACjC,qBAAqB,CAAC,KAAK,EAAE,mBAAmB,CAAC,CAAC;IACpD,CAAC,EACD,EAAE,EACF,IAAI,CACL,CAAC;AACJ,CAAC;AAED,MAAM,UAAU,eAAe,CAAC,WAAmB,EAAE,SAAiB;IACpE,kFAAkF;IAClF,6EAA6E;IAC7E,OAAO,GAAG,cAAc,CAAC,WAAW,CAAC,SAAS,iBAAiB,CAAC,WAAW,CAAC,IAAI,SAAS,EAAE,CAAC;AAC9F,CAAC;AAED,MAAM,kBAAkB,GAAG,IAAI,GAAG,EAA8C,CAAC;AACjF,MAAM,UAAU,oBAAoB,CAClC,WAAmB;IAEnB,MAAM,SAAS,GAAG,kBAAkB,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;IACtD,kBAAkB,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC;IACvC,OAAO,SAAS,CAAC;AACnB,CAAC;AACD,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAClC,WAAmB,EACnB,QAAwC,EACxC,EAAE;IACF,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,WAAW,CAAC,EAAE,CAAC;QACzC,kBAAkB,CAAC,GAAG,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC;IAC1C,CAAC;IACD,kBAAkB,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;AACrD,CAAC,CAAC","sourcesContent":["/*\n * This Source Code Form is subject to the terms of the Mozilla Public\n * License, v. 2.0. If a copy of the MPL was not distributed with this\n * file, You can obtain one at https://mozilla.org/MPL/2.0/.\n */\nimport {type NodeReferenceValue, toNodeReference} from '../utils/NodeReference.js';\nimport {Shape, type ShapeConstructor} from './Shape.js';\nimport {shacl} from '../ontologies/shacl.js';\nimport {warnOnReservedPropertyLabel} from '../queries/reservedQueryNames.js';\nimport {getShapeClass} from '../utils/ShapeClass.js';\nimport type {PathExpr} from '../paths/PropertyPathExpr.js';\nimport {normalizePropertyPath, type PropertyPathDecoratorInput} from '../paths/normalizePropertyPath.js';\nimport {\n  createPropertyShapeData,\n  getPropertyShape as getPropertyShapeData,\n  addPropertyShape as addPropertyShapeData,\n  clonePropertyShape,\n  type NodeShapeData,\n  type PropertyShapeData,\n} from './nodeShapeData.js';\n\n// Metadata types now live in nodeShapeData.js (plain objects); re-exported here for\n// existing importers of `NodeShape`/`PropertyShape`-adjacent types.\nexport type {NodeShapeData, PropertyShapeData, PropertyShapeResult} from './nodeShapeData.js';\n// Metadata operations (formerly NodeShape/PropertyShape instance methods).\nexport {\n  getPropertyShapes,\n  getUniquePropertyShapes,\n  getPropertyShape,\n  addPropertyShape,\n  clonePropertyShape,\n  propertyShapeToResult,\n  nodeShapeEquals,\n  createNodeShapeData,\n  createPropertyShapeData,\n} from './nodeShapeData.js';\n\n/**\n * Default identity root for shape & package IRIs. Public/first-party packages\n * publish under `linked.cm` (arch-02 §Domains). Packages may override per-package\n * via `linkedPackage(name, { baseUri })` — CN injects a workspace-scoped root\n * (`{workspaceSlug}.id.create.now`) for private packages; first-party packages\n * keep this default.\n */\nexport const LINKED_DATA_ROOT: string = 'https://linked.cm/';\n\n/**\n * Derive the public package slug — the npm package **basename** with the\n * `@scope/` dropped, kebab-cased (arch-02 §Slug rules: `^[a-z0-9]+(?:-[a-z0-9]+)*$`).\n * The package name is the single source of truth; there is no separate slug.\n *   `@_linked/core` → `core`, `@linked.cm/blog` → `blog`, `mypkg` → `mypkg`.\n *\n * Both first-party (`@_linked`) and community (`@linked.cm`) packages publish into\n * the one `linked.cm/{shape,pkg}` space, so the basename must be globally unique —\n * enforced by the registry, which reserves the (handful of) first-party names.\n */\nexport function packageNameToSlug(packageName: string): string {\n  return packageName\n    .replace(/^@[^/]+\\//, '') // drop the npm scope (@scope/), keep the basename\n    .replace(/[^a-zA-Z0-9]+/g, '-') // any run of non-alphanumerics → single hyphen\n    .replace(/^-+|-+$/g, '') // trim stray hyphens\n    .toLowerCase();\n}\n\n/**\n * Where each package publishes its IRIs (the identity root). The slug is always\n * derived from the package name; only the root is configurable — `linkedPackage`\n * defaults it to `LINKED_DATA_ROOT` (linked.cm), and CN injects a workspace-scoped\n * root (`{workspaceSlug}.id.create.now`) for private packages.\n */\nconst packageBaseUri = new Map<string, string>();\n\n/** Record a package's publish root. Called by `linkedPackage()`. */\nexport function setPackagePublishConfig(\n  packageName: string,\n  config?: {baseUri?: string},\n): void {\n  packageBaseUri.set(packageName, config?.baseUri ?? LINKED_DATA_ROOT);\n}\n\n/** Resolve a package's publish root, defaulting to linked.cm if undeclared. */\nfunction resolveBaseUri(packageName: string): string {\n  return packageBaseUri.get(packageName) ?? LINKED_DATA_ROOT;\n}\n\n/** Public/first-party package IRI — arch-02: `{baseUri}pkg/{slug}`. */\nexport function getPackageUri(packageName: string): string {\n  return `${resolveBaseUri(packageName)}pkg/${packageNameToSlug(packageName)}`;\n}\n\ntype NodeKindConfig = NodeReferenceValue | NodeReferenceValue[];\n\nexport type PropertyPathInput = PropertyPathDecoratorInput;\nexport type PropertyPathInputList = PropertyPathDecoratorInput;\n\nconst normalizeNodeKind = (\n  nodeKind?: NodeKindConfig,\n  defaultNodeKind?: NodeReferenceValue,\n): NodeReferenceValue | undefined => {\n  if (!nodeKind) {\n    return defaultNodeKind;\n  }\n  if (Array.isArray(nodeKind)) {\n    const ids = nodeKind.map((entry) => entry?.id);\n    const includesBlank = ids.includes(shacl.BlankNode.id);\n    const includesNamed = ids.includes(shacl.IRI.id);\n    const includesLiteral = ids.includes(shacl.Literal.id);\n    if (includesBlank && includesNamed) {\n      return shacl.BlankNodeOrIRI;\n    }\n    if (includesLiteral && includesNamed) {\n      return shacl.IRIOrLiteral;\n    }\n    if (includesLiteral && includesBlank) {\n      return shacl.BlankNodeOrLiteral;\n    }\n    return nodeKind[0];\n  }\n  return nodeKind;\n};\n\nexport interface NodeShapeConfig {\n  /**\n   * Set to true to close the shape. This means any target node of this shape\n   * that has properties outside the defined properties of this shape is invalid.\n   */\n  closed?: boolean;\n  /**\n   * Optional list of properties that are also permitted in addition to those explicitly listed by this shape.\n   */\n  ignoredProperties?: NodeReferenceValue[];\n}\n\nexport interface LiteralPropertyShapeConfig extends PropertyShapeConfig {\n  nodeKind?: NodeReferenceValue;\n  /**\n   * Values of the configured property must be less than the values of this 'lessThan' property.\n   * Value is always a property IRI (pair constraint).\n   */\n  lessThan?: NodeReferenceValue;\n  /**\n   * Values of the configured property must be less than or equal the values of this 'lessThanOrEquals' property.\n   * Value is always a property IRI (pair constraint).\n   */\n  lessThanOrEquals?: NodeReferenceValue;\n  /**\n   * All values of this property must be higher than this number\n   */\n  minExclusive?: number | string;\n  /**\n   * All values of this property must be higher than or equal this number\n   */\n  minInclusive?: number;\n  /**\n   * All values of this property must be lower than this number\n   */\n  maxExclusive?: number;\n  /**\n   * All values of this property must be lower than or equal this number\n   */\n  maxInclusive?: number;\n  /**\n   * All literal values of this property must at least be this long\n   */\n  minLength?: number;\n  /**\n   * All literal values of this property must at most be this long\n   */\n  maxLength?: number;\n  /**\n   * All literal values of this property must match this regular expression\n   */\n  pattern?: RegExp;\n  /**\n   * All literal values of this property must have one of these languages as their language tag\n   */\n  languageIn?: string[];\n  /**\n   * No pair of values may use the same language tag.\n   */\n  uniqueLang?: boolean;\n  /**\n   * Each literal value of this property must use this datatype\n   */\n  datatype?: NodeReferenceValue;\n  /**\n   * Each value of the property must occur in this set.\n   * Use {id: '...'} for IRI nodes, or plain strings/numbers/booleans for literal values.\n   */\n  in?: (NodeReferenceValue | string | number | boolean)[];\n}\n\nexport interface ObjectPropertyShapeConfig extends PropertyShapeConfig {\n  nodeKind?: NodeReferenceValue;\n  /**\n   * Each value of this property must have this class as its rdf:type\n   */\n  class?: NodeReferenceValue;\n  /**\n   * The shape that values of this property path need to confirm to.\n   * You need to provide a class that extends Shape.\n   */\n  shape?: typeof Shape | [string, string];\n  /**\n   * Marks this property as *containment* (composition): the value(s) are owned by the subject\n   * through this property. Ownership is per property: a plain property of another shape on the\n   * same predicate is a reference and owns nothing. Requires `shape` (throws otherwise).\n   *\n   * - Replacing, unsetting or set-removing a value deletes the old node's own triples and blank\n   *   values, and its owned subtree; re-sent `{id}`s are kept.\n   * - Deleting the subject (by id or in bulk) deletes its owned subtree (recursion other than a\n   *   shape owning its own kind stops after `MAX_OWNED_RECURSION` re-entries): the values\n   *   of its `contains` properties, the values their shapes own in turn, and the extra `contains`\n   *   values of registered sub-shapes (followed only from nodes of the sub-shape's class).\n   * - Linking an existing node by `{id}` is class-checked: it is refused when the node is typed\n   *   and none of its types is the shape's class, a registered sub-shape's, or `sh:class`.\n   *\n   * Shape sync also persists a generated SHACL shape for this property (at its property shape's\n   * IRI plus `.singleOwner`, written by the declaring class only) that limits each value of the\n   * predicate to one owner of the declaring class or a registered sub-shape's class. It is not\n   * enforced on write.\n   */\n  contains?: boolean;\n}\n\nexport interface PropertyShapeConfig {\n  /**\n   * The property path of this property shape.\n   *\n   * Four accepted forms, all equivalent where they overlap:\n   *\n   * - **An ontology term** — `documents.confidence`. The idiom for real shapes: it reuses the\n   *   ontology, so a namespace changes in one place. `createNameSpace` returns a `{id}` ref, so\n   *   the term IS the second form and is passed DIRECTLY — never `documents.confidence.id`,\n   *   which unwraps it back to a bare string.\n   * - **A node reference** — `{id: 'https://example.org/vocab#startsAt'}`. What the first form\n   *   produces. Convenient in tests, or wherever an ontology module would be overkill.\n   * - **A bare IRI or prefixed name** — `'https://example.org/vocab#startsAt'`, `'ex:startsAt'`.\n   * - **A path expression** — `'ex:a/ex:b'`, `{seq: [...]}`, `{inv: ...}`, and the other\n   *   operators. An array is read as a sequence.\n   *\n   * A string is parsed as an expression only when it is not a bare absolute IRI: `ex:a/ex:b` is\n   * a sequence, while the `/` inside `https://example.org/vocab#x` belongs to the IRI.\n   */\n  path: PropertyPathInputList;\n  /**\n   * Indicates that this property must exist.\n   * Shorthand for minCount=1\n   */\n  required?: boolean;\n  /**\n   * Each value must be of this node type.\n   */\n  nodeKind?: NodeKindConfig;\n  /**\n   * Minimum number of values required\n   */\n  minCount?: number;\n  /**\n   * Maximum number of values allowed\n   */\n  maxCount?: number;\n  /**\n   * Values of the configured property must equal the values of this 'equals' property.\n   * Value is always a property IRI (pair constraint).\n   */\n  equals?: NodeReferenceValue;\n  /**\n   * Values of the configured property must differ from the values of this 'disjoint' property.\n   * Value is always a property IRI (pair constraint).\n   */\n  disjoint?: NodeReferenceValue;\n  /**\n   * At least one value of this property must equal the given value.\n   * Use {id: '...'} for IRI nodes, or a plain string for literal values.\n   */\n  hasValue?: NodeReferenceValue | string | number | boolean;\n  name?: string;\n  description?: string;\n  order?: number;\n  group?: string;\n  /**\n   * Display importance, lower = more important (`core:displayRank`).\n   * A renderer that can show only N properties shows the N lowest ranks.\n   */\n  displayRank?: number;\n  /** Omit this property from generic rendering (`core:displayHidden`). */\n  displayHidden?: boolean;\n  /**\n   * should correlate to the given datatype or class\n   */\n  defaultValue?: unknown;\n  /**\n   * Each value of the property must occur in this set.\n   * Use {id: '...'} for IRI nodes, or plain strings for literal values.\n   *\n   * @example\n   * in: ['ACTIVE', 'PENDING', 'CLOSED']\n   * in: [{id: 'http://example.org/StatusA'}, {id: 'http://example.org/StatusB'}]\n   */\n  in?: (NodeReferenceValue | string | number | boolean)[];\n  /**\n   * Values of the configured property path are sorted by the values of this property path.\n   */\n  sortBy?: PropertyPathInputList;\n}\n\nconst EXPLICIT_NODE_KIND_SYMBOL = Symbol('explicitNodeKind');\nconst EXPLICIT_MIN_COUNT_SYMBOL = Symbol('explicitMinCount');\nconst EXPLICIT_MAX_COUNT_SYMBOL = Symbol('explicitMaxCount');\n\n/** Internal symbol-keyed flags on a PropertyShapeData object to track which fields were explicitly configured. */\ninterface ExplicitFlags {\n  [EXPLICIT_NODE_KIND_SYMBOL]?: boolean;\n  [EXPLICIT_MIN_COUNT_SYMBOL]?: boolean;\n  [EXPLICIT_MAX_COUNT_SYMBOL]?: boolean;\n}\n\nexport interface ParameterConfig {\n  optional?: number;\n}\n\n/**\n * Static-only DSL handle for the SHACL `sh:NodeShape` meta-shape.\n *\n * Never instantiated — a shape's metadata is a plain {@link NodeShapeData} object\n * (see nodeShapeData.js), and the instance methods that used to live here are now\n * free functions in that module. This class exists only to carry the meta-shape's\n * static `.shape` self-description and to serve as the DSL entry point for reading\n * and writing node-shape SHACL data (`NodeShape.create/select/delete`).\n */\nexport class NodeShape extends Shape {\n  static targetClass = shacl.NodeShape;\n}\n\n/**\n * Static-only DSL handle for the SHACL `sh:PropertyShape` meta-shape.\n *\n * Never instantiated — property-shape metadata is a plain {@link PropertyShapeData}\n * object (see nodeShapeData.js). Exists only for its static `.shape` self-description\n * and as a DSL entry point (`PropertyShape.create/select`).\n */\nexport class PropertyShape extends Shape {\n  static targetClass = shacl.PropertyShape;\n}\n\nconst connectValueShape = <\n  Config extends LiteralPropertyShapeConfig | ObjectPropertyShapeConfig,\n>(\n  config: Config,\n  propertyKey: string,\n  property: PropertyShapeData,\n) => {\n  if ((config as ObjectPropertyShapeConfig).shape) {\n    const shapeConfig = (config as ObjectPropertyShapeConfig).shape;\n\n    if (Array.isArray(shapeConfig)) {\n      const [packageName, shapeName] = shapeConfig;\n      const nodeShapeUri = getNodeShapeUri(packageName, shapeName);\n      property.valueShape = {id: nodeShapeUri};\n    } else {\n      const shapeClass = shapeConfig as typeof Shape;\n      if (shapeClass.shape) {\n        property.valueShape = {id: shapeClass.shape.id};\n      } else {\n        onShapeSetup(\n          shapeConfig,\n          (nodeShape: NodeShapeData) => {\n            property.valueShape = {id: nodeShape.id};\n          },\n          propertyKey,\n        );\n      }\n    }\n  }\n};\n\n/**\n * The DSL-JSON where-clause combinators. A property may not be named after one,\n * because a condition key in those positions has no `{path}` escape (the key is a\n * bare string). See documentation/dsl-json.md (Reserved words).\n */\nconst RESERVED_PROPERTY_LABELS = new Set(['and', 'or', 'not']);\n\nexport function registerPropertyShape(\n  shape: NodeShapeData,\n  propertyShape: PropertyShapeData,\n) {\n  if (RESERVED_PROPERTY_LABELS.has(propertyShape.label)) {\n    throw new Error(\n      `Property label '${propertyShape.label}' is reserved (a DSL-JSON boolean combinator) ` +\n        `and cannot be used as a property name. See documentation/dsl-json.md (Reserved words).`,\n    );\n  }\n  // Not fatal, but the author needs to hear it here rather than from the field tracer.\n  warnOnReservedPropertyLabel(propertyShape.label, shape.label, shape.id);\n  const inherited = getPropertyShapeData(shape, propertyShape.label, true);\n  const existing = getPropertyShapeData(shape, propertyShape.label, false);\n  if (!existing && inherited) {\n    if (!(propertyShape as unknown as ExplicitFlags)[EXPLICIT_MIN_COUNT_SYMBOL]) {\n      propertyShape.minCount = inherited.minCount;\n    }\n    if (!(propertyShape as unknown as ExplicitFlags)[EXPLICIT_MAX_COUNT_SYMBOL]) {\n      propertyShape.maxCount = inherited.maxCount;\n    }\n    if (!(propertyShape as unknown as ExplicitFlags)[EXPLICIT_NODE_KIND_SYMBOL]) {\n      propertyShape.nodeKind = inherited.nodeKind;\n    }\n    validateOverrideTightening(shape, inherited, propertyShape);\n  }\n  if (existing) {\n    Object.assign(existing, propertyShape);\n    return existing;\n  }\n  propertyShape.id = `${shape.id}/${propertyShape.label}`;\n  addPropertyShapeData(shape, propertyShape);\n  return propertyShape;\n}\n\nconst ATOMIC_NODE_KINDS = [\n  shacl.BlankNode.id,\n  shacl.IRI.id,\n  shacl.Literal.id,\n];\n\nconst nodeKindToAtomics = (nodeKind?: NodeReferenceValue): Set<string> => {\n  if (!nodeKind?.id) {\n    return new Set();\n  }\n  switch (nodeKind.id) {\n    case shacl.BlankNode.id:\n    case shacl.IRI.id:\n    case shacl.Literal.id:\n      return new Set([nodeKind.id]);\n    case shacl.BlankNodeOrIRI.id:\n      return new Set([shacl.BlankNode.id, shacl.IRI.id]);\n    case shacl.IRIOrLiteral.id:\n      return new Set([shacl.IRI.id, shacl.Literal.id]);\n    case shacl.BlankNodeOrLiteral.id:\n      return new Set([shacl.BlankNode.id, shacl.Literal.id]);\n    default:\n      return new Set(ATOMIC_NODE_KINDS);\n  }\n};\n\nconst throwOverrideError = (\n  shape: NodeShapeData,\n  propertyShape: PropertyShapeData,\n  message: string,\n) => {\n  throw new Error(\n    `Invalid override for ${shape.label}.${propertyShape.label}: ${message}`,\n  );\n};\n\nconst validateOverrideTightening = (\n  shape: NodeShapeData,\n  base: PropertyShapeData,\n  override: PropertyShapeData,\n) => {\n  if (\n    typeof base.minCount === 'number' &&\n    typeof override.minCount === 'number' &&\n    override.minCount < base.minCount\n  ) {\n    throwOverrideError(\n      shape,\n      override,\n      `minCount cannot be lowered (${base.minCount} -> ${override.minCount}).`,\n    );\n  }\n\n  if (\n    typeof base.maxCount === 'number' &&\n    typeof override.maxCount === 'number' &&\n    override.maxCount > base.maxCount\n  ) {\n    throwOverrideError(\n      shape,\n      override,\n      `maxCount cannot be increased (${base.maxCount} -> ${override.maxCount}).`,\n    );\n  }\n\n  if (base.nodeKind && override.nodeKind) {\n    const baseKinds = nodeKindToAtomics(base.nodeKind);\n    const overrideKinds = nodeKindToAtomics(override.nodeKind);\n    const widensNodeKind = [...overrideKinds].some((kind) => !baseKinds.has(kind));\n    if (widensNodeKind) {\n      throwOverrideError(\n        shape,\n        override,\n        `nodeKind cannot be widened (${base.nodeKind.id} -> ${override.nodeKind.id}).`,\n      );\n    }\n  }\n};\n\nexport function createPropertyShape<\n  Config extends LiteralPropertyShapeConfig | ObjectPropertyShapeConfig,\n>(\n  config: Config,\n  propertyKey: string,\n  defaultNodeKind: NodeReferenceValue = null,\n  shapeClass: typeof Shape | [string, string] = null,\n) {\n  const propertyShape = createPropertyShapeData();\n  propertyShape.path = normalizePropertyPath(config.path);\n  propertyShape.label = propertyKey;\n\n  if (config.name) {\n    propertyShape.name = config.name;\n  }\n  if (config.description) {\n    propertyShape.description = config.description;\n  }\n\n  if (config.required) {\n    propertyShape.minCount = 1;\n  } else if (config.minCount !== undefined) {\n    propertyShape.minCount = config.minCount;\n  }\n  (propertyShape as unknown as ExplicitFlags)[EXPLICIT_MIN_COUNT_SYMBOL] =\n    config.required === true || config.minCount !== undefined;\n\n  if (config.maxCount !== undefined) {\n    propertyShape.maxCount = config.maxCount;\n  }\n  (propertyShape as unknown as ExplicitFlags)[EXPLICIT_MAX_COUNT_SYMBOL] =\n    config.maxCount !== undefined;\n  if ((config as LiteralPropertyShapeConfig).datatype) {\n    propertyShape.datatype = toNodeReference(\n      (config as LiteralPropertyShapeConfig).datatype,\n    );\n  }\n\n  if ((config as ObjectPropertyShapeConfig).class) {\n    propertyShape.class = toNodeReference(\n      (config as ObjectPropertyShapeConfig).class,\n    );\n  }\n\n  if ((config as ObjectPropertyShapeConfig).contains) {\n    // Ownership is walked shape by shape, so an owned value needs a shape to walk into. A\n    // polymorphic slot holding blank structure needs no `contains`: blank values are deleted\n    // through their blank-capable `nodeKind`.\n    if (!(config as ObjectPropertyShapeConfig).shape) {\n      throw new Error(\n        `The contains property \"${propertyKey}\" needs a \\`shape\\`: ownership follows the value ` +\n          `shape to what it owns in turn. Declare the value's shape, or drop \\`contains\\` (a blank ` +\n          `value is deleted through a blank-capable \\`nodeKind\\` without it).`,\n      );\n    }\n    propertyShape.contains = true;\n  }\n\n  if (config.equals) {\n    propertyShape.equalsConstraint = toNodeReference(config.equals);\n  }\n  if (config.disjoint) {\n    propertyShape.disjoint = toNodeReference(config.disjoint);\n  }\n  if ((config as LiteralPropertyShapeConfig).lessThan) {\n    propertyShape.lessThan = toNodeReference((config as LiteralPropertyShapeConfig).lessThan);\n  }\n  if ((config as LiteralPropertyShapeConfig).lessThanOrEquals) {\n    propertyShape.lessThanOrEquals = toNodeReference((config as LiteralPropertyShapeConfig).lessThanOrEquals);\n  }\n  // Value-range / string-length / pattern constraints (report 021 §3, G5). These are\n  // recorded on the shape and serialized to SHACL; there is no DSL-side runtime\n  // enforcement — they describe the shape for validators / introspection.\n  {\n    const lit = config as LiteralPropertyShapeConfig;\n    if (lit.minInclusive !== undefined) propertyShape.minInclusive = lit.minInclusive;\n    if (lit.maxInclusive !== undefined) propertyShape.maxInclusive = lit.maxInclusive;\n    if (lit.minExclusive !== undefined) propertyShape.minExclusive = lit.minExclusive;\n    if (lit.maxExclusive !== undefined) propertyShape.maxExclusive = lit.maxExclusive;\n    if (lit.minLength !== undefined) propertyShape.minLength = lit.minLength;\n    if (lit.maxLength !== undefined) propertyShape.maxLength = lit.maxLength;\n    if (lit.pattern !== undefined) propertyShape.pattern = lit.pattern;\n  }\n  if (config.hasValue !== undefined) {\n    const v = config.hasValue;\n    propertyShape.hasValueConstraint = typeof v === 'object' && v !== null ? toNodeReference(v) : v;\n  }\n  if (config.defaultValue !== undefined) {\n    propertyShape.defaultValue = config.defaultValue;\n  }\n  if (config.in) {\n    propertyShape.in = config.in.map((entry) =>\n      typeof entry === 'object' && entry !== null ? toNodeReference(entry) : entry,\n    );\n  }\n  if (config.sortBy) {\n    propertyShape.sortBy = normalizePropertyPath(config.sortBy);\n  }\n  // Arrangement + display metadata. `order` and `group` were declared on the config\n  // but never copied onto the property shape, so a declared `sh:order` was silently\n  // dropped and every renderer fell back to array position. Carried now, alongside\n  // the two display terms.\n  if (config.order !== undefined) propertyShape.order = config.order;\n  if (config.group !== undefined) propertyShape.group = config.group;\n  if (config.displayRank !== undefined) propertyShape.displayRank = config.displayRank;\n  if (config.displayHidden !== undefined)\n    propertyShape.displayHidden = config.displayHidden;\n\n  propertyShape.nodeKind = normalizeNodeKind(config.nodeKind, defaultNodeKind);\n  (propertyShape as unknown as ExplicitFlags)[EXPLICIT_NODE_KIND_SYMBOL] =\n    config.nodeKind !== undefined;\n\n  if (shapeClass) {\n    onShapeSetup(shapeClass, (shape: NodeShapeData) => {\n      connectValueShape(config, propertyKey, propertyShape);\n      registerPropertyShape(shape, propertyShape);\n    });\n  }\n\n  return propertyShape;\n}\n\nexport function onShapeSetup(\n  shapeClass: typeof Shape | [string, string],\n  callback: (shape: NodeShapeData) => void,\n  propertyName?: string,\n  waitForSuperShapes?: boolean,\n) {\n  const cb = waitForSuperShapes\n    ? (shape: NodeShapeData) => {\n        const superClass = Object.getPrototypeOf(shapeClass) as typeof Shape;\n        if (superClass.name === 'Shape') {\n          callback(shape);\n          return;\n        }\n        if (superClass.name === '') {\n          console.error(\n            `Shape ${shape.label} does not extend base class lincd/shapes/Shape. Make sure it extends Shape.`,\n          );\n          return;\n        }\n        onShapeSetup(\n          superClass,\n          () => {\n            callback(shape);\n          },\n          propertyName,\n          waitForSuperShapes,\n        );\n      }\n    : callback;\n\n  const safeCallback = (\n    targetShapeClass: typeof Shape,\n    innerCallback: (shape: NodeShapeData) => void,\n  ) => {\n    if (targetShapeClass.hasOwnProperty('shape')) {\n      innerCallback((targetShapeClass as typeof Shape).shape);\n    } else {\n      if (!targetShapeClass['shapeCallbacks']) {\n        targetShapeClass['shapeCallbacks'] = [];\n      }\n      targetShapeClass['shapeCallbacks'].push(innerCallback);\n    }\n  };\n\n  if (Array.isArray(shapeClass)) {\n    const [packageName, shapeName] = shapeClass;\n    const nodeShapeId = getNodeShapeUri(packageName, shapeName);\n    if (typeof document !== 'undefined') {\n      window.addEventListener('load', () => {\n        const resolved = getShapeClass(nodeShapeId);\n        if (!resolved) {\n          console.warn(\n            `Could not find value shape (${packageName}/${shapeName}) for accessor get ${propertyName}(). Likely because it is not bundled.`,\n          );\n          return;\n        }\n        safeCallback(resolved as unknown as typeof Shape, cb);\n      });\n    } else {\n      addNodeShapeCallback(nodeShapeId, cb);\n    }\n  } else {\n    safeCallback(shapeClass, cb);\n  }\n}\n\nconst _linkedProperty = <\n  Config extends ObjectPropertyShapeConfig | LiteralPropertyShapeConfig,\n>(\n  config: Config,\n  defaultNodeKind: NodeReferenceValue = null,\n) => {\n  return function (\n    target: any,\n    propertyKey: string,\n    _descriptor: PropertyDescriptor,\n  ) {\n    createPropertyShape(config, propertyKey, defaultNodeKind, target.constructor);\n  };\n};\n\nexport const literalProperty = (config: LiteralPropertyShapeConfig) => {\n  return _linkedProperty<LiteralPropertyShapeConfig>(config, shacl.Literal);\n};\n\nexport const objectProperty = (config: ObjectPropertyShapeConfig) => {\n  return _linkedProperty<ObjectPropertyShapeConfig>(config, shacl.IRI);\n};\n\nexport const linkedProperty = (\n  config: ObjectPropertyShapeConfig | LiteralPropertyShapeConfig,\n) => {\n  return _linkedProperty(config);\n};\n\nexport function disallowProperty(\n  target: any,\n  propertyKey: string,\n  _descriptor: PropertyDescriptor,\n) {\n  onShapeSetup(\n    target.constructor,\n    (shape: NodeShapeData) => {\n      const superClass = Object.getPrototypeOf(target.constructor) as typeof Shape;\n      const superNodeShape = superClass.shape;\n      const superPropertyShape = getPropertyShapeData(\n        superNodeShape,\n        propertyKey,\n        true,\n      );\n      if (!superPropertyShape) {\n        console.warn(\n          `Property ${propertyKey} not found in super class ${superClass.name} or any of its super classes. Does it have a property decorator? Cannot disallow property ${target.constructor.name}.${propertyKey}`,\n        );\n        return;\n      }\n      const clonedPropertyShape = clonePropertyShape(superPropertyShape);\n      clonedPropertyShape.maxCount = 0;\n      registerPropertyShape(shape, clonedPropertyShape);\n    },\n    '',\n    true,\n  );\n}\n\nexport function getNodeShapeUri(packageName: string, shapeName: string): string {\n  // arch-02: `{baseUri}shape/{packageSlug}/{ShapeName}` — ShapeName kept PascalCase\n  // (it is a class name, already URI-safe), packageSlug derived from the name.\n  return `${resolveBaseUri(packageName)}shape/${packageNameToSlug(packageName)}/${shapeName}`;\n}\n\nconst nodeShapeCallbacks = new Map<string, ((shape: NodeShapeData) => void)[]>();\nexport function getAndClearCallbacks(\n  nodeShapeId: string,\n): ((shape: NodeShapeData) => void)[] {\n  const callbacks = nodeShapeCallbacks.get(nodeShapeId);\n  nodeShapeCallbacks.delete(nodeShapeId);\n  return callbacks;\n}\nexport const addNodeShapeCallback = (\n  nodeShapeId: string,\n  callback: (shape: NodeShapeData) => void,\n) => {\n  if (!nodeShapeCallbacks.has(nodeShapeId)) {\n    nodeShapeCallbacks.set(nodeShapeId, []);\n  }\n  nodeShapeCallbacks.get(nodeShapeId).push(callback);\n};\n"]}

package/lib/esm/shapes/nodeShapeData.d.ts

@@ -60,7 +60,10 @@ export interface NodeShapeData {
     description?: string;
     targetClass?: NodeReferenceValue;
     extends?: NodeReferenceValue;
-    /** Composition marker: instances are dependent (cascade-deletable via `contains`). */
+    /**
+     * @deprecated No effect: every node a `contains` property reaches is deleted with its owner.
+     * Kept for shapes that declare it and persisted as `core:dependent`.
+     */
     dependent?: boolean;
     /** sh:closed — target nodes with undeclared properties are invalid. */
     closed?: boolean;

package/lib/esm/shapes/nodeShapeData.js.map

@@ -1 +1 @@
-{"version":3,"file":"nodeShapeData.js","sourceRoot":"","sources":["../../../src/shapes/nodeShapeData.ts"],"names":[],"mappings":"AAOA,OAAO,EAAC,gBAAgB,EAAE,kBAAkB,EAAE,cAAc,EAAC,MAAM,wBAAwB,CAAC;AAsG5F,8EAA8E;AAC9E,YAAY;AACZ,8EAA8E;AAE9E,yEAAyE;AACzE,MAAM,UAAU,mBAAmB,CAAC,EAAU;IAC5C,OAAO,EAAC,EAAE,EAAE,cAAc,EAAE,EAAE,EAAC,CAAC;AAClC,CAAC;AAED,qFAAqF;AACrF,MAAM,UAAU,uBAAuB;IACrC,OAAO,EAAC,EAAE,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,IAAI,EAAE,IAA2B,EAAC,CAAC;AAChE,CAAC;AAED,8EAA8E;AAC9E,qEAAqE;AACrE,8EAA8E;AAE9E,kFAAkF;AAClF,MAAM,2BAA2B,GAAG,IAAI,GAAG,EAAU,CAAC;AAEtD;;;;;;;GAOG;AACH,SAAS,iBAAiB,CAAC,SAAwB;;IACjD,MAAM,GAAG,GAAI,SAAoD,CAAC,cAAc,CAAC;IACjF,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;QACvB,OAAO,GAAG,CAAC;IACb,CAAC;IACD,MAAM,EAAE,GAAG,MAAC,SAA2B,CAAC,EAAE,mCAAI,EAAE,CAAC;IACjD,IAAI,CAAC,2BAA2B,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;QACzC,2BAA2B,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACpC,OAAO,CAAC,IAAI,CACV,gCAAgC,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC,cAAc,eAAe;YAC5E,uEAAuE;YACvE,0EAA0E,CAC7E,CAAC;IACJ,CAAC;IACD,OAAO,EAAE,CAAC;AACZ,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,iBAAiB,CAC/B,SAAwB,EACxB,sBAA+B,KAAK;IAEpC,IAAI,CAAC,mBAAmB,EAAE,CAAC;QACzB,OAAO,CAAC,GAAG,iBAAiB,CAAC,SAAS,CAAC,CAAC,CAAC;IAC3C,CAAC;IACD,8EAA8E;IAC9E,kFAAkF;IAClF,qFAAqF;IACrF,qFAAqF;IACrF,+EAA+E;IAC/E,2BAA2B;IAC3B,MAAM,GAAG,GAAwB,CAAC,GAAG,iBAAiB,CAAC,SAAS,CAAC,CAAC,CAAC;IACnE,KAAK,MAAM,UAAU,IAAI,cAAc,CAAC,SAAS,CAAC,EAAE,CAAC;QACnD,GAAG,CAAC,IAAI,CAAC,GAAG,iBAAiB,CAAC,UAAU,CAAC,CAAC,CAAC;IAC7C,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,8EAA8E;AAC9E,8BAA8B;AAC9B,8EAA8E;AAE9E,oFAAoF;AACpF,mEAAmE;AACnE,MAAM,kBAAkB,GAAG,IAAI,GAAG,EAA6B,CAAC;AAChE,IAAI,yBAAyB,GAAG,CAAC,CAAC,CAAC;AAEnC;;;;;;;;;;;;;;GAcG;AACH,MAAM,UAAU,qBAAqB,CAAC,UAAkB;IACtD,MAAM,OAAO,GAAG,kBAAkB,EAAE,CAAC;IACrC,IAAI,OAAO,KAAK,yBAAyB,EAAE,CAAC;QAC1C,kBAAkB,CAAC,KAAK,EAAE,CAAC;QAC3B,yBAAyB,GAAG,OAAO,CAAC;IACtC,CAAC;IACD,MAAM,MAAM,GAAG,kBAAkB,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;IAClD,IAAI,MAAM;QAAE,OAAO,MAAM,CAAC;IAE1B,KAAK,MAAM,SAAS,IAAI,gBAAgB,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC;QACpD,MAAM,aAAa,GAAG,iBAAiB,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC,IAAI,CAC3D,CAAC,IAAmB,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,KAAK,UAAU,CAChD,CAAC;QACF,IAAI,aAAa,EAAE,CAAC;YAClB,kBAAkB,CAAC,GAAG,CAAC,UAAU,EAAE,aAAa,CAAC,CAAC;YAClD,OAAO,aAAa,CAAC;QACvB,CAAC;IACH,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,2FAA2F;AAC3F,MAAM,UAAU,uBAAuB,CACrC,SAAwB;IAExB,MAAM,MAAM,GAAwB,EAAE,CAAC;IACvC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,KAAK,MAAM,EAAE,IAAI,iBAAiB,CAAC,SAAS,EAAE,IAAI,CAAC,EAAE,CAAC;QACpD,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC;YACxB,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;YACnB,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAClB,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,gBAAgB,CAC9B,SAAwB,EACxB,KAAa,EACb,iBAA0B,IAAI;IAE9B,MAAM,GAAG,GAAG,iBAAiB,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,KAAK,KAAK,KAAK,CAAC,CAAC;IAC1E,IAAI,GAAG,IAAI,CAAC,cAAc;QAAE,OAAO,GAAG,CAAC;IACvC,KAAK,MAAM,UAAU,IAAI,cAAc,CAAC,SAAS,CAAC,EAAE,CAAC;QACnD,MAAM,SAAS,GAAG,iBAAiB,CAAC,UAAU,CAAC,CAAC,IAAI,CAClD,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,KAAK,KAAK,KAAK,CAC3B,CAAC;QACF,IAAI,SAAS;YAAE,OAAO,SAAS,CAAC;IAClC,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,8DAA8D;AAC9D,MAAM,UAAU,eAAe,CAAC,CAAgB,EAAE,CAAiB;IACjE,OAAO,CAAC,CAAC,CAAC,IAAI,CAAA,CAAC,aAAD,CAAC,uBAAD,CAAC,CAAE,EAAE,MAAK,CAAC,CAAC,EAAE,CAAC;AAC/B,CAAC;AAED,0EAA0E;AAC1E,MAAM,UAAU,gBAAgB,CAC9B,SAAwB,EACxB,aAAgC;IAEhC,aAAa,CAAC,eAAe,GAAG,SAAS,CAAC;IAC1C,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,SAAS,CAAC,cAAc,CAAC,EAAE,CAAC;QAC7C,SAAS,CAAC,cAAc,GAAG,EAAE,CAAC;IAChC,CAAC;IACD,SAAS,CAAC,cAAc,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;AAC/C,CAAC;AAED,6EAA6E;AAC7E,MAAM,UAAU,kBAAkB,CAChC,aAAgC;IAEhC,yBAAW,aAAa,EAAE;AAC5B,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,qBAAqB,CAAC,EAAqB;IACzD,MAAM,MAAM,GAA0E;QACpF,EAAE,EAAE,EAAE,CAAC,EAAE;QACT,KAAK,EAAE,EAAE,CAAC,KAAK;QACf,IAAI,EAAE,EAAE,CAAC,IAAI;KACd,CAAC;IACF,IAAI,EAAE,CAAC,QAAQ;QAAE,MAAM,CAAC,QAAQ,GAAG,EAAE,CAAC,QAAQ,CAAC;IAC/C,IAAI,EAAE,CAAC,QAAQ;QAAE,MAAM,CAAC,QAAQ,GAAG,EAAE,CAAC,QAAQ,CAAC;IAC/C,IAAI,OAAO,EAAE,CAAC,QAAQ,KAAK,QAAQ;QAAE,MAAM,CAAC,QAAQ,GAAG,EAAE,CAAC,QAAQ,CAAC;IACnE,IAAI,OAAO,EAAE,CAAC,QAAQ,KAAK,QAAQ;QAAE,MAAM,CAAC,QAAQ,GAAG,EAAE,CAAC,QAAQ,CAAC;IACnE,IAAI,EAAE,CAAC,IAAI;QAAE,MAAM,CAAC,IAAI,GAAG,EAAE,CAAC,IAAI,CAAC;IACnC,IAAI,EAAE,CAAC,WAAW;QAAE,MAAM,CAAC,WAAW,GAAG,EAAE,CAAC,WAAW,CAAC;IACxD,IAAI,OAAO,EAAE,CAAC,KAAK,KAAK,QAAQ;QAAE,MAAM,CAAC,KAAK,GAAG,EAAE,CAAC,KAAK,CAAC;IAC1D,IAAI,EAAE,CAAC,KAAK;QAAE,MAAM,CAAC,KAAK,GAAG,EAAE,CAAC,KAAK,CAAC;IACtC,IAAI,EAAE,CAAC,KAAK;QAAE,MAAM,CAAC,KAAK,GAAG,EAAE,CAAC,KAAK,CAAC;IACtC,IAAI,EAAE,CAAC,EAAE;QAAE,MAAM,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;IAC7B,IAAI,EAAE,CAAC,gBAAgB;QAAE,MAAM,CAAC,MAAM,GAAG,EAAE,CAAC,gBAAgB,CAAC;IAC7D,IAAI,EAAE,CAAC,QAAQ;QAAE,MAAM,CAAC,QAAQ,GAAG,EAAE,CAAC,QAAQ,CAAC;IAC/C,IAAI,EAAE,CAAC,QAAQ;QAAE,MAAM,CAAC,QAAQ,GAAG,EAAE,CAAC,QAAQ,CAAC;IAC/C,IAAI,EAAE,CAAC,gBAAgB;QAAE,MAAM,CAAC,gBAAgB,GAAG,EAAE,CAAC,gBAAgB,CAAC;IACvE,IAAI,EAAE,CAAC,YAAY,KAAK,SAAS;QAAE,MAAM,CAAC,YAAY,GAAG,EAAE,CAAC,YAAY,CAAC;IACzE,IAAI,EAAE,CAAC,YAAY,KAAK,SAAS;QAAE,MAAM,CAAC,YAAY,GAAG,EAAE,CAAC,YAAY,CAAC;IACzE,IAAI,EAAE,CAAC,YAAY,KAAK,SAAS;QAAE,MAAM,CAAC,YAAY,GAAG,EAAE,CAAC,YAAY,CAAC;IACzE,IAAI,EAAE,CAAC,YAAY,KAAK,SAAS;QAAE,MAAM,CAAC,YAAY,GAAG,EAAE,CAAC,YAAY,CAAC;IACzE,IAAI,OAAO,EAAE,CAAC,SAAS,KAAK,QAAQ;QAAE,MAAM,CAAC,SAAS,GAAG,EAAE,CAAC,SAAS,CAAC;IACtE,IAAI,OAAO,EAAE,CAAC,SAAS,KAAK,QAAQ;QAAE,MAAM,CAAC,SAAS,GAAG,EAAE,CAAC,SAAS,CAAC;IACtE,IAAI,EAAE,CAAC,OAAO;QAAE,MAAM,CAAC,OAAO,GAAG,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC;IACnD,IAAI,EAAE,CAAC,kBAAkB,KAAK,SAAS;QAAE,MAAM,CAAC,QAAQ,GAAG,EAAE,CAAC,kBAAkB,CAAC;IACjF,IAAI,EAAE,CAAC,YAAY,KAAK,SAAS;QAAE,MAAM,CAAC,YAAY,GAAG,EAAE,CAAC,YAAY,CAAC;IACzE,IAAI,EAAE,CAAC,MAAM;QAAE,MAAM,CAAC,MAAM,GAAG,EAAE,CAAC,MAAM,CAAC;IACzC,IAAI,EAAE,CAAC,UAAU;QAAE,MAAM,CAAC,UAAU,GAAG,EAAE,CAAC,UAAU,CAAC;IACrD,OAAO,MAA6B,CAAC;AACvC,CAAC","sourcesContent":["/*\n * This Source Code Form is subject to the terms of the Mozilla Public\n * License, v. 2.0. If a copy of the MPL was not distributed with this\n * file, You can obtain one at https://mozilla.org/MPL/2.0/.\n */\nimport type {NodeReferenceValue} from '../utils/NodeReference.js';\nimport type {PathExpr} from '../paths/PropertyPathExpr.js';\nimport {getAllNodeShapes, getRegistryVersion, getSuperShapes} from '../utils/ShapeClass.js';\n\n/**\n * Plain-object SHACL metadata — the QResult-like shape of a `sh:PropertyShape`.\n *\n * Shapes are metadata, not data: a shape class's `.shape` and its property shapes\n * are plain objects (no class instance, no methods). Operations that used to be\n * instance methods now live as free functions in this module.\n */\nexport interface PropertyShapeData {\n  id: string;\n  label: string;\n  path: PathExpr;\n  nodeKind?: NodeReferenceValue;\n  datatype?: NodeReferenceValue;\n  minCount?: number;\n  maxCount?: number;\n  name?: string;\n  description?: string;\n  order?: number;\n  group?: string;\n  /**\n   * `core:displayRank` — a single linear importance rank, lower = more\n   * important. Truncated display contexts (\"the top 3 properties\") derive from it.\n   * Distinct from `order`, which is arrangement rather than importance.\n   */\n  displayRank?: number;\n  /** `core:displayHidden` — omit from generic rendering. */\n  displayHidden?: boolean;\n  class?: NodeReferenceValue;\n  in?: (NodeReferenceValue | string | number | boolean)[];\n  equalsConstraint?: NodeReferenceValue;\n  disjoint?: NodeReferenceValue;\n  lessThan?: NodeReferenceValue;\n  lessThanOrEquals?: NodeReferenceValue;\n  /** Value-range constraints (sh:minInclusive / sh:maxInclusive / sh:minExclusive / sh:maxExclusive). */\n  minInclusive?: number;\n  maxInclusive?: number;\n  minExclusive?: number | string;\n  maxExclusive?: number;\n  /** String-length constraints (sh:minLength / sh:maxLength). */\n  minLength?: number;\n  maxLength?: number;\n  /** Regex constraint (sh:pattern); serialized as its source string. */\n  pattern?: RegExp;\n  hasValueConstraint?: NodeReferenceValue | string | number | boolean;\n  defaultValue?: unknown;\n  sortBy?: PathExpr;\n  valueShape?: NodeReferenceValue;\n  /** Composition marker: the value(s) of this property are owned by the subject. */\n  contains?: boolean;\n  parentNodeShape?: NodeShapeData;\n}\n\n/**\n * Plain-object SHACL metadata — the QResult-like shape of a `sh:NodeShape`.\n */\nexport interface NodeShapeData {\n  id: string;\n  label?: string;\n  description?: string;\n  targetClass?: NodeReferenceValue;\n  extends?: NodeReferenceValue;\n  /** Composition marker: instances are dependent (cascade-deletable via `contains`). */\n  dependent?: boolean;\n  /** sh:closed — target nodes with undeclared properties are invalid. */\n  closed?: boolean;\n  /** sh:ignoredProperties — extra properties permitted when the shape is closed. */\n  ignoredProperties?: NodeReferenceValue[];\n  propertyShapes: PropertyShapeData[];\n}\n\n/**\n * Result object produced by `propertyShapeToResult()` (SHACL projection).\n * @deprecated No production callers remain (the `NodeShape.properties` getter and\n * `PropertyShape.getResult()` were removed with the plain-object conversion). Read\n * the plain `PropertyShapeData` fields directly. Scheduled for removal.\n */\nexport interface PropertyShapeResult {\n  id: string;\n  label: string;\n  path: PathExpr;\n  nodeKind?: NodeReferenceValue;\n  datatype?: NodeReferenceValue;\n  minCount?: number;\n  maxCount?: number;\n  name?: string;\n  description?: string;\n  order?: number;\n  group?: string;\n  class?: NodeReferenceValue;\n  in?: (NodeReferenceValue | string | number | boolean)[];\n  equals?: NodeReferenceValue;\n  disjoint?: NodeReferenceValue;\n  lessThan?: NodeReferenceValue;\n  lessThanOrEquals?: NodeReferenceValue;\n  hasValue?: NodeReferenceValue | string | number | boolean;\n  defaultValue?: unknown;\n  sortBy?: PathExpr;\n  valueShape?: NodeReferenceValue;\n}\n\n// ---------------------------------------------------------------------------\n// Factories\n// ---------------------------------------------------------------------------\n\n/** Create an empty NodeShape metadata object for the given shape IRI. */\nexport function createNodeShapeData(id: string): NodeShapeData {\n  return {id, propertyShapes: []};\n}\n\n/** Create a blank PropertyShape metadata object (fields filled in by the caller). */\nexport function createPropertyShapeData(): PropertyShapeData {\n  return {id: '', label: '', path: null as unknown as PathExpr};\n}\n\n// ---------------------------------------------------------------------------\n// Free functions (formerly NodeShape/PropertyShape instance methods)\n// ---------------------------------------------------------------------------\n\n/** One-time warning keys for shapes whose `propertyShapes` is missing/invalid. */\nconst warnedMissingPropertyShapes = new Set<string>();\n\n/**\n * Read a node shape's own property shapes, tolerating a missing/invalid array.\n *\n * A non-array `propertyShapes` almost always means a duplicate `@_linked/core`\n * install or a non-normalized static shape on a superclass; warn once per shape id\n * (diagnostic parity with the former `NodeShape.listPropertyShapesSafe`) and treat\n * it as empty.\n */\nfunction ownPropertyShapes(nodeShape: NodeShapeData): PropertyShapeData[] {\n  const own = (nodeShape as {propertyShapes?: PropertyShapeData[]}).propertyShapes;\n  if (Array.isArray(own)) {\n    return own;\n  }\n  const id = (nodeShape as {id?: string}).id ?? '';\n  if (!warnedMissingPropertyShapes.has(id)) {\n    warnedMissingPropertyShapes.add(id);\n    console.warn(\n      `[@_linked/core] static shape ${id ? `'${id}'` : '(unknown id)'} has missing ` +\n        `or invalid propertyShapes. Treating as []. Often caused by duplicate ` +\n        `@_linked/core installs or a non-normalized static shape on a superclass.`,\n    );\n  }\n  return [];\n}\n\n/**\n * Property shapes declared on this NodeShape. With `includeSuperClasses`, walks the\n * inheritance chain via `getSuperShapes` and concatenates each ancestor's own property\n * shapes — the prototype chain for a class-backed shape, `extends` for one known only\n * as data.\n */\nexport function getPropertyShapes(\n  nodeShape: NodeShapeData,\n  includeSuperClasses: boolean = false,\n): PropertyShapeData[] {\n  if (!includeSuperClasses) {\n    return [...ownPropertyShapes(nodeShape)];\n  }\n  // One inheritance walk, shared with getSuperShapes: the prototype chain for a\n  // class-backed shape (which includes the framework `Shape` root and its `label` /\n  // `type` properties), or `extends` through the registry for a shape that exists only\n  // as data. Previously this walked the prototype chain directly and returned ONLY own\n  // properties when no class existed — so a project-authored shape silently lost\n  // everything it inherited.\n  const res: PropertyShapeData[] = [...ownPropertyShapes(nodeShape)];\n  for (const superShape of getSuperShapes(nodeShape)) {\n    res.push(...ownPropertyShapes(superShape));\n  }\n  return res;\n}\n\n// ---------------------------------------------------------------------------\n// Property-shape lookup by id\n// ---------------------------------------------------------------------------\n\n// The registry scan behind predicate, datatype and dependency resolution, cached on\n// successful lookups only and invalidated by the registry version.\nconst propertyShapeCache = new Map<string, PropertyShapeData>();\nlet propertyShapeCacheVersion = -1;\n\n/**\n * Find the property shape declared under a property-shape IRI, across every\n * registered node shape.\n *\n * Scans the METAMODEL registry, which holds every shape — authored or data-only.\n * Scanning the class registry meant a data-only property was never found, and the\n * caller then fell through to emitting the PROPERTY SHAPE's IRI as the SPARQL\n * predicate: a silently wrong query that matched nothing, with no error.\n *\n * Cache keyed on the registration version rather than the registry SIZE. Size does not\n * change when a shape is re-registered in place, which is exactly what happens when a\n * shape is edited and its metadata replaced. Only successful resolutions are cached — a\n * not-found is never stored, so a property resolved before its shape registers can\n * still resolve correctly afterwards.\n */\nexport function findPropertyShapeById(propertyId: string): PropertyShapeData | undefined {\n  const version = getRegistryVersion();\n  if (version !== propertyShapeCacheVersion) {\n    propertyShapeCache.clear();\n    propertyShapeCacheVersion = version;\n  }\n  const cached = propertyShapeCache.get(propertyId);\n  if (cached) return cached;\n\n  for (const nodeShape of getAllNodeShapes().values()) {\n    const propertyShape = getPropertyShapes(nodeShape, true).find(\n      (prop: {id?: string}) => prop.id === propertyId,\n    );\n    if (propertyShape) {\n      propertyShapeCache.set(propertyId, propertyShape);\n      return propertyShape;\n    }\n  }\n  return undefined;\n}\n\n/** Property shapes across the inheritance chain, deduped by label (most specific wins). */\nexport function getUniquePropertyShapes(\n  nodeShape: NodeShapeData,\n): PropertyShapeData[] {\n  const unique: PropertyShapeData[] = [];\n  const seen = new Set<string>();\n  for (const ps of getPropertyShapes(nodeShape, true)) {\n    if (!seen.has(ps.label)) {\n      seen.add(ps.label);\n      unique.push(ps);\n    }\n  }\n  return unique;\n}\n\n/**\n * Find a property shape by label. With `checkSubShapes` (default true), ascends the\n * inheritance chain if the label isn't found locally.\n *\n * Shares `getSuperShapes` with {@link getPropertyShapes}, so the singular and plural\n * lookups can never disagree about what a shape inherits — and so a shape registered\n * from data resolves inherited properties through `extends` rather than stopping at its\n * own. This is what `getPropertyShapeByLabel` delegates to (PR #211), so closing the gap\n * here closes it for the query proxies too. See docs/backlog/040.\n */\nexport function getPropertyShape(\n  nodeShape: NodeShapeData,\n  label: string,\n  checkSubShapes: boolean = true,\n): PropertyShapeData | undefined {\n  const own = ownPropertyShapes(nodeShape).find((ps) => ps.label === label);\n  if (own || !checkSubShapes) return own;\n  for (const superShape of getSuperShapes(nodeShape)) {\n    const inherited = ownPropertyShapes(superShape).find(\n      (ps) => ps.label === label,\n    );\n    if (inherited) return inherited;\n  }\n  return undefined;\n}\n\n/** Two node shapes are equal when they share the same IRI. */\nexport function nodeShapeEquals(a: NodeShapeData, b?: NodeShapeData): boolean {\n  return !!b && a?.id === b.id;\n}\n\n/** Append a property shape to a node shape, wiring the back-reference. */\nexport function addPropertyShape(\n  nodeShape: NodeShapeData,\n  propertyShape: PropertyShapeData,\n): void {\n  propertyShape.parentNodeShape = nodeShape;\n  if (!Array.isArray(nodeShape.propertyShapes)) {\n    nodeShape.propertyShapes = [];\n  }\n  nodeShape.propertyShapes.push(propertyShape);\n}\n\n/** Shallow-clone a property shape (used by property override / disallow). */\nexport function clonePropertyShape(\n  propertyShape: PropertyShapeData,\n): PropertyShapeData {\n  return {...propertyShape};\n}\n\n/**\n * Project a property shape to its SHACL result object.\n * @deprecated No production callers remain. Read the plain `PropertyShapeData`\n * fields directly (note this projection renames `equalsConstraint`→`equals`,\n * `hasValueConstraint`→`hasValue`, and serializes `pattern` to its source string).\n * Scheduled for removal.\n */\nexport function propertyShapeToResult(ps: PropertyShapeData): PropertyShapeResult {\n  const result: Record<string, unknown> & {id: string; label: string; path: PathExpr} = {\n    id: ps.id,\n    label: ps.label,\n    path: ps.path,\n  };\n  if (ps.nodeKind) result.nodeKind = ps.nodeKind;\n  if (ps.datatype) result.datatype = ps.datatype;\n  if (typeof ps.minCount === 'number') result.minCount = ps.minCount;\n  if (typeof ps.maxCount === 'number') result.maxCount = ps.maxCount;\n  if (ps.name) result.name = ps.name;\n  if (ps.description) result.description = ps.description;\n  if (typeof ps.order === 'number') result.order = ps.order;\n  if (ps.group) result.group = ps.group;\n  if (ps.class) result.class = ps.class;\n  if (ps.in) result.in = ps.in;\n  if (ps.equalsConstraint) result.equals = ps.equalsConstraint;\n  if (ps.disjoint) result.disjoint = ps.disjoint;\n  if (ps.lessThan) result.lessThan = ps.lessThan;\n  if (ps.lessThanOrEquals) result.lessThanOrEquals = ps.lessThanOrEquals;\n  if (ps.minInclusive !== undefined) result.minInclusive = ps.minInclusive;\n  if (ps.maxInclusive !== undefined) result.maxInclusive = ps.maxInclusive;\n  if (ps.minExclusive !== undefined) result.minExclusive = ps.minExclusive;\n  if (ps.maxExclusive !== undefined) result.maxExclusive = ps.maxExclusive;\n  if (typeof ps.minLength === 'number') result.minLength = ps.minLength;\n  if (typeof ps.maxLength === 'number') result.maxLength = ps.maxLength;\n  if (ps.pattern) result.pattern = ps.pattern.source;\n  if (ps.hasValueConstraint !== undefined) result.hasValue = ps.hasValueConstraint;\n  if (ps.defaultValue !== undefined) result.defaultValue = ps.defaultValue;\n  if (ps.sortBy) result.sortBy = ps.sortBy;\n  if (ps.valueShape) result.valueShape = ps.valueShape;\n  return result as PropertyShapeResult;\n}\n"]}
+{"version":3,"file":"nodeShapeData.js","sourceRoot":"","sources":["../../../src/shapes/nodeShapeData.ts"],"names":[],"mappings":"AAOA,OAAO,EAAC,gBAAgB,EAAE,kBAAkB,EAAE,cAAc,EAAC,MAAM,wBAAwB,CAAC;AAyG5F,8EAA8E;AAC9E,YAAY;AACZ,8EAA8E;AAE9E,yEAAyE;AACzE,MAAM,UAAU,mBAAmB,CAAC,EAAU;IAC5C,OAAO,EAAC,EAAE,EAAE,cAAc,EAAE,EAAE,EAAC,CAAC;AAClC,CAAC;AAED,qFAAqF;AACrF,MAAM,UAAU,uBAAuB;IACrC,OAAO,EAAC,EAAE,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,IAAI,EAAE,IAA2B,EAAC,CAAC;AAChE,CAAC;AAED,8EAA8E;AAC9E,qEAAqE;AACrE,8EAA8E;AAE9E,kFAAkF;AAClF,MAAM,2BAA2B,GAAG,IAAI,GAAG,EAAU,CAAC;AAEtD;;;;;;;GAOG;AACH,SAAS,iBAAiB,CAAC,SAAwB;;IACjD,MAAM,GAAG,GAAI,SAAoD,CAAC,cAAc,CAAC;IACjF,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;QACvB,OAAO,GAAG,CAAC;IACb,CAAC;IACD,MAAM,EAAE,GAAG,MAAC,SAA2B,CAAC,EAAE,mCAAI,EAAE,CAAC;IACjD,IAAI,CAAC,2BAA2B,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC;QACzC,2BAA2B,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACpC,OAAO,CAAC,IAAI,CACV,gCAAgC,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC,cAAc,eAAe;YAC5E,uEAAuE;YACvE,0EAA0E,CAC7E,CAAC;IACJ,CAAC;IACD,OAAO,EAAE,CAAC;AACZ,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,iBAAiB,CAC/B,SAAwB,EACxB,sBAA+B,KAAK;IAEpC,IAAI,CAAC,mBAAmB,EAAE,CAAC;QACzB,OAAO,CAAC,GAAG,iBAAiB,CAAC,SAAS,CAAC,CAAC,CAAC;IAC3C,CAAC;IACD,8EAA8E;IAC9E,kFAAkF;IAClF,qFAAqF;IACrF,qFAAqF;IACrF,+EAA+E;IAC/E,2BAA2B;IAC3B,MAAM,GAAG,GAAwB,CAAC,GAAG,iBAAiB,CAAC,SAAS,CAAC,CAAC,CAAC;IACnE,KAAK,MAAM,UAAU,IAAI,cAAc,CAAC,SAAS,CAAC,EAAE,CAAC;QACnD,GAAG,CAAC,IAAI,CAAC,GAAG,iBAAiB,CAAC,UAAU,CAAC,CAAC,CAAC;IAC7C,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,8EAA8E;AAC9E,8BAA8B;AAC9B,8EAA8E;AAE9E,oFAAoF;AACpF,mEAAmE;AACnE,MAAM,kBAAkB,GAAG,IAAI,GAAG,EAA6B,CAAC;AAChE,IAAI,yBAAyB,GAAG,CAAC,CAAC,CAAC;AAEnC;;;;;;;;;;;;;;GAcG;AACH,MAAM,UAAU,qBAAqB,CAAC,UAAkB;IACtD,MAAM,OAAO,GAAG,kBAAkB,EAAE,CAAC;IACrC,IAAI,OAAO,KAAK,yBAAyB,EAAE,CAAC;QAC1C,kBAAkB,CAAC,KAAK,EAAE,CAAC;QAC3B,yBAAyB,GAAG,OAAO,CAAC;IACtC,CAAC;IACD,MAAM,MAAM,GAAG,kBAAkB,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;IAClD,IAAI,MAAM;QAAE,OAAO,MAAM,CAAC;IAE1B,KAAK,MAAM,SAAS,IAAI,gBAAgB,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC;QACpD,MAAM,aAAa,GAAG,iBAAiB,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC,IAAI,CAC3D,CAAC,IAAmB,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,KAAK,UAAU,CAChD,CAAC;QACF,IAAI,aAAa,EAAE,CAAC;YAClB,kBAAkB,CAAC,GAAG,CAAC,UAAU,EAAE,aAAa,CAAC,CAAC;YAClD,OAAO,aAAa,CAAC;QACvB,CAAC;IACH,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,2FAA2F;AAC3F,MAAM,UAAU,uBAAuB,CACrC,SAAwB;IAExB,MAAM,MAAM,GAAwB,EAAE,CAAC;IACvC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,KAAK,MAAM,EAAE,IAAI,iBAAiB,CAAC,SAAS,EAAE,IAAI,CAAC,EAAE,CAAC;QACpD,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC;YACxB,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;YACnB,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAClB,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,gBAAgB,CAC9B,SAAwB,EACxB,KAAa,EACb,iBAA0B,IAAI;IAE9B,MAAM,GAAG,GAAG,iBAAiB,CAAC,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,KAAK,KAAK,KAAK,CAAC,CAAC;IAC1E,IAAI,GAAG,IAAI,CAAC,cAAc;QAAE,OAAO,GAAG,CAAC;IACvC,KAAK,MAAM,UAAU,IAAI,cAAc,CAAC,SAAS,CAAC,EAAE,CAAC;QACnD,MAAM,SAAS,GAAG,iBAAiB,CAAC,UAAU,CAAC,CAAC,IAAI,CAClD,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,KAAK,KAAK,KAAK,CAC3B,CAAC;QACF,IAAI,SAAS;YAAE,OAAO,SAAS,CAAC;IAClC,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,8DAA8D;AAC9D,MAAM,UAAU,eAAe,CAAC,CAAgB,EAAE,CAAiB;IACjE,OAAO,CAAC,CAAC,CAAC,IAAI,CAAA,CAAC,aAAD,CAAC,uBAAD,CAAC,CAAE,EAAE,MAAK,CAAC,CAAC,EAAE,CAAC;AAC/B,CAAC;AAED,0EAA0E;AAC1E,MAAM,UAAU,gBAAgB,CAC9B,SAAwB,EACxB,aAAgC;IAEhC,aAAa,CAAC,eAAe,GAAG,SAAS,CAAC;IAC1C,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,SAAS,CAAC,cAAc,CAAC,EAAE,CAAC;QAC7C,SAAS,CAAC,cAAc,GAAG,EAAE,CAAC;IAChC,CAAC;IACD,SAAS,CAAC,cAAc,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;AAC/C,CAAC;AAED,6EAA6E;AAC7E,MAAM,UAAU,kBAAkB,CAChC,aAAgC;IAEhC,yBAAW,aAAa,EAAE;AAC5B,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,qBAAqB,CAAC,EAAqB;IACzD,MAAM,MAAM,GAA0E;QACpF,EAAE,EAAE,EAAE,CAAC,EAAE;QACT,KAAK,EAAE,EAAE,CAAC,KAAK;QACf,IAAI,EAAE,EAAE,CAAC,IAAI;KACd,CAAC;IACF,IAAI,EAAE,CAAC,QAAQ;QAAE,MAAM,CAAC,QAAQ,GAAG,EAAE,CAAC,QAAQ,CAAC;IAC/C,IAAI,EAAE,CAAC,QAAQ;QAAE,MAAM,CAAC,QAAQ,GAAG,EAAE,CAAC,QAAQ,CAAC;IAC/C,IAAI,OAAO,EAAE,CAAC,QAAQ,KAAK,QAAQ;QAAE,MAAM,CAAC,QAAQ,GAAG,EAAE,CAAC,QAAQ,CAAC;IACnE,IAAI,OAAO,EAAE,CAAC,QAAQ,KAAK,QAAQ;QAAE,MAAM,CAAC,QAAQ,GAAG,EAAE,CAAC,QAAQ,CAAC;IACnE,IAAI,EAAE,CAAC,IAAI;QAAE,MAAM,CAAC,IAAI,GAAG,EAAE,CAAC,IAAI,CAAC;IACnC,IAAI,EAAE,CAAC,WAAW;QAAE,MAAM,CAAC,WAAW,GAAG,EAAE,CAAC,WAAW,CAAC;IACxD,IAAI,OAAO,EAAE,CAAC,KAAK,KAAK,QAAQ;QAAE,MAAM,CAAC,KAAK,GAAG,EAAE,CAAC,KAAK,CAAC;IAC1D,IAAI,EAAE,CAAC,KAAK;QAAE,MAAM,CAAC,KAAK,GAAG,EAAE,CAAC,KAAK,CAAC;IACtC,IAAI,EAAE,CAAC,KAAK;QAAE,MAAM,CAAC,KAAK,GAAG,EAAE,CAAC,KAAK,CAAC;IACtC,IAAI,EAAE,CAAC,EAAE;QAAE,MAAM,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;IAC7B,IAAI,EAAE,CAAC,gBAAgB;QAAE,MAAM,CAAC,MAAM,GAAG,EAAE,CAAC,gBAAgB,CAAC;IAC7D,IAAI,EAAE,CAAC,QAAQ;QAAE,MAAM,CAAC,QAAQ,GAAG,EAAE,CAAC,QAAQ,CAAC;IAC/C,IAAI,EAAE,CAAC,QAAQ;QAAE,MAAM,CAAC,QAAQ,GAAG,EAAE,CAAC,QAAQ,CAAC;IAC/C,IAAI,EAAE,CAAC,gBAAgB;QAAE,MAAM,CAAC,gBAAgB,GAAG,EAAE,CAAC,gBAAgB,CAAC;IACvE,IAAI,EAAE,CAAC,YAAY,KAAK,SAAS;QAAE,MAAM,CAAC,YAAY,GAAG,EAAE,CAAC,YAAY,CAAC;IACzE,IAAI,EAAE,CAAC,YAAY,KAAK,SAAS;QAAE,MAAM,CAAC,YAAY,GAAG,EAAE,CAAC,YAAY,CAAC;IACzE,IAAI,EAAE,CAAC,YAAY,KAAK,SAAS;QAAE,MAAM,CAAC,YAAY,GAAG,EAAE,CAAC,YAAY,CAAC;IACzE,IAAI,EAAE,CAAC,YAAY,KAAK,SAAS;QAAE,MAAM,CAAC,YAAY,GAAG,EAAE,CAAC,YAAY,CAAC;IACzE,IAAI,OAAO,EAAE,CAAC,SAAS,KAAK,QAAQ;QAAE,MAAM,CAAC,SAAS,GAAG,EAAE,CAAC,SAAS,CAAC;IACtE,IAAI,OAAO,EAAE,CAAC,SAAS,KAAK,QAAQ;QAAE,MAAM,CAAC,SAAS,GAAG,EAAE,CAAC,SAAS,CAAC;IACtE,IAAI,EAAE,CAAC,OAAO;QAAE,MAAM,CAAC,OAAO,GAAG,EAAE,CAAC,OAAO,CAAC,MAAM,CAAC;IACnD,IAAI,EAAE,CAAC,kBAAkB,KAAK,SAAS;QAAE,MAAM,CAAC,QAAQ,GAAG,EAAE,CAAC,kBAAkB,CAAC;IACjF,IAAI,EAAE,CAAC,YAAY,KAAK,SAAS;QAAE,MAAM,CAAC,YAAY,GAAG,EAAE,CAAC,YAAY,CAAC;IACzE,IAAI,EAAE,CAAC,MAAM;QAAE,MAAM,CAAC,MAAM,GAAG,EAAE,CAAC,MAAM,CAAC;IACzC,IAAI,EAAE,CAAC,UAAU;QAAE,MAAM,CAAC,UAAU,GAAG,EAAE,CAAC,UAAU,CAAC;IACrD,OAAO,MAA6B,CAAC;AACvC,CAAC","sourcesContent":["/*\n * This Source Code Form is subject to the terms of the Mozilla Public\n * License, v. 2.0. If a copy of the MPL was not distributed with this\n * file, You can obtain one at https://mozilla.org/MPL/2.0/.\n */\nimport type {NodeReferenceValue} from '../utils/NodeReference.js';\nimport type {PathExpr} from '../paths/PropertyPathExpr.js';\nimport {getAllNodeShapes, getRegistryVersion, getSuperShapes} from '../utils/ShapeClass.js';\n\n/**\n * Plain-object SHACL metadata — the QResult-like shape of a `sh:PropertyShape`.\n *\n * Shapes are metadata, not data: a shape class's `.shape` and its property shapes\n * are plain objects (no class instance, no methods). Operations that used to be\n * instance methods now live as free functions in this module.\n */\nexport interface PropertyShapeData {\n  id: string;\n  label: string;\n  path: PathExpr;\n  nodeKind?: NodeReferenceValue;\n  datatype?: NodeReferenceValue;\n  minCount?: number;\n  maxCount?: number;\n  name?: string;\n  description?: string;\n  order?: number;\n  group?: string;\n  /**\n   * `core:displayRank` — a single linear importance rank, lower = more\n   * important. Truncated display contexts (\"the top 3 properties\") derive from it.\n   * Distinct from `order`, which is arrangement rather than importance.\n   */\n  displayRank?: number;\n  /** `core:displayHidden` — omit from generic rendering. */\n  displayHidden?: boolean;\n  class?: NodeReferenceValue;\n  in?: (NodeReferenceValue | string | number | boolean)[];\n  equalsConstraint?: NodeReferenceValue;\n  disjoint?: NodeReferenceValue;\n  lessThan?: NodeReferenceValue;\n  lessThanOrEquals?: NodeReferenceValue;\n  /** Value-range constraints (sh:minInclusive / sh:maxInclusive / sh:minExclusive / sh:maxExclusive). */\n  minInclusive?: number;\n  maxInclusive?: number;\n  minExclusive?: number | string;\n  maxExclusive?: number;\n  /** String-length constraints (sh:minLength / sh:maxLength). */\n  minLength?: number;\n  maxLength?: number;\n  /** Regex constraint (sh:pattern); serialized as its source string. */\n  pattern?: RegExp;\n  hasValueConstraint?: NodeReferenceValue | string | number | boolean;\n  defaultValue?: unknown;\n  sortBy?: PathExpr;\n  valueShape?: NodeReferenceValue;\n  /** Composition marker: the value(s) of this property are owned by the subject. */\n  contains?: boolean;\n  parentNodeShape?: NodeShapeData;\n}\n\n/**\n * Plain-object SHACL metadata — the QResult-like shape of a `sh:NodeShape`.\n */\nexport interface NodeShapeData {\n  id: string;\n  label?: string;\n  description?: string;\n  targetClass?: NodeReferenceValue;\n  extends?: NodeReferenceValue;\n  /**\n   * @deprecated No effect: every node a `contains` property reaches is deleted with its owner.\n   * Kept for shapes that declare it and persisted as `core:dependent`.\n   */\n  dependent?: boolean;\n  /** sh:closed — target nodes with undeclared properties are invalid. */\n  closed?: boolean;\n  /** sh:ignoredProperties — extra properties permitted when the shape is closed. */\n  ignoredProperties?: NodeReferenceValue[];\n  propertyShapes: PropertyShapeData[];\n}\n\n/**\n * Result object produced by `propertyShapeToResult()` (SHACL projection).\n * @deprecated No production callers remain (the `NodeShape.properties` getter and\n * `PropertyShape.getResult()` were removed with the plain-object conversion). Read\n * the plain `PropertyShapeData` fields directly. Scheduled for removal.\n */\nexport interface PropertyShapeResult {\n  id: string;\n  label: string;\n  path: PathExpr;\n  nodeKind?: NodeReferenceValue;\n  datatype?: NodeReferenceValue;\n  minCount?: number;\n  maxCount?: number;\n  name?: string;\n  description?: string;\n  order?: number;\n  group?: string;\n  class?: NodeReferenceValue;\n  in?: (NodeReferenceValue | string | number | boolean)[];\n  equals?: NodeReferenceValue;\n  disjoint?: NodeReferenceValue;\n  lessThan?: NodeReferenceValue;\n  lessThanOrEquals?: NodeReferenceValue;\n  hasValue?: NodeReferenceValue | string | number | boolean;\n  defaultValue?: unknown;\n  sortBy?: PathExpr;\n  valueShape?: NodeReferenceValue;\n}\n\n// ---------------------------------------------------------------------------\n// Factories\n// ---------------------------------------------------------------------------\n\n/** Create an empty NodeShape metadata object for the given shape IRI. */\nexport function createNodeShapeData(id: string): NodeShapeData {\n  return {id, propertyShapes: []};\n}\n\n/** Create a blank PropertyShape metadata object (fields filled in by the caller). */\nexport function createPropertyShapeData(): PropertyShapeData {\n  return {id: '', label: '', path: null as unknown as PathExpr};\n}\n\n// ---------------------------------------------------------------------------\n// Free functions (formerly NodeShape/PropertyShape instance methods)\n// ---------------------------------------------------------------------------\n\n/** One-time warning keys for shapes whose `propertyShapes` is missing/invalid. */\nconst warnedMissingPropertyShapes = new Set<string>();\n\n/**\n * Read a node shape's own property shapes, tolerating a missing/invalid array.\n *\n * A non-array `propertyShapes` almost always means a duplicate `@_linked/core`\n * install or a non-normalized static shape on a superclass; warn once per shape id\n * (diagnostic parity with the former `NodeShape.listPropertyShapesSafe`) and treat\n * it as empty.\n */\nfunction ownPropertyShapes(nodeShape: NodeShapeData): PropertyShapeData[] {\n  const own = (nodeShape as {propertyShapes?: PropertyShapeData[]}).propertyShapes;\n  if (Array.isArray(own)) {\n    return own;\n  }\n  const id = (nodeShape as {id?: string}).id ?? '';\n  if (!warnedMissingPropertyShapes.has(id)) {\n    warnedMissingPropertyShapes.add(id);\n    console.warn(\n      `[@_linked/core] static shape ${id ? `'${id}'` : '(unknown id)'} has missing ` +\n        `or invalid propertyShapes. Treating as []. Often caused by duplicate ` +\n        `@_linked/core installs or a non-normalized static shape on a superclass.`,\n    );\n  }\n  return [];\n}\n\n/**\n * Property shapes declared on this NodeShape. With `includeSuperClasses`, walks the\n * inheritance chain via `getSuperShapes` and concatenates each ancestor's own property\n * shapes — the prototype chain for a class-backed shape, `extends` for one known only\n * as data.\n */\nexport function getPropertyShapes(\n  nodeShape: NodeShapeData,\n  includeSuperClasses: boolean = false,\n): PropertyShapeData[] {\n  if (!includeSuperClasses) {\n    return [...ownPropertyShapes(nodeShape)];\n  }\n  // One inheritance walk, shared with getSuperShapes: the prototype chain for a\n  // class-backed shape (which includes the framework `Shape` root and its `label` /\n  // `type` properties), or `extends` through the registry for a shape that exists only\n  // as data. Previously this walked the prototype chain directly and returned ONLY own\n  // properties when no class existed — so a project-authored shape silently lost\n  // everything it inherited.\n  const res: PropertyShapeData[] = [...ownPropertyShapes(nodeShape)];\n  for (const superShape of getSuperShapes(nodeShape)) {\n    res.push(...ownPropertyShapes(superShape));\n  }\n  return res;\n}\n\n// ---------------------------------------------------------------------------\n// Property-shape lookup by id\n// ---------------------------------------------------------------------------\n\n// The registry scan behind predicate, datatype and dependency resolution, cached on\n// successful lookups only and invalidated by the registry version.\nconst propertyShapeCache = new Map<string, PropertyShapeData>();\nlet propertyShapeCacheVersion = -1;\n\n/**\n * Find the property shape declared under a property-shape IRI, across every\n * registered node shape.\n *\n * Scans the METAMODEL registry, which holds every shape — authored or data-only.\n * Scanning the class registry meant a data-only property was never found, and the\n * caller then fell through to emitting the PROPERTY SHAPE's IRI as the SPARQL\n * predicate: a silently wrong query that matched nothing, with no error.\n *\n * Cache keyed on the registration version rather than the registry SIZE. Size does not\n * change when a shape is re-registered in place, which is exactly what happens when a\n * shape is edited and its metadata replaced. Only successful resolutions are cached — a\n * not-found is never stored, so a property resolved before its shape registers can\n * still resolve correctly afterwards.\n */\nexport function findPropertyShapeById(propertyId: string): PropertyShapeData | undefined {\n  const version = getRegistryVersion();\n  if (version !== propertyShapeCacheVersion) {\n    propertyShapeCache.clear();\n    propertyShapeCacheVersion = version;\n  }\n  const cached = propertyShapeCache.get(propertyId);\n  if (cached) return cached;\n\n  for (const nodeShape of getAllNodeShapes().values()) {\n    const propertyShape = getPropertyShapes(nodeShape, true).find(\n      (prop: {id?: string}) => prop.id === propertyId,\n    );\n    if (propertyShape) {\n      propertyShapeCache.set(propertyId, propertyShape);\n      return propertyShape;\n    }\n  }\n  return undefined;\n}\n\n/** Property shapes across the inheritance chain, deduped by label (most specific wins). */\nexport function getUniquePropertyShapes(\n  nodeShape: NodeShapeData,\n): PropertyShapeData[] {\n  const unique: PropertyShapeData[] = [];\n  const seen = new Set<string>();\n  for (const ps of getPropertyShapes(nodeShape, true)) {\n    if (!seen.has(ps.label)) {\n      seen.add(ps.label);\n      unique.push(ps);\n    }\n  }\n  return unique;\n}\n\n/**\n * Find a property shape by label. With `checkSubShapes` (default true), ascends the\n * inheritance chain if the label isn't found locally.\n *\n * Shares `getSuperShapes` with {@link getPropertyShapes}, so the singular and plural\n * lookups can never disagree about what a shape inherits — and so a shape registered\n * from data resolves inherited properties through `extends` rather than stopping at its\n * own. This is what `getPropertyShapeByLabel` delegates to (PR #211), so closing the gap\n * here closes it for the query proxies too. See docs/backlog/040.\n */\nexport function getPropertyShape(\n  nodeShape: NodeShapeData,\n  label: string,\n  checkSubShapes: boolean = true,\n): PropertyShapeData | undefined {\n  const own = ownPropertyShapes(nodeShape).find((ps) => ps.label === label);\n  if (own || !checkSubShapes) return own;\n  for (const superShape of getSuperShapes(nodeShape)) {\n    const inherited = ownPropertyShapes(superShape).find(\n      (ps) => ps.label === label,\n    );\n    if (inherited) return inherited;\n  }\n  return undefined;\n}\n\n/** Two node shapes are equal when they share the same IRI. */\nexport function nodeShapeEquals(a: NodeShapeData, b?: NodeShapeData): boolean {\n  return !!b && a?.id === b.id;\n}\n\n/** Append a property shape to a node shape, wiring the back-reference. */\nexport function addPropertyShape(\n  nodeShape: NodeShapeData,\n  propertyShape: PropertyShapeData,\n): void {\n  propertyShape.parentNodeShape = nodeShape;\n  if (!Array.isArray(nodeShape.propertyShapes)) {\n    nodeShape.propertyShapes = [];\n  }\n  nodeShape.propertyShapes.push(propertyShape);\n}\n\n/** Shallow-clone a property shape (used by property override / disallow). */\nexport function clonePropertyShape(\n  propertyShape: PropertyShapeData,\n): PropertyShapeData {\n  return {...propertyShape};\n}\n\n/**\n * Project a property shape to its SHACL result object.\n * @deprecated No production callers remain. Read the plain `PropertyShapeData`\n * fields directly (note this projection renames `equalsConstraint`→`equals`,\n * `hasValueConstraint`→`hasValue`, and serializes `pattern` to its source string).\n * Scheduled for removal.\n */\nexport function propertyShapeToResult(ps: PropertyShapeData): PropertyShapeResult {\n  const result: Record<string, unknown> & {id: string; label: string; path: PathExpr} = {\n    id: ps.id,\n    label: ps.label,\n    path: ps.path,\n  };\n  if (ps.nodeKind) result.nodeKind = ps.nodeKind;\n  if (ps.datatype) result.datatype = ps.datatype;\n  if (typeof ps.minCount === 'number') result.minCount = ps.minCount;\n  if (typeof ps.maxCount === 'number') result.maxCount = ps.maxCount;\n  if (ps.name) result.name = ps.name;\n  if (ps.description) result.description = ps.description;\n  if (typeof ps.order === 'number') result.order = ps.order;\n  if (ps.group) result.group = ps.group;\n  if (ps.class) result.class = ps.class;\n  if (ps.in) result.in = ps.in;\n  if (ps.equalsConstraint) result.equals = ps.equalsConstraint;\n  if (ps.disjoint) result.disjoint = ps.disjoint;\n  if (ps.lessThan) result.lessThan = ps.lessThan;\n  if (ps.lessThanOrEquals) result.lessThanOrEquals = ps.lessThanOrEquals;\n  if (ps.minInclusive !== undefined) result.minInclusive = ps.minInclusive;\n  if (ps.maxInclusive !== undefined) result.maxInclusive = ps.maxInclusive;\n  if (ps.minExclusive !== undefined) result.minExclusive = ps.minExclusive;\n  if (ps.maxExclusive !== undefined) result.maxExclusive = ps.maxExclusive;\n  if (typeof ps.minLength === 'number') result.minLength = ps.minLength;\n  if (typeof ps.maxLength === 'number') result.maxLength = ps.maxLength;\n  if (ps.pattern) result.pattern = ps.pattern.source;\n  if (ps.hasValueConstraint !== undefined) result.hasValue = ps.hasValueConstraint;\n  if (ps.defaultValue !== undefined) result.defaultValue = ps.defaultValue;\n  if (ps.sortBy) result.sortBy = ps.sortBy;\n  if (ps.valueShape) result.valueShape = ps.valueShape;\n  return result as PropertyShapeResult;\n}\n"]}

package/lib/esm/shapes/singleOwnerConstraint.d.ts

@@ -5,21 +5,19 @@ import { type NodeShapeData, type PropertyShapeData } from './nodeShapeData.js';
  */
 export declare function singleOwnerShapeIri(propertyShapeIri: string): string;
 /**
- * The shape's OWN `contains` properties that get a single-owner constraint: those that declare
- * a value shape and have a simple path, in declaration order.
+ * The shape's OWN `contains` properties that get a single-owner constraint: those with a simple
+ * path (every decorated `contains` property has a value shape), in declaration order.
  *
  * Inherited properties are not included; their declaring shape writes their constraint.
- * Complex paths are skipped, as the containment cascade skips them. A `contains` property
- * without a value shape is a polymorphic slot (like `sh:path`) whose value may be a shared IRI,
- * so the replace, the subject delete and the class check do not treat it as owning that value,
- * and neither does the single-owner rule.
+ * Complex paths are skipped, as the owned walk skips them.
  */
 export declare function singleOwnerProperties(nodeShape: NodeShapeData): PropertyShapeData[];
 /**
  * Create-pipeline data for the generated single-owner NodeShapes of `nodeShape`, one per
  * {@link singleOwnerProperties} entry. Each is stored at
  * {@link singleOwnerShapeIri}`(${shapeIri}/${label})`: the property shape's IRI exactly as shape
- * sync writes it (`buildPropertyShapeData`).
+ * sync writes it (`buildPropertyShapeData`). Empty, with one warning per shape, when the shape
+ * has `contains` properties but no `targetClass`.
  */
 export declare function buildSingleOwnerConstraints(nodeShape: NodeShapeData, shapeIri: string): Array<{
     iri: string;

package/lib/esm/shapes/singleOwnerConstraint.js

@@ -6,12 +6,18 @@
 import { getPropertyShapes } from './nodeShapeData.js';
 import { getSimplePathId } from '../paths/normalizePropertyPath.js';
 import { serializePathToNodeData } from './serializePathToNodeData.js';
+import { getSubShapes } from '../utils/ShapeClass.js';
+import { NodeShape } from './SHACL.js';
+import { PathList } from './PathList.js';
+import { rdf } from '../ontologies/rdf.js';
 /**
  * The single-owner SHACL constraints generated from `contains` properties.
  *
- * A `contains` property says the subject owns the value node. For every such property, shape
- * sync writes one generated NodeShape stating the matching store-side rule: every object of the
- * property's predicate has at most one subject pointing at it through that predicate.
+ * A `contains` property says the subject owns the value node, and only that property does: a
+ * plain property on the same predicate is a reference. For every such property, shape sync
+ * writes one generated NodeShape stating the matching store-side rule: every object of the
+ * property's predicate has at most one subject pointing at it through that predicate *that is
+ * an instance of the declaring class or of a registered sub-shape's class*.
  *
  * ```turtle
  * <…/Thing/image.singleOwner> a sh:NodeShape ;
@@ -19,19 +25,26 @@ import { serializePathToNodeData } from './serializePathToNodeData.js';
  *     sh:targetObjectsOf schema:image ;
  *     sh:property <…/Thing/image.singleOwner/owners> .
  * <…/Thing/image.singleOwner/owners> a sh:PropertyShape ;
- *     sh:maxCount 1 ;
- *     sh:path [ sh:inversePath schema:image ] .
+ *     sh:path [ sh:inversePath schema:image ] ;
+ *     sh:qualifiedValueShape [ sh:or ( [ sh:class schema:Thing ] [ sh:class ex:Project ] ) ] ;
+ *     sh:qualifiedMaxCount 1 .
  * ```
  *
+ * The owner classes are enumerated rather than left to `sh:class` alone, because `sh:class`
+ * matches a subclass instance only through `rdfs:subClassOf` triples, which a dataset without
+ * inference does not have. With one class the qualified shape is `[ sh:class C ]`. Sub-shapes
+ * registered only in another process are missing until a process that knows them syncs.
+ *
  * One constraint per accessor, written only by the class that declares it: subclasses inherit
- * the property but add no constraint, since the rule targets the predicate's objects whoever the
- * subject is. The declaring shape owns its constraints through `core:generatedShape`
- * (`NodeShape.generatedShapes`, `contains`): shape sync writes them nested in the shape's
- * create and deletes them with the shape.
+ * the property and are counted as owners, but add no constraint. A declaring shape without a
+ * `targetClass` gets none (its owners cannot be named). The declaring shape owns its
+ * constraints through `core:generatedShape` (`NodeShape.generatedShapes`, `contains`): shape sync
+ * writes them nested in the shape's create and deletes them with the shape; their qualified
+ * shape and `sh:or` list are blank nodes, deleted with the property shape that holds them.
  *
- * Non-owning references through other predicates are not counted, and neither is ownership
- * through two different `contains` predicates (a documented limitation). The shapes are built
- * only at sync time and are never registered in the in-memory shape registry.
+ * Ownership through two different `contains` predicates is not counted (a documented
+ * limitation). The shapes are built only at sync time and are never registered in the
+ * in-memory shape registry.
  */
 /** Suffix that turns a property shape's IRI into its generated single-owner shape's IRI. */
 const SINGLE_OWNER_SUFFIX = '.singleOwner';
@@ -43,26 +56,56 @@ export function singleOwnerShapeIri(propertyShapeIri) {
     return `${propertyShapeIri}${SINGLE_OWNER_SUFFIX}`;
 }
 /**
- * The shape's OWN `contains` properties that get a single-owner constraint: those that declare
- * a value shape and have a simple path, in declaration order.
+ * The shape's OWN `contains` properties that get a single-owner constraint: those with a simple
+ * path (every decorated `contains` property has a value shape), in declaration order.
  *
  * Inherited properties are not included; their declaring shape writes their constraint.
- * Complex paths are skipped, as the containment cascade skips them. A `contains` property
- * without a value shape is a polymorphic slot (like `sh:path`) whose value may be a shared IRI,
- * so the replace, the subject delete and the class check do not treat it as owning that value,
- * and neither does the single-owner rule.
+ * Complex paths are skipped, as the owned walk skips them.
  */
 export function singleOwnerProperties(nodeShape) {
     return getPropertyShapes(nodeShape, false).filter((ps) => ps.contains && !!ps.valueShape && !!getSimplePathId(ps.path));
 }
+/** The classes whose instances own through the shape's properties: its own and every sub-shape's. */
+function ownerClasses(nodeShape) {
+    var _a;
+    const classes = new Set();
+    for (const shape of [nodeShape, ...getSubShapes(nodeShape)]) {
+        if ((_a = shape.targetClass) === null || _a === void 0 ? void 0 : _a.id)
+            classes.add(shape.targetClass.id);
+    }
+    return [...classes].sort();
+}
+/** `[ sh:class C ]`, or `[ sh:or ( [ sh:class A ] … ) ]` for several classes. Blank once written. */
+function ownerShapeData(classes) {
+    const classShape = (id) => ({ shape: NodeShape, class: { id } });
+    if (classes.length === 1)
+        return classShape(classes[0]);
+    const list = classes.reduceRight((rest, id) => ({ shape: PathList, first: classShape(id), rest }), { id: rdf.nil.id });
+    return { shape: NodeShape, orShapes: list };
+}
+const warnedWithoutTargetClass = new Set();
 /**
  * Create-pipeline data for the generated single-owner NodeShapes of `nodeShape`, one per
  * {@link singleOwnerProperties} entry. Each is stored at
  * {@link singleOwnerShapeIri}`(${shapeIri}/${label})`: the property shape's IRI exactly as shape
- * sync writes it (`buildPropertyShapeData`).
+ * sync writes it (`buildPropertyShapeData`). Empty, with one warning per shape, when the shape
+ * has `contains` properties but no `targetClass`.
  */
 export function buildSingleOwnerConstraints(nodeShape, shapeIri) {
-    return singleOwnerProperties(nodeShape).flatMap((ps) => {
+    var _a;
+    const properties = singleOwnerProperties(nodeShape);
+    if (properties.length === 0)
+        return [];
+    if (!((_a = nodeShape.targetClass) === null || _a === void 0 ? void 0 : _a.id)) {
+        if (!warnedWithoutTargetClass.has(nodeShape.id)) {
+            warnedWithoutTargetClass.add(nodeShape.id);
+            console.warn(`[linked] Shape '${nodeShape.id}' has contains properties but no targetClass, so shape ` +
+                'sync writes no single-owner constraint for them: its owners cannot be named.');
+        }
+        return [];
+    }
+    const owners = ownerShapeData(ownerClasses(nodeShape));
+    return properties.flatMap((ps) => {
         // Always set: `singleOwnerProperties` keeps simple paths only. The guard narrows the type.
         const predicate = getSimplePathId(ps.path);
         if (!predicate)
@@ -78,8 +121,9 @@ export function buildSingleOwnerConstraints(nodeShape, shapeIri) {
                         {
                             __id: psIri,
                             label: 'owners',
-                            maxCount: 1,
                             path: serializePathToNodeData({ inv: { id: predicate } }),
+                            qualifiedValueShape: owners,
+                            qualifiedMaxCount: 1,
                         },
                     ],
                 },

package/lib/esm/shapes/singleOwnerConstraint.js.map

@@ -1 +1 @@
-{"version":3,"file":"singleOwnerConstraint.js","sourceRoot":"","sources":["../../../src/shapes/singleOwnerConstraint.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,OAAO,EAAC,iBAAiB,EAA6C,MAAM,oBAAoB,CAAC;AACjG,OAAO,EAAC,eAAe,EAAC,MAAM,mCAAmC,CAAC;AAClE,OAAO,EAAC,uBAAuB,EAAC,MAAM,8BAA8B,CAAC;AAErE;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AAEH,4FAA4F;AAC5F,MAAM,mBAAmB,GAAG,cAAc,CAAC;AAE3C;;;GAGG;AACH,MAAM,UAAU,mBAAmB,CAAC,gBAAwB;IAC1D,OAAO,GAAG,gBAAgB,GAAG,mBAAmB,EAAE,CAAC;AACrD,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,qBAAqB,CAAC,SAAwB;IAC5D,OAAO,iBAAiB,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC,MAAM,CAC/C,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,QAAQ,IAAI,CAAC,CAAC,EAAE,CAAC,UAAU,IAAI,CAAC,CAAC,eAAe,CAAC,EAAE,CAAC,IAAI,CAAC,CACrE,CAAC;AACJ,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,2BAA2B,CACzC,SAAwB,EACxB,QAAgB;IAEhB,OAAO,qBAAqB,CAAC,SAAS,CAAC,CAAC,OAAO,CAAC,CAAC,EAAE,EAAE,EAAE;QACrD,2FAA2F;QAC3F,MAAM,SAAS,GAAG,eAAe,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;QAC3C,IAAI,CAAC,SAAS;YAAE,OAAO,EAAE,CAAC;QAC1B,MAAM,GAAG,GAAG,mBAAmB,CAAC,GAAG,QAAQ,IAAI,EAAE,CAAC,KAAK,EAAE,CAAC,CAAC;QAC3D,MAAM,KAAK,GAAG,GAAG,GAAG,SAAS,CAAC;QAC9B,OAAO,CAAC;gBACN,GAAG;gBACH,IAAI,EAAE;oBACJ,SAAS,EAAE,IAAI;oBACf,eAAe,EAAE,CAAC,EAAC,EAAE,EAAE,SAAS,EAAC,CAAC;oBAClC,UAAU,EAAE;wBACV;4BACE,IAAI,EAAE,KAAK;4BACX,KAAK,EAAE,QAAQ;4BACf,QAAQ,EAAE,CAAC;4BACX,IAAI,EAAE,uBAAuB,CAAC,EAAC,GAAG,EAAE,EAAC,EAAE,EAAE,SAAS,EAAC,EAAC,CAAC;yBACtD;qBACF;iBACF;aACF,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC","sourcesContent":["/*\n * This Source Code Form is subject to the terms of the Mozilla Public\n * License, v. 2.0. If a copy of the MPL was not distributed with this\n * file, You can obtain one at https://mozilla.org/MPL/2.0/.\n */\nimport {getPropertyShapes, type NodeShapeData, type PropertyShapeData} from './nodeShapeData.js';\nimport {getSimplePathId} from '../paths/normalizePropertyPath.js';\nimport {serializePathToNodeData} from './serializePathToNodeData.js';\n\n/**\n * The single-owner SHACL constraints generated from `contains` properties.\n *\n * A `contains` property says the subject owns the value node. For every such property, shape\n * sync writes one generated NodeShape stating the matching store-side rule: every object of the\n * property's predicate has at most one subject pointing at it through that predicate.\n *\n * ```turtle\n * <…/Thing/image.singleOwner> a sh:NodeShape ;\n *     core:generated true ;\n *     sh:targetObjectsOf schema:image ;\n *     sh:property <…/Thing/image.singleOwner/owners> .\n * <…/Thing/image.singleOwner/owners> a sh:PropertyShape ;\n *     sh:maxCount 1 ;\n *     sh:path [ sh:inversePath schema:image ] .\n * ```\n *\n * One constraint per accessor, written only by the class that declares it: subclasses inherit\n * the property but add no constraint, since the rule targets the predicate's objects whoever the\n * subject is. The declaring shape owns its constraints through `core:generatedShape`\n * (`NodeShape.generatedShapes`, `contains`): shape sync writes them nested in the shape's\n * create and deletes them with the shape.\n *\n * Non-owning references through other predicates are not counted, and neither is ownership\n * through two different `contains` predicates (a documented limitation). The shapes are built\n * only at sync time and are never registered in the in-memory shape registry.\n */\n\n/** Suffix that turns a property shape's IRI into its generated single-owner shape's IRI. */\nconst SINGLE_OWNER_SUFFIX = '.singleOwner';\n\n/**\n * The deterministic IRI of the generated single-owner NodeShape of one property shape:\n * `${propertyShapeIri}.singleOwner`, e.g. `…/shape/my-pkg/Thing/image.singleOwner`.\n */\nexport function singleOwnerShapeIri(propertyShapeIri: string): string {\n  return `${propertyShapeIri}${SINGLE_OWNER_SUFFIX}`;\n}\n\n/**\n * The shape's OWN `contains` properties that get a single-owner constraint: those that declare\n * a value shape and have a simple path, in declaration order.\n *\n * Inherited properties are not included; their declaring shape writes their constraint.\n * Complex paths are skipped, as the containment cascade skips them. A `contains` property\n * without a value shape is a polymorphic slot (like `sh:path`) whose value may be a shared IRI,\n * so the replace, the subject delete and the class check do not treat it as owning that value,\n * and neither does the single-owner rule.\n */\nexport function singleOwnerProperties(nodeShape: NodeShapeData): PropertyShapeData[] {\n  return getPropertyShapes(nodeShape, false).filter(\n    (ps) => ps.contains && !!ps.valueShape && !!getSimplePathId(ps.path),\n  );\n}\n\n/**\n * Create-pipeline data for the generated single-owner NodeShapes of `nodeShape`, one per\n * {@link singleOwnerProperties} entry. Each is stored at\n * {@link singleOwnerShapeIri}`(${shapeIri}/${label})`: the property shape's IRI exactly as shape\n * sync writes it (`buildPropertyShapeData`).\n */\nexport function buildSingleOwnerConstraints(\n  nodeShape: NodeShapeData,\n  shapeIri: string,\n): Array<{iri: string; data: Record<string, unknown>}> {\n  return singleOwnerProperties(nodeShape).flatMap((ps) => {\n    // Always set: `singleOwnerProperties` keeps simple paths only. The guard narrows the type.\n    const predicate = getSimplePathId(ps.path);\n    if (!predicate) return [];\n    const iri = singleOwnerShapeIri(`${shapeIri}/${ps.label}`);\n    const psIri = `${iri}/owners`;\n    return [{\n      iri,\n      data: {\n        generated: true,\n        targetObjectsOf: [{id: predicate}],\n        properties: [\n          {\n            __id: psIri,\n            label: 'owners',\n            maxCount: 1,\n            path: serializePathToNodeData({inv: {id: predicate}}),\n          },\n        ],\n      },\n    }];\n  });\n}\n"]}
+{"version":3,"file":"singleOwnerConstraint.js","sourceRoot":"","sources":["../../../src/shapes/singleOwnerConstraint.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AACH,OAAO,EAAC,iBAAiB,EAA6C,MAAM,oBAAoB,CAAC;AACjG,OAAO,EAAC,eAAe,EAAC,MAAM,mCAAmC,CAAC;AAClE,OAAO,EAAC,uBAAuB,EAAC,MAAM,8BAA8B,CAAC;AACrE,OAAO,EAAC,YAAY,EAAC,MAAM,wBAAwB,CAAC;AACpD,OAAO,EAAC,SAAS,EAAC,MAAM,YAAY,CAAC;AACrC,OAAO,EAAC,QAAQ,EAAC,MAAM,eAAe,CAAC;AACvC,OAAO,EAAC,GAAG,EAAC,MAAM,sBAAsB,CAAC;AAEzC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAmCG;AAEH,4FAA4F;AAC5F,MAAM,mBAAmB,GAAG,cAAc,CAAC;AAE3C;;;GAGG;AACH,MAAM,UAAU,mBAAmB,CAAC,gBAAwB;IAC1D,OAAO,GAAG,gBAAgB,GAAG,mBAAmB,EAAE,CAAC;AACrD,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,qBAAqB,CAAC,SAAwB;IAC5D,OAAO,iBAAiB,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC,MAAM,CAC/C,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,QAAQ,IAAI,CAAC,CAAC,EAAE,CAAC,UAAU,IAAI,CAAC,CAAC,eAAe,CAAC,EAAE,CAAC,IAAI,CAAC,CACrE,CAAC;AACJ,CAAC;AAED,qGAAqG;AACrG,SAAS,YAAY,CAAC,SAAwB;;IAC5C,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,KAAK,MAAM,KAAK,IAAI,CAAC,SAAS,EAAE,GAAG,YAAY,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC;QAC5D,IAAI,MAAA,KAAK,CAAC,WAAW,0CAAE,EAAE;YAAE,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC;IAC/D,CAAC;IACD,OAAO,CAAC,GAAG,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC;AAC7B,CAAC;AAED,qGAAqG;AACrG,SAAS,cAAc,CAAC,OAAiB;IACvC,MAAM,UAAU,GAAG,CAAC,EAAU,EAAE,EAAE,CAAC,CAAC,EAAC,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,EAAC,EAAE,EAAC,EAAC,CAAC,CAAC;IACrE,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;IACxD,MAAM,IAAI,GAAG,OAAO,CAAC,WAAW,CAC9B,CAAC,IAAI,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,EAAC,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,UAAU,CAAC,EAAE,CAAC,EAAE,IAAI,EAAC,CAAC,EAC9D,EAAC,EAAE,EAAE,GAAG,CAAC,GAAG,CAAC,EAAE,EAAC,CACjB,CAAC;IACF,OAAO,EAAC,KAAK,EAAE,SAAS,EAAE,QAAQ,EAAE,IAAI,EAAC,CAAC;AAC5C,CAAC;AAED,MAAM,wBAAwB,GAAG,IAAI,GAAG,EAAU,CAAC;AAEnD;;;;;;GAMG;AACH,MAAM,UAAU,2BAA2B,CACzC,SAAwB,EACxB,QAAgB;;IAEhB,MAAM,UAAU,GAAG,qBAAqB,CAAC,SAAS,CAAC,CAAC;IACpD,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IACvC,IAAI,CAAC,CAAA,MAAA,SAAS,CAAC,WAAW,0CAAE,EAAE,CAAA,EAAE,CAAC;QAC/B,IAAI,CAAC,wBAAwB,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC,EAAE,CAAC;YAChD,wBAAwB,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;YAC3C,OAAO,CAAC,IAAI,CACV,mBAAmB,SAAS,CAAC,EAAE,yDAAyD;gBACtF,8EAA8E,CACjF,CAAC;QACJ,CAAC;QACD,OAAO,EAAE,CAAC;IACZ,CAAC;IACD,MAAM,MAAM,GAAG,cAAc,CAAC,YAAY,CAAC,SAAS,CAAC,CAAC,CAAC;IACvD,OAAO,UAAU,CAAC,OAAO,CAAC,CAAC,EAAE,EAAE,EAAE;QAC/B,2FAA2F;QAC3F,MAAM,SAAS,GAAG,eAAe,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;QAC3C,IAAI,CAAC,SAAS;YAAE,OAAO,EAAE,CAAC;QAC1B,MAAM,GAAG,GAAG,mBAAmB,CAAC,GAAG,QAAQ,IAAI,EAAE,CAAC,KAAK,EAAE,CAAC,CAAC;QAC3D,MAAM,KAAK,GAAG,GAAG,GAAG,SAAS,CAAC;QAC9B,OAAO,CAAC;gBACN,GAAG;gBACH,IAAI,EAAE;oBACJ,SAAS,EAAE,IAAI;oBACf,eAAe,EAAE,CAAC,EAAC,EAAE,EAAE,SAAS,EAAC,CAAC;oBAClC,UAAU,EAAE;wBACV;4BACE,IAAI,EAAE,KAAK;4BACX,KAAK,EAAE,QAAQ;4BACf,IAAI,EAAE,uBAAuB,CAAC,EAAC,GAAG,EAAE,EAAC,EAAE,EAAE,SAAS,EAAC,EAAC,CAAC;4BACrD,mBAAmB,EAAE,MAAM;4BAC3B,iBAAiB,EAAE,CAAC;yBACrB;qBACF;iBACF;aACF,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC","sourcesContent":["/*\n * This Source Code Form is subject to the terms of the Mozilla Public\n * License, v. 2.0. If a copy of the MPL was not distributed with this\n * file, You can obtain one at https://mozilla.org/MPL/2.0/.\n */\nimport {getPropertyShapes, type NodeShapeData, type PropertyShapeData} from './nodeShapeData.js';\nimport {getSimplePathId} from '../paths/normalizePropertyPath.js';\nimport {serializePathToNodeData} from './serializePathToNodeData.js';\nimport {getSubShapes} from '../utils/ShapeClass.js';\nimport {NodeShape} from './SHACL.js';\nimport {PathList} from './PathList.js';\nimport {rdf} from '../ontologies/rdf.js';\n\n/**\n * The single-owner SHACL constraints generated from `contains` properties.\n *\n * A `contains` property says the subject owns the value node, and only that property does: a\n * plain property on the same predicate is a reference. For every such property, shape sync\n * writes one generated NodeShape stating the matching store-side rule: every object of the\n * property's predicate has at most one subject pointing at it through that predicate *that is\n * an instance of the declaring class or of a registered sub-shape's class*.\n *\n * ```turtle\n * <…/Thing/image.singleOwner> a sh:NodeShape ;\n *     core:generated true ;\n *     sh:targetObjectsOf schema:image ;\n *     sh:property <…/Thing/image.singleOwner/owners> .\n * <…/Thing/image.singleOwner/owners> a sh:PropertyShape ;\n *     sh:path [ sh:inversePath schema:image ] ;\n *     sh:qualifiedValueShape [ sh:or ( [ sh:class schema:Thing ] [ sh:class ex:Project ] ) ] ;\n *     sh:qualifiedMaxCount 1 .\n * ```\n *\n * The owner classes are enumerated rather than left to `sh:class` alone, because `sh:class`\n * matches a subclass instance only through `rdfs:subClassOf` triples, which a dataset without\n * inference does not have. With one class the qualified shape is `[ sh:class C ]`. Sub-shapes\n * registered only in another process are missing until a process that knows them syncs.\n *\n * One constraint per accessor, written only by the class that declares it: subclasses inherit\n * the property and are counted as owners, but add no constraint. A declaring shape without a\n * `targetClass` gets none (its owners cannot be named). The declaring shape owns its\n * constraints through `core:generatedShape` (`NodeShape.generatedShapes`, `contains`): shape sync\n * writes them nested in the shape's create and deletes them with the shape; their qualified\n * shape and `sh:or` list are blank nodes, deleted with the property shape that holds them.\n *\n * Ownership through two different `contains` predicates is not counted (a documented\n * limitation). The shapes are built only at sync time and are never registered in the\n * in-memory shape registry.\n */\n\n/** Suffix that turns a property shape's IRI into its generated single-owner shape's IRI. */\nconst SINGLE_OWNER_SUFFIX = '.singleOwner';\n\n/**\n * The deterministic IRI of the generated single-owner NodeShape of one property shape:\n * `${propertyShapeIri}.singleOwner`, e.g. `…/shape/my-pkg/Thing/image.singleOwner`.\n */\nexport function singleOwnerShapeIri(propertyShapeIri: string): string {\n  return `${propertyShapeIri}${SINGLE_OWNER_SUFFIX}`;\n}\n\n/**\n * The shape's OWN `contains` properties that get a single-owner constraint: those with a simple\n * path (every decorated `contains` property has a value shape), in declaration order.\n *\n * Inherited properties are not included; their declaring shape writes their constraint.\n * Complex paths are skipped, as the owned walk skips them.\n */\nexport function singleOwnerProperties(nodeShape: NodeShapeData): PropertyShapeData[] {\n  return getPropertyShapes(nodeShape, false).filter(\n    (ps) => ps.contains && !!ps.valueShape && !!getSimplePathId(ps.path),\n  );\n}\n\n/** The classes whose instances own through the shape's properties: its own and every sub-shape's. */\nfunction ownerClasses(nodeShape: NodeShapeData): string[] {\n  const classes = new Set<string>();\n  for (const shape of [nodeShape, ...getSubShapes(nodeShape)]) {\n    if (shape.targetClass?.id) classes.add(shape.targetClass.id);\n  }\n  return [...classes].sort();\n}\n\n/** `[ sh:class C ]`, or `[ sh:or ( [ sh:class A ] … ) ]` for several classes. Blank once written. */\nfunction ownerShapeData(classes: string[]): Record<string, unknown> {\n  const classShape = (id: string) => ({shape: NodeShape, class: {id}});\n  if (classes.length === 1) return classShape(classes[0]);\n  const list = classes.reduceRight<unknown>(\n    (rest, id) => ({shape: PathList, first: classShape(id), rest}),\n    {id: rdf.nil.id},\n  );\n  return {shape: NodeShape, orShapes: list};\n}\n\nconst warnedWithoutTargetClass = new Set<string>();\n\n/**\n * Create-pipeline data for the generated single-owner NodeShapes of `nodeShape`, one per\n * {@link singleOwnerProperties} entry. Each is stored at\n * {@link singleOwnerShapeIri}`(${shapeIri}/${label})`: the property shape's IRI exactly as shape\n * sync writes it (`buildPropertyShapeData`). Empty, with one warning per shape, when the shape\n * has `contains` properties but no `targetClass`.\n */\nexport function buildSingleOwnerConstraints(\n  nodeShape: NodeShapeData,\n  shapeIri: string,\n): Array<{iri: string; data: Record<string, unknown>}> {\n  const properties = singleOwnerProperties(nodeShape);\n  if (properties.length === 0) return [];\n  if (!nodeShape.targetClass?.id) {\n    if (!warnedWithoutTargetClass.has(nodeShape.id)) {\n      warnedWithoutTargetClass.add(nodeShape.id);\n      console.warn(\n        `[linked] Shape '${nodeShape.id}' has contains properties but no targetClass, so shape ` +\n          'sync writes no single-owner constraint for them: its owners cannot be named.',\n      );\n    }\n    return [];\n  }\n  const owners = ownerShapeData(ownerClasses(nodeShape));\n  return properties.flatMap((ps) => {\n    // Always set: `singleOwnerProperties` keeps simple paths only. The guard narrows the type.\n    const predicate = getSimplePathId(ps.path);\n    if (!predicate) return [];\n    const iri = singleOwnerShapeIri(`${shapeIri}/${ps.label}`);\n    const psIri = `${iri}/owners`;\n    return [{\n      iri,\n      data: {\n        generated: true,\n        targetObjectsOf: [{id: predicate}],\n        properties: [\n          {\n            __id: psIri,\n            label: 'owners',\n            path: serializePathToNodeData({inv: {id: predicate}}),\n            qualifiedValueShape: owners,\n            qualifiedMaxCount: 1,\n          },\n        ],\n      },\n    }];\n  });\n}\n"]}

package/lib/esm/shapes/syncShapes.js

@@ -137,8 +137,8 @@ function buildNodeShapeData(nodeShape, shapeIri) {
  * The single-owner constraints generated from the shape's own `contains` properties
  * (`${iri}/${label}.singleOwner`, see `singleOwnerConstraint.ts`) are owned by the shape through
  * `core:generatedShape` (a `contains` property with value shape NodeShape). The delete removes
- * each one's own triples (the immediate owned-child block) and their property shapes and path
- * nodes (the dependent cascade); the create writes the current ones nested, in the same request
+ * them and their property shapes through the owned walk, and their blank path and qualified-shape
+ * nodes through the blank-node cascade; the create writes the current ones nested, in the same request
  * as the shape. A removed or renamed accessor therefore loses its constraint on the next sync,
  * and a NodeShape the shape does not own is never touched.
  *