@amalgm/live 0.2.30 → 0.2.32

package/dist/apply/plans.js

@@ -0,0 +1,183 @@
+/** Type-sensitive Apply plan derivation from one accepted complete result. */
+import { checkContentManifest } from '../contracts/content.js';
+import { assertRecord, stableJson } from '../entities/cloud.js';
+import { utf8Encode } from '../entities/bytes.js';
+import { UUID_PATTERN } from '../entities/types.js';
+import { artifactForRecord, assertTransferArtifact } from '../transfer/artifacts.js';
+import { selectEntityApply } from './selection.js';
+const HASH = /^[0-9a-f]{64}$/;
+const sameArtifact = (left, right) => stableJson(left) === stableJson(right);
+const requireNoCargo = (cargo) => {
+    if (cargo.length !== 0)
+        throw new Error('structural Apply cannot carry immutable cargo');
+};
+const requireArtifact = (target, cargo) => {
+    const expected = artifactForRecord(target);
+    if (expected === null)
+        throw new Error(`active ${target.type} Apply has no immutable artifact`);
+    assertTransferArtifact(expected);
+    if (cargo.length !== 1 || !sameArtifact(cargo[0], expected)) {
+        throw new Error('Apply cargo does not exactly name its complete result artifact');
+    }
+    return Object.freeze(expected);
+};
+const textPlan = (base, replay, cargo, materializedPayload) => {
+    const artifact = requireArtifact(base.target, cargo);
+    if (replay.kind !== 'file.text'
+        || replay.resultPayloadVersion !== base.target.payloadVersion
+        || !HASH.test(replay.resultPayloadVersion)
+        || (replay.basePayloadVersion !== null && !HASH.test(replay.basePayloadVersion))
+        || (replay.mode === 'delta') !== (replay.delta !== null)
+        || !['delta', 'snapshot'].includes(replay.mode)) {
+        throw new Error('text Apply replay does not describe its complete result');
+    }
+    if (replay.delta !== null
+        && (!Number.isSafeInteger(replay.delta.offset) || replay.delta.offset < 0
+            || !Number.isSafeInteger(replay.delta.deleteBytes) || replay.delta.deleteBytes < 0
+            || !(replay.delta.insert instanceof Uint8Array))) {
+        throw new Error('text Apply replay has an invalid byte splice');
+    }
+    const useDelta = replay.mode === 'delta'
+        && replay.delta !== null
+        && replay.basePayloadVersion !== null
+        && materializedPayload === replay.basePayloadVersion;
+    return Object.freeze({
+        ...base,
+        kind: 'file.text',
+        artifact,
+        strategy: useDelta
+            ? Object.freeze({
+                kind: 'delta',
+                basePayloadVersion: replay.basePayloadVersion,
+                delta: Object.freeze({
+                    ...replay.delta,
+                    insert: replay.delta.insert.slice(),
+                }),
+            })
+            : Object.freeze({ kind: 'snapshot' }),
+    });
+};
+const binaryPlan = (base, replay, cargo) => {
+    const artifact = requireArtifact(base.target, cargo);
+    const manifest = checkContentManifest(replay.manifest, base.target.payloadVersion);
+    if (replay.kind !== 'file.binary'
+        || replay.resultPayloadVersion !== base.target.payloadVersion
+        || !manifest.ok) {
+        throw new Error('binary Apply replay does not describe its complete result manifest');
+    }
+    return Object.freeze({
+        ...base,
+        kind: 'file.binary',
+        artifact,
+        manifest: Object.freeze({
+            ...manifest.value,
+            chunks: Object.freeze(manifest.value.chunks.map((chunk) => Object.freeze({ ...chunk }))),
+        }),
+    });
+};
+const linkPlan = (base, replay, cargo, sha256Hex) => {
+    const artifact = requireArtifact(base.target, cargo);
+    if (replay.kind !== 'link'
+        || replay.resultPayloadVersion !== base.target.payloadVersion
+        || sha256Hex(utf8Encode(replay.target)) !== replay.resultPayloadVersion) {
+        throw new Error('link Apply replay does not describe its literal target result');
+    }
+    return Object.freeze({
+        ...base,
+        kind: 'link',
+        artifact,
+        targetText: replay.target,
+    });
+};
+const repositoryPlan = (base, replay, cargo) => {
+    const artifact = requireArtifact(base.target, cargo);
+    if (replay.kind !== 'repo.git'
+        || replay.stateId !== base.target.payloadVersion
+        || replay.transportVersion !== base.target.transportVersion
+        || ![replay.stateId, replay.cardId, replay.checkpointId, replay.transportVersion]
+            .every((value) => HASH.test(value))
+        || (replay.parentTransportVersion !== null && !HASH.test(replay.parentTransportVersion))
+        || typeof replay.cardChanged !== 'boolean'
+        || typeof replay.checkpointChanged !== 'boolean') {
+        throw new Error('repository Apply replay does not describe its Card + Checkpoint result');
+    }
+    return Object.freeze({
+        ...base,
+        kind: 'repo.git',
+        artifact,
+        stateId: replay.stateId,
+        cardId: replay.cardId,
+        checkpointId: replay.checkpointId,
+        parentTransportVersion: replay.parentTransportVersion,
+        transportVersion: replay.transportVersion,
+        cardChanged: replay.cardChanged,
+        checkpointChanged: replay.checkpointChanged,
+    });
+};
+/**
+ * Validate the target's replay/cargo seam and derive the one plan a host may
+ * execute. Type is never rediscovered from path, extension, or downloaded
+ * bytes. A structural-only record stays structural even when its target is a
+ * leaf; its existing immutable head is only repair fallback.
+ */
+export function planEntityApply(work, sha256Hex) {
+    return planSelectedEntityApply(work, selectEntityApply(work), sha256Hex);
+}
+/** Derive a plan from the exact selection this coordinator already validated. */
+export function planSelectedEntityApply(work, selected, sha256Hex) {
+    const accepted = selected.target;
+    const target = Object.freeze(assertRecord(accepted.change.result));
+    const common = Object.freeze({
+        entityId: accepted.entityId,
+        fromSequence: work.resolvedThrough,
+        throughSequence: accepted.globalSequence,
+        targetMutationId: accepted.mutationId,
+        target,
+        facets: Object.freeze([...accepted.change.facets]),
+    });
+    if (target.status !== 'active') {
+        if (accepted.change.replay.kind !== 'structure') {
+            throw new Error('non-active Apply must be a structural lifecycle result');
+        }
+        requireNoCargo(accepted.change.cargo);
+        return Object.freeze({
+            ...common,
+            kind: 'lifecycle',
+            status: target.status,
+        });
+    }
+    if (accepted.change.replay.kind === 'structure') {
+        requireNoCargo(accepted.change.cargo);
+        if (target.type === 'reference') {
+            if (target.payloadVersion === null || !UUID_PATTERN.test(target.payloadVersion)) {
+                throw new Error('managed reference Apply has no target entity UUID');
+            }
+            return Object.freeze({
+                ...common,
+                kind: 'reference',
+                targetEntityId: target.payloadVersion.toLowerCase(),
+            });
+        }
+        return Object.freeze({
+            ...common,
+            kind: 'structure',
+            repairArtifact: artifactForRecord(target),
+        });
+    }
+    const materializedPayload = work.materialized?.record.payloadVersion ?? null;
+    switch (target.type) {
+        case 'file.text':
+            return textPlan(common, accepted.change.replay, accepted.change.cargo, materializedPayload);
+        case 'file.binary':
+            return binaryPlan(common, accepted.change.replay, accepted.change.cargo);
+        case 'link':
+            return linkPlan(common, accepted.change.replay, accepted.change.cargo, sha256Hex);
+        case 'repo.git':
+            return repositoryPlan(common, accepted.change.replay, accepted.change.cargo);
+        case 'workspace':
+        case 'folder':
+        case 'reference':
+            throw new Error(`${target.type} Apply cannot carry content replay`);
+    }
+}
+//# sourceMappingURL=plans.js.map

