@pithy-sh/core 0.10.0 → 0.12.0

package/src/error/payload.ts

@@ -181,6 +181,38 @@ const AuthSessionNotFreshPublic = z
   })
   .describe("The session is authentic but the holder authenticated too long ago to attach a provider (403).");
 
+const AuthAccountSuspendedPublic = z
+  .object({
+    code: z
+      .literal("auth/account_suspended")
+      .describe(
+        "The account this credential belongs to is suspended, so the request is refused whatever it carries. An operator suspended it on purpose, with a reason, and the reason is the `message`. When the suspension has an end, `params.suspendedUntil` names it as ISO-8601; a suspension past its end is no longer one, and nothing has to clear it. A separate code from `auth/forbidden` so a client can render the screen that says what happened rather than a generic refusal.",
+      ),
+    status: z
+      .literal(403)
+      .describe(
+        "Forbidden — the credential is genuine and the account behind it may not act. Not 401: signing in again cannot help, and a client that read it as an expired token would loop.",
+      ),
+    ...publicFields,
+  })
+  .describe("The account is suspended (403).");
+
+const AuthAccountDeletedPublic = z
+  .object({
+    code: z
+      .literal("auth/account_deleted")
+      .describe(
+        "The account this credential belongs to is deleted and inside its purge window: it cannot sign in or act, and it can still be restored until the window closes. After the purge there is no account, and the credential is simply invalid.",
+      ),
+    status: z
+      .literal(403)
+      .describe(
+        "Forbidden — the account exists and may not act. Not 404, because until the purge runs it can come back, and not 401, because signing in again cannot help.",
+      ),
+    ...publicFields,
+  })
+  .describe("The account is deleted and awaiting its purge (403).");
+
 const NotFoundPublic = z
   .object({
     code: z.literal("core/not_found").describe("The requested resource does not exist."),
@@ -501,6 +533,28 @@ const TurnstileConfigPublic = z
   })
   .describe("The Turnstile middleware is misconfigured (500).");
 
+const TurnstileAnalyticsWindowPublic = z
+  .object({
+    code: z
+      .literal("turnstile/analytics_window")
+      .describe(
+        "The requested challenge window reaches past what Cloudflare keeps, or is wider than one read may ask for.",
+      ),
+    status: z.literal(400).describe("Bad Request — narrow the window or move it later."),
+    ...publicFields,
+  })
+  .describe("A Turnstile-analytics window outside Cloudflare's retention or range (400).");
+
+const TurnstileAnalyticsUnavailablePublic = z
+  .object({
+    code: z
+      .literal("turnstile/analytics_unavailable")
+      .describe("Cloudflare does not serve Turnstile analytics to this account, so no outcome can be read."),
+    status: z.literal(409).describe("Conflict — the account's configuration rules the read out."),
+    ...publicFields,
+  })
+  .describe("Turnstile analytics are not served to this account (409).");
+
 // --- @pithy-sh/audit: audit-trail recorder codes ---
 
 const AuditInvalidEventPublic = z
@@ -535,6 +589,18 @@ const MediaNotFoundPublic = z
   })
   .describe("A requested media record does not exist (404).");
 
+const MediaForbiddenPublic = z
+  .object({
+    code: z
+      .literal("media/forbidden")
+      .describe(
+        "The caller may read the media record but not change it: only its owner, acting for the record's organization, or a role holding `media:manage` there may edit, delete or re-scope it.",
+      ),
+    status: z.literal(403).describe("Forbidden."),
+    ...publicFields,
+  })
+  .describe("The caller may read the record but not change it (403).");
+
 const MediaUnsupportedPublic = z
   .object({
     code: z
@@ -565,6 +631,30 @@ const MediaEnrichmentFailedPublic = z
   })
   .describe("A media AI-enrichment step failed (500).");
 
+const MediaAnalyticsWindowPublic = z
+  .object({
+    code: z
+      .literal("media/analytics_window")
+      .describe(
+        "The requested delivery window reaches past what Cloudflare keeps, or is wider than one read may ask for.",
+      ),
+    status: z.literal(400).describe("Bad Request — narrow the window or move it later."),
+    ...publicFields,
+  })
+  .describe("A delivery-analytics window outside Cloudflare's retention or range (400).");
+
+const MediaAnalyticsUnavailablePublic = z
+  .object({
+    code: z
+      .literal("media/analytics_unavailable")
+      .describe(
+        "Cloudflare does not serve the delivery analytics this read needs to this account — a Customer Metadata Boundary outside the US carries none of them.",
+      ),
+    status: z.literal(409).describe("Conflict — the account's configuration rules the read out."),
+    ...publicFields,
+  })
+  .describe("Delivery analytics are not served to this account (409).");
+
 // --- @pithy-sh/leaderboard: optional ranking capability codes ---
 
 const LeaderboardBoardNotFoundPublic = z
