@immediately-run/preauth-core 0.1.7 → 0.1.8

package/dist/docLayout.d.ts

@@ -13,6 +13,30 @@ export interface MintSentinels {
  *  of a delegated grant's `parentGrantId`. `::` is delimiter-safe: `appKey` uses
  *  `__` separators and a Firestore `spaceId` is alphanumeric. */
 export declare const grantKey: (appKey: string, spaceId: string) => string;
+/** R3-98 S4 — the principal-aware grant key `(appKey, principal, spaceId)` (design
+ *  05a §3.1/§3.2). Additive: {@link grantKey} is retained for the legacy 2-field
+ *  form. `::` stays delimiter-safe — `appKey` uses `__`, a `spaceId` is alphanumeric,
+ *  and a named principal is lowercase-dotted/hyphenated (CA-3), none containing `::`. */
+export declare const grantKeyWithPrincipal: (appKey: string, principal: string, spaceId: string) => string;
+/** A parsed `parentGrantId` — the pieces the §8.15 revoke cascade reconstructs a
+ *  grant doc path from. `principal` is present only for a 3-field (S4+) key. */
+export interface ParsedGrantKey {
+    appKey: string;
+    spaceId: string;
+    /** The named principal for a 3-field {@link grantKeyWithPrincipal} key; undefined
+     *  for a legacy 2-field {@link grantKey} (the caller defaults to its grandfather
+     *  sentinel). */
+    principal?: string;
+}
+/** R3-98 S4 — ARITY-DETECTING parse of a grant key (design 05a §3.1 step 3 /
+ *  MEDIUM-6). A 3-field key is `appKey::principal::spaceId`; a legacy 2-field key is
+ *  `appKey::spaceId` (principal undefined). This lets the revoke cascade keep
+ *  resolving BOTH legacy and keyed `parentGrantId`s after the re-key — a positional
+ *  `split('::')` would mis-assign a legacy key's `spaceId` to `principal`. A
+ *  malformed key (≠2/≠3 segments) degrades to best-effort `appKey::…::spaceId`
+ *  (first + last), so the cascade fails safe (child self-revokes) rather than
+ *  crashing. */
+export declare const parseGrantKey: (key: string) => ParsedGrantKey;
 /** Durable elevated/app-scoped grants expire after 90 days WITHOUT USE; first
  *  use after expiry re-prompts. Baseline needs no grant record, so this never
  *  touches it. */
@@ -50,7 +74,7 @@ export declare const appKeyTouchFields: (s: MintSentinels) => Record<string, unk
 /** `user-app-spaces/{uid}/apps/{appKey}/spaces/{spaceId}` — the durable §8.7
  *  grant doc (merge). `mintPath` defaults to `interactive`; `grantedAt`/`lastUsedAt`
  *  drive the §8.15 90-day-unused expiry. */
-export declare const appSpaceGrantFields: (params: Pick<GrantSpaceParams, "name" | "subtree" | "mode" | "rules" | "declaredUri" | "mintPath" | "parentGrantId">, s: MintSentinels) => Record<string, unknown>;
+export declare const appSpaceGrantFields: (params: Pick<GrantSpaceParams, "name" | "subtree" | "mode" | "rules" | "declaredUri" | "mintPath" | "parentGrantId" | "principal">, s: MintSentinels) => Record<string, unknown>;
 /** Union net:fetch host rules by origin (incoming wins) — the "consent
  *  accumulates" merge both adapters apply before writing the host set. */
 export declare const mergeNetFetchHosts: (existing: readonly NetFetchHost[], incoming: readonly NetFetchHost[]) => NetFetchHost[];

package/dist/docLayout.js

@@ -16,12 +16,35 @@
 // `.set()`/`.update()` is the only thing each adapter does itself. Drift is then
 // impossible without editing a helper both consume.
 Object.defineProperty(exports, "__esModule", { value: true });
-exports.appCapabilitiesGrantFields = exports.mergeCapabilities = exports.netFetchGrantFields = exports.mergeNetFetchHosts = exports.appSpaceGrantFields = exports.appKeyTouchFields = exports.appCountFields = exports.userCountFields = exports.ownerUserSpaceFields = exports.ownerMemberFields = exports.spaceDocFields = exports.appCountPath = exports.userCountPath = exports.appSpacePath = exports.appKeyPath = exports.userSpacePath = exports.memberPath = exports.spacePath = exports.defined = exports.granteeId = exports.GRANT_EXPIRY_MS = exports.grantKey = void 0;
+exports.appCapabilitiesGrantFields = exports.mergeCapabilities = exports.netFetchGrantFields = exports.mergeNetFetchHosts = exports.appSpaceGrantFields = exports.appKeyTouchFields = exports.appCountFields = exports.userCountFields = exports.ownerUserSpaceFields = exports.ownerMemberFields = exports.spaceDocFields = exports.appCountPath = exports.userCountPath = exports.appSpacePath = exports.appKeyPath = exports.userSpacePath = exports.memberPath = exports.spacePath = exports.defined = exports.granteeId = exports.GRANT_EXPIRY_MS = exports.parseGrantKey = exports.grantKeyWithPrincipal = exports.grantKey = void 0;
 /** Stable per-user identifier for a grant `(appKey, spaceId)`, used as the value
  *  of a delegated grant's `parentGrantId`. `::` is delimiter-safe: `appKey` uses
  *  `__` separators and a Firestore `spaceId` is alphanumeric. */
 const grantKey = (appKey, spaceId) => `${appKey}::${spaceId}`;
 exports.grantKey = grantKey;
+/** R3-98 S4 — the principal-aware grant key `(appKey, principal, spaceId)` (design
+ *  05a §3.1/§3.2). Additive: {@link grantKey} is retained for the legacy 2-field
+ *  form. `::` stays delimiter-safe — `appKey` uses `__`, a `spaceId` is alphanumeric,
+ *  and a named principal is lowercase-dotted/hyphenated (CA-3), none containing `::`. */
+const grantKeyWithPrincipal = (appKey, principal, spaceId) => `${appKey}::${principal}::${spaceId}`;
+exports.grantKeyWithPrincipal = grantKeyWithPrincipal;
+/** R3-98 S4 — ARITY-DETECTING parse of a grant key (design 05a §3.1 step 3 /
+ *  MEDIUM-6). A 3-field key is `appKey::principal::spaceId`; a legacy 2-field key is
+ *  `appKey::spaceId` (principal undefined). This lets the revoke cascade keep
+ *  resolving BOTH legacy and keyed `parentGrantId`s after the re-key — a positional
+ *  `split('::')` would mis-assign a legacy key's `spaceId` to `principal`. A
+ *  malformed key (≠2/≠3 segments) degrades to best-effort `appKey::…::spaceId`
+ *  (first + last), so the cascade fails safe (child self-revokes) rather than
+ *  crashing. */
+const parseGrantKey = (key) => {
+    const parts = key.split('::');
+    if (parts.length === 3) {
+        return { appKey: parts[0], principal: parts[1], spaceId: parts[2] };
+    }
+    // Legacy 2-field, or malformed → first segment is the appKey, last the spaceId.
+    return { appKey: parts[0], spaceId: parts[parts.length - 1] };
+};
+exports.parseGrantKey = parseGrantKey;
 /** Durable elevated/app-scoped grants expire after 90 days WITHOUT USE; first
  *  use after expiry re-prompts. Baseline needs no grant record, so this never
  *  touches it. */
@@ -123,6 +146,11 @@ const appSpaceGrantFields = (params, s) => (0, exports.defined)({
     grantedAt: s.serverTimestamp(),
     lastUsedAt: s.serverTimestamp(),
     name: params.name,
+    // R3-98 S3/S4 — the named principal this grant was minted under (design 05a
+    // §3.1). `defined()` omits it when absent, so a legacy/unkeyed mint writes no
+    // `principal` field and is grandfathered at the gate (both adapters stamp it
+    // identically, keeping the byte-identical-doc guarantee).
+    principal: params.principal,
     // UI_AS_APPS_SPEC §8.7: `rules` is authoritative; `subtree`/`mode` are kept as the
     // deprecated `rules[0]` mirror for not-yet-migrated readers. When no rule-set
     // is given, derive a single-rule set from the legacy scope so the backend

package/dist/port.d.ts

@@ -60,6 +60,11 @@ export interface GrantSpaceParams {
     mintPath?: MintPath;
     /** §8.15 — parent `grantKey` for an M2 `delegated` grant. */
     parentGrantId?: string;
+    /** R3-98 S3/S4 — the **named principal** this grant is minted under (design 05a
+     *  §3.1). Written as the `principal` field so the mount-admission gate re-checks
+     *  it (a grant fires only under the principal it was minted with). Optional +
+     *  additive: omitted ⇒ no field ⇒ a legacy/grandfathered grant. */
+    principal?: string;
 }
 /** Parameters for `MintStore.grantNetFetchHosts` — the per-(user, app) granted
  *  host set, the grant half of the `manifest ∩ grant` net:fetch allowlist. */

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@immediately-run/preauth-core",
-  "version": "0.1.7",
+  "version": "0.1.8",
   "description": "The shared §8.9 pre-auth target check + the single grant-mint path (mintConsentedGrants) + the capability vocabulary + the byte-faithful grant/space/net-fetch document layout. Consumed by site-main (browser Firestore) and the backend (admin Firestore) so there is ONE gate, ONE mint path, ONE wire layout.",
   "license": "UNLICENSED",
   "repository": {