@emilia-protocol/gate 0.13.0 → 0.14.0

package/dist/proposal-to-effect.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"proposal-to-effect.d.ts","sourceRoot":"","sources":["../src/proposal-to-effect.ts"],"names":[],"mappings":"AACA;;;;;GAKG;AAEH,OAAO,EAIL,gBAAgB,EAIjB,MAAM,8CAA8C,CAAC;AACtD,OAAO,EAOL,KAAK,UAAU,EACf,KAAK,SAAS,EACd,KAAK,0BAA0B,EAC/B,KAAK,mBAAmB,EACxB,KAAK,eAAe,EACrB,MAAM,8CAA8C,CAAC;AAGtD,eAAO,MAAM,0BAA0B,iCAAiC,CAAC;AAEzE,KAAK,UAAU,GAAG,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;AACtC,KAAK,SAAS,GAAG,OAAO,KAAK,CAAC;AAK9B,MAAM,WAAW,uBAAuB;IACtC,EAAE,EAAE,MAAM,CAAC;IACX,WAAW,EAAE,MAAM,CAAC;IACpB,QAAQ,EAAE,UAAU,CAAC;IACrB,eAAe,EAAE,SAAS,MAAM,EAAE,CAAC;IACnC,aAAa,EAAE;QACb,sBAAsB,EAAE,MAAM,CAAC;QAC/B,IAAI,EAAE,OAAO,gBAAgB,CAAC;KAC/B,CAAC;IACF,mBAAmB,EAAE,MAAM,CAAC;IAC5B,OAAO,EAAE,MAAM,CAAC;IAChB;;;OAGG;IACH,mBAAmB,CAAC,KAAK,EAAE,OAAO,GAAG;QAAE,MAAM,EAAE,UAAU,CAAC;QAAC,IAAI,EAAE,MAAM,CAAA;KAAE,CAAC;IAC1E,aAAa,CAAC,EAAE;QAAE,KAAK,EAAE,MAAM,CAAA;KAAE,CAAC;CACnC;AAED,MAAM,WAAW,wBAAwB;IACvC,UAAU,EAAE,OAAO,0BAA0B,CAAC;IAC9C,WAAW,EAAE,MAAM,CAAC;IACpB,YAAY,EAAE,MAAM,CAAC;IACrB,YAAY,EAAE,MAAM,CAAC;IACrB,UAAU,EAAE,MAAM,CAAC;IACnB,MAAM,EAAE,UAAU,CAAC;IACnB,aAAa,EAAE,MAAM,CAAC;IACtB,iBAAiB,EAAE,SAAS,CAAC;IAC7B,IAAI,EAAE,MAAM,CAAC;IACb,UAAU,EAAE,MAAM,CAAC;IACnB,UAAU,EAAE,MAAM,CAAC;IACnB,SAAS,EAAE;QACT,MAAM,EAAE,MAAM,CAAC;QACf,WAAW,EAAE,MAAM,CAAC;QACpB,eAAe,EAAE,MAAM,EAAE,CAAC;QAC1B,aAAa,CAAC,EAAE;YAAE,KAAK,EAAE,MAAM,CAAA;SAAE,CAAC;KACnC,CAAC;IACF,aAAa,EAAE;QACb,sBAAsB,EAAE,MAAM,CAAC;QAC/B,IAAI,EAAE,OAAO,gBAAgB,CAAC;KAC/B,CAAC;IACF,GAAG,EAAE;QACH,eAAe,EAAE,MAAM,CAAC;QACxB,oBAAoB,EAAE,SAAS,CAAC;QAChC,iBAAiB,EAAE,SAAS,CAAC;KAC9B,CAAC;CACH;AAED,MAAM,WAAW,oBAAoB;IACnC,KAAK,CAAC,KAAK,EAAE,UAAU,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC;IAC9C,GAAG,CAAC,KAAK,EAAE,UAAU,EAAE,MAAM,EAAE,CAAC,aAAa,EAAE,UAAU,KAAK,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC;CAChH;AAED,MAAM,WAAW,oCAAoC;IACnD,KAAK,EAAE,OAAO,CAAC;IACf,OAAO,CAAC,EAAE,WAAW,GAAG,eAAe,CAAC;IACxC,eAAe,CAAC,EAAE,SAAS,GAAG,IAAI,CAAC;IACnC,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB;AAED,MAAM,WAAW,uBAAuB;IACtC,IAAI,EAAE,oBAAoB,CAAC;IAC3B,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,uBAAuB,CAAC,CAAC;IAClD,GAAG,EAAE;QACH,MAAM,EAAE,eAAe,CAAC;QACxB,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,CAAC;QACrC,KAAK,EAAE,0BAA0B,CAAC;QAClC,iBAAiB,CAAC,KAAK,EAAE;YACvB,QAAQ,EAAE,wBAAwB,CAAC;YACnC,UAAU,EAAE,mBAAmB,CAAC;SACjC,GAAG,OAAO,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;QAC/D,wBAAwB,CAAC,KAAK,EAAE;YAC9B,QAAQ,EAAE,OAAO,CAAC;YAClB,QAAQ,EAAE;gBACR,YAAY,EAAE,MAAM,CAAC;gBACrB,IAAI,EAAE,MAAM,CAAC;gBACb,aAAa,EAAE,SAAS,CAAC;aAC1B,CAAC;SACH,GAAG,OAAO,CAAC,oCAAoC,CAAC,GAAG,oCAAoC,CAAC;KAC1F,CAAC;IACF,GAAG,CAAC,EAAE,MAAM,MAAM,CAAC;CACpB;AAiGD,wBAAgB,gCAAgC,CAC9C,WAAW,EAAE,MAAM,EACnB,kBAAkB,EAAE,SAAS,GAC5B,SAAS,CAUX;AASD,wBAAgB,sBAAsB,CAAC,OAAO,EAAE,uBAAuB;qBAwB7C;QACtB,WAAW,EAAE,MAAM,CAAC;QACpB,UAAU,EAAE,MAAM,CAAC;QACnB,YAAY,EAAE,MAAM,CAAC;QACrB,YAAY,EAAE,MAAM,CAAC;QACrB,MAAM,EAAE,OAAO,CAAC;KACjB,KAAG,wBAAwB;4BAoCG,OAAO,qBAA4B;QAAE,YAAY,CAAC,EAAE,OAAO,CAAA;KAAE,KAAQ;QAClG,QAAQ,EAAE,wBAAwB,CAAC;QACnC,OAAO,EAAE,uBAAuB,CAAC;KAClC;2BAmNmC;QAClC,QAAQ,EAAE,OAAO,CAAC;QAClB,WAAW,EAAE,MAAM,CAAC;QACpB,eAAe,EAAE,MAAM,CAAC;QACxB,uBAAuB,EAAE,MAAM,GAAG,CAAC,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC;QACnE,UAAU,CAAC,EAAE,SAAS,CAAC;KACxB,KAAG,OAAO,CAAC,UAAU,CAAC;0BAcY;QACjC,QAAQ,EAAE,OAAO,CAAC;QAClB,UAAU,EAAE,MAAM,CAAC;QACnB,UAAU,EAAE,MAAM,CAAC;QACnB,UAAU,CAAC,EAAE,SAAS,CAAC;KACxB,KAAG,OAAO,CAAC,UAAU,CAAC;qBAjJd;QAAE,QAAQ,EAAE,OAAO,CAAC;QAAC,OAAO,EAAE,OAAO,CAAC;QAAC,UAAU,EAAE,OAAO,CAAA;KAAE,UAC3D,CAAC,KAAK,EAAE;QAAE,MAAM,EAAE,UAAU,CAAC;QAAC,QAAQ,EAAE,wBAAwB,CAAC;QAAC,aAAa,EAAE,UAAU,CAAA;KAAE,KAAK,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC,KACnI,OAAO,CAAC,UAAU,CAAC;uBA0DU;QAC9B,QAAQ,EAAE,OAAO,CAAC;QAClB,UAAU,EAAE,OAAO,CAAC;QACpB,iBAAiB,EAAE,OAAO,CAAC;KAC5B,KAAG,OAAO,CAAC,UAAU,CAAC;GAoGxB;;;;;;AAED,wBAIE"}

package/dist/proposal-to-effect.js

