@bsv/overlay 2.3.1 → 2.6.1

package/dist/cjs/src/storage/mongo/MongoAdmissionPlan.js

@@ -0,0 +1,229 @@
+"use strict";
+Object.defineProperty(exports, "__esModule", { value: true });
+exports.propagationOutboxIntents = exports.lookupOutboxIntents = exports.admissionReceiptFor = exports.validateAdmissionPlan = exports.isBoundSteak = exports.admissionPlanPayloads = exports.samePayload = exports.sameScope = exports.rejectAdmission = exports.AdmissionRejectedError = void 0;
+const AdmissionStorage_js_1 = require("../AdmissionStorage.js");
+class AdmissionRejectedError extends Error {
+    constructor(code) {
+        super(code);
+        this.name = 'AdmissionRejectedError';
+        this.code = code;
+    }
+}
+exports.AdmissionRejectedError = AdmissionRejectedError;
+const rejectAdmission = (code) => {
+    throw new AdmissionRejectedError(code);
+};
+exports.rejectAdmission = rejectAdmission;
+const isHash = (value) => /^[0-9a-f]{64}$/.test(value);
+const isUint64 = (value) => {
+    try {
+        (0, AdmissionStorage_js_1.parseStorageUint64)(value);
+        return true;
+    }
+    catch {
+        return false;
+    }
+};
+const isWireOutpoint = (outpoint) => {
+    if (!isHash(outpoint.txid))
+        return false;
+    try {
+        (0, AdmissionStorage_js_1.parseStorageOutputIndex)(outpoint.outputIndex);
+        return true;
+    }
+    catch {
+        return false;
+    }
+};
+const sameScope = (left, right) => left.network === right.network &&
+    left.genesisHash === right.genesisHash &&
+    left.nodeId === right.nodeId;
+exports.sameScope = sameScope;
+const samePayload = (left, right) => (left === null || left === void 0 ? void 0 : left.digest) === right.digest &&
+    (left === null || left === void 0 ? void 0 : left.byteLength) === right.byteLength &&
+    (left === null || left === void 0 ? void 0 : left.kind) === right.kind;
+exports.samePayload = samePayload;
+const admissionPlanPayloads = (plan) => {
+    const references = [...plan.payloads];
+    for (const decision of plan.decisions) {
+        for (const output of decision.outputs)
+            references.push(output.script.payload);
+        if (decision.applied.proof !== undefined)
+            references.push(decision.applied.proof);
+    }
+    for (const intent of plan.outbox)
+        references.push(...intent.payloads);
+    return references;
+};
+exports.admissionPlanPayloads = admissionPlanPayloads;
+const isSteakEntry = (entry) => {
+    if (typeof entry !== 'object' || entry === null || Array.isArray(entry))
+        return false;
+    const result = entry;
+    if (!Array.isArray(result.outputsToAdmit))
+        return false;
+    if (result.coinsToRetain !== undefined && !Array.isArray(result.coinsToRetain))
+        return false;
+    if (result.coinsRemoved !== undefined && !Array.isArray(result.coinsRemoved))
+        return false;
+    return !result.outputsToAdmit.some(value => typeof value !== 'number' || !Number.isInteger(value) || value < 0 || value > 4294967295);
+};
+const isBoundSteak = (plan) => {
+    if (typeof plan.steak !== 'string' || !plan.steak.isWellFormed())
+        return false;
+    let steak;
+    try {
+        steak = JSON.parse(plan.steak);
+    }
+    catch {
+        return false;
+    }
+    if (typeof steak !== 'object' || steak === null || Array.isArray(steak))
+        return false;
+    const record = steak;
+    for (const entry of Object.values(record)) {
+        if (!isSteakEntry(entry))
+            return false;
+    }
+    return plan.decisions.every(decision => {
+        const entry = record[decision.topic];
+        if (!isSteakEntry(entry))
+            return false;
+        try {
+            const expected = decision.outputs.map(output => (0, AdmissionStorage_js_1.parseStorageOutputIndex)(output.outputIndex));
+            return JSON.stringify(entry.outputsToAdmit) === JSON.stringify(expected);
+        }
+        catch {
+            return false;
+        }
+    });
+};
+exports.isBoundSteak = isBoundSteak;
+const hasInvalidTopicSet = (plan) => {
+    const topics = new Set(plan.identity.topics.map(item => item.topic));
+    const decisionTopics = new Set(plan.decisions.map(decision => decision.topic));
+    return (topics.size !== plan.identity.topics.length ||
+        plan.decisions.length !== topics.size ||
+        decisionTopics.size !== plan.decisions.length ||
+        decisionTopics.size !== topics.size ||
+        plan.decisions.some(decision => !topics.has(decision.topic)) ||
+        new Set(plan.outbox.map(intent => intent.eventId)).size !== plan.outbox.length);
+};
+const hasHistoricalPropagation = (plan) => plan.identity.mode === 'historical' && plan.outbox.some(intent => intent.kind === 'propagation');
+const identityRejection = (plan) => {
+    let semanticDigest;
+    try {
+        semanticDigest = (0, AdmissionStorage_js_1.admissionSemanticDigest)(plan.identity);
+    }
+    catch {
+        return 'digest-mismatch';
+    }
+    if (plan.key.semanticDigest !== semanticDigest ||
+        !(0, exports.sameScope)(plan.key.scope, plan.identity.scope)) {
+        return 'digest-mismatch';
+    }
+    if (hasInvalidTopicSet(plan) || hasHistoricalPropagation(plan))
+        return 'invalid-plan';
+    return undefined;
+};
+const hasUnreadyPayloads = (plan) => (0, exports.admissionPlanPayloads)(plan).some(ref => !isHash(ref.digest) || !isUint64(ref.byteLength) || ref.digest.length === 0);
+const isInvalidOutboxIntent = (intent) => intent.eventId.length === 0 ||
+    !intent.eventId.isWellFormed() ||
+    intent.target.length === 0 ||
+    !intent.target.isWellFormed() ||
+    (intent.kind !== 'lookup' && intent.kind !== 'propagation');
+const isInvalidSpend = (spend, txid) => !isWireOutpoint(spend.outpoint) || spend.spender !== txid;
+const isInvalidEdge = (edge) => !isWireOutpoint(edge.source) || !isWireOutpoint(edge.consumer);
+const isInvalidOutput = (output, txid) => {
+    if (output.txid !== txid || !isWireOutpoint(output))
+        return true;
+    if (![output.satoshis, output.score, output.script.offset, output.script.byteLength].every(isUint64)) {
+        return true;
+    }
+    if (!isHash(output.script.payload.digest) || !isUint64(output.script.payload.byteLength)) {
+        return true;
+    }
+    return ((0, AdmissionStorage_js_1.parseStorageUint64)(output.script.offset) + (0, AdmissionStorage_js_1.parseStorageUint64)(output.script.byteLength) >
+        (0, AdmissionStorage_js_1.parseStorageUint64)(output.script.payload.byteLength));
+};
+const isInvalidApplied = (applied, txid) => {
+    if (applied.txid !== txid || !isHash(applied.txid))
+        return true;
+    if (applied.firstSeenHeight !== undefined && !isUint64(applied.firstSeenHeight))
+        return true;
+    if (applied.proof !== undefined &&
+        (!isHash(applied.proof.digest) || !isUint64(applied.proof.byteLength))) {
+        return true;
+    }
+    return (applied.block !== undefined &&
+        (![applied.block.height, applied.block.index].every(isUint64) ||
+            !isHash(applied.block.hash) ||
+            !isHash(applied.block.merkleRoot)));
+};
+const isInvalidHistoryUpdate = (decision) => {
+    const update = decision.historyUpdate;
+    if (update === undefined)
+        return false;
+    return (!isUint64(update.nextTopicHistoryGeneration) ||
+        !isUint64(update.affectedFromHeight) ||
+        (0, AdmissionStorage_js_1.parseStorageUint64)(update.nextTopicHistoryGeneration) <=
+            (0, AdmissionStorage_js_1.parseStorageUint64)(decision.expectedHistory.topicHistoryGeneration));
+};
+const isInvalidDecision = (decision, txid) => {
+    if (!isUint64(decision.expectedHistory.chainEpoch) ||
+        !isUint64(decision.expectedHistory.topicHistoryGeneration)) {
+        return true;
+    }
+    if (decision.spends.some(spend => isInvalidSpend(spend, txid)))
+        return true;
+    if (decision.evictions.some(eviction => !isWireOutpoint(eviction)))
+        return true;
+    if (decision.outputs.some(output => isInvalidOutput(output, txid)))
+        return true;
+    if (decision.edges.some(isInvalidEdge))
+        return true;
+    return isInvalidApplied(decision.applied, txid) || isInvalidHistoryUpdate(decision);
+};
+const validateAdmissionPlan = (plan) => {
+    const rejected = identityRejection(plan);
+    if (rejected !== undefined)
+        return rejected;
+    if (hasUnreadyPayloads(plan))
+        return 'payload-not-ready';
+    if (!(0, exports.isBoundSteak)(plan))
+        return 'invalid-plan';
+    if (plan.outbox.some(isInvalidOutboxIntent))
+        return 'invalid-plan';
+    if (plan.decisions.some(decision => isInvalidDecision(decision, plan.identity.txid))) {
+        return 'invalid-plan';
+    }
+    return undefined;
+};
+exports.validateAdmissionPlan = validateAdmissionPlan;
+const admissionReceiptFor = (plan, enlistedTargets) => {
+    const enlisted = new Set(enlistedTargets);
+    const lookupTargets = [
+        ...new Set(plan.outbox.filter(intent => intent.kind === 'lookup').map(intent => intent.target))
+    ];
+    if (lookupTargets.some(target => enlisted.has(target)))
+        (0, exports.rejectAdmission)('invalid-plan');
+    return {
+        operationId: plan.key.operationId,
+        semanticDigest: plan.key.semanticDigest,
+        durability: 'atomic-local',
+        steak: plan.steak,
+        indexes: [
+            ...enlistedTargets.map(target => ({ target, state: 'visible' })),
+            ...lookupTargets.map(target => ({ target, state: 'pending' }))
+        ],
+        propagation: plan.outbox.some(intent => intent.kind === 'propagation')
+            ? 'pending'
+            : 'not-requested'
+    };
+};
+exports.admissionReceiptFor = admissionReceiptFor;
+const lookupOutboxIntents = (plan) => plan.outbox.filter(intent => intent.kind === 'lookup');
+exports.lookupOutboxIntents = lookupOutboxIntents;
+const propagationOutboxIntents = (plan) => plan.outbox.filter(intent => intent.kind === 'propagation');
+exports.propagationOutboxIntents = propagationOutboxIntents;
+//# sourceMappingURL=MongoAdmissionPlan.js.map

