@amalgm/live 0.2.27 → 0.2.28

package/dist-cjs/entities/repo-states.js

@@ -0,0 +1,256 @@
+"use strict";
+/**
+ * Portable repository state and binary transport.
+ *
+ * Git object bytes remain a native PACK stream. Amalgm metadata is a short
+ * UTF-8 JSON header followed by raw checkpoint cargo; no byte field is ever
+ * base64 encoded. Successive transports name their parent and carry an
+ * identity-map delta, so one new commit never embeds old repository history
+ * or the unchanged per-path identity map again.
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.deriveStateId = exports.REPOSITORY_TRANSPORT_CONTRACT = void 0;
+exports.repositoryIdentityHash = repositoryIdentityHash;
+exports.planRepositoryIdentity = planRepositoryIdentity;
+exports.applyRepositoryIdentity = applyRepositoryIdentity;
+exports.encodeRepositoryTransport = encodeRepositoryTransport;
+exports.repositoryTransportMetadataBytes = repositoryTransportMetadataBytes;
+exports.inspectRepositoryTransport = inspectRepositoryTransport;
+exports.decodeRepositoryTransport = decodeRepositoryTransport;
+exports.repositoryTransportSizes = repositoryTransportSizes;
+exports.deriveCardId = deriveCardId;
+exports.deriveCheckpointId = deriveCheckpointId;
+const bytes_js_1 = require("./bytes.js");
+exports.REPOSITORY_TRANSPORT_CONTRACT = 'amalgm.repo-transport.v2';
+const MAGIC = (0, bytes_js_1.utf8Encode)('AMGREPO2');
+const HEADER_BYTES = MAGIC.byteLength + 4;
+const sortedIdentity = (identity) => [...identity].sort((left, right) => left.path < right.path ? -1 : left.path > right.path ? 1 : 0);
+function repositoryIdentityHash(identity, sha256Hex) {
+    return sha256Hex(JSON.stringify(sortedIdentity(identity)));
+}
+/** Derive the smallest path-keyed change from one identity map to the next. */
+function planRepositoryIdentity(current, previous, sha256Hex) {
+    const next = sortedIdentity(current);
+    if (new Set(next.map((entry) => entry.path)).size !== next.length) {
+        throw new Error('repository identity map has duplicate paths');
+    }
+    if (previous === null) {
+        return {
+            identityHash: repositoryIdentityHash(next, sha256Hex),
+            identityDelta: { reset: true, upsert: next, remove: [] },
+        };
+    }
+    const prior = new Map(previous.map((entry) => [entry.path, entry]));
+    const currentPaths = new Set(next.map((entry) => entry.path));
+    const upsert = next.filter((entry) => {
+        const old = prior.get(entry.path);
+        return old === undefined || old.uuid !== entry.uuid || old.type !== entry.type
+            || (old.payloadVersion ?? null) !== (entry.payloadVersion ?? null);
+    });
+    const remove = [...prior.keys()].filter((path) => !currentPaths.has(path)).sort();
+    return {
+        identityHash: repositoryIdentityHash(next, sha256Hex),
+        identityDelta: { reset: false, upsert, remove },
+    };
+}
+/** Apply and verify one identity-map chain node. */
+function applyRepositoryIdentity(previous, transport, sha256Hex) {
+    if (transport.identityDelta.reset !== (previous === null)) {
+        throw new Error('repository identity delta has the wrong chain boundary');
+    }
+    const entries = new Map((previous ?? []).map((entry) => [entry.path, entry]));
+    for (const path of transport.identityDelta.remove)
+        entries.delete(path);
+    for (const entry of transport.identityDelta.upsert)
+        entries.set(entry.path, entry);
+    const result = sortedIdentity([...entries.values()]);
+    if (repositoryIdentityHash(result, sha256Hex) !== transport.identityHash) {
+        throw new Error('repository identity delta does not produce its declared map');
+    }
+    return result;
+}
+const descriptor = (bytes) => ({ bytes: bytes.byteLength });
+/** Encode metadata followed by raw Git/checkpoint bytes. */
+function encodeRepositoryTransport(state, input) {
+    const header = {
+        contract: exports.REPOSITORY_TRANSPORT_CONTRACT,
+        stateId: state.stateId,
+        cardId: state.cardId,
+        checkpointId: state.checkpointId,
+        parentTransportVersion: input.parentTransportVersion,
+        identityHash: input.identityHash,
+        identityDelta: input.identityDelta,
+        card: state.card,
+        pack: state.pack ? { sha256: state.pack.sha256, bytes: state.pack.bytes.byteLength } : null,
+        checkpoint: {
+            baseCommit: state.checkpoint.baseCommit,
+            branch: state.checkpoint.branch,
+            stagedPatch: descriptor(state.checkpoint.stagedPatch),
+            unstagedPatch: descriptor(state.checkpoint.unstagedPatch),
+            untracked: state.checkpoint.untracked.map((file) => ({
+                path: file.path,
+                mode: file.mode,
+                sha256: file.sha256,
+                ...(file.reused === undefined ? {} : { reused: file.reused }),
+                content: file.content === null ? null : descriptor(file.content),
+            })),
+        },
+    };
+    const metadata = (0, bytes_js_1.utf8Encode)(JSON.stringify(header));
+    if (metadata.byteLength > 0xffff_ffff)
+        throw new Error('repository transport metadata is too large');
+    const cargo = [
+        ...(state.pack ? [state.pack.bytes] : []),
+        state.checkpoint.stagedPatch,
+        state.checkpoint.unstagedPatch,
+        ...state.checkpoint.untracked.flatMap((file) => file.content === null ? [] : [file.content]),
+    ];
+    const cargoBytes = cargo.reduce((total, bytes) => total + bytes.byteLength, 0);
+    const output = new Uint8Array(HEADER_BYTES + metadata.byteLength + cargoBytes);
+    output.set(MAGIC, 0);
+    new DataView(output.buffer).setUint32(MAGIC.byteLength, metadata.byteLength, false);
+    output.set(metadata, HEADER_BYTES);
+    let cursor = HEADER_BYTES + metadata.byteLength;
+    for (const bytes of cargo) {
+        output.set(bytes, cursor);
+        cursor += bytes.byteLength;
+    }
+    return output;
+}
+const byteCount = (value, label) => {
+    if (!Number.isSafeInteger(value) || value < 0) {
+        throw new Error(`repository transport has invalid ${label} byte count`);
+    }
+    return value;
+};
+/** Number of leading bytes needed to decode metadata without reading cargo. */
+function repositoryTransportMetadataBytes(prefix) {
+    if (prefix.byteLength < HEADER_BYTES
+        || MAGIC.some((value, index) => prefix[index] !== value)) {
+        throw new Error('repository transport has an invalid binary header');
+    }
+    const metadataBytes = new DataView(prefix.buffer, prefix.byteOffset, prefix.byteLength)
+        .getUint32(MAGIC.byteLength, false);
+    const total = HEADER_BYTES + metadataBytes;
+    if (!Number.isSafeInteger(total))
+        throw new Error('repository transport metadata is too large');
+    return total;
+}
+/** Decode the small JSON header into seekable cargo ranges. */
+function inspectRepositoryTransport(metadata, totalBytes) {
+    const metadataBytes = repositoryTransportMetadataBytes(metadata);
+    if (metadata.byteLength < metadataBytes)
+        throw new Error('repository transport metadata is truncated');
+    if (!Number.isSafeInteger(totalBytes) || totalBytes < metadataBytes) {
+        throw new Error('repository transport total byte count is invalid');
+    }
+    const header = JSON.parse((0, bytes_js_1.utf8Decode)(metadata.subarray(HEADER_BYTES, metadataBytes)));
+    if (header.contract !== exports.REPOSITORY_TRANSPORT_CONTRACT) {
+        throw new Error('repository transport contract is unsupported');
+    }
+    let cursor = metadataBytes;
+    const range = (count, label) => {
+        const bytes = byteCount(count, label);
+        const result = { offset: cursor, bytes };
+        cursor += bytes;
+        if (!Number.isSafeInteger(cursor) || cursor > totalBytes) {
+            throw new Error(`repository transport ${label} is truncated`);
+        }
+        return result;
+    };
+    const pack = header.pack === null ? null : {
+        sha256: header.pack.sha256,
+        range: range(header.pack.bytes, 'Git pack'),
+    };
+    const stagedPatch = range(header.checkpoint.stagedPatch.bytes, 'staged patch');
+    const unstagedPatch = range(header.checkpoint.unstagedPatch.bytes, 'unstaged patch');
+    const untracked = header.checkpoint.untracked.map((file) => ({
+        ...file,
+        content: file.content === null ? null : range(file.content.bytes, `untracked file ${file.path}`),
+    }));
+    if (cursor !== totalBytes)
+        throw new Error('repository transport has trailing cargo');
+    return {
+        stateId: header.stateId,
+        cardId: header.cardId,
+        checkpointId: header.checkpointId,
+        parentTransportVersion: header.parentTransportVersion,
+        identityHash: header.identityHash,
+        identityDelta: header.identityDelta,
+        card: header.card,
+        pack,
+        checkpoint: {
+            baseCommit: header.checkpoint.baseCommit,
+            branch: header.checkpoint.branch,
+            stagedPatch,
+            unstagedPatch,
+            untracked,
+        },
+        metadataBytes,
+        totalBytes,
+    };
+}
+/** Decode the binary envelope without interpreting Git's native pack bytes. */
+function decodeRepositoryTransport(bytes) {
+    const layout = inspectRepositoryTransport(bytes, bytes.byteLength);
+    const take = (range) => bytes.slice(range.offset, range.offset + range.bytes);
+    return {
+        stateId: layout.stateId,
+        cardId: layout.cardId,
+        checkpointId: layout.checkpointId,
+        parentTransportVersion: layout.parentTransportVersion,
+        identityHash: layout.identityHash,
+        identityDelta: layout.identityDelta,
+        card: layout.card,
+        pack: layout.pack === null ? null : {
+            sha256: layout.pack.sha256,
+            bytes: take(layout.pack.range),
+        },
+        checkpoint: {
+            baseCommit: layout.checkpoint.baseCommit,
+            branch: layout.checkpoint.branch,
+            stagedPatch: take(layout.checkpoint.stagedPatch),
+            unstagedPatch: take(layout.checkpoint.unstagedPatch),
+            untracked: layout.checkpoint.untracked.map((file) => ({
+                ...file,
+                content: file.content === null ? null : take(file.content),
+            })),
+        },
+    };
+}
+/** Separate Git work from Amalgm metadata/checkpoint overhead in benchmarks. */
+function repositoryTransportSizes(bytes) {
+    const transport = decodeRepositoryTransport(bytes);
+    const metadataBytes = new DataView(bytes.buffer, bytes.byteOffset, bytes.byteLength)
+        .getUint32(MAGIC.byteLength, false) + HEADER_BYTES;
+    const gitPackBytes = transport.pack?.bytes.byteLength ?? 0;
+    return {
+        totalBytes: bytes.byteLength,
+        metadataBytes,
+        gitPackBytes,
+        checkpointBytes: bytes.byteLength - metadataBytes - gitPackBytes,
+    };
+}
+/** Card identity from the ledger only. Remotes and transport data are absent. */
+function deriveCardId(card, sha256Hex) {
+    return sha256Hex(JSON.stringify({
+        version: card.version,
+        head: card.head,
+        branches: card.branches,
+        tags: card.tags,
+    }));
+}
+/** Checkpoint identity from its hashes, never duplicated byte encodings. */
+function deriveCheckpointId(checkpoint, sha256Hex) {
+    return sha256Hex(JSON.stringify({
+        baseCommit: checkpoint.baseCommit,
+        stagedPatch: sha256Hex(checkpoint.stagedPatch),
+        unstagedPatch: sha256Hex(checkpoint.unstagedPatch),
+        untracked: checkpoint.untracked.map((file) => ({
+            path: file.path, mode: file.mode, sha256: file.sha256,
+        })),
+    }));
+}
+const deriveStateId = (cardId, checkpointId, sha256Hex) => sha256Hex(cardId + checkpointId);
+exports.deriveStateId = deriveStateId;
+//# sourceMappingURL=repo-states.js.map

