@emilia-protocol/gate 0.14.0 → 0.15.1

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

@@ -0,0 +1,294 @@
+// @ts-nocheck
+// SPDX-License-Identifier: Apache-2.0
+/**
+ * Server-pinned EP-STATUS-v1 verification for Proposal-to-Effect AEB legs.
+ *
+ * Signed non-revocation status and relying-party consumption state answer
+ * different questions. This helper authenticates the former with
+ * verifyStatusArtifact and requires an authenticated local answer for the
+ * latter. The later atomic AEB reserve remains the race-closing operation.
+ */
+import { verifyStatusArtifact, } from '@emilia-protocol/verify/status';
+export { PROPOSAL_TO_EFFECT_STATUS_HEAD_STORE_VERSION, PROPOSAL_TO_EFFECT_STATUS_HEAD_TABLE, PROPOSAL_TO_EFFECT_STATUS_HEAD_SQL, createPostgresProposalToEffectStatusHeadStore, } from './proposal-to-effect-status-head-store.js';
+const DIGEST_PATTERN = /^sha256:[0-9a-f]{64}$/;
+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 EXPECTED_KEYS = [
+    'tenant_id',
+    'executor_id',
+    'operation_id',
+    'caid',
+    'artifact_ref',
+    'evidence_digest',
+    'replay_unit',
+];
+const TARGET_KEYS = ['type', 'id', 'digest', 'usage'];
+const AUTHORITY_PIN_KEYS = [
+    'authority_domain',
+    'authority_id',
+    'key_id',
+    'public_key',
+];
+function dataRecord(value) {
+    if (value === null || typeof value !== 'object' || Array.isArray(value))
+        return false;
+    const prototype = Object.getPrototypeOf(value);
+    if (prototype !== Object.prototype && prototype !== null)
+        return false;
+    return Reflect.ownKeys(value).every((key) => {
+        if (typeof key !== 'string')
+            return false;
+        const descriptor = Object.getOwnPropertyDescriptor(value, key);
+        return Boolean(descriptor?.enumerable && Object.hasOwn(descriptor, 'value'));
+    });
+}
+function exactDataRecord(value, keys) {
+    if (!dataRecord(value))
+        return false;
+    const actual = Reflect.ownKeys(value);
+    return actual.length === keys.length && keys.every((key) => Object.hasOwn(value, key));
+}
+function boundedString(value, maximum = 512) {
+    return typeof value === 'string' && value.length > 0 && value.length <= maximum;
+}
+function digest(value) {
+    return typeof value === 'string' && DIGEST_PATTERN.test(value);
+}
+function snapshotAuthorityPin(value) {
+    if (!exactDataRecord(value, AUTHORITY_PIN_KEYS)
+        || !boundedString(value.authority_domain, 253)
+        || !boundedString(value.authority_id)
+        || !boundedString(value.key_id)
+        || !boundedString(value.public_key, 4096))
+        return null;
+    return Object.freeze({
+        authority_domain: value.authority_domain,
+        authority_id: value.authority_id,
+        key_id: value.key_id,
+        public_key: value.public_key,
+    });
+}
+function snapshotExpected(value) {
+    if (!exactDataRecord(value, EXPECTED_KEYS)
+        || !boundedString(value.tenant_id)
+        || !boundedString(value.executor_id)
+        || !boundedString(value.operation_id)
+        || typeof value.caid !== 'string'
+        || !CAID_PATTERN.test(value.caid)
+        || !boundedString(value.artifact_ref)
+        || !digest(value.evidence_digest)
+        || !digest(value.replay_unit))
+        return null;
+    return Object.freeze({
+        tenant_id: value.tenant_id,
+        executor_id: value.executor_id,
+        operation_id: value.operation_id,
+        caid: value.caid,
+        artifact_ref: value.artifact_ref,
+        evidence_digest: value.evidence_digest,
+        replay_unit: value.replay_unit,
+    });
+}
+function snapshotTarget(value) {
+    if (!exactDataRecord(value, TARGET_KEYS)
+        || !['receipt', 'commit', 'delegation'].includes(value.type)
+        || !boundedString(value.id)
+        || !digest(value.digest)
+        || !['authorization', 'execution', 'delegation'].includes(value.usage)) {
+        return null;
+    }
+    return Object.freeze({
+        type: value.type,
+        id: value.id,
+        digest: value.digest,
+        usage: value.usage,
+    });
+}
+function denseDataArray(value) {
+    if (!Array.isArray(value) || Object.getPrototypeOf(value) !== Array.prototype)
+        return false;
+    const keys = Reflect.ownKeys(value);
+    if (keys.length !== value.length + 1 || !keys.includes('length'))
+        return false;
+    for (let index = 0; index < value.length; index += 1) {
+        const descriptor = Object.getOwnPropertyDescriptor(value, String(index));
+        if (!descriptor?.enumerable || !Object.hasOwn(descriptor, 'value'))
+            return false;
+    }
+    return true;
+}
+function snapshotJson(value, seen = new WeakSet()) {
+    if (value === null || typeof value === 'string' || typeof value === 'boolean')
+        return value;
+    if (typeof value === 'number') {
+        if (Number.isFinite(value))
+            return value;
+        throw new TypeError('non-finite JSON number');
+    }
+    if (typeof value !== 'object' || seen.has(value)) {
+        throw new TypeError('value is outside the JSON data model');
+    }
+    seen.add(value);
+    if (denseDataArray(value)) {
+        return value.map((member) => snapshotJson(member, seen));
+    }
+    if (!dataRecord(value))
+        throw new TypeError('value is not a plain data object');
+    const snapshot = {};
+    for (const key of Object.keys(value)) {
+        snapshot[key] = snapshotJson(value[key], seen);
+    }
+    return snapshot;
+}
+function normalizedInstant(value) {
+    if (typeof value !== 'string')
+        return null;
+    const milliseconds = Date.parse(value);
+    if (!Number.isFinite(milliseconds))
+        return null;
+    return new Date(milliseconds).toISOString();
+}
+function refusal(outcome, reason) {
+    return {
+        valid: false,
+        outcome,
+        status: null,
+        reason,
+    };
+}
+function verifierConfiguration(options) {
+    const authorityPin = snapshotAuthorityPin(options?.authorityPin);
+    if (!authorityPin
+        || typeof options.targetMapper !== 'function'
+        || typeof options.certificateResolver !== 'function'
+        || !dataRecord(options.statusHeadStore)
+        || options.statusHeadStore.durable !== true
+        || !boundedString(options.statusHeadStore.tenantId)
+        || !boundedString(options.statusHeadStore.relyingPartyId)
+        || typeof options.statusHeadStore.accept !== 'function'
+        || typeof options.consumptionStateResolver !== 'function') {
+        throw new TypeError('proposal_to_effect_status_configuration_invalid');
+    }
+    return authorityPin;
+}
+/**
+ * Build the server-side verifier expected by
+ * `ProposalToEffectOptions.aeb.statusVerifier`.
+ */
+export function createProposalToEffectStatusVerifier(options) {
+    const authorityPin = verifierConfiguration(options);
+    const targetMapper = options.targetMapper;
+    const certificateResolver = options.certificateResolver;
+    const statusHeadStore = options.statusHeadStore;
+    const consumptionStateResolver = options.consumptionStateResolver;
+    return async (input) => {
+        const expected = snapshotExpected(input?.expected);
+        const checkedAt = normalizedInstant(input?.now);
+        if (!expected || !checkedAt) {
+            return refusal('indeterminate', 'status_expected_binding_invalid');
+        }
+        let statusArtifact;
+        let target;
+        try {
+            statusArtifact = snapshotJson(input.status_artifact);
+            const mapped = await targetMapper({ expected });
+            const snapshot = snapshotTarget(mapped);
+            if (!snapshot)
+                return refusal('indeterminate', 'status_target_resolution_failed');
+            target = snapshot;
+        }
+        catch {
+            return refusal('indeterminate', 'status_target_resolution_failed');
+        }
+        const context = Object.freeze({ expected, target });
+        let certificate;
+        try {
+            const resolvedCertificate = await certificateResolver(context);
+            if (resolvedCertificate === undefined || resolvedCertificate === null) {
+                return refusal('indeterminate', 'status_certificate_unavailable');
+            }
+            certificate = snapshotJson(resolvedCertificate);
+        }
+        catch {
+            return refusal('indeterminate', 'status_certificate_unavailable');
+        }
+        if (statusHeadStore.tenantId !== expected.tenant_id) {
+            return refusal('indeterminate', 'status_head_scope_mismatch');
+        }
+        let acceptance;
+        try {
+            acceptance = await statusHeadStore.accept({
+                target,
+                status: statusArtifact,
+                verify: (previousStatus) => verifyStatusArtifact(target, statusArtifact, {
+                    authorityPin,
+                    certificate,
+                    previousStatus,
+                    now: input.now,
+                }),
+            });
+        }
+        catch {
+            return refusal('indeterminate', 'status_head_store_unavailable');
+        }
+        if (!dataRecord(acceptance)
+            || typeof acceptance.accepted !== 'boolean'
+            || !Object.hasOwn(acceptance, 'verification')
+            || !dataRecord(acceptance.verification)) {
+            return refusal('indeterminate', 'status_head_store_invalid');
+        }
+        if (!acceptance.accepted) {
+            return refusal('indeterminate', boundedString(acceptance.reason)
+                ? acceptance.reason : 'status_head_store_refused');
+        }
+        const verification = acceptance.verification;
+        if (!verification.valid || verification.outcome === 'indeterminate') {
+            return refusal('indeterminate', verification.reasons[0] ?? 'status_verification_failed');
+        }
+        if (verification.outcome === 'revoked') {
+            return refusal('revoked', 'status_revoked');
+        }
+        if (!digest(verification.status_digest)
+            || !Number.isSafeInteger(verification.sequence)
+            || verification.sequence === null) {
+            return refusal('indeterminate', 'status_verification_incomplete');
+        }
+        let consumption;
+        try {
+            consumption = await consumptionStateResolver(Object.freeze({
+                ...context,
+                status_digest: verification.status_digest,
+                sequence: verification.sequence,
+            }));
+        }
+        catch {
+            return refusal('indeterminate', 'status_consumption_state_unavailable');
+        }
+        if (!dataRecord(consumption)
+            || consumption.authenticated !== true
+            || typeof consumption.consumed !== 'boolean') {
+            return refusal('indeterminate', 'status_consumption_state_unknown');
+        }
+        if (consumption.consumed) {
+            return refusal('indeterminate', 'status_consumed');
+        }
+        const expiresAt = normalizedInstant(verification.next_update);
+        if (!expiresAt || Date.parse(checkedAt) >= Date.parse(expiresAt)) {
+            return refusal('indeterminate', 'status_expiry_invalid');
+        }
+        // This local answer is an authenticated pre-reservation observation. It
+        // does not claim race freedom; Proposal-to-Effect's atomic AEB reserve does.
+        const status = {
+            checked_at: checkedAt,
+            expires_at: expiresAt,
+            revocation_checked: true,
+            revoked: false,
+            consumed: false,
+        };
+        return {
+            valid: true,
+            outcome: 'current_not_revoked',
+            status,
+        };
+    };
+}
+//# sourceMappingURL=proposal-to-effect-status.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"proposal-to-effect-status.js","sourceRoot":"","sources":["../src/proposal-to-effect-status.ts"],"names":[],"mappings":"AAAA,sCAAsC;AACtC;;;;;;;GAOG;AAGH,OAAO,EACL,oBAAoB,GAIrB,MAAM,gCAAgC,CAAC;AAUxC,OAAO,EACL,4CAA4C,EAC5C,oCAAoC,EACpC,kCAAkC,EAClC,6CAA6C,GAC9C,MAAM,2CAA2C,CAAC;AA0DnD,MAAM,cAAc,GAAG,uBAAuB,CAAC;AAC/C,MAAM,YAAY,GAAG,wGAAwG,CAAC;AAC9H,MAAM,aAAa,GAAG;IACpB,WAAW;IACX,aAAa;IACb,cAAc;IACd,MAAM;IACN,cAAc;IACd,iBAAiB;IACjB,aAAa;CACL,CAAC;AACX,MAAM,WAAW,GAAG,CAAC,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,CAAU,CAAC;AAC/D,MAAM,kBAAkB,GAAG;IACzB,kBAAkB;IAClB,cAAc;IACd,QAAQ;IACR,YAAY;CACJ,CAAC;AAEX,SAAS,UAAU,CAAC,KAAc;IAChC,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IACtF,MAAM,SAAS,GAAG,MAAM,CAAC,cAAc,CAAC,KAAK,CAAC,CAAC;IAC/C,IAAI,SAAS,KAAK,MAAM,CAAC,SAAS,IAAI,SAAS,KAAK,IAAI;QAAE,OAAO,KAAK,CAAC;IACvE,OAAO,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,EAAE;QAC1C,IAAI,OAAO,GAAG,KAAK,QAAQ;YAAE,OAAO,KAAK,CAAC;QAC1C,MAAM,UAAU,GAAG,MAAM,CAAC,wBAAwB,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;QAC/D,OAAO,OAAO,CAAC,UAAU,EAAE,UAAU,IAAI,MAAM,CAAC,MAAM,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC,CAAC;IAC/E,CAAC,CAAC,CAAC;AACL,CAAC;AAED,SAAS,eAAe,CACtB,KAAc,EACd,IAAuB;IAEvB,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IACrC,MAAM,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;IACtC,OAAO,MAAM,CAAC,MAAM,KAAK,IAAI,CAAC,MAAM,IAAI,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC;AACzF,CAAC;AAED,SAAS,aAAa,CAAC,KAAc,EAAE,OAAO,GAAG,GAAG;IAClD,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,IAAI,KAAK,CAAC,MAAM,IAAI,OAAO,CAAC;AAClF,CAAC;AAED,SAAS,MAAM,CAAC,KAAc;IAC5B,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,cAAc,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AACjE,CAAC;AAED,SAAS,oBAAoB,CAAC,KAAc;IAC1C,IAAI,CAAC,eAAe,CAAC,KAAK,EAAE,kBAAkB,CAAC;WACxC,CAAC,aAAa,CAAC,KAAK,CAAC,gBAAgB,EAAE,GAAG,CAAC;WAC3C,CAAC,aAAa,CAAC,KAAK,CAAC,YAAY,CAAC;WAClC,CAAC,aAAa,CAAC,KAAK,CAAC,MAAM,CAAC;WAC5B,CAAC,aAAa,CAAC,KAAK,CAAC,UAAU,EAAE,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IAC3D,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,gBAAgB,EAAE,KAAK,CAAC,gBAAgB;QACxC,YAAY,EAAE,KAAK,CAAC,YAAY;QAChC,MAAM,EAAE,KAAK,CAAC,MAAM;QACpB,UAAU,EAAE,KAAK,CAAC,UAAU;KAC7B,CAAC,CAAC;AACL,CAAC;AAED,SAAS,gBAAgB,CAAC,KAAc;IACtC,IAAI,CAAC,eAAe,CAAC,KAAK,EAAE,aAAa,CAAC;WACnC,CAAC,aAAa,CAAC,KAAK,CAAC,SAAS,CAAC;WAC/B,CAAC,aAAa,CAAC,KAAK,CAAC,WAAW,CAAC;WACjC,CAAC,aAAa,CAAC,KAAK,CAAC,YAAY,CAAC;WAClC,OAAO,KAAK,CAAC,IAAI,KAAK,QAAQ;WAC9B,CAAC,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC;WAC9B,CAAC,aAAa,CAAC,KAAK,CAAC,YAAY,CAAC;WAClC,CAAC,MAAM,CAAC,KAAK,CAAC,eAAe,CAAC;WAC9B,CAAC,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC;QAAE,OAAO,IAAI,CAAC;IAC/C,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,SAAS,EAAE,KAAK,CAAC,SAAS;QAC1B,WAAW,EAAE,KAAK,CAAC,WAAW;QAC9B,YAAY,EAAE,KAAK,CAAC,YAAY;QAChC,IAAI,EAAE,KAAK,CAAC,IAAI;QAChB,YAAY,EAAE,KAAK,CAAC,YAAY;QAChC,eAAe,EAAE,KAAK,CAAC,eAAe;QACtC,WAAW,EAAE,KAAK,CAAC,WAAW;KAC/B,CAAC,CAAC;AACL,CAAC;AAED,SAAS,cAAc,CAAC,KAAc;IACpC,IAAI,CAAC,eAAe,CAAC,KAAK,EAAE,WAAW,CAAC;WACjC,CAAC,CAAC,SAAS,EAAE,QAAQ,EAAE,YAAY,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAc,CAAC;WACnE,CAAC,aAAa,CAAC,KAAK,CAAC,EAAE,CAAC;WACxB,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC;WACrB,CAAC,CAAC,eAAe,EAAE,WAAW,EAAE,YAAY,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,KAAe,CAAC,EAAE,CAAC;QACrF,OAAO,IAAI,CAAC;IACd,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,IAAI,EAAE,KAAK,CAAC,IAA4B;QACxC,EAAE,EAAE,KAAK,CAAC,EAAE;QACZ,MAAM,EAAE,KAAK,CAAC,MAAM;QACpB,KAAK,EAAE,KAAK,CAAC,KAA8B;KAC5C,CAAC,CAAC;AACL,CAAC;AAED,SAAS,cAAc,CAAC,KAAc;IACpC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,MAAM,CAAC,cAAc,CAAC,KAAK,CAAC,KAAK,KAAK,CAAC,SAAS;QAAE,OAAO,KAAK,CAAC;IAC5F,MAAM,IAAI,GAAG,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;IACpC,IAAI,IAAI,CAAC,MAAM,KAAK,KAAK,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC;QAAE,OAAO,KAAK,CAAC;IAC/E,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,KAAK,CAAC,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;QACrD,MAAM,UAAU,GAAG,MAAM,CAAC,wBAAwB,CAAC,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;QACzE,IAAI,CAAC,UAAU,EAAE,UAAU,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,UAAU,EAAE,OAAO,CAAC;YAAE,OAAO,KAAK,CAAC;IACnF,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,YAAY,CAAC,KAAc,EAAE,OAAO,IAAI,OAAO,EAAU;IAChE,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,OAAO,KAAK,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC;IAC5F,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC9B,IAAI,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC;YAAE,OAAO,KAAK,CAAC;QACzC,MAAM,IAAI,SAAS,CAAC,wBAAwB,CAAC,CAAC;IAChD,CAAC;IACD,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;QACjD,MAAM,IAAI,SAAS,CAAC,sCAAsC,CAAC,CAAC;IAC9D,CAAC;IACD,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IAChB,IAAI,cAAc,CAAC,KAAK,CAAC,EAAE,CAAC;QAC1B,OAAO,KAAK,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,YAAY,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC;IAC3D,CAAC;IACD,IAAI,CAAC,UAAU,CAAC,KAAK,CAAC;QAAE,MAAM,IAAI,SAAS,CAAC,kCAAkC,CAAC,CAAC;IAChF,MAAM,QAAQ,GAA4B,EAAE,CAAC;IAC7C,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QACrC,QAAQ,CAAC,GAAG,CAAC,GAAG,YAAY,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,CAAC;IACjD,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,SAAS,iBAAiB,CAAC,KAAc;IACvC,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IAC3C,MAAM,YAAY,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;IACvC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,YAAY,CAAC;QAAE,OAAO,IAAI,CAAC;IAChD,OAAO,IAAI,IAAI,CAAC,YAAY,CAAC,CAAC,WAAW,EAAE,CAAC;AAC9C,CAAC;AAED,SAAS,OAAO,CACd,OAAoC,EACpC,MAAc;IAEd,OAAO;QACL,KAAK,EAAE,KAAK;QACZ,OAAO;QACP,MAAM,EAAE,IAAI;QACZ,MAAM;KACP,CAAC;AACJ,CAAC;AAED,SAAS,qBAAqB,CAC5B,OAA8C;IAE9C,MAAM,YAAY,GAAG,oBAAoB,CAAC,OAAO,EAAE,YAAY,CAAC,CAAC;IACjE,IAAI,CAAC,YAAY;WACV,OAAO,OAAO,CAAC,YAAY,KAAK,UAAU;WAC1C,OAAO,OAAO,CAAC,mBAAmB,KAAK,UAAU;WACjD,CAAC,UAAU,CAAC,OAAO,CAAC,eAAe,CAAC;WACpC,OAAO,CAAC,eAAe,CAAC,OAAO,KAAK,IAAI;WACxC,CAAC,aAAa,CAAC,OAAO,CAAC,eAAe,CAAC,QAAQ,CAAC;WAChD,CAAC,aAAa,CAAC,OAAO,CAAC,eAAe,CAAC,cAAc,CAAC;WACtD,OAAO,OAAO,CAAC,eAAe,CAAC,MAAM,KAAK,UAAU;WACpD,OAAO,OAAO,CAAC,wBAAwB,KAAK,UAAU,EAAE,CAAC;QAC9D,MAAM,IAAI,SAAS,CAAC,iDAAiD,CAAC,CAAC;IACzE,CAAC;IACD,OAAO,YAAY,CAAC;AACtB,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,oCAAoC,CAClD,OAA8C;IAE9C,MAAM,YAAY,GAAG,qBAAqB,CAAC,OAAO,CAAC,CAAC;IACpD,MAAM,YAAY,GAAG,OAAO,CAAC,YAAY,CAAC;IAC1C,MAAM,mBAAmB,GAAG,OAAO,CAAC,mBAAmB,CAAC;IACxD,MAAM,eAAe,GAAG,OAAO,CAAC,eAAe,CAAC;IAChD,MAAM,wBAAwB,GAAG,OAAO,CAAC,wBAAwB,CAAC;IAElE,OAAO,KAAK,EAAE,KAAK,EAAsD,EAAE;QACzE,MAAM,QAAQ,GAAG,gBAAgB,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC;QACnD,MAAM,SAAS,GAAG,iBAAiB,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;QAChD,IAAI,CAAC,QAAQ,IAAI,CAAC,SAAS,EAAE,CAAC;YAC5B,OAAO,OAAO,CAAC,eAAe,EAAE,iCAAiC,CAAC,CAAC;QACrE,CAAC;QAED,IAAI,cAAuB,CAAC;QAC5B,IAAI,MAA8B,CAAC;QACnC,IAAI,CAAC;YACH,cAAc,GAAG,YAAY,CAAC,KAAK,CAAC,eAAe,CAAC,CAAC;YACrD,MAAM,MAAM,GAAG,MAAM,YAAY,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC;YAChD,MAAM,QAAQ,GAAG,cAAc,CAAC,MAAM,CAAC,CAAC;YACxC,IAAI,CAAC,QAAQ;gBAAE,OAAO,OAAO,CAAC,eAAe,EAAE,iCAAiC,CAAC,CAAC;YAClF,MAAM,GAAG,QAAQ,CAAC;QACpB,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,OAAO,CAAC,eAAe,EAAE,iCAAiC,CAAC,CAAC;QACrE,CAAC;QAED,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,CAAC,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAC,CAAC;QACpD,IAAI,WAAoB,CAAC;QACzB,IAAI,CAAC;YACH,MAAM,mBAAmB,GAAG,MAAM,mBAAmB,CAAC,OAAO,CAAC,CAAC;YAC/D,IAAI,mBAAmB,KAAK,SAAS,IAAI,mBAAmB,KAAK,IAAI,EAAE,CAAC;gBACtE,OAAO,OAAO,CAAC,eAAe,EAAE,gCAAgC,CAAC,CAAC;YACpE,CAAC;YACD,WAAW,GAAG,YAAY,CAAC,mBAAmB,CAAC,CAAC;QAClD,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,OAAO,CAAC,eAAe,EAAE,gCAAgC,CAAC,CAAC;QACpE,CAAC;QAED,IAAI,eAAe,CAAC,QAAQ,KAAK,QAAQ,CAAC,SAAS,EAAE,CAAC;YACpD,OAAO,OAAO,CAAC,eAAe,EAAE,4BAA4B,CAAC,CAAC;QAChE,CAAC;QAED,IAAI,UAAU,CAAC;QACf,IAAI,CAAC;YACH,UAAU,GAAG,MAAM,eAAe,CAAC,MAAM,CAAC;gBACxC,MAAM;gBACN,MAAM,EAAE,cAAc;gBACtB,MAAM,EAAE,CAAC,cAAc,EAAE,EAAE,CAAC,oBAAoB,CAAC,MAAM,EAAE,cAAc,EAAE;oBACvE,YAAY;oBACZ,WAAW;oBACX,cAAc;oBACd,GAAG,EAAE,KAAK,CAAC,GAAG;iBACf,CAAC;aACH,CAAC,CAAC;QACL,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,OAAO,CAAC,eAAe,EAAE,+BAA+B,CAAC,CAAC;QACnE,CAAC;QACD,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC;eACpB,OAAO,UAAU,CAAC,QAAQ,KAAK,SAAS;eACxC,CAAC,MAAM,CAAC,MAAM,CAAC,UAAU,EAAE,cAAc,CAAC;eAC1C,CAAC,UAAU,CAAC,UAAU,CAAC,YAAY,CAAC,EAAE,CAAC;YAC5C,OAAO,OAAO,CAAC,eAAe,EAAE,2BAA2B,CAAC,CAAC;QAC/D,CAAC;QACD,IAAI,CAAC,UAAU,CAAC,QAAQ,EAAE,CAAC;YACzB,OAAO,OAAO,CACZ,eAAe,EACf,aAAa,CAAC,UAAU,CAAC,MAAM,CAAC;gBAC9B,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,2BAA2B,CACpD,CAAC;QACJ,CAAC;QACD,MAAM,YAAY,GAAG,UAAU,CAAC,YAA6C,CAAC;QAC9E,IAAI,CAAC,YAAY,CAAC,KAAK,IAAI,YAAY,CAAC,OAAO,KAAK,eAAe,EAAE,CAAC;YACpE,OAAO,OAAO,CACZ,eAAe,EACf,YAAY,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,4BAA4B,CACxD,CAAC;QACJ,CAAC;QACD,IAAI,YAAY,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;YACvC,OAAO,OAAO,CAAC,SAAS,EAAE,gBAAgB,CAAC,CAAC;QAC9C,CAAC;QACD,IAAI,CAAC,MAAM,CAAC,YAAY,CAAC,aAAa,CAAC;eAChC,CAAC,MAAM,CAAC,aAAa,CAAC,YAAY,CAAC,QAAQ,CAAC;eAC5C,YAAY,CAAC,QAAQ,KAAK,IAAI,EAAE,CAAC;YACtC,OAAO,OAAO,CAAC,eAAe,EAAE,gCAAgC,CAAC,CAAC;QACpE,CAAC;QAED,IAAI,WAA6C,CAAC;QAClD,IAAI,CAAC;YACH,WAAW,GAAG,MAAM,wBAAwB,CAAC,MAAM,CAAC,MAAM,CAAC;gBACzD,GAAG,OAAO;gBACV,aAAa,EAAE,YAAY,CAAC,aAAa;gBACzC,QAAQ,EAAE,YAAY,CAAC,QAAQ;aAChC,CAAC,CAAC,CAAC;QACN,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,OAAO,CAAC,eAAe,EAAE,sCAAsC,CAAC,CAAC;QAC1E,CAAC;QACD,IAAI,CAAC,UAAU,CAAC,WAAW,CAAC;eACrB,WAAW,CAAC,aAAa,KAAK,IAAI;eAClC,OAAO,WAAW,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;YACjD,OAAO,OAAO,CAAC,eAAe,EAAE,kCAAkC,CAAC,CAAC;QACtE,CAAC;QACD,IAAI,WAAW,CAAC,QAAQ,EAAE,CAAC;YACzB,OAAO,OAAO,CAAC,eAAe,EAAE,iBAAiB,CAAC,CAAC;QACrD,CAAC;QAED,MAAM,SAAS,GAAG,iBAAiB,CAAC,YAAY,CAAC,WAAW,CAAC,CAAC;QAC9D,IAAI,CAAC,SAAS,IAAI,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,IAAI,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,EAAE,CAAC;YACjE,OAAO,OAAO,CAAC,eAAe,EAAE,uBAAuB,CAAC,CAAC;QAC3D,CAAC;QAED,wEAAwE;QACxE,6EAA6E;QAC7E,MAAM,MAAM,GAAmB;YAC7B,UAAU,EAAE,SAAS;YACrB,UAAU,EAAE,SAAS;YACrB,kBAAkB,EAAE,IAAI;YACxB,OAAO,EAAE,KAAK;YACd,QAAQ,EAAE,KAAK;SAChB,CAAC;QACF,OAAO;YACL,KAAK,EAAE,IAAI;YACX,OAAO,EAAE,qBAAqB;YAC9B,MAAM;SACP,CAAC;IACJ,CAAC,CAAC;AACJ,CAAC"}

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