package/dist/cjs/src/storage/mongo/MongoAdmissionPlan.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"MongoAdmissionPlan.js","sourceRoot":"","sources":["../../../../../src/storage/mongo/MongoAdmissionPlan.ts"],"names":[],"mappings":";;;AAAA,gEAa+B;AAI/B,4BAAoC,SAAQ,KAAK;IAG/C,YAAY,IAA4B;QACtC,KAAK,CAAC,IAAI,CAAC,CAAA;QACX,IAAI,CAAC,IAAI,GAAG,wBAAwB,CAAA;QACpC,IAAI,CAAC,IAAI,GAAG,IAAI,CAAA;IAClB,CAAC;CACF;;AAEM,MAAM,eAAe,GAAG,CAAC,IAA4B,EAAS,EAAE;IACrE,MAAM,IAAI,sBAAsB,CAAC,IAAI,CAAC,CAAA;AACxC,CAAC,CAAA;AAFY,QAAA,eAAe,GAAf,eAAe,CAE3B;AAED,MAAM,MAAM,GAAG,CAAC,KAAa,EAAW,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;AAEvE,MAAM,QAAQ,GAAG,CAAC,KAAa,EAAW,EAAE;IAC1C,IAAI,CAAC;QACH,IAAA,wCAAkB,EAAC,KAAK,CAAC,CAAA;QACzB,OAAO,IAAI,CAAA;IACb,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,KAAK,CAAA;IACd,CAAC;AACH,CAAC,CAAA;AAED,MAAM,cAAc,GAAG,CAAC,QAA2B,EAAW,EAAE;IAC9D,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC;QAAE,OAAO,KAAK,CAAA;IACxC,IAAI,CAAC;QACH,IAAA,6CAAuB,EAAC,QAAQ,CAAC,WAAW,CAAC,CAAA;QAC7C,OAAO,IAAI,CAAA;IACb,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,KAAK,CAAA;IACd,CAAC;AACH,CAAC,CAAA;AAEM,MAAM,SAAS,GAAG,CAAC,IAAkB,EAAE,KAAmB,EAAW,EAAE,CAC5E,IAAI,CAAC,OAAO,KAAK,KAAK,CAAC,OAAO;IAC9B,IAAI,CAAC,WAAW,KAAK,KAAK,CAAC,WAAW;IACtC,IAAI,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM,CAAA;AAHjB,QAAA,SAAS,GAAT,SAAS,CAGQ;AAEvB,MAAM,WAAW,GAAG,CACzB,IAAqC,EACrC,KAA0B,EACjB,EAAE,CACX,CAAA,IAAI,aAAJ,IAAI,uBAAJ,IAAI,CAAE,MAAM,MAAK,KAAK,CAAC,MAAM;IAC7B,CAAA,IAAI,aAAJ,IAAI,uBAAJ,IAAI,CAAE,UAAU,MAAK,KAAK,CAAC,UAAU;IACrC,CAAA,IAAI,aAAJ,IAAI,uBAAJ,IAAI,CAAE,IAAI,MAAK,KAAK,CAAC,IAAI,CAAA;AANd,QAAA,WAAW,GAAX,WAAW,CAMG;AAEpB,MAAM,qBAAqB,GAAG,CAAC,IAAqB,EAAyB,EAAE;IACpF,MAAM,UAAU,GAAG,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAA;IACrC,KAAK,MAAM,QAAQ,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;QACtC,KAAK,MAAM,MAAM,IAAI,QAAQ,CAAC,OAAO;YAAE,UAAU,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAA;QAC7E,IAAI,QAAQ,CAAC,OAAO,CAAC,KAAK,KAAK,SAAS;YAAE,UAAU,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,KAAK,CAAC,CAAA;IACnF,CAAC;IACD,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,MAAM;QAAE,UAAU,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAA;IACrE,OAAO,UAAU,CAAA;AACnB,CAAC,CAAA;AARY,QAAA,qBAAqB,GAArB,qBAAqB,CAQjC;AAED,MAAM,YAAY,GAAG,CAAC,KAAc,EAAyC,EAAE;IAC7E,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAA;IACrF,MAAM,MAAM,GAAG,KAAgC,CAAA;IAC/C,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,cAAc,CAAC;QAAE,OAAO,KAAK,CAAA;IACvD,IAAI,MAAM,CAAC,aAAa,KAAK,SAAS,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,aAAa,CAAC;QAAE,OAAO,KAAK,CAAA;IAC5F,IAAI,MAAM,CAAC,YAAY,KAAK,SAAS,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,YAAY,CAAC;QAAE,OAAO,KAAK,CAAA;IAC1F,OAAO,CAAC,MAAM,CAAC,cAAc,CAAC,IAAI,CAChC,KAAK,CAAC,EAAE,CACN,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC,IAAI,KAAK,GAAG,UAAU,CAC3F,CAAA;AACH,CAAC,CAAA;AAEM,MAAM,YAAY,GAAG,CAAC,IAAqB,EAAW,EAAE;IAC7D,IAAI,OAAO,IAAI,CAAC,KAAK,KAAK,QAAQ,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,YAAY,EAAE;QAAE,OAAO,KAAK,CAAA;IAC9E,IAAI,KAAc,CAAA;IAClB,IAAI,CAAC;QACH,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;IAChC,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,KAAK,CAAA;IACd,CAAC;IACD,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAA;IACrF,MAAM,MAAM,GAAG,KAAgC,CAAA;IAC/C,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;QAC1C,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC;YAAE,OAAO,KAAK,CAAA;IACxC,CAAC;IACD,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE;QACrC,MAAM,KAAK,GAAG,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAA;QACpC,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC;YAAE,OAAO,KAAK,CAAA;QACtC,IAAI,CAAC;YACH,MAAM,QAAQ,GAAG,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,IAAA,6CAAuB,EAAC,MAAM,CAAC,WAAW,CAAC,CAAC,CAAA;YAC5F,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,cAAc,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAA;QAC1E,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,KAAK,CAAA;QACd,CAAC;IACH,CAAC,CAAC,CAAA;AACJ,CAAC,CAAA;AAvBY,QAAA,YAAY,GAAZ,YAAY,CAuBxB;AAED,MAAM,kBAAkB,GAAG,CAAC,IAAqB,EAAW,EAAE;IAC5D,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAA;IACpE,MAAM,cAAc,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAA;IAC9E,OAAO,CACL,MAAM,CAAC,IAAI,KAAK,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM;QAC3C,IAAI,CAAC,SAAS,CAAC,MAAM,KAAK,MAAM,CAAC,IAAI;QACrC,cAAc,CAAC,IAAI,KAAK,IAAI,CAAC,SAAS,CAAC,MAAM;QAC7C,cAAc,CAAC,IAAI,KAAK,MAAM,CAAC,IAAI;QACnC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;QAC5D,IAAI,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,MAAM,CAAC,MAAM,CAC/E,CAAA;AACH,CAAC,CAAA;AAED,MAAM,wBAAwB,GAAG,CAAC,IAAqB,EAAW,EAAE,CAClE,IAAI,CAAC,QAAQ,CAAC,IAAI,KAAK,YAAY,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,IAAI,KAAK,aAAa,CAAC,CAAA;AAElG,MAAM,iBAAiB,GAAG,CAAC,IAAqB,EAAsC,EAAE;IACtF,IAAI,cAAsB,CAAA;IAC1B,IAAI,CAAC;QACH,cAAc,GAAG,IAAA,6CAAuB,EAAC,IAAI,CAAC,QAAQ,CAAC,CAAA;IACzD,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,iBAAiB,CAAA;IAC1B,CAAC;IACD,IACE,IAAI,CAAC,GAAG,CAAC,cAAc,KAAK,cAAc;QAC1C,CAAC,IAAA,QAAA,SAAS,EAAC,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,EAC/C,CAAC;QACD,OAAO,iBAAiB,CAAA;IAC1B,CAAC;IACD,IAAI,kBAAkB,CAAC,IAAI,CAAC,IAAI,wBAAwB,CAAC,IAAI,CAAC;QAAE,OAAO,cAAc,CAAA;IACrF,OAAO,SAAS,CAAA;AAClB,CAAC,CAAA;AAED,MAAM,kBAAkB,GAAG,CAAC,IAAqB,EAAW,EAAE,CAC5D,IAAA,QAAA,qBAAqB,EAAC,IAAI,CAAC,CAAC,IAAI,CAC9B,GAAG,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,GAAG,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,CACnF,CAAA;AAEH,MAAM,qBAAqB,GAAG,CAAC,MAA6B,EAAW,EAAE,CACvE,MAAM,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC;IAC3B,CAAC,MAAM,CAAC,OAAO,CAAC,YAAY,EAAE;IAC9B,MAAM,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC;IAC1B,CAAC,MAAM,CAAC,MAAM,CAAC,YAAY,EAAE;IAC7B,CAAC,MAAM,CAAC,IAAI,KAAK,QAAQ,IAAI,MAAM,CAAC,IAAI,KAAK,aAAa,CAAC,CAAA;AAE7D,MAAM,cAAc,GAAG,CACrB,KAAuD,EACvD,IAAY,EACH,EAAE,CAAC,CAAC,cAAc,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,KAAK,CAAC,OAAO,KAAK,IAAI,CAAA;AAEvE,MAAM,aAAa,GAAG,CAAC,IAGtB,EAAW,EAAE,CAAC,CAAC,cAAc,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAA;AAE7E,MAAM,eAAe,GAAG,CAAC,MAAuB,EAAE,IAAY,EAAW,EAAE;IACzE,IAAI,MAAM,CAAC,IAAI,KAAK,IAAI,IAAI,CAAC,cAAc,CAAC,MAAM,CAAC;QAAE,OAAO,IAAI,CAAA;IAChE,IACE,CAAC,CAAC,MAAM,CAAC,QAAQ,EAAE,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,EAChG,CAAC;QACD,OAAO,IAAI,CAAA;IACb,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,CAAC;QACzF,OAAO,IAAI,CAAA;IACb,CAAC;IACD,OAAO,CACL,IAAA,wCAAkB,EAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,IAAA,wCAAkB,EAAC,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC;QACvF,IAAA,wCAAkB,EAAC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,CACrD,CAAA;AACH,CAAC,CAAA;AAED,MAAM,gBAAgB,GAAG,CAAC,OAA0C,EAAE,IAAY,EAAW,EAAE;IAC7F,IAAI,OAAO,CAAC,IAAI,KAAK,IAAI,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAA;IAC/D,IAAI,OAAO,CAAC,eAAe,KAAK,SAAS,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,eAAe,CAAC;QAAE,OAAO,IAAI,CAAA;IAC5F,IACE,OAAO,CAAC,KAAK,KAAK,SAAS;QAC3B,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,EACtE,CAAC;QACD,OAAO,IAAI,CAAA;IACb,CAAC;IACD,OAAO,CACL,OAAO,CAAC,KAAK,KAAK,SAAS;QAC3B,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,MAAM,EAAE,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC;YAC3D,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC;YAC3B,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,CACrC,CAAA;AACH,CAAC,CAAA;AAED,MAAM,sBAAsB,GAAG,CAAC,QAAgC,EAAW,EAAE;IAC3E,MAAM,MAAM,GAAG,QAAQ,CAAC,aAAa,CAAA;IACrC,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,KAAK,CAAA;IACtC,OAAO,CACL,CAAC,QAAQ,CAAC,MAAM,CAAC,0BAA0B,CAAC;QAC5C,CAAC,QAAQ,CAAC,MAAM,CAAC,kBAAkB,CAAC;QACpC,IAAA,wCAAkB,EAAC,MAAM,CAAC,0BAA0B,CAAC;YACnD,IAAA,wCAAkB,EAAC,QAAQ,CAAC,eAAe,CAAC,sBAAsB,CAAC,CACtE,CAAA;AACH,CAAC,CAAA;AAED,MAAM,iBAAiB,GAAG,CAAC,QAAgC,EAAE,IAAY,EAAW,EAAE;IACpF,IACE,CAAC,QAAQ,CAAC,QAAQ,CAAC,eAAe,CAAC,UAAU,CAAC;QAC9C,CAAC,QAAQ,CAAC,QAAQ,CAAC,eAAe,CAAC,sBAAsB,CAAC,EAC1D,CAAC;QACD,OAAO,IAAI,CAAA;IACb,CAAC;IACD,IAAI,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,cAAc,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;QAAE,OAAO,IAAI,CAAA;IAC3E,IAAI,QAAQ,CAAC,SAAS,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,cAAc,CAAC,QAAQ,CAAC,CAAC;QAAE,OAAO,IAAI,CAAA;IAC/E,IAAI,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,eAAe,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;QAAE,OAAO,IAAI,CAAA;IAC/E,IAAI,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,aAAa,CAAC;QAAE,OAAO,IAAI,CAAA;IACnD,OAAO,gBAAgB,CAAC,QAAQ,CAAC,OAAO,EAAE,IAAI,CAAC,IAAI,sBAAsB,CAAC,QAAQ,CAAC,CAAA;AACrF,CAAC,CAAA;AAEM,MAAM,qBAAqB,GAAG,CACnC,IAAqB,EACe,EAAE;IACtC,MAAM,QAAQ,GAAG,iBAAiB,CAAC,IAAI,CAAC,CAAA;IACxC,IAAI,QAAQ,KAAK,SAAS;QAAE,OAAO,QAAQ,CAAA;IAC3C,IAAI,kBAAkB,CAAC,IAAI,CAAC;QAAE,OAAO,mBAAmB,CAAA;IACxD,IAAI,CAAC,IAAA,QAAA,YAAY,EAAC,IAAI,CAAC;QAAE,OAAO,cAAc,CAAA;IAC9C,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,qBAAqB,CAAC;QAAE,OAAO,cAAc,CAAA;IAClE,IAAI,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,iBAAiB,CAAC,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;QACrF,OAAO,cAAc,CAAA;IACvB,CAAC;IACD,OAAO,SAAS,CAAA;AAClB,CAAC,CAAA;AAZY,QAAA,qBAAqB,GAArB,qBAAqB,CAYjC;AAEM,MAAM,mBAAmB,GAAG,CACjC,IAAqB,EACrB,eAAkC,EAChB,EAAE;IACpB,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,eAAe,CAAC,CAAA;IACzC,MAAM,aAAa,GAAG;QACpB,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;KAChG,CAAA;IACD,IAAI,aAAa,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,QAAQ,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;QAAE,IAAA,QAAA,eAAe,EAAC,cAAc,CAAC,CAAA;IACvF,OAAO;QACL,WAAW,EAAE,IAAI,CAAC,GAAG,CAAC,WAAW;QACjC,cAAc,EAAE,IAAI,CAAC,GAAG,CAAC,cAAc;QACvC,UAAU,EAAE,cAAc;QAC1B,KAAK,EAAE,IAAI,CAAC,KAAK;QACjB,OAAO,EAAE;YACP,GAAG,eAAe,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,SAAkB,EAAE,CAAC,CAAC;YACzE,GAAG,aAAa,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,SAAkB,EAAE,CAAC,CAAC;SACxE;QACD,WAAW,EAAE,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,IAAI,KAAK,aAAa,CAAC;YACpE,CAAC,CAAC,SAAS;YACX,CAAC,CAAC,eAAe;KACpB,CAAA;AACH,CAAC,CAAA;AAtBY,QAAA,mBAAmB,GAAnB,mBAAmB,CAsB/B;AAEM,MAAM,mBAAmB,GAAG,CAAC,IAAqB,EAA2B,EAAE,CACpF,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAA;AAD3C,QAAA,mBAAmB,GAAnB,mBAAmB,CACwB;AAEjD,MAAM,wBAAwB,GAAG,CAAC,IAAqB,EAA2B,EAAE,CACzF,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,IAAI,KAAK,aAAa,CAAC,CAAA;AADhD,QAAA,wBAAwB,GAAxB,wBAAwB,CACwB"}