@@ -931,7 +1021,7 @@ const StorageNotFoundPublic = z
   .object({
     code: z
       .literal("storage/not_found")
-      .describe("No object row matches, or the object exists but is not visible to this caller."),
+      .describe("No object row matches, or the object exists but this caller may not read it."),
     status: z.literal(404).describe("Not Found."),
     ...publicFields,
   })
@@ -939,18 +1029,22 @@ const StorageNotFoundPublic = z
 
 const StorageForbiddenPublic = z
   .object({
-    code: z.literal("storage/forbidden").describe("The caller does not own the object and the object is not public."),
+    code: z
+      .literal("storage/forbidden")
+      .describe(
+        "The caller may read the object but not change it: only its owner, acting for the object's organization, or a role holding `storage:manage` there may.",
+      ),
     status: z.literal(403).describe("Forbidden."),
     ...publicFields,
   })
-  .describe("The caller is not the owner and the object is not public (403).");
+  .describe("The caller may read the object but not change it (403).");
 
 const StorageQuotaExceededPublic = z
   .object({
     code: z
       .literal("storage/quota_exceeded")
       .describe(
-        "The declared upload size would push the owner past their byte quota. Checked at init against pending and stored rows together, so concurrent inits cannot race past the limit.",
+        "The declared upload size would push the owner past the configured `bytesPerOwner` quota. Checked at init against pending and stored rows together, so concurrent inits cannot race past the limit. Where the `storageBytes` meter is enforced, the same refusal is `payments/quota_exceeded` (402).",
       ),
     status: z.literal(413).describe("Content Too Large."),
     ...publicFields,
@@ -1257,6 +1351,30 @@ const PaymentsSubscriptionChangeRefusedPublic = z
   })
   .describe("A subscription's state forbids the change asked of it (409).");
 
+const PaymentsOverrideStalePublic = z
+  .object({
+    code: z
+      .literal("payments/override_stale")
+      .describe(
+        "A control-plane override write named a version behind the subject's override row. Two operators share one customer: both opened the same allowance, and the second would silently overwrite the first while the first believed they had succeeded. So the write is refused and nothing is written. 409, because the request is well-formed and the same request against the version it now holds would be accepted — the caller re-reads, and tries again.",
+      ),
+    status: z.literal(409).describe("Conflict — the override changed since the caller read it."),
+    ...publicFields,
+  })
+  .describe("An override write named a stale version (409).");
+
+const PaymentsQuotaExceededPublic = z
+  .object({
+    code: z
+      .literal("payments/quota_exceeded")
+      .describe(
+        "An enforced kit meter — emails enqueued, bytes stored, media items held — would pass the subject's effective quota for the period. Nothing was written. 402 Payment Required, because it is the honest status: the plan does not allow more and the remedy is a purchase, a bigger tier, or a number pinned for this subject from the control plane. A meter refuses and never bills — the kit does not sell overage.",
+      ),
+    status: z.literal(402).describe("Payment Required — the plan's allowance for this period is used up."),
+    ...publicFields,
+  })
+  .describe("An enforced meter is at its quota for this period (402).");
+
 // --- @pithy-sh/core: the `control-plane` verification strategy ---
 //
 // NOT Cloudflare's control plane. Everywhere else in this repo "control plane" means the Cloudflare
@@ -1407,6 +1525,68 @@ const OrganizationNominationInvalidPublic = z
   })
   .describe("No standing ownership offer this caller may accept (400).");
 