package/dist-cjs/entities/repo-states.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"repo-states.js","sourceRoot":"","sources":["../../src/entities/repo-states.ts"],"names":[],"mappings":";AAAA;;;;;;;;GAQG;;;AAwJH,wDAKC;AAGD,wDA2BC;AAGD,0DAgBC;AAKD,8DA+CC;AAUD,4EAUC;AAGD,gEAuDC;AAGD,8DA2BC;AAGD,4DAgBC;AAGD,oCAUC;AAGD,gDAYC;AA1ZD,yCAAoD;AAEvC,QAAA,6BAA6B,GAAG,0BAA0B,CAAC;AAExE,MAAM,KAAK,GAAG,IAAA,qBAAU,EAAC,UAAU,CAAC,CAAC;AACrC,MAAM,YAAY,GAAG,KAAK,CAAC,UAAU,GAAG,CAAC,CAAC;AA6I1C,MAAM,cAAc,GAAG,CAAC,QAAsC,EAAuB,EAAE,CACrF,CAAC,GAAG,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAEpG,SAAgB,sBAAsB,CACpC,QAAsC,EACtC,SAAoB;IAEpB,OAAO,SAAS,CAAC,IAAI,CAAC,SAAS,CAAC,cAAc,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;AAC7D,CAAC;AAED,+EAA+E;AAC/E,SAAgB,sBAAsB,CACpC,OAAqC,EACrC,QAA6C,EAC7C,SAAoB;IAEpB,MAAM,IAAI,GAAG,cAAc,CAAC,OAAO,CAAC,CAAC;IACrC,IAAI,IAAI,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,MAAM,EAAE,CAAC;QAClE,MAAM,IAAI,KAAK,CAAC,6CAA6C,CAAC,CAAC;IACjE,CAAC;IACD,IAAI,QAAQ,KAAK,IAAI,EAAE,CAAC;QACtB,OAAO;YACL,YAAY,EAAE,sBAAsB,CAAC,IAAI,EAAE,SAAS,CAAC;YACrD,aAAa,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE;SACzD,CAAC;IACJ,CAAC;IACD,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;IACpE,MAAM,YAAY,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;IAC9D,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE;QACnC,MAAM,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAClC,OAAO,GAAG,KAAK,SAAS,IAAI,GAAG,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI,IAAI,GAAG,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI;eACzE,CAAC,GAAG,CAAC,cAAc,IAAI,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,cAAc,IAAI,IAAI,CAAC,CAAC;IACvE,CAAC,CAAC,CAAC;IACH,MAAM,MAAM,GAAG,CAAC,GAAG,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IAClF,OAAO;QACL,YAAY,EAAE,sBAAsB,CAAC,IAAI,EAAE,SAAS,CAAC;QACrD,aAAa,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE;KAChD,CAAC;AACJ,CAAC;AAED,oDAAoD;AACpD,SAAgB,uBAAuB,CACrC,QAA6C,EAC7C,SAAsE,EACtE,SAAoB;IAEpB,IAAI,SAAS,CAAC,aAAa,CAAC,KAAK,KAAK,CAAC,QAAQ,KAAK,IAAI,CAAC,EAAE,CAAC;QAC1D,MAAM,IAAI,KAAK,CAAC,wDAAwD,CAAC,CAAC;IAC5E,CAAC;IACD,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;IAC9E,KAAK,MAAM,IAAI,IAAI,SAAS,CAAC,aAAa,CAAC,MAAM;QAAE,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IACxE,KAAK,MAAM,KAAK,IAAI,SAAS,CAAC,aAAa,CAAC,MAAM;QAAE,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IACnF,MAAM,MAAM,GAAG,cAAc,CAAC,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;IACrD,IAAI,sBAAsB,CAAC,MAAM,EAAE,SAAS,CAAC,KAAK,SAAS,CAAC,YAAY,EAAE,CAAC;QACzE,MAAM,IAAI,KAAK,CAAC,6DAA6D,CAAC,CAAC;IACjF,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,MAAM,UAAU,GAAG,CAAC,KAAiB,EAAkB,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,CAAC,UAAU,EAAE,CAAC,CAAC;AAExF,4DAA4D;AAC5D,SAAgB,yBAAyB,CACvC,KAAgB,EAChB,KAA+B;IAE/B,MAAM,MAAM,GAA8B;QACxC,QAAQ,EAAE,qCAA6B;QACvC,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;QAClC,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,KAAK,EAAE,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC,IAAI;QAC3F,UAAU,EAAE;YACV,UAAU,EAAE,KAAK,CAAC,UAAU,CAAC,UAAU;YACvC,MAAM,EAAE,KAAK,CAAC,UAAU,CAAC,MAAM;YAC/B,WAAW,EAAE,UAAU,CAAC,KAAK,CAAC,UAAU,CAAC,WAAW,CAAC;YACrD,aAAa,EAAE,UAAU,CAAC,KAAK,CAAC,UAAU,CAAC,aAAa,CAAC;YACzD,SAAS,EAAE,KAAK,CAAC,UAAU,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;gBACnD,IAAI,EAAE,IAAI,CAAC,IAAI;gBACf,IAAI,EAAE,IAAI,CAAC,IAAI;gBACf,MAAM,EAAE,IAAI,CAAC,MAAM;gBACnB,GAAG,CAAC,IAAI,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,CAAC;gBAC7D,OAAO,EAAE,IAAI,CAAC,OAAO,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,OAAO,CAAC;aACjE,CAAC,CAAC;SACJ;KACF,CAAC;IACF,MAAM,QAAQ,GAAG,IAAA,qBAAU,EAAC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC;IACpD,IAAI,QAAQ,CAAC,UAAU,GAAG,WAAW;QAAE,MAAM,IAAI,KAAK,CAAC,4CAA4C,CAAC,CAAC;IACrG,MAAM,KAAK,GAAG;QACZ,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QACzC,KAAK,CAAC,UAAU,CAAC,WAAW;QAC5B,KAAK,CAAC,UAAU,CAAC,aAAa;QAC9B,GAAG,KAAK,CAAC,UAAU,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;KAC7F,CAAC;IACF,MAAM,UAAU,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,GAAG,KAAK,CAAC,UAAU,EAAE,CAAC,CAAC,CAAC;IAC/E,MAAM,MAAM,GAAG,IAAI,UAAU,CAAC,YAAY,GAAG,QAAQ,CAAC,UAAU,GAAG,UAAU,CAAC,CAAC;IAC/E,MAAM,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;IACrB,IAAI,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,UAAU,EAAE,QAAQ,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC;IACpF,MAAM,CAAC,GAAG,CAAC,QAAQ,EAAE,YAAY,CAAC,CAAC;IACnC,IAAI,MAAM,GAAG,YAAY,GAAG,QAAQ,CAAC,UAAU,CAAC;IAChD,KAAK,MAAM,KAAK,IAAI,KAAK,EAAE,CAAC;QAC1B,MAAM,CAAC,GAAG,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;QAC1B,MAAM,IAAI,KAAK,CAAC,UAAU,CAAC;IAC7B,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,MAAM,SAAS,GAAG,CAAC,KAAc,EAAE,KAAa,EAAU,EAAE;IAC1D,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,IAAK,KAAgB,GAAG,CAAC,EAAE,CAAC;QAC1D,MAAM,IAAI,KAAK,CAAC,oCAAoC,KAAK,aAAa,CAAC,CAAC;IAC1E,CAAC;IACD,OAAO,KAAe,CAAC;AACzB,CAAC,CAAC;AAEF,+EAA+E;AAC/E,SAAgB,gCAAgC,CAAC,MAAkB;IACjE,IAAI,MAAM,CAAC,UAAU,GAAG,YAAY;WAC/B,KAAK,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,KAAK,CAAC,EAAE,CAAC;QAC3D,MAAM,IAAI,KAAK,CAAC,mDAAmD,CAAC,CAAC;IACvE,CAAC;IACD,MAAM,aAAa,GAAG,IAAI,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,UAAU,EAAE,MAAM,CAAC,UAAU,CAAC;SACpF,SAAS,CAAC,KAAK,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC;IACtC,MAAM,KAAK,GAAG,YAAY,GAAG,aAAa,CAAC;IAC3C,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,4CAA4C,CAAC,CAAC;IAChG,OAAO,KAAK,CAAC;AACf,CAAC;AAED,+DAA+D;AAC/D,SAAgB,0BAA0B,CACxC,QAAoB,EACpB,UAAkB;IAElB,MAAM,aAAa,GAAG,gCAAgC,CAAC,QAAQ,CAAC,CAAC;IACjE,IAAI,QAAQ,CAAC,UAAU,GAAG,aAAa;QAAE,MAAM,IAAI,KAAK,CAAC,4CAA4C,CAAC,CAAC;IACvG,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,UAAU,CAAC,IAAI,UAAU,GAAG,aAAa,EAAE,CAAC;QACpE,MAAM,IAAI,KAAK,CAAC,kDAAkD,CAAC,CAAC;IACtE,CAAC;IACD,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CACvB,IAAA,qBAAU,EAAC,QAAQ,CAAC,QAAQ,CAAC,YAAY,EAAE,aAAa,CAAC,CAAC,CAC9B,CAAC;IAC/B,IAAI,MAAM,CAAC,QAAQ,KAAK,qCAA6B,EAAE,CAAC;QACtD,MAAM,IAAI,KAAK,CAAC,8CAA8C,CAAC,CAAC;IAClE,CAAC;IACD,IAAI,MAAM,GAAG,aAAa,CAAC;IAC3B,MAAM,KAAK,GAAG,CAAC,KAAc,EAAE,KAAa,EAAuB,EAAE;QACnE,MAAM,KAAK,GAAG,SAAS,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QACtC,MAAM,MAAM,GAAG,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC;QACzC,MAAM,IAAI,KAAK,CAAC;QAChB,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,MAAM,GAAG,UAAU,EAAE,CAAC;YACzD,MAAM,IAAI,KAAK,CAAC,wBAAwB,KAAK,eAAe,CAAC,CAAC;QAChE,CAAC;QACD,OAAO,MAAM,CAAC;IAChB,CAAC,CAAC;IACF,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;QACzC,MAAM,EAAE,MAAM,CAAC,IAAI,CAAC,MAAM;QAC1B,KAAK,EAAE,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,EAAE,UAAU,CAAC;KAC5C,CAAC;IACF,MAAM,WAAW,GAAG,KAAK,CAAC,MAAM,CAAC,UAAU,CAAC,WAAW,CAAC,KAAK,EAAE,cAAc,CAAC,CAAC;IAC/E,MAAM,aAAa,GAAG,KAAK,CAAC,MAAM,CAAC,UAAU,CAAC,aAAa,CAAC,KAAK,EAAE,gBAAgB,CAAC,CAAC;IACrF,MAAM,SAAS,GAAG,MAAM,CAAC,UAAU,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;QAC3D,GAAG,IAAI;QACP,OAAO,EAAE,IAAI,CAAC,OAAO,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,kBAAkB,IAAI,CAAC,IAAI,EAAE,CAAC;KACjG,CAAC,CAAC,CAAC;IACJ,IAAI,MAAM,KAAK,UAAU;QAAE,MAAM,IAAI,KAAK,CAAC,yCAAyC,CAAC,CAAC;IACtF,OAAO;QACL,OAAO,EAAE,MAAM,CAAC,OAAO;QACvB,MAAM,EAAE,MAAM,CAAC,MAAM;QACrB,YAAY,EAAE,MAAM,CAAC,YAAY;QACjC,sBAAsB,EAAE,MAAM,CAAC,sBAAsB;QACrD,YAAY,EAAE,MAAM,CAAC,YAAY;QACjC,aAAa,EAAE,MAAM,CAAC,aAAa;QACnC,IAAI,EAAE,MAAM,CAAC,IAAI;QACjB,IAAI;QACJ,UAAU,EAAE;YACV,UAAU,EAAE,MAAM,CAAC,UAAU,CAAC,UAAU;YACxC,MAAM,EAAE,MAAM,CAAC,UAAU,CAAC,MAAM;YAChC,WAAW;YACX,aAAa;YACb,SAAS;SACV;QACD,aAAa;QACb,UAAU;KACX,CAAC;AACJ,CAAC;AAED,+EAA+E;AAC/E,SAAgB,yBAAyB,CAAC,KAAiB;IACzD,MAAM,MAAM,GAAG,0BAA0B,CAAC,KAAK,EAAE,KAAK,CAAC,UAAU,CAAC,CAAC;IACnE,MAAM,IAAI,GAAG,CAAC,KAA0B,EAAc,EAAE,CACtD,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC;IACxD,OAAO;QACL,OAAO,EAAE,MAAM,CAAC,OAAO;QACvB,MAAM,EAAE,MAAM,CAAC,MAAM;QACrB,YAAY,EAAE,MAAM,CAAC,YAAY;QACjC,sBAAsB,EAAE,MAAM,CAAC,sBAAsB;QACrD,YAAY,EAAE,MAAM,CAAC,YAAY;QACjC,aAAa,EAAE,MAAM,CAAC,aAAa;QACnC,IAAI,EAAE,MAAM,CAAC,IAAI;QACjB,IAAI,EAAE,MAAM,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;YAClC,MAAM,EAAE,MAAM,CAAC,IAAI,CAAC,MAAM;YAC1B,KAAK,EAAE,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC;SAC/B;QACD,UAAU,EAAE;YACV,UAAU,EAAE,MAAM,CAAC,UAAU,CAAC,UAAU;YACxC,MAAM,EAAE,MAAM,CAAC,UAAU,CAAC,MAAM;YAChC,WAAW,EAAE,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,WAAW,CAAC;YAChD,aAAa,EAAE,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,aAAa,CAAC;YACpD,SAAS,EAAE,MAAM,CAAC,UAAU,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;gBACpD,GAAG,IAAI;gBACP,OAAO,EAAE,IAAI,CAAC,OAAO,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC;aAC3D,CAAC,CAAC;SACJ;KACF,CAAC;AACJ,CAAC;AAED,gFAAgF;AAChF,SAAgB,wBAAwB,CAAC,KAAiB;IAMxD,MAAM,SAAS,GAAG,yBAAyB,CAAC,KAAK,CAAC,CAAC;IACnD,MAAM,aAAa,GAAG,IAAI,QAAQ,CAAC,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,UAAU,EAAE,KAAK,CAAC,UAAU,CAAC;SACjF,SAAS,CAAC,KAAK,CAAC,UAAU,EAAE,KAAK,CAAC,GAAG,YAAY,CAAC;IACrD,MAAM,YAAY,GAAG,SAAS,CAAC,IAAI,EAAE,KAAK,CAAC,UAAU,IAAI,CAAC,CAAC;IAC3D,OAAO;QACL,UAAU,EAAE,KAAK,CAAC,UAAU;QAC5B,aAAa;QACb,YAAY;QACZ,eAAe,EAAE,KAAK,CAAC,UAAU,GAAG,aAAa,GAAG,YAAY;KACjE,CAAC;AACJ,CAAC;AAED,iFAAiF;AACjF,SAAgB,YAAY,CAC1B,IAA8D,EAC9D,SAAoB;IAEpB,OAAO,SAAS,CAAC,IAAI,CAAC,SAAS,CAAC;QAC9B,OAAO,EAAE,IAAI,CAAC,OAAO;QACrB,IAAI,EAAE,IAAI,CAAC,IAAI;QACf,QAAQ,EAAE,IAAI,CAAC,QAAQ;QACvB,IAAI,EAAE,IAAI,CAAC,IAAI;KAChB,CAAC,CAAC,CAAC;AACN,CAAC;AAED,4EAA4E;AAC5E,SAAgB,kBAAkB,CAChC,UAA8F,EAC9F,SAAoB;IAEpB,OAAO,SAAS,CAAC,IAAI,CAAC,SAAS,CAAC;QAC9B,UAAU,EAAE,UAAU,CAAC,UAAU;QACjC,WAAW,EAAE,SAAS,CAAC,UAAU,CAAC,WAAW,CAAC;QAC9C,aAAa,EAAE,SAAS,CAAC,UAAU,CAAC,aAAa,CAAC;QAClD,SAAS,EAAE,UAAU,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;YAC7C,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM;SACtD,CAAC,CAAC;KACJ,CAAC,CAAC,CAAC;AACN,CAAC;AAEM,MAAM,aAAa,GAAG,CAAC,MAAc,EAAE,YAAoB,EAAE,SAAoB,EAAU,EAAE,CAClG,SAAS,CAAC,MAAM,GAAG,YAAY,CAAC,CAAC;AADtB,QAAA,aAAa,iBACS"}