@@ -0,0 +1,427 @@
+// @ts-nocheck
+// SPDX-License-Identifier: Apache-2.0
+/**
+ * Proposal-to-Effect is a product orchestration profile over existing EMILIA
+ * artifacts. A proposal is deliberately NOT a bearer authorization object.
+ * Authority remains in EP-RECEIPT-v1 and the relying party's pinned AEB
+ * requirement; consequence custody remains in Gate and its durable stores.
+ */
+import { beginReceiptApproval, pollReceiptApproval, approvalActionHash, validateApprovalAuthorization, validateCaidSelector, validateRequiredFields, } from '@emilia-protocol/require-receipt/acquisition';
+import { aebReservationKey, authorizeAebExecutionDurable, digestAeb, pinnedConfigDigest, reconcileAebExecutionDurable, verifyAebEvaluation, } from '@emilia-protocol/verify/aeb-adapter-contract';
+import { actionDigest as aecActionDigest } from '@emilia-protocol/verify/evidence-chain';
+export const PROPOSAL_TO_EFFECT_VERSION = 'EMILIA-PROPOSAL-TO-EFFECT-v1';
+const CAID_PATTERN = /^caid:1:[a-z][a-z0-9-]*(?:\.[a-z][a-z0-9-]*)*\.[1-9][0-9]*:[a-z0-9]+(?:-[a-z0-9]+)*:[A-Za-z0-9_-]{43}$/;
+const IDENTIFIER_PATTERN = /^[A-Za-z0-9][A-Za-z0-9:_.@/-]{2,255}$/;
+function isPlainObject(value) {
+    if (!value || typeof value !== 'object' || Array.isArray(value))
+        return false;
+    const prototype = Object.getPrototypeOf(value);
+    return prototype === Object.prototype || prototype === null;
+}
+function clone(value) {
+    return structuredClone(value);
+}
+function assertIdentifier(value, name) {
+    if (typeof value !== 'string' || !IDENTIFIER_PATTERN.test(value)) {
+        throw new Error(`${name}_invalid`);
+    }
+}
+function assertProfile(profile) {
+    if (!isPlainObject(profile))
+        throw new Error('proposal_profile_invalid');
+    assertIdentifier(profile.id, 'proposal_profile_id');
+    assertIdentifier(profile.action_type, 'proposal_action_type');
+    assertIdentifier(profile.aeb_requirement_ref, 'proposal_aeb_requirement_ref');
+    if (!isPlainObject(profile.selector) || Object.keys(profile.selector).length === 0) {
+        throw new Error('proposal_selector_invalid');
+    }
+    const requiredFields = validateRequiredFields(profile.required_fields);
+    if (!requiredFields.ok)
+        throw new Error(requiredFields.reason);
+    if (!Number.isSafeInteger(profile.ttl_sec) || profile.ttl_sec <= 0 || profile.ttl_sec > 86_400) {
+        throw new Error('proposal_ttl_invalid');
+    }
+    if (typeof profile.canonicalize_action !== 'function') {
+        throw new Error('proposal_canonicalizer_required');
+    }
+    const authorization = validateApprovalAuthorization(profile.authorization);
+    if (!authorization.ok)
+        throw new Error(authorization.reason);
+    if (profile.caid_selector) {
+        const caidSelector = validateCaidSelector(profile.caid_selector);
+        if (!caidSelector.ok)
+            throw new Error(caidSelector.reason);
+    }
+}
+function canonicalizeForProfile(profile, input) {
+    const normalized = profile.canonicalize_action(clone(input));
+    if (!isPlainObject(normalized) || !isPlainObject(normalized.action)
+        || typeof normalized.caid !== 'string' || !CAID_PATTERN.test(normalized.caid)) {
+        throw new Error('proposal_canonicalization_invalid');
+    }
+    if (normalized.action.action_type !== profile.action_type) {
+        throw new Error('proposal_action_type_mismatch');
+    }
+    for (const field of profile.required_fields) {
+        if (!Object.hasOwn(normalized.action, field) || normalized.action[field] === undefined) {
+            throw new Error(`proposal_required_field_missing:${field}`);
+        }
+    }
+    if (profile.caid_selector) {
+        const field = profile.caid_selector.field;
+        if (typeof field !== 'string' || normalized.action[field] !== normalized.caid) {
+            throw new Error(`proposal_caid_binding_invalid:${field}`);
+        }
+    }
+    // Both digest functions reject unsupported/non-canonical JSON values.
+    approvalActionHash(normalized.action);
+    digestAeb(normalized.action);
+    return { action: clone(normalized.action), caid: normalized.caid };
+}
+function assertSameObject(left, right, reason) {
+    if (digestAeb(left) !== digestAeb(right))
+        throw new Error(reason);
+}
+function exactProposalKeys(proposal) {
+    const expected = [
+        '@version', 'action', 'action_digest', 'aeb', 'aeb_action_digest', 'authorization',
+        'caid', 'challenge', 'created_at', 'expires_at', 'initiator_id', 'operation_id',
+        'profile_id', 'proposal_id',
+    ].sort();
+    const actual = Object.keys(proposal).sort();
+    return expected.length === actual.length && expected.every((key, index) => key === actual[index]);
+}
+function proposalAdmissibility(proposal, record) {
+    return {
+        admissibility_profile: { id: `aeb:${proposal.aeb.requirement_ref}`, version: '1' },
+        profile_hash: proposal.aeb.pinned_config_digest,
+        verdict: 'admissible',
+        replay_digest: record.evidence_digest,
+        challenge_id: proposal.proposal_id,
+        aeb_evaluation_digest: digestAeb(record),
+    };
+}
+function refusal(reason, extra = {}) {
+    return { ok: false, reason, ...extra };
+}
+export function proposalToEffectConsumptionNonce(operationId, pinnedConfigDigest) {
+    assertIdentifier(operationId, 'proposal_operation_id');
+    if (typeof pinnedConfigDigest !== 'string' || !/^sha256:[a-f0-9]{64}$/.test(pinnedConfigDigest)) {
+        throw new Error('proposal_aeb_pin_invalid');
+    }
+    return digestAeb({
+        domain: PROPOSAL_TO_EFFECT_VERSION,
+        operation_id: operationId,
+        pinned_config_digest: pinnedConfigDigest,
+    });
+}
+function expectedAebCompositionDigest(proposal) {
+    return `sha256:${aecActionDigest({
+        caid: proposal.caid,
+        normalized_action_digest: proposal.aeb_action_digest,
+    })}`;
+}
+export function createProposalToEffect(options) {
+    if (!options?.gate || typeof options.gate.check !== 'function' || typeof options.gate.run !== 'function') {
+        throw new Error('proposal_gate_required');
+    }
+    if (!isPlainObject(options.profiles) || Object.keys(options.profiles).length === 0) {
+        throw new Error('proposal_profiles_required');
+    }
+    for (const [id, profile] of Object.entries(options.profiles)) {
+        assertProfile(profile);
+        if (id !== profile.id)
+            throw new Error('proposal_profile_registry_mismatch');
+    }
+    if (!options.aeb?.config || !options.aeb.adapters || !options.aeb.store
+        || typeof options.aeb.resolve_artifacts !== 'function'
+        || typeof options.aeb.verify_provider_evidence !== 'function') {
+        throw new Error('proposal_aeb_configuration_required');
+    }
+    const now = options.now ?? Date.now;
+    const configDigest = pinnedConfigDigest(options.aeb.config);
+    function profileFor(id) {
+        if (typeof id !== 'string' || !options.profiles[id])
+            throw new Error('proposal_profile_not_pinned');
+        return options.profiles[id];
+    }
+    function prepare(input) {
+        assertIdentifier(input?.proposal_id, 'proposal_id');
+        assertIdentifier(input?.operation_id, 'proposal_operation_id');
+        assertIdentifier(input?.initiator_id, 'proposal_initiator_id');
+        const profile = profileFor(input?.profile_id);
+        const normalized = canonicalizeForProfile(profile, input.action);
+        const createdAtMs = now();
+        if (!Number.isFinite(createdAtMs))
+            throw new Error('proposal_time_invalid');
+        const actionDigest = approvalActionHash(normalized.action);
+        return clone({
+            '@version': PROPOSAL_TO_EFFECT_VERSION,
+            proposal_id: input.proposal_id,
+            operation_id: input.operation_id,
+            initiator_id: input.initiator_id,
+            profile_id: profile.id,
+            action: normalized.action,
+            action_digest: actionDigest,
+            aeb_action_digest: digestAeb(normalized.action),
+            caid: normalized.caid,
+            created_at: new Date(createdAtMs).toISOString(),
+            expires_at: new Date(createdAtMs + profile.ttl_sec * 1000).toISOString(),
+            challenge: {
+                action: profile.action_type,
+                action_hash: actionDigest,
+                required_fields: [...profile.required_fields],
+                ...(profile.caid_selector ? { caid_selector: clone(profile.caid_selector) } : {}),
+            },
+            authorization: clone(profile.authorization),
+            aeb: {
+                requirement_ref: profile.aeb_requirement_ref,
+                pinned_config_digest: configDigest,
+                consumption_nonce: proposalToEffectConsumptionNonce(input.operation_id, configDigest),
+            },
+        });
+    }
+    function verifyProposal(input, { allowExpired = false } = {}) {
+        if (!isPlainObject(input) || !exactProposalKeys(input)
+            || input['@version'] !== PROPOSAL_TO_EFFECT_VERSION) {
+            throw new Error('proposal_shape_invalid');
+        }
+        const proposal = input;
+        assertIdentifier(proposal.proposal_id, 'proposal_id');
+        assertIdentifier(proposal.operation_id, 'proposal_operation_id');
+        assertIdentifier(proposal.initiator_id, 'proposal_initiator_id');
+        const profile = profileFor(proposal.profile_id);
+        const normalized = canonicalizeForProfile(profile, proposal.action);
+        if (normalized.caid !== proposal.caid)
+            throw new Error('proposal_caid_mismatch');
+        assertSameObject(normalized.action, proposal.action, 'proposal_action_not_canonical');
+        if (approvalActionHash(normalized.action) !== proposal.action_digest) {
+            throw new Error('proposal_action_digest_mismatch');
+        }
+        if (digestAeb(normalized.action) !== proposal.aeb_action_digest) {
+            throw new Error('proposal_aeb_action_digest_mismatch');
+        }
+        if (!Number.isFinite(Date.parse(proposal.created_at)) || !Number.isFinite(Date.parse(proposal.expires_at))
+            || Date.parse(proposal.expires_at) <= Date.parse(proposal.created_at)) {
+            throw new Error('proposal_time_invalid');
+        }
+        if (!allowExpired && now() >= Date.parse(proposal.expires_at))
+            throw new Error('proposal_expired');
+        assertSameObject(proposal.authorization, profile.authorization, 'proposal_authorization_mismatch');
+        if (!isPlainObject(proposal.aeb)
+            || Object.keys(proposal.aeb).sort().join(',') !== 'consumption_nonce,pinned_config_digest,requirement_ref'
+            || proposal.aeb?.requirement_ref !== profile.aeb_requirement_ref
+            || proposal.aeb?.pinned_config_digest !== configDigest) {
+            throw new Error('proposal_aeb_pin_mismatch');
+        }
+        if (proposal.aeb.consumption_nonce !== proposalToEffectConsumptionNonce(proposal.operation_id, configDigest)) {
+            throw new Error('proposal_aeb_nonce_mismatch');
+        }
+        const expectedChallenge = {
+            action: profile.action_type,
+            action_hash: proposal.action_digest,
+            required_fields: [...profile.required_fields],
+            ...(profile.caid_selector ? { caid_selector: clone(profile.caid_selector) } : {}),
+        };
+        assertSameObject(proposal.challenge, expectedChallenge, 'proposal_challenge_mismatch');
+        return { proposal: clone(proposal), profile };
+    }
+    async function verifyEvaluation(proposal, evaluation) {
+        if (!isPlainObject(evaluation))
+            return { valid: false, reason: 'aeb_evaluation_missing', record: null };
+        const record = evaluation;
+        if (record.operation_id !== proposal.operation_id
+            || record.consumption_nonce !== proposal.aeb.consumption_nonce
+            || record.initiator_id !== proposal.initiator_id
+            || record.requirement_ref !== proposal.aeb.requirement_ref
+            || record.caid !== proposal.caid) {
+            return { valid: false, reason: 'aeb_evaluation_binding_mismatch', record };
+        }
+        let artifacts;
+        try {
+            artifacts = await options.aeb.resolve_artifacts({ proposal: clone(proposal), evaluation: clone(record) });
+        }
+        catch {
+            return { valid: false, reason: 'aeb_artifact_resolution_failed', record };
+        }
+        const checked = verifyAebEvaluation(record, {
+            config: options.aeb.config,
+            adapters: options.aeb.adapters,
+            artifacts,
+            now: new Date(now()).toISOString(),
+        });
+        if (!checked.valid || record.verdict !== 'SATISFIED'
+            || record.authority_constraints?.one_time_consumption !== true) {
+            return { valid: false, reason: 'aeb_evaluation_refused', record, checked };
+        }
+        if (record.composition?.action_digest !== expectedAebCompositionDigest(proposal)) {
+            return { valid: false, reason: 'aeb_evaluation_binding_mismatch', record, checked };
+        }
+        return { valid: true, reason: null, record, checked };
+    }
+    function gateInput(proposal, profile, receipt, record) {
+        return {
+            selector: {
+                ...clone(profile.selector),
+                operation_id: proposal.operation_id,
+                initiator_id: proposal.initiator_id,
+                aeb_requirement_ref: proposal.aeb.requirement_ref,
+            },
+            receipt,
+            observedAction: clone(proposal.action),
+            admissibility: proposalAdmissibility(proposal, record),
+        };
+    }
+    async function execute(input, effect) {
+        if (typeof effect !== 'function')
+            throw new Error('proposal_effect_required');
+        const { proposal, profile } = verifyProposal(input?.proposal);
+        const evaluation = await verifyEvaluation(proposal, input?.evaluation);
+        if (!evaluation.valid || !evaluation.record) {
+            return refusal(evaluation.reason || 'aeb_evaluation_refused', { aeb: evaluation.checked ?? null });
+        }
+        const preparedGateInput = gateInput(proposal, profile, input.receipt, evaluation.record);
+        const preflight = await options.gate.check({ ...preparedGateInput, consumptionMode: 'none' });
+        if (preflight.allow !== true) {
+            return refusal(preflight.reason || 'gate_refused', { authorization: preflight });
+        }
+        if (preflight.reason === 'not_guarded' || preflight.requirement?.receipt_required !== true) {
+            return refusal('gate_profile_not_receipt_guarded', { authorization: preflight });
+        }
+        const reservation = await authorizeAebExecutionDurable(evaluation.record, {
+            verified: true,
+            local_authorization: true,
+            store: options.aeb.store,
+        });
+        if (!reservation.invoke_allowed || !reservation.reservation_key) {
+            return refusal(reservation.reason === 'consumption_conflict' ? 'aeb_consumption_conflict' : reservation.reason, { aeb: reservation });
+        }
+        const key = reservation.reservation_key;
+        try {
+            const result = await options.gate.run(preparedGateInput, async (authorization) => effect({
+                action: clone(proposal.action),
+                proposal: clone(proposal),
+                authorization: clone(authorization),
+            }));
+            if (result?.ok !== true) {
+                await options.aeb.store.release(key);
+                return refusal(result?.authorization?.reason || result?.reason || 'gate_refused', {
+                    authorization: result?.authorization ?? null,
+                });
+            }
+            const committed = await reconcileAebExecutionDurable(options.aeb.store, key, 'COMMITTED');
+            if (committed.state !== 'CONSUMED') {
+                const error = new Error('aeb_consumption_commit_failed');
+                error.code = 'EMILIA_PROPOSAL_TO_EFFECT_COMMIT_FAILED';
+                error.proposalToEffect = { outcome: 'executed', reservation_key: key };
+                throw error;
+            }
+            return { ...result, proposal: clone(proposal), aeb: committed };
+        }
+        catch (error) {
+            const outcome = error?.proposalToEffect?.outcome ?? error?.emiliaGateOutcome?.outcome;
+            if (outcome === 'executed') {
+                await reconcileAebExecutionDurable(options.aeb.store, key, 'COMMITTED');
+            }
+            else if (outcome !== 'indeterminate') {
+                await options.aeb.store.release(key);
+            }
+            throw error;
+        }
+    }
+    async function reconcile(input) {
+        const { proposal } = verifyProposal(input?.proposal, { allowExpired: true });
+        if (!isPlainObject(input?.evaluation))
+            return refusal('aeb_evaluation_missing');
+        const record = input.evaluation;
+        if (record.operation_id !== proposal.operation_id
+            || record.consumption_nonce !== proposal.aeb.consumption_nonce
+            || record.initiator_id !== proposal.initiator_id
+            || record.requirement_ref !== proposal.aeb.requirement_ref
+            || record.caid !== proposal.caid) {
+            return refusal('aeb_evaluation_binding_mismatch');
+        }
+        const artifacts = await options.aeb.resolve_artifacts({ proposal: clone(proposal), evaluation: clone(record) });
+        const historical = verifyAebEvaluation(record, {
+            config: options.aeb.config,
+            adapters: options.aeb.adapters,
+            artifacts,
+            now: record.evaluated_at,
+        });
+        if (!historical.valid)
+            return refusal('aeb_evaluation_refused', { aeb: historical });
+        if (record.verdict !== 'SATISFIED'
+            || record.authority_constraints?.one_time_consumption !== true) {
+            return refusal('aeb_evaluation_refused', { aeb: historical });
+        }
+        if (record.composition?.action_digest !== expectedAebCompositionDigest(proposal)) {
+            return refusal('aeb_evaluation_binding_mismatch');
+        }
+        let provider;
+        try {
+            provider = await options.aeb.verify_provider_evidence({
+                evidence: clone(input.provider_evidence),
+                expected: {
+                    operation_id: proposal.operation_id,
+                    caid: proposal.caid,
+                    action_digest: proposal.aeb_action_digest,
+                },
+            });
+        }
+        catch {
+            return refusal('provider_evidence_unverified');
+        }
+        if (!provider?.valid || (provider.outcome !== 'COMMITTED' && provider.outcome !== 'NOT_COMMITTED')) {
+            return refusal(provider?.reason || 'provider_evidence_unverified');
+        }
+        const key = aebReservationKey(record);
+        const reconciled = await reconcileAebExecutionDurable(options.aeb.store, key, provider.outcome);
+        if (reconciled.state === 'RECONCILIATION_REQUIRED') {
+            return refusal(reconciled.reason, { state: reconciled.state });
+        }
+        return {
+            ok: true,
+            state: reconciled.state,
+            outcome: provider.outcome,
+            evidence_digest: provider.evidence_digest ?? null,
+            reservation_key: key,
+        };
+    }
+    async function beginApproval(input) {
+        const { proposal, profile } = verifyProposal(input?.proposal);
+        return beginReceiptApproval({
+            authorization: proposal.authorization,
+            trustedAuthorization: profile.authorization,
+            challenge: proposal.challenge,
+            action: proposal.action,
+            approver_id: input.approver_id,
+            idempotency_key: input.idempotency_key,
+            requesterAuthorization: input.requester_authorization,
+            fetchImpl: input.fetch_impl,
+        });
+    }
+    async function pollApproval(input) {
+        const { proposal, profile } = verifyProposal(input?.proposal, { allowExpired: true });
+        return pollReceiptApproval({
+            authorization: proposal.authorization,
+            trustedAuthorization: profile.authorization,
+            request_id: input.request_id,
+            poll_token: input.poll_token,
+            fetchImpl: input.fetch_impl,
+        });
+    }
+    return Object.freeze({
+        prepare,
+        verifyProposal,
+        beginApproval,
+        pollApproval,
+        execute,
+        reconcile,
+    });
+}
+export default {
+    PROPOSAL_TO_EFFECT_VERSION,
+    proposalToEffectConsumptionNonce,
+    createProposalToEffect,
+};
+//# sourceMappingURL=proposal-to-effect.js.map

