@emilia-protocol/gate 0.13.0 → 0.15.0
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/CHANGELOG.md +53 -0
- package/README.md +89 -0
- package/aeb-consumption-store.js +3 -0
- package/dist/aeb-consumption-store.d.ts +80 -0
- package/dist/aeb-consumption-store.d.ts.map +1 -0
- package/dist/aeb-consumption-store.js +430 -0
- package/dist/aeb-consumption-store.js.map +1 -0
- package/dist/capability-receipt.d.ts +8 -0
- package/dist/capability-receipt.d.ts.map +1 -1
- package/dist/capability-receipt.js +17 -0
- package/dist/capability-receipt.js.map +1 -1
- package/dist/index.d.ts +13 -3
- package/dist/index.d.ts.map +1 -1
- package/dist/index.js +17 -4
- package/dist/index.js.map +1 -1
- package/dist/proposal-to-effect-postgres.d.ts +129 -0
- package/dist/proposal-to-effect-postgres.d.ts.map +1 -0
- package/dist/proposal-to-effect-postgres.js +1511 -0
- package/dist/proposal-to-effect-postgres.js.map +1 -0
- package/dist/proposal-to-effect-status.d.ts +55 -0
- package/dist/proposal-to-effect-status.d.ts.map +1 -0
- package/dist/proposal-to-effect-status.js +280 -0
- package/dist/proposal-to-effect-status.js.map +1 -0
- package/dist/proposal-to-effect.d.ts +294 -0
- package/dist/proposal-to-effect.d.ts.map +1 -0
- package/dist/proposal-to-effect.js +970 -0
- package/dist/proposal-to-effect.js.map +1 -0
- package/dist/remedy-case-set-postgres.d.ts +73 -0
- package/dist/remedy-case-set-postgres.d.ts.map +1 -0
- package/dist/remedy-case-set-postgres.js +846 -0
- package/dist/remedy-case-set-postgres.js.map +1 -0
- package/dist/remedy-case-set.d.ts +53 -0
- package/dist/remedy-case-set.d.ts.map +1 -0
- package/dist/remedy-case-set.js +571 -0
- package/dist/remedy-case-set.js.map +1 -0
- package/dist/remedy-program-adapters.d.ts +137 -0
- package/dist/remedy-program-adapters.d.ts.map +1 -0
- package/dist/remedy-program-adapters.js +590 -0
- package/dist/remedy-program-adapters.js.map +1 -0
- package/dist/trust-program-revocation.js.map +1 -1
- package/package.json +280 -63
- package/proposal-to-effect-postgres.js +3 -0
- package/proposal-to-effect-status.js +2 -0
- package/proposal-to-effect.js +4 -0
- package/remedy-case-set-postgres.js +3 -0
- package/remedy-case-set.js +3 -0
- package/remedy-program-adapters.js +3 -0
- package/src/aeb-consumption-store.ts +521 -0
- package/src/capability-receipt.ts +17 -0
- package/src/index.ts +57 -3
- package/src/proposal-to-effect-postgres.ts +1740 -0
- package/src/proposal-to-effect-status.ts +357 -0
- package/src/proposal-to-effect.ts +1276 -0
- package/src/remedy-case-set-postgres.ts +1008 -0
- package/src/remedy-case-set.ts +603 -0
- package/src/remedy-program-adapters.ts +657 -0
- package/src/trust-program-revocation.ts +1 -1
|
@@ -0,0 +1,430 @@
|
|
|
1
|
+
// @ts-nocheck
|
|
2
|
+
// SPDX-License-Identifier: Apache-2.0
|
|
3
|
+
/**
|
|
4
|
+
* PostgreSQL custody for AEB operation consumption and native replay fences.
|
|
5
|
+
*
|
|
6
|
+
* A reservation installs the operation key and every native replay key in one
|
|
7
|
+
* pinned transaction. Logical conflicts roll the transaction back; database
|
|
8
|
+
* errors propagate so callers fail closed. Commit and release are fenced by an
|
|
9
|
+
* opaque per-reservation token retained only by the store instance that won.
|
|
10
|
+
*/
|
|
11
|
+
import crypto from 'node:crypto';
|
|
12
|
+
export const AEB_PG_CONSUMPTION_STORE_VERSION = 'EP-GATE-AEB-PG-CONSUMPTION-v1';
|
|
13
|
+
export const AEB_CONSUMPTION_OPERATION_TABLE = 'ep_aeb_consumption_operations';
|
|
14
|
+
export const AEB_CONSUMPTION_REPLAY_TABLE = 'ep_aeb_consumption_replay_fences';
|
|
15
|
+
export const AEB_CONSUMPTION_EXECUTOR_ROLE = 'ep_aeb_executor';
|
|
16
|
+
export const AEB_CONSUMPTION_RECOVERY_ROLE = 'ep_aeb_recovery';
|
|
17
|
+
export const AEB_CONSUMPTION_OWNER_ROLE = 'ep_aeb_store_owner';
|
|
18
|
+
/** Exact schema required by createPostgresAebDurableConsumptionStore(). */
|
|
19
|
+
export const AEB_CONSUMPTION_DDL = `CREATE TABLE IF NOT EXISTS ${AEB_CONSUMPTION_OPERATION_TABLE} (
|
|
20
|
+
tenant_id TEXT NOT NULL CHECK (octet_length(tenant_id) BETWEEN 1 AND 512),
|
|
21
|
+
relying_party_id TEXT NOT NULL CHECK (octet_length(relying_party_id) BETWEEN 1 AND 512),
|
|
22
|
+
operation_key TEXT NOT NULL CHECK (octet_length(operation_key) BETWEEN 1 AND 4096),
|
|
23
|
+
state TEXT NOT NULL CHECK (state IN ('RESERVED', 'CONSUMED')),
|
|
24
|
+
owner_token TEXT NULL CHECK (owner_token IS NULL OR octet_length(owner_token) BETWEEN 16 AND 512),
|
|
25
|
+
reserved_at TIMESTAMPTZ NOT NULL DEFAULT transaction_timestamp(),
|
|
26
|
+
consumed_at TIMESTAMPTZ NULL,
|
|
27
|
+
PRIMARY KEY (tenant_id, relying_party_id, operation_key),
|
|
28
|
+
CHECK (
|
|
29
|
+
(state = 'RESERVED' AND owner_token IS NOT NULL AND consumed_at IS NULL)
|
|
30
|
+
OR (state = 'CONSUMED' AND owner_token IS NULL AND consumed_at IS NOT NULL)
|
|
31
|
+
)
|
|
32
|
+
);
|
|
33
|
+
CREATE TABLE IF NOT EXISTS ${AEB_CONSUMPTION_REPLAY_TABLE} (
|
|
34
|
+
tenant_id TEXT NOT NULL CHECK (octet_length(tenant_id) BETWEEN 1 AND 512),
|
|
35
|
+
relying_party_id TEXT NOT NULL CHECK (octet_length(relying_party_id) BETWEEN 1 AND 512),
|
|
36
|
+
replay_key TEXT NOT NULL CHECK (octet_length(replay_key) BETWEEN 1 AND 4096),
|
|
37
|
+
operation_key TEXT NOT NULL CHECK (octet_length(operation_key) BETWEEN 1 AND 4096),
|
|
38
|
+
reserved_at TIMESTAMPTZ NOT NULL DEFAULT transaction_timestamp(),
|
|
39
|
+
PRIMARY KEY (tenant_id, relying_party_id, replay_key),
|
|
40
|
+
FOREIGN KEY (tenant_id, relying_party_id, operation_key)
|
|
41
|
+
REFERENCES ${AEB_CONSUMPTION_OPERATION_TABLE} (tenant_id, relying_party_id, operation_key)
|
|
42
|
+
ON DELETE CASCADE
|
|
43
|
+
);
|
|
44
|
+
CREATE INDEX IF NOT EXISTS ${AEB_CONSUMPTION_REPLAY_TABLE}_operation_idx
|
|
45
|
+
ON ${AEB_CONSUMPTION_REPLAY_TABLE} (tenant_id, relying_party_id, operation_key);
|
|
46
|
+
DO $roles$
|
|
47
|
+
BEGIN
|
|
48
|
+
IF NOT EXISTS (SELECT 1 FROM pg_catalog.pg_roles WHERE rolname = '${AEB_CONSUMPTION_EXECUTOR_ROLE}') THEN
|
|
49
|
+
CREATE ROLE ${AEB_CONSUMPTION_EXECUTOR_ROLE} NOLOGIN
|
|
50
|
+
NOSUPERUSER NOCREATEDB NOCREATEROLE NOREPLICATION NOBYPASSRLS;
|
|
51
|
+
END IF;
|
|
52
|
+
IF NOT EXISTS (SELECT 1 FROM pg_catalog.pg_roles WHERE rolname = '${AEB_CONSUMPTION_RECOVERY_ROLE}') THEN
|
|
53
|
+
CREATE ROLE ${AEB_CONSUMPTION_RECOVERY_ROLE} NOLOGIN
|
|
54
|
+
NOSUPERUSER NOCREATEDB NOCREATEROLE NOREPLICATION NOBYPASSRLS;
|
|
55
|
+
END IF;
|
|
56
|
+
IF NOT EXISTS (SELECT 1 FROM pg_catalog.pg_roles WHERE rolname = '${AEB_CONSUMPTION_OWNER_ROLE}') THEN
|
|
57
|
+
CREATE ROLE ${AEB_CONSUMPTION_OWNER_ROLE} NOLOGIN
|
|
58
|
+
NOSUPERUSER NOCREATEDB NOCREATEROLE NOREPLICATION NOBYPASSRLS;
|
|
59
|
+
END IF;
|
|
60
|
+
END
|
|
61
|
+
$roles$;
|
|
62
|
+
GRANT ${AEB_CONSUMPTION_OWNER_ROLE} TO CURRENT_USER;
|
|
63
|
+
CREATE SCHEMA IF NOT EXISTS ep_aeb_private;
|
|
64
|
+
REVOKE ALL ON SCHEMA ep_aeb_private FROM PUBLIC, anon, authenticated, service_role;
|
|
65
|
+
CREATE TABLE IF NOT EXISTS ep_aeb_private.tenant_principals (
|
|
66
|
+
principal_name NAME NOT NULL,
|
|
67
|
+
tenant_id TEXT NOT NULL CHECK (octet_length(tenant_id) BETWEEN 1 AND 512),
|
|
68
|
+
can_execute BOOLEAN NOT NULL DEFAULT FALSE,
|
|
69
|
+
can_recover BOOLEAN NOT NULL DEFAULT FALSE,
|
|
70
|
+
PRIMARY KEY (principal_name, tenant_id),
|
|
71
|
+
CHECK (can_execute OR can_recover)
|
|
72
|
+
);
|
|
73
|
+
ALTER SCHEMA ep_aeb_private OWNER TO ${AEB_CONSUMPTION_OWNER_ROLE};
|
|
74
|
+
ALTER TABLE ep_aeb_private.tenant_principals OWNER TO ${AEB_CONSUMPTION_OWNER_ROLE};
|
|
75
|
+
ALTER TABLE ${AEB_CONSUMPTION_OPERATION_TABLE} OWNER TO ${AEB_CONSUMPTION_OWNER_ROLE};
|
|
76
|
+
ALTER TABLE ${AEB_CONSUMPTION_REPLAY_TABLE} OWNER TO ${AEB_CONSUMPTION_OWNER_ROLE};
|
|
77
|
+
ALTER TABLE ep_aeb_private.tenant_principals ENABLE ROW LEVEL SECURITY;
|
|
78
|
+
ALTER TABLE ep_aeb_private.tenant_principals FORCE ROW LEVEL SECURITY;
|
|
79
|
+
ALTER TABLE ${AEB_CONSUMPTION_OPERATION_TABLE} ENABLE ROW LEVEL SECURITY;
|
|
80
|
+
ALTER TABLE ${AEB_CONSUMPTION_OPERATION_TABLE} FORCE ROW LEVEL SECURITY;
|
|
81
|
+
ALTER TABLE ${AEB_CONSUMPTION_REPLAY_TABLE} ENABLE ROW LEVEL SECURITY;
|
|
82
|
+
ALTER TABLE ${AEB_CONSUMPTION_REPLAY_TABLE} FORCE ROW LEVEL SECURITY;
|
|
83
|
+
DROP POLICY IF EXISTS ep_aeb_principals_owner_only ON ep_aeb_private.tenant_principals;
|
|
84
|
+
CREATE POLICY ep_aeb_principals_owner_only ON ep_aeb_private.tenant_principals
|
|
85
|
+
TO ${AEB_CONSUMPTION_OWNER_ROLE} USING (TRUE) WITH CHECK (TRUE);
|
|
86
|
+
DROP POLICY IF EXISTS ep_aeb_operations_owner_only ON ${AEB_CONSUMPTION_OPERATION_TABLE};
|
|
87
|
+
CREATE POLICY ep_aeb_operations_owner_only ON ${AEB_CONSUMPTION_OPERATION_TABLE}
|
|
88
|
+
TO ${AEB_CONSUMPTION_OWNER_ROLE} USING (TRUE) WITH CHECK (TRUE);
|
|
89
|
+
DROP POLICY IF EXISTS ep_aeb_replay_owner_only ON ${AEB_CONSUMPTION_REPLAY_TABLE};
|
|
90
|
+
CREATE POLICY ep_aeb_replay_owner_only ON ${AEB_CONSUMPTION_REPLAY_TABLE}
|
|
91
|
+
TO ${AEB_CONSUMPTION_OWNER_ROLE} USING (TRUE) WITH CHECK (TRUE);
|
|
92
|
+
REVOKE ALL ON ep_aeb_private.tenant_principals FROM PUBLIC, anon, authenticated, service_role,
|
|
93
|
+
${AEB_CONSUMPTION_EXECUTOR_ROLE}, ${AEB_CONSUMPTION_RECOVERY_ROLE};
|
|
94
|
+
REVOKE ALL ON ${AEB_CONSUMPTION_OPERATION_TABLE} FROM PUBLIC, anon, authenticated, service_role,
|
|
95
|
+
${AEB_CONSUMPTION_EXECUTOR_ROLE}, ${AEB_CONSUMPTION_RECOVERY_ROLE};
|
|
96
|
+
REVOKE ALL ON ${AEB_CONSUMPTION_REPLAY_TABLE} FROM PUBLIC, anon, authenticated, service_role,
|
|
97
|
+
${AEB_CONSUMPTION_EXECUTOR_ROLE}, ${AEB_CONSUMPTION_RECOVERY_ROLE};
|
|
98
|
+
CREATE OR REPLACE FUNCTION ep_aeb_private.assert_tenant_principal(
|
|
99
|
+
p_tenant_id TEXT, p_recovery BOOLEAN
|
|
100
|
+
) RETURNS VOID
|
|
101
|
+
LANGUAGE plpgsql VOLATILE SECURITY DEFINER SET search_path = ''
|
|
102
|
+
AS $fn$
|
|
103
|
+
DECLARE v_role_ok BOOLEAN; v_binding_ok BOOLEAN;
|
|
104
|
+
BEGIN
|
|
105
|
+
v_role_ok := CASE WHEN p_recovery
|
|
106
|
+
THEN pg_catalog.pg_has_role(SESSION_USER, '${AEB_CONSUMPTION_RECOVERY_ROLE}', 'MEMBER')
|
|
107
|
+
ELSE pg_catalog.pg_has_role(SESSION_USER, '${AEB_CONSUMPTION_EXECUTOR_ROLE}', 'MEMBER')
|
|
108
|
+
END;
|
|
109
|
+
SELECT EXISTS (
|
|
110
|
+
SELECT 1 FROM ep_aeb_private.tenant_principals AS principals
|
|
111
|
+
WHERE principals.principal_name = SESSION_USER
|
|
112
|
+
AND principals.tenant_id = p_tenant_id
|
|
113
|
+
AND CASE WHEN p_recovery THEN principals.can_recover ELSE principals.can_execute END
|
|
114
|
+
) INTO v_binding_ok;
|
|
115
|
+
IF v_role_ok IS NOT TRUE OR v_binding_ok IS NOT TRUE THEN
|
|
116
|
+
RAISE EXCEPTION 'AEB_TENANT_PRINCIPAL_REFUSED' USING ERRCODE = '42501';
|
|
117
|
+
END IF;
|
|
118
|
+
END
|
|
119
|
+
$fn$;
|
|
120
|
+
CREATE OR REPLACE FUNCTION ep_aeb_private.reserve_operation(
|
|
121
|
+
p_tenant_id TEXT, p_relying_party_id TEXT, p_operation_key TEXT, p_owner_token TEXT
|
|
122
|
+
) RETURNS TABLE(operation_key TEXT)
|
|
123
|
+
LANGUAGE plpgsql SECURITY DEFINER SET search_path = ''
|
|
124
|
+
AS $fn$
|
|
125
|
+
BEGIN
|
|
126
|
+
PERFORM ep_aeb_private.assert_tenant_principal(p_tenant_id, FALSE);
|
|
127
|
+
RETURN QUERY INSERT INTO public.${AEB_CONSUMPTION_OPERATION_TABLE}
|
|
128
|
+
(tenant_id, relying_party_id, operation_key, state, owner_token)
|
|
129
|
+
VALUES (p_tenant_id, p_relying_party_id, p_operation_key, 'RESERVED', p_owner_token)
|
|
130
|
+
ON CONFLICT ON CONSTRAINT ep_aeb_consumption_operations_pkey DO NOTHING
|
|
131
|
+
RETURNING ${AEB_CONSUMPTION_OPERATION_TABLE}.operation_key;
|
|
132
|
+
END
|
|
133
|
+
$fn$;
|
|
134
|
+
CREATE OR REPLACE FUNCTION ep_aeb_private.reserve_replay_keys(
|
|
135
|
+
p_tenant_id TEXT, p_relying_party_id TEXT, p_operation_key TEXT, p_replay_keys TEXT[]
|
|
136
|
+
) RETURNS TABLE(replay_key TEXT)
|
|
137
|
+
LANGUAGE plpgsql SECURITY DEFINER SET search_path = ''
|
|
138
|
+
AS $fn$
|
|
139
|
+
BEGIN
|
|
140
|
+
PERFORM ep_aeb_private.assert_tenant_principal(p_tenant_id, FALSE);
|
|
141
|
+
RETURN QUERY INSERT INTO public.${AEB_CONSUMPTION_REPLAY_TABLE}
|
|
142
|
+
(tenant_id, relying_party_id, replay_key, operation_key)
|
|
143
|
+
SELECT p_tenant_id, p_relying_party_id, requested.replay_key, p_operation_key
|
|
144
|
+
FROM pg_catalog.unnest(p_replay_keys) AS requested(replay_key)
|
|
145
|
+
ORDER BY requested.replay_key
|
|
146
|
+
ON CONFLICT ON CONSTRAINT ep_aeb_consumption_replay_fences_pkey DO NOTHING
|
|
147
|
+
RETURNING ${AEB_CONSUMPTION_REPLAY_TABLE}.replay_key;
|
|
148
|
+
END
|
|
149
|
+
$fn$;
|
|
150
|
+
CREATE OR REPLACE FUNCTION ep_aeb_private.commit_operation(
|
|
151
|
+
p_tenant_id TEXT, p_relying_party_id TEXT, p_operation_key TEXT, p_owner_token TEXT
|
|
152
|
+
) RETURNS TABLE(operation_key TEXT)
|
|
153
|
+
LANGUAGE plpgsql SECURITY DEFINER SET search_path = ''
|
|
154
|
+
AS $fn$
|
|
155
|
+
BEGIN
|
|
156
|
+
PERFORM ep_aeb_private.assert_tenant_principal(p_tenant_id, FALSE);
|
|
157
|
+
RETURN QUERY UPDATE public.${AEB_CONSUMPTION_OPERATION_TABLE}
|
|
158
|
+
SET state = 'CONSUMED', owner_token = NULL, consumed_at = pg_catalog.transaction_timestamp()
|
|
159
|
+
WHERE tenant_id = p_tenant_id AND relying_party_id = p_relying_party_id
|
|
160
|
+
AND ${AEB_CONSUMPTION_OPERATION_TABLE}.operation_key = p_operation_key
|
|
161
|
+
AND state = 'RESERVED' AND owner_token = p_owner_token
|
|
162
|
+
RETURNING ${AEB_CONSUMPTION_OPERATION_TABLE}.operation_key;
|
|
163
|
+
END
|
|
164
|
+
$fn$;
|
|
165
|
+
CREATE OR REPLACE FUNCTION ep_aeb_private.claim_operation(
|
|
166
|
+
p_tenant_id TEXT, p_relying_party_id TEXT, p_operation_key TEXT, p_owner_token TEXT
|
|
167
|
+
) RETURNS TABLE(operation_key TEXT)
|
|
168
|
+
LANGUAGE plpgsql SECURITY DEFINER SET search_path = ''
|
|
169
|
+
AS $fn$
|
|
170
|
+
BEGIN
|
|
171
|
+
PERFORM ep_aeb_private.assert_tenant_principal(p_tenant_id, TRUE);
|
|
172
|
+
RETURN QUERY UPDATE public.${AEB_CONSUMPTION_OPERATION_TABLE}
|
|
173
|
+
SET owner_token = p_owner_token
|
|
174
|
+
WHERE tenant_id = p_tenant_id AND relying_party_id = p_relying_party_id
|
|
175
|
+
AND ${AEB_CONSUMPTION_OPERATION_TABLE}.operation_key = p_operation_key
|
|
176
|
+
AND state = 'RESERVED'
|
|
177
|
+
RETURNING ${AEB_CONSUMPTION_OPERATION_TABLE}.operation_key;
|
|
178
|
+
END
|
|
179
|
+
$fn$;
|
|
180
|
+
CREATE OR REPLACE FUNCTION ep_aeb_private.release_operation(
|
|
181
|
+
p_tenant_id TEXT, p_relying_party_id TEXT, p_operation_key TEXT, p_owner_token TEXT
|
|
182
|
+
) RETURNS TABLE(operation_key TEXT)
|
|
183
|
+
LANGUAGE plpgsql SECURITY DEFINER SET search_path = ''
|
|
184
|
+
AS $fn$
|
|
185
|
+
BEGIN
|
|
186
|
+
PERFORM ep_aeb_private.assert_tenant_principal(p_tenant_id, FALSE);
|
|
187
|
+
RETURN QUERY DELETE FROM public.${AEB_CONSUMPTION_OPERATION_TABLE}
|
|
188
|
+
WHERE tenant_id = p_tenant_id AND relying_party_id = p_relying_party_id
|
|
189
|
+
AND ${AEB_CONSUMPTION_OPERATION_TABLE}.operation_key = p_operation_key
|
|
190
|
+
AND state = 'RESERVED' AND owner_token = p_owner_token
|
|
191
|
+
RETURNING ${AEB_CONSUMPTION_OPERATION_TABLE}.operation_key;
|
|
192
|
+
END
|
|
193
|
+
$fn$;
|
|
194
|
+
ALTER FUNCTION ep_aeb_private.assert_tenant_principal(TEXT, BOOLEAN)
|
|
195
|
+
OWNER TO ${AEB_CONSUMPTION_OWNER_ROLE};
|
|
196
|
+
ALTER FUNCTION ep_aeb_private.reserve_operation(TEXT, TEXT, TEXT, TEXT)
|
|
197
|
+
OWNER TO ${AEB_CONSUMPTION_OWNER_ROLE};
|
|
198
|
+
ALTER FUNCTION ep_aeb_private.reserve_replay_keys(TEXT, TEXT, TEXT, TEXT[])
|
|
199
|
+
OWNER TO ${AEB_CONSUMPTION_OWNER_ROLE};
|
|
200
|
+
ALTER FUNCTION ep_aeb_private.commit_operation(TEXT, TEXT, TEXT, TEXT)
|
|
201
|
+
OWNER TO ${AEB_CONSUMPTION_OWNER_ROLE};
|
|
202
|
+
ALTER FUNCTION ep_aeb_private.claim_operation(TEXT, TEXT, TEXT, TEXT)
|
|
203
|
+
OWNER TO ${AEB_CONSUMPTION_OWNER_ROLE};
|
|
204
|
+
ALTER FUNCTION ep_aeb_private.release_operation(TEXT, TEXT, TEXT, TEXT)
|
|
205
|
+
OWNER TO ${AEB_CONSUMPTION_OWNER_ROLE};
|
|
206
|
+
REVOKE ALL ON ALL FUNCTIONS IN SCHEMA ep_aeb_private
|
|
207
|
+
FROM PUBLIC, anon, authenticated, service_role;
|
|
208
|
+
GRANT USAGE ON SCHEMA ep_aeb_private TO ${AEB_CONSUMPTION_EXECUTOR_ROLE}, ${AEB_CONSUMPTION_RECOVERY_ROLE};
|
|
209
|
+
GRANT EXECUTE ON FUNCTION ep_aeb_private.reserve_operation(TEXT, TEXT, TEXT, TEXT),
|
|
210
|
+
ep_aeb_private.reserve_replay_keys(TEXT, TEXT, TEXT, TEXT[]),
|
|
211
|
+
ep_aeb_private.commit_operation(TEXT, TEXT, TEXT, TEXT),
|
|
212
|
+
ep_aeb_private.release_operation(TEXT, TEXT, TEXT, TEXT)
|
|
213
|
+
TO ${AEB_CONSUMPTION_EXECUTOR_ROLE};
|
|
214
|
+
GRANT EXECUTE ON FUNCTION ep_aeb_private.claim_operation(TEXT, TEXT, TEXT, TEXT)
|
|
215
|
+
TO ${AEB_CONSUMPTION_RECOVERY_ROLE};
|
|
216
|
+
REVOKE ${AEB_CONSUMPTION_OWNER_ROLE} FROM CURRENT_USER;`;
|
|
217
|
+
/** Exact statements issued by the store, exported for audit and deterministic fakes. */
|
|
218
|
+
export const AEB_CONSUMPTION_SQL = Object.freeze({
|
|
219
|
+
reserveOperation: `SELECT operation_key FROM ep_aeb_private.reserve_operation($1::text, $2::text, $3::text, $4::text)`,
|
|
220
|
+
reserveReplayKeys: `SELECT replay_key FROM ep_aeb_private.reserve_replay_keys($1::text, $2::text, $3::text, $4::text[])`,
|
|
221
|
+
commitOperation: `SELECT operation_key FROM ep_aeb_private.commit_operation($1::text, $2::text, $3::text, $4::text)`,
|
|
222
|
+
claimOperation: `SELECT operation_key FROM ep_aeb_private.claim_operation($1::text, $2::text, $3::text, $4::text)`,
|
|
223
|
+
releaseOperation: `SELECT operation_key FROM ep_aeb_private.release_operation($1::text, $2::text, $3::text, $4::text)`,
|
|
224
|
+
});
|
|
225
|
+
const BEGIN_WRITE = 'BEGIN ISOLATION LEVEL READ COMMITTED READ WRITE';
|
|
226
|
+
const COMMIT = 'COMMIT';
|
|
227
|
+
const ROLLBACK = 'ROLLBACK';
|
|
228
|
+
class ReservationConflict extends Error {
|
|
229
|
+
result;
|
|
230
|
+
constructor(result) {
|
|
231
|
+
super(result);
|
|
232
|
+
this.result = result;
|
|
233
|
+
}
|
|
234
|
+
}
|
|
235
|
+
function defaultOwnerToken() {
|
|
236
|
+
return crypto.randomBytes(32).toString('base64url');
|
|
237
|
+
}
|
|
238
|
+
function assertText(value, label, maximumBytes) {
|
|
239
|
+
if (typeof value !== 'string'
|
|
240
|
+
|| Buffer.byteLength(value, 'utf8') < 1
|
|
241
|
+
|| Buffer.byteLength(value, 'utf8') > maximumBytes
|
|
242
|
+
|| /[\u0000-\u001f\u007f]/.test(value)) {
|
|
243
|
+
throw new TypeError(`AEB consumption ${label} is invalid`);
|
|
244
|
+
}
|
|
245
|
+
}
|
|
246
|
+
function assertOwnerToken(value) {
|
|
247
|
+
if (typeof value !== 'string'
|
|
248
|
+
|| Buffer.byteLength(value, 'utf8') < 16
|
|
249
|
+
|| Buffer.byteLength(value, 'utf8') > 512
|
|
250
|
+
|| /[\u0000-\u001f\u007f]/.test(value)) {
|
|
251
|
+
throw new TypeError('AEB consumption ownerTokenFactory must return an opaque string of 16 to 512 bytes');
|
|
252
|
+
}
|
|
253
|
+
}
|
|
254
|
+
function exactRowCount(result, operation) {
|
|
255
|
+
if (!result
|
|
256
|
+
|| !Number.isSafeInteger(result.rowCount)
|
|
257
|
+
|| result.rowCount < 0) {
|
|
258
|
+
throw new Error(`${operation}: malformed PostgreSQL result`);
|
|
259
|
+
}
|
|
260
|
+
return result.rowCount;
|
|
261
|
+
}
|
|
262
|
+
/**
|
|
263
|
+
* Create the durable AEB store consumed by authorizeAebExecutionDurable().
|
|
264
|
+
* The pool must return a pinned node-postgres-style client for each transaction.
|
|
265
|
+
*/
|
|
266
|
+
export function createPostgresAebDurableConsumptionStore({ pool, recoveryPool, tenantId, relyingPartyId, ownerTokenFactory = defaultOwnerToken, authorizeRecoveryClaim, } = {}) {
|
|
267
|
+
if (!pool || typeof pool.connect !== 'function') {
|
|
268
|
+
throw new TypeError('createPostgresAebDurableConsumptionStore requires an ep_aeb_executor pg pool');
|
|
269
|
+
}
|
|
270
|
+
if (!recoveryPool || typeof recoveryPool.connect !== 'function' || recoveryPool === pool) {
|
|
271
|
+
throw new TypeError('AEB consumption requires a distinct ep_aeb_recovery pg pool');
|
|
272
|
+
}
|
|
273
|
+
assertText(tenantId, 'tenantId', 512);
|
|
274
|
+
assertText(relyingPartyId, 'relyingPartyId', 512);
|
|
275
|
+
if (typeof ownerTokenFactory !== 'function') {
|
|
276
|
+
throw new TypeError('AEB consumption ownerTokenFactory must be a function');
|
|
277
|
+
}
|
|
278
|
+
if (typeof authorizeRecoveryClaim !== 'function') {
|
|
279
|
+
throw new TypeError('AEB consumption requires an authorizeRecoveryClaim callback');
|
|
280
|
+
}
|
|
281
|
+
async function transaction(activePool, work) {
|
|
282
|
+
const client = await activePool.connect();
|
|
283
|
+
if (!client || typeof client.query !== 'function' || typeof client.release !== 'function') {
|
|
284
|
+
throw new TypeError('AEB consumption pg pool returned an invalid client');
|
|
285
|
+
}
|
|
286
|
+
let began = false;
|
|
287
|
+
try {
|
|
288
|
+
await client.query(BEGIN_WRITE);
|
|
289
|
+
began = true;
|
|
290
|
+
const result = await work(client);
|
|
291
|
+
await client.query(COMMIT);
|
|
292
|
+
began = false;
|
|
293
|
+
return result;
|
|
294
|
+
}
|
|
295
|
+
catch (error) {
|
|
296
|
+
if (began) {
|
|
297
|
+
try {
|
|
298
|
+
await client.query(ROLLBACK);
|
|
299
|
+
}
|
|
300
|
+
catch (rollbackError) {
|
|
301
|
+
throw new AggregateError([error, rollbackError], 'AEB consumption transaction and rollback both failed');
|
|
302
|
+
}
|
|
303
|
+
}
|
|
304
|
+
throw error;
|
|
305
|
+
}
|
|
306
|
+
finally {
|
|
307
|
+
client.release();
|
|
308
|
+
}
|
|
309
|
+
}
|
|
310
|
+
const ownedReservations = new Map();
|
|
311
|
+
const store = {
|
|
312
|
+
durable: true,
|
|
313
|
+
ownershipFenced: true,
|
|
314
|
+
permanentConsumption: true,
|
|
315
|
+
atomicReplayFenced: true,
|
|
316
|
+
recoveryClaimSupported: true,
|
|
317
|
+
async reserve(key, replayKeys = []) {
|
|
318
|
+
assertText(key, 'operation key', 4096);
|
|
319
|
+
if (!Array.isArray(replayKeys)) {
|
|
320
|
+
throw new TypeError('AEB consumption replay keys must be an array');
|
|
321
|
+
}
|
|
322
|
+
for (const replayKey of replayKeys)
|
|
323
|
+
assertText(replayKey, 'native replay key', 4096);
|
|
324
|
+
// Stable lock acquisition order avoids crossed replay-key insert order
|
|
325
|
+
// becoming a preventable PostgreSQL deadlock under concurrency.
|
|
326
|
+
const uniqueReplayKeys = [...new Set(replayKeys)].sort();
|
|
327
|
+
const ownerToken = ownerTokenFactory();
|
|
328
|
+
assertOwnerToken(ownerToken);
|
|
329
|
+
try {
|
|
330
|
+
await transaction(pool, async (client) => {
|
|
331
|
+
const operationRows = exactRowCount(await client.query(AEB_CONSUMPTION_SQL.reserveOperation, [
|
|
332
|
+
tenantId, relyingPartyId, key, ownerToken,
|
|
333
|
+
]), 'reserve operation');
|
|
334
|
+
if (operationRows === 0)
|
|
335
|
+
throw new ReservationConflict('CONSUMPTION_CONFLICT');
|
|
336
|
+
if (operationRows !== 1)
|
|
337
|
+
throw new Error('reserve operation: unexpected PostgreSQL row count');
|
|
338
|
+
const replayRows = exactRowCount(await client.query(AEB_CONSUMPTION_SQL.reserveReplayKeys, [
|
|
339
|
+
tenantId, relyingPartyId, key, uniqueReplayKeys,
|
|
340
|
+
]), 'reserve native replay keys');
|
|
341
|
+
if (replayRows !== uniqueReplayKeys.length) {
|
|
342
|
+
throw new ReservationConflict('NATIVE_REPLAY_CONFLICT');
|
|
343
|
+
}
|
|
344
|
+
});
|
|
345
|
+
}
|
|
346
|
+
catch (error) {
|
|
347
|
+
if (error instanceof ReservationConflict)
|
|
348
|
+
return error.result;
|
|
349
|
+
throw error;
|
|
350
|
+
}
|
|
351
|
+
ownedReservations.set(key, ownerToken);
|
|
352
|
+
return 'RESERVED';
|
|
353
|
+
},
|
|
354
|
+
async claimReservation(key, authorization) {
|
|
355
|
+
assertText(key, 'operation key', 4096);
|
|
356
|
+
// Recovery is a restart boundary, not an in-place owner rotation. The
|
|
357
|
+
// base AEB store API fences ownership by store instance (commit/release
|
|
358
|
+
// take only the operation key), so replacing a token already owned by
|
|
359
|
+
// this instance would let its stale caller inherit the new token.
|
|
360
|
+
if (ownedReservations.has(key))
|
|
361
|
+
return false;
|
|
362
|
+
const claim = Object.freeze({
|
|
363
|
+
authorization,
|
|
364
|
+
tenantId,
|
|
365
|
+
relyingPartyId,
|
|
366
|
+
operationKey: key,
|
|
367
|
+
requiredState: 'RESERVED',
|
|
368
|
+
});
|
|
369
|
+
if (await authorizeRecoveryClaim(claim) !== true)
|
|
370
|
+
return false;
|
|
371
|
+
const ownerToken = ownerTokenFactory();
|
|
372
|
+
assertOwnerToken(ownerToken);
|
|
373
|
+
const changed = await transaction(recoveryPool, async (client) => {
|
|
374
|
+
const rows = exactRowCount(await client.query(AEB_CONSUMPTION_SQL.claimOperation, [
|
|
375
|
+
tenantId, relyingPartyId, key, ownerToken,
|
|
376
|
+
]), 'claim operation');
|
|
377
|
+
if (rows > 1)
|
|
378
|
+
throw new Error('claim operation: unexpected PostgreSQL row count');
|
|
379
|
+
return rows === 1;
|
|
380
|
+
});
|
|
381
|
+
if (changed)
|
|
382
|
+
ownedReservations.set(key, ownerToken);
|
|
383
|
+
return changed;
|
|
384
|
+
},
|
|
385
|
+
async commit(key) {
|
|
386
|
+
assertText(key, 'operation key', 4096);
|
|
387
|
+
const ownerToken = ownedReservations.get(key);
|
|
388
|
+
if (ownerToken === undefined)
|
|
389
|
+
return false;
|
|
390
|
+
const changed = await transaction(pool, async (client) => {
|
|
391
|
+
const rows = exactRowCount(await client.query(AEB_CONSUMPTION_SQL.commitOperation, [
|
|
392
|
+
tenantId, relyingPartyId, key, ownerToken,
|
|
393
|
+
]), 'commit operation');
|
|
394
|
+
if (rows > 1)
|
|
395
|
+
throw new Error('commit operation: unexpected PostgreSQL row count');
|
|
396
|
+
return rows === 1;
|
|
397
|
+
});
|
|
398
|
+
ownedReservations.delete(key);
|
|
399
|
+
return changed;
|
|
400
|
+
},
|
|
401
|
+
async release(key) {
|
|
402
|
+
assertText(key, 'operation key', 4096);
|
|
403
|
+
const ownerToken = ownedReservations.get(key);
|
|
404
|
+
if (ownerToken === undefined)
|
|
405
|
+
return false;
|
|
406
|
+
const changed = await transaction(pool, async (client) => {
|
|
407
|
+
const rows = exactRowCount(await client.query(AEB_CONSUMPTION_SQL.releaseOperation, [
|
|
408
|
+
tenantId, relyingPartyId, key, ownerToken,
|
|
409
|
+
]), 'release operation');
|
|
410
|
+
if (rows > 1)
|
|
411
|
+
throw new Error('release operation: unexpected PostgreSQL row count');
|
|
412
|
+
return rows === 1;
|
|
413
|
+
});
|
|
414
|
+
ownedReservations.delete(key);
|
|
415
|
+
return changed;
|
|
416
|
+
},
|
|
417
|
+
};
|
|
418
|
+
return Object.freeze(store);
|
|
419
|
+
}
|
|
420
|
+
export default {
|
|
421
|
+
AEB_PG_CONSUMPTION_STORE_VERSION,
|
|
422
|
+
AEB_CONSUMPTION_OPERATION_TABLE,
|
|
423
|
+
AEB_CONSUMPTION_REPLAY_TABLE,
|
|
424
|
+
AEB_CONSUMPTION_EXECUTOR_ROLE,
|
|
425
|
+
AEB_CONSUMPTION_RECOVERY_ROLE,
|
|
426
|
+
AEB_CONSUMPTION_DDL,
|
|
427
|
+
AEB_CONSUMPTION_SQL,
|
|
428
|
+
createPostgresAebDurableConsumptionStore,
|
|
429
|
+
};
|
|
430
|
+
//# sourceMappingURL=aeb-consumption-store.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"aeb-consumption-store.js","sourceRoot":"","sources":["../src/aeb-consumption-store.ts"],"names":[],"mappings":"AAAA,sCAAsC;AACtC;;;;;;;GAOG;AACH,OAAO,MAAM,MAAM,aAAa,CAAC;AAMjC,MAAM,CAAC,MAAM,gCAAgC,GAAG,+BAA+B,CAAC;AAChF,MAAM,CAAC,MAAM,+BAA+B,GAAG,+BAA+B,CAAC;AAC/E,MAAM,CAAC,MAAM,4BAA4B,GAAG,kCAAkC,CAAC;AAC/E,MAAM,CAAC,MAAM,6BAA6B,GAAG,iBAAiB,CAAC;AAC/D,MAAM,CAAC,MAAM,6BAA6B,GAAG,iBAAiB,CAAC;AAC/D,MAAM,CAAC,MAAM,0BAA0B,GAAG,oBAAoB,CAAC;AAE/D,2EAA2E;AAC3E,MAAM,CAAC,MAAM,mBAAmB,GAAG,8BAA8B,+BAA+B;;;;;;;;;;;;;;6BAcnE,4BAA4B;;;;;;;;iBAQxC,+BAA+B;;;6BAGnB,4BAA4B;OAClD,4BAA4B;;;sEAGmC,6BAA6B;kBACjF,6BAA6B;;;sEAGuB,6BAA6B;kBACjF,6BAA6B;;;sEAGuB,0BAA0B;kBAC9E,0BAA0B;;;;;QAKpC,0BAA0B;;;;;;;;;;;uCAWK,0BAA0B;wDACT,0BAA0B;cACpE,+BAA+B,aAAa,0BAA0B;cACtE,4BAA4B,aAAa,0BAA0B;;;cAGnE,+BAA+B;cAC/B,+BAA+B;cAC/B,4BAA4B;cAC5B,4BAA4B;;;OAGnC,0BAA0B;wDACuB,+BAA+B;gDACvC,+BAA+B;OACxE,0BAA0B;oDACmB,4BAA4B;4CACpC,4BAA4B;OACjE,0BAA0B;;IAE7B,6BAA6B,KAAK,6BAA6B;gBACnD,+BAA+B;IAC3C,6BAA6B,KAAK,6BAA6B;gBACnD,4BAA4B;IACxC,6BAA6B,KAAK,6BAA6B;;;;;;;;;iDASlB,6BAA6B;iDAC7B,6BAA6B;;;;;;;;;;;;;;;;;;;;oCAoB1C,+BAA+B;;;;gBAInD,+BAA+B;;;;;;;;;;oCAUX,4BAA4B;;;;;;gBAMhD,4BAA4B;;;;;;;;;;+BAUb,+BAA+B;;;YAGlD,+BAA+B;;gBAE3B,+BAA+B;;;;;;;;;;+BAUhB,+BAA+B;;;YAGlD,+BAA+B;;gBAE3B,+BAA+B;;;;;;;;;;oCAUX,+BAA+B;;YAEvD,+BAA+B;;gBAE3B,+BAA+B;;;;aAIlC,0BAA0B;;aAE1B,0BAA0B;;aAE1B,0BAA0B;;aAE1B,0BAA0B;;aAE1B,0BAA0B;;aAE1B,0BAA0B;;;0CAGG,6BAA6B,KAAK,6BAA6B;;;;;OAKlG,6BAA6B;;OAE7B,6BAA6B;SAC3B,0BAA0B,qBAAqB,CAAC;AAEzD,wFAAwF;AACxF,MAAM,CAAC,MAAM,mBAAmB,GAAG,MAAM,CAAC,MAAM,CAAC;IAC/C,gBAAgB,EAAE,oGAAoG;IACtH,iBAAiB,EAAE,qGAAqG;IACxH,eAAe,EAAE,mGAAmG;IACpH,cAAc,EAAE,kGAAkG;IAClH,gBAAgB,EAAE,oGAAoG;CACvH,CAAC,CAAC;AAmDH,MAAM,WAAW,GAAG,iDAAiD,CAAC;AACtE,MAAM,MAAM,GAAG,QAAQ,CAAC;AACxB,MAAM,QAAQ,GAAG,UAAU,CAAC;AAE5B,MAAM,mBAAoB,SAAQ,KAAK;IAC5B,MAAM,CAA4C;IAE3D,YAAY,MAAiD;QAC3D,KAAK,CAAC,MAAM,CAAC,CAAC;QACd,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC;IACvB,CAAC;CACF;AAED,SAAS,iBAAiB;IACxB,OAAO,MAAM,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,WAAW,CAAC,CAAC;AACtD,CAAC;AAED,SAAS,UAAU,CACjB,KAAc,EACd,KAAa,EACb,YAAoB;IAEpB,IAAI,OAAO,KAAK,KAAK,QAAQ;WACtB,MAAM,CAAC,UAAU,CAAC,KAAK,EAAE,MAAM,CAAC,GAAG,CAAC;WACpC,MAAM,CAAC,UAAU,CAAC,KAAK,EAAE,MAAM,CAAC,GAAG,YAAY;WAC/C,uBAAuB,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QAC3C,MAAM,IAAI,SAAS,CAAC,mBAAmB,KAAK,aAAa,CAAC,CAAC;IAC7D,CAAC;AACH,CAAC;AAED,SAAS,gBAAgB,CAAC,KAAc;IACtC,IAAI,OAAO,KAAK,KAAK,QAAQ;WACtB,MAAM,CAAC,UAAU,CAAC,KAAK,EAAE,MAAM,CAAC,GAAG,EAAE;WACrC,MAAM,CAAC,UAAU,CAAC,KAAK,EAAE,MAAM,CAAC,GAAG,GAAG;WACtC,uBAAuB,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QAC3C,MAAM,IAAI,SAAS,CAAC,mFAAmF,CAAC,CAAC;IAC3G,CAAC;AACH,CAAC;AAED,SAAS,aAAa,CAAC,MAAmB,EAAE,SAAiB;IAC3D,IAAI,CAAC,MAAM;WACJ,CAAC,MAAM,CAAC,aAAa,CAAC,MAAM,CAAC,QAAQ,CAAC;WACrC,MAAM,CAAC,QAAmB,GAAG,CAAC,EAAE,CAAC;QACvC,MAAM,IAAI,KAAK,CAAC,GAAG,SAAS,+BAA+B,CAAC,CAAC;IAC/D,CAAC;IACD,OAAO,MAAM,CAAC,QAAkB,CAAC;AACnC,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,wCAAwC,CAAC,EACvD,IAAI,EACJ,YAAY,EACZ,QAAQ,EACR,cAAc,EACd,iBAAiB,GAAG,iBAAiB,EACrC,sBAAsB,MACuB,EAAE;IAC/C,IAAI,CAAC,IAAI,IAAI,OAAO,IAAI,CAAC,OAAO,KAAK,UAAU,EAAE,CAAC;QAChD,MAAM,IAAI,SAAS,CAAC,8EAA8E,CAAC,CAAC;IACtG,CAAC;IACD,IAAI,CAAC,YAAY,IAAI,OAAO,YAAY,CAAC,OAAO,KAAK,UAAU,IAAI,YAAY,KAAK,IAAI,EAAE,CAAC;QACzF,MAAM,IAAI,SAAS,CAAC,6DAA6D,CAAC,CAAC;IACrF,CAAC;IACD,UAAU,CAAC,QAAQ,EAAE,UAAU,EAAE,GAAG,CAAC,CAAC;IACtC,UAAU,CAAC,cAAc,EAAE,gBAAgB,EAAE,GAAG,CAAC,CAAC;IAClD,IAAI,OAAO,iBAAiB,KAAK,UAAU,EAAE,CAAC;QAC5C,MAAM,IAAI,SAAS,CAAC,sDAAsD,CAAC,CAAC;IAC9E,CAAC;IACD,IAAI,OAAO,sBAAsB,KAAK,UAAU,EAAE,CAAC;QACjD,MAAM,IAAI,SAAS,CAAC,6DAA6D,CAAC,CAAC;IACrF,CAAC;IAED,KAAK,UAAU,WAAW,CACxB,UAAgC,EAChC,IAAoD;QAEpD,MAAM,MAAM,GAAG,MAAM,UAAU,CAAC,OAAO,EAAE,CAAC;QAC1C,IAAI,CAAC,MAAM,IAAI,OAAO,MAAM,CAAC,KAAK,KAAK,UAAU,IAAI,OAAO,MAAM,CAAC,OAAO,KAAK,UAAU,EAAE,CAAC;YAC1F,MAAM,IAAI,SAAS,CAAC,oDAAoD,CAAC,CAAC;QAC5E,CAAC;QACD,IAAI,KAAK,GAAG,KAAK,CAAC;QAClB,IAAI,CAAC;YACH,MAAM,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC;YAChC,KAAK,GAAG,IAAI,CAAC;YACb,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,MAAM,CAAC,CAAC;YAClC,MAAM,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;YAC3B,KAAK,GAAG,KAAK,CAAC;YACd,OAAO,MAAM,CAAC;QAChB,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,IAAI,KAAK,EAAE,CAAC;gBACV,IAAI,CAAC;oBACH,MAAM,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;gBAC/B,CAAC;gBAAC,OAAO,aAAa,EAAE,CAAC;oBACvB,MAAM,IAAI,cAAc,CACtB,CAAC,KAAK,EAAE,aAAa,CAAC,EACtB,sDAAsD,CACvD,CAAC;gBACJ,CAAC;YACH,CAAC;YACD,MAAM,KAAK,CAAC;QACd,CAAC;gBAAS,CAAC;YACT,MAAM,CAAC,OAAO,EAAE,CAAC;QACnB,CAAC;IACH,CAAC;IAED,MAAM,iBAAiB,GAAG,IAAI,GAAG,EAAkB,CAAC;IAEpD,MAAM,KAAK,GAAuC;QAChD,OAAO,EAAE,IAAI;QACb,eAAe,EAAE,IAAI;QACrB,oBAAoB,EAAE,IAAI;QAC1B,kBAAkB,EAAE,IAAI;QACxB,sBAAsB,EAAE,IAAI;QAE5B,KAAK,CAAC,OAAO,CAAC,GAAG,EAAE,UAAU,GAAG,EAAE;YAChC,UAAU,CAAC,GAAG,EAAE,eAAe,EAAE,IAAI,CAAC,CAAC;YACvC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,CAAC;gBAC/B,MAAM,IAAI,SAAS,CAAC,8CAA8C,CAAC,CAAC;YACtE,CAAC;YACD,KAAK,MAAM,SAAS,IAAI,UAAU;gBAAE,UAAU,CAAC,SAAS,EAAE,mBAAmB,EAAE,IAAI,CAAC,CAAC;YACrF,uEAAuE;YACvE,gEAAgE;YAChE,MAAM,gBAAgB,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;YACzD,MAAM,UAAU,GAAG,iBAAiB,EAAE,CAAC;YACvC,gBAAgB,CAAC,UAAU,CAAC,CAAC;YAE7B,IAAI,CAAC;gBACH,MAAM,WAAW,CAAC,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE;oBACvC,MAAM,aAAa,GAAG,aAAa,CACjC,MAAM,MAAM,CAAC,KAAK,CAAC,mBAAmB,CAAC,gBAAgB,EAAE;wBACvD,QAAQ,EAAE,cAAc,EAAE,GAAG,EAAE,UAAU;qBAC1C,CAAC,EACF,mBAAmB,CACpB,CAAC;oBACF,IAAI,aAAa,KAAK,CAAC;wBAAE,MAAM,IAAI,mBAAmB,CAAC,sBAAsB,CAAC,CAAC;oBAC/E,IAAI,aAAa,KAAK,CAAC;wBAAE,MAAM,IAAI,KAAK,CAAC,oDAAoD,CAAC,CAAC;oBAE/F,MAAM,UAAU,GAAG,aAAa,CAC9B,MAAM,MAAM,CAAC,KAAK,CAAC,mBAAmB,CAAC,iBAAiB,EAAE;wBACxD,QAAQ,EAAE,cAAc,EAAE,GAAG,EAAE,gBAAgB;qBAChD,CAAC,EACF,4BAA4B,CAC7B,CAAC;oBACF,IAAI,UAAU,KAAK,gBAAgB,CAAC,MAAM,EAAE,CAAC;wBAC3C,MAAM,IAAI,mBAAmB,CAAC,wBAAwB,CAAC,CAAC;oBAC1D,CAAC;gBACH,CAAC,CAAC,CAAC;YACL,CAAC;YAAC,OAAO,KAAK,EAAE,CAAC;gBACf,IAAI,KAAK,YAAY,mBAAmB;oBAAE,OAAO,KAAK,CAAC,MAAM,CAAC;gBAC9D,MAAM,KAAK,CAAC;YACd,CAAC;YAED,iBAAiB,CAAC,GAAG,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC;YACvC,OAAO,UAAU,CAAC;QACpB,CAAC;QAED,KAAK,CAAC,gBAAgB,CAAC,GAAG,EAAE,aAAa;YACvC,UAAU,CAAC,GAAG,EAAE,eAAe,EAAE,IAAI,CAAC,CAAC;YACvC,sEAAsE;YACtE,wEAAwE;YACxE,sEAAsE;YACtE,kEAAkE;YAClE,IAAI,iBAAiB,CAAC,GAAG,CAAC,GAAG,CAAC;gBAAE,OAAO,KAAK,CAAC;YAC7C,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC;gBAC1B,aAAa;gBACb,QAAQ;gBACR,cAAc;gBACd,YAAY,EAAE,GAAG;gBACjB,aAAa,EAAE,UAAmB;aACnC,CAAC,CAAC;YACH,IAAI,MAAM,sBAAsB,CAAC,KAAK,CAAC,KAAK,IAAI;gBAAE,OAAO,KAAK,CAAC;YAE/D,MAAM,UAAU,GAAG,iBAAiB,EAAE,CAAC;YACvC,gBAAgB,CAAC,UAAU,CAAC,CAAC;YAC7B,MAAM,OAAO,GAAG,MAAM,WAAW,CAAC,YAAY,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE;gBAC/D,MAAM,IAAI,GAAG,aAAa,CACxB,MAAM,MAAM,CAAC,KAAK,CAAC,mBAAmB,CAAC,cAAc,EAAE;oBACrD,QAAQ,EAAE,cAAc,EAAE,GAAG,EAAE,UAAU;iBAC1C,CAAC,EACF,iBAAiB,CAClB,CAAC;gBACF,IAAI,IAAI,GAAG,CAAC;oBAAE,MAAM,IAAI,KAAK,CAAC,kDAAkD,CAAC,CAAC;gBAClF,OAAO,IAAI,KAAK,CAAC,CAAC;YACpB,CAAC,CAAC,CAAC;YACH,IAAI,OAAO;gBAAE,iBAAiB,CAAC,GAAG,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC;YACpD,OAAO,OAAO,CAAC;QACjB,CAAC;QAED,KAAK,CAAC,MAAM,CAAC,GAAG;YACd,UAAU,CAAC,GAAG,EAAE,eAAe,EAAE,IAAI,CAAC,CAAC;YACvC,MAAM,UAAU,GAAG,iBAAiB,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YAC9C,IAAI,UAAU,KAAK,SAAS;gBAAE,OAAO,KAAK,CAAC;YAC3C,MAAM,OAAO,GAAG,MAAM,WAAW,CAAC,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE;gBACvD,MAAM,IAAI,GAAG,aAAa,CACxB,MAAM,MAAM,CAAC,KAAK,CAAC,mBAAmB,CAAC,eAAe,EAAE;oBACtD,QAAQ,EAAE,cAAc,EAAE,GAAG,EAAE,UAAU;iBAC1C,CAAC,EACF,kBAAkB,CACnB,CAAC;gBACF,IAAI,IAAI,GAAG,CAAC;oBAAE,MAAM,IAAI,KAAK,CAAC,mDAAmD,CAAC,CAAC;gBACnF,OAAO,IAAI,KAAK,CAAC,CAAC;YACpB,CAAC,CAAC,CAAC;YACH,iBAAiB,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;YAC9B,OAAO,OAAO,CAAC;QACjB,CAAC;QAED,KAAK,CAAC,OAAO,CAAC,GAAG;YACf,UAAU,CAAC,GAAG,EAAE,eAAe,EAAE,IAAI,CAAC,CAAC;YACvC,MAAM,UAAU,GAAG,iBAAiB,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YAC9C,IAAI,UAAU,KAAK,SAAS;gBAAE,OAAO,KAAK,CAAC;YAC3C,MAAM,OAAO,GAAG,MAAM,WAAW,CAAC,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE;gBACvD,MAAM,IAAI,GAAG,aAAa,CACxB,MAAM,MAAM,CAAC,KAAK,CAAC,mBAAmB,CAAC,gBAAgB,EAAE;oBACvD,QAAQ,EAAE,cAAc,EAAE,GAAG,EAAE,UAAU;iBAC1C,CAAC,EACF,mBAAmB,CACpB,CAAC;gBACF,IAAI,IAAI,GAAG,CAAC;oBAAE,MAAM,IAAI,KAAK,CAAC,oDAAoD,CAAC,CAAC;gBACpF,OAAO,IAAI,KAAK,CAAC,CAAC;YACpB,CAAC,CAAC,CAAC;YACH,iBAAiB,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;YAC9B,OAAO,OAAO,CAAC;QACjB,CAAC;KACF,CAAC;IAEF,OAAO,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AAC9B,CAAC;AAED,eAAe;IACb,gCAAgC;IAChC,+BAA+B;IAC/B,4BAA4B;IAC5B,6BAA6B;IAC7B,6BAA6B;IAC7B,mBAAmB;IACnB,mBAAmB;IACnB,wCAAwC;CACzC,CAAC"}
|
|
@@ -212,6 +212,11 @@ export declare function splitCapabilitySecret(secret: any, threshold: any, { ran
|
|
|
212
212
|
}): string[];
|
|
213
213
|
/** Reconstruct a capability secret from at least m unique shares. */
|
|
214
214
|
export declare function reconstructCapabilitySecret(shares: any, threshold: any): Buffer<ArrayBuffer>;
|
|
215
|
+
/**
|
|
216
|
+
* Production capability-store contract. Methods alone are insufficient: an
|
|
217
|
+
* adapter must explicitly assert durable custody and reconciliation support.
|
|
218
|
+
*/
|
|
219
|
+
export declare function isSecureCapabilityStore(store: any): boolean;
|
|
215
220
|
/**
|
|
216
221
|
* An in-memory atomic reference store. It is intentionally marked non-durable
|
|
217
222
|
* and is suitable only for tests; production callers must use an implementation
|
|
@@ -219,6 +224,7 @@ export declare function reconstructCapabilitySecret(shares: any, threshold: any)
|
|
|
219
224
|
*/
|
|
220
225
|
export declare function createMemoryCapabilityStore(): {
|
|
221
226
|
durable: boolean;
|
|
227
|
+
reconciliationCapable: boolean;
|
|
222
228
|
registerCapability(capabilityReceipt: any): boolean;
|
|
223
229
|
reserveSpend({ capabilityId, capabilityFingerprint, operationId, actionDigest, amount, currency, now }: ReserveSpendOptions): Promise<{
|
|
224
230
|
ok: boolean;
|
|
@@ -286,6 +292,7 @@ export declare function createPostgresCapabilityStore({ transaction }?: {
|
|
|
286
292
|
transaction?: (callback: (query: Function) => any) => any;
|
|
287
293
|
}): {
|
|
288
294
|
durable: boolean;
|
|
295
|
+
reconciliationCapable: boolean;
|
|
289
296
|
registerCapability(capabilityReceipt: any): Promise<any>;
|
|
290
297
|
reserveSpend({ capabilityId, capabilityFingerprint, operationId, actionDigest, amount, currency, now }: ReserveSpendOptions): Promise<any>;
|
|
291
298
|
commitSpend({ capabilityId, operationId, reservationToken, outcome, now }?: CommitSpendOptions): Promise<any>;
|
|
@@ -592,6 +599,7 @@ declare const _default: {
|
|
|
592
599
|
reconstructCapabilitySecret: typeof reconstructCapabilitySecret;
|
|
593
600
|
createMemoryCapabilityStore: typeof createMemoryCapabilityStore;
|
|
594
601
|
createPostgresCapabilityStore: typeof createPostgresCapabilityStore;
|
|
602
|
+
isSecureCapabilityStore: typeof isSecureCapabilityStore;
|
|
595
603
|
executeWithCapability: typeof executeWithCapability;
|
|
596
604
|
executeWithThreshold: typeof executeWithThreshold;
|
|
597
605
|
reconcileCapabilityOperation: typeof reconcileCapabilityOperation;
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"capability-receipt.d.ts","sourceRoot":"","sources":["../src/capability-receipt.ts"],"names":[],"mappings":"AAEA;;;;;;;;;;;;GAYG;AAEH,OAAO,EAGL,WAAW,EAKX,KAAK,SAAS,EACf,MAAM,aAAa,CAAC;AAGrB,eAAO,MAAM,0BAA0B,6BAA6B,CAAC;AACrE,eAAO,MAAM,wBAAwB,2BAA2B,CAAC;AACjE,eAAO,MAAM,wBAAwB,2BAA2B,CAAC;AACjE,eAAO,MAAM,yBAAyB,WAAW,CAAC;AAClD,eAAO,MAAM,wBAAwB,0CAA0C,CAAC;AAChF,eAAO,MAAM,6BAA6B,iCAAiC,CAAC;AAa5E,KAAK,WAAW,GAAG,SAAS,GAAG,MAAM,GAAG,MAAM,CAAC;AAC/C,KAAK,gBAAgB,GAAG;IAAE,MAAM,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAA;CAAE,CAAC;AAI7D,KAAK,mBAAmB,GAAG;IACzB,YAAY,EAAE,MAAM,CAAC;IACrB,qBAAqB,EAAE,MAAM,CAAC;IAC9B,WAAW,EAAE,MAAM,CAAC;IACpB,YAAY,EAAE,MAAM,CAAC;IACrB,MAAM,EAAE,MAAM,CAAC;IACf,QAAQ,EAAE,MAAM,CAAC;IACjB,GAAG,CAAC,EAAE,MAAM,GAAG,CAAC,MAAM,MAAM,CAAC,CAAC;CAC/B,CAAC;AACF,KAAK,kBAAkB,GAAG;IACxB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAC1B,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,GAAG,CAAC,EAAE,MAAM,GAAG,CAAC,MAAM,MAAM,CAAC,CAAC;CAC/B,CAAC;AACF,KAAK,qBAAqB,GAAG;IAC3B,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,GAAG,CAAC,EAAE,MAAM,GAAG,CAAC,MAAM,MAAM,CAAC,CAAC;CAC/B,CAAC;AACF,KAAK,4BAA4B,GAAG;IAClC,iBAAiB,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;IACxC,MAAM,CAAC,EAAE,MAAM,GAAG,MAAM,CAAC;IACzB,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;IAC7B,KAAK,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;IAC5B,aAAa,CAAC,EAAE,CAAC,GAAG,IAAI,EAAE,GAAG,EAAE,KAAK,GAAG,CAAC;IACxC,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,GAAG,IAAI,CAAC;IAClC,QAAQ,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;IAC/B,cAAc,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,GAAG,IAAI,CAAC;IAC5C,iBAAiB,CAAC,EAAE,MAAM,EAAE,CAAC;IAC7B,iBAAiB,CAAC,EAAE,CAAC,CAAC,GAAG,IAAI,EAAE,GAAG,EAAE,KAAK,GAAG,CAAC,GAAG,IAAI,CAAC;IACrD,WAAW,CAAC,EAAE,CAAC,CAAC,MAAM,EAAE,GAAG,KAAK,GAAG,CAAC,GAAG,IAAI,CAAC;IAC5C,WAAW,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IAC5B,GAAG,CAAC,EAAE,MAAM,GAAG,CAAC,MAAM,MAAM,CAAC,CAAC;IAC9B,uBAAuB,CAAC,EAAE,OAAO,CAAC;CACnC,CAAC;AA8FF,+EAA+E;AAC/E,wBAAgB,sBAAsB,CAAC,MAAM,KAAA,UAE5C;AAsCD;;;;;;GAMG;AACH,wBAAgB,qBAAqB,CAAC,UAAU,KAAA,EAAE,MAAM,KAAA,EAAE,WAAW,KAAA,EAAE,EAAE,WAAkB,EAAE,GAAE;IAAE,WAAW,CAAC,EAAE,CAAC,CAAC,MAAM,EAAE,GAAG,KAAK,GAAG,CAAC,GAAG,IAAI,CAAA;CAAO;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAqClJ;AAsCD,wBAAgB,2BAA2B,CAAC,OAAO,KAAA,UAElD;AAqGD;;;;;;;;;;;;;;;;GAgBG;AACH,wBAAgB,qBAAqB,CAAC,WAAW,KAAA,EAAE,EACjD,gBAAgB,EAChB,MAAM,EACN,MAAM,EACN,SAA0B,EAC1B,KAAK,EACL,eAAoB,EACpB,YAA2B,EAC3B,MAAgC,GACjC,GAAE;IACD,gBAAgB,CAAC,EAAE,WAAW,CAAC;IAC/B,MAAM,CAAC,EAAE,gBAAgB,CAAC;IAC1B,MAAM,CAAC,EAAE,MAAM,GAAG,MAAM,CAAC;IACzB,SAAS,CAAC,EAAE;QAAE,CAAC,EAAE,MAAM,CAAC;QAAC,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC;IACrC,KAAK,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;IAC5B,eAAe,CAAC,EAAE,GAAG,EAAE,CAAC;IACxB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,MAAM,CAAC,EAAE,MAAM,GAAG,MAAM,CAAC;CACrB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAkCL;AAED;;;;;;GAMG;AACH,wBAAgB,uBAAuB,CAAC,iBAAiB,KAAA,EAAE,EACzD,iBAAsB,EACtB,oBAA4B,GAC7B,GAAE;IAAE,iBAAiB,CAAC,EAAE,MAAM,EAAE,CAAC;IAAC,oBAAoB,CAAC,EAAE,OAAO,CAAA;CAAO;;;;;;;;;;;;;;;;;;;;;EAmBvE;AAkDD,4EAA4E;AAC5E,wBAAgB,qBAAqB,CAAC,MAAM,KAAA,EAAE,SAAS,KAAA,EAAE,EAAE,aAA2B,EAAE;;CAAK,YAgB5F;AAaD,qEAAqE;AACrE,wBAAgB,2BAA2B,CAAC,MAAM,KAAA,EAAE,SAAS,KAAA,uBAiB5D;AAaD;;;;GAIG;AACH,wBAAgB,2BAA2B
|
|
1
|
+
{"version":3,"file":"capability-receipt.d.ts","sourceRoot":"","sources":["../src/capability-receipt.ts"],"names":[],"mappings":"AAEA;;;;;;;;;;;;GAYG;AAEH,OAAO,EAGL,WAAW,EAKX,KAAK,SAAS,EACf,MAAM,aAAa,CAAC;AAGrB,eAAO,MAAM,0BAA0B,6BAA6B,CAAC;AACrE,eAAO,MAAM,wBAAwB,2BAA2B,CAAC;AACjE,eAAO,MAAM,wBAAwB,2BAA2B,CAAC;AACjE,eAAO,MAAM,yBAAyB,WAAW,CAAC;AAClD,eAAO,MAAM,wBAAwB,0CAA0C,CAAC;AAChF,eAAO,MAAM,6BAA6B,iCAAiC,CAAC;AAa5E,KAAK,WAAW,GAAG,SAAS,GAAG,MAAM,GAAG,MAAM,CAAC;AAC/C,KAAK,gBAAgB,GAAG;IAAE,MAAM,EAAE,MAAM,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAA;CAAE,CAAC;AAI7D,KAAK,mBAAmB,GAAG;IACzB,YAAY,EAAE,MAAM,CAAC;IACrB,qBAAqB,EAAE,MAAM,CAAC;IAC9B,WAAW,EAAE,MAAM,CAAC;IACpB,YAAY,EAAE,MAAM,CAAC;IACrB,MAAM,EAAE,MAAM,CAAC;IACf,QAAQ,EAAE,MAAM,CAAC;IACjB,GAAG,CAAC,EAAE,MAAM,GAAG,CAAC,MAAM,MAAM,CAAC,CAAC;CAC/B,CAAC;AACF,KAAK,kBAAkB,GAAG;IACxB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAC1B,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,GAAG,CAAC,EAAE,MAAM,GAAG,CAAC,MAAM,MAAM,CAAC,CAAC;CAC/B,CAAC;AACF,KAAK,qBAAqB,GAAG;IAC3B,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,GAAG,CAAC,EAAE,MAAM,GAAG,CAAC,MAAM,MAAM,CAAC,CAAC;CAC/B,CAAC;AACF,KAAK,4BAA4B,GAAG;IAClC,iBAAiB,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;IACxC,MAAM,CAAC,EAAE,MAAM,GAAG,MAAM,CAAC;IACzB,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;IAC7B,KAAK,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;IAC5B,aAAa,CAAC,EAAE,CAAC,GAAG,IAAI,EAAE,GAAG,EAAE,KAAK,GAAG,CAAC;IACxC,IAAI,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,GAAG,IAAI,CAAC;IAClC,QAAQ,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;IAC/B,cAAc,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,GAAG,IAAI,CAAC;IAC5C,iBAAiB,CAAC,EAAE,MAAM,EAAE,CAAC;IAC7B,iBAAiB,CAAC,EAAE,CAAC,CAAC,GAAG,IAAI,EAAE,GAAG,EAAE,KAAK,GAAG,CAAC,GAAG,IAAI,CAAC;IACrD,WAAW,CAAC,EAAE,CAAC,CAAC,MAAM,EAAE,GAAG,KAAK,GAAG,CAAC,GAAG,IAAI,CAAC;IAC5C,WAAW,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IAC5B,GAAG,CAAC,EAAE,MAAM,GAAG,CAAC,MAAM,MAAM,CAAC,CAAC;IAC9B,uBAAuB,CAAC,EAAE,OAAO,CAAC;CACnC,CAAC;AA8FF,+EAA+E;AAC/E,wBAAgB,sBAAsB,CAAC,MAAM,KAAA,UAE5C;AAsCD;;;;;;GAMG;AACH,wBAAgB,qBAAqB,CAAC,UAAU,KAAA,EAAE,MAAM,KAAA,EAAE,WAAW,KAAA,EAAE,EAAE,WAAkB,EAAE,GAAE;IAAE,WAAW,CAAC,EAAE,CAAC,CAAC,MAAM,EAAE,GAAG,KAAK,GAAG,CAAC,GAAG,IAAI,CAAA;CAAO;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAqClJ;AAsCD,wBAAgB,2BAA2B,CAAC,OAAO,KAAA,UAElD;AAqGD;;;;;;;;;;;;;;;;GAgBG;AACH,wBAAgB,qBAAqB,CAAC,WAAW,KAAA,EAAE,EACjD,gBAAgB,EAChB,MAAM,EACN,MAAM,EACN,SAA0B,EAC1B,KAAK,EACL,eAAoB,EACpB,YAA2B,EAC3B,MAAgC,GACjC,GAAE;IACD,gBAAgB,CAAC,EAAE,WAAW,CAAC;IAC/B,MAAM,CAAC,EAAE,gBAAgB,CAAC;IAC1B,MAAM,CAAC,EAAE,MAAM,GAAG,MAAM,CAAC;IACzB,SAAS,CAAC,EAAE;QAAE,CAAC,EAAE,MAAM,CAAC;QAAC,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC;IACrC,KAAK,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;IAC5B,eAAe,CAAC,EAAE,GAAG,EAAE,CAAC;IACxB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,MAAM,CAAC,EAAE,MAAM,GAAG,MAAM,CAAC;CACrB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAkCL;AAED;;;;;;GAMG;AACH,wBAAgB,uBAAuB,CAAC,iBAAiB,KAAA,EAAE,EACzD,iBAAsB,EACtB,oBAA4B,GAC7B,GAAE;IAAE,iBAAiB,CAAC,EAAE,MAAM,EAAE,CAAC;IAAC,oBAAoB,CAAC,EAAE,OAAO,CAAA;CAAO;;;;;;;;;;;;;;;;;;;;;EAmBvE;AAkDD,4EAA4E;AAC5E,wBAAgB,qBAAqB,CAAC,MAAM,KAAA,EAAE,SAAS,KAAA,EAAE,EAAE,aAA2B,EAAE;;CAAK,YAgB5F;AAaD,qEAAqE;AACrE,wBAAgB,2BAA2B,CAAC,MAAM,KAAA,EAAE,SAAS,KAAA,uBAiB5D;AAaD;;;GAGG;AACH,wBAAgB,uBAAuB,CAAC,KAAK,KAAA,WAQ5C;AAED;;;;GAIG;AACH,wBAAgB,2BAA2B;;;;4GAoBkF,mBAAmB;;;;;;;;;;;;;gFAmBnC,kBAAkB;;;;;;;;;;;;;+FAaH,qBAAqB;;;;;;;;;;;;;EA2BhJ;AAED,eAAO,MAAM,sBAAsB,wBAAwB,CAAC;AAC5D,eAAO,MAAM,0BAA0B,6BAA6B,CAAC;AACrE,eAAO,MAAM,oBAAoB,wpDA+BwF,CAAC;AAE1H,eAAO,MAAM,cAAc;;;;;;;;;EASzB,CAAC;AAEH;;;;;;;;GAQG;AACH,wBAAgB,6BAA6B,CAAC,EAAE,WAAW,EAAE,GAAE;IAAE,WAAW,CAAC,EAAE,CAAC,QAAQ,EAAE,CAAC,KAAK,EAAE,QAAQ,KAAK,GAAG,KAAK,GAAG,CAAA;CAAO;;;;4GAoBJ,mBAAmB;gFAsBnC,kBAAkB;+FAiBH,qBAAqB;EAgChJ;AAqBD;;;;;;;;;;;;;;;;;;;;;;;;GAwBG;AACH,wBAAsB,qBAAqB,CAAC,EAC1C,iBAAiB,EACjB,MAAM,EACN,MAAM,EACN,KAAK,EACL,aAAa,EACb,IAAW,EACX,QAAa,EACb,cAAqB,EACrB,iBAAsB,EACtB,iBAAwB,EACxB,WAAkB,EAClB,WAAkB,EAClB,GAAc,EACd,uBAA+B,GAChC,GAAE,4BAAiC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4FnC;AAED;;;GAGG;AACH,wBAAsB,oBAAoB,CAAC,EAAE,iBAAiB,EAAE,MAAM,EAAE,GAAG,OAAO,EAAE,GAAE,4BAA4B,GAAG;IAAE,MAAM,CAAC,EAAE,MAAM,EAAE,CAAA;CAAO;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAS9I;AAED;;;;;;;;;;;;;;GAcG;AACH,wBAAsB,4BAA4B,CAAC,EACjD,KAAK,EACL,YAAY,EACZ,WAAW,EACX,MAAM,EACN,QAAQ,EACR,cAAc,EACd,GAAc,GACf,GAAE;IACD,KAAK,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;IAC5B,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;IAC7B,QAAQ,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;IAC/B,cAAc,CAAC,EAAE,CAAC,GAAG,IAAI,EAAE,GAAG,EAAE,KAAK,GAAG,CAAC;IACzC,GAAG,CAAC,EAAE,MAAM,GAAG,CAAC,MAAM,MAAM,CAAC,CAAC;CAC1B;;;;;;;;;;;;;;GAyCL;AAED;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AACH,wBAAsB,yBAAyB,CAAC,EAC9C,uBAAuB,EACvB,YAAY,EACZ,gBAAgB,EAChB,MAAM,EACN,MAAM,EACN,SAA0B,EAC1B,KAAY,EACZ,UAAU,EACV,YAA2B,EAC3B,MAAgC,EAChC,KAAK,EACL,iBAAsB,EACtB,WAAkB,EAClB,GAAc,GACf,GAAE;IACD,uBAAuB,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;IAC9C,YAAY,CAAC,EAAE,MAAM,GAAG,MAAM,CAAC;IAC/B,gBAAgB,CAAC,EAAE,WAAW,CAAC;IAC/B,MAAM,CAAC,EAAE,gBAAgB,CAAC;IAC1B,MAAM,CAAC,EAAE,MAAM,GAAG,MAAM,CAAC;IACzB,SAAS,CAAC,EAAE;QAAE,CAAC,EAAE,MAAM,CAAC;QAAC,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC;IACrC,KAAK,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,GAAG,IAAI,CAAC;IACnC,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,MAAM,CAAC,EAAE,MAAM,GAAG,MAAM,CAAC;IACzB,KAAK,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;IAC5B,iBAAiB,CAAC,EAAE,MAAM,EAAE,CAAC;IAC7B,WAAW,CAAC,EAAE,MAAM,GAAG,IAAI,CAAC;IAC5B,GAAG,CAAC,EAAE,MAAM,GAAG,CAAC,MAAM,MAAM,CAAC,CAAC;CAC1B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAqFL;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;AAED,wBAsBE"}
|
|
@@ -537,6 +537,20 @@ function capabilityStateFromEnvelope(capabilityReceipt) {
|
|
|
537
537
|
expires_at: Date.parse(c.expiry),
|
|
538
538
|
};
|
|
539
539
|
}
|
|
540
|
+
/**
|
|
541
|
+
* Production capability-store contract. Methods alone are insufficient: an
|
|
542
|
+
* adapter must explicitly assert durable custody and reconciliation support.
|
|
543
|
+
*/
|
|
544
|
+
export function isSecureCapabilityStore(store) {
|
|
545
|
+
if (!store || typeof store !== 'object')
|
|
546
|
+
return false;
|
|
547
|
+
return store.durable === true
|
|
548
|
+
&& store.reconciliationCapable === true
|
|
549
|
+
&& typeof store.registerCapability === 'function'
|
|
550
|
+
&& typeof store.reserveSpend === 'function'
|
|
551
|
+
&& typeof store.commitSpend === 'function'
|
|
552
|
+
&& typeof store.reconcileSpend === 'function';
|
|
553
|
+
}
|
|
540
554
|
/**
|
|
541
555
|
* An in-memory atomic reference store. It is intentionally marked non-durable
|
|
542
556
|
* and is suitable only for tests; production callers must use an implementation
|
|
@@ -547,6 +561,7 @@ export function createMemoryCapabilityStore() {
|
|
|
547
561
|
const operations = new Map();
|
|
548
562
|
return {
|
|
549
563
|
durable: false,
|
|
564
|
+
reconciliationCapable: true,
|
|
550
565
|
registerCapability(capabilityReceipt) {
|
|
551
566
|
const verified = verifyCapabilityReceipt(capabilityReceipt, { allowUntrustedIssuer: true });
|
|
552
567
|
if (!verified.ok)
|
|
@@ -693,6 +708,7 @@ export function createPostgresCapabilityStore({ transaction } = {}) {
|
|
|
693
708
|
throw new TypeError('createPostgresCapabilityStore requires a transaction(callback) function');
|
|
694
709
|
return {
|
|
695
710
|
durable: true,
|
|
711
|
+
reconciliationCapable: true,
|
|
696
712
|
async registerCapability(capabilityReceipt) {
|
|
697
713
|
const verified = verifyCapabilityReceipt(capabilityReceipt, { allowUntrustedIssuer: true });
|
|
698
714
|
if (!verified.ok)
|
|
@@ -1169,6 +1185,7 @@ export default {
|
|
|
1169
1185
|
reconstructCapabilitySecret,
|
|
1170
1186
|
createMemoryCapabilityStore,
|
|
1171
1187
|
createPostgresCapabilityStore,
|
|
1188
|
+
isSecureCapabilityStore,
|
|
1172
1189
|
executeWithCapability,
|
|
1173
1190
|
executeWithThreshold,
|
|
1174
1191
|
reconcileCapabilityOperation,
|