package/dist-cjs/entities/rules.js

@@ -0,0 +1,216 @@
+"use strict";
+/**
+ * The registry's pure rule surface — the laws of the entity model (engine
+ * docs/entity-model.md) with every store lookup behind the injected
+ * {@link EntityReadPort} and every hash behind {@link Sha256Hex}:
+ *
+ * - the ratified version formula: version = hash(type, parentUUID, name,
+ *   status, adapterPayloadVersion) — DERIVED, never stored;
+ * - container payloads as sorted active direct membership;
+ * - lifecycle inheritance DOWN the ancestor chain as derived effective
+ *   status (deleted > trashed > own stored status);
+ * - one active owner per (parentUUID, name) slot; only containers hold
+ *   active children; the parent graph is acyclic;
+ * - what an attestation may say (leaf ground attests bytes; membership and
+ *   reference identity are never observed);
+ * - the record / syncRecord shapes and the cloud-record normalizer.
+ *
+ * Refusal messages are ported verbatim from the engine registry — they are
+ * the ratified refusal text its exams pin.
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.mustGet = mustGet;
+exports.attestable = attestable;
+exports.canonicalVersion = canonicalVersion;
+exports.validName = validName;
+exports.mintOrValidateUuid = mintOrValidateUuid;
+exports.ancestorsOf = ancestorsOf;
+exports.effectiveStatusOf = effectiveStatusOf;
+exports.membershipHash = membershipHash;
+exports.entityRecordOf = entityRecordOf;
+exports.syncRecordOf = syncRecordOf;
+exports.normalizeCloudRecord = normalizeCloudRecord;
+exports.sameLogicalRecord = sameLogicalRecord;
+exports.requireActiveContainerParent = requireActiveContainerParent;
+exports.requireFreeSlot = requireFreeSlot;
+const types_js_1 = require("./types.js");
+/** The row a UUID must name; absence is the caller's bug, said plainly. */
+function mustGet(uuid, byUuid) {
+    const row = byUuid(uuid);
+    if (!row)
+        throw new Error(`no entity ${uuid}`);
+    return row;
+}
+/**
+ * What an attestation may say — asked of both the type a record wears now
+ * and the type its new bytes claim, because an attestation may carry a
+ * record across leaf kinds (a pointer replaced by bytes) and both ends
+ * must be ground an observation can speak for.
+ */
+function attestable(type) {
+    if (types_js_1.DERIVED_PAYLOAD.has(type)) {
+        throw new Error(`${type} payload is derived membership, never attested`);
+    }
+    if (type === 'reference') {
+        throw new Error('a reference\'s payload is the target\'s identity, set by the deliberate act that created it — never an attestation; the rendered symlink is derived state, not evidence');
+    }
+    if (!types_js_1.TYPES.has(type))
+        throw new Error(`unknown entity type ${JSON.stringify(type)}`);
+}
+/** The ratified formula: version = hash(type, parentUUID, name, status, payloadVersion). */
+function canonicalVersion({ type, parentUUID = null, name, status, payloadVersion = null }, sha256Hex) {
+    return sha256Hex(JSON.stringify([type, parentUUID, name, status, payloadVersion]));
+}
+/** A name is one non-empty path segment: never '', '.', '..', a '/' or NUL. */
+function validName(name) {
+    if (typeof name !== 'string' || name === '' || name === '.' || name === '..'
+        || name.includes('/') || name.includes('\0')) {
+        throw new Error(`invalid entity name ${JSON.stringify(name)}: a name is one non-empty path segment`);
+    }
+}
+/** A UUID may arrive only through a trusted identity binding (for example
+ * a cloud user-home bootstrap). The registry still owns the actual insert:
+ * accepting a caller-supplied UUID is not accepting a caller-supplied
+ * record, parent, status, or version. */
+function mintOrValidateUuid(uuid, ports) {
+    if (uuid === undefined || uuid === null)
+        return ports.mintUuid();
+    if (typeof uuid !== 'string' || !types_js_1.UUID_PATTERN.test(uuid)) {
+        throw new Error(`entity identity must be a UUID, got ${JSON.stringify(uuid)}`);
+    }
+    if (ports.byUuid(uuid))
+        throw new Error(`entity identity ${uuid} is already registered`);
+    return uuid.toLowerCase();
+}
+/** Ancestor uuids from the given parent up to the root. */
+function ancestorsOf(parentUuid, byUuid) {
+    const chain = [];
+    const seen = new Set();
+    let cursor = parentUuid;
+    while (cursor !== null) {
+        if (seen.has(cursor))
+            throw new Error(`registry corrupt: parent cycle at ${cursor}`);
+        seen.add(cursor);
+        chain.push(cursor);
+        cursor = mustGet(cursor, byUuid).parentUuid;
+    }
+    return chain;
+}
+/** Lifecycle inherits down: deleted if any ancestor is deleted, trashed if
+ * any is trashed, otherwise the entity's own stored status — one flip on a
+ * folder, no descendant record rewritten. */
+function effectiveStatusOf(row, byUuid) {
+    const statuses = [row.status, ...ancestorsOf(row.parentUuid, byUuid)
+            .map((uuid) => mustGet(uuid, byUuid).status)];
+    if (statuses.includes('deleted'))
+        return 'deleted';
+    if (statuses.includes('trashed'))
+        return 'trashed';
+    return row.status;
+}
+const byUuidOrder = (left, right) => (left < right ? -1 : left > right ? 1 : 0);
+/**
+ * Container payload: the sorted active direct membership (childUUID, name).
+ * Children are sorted here by uuid, codepoint order — the same order the
+ * engine's `ORDER BY uuid` (BINARY collation over lowercase-hex uuids)
+ * produces — so the hash input is byte-identical however the port returns
+ * them. Membership counts direct children by their STORED status, never
+ * effective status: effective-status membership would ripple a version
+ * change through the entire subtree and defeat the one-flip lifecycle.
+ */
+function membershipHash(activeChildren, sha256Hex) {
+    const pairs = [...activeChildren]
+        .sort((left, right) => byUuidOrder(left.uuid, right.uuid))
+        .map((child) => [child.uuid, child.name]);
+    return sha256Hex(JSON.stringify(pairs));
+}
+const payloadFor = (row, ports) => (types_js_1.DERIVED_PAYLOAD.has(row.type) ? ports.membershipHashOf(row.uuid) : row.payloadVersion);
+/** The public record: exactly the six ratified fields, version derived. */
+function entityRecordOf(row, ports) {
+    return {
+        uuid: row.uuid,
+        type: row.type,
+        parentUUID: row.parentUuid,
+        name: row.name,
+        version: canonicalVersion({
+            type: row.type, parentUUID: row.parentUuid, name: row.name,
+            status: row.status, payloadVersion: payloadFor(row, ports),
+        }, ports.sha256Hex),
+        status: row.status,
+    };
+}
+/** The cloud form contains identity and the content/head token, never an
+ * address, watcher, inode, or SQLite bytes. `payloadVersion` is the
+ * unambiguous current head for leaf types; containers derive theirs from
+ * membership and retain null here; a repo.git retains its immutable
+ * Card/Checkpoint head. */
+function syncRecordOf(row, ports) {
+    return {
+        ...entityRecordOf(row, ports),
+        payloadVersion: row.payloadVersion,
+    };
+}
+/** Validate and normalize a record arriving from the cloud: six fields plus
+ * payloadVersion, UUIDs lowercased, root laws enforced. */
+function normalizeCloudRecord(value) {
+    const record = value;
+    if (!record || typeof record !== 'object'
+        || typeof record.uuid !== 'string' || !types_js_1.UUID_PATTERN.test(record.uuid)
+        || typeof record.type !== 'string' || !types_js_1.TYPES.has(record.type)
+        || (record.parentUUID !== null && (typeof record.parentUUID !== 'string' || !types_js_1.UUID_PATTERN.test(record.parentUUID)))
+        || typeof record.name !== 'string'
+        || !['active', 'trashed', 'deleted'].includes(record.status)
+        || (record.payloadVersion !== null && typeof record.payloadVersion !== 'string')
+        || typeof record.version !== 'string' || !/^[0-9a-f]{64}$/i.test(record.version)) {
+        throw new Error('cloud entity operation has an invalid record');
+    }
+    validName(record.name);
+    if (record.parentUUID === null && !types_js_1.ROOT_TYPES.has(record.type)) {
+        throw new Error(`cloud entity ${record.uuid} is not a valid tree root`);
+    }
+    if (record.parentUUID !== null && record.type === 'workspace') {
+        throw new Error('cloud entity workspace is the root type only');
+    }
+    return {
+        uuid: record.uuid.toLowerCase(),
+        type: record.type,
+        parentUuid: record.parentUUID === null ? null : record.parentUUID.toLowerCase(),
+        name: record.name,
+        status: record.status,
+        payloadVersion: record.payloadVersion,
+        expectedVersion: record.version.toLowerCase(),
+    };
+}
+/** Equality over the five stored facts plus payload — everything the
+ * version fingerprints except the fingerprint itself. */
+function sameLogicalRecord(left, right) {
+    return left.uuid === right.uuid
+        && left.type === right.type
+        && left.parentUuid === right.parentUuid
+        && left.name === right.name
+        && left.status === right.status
+        && left.payloadVersion === right.payloadVersion;
+}
+/** Only containers — workspace, folder, repo.git — hold active children,
+ * and only while effectively active themselves. */
+function requireActiveContainerParent(parentUuid, port) {
+    const parent = mustGet(parentUuid, port.byUuid.bind(port));
+    if (!types_js_1.CONTAINERS.has(parent.type)) {
+        throw new Error(`only containers hold active children: ${parentUuid} is ${parent.type}, not workspace/folder/repo.git`);
+    }
+    if (effectiveStatusOf(parent, port.byUuid.bind(port)) !== 'active') {
+        throw new Error(`parent ${parentUuid} is not effectively active — restore it before putting entities under it`);
+    }
+    return parent;
+}
+/** One active owner per (parentUUID, name) slot. Parentless records are
+ * exempt: a top-level tree is placed by its machine binding, never by name. */
+function requireFreeSlot(parentUuid, name, port, forUuid = null) {
+    if (parentUuid === null)
+        return; // top level: address places a tree, never its name
+    const occupant = port.activeChildByName(parentUuid, name);
+    if (occupant && occupant.uuid !== forUuid) {
+        throw new Error(`slot taken: active entity ${occupant.uuid} already owns (${parentUuid}, ${name}) — move or trash it first`);
+    }
+}
+//# sourceMappingURL=rules.js.map