package/dist/proposal-to-effect.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"proposal-to-effect.js","sourceRoot":"","sources":["../src/proposal-to-effect.ts"],"names":[],"mappings":"AAAA,sCAAsC;AACtC;;;;;GAKG;AAEH,OAAO,EACL,oBAAoB,EACpB,mBAAmB,EACnB,kBAAkB,EAElB,6BAA6B,EAC7B,oBAAoB,EACpB,sBAAsB,GACvB,MAAM,8CAA8C,CAAC;AACtD,OAAO,EACL,iBAAiB,EACjB,4BAA4B,EAC5B,SAAS,EACT,kBAAkB,EAClB,4BAA4B,EAC5B,mBAAmB,GAMpB,MAAM,8CAA8C,CAAC;AACtD,OAAO,EAAE,YAAY,IAAI,eAAe,EAAE,MAAM,wCAAwC,CAAC;AAEzF,MAAM,CAAC,MAAM,0BAA0B,GAAG,8BAA8B,CAAC;AAKzE,MAAM,YAAY,GAAG,wGAAwG,CAAC;AAC9H,MAAM,kBAAkB,GAAG,uCAAuC,CAAC;AAqFnE,SAAS,aAAa,CAAC,KAAc;IACnC,IAAI,CAAC,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IAC9E,MAAM,SAAS,GAAG,MAAM,CAAC,cAAc,CAAC,KAAK,CAAC,CAAC;IAC/C,OAAO,SAAS,KAAK,MAAM,CAAC,SAAS,IAAI,SAAS,KAAK,IAAI,CAAC;AAC9D,CAAC;AAED,SAAS,KAAK,CAAI,KAAQ;IACxB,OAAO,eAAe,CAAC,KAAK,CAAC,CAAC;AAChC,CAAC;AAED,SAAS,gBAAgB,CAAC,KAAc,EAAE,IAAY;IACpD,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,kBAAkB,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QACjE,MAAM,IAAI,KAAK,CAAC,GAAG,IAAI,UAAU,CAAC,CAAC;IACrC,CAAC;AACH,CAAC;AAED,SAAS,aAAa,CAAC,OAAgC;IACrD,IAAI,CAAC,aAAa,CAAC,OAAO,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,0BAA0B,CAAC,CAAC;IACzE,gBAAgB,CAAC,OAAO,CAAC,EAAE,EAAE,qBAAqB,CAAC,CAAC;IACpD,gBAAgB,CAAC,OAAO,CAAC,WAAW,EAAE,sBAAsB,CAAC,CAAC;IAC9D,gBAAgB,CAAC,OAAO,CAAC,mBAAmB,EAAE,8BAA8B,CAAC,CAAC;IAC9E,IAAI,CAAC,aAAa,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACnF,MAAM,IAAI,KAAK,CAAC,2BAA2B,CAAC,CAAC;IAC/C,CAAC;IACD,MAAM,cAAc,GAAG,sBAAsB,CAAC,OAAO,CAAC,eAAe,CAAC,CAAC;IACvE,IAAI,CAAC,cAAc,CAAC,EAAE;QAAE,MAAM,IAAI,KAAK,CAAC,cAAc,CAAC,MAAM,CAAC,CAAC;IAC/D,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,OAAO,CAAC,OAAO,IAAI,CAAC,IAAI,OAAO,CAAC,OAAO,GAAG,MAAM,EAAE,CAAC;QAC/F,MAAM,IAAI,KAAK,CAAC,sBAAsB,CAAC,CAAC;IAC1C,CAAC;IACD,IAAI,OAAO,OAAO,CAAC,mBAAmB,KAAK,UAAU,EAAE,CAAC;QACtD,MAAM,IAAI,KAAK,CAAC,iCAAiC,CAAC,CAAC;IACrD,CAAC;IACD,MAAM,aAAa,GAAG,6BAA6B,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC;IAC3E,IAAI,CAAC,aAAa,CAAC,EAAE;QAAE,MAAM,IAAI,KAAK,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC;IAC7D,IAAI,OAAO,CAAC,aAAa,EAAE,CAAC;QAC1B,MAAM,YAAY,GAAG,oBAAoB,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC;QACjE,IAAI,CAAC,YAAY,CAAC,EAAE;YAAE,MAAM,IAAI,KAAK,CAAC,YAAY,CAAC,MAAM,CAAC,CAAC;IAC7D,CAAC;AACH,CAAC;AAED,SAAS,sBAAsB,CAAC,OAAgC,EAAE,KAAc;IAC9E,MAAM,UAAU,GAAG,OAAO,CAAC,mBAAmB,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC;IAC7D,IAAI,CAAC,aAAa,CAAC,UAAU,CAAC,IAAI,CAAC,aAAa,CAAC,UAAU,CAAC,MAAM,CAAC;WAC5D,OAAO,UAAU,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;QAClF,MAAM,IAAI,KAAK,CAAC,mCAAmC,CAAC,CAAC;IACvD,CAAC;IACD,IAAI,UAAU,CAAC,MAAM,CAAC,WAAW,KAAK,OAAO,CAAC,WAAW,EAAE,CAAC;QAC1D,MAAM,IAAI,KAAK,CAAC,+BAA+B,CAAC,CAAC;IACnD,CAAC;IACD,KAAK,MAAM,KAAK,IAAI,OAAO,CAAC,eAAe,EAAE,CAAC;QAC5C,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,UAAU,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,SAAS,EAAE,CAAC;YACvF,MAAM,IAAI,KAAK,CAAC,mCAAmC,KAAK,EAAE,CAAC,CAAC;QAC9D,CAAC;IACH,CAAC;IACD,IAAI,OAAO,CAAC,aAAa,EAAE,CAAC;QAC1B,MAAM,KAAK,GAAG,OAAO,CAAC,aAAa,CAAC,KAAK,CAAC;QAC1C,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,UAAU,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,UAAU,CAAC,IAAI,EAAE,CAAC;YAC9E,MAAM,IAAI,KAAK,CAAC,iCAAiC,KAAK,EAAE,CAAC,CAAC;QAC5D,CAAC;IACH,CAAC;IACD,sEAAsE;IACtE,kBAAkB,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;IACtC,SAAS,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;IAC7B,OAAO,EAAE,MAAM,EAAE,KAAK,CAAC,UAAU,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,UAAU,CAAC,IAAI,EAAE,CAAC;AACrE,CAAC;AAED,SAAS,gBAAgB,CAAC,IAAa,EAAE,KAAc,EAAE,MAAc;IACrE,IAAI,SAAS,CAAC,IAAI,CAAC,KAAK,SAAS,CAAC,KAAK,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,MAAM,CAAC,CAAC;AACpE,CAAC;AAED,SAAS,iBAAiB,CAAC,QAAoB;IAC7C,MAAM,QAAQ,GAAG;QACf,UAAU,EAAE,QAAQ,EAAE,eAAe,EAAE,KAAK,EAAE,mBAAmB,EAAE,eAAe;QAClF,MAAM,EAAE,WAAW,EAAE,YAAY,EAAE,YAAY,EAAE,cAAc,EAAE,cAAc;QAC/E,YAAY,EAAE,aAAa;KAC5B,CAAC,IAAI,EAAE,CAAC;IACT,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;IAC5C,OAAO,QAAQ,CAAC,MAAM,KAAK,MAAM,CAAC,MAAM,IAAI,QAAQ,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,KAAK,EAAE,EAAE,CAAC,GAAG,KAAK,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;AACpG,CAAC;AAED,SAAS,qBAAqB,CAAC,QAAkC,EAAE,MAA2B;IAC5F,OAAO;QACL,qBAAqB,EAAE,EAAE,EAAE,EAAE,OAAO,QAAQ,CAAC,GAAG,CAAC,eAAe,EAAE,EAAE,OAAO,EAAE,GAAG,EAAE;QAClF,YAAY,EAAE,QAAQ,CAAC,GAAG,CAAC,oBAAoB;QAC/C,OAAO,EAAE,YAAY;QACrB,aAAa,EAAE,MAAM,CAAC,eAAe;QACrC,YAAY,EAAE,QAAQ,CAAC,WAAW;QAClC,qBAAqB,EAAE,SAAS,CAAC,MAAM,CAAC;KACzC,CAAC;AACJ,CAAC;AAED,SAAS,OAAO,CAAC,MAAc,EAAE,QAAoB,EAAE;IACrD,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,GAAG,KAAK,EAAE,CAAC;AACzC,CAAC;AAED,MAAM,UAAU,gCAAgC,CAC9C,WAAmB,EACnB,kBAA6B;IAE7B,gBAAgB,CAAC,WAAW,EAAE,uBAAuB,CAAC,CAAC;IACvD,IAAI,OAAO,kBAAkB,KAAK,QAAQ,IAAI,CAAC,uBAAuB,CAAC,IAAI,CAAC,kBAAkB,CAAC,EAAE,CAAC;QAChG,MAAM,IAAI,KAAK,CAAC,0BAA0B,CAAC,CAAC;IAC9C,CAAC;IACD,OAAO,SAAS,CAAC;QACf,MAAM,EAAE,0BAA0B;QAClC,YAAY,EAAE,WAAW;QACzB,oBAAoB,EAAE,kBAAkB;KACzC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,4BAA4B,CAAC,QAAkC;IACtE,OAAO,UAAU,eAAe,CAAC;QAC/B,IAAI,EAAE,QAAQ,CAAC,IAAI;QACnB,wBAAwB,EAAE,QAAQ,CAAC,iBAAiB;KACrD,CAAC,EAAe,CAAC;AACpB,CAAC;AAED,MAAM,UAAU,sBAAsB,CAAC,OAAgC;IACrE,IAAI,CAAC,OAAO,EAAE,IAAI,IAAI,OAAO,OAAO,CAAC,IAAI,CAAC,KAAK,KAAK,UAAU,IAAI,OAAO,OAAO,CAAC,IAAI,CAAC,GAAG,KAAK,UAAU,EAAE,CAAC;QACzG,MAAM,IAAI,KAAK,CAAC,wBAAwB,CAAC,CAAC;IAC5C,CAAC;IACD,IAAI,CAAC,aAAa,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACnF,MAAM,IAAI,KAAK,CAAC,4BAA4B,CAAC,CAAC;IAChD,CAAC;IACD,KAAK,MAAM,CAAC,EAAE,EAAE,OAAO,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC7D,aAAa,CAAC,OAAO,CAAC,CAAC;QACvB,IAAI,EAAE,KAAK,OAAO,CAAC,EAAE;YAAE,MAAM,IAAI,KAAK,CAAC,oCAAoC,CAAC,CAAC;IAC/E,CAAC;IACD,IAAI,CAAC,OAAO,CAAC,GAAG,EAAE,MAAM,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,QAAQ,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK;WAChE,OAAO,OAAO,CAAC,GAAG,CAAC,iBAAiB,KAAK,UAAU;WACnD,OAAO,OAAO,CAAC,GAAG,CAAC,wBAAwB,KAAK,UAAU,EAAE,CAAC;QAClE,MAAM,IAAI,KAAK,CAAC,qCAAqC,CAAC,CAAC;IACzD,CAAC;IACD,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,IAAI,IAAI,CAAC,GAAG,CAAC;IACpC,MAAM,YAAY,GAAG,kBAAkB,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IAE5D,SAAS,UAAU,CAAC,EAAW;QAC7B,IAAI,OAAO,EAAE,KAAK,QAAQ,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,6BAA6B,CAAC,CAAC;QACpG,OAAO,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;IAC9B,CAAC;IAED,SAAS,OAAO,CAAC,KAMhB;QACC,gBAAgB,CAAC,KAAK,EAAE,WAAW,EAAE,aAAa,CAAC,CAAC;QACpD,gBAAgB,CAAC,KAAK,EAAE,YAAY,EAAE,uBAAuB,CAAC,CAAC;QAC/D,gBAAgB,CAAC,KAAK,EAAE,YAAY,EAAE,uBAAuB,CAAC,CAAC;QAC/D,MAAM,OAAO,GAAG,UAAU,CAAC,KAAK,EAAE,UAAU,CAAC,CAAC;QAC9C,MAAM,UAAU,GAAG,sBAAsB,CAAC,OAAO,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;QACjE,MAAM,WAAW,GAAG,GAAG,EAAE,CAAC;QAC1B,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,WAAW,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,uBAAuB,CAAC,CAAC;QAC5E,MAAM,YAAY,GAAG,kBAAkB,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;QAC3D,OAAO,KAAK,CAAC;YACX,UAAU,EAAE,0BAA0B;YACtC,WAAW,EAAE,KAAK,CAAC,WAAW;YAC9B,YAAY,EAAE,KAAK,CAAC,YAAY;YAChC,YAAY,EAAE,KAAK,CAAC,YAAY;YAChC,UAAU,EAAE,OAAO,CAAC,EAAE;YACtB,MAAM,EAAE,UAAU,CAAC,MAAM;YACzB,aAAa,EAAE,YAAY;YAC3B,iBAAiB,EAAE,SAAS,CAAC,UAAU,CAAC,MAAM,CAAC;YAC/C,IAAI,EAAE,UAAU,CAAC,IAAI;YACrB,UAAU,EAAE,IAAI,IAAI,CAAC,WAAW,CAAC,CAAC,WAAW,EAAE;YAC/C,UAAU,EAAE,IAAI,IAAI,CAAC,WAAW,GAAG,OAAO,CAAC,OAAO,GAAG,IAAI,CAAC,CAAC,WAAW,EAAE;YACxE,SAAS,EAAE;gBACT,MAAM,EAAE,OAAO,CAAC,WAAW;gBAC3B,WAAW,EAAE,YAAY;gBACzB,eAAe,EAAE,CAAC,GAAG,OAAO,CAAC,eAAe,CAAC;gBAC7C,GAAG,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,KAAK,CAAC,OAAO,CAAC,aAAa,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;aAClF;YACD,aAAa,EAAE,KAAK,CAAC,OAAO,CAAC,aAAa,CAAC;YAC3C,GAAG,EAAE;gBACH,eAAe,EAAE,OAAO,CAAC,mBAAmB;gBAC5C,oBAAoB,EAAE,YAAY;gBAClC,iBAAiB,EAAE,gCAAgC,CAAC,KAAK,CAAC,YAAY,EAAE,YAAY,CAAC;aACtF;SACF,CAAC,CAAC;IACL,CAAC;IAED,SAAS,cAAc,CAAC,KAAc,EAAE,EAAE,YAAY,GAAG,KAAK,KAAiC,EAAE;QAI/F,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,CAAC,iBAAiB,CAAC,KAAK,CAAC;eAC/C,KAAK,CAAC,UAAU,CAAC,KAAK,0BAA0B,EAAE,CAAC;YACxD,MAAM,IAAI,KAAK,CAAC,wBAAwB,CAAC,CAAC;QAC5C,CAAC;QACD,MAAM,QAAQ,GAAG,KAAiC,CAAC;QACnD,gBAAgB,CAAC,QAAQ,CAAC,WAAW,EAAE,aAAa,CAAC,CAAC;QACtD,gBAAgB,CAAC,QAAQ,CAAC,YAAY,EAAE,uBAAuB,CAAC,CAAC;QACjE,gBAAgB,CAAC,QAAQ,CAAC,YAAY,EAAE,uBAAuB,CAAC,CAAC;QACjE,MAAM,OAAO,GAAG,UAAU,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC;QAChD,MAAM,UAAU,GAAG,sBAAsB,CAAC,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,CAAC;QACpE,IAAI,UAAU,CAAC,IAAI,KAAK,QAAQ,CAAC,IAAI;YAAE,MAAM,IAAI,KAAK,CAAC,wBAAwB,CAAC,CAAC;QACjF,gBAAgB,CAAC,UAAU,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,EAAE,+BAA+B,CAAC,CAAC;QACtF,IAAI,kBAAkB,CAAC,UAAU,CAAC,MAAM,CAAC,KAAK,QAAQ,CAAC,aAAa,EAAE,CAAC;YACrE,MAAM,IAAI,KAAK,CAAC,iCAAiC,CAAC,CAAC;QACrD,CAAC;QACD,IAAI,SAAS,CAAC,UAAU,CAAC,MAAM,CAAC,KAAK,QAAQ,CAAC,iBAAiB,EAAE,CAAC;YAChE,MAAM,IAAI,KAAK,CAAC,qCAAqC,CAAC,CAAC;QACzD,CAAC;QACD,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC;eACnG,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,UAAU,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,CAAC;YAC1E,MAAM,IAAI,KAAK,CAAC,uBAAuB,CAAC,CAAC;QAC3C,CAAC;QACD,IAAI,CAAC,YAAY,IAAI,GAAG,EAAE,IAAI,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,UAAU,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,kBAAkB,CAAC,CAAC;QACnG,gBAAgB,CAAC,QAAQ,CAAC,aAAa,EAAE,OAAO,CAAC,aAAa,EAAE,iCAAiC,CAAC,CAAC;QACnG,IAAI,CAAC,aAAa,CAAC,QAAQ,CAAC,GAAG,CAAC;eACzB,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,wDAAwD;eACvG,QAAQ,CAAC,GAAG,EAAE,eAAe,KAAK,OAAO,CAAC,mBAAmB;eAC7D,QAAQ,CAAC,GAAG,EAAE,oBAAoB,KAAK,YAAY,EAAE,CAAC;YAC3D,MAAM,IAAI,KAAK,CAAC,2BAA2B,CAAC,CAAC;QAC/C,CAAC;QACD,IAAI,QAAQ,CAAC,GAAG,CAAC,iBAAiB,KAAK,gCAAgC,CAAC,QAAQ,CAAC,YAAY,EAAE,YAAY,CAAC,EAAE,CAAC;YAC7G,MAAM,IAAI,KAAK,CAAC,6BAA6B,CAAC,CAAC;QACjD,CAAC;QACD,MAAM,iBAAiB,GAAG;YACxB,MAAM,EAAE,OAAO,CAAC,WAAW;YAC3B,WAAW,EAAE,QAAQ,CAAC,aAAa;YACnC,eAAe,EAAE,CAAC,GAAG,OAAO,CAAC,eAAe,CAAC;YAC7C,GAAG,CAAC,OAAO,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,KAAK,CAAC,OAAO,CAAC,aAAa,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SAClF,CAAC;QACF,gBAAgB,CAAC,QAAQ,CAAC,SAAS,EAAE,iBAAiB,EAAE,6BAA6B,CAAC,CAAC;QACvF,OAAO,EAAE,QAAQ,EAAE,KAAK,CAAC,QAAQ,CAAC,EAAE,OAAO,EAAE,CAAC;IAChD,CAAC;IAED,KAAK,UAAU,gBAAgB,CAAC,QAAkC,EAAE,UAAmB;QACrF,IAAI,CAAC,aAAa,CAAC,UAAU,CAAC;YAAE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,wBAAwB,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;QACxG,MAAM,MAAM,GAAG,UAA4C,CAAC;QAC5D,IAAI,MAAM,CAAC,YAAY,KAAK,QAAQ,CAAC,YAAY;eAC1C,MAAM,CAAC,iBAAiB,KAAK,QAAQ,CAAC,GAAG,CAAC,iBAAiB;eAC3D,MAAM,CAAC,YAAY,KAAK,QAAQ,CAAC,YAAY;eAC7C,MAAM,CAAC,eAAe,KAAK,QAAQ,CAAC,GAAG,CAAC,eAAe;eACvD,MAAM,CAAC,IAAI,KAAK,QAAQ,CAAC,IAAI,EAAE,CAAC;YACrC,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,iCAAiC,EAAE,MAAM,EAAE,CAAC;QAC7E,CAAC;QACD,IAAI,SAAkC,CAAC;QACvC,IAAI,CAAC;YACH,SAAS,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC,iBAAiB,CAAC,EAAE,QAAQ,EAAE,KAAK,CAAC,QAAQ,CAAC,EAAE,UAAU,EAAE,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QAC5G,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,gCAAgC,EAAE,MAAM,EAAE,CAAC;QAC5E,CAAC;QACD,MAAM,OAAO,GAAG,mBAAmB,CAAC,MAAM,EAAE;YAC1C,MAAM,EAAE,OAAO,CAAC,GAAG,CAAC,MAAM;YAC1B,QAAQ,EAAE,OAAO,CAAC,GAAG,CAAC,QAAQ;YAC9B,SAAS;YACT,GAAG,EAAE,IAAI,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC,WAAW,EAAE;SACnC,CAAC,CAAC;QACH,IAAI,CAAC,OAAO,CAAC,KAAK,IAAI,MAAM,CAAC,OAAO,KAAK,WAAW;eAC7C,MAAM,CAAC,qBAAqB,EAAE,oBAAoB,KAAK,IAAI,EAAE,CAAC;YACnE,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,wBAAwB,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC;QAC7E,CAAC;QACD,IAAI,MAAM,CAAC,WAAW,EAAE,aAAa,KAAK,4BAA4B,CAAC,QAAQ,CAAC,EAAE,CAAC;YACjF,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,iCAAiC,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC;QACtF,CAAC;QACD,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC;IACxD,CAAC;IAED,SAAS,SAAS,CAAC,QAAkC,EAAE,OAAgC,EAAE,OAAgB,EAAE,MAA2B;QACpI,OAAO;YACL,QAAQ,EAAE;gBACR,GAAG,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC;gBAC1B,YAAY,EAAE,QAAQ,CAAC,YAAY;gBACnC,YAAY,EAAE,QAAQ,CAAC,YAAY;gBACnC,mBAAmB,EAAE,QAAQ,CAAC,GAAG,CAAC,eAAe;aAClD;YACD,OAAO;YACP,cAAc,EAAE,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC;YACtC,aAAa,EAAE,qBAAqB,CAAC,QAAQ,EAAE,MAAM,CAAC;SACvD,CAAC;IACJ,CAAC;IAED,KAAK,UAAU,OAAO,CACpB,KAAmE,EACnE,MAAoI;QAEpI,IAAI,OAAO,MAAM,KAAK,UAAU;YAAE,MAAM,IAAI,KAAK,CAAC,0BAA0B,CAAC,CAAC;QAC9E,MAAM,EAAE,QAAQ,EAAE,OAAO,EAAE,GAAG,cAAc,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;QAC9D,MAAM,UAAU,GAAG,MAAM,gBAAgB,CAAC,QAAQ,EAAE,KAAK,EAAE,UAAU,CAAC,CAAC;QACvE,IAAI,CAAC,UAAU,CAAC,KAAK,IAAI,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC;YAC5C,OAAO,OAAO,CAAC,UAAU,CAAC,MAAM,IAAI,wBAAwB,EAAE,EAAE,GAAG,EAAE,UAAU,CAAC,OAAO,IAAI,IAAI,EAAE,CAAC,CAAC;QACrG,CAAC;QACD,MAAM,iBAAiB,GAAG,SAAS,CAAC,QAAQ,EAAE,OAAO,EAAE,KAAK,CAAC,OAAO,EAAE,UAAU,CAAC,MAAM,CAAC,CAAC;QACzF,MAAM,SAAS,GAAG,MAAM,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,GAAG,iBAAiB,EAAE,eAAe,EAAE,MAAM,EAAE,CAAC,CAAC;QAC9F,IAAI,SAAS,CAAC,KAAK,KAAK,IAAI,EAAE,CAAC;YAC7B,OAAO,OAAO,CAAC,SAAS,CAAC,MAAM,IAAI,cAAc,EAAE,EAAE,aAAa,EAAE,SAAS,EAAE,CAAC,CAAC;QACnF,CAAC;QACD,IAAI,SAAS,CAAC,MAAM,KAAK,aAAa,IAAI,SAAS,CAAC,WAAW,EAAE,gBAAgB,KAAK,IAAI,EAAE,CAAC;YAC3F,OAAO,OAAO,CAAC,kCAAkC,EAAE,EAAE,aAAa,EAAE,SAAS,EAAE,CAAC,CAAC;QACnF,CAAC;QACD,MAAM,WAAW,GAAG,MAAM,4BAA4B,CAAC,UAAU,CAAC,MAAM,EAAE;YACxE,QAAQ,EAAE,IAAI;YACd,mBAAmB,EAAE,IAAI;YACzB,KAAK,EAAE,OAAO,CAAC,GAAG,CAAC,KAAK;SACzB,CAAC,CAAC;QACH,IAAI,CAAC,WAAW,CAAC,cAAc,IAAI,CAAC,WAAW,CAAC,eAAe,EAAE,CAAC;YAChE,OAAO,OAAO,CACZ,WAAW,CAAC,MAAM,KAAK,sBAAsB,CAAC,CAAC,CAAC,0BAA0B,CAAC,CAAC,CAAC,WAAW,CAAC,MAAM,EAC/F,EAAE,GAAG,EAAE,WAAW,EAAE,CACrB,CAAC;QACJ,CAAC;QACD,MAAM,GAAG,GAAG,WAAW,CAAC,eAAe,CAAC;QACxC,IAAI,CAAC;YACH,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,iBAAiB,EAAE,KAAK,EAAE,aAAa,EAAE,EAAE,CAAC,MAAM,CAAC;gBACvF,MAAM,EAAE,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC;gBAC9B,QAAQ,EAAE,KAAK,CAAC,QAAQ,CAAC;gBACzB,aAAa,EAAE,KAAK,CAAC,aAAa,CAAC;aACpC,CAAC,CAAC,CAAC;YACJ,IAAI,MAAM,EAAE,EAAE,KAAK,IAAI,EAAE,CAAC;gBACxB,MAAM,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;gBACrC,OAAO,OAAO,CAAC,MAAM,EAAE,aAAa,EAAE,MAAM,IAAI,MAAM,EAAE,MAAM,IAAI,cAAc,EAAE;oBAChF,aAAa,EAAE,MAAM,EAAE,aAAa,IAAI,IAAI;iBAC7C,CAAC,CAAC;YACL,CAAC;YACD,MAAM,SAAS,GAAG,MAAM,4BAA4B,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,EAAE,WAAW,CAAC,CAAC;YAC1F,IAAI,SAAS,CAAC,KAAK,KAAK,UAAU,EAAE,CAAC;gBACnC,MAAM,KAAK,GAAQ,IAAI,KAAK,CAAC,+BAA+B,CAAC,CAAC;gBAC9D,KAAK,CAAC,IAAI,GAAG,yCAAyC,CAAC;gBACvD,KAAK,CAAC,gBAAgB,GAAG,EAAE,OAAO,EAAE,UAAU,EAAE,eAAe,EAAE,GAAG,EAAE,CAAC;gBACvE,MAAM,KAAK,CAAC;YACd,CAAC;YACD,OAAO,EAAE,GAAG,MAAM,EAAE,QAAQ,EAAE,KAAK,CAAC,QAAQ,CAAC,EAAE,GAAG,EAAE,SAAS,EAAE,CAAC;QAClE,CAAC;QAAC,OAAO,KAAU,EAAE,CAAC;YACpB,MAAM,OAAO,GAAG,KAAK,EAAE,gBAAgB,EAAE,OAAO,IAAI,KAAK,EAAE,iBAAiB,EAAE,OAAO,CAAC;YACtF,IAAI,OAAO,KAAK,UAAU,EAAE,CAAC;gBAC3B,MAAM,4BAA4B,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,EAAE,WAAW,CAAC,CAAC;YAC1E,CAAC;iBAAM,IAAI,OAAO,KAAK,eAAe,EAAE,CAAC;gBACvC,MAAM,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;YACvC,CAAC;YACD,MAAM,KAAK,CAAC;QACd,CAAC;IACH,CAAC;IAED,KAAK,UAAU,SAAS,CAAC,KAIxB;QACC,MAAM,EAAE,QAAQ,EAAE,GAAG,cAAc,CAAC,KAAK,EAAE,QAAQ,EAAE,EAAE,YAAY,EAAE,IAAI,EAAE,CAAC,CAAC;QAC7E,IAAI,CAAC,aAAa,CAAC,KAAK,EAAE,UAAU,CAAC;YAAE,OAAO,OAAO,CAAC,wBAAwB,CAAC,CAAC;QAChF,MAAM,MAAM,GAAG,KAAK,CAAC,UAA4C,CAAC;QAClE,IAAI,MAAM,CAAC,YAAY,KAAK,QAAQ,CAAC,YAAY;eAC1C,MAAM,CAAC,iBAAiB,KAAK,QAAQ,CAAC,GAAG,CAAC,iBAAiB;eAC3D,MAAM,CAAC,YAAY,KAAK,QAAQ,CAAC,YAAY;eAC7C,MAAM,CAAC,eAAe,KAAK,QAAQ,CAAC,GAAG,CAAC,eAAe;eACvD,MAAM,CAAC,IAAI,KAAK,QAAQ,CAAC,IAAI,EAAE,CAAC;YACrC,OAAO,OAAO,CAAC,iCAAiC,CAAC,CAAC;QACpD,CAAC;QACD,MAAM,SAAS,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC,iBAAiB,CAAC,EAAE,QAAQ,EAAE,KAAK,CAAC,QAAQ,CAAC,EAAE,UAAU,EAAE,KAAK,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QAChH,MAAM,UAAU,GAAG,mBAAmB,CAAC,MAAM,EAAE;YAC7C,MAAM,EAAE,OAAO,CAAC,GAAG,CAAC,MAAM;YAC1B,QAAQ,EAAE,OAAO,CAAC,GAAG,CAAC,QAAQ;YAC9B,SAAS;YACT,GAAG,EAAE,MAAM,CAAC,YAAY;SACzB,CAAC,CAAC;QACH,IAAI,CAAC,UAAU,CAAC,KAAK;YAAE,OAAO,OAAO,CAAC,wBAAwB,EAAE,EAAE,GAAG,EAAE,UAAU,EAAE,CAAC,CAAC;QACrF,IAAI,MAAM,CAAC,OAAO,KAAK,WAAW;eAC3B,MAAM,CAAC,qBAAqB,EAAE,oBAAoB,KAAK,IAAI,EAAE,CAAC;YACnE,OAAO,OAAO,CAAC,wBAAwB,EAAE,EAAE,GAAG,EAAE,UAAU,EAAE,CAAC,CAAC;QAChE,CAAC;QACD,IAAI,MAAM,CAAC,WAAW,EAAE,aAAa,KAAK,4BAA4B,CAAC,QAAQ,CAAC,EAAE,CAAC;YACjF,OAAO,OAAO,CAAC,iCAAiC,CAAC,CAAC;QACpD,CAAC;QACD,IAAI,QAA8C,CAAC;QACnD,IAAI,CAAC;YACH,QAAQ,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC,wBAAwB,CAAC;gBACpD,QAAQ,EAAE,KAAK,CAAC,KAAK,CAAC,iBAAiB,CAAC;gBACxC,QAAQ,EAAE;oBACR,YAAY,EAAE,QAAQ,CAAC,YAAY;oBACnC,IAAI,EAAE,QAAQ,CAAC,IAAI;oBACnB,aAAa,EAAE,QAAQ,CAAC,iBAAiB;iBAC1C;aACF,CAAC,CAAC;QACL,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,OAAO,CAAC,8BAA8B,CAAC,CAAC;QACjD,CAAC;QACD,IAAI,CAAC,QAAQ,EAAE,KAAK,IAAI,CAAC,QAAQ,CAAC,OAAO,KAAK,WAAW,IAAI,QAAQ,CAAC,OAAO,KAAK,eAAe,CAAC,EAAE,CAAC;YACnG,OAAO,OAAO,CAAC,QAAQ,EAAE,MAAM,IAAI,8BAA8B,CAAC,CAAC;QACrE,CAAC;QACD,MAAM,GAAG,GAAG,iBAAiB,CAAC,MAAM,CAAC,CAAC;QACtC,MAAM,UAAU,GAAG,MAAM,4BAA4B,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,EAAE,QAAQ,CAAC,OAAO,CAAC,CAAC;QAChG,IAAI,UAAU,CAAC,KAAK,KAAK,yBAAyB,EAAE,CAAC;YACnD,OAAO,OAAO,CAAC,UAAU,CAAC,MAAM,EAAE,EAAE,KAAK,EAAE,UAAU,CAAC,KAAK,EAAE,CAAC,CAAC;QACjE,CAAC;QACD,OAAO;YACL,EAAE,EAAE,IAAI;YACR,KAAK,EAAE,UAAU,CAAC,KAAK;YACvB,OAAO,EAAE,QAAQ,CAAC,OAAO;YACzB,eAAe,EAAE,QAAQ,CAAC,eAAe,IAAI,IAAI;YACjD,eAAe,EAAE,GAAG;SACrB,CAAC;IACJ,CAAC;IAED,KAAK,UAAU,aAAa,CAAC,KAM5B;QACC,MAAM,EAAE,QAAQ,EAAE,OAAO,EAAE,GAAG,cAAc,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;QAC9D,OAAO,oBAAoB,CAAC;YAC1B,aAAa,EAAE,QAAQ,CAAC,aAAa;YACrC,oBAAoB,EAAE,OAAO,CAAC,aAAa;YAC3C,SAAS,EAAE,QAAQ,CAAC,SAAS;YAC7B,MAAM,EAAE,QAAQ,CAAC,MAAM;YACvB,WAAW,EAAE,KAAK,CAAC,WAAW;YAC9B,eAAe,EAAE,KAAK,CAAC,eAAe;YACtC,sBAAsB,EAAE,KAAK,CAAC,uBAAuB;YACrD,SAAS,EAAE,KAAK,CAAC,UAAU;SAC5B,CAAC,CAAC;IACL,CAAC;IAED,KAAK,UAAU,YAAY,CAAC,KAK3B;QACC,MAAM,EAAE,QAAQ,EAAE,OAAO,EAAE,GAAG,cAAc,CAAC,KAAK,EAAE,QAAQ,EAAE,EAAE,YAAY,EAAE,IAAI,EAAE,CAAC,CAAC;QACtF,OAAO,mBAAmB,CAAC;YACzB,aAAa,EAAE,QAAQ,CAAC,aAAa;YACrC,oBAAoB,EAAE,OAAO,CAAC,aAAa;YAC3C,UAAU,EAAE,KAAK,CAAC,UAAU;YAC5B,UAAU,EAAE,KAAK,CAAC,UAAU;YAC5B,SAAS,EAAE,KAAK,CAAC,UAAU;SAC5B,CAAC,CAAC;IACL,CAAC;IAED,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,OAAO;QACP,cAAc;QACd,aAAa;QACb,YAAY;QACZ,OAAO;QACP,SAAS;KACV,CAAC,CAAC;AACL,CAAC;AAED,eAAe;IACb,0BAA0B;IAC1B,gCAAgC;IAChC,sBAAsB;CACvB,CAAC"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@emilia-protocol/gate",
-  "version": "0.13.0",
+  "version": "0.14.0",
   "repository": {
     "type": "git",
     "url": "https://github.com/emiliaprotocol/emilia-protocol.git",
@@ -71,6 +71,7 @@
     "./remedy-program": "./remedy-program.js",
     "./remedy-program-receipt": "./remedy-program-receipt.js",
     "./remedy-program-postgres": "./remedy-program-postgres.js",
+    "./proposal-to-effect": "./proposal-to-effect.js",
     "./zk-range-proof": "./zk-range-proof.js"
   },
   "bin": {
@@ -111,6 +112,7 @@
     "remedy-program.js",
     "remedy-program-receipt.js",
     "remedy-program-postgres.js",
+    "proposal-to-effect.js",
     "zk-range-proof.js",
     "reports/assurance-package.js",
     "ep-assure.mjs",
@@ -183,8 +185,8 @@
   },
   "dependencies": {
     "@noble/curves": "2.2.0",
-    "@emilia-protocol/require-receipt": "0.6.1",
-    "@emilia-protocol/verify": "3.11.0"
+    "@emilia-protocol/require-receipt": "0.7.0",
+    "@emilia-protocol/verify": "3.13.0"
   },
   "keywords": [
     "emilia",

package/proposal-to-effect.js

@@ -0,0 +1,4 @@
+// SPDX-License-Identifier: Apache-2.0
+// Compatibility entry point for the TypeScript proposal-to-effect module.
+export * from './dist/proposal-to-effect.js';
+export { default } from './dist/proposal-to-effect.js';

package/src/index.ts

@@ -284,6 +284,11 @@ export {
   REMEDY_PROGRAM_POSTGRES_SQL,
   createRemedyProgramPostgresStore,
 } from './remedy-program-postgres.js';
+export {
+  PROPOSAL_TO_EFFECT_VERSION,
+  proposalToEffectConsumptionNonce,
+  createProposalToEffect,
+} from './proposal-to-effect.js';
 export const ASSURANCE_TIERS = ['software', 'class_a', 'quorum'];
 const TIER_RANK = { software: 0, class_a: 1, quorum: 2 };
 const CAPABILITY_FAILURE_STATUS = 409;