@yielded/auth-persistence 0.1.0-beta.24 → 0.1.0-beta.26

package/src/internal/models/oauth-connected-model.ts

@@ -1,188 +1,59 @@
-import type { OAuthAccountRevision } from "@yielded/auth/OAuth";
 import type * as M from "@yielded/auth/OAuth";
-import type { AuthenticationRequirement } from "@yielded/auth/Sessions";
 
-import type { TableModel as Table, SqlExpression } from "../query-operations";
+import type { TableModel as Table, SqlExpression } from "../table-model";
 import type { SubjectIdCodec } from "./common";
 import type {
   OAuthAuthorityReadTable,
   OAuthClock,
   OAuthCredentialReadTable,
   OAuthFlowTable,
-  OAuthOwnershipMutation,
+  OAuthOwnershipTable,
+  OAuthOwnershipReadTable,
   OAuthSubjectReadTable,
-  requiredOAuthTupleConstraints,
 } from "./oauth-model";
 
 type Column<T extends Table> = T["column"];
 export type OAuthConnectedAction = M.OAuthConnectedActionChallenge["action"];
 
-export interface OAuthConnectedSubjectTable<
-  S extends Table,
-  Expression extends SqlExpression = SqlExpression,
-> extends OAuthSubjectReadTable<S, Expression> {
-  readonly decodeActionRequirement: (
-    row: S["select"],
-    action: OAuthConnectedAction,
-  ) => AuthenticationRequirement;
-}
-
-/** All mapped order columns use exact SQL integer comparison through 2^53-1.
- * These codecs bridge driver representations, not alternative ordering rules. */
-export interface OAuthConnectedOrderCodec {
-  readonly encode: (order: number) => unknown;
-  readonly decode: (value: unknown) => number;
-}
-
-export interface OAuthConnectedFlowTable<F extends Table, N> {
-  readonly table: F["table"];
-  readonly moduleId: Column<F>;
-  readonly flowId: Column<F>;
-  readonly commandId: Column<F>;
-  readonly subjectId: Column<F>;
-  readonly clientKey: Column<F>;
-  readonly cohortKey: Column<F>;
-  readonly state: Column<F>;
-  readonly version: Column<F>;
-  readonly stateDigest: Column<F>;
-  readonly snapshot: Column<F>;
-  readonly claimId: Column<F>;
-  readonly claimDigest: Column<F>;
-  readonly claimOrder: Column<F>;
-  readonly claimedAt: Column<F>;
-  readonly claimExpiresAt: Column<F>;
-  readonly expiresAt: Column<F>;
-  readonly retentionUntil: Column<F>;
-  /** None before claim, Unresolved after claim, Resolved only after definite
-   * cancellation or atomic transfer to a grant/job. Never reset by cleanup. */
-  readonly work: Column<F>;
-  /** Exact sealed quarantine when no correctly sealed revocation job is available. */
-  readonly custody: Column<F>;
-  /** Required when retaining grants during sign-in. subjectId is NULL until
-   * identity resolution; custom required columns are supplied by this encoder. */
-  readonly encodeSignIn?: (reservation: M.OAuthSignInAccessClaim) => F["insert"];
-  readonly encodeInsert: (input: {
-    readonly flow: M.OAuthConnectedPendingFlow;
-    readonly subjectId: N;
-  }) => F["insert"];
-}
-
+/** Immutable sealed data plus the exact refresh compare-and-set fields. */
 export interface OAuthConnectedGrantTable<G extends Table, N> {
   readonly table: G["table"];
   readonly moduleId: Column<G>;
   readonly grantId: Column<G>;
   readonly subjectId: Column<G>;
   readonly identityKey: Column<G>;
-  /** Nullable unique active slot; historical/disconnected records use null. */
-  readonly activeIdentityKey: Column<G>;
-  readonly clientKey: Column<G>;
-  readonly cohortKey: Column<G>;
   readonly profileKey: Column<G>;
   readonly grantVersion: Column<G>;
   readonly tokenVersion: Column<G>;
-  readonly cohortGeneration: Column<G>;
   readonly state: Column<G>;
-  readonly version: Column<G>;
-  readonly context: Column<G>;
-  readonly sealed: Column<G>;
-  /** Canonical OAuthConnectedSummary only: list never loads token envelopes. */
+  readonly snapshot: Column<G>;
+  /** Listing selects this bounded projection, never encrypted token material. */
   readonly summary: Column<G>;
-  readonly revocationJobId: Column<G>;
-  readonly refreshWork: Column<G>;
-  readonly refreshClaim: Column<G>;
+  readonly refreshClaimId: Column<G>;
+  readonly refreshNextTokenVersion: Column<G>;
+  readonly refreshClaimedAt: Column<G>;
   readonly refreshClaimExpiresAt: Column<G>;
-  readonly retentionUntil: Column<G>;
+  readonly expiresAt: Column<G>;
   readonly encodeInsert: (input: {
     readonly grant: M.OAuthConnectedStoredGrant;
     readonly subjectId: N;
   }) => G["insert"];
 }
 