package/dist-cjs/entities/rules.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"rules.js","sourceRoot":"","sources":["../../src/entities/rules.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;;;;;;GAkBG;;AASH,0BAIC;AAQD,gCAQC;AAWD,4CAKC;AAGD,8BAKC;AAYD,gDAOC;AAGD,kCAWC;AAKD,8CASC;AAcD,wCAQC;AAaD,wCAYC;AAOD,oCAKC;AAgBD,oDA+BC;AAID,8CAUC;AAID,oEASC;AAID,0CAWC;AAtPD,yCAIoB;AAEpB,2EAA2E;AAC3E,SAAgB,OAAO,CAAC,IAAY,EAAE,MAAgC;IACpE,MAAM,GAAG,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC;IACzB,IAAI,CAAC,GAAG;QAAE,MAAM,IAAI,KAAK,CAAC,aAAa,IAAI,EAAE,CAAC,CAAC;IAC/C,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;;;GAKG;AACH,SAAgB,UAAU,CAAC,IAAY;IACrC,IAAI,0BAAe,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;QAC9B,MAAM,IAAI,KAAK,CAAC,GAAG,IAAI,gDAAgD,CAAC,CAAC;IAC3E,CAAC;IACD,IAAI,IAAI,KAAK,WAAW,EAAE,CAAC;QACzB,MAAM,IAAI,KAAK,CAAC,yKAAyK,CAAC,CAAC;IAC7L,CAAC;IACD,IAAI,CAAC,gBAAK,CAAC,GAAG,CAAC,IAAI,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,uBAAuB,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;AACvF,CAAC;AAUD,4FAA4F;AAC5F,SAAgB,gBAAgB,CAC9B,EAAE,IAAI,EAAE,UAAU,GAAG,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,cAAc,GAAG,IAAI,EAAyB,EACvF,SAAoB;IAEpB,OAAO,SAAS,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,MAAM,EAAE,cAAc,CAAC,CAAC,CAAC,CAAC;AACrF,CAAC;AAED,+EAA+E;AAC/E,SAAgB,SAAS,CAAC,IAAa;IACrC,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,EAAE,IAAI,IAAI,KAAK,GAAG,IAAI,IAAI,KAAK,IAAI;WACvE,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;QAC/C,MAAM,IAAI,KAAK,CAAC,uBAAuB,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,wCAAwC,CAAC,CAAC;IACvG,CAAC;AACH,CAAC;AAQD;;;yCAGyC;AACzC,SAAgB,kBAAkB,CAAC,IAA+B,EAAE,KAAgB;IAClF,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,KAAK,IAAI;QAAE,OAAO,KAAK,CAAC,QAAQ,EAAE,CAAC;IACjE,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,CAAC,uBAAY,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QACzD,MAAM,IAAI,KAAK,CAAC,uCAAuC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACjF,CAAC;IACD,IAAI,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,mBAAmB,IAAI,wBAAwB,CAAC,CAAC;IACzF,OAAO,IAAI,CAAC,WAAW,EAAE,CAAC;AAC5B,CAAC;AAED,2DAA2D;AAC3D,SAAgB,WAAW,CAAC,UAAyB,EAAE,MAAgC;IACrF,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,IAAI,MAAM,GAAG,UAAU,CAAC;IACxB,OAAO,MAAM,KAAK,IAAI,EAAE,CAAC;QACvB,IAAI,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,qCAAqC,MAAM,EAAE,CAAC,CAAC;QACrF,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QACjB,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QACnB,MAAM,GAAG,OAAO,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,UAAU,CAAC;IAC9C,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;6CAE6C;AAC7C,SAAgB,iBAAiB,CAC/B,GAA6C,EAC7C,MAAgC;IAEhC,MAAM,QAAQ,GAAG,CAAC,GAAG,CAAC,MAAM,EAAE,GAAG,WAAW,CAAC,GAAG,CAAC,UAAU,EAAE,MAAM,CAAC;aACjE,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;IAChD,IAAI,QAAQ,CAAC,QAAQ,CAAC,SAAS,CAAC;QAAE,OAAO,SAAS,CAAC;IACnD,IAAI,QAAQ,CAAC,QAAQ,CAAC,SAAS,CAAC;QAAE,OAAO,SAAS,CAAC;IACnD,OAAO,GAAG,CAAC,MAAM,CAAC;AACpB,CAAC;AAED,MAAM,WAAW,GAAG,CAAC,IAAY,EAAE,KAAa,EAAU,EAAE,CAC1D,CAAC,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAE7C;;;;;;;;GAQG;AACH,SAAgB,cAAc,CAC5B,cAA2D,EAC3D,SAAoB;IAEpB,MAAM,KAAK,GAAG,CAAC,GAAG,cAAc,CAAC;SAC9B,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;SACzD,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;IAC5C,OAAO,SAAS,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC;AAC1C,CAAC;AASD,MAAM,UAAU,GAAG,CAAC,GAAc,EAAE,KAAkB,EAAiB,EAAE,CACvE,CAAC,0BAAe,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC;AAE1F,2EAA2E;AAC3E,SAAgB,cAAc,CAAC,GAAc,EAAE,KAAkB;IAC/D,OAAO;QACL,IAAI,EAAE,GAAG,CAAC,IAAI;QACd,IAAI,EAAE,GAAG,CAAC,IAAI;QACd,UAAU,EAAE,GAAG,CAAC,UAAU;QAC1B,IAAI,EAAE,GAAG,CAAC,IAAI;QACd,OAAO,EAAE,gBAAgB,CAAC;YACxB,IAAI,EAAE,GAAG,CAAC,IAAI,EAAE,UAAU,EAAE,GAAG,CAAC,UAAU,EAAE,IAAI,EAAE,GAAG,CAAC,IAAI;YAC1D,MAAM,EAAE,GAAG,CAAC,MAAM,EAAE,cAAc,EAAE,UAAU,CAAC,GAAG,EAAE,KAAK,CAAC;SAC3D,EAAE,KAAK,CAAC,SAAS,CAAC;QACnB,MAAM,EAAE,GAAG,CAAC,MAAM;KACnB,CAAC;AACJ,CAAC;AAED;;;;2BAI2B;AAC3B,SAAgB,YAAY,CAAC,GAAc,EAAE,KAAkB;IAC7D,OAAO;QACL,GAAG,cAAc,CAAC,GAAG,EAAE,KAAK,CAAC;QAC7B,cAAc,EAAE,GAAG,CAAC,cAAc;KACnC,CAAC;AACJ,CAAC;AAcD;2DAC2D;AAC3D,SAAgB,oBAAoB,CAAC,KAAc;IACjD,MAAM,MAAM,GAAG,KAGP,CAAC;IACT,IAAI,CAAC,MAAM,IAAI,OAAO,MAAM,KAAK,QAAQ;WACpC,OAAO,MAAM,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,uBAAY,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC;WAClE,OAAO,MAAM,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,gBAAK,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC;WAC1D,CAAC,MAAM,CAAC,UAAU,KAAK,IAAI,IAAI,CAAC,OAAO,MAAM,CAAC,UAAU,KAAK,QAAQ,IAAI,CAAC,uBAAY,CAAC,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC;WAChH,OAAO,MAAM,CAAC,IAAI,KAAK,QAAQ;WAC/B,CAAC,CAAC,QAAQ,EAAE,SAAS,EAAE,SAAS,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAgB,CAAC;WACnE,CAAC,MAAM,CAAC,cAAc,KAAK,IAAI,IAAI,OAAO,MAAM,CAAC,cAAc,KAAK,QAAQ,CAAC;WAC7E,OAAO,MAAM,CAAC,OAAO,KAAK,QAAQ,IAAI,CAAC,iBAAiB,CAAC,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC;QACnF,MAAM,IAAI,KAAK,CAAC,8CAA8C,CAAC,CAAC;IAClE,CAAC;IACD,SAAS,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IACvB,IAAI,MAAM,CAAC,UAAU,KAAK,IAAI,IAAI,CAAC,qBAAU,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;QAC/D,MAAM,IAAI,KAAK,CAAC,gBAAgB,MAAM,CAAC,IAAI,2BAA2B,CAAC,CAAC;IAC1E,CAAC;IACD,IAAI,MAAM,CAAC,UAAU,KAAK,IAAI,IAAI,MAAM,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAC9D,MAAM,IAAI,KAAK,CAAC,8CAA8C,CAAC,CAAC;IAClE,CAAC;IACD,OAAO;QACL,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,WAAW,EAAE;QAC/B,IAAI,EAAE,MAAM,CAAC,IAAkB;QAC/B,UAAU,EAAE,MAAM,CAAC,UAAU,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAE,MAAM,CAAC,UAAqB,CAAC,WAAW,EAAE;QAC3F,IAAI,EAAE,MAAM,CAAC,IAAI;QACjB,MAAM,EAAE,MAAM,CAAC,MAAsB;QACrC,cAAc,EAAE,MAAM,CAAC,cAA+B;QACtD,eAAe,EAAE,MAAM,CAAC,OAAO,CAAC,WAAW,EAAE;KAC9C,CAAC;AACJ,CAAC;AAED;yDACyD;AACzD,SAAgB,iBAAiB,CAC/B,IAA4F,EAC5F,KAA6F;IAE7F,OAAO,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI;WAC1B,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI;WACxB,IAAI,CAAC,UAAU,KAAK,KAAK,CAAC,UAAU;WACpC,IAAI,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI;WACxB,IAAI,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM;WAC5B,IAAI,CAAC,cAAc,KAAK,KAAK,CAAC,cAAc,CAAC;AACpD,CAAC;AAED;mDACmD;AACnD,SAAgB,4BAA4B,CAAC,UAAkB,EAAE,IAAoB;IACnF,MAAM,MAAM,GAAG,OAAO,CAAC,UAAU,EAAE,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;IAC3D,IAAI,CAAC,qBAAU,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;QACjC,MAAM,IAAI,KAAK,CAAC,yCAAyC,UAAU,OAAO,MAAM,CAAC,IAAI,iCAAiC,CAAC,CAAC;IAC1H,CAAC;IACD,IAAI,iBAAiB,CAAC,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,KAAK,QAAQ,EAAE,CAAC;QACnE,MAAM,IAAI,KAAK,CAAC,UAAU,UAAU,0EAA0E,CAAC,CAAC;IAClH,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;+EAC+E;AAC/E,SAAgB,eAAe,CAC7B,UAAyB,EACzB,IAAY,EACZ,IAAoB,EACpB,UAAyB,IAAI;IAE7B,IAAI,UAAU,KAAK,IAAI;QAAE,OAAO,CAAC,mDAAmD;IACpF,MAAM,QAAQ,GAAG,IAAI,CAAC,iBAAiB,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;IAC1D,IAAI,QAAQ,IAAI,QAAQ,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAC1C,MAAM,IAAI,KAAK,CAAC,6BAA6B,QAAQ,CAAC,IAAI,kBAAkB,UAAU,KAAK,IAAI,4BAA4B,CAAC,CAAC;IAC/H,CAAC;AACH,CAAC"}

