@origintrail-official/dkg-agent 10.0.19 → 10.0.21

package/dist/context-graph-authority-dependency.js

@@ -0,0 +1,50 @@
+// SPDX-License-Identifier: Apache-2.0
+import { isChainRpcTransportError } from '@origintrail-official/dkg-chain';
+import { isStoreOperationTimeoutError, isStoreSchedulerBusyError } from '@origintrail-official/dkg-storage';
+/**
+ * The dependency a caught authority-source error belongs to, read from the
+ * stable codes of it and its `cause` chain: store deadlines, recovery and
+ * admission shedding, or chain RPC transport failures.
+ */
+export function contextGraphReadAuthorityDependencyOf(error) {
+    try {
+        let current = error;
+        for (let depth = 0; depth < 4 && typeof current === 'object' && current !== null; depth += 1) {
+            if (isStoreOperationTimeoutError(current) || isStoreSchedulerBusyError(current))
+                return 'store';
+            if (isChainRpcTransportError(current))
+                return 'chain';
+            current = current.cause;
+        }
+    }
+    catch {
+        // A hostile error shape says nothing about its dependency.
+    }
+    return 'unknown';
+}
+/**
+ * The dependency behind each typed unavailable reason. Only a local chain
+ * binding lookup can fail on either the store or the chain, so its producers
+ * record the classified dependency of their error; every other reason names
+ * one fixed dependency.
+ */
+const REGISTERED_AUTHORITY_UNAVAILABLE_DEPENDENCY = {
+    'chain-access-policy-timeout': 'chain',
+    'chain-access-policy-unknown': 'chain',
+    'chain-access-policy-unavailable': 'chain',
+    'chain-name-binding-unavailable': 'chain',
+    'chain-participant-authority-unsupported': 'chain',
+    'chain-participant-authority-unavailable': 'chain',
+    'chain-participant-authority-invalid': 'chain',
+    'finalized-name-absence-unaccepted': 'chain',
+    'authority-circuit-open': 'chain',
+    'local-existence-unavailable': 'store',
+    'local-chain-binding-unavailable': 'local-state',
+};
+/** Which dependency an unavailable registered authority names: the one its producer classified, or its reason's. */
+export function registeredContextGraphAuthorityUnavailableDependency(unavailable) {
+    return unavailable.dependency
+        ?? REGISTERED_AUTHORITY_UNAVAILABLE_DEPENDENCY[unavailable.reason]
+        ?? 'unknown';
+}
+//# sourceMappingURL=context-graph-authority-dependency.js.map

package/dist/context-graph-authority-dependency.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"context-graph-authority-dependency.js","sourceRoot":"","sources":["../src/context-graph-authority-dependency.ts"],"names":[],"mappings":"AAAA,sCAAsC;AAEtC,OAAO,EAAE,wBAAwB,EAAE,MAAM,iCAAiC,CAAC;AAC3E,OAAO,EAAE,4BAA4B,EAAE,yBAAyB,EAAE,MAAM,mCAAmC,CAAC;AAS5G;;;;GAIG;AACH,MAAM,UAAU,qCAAqC,CAAC,KAAc;IAClE,IAAI,CAAC;QACH,IAAI,OAAO,GAAG,KAAK,CAAC;QACpB,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,CAAC,IAAI,OAAO,OAAO,KAAK,QAAQ,IAAI,OAAO,KAAK,IAAI,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;YAC7F,IAAI,4BAA4B,CAAC,OAAO,CAAC,IAAI,yBAAyB,CAAC,OAAO,CAAC;gBAAE,OAAO,OAAO,CAAC;YAChG,IAAI,wBAAwB,CAAC,OAAO,CAAC;gBAAE,OAAO,OAAO,CAAC;YACtD,OAAO,GAAI,OAA+B,CAAC,KAAK,CAAC;QACnD,CAAC;IACH,CAAC;IAAC,MAAM,CAAC;QACP,2DAA2D;IAC7D,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC;AAED;;;;;GAKG;AACH,MAAM,2CAA2C,GAE7C;IACF,6BAA6B,EAAE,OAAO;IACtC,6BAA6B,EAAE,OAAO;IACtC,iCAAiC,EAAE,OAAO;IAC1C,gCAAgC,EAAE,OAAO;IACzC,yCAAyC,EAAE,OAAO;IAClD,yCAAyC,EAAE,OAAO;IAClD,qCAAqC,EAAE,OAAO;IAC9C,mCAAmC,EAAE,OAAO;IAC5C,wBAAwB,EAAE,OAAO;IACjC,6BAA6B,EAAE,OAAO;IACtC,iCAAiC,EAAE,aAAa;CACjD,CAAC;AAEF,oHAAoH;AACpH,MAAM,UAAU,oDAAoD,CAClE,WAAuD;IAEvD,OAAO,WAAW,CAAC,UAAU;WACxB,2CAA2C,CAAC,WAAW,CAAC,MAAM,CAAC;WAC/D,SAAS,CAAC;AACjB,CAAC"}

package/dist/context-graph-binding-state.d.ts