+// --- @pithy-sh/artifacts: Git repositories, ownership, grants and short-lived tokens ---
+
+const ArtifactsNotFoundPublic = z
+  .object({
+    code: z
+      .literal("artifacts/not_found")
+      .describe(
+        "No such repository, **or** one the caller holds no grant on and does not own. One code for both, byte for byte: a repository's name is in its clone URL, and a refusal that told the two apart would hand it over. Also what the credential route answers for a repository with remote access off. Which it was survives in `detail`, which the HTTP codec strips.",
+      ),
+    status: z.literal(404).describe("Not Found."),
+    ...publicFields,
+  })
+  .describe("No such repository, or none this caller may see — the same answer for both (404).");
+
+const ArtifactsForbiddenPublic = z
+  .object({
+    code: z
+      .literal("artifacts/forbidden")
+      .describe(
+        "The caller can see the repository and may not do this to it: a grant holder asking for what only an owner may do, or a member of an organization whose role lacks the configured `managePower`. A 403 rather than the 404 above, because by then the caller already knows the repository exists.",
+      ),
+    status: z.literal(403).describe("Forbidden."),
+    ...publicFields,
+  })
+  .describe("The caller may see this repository and may not do this (403).");
+
+const ArtifactsInvalidNamePublic = z
+  .object({
+    code: z
+      .literal("artifacts/invalid_name")
+      .describe(
+        "A supplied repository name is outside Cloudflare's charset or the 2-to-63 cap. Refused and never shortened: a name somebody chose is in every clone URL, and a silently different one is a repository nobody can find.",
+      ),
+    status: z.literal(400).describe("Bad Request."),
+    ...publicFields,
+  })
+  .describe("A repository name breaks the naming rule (400).");
+
+const ArtifactsNameTakenPublic = z
+  .object({
+    code: z
+      .literal("artifacts/name_taken")
+      .describe(
+        "The owner already holds a repository with that display name, or a supplied physical name is already in the namespace. The second happens only where the adopter supplies names, so uniqueness is theirs.",
+      ),
+    status: z.literal(409).describe("Conflict."),
+    ...publicFields,
+  })
+  .describe("That repository name is already in use (409).");
+
+const ArtifactsInvalidConfigPublic = z
+  .object({
+    code: z
+      .literal("artifacts/invalid_config")
+      .describe(
+        "The capability's configuration cannot be honored: a `tokenTtlSeconds` above the ceiling, or `organization` composed with no `managePower` named. Raised at boot, so a mistake fails on deploy rather than at the first mint.",
+      ),
+    status: z.literal(400).describe("Bad Request — the configuration is malformed."),
+    ...publicFields,
+  })
+  .describe("The artifacts configuration is invalid (400).");
+
 // --- @pithy-sh/support: inbound inbox, taxonomy, and classification codes ---
 
 const SupportNotFoundPublic = z
@@ -1610,6 +1790,8 @@ export const KitPublicErrorPayload = z
     ForbiddenPublic,
     AuthProviderUnavailablePublic,
     AuthSessionNotFreshPublic,
+    AuthAccountSuspendedPublic,
+    AuthAccountDeletedPublic,
     NotFoundPublic,
     ConflictPublic,
     RateLimitPublic,
@@ -1639,12 +1821,17 @@ export const KitPublicErrorPayload = z
     TurnstileMissingTokenPublic,
     TurnstileFailedPublic,
     TurnstileConfigPublic,
+    TurnstileAnalyticsWindowPublic,
+    TurnstileAnalyticsUnavailablePublic,
     AuditInvalidEventPublic,
     AuditWriteFailedPublic,
     MediaNotFoundPublic,
+    MediaForbiddenPublic,
     MediaUnsupportedPublic,
     MediaStorageFailedPublic,
     MediaEnrichmentFailedPublic,
+    MediaAnalyticsWindowPublic,
+    MediaAnalyticsUnavailablePublic,
     LeaderboardBoardNotFoundPublic,
     LeaderboardEntryNotFoundPublic,
     LeaderboardScoreRejectedPublic,
@@ -1707,6 +1894,8 @@ export const KitPublicErrorPayload = z
     PaymentsEntitlementNotInCatalogPublic,
     PaymentsSubjectUnresolvedPublic,
     PaymentsSubscriptionChangeRefusedPublic,
+    PaymentsOverrideStalePublic,
+    PaymentsQuotaExceededPublic,
     ControlPlaneNotConnectedPublic,
     ControlPlaneInvalidCredentialPublic,
     ControlPlaneInsufficientScopePublic,
@@ -1719,6 +1908,11 @@ export const KitPublicErrorPayload = z
     OrganizationLastAdministratorPublic,
     OrganizationSlugTakenPublic,
     OrganizationNominationInvalidPublic,