package/dist/apply/plans.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"plans.js","sourceRoot":"","sources":["../../src/apply/plans.ts"],"names":[],"mappings":"AAAA,8EAA8E;AAE9E,OAAO,EAAE,oBAAoB,EAAE,MAAM,yBAAyB,CAAC;AAC/D,OAAO,EAAE,YAAY,EAAE,UAAU,EAAE,MAAM,sBAAsB,CAAC;AAChE,OAAO,EAAE,UAAU,EAAE,MAAM,sBAAsB,CAAC;AAClD,OAAO,EAAE,YAAY,EAAkB,MAAM,sBAAsB,CAAC;AAOpE,OAAO,EAAE,iBAAiB,EAAE,sBAAsB,EAAyB,MAAM,0BAA0B,CAAC;AAS5G,OAAO,EAAE,iBAAiB,EAA4B,MAAM,gBAAgB,CAAC;AAE7E,MAAM,IAAI,GAAG,gBAAgB,CAAC;AAE9B,MAAM,YAAY,GAAG,CAAC,IAAsB,EAAE,KAAuB,EAAW,EAAE,CAChF,UAAU,CAAC,IAAI,CAAC,KAAK,UAAU,CAAC,KAAK,CAAC,CAAC;AAEzC,MAAM,cAAc,GAAG,CAAC,KAAyB,EAAQ,EAAE;IACzD,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,+CAA+C,CAAC,CAAC;AAC3F,CAAC,CAAC;AAEF,MAAM,eAAe,GAAG,CACtB,MAAuC,EACvC,KAAyB,EACP,EAAE;IACpB,MAAM,QAAQ,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC;IAC3C,IAAI,QAAQ,KAAK,IAAI;QAAE,MAAM,IAAI,KAAK,CAAC,UAAU,MAAM,CAAC,IAAI,kCAAkC,CAAC,CAAC;IAChG,sBAAsB,CAAC,QAAQ,CAAC,CAAC;IACjC,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,CAAqB,EAAE,QAAQ,CAAC,EAAE,CAAC;QAChF,MAAM,IAAI,KAAK,CAAC,gEAAgE,CAAC,CAAC;IACpF,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;AACjC,CAAC,CAAC;AAEF,MAAM,QAAQ,GAAG,CACf,IAA2D,EAC3D,MAAkB,EAClB,KAAyB,EACzB,mBAAkC,EACnB,EAAE;IACjB,MAAM,QAAQ,GAAG,eAAe,CAAC,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;IACrD,IAAI,MAAM,CAAC,IAAI,KAAK,WAAW;WAC1B,MAAM,CAAC,oBAAoB,KAAK,IAAI,CAAC,MAAM,CAAC,cAAc;WAC1D,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,oBAAoB,CAAC;WACvC,CAAC,MAAM,CAAC,kBAAkB,KAAK,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,kBAAkB,CAAC,CAAC;WAC7E,CAAC,MAAM,CAAC,IAAI,KAAK,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,KAAK,IAAI,CAAC;WACrD,CAAC,CAAC,OAAO,EAAE,UAAU,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;QAClD,MAAM,IAAI,KAAK,CAAC,yDAAyD,CAAC,CAAC;IAC7E,CAAC;IACD,IAAI,MAAM,CAAC,KAAK,KAAK,IAAI;WACpB,CAAC,CAAC,MAAM,CAAC,aAAa,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC;eACpE,CAAC,MAAM,CAAC,aAAa,CAAC,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,IAAI,MAAM,CAAC,KAAK,CAAC,WAAW,GAAG,CAAC;eAC/E,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,YAAY,UAAU,CAAC,CAAC,EAAE,CAAC;QACrD,MAAM,IAAI,KAAK,CAAC,8CAA8C,CAAC,CAAC;IAClE,CAAC;IACD,MAAM,QAAQ,GAAG,MAAM,CAAC,IAAI,KAAK,OAAO;WACnC,MAAM,CAAC,KAAK,KAAK,IAAI;WACrB,MAAM,CAAC,kBAAkB,KAAK,IAAI;WAClC,mBAAmB,KAAK,MAAM,CAAC,kBAAkB,CAAC;IACvD,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,GAAG,IAAI;QACP,IAAI,EAAE,WAAoB;QAC1B,QAAQ;QACR,QAAQ,EAAE,QAAQ;YAChB,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC;gBACd,IAAI,EAAE,OAAgB;gBACtB,kBAAkB,EAAE,MAAM,CAAC,kBAA4B;gBACvD,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC;oBACnB,GAAI,MAAM,CAAC,KAA0C;oBACrD,MAAM,EAAG,MAAM,CAAC,KAA0C,CAAC,MAAM,CAAC,KAAK,EAAE;iBAC1E,CAAC;aACH,CAAC;YACF,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,UAAmB,EAAE,CAAC;KACjD,CAAC,CAAC;AACL,CAAC,CAAC;AAEF,MAAM,UAAU,GAAG,CACjB,IAA6D,EAC7D,MAAoB,EACpB,KAAyB,EACR,EAAE;IACnB,MAAM,QAAQ,GAAG,eAAe,CAAC,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;IACrD,MAAM,QAAQ,GAAG,oBAAoB,CAAC,MAAM,CAAC,QAAQ,EAAE,IAAI,CAAC,MAAM,CAAC,cAAc,CAAC,CAAC;IACnF,IAAI,MAAM,CAAC,IAAI,KAAK,aAAa;WAC5B,MAAM,CAAC,oBAAoB,KAAK,IAAI,CAAC,MAAM,CAAC,cAAc;WAC1D,CAAC,QAAQ,CAAC,EAAE,EAAE,CAAC;QAClB,MAAM,IAAI,KAAK,CAAC,oEAAoE,CAAC,CAAC;IACxF,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,GAAG,IAAI;QACP,IAAI,EAAE,aAAsB;QAC5B,QAAQ;QACR,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC;YACtB,GAAG,QAAQ,CAAC,KAAK;YACjB,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,GAAG,KAAK,EAAE,CAAC,CAAC,CAAC;SACzF,CAAC;KACH,CAAC,CAAC;AACL,CAAC,CAAC;AAEF,MAAM,QAAQ,GAAG,CACf,IAA6D,EAC7D,MAAkB,EAClB,KAAyB,EACzB,SAAoB,EACL,EAAE;IACjB,MAAM,QAAQ,GAAG,eAAe,CAAC,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;IACrD,IAAI,MAAM,CAAC,IAAI,KAAK,MAAM;WACrB,MAAM,CAAC,oBAAoB,KAAK,IAAI,CAAC,MAAM,CAAC,cAAc;WAC1D,SAAS,CAAC,UAAU,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,MAAM,CAAC,oBAAoB,EAAE,CAAC;QAC1E,MAAM,IAAI,KAAK,CAAC,+DAA+D,CAAC,CAAC;IACnF,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,GAAG,IAAI;QACP,IAAI,EAAE,MAAe;QACrB,QAAQ;QACR,UAAU,EAAE,MAAM,CAAC,MAAM;KAC1B,CAAC,CAAC;AACL,CAAC,CAAC;AAEF,MAAM,cAAc,GAAG,CACrB,IAEsF,EACtF,MAAwB,EACxB,KAAyB,EACJ,EAAE;IACvB,MAAM,QAAQ,GAAG,eAAe,CAAC,IAAI,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;IACrD,IAAI,MAAM,CAAC,IAAI,KAAK,UAAU;WACzB,MAAM,CAAC,OAAO,KAAK,IAAI,CAAC,MAAM,CAAC,cAAc;WAC7C,MAAM,CAAC,gBAAgB,KAAK,IAAI,CAAC,MAAM,CAAC,gBAAgB;WACxD,CAAC,CAAC,MAAM,CAAC,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,YAAY,EAAE,MAAM,CAAC,gBAAgB,CAAC;aAC9E,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;WAClC,CAAC,MAAM,CAAC,sBAAsB,KAAK,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,sBAAsB,CAAC,CAAC;WACrF,OAAO,MAAM,CAAC,WAAW,KAAK,SAAS;WACvC,OAAO,MAAM,CAAC,iBAAiB,KAAK,SAAS,EAAE,CAAC;QACnD,MAAM,IAAI,KAAK,CAAC,wEAAwE,CAAC,CAAC;IAC5F,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,GAAG,IAAI;QACP,IAAI,EAAE,UAAmB;QACzB,QAAQ;QACR,OAAO,EAAE,MAAM,CAAC,OAAO;QACvB,MAAM,EAAE,MAAM,CAAC,MAAM;QACrB,YAAY,EAAE,MAAM,CAAC,YAAY;QACjC,sBAAsB,EAAE,MAAM,CAAC,sBAAsB;QACrD,gBAAgB,EAAE,MAAM,CAAC,gBAAgB;QACzC,WAAW,EAAE,MAAM,CAAC,WAAW;QAC/B,iBAAiB,EAAE,MAAM,CAAC,iBAAiB;KAC5C,CAAC,CAAC;AACL,CAAC,CAAC;AAEF;;;;;GAKG;AACH,MAAM,UAAU,eAAe,CAAC,IAAqB,EAAE,SAAoB;IACzE,OAAO,uBAAuB,CAAC,IAAI,EAAE,iBAAiB,CAAC,IAAI,CAAC,EAAE,SAAS,CAAC,CAAC;AAC3E,CAAC;AAED,iFAAiF;AACjF,MAAM,UAAU,uBAAuB,CACrC,IAAqB,EACrB,QAA6B,EAC7B,SAAoB;IAEpB,MAAM,QAAQ,GAAG,QAAQ,CAAC,MAAM,CAAC;IACjC,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC;IACnE,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC;QAC3B,QAAQ,EAAE,QAAQ,CAAC,QAAQ;QAC3B,YAAY,EAAE,IAAI,CAAC,eAAe;QAClC,eAAe,EAAE,QAAQ,CAAC,cAAc;QACxC,gBAAgB,EAAE,QAAQ,CAAC,UAAU;QACrC,MAAM;QACN,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;KACnD,CAAC,CAAC;IACH,IAAI,MAAM,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;QAC/B,IAAI,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;YAChD,MAAM,IAAI,KAAK,CAAC,wDAAwD,CAAC,CAAC;QAC5E,CAAC;QACD,cAAc,CAAC,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QACtC,OAAO,MAAM,CAAC,MAAM,CAAC;YACnB,GAAG,MAAM;YACT,IAAI,EAAE,WAAoB;YAC1B,MAAM,EAAE,MAAM,CAAC,MAAM;SACtB,CAAC,CAAC;IACL,CAAC;IAED,IAAI,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAChD,cAAc,CAAC,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QACtC,IAAI,MAAM,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;YAChC,IAAI,MAAM,CAAC,cAAc,KAAK,IAAI,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC,cAAc,CAAC,EAAE,CAAC;gBAChF,MAAM,IAAI,KAAK,CAAC,mDAAmD,CAAC,CAAC;YACvE,CAAC;YACD,OAAO,MAAM,CAAC,MAAM,CAAC;gBACnB,GAAG,MAAM;gBACT,IAAI,EAAE,WAAoB;gBAC1B,cAAc,EAAE,MAAM,CAAC,cAAc,CAAC,WAAW,EAAE;aACpD,CAAC,CAAC;QACL,CAAC;QACD,OAAO,MAAM,CAAC,MAAM,CAAC;YACnB,GAAG,MAAM;YACT,IAAI,EAAE,WAAoB;YAC1B,cAAc,EAAE,iBAAiB,CAAC,MAAM,CAAC;SAC1C,CAAC,CAAC;IACL,CAAC;IAED,MAAM,mBAAmB,GAAG,IAAI,CAAC,YAAY,EAAE,MAAM,CAAC,cAAc,IAAI,IAAI,CAAC;IAC7E,QAAQ,MAAM,CAAC,IAAI,EAAE,CAAC;QACpB,KAAK,WAAW;YACd,OAAO,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAoB,EAAE,QAAQ,CAAC,MAAM,CAAC,KAAK,EAAE,mBAAmB,CAAC,CAAC;QAC5G,KAAK,aAAa;YAChB,OAAO,UAAU,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAsB,EAAE,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QAC3F,KAAK,MAAM;YACT,OAAO,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAoB,EAAE,QAAQ,CAAC,MAAM,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;QAClG,KAAK,UAAU;YACb,OAAO,cAAc,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAA0B,EAAE,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QACnG,KAAK,WAAW,CAAC;QACjB,KAAK,QAAQ,CAAC;QACd,KAAK,WAAW;YACd,MAAM,IAAI,KAAK,CAAC,GAAG,MAAM,CAAC,IAAI,oCAAoC,CAAC,CAAC;IACxE,CAAC;AACH,CAAC"}