package/dist/cjs/src/storage/mongo/MongoAdmissionStorage.d.ts

@@ -0,0 +1,112 @@
+import type { Collection, Db, Document } from 'mongodb';
+import { type AdmissionCommit, type AdmissionCommitResult, type AdmissionOperationKey, type AdmissionOutpoint, type AdmissionPayloadRef, type AdmissionReconcileResult, type AdmissionStorage, type StorageScope } from '../AdmissionStorage.js';
+import type { RecoveryLease } from '../RecoveryContract.js';
+import { MongoPayloadStore } from './MongoPayloadStore.js';
+import { MongoReadGuards } from './MongoReadGuards.js';
+import { MongoTransactionRunner, type MongoTransactionContext, type MongoTransactionOptions } from './MongoTransactionRunner.js';
+export interface MongoEnlistedLookupIndex {
+    readonly protocol: 'overlay-mongo-index-v1';
+    readonly target: string;
+    apply: (context: MongoTransactionContext, plan: AdmissionCommit) => Promise<void>;
+}
+export interface MongoAdmissionStorageOptions {
+    runner?: MongoTransactionRunner;
+    payloads?: MongoPayloadStore;
+    readGuards?: MongoReadGuards;
+    enlistedIndexes?: MongoEnlistedLookupIndex[];
+    projector?: unknown;
+}
+export interface MongoOutboxLease {
+    eventId: string;
+    kind: 'lookup' | 'propagation';
+    target: string;
+    payloads: AdmissionPayloadRef[];
+}
+interface GenerationDocument extends Document {
+    _id: string;
+    topic: string;
+    chainEpoch: string;
+    topicHistoryGeneration: string;
+    policyId: string;
+}
+interface JobDocument extends Document {
+    _id: string;
+    topic: string;
+    peerId: string;
+    jobId: string;
+    chainEpoch: string;
+    topicHistoryGeneration: string;
+    leaseToken: string;
+    leaseUntil: Date;
+    state: string;
+    checkpoint: string;
+}
+interface OutboxDocument extends Document {
+    _id: string;
+    eventId: string;
+    target: string;
+    state: string;
+    nextAttemptAt?: Date;
+    leaseUntil?: Date;
+}
+/**
+ * Opt-in Mongo AdmissionStorage. Engine submit uses this only when
+ * getAdmissionStorage(storage) observes overlay-admission-v1.
+ */
+export declare class MongoAdmissionStorage implements AdmissionStorage {
+    private readonly db;
+    readonly protocol: 'overlay-admission-v1';
+    readonly scope: StorageScope;
+    private readonly runner;
+    private readonly payloads;
+    private readonly guards;
+    private readonly enlisted;
+    private readonly projector;
+    private readonly peers;
+    constructor(db: Db, scope: StorageScope, options?: MongoAdmissionStorageOptions);
+    enlistedTargets(): string[];
+    commitAdmission(plan: AdmissionCommit): Promise<AdmissionCommitResult>;
+    private runAdmissionWithWriteConflictRetry;
+    private waitForPending;
+    reconcileAdmission(key: AdmissionOperationKey, attemptId?: string, options?: MongoTransactionOptions): Promise<AdmissionReconcileResult>;
+    close(): Promise<void>;
+    private peerFor;
+    claimOutbox(kind: 'lookup' | 'propagation', leaseMS?: number): Promise<MongoOutboxLease | null>;
+    acknowledgeOutbox(kind: 'lookup' | 'propagation', eventId: string): Promise<void>;
+    private asResult;
+    private prepareReadGuards;
+    private publishHistoryUpdatePayloads;
+    private historyUpdateRecord;
+    private applyPlan;
+    private assertReadyPayloads;
+    private checkReads;
+    private checkHistory;
+    private assertAppliedAvailable;
+    private assertOutboxAvailable;
+    private applySpend;
+    private applyEviction;
+    private insertOutput;
+    private insertEdge;
+    private insertApplied;
+    private applyHistoryUpdate;
+    private historyUpdateSlot;
+    private replaceHistoryPin;
+    private applyHandoff;
+    private upsertTransaction;
+    private insertOutbox;
+    private pin;
+    private outboxPayloads;
+    payloadId(ref: Pick<AdmissionPayloadRef, 'kind' | 'digest'>): string;
+    outputId(topic: string, outpoint: AdmissionOutpoint): string;
+    private appliedId;
+    generationId(topic: string): string;
+    jobId(lease: Pick<RecoveryLease, 'topic' | 'peerId' | 'jobId'>): string;
+    outboxId(kind: 'lookup' | 'propagation', eventId: string): string;
+    private outputs;
+    private applied;
+    generations(): Collection<GenerationDocument>;
+    jobs(): Collection<JobDocument>;
+    outbox(kind: 'lookup' | 'propagation'): Collection<OutboxDocument>;
+}
+export {};
+//# sourceMappingURL=MongoAdmissionStorage.d.ts.map