+    ArtifactsNotFoundPublic,
+    ArtifactsForbiddenPublic,
+    ArtifactsInvalidNamePublic,
+    ArtifactsNameTakenPublic,
+    ArtifactsInvalidConfigPublic,
     SupportNotFoundPublic,
     SupportInvalidCategoryPublic,
     SupportUnparseableMessagePublic,
@@ -1754,6 +1948,12 @@ const AuthProviderUnavailable = AuthProviderUnavailablePublic.extend(internalFie
 const AuthSessionNotFresh = AuthSessionNotFreshPublic.extend(internalFields).describe(
   AuthSessionNotFreshPublic.description ?? "",
 );
+const AuthAccountSuspended = AuthAccountSuspendedPublic.extend(internalFields).describe(
+  AuthAccountSuspendedPublic.description ?? "",
+);
+const AuthAccountDeleted = AuthAccountDeletedPublic.extend(internalFields).describe(
+  AuthAccountDeletedPublic.description ?? "",
+);
 const NotFound = NotFoundPublic.extend(internalFields).describe(NotFoundPublic.description ?? "");
 const Conflict = ConflictPublic.extend(internalFields).describe(ConflictPublic.description ?? "");
 const RateLimit = RateLimitPublic.extend(internalFields).describe(RateLimitPublic.description ?? "");
@@ -1815,6 +2015,12 @@ const TurnstileMissingToken = TurnstileMissingTokenPublic.extend(internalFields)
 );
 const TurnstileFailed = TurnstileFailedPublic.extend(internalFields).describe(TurnstileFailedPublic.description ?? "");
 const TurnstileConfig = TurnstileConfigPublic.extend(internalFields).describe(TurnstileConfigPublic.description ?? "");
+const TurnstileAnalyticsWindow = TurnstileAnalyticsWindowPublic.extend(internalFields).describe(
+  TurnstileAnalyticsWindowPublic.description ?? "",
+);
+const TurnstileAnalyticsUnavailable = TurnstileAnalyticsUnavailablePublic.extend(internalFields).describe(
+  TurnstileAnalyticsUnavailablePublic.description ?? "",
+);
 const AuditInvalidEvent = AuditInvalidEventPublic.extend(internalFields).describe(
   AuditInvalidEventPublic.description ?? "",
 );
@@ -1822,6 +2028,7 @@ const AuditWriteFailed = AuditWriteFailedPublic.extend(internalFields).describe(
   AuditWriteFailedPublic.description ?? "",
 );
 const MediaNotFound = MediaNotFoundPublic.extend(internalFields).describe(MediaNotFoundPublic.description ?? "");
+const MediaForbidden = MediaForbiddenPublic.extend(internalFields).describe(MediaForbiddenPublic.description ?? "");
 const MediaUnsupported = MediaUnsupportedPublic.extend(internalFields).describe(
   MediaUnsupportedPublic.description ?? "",
 );
@@ -1831,6 +2038,12 @@ const MediaStorageFailed = MediaStorageFailedPublic.extend(internalFields).descr
 const MediaEnrichmentFailed = MediaEnrichmentFailedPublic.extend(internalFields).describe(
   MediaEnrichmentFailedPublic.description ?? "",
 );
+const MediaAnalyticsWindow = MediaAnalyticsWindowPublic.extend(internalFields).describe(
+  MediaAnalyticsWindowPublic.description ?? "",
+);
+const MediaAnalyticsUnavailable = MediaAnalyticsUnavailablePublic.extend(internalFields).describe(
+  MediaAnalyticsUnavailablePublic.description ?? "",
+);
 const LeaderboardBoardNotFound = LeaderboardBoardNotFoundPublic.extend(internalFields).describe(
   LeaderboardBoardNotFoundPublic.description ?? "",
 );