package/dist-cjs/entities/types.js

@@ -0,0 +1,44 @@
+"use strict";
+/**
+ * The entity alphabet and the six-field universal record — the value
+ * vocabulary of the entity model (engine docs/entity-model.md, "The entity
+ * record"). Every enrolled entity, of every type, is exactly six fields:
+ * UUID, type, parentUUID, name, version, status. Paths are derived from the
+ * parentUUID + name chain and are never identity; version is derived on
+ * read, never stored.
+ *
+ * The alphabet is PHYSICAL kinds only. Constructs — agents, apps,
+ * automations, tools, skills — are folder-and-file ground with a known
+ * structure, their meaning layered ABOVE the physical type, never encoded
+ * as one.
+ *
+ * This module also names the two ports the pure rules receive instead of a
+ * database or node:crypto: a read port over the host's identity store, and
+ * a SHA-256 hex function.
+ */
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.UUID_PATTERN = exports.isEntityType = exports.ENTITY_TYPES = exports.DERIVED_PAYLOAD = exports.ROOT_TYPES = exports.CONTAINERS = exports.TYPES = void 0;
+const ALPHABET = [
+    'workspace', 'folder', 'repo.git', 'file.text', 'file.binary',
+    'link', 'reference',
+];
+exports.TYPES = new Set(ALPHABET);
+/** Only containers hold active children. */
+exports.CONTAINERS = new Set(['workspace', 'folder', 'repo.git']);
+/** The types a parentless record (a tree root) may wear. `folder` is
+ * deliberately absent: a folder inside no workspace is not a thing amalgm
+ * registers. `reference` is absent too — a managed pointer is always
+ * created inside a tree. */
+exports.ROOT_TYPES = new Set(['workspace', 'repo.git', 'file.text', 'file.binary', 'link']);
+/** Types whose payload IS their membership: derived from the records
+ * beneath them, so no observation may attest one. */
+exports.DERIVED_PAYLOAD = new Set(['workspace', 'folder']);
+/** The one entity alphabet, published sorted for the layers that map onto
+ * it — read from here, never restated, so it cannot drift. */
+exports.ENTITY_TYPES = Object.freeze([...ALPHABET].sort());
+const isEntityType = (value) => typeof value === 'string' && exports.TYPES.has(value);
+exports.isEntityType = isEntityType;
+/** RFC-4122 UUID shape (versions 1–8), the permanent identity and realtime
+ * channel of every enrolled entity. */
+exports.UUID_PATTERN = /^[0-9a-f]{8}-[0-9a-f]{4}-[1-8][0-9a-f]{3}-[89ab][0-9a-f]{3}-[0-9a-f]{12}$/i;
+//# sourceMappingURL=types.js.map