-/** Also stores a permanent provider/issuer scope anchor. clientKey must fit 52
- * ASCII characters. Empty clientRegistrationId is reserved for that anchor;
- * actual profile registrations are nonempty. Scope counter stays zero. */
-export interface OAuthConnectedClientRegistrationTable<C extends Table> {
-  readonly table: C["table"];
-  readonly clientKey: Column<C>;
-  readonly provider: Column<C>;
-  readonly issuer: Column<C>;
-  readonly clientRegistrationId: Column<C>;
-  readonly counter: Column<C>;
-  readonly version: Column<C>;
-  readonly encodeInsert: (configuration: M.OAuthConnectedConfiguration) => C["insert"];
-}
-
-/** Remote authority: no local-subject column or subject-scoped key. Retain this
- * anchor/cutoff when a legitimately released tuple gains a different local owner. */
-export interface OAuthConnectedCohortTable<C extends Table> {
-  readonly table: C["table"];
-  readonly cohortKey: Column<C>;
-  readonly clientKey: Column<C>;
-  readonly identityKey: Column<C>;
-  readonly generation: Column<C>;
-  readonly cutoff: Column<C>;
-  readonly state: Column<C>;
-  readonly version: Column<C>;
-  readonly encodeInsert: (input: {
-    readonly clientKey: string;
-    readonly identityKey: string;
-  }) => C["insert"];
-}
-
-export interface OAuthConnectedAdmissionTable<A extends Table, N> {
-  readonly table: A["table"];
-  readonly admissionId: Column<A>;
-  readonly moduleId: Column<A>;
-  readonly grantId: Column<A>;
-  readonly subjectId: Column<A>;
-  readonly identityKey: Column<A>;
-  readonly clientKey: Column<A>;
-  readonly cohortKey: Column<A>;
-  readonly snapshot: Column<A>;
-  readonly admittedAt: Column<A>;
-  readonly expiresAt: Column<A>;
-  readonly version: Column<A>;
-  readonly encodeInsert: (input: {
-    readonly admissionId: string;
-    readonly grant: M.OAuthConnectedStoredGrant;
-    readonly authorization: M.OAuthConnectedUseAuthorization;
-    readonly subjectId: N;
-  }) => A["insert"];
-}
-
-export interface OAuthConnectedCommandTable<C extends Table, N> {
-  readonly table: C["table"];
-  readonly moduleId: Column<C>;
-  readonly commandId: Column<C>;
-  readonly subjectId: Column<C>;
-  readonly grantId: Column<C>;
-  readonly intent: Column<C>;
-  readonly decision: Column<C>;
-  readonly retentionUntil: Column<C>;
-  readonly version: Column<C>;
-  readonly encodeInsert: (input: {
-    readonly commandId: string;
-    readonly grant: M.OAuthConnectedDisconnectGrant;
-    readonly subjectId: N;
-  }) => C["insert"];
-}
-
+/** Optional provider revocation retains the exact removed grant ciphertext. A
+ * possibly spent claim is never reset to Pending or reclaimed after timeout. */
 export interface OAuthConnectedRevocationJobTable<J extends Table, N> {
   readonly table: J["table"];
   readonly jobId: Column<J>;
   readonly moduleId: Column<J>;
   readonly subjectId: Column<J>;
   readonly identityKey: Column<J>;
-  readonly clientKey: Column<J>;
-  readonly cohortKey: Column<J>;
-  readonly grantId: Column<J>;
   readonly snapshot: Column<J>;
   readonly state: Column<J>;
   readonly claimId: Column<J>;
   readonly claimedAt: Column<J>;
   readonly claimExpiresAt: Column<J>;
   readonly retentionUntil: Column<J>;
-  readonly version: Column<J>;
   readonly encodeInsert: (input: {
     readonly job: M.OAuthConnectedRevocationJob;
     readonly subjectId: N;
@@ -191,20 +62,18 @@ export interface OAuthConnectedRevocationJobTable<J extends Table, N> {
 
 export type OAuthConnectedPolicyInput<N> = {
   readonly subjectId: N;
-  readonly revision: OAuthAccountRevision;
+  readonly revision: M.OAuthAccountRevision;
 } & (
   | {
       readonly kind: "action";
-      readonly operation: "issue" | "claim" | "settle" | "disconnect";
+      readonly operation: "settle" | "disconnect";
       readonly authorization: M.OAuthConnectedActionAuthorization;
-      readonly configuration: M.OAuthConnectedConfiguration;
       readonly grant?: M.OAuthConnectedTokenContext;
     }
   | {
       readonly kind: "sign-in";
       readonly credential: M.OAuthCredentialSnapshot;
-      readonly configuration: M.OAuthConnectedConfiguration;
-      readonly grant?: M.OAuthConnectedTokenContext;
+      readonly grant: M.OAuthConnectedTokenContext;
     }
   | {
       readonly kind: "metadata" | "use";
@@ -213,184 +82,77 @@ export type OAuthConnectedPolicyInput<N> = {
     }
 );
 
-export interface OAuthConnectedPolicyGuardTable<
-  T extends Table,
-  N,
-  Expression extends SqlExpression = SqlExpression,
-> {
-  readonly table: T["table"];
-  readonly orderBy: Column<T>;
-  readonly condition: (input: OAuthConnectedPolicyInput<N>) => Expression;
-}
-
-export interface OAuthConnectedPolicyGuard<
-  N,
-  Expression extends SqlExpression = SqlExpression,
-  Descriptor extends object = object,
-> {
-  readonly table: Descriptor;
-  readonly orderBy: string;
-  readonly condition: (input: OAuthConnectedPolicyInput<N>) => Expression;
-}
-
-export const oauthConnectedPolicyGuard = <
-  T extends Table,
-  N,
-  Expression extends SqlExpression = SqlExpression,
->(
-  input: OAuthConnectedPolicyGuardTable<T, N, Expression>,
-): OAuthConnectedPolicyGuard<N, Expression, T["table"]> =>
-  Object.freeze({
-    table: input.table,
-    orderBy: input.orderBy,
-    condition: input.condition,
-  });
-
-export interface OAuthConnectedSqlPolicy<
-  N,
-  Expression extends SqlExpression = SqlExpression,
-  Descriptor extends object = object,
-> {
-  /** Up to 32 scopes, each selecting 1..64 stable rows in global lock order.
-   * Omit only when subject/shared authority locks already serialize every mutable
-   * policy dependency or policy is immutable. All writers follow that order. */
-  readonly guards?: ReadonlyArray<OAuthConnectedPolicyGuard<N, Expression, Descriptor>>;
-  /** Recheck exact policy revision, purpose, optional grant/profile restrictions
-   * and current profile/permissions; joins and absence assumptions are authority.
-   * The engine checks this before and after every owner/application write. */
+/** Changes to mutable policy advance the same subject security revision. This
+ * predicate participates in the guarded write and final application postcondition. */
+export interface OAuthConnectedSqlPolicy<N, Expression extends SqlExpression = SqlExpression> {
   readonly condition: (input: OAuthConnectedPolicyInput<N>) => Expression;
 }
 
 export const requiredOAuthConnectedConstraints = {
-  flow: "unique(connectedFlow.moduleId,connectedFlow.flowId)",
-  flowCommand: "unique(connectedFlow.moduleId,connectedFlow.commandId)",
-  stateDigest: "unique(connectedFlow.stateDigest)",
-  client: "unique(connectedClient.clientKey)",
-  cohort: "unique(connectedCohort.cohortKey)",
+  flow: "unique(flow.moduleId,flow.flowId)",
+  stateDigest: "unique(flow.stateDigest)",
+  ownership: "unique(ownership.identityKey)",
   grant: "unique(connectedGrant.moduleId,connectedGrant.grantId)",
-  grantIdentity:
-    "unique(connectedGrant.moduleId,connectedGrant.subjectId,connectedGrant.profileKey,connectedGrant.activeIdentityKey)",
-  admission: "unique(connectedAdmission.admissionId)",
-  command: "unique(connectedCommand.moduleId,connectedCommand.commandId)",
+  activeIdentity:
+    "unique(connectedGrant.moduleId,connectedGrant.subjectId,connectedGrant.profileKey,connectedGrant.identityKey)",
+  authorityCredential: "unique(authority.subjectId,authority.credentialId)",
 } as const;
 
 export const requiredOAuthConnectedRevocationConstraints = {
   job: "unique(connectedRevocation.jobId)",
 } as const;
 
-/** Existing ownership only; workers never allocate or acquire a tuple. */
-export type OAuthConnectedOwnershipRead<
-  T extends Table,
-  O extends Table,
-  N,
-  Expression extends SqlExpression = SqlExpression,
-> =
-  | {
-      readonly mode: "integrated";
-      readonly tuple: Omit<OAuthOwnershipMutation<T, O, N, Expression>["tuple"], "encodeInsert">;
-    }
-  | {
-      readonly mode: "separate";
-      readonly tuple: Omit<OAuthOwnershipMutation<T, O, N, Expression>["tuple"], "encodeInsert">;
-      readonly external: Omit<
-        Extract<
-          OAuthOwnershipMutation<T, O, N, Expression>,
-          { readonly mode: "separate" }
-        >["external"],
-        "encodeInsert"
-      >;
-    };
-
-export interface OAuthConnectedAuthorityMapping<
-  T extends Table,
-  O extends Table,
-  F extends Table,
-  G extends Table,
-  C extends Table,
-  H extends Table,
-  N,
-  Expression extends SqlExpression = SqlExpression,
-> {
-  readonly ownership: OAuthConnectedOwnershipRead<T, O, N, Expression>;
-  readonly subjectId: SubjectIdCodec<N>;
-  readonly flow: Omit<OAuthConnectedFlowTable<F, N>, "encodeInsert">;
-  readonly grant: Omit<OAuthConnectedGrantTable<G, N>, "encodeInsert">;
-  readonly client: Omit<OAuthConnectedClientRegistrationTable<C>, "encodeInsert">;
-  readonly cohort: Omit<OAuthConnectedCohortTable<H>, "encodeInsert">;
-  readonly clock: OAuthClock<Expression>;
-  readonly order: OAuthConnectedOrderCodec;
-  readonly tupleConstraints: typeof requiredOAuthTupleConstraints;
-  /** Safe metadata retention, never an expiry/quiescence proof for unresolved work. */
-  readonly retentionMillis: number;
-}
-
 export interface OAuthConnectedMapping<
   S extends Table,
   AC extends Table,
-  T extends Table,
   O extends Table,
   F extends Table,
   G extends Table,
-  C extends Table,
-  H extends Table,
-  A extends Table,
-  D extends Table,
   N,
-  J extends Table = never,
+  J extends Table = Table,
   Expression extends SqlExpression = SqlExpression,
-  Descriptor extends object = object,
   SignIn extends Table = Table,
-> extends OAuthConnectedAuthorityMapping<T, O, F, G, C, H, N, Expression> {
-  readonly ownership: OAuthOwnershipMutation<T, O, N, Expression>;
-  readonly flow: OAuthConnectedFlowTable<F, N>;
-  readonly grant: OAuthConnectedGrantTable<G, N>;
-  readonly client: OAuthConnectedClientRegistrationTable<C>;
-  readonly cohort: OAuthConnectedCohortTable<H>;
-  readonly subject: OAuthConnectedSubjectTable<S, Expression>;
+> {
+  readonly ownership: OAuthOwnershipTable<O, N>;
+  readonly subject: OAuthSubjectReadTable<S, Expression>;
   readonly authority: OAuthAuthorityReadTable<AC, Expression>;
-  readonly admission: OAuthConnectedAdmissionTable<A, N>;
-  /** Same shared sign-in tables used by OAuthSignInPersistence. Enable only
-   * alongside a nullable connected-flow subjectId and flow.encodeSignIn. */
-  readonly signIn?: {
-    readonly credential: OAuthCredentialReadTable<SignIn, Expression>;
-    readonly flow: OAuthFlowTable<SignIn>;
-  };
-  readonly command: OAuthConnectedCommandTable<D, N>;
-  readonly policy: OAuthConnectedSqlPolicy<N, Expression, Descriptor>;
+  readonly subjectId: SubjectIdCodec<N>;
+  readonly flow: OAuthFlowTable<F>;
+  readonly grant: OAuthConnectedGrantTable<G, N>;
+  readonly credential?: OAuthCredentialReadTable<SignIn, Expression>;
+  readonly clock: OAuthClock<Expression>;
+  readonly policy: OAuthConnectedSqlPolicy<N, Expression>;
   readonly constraints: typeof requiredOAuthConnectedConstraints;
   readonly revocation:
     | { readonly mode: "unsupported" }
     | {
-        readonly mode: "cohort";
+        readonly mode: "provider";
         readonly job: OAuthConnectedRevocationJobTable<J, N>;
+        readonly retentionMillis: number;
         readonly constraints: typeof requiredOAuthConnectedRevocationConstraints;
       };
-  /** Without an authoritative same-owner predicate, conservatively retain Owned.
-   * Include login/other installed references; never filter away former-subject
-   * work. This pure SQL constructor supports both bound values and correlated
-   * column expressions with identical semantics; it performs no I/O.
-   * Compare through the reference table's typed columns (for example, eq) so
-   * native values use their encoders. Back the same-owner lookup with an index:
-   * discovery applies this predicate before its candidate limit.
-   * Connected references are checked separately. */
-  readonly externalReference?: (
-    input:
-      | { readonly identityKey: string; readonly subjectId: N }
-      | { readonly identityKey: Expression; readonly subjectId: Expression },
-  ) => Expression;
+  /** Indexed same-owner predicate for installed references beyond these grants/jobs. */
+  readonly otherReferences: (input: {
+    readonly identityKey: string;
+    readonly subjectId: N;
+  }) => Expression;
 }
 
 export interface OAuthConnectedRevocationMapping<
-  T extends Table,
   O extends Table,
-  F extends Table,
   G extends Table,
-  C extends Table,
-  H extends Table,
   J extends Table,
   N,
   Expression extends SqlExpression = SqlExpression,
-> extends OAuthConnectedAuthorityMapping<T, O, F, G, C, H, N, Expression> {
+> {
+  readonly ownership: OAuthOwnershipReadTable<O, N>;
+  readonly subjectId: SubjectIdCodec<N>;
+  readonly grant: Omit<OAuthConnectedGrantTable<G, N>, "encodeInsert">;
   readonly job: Omit<OAuthConnectedRevocationJobTable<J, N>, "encodeInsert">;
+  readonly clock: OAuthClock<Expression>;
+  readonly otherReferences: (input: {
+    readonly identityKey: string;
+    readonly subjectId: N;
+  }) => Expression;
   readonly constraints: typeof requiredOAuthConnectedRevocationConstraints;
 }