@amalgm/live 0.2.80 → 0.2.85

package/dist-cjs/apply/repository-result.js

@@ -1,6 +1,7 @@
 "use strict";
 /** Portable proof of one incremental Git Card + Checkpoint transport chain. */
 Object.defineProperty(exports, "__esModule", { value: true });
+exports.prepareRepositorySuffix = prepareRepositorySuffix;
 exports.prepareRepositoryResult = prepareRepositoryResult;
 const repo_states_js_1 = require("../entities/repo-states.js");
 const portableRepositoryPath = (path) => path.length > 0
@@ -56,43 +57,47 @@ function assertTransportTruth(state, sha256Hex) {
             throw new Error(`repository Apply Checkpoint content failed verification for ${file.path}`);
         }
     }
-    for (const entry of state.identityDelta.upsert) {
+    assertIdentityDeltaPaths(state.identityDelta);
+}
+function assertIdentityDeltaPaths(delta) {
+    for (const entry of delta.upsert) {
         if (!portableRepositoryPath(entry.path)) {
             throw new Error('repository Apply identity map has an unsafe path');
         }
     }
-    if (state.identityDelta.remove.some((path) => !portableRepositoryPath(path))) {
+    if (delta.remove.some((path) => !portableRepositoryPath(path))) {
         throw new Error('repository Apply identity map has an unsafe removal path');
     }
 }
 /**
- * Verify a sealed transport suffix before a host invokes Git. With a null
- * base the chain must be complete from its reset node. With a durable local
- * base, the first incremental node must name that exact transport frontier.
+ * Prove that a host-verified immutable suffix extends exactly one base
+ * frontier and produces the accepted repository result. A null base demands
+ * a self-contained reset node. An exact base permits every older transport to
+ * be absent: its complete identity frontier, not mutable child rows, is the
+ * only portable predecessor truth.
  */
-function prepareRepositoryResult(plan, nodes, base, sha256Hex) {
+function prepareRepositorySuffix(plan, nodes, base, sha256Hex) {
     if (nodes.length === 0)
-        throw new Error('repository Apply transport chain is empty');
-    let priorVersion = base.transportVersion;
-    let identity = base.identity;
+        throw new Error('repository Apply transport suffix is empty');
     if ((base.transportVersion === null) !== (base.identity === null)) {
         throw new Error('repository Apply base frontier is incomplete');
     }
-    const transports = [];
+    let priorVersion = base.transportVersion;
+    let identity = base.identity;
+    const versions = new Set();
     for (const node of nodes) {
-        if (sha256Hex(node.bytes) !== node.transportVersion) {
-            throw new Error('repository Apply transport failed its immutable hash');
+        if (!/^[0-9a-f]{64}$/.test(node.transportVersion) || versions.has(node.transportVersion)) {
+            throw new Error('repository Apply transport suffix has an invalid or repeated identity');
         }
-        const state = (0, repo_states_js_1.decodeRepositoryTransport)(node.bytes);
-        if (state.parentTransportVersion !== priorVersion) {
+        versions.add(node.transportVersion);
+        if (node.parentTransportVersion !== priorVersion) {
             throw new Error('repository Apply transport chain is discontinuous');
         }
-        assertTransportTruth(state, sha256Hex);
-        identity = (0, repo_states_js_1.applyRepositoryIdentity)(identity, state, sha256Hex);
-        transports.push(state);
+        assertIdentityDeltaPaths(node.identityDelta);
+        identity = (0, repo_states_js_1.applyRepositoryIdentity)(identity, node, sha256Hex);
         priorVersion = node.transportVersion;
     }
-    const latest = transports.at(-1);
+    const latest = nodes.at(-1);
     if (priorVersion !== plan.transportVersion
         || latest.parentTransportVersion !== plan.parentTransportVersion
         || latest.stateId !== plan.stateId
@@ -100,6 +105,39 @@ function prepareRepositoryResult(plan, nodes, base, sha256Hex) {
         || latest.checkpointId !== plan.checkpointId) {
         throw new Error('repository Apply chain does not produce its accepted complete result');
     }
+    return Object.freeze({
+        baseTransportVersion: base.transportVersion,
+        transportVersion: priorVersion,
+        identity: Object.freeze([...identity]),
+    });
+}
+/**
+ * Verify a sealed transport suffix before a host invokes Git. With a null
+ * base the chain must be complete from its reset node. With a durable local
+ * base, the first incremental node must name that exact transport frontier.
+ */
+function prepareRepositoryResult(plan, nodes, base, sha256Hex) {
+    if (nodes.length === 0)
+        throw new Error('repository Apply transport chain is empty');
+    const transports = [];
+    for (const node of nodes) {
+        if (sha256Hex(node.bytes) !== node.transportVersion) {
+            throw new Error('repository Apply transport failed its immutable hash');
+        }
+        const state = (0, repo_states_js_1.decodeRepositoryTransport)(node.bytes);
+        assertTransportTruth(state, sha256Hex);
+        transports.push(state);
+    }
+    const suffix = prepareRepositorySuffix(plan, transports.map((state, index) => ({
+        transportVersion: nodes[index].transportVersion,
+        stateId: state.stateId,
+        cardId: state.cardId,
+        checkpointId: state.checkpointId,
+        parentTransportVersion: state.parentTransportVersion,
+        identityHash: state.identityHash,
+        identityDelta: state.identityDelta,
+    })), base, sha256Hex);
+    const latest = transports.at(-1);
     const missingUntracked = latest.checkpoint.untracked.find((file) => file.content === null);
     if (missingUntracked) {
         throw new Error(`repository Apply Checkpoint omitted untracked content for ${missingUntracked.path}`);
@@ -111,8 +149,8 @@ function prepareRepositoryResult(plan, nodes, base, sha256Hex) {
     return Object.freeze({
         transports: Object.freeze(transports),
         latest,
-        transportVersion: priorVersion,
-        identity: Object.freeze([...identity]),
+        transportVersion: suffix.transportVersion,
+        identity: suffix.identity,
     });
 }
 //# sourceMappingURL=repository-result.js.map

package/dist-cjs/apply/repository-result.js.map

@@ -1 +1 @@
-{"version":3,"file":"repository-result.js","sourceRoot":"","sources":["../../src/apply/repository-result.ts"],"names":[],"mappings":";AAAA,+EAA+E;;AAoG/E,0DAiDC;AAnJD,+DAQoC;AAqBpC,MAAM,sBAAsB,GAAG,CAAC,IAAY,EAAW,EAAE,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC;OACpE,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC;OACrB,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC;OACpB,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,KAAK,EAAE,IAAI,IAAI,KAAK,GAAG,IAAI,IAAI,KAAK,IAAI,CAAC,CAAC;AAEnF,SAAS,oBAAoB,CAAC,KAA0B,EAAE,SAAoB;IAC5E,MAAM,MAAM,GAAG,IAAA,6BAAY,EAAC,KAAK,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;IACnD,MAAM,YAAY,GAAG,IAAA,mCAAkB,EAAC,KAAK,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC;IACrE,MAAM,OAAO,GAAG,IAAA,8BAAa,EAAC,MAAM,EAAE,YAAY,EAAE,SAAS,CAAC,CAAC;IAC/D,IAAI,KAAK,CAAC,MAAM,KAAK,MAAM,IAAI,KAAK,CAAC,YAAY,KAAK,YAAY,IAAI,KAAK,CAAC,OAAO,KAAK,OAAO,EAAE,CAAC;QAChG,MAAM,IAAI,KAAK,CAAC,sEAAsE,CAAC,CAAC;IAC1F,CAAC;IACD,IAAI,KAAK,CAAC,IAAI,KAAK,IAAI,IAAI,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;QAC7E,MAAM,IAAI,KAAK,CAAC,+CAA+C,CAAC,CAAC;IACnE,CAAC;IACD,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,KAAK,MAAM,QAAQ,IAAI,KAAK,CAAC,UAAU,CAAC,QAAQ,EAAE,CAAC;QACjD,MAAM,MAAM,GAAG,IAAI,GAAG,EAAU,CAAC;QACjC,IAAI,CAAC,sBAAsB,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC;eACjE,QAAQ,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC;eAC5B,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE;gBAChC,MAAM,KAAK,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC;uBACxC,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC;uBACxB,CAAC,QAAQ,EAAE,QAAQ,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC;uBAC7D,+BAA+B,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;gBAC1D,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;gBACxB,OAAO,CAAC,KAAK,CAAC;YAChB,CAAC,CAAC,EAAE,CAAC;YACL,MAAM,IAAI,KAAK,CAAC,yEAAyE,CAAC,CAAC;QAC7F,CAAC;QACD,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;QACzB,IAAI,QAAQ,CAAC,QAAQ,KAAK,IAAI,EAAE,CAAC;YAC/B,IAAI,CAAC,CAAC,QAAQ,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC;mBAC/D,QAAQ,CAAC,QAAQ,CAAC,OAAO,KAAK,IAAI;mBAClC,SAAS,CAAC,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC,KAAK,QAAQ,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC;gBACvE,MAAM,IAAI,KAAK,CAAC,wEAAwE,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC;YAC3G,CAAC;QACH,CAAC;IACH,CAAC;IACD,MAAM,SAAS,GAAG,KAAK,CAAC,UAAU,CAAC,SAAS,CAAC;IAC7C,IAAI,SAAS,KAAK,IAAI,IAAI,CAAC,SAAS,CAAC,IAAI,KAAK,OAAO,IAAI,SAAS,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC;WAChF,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,+BAA+B,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;QAClF,MAAM,IAAI,KAAK,CAAC,4DAA4D,CAAC,CAAC;IAChF,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,UAAU,CAAC,SAAS,EAAE,CAAC;QAC9C,IAAI,CAAC,sBAAsB,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC;eACzD,CAAC,CAAC,QAAQ,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YACzD,MAAM,IAAI,KAAK,CAAC,mEAAmE,CAAC,CAAC;QACvF,CAAC;QACD,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACrB,IAAI,IAAI,CAAC,OAAO,KAAK,IAAI,IAAI,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,IAAI,CAAC,MAAM,EAAE,CAAC;YACrE,MAAM,IAAI,KAAK,CAAC,+DAA+D,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;QAC9F,CAAC;IACH,CAAC;IACD,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,aAAa,CAAC,MAAM,EAAE,CAAC;QAC/C,IAAI,CAAC,sBAAsB,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;YACxC,MAAM,IAAI,KAAK,CAAC,kDAAkD,CAAC,CAAC;QACtE,CAAC;IACH,CAAC;IACD,IAAI,KAAK,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,sBAAsB,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;QAC7E,MAAM,IAAI,KAAK,CAAC,0DAA0D,CAAC,CAAC;IAC9E,CAAC;AACH,CAAC;AAED;;;;GAIG;AACH,SAAgB,uBAAuB,CACrC,IAAyB,EACzB,KAA2C,EAC3C,IAAyB,EACzB,SAAoB;IAEpB,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,2CAA2C,CAAC,CAAC;IACrF,IAAI,YAAY,GAAG,IAAI,CAAC,gBAAgB,CAAC;IACzC,IAAI,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC;IAC7B,IAAI,CAAC,IAAI,CAAC,gBAAgB,KAAK,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,QAAQ,KAAK,IAAI,CAAC,EAAE,CAAC;QAClE,MAAM,IAAI,KAAK,CAAC,8CAA8C,CAAC,CAAC;IAClE,CAAC;IACD,MAAM,UAAU,GAA0B,EAAE,CAAC;IAC7C,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,IAAI,CAAC,gBAAgB,EAAE,CAAC;YACpD,MAAM,IAAI,KAAK,CAAC,sDAAsD,CAAC,CAAC;QAC1E,CAAC;QACD,MAAM,KAAK,GAAG,IAAA,0CAAyB,EAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACpD,IAAI,KAAK,CAAC,sBAAsB,KAAK,YAAY,EAAE,CAAC;YAClD,MAAM,IAAI,KAAK,CAAC,mDAAmD,CAAC,CAAC;QACvE,CAAC;QACD,oBAAoB,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;QACvC,QAAQ,GAAG,IAAA,wCAAuB,EAAC,QAAQ,EAAE,KAAK,EAAE,SAAS,CAAC,CAAC;QAC/D,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACvB,YAAY,GAAG,IAAI,CAAC,gBAAgB,CAAC;IACvC,CAAC;IACD,MAAM,MAAM,GAAG,UAAU,CAAC,EAAE,CAAC,CAAC,CAAC,CAAwB,CAAC;IACxD,IAAI,YAAY,KAAK,IAAI,CAAC,gBAAgB;WACrC,MAAM,CAAC,sBAAsB,KAAK,IAAI,CAAC,sBAAsB;WAC7D,MAAM,CAAC,OAAO,KAAK,IAAI,CAAC,OAAO;WAC/B,MAAM,CAAC,MAAM,KAAK,IAAI,CAAC,MAAM;WAC7B,MAAM,CAAC,YAAY,KAAK,IAAI,CAAC,YAAY,EAAE,CAAC;QAC/C,MAAM,IAAI,KAAK,CAAC,sEAAsE,CAAC,CAAC;IAC1F,CAAC;IACD,MAAM,gBAAgB,GAAG,MAAM,CAAC,UAAU,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,KAAK,IAAI,CAAC,CAAC;IAC3F,IAAI,gBAAgB,EAAE,CAAC;QACrB,MAAM,IAAI,KAAK,CAAC,6DAA6D,gBAAgB,CAAC,IAAI,EAAE,CAAC,CAAC;IACxG,CAAC;IACD,MAAM,eAAe,GAAG,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAChE,KAAK,CAAC,QAAQ,KAAK,IAAI,IAAI,KAAK,CAAC,QAAQ,CAAC,OAAO,KAAK,IAAI,CAAC,CAAC;IAC9D,IAAI,eAAe,EAAE,CAAC;QACpB,MAAM,IAAI,KAAK,CAAC,4DAA4D,eAAe,CAAC,IAAI,EAAE,CAAC,CAAC;IACtG,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,UAAU,EAAE,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC;QACrC,MAAM;QACN,gBAAgB,EAAE,YAAY;QAC9B,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,GAAI,QAAyC,CAAC,CAAC;KACzE,CAAC,CAAC;AACL,CAAC"}
+{"version":3,"file":"repository-result.js","sourceRoot":"","sources":["../../src/apply/repository-result.ts"],"names":[],"mappings":";AAAA,+EAA+E;;AA8H/E,0DAsCC;AAOD,0DAyCC;AAlND,+DASoC;AAwCpC,MAAM,sBAAsB,GAAG,CAAC,IAAY,EAAW,EAAE,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC;OACpE,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC;OACrB,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC;OACpB,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,KAAK,EAAE,IAAI,IAAI,KAAK,GAAG,IAAI,IAAI,KAAK,IAAI,CAAC,CAAC;AAEnF,SAAS,oBAAoB,CAAC,KAA0B,EAAE,SAAoB;IAC5E,MAAM,MAAM,GAAG,IAAA,6BAAY,EAAC,KAAK,CAAC,IAAI,EAAE,SAAS,CAAC,CAAC;IACnD,MAAM,YAAY,GAAG,IAAA,mCAAkB,EAAC,KAAK,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC;IACrE,MAAM,OAAO,GAAG,IAAA,8BAAa,EAAC,MAAM,EAAE,YAAY,EAAE,SAAS,CAAC,CAAC;IAC/D,IAAI,KAAK,CAAC,MAAM,KAAK,MAAM,IAAI,KAAK,CAAC,YAAY,KAAK,YAAY,IAAI,KAAK,CAAC,OAAO,KAAK,OAAO,EAAE,CAAC;QAChG,MAAM,IAAI,KAAK,CAAC,sEAAsE,CAAC,CAAC;IAC1F,CAAC;IACD,IAAI,KAAK,CAAC,IAAI,KAAK,IAAI,IAAI,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;QAC7E,MAAM,IAAI,KAAK,CAAC,+CAA+C,CAAC,CAAC;IACnE,CAAC;IACD,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,KAAK,MAAM,QAAQ,IAAI,KAAK,CAAC,UAAU,CAAC,QAAQ,EAAE,CAAC;QACjD,MAAM,MAAM,GAAG,IAAI,GAAG,EAAU,CAAC;QACjC,IAAI,CAAC,sBAAsB,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC;eACjE,QAAQ,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC;eAC5B,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE;gBAChC,MAAM,KAAK,GAAG,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC;uBACxC,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC;uBACxB,CAAC,QAAQ,EAAE,QAAQ,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC;uBAC7D,+BAA+B,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;gBAC1D,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;gBACxB,OAAO,CAAC,KAAK,CAAC;YAChB,CAAC,CAAC,EAAE,CAAC;YACL,MAAM,IAAI,KAAK,CAAC,yEAAyE,CAAC,CAAC;QAC7F,CAAC;QACD,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;QACzB,IAAI,QAAQ,CAAC,QAAQ,KAAK,IAAI,EAAE,CAAC;YAC/B,IAAI,CAAC,CAAC,QAAQ,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC;mBAC/D,QAAQ,CAAC,QAAQ,CAAC,OAAO,KAAK,IAAI;mBAClC,SAAS,CAAC,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC,KAAK,QAAQ,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC;gBACvE,MAAM,IAAI,KAAK,CAAC,wEAAwE,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC;YAC3G,CAAC;QACH,CAAC;IACH,CAAC;IACD,MAAM,SAAS,GAAG,KAAK,CAAC,UAAU,CAAC,SAAS,CAAC;IAC7C,IAAI,SAAS,KAAK,IAAI,IAAI,CAAC,SAAS,CAAC,IAAI,KAAK,OAAO,IAAI,SAAS,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC;WAChF,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,+BAA+B,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;QAClF,MAAM,IAAI,KAAK,CAAC,4DAA4D,CAAC,CAAC;IAChF,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,UAAU,CAAC,SAAS,EAAE,CAAC;QAC9C,IAAI,CAAC,sBAAsB,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC;eACzD,CAAC,CAAC,QAAQ,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YACzD,MAAM,IAAI,KAAK,CAAC,mEAAmE,CAAC,CAAC;QACvF,CAAC;QACD,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACrB,IAAI,IAAI,CAAC,OAAO,KAAK,IAAI,IAAI,SAAS,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,IAAI,CAAC,MAAM,EAAE,CAAC;YACrE,MAAM,IAAI,KAAK,CAAC,+DAA+D,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;QAC9F,CAAC;IACH,CAAC;IACD,wBAAwB,CAAC,KAAK,CAAC,aAAa,CAAC,CAAC;AAChD,CAAC;AAED,SAAS,wBAAwB,CAAC,KAAwB;IACxD,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC;QACjC,IAAI,CAAC,sBAAsB,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;YACxC,MAAM,IAAI,KAAK,CAAC,kDAAkD,CAAC,CAAC;QACtE,CAAC;IACH,CAAC;IACD,IAAI,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,sBAAsB,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;QAC/D,MAAM,IAAI,KAAK,CAAC,0DAA0D,CAAC,CAAC;IAC9E,CAAC;AACH,CAAC;AAED;;;;;;GAMG;AACH,SAAgB,uBAAuB,CACrC,IAAyB,EACzB,KAA+C,EAC/C,IAAyB,EACzB,SAAoB;IAEpB,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,4CAA4C,CAAC,CAAC;IACtF,IAAI,CAAC,IAAI,CAAC,gBAAgB,KAAK,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,QAAQ,KAAK,IAAI,CAAC,EAAE,CAAC;QAClE,MAAM,IAAI,KAAK,CAAC,8CAA8C,CAAC,CAAC;IAClE,CAAC;IACD,IAAI,YAAY,GAAG,IAAI,CAAC,gBAAgB,CAAC;IACzC,IAAI,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC;IAC7B,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;IACnC,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,gBAAgB,CAAC,IAAI,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,gBAAgB,CAAC,EAAE,CAAC;YACzF,MAAM,IAAI,KAAK,CAAC,uEAAuE,CAAC,CAAC;QAC3F,CAAC;QACD,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;QACpC,IAAI,IAAI,CAAC,sBAAsB,KAAK,YAAY,EAAE,CAAC;YACjD,MAAM,IAAI,KAAK,CAAC,mDAAmD,CAAC,CAAC;QACvE,CAAC;QACD,wBAAwB,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;QAC7C,QAAQ,GAAG,IAAA,wCAAuB,EAAC,QAAQ,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC;QAC9D,YAAY,GAAG,IAAI,CAAC,gBAAgB,CAAC;IACvC,CAAC;IACD,MAAM,MAAM,GAAG,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAkC,CAAC;IAC7D,IAAI,YAAY,KAAK,IAAI,CAAC,gBAAgB;WACrC,MAAM,CAAC,sBAAsB,KAAK,IAAI,CAAC,sBAAsB;WAC7D,MAAM,CAAC,OAAO,KAAK,IAAI,CAAC,OAAO;WAC/B,MAAM,CAAC,MAAM,KAAK,IAAI,CAAC,MAAM;WAC7B,MAAM,CAAC,YAAY,KAAK,IAAI,CAAC,YAAY,EAAE,CAAC;QAC/C,MAAM,IAAI,KAAK,CAAC,sEAAsE,CAAC,CAAC;IAC1F,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,oBAAoB,EAAE,IAAI,CAAC,gBAAgB;QAC3C,gBAAgB,EAAE,YAAY;QAC9B,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,GAAI,QAAyC,CAAC,CAAC;KACzE,CAAC,CAAC;AACL,CAAC;AAED;;;;GAIG;AACH,SAAgB,uBAAuB,CACrC,IAAyB,EACzB,KAA2C,EAC3C,IAAyB,EACzB,SAAoB;IAEpB,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,2CAA2C,CAAC,CAAC;IACrF,MAAM,UAAU,GAA0B,EAAE,CAAC;IAC7C,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,IAAI,CAAC,gBAAgB,EAAE,CAAC;YACpD,MAAM,IAAI,KAAK,CAAC,sDAAsD,CAAC,CAAC;QAC1E,CAAC;QACD,MAAM,KAAK,GAAG,IAAA,0CAAyB,EAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACpD,oBAAoB,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;QACvC,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACzB,CAAC;IACD,MAAM,MAAM,GAAG,uBAAuB,CAAC,IAAI,EAAE,UAAU,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC;QAC7E,gBAAgB,EAAE,KAAK,CAAC,KAAK,CAAE,CAAC,gBAAgB;QAChD,OAAO,EAAE,KAAK,CAAC,OAAO;QACtB,MAAM,EAAE,KAAK,CAAC,MAAM;QACpB,YAAY,EAAE,KAAK,CAAC,YAAY;QAChC,sBAAsB,EAAE,KAAK,CAAC,sBAAsB;QACpD,YAAY,EAAE,KAAK,CAAC,YAAY;QAChC,aAAa,EAAE,KAAK,CAAC,aAAa;KACnC,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC;IACtB,MAAM,MAAM,GAAG,UAAU,CAAC,EAAE,CAAC,CAAC,CAAC,CAAwB,CAAC;IACxD,MAAM,gBAAgB,GAAG,MAAM,CAAC,UAAU,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,KAAK,IAAI,CAAC,CAAC;IAC3F,IAAI,gBAAgB,EAAE,CAAC;QACrB,MAAM,IAAI,KAAK,CAAC,6DAA6D,gBAAgB,CAAC,IAAI,EAAE,CAAC,CAAC;IACxG,CAAC;IACD,MAAM,eAAe,GAAG,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAChE,KAAK,CAAC,QAAQ,KAAK,IAAI,IAAI,KAAK,CAAC,QAAQ,CAAC,OAAO,KAAK,IAAI,CAAC,CAAC;IAC9D,IAAI,eAAe,EAAE,CAAC;QACpB,MAAM,IAAI,KAAK,CAAC,4DAA4D,eAAe,CAAC,IAAI,EAAE,CAAC,CAAC;IACtG,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,UAAU,EAAE,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC;QACrC,MAAM;QACN,gBAAgB,EAAE,MAAM,CAAC,gBAAgB;QACzC,QAAQ,EAAE,MAAM,CAAC,QAAQ;KAC1B,CAAC,CAAC;AACL,CAAC"}

package/dist-cjs/detection/echo.js

@@ -9,6 +9,7 @@
  */
 Object.defineProperty(exports, "__esModule", { value: true });
 exports.echoDecision = echoDecision;
+exports.entityRecordResultCoversDetection = entityRecordResultCoversDetection;
 exports.acceptedResultCoversDetection = acceptedResultCoversDetection;
 const cloud_js_1 = require("../entities/cloud.js");
 function echoDecision(notebook, observed) {
@@ -43,11 +44,14 @@ function echoDecision(notebook, observed) {
  * whole-result LWW. Different result bytes, address, type, lifecycle, replay,
  * or repository identity transport still require a new local record.
  */
+function entityRecordResultCoversDetection(record, proposal) {
+    return record.entityId === proposal.entityId
+        && record.resultState === proposal.result.version
+        && (0, cloud_js_1.stableJson)(record.change.result) === (0, cloud_js_1.stableJson)(proposal.result)
+        && (0, cloud_js_1.stableJson)(record.change.replay) === (0, cloud_js_1.stableJson)(proposal.replay)
+        && (0, cloud_js_1.stableJson)(record.change.cargo) === (0, cloud_js_1.stableJson)(proposal.cargo);
+}
 function acceptedResultCoversDetection(accepted, proposal) {
-    return accepted.entityId === proposal.entityId
-        && accepted.resultState === proposal.result.version
-        && (0, cloud_js_1.stableJson)(accepted.change.result) === (0, cloud_js_1.stableJson)(proposal.result)
-        && (0, cloud_js_1.stableJson)(accepted.change.replay) === (0, cloud_js_1.stableJson)(proposal.replay)
-        && (0, cloud_js_1.stableJson)(accepted.change.cargo) === (0, cloud_js_1.stableJson)(proposal.cargo);
+    return entityRecordResultCoversDetection(accepted, proposal);
 }
 //# sourceMappingURL=echo.js.map

package/dist-cjs/detection/echo.js.map

@@ -1 +1 @@
-{"version":3,"file":"echo.js","sourceRoot":"","sources":["../../src/detection/echo.ts"],"names":[],"mappings":";AAAA;;;;;;;GAOG;;AAYH,oCAsBC;AAcD,sEASC;AAtDD,mDAA0E;AAS1E,SAAgB,YAAY,CAC1B,QAA4E,EAC5E,QAAsB;IAEtB,IAAI,QAAQ,CAAC,KAAK,KAAK,WAAW,EAAE,CAAC;QACnC,OAAO,QAAQ,CAAC,MAAM,KAAK,SAAS;YAClC,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE;YACnB,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,QAAQ,CAAC,MAAM,EAAE,CAAC;IACjD,CAAC;IACD,IAAI,QAAQ,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;QACjC,MAAM,cAAc,GAAG,QAAQ,CAAC,gBAAgB,KAAK,IAAI;YACvD,CAAC,CAAC,QAAQ,CAAC,KAAK,KAAK,SAAS;mBACzB,CAAC,QAAQ,CAAC,gBAAgB,KAAK,SAAS,IAAI,QAAQ,CAAC,gBAAgB,KAAK,IAAI,CAAC;YACpF,CAAC,CAAC,QAAQ,CAAC,KAAK,KAAK,SAAS;mBACzB,QAAQ,CAAC,gBAAgB,KAAK,QAAQ,CAAC,gBAAgB,CAAC;QAC/D,OAAO,QAAQ,CAAC,KAAK,KAAK,SAAS;eAC9B,QAAQ,CAAC,OAAO,KAAK,QAAQ,CAAC,OAAO;eACrC,cAAc;YACjB,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE;YACrB,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;IACzB,CAAC;IACD,OAAO,QAAQ,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;AAChF,CAAC;AAED;;;;;;;;;;;GAWG;AACH,SAAgB,6BAA6B,CAC3C,QAA8B,EAC9B,QAAgC;IAEhC,OAAO,QAAQ,CAAC,QAAQ,KAAK,QAAQ,CAAC,QAAQ;WACzC,QAAQ,CAAC,WAAW,KAAK,QAAQ,CAAC,MAAM,CAAC,OAAO;WAChD,IAAA,qBAAU,EAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,IAAA,qBAAU,EAAC,QAAQ,CAAC,MAAM,CAAC;WAClE,IAAA,qBAAU,EAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,IAAA,qBAAU,EAAC,QAAQ,CAAC,MAAM,CAAC;WAClE,IAAA,qBAAU,EAAC,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,IAAA,qBAAU,EAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;AACxE,CAAC"}
+{"version":3,"file":"echo.js","sourceRoot":"","sources":["../../src/detection/echo.ts"],"names":[],"mappings":";AAAA;;;;;;;GAOG;;AAYH,oCAsBC;AAcD,8EASC;AAED,sEAKC;AA7DD,mDAA0E;AAS1E,SAAgB,YAAY,CAC1B,QAA4E,EAC5E,QAAsB;IAEtB,IAAI,QAAQ,CAAC,KAAK,KAAK,WAAW,EAAE,CAAC;QACnC,OAAO,QAAQ,CAAC,MAAM,KAAK,SAAS;YAClC,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE;YACnB,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,QAAQ,CAAC,MAAM,EAAE,CAAC;IACjD,CAAC;IACD,IAAI,QAAQ,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;QACjC,MAAM,cAAc,GAAG,QAAQ,CAAC,gBAAgB,KAAK,IAAI;YACvD,CAAC,CAAC,QAAQ,CAAC,KAAK,KAAK,SAAS;mBACzB,CAAC,QAAQ,CAAC,gBAAgB,KAAK,SAAS,IAAI,QAAQ,CAAC,gBAAgB,KAAK,IAAI,CAAC;YACpF,CAAC,CAAC,QAAQ,CAAC,KAAK,KAAK,SAAS;mBACzB,QAAQ,CAAC,gBAAgB,KAAK,QAAQ,CAAC,gBAAgB,CAAC;QAC/D,OAAO,QAAQ,CAAC,KAAK,KAAK,SAAS;eAC9B,QAAQ,CAAC,OAAO,KAAK,QAAQ,CAAC,OAAO;eACrC,cAAc;YACjB,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE;YACrB,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;IACzB,CAAC;IACD,OAAO,QAAQ,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;AAChF,CAAC;AAED;;;;;;;;;;;GAWG;AACH,SAAgB,iCAAiC,CAC/C,MAAsE,EACtE,QAAgC;IAEhC,OAAO,MAAM,CAAC,QAAQ,KAAK,QAAQ,CAAC,QAAQ;WACvC,MAAM,CAAC,WAAW,KAAK,QAAQ,CAAC,MAAM,CAAC,OAAO;WAC9C,IAAA,qBAAU,EAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,IAAA,qBAAU,EAAC,QAAQ,CAAC,MAAM,CAAC;WAChE,IAAA,qBAAU,EAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,IAAA,qBAAU,EAAC,QAAQ,CAAC,MAAM,CAAC;WAChE,IAAA,qBAAU,EAAC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,IAAA,qBAAU,EAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;AACtE,CAAC;AAED,SAAgB,6BAA6B,CAC3C,QAA8B,EAC9B,QAAgC;IAEhC,OAAO,iCAAiC,CAAC,QAAQ,EAAE,QAAQ,CAAC,CAAC;AAC/D,CAAC"}

package/dist-cjs/files/index.js

@@ -16,4 +16,5 @@ var __exportStar = (this && this.__exportStar) || function(m, exports) {
 Object.defineProperty(exports, "__esModule", { value: true });
 /** Files product operations. Hosts own effects; Live owns decisions. */
 __exportStar(require("./commands.js"), exports);
+__exportStar(require("./retained-artifacts.js"), exports);
 //# sourceMappingURL=index.js.map

package/dist-cjs/files/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/files/index.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;AAAA,wEAAwE;AACxE,gDAA8B"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/files/index.ts"],"names":[],"mappings":";;;;;;;;;;;;;;;;AAAA,wEAAwE;AACxE,gDAA8B;AAC9B,0DAAwC"}

package/dist-cjs/files/retained-artifacts.js

@@ -0,0 +1,154 @@
+"use strict";
+/**
+ * Read-only proof that exact immutable heads retained by cloud authority are
+ * still fetchable through the product's authenticated content plane.
+ *
+ * This operation never materializes entity ground and never treats a manifest
+ * row as proof. The host must freshly read and verify every requested artifact;
+ * Live owns the type law and the complete repository dependency walk.
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.checkRetainedArtifactHeads = checkRetainedArtifactHeads;
+exports.verifyRetainedArtifacts = verifyRetainedArtifacts;
+const types_js_1 = require("../entities/types.js");
+const artifacts_js_1 = require("../transfer/artifacts.js");
+const SHA256 = /^[0-9a-f]{64}$/;
+function hash(value, label) {
+    if (typeof value !== 'string' || !SHA256.test(value)) {
+        throw new Error(`${label} must be a sha256 hex digest`);
+    }
+    return value;
+}
+function assertHead(head) {
+    if (!types_js_1.UUID_PATTERN.test(head.artifact.entityId)) {
+        throw new Error('retained artifact entity id must be a UUID');
+    }
+    (0, artifacts_js_1.assertTransferArtifact)(head.artifact);
+    hash(head.artifact.contentHash, 'retained artifact head');
+    if (head.artifact.kind === 'git') {
+        hash(head.expectedStateId, 'retained repository state');
+    }
+    else if (head.expectedStateId !== null) {
+        throw new Error('only a Git retained artifact may name an expected repository state');
+    }
+}
+/** Validate the JSON boundary used by authenticated runtime adapters. */
+function checkRetainedArtifactHeads(value) {
+    if (!Array.isArray(value))
+        throw new Error('retained artifact heads must be an array');
+    return value.map((candidate, index) => {
+        if (!candidate || typeof candidate !== 'object' || Array.isArray(candidate)) {
+            throw new Error(`retained artifact head ${index} must be an object`);
+        }
+        const artifact = candidate.artifact;
+        if (!artifact || typeof artifact !== 'object' || Array.isArray(artifact)) {
+            throw new Error(`retained artifact head ${index} has no artifact`);
+        }
+        const typedArtifact = {
+            entityId: String(artifact.entityId ?? ''),
+            entityType: String(artifact.entityType ?? ''),
+            kind: String(artifact.kind ?? ''),
+            contentHash: String(artifact.contentHash ?? ''),
+        };
+        const expected = candidate.expectedStateId;
+        const head = {
+            artifact: typedArtifact,
+            expectedStateId: expected === null ? null : String(expected ?? ''),
+        };
+        assertHead(head);
+        return head;
+    });
+}
+function provenRead(reads, contentHash) {
+    const read = reads.get(contentHash);
+    if (!read)
+        throw new Error(`retained artifact ${contentHash} was not read`);
+    if (read.contentHash !== contentHash) {
+        throw new Error(`retained artifact ${contentHash} returned the wrong content hash`);
+    }
+    if (!Number.isSafeInteger(read.bytes) || read.bytes < 0) {
+        throw new Error(`retained artifact ${contentHash} returned an invalid byte count`);
+    }
+    return read;
+}
+async function readWave(artifacts, ports) {
+    const unique = new Map();
+    for (const artifact of artifacts) {
+        if (!unique.has(artifact.contentHash))
+            unique.set(artifact.contentHash, artifact);
+    }
+    const reads = await ports.readExact([...unique.values()]);
+    for (const contentHash of unique.keys())
+        provenRead(reads, contentHash);
+    return reads;
+}
+/**
+ * Prove exact retained heads and, for Git, every immutable parent transport.
+ * The input order is preserved in the result.
+ */
+async function verifyRetainedArtifacts(heads, ports) {
+    const checkedHeads = checkRetainedArtifactHeads(heads);
+    if (checkedHeads.length === 0)
+        return [];
+    const headReads = await readWave(checkedHeads.map((head) => head.artifact), ports);
+    const git = [];
+    const byInput = new Map();
+    for (const input of checkedHeads) {
+        if (input.artifact.kind !== 'git')
+            continue;
+        const head = provenRead(headReads, input.artifact.contentHash);
+        const layout = ports.inspectRepositoryTransport(head.local);
+        if (layout.stateId !== input.expectedStateId) {
+            throw new Error(`retained repository ${input.artifact.entityId} head names the wrong state`);
+        }
+        const parent = layout.parentTransportVersion;
+        if (parent !== null)
+            hash(parent, 'retained repository parent transport');
+        const walk = {
+            input,
+            head,
+            seen: new Set([input.artifact.contentHash]),
+            parentsNewestFirst: [],
+            parent,
+        };
+        git.push(walk);
+        byInput.set(input, walk);
+    }
+    for (let frontier = git.filter((walk) => walk.parent !== null); frontier.length > 0; frontier = git.filter((walk) => walk.parent !== null)) {
+        const wanted = frontier.map((walk) => ({
+            ...walk.input.artifact,
+            contentHash: walk.parent,
+        }));
+        const reads = await readWave(wanted, ports);
+        for (const walk of frontier) {
+            const parentHash = walk.parent;
+            if (walk.seen.has(parentHash)) {
+                throw new Error(`retained repository ${walk.input.artifact.entityId} transport chain has a cycle`);
+            }
+            walk.seen.add(parentHash);
+            const parent = provenRead(reads, parentHash);
+            walk.parentsNewestFirst.push(parent);
+            const layout = ports.inspectRepositoryTransport(parent.local);
+            if (layout.parentTransportVersion !== null) {
+                hash(layout.parentTransportVersion, 'retained repository parent transport');
+            }
+            walk.parent = layout.parentTransportVersion;
+        }
+    }
+    return checkedHeads.map((input) => {
+        const head = provenRead(headReads, input.artifact.contentHash);
+        const walk = byInput.get(input);
+        return {
+            artifact: input.artifact,
+            expectedStateId: input.expectedStateId,
+            head: { contentHash: head.contentHash, bytes: head.bytes },
+            dependencyClosure: walk
+                ? [...walk.parentsNewestFirst].reverse().map((parent) => ({
+                    contentHash: parent.contentHash,
+                    bytes: parent.bytes,
+                }))
+                : [],
+        };
+    });
+}
+//# sourceMappingURL=retained-artifacts.js.map

package/dist-cjs/files/retained-artifacts.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"retained-artifacts.js","sourceRoot":"","sources":["../../src/files/retained-artifacts.ts"],"names":[],"mappings":";AAAA;;;;;;;GAOG;;AAgFH,gEAwBC;AAkCD,0DAsEC;AA7MD,mDAAoD;AACpD,2DAGkC;AAElC,MAAM,MAAM,GAAG,gBAAgB,CAAC;AAkDhC,SAAS,IAAI,CAAC,KAAc,EAAE,KAAa;IACzC,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QACrD,MAAM,IAAI,KAAK,CAAC,GAAG,KAAK,8BAA8B,CAAC,CAAC;IAC1D,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,UAAU,CAAC,IAA0B;IAC5C,IAAI,CAAC,uBAAY,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC/C,MAAM,IAAI,KAAK,CAAC,4CAA4C,CAAC,CAAC;IAChE,CAAC;IACD,IAAA,qCAAsB,EAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IACtC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,WAAW,EAAE,wBAAwB,CAAC,CAAC;IAC1D,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;QACjC,IAAI,CAAC,IAAI,CAAC,eAAe,EAAE,2BAA2B,CAAC,CAAC;IAC1D,CAAC;SAAM,IAAI,IAAI,CAAC,eAAe,KAAK,IAAI,EAAE,CAAC;QACzC,MAAM,IAAI,KAAK,CAAC,oEAAoE,CAAC,CAAC;IACxF,CAAC;AACH,CAAC;AAED,yEAAyE;AACzE,SAAgB,0BAA0B,CAAC,KAAc;IACvD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,0CAA0C,CAAC,CAAC;IACvF,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,KAAK,EAAE,EAAE;QACpC,IAAI,CAAC,SAAS,IAAI,OAAO,SAAS,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,CAAC;YAC5E,MAAM,IAAI,KAAK,CAAC,0BAA0B,KAAK,oBAAoB,CAAC,CAAC;QACvE,CAAC;QACD,MAAM,QAAQ,GAAI,SAAoC,CAAC,QAAQ,CAAC;QAChE,IAAI,CAAC,QAAQ,IAAI,OAAO,QAAQ,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC;YACzE,MAAM,IAAI,KAAK,CAAC,0BAA0B,KAAK,kBAAkB,CAAC,CAAC;QACrE,CAAC;QACD,MAAM,aAAa,GAAqB;YACtC,QAAQ,EAAE,MAAM,CAAE,QAAmC,CAAC,QAAQ,IAAI,EAAE,CAAC;YACrE,UAAU,EAAE,MAAM,CAAE,QAAqC,CAAC,UAAU,IAAI,EAAE,CAAmC;YAC7G,IAAI,EAAE,MAAM,CAAE,QAA+B,CAAC,IAAI,IAAI,EAAE,CAA6B;YACrF,WAAW,EAAE,MAAM,CAAE,QAAsC,CAAC,WAAW,IAAI,EAAE,CAAC;SAC/E,CAAC;QACF,MAAM,QAAQ,GAAI,SAA2C,CAAC,eAAe,CAAC;QAC9E,MAAM,IAAI,GAAyB;YACjC,QAAQ,EAAE,aAAa;YACvB,eAAe,EAAE,QAAQ,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,QAAQ,IAAI,EAAE,CAAC;SACnE,CAAC;QACF,UAAU,CAAC,IAAI,CAAC,CAAC;QACjB,OAAO,IAAI,CAAC;IACd,CAAC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,UAAU,CACjB,KAA+D,EAC/D,WAAmB;IAEnB,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;IACpC,IAAI,CAAC,IAAI;QAAE,MAAM,IAAI,KAAK,CAAC,qBAAqB,WAAW,eAAe,CAAC,CAAC;IAC5E,IAAI,IAAI,CAAC,WAAW,KAAK,WAAW,EAAE,CAAC;QACrC,MAAM,IAAI,KAAK,CAAC,qBAAqB,WAAW,kCAAkC,CAAC,CAAC;IACtF,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,IAAI,CAAC,KAAK,GAAG,CAAC,EAAE,CAAC;QACxD,MAAM,IAAI,KAAK,CAAC,qBAAqB,WAAW,iCAAiC,CAAC,CAAC;IACrF,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,KAAK,UAAU,QAAQ,CACrB,SAAsC,EACtC,KAAuD;IAEvD,MAAM,MAAM,GAAG,IAAI,GAAG,EAA4B,CAAC;IACnD,KAAK,MAAM,QAAQ,IAAI,SAAS,EAAE,CAAC;QACjC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,WAAW,CAAC;YAAE,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,WAAW,EAAE,QAAQ,CAAC,CAAC;IACpF,CAAC;IACD,MAAM,KAAK,GAAG,MAAM,KAAK,CAAC,SAAS,CAAC,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;IAC1D,KAAK,MAAM,WAAW,IAAI,MAAM,CAAC,IAAI,EAAE;QAAE,UAAU,CAAC,KAAK,EAAE,WAAW,CAAC,CAAC;IACxE,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;GAGG;AACI,KAAK,UAAU,uBAAuB,CAC3C,KAAsC,EACtC,KAAuD;IAEvD,MAAM,YAAY,GAAG,0BAA0B,CAAC,KAAK,CAAC,CAAC;IACvD,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,CAAC;IAEzC,MAAM,SAAS,GAAG,MAAM,QAAQ,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,KAAK,CAAC,CAAC;IACnF,MAAM,GAAG,GAA6B,EAAE,CAAC;IACzC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAgD,CAAC;IAExE,KAAK,MAAM,KAAK,IAAI,YAAY,EAAE,CAAC;QACjC,IAAI,KAAK,CAAC,QAAQ,CAAC,IAAI,KAAK,KAAK;YAAE,SAAS;QAC5C,MAAM,IAAI,GAAG,UAAU,CAAC,SAAS,EAAE,KAAK,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC;QAC/D,MAAM,MAAM,GAAG,KAAK,CAAC,0BAA0B,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAC5D,IAAI,MAAM,CAAC,OAAO,KAAK,KAAK,CAAC,eAAe,EAAE,CAAC;YAC7C,MAAM,IAAI,KAAK,CAAC,uBAAuB,KAAK,CAAC,QAAQ,CAAC,QAAQ,6BAA6B,CAAC,CAAC;QAC/F,CAAC;QACD,MAAM,MAAM,GAAG,MAAM,CAAC,sBAAsB,CAAC;QAC7C,IAAI,MAAM,KAAK,IAAI;YAAE,IAAI,CAAC,MAAM,EAAE,sCAAsC,CAAC,CAAC;QAC1E,MAAM,IAAI,GAA2B;YACnC,KAAK;YACL,IAAI;YACJ,IAAI,EAAE,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC;YAC3C,kBAAkB,EAAE,EAAE;YACtB,MAAM;SACP,CAAC;QACF,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACf,OAAO,CAAC,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;IAC3B,CAAC;IAED,KAAK,IAAI,QAAQ,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,KAAK,IAAI,CAAC,EAC5D,QAAQ,CAAC,MAAM,GAAG,CAAC,EACnB,QAAQ,GAAG,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,KAAK,IAAI,CAAC,EAAE,CAAC;QACxD,MAAM,MAAM,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;YACrC,GAAG,IAAI,CAAC,KAAK,CAAC,QAAQ;YACtB,WAAW,EAAE,IAAI,CAAC,MAAgB;SACnC,CAAC,CAAC,CAAC;QACJ,MAAM,KAAK,GAAG,MAAM,QAAQ,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;QAC5C,KAAK,MAAM,IAAI,IAAI,QAAQ,EAAE,CAAC;YAC5B,MAAM,UAAU,GAAG,IAAI,CAAC,MAAgB,CAAC;YACzC,IAAI,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC;gBAC9B,MAAM,IAAI,KAAK,CAAC,uBAAuB,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,QAAQ,8BAA8B,CAAC,CAAC;YACrG,CAAC;YACD,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;YAC1B,MAAM,MAAM,GAAG,UAAU,CAAC,KAAK,EAAE,UAAU,CAAC,CAAC;YAC7C,IAAI,CAAC,kBAAkB,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YACrC,MAAM,MAAM,GAAG,KAAK,CAAC,0BAA0B,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;YAC9D,IAAI,MAAM,CAAC,sBAAsB,KAAK,IAAI,EAAE,CAAC;gBAC3C,IAAI,CAAC,MAAM,CAAC,sBAAsB,EAAE,sCAAsC,CAAC,CAAC;YAC9E,CAAC;YACD,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC,sBAAsB,CAAC;QAC9C,CAAC;IACH,CAAC;IAED,OAAO,YAAY,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE;QAChC,MAAM,IAAI,GAAG,UAAU,CAAC,SAAS,EAAE,KAAK,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC;QAC/D,MAAM,IAAI,GAAG,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QAChC,OAAO;YACL,QAAQ,EAAE,KAAK,CAAC,QAAQ;YACxB,eAAe,EAAE,KAAK,CAAC,eAAe;YACtC,IAAI,EAAE,EAAE,WAAW,EAAE,IAAI,CAAC,WAAW,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE;YAC1D,iBAAiB,EAAE,IAAI;gBACrB,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,kBAAkB,CAAC,CAAC,OAAO,EAAE,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;oBACxD,WAAW,EAAE,MAAM,CAAC,WAAW;oBAC/B,KAAK,EAAE,MAAM,CAAC,KAAK;iBACpB,CAAC,CAAC;gBACH,CAAC,CAAC,EAAE;SACP,CAAC;IACJ,CAAC,CAAC,CAAC;AACL,CAAC"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@amalgm/live",
-  "version": "0.2.80",
+  "version": "0.2.85",
   "description": "Portable realtime SDK for Amalgm — wire contracts, mutation discipline, and delivery state machines behind host-injected adapters.",
   "type": "module",
   "main": "./dist-cjs/index.js",