@origintrail-official/dkg-agent 10.0.19 → 10.0.21

package/dist/rfc64/catalog-completion-evidence-v1.js

@@ -0,0 +1,49 @@
+// SPDX-License-Identifier: Apache-2.0
+import { rfc64CatalogTargetScopeKeyV1 } from './catalog-operational-applied-heads-v1.js';
+import { aggregateRfc64DigestV1, projectRfc64OperationalRowCountsV1, rfc64CatalogTargetExactIdentityKeyV1, sumDecimalCountsV1 } from './catalog-operational-targets-v1.js';
+/**
+ * A diagnostic can describe retained heads without proving that recovery
+ * finished. `corroborated` additionally requires a provider's settled promise
+ * set. Restart, an empty peer walk and local authority acceptance cannot supply it.
+ */
+export function evaluateRfc64CatalogCompletionV1(input) {
+    const { heads, targets, promisedTargets, promisedRowCounts, replay, targetCapacityExceeded } = input;
+    const replayActive = input.replaySnapshotUnstable === true || replay?.active === true;
+    const replayFailed = replay?.failed === true;
+    const replayUnverified = replay?.unverified === true && heads.length > 0
+        && input.localCuratedOwnerHeads !== true;
+    const replayUnsettled = replayActive || replayFailed || replayUnverified;
+    const authoritativeTargets = [...new Map([
+            ...targets, ...promisedTargets ?? [],
+        ].map((target) => [rfc64CatalogTargetExactIdentityKeyV1(target), target])).values()];
+    const appliedByScope = new Map(heads.map((head) => [head.scopeKey, head]));
+    const isPending = (target) => {
+        const applied = appliedByScope.get(rfc64CatalogTargetScopeKeyV1(target));
+        return applied === undefined || BigInt(target.catalogVersion) > BigInt(applied.snapshot.catalogVersion)
+            || (target.catalogVersion === applied.snapshot.catalogVersion
+                && target.catalogHeadObjectDigest !== applied.snapshot.currentCatalogHeadDigest);
+    };
+    const pendingTargets = targets.filter(isPending);
+    const catalogHeadDigest = aggregateRfc64DigestV1(heads.map(({ snapshot }) => snapshot.currentCatalogHeadDigest));
+    const expectedHeadDigests = new Map(heads.map(({ scopeKey, snapshot }) => [scopeKey, snapshot.currentCatalogHeadDigest]));
+    for (const target of pendingTargets)
+        expectedHeadDigests.set(rfc64CatalogTargetScopeKeyV1(target), target.catalogHeadObjectDigest);
+    const expectedCatalogHeadDigest = aggregateRfc64DigestV1([...expectedHeadDigests.values()]);
+    const inventoryDigest = aggregateRfc64DigestV1(heads.map(({ snapshot }) => snapshot.appliedInventoryDigest));
+    const rowCount = heads.length === 0 ? null : sumDecimalCountsV1(heads.map(({ snapshot }) => snapshot.inventoryRowCount));
+    const rowProjectionUnavailable = targetCapacityExceeded || replayActive || replayUnverified
+        || (replayFailed && promisedTargets === null);
+    const rowProjection = rowProjectionUnavailable
+        ? Object.freeze({ expectedRowCount: null, missingRowCount: null })
+        : projectRfc64OperationalRowCountsV1(heads, authoritativeTargets, promisedRowCounts);
+    const corroborated = replay !== null && !replayUnsettled && !targetCapacityExceeded
+        && promisedTargets !== null && promisedTargets.length > 0
+        && !authoritativeTargets.some(isPending)
+        && rowCount !== null && BigInt(rowCount) > 0n
+        && rowProjection.missingRowCount === '0' && rowProjection.expectedRowCount === rowCount;
+    return Object.freeze({
+        replayActive, replayFailed, replayUnverified, replayUnsettled, pendingTargets,
+        catalogHeadDigest, expectedCatalogHeadDigest, inventoryDigest, rowCount, rowProjection, corroborated,
+    });
+}
+//# sourceMappingURL=catalog-completion-evidence-v1.js.map

package/dist/rfc64/catalog-completion-evidence-v1.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"catalog-completion-evidence-v1.js","sourceRoot":"","sources":["../../src/rfc64/catalog-completion-evidence-v1.ts"],"names":[],"mappings":"AAAA,sCAAsC;AAItC,OAAO,EAAE,4BAA4B,EAAE,MAAM,2CAA2C,CAAC;AACzF,OAAO,EAAE,sBAAsB,EAAE,kCAAkC,EAAE,oCAAoC,EAAE,kBAAkB,EAAE,MAAM,qCAAqC,CAAC;AA8B3K;;;;GAIG;AACH,MAAM,UAAU,gCAAgC,CAAC,KAAoC;IACnF,MAAM,EAAE,KAAK,EAAE,OAAO,EAAE,eAAe,EAAE,iBAAiB,EAAE,MAAM,EAAE,sBAAsB,EAAE,GAAG,KAAK,CAAC;IACrG,MAAM,YAAY,GAAG,KAAK,CAAC,sBAAsB,KAAK,IAAI,IAAI,MAAM,EAAE,MAAM,KAAK,IAAI,CAAC;IACtF,MAAM,YAAY,GAAG,MAAM,EAAE,MAAM,KAAK,IAAI,CAAC;IAC7C,MAAM,gBAAgB,GAAG,MAAM,EAAE,UAAU,KAAK,IAAI,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC;WACnE,KAAK,CAAC,sBAAsB,KAAK,IAAI,CAAC;IAC3C,MAAM,eAAe,GAAG,YAAY,IAAI,YAAY,IAAI,gBAAgB,CAAC;IACzE,MAAM,oBAAoB,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC;YACvC,GAAG,OAAO,EAAE,GAAG,eAAe,IAAI,EAAE;SACrC,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,oCAAoC,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC;IACrF,MAAM,cAAc,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;IAC3E,MAAM,SAAS,GAAG,CAAC,MAA4C,EAAE,EAAE;QACjE,MAAM,OAAO,GAAG,cAAc,CAAC,GAAG,CAAC,4BAA4B,CAAC,MAAM,CAAC,CAAC,CAAC;QACzE,OAAO,OAAO,KAAK,SAAS,IAAI,MAAM,CAAC,MAAM,CAAC,cAAc,CAAC,GAAG,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,cAAc,CAAC;eAClG,CAAC,MAAM,CAAC,cAAc,KAAK,OAAO,CAAC,QAAQ,CAAC,cAAc;mBACxD,MAAM,CAAC,uBAAuB,KAAK,OAAO,CAAC,QAAQ,CAAC,wBAAwB,CAAC,CAAC;IACvF,CAAC,CAAC;IACF,MAAM,cAAc,GAAG,OAAO,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;IACjD,MAAM,iBAAiB,GAAG,sBAAsB,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC,QAAQ,CAAC,wBAAwB,CAAC,CAAC,CAAC;IACjH,MAAM,mBAAmB,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,QAAQ,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC,CAAC,QAAQ,EAAE,QAAQ,CAAC,wBAAwB,CAAC,CAAC,CAAC,CAAC;IAC1H,KAAK,MAAM,MAAM,IAAI,cAAc;QAAE,mBAAmB,CAAC,GAAG,CAAC,4BAA4B,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,uBAAuB,CAAC,CAAC;IACnI,MAAM,yBAAyB,GAAG,sBAAsB,CAAC,CAAC,GAAG,mBAAmB,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;IAC5F,MAAM,eAAe,GAAG,sBAAsB,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC,QAAQ,CAAC,sBAAsB,CAAC,CAAC,CAAC;IAC7G,MAAM,QAAQ,GAAG,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,kBAAkB,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC,QAAQ,CAAC,iBAAiB,CAAC,CAAC,CAAC;IACzH,MAAM,wBAAwB,GAAG,sBAAsB,IAAI,YAAY,IAAI,gBAAgB;WACtF,CAAC,YAAY,IAAI,eAAe,KAAK,IAAI,CAAC,CAAC;IAChD,MAAM,aAAa,GAAG,wBAAwB;QAC5C,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,gBAAgB,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,CAAC;QAClE,CAAC,CAAC,kCAAkC,CAAC,KAAK,EAAE,oBAAoB,EAAE,iBAAiB,CAAC,CAAC;IACvF,MAAM,YAAY,GAAG,MAAM,KAAK,IAAI,IAAI,CAAC,eAAe,IAAI,CAAC,sBAAsB;WAC9E,eAAe,KAAK,IAAI,IAAI,eAAe,CAAC,MAAM,GAAG,CAAC;WACtD,CAAC,oBAAoB,CAAC,IAAI,CAAC,SAAS,CAAC;WACrC,QAAQ,KAAK,IAAI,IAAI,MAAM,CAAC,QAAQ,CAAC,GAAG,EAAE;WAC1C,aAAa,CAAC,eAAe,KAAK,GAAG,IAAI,aAAa,CAAC,gBAAgB,KAAK,QAAQ,CAAC;IAC1F,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,YAAY,EAAE,YAAY,EAAE,gBAAgB,EAAE,eAAe,EAAE,cAAc;QAC7E,iBAAiB,EAAE,yBAAyB,EAAE,eAAe,EAAE,QAAQ,EAAE,aAAa,EAAE,YAAY;KACrG,CAAC,CAAC;AACL,CAAC"}

