@amalgm/live 0.2.79 → 0.2.82

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.79",
+  "version": "0.2.82",
   "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",