package/dist/apply/rail.d.ts

@@ -0,0 +1,25 @@
+/** Event-driven portable Apply/Verify orchestration. */
+import { type EntityApplyRailOptions } from './contracts.js';
+export declare const ENTITY_APPLY_DEFAULT_CONCURRENCY = 8;
+export declare const ENTITY_APPLY_DEFAULT_WORK_LIMIT = 64;
+export declare const ENTITY_APPLY_RETRY_BASE_MS = 1000;
+export declare const ENTITY_APPLY_RETRY_MAX_MS = 30000;
+/**
+ * Apply has only two wake sources: Receive committed new Inbox work, or local
+ * state changed in a way that may release a pending-local gate. Unsettled
+ * machine truth alone schedules bounded retry; an idle rail never polls.
+ */
+export declare class EntityApplyRail {
+    #private;
+    constructor(options: EntityApplyRailOptions);
+    /** Resume durable intents and then consume already-received Inbox work. */
+    start(): Promise<void>;
+    /** Receive calls only after its Inbox transaction commits. */
+    recordsAvailable(): void;
+    /** Record/Send or Detect calls after a local gate may have changed. */
+    localStateChanged(): void;
+    /** Await work known at this boundary. It never creates an idle query loop. */
+    flush(): Promise<void>;
+    stop(): Promise<void>;
+}
+//# sourceMappingURL=rail.d.ts.map