@@ -2016,6 +2229,12 @@ const PaymentsSubjectUnresolved = PaymentsSubjectUnresolvedPublic.extend(interna
 const PaymentsSubscriptionChangeRefused = PaymentsSubscriptionChangeRefusedPublic.extend(internalFields).describe(
   PaymentsSubscriptionChangeRefusedPublic.description ?? "",
 );
+const PaymentsOverrideStale = PaymentsOverrideStalePublic.extend(internalFields).describe(
+  PaymentsOverrideStalePublic.description ?? "",
+);
+const PaymentsQuotaExceeded = PaymentsQuotaExceededPublic.extend(internalFields).describe(
+  PaymentsQuotaExceededPublic.description ?? "",
+);
 const ControlPlaneNotConnected = ControlPlaneNotConnectedPublic.extend(internalFields).describe(
   ControlPlaneNotConnectedPublic.description ?? "",
 );
@@ -2086,6 +2305,22 @@ const OrganizationNominationInvalid = OrganizationNominationInvalidPublic.extend
   OrganizationNominationInvalidPublic.description ?? "",
 );
 
+const ArtifactsNotFound = ArtifactsNotFoundPublic.extend(internalFields).describe(
+  ArtifactsNotFoundPublic.description ?? "",
+);
+const ArtifactsForbidden = ArtifactsForbiddenPublic.extend(internalFields).describe(
+  ArtifactsForbiddenPublic.description ?? "",
+);
+const ArtifactsInvalidName = ArtifactsInvalidNamePublic.extend(internalFields).describe(
+  ArtifactsInvalidNamePublic.description ?? "",
+);
+const ArtifactsNameTaken = ArtifactsNameTakenPublic.extend(internalFields).describe(
+  ArtifactsNameTakenPublic.description ?? "",
+);
+const ArtifactsInvalidConfig = ArtifactsInvalidConfigPublic.extend(internalFields).describe(
+  ArtifactsInvalidConfigPublic.description ?? "",
+);
+
 const SupportNotFound = SupportNotFoundPublic.extend(internalFields).describe(SupportNotFoundPublic.description ?? "");
 const SupportInvalidCategory = SupportInvalidCategoryPublic.extend(internalFields).describe(
   SupportInvalidCategoryPublic.description ?? "",
@@ -2116,6 +2351,8 @@ export const KitErrorPayload = z
     Forbidden,
     AuthProviderUnavailable,
     AuthSessionNotFresh,
+    AuthAccountSuspended,
+    AuthAccountDeleted,
     NotFound,
     Conflict,
     RateLimit,
@@ -2145,12 +2382,17 @@ export const KitErrorPayload = z
     TurnstileMissingToken,
     TurnstileFailed,
     TurnstileConfig,
+    TurnstileAnalyticsWindow,
+    TurnstileAnalyticsUnavailable,
     AuditInvalidEvent,
     AuditWriteFailed,
     MediaNotFound,
+    MediaForbidden,
     MediaUnsupported,
     MediaStorageFailed,
     MediaEnrichmentFailed,
+    MediaAnalyticsWindow,
+    MediaAnalyticsUnavailable,
     LeaderboardBoardNotFound,
     LeaderboardEntryNotFound,
     LeaderboardScoreRejected,
@@ -2213,6 +2455,8 @@ export const KitErrorPayload = z
     PaymentsEntitlementNotInCatalog,
     PaymentsSubjectUnresolved,
     PaymentsSubscriptionChangeRefused,
+    PaymentsOverrideStale,
+    PaymentsQuotaExceeded,
     ControlPlaneNotConnected,
     ControlPlaneInvalidCredential,
     ControlPlaneInsufficientScope,
@@ -2225,6 +2469,11 @@ export const KitErrorPayload = z
     OrganizationLastAdministrator,
     OrganizationSlugTaken,
     OrganizationNominationInvalid,
+    ArtifactsNotFound,
+    ArtifactsForbidden,
+    ArtifactsInvalidName,
+    ArtifactsNameTaken,
+    ArtifactsInvalidConfig,
     SupportNotFound,
     SupportInvalidCategory,
     SupportUnparseableMessage,

package/src/error/pithyError.ts

@@ -3,6 +3,7 @@
 
 import type { z } from "zod";
 import type { MessageParams } from "../i18n/catalog";
+import type { UnmarkedString } from "../privacy/types";
 import type { ValidationIssue } from "./payload";
 import { ErrorPayload } from "./payload";
 
@@ -18,7 +19,20 @@ import { ErrorPayload } from "./payload";
 export class PithyError extends Error {
   readonly payload: ErrorPayload;
 
-  constructor(payload: ErrorPayload, options?: { cause?: unknown }) {
+  /**
+   * `message`, `action` and `detail` are each an {@link UnmarkedString} here and on every subclass's arguments
+   * (#132): a value marked with a privacy class is refused at compile time, because all three ride into every log
+   * line and audit row that carries this error. A template literal is a plain `string`, so interpolation is not caught — see
+   * `privacy/types.ts` for exactly what is.
+   */
+  constructor(
+    payload: ErrorPayload & {
+      message: UnmarkedString;
+      action?: UnmarkedString | undefined;
+      detail?: UnmarkedString | undefined;
+    },
+    options?: { cause?: unknown },
+  ) {
     const parsed = ErrorPayload.parse(payload);
     super(parsed.message, options);
     this.payload = parsed;
@@ -28,12 +42,12 @@ export class PithyError extends Error {
 
 /** Variable parts every subclass accepts; the `code`/`status` are fixed by the subclass. */
 interface ErrorArgs {
-  /** Override the public, safe-to-expose message. Defaults to a per-code summary. */
-  message?: string;
-  /** A remediation hint (CLI action line). */
-  action?: string;
-  /** Internal context for logs + audit. Never serialized to clients. */
-  detail?: string;
+  /** Override the public, safe-to-expose message. Defaults to a per-code summary. Never a privacy-marked value. */
+  message?: UnmarkedString;
+  /** A remediation hint (CLI action line). Never a privacy-marked value. */
+  action?: UnmarkedString;
+  /** Internal context for logs + audit. Never serialized to clients, and never a privacy-marked value (#132). */
+  detail?: UnmarkedString;
   /**
    * Values a translating client interpolates into its own wording for this code. Client-facing, so —
    * unlike `action` and `detail` — these cross the boundary with `message`. The `code` is the catalog

package/src/http/authContext.ts

@@ -15,12 +15,24 @@ import { Locale } from "../i18n/locale";
  * stored choice outrank their device's `Accept-Language`. That link read `c.var.locale` at first,
  * which nothing ever wrote, so it silently contributed nothing and the chain degraded to
  * `param → cookie → header → default` while the docs said otherwise.
+ *
+ * **`scopes` answers one question: did this request come from the adopter's own trusted backend, or from a
+ * device?** The name reads like a grant to the user, and it is not one. Tenancy roles went to `c.var.acting`
+ * with `@pithy-sh/organization`; management access is the control plane's, with its own credential and its
+ * own scope type. What is left is an attestation about the caller, which `@pithy-sh/auth`'s `resolveScopes`
+ * makes on every request from something the request proves — a service binding, a verified client
+ * certificate, a short-lived token bound to this origin — and never from anything it merely says (#560).
  */
 export const AuthContext = z
   .object({
     userId: z.string().describe("ID of the authenticated user (populated by @pithy-sh/auth)."),
     sessionId: z.string().describe("ID of the active session this request belongs to."),
-    scopes: z.array(z.string()).default([]).describe("Permission scopes granted to this session."),
+    scopes: z
+      .array(z.string())
+      .default([])
+      .describe(
+        "Attestations about the caller, not permissions granted to the user: what this request's caller was established to be — the adopter's own trusted backend, say — by the `resolveScopes` seam on `@pithy-sh/auth`, resolved per request and never cached. Empty when no resolver is configured. Tenancy roles are not here; they are `c.var.acting`.",
+      ),
     locale: Locale.nullish().describe(
       "The reader's own stored language, from `pithy_auth_users.locale`; null or absent when they have never chosen.",
     ),

package/src/http/scopeGates.ts

@@ -0,0 +1,34 @@
+// SPDX-FileCopyrightText: 2026 Pithy
+// SPDX-License-Identifier: MIT
+
+import { Hono } from "hono";
+import type { PithyHonoEnv, ScopeGate } from "../capability/capability";
+import { routeSpecOf } from "./routeSpec";
+
+/**
+ * **A capability's scope gates, read off its own routes rather than listed beside them (#560).**
+ *
+ * `Capability.scopeGates` is what `pithy doctor` names when nothing composed fills `AuthContext.scopes`.
+ * A list written out by hand next to the routes is a second copy of something the routes already say: every
+ * gated route carries `describeRoute({ scopes })`, because that is how the OpenAPI contract learns it. So the
+ * registrar is run against a throwaway app and the specs are read back — the same walk `openApiDocument`
+ * makes over a composed app, and a route whose scope changes changes what this returns with it.
+ *
+ * **Only `bearer` and `session` routes.** Those are the strategies `requireAuth()` takes, so a scope on one
+ * is an `AuthContext` scope. A `control-plane` route also names scopes, and they are a different credential
+ * entirely — a signed management token with its own type, never `c.var.auth` — so naming one here would tell
+ * an adopter to configure a resolver that could never open it.
+ */
+export function scopeGatesOf(register: (app: Hono<PithyHonoEnv>) => void): ScopeGate[] {
+  const app = new Hono<PithyHonoEnv>();
+  register(app);
+  const gates: ScopeGate[] = [];
+  for (const route of app.routes) {
+    const spec = routeSpecOf(route.handler);
+    if (!spec?.scopes || spec.scopes.length === 0) continue;
+    const verification = [spec.verification].flat();
+    if (!verification.some((strategy) => strategy === "bearer" || strategy === "session")) continue;
+    for (const scope of spec.scopes) gates.push({ scope, route: `${route.method} ${route.path}` });
+  }
+  return gates;
+}

package/src/index.ts

@@ -101,6 +101,8 @@ export {
   ControlPlaneScope,
   KEYS_ROTATE_SCOPE,
   MANIFEST_READ_SCOPE,
+  MIGRATIONS_READ_SCOPE,
+  PRIVACY_READ_SCOPE,
   SEAM_SCOPES,
 } from "./controlPlane/scope/scope";
 export { exportPublicJwk, type MintControlPlaneToken, mintControlPlaneToken } from "./controlPlane/token/mint";

package/src/logger/logger.ts

@@ -3,6 +3,7 @@
 
 import type { ErrorPayload } from "../error/payload";
 import { PithyError } from "../error/pithyError";
+import type { Loggable, UnmarkedString } from "../privacy/types";
 import { LOG_LEVEL_ORDER, type LogFields, type LogLevel, type LogRecord } from "./record";
 
 /**
@@ -15,22 +16,28 @@ import { LOG_LEVEL_ORDER, type LogFields, type LogLevel, type LogRecord } from "
  * The reserved `error` field on any call may carry a `PithyError` or `ErrorPayload` — the engine lifts
  * it into the record's `error`, `detail` and all. A log is internal; this is the inverse of the HTTP
  * codec, which strips `detail`. The logger must never be wired to a client-facing surface.
+ *
+ * **A value marked with a privacy class does not compile here** (#132). Every method takes `F & Loggable<F>`,
+ * so a field holding a `pii()`/`phi()`/`secret()`/`pci()` value — the value itself, or one inside an object or
+ * an array, to the depth `privacy/types.ts` states — is refused at that key, and `redact(Schema, value)` is the
+ * way through. The message and a child's name take `UnmarkedString`, so `log.info(user.email)` is refused too. `LogFields` the schema stays permissive: a record that reaches a sink at runtime still parses,
+ * because a brand is a type and a parsed log line has none.
  */
 export interface Logger {
   /** Dev-time diagnostics. Dropped unless the logger's level is `debug`. */
-  debug(msg: string, fields?: LogFields): void;
+  debug<F extends LogFields = LogFields>(msg: UnmarkedString, fields?: F & Loggable<F>): void;
   /** Normal operational events. */
-  info(msg: string, fields?: LogFields): void;
+  info<F extends LogFields = LogFields>(msg: UnmarkedString, fields?: F & Loggable<F>): void;
   /** A recoverable problem worth attention. */
-  warn(msg: string, fields?: LogFields): void;
+  warn<F extends LogFields = LogFields>(msg: UnmarkedString, fields?: F & Loggable<F>): void;
   /** A failure that was observed. Pass `{ error }` (a PithyError) to carry its full payload. */
-  error(msg: string, fields?: LogFields): void;
+  error<F extends LogFields = LogFields>(msg: UnmarkedString, fields?: F & Loggable<F>): void;
   /**
    * A namespaced sub-logger. `name` composes as `parent:child`; bound `fields` merge into every record
    * the child emits. Omit `name` (pass `undefined`) to bind fields only — how request-correlation
    * attaches `request`/`method`/`path` without renaming the logger.
    */
-  child(name?: string, fields?: LogFields): Logger;
+  child<F extends LogFields = LogFields>(name?: UnmarkedString, fields?: F & Loggable<F>): Logger;
 }
 
 /** A sink receives a finished {@link LogRecord}. Adapters supply one; the engine builds records and calls it. */