@@ -5,10 +5,73 @@
  * requirement; consequence custody remains in Gate and its durable stores.
  */
 import { EP_APPROVAL_FLOW } from '@emilia-protocol/require-receipt/acquisition';
-import { type AebAdapter, type AebDigest, type AebDurableConsumptionStore, type AebEvaluationRecord, type AebPinnedConfig } from '@emilia-protocol/verify/aeb-adapter-contract';
+import { type AebAdapter, type AebDigest, type AebDurableConsumptionStore, type AebEvaluationRecord, type AebPinnedConfig, type AebStatusInput } from '@emilia-protocol/verify/aeb-adapter-contract';
 export declare const PROPOSAL_TO_EFFECT_VERSION = "EMILIA-PROPOSAL-TO-EFFECT-v1";
 type JsonObject = Record<string, any>;
 type FetchLike = typeof fetch;
+declare const CONSEQUENCE_ATTEMPT_OWNER: unique symbol;
+export type ConsequenceAttemptOwnerHandle = string & {
+    readonly [CONSEQUENCE_ATTEMPT_OWNER]: true;
+};
+export type ConsequenceAttemptState = 'RESERVED' | 'INVOKING' | 'INDETERMINATE' | 'COMMITTED' | 'RELEASED' | 'ESCALATED';
+export type ProposalToEffectProviderOutcome = 'COMMITTED' | 'NOT_COMMITTED' | 'ESCALATED';
+export interface ConsequenceAttemptBinding {
+    tenant_id: string;
+    provider_id: string;
+    provider_account_id: string;
+    environment: string;
+    attempt_id: string;
+    request_digest: AebDigest;
+}
+export interface ConsequenceAttemptReference {
+    tenant_id: string;
+    attempt_id: string;
+    owner: ConsequenceAttemptOwnerHandle;
+}
+export interface AuthenticatedProviderEvidenceBinding extends ConsequenceAttemptBinding {
+    operation_id: string;
+    caid: string;
+    action_digest: AebDigest;
+    evidence_id: string;
+    observed_at: string;
+    outcome: ProposalToEffectProviderOutcome;
+    evidence_digest: AebDigest;
+}
+export type ConsequenceAttemptTransition = {
+    expected_state: 'RESERVED';
+    next_state: 'INVOKING';
+} | {
+    expected_state: 'INVOKING';
+    next_state: 'INDETERMINATE';
+} | {
+    expected_state: 'INDETERMINATE';
+    next_state: 'COMMITTED' | 'RELEASED' | 'ESCALATED';
+};
+/** Owner-fenced durable CAS custody for one provider invocation attempt. */
+export interface ProposalToEffectConsequenceAttemptStore {
+    durable: true;
+    ownershipFenced: true;
+    compareAndSwap: true;
+    atomicEvidenceBinding: true;
+    reserve(binding: ConsequenceAttemptBinding): Promise<{
+        reserved: true;
+        owner: ConsequenceAttemptOwnerHandle;
+    } | {
+        reserved: false;
+        reason: string;
+    }>;
+    transition(input: ConsequenceAttemptReference & ConsequenceAttemptTransition): Promise<boolean>;
+    reconcile(input: ConsequenceAttemptReference & {
+        expected_state: 'INDETERMINATE';
+        next_state: 'COMMITTED' | 'RELEASED' | 'ESCALATED';
+        evidence: AuthenticatedProviderEvidenceBinding;
+    }): Promise<boolean>;
+    /** Read terminal custody without exposing owner material, for saga repair. */
+    read?(binding: ConsequenceAttemptBinding): Promise<{
+        state: ConsequenceAttemptState;
+        evidence_digest?: AebDigest | null;
+    } | null>;
+}
 export interface ProposalToEffectProfile {
     id: string;
     action_type: string;
@@ -56,11 +119,23 @@ export interface ProposalToEffectProposal {
         authorization_endpoint: string;
         flow: typeof EP_APPROVAL_FLOW;
     };
+    consequence: {
+        tenant_id: string;
+        provider_id: string;
+        provider_account_id: string;
+        environment: string;
+        executor_id: string;
+        request_digest: AebDigest;
+    };
     aeb: {
         requirement_ref: string;
         pinned_config_digest: AebDigest;
         consumption_nonce: AebDigest;
     };
+    integrity: {
+        alg: 'HMAC-SHA256';
+        value: string;
+    };
 }
 export interface ProposalToEffectGate {
     check(input: JsonObject): Promise<JsonObject>;
@@ -68,12 +143,47 @@ export interface ProposalToEffectGate {
 }
 export interface ProposalToEffectProviderVerification {
     valid: boolean;
-    outcome?: 'COMMITTED' | 'NOT_COMMITTED';
-    evidence_digest?: AebDigest | null;
+    outcome?: ProposalToEffectProviderOutcome;
+    evidence_id?: string;
+    observed_at?: string;
+    tenant_id?: string;
+    request_digest?: AebDigest;
+    provider_id?: string;
+    provider_account_id?: string;
+    environment?: string;
+    attempt_id?: string;
+    operation_id?: string;
+    caid?: string;
+    action_digest?: AebDigest;
+    evidence_digest?: AebDigest;
+    reason?: string;
+}
+export interface ProposalToEffectCurrentStatusVerification {
+    valid: boolean;
+    outcome: 'current_not_revoked' | 'revoked' | 'indeterminate';
+    /** Authenticated normalized AEB status; never raw presenter data. */
+    status?: AebStatusInput | null;
     reason?: string;
 }
 export interface ProposalToEffectOptions {
     gate: ProposalToEffectGate;
+    proposal_integrity: {
+        /** Server-held key copied at controller construction; minimum 256 bits. */
+        hmac_sha256_key: Uint8Array;
+    };
+    consequence: {
+        tenant_id: string;
+        provider_id: string;
+        provider_account_id: string;
+        environment: string;
+        executor_id: string;
+        store: ProposalToEffectConsequenceAttemptStore;
+        /** Server-side allocator. Presented execute input never selects attempt_id. */
+        create_attempt_id?: (input: {
+            tenant_id: string;
+            request_digest: AebDigest;
+        }) => Promise<string> | string;
+    };
     profiles: Record<string, ProposalToEffectProfile>;
     aeb: {
         config: AebPinnedConfig;
@@ -83,12 +193,37 @@ export interface ProposalToEffectOptions {
             proposal: ProposalToEffectProposal;
             evaluation: AebEvaluationRecord;
         }): Promise<Record<string, unknown>> | Record<string, unknown>;
+        currentStatusResolver(input: {
+            proposal: ProposalToEffectProposal;
+            evaluation: AebEvaluationRecord;
+            leg: AebEvaluationRecord['legs'][number];
+        }): Promise<unknown> | unknown;
+        /** Configure this around EP-STATUS-v1 verifyStatusArtifact and server pins. */
+        statusVerifier(input: {
+            status_artifact: unknown;
+            expected: {
+                tenant_id: string;
+                executor_id: string;
+                operation_id: string;
+                caid: string;
+                artifact_ref: string;
+                evidence_digest: AebDigest;
+                replay_unit: AebDigest;
+            };
+            now: string;
+        }): Promise<ProposalToEffectCurrentStatusVerification> | ProposalToEffectCurrentStatusVerification;
         verify_provider_evidence(input: {
             evidence: unknown;
             expected: {
                 operation_id: string;
                 caid: string;
                 action_digest: AebDigest;
+                tenant_id: string;
+                request_digest: AebDigest;
+                provider_id: string;
+                provider_account_id: string;
+                environment: string;
+                attempt_id: string;
             };
         }): Promise<ProposalToEffectProviderVerification> | ProposalToEffectProviderVerification;
     };
@@ -130,12 +265,25 @@ export declare function createProposalToEffect(options: ProposalToEffectOptions)
         action: JsonObject;
         proposal: ProposalToEffectProposal;
         authorization: JsonObject;
+        /** Provider request binding; the opaque store owner never crosses the effect boundary. */
+        attempt: ConsequenceAttemptBinding;
     }) => unknown | Promise<unknown>) => Promise<JsonObject>;
     reconcile: (input: {
         proposal: unknown;
         evaluation: unknown;
+        attempt: ConsequenceAttemptReference | (ConsequenceAttemptBinding & {
+            owner: ConsequenceAttemptOwnerHandle;
+        });
         provider_evidence: unknown;
+        aeb_recovery_authorization?: unknown;
+    }) => Promise<JsonObject>;
+    repairAeb: (input: {
+        proposal: unknown;
+        evaluation: unknown;
+        attempt: unknown;
+        aeb_recovery_authorization?: unknown;
     }) => Promise<JsonObject>;