package/dist/apply/rail.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"rail.d.ts","sourceRoot":"","sources":["../../src/apply/rail.ts"],"names":[],"mappings":"AAAA,wDAAwD;AAExD,OAAO,EAKL,KAAK,sBAAsB,EAG5B,MAAM,gBAAgB,CAAC;AAIxB,eAAO,MAAM,gCAAgC,IAAI,CAAC;AAClD,eAAO,MAAM,+BAA+B,KAAK,CAAC;AAClD,eAAO,MAAM,0BAA0B,OAAQ,CAAC;AAChD,eAAO,MAAM,yBAAyB,QAAS,CAAC;AAuBhD;;;;GAIG;AACH,qBAAa,eAAe;;gBAcd,OAAO,EAAE,sBAAsB;IAW3C,2EAA2E;IACrE,KAAK,IAAI,OAAO,CAAC,IAAI,CAAC;IAQ5B,8DAA8D;IAC9D,gBAAgB,IAAI,IAAI;IAMxB,uEAAuE;IACvE,iBAAiB,IAAI,IAAI;IAIzB,8EAA8E;IACxE,KAAK,IAAI,OAAO,CAAC,IAAI,CAAC;IAOtB,IAAI,IAAI,OAAO,CAAC,IAAI,CAAC;CAuP5B"}

package/dist/apply/rail.js

