@yielded/auth-persistence 0.1.0-beta.23 → 0.1.0-beta.25
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/README.md +11 -0
- package/dist/Adapter.d.mts +12 -6
- package/dist/Adapter.mjs +8 -3
- package/dist/OAuthPersistence.d.mts +87 -0
- package/dist/OAuthPersistence.mjs +125 -0
- package/dist/OAuthPersistence.mjs.map +1 -0
- package/dist/_virtual/_rolldown/runtime.mjs +13 -0
- package/dist/index.d.mts +3 -1
- package/dist/index.mjs +3 -1
- package/dist/internal/configuration.d.mts +1 -1
- package/dist/internal/configuration.mjs.map +1 -1
- package/dist/internal/email-kernel.d.mts +1 -1
- package/dist/internal/email-kernel.mjs +1 -1
- package/dist/internal/email-kernel.mjs.map +1 -1
- package/dist/internal/models/oauth-connected-model.d.mts +294 -0
- package/dist/internal/models/oauth-connected-model.mjs +22 -0
- package/dist/internal/models/oauth-connected-model.mjs.map +1 -0
- package/dist/internal/models/oauth-model.d.mts +467 -0
- package/dist/internal/models/oauth-model.mjs +49 -0
- package/dist/internal/models/oauth-model.mjs.map +1 -0
- package/dist/internal/models/password-model.d.mts +6 -48
- package/dist/internal/models/password-model.mjs +0 -1
- package/dist/internal/models/password-model.mjs.map +1 -1
- package/dist/internal/native-sql-table.d.mts +4 -0
- package/dist/internal/native-sql-table.mjs +7 -0
- package/dist/internal/native-sql-table.mjs.map +1 -1
- package/dist/internal/oauth/accounts.d.mts +8 -0
- package/dist/internal/oauth/accounts.mjs +379 -0
- package/dist/internal/oauth/accounts.mjs.map +1 -0
- package/dist/internal/oauth/connected-access.d.mts +9 -0
- package/dist/internal/oauth/connected-access.mjs +229 -0
- package/dist/internal/oauth/connected-access.mjs.map +1 -0
- package/dist/internal/oauth/connected-collection.d.mts +7 -0
- package/dist/internal/oauth/connected-collection.mjs +214 -0
- package/dist/internal/oauth/connected-collection.mjs.map +1 -0
- package/dist/internal/oauth/connected-custody.d.mts +6 -0
- package/dist/internal/oauth/connected-custody.mjs +165 -0
- package/dist/internal/oauth/connected-custody.mjs.map +1 -0
- package/dist/internal/oauth/connected-flow.d.mts +7 -0
- package/dist/internal/oauth/connected-flow.mjs +324 -0
- package/dist/internal/oauth/connected-flow.mjs.map +1 -0
- package/dist/internal/oauth/connected-input.mjs +122 -0
- package/dist/internal/oauth/connected-input.mjs.map +1 -0
- package/dist/internal/oauth/connected-keys.d.mts +2 -0
- package/dist/internal/oauth/connected-keys.mjs +22 -0
- package/dist/internal/oauth/connected-keys.mjs.map +1 -0
- package/dist/internal/oauth/connected-maintenance.d.mts +9 -0
- package/dist/internal/oauth/connected-maintenance.mjs +226 -0
- package/dist/internal/oauth/connected-maintenance.mjs.map +1 -0
- package/dist/internal/oauth/connected-management.d.mts +9 -0
- package/dist/internal/oauth/connected-management.mjs +243 -0
- package/dist/internal/oauth/connected-management.mjs.map +1 -0
- package/dist/internal/oauth/connected-reference.mjs +63 -0
- package/dist/internal/oauth/connected-reference.mjs.map +1 -0
- package/dist/internal/oauth/connected-settlement.d.mts +8 -0
- package/dist/internal/oauth/connected-settlement.mjs +141 -0
- package/dist/internal/oauth/connected-settlement.mjs.map +1 -0
- package/dist/internal/oauth/connected-sign-in.d.mts +10 -0
- package/dist/internal/oauth/connected-sign-in.mjs +281 -0
- package/dist/internal/oauth/connected-sign-in.mjs.map +1 -0
- package/dist/internal/oauth/connected-state.d.mts +14 -0
- package/dist/internal/oauth/connected-state.mjs +469 -0
- package/dist/internal/oauth/connected-state.mjs.map +1 -0
- package/dist/internal/oauth/connected-target.d.mts +21 -0
- package/dist/internal/oauth/connected-target.mjs +117 -0
- package/dist/internal/oauth/connected-target.mjs.map +1 -0
- package/dist/internal/oauth/flow.d.mts +5 -0
- package/dist/internal/oauth/flow.mjs +279 -0
- package/dist/internal/oauth/flow.mjs.map +1 -0
- package/dist/internal/oauth/input.mjs +127 -0
- package/dist/internal/oauth/input.mjs.map +1 -0
- package/dist/internal/oauth/owner.d.mts +10 -0
- package/dist/internal/oauth/owner.mjs +10 -0
- package/dist/internal/oauth/owner.mjs.map +1 -0
- package/dist/internal/oauth/query-compiler.d.mts +7 -0
- package/dist/internal/oauth/query-compiler.mjs +9 -0
- package/dist/internal/oauth/query-compiler.mjs.map +1 -0
- package/dist/internal/oauth/registration.d.mts +7 -0
- package/dist/internal/oauth/registration.mjs +393 -0
- package/dist/internal/oauth/registration.mjs.map +1 -0
- package/dist/internal/oauth/state.mjs +107 -0
- package/dist/internal/oauth/state.mjs.map +1 -0
- package/dist/internal/oauth/target.d.mts +31 -0
- package/dist/internal/oauth/target.mjs +273 -0
- package/dist/internal/oauth/target.mjs.map +1 -0
- package/dist/internal/oauth-kernel.d.mts +1423 -0
- package/dist/internal/oauth-kernel.mjs +187 -0
- package/dist/internal/oauth-kernel.mjs.map +1 -0
- package/dist/internal/oauth-proxy.d.mts +31 -0
- package/dist/internal/oauth-proxy.mjs +129 -0
- package/dist/internal/oauth-proxy.mjs.map +1 -0
- package/dist/internal/passkey/write-state.mjs +9 -1
- package/dist/internal/passkey/write-state.mjs.map +1 -1
- package/dist/internal/passkey-kernel.d.mts +9 -9
- package/dist/internal/{password-attempts.d.mts → password-credentials.d.mts} +3 -4
- package/dist/internal/password-credentials.mjs +121 -0
- package/dist/internal/password-credentials.mjs.map +1 -0
- package/dist/internal/password-kernel.d.mts +8 -24
- package/dist/internal/password-kernel.mjs +5 -43
- package/dist/internal/password-kernel.mjs.map +1 -1
- package/dist/internal/persistence.d.mts +1 -1
- package/dist/internal/persistence.mjs +2 -2
- package/dist/internal/persistence.mjs.map +1 -1
- package/dist/internal/query-operations.d.mts +2 -0
- package/dist/internal/session-kernel.d.mts +2 -2
- package/dist/internal/session-kernel.mjs +74 -18
- package/dist/internal/session-kernel.mjs.map +1 -1
- package/dist/internal/sql-oauth-connected-model.d.mts +29 -0
- package/dist/internal/sql-oauth-connected-model.mjs +7 -0
- package/dist/internal/sql-oauth-connected-model.mjs.map +1 -0
- package/dist/internal/sql-oauth-model.d.mts +60 -0
- package/dist/internal/sql-oauth-model.mjs +10 -0
- package/dist/internal/sql-oauth-model.mjs.map +1 -0
- package/dist/internal/sql-query.d.mts +12 -0
- package/dist/internal/sql-query.mjs +15 -18
- package/dist/internal/sql-query.mjs.map +1 -1
- package/dist/internal/sql-storage-validation.mjs +54 -0
- package/dist/internal/sql-storage-validation.mjs.map +1 -0
- package/dist/internal/storage-mapping.mjs +1 -37
- package/dist/internal/storage-mapping.mjs.map +1 -1
- package/dist/internal/storage-plans.d.mts +7 -0
- package/dist/internal/storage-plans.mjs +189 -0
- package/dist/internal/storage-plans.mjs.map +1 -0
- package/dist/internal/storage-tables.d.mts +0 -56
- package/dist/internal/storage-tables.mjs +0 -17
- package/dist/internal/storage-tables.mjs.map +1 -1
- package/dist/internal/storage-validation.d.mts +6 -1
- package/dist/internal/storage-validation.mjs +42 -1
- package/dist/internal/storage-validation.mjs.map +1 -1
- package/dist/internal/transaction-kernel.mjs +3 -2
- package/dist/internal/transaction-kernel.mjs.map +1 -1
- package/package.json +1 -1
- package/src/Adapter.ts +89 -5
- package/src/OAuthPersistence.ts +427 -0
- package/src/index.ts +3 -0
- package/src/internal/configuration.ts +1 -3
- package/src/internal/email-kernel.ts +2 -1
- package/src/internal/models/oauth-connected-model.ts +396 -0
- package/src/internal/models/oauth-model.ts +708 -0
- package/src/internal/models/password-model.ts +2 -57
- package/src/internal/native-sql-table.ts +14 -0
- package/src/internal/oauth/accounts.ts +839 -0
- package/src/internal/oauth/connected-access.ts +388 -0
- package/src/internal/oauth/connected-collection.ts +345 -0
- package/src/internal/oauth/connected-custody.ts +308 -0
- package/src/internal/oauth/connected-flow.ts +562 -0
- package/src/internal/oauth/connected-input.ts +147 -0
- package/src/internal/oauth/connected-keys.ts +31 -0
- package/src/internal/oauth/connected-maintenance.ts +379 -0
- package/src/internal/oauth/connected-management.ts +391 -0
- package/src/internal/oauth/connected-reference.ts +135 -0
- package/src/internal/oauth/connected-settlement.ts +278 -0
- package/src/internal/oauth/connected-sign-in.ts +472 -0
- package/src/internal/oauth/connected-state.ts +924 -0
- package/src/internal/oauth/connected-target.ts +307 -0
- package/src/internal/oauth/flow.ts +505 -0
- package/src/internal/oauth/input.ts +201 -0
- package/src/internal/oauth/owner.ts +22 -0
- package/src/internal/oauth/query-compiler.ts +15 -0
- package/src/internal/oauth/registration.ts +676 -0
- package/src/internal/oauth/state.ts +218 -0
- package/src/internal/oauth/target.ts +803 -0
- package/src/internal/oauth-kernel.ts +294 -0
- package/src/internal/oauth-proxy.ts +176 -0
- package/src/internal/passkey/write-state.ts +18 -4
- package/src/internal/password-credentials.ts +245 -0
- package/src/internal/password-kernel.ts +7 -99
- package/src/internal/persistence.ts +1 -1
- package/src/internal/query-operations.ts +2 -0
- package/src/internal/session-kernel.ts +143 -55
- package/src/internal/sql-oauth-connected-model.ts +145 -0
- package/src/internal/sql-oauth-model.ts +263 -0
- package/src/internal/sql-query.ts +16 -13
- package/src/internal/sql-storage-validation.ts +64 -0
- package/src/internal/storage-mapping.ts +0 -37
- package/src/internal/storage-plans.ts +218 -0
- package/src/internal/storage-tables.ts +0 -20
- package/src/internal/storage-validation.ts +58 -0
- package/src/internal/transaction-kernel.ts +6 -2
- package/dist/internal/password-attempts.mjs +0 -197
- package/dist/internal/password-attempts.mjs.map +0 -1
- package/src/internal/password-attempts.ts +0 -466
|
@@ -0,0 +1,229 @@
|
|
|
1
|
+
import { CurrentOAuthTransaction } from "./owner.mjs";
|
|
2
|
+
import { OAuthQueryCompiler } from "./query-compiler.mjs";
|
|
3
|
+
import { invariant } from "./state.mjs";
|
|
4
|
+
import { OAuthConnectedState } from "./connected-state.mjs";
|
|
5
|
+
import { OAuthConnectedCustody } from "./connected-custody.mjs";
|
|
6
|
+
import { OAuthConnectedFlow } from "./connected-flow.mjs";
|
|
7
|
+
import { OAuthConnectedSettlement } from "./connected-settlement.mjs";
|
|
8
|
+
import { Context, Effect, Layer } from "effect";
|
|
9
|
+
import * as M from "@yielded/auth/OAuth";
|
|
10
|
+
import { snapshotOAuthSync } from "@yielded/auth/OAuth";
|
|
11
|
+
//#region src/internal/oauth/connected-access.ts
|
|
12
|
+
const make = Effect.gen(function* () {
|
|
13
|
+
const operations = yield* OAuthQueryCompiler;
|
|
14
|
+
const C = yield* OAuthConnectedCustody;
|
|
15
|
+
const F = yield* OAuthConnectedFlow;
|
|
16
|
+
const connectedSettlement = yield* OAuthConnectedSettlement;
|
|
17
|
+
const S = yield* OAuthConnectedState;
|
|
18
|
+
const { sql } = operations;
|
|
19
|
+
const { validMetadata } = connectedSettlement;
|
|
20
|
+
const { equal } = operations;
|
|
21
|
+
const locked = Effect.fn("oauthConnected.lockedGrant")(function* (mapping, authorization, grantId, purpose) {
|
|
22
|
+
const owner = yield* CurrentOAuthTransaction;
|
|
23
|
+
const initial = yield* S.readGrant(mapping, authorization.moduleId, grantId, false);
|
|
24
|
+
if (initial === void 0) return void 0;
|
|
25
|
+
const found = yield* S.useAuthority(mapping, authorization, purpose, initial.context);
|
|
26
|
+
if (found === void 0) return void 0;
|
|
27
|
+
const client = yield* S.client(mapping, initial.context.configuration, false);
|
|
28
|
+
if (client === void 0) return void 0;
|
|
29
|
+
const tuple = yield* F.inspectTuple(mapping, initial.context.identity), t = mapping.ownership.tuple;
|
|
30
|
+
if (tuple.row?.[t.state] !== "Owned" || !mapping.subjectId.equals(tuple.row[t.subjectId], found.nativeId)) return void 0;
|
|
31
|
+
const cohort = yield* S.cohort(mapping, client.id, tuple.key, false);
|
|
32
|
+
invariant(cohort.row !== void 0);
|
|
33
|
+
const grant = yield* S.readGrant(mapping, authorization.moduleId, grantId);
|
|
34
|
+
if (grant === void 0 || !C.sameContext(grant.context, initial.context)) return void 0;
|
|
35
|
+
return {
|
|
36
|
+
found,
|
|
37
|
+
client,
|
|
38
|
+
tuple,
|
|
39
|
+
cohort,
|
|
40
|
+
grant,
|
|
41
|
+
now: yield* owner.now(mapping.clock)
|
|
42
|
+
};
|
|
43
|
+
});
|
|
44
|
+
const state = (mapping, read) => {
|
|
45
|
+
const g = mapping.grant;
|
|
46
|
+
if (read.cohort.blocked || read.cohort.generation !== read.grant.context.cohortGeneration || read.grant.row[g.activeIdentityKey] !== read.tuple.key) return "ReauthorizationRequired";
|
|
47
|
+
return read.grant.row[g.state] === "Refreshing" ? "Busy" : read.grant.row[g.state] === "Active" ? "Active" : "ReauthorizationRequired";
|
|
48
|
+
};
|
|
49
|
+
return {
|
|
50
|
+
locked,
|
|
51
|
+
state,
|
|
52
|
+
inspectAccess: Effect.fn("oauthConnected.inspectAccess")(function* (mapping, input) {
|
|
53
|
+
const read = yield* locked(mapping, input.authorization, input.grantId, "use");
|
|
54
|
+
if (read === void 0 || read.grant.context.configuration.profile.key !== input.profileKey) return { _tag: "Rejected" };
|
|
55
|
+
const status = state(mapping, read);
|
|
56
|
+
if (status !== "Active") return { _tag: status };
|
|
57
|
+
if (read.grant.sealed === void 0) return { _tag: "ReauthorizationRequired" };
|
|
58
|
+
return {
|
|
59
|
+
_tag: "Target",
|
|
60
|
+
grant: {
|
|
61
|
+
context: read.grant.context,
|
|
62
|
+
sealed: read.grant.sealed
|
|
63
|
+
}
|
|
64
|
+
};
|
|
65
|
+
}),
|
|
66
|
+
claimRefresh: Effect.fn("oauthConnected.claimRefresh")(function* (mapping, input) {
|
|
67
|
+
const owner = yield* CurrentOAuthTransaction;
|
|
68
|
+
const read = yield* locked(mapping, input.authorization, input.grant.context.grantId, "use");
|
|
69
|
+
if (read === void 0) return { _tag: "Rejected" };
|
|
70
|
+
const status = state(mapping, read), g = mapping.grant;
|
|
71
|
+
if (status !== "Active") return { _tag: status };
|
|
72
|
+
const token = read.grant.context, p = token.configuration.profile;
|
|
73
|
+
if (read.grant.sealed === void 0 || !C.sameGrant(input.grant, {
|
|
74
|
+
context: token,
|
|
75
|
+
sealed: read.grant.sealed
|
|
76
|
+
})) return { _tag: "Rejected" };
|
|
77
|
+
if (read.grant.row[g.refreshWork] === "Unresolved") return { _tag: "Busy" };
|
|
78
|
+
if (p.refresh === "unsupported" || token.metadata.refreshUseUntilMillis === void 0 || read.now >= token.metadata.refreshUseUntilMillis) return { _tag: "ReauthorizationRequired" };
|
|
79
|
+
if (read.now < token.metadata.useUntilMillis - p.refreshAheadMillis) return { _tag: "Busy" };
|
|
80
|
+
invariant(Number.isSafeInteger(input.lifetimeMillis) && input.lifetimeMillis >= 1e3 && input.lifetimeMillis <= 12e4 && input.nextTokenVersion !== token.tokenVersion);
|
|
81
|
+
const expires = Math.min(read.now + input.lifetimeMillis, token.metadata.refreshUseUntilMillis, input.authorization.expiresAtMillis);
|
|
82
|
+
if (expires <= read.now) return { _tag: "Rejected" };
|
|
83
|
+
const claim = snapshotOAuthSync(M.OAuthConnectedRefreshClaim, {
|
|
84
|
+
grant: input.grant,
|
|
85
|
+
order: String(yield* S.nextOrder(mapping, read.client)),
|
|
86
|
+
claimId: input.claimId,
|
|
87
|
+
claimedAtMillis: read.now,
|
|
88
|
+
claimExpiresAtMillis: expires,
|
|
89
|
+
nextTokenVersion: input.nextTokenVersion
|
|
90
|
+
});
|
|
91
|
+
yield* owner.update(g.table, {
|
|
92
|
+
[g.moduleId]: token.moduleId,
|
|
93
|
+
[g.grantId]: token.grantId
|
|
94
|
+
}, {
|
|
95
|
+
[g.state]: "Refreshing",
|
|
96
|
+
[g.refreshWork]: "Unresolved",
|
|
97
|
+
[g.refreshClaim]: S.refreshStorage.encode(claim),
|
|
98
|
+
[g.refreshClaimExpiresAt]: mapping.clock.encodeInstant(expires),
|
|
99
|
+
[g.version]: owner.marker
|
|
100
|
+
});
|
|
101
|
+
owner.postconditions.push(sql`${mapping.clock.engineNowMillis} >= ${read.now} and ${mapping.clock.engineNowMillis} < ${expires}`);
|
|
102
|
+
return {
|
|
103
|
+
_tag: "Claimed",
|
|
104
|
+
claim
|
|
105
|
+
};
|
|
106
|
+
}),
|
|
107
|
+
settleRefresh: Effect.fn("oauthConnected.settleRefresh")(function* (mapping, input) {
|
|
108
|
+
const owner = yield* CurrentOAuthTransaction;
|
|
109
|
+
const old = input.claim.grant.context, g = mapping.grant;
|
|
110
|
+
const authorized = (yield* S.useAuthority(mapping, input.authorization, "use", old)) !== void 0;
|
|
111
|
+
const native = yield* mapping.subjectId.toNative(old.subjectId);
|
|
112
|
+
const client = yield* S.client(mapping, old.configuration, false);
|
|
113
|
+
if (client === void 0) return { _tag: "Rejected" };
|
|
114
|
+
const tuple = yield* F.inspectTuple(mapping, old.identity), t = mapping.ownership.tuple;
|
|
115
|
+
if (tuple.row?.[t.state] !== "Owned" || !mapping.subjectId.equals(tuple.row[t.subjectId], native)) return { _tag: "Rejected" };
|
|
116
|
+
const cohort = yield* S.cohort(mapping, client.id, tuple.key, false);
|
|
117
|
+
invariant(cohort.row !== void 0);
|
|
118
|
+
const read = yield* S.readGrant(mapping, old.moduleId, old.grantId);
|
|
119
|
+
if (read === void 0 || read.row[g.refreshWork] !== "Unresolved" || read.row[g.refreshClaim] !== S.refreshStorage.encode(input.claim)) return { _tag: "Rejected" };
|
|
120
|
+
invariant(mapping.clock.decodeInstant(read.row[g.refreshClaimExpiresAt]) === input.claim.claimExpiresAtMillis);
|
|
121
|
+
const now = yield* owner.now(mapping.clock);
|
|
122
|
+
invariant(now >= input.claim.claimedAtMillis);
|
|
123
|
+
const outcome = input.outcome;
|
|
124
|
+
const incoming = outcome._tag === "Refreshed" ? outcome.grant : void 0;
|
|
125
|
+
if (incoming !== void 0) invariant(C.sameContext({
|
|
126
|
+
...incoming.context,
|
|
127
|
+
tokenVersion: old.tokenVersion,
|
|
128
|
+
metadata: old.metadata,
|
|
129
|
+
exchangeOrder: old.exchangeOrder
|
|
130
|
+
}, old) && incoming.context.tokenVersion === input.claim.nextTokenVersion && incoming.context.exchangeOrder === input.claim.order && validMetadata(incoming.context, now) && incoming.context.metadata.obtainedAtMillis >= input.claim.claimedAtMillis && (incoming.context.metadata.refreshUseUntilMillis === void 0 || old.metadata.refreshUseUntilMillis !== void 0 && incoming.context.metadata.refreshUseUntilMillis <= old.metadata.refreshUseUntilMillis));
|
|
131
|
+
if (incoming !== void 0 && authorized && read.row[g.state] === "Refreshing" && C.sameContext(read.context, old) && !cohort.blocked && cohort.generation === old.cohortGeneration && now < input.claim.claimExpiresAtMillis && now < incoming.context.metadata.useUntilMillis) {
|
|
132
|
+
yield* owner.update(g.table, {
|
|
133
|
+
[g.moduleId]: old.moduleId,
|
|
134
|
+
[g.grantId]: old.grantId
|
|
135
|
+
}, {
|
|
136
|
+
[g.state]: "Active",
|
|
137
|
+
[g.context]: S.tokenContextStorage.encode(incoming.context),
|
|
138
|
+
[g.sealed]: S.sealedStorage.encode(incoming.sealed),
|
|
139
|
+
[g.summary]: S.summaryStorage.encode(C.summary(incoming.context)),
|
|
140
|
+
[g.tokenVersion]: incoming.context.tokenVersion,
|
|
141
|
+
[g.refreshWork]: "Resolved",
|
|
142
|
+
[g.version]: owner.marker
|
|
143
|
+
});
|
|
144
|
+
owner.postconditions.push(sql`${mapping.clock.engineNowMillis} >= ${now} and ${mapping.clock.engineNowMillis} < ${Math.min(input.claim.claimExpiresAtMillis, incoming.context.metadata.useUntilMillis)}`);
|
|
145
|
+
return {
|
|
146
|
+
_tag: "Refreshed",
|
|
147
|
+
grant: incoming
|
|
148
|
+
};
|
|
149
|
+
}
|
|
150
|
+
yield* C.fence(mapping, client, cohort);
|
|
151
|
+
if (incoming !== void 0 && outcome._tag === "Refreshed" && outcome.cleanup !== void 0) {
|
|
152
|
+
yield* C.storeJob(mapping, outcome.cleanup, incoming.context, native, now);
|
|
153
|
+
yield* owner.update(g.table, {
|
|
154
|
+
[g.moduleId]: old.moduleId,
|
|
155
|
+
[g.grantId]: old.grantId
|
|
156
|
+
}, {
|
|
157
|
+
[g.refreshWork]: "Resolved",
|
|
158
|
+
[g.revocationJobId]: outcome.cleanup.context.jobId,
|
|
159
|
+
[g.sealed]: null,
|
|
160
|
+
[g.version]: owner.marker
|
|
161
|
+
});
|
|
162
|
+
} else if (incoming !== void 0) yield* owner.update(g.table, {
|
|
163
|
+
[g.moduleId]: old.moduleId,
|
|
164
|
+
[g.grantId]: old.grantId
|
|
165
|
+
}, {
|
|
166
|
+
[g.context]: S.tokenContextStorage.encode(incoming.context),
|
|
167
|
+
[g.sealed]: S.sealedStorage.encode(incoming.sealed),
|
|
168
|
+
[g.tokenVersion]: incoming.context.tokenVersion,
|
|
169
|
+
[g.summary]: S.summaryStorage.encode(C.summary(incoming.context)),
|
|
170
|
+
[g.version]: owner.marker
|
|
171
|
+
});
|
|
172
|
+
return { _tag: "ReauthorizationRequired" };
|
|
173
|
+
}),
|
|
174
|
+
admitUse: Effect.fn("oauthConnected.admitUse")(function* (mapping, input) {
|
|
175
|
+
const owner = yield* CurrentOAuthTransaction;
|
|
176
|
+
const read = yield* locked(mapping, input.authorization, input.grant.context.grantId, "use");
|
|
177
|
+
if (read === void 0) return { _tag: "Rejected" };
|
|
178
|
+
const status = state(mapping, read);
|
|
179
|
+
if (status !== "Active") return { _tag: status };
|
|
180
|
+
const token = read.grant.context;
|
|
181
|
+
if (read.grant.sealed === void 0 || !C.sameGrant(input.grant, {
|
|
182
|
+
context: token,
|
|
183
|
+
sealed: read.grant.sealed
|
|
184
|
+
}) || read.now >= token.metadata.useUntilMillis) return { _tag: "ReauthorizationRequired" };
|
|
185
|
+
invariant(Number.isSafeInteger(input.lifetimeMillis) && input.lifetimeMillis >= 1 && input.lifetimeMillis <= 3e4);
|
|
186
|
+
const expires = Math.min(read.now + input.lifetimeMillis, input.authorization.expiresAtMillis, token.metadata.useUntilMillis), a = mapping.admission;
|
|
187
|
+
const key = { [a.admissionId]: input.admissionId }, prior = yield* owner.read(a.table, equal(a.table, key), { limit: 1 });
|
|
188
|
+
if (prior.rows.length) return { _tag: "Rejected" };
|
|
189
|
+
prior.rows = (yield* owner.insert(a.table, {
|
|
190
|
+
...a.encodeInsert({
|
|
191
|
+
admissionId: input.admissionId,
|
|
192
|
+
grant: snapshotOAuthSync(M.OAuthConnectedStoredGrant, input.grant),
|
|
193
|
+
authorization: snapshotOAuthSync(M.OAuthConnectedUseAuthorization, input.authorization),
|
|
194
|
+
subjectId: S.nativeCopy(read.found.nativeId)
|
|
195
|
+
}),
|
|
196
|
+
...key,
|
|
197
|
+
[a.moduleId]: token.moduleId,
|
|
198
|
+
[a.grantId]: token.grantId,
|
|
199
|
+
[a.subjectId]: read.found.nativeId,
|
|
200
|
+
[a.identityKey]: read.tuple.key,
|
|
201
|
+
[a.clientKey]: read.client.id,
|
|
202
|
+
[a.cohortKey]: read.cohort.id,
|
|
203
|
+
[a.snapshot]: S.admissionStorage.encode({
|
|
204
|
+
grant: input.grant,
|
|
205
|
+
authorization: input.authorization
|
|
206
|
+
}),
|
|
207
|
+
[a.admittedAt]: mapping.clock.encodeInstant(read.now),
|
|
208
|
+
[a.expiresAt]: mapping.clock.encodeInstant(expires),
|
|
209
|
+
[a.version]: owner.marker
|
|
210
|
+
}, key)).rows;
|
|
211
|
+
owner.postconditions.push(sql`${mapping.clock.engineNowMillis} >= ${read.now} and ${mapping.clock.engineNowMillis} < ${expires}`);
|
|
212
|
+
return {
|
|
213
|
+
_tag: "Admitted",
|
|
214
|
+
admissionId: input.admissionId,
|
|
215
|
+
grantId: token.grantId,
|
|
216
|
+
tokenVersion: token.tokenVersion,
|
|
217
|
+
admittedAtMillis: read.now,
|
|
218
|
+
expiresAtMillis: expires
|
|
219
|
+
};
|
|
220
|
+
})
|
|
221
|
+
};
|
|
222
|
+
});
|
|
223
|
+
var OAuthConnectedAccess = class OAuthConnectedAccess extends Context.Service()("effect-auth/persistence/OAuthConnectedAccess") {
|
|
224
|
+
static layer = Layer.effect(OAuthConnectedAccess, make);
|
|
225
|
+
};
|
|
226
|
+
//#endregion
|
|
227
|
+
export { OAuthConnectedAccess };
|
|
228
|
+
|
|
229
|
+
//# sourceMappingURL=connected-access.mjs.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"connected-access.mjs","names":[],"sources":["../../../src/internal/oauth/connected-access.ts"],"sourcesContent":["import * as M from \"@yielded/auth/OAuth\";\nimport { snapshotOAuthSync } from \"@yielded/auth/OAuth\";\nimport { Effect, Context, Layer } from \"effect\";\n\nimport { OAuthConnectedCustody } from \"./connected-custody\";\nimport { OAuthConnectedFlow } from \"./connected-flow\";\nimport type * as FTypes from \"./connected-flow\";\nimport { OAuthConnectedSettlement } from \"./connected-settlement\";\nimport { OAuthConnectedState } from \"./connected-state\";\nimport type * as STypes from \"./connected-state\";\nimport { CurrentOAuthTransaction } from \"./owner\";\nimport { OAuthQueryCompiler } from \"./query-compiler\";\nimport { invariant } from \"./state\";\n\nconst make = Effect.gen(function* () {\n const operations = yield* OAuthQueryCompiler;\n const C = yield* OAuthConnectedCustody;\n const F = yield* OAuthConnectedFlow;\n const connectedSettlement = yield* OAuthConnectedSettlement;\n const S = yield* OAuthConnectedState;\n\n const { sql } = operations;\n const { validMetadata } = connectedSettlement;\n const { equal } = operations;\n\n const locked = Effect.fn(\"oauthConnected.lockedGrant\")(function* (\n mapping: STypes.Mapping,\n authorization: M.OAuthConnectedUseAuthorization,\n grantId: M.OAuthConnectedTokenContext[\"grantId\"],\n purpose: \"use\" | \"metadata\",\n ) {\n const owner = yield* CurrentOAuthTransaction;\n const initial = yield* S.readGrant(mapping, authorization.moduleId, grantId, false);\n\n if (initial === undefined) return undefined;\n const found = yield* S.useAuthority(mapping, authorization, purpose, initial.context);\n\n if (found === undefined) return undefined;\n const client = yield* S.client(mapping, initial.context.configuration, false);\n\n if (client === undefined) return undefined;\n\n const tuple = yield* F.inspectTuple(mapping, initial.context.identity),\n t = mapping.ownership.tuple;\n\n if (\n tuple.row?.[t.state] !== \"Owned\" ||\n !mapping.subjectId.equals(tuple.row[t.subjectId], found.nativeId)\n )\n return undefined;\n const cohort = yield* S.cohort(mapping, client.id, tuple.key, false);\n\n invariant(cohort.row !== undefined);\n const grant = yield* S.readGrant(mapping, authorization.moduleId, grantId);\n\n if (grant === undefined || !C.sameContext(grant.context, initial.context)) return undefined;\n\n return { found, client, tuple, cohort, grant, now: yield* owner.now(mapping.clock) };\n });\n\n const state = (\n mapping: STypes.Authority,\n read: NonNullable<Effect.Success<ReturnType<typeof locked>>>,\n ) => {\n const g = mapping.grant;\n\n if (\n read.cohort.blocked ||\n read.cohort.generation !== read.grant.context.cohortGeneration ||\n read.grant.row[g.activeIdentityKey] !== read.tuple.key\n )\n return \"ReauthorizationRequired\" as const;\n\n return read.grant.row[g.state] === \"Refreshing\"\n ? (\"Busy\" as const)\n : read.grant.row[g.state] === \"Active\"\n ? (\"Active\" as const)\n : (\"ReauthorizationRequired\" as const);\n };\n\n const inspectAccess = Effect.fn(\"oauthConnected.inspectAccess\")(function* (\n mapping: STypes.Mapping,\n input: FTypes.Input<\"inspectAccess\">,\n ) {\n const read = yield* locked(mapping, input.authorization, input.grantId, \"use\");\n\n if (read === undefined || read.grant.context.configuration.profile.key !== input.profileKey)\n return { _tag: \"Rejected\" } as const;\n const status = state(mapping, read);\n\n if (status !== \"Active\") return { _tag: status };\n if (read.grant.sealed === undefined) return { _tag: \"ReauthorizationRequired\" } as const;\n\n return {\n _tag: \"Target\",\n grant: { context: read.grant.context, sealed: read.grant.sealed },\n } as const;\n });\n\n const claimRefresh = Effect.fn(\"oauthConnected.claimRefresh\")(function* (\n mapping: STypes.Mapping,\n input: FTypes.Input<\"claimRefresh\">,\n ) {\n const owner = yield* CurrentOAuthTransaction;\n const read = yield* locked(mapping, input.authorization, input.grant.context.grantId, \"use\");\n\n if (read === undefined) return { _tag: \"Rejected\" } as const;\n\n const status = state(mapping, read),\n g = mapping.grant;\n\n if (status !== \"Active\") return { _tag: status };\n\n const token = read.grant.context,\n p = token.configuration.profile;\n\n if (\n read.grant.sealed === undefined ||\n !C.sameGrant(input.grant, { context: token, sealed: read.grant.sealed })\n )\n return { _tag: \"Rejected\" } as const;\n if (read.grant.row[g.refreshWork] === \"Unresolved\") return { _tag: \"Busy\" } as const;\n if (\n p.refresh === \"unsupported\" ||\n token.metadata.refreshUseUntilMillis === undefined ||\n read.now >= token.metadata.refreshUseUntilMillis\n )\n return { _tag: \"ReauthorizationRequired\" } as const;\n if (read.now < token.metadata.useUntilMillis - p.refreshAheadMillis)\n return { _tag: \"Busy\" } as const;\n invariant(\n Number.isSafeInteger(input.lifetimeMillis) &&\n input.lifetimeMillis >= 1000 &&\n input.lifetimeMillis <= 120000 &&\n input.nextTokenVersion !== token.tokenVersion,\n );\n\n const expires = Math.min(\n read.now + input.lifetimeMillis,\n token.metadata.refreshUseUntilMillis,\n input.authorization.expiresAtMillis,\n );\n\n if (expires <= read.now) return { _tag: \"Rejected\" } as const;\n\n const claim = snapshotOAuthSync(M.OAuthConnectedRefreshClaim, {\n grant: input.grant,\n order: String(yield* S.nextOrder(mapping, read.client)),\n claimId: input.claimId,\n claimedAtMillis: read.now,\n claimExpiresAtMillis: expires,\n nextTokenVersion: input.nextTokenVersion,\n });\n\n yield* owner.update(\n g.table,\n { [g.moduleId]: token.moduleId, [g.grantId]: token.grantId },\n {\n [g.state]: \"Refreshing\",\n [g.refreshWork]: \"Unresolved\",\n [g.refreshClaim]: S.refreshStorage.encode(claim),\n [g.refreshClaimExpiresAt]: mapping.clock.encodeInstant(expires),\n [g.version]: owner.marker,\n },\n );\n owner.postconditions.push(\n sql`${mapping.clock.engineNowMillis} >= ${read.now} and ${mapping.clock.engineNowMillis} < ${expires}`,\n );\n\n return { _tag: \"Claimed\", claim } as const;\n });\n\n const settleRefresh = Effect.fn(\"oauthConnected.settleRefresh\")(function* (\n mapping: STypes.Mapping,\n input: FTypes.Input<\"settleRefresh\">,\n ) {\n const owner = yield* CurrentOAuthTransaction;\n\n const old = input.claim.grant.context,\n g = mapping.grant;\n\n // Capture policy before suffix locks. Loss of authorization still permits only\n // cleanup of exact original work under its unchanged global owner.\n const authorized =\n (yield* S.useAuthority(mapping, input.authorization, \"use\", old)) !== undefined;\n\n const native = yield* mapping.subjectId.toNative(old.subjectId);\n const client = yield* S.client(mapping, old.configuration, false);\n\n if (client === undefined) return { _tag: \"Rejected\" } as const;\n\n const tuple = yield* F.inspectTuple(mapping, old.identity),\n t = mapping.ownership.tuple;\n\n if (\n tuple.row?.[t.state] !== \"Owned\" ||\n !mapping.subjectId.equals(tuple.row[t.subjectId], native)\n )\n return { _tag: \"Rejected\" } as const;\n const cohort = yield* S.cohort(mapping, client.id, tuple.key, false);\n\n invariant(cohort.row !== undefined);\n const read = yield* S.readGrant(mapping, old.moduleId, old.grantId);\n\n if (\n read === undefined ||\n read.row[g.refreshWork] !== \"Unresolved\" ||\n read.row[g.refreshClaim] !== S.refreshStorage.encode(input.claim)\n )\n return { _tag: \"Rejected\" } as const;\n invariant(\n mapping.clock.decodeInstant(read.row[g.refreshClaimExpiresAt]) ===\n input.claim.claimExpiresAtMillis,\n );\n const now = yield* owner.now(mapping.clock);\n\n invariant(now >= input.claim.claimedAtMillis);\n const outcome = input.outcome;\n const incoming = outcome._tag === \"Refreshed\" ? outcome.grant : undefined;\n\n if (incoming !== undefined)\n invariant(\n C.sameContext(\n {\n ...incoming.context,\n tokenVersion: old.tokenVersion,\n metadata: old.metadata,\n exchangeOrder: old.exchangeOrder,\n },\n old,\n ) &&\n incoming.context.tokenVersion === input.claim.nextTokenVersion &&\n incoming.context.exchangeOrder === input.claim.order &&\n validMetadata(incoming.context, now) &&\n incoming.context.metadata.obtainedAtMillis >= input.claim.claimedAtMillis &&\n (incoming.context.metadata.refreshUseUntilMillis === undefined ||\n (old.metadata.refreshUseUntilMillis !== undefined &&\n incoming.context.metadata.refreshUseUntilMillis <=\n old.metadata.refreshUseUntilMillis)),\n );\n\n const active =\n incoming !== undefined &&\n authorized &&\n read.row[g.state] === \"Refreshing\" &&\n C.sameContext(read.context, old) &&\n !cohort.blocked &&\n cohort.generation === old.cohortGeneration &&\n now < input.claim.claimExpiresAtMillis &&\n now < incoming.context.metadata.useUntilMillis;\n\n if (active) {\n yield* owner.update(\n g.table,\n { [g.moduleId]: old.moduleId, [g.grantId]: old.grantId },\n {\n [g.state]: \"Active\",\n [g.context]: S.tokenContextStorage.encode(incoming.context),\n [g.sealed]: S.sealedStorage.encode(incoming.sealed),\n [g.summary]: S.summaryStorage.encode(C.summary(incoming.context)),\n [g.tokenVersion]: incoming.context.tokenVersion,\n [g.refreshWork]: \"Resolved\",\n [g.version]: owner.marker,\n },\n );\n owner.postconditions.push(\n sql`${mapping.clock.engineNowMillis} >= ${now} and ${mapping.clock.engineNowMillis} < ${Math.min(input.claim.claimExpiresAtMillis, incoming.context.metadata.useUntilMillis)}`,\n );\n\n return { _tag: \"Refreshed\", grant: incoming } as const;\n }\n yield* C.fence(mapping, client, cohort);\n if (incoming !== undefined && outcome._tag === \"Refreshed\" && outcome.cleanup !== undefined) {\n yield* C.storeJob(mapping, outcome.cleanup, incoming.context, native, now);\n yield* owner.update(\n g.table,\n { [g.moduleId]: old.moduleId, [g.grantId]: old.grantId },\n {\n [g.refreshWork]: \"Resolved\",\n [g.revocationJobId]: outcome.cleanup.context.jobId,\n [g.sealed]: null,\n [g.version]: owner.marker,\n },\n );\n } else if (incoming !== undefined)\n yield* owner.update(\n g.table,\n { [g.moduleId]: old.moduleId, [g.grantId]: old.grantId },\n {\n [g.context]: S.tokenContextStorage.encode(incoming.context),\n [g.sealed]: S.sealedStorage.encode(incoming.sealed),\n [g.tokenVersion]: incoming.context.tokenVersion,\n [g.summary]: S.summaryStorage.encode(C.summary(incoming.context)),\n [g.version]: owner.marker,\n },\n );\n\n return { _tag: \"ReauthorizationRequired\" } as const;\n });\n\n const admitUse = Effect.fn(\"oauthConnected.admitUse\")(function* (\n mapping: STypes.Mapping,\n input: FTypes.Input<\"admitUse\">,\n ) {\n const owner = yield* CurrentOAuthTransaction;\n const read = yield* locked(mapping, input.authorization, input.grant.context.grantId, \"use\");\n\n if (read === undefined) return { _tag: \"Rejected\" } as const;\n const status = state(mapping, read);\n\n if (status !== \"Active\") return { _tag: status };\n const token = read.grant.context;\n\n if (\n read.grant.sealed === undefined ||\n !C.sameGrant(input.grant, { context: token, sealed: read.grant.sealed }) ||\n read.now >= token.metadata.useUntilMillis\n )\n return { _tag: \"ReauthorizationRequired\" } as const;\n invariant(\n Number.isSafeInteger(input.lifetimeMillis) &&\n input.lifetimeMillis >= 1 &&\n input.lifetimeMillis <= 30000,\n );\n\n const expires = Math.min(\n read.now + input.lifetimeMillis,\n input.authorization.expiresAtMillis,\n token.metadata.useUntilMillis,\n ),\n a = mapping.admission;\n\n const key = { [a.admissionId]: input.admissionId },\n prior = yield* owner.read(a.table, equal(a.table, key), { limit: 1 });\n\n if (prior.rows.length) return { _tag: \"Rejected\" } as const;\n\n const inserted = yield* owner.insert(\n a.table,\n {\n ...a.encodeInsert({\n admissionId: input.admissionId,\n grant: snapshotOAuthSync(M.OAuthConnectedStoredGrant, input.grant),\n authorization: snapshotOAuthSync(M.OAuthConnectedUseAuthorization, input.authorization),\n subjectId: S.nativeCopy(read.found.nativeId),\n }),\n ...key,\n [a.moduleId]: token.moduleId,\n [a.grantId]: token.grantId,\n [a.subjectId]: read.found.nativeId,\n [a.identityKey]: read.tuple.key,\n [a.clientKey]: read.client.id,\n [a.cohortKey]: read.cohort.id,\n [a.snapshot]: S.admissionStorage.encode({\n grant: input.grant,\n authorization: input.authorization,\n }),\n [a.admittedAt]: mapping.clock.encodeInstant(read.now),\n [a.expiresAt]: mapping.clock.encodeInstant(expires),\n [a.version]: owner.marker,\n },\n key,\n );\n\n prior.rows = inserted.rows;\n owner.postconditions.push(\n sql`${mapping.clock.engineNowMillis} >= ${read.now} and ${mapping.clock.engineNowMillis} < ${expires}`,\n );\n\n return {\n _tag: \"Admitted\",\n admissionId: input.admissionId,\n grantId: token.grantId,\n tokenVersion: token.tokenVersion,\n admittedAtMillis: read.now,\n expiresAtMillis: expires,\n } as const;\n });\n\n return { locked, state, inspectAccess, claimRefresh, settleRefresh, admitUse };\n});\n\nexport class OAuthConnectedAccess extends Context.Service<\n OAuthConnectedAccess,\n Effect.Success<typeof make>\n>()(\"effect-auth/persistence/OAuthConnectedAccess\") {\n static readonly layer = Layer.effect(OAuthConnectedAccess, make);\n}\n"],"mappings":";;;;;;;;;;;AAcA,MAAM,OAAO,OAAO,IAAI,aAAa;CACnC,MAAM,aAAa,OAAO;CAC1B,MAAM,IAAI,OAAO;CACjB,MAAM,IAAI,OAAO;CACjB,MAAM,sBAAsB,OAAO;CACnC,MAAM,IAAI,OAAO;CAEjB,MAAM,EAAE,QAAQ;CAChB,MAAM,EAAE,kBAAkB;CAC1B,MAAM,EAAE,UAAU;CAElB,MAAM,SAAS,OAAO,GAAG,4BAA4B,CAAC,CAAC,WACrD,SACA,eACA,SACA,SACA;EACA,MAAM,QAAQ,OAAO;EACrB,MAAM,UAAU,OAAO,EAAE,UAAU,SAAS,cAAc,UAAU,SAAS,KAAK;EAElF,IAAI,YAAY,KAAA,GAAW,OAAO,KAAA;EAClC,MAAM,QAAQ,OAAO,EAAE,aAAa,SAAS,eAAe,SAAS,QAAQ,OAAO;EAEpF,IAAI,UAAU,KAAA,GAAW,OAAO,KAAA;EAChC,MAAM,SAAS,OAAO,EAAE,OAAO,SAAS,QAAQ,QAAQ,eAAe,KAAK;EAE5E,IAAI,WAAW,KAAA,GAAW,OAAO,KAAA;EAEjC,MAAM,QAAQ,OAAO,EAAE,aAAa,SAAS,QAAQ,QAAQ,QAAQ,GACnE,IAAI,QAAQ,UAAU;EAExB,IACE,MAAM,MAAM,EAAE,WAAW,WACzB,CAAC,QAAQ,UAAU,OAAO,MAAM,IAAI,EAAE,YAAY,MAAM,QAAQ,GAEhE,OAAO,KAAA;EACT,MAAM,SAAS,OAAO,EAAE,OAAO,SAAS,OAAO,IAAI,MAAM,KAAK,KAAK;EAEnE,UAAU,OAAO,QAAQ,KAAA,CAAS;EAClC,MAAM,QAAQ,OAAO,EAAE,UAAU,SAAS,cAAc,UAAU,OAAO;EAEzE,IAAI,UAAU,KAAA,KAAa,CAAC,EAAE,YAAY,MAAM,SAAS,QAAQ,OAAO,GAAG,OAAO,KAAA;EAElF,OAAO;GAAE;GAAO;GAAQ;GAAO;GAAQ;GAAO,KAAK,OAAO,MAAM,IAAI,QAAQ,KAAK;EAAE;CACrF,CAAC;CAED,MAAM,SACJ,SACA,SACG;EACH,MAAM,IAAI,QAAQ;EAElB,IACE,KAAK,OAAO,WACZ,KAAK,OAAO,eAAe,KAAK,MAAM,QAAQ,oBAC9C,KAAK,MAAM,IAAI,EAAE,uBAAuB,KAAK,MAAM,KAEnD,OAAO;EAET,OAAO,KAAK,MAAM,IAAI,EAAE,WAAW,eAC9B,SACD,KAAK,MAAM,IAAI,EAAE,WAAW,WACzB,WACA;CACT;CA6SA,OAAO;EAAE;EAAQ;EAAO,eA3SF,OAAO,GAAG,8BAA8B,CAAC,CAAC,WAC9D,SACA,OACA;GACA,MAAM,OAAO,OAAO,OAAO,SAAS,MAAM,eAAe,MAAM,SAAS,KAAK;GAE7E,IAAI,SAAS,KAAA,KAAa,KAAK,MAAM,QAAQ,cAAc,QAAQ,QAAQ,MAAM,YAC/E,OAAO,EAAE,MAAM,WAAW;GAC5B,MAAM,SAAS,MAAM,SAAS,IAAI;GAElC,IAAI,WAAW,UAAU,OAAO,EAAE,MAAM,OAAO;GAC/C,IAAI,KAAK,MAAM,WAAW,KAAA,GAAW,OAAO,EAAE,MAAM,0BAA0B;GAE9E,OAAO;IACL,MAAM;IACN,OAAO;KAAE,SAAS,KAAK,MAAM;KAAS,QAAQ,KAAK,MAAM;IAAO;GAClE;EACF,CA0RoC;EAAG,cAxRlB,OAAO,GAAG,6BAA6B,CAAC,CAAC,WAC5D,SACA,OACA;GACA,MAAM,QAAQ,OAAO;GACrB,MAAM,OAAO,OAAO,OAAO,SAAS,MAAM,eAAe,MAAM,MAAM,QAAQ,SAAS,KAAK;GAE3F,IAAI,SAAS,KAAA,GAAW,OAAO,EAAE,MAAM,WAAW;GAElD,MAAM,SAAS,MAAM,SAAS,IAAI,GAChC,IAAI,QAAQ;GAEd,IAAI,WAAW,UAAU,OAAO,EAAE,MAAM,OAAO;GAE/C,MAAM,QAAQ,KAAK,MAAM,SACvB,IAAI,MAAM,cAAc;GAE1B,IACE,KAAK,MAAM,WAAW,KAAA,KACtB,CAAC,EAAE,UAAU,MAAM,OAAO;IAAE,SAAS;IAAO,QAAQ,KAAK,MAAM;GAAO,CAAC,GAEvE,OAAO,EAAE,MAAM,WAAW;GAC5B,IAAI,KAAK,MAAM,IAAI,EAAE,iBAAiB,cAAc,OAAO,EAAE,MAAM,OAAO;GAC1E,IACE,EAAE,YAAY,iBACd,MAAM,SAAS,0BAA0B,KAAA,KACzC,KAAK,OAAO,MAAM,SAAS,uBAE3B,OAAO,EAAE,MAAM,0BAA0B;GAC3C,IAAI,KAAK,MAAM,MAAM,SAAS,iBAAiB,EAAE,oBAC/C,OAAO,EAAE,MAAM,OAAO;GACxB,UACE,OAAO,cAAc,MAAM,cAAc,KACvC,MAAM,kBAAkB,OACxB,MAAM,kBAAkB,QACxB,MAAM,qBAAqB,MAAM,YACrC;GAEA,MAAM,UAAU,KAAK,IACnB,KAAK,MAAM,MAAM,gBACjB,MAAM,SAAS,uBACf,MAAM,cAAc,eACtB;GAEA,IAAI,WAAW,KAAK,KAAK,OAAO,EAAE,MAAM,WAAW;GAEnD,MAAM,QAAQ,kBAAkB,EAAE,4BAA4B;IAC5D,OAAO,MAAM;IACb,OAAO,OAAO,OAAO,EAAE,UAAU,SAAS,KAAK,MAAM,CAAC;IACtD,SAAS,MAAM;IACf,iBAAiB,KAAK;IACtB,sBAAsB;IACtB,kBAAkB,MAAM;GAC1B,CAAC;GAED,OAAO,MAAM,OACX,EAAE,OACF;KAAG,EAAE,WAAW,MAAM;KAAW,EAAE,UAAU,MAAM;GAAQ,GAC3D;KACG,EAAE,QAAQ;KACV,EAAE,cAAc;KAChB,EAAE,eAAe,EAAE,eAAe,OAAO,KAAK;KAC9C,EAAE,wBAAwB,QAAQ,MAAM,cAAc,OAAO;KAC7D,EAAE,UAAU,MAAM;GACrB,CACF;GACA,MAAM,eAAe,KACnB,GAAG,GAAG,QAAQ,MAAM,gBAAgB,MAAM,KAAK,IAAI,OAAO,QAAQ,MAAM,gBAAgB,KAAK,SAC/F;GAEA,OAAO;IAAE,MAAM;IAAW;GAAM;EAClC,CAiNkD;EAAG,eA/M/B,OAAO,GAAG,8BAA8B,CAAC,CAAC,WAC9D,SACA,OACA;GACA,MAAM,QAAQ,OAAO;GAErB,MAAM,MAAM,MAAM,MAAM,MAAM,SAC5B,IAAI,QAAQ;GAId,MAAM,cACH,OAAO,EAAE,aAAa,SAAS,MAAM,eAAe,OAAO,GAAG,OAAO,KAAA;GAExE,MAAM,SAAS,OAAO,QAAQ,UAAU,SAAS,IAAI,SAAS;GAC9D,MAAM,SAAS,OAAO,EAAE,OAAO,SAAS,IAAI,eAAe,KAAK;GAEhE,IAAI,WAAW,KAAA,GAAW,OAAO,EAAE,MAAM,WAAW;GAEpD,MAAM,QAAQ,OAAO,EAAE,aAAa,SAAS,IAAI,QAAQ,GACvD,IAAI,QAAQ,UAAU;GAExB,IACE,MAAM,MAAM,EAAE,WAAW,WACzB,CAAC,QAAQ,UAAU,OAAO,MAAM,IAAI,EAAE,YAAY,MAAM,GAExD,OAAO,EAAE,MAAM,WAAW;GAC5B,MAAM,SAAS,OAAO,EAAE,OAAO,SAAS,OAAO,IAAI,MAAM,KAAK,KAAK;GAEnE,UAAU,OAAO,QAAQ,KAAA,CAAS;GAClC,MAAM,OAAO,OAAO,EAAE,UAAU,SAAS,IAAI,UAAU,IAAI,OAAO;GAElE,IACE,SAAS,KAAA,KACT,KAAK,IAAI,EAAE,iBAAiB,gBAC5B,KAAK,IAAI,EAAE,kBAAkB,EAAE,eAAe,OAAO,MAAM,KAAK,GAEhE,OAAO,EAAE,MAAM,WAAW;GAC5B,UACE,QAAQ,MAAM,cAAc,KAAK,IAAI,EAAE,sBAAsB,MAC3D,MAAM,MAAM,oBAChB;GACA,MAAM,MAAM,OAAO,MAAM,IAAI,QAAQ,KAAK;GAE1C,UAAU,OAAO,MAAM,MAAM,eAAe;GAC5C,MAAM,UAAU,MAAM;GACtB,MAAM,WAAW,QAAQ,SAAS,cAAc,QAAQ,QAAQ,KAAA;GAEhE,IAAI,aAAa,KAAA,GACf,UACE,EAAE,YACA;IACE,GAAG,SAAS;IACZ,cAAc,IAAI;IAClB,UAAU,IAAI;IACd,eAAe,IAAI;GACrB,GACA,GACF,KACE,SAAS,QAAQ,iBAAiB,MAAM,MAAM,oBAC9C,SAAS,QAAQ,kBAAkB,MAAM,MAAM,SAC/C,cAAc,SAAS,SAAS,GAAG,KACnC,SAAS,QAAQ,SAAS,oBAAoB,MAAM,MAAM,oBACzD,SAAS,QAAQ,SAAS,0BAA0B,KAAA,KAClD,IAAI,SAAS,0BAA0B,KAAA,KACtC,SAAS,QAAQ,SAAS,yBACxB,IAAI,SAAS,sBACvB;GAYF,IATE,aAAa,KAAA,KACb,cACA,KAAK,IAAI,EAAE,WAAW,gBACtB,EAAE,YAAY,KAAK,SAAS,GAAG,KAC/B,CAAC,OAAO,WACR,OAAO,eAAe,IAAI,oBAC1B,MAAM,MAAM,MAAM,wBAClB,MAAM,SAAS,QAAQ,SAAS,gBAEtB;IACV,OAAO,MAAM,OACX,EAAE,OACF;MAAG,EAAE,WAAW,IAAI;MAAW,EAAE,UAAU,IAAI;IAAQ,GACvD;MACG,EAAE,QAAQ;MACV,EAAE,UAAU,EAAE,oBAAoB,OAAO,SAAS,OAAO;MACzD,EAAE,SAAS,EAAE,cAAc,OAAO,SAAS,MAAM;MACjD,EAAE,UAAU,EAAE,eAAe,OAAO,EAAE,QAAQ,SAAS,OAAO,CAAC;MAC/D,EAAE,eAAe,SAAS,QAAQ;MAClC,EAAE,cAAc;MAChB,EAAE,UAAU,MAAM;IACrB,CACF;IACA,MAAM,eAAe,KACnB,GAAG,GAAG,QAAQ,MAAM,gBAAgB,MAAM,IAAI,OAAO,QAAQ,MAAM,gBAAgB,KAAK,KAAK,IAAI,MAAM,MAAM,sBAAsB,SAAS,QAAQ,SAAS,cAAc,GAC7K;IAEA,OAAO;KAAE,MAAM;KAAa,OAAO;IAAS;GAC9C;GACA,OAAO,EAAE,MAAM,SAAS,QAAQ,MAAM;GACtC,IAAI,aAAa,KAAA,KAAa,QAAQ,SAAS,eAAe,QAAQ,YAAY,KAAA,GAAW;IAC3F,OAAO,EAAE,SAAS,SAAS,QAAQ,SAAS,SAAS,SAAS,QAAQ,GAAG;IACzE,OAAO,MAAM,OACX,EAAE,OACF;MAAG,EAAE,WAAW,IAAI;MAAW,EAAE,UAAU,IAAI;IAAQ,GACvD;MACG,EAAE,cAAc;MAChB,EAAE,kBAAkB,QAAQ,QAAQ,QAAQ;MAC5C,EAAE,SAAS;MACX,EAAE,UAAU,MAAM;IACrB,CACF;GACF,OAAO,IAAI,aAAa,KAAA,GACtB,OAAO,MAAM,OACX,EAAE,OACF;KAAG,EAAE,WAAW,IAAI;KAAW,EAAE,UAAU,IAAI;GAAQ,GACvD;KACG,EAAE,UAAU,EAAE,oBAAoB,OAAO,SAAS,OAAO;KACzD,EAAE,SAAS,EAAE,cAAc,OAAO,SAAS,MAAM;KACjD,EAAE,eAAe,SAAS,QAAQ;KAClC,EAAE,UAAU,EAAE,eAAe,OAAO,EAAE,QAAQ,SAAS,OAAO,CAAC;KAC/D,EAAE,UAAU,MAAM;GACrB,CACF;GAEF,OAAO,EAAE,MAAM,0BAA0B;EAC3C,CAiFiE;EAAG,UA/EnD,OAAO,GAAG,yBAAyB,CAAC,CAAC,WACpD,SACA,OACA;GACA,MAAM,QAAQ,OAAO;GACrB,MAAM,OAAO,OAAO,OAAO,SAAS,MAAM,eAAe,MAAM,MAAM,QAAQ,SAAS,KAAK;GAE3F,IAAI,SAAS,KAAA,GAAW,OAAO,EAAE,MAAM,WAAW;GAClD,MAAM,SAAS,MAAM,SAAS,IAAI;GAElC,IAAI,WAAW,UAAU,OAAO,EAAE,MAAM,OAAO;GAC/C,MAAM,QAAQ,KAAK,MAAM;GAEzB,IACE,KAAK,MAAM,WAAW,KAAA,KACtB,CAAC,EAAE,UAAU,MAAM,OAAO;IAAE,SAAS;IAAO,QAAQ,KAAK,MAAM;GAAO,CAAC,KACvE,KAAK,OAAO,MAAM,SAAS,gBAE3B,OAAO,EAAE,MAAM,0BAA0B;GAC3C,UACE,OAAO,cAAc,MAAM,cAAc,KACvC,MAAM,kBAAkB,KACxB,MAAM,kBAAkB,GAC5B;GAEA,MAAM,UAAU,KAAK,IACjB,KAAK,MAAM,MAAM,gBACjB,MAAM,cAAc,iBACpB,MAAM,SAAS,cACjB,GACA,IAAI,QAAQ;GAEd,MAAM,MAAM,GAAG,EAAE,cAAc,MAAM,YAAY,GAC/C,QAAQ,OAAO,MAAM,KAAK,EAAE,OAAO,MAAM,EAAE,OAAO,GAAG,GAAG,EAAE,OAAO,EAAE,CAAC;GAEtE,IAAI,MAAM,KAAK,QAAQ,OAAO,EAAE,MAAM,WAAW;GA6BjD,MAAM,QAAO,OA3BW,MAAM,OAC5B,EAAE,OACF;IACE,GAAG,EAAE,aAAa;KAChB,aAAa,MAAM;KACnB,OAAO,kBAAkB,EAAE,2BAA2B,MAAM,KAAK;KACjE,eAAe,kBAAkB,EAAE,gCAAgC,MAAM,aAAa;KACtF,WAAW,EAAE,WAAW,KAAK,MAAM,QAAQ;IAC7C,CAAC;IACD,GAAG;KACF,EAAE,WAAW,MAAM;KACnB,EAAE,UAAU,MAAM;KAClB,EAAE,YAAY,KAAK,MAAM;KACzB,EAAE,cAAc,KAAK,MAAM;KAC3B,EAAE,YAAY,KAAK,OAAO;KAC1B,EAAE,YAAY,KAAK,OAAO;KAC1B,EAAE,WAAW,EAAE,iBAAiB,OAAO;KACtC,OAAO,MAAM;KACb,eAAe,MAAM;IACvB,CAAC;KACA,EAAE,aAAa,QAAQ,MAAM,cAAc,KAAK,GAAG;KACnD,EAAE,YAAY,QAAQ,MAAM,cAAc,OAAO;KACjD,EAAE,UAAU,MAAM;GACrB,GACA,GACF,EAAA,CAEsB;GACtB,MAAM,eAAe,KACnB,GAAG,GAAG,QAAQ,MAAM,gBAAgB,MAAM,KAAK,IAAI,OAAO,QAAQ,MAAM,gBAAgB,KAAK,SAC/F;GAEA,OAAO;IACL,MAAM;IACN,aAAa,MAAM;IACnB,SAAS,MAAM;IACf,cAAc,MAAM;IACpB,kBAAkB,KAAK;IACvB,iBAAiB;GACnB;EACF,CAE2E;CAAE;AAC/E,CAAC;AAED,IAAa,uBAAb,MAAa,6BAA6B,QAAQ,QAGhD,CAAC,CAAC,8CAA8C,CAAC,CAAC;CAClD,OAAgB,QAAQ,MAAM,OAAO,sBAAsB,IAAI;AACjE"}
|
|
@@ -0,0 +1,214 @@
|
|
|
1
|
+
import { CurrentOAuthTransaction } from "./owner.mjs";
|
|
2
|
+
import { OAuthQueryCompiler } from "./query-compiler.mjs";
|
|
3
|
+
import { invariant, oauthIdentityKey } from "./state.mjs";
|
|
4
|
+
import { OAuthConnectedState } from "./connected-state.mjs";
|
|
5
|
+
import { OAuthConnectedCustody } from "./connected-custody.mjs";
|
|
6
|
+
import { OAuthConnectedFlow } from "./connected-flow.mjs";
|
|
7
|
+
import { Context, Effect, Layer } from "effect";
|
|
8
|
+
//#region src/internal/oauth/connected-collection.ts
|
|
9
|
+
const make = Effect.gen(function* () {
|
|
10
|
+
const operations = yield* OAuthQueryCompiler;
|
|
11
|
+
const C = yield* OAuthConnectedCustody;
|
|
12
|
+
const F = yield* OAuthConnectedFlow;
|
|
13
|
+
const S = yield* OAuthConnectedState;
|
|
14
|
+
const { asc, eq, lte, sql } = operations;
|
|
15
|
+
const { connectedReferenceCondition } = operations;
|
|
16
|
+
const { both, col, equal } = operations;
|
|
17
|
+
return {
|
|
18
|
+
discover: Effect.fn("oauthConnected.collectionCandidates")(function* (mapping, moduleId, limit) {
|
|
19
|
+
const owner = yield* CurrentOAuthTransaction;
|
|
20
|
+
const g = mapping.grant, j = S.jobTable(mapping), h = mapping.cohort, at = yield* owner.now(mapping.clock);
|
|
21
|
+
const jobs = j === void 0 ? { rows: [] } : yield* owner.read(j.table, both(eq(col(j.table, j.moduleId), moduleId), eq(col(j.table, j.state), "Confirmed"), lte(col(j.table, j.retentionUntil), mapping.clock.encodeInstant(at))), {
|
|
22
|
+
limit: limit + 1,
|
|
23
|
+
takeOnly: true,
|
|
24
|
+
observe: false,
|
|
25
|
+
lock: false,
|
|
26
|
+
orderBy: asc(col(j.table, j.jobId))
|
|
27
|
+
});
|
|
28
|
+
const grants = yield* owner.read(g.table, both(eq(col(g.table, g.moduleId), moduleId), sql`${col(g.table, g.state)} in ('Disconnected','ReauthorizationRequired')`, sql`${col(g.table, g.sealed)} is null`, sql`${col(g.table, g.refreshWork)} <> 'Unresolved'`, lte(col(g.table, g.retentionUntil), mapping.clock.encodeInstant(at)), sql`${col(g.table, g.revocationJobId)} is null`, sql`not exists(select 1 from ${mapping.admission.table} where ${col(mapping.admission.table, mapping.admission.moduleId)} = ${col(g.table, g.moduleId)} and ${col(mapping.admission.table, mapping.admission.grantId)} = ${col(g.table, g.grantId)})`, sql`not exists(select 1 from ${mapping.command.table} where ${col(mapping.command.table, mapping.command.moduleId)} = ${col(g.table, g.moduleId)} and ${col(mapping.command.table, mapping.command.grantId)} = ${col(g.table, g.grantId)})`, j === void 0 ? void 0 : sql`not exists(select 1 from ${j.table} where ${col(j.table, j.moduleId)} = ${col(g.table, g.moduleId)} and ${col(j.table, j.grantId)} = ${col(g.table, g.grantId)})`), {
|
|
29
|
+
limit: limit + 1,
|
|
30
|
+
takeOnly: true,
|
|
31
|
+
observe: false,
|
|
32
|
+
lock: false,
|
|
33
|
+
orderBy: asc(col(g.table, g.grantId))
|
|
34
|
+
});
|
|
35
|
+
const cohorts = j === void 0 ? { rows: [] } : yield* owner.read(h.table, both(equal(h.table, { [h.state]: "Blocked" }), C.clearableCondition(mapping, sql`${col(h.table, h.cohortKey)}`, sql`${col(h.table, h.clientKey)}`)), {
|
|
36
|
+
limit: limit + 1,
|
|
37
|
+
takeOnly: true,
|
|
38
|
+
observe: false,
|
|
39
|
+
lock: false,
|
|
40
|
+
orderBy: asc(col(h.table, h.cohortKey))
|
|
41
|
+
});
|
|
42
|
+
const t = mapping.ownership.tuple;
|
|
43
|
+
const tuples = mapping.externalReference === void 0 ? { rows: [] } : yield* owner.read(t.table, both(eq(col(t.table, t.state), "Owned"), sql`not (${connectedReferenceCondition(mapping, sql`${col(t.table, t.identityKey)}`, {
|
|
44
|
+
provider: sql`${col(t.table, t.provider)}`,
|
|
45
|
+
issuer: sql`${col(t.table, t.issuer)}`
|
|
46
|
+
})})`, sql`not (${mapping.externalReference({
|
|
47
|
+
identityKey: sql`${col(t.table, t.identityKey)}`,
|
|
48
|
+
subjectId: sql`${col(t.table, t.subjectId)}`
|
|
49
|
+
})})`), {
|
|
50
|
+
limit: limit + 1,
|
|
51
|
+
takeOnly: true,
|
|
52
|
+
observe: false,
|
|
53
|
+
lock: false,
|
|
54
|
+
orderBy: asc(col(t.table, t.identityKey))
|
|
55
|
+
});
|
|
56
|
+
return {
|
|
57
|
+
jobs: jobs.rows,
|
|
58
|
+
grants: grants.rows,
|
|
59
|
+
cohorts: cohorts.rows,
|
|
60
|
+
tuples: tuples.rows
|
|
61
|
+
};
|
|
62
|
+
}),
|
|
63
|
+
collect: Effect.fn("oauthConnected.collect")(function* (mapping, moduleId, limit, discovered) {
|
|
64
|
+
const owner = yield* CurrentOAuthTransaction;
|
|
65
|
+
let visited = 0, removed = 0, hasMore = false;
|
|
66
|
+
if (limit === 0) return {
|
|
67
|
+
visited,
|
|
68
|
+
removed,
|
|
69
|
+
hasMore: true
|
|
70
|
+
};
|
|
71
|
+
const g = mapping.grant, j = S.jobTable(mapping), h = mapping.cohort;
|
|
72
|
+
if (j !== void 0) {
|
|
73
|
+
const candidates = { rows: discovered.jobs };
|
|
74
|
+
hasMore = candidates.rows.length > limit;
|
|
75
|
+
for (const candidate of candidates.rows.slice(0, limit)) {
|
|
76
|
+
visited++;
|
|
77
|
+
const job = S.jobStorage.decode(candidate[j.snapshot]), token = job.context.token;
|
|
78
|
+
const client = yield* S.client(mapping, token.configuration, false);
|
|
79
|
+
invariant(client !== void 0);
|
|
80
|
+
const tuple = yield* F.inspectTuple(mapping, token.identity);
|
|
81
|
+
const cohort = yield* S.cohort(mapping, client.id, tuple.key, false);
|
|
82
|
+
invariant(cohort.row !== void 0);
|
|
83
|
+
const grant = yield* S.readGrant(mapping, token.moduleId, token.grantId);
|
|
84
|
+
const row = (yield* owner.read(j.table, equal(j.table, { [j.jobId]: job.context.jobId }), { limit: 1 })).rows[0];
|
|
85
|
+
if (row === void 0) continue;
|
|
86
|
+
const native = yield* mapping.subjectId.toNative(token.subjectId);
|
|
87
|
+
invariant(row[j.snapshot] === S.jobStorage.encode(job) && row[j.moduleId] === moduleId && row[j.identityKey] === tuple.key && row[j.clientKey] === client.id && row[j.cohortKey] === cohort.id && row[j.grantId] === token.grantId && mapping.subjectId.equals(row[j.subjectId], native));
|
|
88
|
+
const now = yield* owner.now(mapping.clock), until = mapping.clock.decodeInstant(row[j.retentionUntil]);
|
|
89
|
+
if (row[j.state] !== "Confirmed" || now < until) continue;
|
|
90
|
+
if (grant?.row[g.revocationJobId] === job.context.jobId) {
|
|
91
|
+
const summary = S.summaryStorage.decode(grant.row[g.summary]);
|
|
92
|
+
yield* owner.update(g.table, {
|
|
93
|
+
[g.moduleId]: token.moduleId,
|
|
94
|
+
[g.grantId]: token.grantId
|
|
95
|
+
}, {
|
|
96
|
+
[g.revocationJobId]: null,
|
|
97
|
+
[g.summary]: S.summaryStorage.encode({
|
|
98
|
+
...summary,
|
|
99
|
+
remoteRevocation: "Confirmed"
|
|
100
|
+
}),
|
|
101
|
+
[g.version]: owner.marker
|
|
102
|
+
});
|
|
103
|
+
}
|
|
104
|
+
yield* owner.remove(j.table, {
|
|
105
|
+
[j.jobId]: job.context.jobId,
|
|
106
|
+
[j.state]: "Confirmed",
|
|
107
|
+
[j.version]: row[j.version]
|
|
108
|
+
});
|
|
109
|
+
owner.postconditions.push(sql`${mapping.clock.engineNowMillis} >= ${until}`);
|
|
110
|
+
removed++;
|
|
111
|
+
}
|
|
112
|
+
}
|
|
113
|
+
if (visited < limit) {
|
|
114
|
+
const candidates = { rows: discovered.grants };
|
|
115
|
+
const remaining = limit - visited;
|
|
116
|
+
if (candidates.rows.length > remaining) hasMore = true;
|
|
117
|
+
for (const candidate of candidates.rows.slice(0, remaining)) {
|
|
118
|
+
visited++;
|
|
119
|
+
const context = S.tokenContextStorage.decode(candidate[g.context]);
|
|
120
|
+
const client = yield* S.client(mapping, context.configuration, false);
|
|
121
|
+
invariant(client !== void 0);
|
|
122
|
+
const tuple = yield* F.inspectTuple(mapping, context.identity);
|
|
123
|
+
const cohort = yield* S.cohort(mapping, client.id, tuple.key, false);
|
|
124
|
+
invariant(cohort.row !== void 0);
|
|
125
|
+
const grant = yield* S.readGrant(mapping, moduleId, context.grantId);
|
|
126
|
+
if (grant === void 0) continue;
|
|
127
|
+
const now = yield* owner.now(mapping.clock), until = mapping.clock.decodeInstant(grant.row[g.retentionUntil]);
|
|
128
|
+
if (!["Disconnected", "ReauthorizationRequired"].includes(grant.row[g.state]) || grant.row[g.sealed] !== null || grant.row[g.refreshWork] === "Unresolved" || grant.row[g.revocationJobId] !== null || now < until) continue;
|
|
129
|
+
const a = mapping.admission, d = mapping.command;
|
|
130
|
+
const references = both(sql`not exists(select 1 from ${a.table} where ${equal(a.table, {
|
|
131
|
+
[a.moduleId]: moduleId,
|
|
132
|
+
[a.grantId]: context.grantId
|
|
133
|
+
})})`, sql`not exists(select 1 from ${d.table} where ${equal(d.table, {
|
|
134
|
+
[d.moduleId]: moduleId,
|
|
135
|
+
[d.grantId]: context.grantId
|
|
136
|
+
})})`, ...j === void 0 ? [] : [sql`not exists(select 1 from ${j.table} where ${equal(j.table, {
|
|
137
|
+
[j.moduleId]: moduleId,
|
|
138
|
+
[j.grantId]: context.grantId
|
|
139
|
+
})})`]);
|
|
140
|
+
if (!(yield* owner.check(references))) continue;
|
|
141
|
+
yield* owner.remove(g.table, {
|
|
142
|
+
[g.moduleId]: moduleId,
|
|
143
|
+
[g.grantId]: context.grantId,
|
|
144
|
+
[g.version]: grant.row[g.version]
|
|
145
|
+
});
|
|
146
|
+
owner.postconditions.push(references, sql`${mapping.clock.engineNowMillis} >= ${until}`);
|
|
147
|
+
removed++;
|
|
148
|
+
}
|
|
149
|
+
}
|
|
150
|
+
if (visited < limit && j !== void 0) {
|
|
151
|
+
const candidates = { rows: discovered.cohorts };
|
|
152
|
+
const remaining = limit - visited;
|
|
153
|
+
if (candidates.rows.length > remaining) hasMore = true;
|
|
154
|
+
for (const candidate of candidates.rows.slice(0, remaining)) {
|
|
155
|
+
visited++;
|
|
156
|
+
const id = candidate[h.clientKey];
|
|
157
|
+
const client = yield* S.lockClientById(mapping, id);
|
|
158
|
+
const cohort = yield* S.cohort(mapping, id, candidate[h.identityKey], false);
|
|
159
|
+
invariant(cohort.id === candidate[h.cohortKey] && cohort.row !== void 0);
|
|
160
|
+
yield* C.clear(mapping, client, cohort);
|
|
161
|
+
}
|
|
162
|
+
}
|
|
163
|
+
if (visited < limit && mapping.externalReference !== void 0) {
|
|
164
|
+
const t = mapping.ownership.tuple, remaining = limit - visited;
|
|
165
|
+
if (discovered.tuples.length > remaining) hasMore = true;
|
|
166
|
+
for (const candidate of discovered.tuples.slice(0, remaining)) {
|
|
167
|
+
visited++;
|
|
168
|
+
const scope = yield* S.heldScope(mapping, candidate[t.provider], candidate[t.issuer]);
|
|
169
|
+
if (scope === void 0) continue;
|
|
170
|
+
const identity = {
|
|
171
|
+
provider: candidate[t.provider],
|
|
172
|
+
issuer: candidate[t.issuer],
|
|
173
|
+
subject: candidate[t.externalSubject]
|
|
174
|
+
};
|
|
175
|
+
invariant((yield* oauthIdentityKey(identity)) === candidate[t.identityKey]);
|
|
176
|
+
const tuple = yield* F.inspectTuple(mapping, identity), row = tuple.row;
|
|
177
|
+
if (row === void 0 || row[t.state] !== "Owned") continue;
|
|
178
|
+
const native = row[t.subjectId];
|
|
179
|
+
invariant(native !== null);
|
|
180
|
+
const noRefs = both(sql`not (${connectedReferenceCondition(mapping, tuple.key)})`, sql`not (${mapping.externalReference({
|
|
181
|
+
identityKey: tuple.key,
|
|
182
|
+
subjectId: S.nativeCopy(native)
|
|
183
|
+
})})`);
|
|
184
|
+
if (!(yield* owner.check(noRefs))) continue;
|
|
185
|
+
yield* S.touchScope(mapping, scope);
|
|
186
|
+
yield* owner.update(t.table, {
|
|
187
|
+
[t.identityKey]: tuple.key,
|
|
188
|
+
[t.state]: "Owned",
|
|
189
|
+
[t.subjectId]: native
|
|
190
|
+
}, {
|
|
191
|
+
[t.state]: "Unowned",
|
|
192
|
+
[t.subjectId]: null,
|
|
193
|
+
[t.reservation]: null,
|
|
194
|
+
[t.version]: owner.marker
|
|
195
|
+
});
|
|
196
|
+
if (mapping.ownership.mode === "separate") yield* owner.remove(mapping.ownership.external.table, { [mapping.ownership.external.identityKey]: tuple.key });
|
|
197
|
+
owner.postconditions.push(noRefs);
|
|
198
|
+
}
|
|
199
|
+
}
|
|
200
|
+
return {
|
|
201
|
+
visited,
|
|
202
|
+
removed,
|
|
203
|
+
hasMore
|
|
204
|
+
};
|
|
205
|
+
})
|
|
206
|
+
};
|
|
207
|
+
});
|
|
208
|
+
var OAuthConnectedCollection = class OAuthConnectedCollection extends Context.Service()("effect-auth/persistence/OAuthConnectedCollection") {
|
|
209
|
+
static layer = Layer.effect(OAuthConnectedCollection, make);
|
|
210
|
+
};
|
|
211
|
+
//#endregion
|
|
212
|
+
export { OAuthConnectedCollection };
|
|
213
|
+
|
|
214
|
+
//# sourceMappingURL=connected-collection.mjs.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"connected-collection.mjs","names":[],"sources":["../../../src/internal/oauth/connected-collection.ts"],"sourcesContent":["import { Effect, Context, Layer } from \"effect\";\n\nimport { OAuthConnectedCustody } from \"./connected-custody\";\nimport { OAuthConnectedFlow } from \"./connected-flow\";\nimport { OAuthConnectedState } from \"./connected-state\";\nimport type * as STypes from \"./connected-state\";\nimport { CurrentOAuthTransaction } from \"./owner\";\nimport type { Row } from \"./owner\";\nimport { OAuthQueryCompiler } from \"./query-compiler\";\nimport { invariant, oauthIdentityKey } from \"./state\";\n\nexport interface Candidates {\n readonly jobs: ReadonlyArray<Row>;\n readonly grants: ReadonlyArray<Row>;\n readonly cohorts: ReadonlyArray<Row>;\n readonly tuples: ReadonlyArray<Row>;\n}\n\nconst make = Effect.gen(function* () {\n const operations = yield* OAuthQueryCompiler;\n const C = yield* OAuthConnectedCustody;\n const F = yield* OAuthConnectedFlow;\n const S = yield* OAuthConnectedState;\n\n const { asc, eq, lte, sql } = operations;\n const { connectedReferenceCondition } = operations;\n const { both, col, equal } = operations;\n\n const discover = Effect.fn(\"oauthConnected.collectionCandidates\")(function* (\n mapping: STypes.Mapping,\n moduleId: string,\n limit: number,\n ) {\n const owner = yield* CurrentOAuthTransaction;\n\n const g = mapping.grant,\n j = S.jobTable(mapping),\n h = mapping.cohort,\n at = yield* owner.now(mapping.clock);\n\n const jobs =\n j === undefined\n ? { rows: [] }\n : yield* owner.read(\n j.table,\n both(\n eq(col(j.table, j.moduleId), moduleId),\n eq(col(j.table, j.state), \"Confirmed\"),\n lte(col(j.table, j.retentionUntil), mapping.clock.encodeInstant(at)),\n ),\n {\n limit: limit + 1,\n takeOnly: true,\n observe: false,\n lock: false,\n orderBy: asc(col(j.table, j.jobId)),\n },\n );\n\n const grants = yield* owner.read(\n g.table,\n both(\n eq(col(g.table, g.moduleId), moduleId),\n sql`${col(g.table, g.state)} in ('Disconnected','ReauthorizationRequired')`,\n sql`${col(g.table, g.sealed)} is null`,\n sql`${col(g.table, g.refreshWork)} <> 'Unresolved'`,\n lte(col(g.table, g.retentionUntil), mapping.clock.encodeInstant(at)),\n sql`${col(g.table, g.revocationJobId)} is null`,\n sql`not exists(select 1 from ${mapping.admission.table} where ${col(mapping.admission.table, mapping.admission.moduleId)} = ${col(g.table, g.moduleId)} and ${col(mapping.admission.table, mapping.admission.grantId)} = ${col(g.table, g.grantId)})`,\n sql`not exists(select 1 from ${mapping.command.table} where ${col(mapping.command.table, mapping.command.moduleId)} = ${col(g.table, g.moduleId)} and ${col(mapping.command.table, mapping.command.grantId)} = ${col(g.table, g.grantId)})`,\n j === undefined\n ? undefined\n : sql`not exists(select 1 from ${j.table} where ${col(j.table, j.moduleId)} = ${col(g.table, g.moduleId)} and ${col(j.table, j.grantId)} = ${col(g.table, g.grantId)})`,\n ),\n {\n limit: limit + 1,\n takeOnly: true,\n observe: false,\n lock: false,\n orderBy: asc(col(g.table, g.grantId)),\n },\n );\n\n const cohorts =\n j === undefined\n ? { rows: [] }\n : yield* owner.read(\n h.table,\n both(\n equal(h.table, { [h.state]: \"Blocked\" }),\n C.clearableCondition(\n mapping,\n sql`${col(h.table, h.cohortKey)}`,\n sql`${col(h.table, h.clientKey)}`,\n ),\n ),\n {\n limit: limit + 1,\n takeOnly: true,\n observe: false,\n lock: false,\n orderBy: asc(col(h.table, h.cohortKey)),\n },\n );\n\n const t = mapping.ownership.tuple;\n\n const tuples =\n mapping.externalReference === undefined\n ? { rows: [] }\n : yield* owner.read(\n t.table,\n both(\n eq(col(t.table, t.state), \"Owned\"),\n sql`not (${connectedReferenceCondition(mapping, sql`${col(t.table, t.identityKey)}`, { provider: sql`${col(t.table, t.provider)}`, issuer: sql`${col(t.table, t.issuer)}` })})`,\n sql`not (${mapping.externalReference({ identityKey: sql`${col(t.table, t.identityKey)}`, subjectId: sql`${col(t.table, t.subjectId)}` })})`,\n ),\n {\n limit: limit + 1,\n takeOnly: true,\n observe: false,\n lock: false,\n orderBy: asc(col(t.table, t.identityKey)),\n },\n );\n\n return { jobs: jobs.rows, grants: grants.rows, cohorts: cohorts.rows, tuples: tuples.rows };\n });\n\n const collect = Effect.fn(\"oauthConnected.collect\")(function* (\n mapping: STypes.Mapping,\n moduleId: string,\n limit: number,\n discovered: Candidates,\n ) {\n const owner = yield* CurrentOAuthTransaction;\n\n let visited = 0,\n removed = 0,\n hasMore = false;\n\n if (limit === 0) return { visited, removed, hasMore: true };\n\n const g = mapping.grant,\n j = S.jobTable(mapping),\n h = mapping.cohort;\n\n if (j !== undefined) {\n const candidates = { rows: discovered.jobs };\n\n hasMore = candidates.rows.length > limit;\n for (const candidate of candidates.rows.slice(0, limit)) {\n visited++;\n\n const job = S.jobStorage.decode(candidate[j.snapshot]),\n token = job.context.token;\n\n const client = yield* S.client(mapping, token.configuration, false);\n\n invariant(client !== undefined);\n const tuple = yield* F.inspectTuple(mapping, token.identity);\n const cohort = yield* S.cohort(mapping, client.id, tuple.key, false);\n\n invariant(cohort.row !== undefined);\n const grant = yield* S.readGrant(mapping, token.moduleId, token.grantId);\n\n const read = yield* owner.read(j.table, equal(j.table, { [j.jobId]: job.context.jobId }), {\n limit: 1,\n }),\n row = read.rows[0];\n\n if (row === undefined) continue;\n const native = yield* mapping.subjectId.toNative(token.subjectId);\n\n invariant(\n row[j.snapshot] === S.jobStorage.encode(job) &&\n row[j.moduleId] === moduleId &&\n row[j.identityKey] === tuple.key &&\n row[j.clientKey] === client.id &&\n row[j.cohortKey] === cohort.id &&\n row[j.grantId] === token.grantId &&\n mapping.subjectId.equals(row[j.subjectId], native),\n );\n\n const now = yield* owner.now(mapping.clock),\n until = mapping.clock.decodeInstant(row[j.retentionUntil]);\n\n if (row[j.state] !== \"Confirmed\" || now < until) continue;\n if (grant?.row[g.revocationJobId] === job.context.jobId) {\n const summary = S.summaryStorage.decode(grant.row[g.summary]);\n\n yield* owner.update(\n g.table,\n { [g.moduleId]: token.moduleId, [g.grantId]: token.grantId },\n {\n [g.revocationJobId]: null,\n [g.summary]: S.summaryStorage.encode({ ...summary, remoteRevocation: \"Confirmed\" }),\n [g.version]: owner.marker,\n },\n );\n }\n yield* owner.remove(j.table, {\n [j.jobId]: job.context.jobId,\n [j.state]: \"Confirmed\",\n [j.version]: row[j.version],\n });\n owner.postconditions.push(sql`${mapping.clock.engineNowMillis} >= ${until}`);\n removed++;\n }\n }\n if (visited < limit) {\n const candidates = { rows: discovered.grants };\n const remaining = limit - visited;\n\n if (candidates.rows.length > remaining) hasMore = true;\n for (const candidate of candidates.rows.slice(0, remaining)) {\n visited++;\n const context = S.tokenContextStorage.decode(candidate[g.context]);\n const client = yield* S.client(mapping, context.configuration, false);\n\n invariant(client !== undefined);\n const tuple = yield* F.inspectTuple(mapping, context.identity);\n const cohort = yield* S.cohort(mapping, client.id, tuple.key, false);\n\n invariant(cohort.row !== undefined);\n const grant = yield* S.readGrant(mapping, moduleId, context.grantId);\n\n if (grant === undefined) continue;\n\n const now = yield* owner.now(mapping.clock),\n until = mapping.clock.decodeInstant(grant.row[g.retentionUntil]);\n\n if (\n ![\"Disconnected\", \"ReauthorizationRequired\"].includes(grant.row[g.state]) ||\n grant.row[g.sealed] !== null ||\n grant.row[g.refreshWork] === \"Unresolved\" ||\n grant.row[g.revocationJobId] !== null ||\n now < until\n )\n continue;\n\n const a = mapping.admission,\n d = mapping.command;\n\n const references = both(\n sql`not exists(select 1 from ${a.table} where ${equal(a.table, { [a.moduleId]: moduleId, [a.grantId]: context.grantId })})`,\n sql`not exists(select 1 from ${d.table} where ${equal(d.table, { [d.moduleId]: moduleId, [d.grantId]: context.grantId })})`,\n ...(j === undefined\n ? []\n : [\n sql`not exists(select 1 from ${j.table} where ${equal(j.table, { [j.moduleId]: moduleId, [j.grantId]: context.grantId })})`,\n ]),\n );\n\n if (!(yield* owner.check(references))) continue;\n yield* owner.remove(g.table, {\n [g.moduleId]: moduleId,\n [g.grantId]: context.grantId,\n [g.version]: grant.row[g.version],\n });\n owner.postconditions.push(references, sql`${mapping.clock.engineNowMillis} >= ${until}`);\n removed++;\n }\n }\n // Clearing is global remote authority, independent of the module which happens\n // to run cleanup. No subject filter may hide a former owner's unresolved work.\n if (visited < limit && j !== undefined) {\n const candidates = { rows: discovered.cohorts };\n const remaining = limit - visited;\n\n if (candidates.rows.length > remaining) hasMore = true;\n for (const candidate of candidates.rows.slice(0, remaining)) {\n visited++;\n const id = candidate[h.clientKey];\n const client = yield* S.lockClientById(mapping, id);\n const cohort = yield* S.cohort(mapping, id, candidate[h.identityKey], false);\n\n invariant(cohort.id === candidate[h.cohortKey] && cohort.row !== undefined);\n yield* C.clear(mapping, client, cohort);\n }\n }\n if (visited < limit && mapping.externalReference !== undefined) {\n const t = mapping.ownership.tuple,\n remaining = limit - visited;\n\n if (discovered.tuples.length > remaining) hasMore = true;\n for (const candidate of discovered.tuples.slice(0, remaining)) {\n visited++;\n const scope = yield* S.heldScope(mapping, candidate[t.provider], candidate[t.issuer]);\n\n if (scope === undefined) continue;\n\n const identity = {\n provider: candidate[t.provider],\n issuer: candidate[t.issuer],\n subject: candidate[t.externalSubject],\n };\n\n invariant((yield* oauthIdentityKey(identity)) === candidate[t.identityKey]);\n\n const tuple = yield* F.inspectTuple(mapping, identity),\n row = tuple.row;\n\n if (row === undefined || row[t.state] !== \"Owned\") continue;\n const native = row[t.subjectId];\n\n invariant(native !== null);\n\n const noRefs = both(\n sql`not (${connectedReferenceCondition(mapping, tuple.key)})`,\n sql`not (${mapping.externalReference({ identityKey: tuple.key, subjectId: S.nativeCopy(native) })})`,\n );\n\n if (!(yield* owner.check(noRefs))) continue;\n yield* S.touchScope(mapping, scope);\n yield* owner.update(\n t.table,\n { [t.identityKey]: tuple.key, [t.state]: \"Owned\", [t.subjectId]: native },\n {\n [t.state]: \"Unowned\",\n [t.subjectId]: null,\n [t.reservation]: null,\n [t.version]: owner.marker,\n },\n );\n if (mapping.ownership.mode === \"separate\")\n yield* owner.remove(mapping.ownership.external.table, {\n [mapping.ownership.external.identityKey]: tuple.key,\n });\n owner.postconditions.push(noRefs);\n }\n }\n\n return { visited, removed, hasMore };\n });\n\n return { discover, collect };\n});\n\nexport class OAuthConnectedCollection extends Context.Service<\n OAuthConnectedCollection,\n Effect.Success<typeof make>\n>()(\"effect-auth/persistence/OAuthConnectedCollection\") {\n static readonly layer = Layer.effect(OAuthConnectedCollection, make);\n}\n"],"mappings":";;;;;;;;AAkBA,MAAM,OAAO,OAAO,IAAI,aAAa;CACnC,MAAM,aAAa,OAAO;CAC1B,MAAM,IAAI,OAAO;CACjB,MAAM,IAAI,OAAO;CACjB,MAAM,IAAI,OAAO;CAEjB,MAAM,EAAE,KAAK,IAAI,KAAK,QAAQ;CAC9B,MAAM,EAAE,gCAAgC;CACxC,MAAM,EAAE,MAAM,KAAK,UAAU;CAsT7B,OAAO;EAAE,UApTQ,OAAO,GAAG,qCAAqC,CAAC,CAAC,WAChE,SACA,UACA,OACA;GACA,MAAM,QAAQ,OAAO;GAErB,MAAM,IAAI,QAAQ,OAChB,IAAI,EAAE,SAAS,OAAO,GACtB,IAAI,QAAQ,QACZ,KAAK,OAAO,MAAM,IAAI,QAAQ,KAAK;GAErC,MAAM,OACJ,MAAM,KAAA,IACF,EAAE,MAAM,CAAC,EAAE,IACX,OAAO,MAAM,KACX,EAAE,OACF,KACE,GAAG,IAAI,EAAE,OAAO,EAAE,QAAQ,GAAG,QAAQ,GACrC,GAAG,IAAI,EAAE,OAAO,EAAE,KAAK,GAAG,WAAW,GACrC,IAAI,IAAI,EAAE,OAAO,EAAE,cAAc,GAAG,QAAQ,MAAM,cAAc,EAAE,CAAC,CACrE,GACA;IACE,OAAO,QAAQ;IACf,UAAU;IACV,SAAS;IACT,MAAM;IACN,SAAS,IAAI,IAAI,EAAE,OAAO,EAAE,KAAK,CAAC;GACpC,CACF;GAEN,MAAM,SAAS,OAAO,MAAM,KAC1B,EAAE,OACF,KACE,GAAG,IAAI,EAAE,OAAO,EAAE,QAAQ,GAAG,QAAQ,GACrC,GAAG,GAAG,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,iDAC5B,GAAG,GAAG,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,WAC7B,GAAG,GAAG,IAAI,EAAE,OAAO,EAAE,WAAW,EAAE,mBAClC,IAAI,IAAI,EAAE,OAAO,EAAE,cAAc,GAAG,QAAQ,MAAM,cAAc,EAAE,CAAC,GACnE,GAAG,GAAG,IAAI,EAAE,OAAO,EAAE,eAAe,EAAE,WACtC,GAAG,4BAA4B,QAAQ,UAAU,MAAM,SAAS,IAAI,QAAQ,UAAU,OAAO,QAAQ,UAAU,QAAQ,EAAE,KAAK,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,OAAO,IAAI,QAAQ,UAAU,OAAO,QAAQ,UAAU,OAAO,EAAE,KAAK,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,IACnP,GAAG,4BAA4B,QAAQ,QAAQ,MAAM,SAAS,IAAI,QAAQ,QAAQ,OAAO,QAAQ,QAAQ,QAAQ,EAAE,KAAK,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,OAAO,IAAI,QAAQ,QAAQ,OAAO,QAAQ,QAAQ,OAAO,EAAE,KAAK,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,IACzO,MAAM,KAAA,IACF,KAAA,IACA,GAAG,4BAA4B,EAAE,MAAM,SAAS,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,KAAK,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,OAAO,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,KAAK,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,EACzK,GACA;IACE,OAAO,QAAQ;IACf,UAAU;IACV,SAAS;IACT,MAAM;IACN,SAAS,IAAI,IAAI,EAAE,OAAO,EAAE,OAAO,CAAC;GACtC,CACF;GAEA,MAAM,UACJ,MAAM,KAAA,IACF,EAAE,MAAM,CAAC,EAAE,IACX,OAAO,MAAM,KACX,EAAE,OACF,KACE,MAAM,EAAE,OAAO,GAAG,EAAE,QAAQ,UAAU,CAAC,GACvC,EAAE,mBACA,SACA,GAAG,GAAG,IAAI,EAAE,OAAO,EAAE,SAAS,KAC9B,GAAG,GAAG,IAAI,EAAE,OAAO,EAAE,SAAS,GAChC,CACF,GACA;IACE,OAAO,QAAQ;IACf,UAAU;IACV,SAAS;IACT,MAAM;IACN,SAAS,IAAI,IAAI,EAAE,OAAO,EAAE,SAAS,CAAC;GACxC,CACF;GAEN,MAAM,IAAI,QAAQ,UAAU;GAE5B,MAAM,SACJ,QAAQ,sBAAsB,KAAA,IAC1B,EAAE,MAAM,CAAC,EAAE,IACX,OAAO,MAAM,KACX,EAAE,OACF,KACE,GAAG,IAAI,EAAE,OAAO,EAAE,KAAK,GAAG,OAAO,GACjC,GAAG,QAAQ,4BAA4B,SAAS,GAAG,GAAG,IAAI,EAAE,OAAO,EAAE,WAAW,KAAK;IAAE,UAAU,GAAG,GAAG,IAAI,EAAE,OAAO,EAAE,QAAQ;IAAK,QAAQ,GAAG,GAAG,IAAI,EAAE,OAAO,EAAE,MAAM;GAAI,CAAC,EAAE,IAC7K,GAAG,QAAQ,QAAQ,kBAAkB;IAAE,aAAa,GAAG,GAAG,IAAI,EAAE,OAAO,EAAE,WAAW;IAAK,WAAW,GAAG,GAAG,IAAI,EAAE,OAAO,EAAE,SAAS;GAAI,CAAC,EAAE,EAC3I,GACA;IACE,OAAO,QAAQ;IACf,UAAU;IACV,SAAS;IACT,MAAM;IACN,SAAS,IAAI,IAAI,EAAE,OAAO,EAAE,WAAW,CAAC;GAC1C,CACF;GAEN,OAAO;IAAE,MAAM,KAAK;IAAM,QAAQ,OAAO;IAAM,SAAS,QAAQ;IAAM,QAAQ,OAAO;GAAK;EAC5F,CAiNgB;EAAG,SA/MH,OAAO,GAAG,wBAAwB,CAAC,CAAC,WAClD,SACA,UACA,OACA,YACA;GACA,MAAM,QAAQ,OAAO;GAErB,IAAI,UAAU,GACZ,UAAU,GACV,UAAU;GAEZ,IAAI,UAAU,GAAG,OAAO;IAAE;IAAS;IAAS,SAAS;GAAK;GAE1D,MAAM,IAAI,QAAQ,OAChB,IAAI,EAAE,SAAS,OAAO,GACtB,IAAI,QAAQ;GAEd,IAAI,MAAM,KAAA,GAAW;IACnB,MAAM,aAAa,EAAE,MAAM,WAAW,KAAK;IAE3C,UAAU,WAAW,KAAK,SAAS;IACnC,KAAK,MAAM,aAAa,WAAW,KAAK,MAAM,GAAG,KAAK,GAAG;KACvD;KAEA,MAAM,MAAM,EAAE,WAAW,OAAO,UAAU,EAAE,SAAS,GACnD,QAAQ,IAAI,QAAQ;KAEtB,MAAM,SAAS,OAAO,EAAE,OAAO,SAAS,MAAM,eAAe,KAAK;KAElE,UAAU,WAAW,KAAA,CAAS;KAC9B,MAAM,QAAQ,OAAO,EAAE,aAAa,SAAS,MAAM,QAAQ;KAC3D,MAAM,SAAS,OAAO,EAAE,OAAO,SAAS,OAAO,IAAI,MAAM,KAAK,KAAK;KAEnE,UAAU,OAAO,QAAQ,KAAA,CAAS;KAClC,MAAM,QAAQ,OAAO,EAAE,UAAU,SAAS,MAAM,UAAU,MAAM,OAAO;KAEvE,MAGE,OAAM,OAHY,MAAM,KAAK,EAAE,OAAO,MAAM,EAAE,OAAO,GAAG,EAAE,QAAQ,IAAI,QAAQ,MAAM,CAAC,GAAG,EACtF,OAAO,EACT,CAAC,EAAA,CACU,KAAK;KAElB,IAAI,QAAQ,KAAA,GAAW;KACvB,MAAM,SAAS,OAAO,QAAQ,UAAU,SAAS,MAAM,SAAS;KAEhE,UACE,IAAI,EAAE,cAAc,EAAE,WAAW,OAAO,GAAG,KACzC,IAAI,EAAE,cAAc,YACpB,IAAI,EAAE,iBAAiB,MAAM,OAC7B,IAAI,EAAE,eAAe,OAAO,MAC5B,IAAI,EAAE,eAAe,OAAO,MAC5B,IAAI,EAAE,aAAa,MAAM,WACzB,QAAQ,UAAU,OAAO,IAAI,EAAE,YAAY,MAAM,CACrD;KAEA,MAAM,MAAM,OAAO,MAAM,IAAI,QAAQ,KAAK,GACxC,QAAQ,QAAQ,MAAM,cAAc,IAAI,EAAE,eAAe;KAE3D,IAAI,IAAI,EAAE,WAAW,eAAe,MAAM,OAAO;KACjD,IAAI,OAAO,IAAI,EAAE,qBAAqB,IAAI,QAAQ,OAAO;MACvD,MAAM,UAAU,EAAE,eAAe,OAAO,MAAM,IAAI,EAAE,QAAQ;MAE5D,OAAO,MAAM,OACX,EAAE,OACF;QAAG,EAAE,WAAW,MAAM;QAAW,EAAE,UAAU,MAAM;MAAQ,GAC3D;QACG,EAAE,kBAAkB;QACpB,EAAE,UAAU,EAAE,eAAe,OAAO;QAAE,GAAG;QAAS,kBAAkB;OAAY,CAAC;QACjF,EAAE,UAAU,MAAM;MACrB,CACF;KACF;KACA,OAAO,MAAM,OAAO,EAAE,OAAO;OAC1B,EAAE,QAAQ,IAAI,QAAQ;OACtB,EAAE,QAAQ;OACV,EAAE,UAAU,IAAI,EAAE;KACrB,CAAC;KACD,MAAM,eAAe,KAAK,GAAG,GAAG,QAAQ,MAAM,gBAAgB,MAAM,OAAO;KAC3E;IACF;GACF;GACA,IAAI,UAAU,OAAO;IACnB,MAAM,aAAa,EAAE,MAAM,WAAW,OAAO;IAC7C,MAAM,YAAY,QAAQ;IAE1B,IAAI,WAAW,KAAK,SAAS,WAAW,UAAU;IAClD,KAAK,MAAM,aAAa,WAAW,KAAK,MAAM,GAAG,SAAS,GAAG;KAC3D;KACA,MAAM,UAAU,EAAE,oBAAoB,OAAO,UAAU,EAAE,QAAQ;KACjE,MAAM,SAAS,OAAO,EAAE,OAAO,SAAS,QAAQ,eAAe,KAAK;KAEpE,UAAU,WAAW,KAAA,CAAS;KAC9B,MAAM,QAAQ,OAAO,EAAE,aAAa,SAAS,QAAQ,QAAQ;KAC7D,MAAM,SAAS,OAAO,EAAE,OAAO,SAAS,OAAO,IAAI,MAAM,KAAK,KAAK;KAEnE,UAAU,OAAO,QAAQ,KAAA,CAAS;KAClC,MAAM,QAAQ,OAAO,EAAE,UAAU,SAAS,UAAU,QAAQ,OAAO;KAEnE,IAAI,UAAU,KAAA,GAAW;KAEzB,MAAM,MAAM,OAAO,MAAM,IAAI,QAAQ,KAAK,GACxC,QAAQ,QAAQ,MAAM,cAAc,MAAM,IAAI,EAAE,eAAe;KAEjE,IACE,CAAC,CAAC,gBAAgB,yBAAyB,CAAC,CAAC,SAAS,MAAM,IAAI,EAAE,MAAM,KACxE,MAAM,IAAI,EAAE,YAAY,QACxB,MAAM,IAAI,EAAE,iBAAiB,gBAC7B,MAAM,IAAI,EAAE,qBAAqB,QACjC,MAAM,OAEN;KAEF,MAAM,IAAI,QAAQ,WAChB,IAAI,QAAQ;KAEd,MAAM,aAAa,KACjB,GAAG,4BAA4B,EAAE,MAAM,SAAS,MAAM,EAAE,OAAO;OAAG,EAAE,WAAW;OAAW,EAAE,UAAU,QAAQ;KAAQ,CAAC,EAAE,IACzH,GAAG,4BAA4B,EAAE,MAAM,SAAS,MAAM,EAAE,OAAO;OAAG,EAAE,WAAW;OAAW,EAAE,UAAU,QAAQ;KAAQ,CAAC,EAAE,IACzH,GAAI,MAAM,KAAA,IACN,CAAC,IACD,CACE,GAAG,4BAA4B,EAAE,MAAM,SAAS,MAAM,EAAE,OAAO;OAAG,EAAE,WAAW;OAAW,EAAE,UAAU,QAAQ;KAAQ,CAAC,EAAE,EAC3H,CACN;KAEA,IAAI,EAAE,OAAO,MAAM,MAAM,UAAU,IAAI;KACvC,OAAO,MAAM,OAAO,EAAE,OAAO;OAC1B,EAAE,WAAW;OACb,EAAE,UAAU,QAAQ;OACpB,EAAE,UAAU,MAAM,IAAI,EAAE;KAC3B,CAAC;KACD,MAAM,eAAe,KAAK,YAAY,GAAG,GAAG,QAAQ,MAAM,gBAAgB,MAAM,OAAO;KACvF;IACF;GACF;GAGA,IAAI,UAAU,SAAS,MAAM,KAAA,GAAW;IACtC,MAAM,aAAa,EAAE,MAAM,WAAW,QAAQ;IAC9C,MAAM,YAAY,QAAQ;IAE1B,IAAI,WAAW,KAAK,SAAS,WAAW,UAAU;IAClD,KAAK,MAAM,aAAa,WAAW,KAAK,MAAM,GAAG,SAAS,GAAG;KAC3D;KACA,MAAM,KAAK,UAAU,EAAE;KACvB,MAAM,SAAS,OAAO,EAAE,eAAe,SAAS,EAAE;KAClD,MAAM,SAAS,OAAO,EAAE,OAAO,SAAS,IAAI,UAAU,EAAE,cAAc,KAAK;KAE3E,UAAU,OAAO,OAAO,UAAU,EAAE,cAAc,OAAO,QAAQ,KAAA,CAAS;KAC1E,OAAO,EAAE,MAAM,SAAS,QAAQ,MAAM;IACxC;GACF;GACA,IAAI,UAAU,SAAS,QAAQ,sBAAsB,KAAA,GAAW;IAC9D,MAAM,IAAI,QAAQ,UAAU,OAC1B,YAAY,QAAQ;IAEtB,IAAI,WAAW,OAAO,SAAS,WAAW,UAAU;IACpD,KAAK,MAAM,aAAa,WAAW,OAAO,MAAM,GAAG,SAAS,GAAG;KAC7D;KACA,MAAM,QAAQ,OAAO,EAAE,UAAU,SAAS,UAAU,EAAE,WAAW,UAAU,EAAE,OAAO;KAEpF,IAAI,UAAU,KAAA,GAAW;KAEzB,MAAM,WAAW;MACf,UAAU,UAAU,EAAE;MACtB,QAAQ,UAAU,EAAE;MACpB,SAAS,UAAU,EAAE;KACvB;KAEA,WAAW,OAAO,iBAAiB,QAAQ,OAAO,UAAU,EAAE,YAAY;KAE1E,MAAM,QAAQ,OAAO,EAAE,aAAa,SAAS,QAAQ,GACnD,MAAM,MAAM;KAEd,IAAI,QAAQ,KAAA,KAAa,IAAI,EAAE,WAAW,SAAS;KACnD,MAAM,SAAS,IAAI,EAAE;KAErB,UAAU,WAAW,IAAI;KAEzB,MAAM,SAAS,KACb,GAAG,QAAQ,4BAA4B,SAAS,MAAM,GAAG,EAAE,IAC3D,GAAG,QAAQ,QAAQ,kBAAkB;MAAE,aAAa,MAAM;MAAK,WAAW,EAAE,WAAW,MAAM;KAAE,CAAC,EAAE,EACpG;KAEA,IAAI,EAAE,OAAO,MAAM,MAAM,MAAM,IAAI;KACnC,OAAO,EAAE,WAAW,SAAS,KAAK;KAClC,OAAO,MAAM,OACX,EAAE,OACF;OAAG,EAAE,cAAc,MAAM;OAAM,EAAE,QAAQ;OAAU,EAAE,YAAY;KAAO,GACxE;OACG,EAAE,QAAQ;OACV,EAAE,YAAY;OACd,EAAE,cAAc;OAChB,EAAE,UAAU,MAAM;KACrB,CACF;KACA,IAAI,QAAQ,UAAU,SAAS,YAC7B,OAAO,MAAM,OAAO,QAAQ,UAAU,SAAS,OAAO,GACnD,QAAQ,UAAU,SAAS,cAAc,MAAM,IAClD,CAAC;KACH,MAAM,eAAe,KAAK,MAAM;IAClC;GACF;GAEA,OAAO;IAAE;IAAS;IAAS;GAAQ;EACrC,CAEyB;CAAE;AAC7B,CAAC;AAED,IAAa,2BAAb,MAAa,iCAAiC,QAAQ,QAGpD,CAAC,CAAC,kDAAkD,CAAC,CAAC;CACtD,OAAgB,QAAQ,MAAM,OAAO,0BAA0B,IAAI;AACrE"}
|