+    getReconciliationHandle: (target: object) => ConsequenceAttemptReference | null;
 }>;
 declare const _default: {
     PROPOSAL_TO_EFFECT_VERSION: string;

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

@@ -1 +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"}
+{"version":3,"file":"proposal-to-effect.d.ts","sourceRoot":"","sources":["../src/proposal-to-effect.ts"],"names":[],"mappings":"AACA;;;;;GAKG;AAGH,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,EACpB,KAAK,cAAc,EAEpB,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;AAO9B,OAAO,CAAC,MAAM,yBAAyB,EAAE,OAAO,MAAM,CAAC;AACvD,MAAM,MAAM,6BAA6B,GAAG,MAAM,GAAG;IAAE,QAAQ,CAAC,CAAC,yBAAyB,CAAC,EAAE,IAAI,CAAA;CAAE,CAAC;AACpG,MAAM,MAAM,uBAAuB,GAC/B,UAAU,GACV,UAAU,GACV,eAAe,GACf,WAAW,GACX,UAAU,GACV,WAAW,CAAC;AAChB,MAAM,MAAM,+BAA+B,GAAG,WAAW,GAAG,eAAe,GAAG,WAAW,CAAC;AAE1F,MAAM,WAAW,yBAAyB;IACxC,SAAS,EAAE,MAAM,CAAC;IAClB,WAAW,EAAE,MAAM,CAAC;IACpB,mBAAmB,EAAE,MAAM,CAAC;IAC5B,WAAW,EAAE,MAAM,CAAC;IACpB,UAAU,EAAE,MAAM,CAAC;IACnB,cAAc,EAAE,SAAS,CAAC;CAC3B;AAED,MAAM,WAAW,2BAA2B;IAC1C,SAAS,EAAE,MAAM,CAAC;IAClB,UAAU,EAAE,MAAM,CAAC;IACnB,KAAK,EAAE,6BAA6B,CAAC;CACtC;AAED,MAAM,WAAW,oCAAqC,SAAQ,yBAAyB;IACrF,YAAY,EAAE,MAAM,CAAC;IACrB,IAAI,EAAE,MAAM,CAAC;IACb,aAAa,EAAE,SAAS,CAAC;IACzB,WAAW,EAAE,MAAM,CAAC;IACpB,WAAW,EAAE,MAAM,CAAC;IACpB,OAAO,EAAE,+BAA+B,CAAC;IACzC,eAAe,EAAE,SAAS,CAAC;CAC5B;AAED,MAAM,MAAM,4BAA4B,GACpC;IAAE,cAAc,EAAE,UAAU,CAAC;IAAC,UAAU,EAAE,UAAU,CAAA;CAAE,GACtD;IAAE,cAAc,EAAE,UAAU,CAAC;IAAC,UAAU,EAAE,eAAe,CAAA;CAAE,GAC3D;IACA,cAAc,EAAE,eAAe,CAAC;IAChC,UAAU,EAAE,WAAW,GAAG,UAAU,GAAG,WAAW,CAAC;CACpD,CAAC;AAEJ,4EAA4E;AAC5E,MAAM,WAAW,uCAAuC;IACtD,OAAO,EAAE,IAAI,CAAC;IACd,eAAe,EAAE,IAAI,CAAC;IACtB,cAAc,EAAE,IAAI,CAAC;IACrB,qBAAqB,EAAE,IAAI,CAAC;IAC5B,OAAO,CAAC,OAAO,EAAE,yBAAyB,GAAG,OAAO,CAChD;QAAE,QAAQ,EAAE,IAAI,CAAC;QAAC,KAAK,EAAE,6BAA6B,CAAA;KAAE,GACxD;QAAE,QAAQ,EAAE,KAAK,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAE,CACtC,CAAC;IACF,UAAU,CAAC,KAAK,EAAE,2BAA2B,GAAG,4BAA4B,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC;IAChG,SAAS,CAAC,KAAK,EAAE,2BAA2B,GAAG;QAC7C,cAAc,EAAE,eAAe,CAAC;QAChC,UAAU,EAAE,WAAW,GAAG,UAAU,GAAG,WAAW,CAAC;QACnD,QAAQ,EAAE,oCAAoC,CAAC;KAChD,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC;IACrB,8EAA8E;IAC9E,IAAI,CAAC,CAAC,OAAO,EAAE,yBAAyB,GAAG,OAAO,CAAC;QACjD,KAAK,EAAE,uBAAuB,CAAC;QAC/B,eAAe,CAAC,EAAE,SAAS,GAAG,IAAI,CAAC;KACpC,GAAG,IAAI,CAAC,CAAC;CACX;AAED,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,WAAW,EAAE;QACX,SAAS,EAAE,MAAM,CAAC;QAClB,WAAW,EAAE,MAAM,CAAC;QACpB,mBAAmB,EAAE,MAAM,CAAC;QAC5B,WAAW,EAAE,MAAM,CAAC;QACpB,WAAW,EAAE,MAAM,CAAC;QACpB,cAAc,EAAE,SAAS,CAAC;KAC3B,CAAC;IACF,GAAG,EAAE;QACH,eAAe,EAAE,MAAM,CAAC;QACxB,oBAAoB,EAAE,SAAS,CAAC;QAChC,iBAAiB,EAAE,SAAS,CAAC;KAC9B,CAAC;IACF,SAAS,EAAE;QACT,GAAG,EAAE,aAAa,CAAC;QACnB,KAAK,EAAE,MAAM,CAAC;KACf,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,+BAA+B,CAAC;IAC1C,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,cAAc,CAAC,EAAE,SAAS,CAAC;IAC3B,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,mBAAmB,CAAC,EAAE,MAAM,CAAC;IAC7B,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,aAAa,CAAC,EAAE,SAAS,CAAC;IAC1B,eAAe,CAAC,EAAE,SAAS,CAAC;IAC5B,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB;AAED,MAAM,WAAW,yCAAyC;IACxD,KAAK,EAAE,OAAO,CAAC;IACf,OAAO,EAAE,qBAAqB,GAAG,SAAS,GAAG,eAAe,CAAC;IAC7D,qEAAqE;IACrE,MAAM,CAAC,EAAE,cAAc,GAAG,IAAI,CAAC;IAC/B,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB;AAED,MAAM,WAAW,uBAAuB;IACtC,IAAI,EAAE,oBAAoB,CAAC;IAC3B,kBAAkB,EAAE;QAClB,2EAA2E;QAC3E,eAAe,EAAE,UAAU,CAAC;KAC7B,CAAC;IACF,WAAW,EAAE;QACX,SAAS,EAAE,MAAM,CAAC;QAClB,WAAW,EAAE,MAAM,CAAC;QACpB,mBAAmB,EAAE,MAAM,CAAC;QAC5B,WAAW,EAAE,MAAM,CAAC;QACpB,WAAW,EAAE,MAAM,CAAC;QACpB,KAAK,EAAE,uCAAuC,CAAC;QAC/C,+EAA+E;QAC/E,iBAAiB,CAAC,EAAE,CAAC,KAAK,EAAE;YAC1B,SAAS,EAAE,MAAM,CAAC;YAClB,cAAc,EAAE,SAAS,CAAC;SAC3B,KAAK,OAAO,CAAC,MAAM,CAAC,GAAG,MAAM,CAAC;KAChC,CAAC;IACF,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,qBAAqB,CAAC,KAAK,EAAE;YAC3B,QAAQ,EAAE,wBAAwB,CAAC;YACnC,UAAU,EAAE,mBAAmB,CAAC;YAChC,GAAG,EAAE,mBAAmB,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,CAAC;SAC1C,GAAG,OAAO,CAAC,OAAO,CAAC,GAAG,OAAO,CAAC;QAC/B,+EAA+E;QAC/E,cAAc,CAAC,KAAK,EAAE;YACpB,eAAe,EAAE,OAAO,CAAC;YACzB,QAAQ,EAAE;gBACR,SAAS,EAAE,MAAM,CAAC;gBAClB,WAAW,EAAE,MAAM,CAAC;gBACpB,YAAY,EAAE,MAAM,CAAC;gBACrB,IAAI,EAAE,MAAM,CAAC;gBACb,YAAY,EAAE,MAAM,CAAC;gBACrB,eAAe,EAAE,SAAS,CAAC;gBAC3B,WAAW,EAAE,SAAS,CAAC;aACxB,CAAC;YACF,GAAG,EAAE,MAAM,CAAC;SACb,GAAG,OAAO,CAAC,yCAAyC,CAAC,GAAG,yCAAyC,CAAC;QACnG,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;gBACzB,SAAS,EAAE,MAAM,CAAC;gBAClB,cAAc,EAAE,SAAS,CAAC;gBAC1B,WAAW,EAAE,MAAM,CAAC;gBACpB,mBAAmB,EAAE,MAAM,CAAC;gBAC5B,WAAW,EAAE,MAAM,CAAC;gBACpB,UAAU,EAAE,MAAM,CAAC;aACpB,CAAC;SACH,GAAG,OAAO,CAAC,oCAAoC,CAAC,GAAG,oCAAoC,CAAC;KAC1F,CAAC;IACF,GAAG,CAAC,EAAE,MAAM,MAAM,CAAC;CACpB;AAsID,wBAAgB,gCAAgC,CAC9C,WAAW,EAAE,MAAM,EACnB,kBAAkB,EAAE,SAAS,GAC5B,SAAS,CAUX;AASD,wBAAgB,sBAAsB,CAAC,OAAO,EAAE,uBAAuB;qBAmI7C;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;4BA8CG,OAAO,qBAA4B;QAAE,YAAY,CAAC,EAAE,OAAO,CAAA;KAAE,KAAQ;QAClG,QAAQ,EAAE,wBAAwB,CAAC;QACnC,OAAO,EAAE,uBAAuB,CAAC;KAClC;2BAumBmC;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;qBAned;QAAE,QAAQ,EAAE,OAAO,CAAC;QAAC,OAAO,EAAE,OAAO,CAAC;QAAC,UAAU,EAAE,OAAO,CAAA;KAAE,UAC3D,CAAC,KAAK,EAAE;QACd,MAAM,EAAE,UAAU,CAAC;QACnB,QAAQ,EAAE,wBAAwB,CAAC;QACnC,aAAa,EAAE,UAAU,CAAC;QAC1B,0FAA0F;QAC1F,OAAO,EAAE,yBAAyB,CAAC;KACpC,KAAK,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC,KAC/B,OAAO,CAAC,UAAU,CAAC;uBAsLU;QAC9B,QAAQ,EAAE,OAAO,CAAC;QAClB,UAAU,EAAE,OAAO,CAAC;QACpB,OAAO,EAAE,2BAA2B,GAAG,CAAC,yBAAyB,GAAG;YAAE,KAAK,EAAE,6BAA6B,CAAA;SAAE,CAAC,CAAC;QAC9G,iBAAiB,EAAE,OAAO,CAAC;QAC3B,0BAA0B,CAAC,EAAE,OAAO,CAAC;KACtC,KAAG,OAAO,CAAC,UAAU,CAAC;uBAwKS;QAC9B,QAAQ,EAAE,OAAO,CAAC;QAClB,UAAU,EAAE,OAAO,CAAC;QACpB,OAAO,EAAE,OAAO,CAAC;QACjB,0BAA0B,CAAC,EAAE,OAAO,CAAC;KACtC,KAAG,OAAO,CAAC,UAAU,CAAC;sCAhpBkB,MAAM,KAAG,2BAA2B,GAAG,IAAI;GAuxBrF;;;;;;AAED,wBAIE"}