@@ -0,0 +1,304 @@
+/** Event-driven portable Apply/Verify orchestration. */
+import { advanceApplyIntent, createApplyIntent, } from './contracts.js';
+import { planSelectedEntityApply } from './plans.js';
+import { selectEntityApply } from './selection.js';
+export const ENTITY_APPLY_DEFAULT_CONCURRENCY = 8;
+export const ENTITY_APPLY_DEFAULT_WORK_LIMIT = 64;
+export const ENTITY_APPLY_RETRY_BASE_MS = 1_000;
+export const ENTITY_APPLY_RETRY_MAX_MS = 30_000;
+async function boundedMap(values, concurrency, visit) {
+    const results = new Array(values.length);
+    let cursor = 0;
+    const workers = Array.from({ length: Math.min(concurrency, values.length) }, async () => {
+        while (true) {
+            const index = cursor;
+            cursor += 1;
+            if (index >= values.length)
+                return;
+            results[index] = await visit(values[index]);
+        }
+    });
+    await Promise.all(workers);
+    return results;
+}
+/**
+ * Apply has only two wake sources: Receive committed new Inbox work, or local
+ * state changed in a way that may release a pending-local gate. Unsettled
+ * machine truth alone schedules bounded retry; an idle rail never polls.
+ */
+export class EntityApplyRail {
+    #options;
+    #concurrency;
+    #workLimit;
+    #onBackgroundError;
+    #started = false;
+    #stopped = false;
+    #needsApply = false;
+    #retryRequested = false;
+    #running = null;
+    #retry = null;
+    #retryAttempt = 0;
+    constructor(options) {
+        this.#options = options;
+        this.#concurrency = options.concurrency ?? ENTITY_APPLY_DEFAULT_CONCURRENCY;
+        this.#workLimit = options.workLimit ?? ENTITY_APPLY_DEFAULT_WORK_LIMIT;
+        this.#onBackgroundError = options.onBackgroundError ?? (() => undefined);
+        if (!Number.isSafeInteger(this.#concurrency) || this.#concurrency < 1
+            || !Number.isSafeInteger(this.#workLimit) || this.#workLimit < 1) {
+            throw new Error('entity Apply concurrency and work limit must be positive integers');
+        }
+    }
+    /** Resume durable intents and then consume already-received Inbox work. */
+    async start() {
+        if (this.#started)
+            throw new Error('entity Apply rail already started');
+        if (this.#stopped)
+            throw new Error('entity Apply rail is stopped');
+        this.#started = true;
+        this.#needsApply = true;
+        await this.#runExplicitly();
+    }
+    /** Receive calls only after its Inbox transaction commits. */
+    recordsAvailable() {
+        if (this.#stopped)
+            return;
+        this.#needsApply = true;
+        if (this.#started)
+            this.#kick();
+    }
+    /** Record/Send or Detect calls after a local gate may have changed. */
+    localStateChanged() {
+        this.recordsAvailable();
+    }
+    /** Await work known at this boundary. It never creates an idle query loop. */
+    async flush() {
+        if (!this.#started)
+            throw new Error('entity Apply rail has not started');
+        if (this.#stopped)
+            return;
+        this.#needsApply = true;
+        await this.#runExplicitly();
+    }
+    async stop() {
+        if (this.#stopped)
+            return;
+        this.#stopped = true;
+        this.#cancelRetry();
+        await this.#running?.catch(() => undefined);
+    }
+    async #runExplicitly() {
+        this.#cancelRetry();
+        try {
+            // A finishing drain can hand a late flag to a successor from its final
+            // microtask. An explicit caller owns that successor as well.
+            do {
+                await this.#ensureRun();
+            } while (!this.#stopped && (this.#needsApply || this.#running !== null));
+            if (this.#retryRequested)
+                this.#scheduleRetry();
+            else
+                this.#retryAttempt = 0;
+        }
+        catch (error) {
+            this.#scheduleRetry();
+            throw error;
+        }
+    }
+    #kick() {
+        if (!this.#started || this.#stopped)
+            return;
+        this.#cancelRetry();
+        void this.#ensureRun().then(() => {
+            if (this.#retryRequested)
+                this.#scheduleRetry();
+            else
+                this.#retryAttempt = 0;
+        }, (error) => {
+            this.#onBackgroundError(error);
+            this.#scheduleRetry();
+        });
+    }
+    #ensureRun() {
+        if (this.#running)
+            return this.#running;
+        const running = this.#drain();
+        this.#running = running;
+        void running.finally(() => {
+            if (this.#running === running)
+                this.#running = null;
+            if (!this.#stopped && this.#needsApply)
+                this.#kick();
+        }).catch(() => undefined);
+        return running;
+    }
+    async #drain() {
+        this.#retryRequested = false;
+        while (!this.#stopped && this.#needsApply) {
+            this.#needsApply = false;
+            const entities = new Set();
+            const cursors = new Set();
+            let afterCursor = null;
+            let madeProgress = false;
+            do {
+                const page = await this.#options.store.readApplyWork(this.#workLimit, afterCursor);
+                if (!page || !Array.isArray(page.work)
+                    || (page.nextCursor !== null
+                        && (typeof page.nextCursor !== 'string' || page.nextCursor.length === 0))) {
+                    throw new Error('entity Apply store returned an invalid work page');
+                }
+                if (page.work.length > this.#workLimit
+                    || (page.work.length === 0 && page.nextCursor !== null)) {
+                    throw new Error('entity Apply store violated its work-page bound');
+                }
+                for (const item of page.work) {
+                    if (entities.has(item.entityId)) {
+                        throw new Error(`entity Apply store returned ${item.entityId} twice in one scan`);
+                    }
+                    entities.add(item.entityId);
+                }
+                const results = await boundedMap(page.work, this.#concurrency, (item) => this.#applyOne(item));
+                if (results.includes('retry'))
+                    this.#retryRequested = true;
+                if (results.includes('progress'))
+                    madeProgress = true;
+                afterCursor = page.nextCursor;
+                if (afterCursor !== null && cursors.has(afterCursor)) {
+                    throw new Error('entity Apply store repeated a work-page cursor');
+                }
+                if (afterCursor !== null)
+                    cursors.add(afterCursor);
+            } while (!this.#stopped && afterCursor !== null);
+            if (madeProgress)
+                this.#needsApply = true;
+        }
+    }
+    async #applyOne(work) {
+        const selected = selectEntityApply(work);
+        if (work.intent === null) {
+            if (await this.#options.store.hasLocalWorkAfter(work.authorityId, work.entityId, selected.target.globalSequence)) {
+                return 'blocked';
+            }
+        }
+        const plan = planSelectedEntityApply(work, selected, this.#options.sha256Hex);
+        const adapter = this.#options.effects.adapterFor(plan.target.type);
+        let intent;
+        if (work.intent === null) {
+            intent = createApplyIntent({
+                authorityId: work.authorityId,
+                entityId: work.entityId,
+                fromSequence: work.resolvedThrough,
+                target: selected.target,
+                createdAt: this.#options.now(),
+            });
+            await this.#options.store.beginIntent(intent);
+        }
+        else {
+            intent = work.intent;
+        }
+        if (intent.phase !== 'revealed'
+            && await this.#options.store.hasLocalWorkAfter(intent.authorityId, intent.entityId, intent.throughSequence)) {
+            await this.#abandon(intent, plan, adapter);
+            return 'progress';
+        }
+        if (intent.phase === 'declared') {
+            const guard = await adapter.apply.guard(intent, plan);
+            if (guard.kind === 'retry')
+                return 'retry';
+            if (guard.kind === 'local-change') {
+                if (!await this.#options.store.hasLocalWorkAfter(intent.authorityId, intent.entityId, intent.throughSequence)) {
+                    await this.#options.effects.captureLocal(intent, plan, 'before-reveal');
+                }
+                if (!await this.#options.store.hasLocalWorkAfter(intent.authorityId, intent.entityId, intent.throughSequence)) {
+                    throw new Error('Apply local capture returned without durable Outbox work after its target');
+                }
+                await this.#abandon(intent, plan, adapter);
+                return 'progress';
+            }
+            if (guard.kind === 'already-target') {
+                // Revealed means visible ground owns the target, whether this pass
+                // installed it or the early guard proved it was already present.
+                intent = advanceApplyIntent(advanceApplyIntent(intent, 'prepared'), 'revealed');
+                await this.#options.store.setIntentPhase(intent);
+            }
+            else {
+                if (await this.#options.store.hasLocalWorkAfter(intent.authorityId, intent.entityId, intent.throughSequence)) {
+                    await this.#abandon(intent, plan, adapter);
+                    return 'progress';
+                }
+                await adapter.apply.prepare(intent, plan);
+                intent = advanceApplyIntent(intent, 'prepared');
+                await this.#options.store.setIntentPhase(intent);
+            }
+        }
+        if (intent.phase === 'prepared') {
+            if (await this.#options.store.hasLocalWorkAfter(intent.authorityId, intent.entityId, intent.throughSequence)) {
+                await this.#abandon(intent, plan, adapter);
+                return 'progress';
+            }
+            const guard = await adapter.apply.guard(intent, plan);
+            if (guard.kind === 'retry')
+                return 'retry';
+            if (guard.kind === 'local-change') {
+                if (!await this.#options.store.hasLocalWorkAfter(intent.authorityId, intent.entityId, intent.throughSequence)) {
+                    await this.#options.effects.captureLocal(intent, plan, 'before-reveal');
+                }
+                if (!await this.#options.store.hasLocalWorkAfter(intent.authorityId, intent.entityId, intent.throughSequence)) {
+                    throw new Error('Apply local capture returned without durable Outbox work after its target');
+                }
+                await this.#abandon(intent, plan, adapter);
+                return 'progress';
+            }
+            if (guard.kind === 'safe') {
+                // Close the window between the disk guard and the reveal as far as the
+                // durable local queue can prove. The host's recoverable replacement
+                // owns the remaining syscall-sized race.
+                if (await this.#options.store.hasLocalWorkAfter(intent.authorityId, intent.entityId, intent.throughSequence)) {
+                    await this.#abandon(intent, plan, adapter);
+                    return 'progress';
+                }
+                await adapter.apply.reveal(intent, plan);
+            }
+            intent = advanceApplyIntent(intent, 'revealed');
+            await this.#options.store.setIntentPhase(intent);
+        }
+        const verification = await adapter.verify.verify(intent, plan);
+        if (verification.kind === 'retry')
+            return 'retry';
+        if (verification.kind === 'local-change') {
+            if (!await this.#options.store.hasLocalWorkAfter(intent.authorityId, intent.entityId, intent.throughSequence)) {
+                await this.#options.effects.captureLocal(intent, plan, 'after-reveal');
+            }
+            if (!await this.#options.store.hasLocalWorkAfter(intent.authorityId, intent.entityId, intent.throughSequence)) {
+                throw new Error('Apply post-reveal capture returned without durable Outbox work after its target');
+            }
+            await adapter.apply.discard(intent, plan);
+            await this.#options.store.completeIntent(intent, { kind: 'superseded-by-local' });
+            return 'progress';
+        }
+        await adapter.apply.discard(intent, plan);
+        await this.#options.store.completeIntent(intent, { kind: 'materialized' });
+        return 'progress';
+    }
+    async #abandon(intent, plan, adapter) {
+        await adapter.apply.discard(intent, plan);
+        await this.#options.store.cancelIntent(intent);
+    }
+    #scheduleRetry() {
+        if (this.#stopped || this.#retry)
+            return;
+        const base = Math.min(ENTITY_APPLY_RETRY_MAX_MS, ENTITY_APPLY_RETRY_BASE_MS * (2 ** Math.min(this.#retryAttempt, 16)));
+        const random = Math.max(0, Math.min(1, this.#options.schedule.random()));
+        const delay = Math.round(base * (0.5 + random));
+        this.#retryAttempt += 1;
+        this.#retry = this.#options.schedule.schedule(delay, () => {
+            this.#retry = null;
+            this.#needsApply = true;
+            this.#kick();
+        });
+    }
+    #cancelRetry() {
+        this.#retry?.cancel();
+        this.#retry = null;
+    }
+}
+//# sourceMappingURL=rail.js.map

package/dist/apply/rail.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"rail.js","sourceRoot":"","sources":["../../src/apply/rail.ts"],"names":[],"mappings":"AAAA,wDAAwD;AAExD,OAAO,EACL,kBAAkB,EAClB,iBAAiB,GAMlB,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAAE,uBAAuB,EAAE,MAAM,YAAY,CAAC;AACrD,OAAO,EAAE,iBAAiB,EAAE,MAAM,gBAAgB,CAAC;AAEnD,MAAM,CAAC,MAAM,gCAAgC,GAAG,CAAC,CAAC;AAClD,MAAM,CAAC,MAAM,+BAA+B,GAAG,EAAE,CAAC;AAClD,MAAM,CAAC,MAAM,0BAA0B,GAAG,KAAK,CAAC;AAChD,MAAM,CAAC,MAAM,yBAAyB,GAAG,MAAM,CAAC;AAIhD,KAAK,UAAU,UAAU,CACvB,MAAoB,EACpB,WAAmB,EACnB,KAAoC;IAEpC,MAAM,OAAO,GAAG,IAAI,KAAK,CAAS,MAAM,CAAC,MAAM,CAAC,CAAC;IACjD,IAAI,MAAM,GAAG,CAAC,CAAC;IACf,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,GAAG,CAAC,WAAW,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,EAAE,KAAK,IAAI,EAAE;QACtF,OAAO,IAAI,EAAE,CAAC;YACZ,MAAM,KAAK,GAAG,MAAM,CAAC;YACrB,MAAM,IAAI,CAAC,CAAC;YACZ,IAAI,KAAK,IAAI,MAAM,CAAC,MAAM;gBAAE,OAAO;YACnC,OAAO,CAAC,KAAK,CAAC,GAAG,MAAM,KAAK,CAAC,MAAM,CAAC,KAAK,CAAE,CAAC,CAAC;QAC/C,CAAC;IACH,CAAC,CAAC,CAAC;IACH,MAAM,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IAC3B,OAAO,OAAO,CAAC;AACjB,CAAC;AAED;;;;GAIG;AACH,MAAM,OAAO,eAAe;IACjB,QAAQ,CAAyB;IACjC,YAAY,CAAS;IACrB,UAAU,CAAS;IACnB,kBAAkB,CAA2B;IAEtD,QAAQ,GAAG,KAAK,CAAC;IACjB,QAAQ,GAAG,KAAK,CAAC;IACjB,WAAW,GAAG,KAAK,CAAC;IACpB,eAAe,GAAG,KAAK,CAAC;IACxB,QAAQ,GAAyB,IAAI,CAAC;IACtC,MAAM,GAA8B,IAAI,CAAC;IACzC,aAAa,GAAG,CAAC,CAAC;IAElB,YAAY,OAA+B;QACzC,IAAI,CAAC,QAAQ,GAAG,OAAO,CAAC;QACxB,IAAI,CAAC,YAAY,GAAG,OAAO,CAAC,WAAW,IAAI,gCAAgC,CAAC;QAC5E,IAAI,CAAC,UAAU,GAAG,OAAO,CAAC,SAAS,IAAI,+BAA+B,CAAC;QACvE,IAAI,CAAC,kBAAkB,GAAG,OAAO,CAAC,iBAAiB,IAAI,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,CAAC;QACzE,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,IAAI,CAAC,YAAY,CAAC,IAAI,IAAI,CAAC,YAAY,GAAG,CAAC;eAChE,CAAC,MAAM,CAAC,aAAa,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,IAAI,CAAC,UAAU,GAAG,CAAC,EAAE,CAAC;YACnE,MAAM,IAAI,KAAK,CAAC,mEAAmE,CAAC,CAAC;QACvF,CAAC;IACH,CAAC;IAED,2EAA2E;IAC3E,KAAK,CAAC,KAAK;QACT,IAAI,IAAI,CAAC,QAAQ;YAAE,MAAM,IAAI,KAAK,CAAC,mCAAmC,CAAC,CAAC;QACxE,IAAI,IAAI,CAAC,QAAQ;YAAE,MAAM,IAAI,KAAK,CAAC,8BAA8B,CAAC,CAAC;QACnE,IAAI,CAAC,QAAQ,GAAG,IAAI,CAAC;QACrB,IAAI,CAAC,WAAW,GAAG,IAAI,CAAC;QACxB,MAAM,IAAI,CAAC,cAAc,EAAE,CAAC;IAC9B,CAAC;IAED,8DAA8D;IAC9D,gBAAgB;QACd,IAAI,IAAI,CAAC,QAAQ;YAAE,OAAO;QAC1B,IAAI,CAAC,WAAW,GAAG,IAAI,CAAC;QACxB,IAAI,IAAI,CAAC,QAAQ;YAAE,IAAI,CAAC,KAAK,EAAE,CAAC;IAClC,CAAC;IAED,uEAAuE;IACvE,iBAAiB;QACf,IAAI,CAAC,gBAAgB,EAAE,CAAC;IAC1B,CAAC;IAED,8EAA8E;IAC9E,KAAK,CAAC,KAAK;QACT,IAAI,CAAC,IAAI,CAAC,QAAQ;YAAE,MAAM,IAAI,KAAK,CAAC,mCAAmC,CAAC,CAAC;QACzE,IAAI,IAAI,CAAC,QAAQ;YAAE,OAAO;QAC1B,IAAI,CAAC,WAAW,GAAG,IAAI,CAAC;QACxB,MAAM,IAAI,CAAC,cAAc,EAAE,CAAC;IAC9B,CAAC;IAED,KAAK,CAAC,IAAI;QACR,IAAI,IAAI,CAAC,QAAQ;YAAE,OAAO;QAC1B,IAAI,CAAC,QAAQ,GAAG,IAAI,CAAC;QACrB,IAAI,CAAC,YAAY,EAAE,CAAC;QACpB,MAAM,IAAI,CAAC,QAAQ,EAAE,KAAK,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,CAAC;IAC9C,CAAC;IAED,KAAK,CAAC,cAAc;QAClB,IAAI,CAAC,YAAY,EAAE,CAAC;QACpB,IAAI,CAAC;YACH,uEAAuE;YACvE,6DAA6D;YAC7D,GAAG,CAAC;gBACF,MAAM,IAAI,CAAC,UAAU,EAAE,CAAC;YAC1B,CAAC,QAAQ,CAAC,IAAI,CAAC,QAAQ,IAAI,CAAC,IAAI,CAAC,WAAW,IAAI,IAAI,CAAC,QAAQ,KAAK,IAAI,CAAC,EAAE;YACzE,IAAI,IAAI,CAAC,eAAe;gBAAE,IAAI,CAAC,cAAc,EAAE,CAAC;;gBAC3C,IAAI,CAAC,aAAa,GAAG,CAAC,CAAC;QAC9B,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,IAAI,CAAC,cAAc,EAAE,CAAC;YACtB,MAAM,KAAK,CAAC;QACd,CAAC;IACH,CAAC;IAED,KAAK;QACH,IAAI,CAAC,IAAI,CAAC,QAAQ,IAAI,IAAI,CAAC,QAAQ;YAAE,OAAO;QAC5C,IAAI,CAAC,YAAY,EAAE,CAAC;QACpB,KAAK,IAAI,CAAC,UAAU,EAAE,CAAC,IAAI,CAAC,GAAG,EAAE;YAC/B,IAAI,IAAI,CAAC,eAAe;gBAAE,IAAI,CAAC,cAAc,EAAE,CAAC;;gBAC3C,IAAI,CAAC,aAAa,GAAG,CAAC,CAAC;QAC9B,CAAC,EAAE,CAAC,KAAc,EAAE,EAAE;YACpB,IAAI,CAAC,kBAAkB,CAAC,KAAK,CAAC,CAAC;YAC/B,IAAI,CAAC,cAAc,EAAE,CAAC;QACxB,CAAC,CAAC,CAAC;IACL,CAAC;IAED,UAAU;QACR,IAAI,IAAI,CAAC,QAAQ;YAAE,OAAO,IAAI,CAAC,QAAQ,CAAC;QACxC,MAAM,OAAO,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC;QAC9B,IAAI,CAAC,QAAQ,GAAG,OAAO,CAAC;QACxB,KAAK,OAAO,CAAC,OAAO,CAAC,GAAG,EAAE;YACxB,IAAI,IAAI,CAAC,QAAQ,KAAK,OAAO;gBAAE,IAAI,CAAC,QAAQ,GAAG,IAAI,CAAC;YACpD,IAAI,CAAC,IAAI,CAAC,QAAQ,IAAI,IAAI,CAAC,WAAW;gBAAE,IAAI,CAAC,KAAK,EAAE,CAAC;QACvD,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,CAAC;QAC1B,OAAO,OAAO,CAAC;IACjB,CAAC;IAED,KAAK,CAAC,MAAM;QACV,IAAI,CAAC,eAAe,GAAG,KAAK,CAAC;QAC7B,OAAO,CAAC,IAAI,CAAC,QAAQ,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;YAC1C,IAAI,CAAC,WAAW,GAAG,KAAK,CAAC;YACzB,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAU,CAAC;YACnC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;YAClC,IAAI,WAAW,GAAkB,IAAI,CAAC;YACtC,IAAI,YAAY,GAAG,KAAK,CAAC;YACzB,GAAG,CAAC;gBACF,MAAM,IAAI,GAAG,MAAM,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,aAAa,CAAC,IAAI,CAAC,UAAU,EAAE,WAAW,CAAC,CAAC;gBACnF,IAAI,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC;uBACjC,CAAC,IAAI,CAAC,UAAU,KAAK,IAAI;2BACvB,CAAC,OAAO,IAAI,CAAC,UAAU,KAAK,QAAQ,IAAI,IAAI,CAAC,UAAU,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;oBAC9E,MAAM,IAAI,KAAK,CAAC,kDAAkD,CAAC,CAAC;gBACtE,CAAC;gBACD,IAAI,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC,UAAU;uBACjC,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,IAAI,IAAI,CAAC,UAAU,KAAK,IAAI,CAAC,EAAE,CAAC;oBAC1D,MAAM,IAAI,KAAK,CAAC,iDAAiD,CAAC,CAAC;gBACrE,CAAC;gBACD,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;oBAC7B,IAAI,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;wBAChC,MAAM,IAAI,KAAK,CAAC,+BAA+B,IAAI,CAAC,QAAQ,oBAAoB,CAAC,CAAC;oBACpF,CAAC;oBACD,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;gBAC9B,CAAC;gBACD,MAAM,OAAO,GAAG,MAAM,UAAU,CAC9B,IAAI,CAAC,IAAI,EACT,IAAI,CAAC,YAAY,EACjB,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAC/B,CAAC;gBACF,IAAI,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC;oBAAE,IAAI,CAAC,eAAe,GAAG,IAAI,CAAC;gBAC3D,IAAI,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAC;oBAAE,YAAY,GAAG,IAAI,CAAC;gBACtD,WAAW,GAAG,IAAI,CAAC,UAAU,CAAC;gBAC9B,IAAI,WAAW,KAAK,IAAI,IAAI,OAAO,CAAC,GAAG,CAAC,WAAW,CAAC,EAAE,CAAC;oBACrD,MAAM,IAAI,KAAK,CAAC,gDAAgD,CAAC,CAAC;gBACpE,CAAC;gBACD,IAAI,WAAW,KAAK,IAAI;oBAAE,OAAO,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;YACrD,CAAC,QAAQ,CAAC,IAAI,CAAC,QAAQ,IAAI,WAAW,KAAK,IAAI,EAAE;YACjD,IAAI,YAAY;gBAAE,IAAI,CAAC,WAAW,GAAG,IAAI,CAAC;QAC5C,CAAC;IACH,CAAC;IAED,KAAK,CAAC,SAAS,CAAC,IAAqB;QACnC,MAAM,QAAQ,GAAG,iBAAiB,CAAC,IAAI,CAAC,CAAC;QACzC,IAAI,IAAI,CAAC,MAAM,KAAK,IAAI,EAAE,CAAC;YACzB,IAAI,MAAM,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,iBAAiB,CAC7C,IAAI,CAAC,WAAW,EAAE,IAAI,CAAC,QAAQ,EAAE,QAAQ,CAAC,MAAM,CAAC,cAAc,CAChE,EAAE,CAAC;gBACF,OAAO,SAAS,CAAC;YACnB,CAAC;QACH,CAAC;QAED,MAAM,IAAI,GAAG,uBAAuB,CAAC,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC;QAC9E,MAAM,OAAO,GAAG,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QACnE,IAAI,MAAyB,CAAC;QAC9B,IAAI,IAAI,CAAC,MAAM,KAAK,IAAI,EAAE,CAAC;YACzB,MAAM,GAAG,iBAAiB,CAAC;gBACzB,WAAW,EAAE,IAAI,CAAC,WAAW;gBAC7B,QAAQ,EAAE,IAAI,CAAC,QAAQ;gBACvB,YAAY,EAAE,IAAI,CAAC,eAAe;gBAClC,MAAM,EAAE,QAAQ,CAAC,MAAM;gBACvB,SAAS,EAAE,IAAI,CAAC,QAAQ,CAAC,GAAG,EAAE;aAC/B,CAAC,CAAC;YACH,MAAM,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC;QAChD,CAAC;aAAM,CAAC;YACN,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC;QACvB,CAAC;QAED,IAAI,MAAM,CAAC,KAAK,KAAK,UAAU;eAC1B,MAAM,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,iBAAiB,CAC5C,MAAM,CAAC,WAAW,EAAE,MAAM,CAAC,QAAQ,EAAE,MAAM,CAAC,eAAe,CAC5D,EAAE,CAAC;YACJ,MAAM,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;YAC3C,OAAO,UAAU,CAAC;QACpB,CAAC;QAED,IAAI,MAAM,CAAC,KAAK,KAAK,UAAU,EAAE,CAAC;YAChC,MAAM,KAAK,GAAG,MAAM,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;YACtD,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO;gBAAE,OAAO,OAAO,CAAC;YAC3C,IAAI,KAAK,CAAC,IAAI,KAAK,cAAc,EAAE,CAAC;gBAClC,IAAI,CAAC,MAAM,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,iBAAiB,CAC9C,MAAM,CAAC,WAAW,EAAE,MAAM,CAAC,QAAQ,EAAE,MAAM,CAAC,eAAe,CAC5D,EAAE,CAAC;oBACF,MAAM,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,YAAY,CAAC,MAAM,EAAE,IAAI,EAAE,eAAe,CAAC,CAAC;gBAC1E,CAAC;gBACD,IAAI,CAAC,MAAM,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,iBAAiB,CAC9C,MAAM,CAAC,WAAW,EAAE,MAAM,CAAC,QAAQ,EAAE,MAAM,CAAC,eAAe,CAC5D,EAAE,CAAC;oBACF,MAAM,IAAI,KAAK,CAAC,2EAA2E,CAAC,CAAC;gBAC/F,CAAC;gBACD,MAAM,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;gBAC3C,OAAO,UAAU,CAAC;YACpB,CAAC;YACD,IAAI,KAAK,CAAC,IAAI,KAAK,gBAAgB,EAAE,CAAC;gBACpC,mEAAmE;gBACnE,iEAAiE;gBACjE,MAAM,GAAG,kBAAkB,CAAC,kBAAkB,CAAC,MAAM,EAAE,UAAU,CAAC,EAAE,UAAU,CAAC,CAAC;gBAChF,MAAM,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC;YACnD,CAAC;iBAAM,CAAC;gBACN,IAAI,MAAM,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,iBAAiB,CAC7C,MAAM,CAAC,WAAW,EAAE,MAAM,CAAC,QAAQ,EAAE,MAAM,CAAC,eAAe,CAC5D,EAAE,CAAC;oBACF,MAAM,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;oBAC3C,OAAO,UAAU,CAAC;gBACpB,CAAC;gBACD,MAAM,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;gBAC1C,MAAM,GAAG,kBAAkB,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;gBAChD,MAAM,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC;YACnD,CAAC;QACH,CAAC;QAED,IAAI,MAAM,CAAC,KAAK,KAAK,UAAU,EAAE,CAAC;YAChC,IAAI,MAAM,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,iBAAiB,CAC7C,MAAM,CAAC,WAAW,EAAE,MAAM,CAAC,QAAQ,EAAE,MAAM,CAAC,eAAe,CAC5D,EAAE,CAAC;gBACF,MAAM,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;gBAC3C,OAAO,UAAU,CAAC;YACpB,CAAC;YACD,MAAM,KAAK,GAAG,MAAM,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;YACtD,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO;gBAAE,OAAO,OAAO,CAAC;YAC3C,IAAI,KAAK,CAAC,IAAI,KAAK,cAAc,EAAE,CAAC;gBAClC,IAAI,CAAC,MAAM,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,iBAAiB,CAC9C,MAAM,CAAC,WAAW,EAAE,MAAM,CAAC,QAAQ,EAAE,MAAM,CAAC,eAAe,CAC5D,EAAE,CAAC;oBACF,MAAM,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,YAAY,CAAC,MAAM,EAAE,IAAI,EAAE,eAAe,CAAC,CAAC;gBAC1E,CAAC;gBACD,IAAI,CAAC,MAAM,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,iBAAiB,CAC9C,MAAM,CAAC,WAAW,EAAE,MAAM,CAAC,QAAQ,EAAE,MAAM,CAAC,eAAe,CAC5D,EAAE,CAAC;oBACF,MAAM,IAAI,KAAK,CAAC,2EAA2E,CAAC,CAAC;gBAC/F,CAAC;gBACD,MAAM,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;gBAC3C,OAAO,UAAU,CAAC;YACpB,CAAC;YACD,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;gBAC1B,uEAAuE;gBACvE,oEAAoE;gBACpE,yCAAyC;gBACzC,IAAI,MAAM,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,iBAAiB,CAC7C,MAAM,CAAC,WAAW,EAAE,MAAM,CAAC,QAAQ,EAAE,MAAM,CAAC,eAAe,CAC5D,EAAE,CAAC;oBACF,MAAM,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;oBAC3C,OAAO,UAAU,CAAC;gBACpB,CAAC;gBACD,MAAM,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;YAC3C,CAAC;YACD,MAAM,GAAG,kBAAkB,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;YAChD,MAAM,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC;QACnD,CAAC;QAED,MAAM,YAAY,GAAG,MAAM,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;QAC/D,IAAI,YAAY,CAAC,IAAI,KAAK,OAAO;YAAE,OAAO,OAAO,CAAC;QAClD,IAAI,YAAY,CAAC,IAAI,KAAK,cAAc,EAAE,CAAC;YACzC,IAAI,CAAC,MAAM,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,iBAAiB,CAC9C,MAAM,CAAC,WAAW,EAAE,MAAM,CAAC,QAAQ,EAAE,MAAM,CAAC,eAAe,CAC5D,EAAE,CAAC;gBACF,MAAM,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,YAAY,CAAC,MAAM,EAAE,IAAI,EAAE,cAAc,CAAC,CAAC;YACzE,CAAC;YACD,IAAI,CAAC,MAAM,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,iBAAiB,CAC9C,MAAM,CAAC,WAAW,EAAE,MAAM,CAAC,QAAQ,EAAE,MAAM,CAAC,eAAe,CAC5D,EAAE,CAAC;gBACF,MAAM,IAAI,KAAK,CAAC,iFAAiF,CAAC,CAAC;YACrG,CAAC;YACD,MAAM,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;YAC1C,MAAM,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,cAAc,CAAC,MAAM,EAAE,EAAE,IAAI,EAAE,qBAAqB,EAAE,CAAC,CAAC;YAClF,OAAO,UAAU,CAAC;QACpB,CAAC;QACD,MAAM,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;QAC1C,MAAM,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,cAAc,CAAC,MAAM,EAAE,EAAE,IAAI,EAAE,cAAc,EAAE,CAAC,CAAC;QAC3E,OAAO,UAAU,CAAC;IACpB,CAAC;IAED,KAAK,CAAC,QAAQ,CACZ,MAAyB,EACzB,IAAqB,EACrB,OAAsC;QAEtC,MAAM,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;QAC1C,MAAM,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC;IACjD,CAAC;IAED,cAAc;QACZ,IAAI,IAAI,CAAC,QAAQ,IAAI,IAAI,CAAC,MAAM;YAAE,OAAO;QACzC,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CACnB,yBAAyB,EACzB,0BAA0B,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,aAAa,EAAE,EAAE,CAAC,CAAC,CACrE,CAAC;QACF,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC;QACzE,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,GAAG,CAAC,GAAG,GAAG,MAAM,CAAC,CAAC,CAAC;QAChD,IAAI,CAAC,aAAa,IAAI,CAAC,CAAC;QACxB,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,QAAQ,CAAC,KAAK,EAAE,GAAG,EAAE;YACxD,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC;YACnB,IAAI,CAAC,WAAW,GAAG,IAAI,CAAC;YACxB,IAAI,CAAC,KAAK,EAAE,CAAC;QACf,CAAC,CAAC,CAAC;IACL,CAAC;IAED,YAAY;QACV,IAAI,CAAC,MAAM,EAAE,MAAM,EAAE,CAAC;QACtB,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC;IACrB,CAAC;CACF"}

package/dist/apply/repository-result.d.ts

@@ -0,0 +1,25 @@
+/** Portable proof of one incremental Git Card + Checkpoint transport chain. */
+import { type RepoIdentityEntry, type RepositoryTransport } from '../entities/repo-states.js';
+import type { Sha256Hex } from '../entities/types.js';
+import type { RepositoryApplyPlan } from './contracts.js';
+export interface SealedRepositoryApplyNode {
+    readonly transportVersion: string;
+    readonly bytes: Uint8Array;
+}
+export interface RepositoryApplyBase {
+    readonly transportVersion: string | null;
+    readonly identity: readonly RepoIdentityEntry[] | null;
+}
+export interface PreparedRepositoryResult {
+    readonly transports: readonly RepositoryTransport[];
+    readonly latest: RepositoryTransport;
+    readonly transportVersion: string;
+    readonly identity: readonly RepoIdentityEntry[];
+}
+/**
+ * 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.
+ */
+export declare function prepareRepositoryResult(plan: RepositoryApplyPlan, nodes: readonly SealedRepositoryApplyNode[], base: RepositoryApplyBase, sha256Hex: Sha256Hex): PreparedRepositoryResult;
+//# sourceMappingURL=repository-result.d.ts.map

package/dist/apply/repository-result.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"repository-result.d.ts","sourceRoot":"","sources":["../../src/apply/repository-result.ts"],"names":[],"mappings":"AAAA,+EAA+E;AAE/E,OAAO,EAML,KAAK,iBAAiB,EACtB,KAAK,mBAAmB,EACzB,MAAM,4BAA4B,CAAC;AACpC,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,sBAAsB,CAAC;AACtD,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,gBAAgB,CAAC;AAE1D,MAAM,WAAW,yBAAyB;IACxC,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;IAClC,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAC;CAC5B;AAED,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,gBAAgB,EAAE,MAAM,GAAG,IAAI,CAAC;IACzC,QAAQ,CAAC,QAAQ,EAAE,SAAS,iBAAiB,EAAE,GAAG,IAAI,CAAC;CACxD;AAED,MAAM,WAAW,wBAAwB;IACvC,QAAQ,CAAC,UAAU,EAAE,SAAS,mBAAmB,EAAE,CAAC;IACpD,QAAQ,CAAC,MAAM,EAAE,mBAAmB,CAAC;IACrC,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;IAClC,QAAQ,CAAC,QAAQ,EAAE,SAAS,iBAAiB,EAAE,CAAC;CACjD;AAsCD;;;;GAIG;AACH,wBAAgB,uBAAuB,CACrC,IAAI,EAAE,mBAAmB,EACzB,KAAK,EAAE,SAAS,yBAAyB,EAAE,EAC3C,IAAI,EAAE,mBAAmB,EACzB,SAAS,EAAE,SAAS,GACnB,wBAAwB,CAuC1B"}