@@ -39,6 +39,12 @@ export type ContextGraphBindingSubscriptionFacts = {
 export declare function isCanonicalPositiveContextGraphId(value: unknown): value is string;
 /** Canonical positive decimal that is representable by an EVM uint256 slot. */
 export declare function isCanonicalAuthoritativeContextGraphId(value: unknown): value is string;
+/**
+ * The committed name hashes that name a local Context Graph id, lowercase:
+ * its commitment keccak256(utf8(id)), and for a host-wire row (keyed by its
+ * own committed hash) that hash too. None for an id that is not valid UTF-16.
+ */
+export declare function committedNameHashesNaming(localCgId: string, isWireIdKeyedSubscription: (localId: string) => boolean): readonly string[];
 /** Shared cleartext-or-host-wire identity proof for one committed name hash. */
 export declare function localContextGraphIdMatchesCommittedNameHash(localCgId: string, committedNameHash: string, isWireIdKeyedSubscription: (localId: string) => boolean): boolean;
 /**

package/dist/context-graph-binding-state.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"context-graph-binding-state.d.ts","sourceRoot":"","sources":["../src/context-graph-binding-state.ts"],"names":[],"mappings":"AAoBA,MAAM,MAAM,6BAA6B,GACrC;IAAE,QAAQ,CAAC,GAAG,EAAE,KAAK,CAAA;CAAE,GACvB;IAAE,QAAQ,CAAC,GAAG,EAAE,IAAI,CAAC;IAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAA;CAAE,CAAC;AAExD,MAAM,MAAM,gCAAgC,GAAG;IAC7C,WAAW,EAAE,eAAe,CAAC;IAC7B,SAAS,EAAE,MAAM,CAAC;CACnB,CAAC;AAEF,MAAM,MAAM,kCAAkC,GAAG;IAC/C,WAAW,EAAE,mBAAmB,CAAC;IACjC,SAAS,EAAE,MAAM,CAAC;IAClB,QAAQ,EAAE,MAAM,CAAC;CAClB,CAAC;AAEF,MAAM,MAAM,mBAAmB,GAC3B,gCAAgC,GAChC,kCAAkC,CAAC;AAEvC,MAAM,MAAM,yBAAyB,GAAG,mBAAmB,GAAG;IAC5D,iBAAiB,EAAE,MAAM,CAAC;CAC3B,CAAC;AAEF,MAAM,MAAM,6BAA6B,GAAG;IAC1C,QAAQ,EAAE,mBAAmB,GAAG,SAAS,CAAC;IAC1C,OAAO,EAAE,mBAAmB,CAAC;IAC7B,OAAO,EAAE,OAAO,CAAC;IACjB,gBAAgB,EAAE,OAAO,CAAC;CAC3B,CAAC;AAEF,gFAAgF;AAChF,MAAM,MAAM,+BAA+B,GAAG;IAC5C,SAAS,CAAC,EAAE,MAAM,CAAC;CACpB,CAAC;AAEF,MAAM,MAAM,oCAAoC,GAAG,+BAA+B,GAAG;IACnF,UAAU,CAAC,EAAE,OAAO,CAAC;IACrB,UAAU,CAAC,EAAE,OAAO,CAAC;CACtB,CAAC;AAEF,MAAM,MAAM,oCAAoC,GAAG;IACjD,QAAQ,CAAC,uBAAuB,EAAE,OAAO,CAAC;IAC1C,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;CAC5B,CAAC;AAEF,+EAA+E;AAC/E,wBAAgB,iCAAiC,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,MAAM,CAEjF;AAED,+EAA+E;AAC/E,wBAAgB,sCAAsC,CACpD,KAAK,EAAE,OAAO,GACb,KAAK,IAAI,MAAM,CAOjB;AAED,gFAAgF;AAChF,wBAAgB,2CAA2C,CACzD,SAAS,EAAE,MAAM,EACjB,iBAAiB,EAAE,MAAM,EACzB,yBAAyB,EAAE,CAAC,OAAO,EAAE,MAAM,KAAK,OAAO,GACtD,OAAO,CAaT;AAmBD;;;;;;;;GAQG;AACH,qBAAa,wBAAwB;IACnC,OAAO,CAAC,QAAQ,CAAC,iBAAiB,CAG9B;IAEJ,OAAO,CAAC,QAAQ,CAAC,WAAW,CAA6B;IAEzD,4EAA4E;IAC5E,OAAO,CAAC,QAAQ,CAAC,wBAAwB,CAGrC;IAEJ,iFAAiF;IACjF,OAAO,CAAC,cAAc,CAAK;IAE3B,iBAAiB,CACf,SAAS,EAAE,MAAM,EACjB,YAAY,EAAE,+BAA+B,GAAG,SAAS,GACxD,mBAAmB,GAAG,SAAS;IAWlC,mBAAmB,CACjB,SAAS,EAAE,MAAM,EACjB,YAAY,EAAE,+BAA+B,GAAG,SAAS,GACxD,OAAO;IAIV;;;;;OAKG;IACH,0BAA0B,CACxB,SAAS,EAAE,MAAM,EACjB,YAAY,EAAE,+BAA+B,GAAG,SAAS,GACxD,MAAM,GAAG,SAAS;IAQrB,uBAAuB,CACrB,SAAS,EAAE,MAAM,EACjB,YAAY,EAAE,+BAA+B,GAAG,SAAS,EACzD,SAAS,EAAE,MAAM,GAChB,OAAO;IAMV;;;;;OAKG;IACH,2BAA2B,CACzB,SAAS,EAAE,MAAM,EACjB,QAAQ,EAAE,oCAAoC,GAAG,SAAS,EAC1D,IAAI,EAAE,oCAAoC,EAC1C,YAAY,EAAE,MAAM,GACnB,oCAAoC;IAkBvC,iBAAiB,CACf,SAAS,EAAE,MAAM,EACjB,YAAY,EAAE,+BAA+B,EAC7C,YAAY,EAAE,MAAM,GACnB,6BAA6B;IAwBhC,oBAAoB,CAClB,SAAS,EAAE,MAAM,EACjB,YAAY,EAAE,+BAA+B,EAC7C,YAAY,EAAE,MAAM,EACpB,QAAQ,EAAE,MAAM,GACf,6BAA6B;IAgChC,yEAAyE;IACzE,KAAK,CAAC,SAAS,EAAE,MAAM,GAAG,OAAO;IAQjC,gFAAgF;IAChF,UAAU,CAAC,SAAS,EAAE,MAAM,GAAG,MAAM;IAMrC,8EAA8E;IAC9E,MAAM,CAAC,SAAS,EAAE,MAAM,GAAG,IAAI;IAM/B,IAAI,CAAC,SAAS,EAAE,MAAM,GAAG,MAAM;IAM/B,OAAO,CAAC,SAAS,EAAE,MAAM,GAAG,MAAM;IAIlC,mBAAmB,CAAC,SAAS,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,GAAG,OAAO;IAInE,kBAAkB,CAChB,SAAS,EAAE,MAAM,EACjB,YAAY,EAAE,+BAA+B,GAAG,SAAS,EACzD,MAAM,EAAE,yBAAyB,GAChC,OAAO;IAMV,0BAA0B,CACxB,SAAS,EAAE,MAAM,EACjB,YAAY,EAAE,CAAC,SAAS,EAAE,MAAM,KAAK,OAAO,EAC5C,GAAG,SAAa,GACf,6BAA6B;IAsBhC,mCAAmC,CAAC,SAAS,EAAE,MAAM,EAAE,GAAG,SAAa,GAAG,IAAI;IAO9E,+BAA+B,CAC7B,SAAS,EAAE,MAAM,EACjB,SAAS,EAAE,MAAM,EACjB,oBAAoB,EAAE,OAAO,EAC7B,GAAG,SAAa,GACf,IAAI;IASP,OAAO,CAAC,0BAA0B;IAalC,OAAO,CAAC,wCAAwC;IAQhD,oEAAoE;IACpE,IAAI,IAAI,IAAI,MAAM,CAEjB;IAED,IAAI,eAAe,IAAI,MAAM,CAE5B;CACF"}
+{"version":3,"file":"context-graph-binding-state.d.ts","sourceRoot":"","sources":["../src/context-graph-binding-state.ts"],"names":[],"mappings":"AAoBA,MAAM,MAAM,6BAA6B,GACrC;IAAE,QAAQ,CAAC,GAAG,EAAE,KAAK,CAAA;CAAE,GACvB;IAAE,QAAQ,CAAC,GAAG,EAAE,IAAI,CAAC;IAAC,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAA;CAAE,CAAC;AAExD,MAAM,MAAM,gCAAgC,GAAG;IAC7C,WAAW,EAAE,eAAe,CAAC;IAC7B,SAAS,EAAE,MAAM,CAAC;CACnB,CAAC;AAEF,MAAM,MAAM,kCAAkC,GAAG;IAC/C,WAAW,EAAE,mBAAmB,CAAC;IACjC,SAAS,EAAE,MAAM,CAAC;IAClB,QAAQ,EAAE,MAAM,CAAC;CAClB,CAAC;AAEF,MAAM,MAAM,mBAAmB,GAC3B,gCAAgC,GAChC,kCAAkC,CAAC;AAEvC,MAAM,MAAM,yBAAyB,GAAG,mBAAmB,GAAG;IAC5D,iBAAiB,EAAE,MAAM,CAAC;CAC3B,CAAC;AAEF,MAAM,MAAM,6BAA6B,GAAG;IAC1C,QAAQ,EAAE,mBAAmB,GAAG,SAAS,CAAC;IAC1C,OAAO,EAAE,mBAAmB,CAAC;IAC7B,OAAO,EAAE,OAAO,CAAC;IACjB,gBAAgB,EAAE,OAAO,CAAC;CAC3B,CAAC;AAEF,gFAAgF;AAChF,MAAM,MAAM,+BAA+B,GAAG;IAC5C,SAAS,CAAC,EAAE,MAAM,CAAC;CACpB,CAAC;AAEF,MAAM,MAAM,oCAAoC,GAAG,+BAA+B,GAAG;IACnF,UAAU,CAAC,EAAE,OAAO,CAAC;IACrB,UAAU,CAAC,EAAE,OAAO,CAAC;CACtB,CAAC;AAEF,MAAM,MAAM,oCAAoC,GAAG;IACjD,QAAQ,CAAC,uBAAuB,EAAE,OAAO,CAAC;IAC1C,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;CAC5B,CAAC;AAEF,+EAA+E;AAC/E,wBAAgB,iCAAiC,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,MAAM,CAEjF;AAED,+EAA+E;AAC/E,wBAAgB,sCAAsC,CACpD,KAAK,EAAE,OAAO,GACb,KAAK,IAAI,MAAM,CAOjB;AAED;;;;GAIG;AACH,wBAAgB,yBAAyB,CACvC,SAAS,EAAE,MAAM,EACjB,yBAAyB,EAAE,CAAC,OAAO,EAAE,MAAM,KAAK,OAAO,GACtD,SAAS,MAAM,EAAE,CAUnB;AAED,gFAAgF;AAChF,wBAAgB,2CAA2C,CACzD,SAAS,EAAE,MAAM,EACjB,iBAAiB,EAAE,MAAM,EACzB,yBAAyB,EAAE,CAAC,OAAO,EAAE,MAAM,KAAK,OAAO,GACtD,OAAO,CAGT;AAmBD;;;;;;;;GAQG;AACH,qBAAa,wBAAwB;IACnC,OAAO,CAAC,QAAQ,CAAC,iBAAiB,CAG9B;IAEJ,OAAO,CAAC,QAAQ,CAAC,WAAW,CAA6B;IAEzD,4EAA4E;IAC5E,OAAO,CAAC,QAAQ,CAAC,wBAAwB,CAGrC;IAEJ,iFAAiF;IACjF,OAAO,CAAC,cAAc,CAAK;IAE3B,iBAAiB,CACf,SAAS,EAAE,MAAM,EACjB,YAAY,EAAE,+BAA+B,GAAG,SAAS,GACxD,mBAAmB,GAAG,SAAS;IAWlC,mBAAmB,CACjB,SAAS,EAAE,MAAM,EACjB,YAAY,EAAE,+BAA+B,GAAG,SAAS,GACxD,OAAO;IAIV;;;;;OAKG;IACH,0BAA0B,CACxB,SAAS,EAAE,MAAM,EACjB,YAAY,EAAE,+BAA+B,GAAG,SAAS,GACxD,MAAM,GAAG,SAAS;IAQrB,uBAAuB,CACrB,SAAS,EAAE,MAAM,EACjB,YAAY,EAAE,+BAA+B,GAAG,SAAS,EACzD,SAAS,EAAE,MAAM,GAChB,OAAO;IAMV;;;;;OAKG;IACH,2BAA2B,CACzB,SAAS,EAAE,MAAM,EACjB,QAAQ,EAAE,oCAAoC,GAAG,SAAS,EAC1D,IAAI,EAAE,oCAAoC,EAC1C,YAAY,EAAE,MAAM,GACnB,oCAAoC;IAkBvC,iBAAiB,CACf,SAAS,EAAE,MAAM,EACjB,YAAY,EAAE,+BAA+B,EAC7C,YAAY,EAAE,MAAM,GACnB,6BAA6B;IAwBhC,oBAAoB,CAClB,SAAS,EAAE,MAAM,EACjB,YAAY,EAAE,+BAA+B,EAC7C,YAAY,EAAE,MAAM,EACpB,QAAQ,EAAE,MAAM,GACf,6BAA6B;IAgChC,yEAAyE;IACzE,KAAK,CAAC,SAAS,EAAE,MAAM,GAAG,OAAO;IAQjC,gFAAgF;IAChF,UAAU,CAAC,SAAS,EAAE,MAAM,GAAG,MAAM;IAMrC,8EAA8E;IAC9E,MAAM,CAAC,SAAS,EAAE,MAAM,GAAG,IAAI;IAM/B,IAAI,CAAC,SAAS,EAAE,MAAM,GAAG,MAAM;IAM/B,OAAO,CAAC,SAAS,EAAE,MAAM,GAAG,MAAM;IAIlC,mBAAmB,CAAC,SAAS,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,GAAG,OAAO;IAInE,kBAAkB,CAChB,SAAS,EAAE,MAAM,EACjB,YAAY,EAAE,+BAA+B,GAAG,SAAS,EACzD,MAAM,EAAE,yBAAyB,GAChC,OAAO;IAMV,0BAA0B,CACxB,SAAS,EAAE,MAAM,EACjB,YAAY,EAAE,CAAC,SAAS,EAAE,MAAM,KAAK,OAAO,EAC5C,GAAG,SAAa,GACf,6BAA6B;IAsBhC,mCAAmC,CAAC,SAAS,EAAE,MAAM,EAAE,GAAG,SAAa,GAAG,IAAI;IAO9E,+BAA+B,CAC7B,SAAS,EAAE,MAAM,EACjB,SAAS,EAAE,MAAM,EACjB,oBAAoB,EAAE,OAAO,EAC7B,GAAG,SAAa,GACf,IAAI;IASP,OAAO,CAAC,0BAA0B;IAalC,OAAO,CAAC,wCAAwC;IAQhD,oEAAoE;IACpE,IAAI,IAAI,IAAI,MAAM,CAEjB;IAED,IAAI,eAAe,IAAI,MAAM,CAE5B;CACF"}

package/dist/context-graph-binding-state.js

@@ -16,20 +16,27 @@ export function isCanonicalAuthoritativeContextGraphId(value) {
         && value.length <= 78
         && BigInt(value) <= ethers.MaxUint256;
 }
-/** Shared cleartext-or-host-wire identity proof for one committed name hash. */
-export function localContextGraphIdMatchesCommittedNameHash(localCgId, committedNameHash, isWireIdKeyedSubscription) {
-    const normalizedCommitment = committedNameHash.toLowerCase();
+/**
+ * The committed name hashes that name a local Context Graph id, lowercase:
+ * its commitment keccak256(utf8(id)), and for a host-wire row (keyed by its
+ * own committed hash) that hash too. None for an id that is not valid UTF-16.
+ */
+export function committedNameHashesNaming(localCgId, isWireIdKeyedSubscription) {
+    let commitment;
     try {
-        if (ethers.keccak256(ethers.toUtf8Bytes(localCgId)).toLowerCase()
-            === normalizedCommitment)
-            return true;
+        commitment = ethers.keccak256(ethers.toUtf8Bytes(localCgId)).toLowerCase();
     }
     catch {
-        return false;
+        return [];
     }
-    return /^0x[0-9a-fA-F]{64}$/.test(localCgId)
-        && isWireIdKeyedSubscription(localCgId)
-        && localCgId.toLowerCase() === normalizedCommitment;
+    return /^0x[0-9a-fA-F]{64}$/.test(localCgId) && isWireIdKeyedSubscription(localCgId)
+        ? [commitment, localCgId.toLowerCase()]
+        : [commitment];
+}
+/** Shared cleartext-or-host-wire identity proof for one committed name hash. */
+export function localContextGraphIdMatchesCommittedNameHash(localCgId, committedNameHash, isWireIdKeyedSubscription) {
+    return committedNameHashesNaming(localCgId, isWireIdKeyedSubscription)
+        .includes(committedNameHash.toLowerCase());
 }
 function requireCanonicalAuthoritativeContextGraphId(value) {
     if (!isCanonicalAuthoritativeContextGraphId(value)) {

package/dist/context-graph-binding-state.js.map

@@ -1 +1 @@
-{"version":3,"file":"context-graph-binding-state.js","sourceRoot":"","sources":["../src/context-graph-binding-state.ts"],"names":[],"mappings":"AAAA,sCAAsC;AAEtC,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAEhC,MAAM,qCAAqC,GAAG,GAAG,CAAC;AAClD,MAAM,qCAAqC,GAAG,MAAM,CAAC;AACrD,MAAM,yCAAyC,GAAG,CAAC,GAAG,MAAM,CAAC;AA2D7D,+EAA+E;AAC/E,MAAM,UAAU,iCAAiC,CAAC,KAAc;IAC9D,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,eAAe,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AAClE,CAAC;AAED,+EAA+E;AAC/E,MAAM,UAAU,sCAAsC,CACpD,KAAc;IAEd,OAAO,iCAAiC,CAAC,KAAK,CAAC;QAC7C,oEAAoE;QACpE,yEAAyE;QACzE,0EAA0E;WACvE,KAAK,CAAC,MAAM,IAAI,EAAE;WAClB,MAAM,CAAC,KAAK,CAAC,IAAI,MAAM,CAAC,UAAU,CAAC;AAC1C,CAAC;AAED,gFAAgF;AAChF,MAAM,UAAU,2CAA2C,CACzD,SAAiB,EACjB,iBAAyB,EACzB,yBAAuD;IAEvD,MAAM,oBAAoB,GAAG,iBAAiB,CAAC,WAAW,EAAE,CAAC;IAC7D,IAAI,CAAC;QACH,IACE,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,WAAW,CAAC,SAAS,CAAC,CAAC,CAAC,WAAW,EAAE;gBACzD,oBAAoB;YACxB,OAAO,IAAI,CAAC;IAChB,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,qBAAqB,CAAC,IAAI,CAAC,SAAS,CAAC;WACvC,yBAAyB,CAAC,SAAS,CAAC;WACpC,SAAS,CAAC,WAAW,EAAE,KAAK,oBAAoB,CAAC;AACxD,CAAC;AAED,SAAS,2CAA2C,CAAC,KAAa;IAChE,IAAI,CAAC,sCAAsC,CAAC,KAAK,CAAC,EAAE,CAAC;QACnD,MAAM,IAAI,SAAS,CAAC,sCAAsC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;IACrF,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,aAAa,CACpB,IAAqC,EACrC,KAA0B;IAE1B,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,WAAW,KAAK,KAAK,CAAC,WAAW;QAAE,OAAO,KAAK,CAAC;IAClE,IAAI,IAAI,CAAC,SAAS,KAAK,KAAK,CAAC,SAAS;QAAE,OAAO,KAAK,CAAC;IACrD,OAAO,IAAI,CAAC,WAAW,KAAK,eAAe;WACtC,IAAI,CAAC,QAAQ,KAAM,KAA4C,CAAC,QAAQ,CAAC;AAChF,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,OAAO,wBAAwB;IAClB,iBAAiB,GAAG,IAAI,GAAG,EAGzC,CAAC;IAEa,WAAW,GAAG,IAAI,GAAG,EAAkB,CAAC;IAEzD,4EAA4E;IAC3D,wBAAwB,GAAG,IAAI,GAAG,EAGhD,CAAC;IAEJ,iFAAiF;IACzE,cAAc,GAAG,CAAC,CAAC;IAE3B,iBAAiB,CACf,SAAiB,EACjB,YAAyD;QAEzD,IAAI,YAAY,EAAE,SAAS,KAAK,SAAS,EAAE,CAAC;YAC1C,IAAI,CAAC,sCAAsC,CAAC,YAAY,CAAC,SAAS,CAAC;gBAAE,OAAO,SAAS,CAAC;YACtF,OAAO;gBACL,WAAW,EAAE,eAAe;gBAC5B,SAAS,EAAE,YAAY,CAAC,SAAS;aAClC,CAAC;QACJ,CAAC;QACD,OAAO,IAAI,CAAC,iBAAiB,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;IAC/C,CAAC;IAED,mBAAmB,CACjB,SAAiB,EACjB,YAAyD;QAEzD,OAAO,IAAI,CAAC,iBAAiB,CAAC,SAAS,EAAE,YAAY,CAAC,KAAK,SAAS,CAAC;IACvE,CAAC;IAED;;;;;OAKG;IACH,0BAA0B,CACxB,SAAiB,EACjB,YAAyD;QAEzD,MAAM,OAAO,GAAG,IAAI,CAAC,iBAAiB,CAAC,SAAS,EAAE,YAAY,CAAC,CAAC;QAChE,OAAO,OAAO,EAAE,WAAW,KAAK,eAAe;eAC1C,sCAAsC,CAAC,OAAO,CAAC,SAAS,CAAC;YAC5D,CAAC,CAAC,OAAO,CAAC,SAAS;YACnB,CAAC,CAAC,SAAS,CAAC;IAChB,CAAC;IAED,uBAAuB,CACrB,SAAiB,EACjB,YAAyD,EACzD,SAAiB;QAEjB,MAAM,OAAO,GAAG,IAAI,CAAC,iBAAiB,CAAC,SAAS,EAAE,YAAY,CAAC,CAAC;QAChE,OAAO,OAAO,EAAE,WAAW,KAAK,mBAAmB;eAC9C,OAAO,CAAC,SAAS,KAAK,SAAS,CAAC;IACvC,CAAC;IAED;;;;;OAKG;IACH,2BAA2B,CACzB,SAAiB,EACjB,QAA0D,EAC1D,IAA0C,EAC1C,YAAoB;QAEpB,MAAM,gBAAgB,GAAG,IAAI,CAAC,iBAAiB,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;QAC/D,MAAM,QAAQ,GAAG,IAAI,CAAC,UAAU,KAAK,IAAI,IAAI,IAAI,CAAC,UAAU,KAAK,IAAI,CAAC;QACtE,MAAM,uBAAuB,GAAG,QAAQ,KAAK,SAAS;eACjD,QAAQ,CAAC,SAAS,KAAK,SAAS;eAChC,IAAI,CAAC,SAAS,KAAK,SAAS;eAC5B,QAAQ;eACR,gBAAgB,EAAE,QAAQ,KAAK,YAAY,CAAC;QACjD,MAAM,uBAAuB,GAAG,uBAAuB;YACrD,CAAC,CAAC,KAAK;YACP,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QAC1B,IAAI,CAAC,QAAQ;YAAE,IAAI,CAAC,wCAAwC,CAAC,SAAS,CAAC,CAAC;QACxE,OAAO;YACL,uBAAuB;YACvB,QAAQ;SACT,CAAC;IACJ,CAAC;IAED,iBAAiB,CACf,SAAiB,EACjB,YAA6C,EAC7C,YAAoB;QAEpB,MAAM,kBAAkB,GAAG,2CAA2C,CAAC,YAAY,CAAC,CAAC;QACrF,MAAM,QAAQ,GAAG,IAAI,CAAC,iBAAiB,CAAC,SAAS,EAAE,YAAY,CAAC,CAAC;QACjE,MAAM,iBAAiB,GAAG,YAAY,CAAC,SAAS,IAAI,QAAQ,EAAE,SAAS,CAAC;QACxE,MAAM,OAAO,GAAqC;YAChD,WAAW,EAAE,eAAe;YAC5B,SAAS,EAAE,kBAAkB;SAC9B,CAAC;QACF,IAAI,CAAC,iBAAiB,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;QACzC,MAAM,OAAO,GAAG,CAAC,aAAa,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;QAClD,IAAI,OAAO,EAAE,CAAC;YACZ,IAAI,CAAC,wCAAwC,CAAC,SAAS,CAAC,CAAC;YACzD,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QACvB,CAAC;QACD,YAAY,CAAC,SAAS,GAAG,kBAAkB,CAAC;QAC5C,OAAO;YACL,QAAQ;YACR,OAAO;YACP,OAAO;YACP,gBAAgB,EAAE,iBAAiB,KAAK,SAAS;mBAC5C,iBAAiB,KAAK,kBAAkB;SAC9C,CAAC;IACJ,CAAC;IAED,oBAAoB,CAClB,SAAiB,EACjB,YAA6C,EAC7C,YAAoB,EACpB,QAAgB;QAEhB,MAAM,kBAAkB,GAAG,2CAA2C,CAAC,YAAY,CAAC,CAAC;QACrF,MAAM,QAAQ,GAAG,IAAI,CAAC,iBAAiB,CAAC,SAAS,EAAE,YAAY,CAAC,CAAC;QACjE,IAAI,YAAY,CAAC,SAAS,KAAK,SAAS,EAAE,CAAC;YACzC,2CAA2C,CAAC,YAAY,CAAC,SAAS,CAAC,CAAC;YACpE,IAAI,CAAC,iBAAiB,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;YACzC,OAAO;gBACL,QAAQ;gBACR,OAAO,EAAE,QAA4C;gBACrD,OAAO,EAAE,KAAK;gBACd,gBAAgB,EAAE,KAAK;aACxB,CAAC;QACJ,CAAC;QACD,MAAM,OAAO,GAAuC;YAClD,WAAW,EAAE,mBAAmB;YAChC,SAAS,EAAE,kBAAkB;YAC7B,QAAQ;SACT,CAAC;QACF,MAAM,OAAO,GAAG,CAAC,aAAa,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;QAClD,IAAI,OAAO,EAAE,CAAC;YACZ,IAAI,CAAC,wCAAwC,CAAC,SAAS,CAAC,CAAC;YACzD,IAAI,CAAC,iBAAiB,CAAC,GAAG,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;YAC/C,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QACvB,CAAC;QACD,OAAO;YACL,QAAQ;YACR,OAAO;YACP,OAAO;YACP,gBAAgB,EAAE,QAAQ,KAAK,SAAS,IAAI,QAAQ,CAAC,SAAS,KAAK,kBAAkB;SACtF,CAAC;IACJ,CAAC;IAED,yEAAyE;IACzE,KAAK,CAAC,SAAiB;QACrB,MAAM,OAAO,GAAG,IAAI,CAAC,iBAAiB,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;QACzD,IAAI,CAAC,wCAAwC,CAAC,SAAS,CAAC,CAAC;QACzD,IAAI,CAAC,OAAO;YAAE,OAAO,KAAK,CAAC;QAC3B,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QACrB,OAAO,IAAI,CAAC;IACd,CAAC;IAED,gFAAgF;IAChF,UAAU,CAAC,SAAiB;QAC1B,IAAI,CAAC,iBAAiB,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;QACzC,IAAI,CAAC,wCAAwC,CAAC,SAAS,CAAC,CAAC;QACzD,OAAO,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IAC9B,CAAC;IAED,8EAA8E;IAC9E,MAAM,CAAC,SAAiB;QACtB,IAAI,CAAC,iBAAiB,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;QACzC,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;QACnC,IAAI,CAAC,wCAAwC,CAAC,SAAS,CAAC,CAAC;IAC3D,CAAC;IAED,IAAI,CAAC,SAAiB;QACpB,MAAM,UAAU,GAAG,EAAE,IAAI,CAAC,cAAc,CAAC;QACzC,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,SAAS,EAAE,UAAU,CAAC,CAAC;QAC5C,OAAO,UAAU,CAAC;IACpB,CAAC;IAED,OAAO,CAAC,SAAiB;QACvB,OAAO,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IAC9C,CAAC;IAED,mBAAmB,CAAC,SAAiB,EAAE,UAAkB;QACvD,OAAO,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,KAAK,UAAU,CAAC;IAChD,CAAC;IAED,kBAAkB,CAChB,SAAiB,EACjB,YAAyD,EACzD,MAAiC;QAEjC,MAAM,OAAO,GAAG,IAAI,CAAC,iBAAiB,CAAC,SAAS,EAAE,YAAY,CAAC,CAAC;QAChE,OAAO,aAAa,CAAC,OAAO,EAAE,MAAM,CAAC;eAChC,IAAI,CAAC,mBAAmB,CAAC,SAAS,EAAE,MAAM,CAAC,iBAAiB,CAAC,CAAC;IACrE,CAAC;IAED,0BAA0B,CACxB,SAAiB,EACjB,YAA4C,EAC5C,GAAG,GAAG,IAAI,CAAC,GAAG,EAAE;QAEhB,MAAM,KAAK,GAAG,IAAI,CAAC,wBAAwB,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;QAC3D,IAAI,CAAC,KAAK;YAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC;QAClC,IAAI,KAAK,CAAC,SAAS,IAAI,GAAG,EAAE,CAAC;YAC3B,IAAI,CAAC,wBAAwB,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;YAChD,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC;QACxB,CAAC;QACD,IACE,KAAK,CAAC,IAAI,KAAK,UAAU;eACtB,KAAK,CAAC,oBAAoB;eAC1B,CAAC,YAAY,CAAC,KAAK,CAAC,SAAS,CAAC,EACjC,CAAC;YACD,IAAI,CAAC,wBAAwB,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;YAChD,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC;QACxB,CAAC;QACD,IAAI,CAAC,wBAAwB,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;QAChD,IAAI,CAAC,wBAAwB,CAAC,GAAG,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;QACpD,OAAO,KAAK,CAAC,IAAI,KAAK,UAAU;YAC9B,CAAC,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,CAAC,SAAS,EAAE;YAC3C,CAAC,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC;IACpB,CAAC;IAED,mCAAmC,CAAC,SAAiB,EAAE,GAAG,GAAG,IAAI,CAAC,GAAG,EAAE;QACrE,IAAI,CAAC,0BAA0B,CAAC,SAAS,EAAE;YACzC,IAAI,EAAE,MAAM;YACZ,SAAS,EAAE,GAAG,GAAG,qCAAqC;SACvD,CAAC,CAAC;IACL,CAAC;IAED,+BAA+B,CAC7B,SAAiB,EACjB,SAAiB,EACjB,oBAA6B,EAC7B,GAAG,GAAG,IAAI,CAAC,GAAG,EAAE;QAEhB,IAAI,CAAC,0BAA0B,CAAC,SAAS,EAAE;YACzC,IAAI,EAAE,UAAU;YAChB,SAAS;YACT,oBAAoB;YACpB,SAAS,EAAE,GAAG,GAAG,yCAAyC;SAC3D,CAAC,CAAC;IACL,CAAC;IAEO,0BAA0B,CAChC,SAAiB,EACjB,KAAmC;QAEnC,IAAI,CAAC,wBAAwB,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;QAChD,IAAI,CAAC,wBAAwB,CAAC,GAAG,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;QACpD,OAAO,IAAI,CAAC,wBAAwB,CAAC,IAAI,GAAG,qCAAqC,EAAE,CAAC;YAClF,MAAM,MAAM,GAAG,IAAI,CAAC,wBAAwB,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC;YACjE,IAAI,MAAM,KAAK,SAAS;gBAAE,MAAM;YAChC,IAAI,CAAC,wBAAwB,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;QAC/C,CAAC;IACH,CAAC;IAEO,wCAAwC,CAAC,SAAiB;QAChE,KAAK,MAAM,CAAC,SAAS,EAAE,KAAK,CAAC,IAAI,IAAI,CAAC,wBAAwB,EAAE,CAAC;YAC/D,IAAI,KAAK,CAAC,IAAI,KAAK,UAAU,IAAI,KAAK,CAAC,SAAS,KAAK,SAAS,EAAE,CAAC;gBAC/D,IAAI,CAAC,wBAAwB,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;YAClD,CAAC;QACH,CAAC;IACH,CAAC;IAED,oEAAoE;IACpE,IAAI,IAAI;QACN,OAAO,IAAI,CAAC,iBAAiB,CAAC,IAAI,CAAC;IACrC,CAAC;IAED,IAAI,eAAe;QACjB,OAAO,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC;IAC/B,CAAC;CACF"}
+{"version":3,"file":"context-graph-binding-state.js","sourceRoot":"","sources":["../src/context-graph-binding-state.ts"],"names":[],"mappings":"AAAA,sCAAsC;AAEtC,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAC;AAEhC,MAAM,qCAAqC,GAAG,GAAG,CAAC;AAClD,MAAM,qCAAqC,GAAG,MAAM,CAAC;AACrD,MAAM,yCAAyC,GAAG,CAAC,GAAG,MAAM,CAAC;AA2D7D,+EAA+E;AAC/E,MAAM,UAAU,iCAAiC,CAAC,KAAc;IAC9D,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,eAAe,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AAClE,CAAC;AAED,+EAA+E;AAC/E,MAAM,UAAU,sCAAsC,CACpD,KAAc;IAEd,OAAO,iCAAiC,CAAC,KAAK,CAAC;QAC7C,oEAAoE;QACpE,yEAAyE;QACzE,0EAA0E;WACvE,KAAK,CAAC,MAAM,IAAI,EAAE;WAClB,MAAM,CAAC,KAAK,CAAC,IAAI,MAAM,CAAC,UAAU,CAAC;AAC1C,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,yBAAyB,CACvC,SAAiB,EACjB,yBAAuD;IAEvD,IAAI,UAAkB,CAAC;IACvB,IAAI,CAAC;QACH,UAAU,GAAG,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,WAAW,CAAC,SAAS,CAAC,CAAC,CAAC,WAAW,EAAE,CAAC;IAC7E,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,EAAE,CAAC;IACZ,CAAC;IACD,OAAO,qBAAqB,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,yBAAyB,CAAC,SAAS,CAAC;QAClF,CAAC,CAAC,CAAC,UAAU,EAAE,SAAS,CAAC,WAAW,EAAE,CAAC;QACvC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC;AACnB,CAAC;AAED,gFAAgF;AAChF,MAAM,UAAU,2CAA2C,CACzD,SAAiB,EACjB,iBAAyB,EACzB,yBAAuD;IAEvD,OAAO,yBAAyB,CAAC,SAAS,EAAE,yBAAyB,CAAC;SACnE,QAAQ,CAAC,iBAAiB,CAAC,WAAW,EAAE,CAAC,CAAC;AAC/C,CAAC;AAED,SAAS,2CAA2C,CAAC,KAAa;IAChE,IAAI,CAAC,sCAAsC,CAAC,KAAK,CAAC,EAAE,CAAC;QACnD,MAAM,IAAI,SAAS,CAAC,sCAAsC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;IACrF,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,aAAa,CACpB,IAAqC,EACrC,KAA0B;IAE1B,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,WAAW,KAAK,KAAK,CAAC,WAAW;QAAE,OAAO,KAAK,CAAC;IAClE,IAAI,IAAI,CAAC,SAAS,KAAK,KAAK,CAAC,SAAS;QAAE,OAAO,KAAK,CAAC;IACrD,OAAO,IAAI,CAAC,WAAW,KAAK,eAAe;WACtC,IAAI,CAAC,QAAQ,KAAM,KAA4C,CAAC,QAAQ,CAAC;AAChF,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,OAAO,wBAAwB;IAClB,iBAAiB,GAAG,IAAI,GAAG,EAGzC,CAAC;IAEa,WAAW,GAAG,IAAI,GAAG,EAAkB,CAAC;IAEzD,4EAA4E;IAC3D,wBAAwB,GAAG,IAAI,GAAG,EAGhD,CAAC;IAEJ,iFAAiF;IACzE,cAAc,GAAG,CAAC,CAAC;IAE3B,iBAAiB,CACf,SAAiB,EACjB,YAAyD;QAEzD,IAAI,YAAY,EAAE,SAAS,KAAK,SAAS,EAAE,CAAC;YAC1C,IAAI,CAAC,sCAAsC,CAAC,YAAY,CAAC,SAAS,CAAC;gBAAE,OAAO,SAAS,CAAC;YACtF,OAAO;gBACL,WAAW,EAAE,eAAe;gBAC5B,SAAS,EAAE,YAAY,CAAC,SAAS;aAClC,CAAC;QACJ,CAAC;QACD,OAAO,IAAI,CAAC,iBAAiB,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;IAC/C,CAAC;IAED,mBAAmB,CACjB,SAAiB,EACjB,YAAyD;QAEzD,OAAO,IAAI,CAAC,iBAAiB,CAAC,SAAS,EAAE,YAAY,CAAC,KAAK,SAAS,CAAC;IACvE,CAAC;IAED;;;;;OAKG;IACH,0BAA0B,CACxB,SAAiB,EACjB,YAAyD;QAEzD,MAAM,OAAO,GAAG,IAAI,CAAC,iBAAiB,CAAC,SAAS,EAAE,YAAY,CAAC,CAAC;QAChE,OAAO,OAAO,EAAE,WAAW,KAAK,eAAe;eAC1C,sCAAsC,CAAC,OAAO,CAAC,SAAS,CAAC;YAC5D,CAAC,CAAC,OAAO,CAAC,SAAS;YACnB,CAAC,CAAC,SAAS,CAAC;IAChB,CAAC;IAED,uBAAuB,CACrB,SAAiB,EACjB,YAAyD,EACzD,SAAiB;QAEjB,MAAM,OAAO,GAAG,IAAI,CAAC,iBAAiB,CAAC,SAAS,EAAE,YAAY,CAAC,CAAC;QAChE,OAAO,OAAO,EAAE,WAAW,KAAK,mBAAmB;eAC9C,OAAO,CAAC,SAAS,KAAK,SAAS,CAAC;IACvC,CAAC;IAED;;;;;OAKG;IACH,2BAA2B,CACzB,SAAiB,EACjB,QAA0D,EAC1D,IAA0C,EAC1C,YAAoB;QAEpB,MAAM,gBAAgB,GAAG,IAAI,CAAC,iBAAiB,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;QAC/D,MAAM,QAAQ,GAAG,IAAI,CAAC,UAAU,KAAK,IAAI,IAAI,IAAI,CAAC,UAAU,KAAK,IAAI,CAAC;QACtE,MAAM,uBAAuB,GAAG,QAAQ,KAAK,SAAS;eACjD,QAAQ,CAAC,SAAS,KAAK,SAAS;eAChC,IAAI,CAAC,SAAS,KAAK,SAAS;eAC5B,QAAQ;eACR,gBAAgB,EAAE,QAAQ,KAAK,YAAY,CAAC;QACjD,MAAM,uBAAuB,GAAG,uBAAuB;YACrD,CAAC,CAAC,KAAK;YACP,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QAC1B,IAAI,CAAC,QAAQ;YAAE,IAAI,CAAC,wCAAwC,CAAC,SAAS,CAAC,CAAC;QACxE,OAAO;YACL,uBAAuB;YACvB,QAAQ;SACT,CAAC;IACJ,CAAC;IAED,iBAAiB,CACf,SAAiB,EACjB,YAA6C,EAC7C,YAAoB;QAEpB,MAAM,kBAAkB,GAAG,2CAA2C,CAAC,YAAY,CAAC,CAAC;QACrF,MAAM,QAAQ,GAAG,IAAI,CAAC,iBAAiB,CAAC,SAAS,EAAE,YAAY,CAAC,CAAC;QACjE,MAAM,iBAAiB,GAAG,YAAY,CAAC,SAAS,IAAI,QAAQ,EAAE,SAAS,CAAC;QACxE,MAAM,OAAO,GAAqC;YAChD,WAAW,EAAE,eAAe;YAC5B,SAAS,EAAE,kBAAkB;SAC9B,CAAC;QACF,IAAI,CAAC,iBAAiB,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;QACzC,MAAM,OAAO,GAAG,CAAC,aAAa,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;QAClD,IAAI,OAAO,EAAE,CAAC;YACZ,IAAI,CAAC,wCAAwC,CAAC,SAAS,CAAC,CAAC;YACzD,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QACvB,CAAC;QACD,YAAY,CAAC,SAAS,GAAG,kBAAkB,CAAC;QAC5C,OAAO;YACL,QAAQ;YACR,OAAO;YACP,OAAO;YACP,gBAAgB,EAAE,iBAAiB,KAAK,SAAS;mBAC5C,iBAAiB,KAAK,kBAAkB;SAC9C,CAAC;IACJ,CAAC;IAED,oBAAoB,CAClB,SAAiB,EACjB,YAA6C,EAC7C,YAAoB,EACpB,QAAgB;QAEhB,MAAM,kBAAkB,GAAG,2CAA2C,CAAC,YAAY,CAAC,CAAC;QACrF,MAAM,QAAQ,GAAG,IAAI,CAAC,iBAAiB,CAAC,SAAS,EAAE,YAAY,CAAC,CAAC;QACjE,IAAI,YAAY,CAAC,SAAS,KAAK,SAAS,EAAE,CAAC;YACzC,2CAA2C,CAAC,YAAY,CAAC,SAAS,CAAC,CAAC;YACpE,IAAI,CAAC,iBAAiB,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;YACzC,OAAO;gBACL,QAAQ;gBACR,OAAO,EAAE,QAA4C;gBACrD,OAAO,EAAE,KAAK;gBACd,gBAAgB,EAAE,KAAK;aACxB,CAAC;QACJ,CAAC;QACD,MAAM,OAAO,GAAuC;YAClD,WAAW,EAAE,mBAAmB;YAChC,SAAS,EAAE,kBAAkB;YAC7B,QAAQ;SACT,CAAC;QACF,MAAM,OAAO,GAAG,CAAC,aAAa,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;QAClD,IAAI,OAAO,EAAE,CAAC;YACZ,IAAI,CAAC,wCAAwC,CAAC,SAAS,CAAC,CAAC;YACzD,IAAI,CAAC,iBAAiB,CAAC,GAAG,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC;YAC/C,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QACvB,CAAC;QACD,OAAO;YACL,QAAQ;YACR,OAAO;YACP,OAAO;YACP,gBAAgB,EAAE,QAAQ,KAAK,SAAS,IAAI,QAAQ,CAAC,SAAS,KAAK,kBAAkB;SACtF,CAAC;IACJ,CAAC;IAED,yEAAyE;IACzE,KAAK,CAAC,SAAiB;QACrB,MAAM,OAAO,GAAG,IAAI,CAAC,iBAAiB,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;QACzD,IAAI,CAAC,wCAAwC,CAAC,SAAS,CAAC,CAAC;QACzD,IAAI,CAAC,OAAO;YAAE,OAAO,KAAK,CAAC;QAC3B,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QACrB,OAAO,IAAI,CAAC;IACd,CAAC;IAED,gFAAgF;IAChF,UAAU,CAAC,SAAiB;QAC1B,IAAI,CAAC,iBAAiB,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;QACzC,IAAI,CAAC,wCAAwC,CAAC,SAAS,CAAC,CAAC;QACzD,OAAO,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IAC9B,CAAC;IAED,8EAA8E;IAC9E,MAAM,CAAC,SAAiB;QACtB,IAAI,CAAC,iBAAiB,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;QACzC,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;QACnC,IAAI,CAAC,wCAAwC,CAAC,SAAS,CAAC,CAAC;IAC3D,CAAC;IAED,IAAI,CAAC,SAAiB;QACpB,MAAM,UAAU,GAAG,EAAE,IAAI,CAAC,cAAc,CAAC;QACzC,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,SAAS,EAAE,UAAU,CAAC,CAAC;QAC5C,OAAO,UAAU,CAAC;IACpB,CAAC;IAED,OAAO,CAAC,SAAiB;QACvB,OAAO,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;IAC9C,CAAC;IAED,mBAAmB,CAAC,SAAiB,EAAE,UAAkB;QACvD,OAAO,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,KAAK,UAAU,CAAC;IAChD,CAAC;IAED,kBAAkB,CAChB,SAAiB,EACjB,YAAyD,EACzD,MAAiC;QAEjC,MAAM,OAAO,GAAG,IAAI,CAAC,iBAAiB,CAAC,SAAS,EAAE,YAAY,CAAC,CAAC;QAChE,OAAO,aAAa,CAAC,OAAO,EAAE,MAAM,CAAC;eAChC,IAAI,CAAC,mBAAmB,CAAC,SAAS,EAAE,MAAM,CAAC,iBAAiB,CAAC,CAAC;IACrE,CAAC;IAED,0BAA0B,CACxB,SAAiB,EACjB,YAA4C,EAC5C,GAAG,GAAG,IAAI,CAAC,GAAG,EAAE;QAEhB,MAAM,KAAK,GAAG,IAAI,CAAC,wBAAwB,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;QAC3D,IAAI,CAAC,KAAK;YAAE,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC;QAClC,IAAI,KAAK,CAAC,SAAS,IAAI,GAAG,EAAE,CAAC;YAC3B,IAAI,CAAC,wBAAwB,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;YAChD,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC;QACxB,CAAC;QACD,IACE,KAAK,CAAC,IAAI,KAAK,UAAU;eACtB,KAAK,CAAC,oBAAoB;eAC1B,CAAC,YAAY,CAAC,KAAK,CAAC,SAAS,CAAC,EACjC,CAAC;YACD,IAAI,CAAC,wBAAwB,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;YAChD,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC;QACxB,CAAC;QACD,IAAI,CAAC,wBAAwB,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;QAChD,IAAI,CAAC,wBAAwB,CAAC,GAAG,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;QACpD,OAAO,KAAK,CAAC,IAAI,KAAK,UAAU;YAC9B,CAAC,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,CAAC,SAAS,EAAE;YAC3C,CAAC,CAAC,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC;IACpB,CAAC;IAED,mCAAmC,CAAC,SAAiB,EAAE,GAAG,GAAG,IAAI,CAAC,GAAG,EAAE;QACrE,IAAI,CAAC,0BAA0B,CAAC,SAAS,EAAE;YACzC,IAAI,EAAE,MAAM;YACZ,SAAS,EAAE,GAAG,GAAG,qCAAqC;SACvD,CAAC,CAAC;IACL,CAAC;IAED,+BAA+B,CAC7B,SAAiB,EACjB,SAAiB,EACjB,oBAA6B,EAC7B,GAAG,GAAG,IAAI,CAAC,GAAG,EAAE;QAEhB,IAAI,CAAC,0BAA0B,CAAC,SAAS,EAAE;YACzC,IAAI,EAAE,UAAU;YAChB,SAAS;YACT,oBAAoB;YACpB,SAAS,EAAE,GAAG,GAAG,yCAAyC;SAC3D,CAAC,CAAC;IACL,CAAC;IAEO,0BAA0B,CAChC,SAAiB,EACjB,KAAmC;QAEnC,IAAI,CAAC,wBAAwB,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;QAChD,IAAI,CAAC,wBAAwB,CAAC,GAAG,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;QACpD,OAAO,IAAI,CAAC,wBAAwB,CAAC,IAAI,GAAG,qCAAqC,EAAE,CAAC;YAClF,MAAM,MAAM,GAAG,IAAI,CAAC,wBAAwB,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC;YACjE,IAAI,MAAM,KAAK,SAAS;gBAAE,MAAM;YAChC,IAAI,CAAC,wBAAwB,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;QAC/C,CAAC;IACH,CAAC;IAEO,wCAAwC,CAAC,SAAiB;QAChE,KAAK,MAAM,CAAC,SAAS,EAAE,KAAK,CAAC,IAAI,IAAI,CAAC,wBAAwB,EAAE,CAAC;YAC/D,IAAI,KAAK,CAAC,IAAI,KAAK,UAAU,IAAI,KAAK,CAAC,SAAS,KAAK,SAAS,EAAE,CAAC;gBAC/D,IAAI,CAAC,wBAAwB,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;YAClD,CAAC;QACH,CAAC;IACH,CAAC;IAED,oEAAoE;IACpE,IAAI,IAAI;QACN,OAAO,IAAI,CAAC,iBAAiB,CAAC,IAAI,CAAC;IACrC,CAAC;IAED,IAAI,eAAe;QACjB,OAAO,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC;IAC/B,CAAC;CACF"}

package/dist/context-graph-claim-proof.d.ts

@@ -0,0 +1,74 @@
+/** bytes32(0): the name hash of a slot whose curator opted out of committing one. */
+export declare const NO_NAME_COMMITMENT: string;
+/** Whether a hash-shaped local id is a row keyed by its own wire id. */
+export type IsWireIdKeyedRow = (localId: string) => boolean;
+/** A binding this chain proves: the slot, and the name hash it commits. */
+export interface ProvenOnChainBinding {
+    readonly onChainId: string;
+    readonly onChainHash: string;
+}
+/** The slot facts this module reads: what each on-chain id commits. */
+export interface CommittedNameHashes {
+    get(onChainId: string): {
+        readonly nameHash: string | null;
+    } | undefined;
+    /** The on-chain ids whose committed name hash is `nameHash`. */
+    onChainIdsCommitting(nameHash: string): Iterable<string>;
+}
+/**
+ * The name hash a slot commits, lowercase, or null when it commits none:
+ * absent, malformed, or bytes32(0).
+ */
+export declare function committedNameHashOf(value: unknown): string | null;
+/**
+ * Per-slot chain facts keyed by on-chain id, also indexed by committed name
+ * hash, so the slots that commit one name are found without a scan. A slot
+ * that commits no name is not indexed.
+ */
+export declare class SlotFactsIndex<F extends {
+    readonly nameHash: string | null;
+}> extends Map<string, F> implements CommittedNameHashes {
+    private readonly byNameHash;
+    set(onChainId: string, facts: F): this;
+    delete(onChainId: string): boolean;
+    clear(): void;
+    onChainIdsCommitting(nameHash: string): string[];
+    private unindex;
+}
+/**
+ * The binding a claim names when slot `claimedOnChainId`, committing
+ * `committedNameHash`, proves `contextGraphId`; otherwise null.
+ */
+export declare function proveOnChainIdClaim(contextGraphId: string, claimedOnChainId: string, committedNameHash: string | null | undefined, isWireIdKeyedRow: IsWireIdKeyedRow): ProvenOnChainBinding | null;
+/**
+ * Every on-chain id whose committed name hash proves `contextGraphId`:
+ * usually one, none when the chain has no such graph or this node has not
+ * read it yet. The candidates are the slots committing a hash that names the
+ * id (`committedNameHashesNaming`, the set the proof accepts), and
+ * `proveOnChainIdClaim` decides each. A malformed id proves nothing.
+ */
+export declare function provenOnChainIdsFor(contextGraphId: string, facts: CommittedNameHashes, isWireIdKeyedRow: IsWireIdKeyedRow): string[];
+/**
+ * Whether slot `onChainId`, committing `committedNameHash`, refutes the
+ * binding of the row keyed `localId`. A slot that commits no name refutes
+ * nothing. Rows with their own lifecycle are never refuted here: a name-hash
+ * row (the slot's placeholder, or any row keyed by the committed hash
+ * itself), a row recording that commitment, and a row keyed by the bare
+ * number (a `dkg subscribe N` row, which the on-chain id resolver retires as
+ * a whole while it is still bound to N).
+ */
+export declare function refutesOnChainBinding(localId: string, row: {
+    readonly onChainId?: string;
+    readonly onChainHash?: string;
+}, onChainId: string, committedNameHash: string, isWireIdKeyedRow: IsWireIdKeyedRow): boolean;
+/**
+ * Whether the row keyed `localId` is the slot's name-hash row that never
+ * recorded its hash: keyed by exactly the committed hash, bound to the slot,
+ * with no `onChainHash`. Earlier versions minted such a row for
+ * `dkg subscribe <hash>` when the hash resolved to nothing.
+ */
+export declare function isUnrecordedNameHashRow(localId: string, row: {
+    readonly onChainId?: string;
+    readonly onChainHash?: string;
+}, onChainId: string, committedNameHash: string): boolean;
+//# sourceMappingURL=context-graph-claim-proof.d.ts.map

package/dist/context-graph-claim-proof.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"context-graph-claim-proof.d.ts","sourceRoot":"","sources":["../src/context-graph-claim-proof.ts"],"names":[],"mappings":"AA4BA,qFAAqF;AACrF,eAAO,MAAM,kBAAkB,QAAwB,CAAC;AAExD,wEAAwE;AACxE,MAAM,MAAM,gBAAgB,GAAG,CAAC,OAAO,EAAE,MAAM,KAAK,OAAO,CAAC;AAE5D,2EAA2E;AAC3E,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;CAC9B;AAED,uEAAuE;AACvE,MAAM,WAAW,mBAAmB;IAClC,GAAG,CAAC,SAAS,EAAE,MAAM,GAAG;QAAE,QAAQ,CAAC,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAA;KAAE,GAAG,SAAS,CAAC;IACzE,gEAAgE;IAChE,oBAAoB,CAAC,QAAQ,EAAE,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC;CAC1D;AAED;;;GAGG;AACH,wBAAgB,mBAAmB,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,GAAG,IAAI,CAGjE;AAED;;;;GAIG;AACH,qBAAa,cAAc,CAAC,CAAC,SAAS;IAAE,QAAQ,CAAC,QAAQ,EAAE,MAAM,GAAG,IAAI,CAAA;CAAE,CACxE,SAAQ,GAAG,CAAC,MAAM,EAAE,CAAC,CACrB,YAAW,mBAAmB;IAC9B,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAkC;IAEpD,GAAG,CAAC,SAAS,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,GAAG,IAAI;IAYtC,MAAM,CAAC,SAAS,EAAE,MAAM,GAAG,OAAO;IAKlC,KAAK,IAAI,IAAI;IAKtB,oBAAoB,CAAC,QAAQ,EAAE,MAAM,GAAG,MAAM,EAAE;IAKhD,OAAO,CAAC,OAAO;CAOhB;AAED;;;GAGG;AACH,wBAAgB,mBAAmB,CACjC,cAAc,EAAE,MAAM,EACtB,gBAAgB,EAAE,MAAM,EACxB,iBAAiB,EAAE,MAAM,GAAG,IAAI,GAAG,SAAS,EAC5C,gBAAgB,EAAE,gBAAgB,GACjC,oBAAoB,GAAG,IAAI,CAO7B;AAED;;;;;;GAMG;AACH,wBAAgB,mBAAmB,CACjC,cAAc,EAAE,MAAM,EACtB,KAAK,EAAE,mBAAmB,EAC1B,gBAAgB,EAAE,gBAAgB,GACjC,MAAM,EAAE,CAWV;AAED;;;;;;;;GAQG;AACH,wBAAgB,qBAAqB,CACnC,OAAO,EAAE,MAAM,EACf,GAAG,EAAE;IAAE,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAA;CAAE,EACnE,SAAS,EAAE,MAAM,EACjB,iBAAiB,EAAE,MAAM,EACzB,gBAAgB,EAAE,gBAAgB,GACjC,OAAO,CAMT;AAED;;;;;GAKG;AACH,wBAAgB,uBAAuB,CACrC,OAAO,EAAE,MAAM,EACf,GAAG,EAAE;IAAE,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAA;CAAE,EACnE,SAAS,EAAE,MAAM,EACjB,iBAAiB,EAAE,MAAM,GACxB,OAAO,CAMT"}

package/dist/context-graph-claim-proof.js

@@ -0,0 +1,137 @@
+// SPDX-License-Identifier: Apache-2.0
+/**
+ * When an off-chain on-chain-id claim holds.
+ *
+ * A `dkg:ContextGraphOnChainId` row says "Context Graph id X is on-chain id
+ * N". The `ontology` system graph is shared by every network and deployment,
+ * and `_meta` receives what earlier builds left there, so such a row is a
+ * claim, never a binding. A claim holds only when slot N on this node's own
+ * chain commits X's name commitment, keccak256(utf8(X)): the rule the policy
+ * read and random sampling already apply to a local binding
+ * (`localContextGraphIdMatchesCommittedNameHash`). The committed hash is the
+ * one this node read from its chain (enumeration, the live event tail, or the
+ * enumeration checkpoint). A slot with no committed hash, including one whose
+ * curator opted out with bytes32(0), proves nothing and refutes nothing.
+ *
+ * This module owns that rule. The agent mixins pass in their state (the
+ * per-slot chain facts and the wire-keyed row test) and keep only the
+ * stateful wiring.
+ */
+import { committedNameHashesNaming, isCanonicalAuthoritativeContextGraphId, localContextGraphIdMatchesCommittedNameHash, } from './context-graph-binding-state.js';
+import { normalizeContextGraphNameHash } from './context-graph-name-candidate.js';
+/** bytes32(0): the name hash of a slot whose curator opted out of committing one. */
+export const NO_NAME_COMMITMENT = `0x${'0'.repeat(64)}`;
+/**
+ * The name hash a slot commits, lowercase, or null when it commits none:
+ * absent, malformed, or bytes32(0).
+ */
+export function committedNameHashOf(value) {
+    const hash = normalizeContextGraphNameHash(value);
+    return hash === NO_NAME_COMMITMENT ? null : hash;
+}
+/**
+ * Per-slot chain facts keyed by on-chain id, also indexed by committed name
+ * hash, so the slots that commit one name are found without a scan. A slot
+ * that commits no name is not indexed.
+ */
+export class SlotFactsIndex extends Map {
+    byNameHash = new Map();
+    set(onChainId, facts) {
+        this.unindex(onChainId);
+        super.set(onChainId, facts);
+        const hash = committedNameHashOf(facts.nameHash);
+        if (hash !== null) {
+            const onChainIds = this.byNameHash.get(hash) ?? new Set();
+            onChainIds.add(onChainId);
+            this.byNameHash.set(hash, onChainIds);
+        }
+        return this;
+    }
+    delete(onChainId) {
+        this.unindex(onChainId);
+        return super.delete(onChainId);
+    }
+    clear() {
+        this.byNameHash.clear();
+        super.clear();
+    }
+    onChainIdsCommitting(nameHash) {
+        const hash = committedNameHashOf(nameHash);
+        return hash === null ? [] : [...(this.byNameHash.get(hash) ?? [])];
+    }
+    unindex(onChainId) {
+        const hash = committedNameHashOf(super.get(onChainId)?.nameHash);
+        const onChainIds = hash === null ? undefined : this.byNameHash.get(hash);
+        if (hash === null || onChainIds === undefined)
+            return;
+        onChainIds.delete(onChainId);
+        if (onChainIds.size === 0)
+            this.byNameHash.delete(hash);
+    }
+}
+/**
+ * The binding a claim names when slot `claimedOnChainId`, committing
+ * `committedNameHash`, proves `contextGraphId`; otherwise null.
+ */
+export function proveOnChainIdClaim(contextGraphId, claimedOnChainId, committedNameHash, isWireIdKeyedRow) {
+    if (!isCanonicalAuthoritativeContextGraphId(claimedOnChainId))
+        return null;
+    const committed = committedNameHashOf(committedNameHash);
+    if (committed === null)
+        return null;
+    return localContextGraphIdMatchesCommittedNameHash(contextGraphId, committed, isWireIdKeyedRow)
+        ? { onChainId: claimedOnChainId, onChainHash: committed }
+        : null;
+}
+/**
+ * Every on-chain id whose committed name hash proves `contextGraphId`:
+ * usually one, none when the chain has no such graph or this node has not
+ * read it yet. The candidates are the slots committing a hash that names the
+ * id (`committedNameHashesNaming`, the set the proof accepts), and
+ * `proveOnChainIdClaim` decides each. A malformed id proves nothing.
+ */
+export function provenOnChainIdsFor(contextGraphId, facts, isWireIdKeyedRow) {
+    const proven = [];
+    for (const nameHash of committedNameHashesNaming(contextGraphId, isWireIdKeyedRow)) {
+        for (const onChainId of facts.onChainIdsCommitting(nameHash)) {
+            const committed = facts.get(onChainId)?.nameHash;
+            if (proveOnChainIdClaim(contextGraphId, onChainId, committed, isWireIdKeyedRow) !== null) {
+                proven.push(onChainId);
+            }
+        }
+    }
+    return proven;
+}
+/**
+ * Whether slot `onChainId`, committing `committedNameHash`, refutes the
+ * binding of the row keyed `localId`. A slot that commits no name refutes
+ * nothing. Rows with their own lifecycle are never refuted here: a name-hash
+ * row (the slot's placeholder, or any row keyed by the committed hash
+ * itself), a row recording that commitment, and a row keyed by the bare
+ * number (a `dkg subscribe N` row, which the on-chain id resolver retires as
+ * a whole while it is still bound to N).
+ */
+export function refutesOnChainBinding(localId, row, onChainId, committedNameHash, isWireIdKeyedRow) {
+    const committed = committedNameHashOf(committedNameHash);
+    if (committed === null || row.onChainId !== onChainId || localId === onChainId)
+        return false;
+    if (localId.toLowerCase() === committed || isWireIdKeyedRow(localId))
+        return false;
+    if (normalizeContextGraphNameHash(row.onChainHash) === committed)
+        return false;
+    return proveOnChainIdClaim(localId, onChainId, committed, isWireIdKeyedRow) === null;
+}
+/**
+ * Whether the row keyed `localId` is the slot's name-hash row that never
+ * recorded its hash: keyed by exactly the committed hash, bound to the slot,
+ * with no `onChainHash`. Earlier versions minted such a row for
+ * `dkg subscribe <hash>` when the hash resolved to nothing.
+ */
+export function isUnrecordedNameHashRow(localId, row, onChainId, committedNameHash) {
+    const committed = committedNameHashOf(committedNameHash);
+    return committed !== null
+        && localId === committed
+        && row.onChainHash === undefined
+        && row.onChainId === onChainId;
+}
+//# sourceMappingURL=context-graph-claim-proof.js.map

package/dist/context-graph-claim-proof.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"context-graph-claim-proof.js","sourceRoot":"","sources":["../src/context-graph-claim-proof.ts"],"names":[],"mappings":"AAAA,sCAAsC;AAEtC;;;;;;;;;;;;;;;;;GAiBG;AAEH,OAAO,EACL,yBAAyB,EACzB,sCAAsC,EACtC,2CAA2C,GAC5C,MAAM,kCAAkC,CAAC;AAC1C,OAAO,EAAE,6BAA6B,EAAE,MAAM,mCAAmC,CAAC;AAElF,qFAAqF;AACrF,MAAM,CAAC,MAAM,kBAAkB,GAAG,KAAK,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC;AAkBxD;;;GAGG;AACH,MAAM,UAAU,mBAAmB,CAAC,KAAc;IAChD,MAAM,IAAI,GAAG,6BAA6B,CAAC,KAAK,CAAC,CAAC;IAClD,OAAO,IAAI,KAAK,kBAAkB,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC;AACnD,CAAC;AAED;;;;GAIG;AACH,MAAM,OAAO,cACX,SAAQ,GAAc;IAEL,UAAU,GAAG,IAAI,GAAG,EAAuB,CAAC;IAEpD,GAAG,CAAC,SAAiB,EAAE,KAAQ;QACtC,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;QACxB,KAAK,CAAC,GAAG,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;QAC5B,MAAM,IAAI,GAAG,mBAAmB,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;QACjD,IAAI,IAAI,KAAK,IAAI,EAAE,CAAC;YAClB,MAAM,UAAU,GAAG,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,IAAI,GAAG,EAAU,CAAC;YAClE,UAAU,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;YAC1B,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;QACxC,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAEQ,MAAM,CAAC,SAAiB;QAC/B,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;QACxB,OAAO,KAAK,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;IACjC,CAAC;IAEQ,KAAK;QACZ,IAAI,CAAC,UAAU,CAAC,KAAK,EAAE,CAAC;QACxB,KAAK,CAAC,KAAK,EAAE,CAAC;IAChB,CAAC;IAED,oBAAoB,CAAC,QAAgB;QACnC,MAAM,IAAI,GAAG,mBAAmB,CAAC,QAAQ,CAAC,CAAC;QAC3C,OAAO,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;IACrE,CAAC;IAEO,OAAO,CAAC,SAAiB;QAC/B,MAAM,IAAI,GAAG,mBAAmB,CAAC,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,QAAQ,CAAC,CAAC;QACjE,MAAM,UAAU,GAAG,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACzE,IAAI,IAAI,KAAK,IAAI,IAAI,UAAU,KAAK,SAAS;YAAE,OAAO;QACtD,UAAU,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;QAC7B,IAAI,UAAU,CAAC,IAAI,KAAK,CAAC;YAAE,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IAC1D,CAAC;CACF;AAED;;;GAGG;AACH,MAAM,UAAU,mBAAmB,CACjC,cAAsB,EACtB,gBAAwB,EACxB,iBAA4C,EAC5C,gBAAkC;IAElC,IAAI,CAAC,sCAAsC,CAAC,gBAAgB,CAAC;QAAE,OAAO,IAAI,CAAC;IAC3E,MAAM,SAAS,GAAG,mBAAmB,CAAC,iBAAiB,CAAC,CAAC;IACzD,IAAI,SAAS,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IACpC,OAAO,2CAA2C,CAAC,cAAc,EAAE,SAAS,EAAE,gBAAgB,CAAC;QAC7F,CAAC,CAAC,EAAE,SAAS,EAAE,gBAAgB,EAAE,WAAW,EAAE,SAAS,EAAE;QACzD,CAAC,CAAC,IAAI,CAAC;AACX,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,mBAAmB,CACjC,cAAsB,EACtB,KAA0B,EAC1B,gBAAkC;IAElC,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,KAAK,MAAM,QAAQ,IAAI,yBAAyB,CAAC,cAAc,EAAE,gBAAgB,CAAC,EAAE,CAAC;QACnF,KAAK,MAAM,SAAS,IAAI,KAAK,CAAC,oBAAoB,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC7D,MAAM,SAAS,GAAG,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,QAAQ,CAAC;YACjD,IAAI,mBAAmB,CAAC,cAAc,EAAE,SAAS,EAAE,SAAS,EAAE,gBAAgB,CAAC,KAAK,IAAI,EAAE,CAAC;gBACzF,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;YACzB,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,qBAAqB,CACnC,OAAe,EACf,GAAmE,EACnE,SAAiB,EACjB,iBAAyB,EACzB,gBAAkC;IAElC,MAAM,SAAS,GAAG,mBAAmB,CAAC,iBAAiB,CAAC,CAAC;IACzD,IAAI,SAAS,KAAK,IAAI,IAAI,GAAG,CAAC,SAAS,KAAK,SAAS,IAAI,OAAO,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC;IAC7F,IAAI,OAAO,CAAC,WAAW,EAAE,KAAK,SAAS,IAAI,gBAAgB,CAAC,OAAO,CAAC;QAAE,OAAO,KAAK,CAAC;IACnF,IAAI,6BAA6B,CAAC,GAAG,CAAC,WAAW,CAAC,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC;IAC/E,OAAO,mBAAmB,CAAC,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,gBAAgB,CAAC,KAAK,IAAI,CAAC;AACvF,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,uBAAuB,CACrC,OAAe,EACf,GAAmE,EACnE,SAAiB,EACjB,iBAAyB;IAEzB,MAAM,SAAS,GAAG,mBAAmB,CAAC,iBAAiB,CAAC,CAAC;IACzD,OAAO,SAAS,KAAK,IAAI;WACpB,OAAO,KAAK,SAAS;WACrB,GAAG,CAAC,WAAW,KAAK,SAAS;WAC7B,GAAG,CAAC,SAAS,KAAK,SAAS,CAAC;AACnC,CAAC"}

package/dist/context-graph-member-proof.d.ts

@@ -0,0 +1,33 @@
+import type { Quad } from '@origintrail-official/dkg-storage';
+export interface ApprovedMemberProof {
+    /** The locally-approved agent whose usable membership must be present. */
+    approvedAgentAddress: string;
+    /** Current node credentials; at least one must match the active delegation. */
+    expectedDelegateePeerId?: string;
+    expectedDelegateeOpKey?: string;
+    /** Injectable wall clock for parity tests. Defaults to Date.now(). */
+    nowMs?: number;
+}
+/**
+ * Expiry carried out of the same source-qualified store proof that established
+ * membership. `null` means that the proved delegation has no expiry.
+ */
+export type ApprovedMemberDelegationExpiry = number | null;
+/**
+ * Parse the expiry selected by the authoritative member proof. Multiple
+ * active expiry rows retain the latest deadline, matching the proof's
+ * any-active-row semantics. Ambiguous or malformed results fail closed.
+ */
+export declare function parseApprovedMemberDelegationExpiry(bindings: readonly Readonly<Record<string, string>>[]): ApprovedMemberDelegationExpiry | undefined;
+/** Revalidate a proved delegation deadline against the current wall clock. */
+export declare function isApprovedMemberDelegationExpiryActive(expiry: ApprovedMemberDelegationExpiry, nowMs?: number): boolean;
+/**
+ * Whether a fetched root `_meta` snapshot proves the approved member: it is in
+ * `allowedAgent`, not revoked, and holds an active delegation bound to this
+ * node's peer id or op-key. Shared by the private definition and by a public
+ * definition accepted after a join approval.
+ */
+export declare function hasActiveApprovedMemberDelegation(contextGraphId: string, quads: readonly Quad[], rawProof: ApprovedMemberProof): boolean;
+/** The store-side ASK fragment for the same proof. */
+export declare function renderApprovedMemberProofSparql(contextGraphId: string, contextGraphUri: string, rawProof: ApprovedMemberProof): string;
+//# sourceMappingURL=context-graph-member-proof.d.ts.map

package/dist/context-graph-member-proof.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"context-graph-member-proof.d.ts","sourceRoot":"","sources":["../src/context-graph-member-proof.ts"],"names":[],"mappings":"AAQA,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,mCAAmC,CAAC;AAa9D,MAAM,WAAW,mBAAmB;IAClC,0EAA0E;IAC1E,oBAAoB,EAAE,MAAM,CAAC;IAC7B,+EAA+E;IAC/E,uBAAuB,CAAC,EAAE,MAAM,CAAC;IACjC,sBAAsB,CAAC,EAAE,MAAM,CAAC;IAChC,sEAAsE;IACtE,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AASD;;;GAGG;AACH,MAAM,MAAM,8BAA8B,GAAG,MAAM,GAAG,IAAI,CAAC;AA8B3D;;;;GAIG;AACH,wBAAgB,mCAAmC,CACjD,QAAQ,EAAE,SAAS,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,EAAE,GACpD,8BAA8B,GAAG,SAAS,CAoB5C;AAED,8EAA8E;AAC9E,wBAAgB,sCAAsC,CACpD,MAAM,EAAE,8BAA8B,EACtC,KAAK,SAAa,GACjB,OAAO,CAIT;AAED;;;;;GAKG;AACH,wBAAgB,iCAAiC,CAC/C,cAAc,EAAE,MAAM,EACtB,KAAK,EAAE,SAAS,IAAI,EAAE,EACtB,QAAQ,EAAE,mBAAmB,GAC5B,OAAO,CA6CT;AAED,sDAAsD;AACtD,wBAAgB,+BAA+B,CAC7C,cAAc,EAAE,MAAM,EACtB,eAAe,EAAE,MAAM,EACvB,QAAQ,EAAE,mBAAmB,GAC5B,MAAM,CAsCR"}

package/dist/context-graph-member-proof.js

@@ -0,0 +1,142 @@
+// SPDX-License-Identifier: Apache-2.0
+import { DKG_ONTOLOGY, assertSafeIri, contextGraphDataGraphUri, sparqlString, } from '@origintrail-official/dkg-core';
+import { stripLiteral } from './dkg-agent-utils.js';
+/**
+ * Proof that a join-approved member is usable in a curator's root `_meta`
+ * snapshot: listed, not revoked, and holding an active delegation bound to
+ * this node. It is policy-neutral: the private definition requires it, and a
+ * public definition requires it after a join approval. Both the in-memory
+ * check and the store ASK fragment are built from this one model.
+ */
+const EVM_ADDRESS_RE = /^0x[0-9a-f]{40}$/i;
+function normalizeMemberProof(proof) {
+    const approvedAgentAddress = proof.approvedAgentAddress.trim().toLowerCase();
+    const expectedDelegateePeerId = proof.expectedDelegateePeerId?.trim() || undefined;
+    const expectedDelegateeOpKey = proof.expectedDelegateeOpKey?.trim().toLowerCase() || undefined;
+    const nowMs = proof.nowMs ?? Date.now();
+    if (!EVM_ADDRESS_RE.test(approvedAgentAddress) ||
+        (expectedDelegateeOpKey !== undefined && !EVM_ADDRESS_RE.test(expectedDelegateeOpKey)) ||
+        (!expectedDelegateePeerId && !expectedDelegateeOpKey) ||
+        !Number.isSafeInteger(nowMs) ||
+        nowMs < 0) {
+        return undefined;
+    }
+    return {
+        approvedAgentAddress,
+        expectedDelegateePeerId,
+        expectedDelegateeOpKey,
+        nowMs,
+    };
+}
+function literalEqualsIgnoreCase(value, expected) {
+    return value.startsWith('"') && stripLiteral(value).trim().toLowerCase() === expected;
+}
+/**
+ * Parse the expiry selected by the authoritative member proof. Multiple
+ * active expiry rows retain the latest deadline, matching the proof's
+ * any-active-row semantics. Ambiguous or malformed results fail closed.
+ */
+export function parseApprovedMemberDelegationExpiry(bindings) {
+    if (bindings.length === 0)
+        return undefined;
+    let hasUnboundedRow = false;
+    let latestExpiry;
+    for (const binding of bindings) {
+        const rawExpiry = binding['delegationExpiresAt'];
+        if (rawExpiry === undefined) {
+            hasUnboundedRow = true;
+            continue;
+        }
+        const lexicalExpiry = stripLiteral(rawExpiry);
+        if (!/^[0-9]+$/u.test(lexicalExpiry))
+            return undefined;
+        const expiry = Number(lexicalExpiry);
+        if (!Number.isSafeInteger(expiry) || expiry < 0)
+            return undefined;
+        latestExpiry = latestExpiry === undefined
+            ? expiry
+            : Math.max(latestExpiry, expiry);
+    }
+    if (hasUnboundedRow)
+        return latestExpiry === undefined ? null : undefined;
+    return latestExpiry;
+}
+/** Revalidate a proved delegation deadline against the current wall clock. */
+export function isApprovedMemberDelegationExpiryActive(expiry, nowMs = Date.now()) {
+    return Number.isSafeInteger(nowMs)
+        && nowMs >= 0
+        && (expiry === null || expiry > nowMs);
+}
+/**
+ * Whether a fetched root `_meta` snapshot proves the approved member: it is in
+ * `allowedAgent`, not revoked, and holds an active delegation bound to this
+ * node's peer id or op-key. Shared by the private definition and by a public
+ * definition accepted after a join approval.
+ */
+export function hasActiveApprovedMemberDelegation(contextGraphId, quads, rawProof) {
+    const proof = normalizeMemberProof(rawProof);
+    if (!proof)
+        return false;
+    const contextGraphUri = contextGraphDataGraphUri(contextGraphId);
+    const delegationSubject = `did:dkg:agent-delegation:${contextGraphId}:${proof.approvedAgentAddress}`;
+    const allowed = quads.some((quad) => (quad.subject === contextGraphUri &&
+        quad.predicate === DKG_ONTOLOGY.DKG_ALLOWED_AGENT &&
+        literalEqualsIgnoreCase(quad.object, proof.approvedAgentAddress)));
+    const revoked = quads.some((quad) => (quad.subject === contextGraphUri &&
+        quad.predicate === DKG_ONTOLOGY.DKG_REVOKED_AGENT &&
+        literalEqualsIgnoreCase(quad.object, proof.approvedAgentAddress)));
+    if (!allowed || revoked)
+        return false;
+    const delegationQuads = quads.filter((quad) => quad.subject === delegationSubject);
+    const namesApprovedAgent = delegationQuads.some((quad) => (quad.predicate === DKG_ONTOLOGY.DKG_DELEGATION_AGENT &&
+        literalEqualsIgnoreCase(quad.object, proof.approvedAgentAddress)));
+    const issuedAtIsActive = delegationQuads.some((quad) => {
+        if (quad.predicate !== DKG_ONTOLOGY.DKG_DELEGATION_ISSUED_AT)
+            return false;
+        const issuedAt = Number(stripLiteral(quad.object));
+        return Number.isSafeInteger(issuedAt) && issuedAt >= 0 && issuedAt <= proof.nowMs;
+    });
+    const expiryRows = delegationQuads.filter((quad) => quad.predicate === DKG_ONTOLOGY.DKG_DELEGATION_EXPIRES_AT);
+    const expiryIsActive = expiryRows.length === 0 || expiryRows.some((quad) => {
+        const expiresAt = Number(stripLiteral(quad.object));
+        return Number.isSafeInteger(expiresAt) && expiresAt > proof.nowMs;
+    });
+    const peerMatches = proof.expectedDelegateePeerId !== undefined && delegationQuads.some((quad) => (quad.predicate === DKG_ONTOLOGY.DKG_ALLOWED_DELEGATEE_PEER &&
+        quad.object.startsWith('"') &&
+        stripLiteral(quad.object) === proof.expectedDelegateePeerId));
+    const keyMatches = proof.expectedDelegateeOpKey !== undefined && delegationQuads.some((quad) => (quad.predicate === DKG_ONTOLOGY.DKG_ALLOWED_DELEGATEE_KEY &&
+        literalEqualsIgnoreCase(quad.object, proof.expectedDelegateeOpKey)));
+    return namesApprovedAgent && issuedAtIsActive && expiryIsActive && (peerMatches || keyMatches);
+}
+/** The store-side ASK fragment for the same proof. */
+export function renderApprovedMemberProofSparql(contextGraphId, contextGraphUri, rawProof) {
+    const proof = normalizeMemberProof(rawProof);
+    if (!proof)
+        throw new Error('Invalid approved-member proof');
+    const delegationSubject = assertSafeIri(`did:dkg:agent-delegation:${contextGraphId}:${proof.approvedAgentAddress}`);
+    const credentialPatterns = [];
+    const credentialFilters = [];
+    if (proof.expectedDelegateePeerId) {
+        credentialPatterns.push(`OPTIONAL { <${delegationSubject}> <${DKG_ONTOLOGY.DKG_ALLOWED_DELEGATEE_PEER}> ?approvedDelegateePeer . }`);
+        credentialFilters.push(`(BOUND(?approvedDelegateePeer) && isLiteral(?approvedDelegateePeer) && STR(?approvedDelegateePeer) = ${sparqlString(proof.expectedDelegateePeerId)})`);
+    }
+    if (proof.expectedDelegateeOpKey) {
+        credentialPatterns.push(`OPTIONAL { <${delegationSubject}> <${DKG_ONTOLOGY.DKG_ALLOWED_DELEGATEE_KEY}> ?approvedDelegateeKey . }`);
+        credentialFilters.push(`(BOUND(?approvedDelegateeKey) && isLiteral(?approvedDelegateeKey) && LCASE(STR(?approvedDelegateeKey)) = ${sparqlString(proof.expectedDelegateeOpKey)})`);
+    }
+    return `      <${assertSafeIri(contextGraphUri)}> <${DKG_ONTOLOGY.DKG_ALLOWED_AGENT}> ?approvedAgent .
+      FILTER(isLiteral(?approvedAgent) && LCASE(STR(?approvedAgent)) = ${sparqlString(proof.approvedAgentAddress)})
+      FILTER NOT EXISTS {
+        <${assertSafeIri(contextGraphUri)}> <${DKG_ONTOLOGY.DKG_REVOKED_AGENT}> ?revokedApprovedAgent .
+        FILTER(isLiteral(?revokedApprovedAgent) && LCASE(STR(?revokedApprovedAgent)) = ${sparqlString(proof.approvedAgentAddress)})
+      }
+      <${delegationSubject}> <${DKG_ONTOLOGY.DKG_DELEGATION_AGENT}> ?delegatedApprovedAgent ;
+                             <${DKG_ONTOLOGY.DKG_DELEGATION_ISSUED_AT}> ?delegationIssuedAt .
+      FILTER(isLiteral(?delegatedApprovedAgent) && LCASE(STR(?delegatedApprovedAgent)) = ${sparqlString(proof.approvedAgentAddress)})
+      FILTER(REGEX(STR(?delegationIssuedAt), "^[0-9]+$") && xsd:integer(STR(?delegationIssuedAt)) <= ${proof.nowMs})
+      OPTIONAL { <${delegationSubject}> <${DKG_ONTOLOGY.DKG_DELEGATION_EXPIRES_AT}> ?delegationExpiresAt . }
+      FILTER(!BOUND(?delegationExpiresAt) || (REGEX(STR(?delegationExpiresAt), "^[0-9]+$") && xsd:integer(STR(?delegationExpiresAt)) > ${proof.nowMs}))
+      ${credentialPatterns.join('\n      ')}
+      FILTER(${credentialFilters.join(' || ')})`;
+}
+//# sourceMappingURL=context-graph-member-proof.js.map

package/dist/context-graph-member-proof.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"context-graph-member-proof.js","sourceRoot":"","sources":["../src/context-graph-member-proof.ts"],"names":[],"mappings":"AAAA,sCAAsC;AAEtC,OAAO,EACL,YAAY,EACZ,aAAa,EACb,wBAAwB,EACxB,YAAY,GACb,MAAM,gCAAgC,CAAC;AAExC,OAAO,EAAE,YAAY,EAAE,MAAM,sBAAsB,CAAC;AAEpD;;;;;;GAMG;AAEH,MAAM,cAAc,GAAG,mBAAmB,CAAC;AAyB3C,SAAS,oBAAoB,CAC3B,KAA0B;IAE1B,MAAM,oBAAoB,GAAG,KAAK,CAAC,oBAAoB,CAAC,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;IAC7E,MAAM,uBAAuB,GAAG,KAAK,CAAC,uBAAuB,EAAE,IAAI,EAAE,IAAI,SAAS,CAAC;IACnF,MAAM,sBAAsB,GAAG,KAAK,CAAC,sBAAsB,EAAE,IAAI,EAAE,CAAC,WAAW,EAAE,IAAI,SAAS,CAAC;IAC/F,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,IAAI,IAAI,CAAC,GAAG,EAAE,CAAC;IACxC,IACE,CAAC,cAAc,CAAC,IAAI,CAAC,oBAAoB,CAAC;QAC1C,CAAC,sBAAsB,KAAK,SAAS,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,sBAAsB,CAAC,CAAC;QACtF,CAAC,CAAC,uBAAuB,IAAI,CAAC,sBAAsB,CAAC;QACrD,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC;QAC5B,KAAK,GAAG,CAAC,EACT,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,OAAO;QACL,oBAAoB;QACpB,uBAAuB;QACvB,sBAAsB;QACtB,KAAK;KACN,CAAC;AACJ,CAAC;AAED,SAAS,uBAAuB,CAAC,KAAa,EAAE,QAAgB;IAC9D,OAAO,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,YAAY,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC,WAAW,EAAE,KAAK,QAAQ,CAAC;AACxF,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,mCAAmC,CACjD,QAAqD;IAErD,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAC5C,IAAI,eAAe,GAAG,KAAK,CAAC;IAC5B,IAAI,YAAgC,CAAC;IACrC,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;QAC/B,MAAM,SAAS,GAAG,OAAO,CAAC,qBAAqB,CAAC,CAAC;QACjD,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;YAC5B,eAAe,GAAG,IAAI,CAAC;YACvB,SAAS;QACX,CAAC;QACD,MAAM,aAAa,GAAG,YAAY,CAAC,SAAS,CAAC,CAAC;QAC9C,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,aAAa,CAAC;YAAE,OAAO,SAAS,CAAC;QACvD,MAAM,MAAM,GAAG,MAAM,CAAC,aAAa,CAAC,CAAC;QACrC,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,MAAM,GAAG,CAAC;YAAE,OAAO,SAAS,CAAC;QAClE,YAAY,GAAG,YAAY,KAAK,SAAS;YACvC,CAAC,CAAC,MAAM;YACR,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,YAAY,EAAE,MAAM,CAAC,CAAC;IACrC,CAAC;IACD,IAAI,eAAe;QAAE,OAAO,YAAY,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;IAC1E,OAAO,YAAY,CAAC;AACtB,CAAC;AAED,8EAA8E;AAC9E,MAAM,UAAU,sCAAsC,CACpD,MAAsC,EACtC,KAAK,GAAG,IAAI,CAAC,GAAG,EAAE;IAElB,OAAO,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC;WAC7B,KAAK,IAAI,CAAC;WACV,CAAC,MAAM,KAAK,IAAI,IAAI,MAAM,GAAG,KAAK,CAAC,CAAC;AAC3C,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,iCAAiC,CAC/C,cAAsB,EACtB,KAAsB,EACtB,QAA6B;IAE7B,MAAM,KAAK,GAAG,oBAAoB,CAAC,QAAQ,CAAC,CAAC;IAC7C,IAAI,CAAC,KAAK;QAAE,OAAO,KAAK,CAAC;IACzB,MAAM,eAAe,GAAG,wBAAwB,CAAC,cAAc,CAAC,CAAC;IACjE,MAAM,iBAAiB,GACrB,4BAA4B,cAAc,IAAI,KAAK,CAAC,oBAAoB,EAAE,CAAC;IAC7E,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CACnC,IAAI,CAAC,OAAO,KAAK,eAAe;QAChC,IAAI,CAAC,SAAS,KAAK,YAAY,CAAC,iBAAiB;QACjD,uBAAuB,CAAC,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,oBAAoB,CAAC,CACjE,CAAC,CAAC;IACH,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CACnC,IAAI,CAAC,OAAO,KAAK,eAAe;QAChC,IAAI,CAAC,SAAS,KAAK,YAAY,CAAC,iBAAiB;QACjD,uBAAuB,CAAC,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,oBAAoB,CAAC,CACjE,CAAC,CAAC;IACH,IAAI,CAAC,OAAO,IAAI,OAAO;QAAE,OAAO,KAAK,CAAC;IAEtC,MAAM,eAAe,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,KAAK,iBAAiB,CAAC,CAAC;IACnF,MAAM,kBAAkB,GAAG,eAAe,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CACxD,IAAI,CAAC,SAAS,KAAK,YAAY,CAAC,oBAAoB;QACpD,uBAAuB,CAAC,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,oBAAoB,CAAC,CACjE,CAAC,CAAC;IACH,MAAM,gBAAgB,GAAG,eAAe,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE;QACrD,IAAI,IAAI,CAAC,SAAS,KAAK,YAAY,CAAC,wBAAwB;YAAE,OAAO,KAAK,CAAC;QAC3E,MAAM,QAAQ,GAAG,MAAM,CAAC,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC;QACnD,OAAO,MAAM,CAAC,aAAa,CAAC,QAAQ,CAAC,IAAI,QAAQ,IAAI,CAAC,IAAI,QAAQ,IAAI,KAAK,CAAC,KAAK,CAAC;IACpF,CAAC,CAAC,CAAC;IACH,MAAM,UAAU,GAAG,eAAe,CAAC,MAAM,CACvC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,KAAK,YAAY,CAAC,yBAAyB,CACpE,CAAC;IACF,MAAM,cAAc,GAAG,UAAU,CAAC,MAAM,KAAK,CAAC,IAAI,UAAU,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE;QACzE,MAAM,SAAS,GAAG,MAAM,CAAC,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC;QACpD,OAAO,MAAM,CAAC,aAAa,CAAC,SAAS,CAAC,IAAI,SAAS,GAAG,KAAK,CAAC,KAAK,CAAC;IACpE,CAAC,CAAC,CAAC;IACH,MAAM,WAAW,GAAG,KAAK,CAAC,uBAAuB,KAAK,SAAS,IAAI,eAAe,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAChG,IAAI,CAAC,SAAS,KAAK,YAAY,CAAC,0BAA0B;QAC1D,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC;QAC3B,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,KAAK,CAAC,uBAAuB,CAC5D,CAAC,CAAC;IACH,MAAM,UAAU,GAAG,KAAK,CAAC,sBAAsB,KAAK,SAAS,IAAI,eAAe,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAC9F,IAAI,CAAC,SAAS,KAAK,YAAY,CAAC,yBAAyB;QACzD,uBAAuB,CAAC,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,sBAAuB,CAAC,CACpE,CAAC,CAAC;IACH,OAAO,kBAAkB,IAAI,gBAAgB,IAAI,cAAc,IAAI,CAAC,WAAW,IAAI,UAAU,CAAC,CAAC;AACjG,CAAC;AAED,sDAAsD;AACtD,MAAM,UAAU,+BAA+B,CAC7C,cAAsB,EACtB,eAAuB,EACvB,QAA6B;IAE7B,MAAM,KAAK,GAAG,oBAAoB,CAAC,QAAQ,CAAC,CAAC;IAC7C,IAAI,CAAC,KAAK;QAAE,MAAM,IAAI,KAAK,CAAC,+BAA+B,CAAC,CAAC;IAC7D,MAAM,iBAAiB,GAAG,aAAa,CACrC,4BAA4B,cAAc,IAAI,KAAK,CAAC,oBAAoB,EAAE,CAC3E,CAAC;IACF,MAAM,kBAAkB,GAAa,EAAE,CAAC;IACxC,MAAM,iBAAiB,GAAa,EAAE,CAAC;IACvC,IAAI,KAAK,CAAC,uBAAuB,EAAE,CAAC;QAClC,kBAAkB,CAAC,IAAI,CACrB,eAAe,iBAAiB,MAAM,YAAY,CAAC,0BAA0B,8BAA8B,CAC5G,CAAC;QACF,iBAAiB,CAAC,IAAI,CACpB,wGAAwG,YAAY,CAAC,KAAK,CAAC,uBAAuB,CAAC,GAAG,CACvJ,CAAC;IACJ,CAAC;IACD,IAAI,KAAK,CAAC,sBAAsB,EAAE,CAAC;QACjC,kBAAkB,CAAC,IAAI,CACrB,eAAe,iBAAiB,MAAM,YAAY,CAAC,yBAAyB,6BAA6B,CAC1G,CAAC;QACF,iBAAiB,CAAC,IAAI,CACpB,4GAA4G,YAAY,CAAC,KAAK,CAAC,sBAAsB,CAAC,GAAG,CAC1J,CAAC;IACJ,CAAC;IACD,OAAO,UAAU,aAAa,CAAC,eAAe,CAAC,MAAM,YAAY,CAAC,iBAAiB;yEACZ,YAAY,CAAC,KAAK,CAAC,oBAAoB,CAAC;;WAEtG,aAAa,CAAC,eAAe,CAAC,MAAM,YAAY,CAAC,iBAAiB;yFACY,YAAY,CAAC,KAAK,CAAC,oBAAoB,CAAC;;SAExH,iBAAiB,MAAM,YAAY,CAAC,oBAAoB;gCACjC,YAAY,CAAC,wBAAwB;2FACsB,YAAY,CAAC,KAAK,CAAC,oBAAoB,CAAC;uGAC5B,KAAK,CAAC,KAAK;oBAC9F,iBAAiB,MAAM,YAAY,CAAC,yBAAyB;yIACwD,KAAK,CAAC,KAAK;QAC5I,kBAAkB,CAAC,IAAI,CAAC,UAAU,CAAC;eAC5B,iBAAiB,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC;AACjD,CAAC"}