package/dist/rfc64/catalog-operational-applied-heads-v1.d.ts

@@ -1,19 +1,17 @@
-import { type TimestampMsV1 } from '@origintrail-official/dkg-core';
+import { type AuthorCatalogScopeV1, type TimestampMsV1 } from '@origintrail-official/dkg-core';
 import type { Rfc64ControlObjectOperationsV1 } from './control-object-store-v1.js';
-import type { AppliedCatalogHeadSnapshotV1, Rfc64InventoryV1OperationsV1 } from './inventory-v1/index.js';
+import type { AppliedCatalogHeadSnapshotV1, AppliedCatalogHeadsSnapshotV1, Rfc64InventoryV1OperationsV1 } from './inventory-v1/index.js';
+export declare const RFC64_OPERATIONAL_STATUS_HEAD_READ_CONCURRENCY_V1 = 8;
 export interface Rfc64OperationalAppliedHeadV1 {
     readonly snapshot: AppliedCatalogHeadSnapshotV1;
     readonly issuedAt: TimestampMsV1;
     readonly contextGraphId: string;
     readonly scopeKey: string;
+    readonly scope: Readonly<AuthorCatalogScopeV1>;
 }
 /** The persistence surface the operational applied-head view reads. */
 export interface Rfc64OperationalAppliedHeadsStorageV1 {
-    /**
-     * With `readAppliedCatalogHeadsRevisionV1`, a call under an unchanged
-     * revision is answered without listing; without it every call lists.
-     */
-    readonly inventory: Pick<Rfc64InventoryV1OperationsV1, 'listAppliedCatalogHeadsV1'> & Partial<Pick<Rfc64InventoryV1OperationsV1, 'readAppliedCatalogHeadsRevisionV1'>>;
+    readonly inventory: Pick<Rfc64InventoryV1OperationsV1, 'readAppliedCatalogHeadsSnapshotV1'>;
     readonly controlObjects: Pick<Rfc64ControlObjectOperationsV1, 'getVerifiedObjectByDigest'>;
 }
 export declare function rfc64CatalogTargetScopeKeyV1(input: Readonly<{
@@ -28,15 +26,16 @@ export declare function rfc64CatalogTargetScopeKeyV1(input: Readonly<{
  * in inventory order. A head that is missing or fails verification is left
  * out, as before.
  *
- * Every field of every listed row keys the result, so applying, replacing or
- * removing a head is seen by the next call. The inventory is listed on every
- * call unless it reports a revision no write has moved since a listing that
- * produced the cached result; then that listing still describes it.
+ * The inventory snapshot's token keys the result, so applying, replacing or
+ * removing a head is seen by the next call, and a write that left every row
+ * as it was keeps the cached result.
  * The stored head objects are content-addressed and never rewritten or
  * removed, so a head verified once is reused while its digest stays applied
  * instead of being re-read and re-verified per call. Only a load in which
  * every head verified is reused as a whole; heads that failed are retried.
- * Concurrent callers that list the same inventory share one load.
+ * Concurrent callers that read the same inventory share one load.
+ * A caller may supply a captured, scoped snapshot without replacing the
+ * stable storage identity that owns the verification cache.
  */
-export declare function loadRfc64OperationalAppliedHeadsV1(storage: Rfc64OperationalAppliedHeadsStorageV1): Promise<readonly Readonly<Rfc64OperationalAppliedHeadV1>[]>;
+export declare function loadRfc64OperationalAppliedHeadsV1(storage: Rfc64OperationalAppliedHeadsStorageV1, snapshot?: AppliedCatalogHeadsSnapshotV1): Promise<readonly Readonly<Rfc64OperationalAppliedHeadV1>[]>;
 //# sourceMappingURL=catalog-operational-applied-heads-v1.d.ts.map

package/dist/rfc64/catalog-operational-applied-heads-v1.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"catalog-operational-applied-heads-v1.d.ts","sourceRoot":"","sources":["../../src/rfc64/catalog-operational-applied-heads-v1.ts"],"names":[],"mappings":"AAEA,OAAO,EAGL,KAAK,aAAa,EACnB,MAAM,gCAAgC,CAAC;AAIxC,OAAO,KAAK,EAAE,8BAA8B,EAAE,MAAM,8BAA8B,CAAC;AACnF,OAAO,KAAK,EACV,4BAA4B,EAC5B,4BAA4B,EAC7B,MAAM,yBAAyB,CAAC;AAIjC,MAAM,WAAW,6BAA6B;IAC5C,QAAQ,CAAC,QAAQ,EAAE,4BAA4B,CAAC;IAChD,QAAQ,CAAC,QAAQ,EAAE,aAAa,CAAC;IACjC,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;CAC3B;AAED,uEAAuE;AACvE,MAAM,WAAW,qCAAqC;IACpD;;;OAGG;IACH,QAAQ,CAAC,SAAS,EACd,IAAI,CAAC,4BAA4B,EAAE,2BAA2B,CAAC,GAC/D,OAAO,CAAC,IAAI,CAAC,4BAA4B,EAAE,mCAAmC,CAAC,CAAC,CAAC;IACrF,QAAQ,CAAC,cAAc,EAAE,IAAI,CAAC,8BAA8B,EAAE,2BAA2B,CAAC,CAAC;CAC5F;AA2DD,wBAAgB,4BAA4B,CAAC,KAAK,EAAE,QAAQ,CAAC;IAC3D,SAAS,EAAE,MAAM,CAAC;IAClB,cAAc,EAAE,MAAM,CAAC;IACvB,YAAY,EAAE,MAAM,GAAG,IAAI,CAAC;IAC5B,aAAa,EAAE,MAAM,CAAC;IACtB,UAAU,EAAE,MAAM,CAAC;CACpB,CAAC,GAAG,MAAM,CAQV;AAwED;;;;;;;;;;;;;;GAcG;AACH,wBAAsB,kCAAkC,CACtD,OAAO,EAAE,qCAAqC,GAC7C,OAAO,CAAC,SAAS,QAAQ,CAAC,6BAA6B,CAAC,EAAE,CAAC,CA+C7D"}
+{"version":3,"file":"catalog-operational-applied-heads-v1.d.ts","sourceRoot":"","sources":["../../src/rfc64/catalog-operational-applied-heads-v1.ts"],"names":[],"mappings":"AAEA,OAAO,EAGL,KAAK,oBAAoB,EAEzB,KAAK,aAAa,EACnB,MAAM,gCAAgC,CAAC;AAIxC,OAAO,KAAK,EAAE,8BAA8B,EAAE,MAAM,8BAA8B,CAAC;AACnF,OAAO,KAAK,EACV,4BAA4B,EAC5B,6BAA6B,EAE7B,4BAA4B,EAC7B,MAAM,yBAAyB,CAAC;AAEjC,eAAO,MAAM,iDAAiD,IAAI,CAAC;AAEnE,MAAM,WAAW,6BAA6B;IAC5C,QAAQ,CAAC,QAAQ,EAAE,4BAA4B,CAAC;IAChD,QAAQ,CAAC,QAAQ,EAAE,aAAa,CAAC;IACjC,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC,oBAAoB,CAAC,CAAC;CAChD;AAED,uEAAuE;AACvE,MAAM,WAAW,qCAAqC;IACpD,QAAQ,CAAC,SAAS,EAAE,IAAI,CAAC,4BAA4B,EAAE,mCAAmC,CAAC,CAAC;IAC5F,QAAQ,CAAC,cAAc,EAAE,IAAI,CAAC,8BAA8B,EAAE,2BAA2B,CAAC,CAAC;CAC5F;AA4BD,wBAAgB,4BAA4B,CAAC,KAAK,EAAE,QAAQ,CAAC;IAC3D,SAAS,EAAE,MAAM,CAAC;IAClB,cAAc,EAAE,MAAM,CAAC;IACvB,YAAY,EAAE,MAAM,GAAG,IAAI,CAAC;IAC5B,aAAa,EAAE,MAAM,CAAC;IACtB,UAAU,EAAE,MAAM,CAAC;CACpB,CAAC,GAAG,MAAM,CAQV;AAwED;;;;;;;;;;;;;;;GAeG;AACH,wBAAsB,kCAAkC,CACtD,OAAO,EAAE,qCAAqC,EAC9C,QAAQ,GAAE,6BAAqF,GAC9F,OAAO,CAAC,SAAS,QAAQ,CAAC,6BAA6B,CAAC,EAAE,CAAC,CA+B7D"}

package/dist/rfc64/catalog-operational-applied-heads-v1.js

@@ -1,31 +1,10 @@
 // SPDX-License-Identifier: Apache-2.0
-import { assertSignedAuthorCatalogHeadEnvelopeV1, } from '@origintrail-official/dkg-core';
+import { assertSignedAuthorCatalogHeadEnvelopeV1, deriveAuthorCatalogScopeFromHeadV1, } from '@origintrail-official/dkg-core';
 import { verifyControlEnvelopeIssuerSignatureV1 } from '@origintrail-official/dkg-chain';
 import { mapWithConcurrency } from '../map-with-concurrency.js';
-const RFC64_OPERATIONAL_STATUS_HEAD_READ_CONCURRENCY_V1 = 8;
+export const RFC64_OPERATIONAL_STATUS_HEAD_READ_CONCURRENCY_V1 = 8;
 /** Per persistence instance, so no agent reads another agent's heads. */
 const rfc64OperationalAppliedHeadsCachesV1 = new WeakMap();
-/**
- * Every applied-head snapshot field. The `satisfies` clause fails the build
- * when `AppliedCatalogHeadSnapshotV1` gains a field the fingerprint does not
- * key, so an inventory change the cache could miss cannot compile.
- */
-const RFC64_APPLIED_HEAD_FINGERPRINT_FIELDS_V1 = Object.freeze(Object.keys({
-    catalogScopeDigest: true,
-    authorAddress: true,
-    currentCatalogHeadDigest: true,
-    appliedInventoryDigest: true,
-    catalogVersion: true,
-    inventoryRowCount: true,
-}));
-/** Every field of every row, in listing order (the result keeps that order). */
-function rfc64OperationalAppliedHeadsFingerprintV1(snapshots) {
-    return snapshots
-        .map((snapshot) => RFC64_APPLIED_HEAD_FINGERPRINT_FIELDS_V1
-        .map((field) => snapshot[field])
-        .join(':'))
-        .join('\n');
-}
 export function rfc64CatalogTargetScopeKeyV1(input) {
     return [
         input.networkId,
@@ -53,6 +32,7 @@ async function readRfc64OperationalAppliedHeadProjectionV1(storage, objectDigest
     return Object.freeze({
         issuedAt: payload.issuedAt,
         contextGraphId: payload.contextGraphId,
+        scope: Object.freeze(deriveAuthorCatalogScopeFromHeadV1(payload)),
         scopeKey: rfc64CatalogTargetScopeKeyV1({
             networkId: payload.networkId,
             contextGraphId: payload.contextGraphId,
@@ -62,7 +42,7 @@ async function readRfc64OperationalAppliedHeadProjectionV1(storage, objectDigest
         }),
     });
 }
-async function readRfc64OperationalAppliedHeadsV1(storage, cache, snapshots, fingerprint, revision, generation) {
+async function readRfc64OperationalAppliedHeadsV1(storage, cache, snapshots, token, generation) {
     const verified = cache.verifiedByDigest;
     let complete = true;
     const loaded = await mapWithConcurrency(snapshots, RFC64_OPERATIONAL_STATUS_HEAD_READ_CONCURRENCY_V1, async (snapshot) => {
@@ -82,7 +62,7 @@ async function readRfc64OperationalAppliedHeadsV1(storage, cache, snapshots, fin
         ]));
         // A head that failed may be readable next time: only a load in which
         // every head verified answers later calls without reading.
-        cache.complete = complete ? Object.freeze({ fingerprint, revision, heads }) : null;
+        cache.complete = complete ? Object.freeze({ token, heads }) : null;
     }
     return heads;
 }
@@ -91,17 +71,18 @@ async function readRfc64OperationalAppliedHeadsV1(storage, cache, snapshots, fin
  * in inventory order. A head that is missing or fails verification is left
  * out, as before.
  *
- * Every field of every listed row keys the result, so applying, replacing or
- * removing a head is seen by the next call. The inventory is listed on every
- * call unless it reports a revision no write has moved since a listing that
- * produced the cached result; then that listing still describes it.
+ * The inventory snapshot's token keys the result, so applying, replacing or
+ * removing a head is seen by the next call, and a write that left every row
+ * as it was keeps the cached result.
  * The stored head objects are content-addressed and never rewritten or
  * removed, so a head verified once is reused while its digest stays applied
  * instead of being re-read and re-verified per call. Only a load in which
  * every head verified is reused as a whole; heads that failed are retried.
- * Concurrent callers that list the same inventory share one load.
+ * Concurrent callers that read the same inventory share one load.
+ * A caller may supply a captured, scoped snapshot without replacing the
+ * stable storage identity that owns the verification cache.
  */
-export async function loadRfc64OperationalAppliedHeadsV1(storage) {
+export async function loadRfc64OperationalAppliedHeadsV1(storage, snapshot = storage.inventory.readAppliedCatalogHeadsSnapshotV1()) {
     let cache = rfc64OperationalAppliedHeadsCachesV1.get(storage);
     if (cache === undefined) {
         cache = {
@@ -112,31 +93,15 @@ export async function loadRfc64OperationalAppliedHeadsV1(storage) {
         };
         rfc64OperationalAppliedHeadsCachesV1.set(storage, cache);
     }
-    // Read in the same synchronous turn as the listing below, so no write can
-    // land between the revision and the rows it vouches for.
-    const revision = storage.inventory.readAppliedCatalogHeadsRevisionV1?.();
-    if (revision !== undefined) {
-        if (cache.complete?.revision === revision)
-            return cache.complete.heads;
-        if (cache.inFlight?.revision === revision)
-            return cache.inFlight.heads;
-    }
-    const snapshots = storage.inventory.listAppliedCatalogHeadsV1();
-    const fingerprint = rfc64OperationalAppliedHeadsFingerprintV1(snapshots);
-    if (cache.complete?.fingerprint === fingerprint) {
-        // A write that left every row as it was: carry the result to this revision.
-        if (revision !== undefined) {
-            cache.complete = Object.freeze({ ...cache.complete, revision });
-        }
+    const { token, heads: snapshots } = snapshot;
+    if (cache.complete?.token === token)
         return cache.complete.heads;
-    }
-    if (cache.inFlight?.fingerprint === fingerprint)
+    if (cache.inFlight?.token === token)
         return cache.inFlight.heads;
     cache.generation += 1;
     const inFlight = Object.freeze({
-        fingerprint,
-        revision,
-        heads: readRfc64OperationalAppliedHeadsV1(storage, cache, snapshots, fingerprint, revision, cache.generation),
+        token,
+        heads: readRfc64OperationalAppliedHeadsV1(storage, cache, snapshots, token, cache.generation),
     });
     cache.inFlight = inFlight;
     try {

package/dist/rfc64/catalog-operational-applied-heads-v1.js.map

@@ -1 +1 @@
-{"version":3,"file":"catalog-operational-applied-heads-v1.js","sourceRoot":"","sources":["../../src/rfc64/catalog-operational-applied-heads-v1.ts"],"names":[],"mappings":"AAAA,sCAAsC;AAEtC,OAAO,EACL,uCAAuC,GAGxC,MAAM,gCAAgC,CAAC;AACxC,OAAO,EAAE,sCAAsC,EAAE,MAAM,iCAAiC,CAAC;AAEzF,OAAO,EAAE,kBAAkB,EAAE,MAAM,4BAA4B,CAAC;AAOhE,MAAM,iDAAiD,GAAG,CAAC,CAAC;AAgD5D,yEAAyE;AACzE,MAAM,oCAAoC,GACxC,IAAI,OAAO,EAA8E,CAAC;AAE5F;;;;GAIG;AACH,MAAM,wCAAwC,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC;IACzE,kBAAkB,EAAE,IAAI;IACxB,aAAa,EAAE,IAAI;IACnB,wBAAwB,EAAE,IAAI;IAC9B,sBAAsB,EAAE,IAAI;IAC5B,cAAc,EAAE,IAAI;IACpB,iBAAiB,EAAE,IAAI;CACmC,CACpB,CAAC,CAAC;AAE1C,gFAAgF;AAChF,SAAS,yCAAyC,CAChD,SAAkD;IAElD,OAAO,SAAS;SACb,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,wCAAwC;SACxD,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;SAC/B,IAAI,CAAC,GAAG,CAAC,CAAC;SACZ,IAAI,CAAC,IAAI,CAAC,CAAC;AAChB,CAAC;AAED,MAAM,UAAU,4BAA4B,CAAC,KAM3C;IACA,OAAO;QACL,KAAK,CAAC,SAAS;QACf,KAAK,CAAC,cAAc;QACpB,KAAK,CAAC,YAAY,IAAI,EAAE;QACxB,KAAK,CAAC,aAAa,CAAC,WAAW,EAAE;QACjC,KAAK,CAAC,UAAU;KACjB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACf,CAAC;AAED,yFAAyF;AACzF,KAAK,UAAU,2CAA2C,CACxD,OAA8C,EAC9C,YAAwB;IAExB,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,cAAc,CAAC,yBAAyB,CAAC;QACpE,YAAY;QACZ,qBAAqB,EAAE,sCAAsC;KAC9D,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC;IACrB,IAAI,MAAM,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IACjC,IAAI,CAAC;QACH,uCAAuC,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;IAC3D,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,OAAO,GAAG,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC;IACxC,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,QAAQ,EAAE,OAAO,CAAC,QAAQ;QAC1B,cAAc,EAAE,OAAO,CAAC,cAAc;QACtC,QAAQ,EAAE,4BAA4B,CAAC;YACrC,SAAS,EAAE,OAAO,CAAC,SAAS;YAC5B,cAAc,EAAE,OAAO,CAAC,cAAc;YACtC,YAAY,EAAE,OAAO,CAAC,YAAY;YAClC,aAAa,EAAE,OAAO,CAAC,aAAa;YACpC,UAAU,EAAE,OAAO,CAAC,GAAG;SACxB,CAAC;KACH,CAAC,CAAC;AACL,CAAC;AAED,KAAK,UAAU,kCAAkC,CAC/C,OAA8C,EAC9C,KAA0C,EAC1C,SAAkD,EAClD,WAAmB,EACnB,QAA4B,EAC5B,UAAkB;IAElB,MAAM,QAAQ,GAAG,KAAK,CAAC,gBAAgB,CAAC;IACxC,IAAI,QAAQ,GAAG,IAAI,CAAC;IACpB,MAAM,MAAM,GAAG,MAAM,kBAAkB,CACrC,SAAS,EACT,iDAAiD,EACjD,KAAK,EAAE,QAAQ,EAA2D,EAAE;QAC1E,MAAM,UAAU,GAAG,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,wBAAwB,CAAC;eAC7D,MAAM,2CAA2C,CAClD,OAAO,EACP,QAAQ,CAAC,wBAAwB,CAClC,CAAC;QACJ,IAAI,UAAU,KAAK,IAAI,EAAE,CAAC;YACxB,QAAQ,GAAG,KAAK,CAAC;YACjB,OAAO,IAAI,CAAC;QACd,CAAC;QACD,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,QAAQ,EAAE,GAAG,UAAU,EAAE,CAAC,CAAC;IACpD,CAAC,CACF,CAAC;IACF,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CACvC,CAAC,IAAI,EAAmD,EAAE,CAAC,IAAI,KAAK,IAAI,CACzE,CAAC,CAAC;IACH,IAAI,UAAU,KAAK,KAAK,CAAC,UAAU,EAAE,CAAC;QACpC,KAAK,CAAC,gBAAgB,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,QAAQ,EAAE,GAAG,UAAU,EAAE,EAAE,EAAE,CAAC;YAC1E,QAAQ,CAAC,wBAAwB;YACjC,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC;SAC1B,CAAC,CAAC,CAAC;QACJ,qEAAqE;QACrE,2DAA2D;QAC3D,KAAK,CAAC,QAAQ,GAAG,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,WAAW,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACrF,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;;;;;;;;;;;GAcG;AACH,MAAM,CAAC,KAAK,UAAU,kCAAkC,CACtD,OAA8C;IAE9C,IAAI,KAAK,GAAG,oCAAoC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IAC9D,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACxB,KAAK,GAAG;YACN,QAAQ,EAAE,IAAI;YACd,gBAAgB,EAAE,IAAI,GAAG,EAAE;YAC3B,QAAQ,EAAE,IAAI;YACd,UAAU,EAAE,CAAC;SACd,CAAC;QACF,oCAAoC,CAAC,GAAG,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;IAC3D,CAAC;IACD,0EAA0E;IAC1E,yDAAyD;IACzD,MAAM,QAAQ,GAAG,OAAO,CAAC,SAAS,CAAC,iCAAiC,EAAE,EAAE,CAAC;IACzE,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;QAC3B,IAAI,KAAK,CAAC,QAAQ,EAAE,QAAQ,KAAK,QAAQ;YAAE,OAAO,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC;QACvE,IAAI,KAAK,CAAC,QAAQ,EAAE,QAAQ,KAAK,QAAQ;YAAE,OAAO,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC;IACzE,CAAC;IACD,MAAM,SAAS,GAAG,OAAO,CAAC,SAAS,CAAC,yBAAyB,EAAE,CAAC;IAChE,MAAM,WAAW,GAAG,yCAAyC,CAAC,SAAS,CAAC,CAAC;IACzE,IAAI,KAAK,CAAC,QAAQ,EAAE,WAAW,KAAK,WAAW,EAAE,CAAC;QAChD,4EAA4E;QAC5E,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;YAC3B,KAAK,CAAC,QAAQ,GAAG,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,KAAK,CAAC,QAAQ,EAAE,QAAQ,EAAE,CAAC,CAAC;QAClE,CAAC;QACD,OAAO,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC;IAC9B,CAAC;IACD,IAAI,KAAK,CAAC,QAAQ,EAAE,WAAW,KAAK,WAAW;QAAE,OAAO,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC;IAC7E,KAAK,CAAC,UAAU,IAAI,CAAC,CAAC;IACtB,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,CAAC;QAC7B,WAAW;QACX,QAAQ;QACR,KAAK,EAAE,kCAAkC,CACvC,OAAO,EACP,KAAK,EACL,SAAS,EACT,WAAW,EACX,QAAQ,EACR,KAAK,CAAC,UAAU,CACjB;KACF,CAAC,CAAC;IACH,KAAK,CAAC,QAAQ,GAAG,QAAQ,CAAC;IAC1B,IAAI,CAAC;QACH,OAAO,MAAM,QAAQ,CAAC,KAAK,CAAC;IAC9B,CAAC;YAAS,CAAC;QACT,IAAI,KAAK,CAAC,QAAQ,KAAK,QAAQ;YAAE,KAAK,CAAC,QAAQ,GAAG,IAAI,CAAC;IACzD,CAAC;AACH,CAAC"}
+{"version":3,"file":"catalog-operational-applied-heads-v1.js","sourceRoot":"","sources":["../../src/rfc64/catalog-operational-applied-heads-v1.ts"],"names":[],"mappings":"AAAA,sCAAsC;AAEtC,OAAO,EACL,uCAAuC,EACvC,kCAAkC,GAInC,MAAM,gCAAgC,CAAC;AACxC,OAAO,EAAE,sCAAsC,EAAE,MAAM,iCAAiC,CAAC;AAEzF,OAAO,EAAE,kBAAkB,EAAE,MAAM,4BAA4B,CAAC;AAShE,MAAM,CAAC,MAAM,iDAAiD,GAAG,CAAC,CAAC;AAsCnE,yEAAyE;AACzE,MAAM,oCAAoC,GACxC,IAAI,OAAO,EAA8E,CAAC;AAE5F,MAAM,UAAU,4BAA4B,CAAC,KAM3C;IACA,OAAO;QACL,KAAK,CAAC,SAAS;QACf,KAAK,CAAC,cAAc;QACpB,KAAK,CAAC,YAAY,IAAI,EAAE;QACxB,KAAK,CAAC,aAAa,CAAC,WAAW,EAAE;QACjC,KAAK,CAAC,UAAU;KACjB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACf,CAAC;AAED,yFAAyF;AACzF,KAAK,UAAU,2CAA2C,CACxD,OAA8C,EAC9C,YAAwB;IAExB,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,cAAc,CAAC,yBAAyB,CAAC;QACpE,YAAY;QACZ,qBAAqB,EAAE,sCAAsC;KAC9D,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC;IACrB,IAAI,MAAM,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IACjC,IAAI,CAAC;QACH,uCAAuC,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;IAC3D,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,OAAO,GAAG,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC;IACxC,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,QAAQ,EAAE,OAAO,CAAC,QAAQ;QAC1B,cAAc,EAAE,OAAO,CAAC,cAAc;QACtC,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,kCAAkC,CAAC,OAAO,CAAC,CAAC;QACjE,QAAQ,EAAE,4BAA4B,CAAC;YACrC,SAAS,EAAE,OAAO,CAAC,SAAS;YAC5B,cAAc,EAAE,OAAO,CAAC,cAAc;YACtC,YAAY,EAAE,OAAO,CAAC,YAAY;YAClC,aAAa,EAAE,OAAO,CAAC,aAAa;YACpC,UAAU,EAAE,OAAO,CAAC,GAAG;SACxB,CAAC;KACH,CAAC,CAAC;AACL,CAAC;AAED,KAAK,UAAU,kCAAkC,CAC/C,OAA8C,EAC9C,KAA0C,EAC1C,SAAkD,EAClD,KAAiC,EACjC,UAAkB;IAElB,MAAM,QAAQ,GAAG,KAAK,CAAC,gBAAgB,CAAC;IACxC,IAAI,QAAQ,GAAG,IAAI,CAAC;IACpB,MAAM,MAAM,GAAG,MAAM,kBAAkB,CACrC,SAAS,EACT,iDAAiD,EACjD,KAAK,EAAE,QAAQ,EAA2D,EAAE;QAC1E,MAAM,UAAU,GAAG,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,wBAAwB,CAAC;eAC7D,MAAM,2CAA2C,CAClD,OAAO,EACP,QAAQ,CAAC,wBAAwB,CAClC,CAAC;QACJ,IAAI,UAAU,KAAK,IAAI,EAAE,CAAC;YACxB,QAAQ,GAAG,KAAK,CAAC;YACjB,OAAO,IAAI,CAAC;QACd,CAAC;QACD,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,QAAQ,EAAE,GAAG,UAAU,EAAE,CAAC,CAAC;IACpD,CAAC,CACF,CAAC;IACF,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CACvC,CAAC,IAAI,EAAmD,EAAE,CAAC,IAAI,KAAK,IAAI,CACzE,CAAC,CAAC;IACH,IAAI,UAAU,KAAK,KAAK,CAAC,UAAU,EAAE,CAAC;QACpC,KAAK,CAAC,gBAAgB,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,QAAQ,EAAE,GAAG,UAAU,EAAE,EAAE,EAAE,CAAC;YAC1E,QAAQ,CAAC,wBAAwB;YACjC,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC;SAC1B,CAAC,CAAC,CAAC;QACJ,qEAAqE;QACrE,2DAA2D;QAC3D,KAAK,CAAC,QAAQ,GAAG,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;IACrE,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;;;;;;;;;;;;;GAeG;AACH,MAAM,CAAC,KAAK,UAAU,kCAAkC,CACtD,OAA8C,EAC9C,WAA0C,OAAO,CAAC,SAAS,CAAC,iCAAiC,EAAE;IAE/F,IAAI,KAAK,GAAG,oCAAoC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IAC9D,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACxB,KAAK,GAAG;YACN,QAAQ,EAAE,IAAI;YACd,gBAAgB,EAAE,IAAI,GAAG,EAAE;YAC3B,QAAQ,EAAE,IAAI;YACd,UAAU,EAAE,CAAC;SACd,CAAC;QACF,oCAAoC,CAAC,GAAG,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;IAC3D,CAAC;IACD,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,SAAS,EAAE,GAAG,QAAQ,CAAC;IAC7C,IAAI,KAAK,CAAC,QAAQ,EAAE,KAAK,KAAK,KAAK;QAAE,OAAO,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC;IACjE,IAAI,KAAK,CAAC,QAAQ,EAAE,KAAK,KAAK,KAAK;QAAE,OAAO,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC;IACjE,KAAK,CAAC,UAAU,IAAI,CAAC,CAAC;IACtB,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,CAAC;QAC7B,KAAK;QACL,KAAK,EAAE,kCAAkC,CACvC,OAAO,EACP,KAAK,EACL,SAAS,EACT,KAAK,EACL,KAAK,CAAC,UAAU,CACjB;KACF,CAAC,CAAC;IACH,KAAK,CAAC,QAAQ,GAAG,QAAQ,CAAC;IAC1B,IAAI,CAAC;QACH,OAAO,MAAM,QAAQ,CAAC,KAAK,CAAC;IAC9B,CAAC;YAAS,CAAC;QACT,IAAI,KAAK,CAAC,QAAQ,KAAK,QAAQ;YAAE,KAAK,CAAC,QAAQ,GAAG,IAAI,CAAC;IACzD,CAAC;AACH,CAAC"}

package/dist/rfc64/catalog-operational-reads-v1.d.ts

@@ -0,0 +1,13 @@
+import { type AuthorCatalogScopeV1 } from '@origintrail-official/dkg-core';
+import { type Rfc64OperationalAppliedHeadV1 } from './catalog-operational-applied-heads-v1.js';
+import type { Rfc64PersistenceV1 } from './persistence-v1.js';
+import type { Rfc64PublicCatalogHeadAnnouncementV1 } from './public-catalog-transport-v1.js';
+export declare function groupRfc64OperationalAppliedHeadsV1(heads: readonly Readonly<Rfc64OperationalAppliedHeadV1>[]): ReadonlyMap<string, readonly Readonly<Rfc64OperationalAppliedHeadV1>[]>;
+export declare function loadRfc64OperationalPromisedRowCountsV1(persistence: Rfc64PersistenceV1, targets: readonly Rfc64PublicCatalogHeadAnnouncementV1[]): Promise<ReadonlyMap<string, string | null>>;
+export interface Rfc64VerifiedPromisedHeadV1 {
+    readonly scope: Readonly<AuthorCatalogScopeV1>;
+    readonly totalRows: string;
+}
+/** Keep the authenticated scope with the row promise; lookup keys are not domain facts. */
+export declare function loadRfc64OperationalPromisedHeadsV1(persistence: Rfc64PersistenceV1, targets: readonly Rfc64PublicCatalogHeadAnnouncementV1[]): Promise<ReadonlyMap<string, Readonly<Rfc64VerifiedPromisedHeadV1> | null>>;
+//# sourceMappingURL=catalog-operational-reads-v1.d.ts.map

package/dist/rfc64/catalog-operational-reads-v1.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"catalog-operational-reads-v1.d.ts","sourceRoot":"","sources":["../../src/rfc64/catalog-operational-reads-v1.ts"],"names":[],"mappings":"AAEA,OAAO,EAA+E,KAAK,oBAAoB,EAAE,MAAM,gCAAgC,CAAC;AAGxJ,OAAO,EAAqD,KAAK,6BAA6B,EAAE,MAAM,2CAA2C,CAAC;AAElJ,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,qBAAqB,CAAC;AAC9D,OAAO,KAAK,EAAE,oCAAoC,EAAE,MAAM,kCAAkC,CAAC;AAE7F,wBAAgB,mCAAmC,CACjD,KAAK,EAAE,SAAS,QAAQ,CAAC,6BAA6B,CAAC,EAAE,GACxD,WAAW,CAAC,MAAM,EAAE,SAAS,QAAQ,CAAC,6BAA6B,CAAC,EAAE,CAAC,CAQzE;AAED,wBAAsB,uCAAuC,CAC3D,WAAW,EAAE,kBAAkB,EAC/B,OAAO,EAAE,SAAS,oCAAoC,EAAE,GACvD,OAAO,CAAC,WAAW,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC,CAAC,CAG7C;AAED,MAAM,WAAW,2BAA2B;IAC1C,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC,oBAAoB,CAAC,CAAC;IAC/C,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;CAC5B;AAED,2FAA2F;AAC3F,wBAAsB,mCAAmC,CACvD,WAAW,EAAE,kBAAkB,EAC/B,OAAO,EAAE,SAAS,oCAAoC,EAAE,GACvD,OAAO,CAAC,WAAW,CAAC,MAAM,EAAE,QAAQ,CAAC,2BAA2B,CAAC,GAAG,IAAI,CAAC,CAAC,CAqC5E"}

package/dist/rfc64/catalog-operational-reads-v1.js

@@ -0,0 +1,56 @@
+// SPDX-License-Identifier: Apache-2.0
+import { assertSignedAuthorCatalogHeadEnvelopeV1, deriveAuthorCatalogScopeFromHeadV1 } from '@origintrail-official/dkg-core';
+import { verifyControlEnvelopeIssuerSignatureV1 } from '@origintrail-official/dkg-chain';
+import { mapWithConcurrency } from '../map-with-concurrency.js';
+import { RFC64_OPERATIONAL_STATUS_HEAD_READ_CONCURRENCY_V1 } from './catalog-operational-applied-heads-v1.js';
+import { rfc64CatalogTargetExactIdentityKeyV1 } from './catalog-operational-targets-v1.js';
+export function groupRfc64OperationalAppliedHeadsV1(heads) {
+    const byContextGraph = new Map();
+    for (const head of heads) {
+        const grouped = byContextGraph.get(head.contextGraphId) ?? [];
+        grouped.push(head);
+        byContextGraph.set(head.contextGraphId, grouped);
+    }
+    return byContextGraph;
+}
+export async function loadRfc64OperationalPromisedRowCountsV1(persistence, targets) {
+    const heads = await loadRfc64OperationalPromisedHeadsV1(persistence, targets);
+    return new Map([...heads].map(([identity, head]) => [identity, head?.totalRows ?? null]));
+}
+/** Keep the authenticated scope with the row promise; lookup keys are not domain facts. */
+export async function loadRfc64OperationalPromisedHeadsV1(persistence, targets) {
+    const uniqueTargets = new Map(targets.map((target) => [
+        rfc64CatalogTargetExactIdentityKeyV1(target),
+        target,
+    ]));
+    const loaded = await mapWithConcurrency([...uniqueTargets], RFC64_OPERATIONAL_STATUS_HEAD_READ_CONCURRENCY_V1, async ([identity, target]) => {
+        const stored = await persistence.controlObjects.getVerifiedObject({
+            objectDigest: target.catalogHeadObjectDigest,
+            signatureVariantDigest: target.signatureVariantDigest,
+            verifyIssuerSignature: verifyControlEnvelopeIssuerSignatureV1,
+        }).catch(() => null);
+        if (stored === null)
+            return [identity, null];
+        try {
+            assertSignedAuthorCatalogHeadEnvelopeV1(stored.envelope);
+            const payload = stored.envelope.payload;
+            if (stored.envelope.objectDigest !== target.catalogHeadObjectDigest
+                || payload.networkId !== target.networkId
+                || payload.contextGraphId !== target.contextGraphId
+                || payload.subGraphName !== target.subGraphName
+                || payload.authorAddress !== target.authorAddress
+                || payload.era !== target.catalogEra
+                || payload.version !== target.catalogVersion)
+                return [identity, null];
+            return [identity, Object.freeze({
+                    scope: Object.freeze(deriveAuthorCatalogScopeFromHeadV1(payload)),
+                    totalRows: payload.totalRows,
+                })];
+        }
+        catch {
+            return [identity, null];
+        }
+    });
+    return new Map(loaded);
+}
+//# sourceMappingURL=catalog-operational-reads-v1.js.map

package/dist/rfc64/catalog-operational-reads-v1.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"catalog-operational-reads-v1.js","sourceRoot":"","sources":["../../src/rfc64/catalog-operational-reads-v1.ts"],"names":[],"mappings":"AAAA,sCAAsC;AAEtC,OAAO,EAAE,uCAAuC,EAAE,kCAAkC,EAA6B,MAAM,gCAAgC,CAAC;AACxJ,OAAO,EAAE,sCAAsC,EAAE,MAAM,iCAAiC,CAAC;AACzF,OAAO,EAAE,kBAAkB,EAAE,MAAM,4BAA4B,CAAC;AAChE,OAAO,EAAE,iDAAiD,EAAsC,MAAM,2CAA2C,CAAC;AAClJ,OAAO,EAAE,oCAAoC,EAAE,MAAM,qCAAqC,CAAC;AAI3F,MAAM,UAAU,mCAAmC,CACjD,KAAyD;IAEzD,MAAM,cAAc,GAAG,IAAI,GAAG,EAAqD,CAAC;IACpF,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,OAAO,GAAG,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,cAAc,CAAC,IAAI,EAAE,CAAC;QAC9D,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnB,cAAc,CAAC,GAAG,CAAC,IAAI,CAAC,cAAc,EAAE,OAAO,CAAC,CAAC;IACnD,CAAC;IACD,OAAO,cAAc,CAAC;AACxB,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,uCAAuC,CAC3D,WAA+B,EAC/B,OAAwD;IAExD,MAAM,KAAK,GAAG,MAAM,mCAAmC,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC;IAC9E,OAAO,IAAI,GAAG,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,CAAC,QAAQ,EAAE,IAAI,EAAE,SAAS,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC;AAC5F,CAAC;AAOD,2FAA2F;AAC3F,MAAM,CAAC,KAAK,UAAU,mCAAmC,CACvD,WAA+B,EAC/B,OAAwD;IAExD,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC;QACpD,oCAAoC,CAAC,MAAM,CAAC;QAC5C,MAAM;KACP,CAAC,CAAC,CAAC;IACJ,MAAM,MAAM,GAAG,MAAM,kBAAkB,CACrC,CAAC,GAAG,aAAa,CAAC,EAClB,iDAAiD,EACjD,KAAK,EAAE,CAAC,QAAQ,EAAE,MAAM,CAAC,EAA4E,EAAE;QACrG,MAAM,MAAM,GAAG,MAAM,WAAW,CAAC,cAAc,CAAC,iBAAiB,CAAC;YAChE,YAAY,EAAE,MAAM,CAAC,uBAAuB;YAC5C,sBAAsB,EAAE,MAAM,CAAC,sBAAsB;YACrD,qBAAqB,EAAE,sCAAsC;SAC9D,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,CAAC;QACrB,IAAI,MAAM,KAAK,IAAI;YAAE,OAAO,CAAC,QAAQ,EAAE,IAAI,CAAU,CAAC;QACtD,IAAI,CAAC;YACH,uCAAuC,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;YACzD,MAAM,OAAO,GAAG,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC;YACxC,IACE,MAAM,CAAC,QAAQ,CAAC,YAAY,KAAK,MAAM,CAAC,uBAAuB;mBAC5D,OAAO,CAAC,SAAS,KAAK,MAAM,CAAC,SAAS;mBACtC,OAAO,CAAC,cAAc,KAAK,MAAM,CAAC,cAAc;mBAChD,OAAO,CAAC,YAAY,KAAK,MAAM,CAAC,YAAY;mBAC5C,OAAO,CAAC,aAAa,KAAK,MAAM,CAAC,aAAa;mBAC9C,OAAO,CAAC,GAAG,KAAK,MAAM,CAAC,UAAU;mBACjC,OAAO,CAAC,OAAO,KAAK,MAAM,CAAC,cAAc;gBAC5C,OAAO,CAAC,QAAQ,EAAE,IAAI,CAAU,CAAC;YACnC,OAAO,CAAC,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC;oBAC9B,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,kCAAkC,CAAC,OAAO,CAAC,CAAC;oBACjE,SAAS,EAAE,OAAO,CAAC,SAAS;iBAC7B,CAAC,CAAU,CAAC;QACf,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,CAAC,QAAQ,EAAE,IAAI,CAAU,CAAC;QACnC,CAAC;IACH,CAAC,CACF,CAAC;IACF,OAAO,IAAI,GAAG,CAAC,MAAM,CAAC,CAAC;AACzB,CAAC"}

package/dist/rfc64/catalog-operational-targets-v1.d.ts

@@ -0,0 +1,55 @@
+/** Bounded catalog targets, overflow evidence and operational row projections. */
+import { type Digest32V1 } from '@origintrail-official/dkg-core';
+import { type Rfc64OperationalAppliedHeadV1 } from './catalog-operational-applied-heads-v1.js';
+import type { Rfc64PublicCatalogReceiverCompletionOutcomeV1 } from './public-catalog-reconciliation-outcome-v1.js';
+import { type Rfc64PublicCatalogHeadAnnouncementV1 } from './public-catalog-transport-v1.js';
+export declare const RFC64_CATALOG_TARGET_MAX_ENTRIES_V1 = 1024;
+export declare const RFC64_CATALOG_TARGET_MAX_CONTEXT_OVERFLOWS_V1 = 64;
+interface Rfc64CatalogTargetOverflowV1 {
+    active: number;
+    readonly failureWitnesses: Map<string, Rfc64PublicCatalogHeadAnnouncementV1>;
+    /** CG-owned saturation can be released only when that authority generation resets. */
+    readonly saturatedContextGraphs: Set<string>;
+    /** Lost attribution is fail-closed until the whole tracker reaches a reset boundary. */
+    unattributedSaturation: boolean;
+}
+interface Rfc64CatalogTargetContextEpochV1 {
+    valid: boolean;
+    activeLeases: number;
+}
+interface Rfc64CatalogTargetLeaseStateV1 {
+    active: boolean;
+    readonly contextEpoch: Rfc64CatalogTargetContextEpochV1;
+    readonly overflow: Rfc64CatalogTargetOverflowV1 | null;
+}
+export type Rfc64CatalogTargetLeaseV1 = Readonly<{
+    announcement: Rfc64PublicCatalogHeadAnnouncementV1;
+    disposition: 'tracked' | 'covered' | 'context-capacity' | 'global-capacity';
+    /** Opaque exactly-once settlement state owned by the tracker. */
+    state: Rfc64CatalogTargetLeaseStateV1;
+}>;
+/** Process-local, bounded operational targets; semantic truth remains the durable inventory. */
+export declare class Rfc64CatalogTargetTrackerV1 {
+    #private;
+    get size(): number;
+    targetsForContextGraph(contextGraphId: string): readonly Rfc64PublicCatalogHeadAnnouncementV1[];
+    hasTerminalFailure(announcement: Rfc64PublicCatalogHeadAnnouncementV1): boolean;
+    capacityExceededForContextGraph(contextGraphId: string): boolean;
+    /** Invalidate every outstanding lease and release all process-local target evidence. */
+    resetAll(): void;
+    clearContextGraph(contextGraphId: string): number;
+    begin(announcement: Rfc64PublicCatalogHeadAnnouncementV1): Rfc64CatalogTargetLeaseV1;
+    reject(announcement: Rfc64PublicCatalogHeadAnnouncementV1): Rfc64CatalogTargetLeaseV1;
+    settle(lease: Rfc64CatalogTargetLeaseV1, outcome: Rfc64PublicCatalogReceiverCompletionOutcomeV1): void;
+    retire(announcement: Rfc64PublicCatalogHeadAnnouncementV1): boolean;
+}
+export declare function rfc64CatalogTargetExactIdentityKeyV1(target: Rfc64PublicCatalogHeadAnnouncementV1): string;
+export declare function aggregateRfc64DigestV1(values: readonly string[]): Digest32V1 | null;
+export declare function sumDecimalCountsV1(values: readonly string[]): string;
+interface Rfc64OperationalRowProjectionV1 {
+    readonly expectedRowCount: string | null;
+    readonly missingRowCount: string | null;
+}
+export declare function projectRfc64OperationalRowCountsV1(heads: readonly Readonly<Rfc64OperationalAppliedHeadV1>[], targets: readonly Rfc64PublicCatalogHeadAnnouncementV1[], promisedRowCounts: ReadonlyMap<string, string | null>): Readonly<Rfc64OperationalRowProjectionV1>;
+export {};
+//# sourceMappingURL=catalog-operational-targets-v1.d.ts.map

package/dist/rfc64/catalog-operational-targets-v1.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"catalog-operational-targets-v1.d.ts","sourceRoot":"","sources":["../../src/rfc64/catalog-operational-targets-v1.ts"],"names":[],"mappings":"AAEA,kFAAkF;AAClF,OAAO,EAAE,KAAK,UAAU,EAAE,MAAM,gCAAgC,CAAC;AAGjE,OAAO,EAAgC,KAAK,6BAA6B,EAAE,MAAM,2CAA2C,CAAC;AAC7H,OAAO,KAAK,EAAE,6CAA6C,EAAE,MAAM,+CAA+C,CAAC;AACnH,OAAO,EAAE,KAAK,oCAAoC,EAAE,MAAM,kCAAkC,CAAC;AAE7F,eAAO,MAAM,mCAAmC,OAAQ,CAAC;AAEzD,eAAO,MAAM,6CAA6C,KAAK,CAAC;AAOhE,UAAU,4BAA4B;IACpC,MAAM,EAAE,MAAM,CAAC;IACf,QAAQ,CAAC,gBAAgB,EAAE,GAAG,CAAC,MAAM,EAAE,oCAAoC,CAAC,CAAC;IAC7E,sFAAsF;IACtF,QAAQ,CAAC,sBAAsB,EAAE,GAAG,CAAC,MAAM,CAAC,CAAC;IAC7C,wFAAwF;IACxF,sBAAsB,EAAE,OAAO,CAAC;CACjC;AAED,UAAU,gCAAgC;IACxC,KAAK,EAAE,OAAO,CAAC;IACf,YAAY,EAAE,MAAM,CAAC;CACtB;AAED,UAAU,8BAA8B;IACtC,MAAM,EAAE,OAAO,CAAC;IAChB,QAAQ,CAAC,YAAY,EAAE,gCAAgC,CAAC;IACxD,QAAQ,CAAC,QAAQ,EAAE,4BAA4B,GAAG,IAAI,CAAC;CACxD;AAED,MAAM,MAAM,yBAAyB,GAAG,QAAQ,CAAC;IAC/C,YAAY,EAAE,oCAAoC,CAAC;IACnD,WAAW,EAAE,SAAS,GAAG,SAAS,GAAG,kBAAkB,GAAG,iBAAiB,CAAC;IAC5E,iEAAiE;IACjE,KAAK,EAAE,8BAA8B,CAAC;CACvC,CAAC,CAAC;AAEH,gGAAgG;AAChG,qBAAa,2BAA2B;;IAQtC,IAAI,IAAI,IAAI,MAAM,CAEjB;IAED,sBAAsB,CACpB,cAAc,EAAE,MAAM,GACrB,SAAS,oCAAoC,EAAE;IAOlD,kBAAkB,CAAC,YAAY,EAAE,oCAAoC,GAAG,OAAO;IAS/E,+BAA+B,CAAC,cAAc,EAAE,MAAM,GAAG,OAAO;IAKhE,wFAAwF;IACxF,QAAQ,IAAI,IAAI;IAShB,iBAAiB,CAAC,cAAc,EAAE,MAAM,GAAG,MAAM;IAyBjD,KAAK,CAAC,YAAY,EAAE,oCAAoC,GAAG,yBAAyB;IA8CpF,MAAM,CACJ,YAAY,EAAE,oCAAoC,GACjD,yBAAyB;IAM5B,MAAM,CACJ,KAAK,EAAE,yBAAyB,EAChC,OAAO,EAAE,6CAA6C,GACrD,IAAI;IAwDP,MAAM,CAAC,YAAY,EAAE,oCAAoC,GAAG,OAAO;CA0JpE;AAUD,wBAAgB,oCAAoC,CAClD,MAAM,EAAE,oCAAoC,GAC3C,MAAM,CAQR;AAED,wBAAgB,sBAAsB,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,GAAG,UAAU,GAAG,IAAI,CAKnF;AAED,wBAAgB,kBAAkB,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,GAAG,MAAM,CAEpE;AAED,UAAU,+BAA+B;IACvC,QAAQ,CAAC,gBAAgB,EAAE,MAAM,GAAG,IAAI,CAAC;IACzC,QAAQ,CAAC,eAAe,EAAE,MAAM,GAAG,IAAI,CAAC;CACzC;AAED,wBAAgB,kCAAkC,CAChD,KAAK,EAAE,SAAS,QAAQ,CAAC,6BAA6B,CAAC,EAAE,EACzD,OAAO,EAAE,SAAS,oCAAoC,EAAE,EACxD,iBAAiB,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC,GACpD,QAAQ,CAAC,+BAA+B,CAAC,CAgE3C"}