package/dist/cjs/src/storage/mongo/MongoAdmissionStorage.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"MongoAdmissionStorage.d.ts","sourceRoot":"","sources":["../../../../../src/storage/mongo/MongoAdmissionStorage.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,UAAU,EAAE,EAAE,EAAE,QAAQ,EAAE,MAAM,SAAS,CAAA;AACvD,OAAO,EAIL,KAAK,eAAe,EACpB,KAAK,qBAAqB,EAC1B,KAAK,qBAAqB,EAE1B,KAAK,iBAAiB,EACtB,KAAK,mBAAmB,EACxB,KAAK,wBAAwB,EAC7B,KAAK,gBAAgB,EAErB,KAAK,YAAY,EAClB,MAAM,wBAAwB,CAAA;AAC/B,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,wBAAwB,CAAA;AAW3D,OAAO,EAAE,iBAAiB,EAAyB,MAAM,wBAAwB,CAAA;AACjF,OAAO,EAA+B,eAAe,EAAE,MAAM,sBAAsB,CAAA;AAUnF,OAAO,EACL,sBAAsB,EACtB,KAAK,uBAAuB,EAC5B,KAAK,uBAAuB,EAC7B,MAAM,6BAA6B,CAAA;AAcpC,MAAM,WAAW,wBAAwB;IACvC,QAAQ,CAAC,QAAQ,EAAE,wBAAwB,CAAA;IAC3C,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,KAAK,EAAE,CAAC,OAAO,EAAE,uBAAuB,EAAE,IAAI,EAAE,eAAe,KAAK,OAAO,CAAC,IAAI,CAAC,CAAA;CAClF;AAED,MAAM,WAAW,4BAA4B;IAC3C,MAAM,CAAC,EAAE,sBAAsB,CAAA;IAC/B,QAAQ,CAAC,EAAE,iBAAiB,CAAA;IAC5B,UAAU,CAAC,EAAE,eAAe,CAAA;IAC5B,eAAe,CAAC,EAAE,wBAAwB,EAAE,CAAA;IAC5C,SAAS,CAAC,EAAE,OAAO,CAAA;CACpB;AAED,MAAM,WAAW,gBAAgB;IAC/B,OAAO,EAAE,MAAM,CAAA;IACf,IAAI,EAAE,QAAQ,GAAG,aAAa,CAAA;IAC9B,MAAM,EAAE,MAAM,CAAA;IACd,QAAQ,EAAE,mBAAmB,EAAE,CAAA;CAChC;AA2BD,UAAU,kBAAmB,SAAQ,QAAQ;IAC3C,GAAG,EAAE,MAAM,CAAA;IACX,KAAK,EAAE,MAAM,CAAA;IACb,UAAU,EAAE,MAAM,CAAA;IAClB,sBAAsB,EAAE,MAAM,CAAA;IAC9B,QAAQ,EAAE,MAAM,CAAA;CACjB;AAED,UAAU,WAAY,SAAQ,QAAQ;IACpC,GAAG,EAAE,MAAM,CAAA;IACX,KAAK,EAAE,MAAM,CAAA;IACb,MAAM,EAAE,MAAM,CAAA;IACd,KAAK,EAAE,MAAM,CAAA;IACb,UAAU,EAAE,MAAM,CAAA;IAClB,sBAAsB,EAAE,MAAM,CAAA;IAC9B,UAAU,EAAE,MAAM,CAAA;IAClB,UAAU,EAAE,IAAI,CAAA;IAChB,KAAK,EAAE,MAAM,CAAA;IACb,UAAU,EAAE,MAAM,CAAA;CACnB;AAED,UAAU,cAAe,SAAQ,QAAQ;IACvC,GAAG,EAAE,MAAM,CAAA;IACX,OAAO,EAAE,MAAM,CAAA;IACf,MAAM,EAAE,MAAM,CAAA;IACd,KAAK,EAAE,MAAM,CAAA;IACb,aAAa,CAAC,EAAE,IAAI,CAAA;IACpB,UAAU,CAAC,EAAE,IAAI,CAAA;CAClB;AAoBD;;;GAGG;AACH,qBAAa,qBAAsB,YAAW,gBAAgB;IAW1D,OAAO,CAAC,QAAQ,CAAC,EAAE;IAVrB,QAAQ,CAAC,QAAQ,EAAG,sBAAsB,CAAS;IACnD,QAAQ,CAAC,KAAK,EAAE,YAAY,CAAA;IAC5B,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAwB;IAC/C,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAmB;IAC5C,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAiB;IACxC,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAA4B;IACrD,OAAO,CAAC,QAAQ,CAAC,SAAS,CAAS;IACnC,OAAO,CAAC,QAAQ,CAAC,KAAK,CAA2C;IAEjE,YACmB,EAAE,EAAE,EAAE,EACvB,KAAK,EAAE,YAAY,EACnB,OAAO,GAAE,4BAAiC,EAkB3C;IAED,eAAe,IAAI,MAAM,EAAE,CAE1B;IAEK,eAAe,CAAC,IAAI,EAAE,eAAe,GAAG,OAAO,CAAC,qBAAqB,CAAC,CAoC3E;YAEa,kCAAkC;YAsBlC,cAAc;IAoBtB,kBAAkB,CACtB,GAAG,EAAE,qBAAqB,EAC1B,SAAS,CAAC,EAAE,MAAM,EAClB,OAAO,GAAE,uBAA4B,GACpC,OAAO,CAAC,wBAAwB,CAAC,CAInC;IAEK,KAAK,IAAI,OAAO,CAAC,IAAI,CAAC,CAK3B;IAED,OAAO,CAAC,OAAO;IAYT,WAAW,CACf,IAAI,EAAE,QAAQ,GAAG,aAAa,EAC9B,OAAO,SAAS,GACf,OAAO,CAAC,gBAAgB,GAAG,IAAI,CAAC,CAgClC;IAEK,iBAAiB,CAAC,IAAI,EAAE,QAAQ,GAAG,aAAa,EAAE,OAAO,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAWtF;IAED,OAAO,CAAC,QAAQ;YAUF,iBAAiB;YAMjB,4BAA4B;IAgB1C,OAAO,CAAC,mBAAmB;YAab,SAAS;YAiCT,mBAAmB;YAkBnB,UAAU;YAcV,YAAY;YAkBZ,sBAAsB;YActB,qBAAqB;YAWrB,UAAU;YA4BV,aAAa;YAcb,YAAY;YA2CZ,UAAU;YAqCV,aAAa;YA6Cb,kBAAkB;IA2EhC,OAAO,CAAC,iBAAiB;YAIX,iBAAiB;YAkDjB,YAAY;YAsCZ,iBAAiB;YA2BjB,YAAY;YAiCZ,GAAG;YAuCH,cAAc;IA8B5B,SAAS,CAAC,GAAG,EAAE,IAAI,CAAC,mBAAmB,EAAE,MAAM,GAAG,QAAQ,CAAC,GAAG,MAAM,CAEnE;IAED,QAAQ,CAAC,KAAK,EAAE,MAAM,EAAE,QAAQ,EAAE,iBAAiB,GAAG,MAAM,CAQ3D;IAED,OAAO,CAAC,SAAS;IAIjB,YAAY,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,CAElC;IAED,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC,aAAa,EAAE,OAAO,GAAG,QAAQ,GAAG,OAAO,CAAC,GAAG,MAAM,CAEtE;IAED,QAAQ,CAAC,IAAI,EAAE,QAAQ,GAAG,aAAa,EAAE,OAAO,EAAE,MAAM,GAAG,MAAM,CAEhE;IAED,OAAO,CAAC,OAAO;IAIf,OAAO,CAAC,OAAO;IAIf,WAAW,IAAI,UAAU,CAAC,kBAAkB,CAAC,CAE5C;IAED,IAAI,IAAI,UAAU,CAAC,WAAW,CAAC,CAE9B;IAED,MAAM,CAAC,IAAI,EAAE,QAAQ,GAAG,aAAa,GAAG,UAAU,CAAC,cAAc,CAAC,CAIjE;CACF"}