package/dist/context-graph-membership-persist-scheduler.d.ts

@@ -1,3 +1,4 @@
+import { KeyedPersistScheduler, type KeyedPersistSchedulerStatus } from './keyed-persist-scheduler.js';
 export declare class ContextGraphMembershipPersistQueueFullError extends Error {
     readonly code = "CG_MEMBERSHIP_PERSIST_QUEUE_FULL";
     constructor(message: string);
@@ -11,32 +12,15 @@ export declare class ContextGraphMembershipPersistShutdownTimeoutError extends E
     readonly code = "CG_MEMBERSHIP_PERSIST_SHUTDOWN_TIMEOUT";
     constructor(timeoutMs: number);
 }
-export interface ContextGraphMembershipPersistSchedulerStatus {
-    closed: boolean;
-    lanes: number;
-    active: number;
-    pending: number;
-}
+export type ContextGraphMembershipPersistSchedulerStatus = KeyedPersistSchedulerStatus;
 /**
- * Bounded keyed serialization for membership-store mutations.
+ * Bounded keyed serialization for membership-store mutations: a
+ * {@link KeyedPersistScheduler} with membership's bounds and typed errors.
  *
- * Strict operations preserve FIFO order and receive explicit backpressure.
- * Adjacent background mutations coalesce to their latest write while the
- * displaced caller settles successfully: those callers are deliberately
- * best-effort, and only the final persisted state is meaningful.
+ * Background membership writes omit `strict` and coalesce to the latest write
+ * per key; callers that need every write, in order, pass `{ strict: true }`.
  */
-export declare class ContextGraphMembershipPersistScheduler {
-    private readonly maxLanes;
-    private readonly maxPendingPerLane;
-    private readonly lanes;
-    private closed;
+export declare class ContextGraphMembershipPersistScheduler extends KeyedPersistScheduler {
     constructor(maxLanes?: number, maxPendingPerLane?: number);
-    enqueue(key: string, write: () => Promise<void>, options?: {
-        strict?: boolean;
-    }): Promise<void>;
-    closeAndDrain(): Promise<void>;
-    reopen(): void;
-    status(): ContextGraphMembershipPersistSchedulerStatus;
-    private runLane;
 }
 //# sourceMappingURL=context-graph-membership-persist-scheduler.d.ts.map