package/dist-cjs/entities/types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../src/entities/types.ts"],"names":[],"mappings":";AAAA;;;;;;;;;;;;;;;;GAgBG;;;AAiBH,MAAM,QAAQ,GAA0B;IACtC,WAAW,EAAE,QAAQ,EAAE,UAAU,EAAE,WAAW,EAAE,aAAa;IAC7D,MAAM,EAAE,WAAW;CACpB,CAAC;AAEW,QAAA,KAAK,GAAwB,IAAI,GAAG,CAAC,QAAQ,CAAC,CAAC;AAE5D,4CAA4C;AAC/B,QAAA,UAAU,GAAwB,IAAI,GAAG,CACpD,CAAC,WAAW,EAAE,QAAQ,EAAE,UAAU,CAA2B,CAC9D,CAAC;AAEF;;;4BAG4B;AACf,QAAA,UAAU,GAAwB,IAAI,GAAG,CACpD,CAAC,WAAW,EAAE,UAAU,EAAE,WAAW,EAAE,aAAa,EAAE,MAAM,CAAwB,CACrF,CAAC;AAEF;qDACqD;AACxC,QAAA,eAAe,GAAwB,IAAI,GAAG,CACzD,CAAC,WAAW,EAAE,QAAQ,CAAwB,CAC/C,CAAC;AAEF;8DAC8D;AACjD,QAAA,YAAY,GAA0B,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC;AAEhF,MAAM,YAAY,GAAG,CAAC,KAAc,EAAuB,EAAE,CAClE,OAAO,KAAK,KAAK,QAAQ,IAAI,aAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;AADnC,QAAA,YAAY,gBACuB;AAEhD;uCACuC;AAC1B,QAAA,YAAY,GACvB,4EAA4E,CAAC"}