founder-schema 0.16.0 → 0.18.0

package/README.md

@@ -29,11 +29,11 @@ Consumed by:
 
 ## Installing it
 
-On npm since 0.1.0. Pin the EXACT version, with `-E` so npm writes `0.2.0` and
-not `^0.2.0` (a caret on `0.x` pins the minor; see Publishing):
+On npm since 0.1.0. Pin the EXACT version, with `-E` so npm writes `0.18.0` and
+not `^0.18.0` (a caret on `0.x` pins the minor; see Publishing):
 
 ```sh
-npm install -E founder-schema@0.2.0
+npm install -E founder-schema@0.18.0
 ```
 
 **Working against a change that is not published yet** is the path TEAM.md
@@ -86,19 +86,251 @@ SAME schema object, so the two can never disagree about what is allowed.
   (`ONBOARDING_STEP_SCHEMAS`), so a step the wizard lets through is a step the
   finish accepts. The step list (`FOUNDER_ONBOARDING_STEPS`) is built from those
   slices, including whether a step may be skipped.
-- **No copy.** Step titles, help lines and topic categories are translation keys
-  (`titleKey`, `helpKey`, `labelKey`); the words live in each client.
+- **No copy.** A step's label and title, a topic category and a goal category
+  are translation keys or plain keys (`labelKey`, `titleKey`, `key`); the words
+  live in each client. The web keys its category words by `key`, type-checked
+  against it, and its step words by the step's own key (`OnboardingStepKey`);
+  `labelKey` / `titleKey` are there for a translated client (i18n), and
+  nothing reads them yet.
 - **Bodies are typed JSON; only queries coerce.** `teamSize: "5"` is refused in a
   body, and `?limit=5` is read as 5.
-- **Shapes are derived, never copied.** One `locationSchema`, one
-  `founderLinksSchema`, one `ventureSchema`, one `mediaImageSchema`; the other
-  places pick, omit or reuse them, and a test checks by object identity.
+- **Shapes are derived, never copied.** One `locationSchema` to READ a place and
+  one `indiaLocationSchema` to WRITE one (0.17.0), one `founderLinksSchema`, one
+  `ventureSchema`, one `mediaImageSchema`; the other places pick, omit or reuse
+  them, and a test checks by object identity.
 
 `zod` is a **peer** dependency (`^4.4.0`), on purpose. The consumer owns the Zod
 instance; this package must not bring its own.
 
 ---
 
+## Breaking in 0.18.0: the SSOT audit (2026-10-20)
+
+The user, 2026-10-20: "make sure it is the SSOT for data types, validation,
+etc., for front end and back end, implemented thoroughly end to end, no
+patchwork or lazy workaround, and a proper cleanup". Ten read-only reviewers,
+every high finding verified in code. Each rule below lived in two places, or in
+one consumer only, or as a hand-written literal; it is one export now, and both
+consumers use it (`tests/ssot-0-18.test.ts`, one test per rule).
+
+**Removed** (no consumer imports any; listed in `public-surface.test.ts`):
+`chatInvitation*`, the 0.4.0 upload-key code (`uploadKey*`, `UPLOAD_KEY_*`,
+`uploadKeyInvalid`; the picker's extensions are `UPLOAD_FILE_EXTENSIONS` now),
+`PRODUCTS_OWNED_MAX`, `REVIEWS_REWARDED_PER_DAY`, the never-sent codes
+`ORDER_EXPIRED` and `COUPON_FOUNDING_EXISTS`, the unused zod wrappers
+`actionSchema`, `purchaseKindSchema`, `notificationPreferenceSchema`,
+`onboardingProgressSchema`, the uploaded-video shape (`feedVideoSchema`: post
+media is images only) and the link preview no server writes (`linkPreview*`,
+`LINK_PREVIEW_*`).
+
+**Stricter or changed on the wire:**
+- `PATCH /onboarding` takes the draft in the FORM's shape
+  (`onboardingFormSchema.partial().strict()`): typed and bounded, half-answered
+  still fine. It took any JSON before.
+- `PATCH /profiles/me` takes only its own fields: `headline`, `about`, `skills`,
+  `goals`, `links`. The name and the city are the personal details', the venture
+  the business editor's. `goals` keeps at least one (`requiredGoalListSchema`,
+  the user), as onboarding's finish does.
+- `PATCH /feed/:id` may clear the text; the server refuses only a post left with
+  nothing (`postHasContent`, the create body's rule too).
+- A vote names each option once (`pollVoteDuplicate`). An emptied `?cursor=`
+  means none; a cursor is at most `CURSOR_MAX`.
+- A blank ban reason means no reason. The MPIN rule reads `MPIN_LENGTH`.
+- Responses: `grantFailed` is a `GRANT_FAILURE_VALUES`; the dashboard's support
+  block adds `waitingTickets` and `openTickets` is status `open` only; product
+  links are READ leniently (`productLinksReadSchema`), so an older link cannot
+  break a page; ids and usernames are typed where they were strings; excerpts
+  are bounded; packed CASL rules are checked (action and subject).
+- New codes for refusals that were a bare `FORBIDDEN`:
+  `COMMUNITY_NOT_ON_YOURSELF`, `HIDDEN_BY_STAFF`, `TICKET_MEMBER_ONLY`; body
+  messages `bodyTooLarge`, `bodyNotJson`.
+- A community's last admin, alone in it, may leave: that ARCHIVES it (on the
+  audit record, as a staff archive is). A plain member last in an adminless
+  community leaves it as it was.
+- Every request body types what a caller SENDS: no body field is a
+  `z.preprocess` (whose input type is `unknown`), so a web typing a body by
+  `z.input<typeof xBodySchema>` cannot send the wrong type and compile.
+  `optionalTrimmedString` and `indiaLocationSchema.state` were the two; a test
+  walks every exported body and fails on any preprocess. Same runtime rules.
+- A model refusing what the schema accepted answers `500 INTERNAL_ERROR` (our
+  mismatch), never `400`; body-parse refusals carry message KEYS.
+- `PATCH /profiles/me` is STRICT: a key that belongs to another editor is a
+  400 naming it, never dropped without a word.
+- `grantFailed` adds `GRANT_REFUSED`, any other refusal of a grant: still
+  recorded and refunded, never a capture rolled back for a reason not listed.
+- `changesDiscoverCard` ignores points (`FOUNDER_CARD_EDIT_FIELDS`): other
+  people's acts move them, and they never lift a member up Discover.
+- New: `keptPaise` (what is kept of a payment: the Overview's revenue) and
+  `refundLeftPaise` (what a refund returns: never zeroed by a credit note, which
+  a failed refund carries), `CONTRIBUTION_PAIR_WINDOW_DAYS` (the pair cap's own
+  window), `RAZORPAY_EVENT_RETENTION_DAYS`, `communityTypeChangeAllowed` (an
+  archived community narrows, never opens), `communityViewerSchema.leaveArchives`
+  (the server says what leaving does), `envVar.optionalOneOf`;
+  `onboardingDraftForStep` answers the form's own type, so a step save needs no
+  cast.
+- `founder-schema/env`: a BLANK line never takes a real fallback (a port,
+  localhost, `development`, a database name): it is refused at start-up and
+  named. Unset still takes it; a blank fallback (`''`, a feature off) still
+  takes a blank line. `optionalText({ refuseBlank: true })` is for a setting
+  whose absence is a legitimate "off" but whose blank line in a deployment
+  would switch a feature off silently (the web's media host).
+- `indiaLocationSchema.state`: missing, blank and unknown all refuse as the
+  choice they are (`invalid_value`, as 0.17 did), so a form words "Choose your
+  state".
+
+**One rule each, moved or named here:** the upgrade price and India's calendar
+months (`upgradePrice`, `addPlanPeriod`, `UPGRADE_PER_*`: the Terms state it
+from these), `rupees`, `INDIA_UTC_OFFSET_MS` / `DAY_MS`, `eachOnce`,
+`missingForListing`, `productIsOnDiscover`, `changesDiscoverCard`,
+`CONTACT_VISIBILITY_AUDIENCE` (the user: members only, all four),
+`canonicalCityName`, the one YouTube rule (posts and products: `/v/`, and the
+music and www.youtu.be hosts), `ventureBodyFrom` / `foundedYearDigits`,
+`QueryArgs<S>` (type a list's arguments by the PARSED shape: a query field's
+input is `unknown`), and the values and limits the backend copied by hand:
+`TICKET_SIDE_VALUES`, `INVOICE_KIND_VALUES`, `COUPON_KIND_VALUES`,
+`REPORT_STATUS_VALUES`, `COMMUNITY_SUGGESTION_DECISION_VALUES`,
+`TICKET_CHANGE_VALUES`, `REFUND_ASK_CATEGORY`, `COUPON_PERCENT_*`,
+`COUPON_LABEL_MIN`, `BILLING_NAME_MIN` / `BILLING_ADDRESS_MIN`, `GSTIN_LENGTH`,
+`INVOICE_NUMBER_MAX`, `RAZORPAY_*_MAX`, `RATING_MIN` / `RATING_MAX`,
+`DASHBOARD_RECENT_DAYS`, `PHONE_INPUT_MAX` / `DATE_INPUT_MAX` /
+`GUIDELINES_VERSION_MAX`. The permission fields type their statuses.
+
+**Deploy order: the backend, then the web.** The web reads the new response
+fields; a 0.17 web on a 0.18 backend reads the dashboard and payments as before
+(unknown keys are dropped).
+
+## Breaking in 0.17.0: the onboarding photo is saved, and onboarding's single source of truth (2026-10-19)
+
+Two pieces of the user's work on onboarding, 2026-10-19.
+
+**The photo.** Going back to the photo step showed no photo, though the member
+had pressed Save and continue on it. Every other answer came back from the
+draft; the photo was held for the visit only, so any reload or a resume the
+next day lost it.
+
+- **New:** `onboardingStatusSchema.photo` (optional, a `mediaImageSchema`): the
+  photo the member saved, as it will appear. Absent when there is none.
+- **Changed meaning:** a step save carrying `draft.avatarMediaId` (an upload id,
+  or `null`) is the photo step SAVING its photo. The server holds that upload
+  for the draft, so the 24 hour unattached sweep never deletes it, and lets go
+  of the one it replaces; `null` lets go of it. It is not kept in the draft:
+  `readOnboardingDraft` still gives `null` for it, and the photo comes back only
+  as `photo`, from what the server holds.
+- **Stricter:** `onboardingProgressUpdateSchema` refuses a `draft.avatarMediaId`
+  that is neither an upload id nor `null` (`invalidId`, at
+  `draft.avatarMediaId`). No client sent the key before 0.17.0.
+- **Backend:** a held photo is a media row attached to the member's onboarding
+  progress row (attachment kind `onboarding`, backend only). Finish moves it to
+  the new profile in the same transaction; a scheduled job lets go of a held
+  photo whose progress row the 90 day TTL deleted (Privacy: sign-up answers go
+  90 days after they were last changed). New partial index on `media` for that
+  job; run `sync-indexes --apply` after deploy.
+- **Deploy order: the backend, then the web.** The web reads the status with
+  `z.object`, which drops a key it does not know, so a 0.16 web on a 0.17
+  backend simply shows no photo on Back, as today.
+- **Rollback floor:** a backend below 0.17 does not know the `onboarding`
+  attachment, so photos held by then stay attached and are never swept until
+  0.17 runs again, and a member who finishes on the old build is told the photo
+  expired and asked to add it again (the old finish takes only an unattached
+  upload). A rollback that is KEPT therefore needs a one-off release of every
+  `media` row attached as kind `onboarding`, or those photos outlive the
+  Privacy's 90 days (account deletion still erases them).
+
+**One source of truth** (the user: "all the data for all the onboarding steps
+and all the errors and validation types ... should come from the founder
+circle schema"). What a client or the backend kept its own copy of now lives
+here, and each consumer reads it:
+
+- **New, data:** `GOAL_CATEGORIES` / `GOAL_CATEGORY_KEYS` (the goals step's
+  three groups, from the web); `domains/location/india`: `INDIA`,
+  `INDIA_DIALING_CODE`, `INDIA_STATES` (each state's cities and other names,
+  from the web) with names typed against `GST_STATES` (ONE list of state
+  names), `INDIA_STATE_NAMES`, `STATE_ALIASES`, `CITY_ALIASES`,
+  `findIndiaState`, `listedCityName`, `canonicalIndiaLocation`;
+  `ONBOARDING_DRAFT_RETENTION_DAYS` (90, from the backend's TTL);
+  `PHONE_DIGITS`.
+- **New, rules every side applies the same way:** `normalizePhone`,
+  `normalizeLinkUrl`, `tidyFullName`, `teamSizeDigits` (from the web);
+  `isRealIsoDate`, `todayInIndia`, `dateOfBirthBounds` (a picker's window,
+  exact at both ends), `isUnderAgeDateOfBirth` (the draft's age rule, from the
+  backend, now with the real-date check), `isoDateToDate` / `dateToIsoDate`;
+  `goalListSchema` / `skillListSchema` (one list rule for the finish and Me).
+- **New, from the answers to what is sent** (`domains/onboarding/
+  onboarding-answers`, from the web): `emptyOnboardingForm`, `ventureStarted`,
+  `onboardingDraftForStep` (exactly a step's own fields), and
+  `completeOnboardingBodyFrom` (the finish body: every unanswered optional
+  answer absent, each answer cleaned as above), with the
+  `CompleteOnboardingBodyCandidate` type; `locationStarted` (a place opened
+  but nothing chosen is "no location").
+- **New, the keys of shapes** (so no consumer lists them by hand):
+  `FOUNDER_LINK_KEYS` / `FounderLinkKey`, `VENTURE_KEYS` /
+  `VENTURE_OPTIONAL_KEYS` / `VentureKey`; types `IndiaLocation`, `IndiaState`,
+  `IndiaStateName`, `GoalCategory`.
+- **New message keys:** `guidelinesRequired`, `photoUnavailable`,
+  `ventureRequired`, `stateRequired`, `stateUnknown`, `goalsDuplicate`,
+  `skillsDuplicate`. Each client words them in the same change (a client
+  holding its words as `Record<ValidationMessageKey, string>` fails to build
+  until it does).
+- **Stricter:**
+  - every location WRITE (`completeOnboardingBodySchema`,
+    `updateFounderProfileBodySchema`, `updateMyPersonalDetailsBodySchema`, and
+    the server's `suggestedLocationSchema`) is `indiaLocationSchema`: country
+    `India`, a state from the list (required: `stateRequired`; not on it:
+    `stateUnknown`; read in any common spelling, "KARNATAKA", "Orissa",
+    "Jammu & Kashmir", and kept as the list's name), a city. READS keep
+    `locationSchema`, so a place stored before this is read as it is;
+  - `businessType` / `legalStructure` without a `venture` are each refused ON
+    THEIR OWN FIELD (`ventureRequired`), on the finish body and the business
+    step; the backend used to drop them without a word, and the web dropped a
+    lone registration (hary's ruling: no silent drop). `ventureStarted` no
+    longer counts the type: it describes a business, it does not start one;
+  - `displayNameSchema` stores the name tidied (`tidyFullName`): every body
+    that writes a name, the Me patches included;
+  - goals and skills each once (`goalsDuplicate`, `skillsDuplicate`), on the
+    finish and the Me patch;
+  - the guidelines: a box left unticked is `guidelinesRequired` (it was
+    `guidelinesOutdated`, the words for an older text).
+- **Breaking:** `completeOnboardingBodySchema` and
+  `ONBOARDING_STEP_SCHEMAS.business` carry the venture rule (refinements), so
+  Zod 4.6 throws on `.pick`, `.omit`, `.partial` and `.merge` of them, and on
+  an `.extend` that overwrites a key. Read a field with `.shape.<field>`, and a
+  step's fields with `ONBOARDING_STEP_SCHEMAS.<step>` (picked before the rule;
+  the business slice carries it again). The web picked from the finish body in
+  three places (the `/dummy` showcase, at module scope, and two tests); they
+  read `.shape` now.
+- **Changed type:** `displayNameSchema` is a pipe (`.transform(tidyFullName)`),
+  no longer a `ZodString`, so `.min` / `.max` / `.regex` cannot be chained on
+  it. Nothing did; a length is read through the pipe.
+- **Breaking (no consumer reads it):** `FOUNDER_ONBOARDING_STEPS[i].helpKey`
+  is gone (there is no help line any more; the user, 2026-10-19), and
+  `labelKey` names the step's short label.
+- **Moved, same export name:** `suggestedLocationSchema` / `SuggestedLocation`
+  now come from `domains/location/india`.
+- **Deploy order: still the backend first.** A 0.16 web is refused a little
+  that it used to send, on its field: a place with no state (an old draft's,
+  or the 0.16 Me editor saving an OLD stateless place, which it sends without
+  one) at `location.state`. (It never sends a lone business type: its
+  `ventureStarted` counted the type, so a type on its own went with an empty
+  venture, refused at `venture.name` / `industry` / `stage` as on 0.16.) A
+  0.17 web needs the 0.17 backend for the photo. It reads the location
+  suggestion with the strict write shape, which takes a state in any common
+  spelling ("KARNATAKA"), so a 0.16 backend's answer is read unless it has no
+  state, or one the list does not know: then it is no suggestion.
+- **Rollback floor (also):** the 0.17 web on a backend rolled below 0.17 saves
+  no photo, and shows no suggestion where the old backend answered without a
+  state the list knows.
+- **Known, follow-up (hary, 2026-10-19), not in 0.17.0:**
+  - a step save racing a finish when the member has NO progress row (the TTL
+    deleted it while a tab stayed open) can leave a photo held for a finished
+    member, until the TTL takes that new row: the finish's update of a row
+    that is not there writes nothing, so the two transactions never conflict.
+    Fix: the finish upserts its completion stamp;
+  - finish's retry loop sets its result inside the transaction callback, so a
+    commit that fails and a retry that then meets a username clash could
+    answer success for a profile never committed. Fix: reset the result on
+    every attempt. Do both together: an 11000 on that upsert would otherwise
+    read as a username clash.
+
 ## Breaking in 0.16.0: onboarding in nine steps (2026-10-18)
 
 The user's rework of onboarding. The finish body takes the same answers plus one.
@@ -504,8 +736,8 @@ correction of something the backend, the web or the data already disagreed on.
 | `discoverFacetsSchema` options | `{ value, label, count }` | `{ value, count }` |
 | `updateUsernameBodySchema` | format only | format, and not reserved |
 
-Deprecated, removed in 0.3.0: `chatInvitationBodySchema` (use
-`openChatBodySchema`) and `chatInvitationSchema` (describes nothing that
+Deprecated in 0.2.0, kept until 0.18.0 removed them: `chatInvitationBodySchema`
+(use `openChatBodySchema`) and `chatInvitationSchema` (describes nothing that
 exists).
 
 ---
@@ -535,25 +767,36 @@ src/
   index.ts                 the public surface. Everything a consumer imports.
   env.ts                   env field builders, its own entry: `founder-schema/env`
   core/                    what every domain builds on (imports no domain)
-    limits.ts              every length, size and count limit, by name (imports nothing)
+    limits.ts              every length, size and count limit, by name, and India's
+                           offset and DAY_MS (imports nothing)
     validation.ts          message keys, the wire shape of an issue, toValidationIssues
     errors.ts              every API error code (API_ERROR_CODE_VALUES)
     common.ts              usernames (and the reserved list), the enums, URLs, phone,
-                           location, coordinates, pagination
-    responses.ts           success / error / paginated / { id } envelopes
+                           location, coordinates, pagination, eachOnce, YouTube links
+    responses.ts           success / error / paginated / { id } envelopes, QueryArgs
+    money.ts               rupees(): paise as people read them
   access/                  who may do what (CASL's words, shared by server and web)
     roles.ts               the roles, who may grant which, the active-role window
     permissions.ts         actions, subjects, the fields a rule may name, AppAbility
     access.ts              GET /me/access, switching role, the MPIN
-  domains/<domain>/        one folder per product area: its bodies, params and answers
-    account/ audit/ chat/ discover/ feed/ onboarding/ profile/ team/ uploads/
+    standing.ts            viewer / member (staff count as members), the refusal reasons
+    capabilities.ts        powers given to selected members (create_communities), who grants them
+  domains/<domain>/        one folder per product area: its bodies, params, answers
+                           and the rules both sides apply
+    account/ audit/ billing/ chat/ communities/ contributions/ dashboard/
+    discover/ feed/ location/ media/ members/ membership/ moderation/
+    notifications/ onboarding/ products/ profile/ reviews/ support/ team/
+    uploads/ waitlist/
 tests/
+  the domains' own tests, plus:
   ssot.test.ts           derived not copied, no body coercion, URLs, uploads, codes
+  ssot-0-18.test.ts      the 0.18.0 audit: each rule moved here, on the rule
   validation.test.ts     keys not sentences, no input leaves, limits applied
   onboarding-steps.test.ts  steps, step schemas and the finish body agree
   responses.test.ts      the envelopes, pinned
   access.test.ts         roles, the grant table, the MPIN, rules across the wire
-  public-surface.test.ts export-removal tripwire + the values the database is pinned to
+  public-surface.test.ts export-removal tripwire, the 0.18.0 removals, and the
+                         values the database is pinned to
 ```
 
 A consumer imports from the package root and never from a deep path:
@@ -591,9 +834,10 @@ cannot see it and the request looks correct in the network tab. Build a write bo
 as its own object with no defaults, and have the client send only the keys the
 member actually changed.
 
-**A default inside a nested object is the same trap one level down.** A patch
-carrying `{ location: { city: 'Berlin' } }` picks up `country: 'India'` from
-`locationSchema`.
+**A default inside a nested object is the same trap one level down.** A write
+body never fills a nested field in: `locationSchema` has no default country
+since it was removed, and a place is WRITTEN through `indiaLocationSchema`,
+whole.
 
 **A patch field the member can clear has three states, not two.** Absent means
 do not touch. `null` means clear, and the backend maps it to `$unset`. An empty

package/dist/access/access.d.ts

@@ -49,7 +49,7 @@ export declare const meAccessResponseSchema: z.ZodObject<{
         viewer: "viewer";
         member: "member";
     }>;
-    rules: z.ZodArray<z.ZodArray<z.ZodUnknown>>;
+    rules: z.ZodArray<z.ZodUnion<readonly [z.ZodTuple<[z.ZodString, z.ZodString], null>, z.ZodTuple<[z.ZodString, z.ZodString, z.ZodUnknown], null>, z.ZodTuple<[z.ZodString, z.ZodString, z.ZodUnknown, z.ZodLiteral<1>], null>, z.ZodTuple<[z.ZodString, z.ZodString, z.ZodUnknown, z.ZodUnion<readonly [z.ZodLiteral<0>, z.ZodLiteral<1>]>, z.ZodString], null>, z.ZodTuple<[z.ZodString, z.ZodString, z.ZodUnknown, z.ZodUnion<readonly [z.ZodLiteral<0>, z.ZodLiteral<1>]>, z.ZodUnion<readonly [z.ZodString, z.ZodLiteral<0>]>, z.ZodString], null>]>>;
 }, z.core.$strip>;
 export type MeAccessResponse = z.infer<typeof meAccessResponseSchema>;
 /** `PUT /me/active-role`. Back to member needs nothing; any staff role needs the MPIN. */

package/dist/access/access.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"access.d.ts","sourceRoot":"","sources":["../../src/access/access.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;GAqBG;AAEH,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAMxB,eAAO,MAAM,WAAW,IAAI,CAAC;AAC7B,yCAAyC;AACzC,eAAO,MAAM,iBAAiB,IAAI,CAAC;AACnC,2CAA2C;AAC3C,eAAO,MAAM,YAAY,QAAiB,CAAC;AAE3C,eAAO,MAAM,UAAU,aAA8D,CAAC;AAEtF,2DAA2D;AAC3D,eAAO,MAAM,sBAAsB;;;;;;;;;;;;;;;;;;;;;;iBAiBjC,CAAC;AACH,MAAM,MAAM,gBAAgB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,sBAAsB,CAAC,CAAC;AAEtE,0FAA0F;AAC1F,eAAO,MAAM,oBAAoB;;;;;;;;;iBAQ7B,CAAC;AACL,MAAM,MAAM,cAAc,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,oBAAoB,CAAC,CAAC;AAMlE,oDAAoD;AACpD,eAAO,MAAM,iBAAiB;;;iBAEA,CAAC;AAC/B,MAAM,MAAM,WAAW,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,iBAAiB,CAAC,CAAC;AAE5D,sEAAsE;AACtE,eAAO,MAAM,oBAAoB;;;;iBAEH,CAAC;AAC/B,MAAM,MAAM,cAAc,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,oBAAoB,CAAC,CAAC"}
+{"version":3,"file":"access.d.ts","sourceRoot":"","sources":["../../src/access/access.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;GAqBG;AAEH,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAMxB,eAAO,MAAM,WAAW,IAAI,CAAC;AAC7B,yCAAyC;AACzC,eAAO,MAAM,iBAAiB,IAAI,CAAC;AACnC,2CAA2C;AAC3C,eAAO,MAAM,YAAY,QAAiB,CAAC;AAE3C,eAAO,MAAM,UAAU,aAG0B,CAAC;AAElD,2DAA2D;AAC3D,eAAO,MAAM,sBAAsB;;;;;;;;;;;;;;;;;;;;;;iBAiBjC,CAAC;AACH,MAAM,MAAM,gBAAgB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,sBAAsB,CAAC,CAAC;AAEtE,0FAA0F;AAC1F,eAAO,MAAM,oBAAoB;;;;;;;;;iBAQ7B,CAAC;AACL,MAAM,MAAM,cAAc,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,oBAAoB,CAAC,CAAC;AAMlE,oDAAoD;AACpD,eAAO,MAAM,iBAAiB;;;iBAEA,CAAC;AAC/B,MAAM,MAAM,WAAW,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,iBAAiB,CAAC,CAAC;AAE5D,sEAAsE;AACtE,eAAO,MAAM,oBAAoB;;;;iBAEH,CAAC;AAC/B,MAAM,MAAM,cAAc,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,oBAAoB,CAAC,CAAC"}

package/dist/access/access.js

@@ -30,7 +30,10 @@ export const MPIN_LENGTH = 6;
 export const MPIN_MAX_ATTEMPTS = 5;
 /** How long a locked MPIN stays locked. */
 export const MPIN_LOCK_MS = 15 * 60 * 1000;
-export const mpinSchema = z.string().regex(/^\d{6}$/, VALIDATION_MESSAGE.mpinInvalid);
+export const mpinSchema = z
+    .string()
+    .length(MPIN_LENGTH, VALIDATION_MESSAGE.mpinInvalid)
+    .regex(/^\d+$/, VALIDATION_MESSAGE.mpinInvalid);
 /** The answer to `GET /me/access`, and to every switch. */
 export const meAccessResponseSchema = z.object({
     /** Every role held, member always among them, highest first. */

package/dist/access/access.js.map

@@ -1 +1 @@
-{"version":3,"file":"access.js","sourceRoot":"","sources":["../../src/access/access.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;GAqBG;AAEH,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,EAAE,kBAAkB,EAAE,MAAM,uBAAuB,CAAC;AAC3D,OAAO,EAAE,iBAAiB,EAAE,MAAM,kBAAkB,CAAC;AACrD,OAAO,EAAE,WAAW,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AACrD,OAAO,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AAE/C,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,CAAC;AAC7B,yCAAyC;AACzC,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC,CAAC;AACnC,2CAA2C;AAC3C,MAAM,CAAC,MAAM,YAAY,GAAG,EAAE,GAAG,EAAE,GAAG,IAAI,CAAC;AAE3C,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,CAAC,MAAM,EAAE,CAAC,KAAK,CAAC,SAAS,EAAE,kBAAkB,CAAC,WAAW,CAAC,CAAC;AAEtF,2DAA2D;AAC3D,MAAM,CAAC,MAAM,sBAAsB,GAAG,CAAC,CAAC,MAAM,CAAC;IAC7C,gEAAgE;IAChE,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IACjC,6EAA6E;IAC7E,UAAU,EAAE,UAAU;IACtB,uFAAuF;IACvF,mBAAmB,EAAE,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC,QAAQ,EAAE;IAChD,4FAA4F;IAC5F,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE;IACpB;;;;OAIG;IACH,QAAQ,EAAE,cAAc;IACxB,wFAAwF;IACxF,KAAK,EAAE,iBAAiB;CACzB,CAAC,CAAC;AAGH,0FAA0F;AAC1F,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAAC;KAClC,MAAM,CAAC;IACN,IAAI,EAAE,UAAU;IAChB,IAAI,EAAE,UAAU,CAAC,QAAQ,EAAE;CAC5B,CAAC;KACD,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,WAAW,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE;IACtE,IAAI,EAAE,CAAC,MAAM,CAAC;IACd,KAAK,EAAE,kBAAkB,CAAC,YAAY;CACvC,CAAC,CAAC;AAGL,MAAM,SAAS,GAAG,CAAkD,IAAO,EAAE,EAAE,CAC7E,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,WAAW,CAAC;AACjC,MAAM,QAAQ,GAAG,EAAE,IAAI,EAAE,CAAC,aAAa,CAAC,EAAE,KAAK,EAAE,kBAAkB,CAAC,YAAY,EAAE,CAAC;AAEnF,oDAAoD;AACpD,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC;KAC/B,MAAM,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,WAAW,EAAE,UAAU,EAAE,CAAC;KACrD,MAAM,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAC;AAG/B,sEAAsE;AACtE,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAAC;KAClC,MAAM,CAAC,EAAE,WAAW,EAAE,UAAU,EAAE,IAAI,EAAE,UAAU,EAAE,WAAW,EAAE,UAAU,EAAE,CAAC;KAC9E,MAAM,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAC","sourcesContent":["/**\n * founder-schema: the access API\n *\n *   GET  /api/v1/me/access        who I am acting as, what I hold, my rules\n *   PUT  /api/v1/me/active-role   switch role (a staff role needs the MPIN)\n *   POST /api/v1/me/mpin          set the MPIN, once\n *   PUT  /api/v1/me/mpin          change it, with the current one\n *\n * THE MPIN is a 6-digit code that stands between a signed-in member and their\n * staff roles. Signing in proves who you are; the MPIN proves it is still you\n * at the moment you pick up admin powers, on a phone that may have been left\n * unlocked. Set once by its owner; a forgotten one is cleared by a superadmin\n * (an audited action), after which the owner sets a new one. `MPIN_MAX_ATTEMPTS`\n * wrong tries lock it for `MPIN_LOCK_MS`.\n *\n * THE ACTIVE ROLE is per account (the user's ruling, 2026-10-05): switching on\n * one device switches every device. It lasts `ACTIVE_ROLE_TTL_MS`, and the\n * server re-checks it on EVERY request: a role that was revoked, or that\n * expired, is acting as a member again at once, not at the next sign-in.\n *\n * @module founder-schema/access/access\n */\n\nimport { z } from 'zod';\nimport { VALIDATION_MESSAGE } from '../core/validation.js';\nimport { packedRulesSchema } from './permissions.js';\nimport { MEMBER_ROLE, roleSchema } from './roles.js';\nimport { standingSchema } from './standing.js';\n\nexport const MPIN_LENGTH = 6;\n/** Wrong tries before the MPIN locks. */\nexport const MPIN_MAX_ATTEMPTS = 5;\n/** How long a locked MPIN stays locked. */\nexport const MPIN_LOCK_MS = 15 * 60 * 1000;\n\nexport const mpinSchema = z.string().regex(/^\\d{6}$/, VALIDATION_MESSAGE.mpinInvalid);\n\n/** The answer to `GET /me/access`, and to every switch. */\nexport const meAccessResponseSchema = z.object({\n  /** Every role held, member always among them, highest first. */\n  roles: z.array(roleSchema).min(1),\n  /** The role being acted as now. Member when no staff role is switched on. */\n  activeRole: roleSchema,\n  /** When the active staff role lapses back to member. Null while acting as a member. */\n  activeRoleExpiresAt: z.iso.datetime().nullable(),\n  /** Whether an MPIN is set, so the switcher knows to ask for one or to offer setting one. */\n  mpinSet: z.boolean(),\n  /**\n   * Whether they take part or only look (0.12.0, `access/standing`). The\n   * rules already say what follows from it; this says it plainly, for the\n   * places that word it (\"Become a member to take part\").\n   */\n  standing: standingSchema,\n  /** The active role's permissions, packed (`packRules`), refusals with their reasons. */\n  rules: packedRulesSchema,\n});\nexport type MeAccessResponse = z.infer<typeof meAccessResponseSchema>;\n\n/** `PUT /me/active-role`. Back to member needs nothing; any staff role needs the MPIN. */\nexport const switchRoleBodySchema = z\n  .object({\n    role: roleSchema,\n    mpin: mpinSchema.optional(),\n  })\n  .refine((body) => body.role === MEMBER_ROLE || body.mpin !== undefined, {\n    path: ['mpin'],\n    error: VALIDATION_MESSAGE.mpinRequired,\n  });\nexport type SwitchRoleBody = z.infer<typeof switchRoleBodySchema>;\n\nconst confirmed = <T extends { mpin: string; confirmMpin: string }>(body: T) =>\n  body.mpin === body.confirmMpin;\nconst mismatch = { path: ['confirmMpin'], error: VALIDATION_MESSAGE.mpinMismatch };\n\n/** `POST /me/mpin`: the first MPIN, typed twice. */\nexport const setMpinBodySchema = z\n  .object({ mpin: mpinSchema, confirmMpin: mpinSchema })\n  .refine(confirmed, mismatch);\nexport type SetMpinBody = z.infer<typeof setMpinBodySchema>;\n\n/** `PUT /me/mpin`: the current MPIN, then the new one typed twice. */\nexport const changeMpinBodySchema = z\n  .object({ currentMpin: mpinSchema, mpin: mpinSchema, confirmMpin: mpinSchema })\n  .refine(confirmed, mismatch);\nexport type ChangeMpinBody = z.infer<typeof changeMpinBodySchema>;\n"]}
+{"version":3,"file":"access.js","sourceRoot":"","sources":["../../src/access/access.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;GAqBG;AAEH,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,EAAE,kBAAkB,EAAE,MAAM,uBAAuB,CAAC;AAC3D,OAAO,EAAE,iBAAiB,EAAE,MAAM,kBAAkB,CAAC;AACrD,OAAO,EAAE,WAAW,EAAE,UAAU,EAAE,MAAM,YAAY,CAAC;AACrD,OAAO,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AAE/C,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,CAAC;AAC7B,yCAAyC;AACzC,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC,CAAC;AACnC,2CAA2C;AAC3C,MAAM,CAAC,MAAM,YAAY,GAAG,EAAE,GAAG,EAAE,GAAG,IAAI,CAAC;AAE3C,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC;KACxB,MAAM,EAAE;KACR,MAAM,CAAC,WAAW,EAAE,kBAAkB,CAAC,WAAW,CAAC;KACnD,KAAK,CAAC,OAAO,EAAE,kBAAkB,CAAC,WAAW,CAAC,CAAC;AAElD,2DAA2D;AAC3D,MAAM,CAAC,MAAM,sBAAsB,GAAG,CAAC,CAAC,MAAM,CAAC;IAC7C,gEAAgE;IAChE,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;IACjC,6EAA6E;IAC7E,UAAU,EAAE,UAAU;IACtB,uFAAuF;IACvF,mBAAmB,EAAE,CAAC,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC,QAAQ,EAAE;IAChD,4FAA4F;IAC5F,OAAO,EAAE,CAAC,CAAC,OAAO,EAAE;IACpB;;;;OAIG;IACH,QAAQ,EAAE,cAAc;IACxB,wFAAwF;IACxF,KAAK,EAAE,iBAAiB;CACzB,CAAC,CAAC;AAGH,0FAA0F;AAC1F,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAAC;KAClC,MAAM,CAAC;IACN,IAAI,EAAE,UAAU;IAChB,IAAI,EAAE,UAAU,CAAC,QAAQ,EAAE;CAC5B,CAAC;KACD,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,KAAK,WAAW,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE;IACtE,IAAI,EAAE,CAAC,MAAM,CAAC;IACd,KAAK,EAAE,kBAAkB,CAAC,YAAY;CACvC,CAAC,CAAC;AAGL,MAAM,SAAS,GAAG,CAAkD,IAAO,EAAE,EAAE,CAC7E,IAAI,CAAC,IAAI,KAAK,IAAI,CAAC,WAAW,CAAC;AACjC,MAAM,QAAQ,GAAG,EAAE,IAAI,EAAE,CAAC,aAAa,CAAC,EAAE,KAAK,EAAE,kBAAkB,CAAC,YAAY,EAAE,CAAC;AAEnF,oDAAoD;AACpD,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC;KAC/B,MAAM,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,WAAW,EAAE,UAAU,EAAE,CAAC;KACrD,MAAM,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAC;AAG/B,sEAAsE;AACtE,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAAC;KAClC,MAAM,CAAC,EAAE,WAAW,EAAE,UAAU,EAAE,IAAI,EAAE,UAAU,EAAE,WAAW,EAAE,UAAU,EAAE,CAAC;KAC9E,MAAM,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAC","sourcesContent":["/**\n * founder-schema: the access API\n *\n *   GET  /api/v1/me/access        who I am acting as, what I hold, my rules\n *   PUT  /api/v1/me/active-role   switch role (a staff role needs the MPIN)\n *   POST /api/v1/me/mpin          set the MPIN, once\n *   PUT  /api/v1/me/mpin          change it, with the current one\n *\n * THE MPIN is a 6-digit code that stands between a signed-in member and their\n * staff roles. Signing in proves who you are; the MPIN proves it is still you\n * at the moment you pick up admin powers, on a phone that may have been left\n * unlocked. Set once by its owner; a forgotten one is cleared by a superadmin\n * (an audited action), after which the owner sets a new one. `MPIN_MAX_ATTEMPTS`\n * wrong tries lock it for `MPIN_LOCK_MS`.\n *\n * THE ACTIVE ROLE is per account (the user's ruling, 2026-10-05): switching on\n * one device switches every device. It lasts `ACTIVE_ROLE_TTL_MS`, and the\n * server re-checks it on EVERY request: a role that was revoked, or that\n * expired, is acting as a member again at once, not at the next sign-in.\n *\n * @module founder-schema/access/access\n */\n\nimport { z } from 'zod';\nimport { VALIDATION_MESSAGE } from '../core/validation.js';\nimport { packedRulesSchema } from './permissions.js';\nimport { MEMBER_ROLE, roleSchema } from './roles.js';\nimport { standingSchema } from './standing.js';\n\nexport const MPIN_LENGTH = 6;\n/** Wrong tries before the MPIN locks. */\nexport const MPIN_MAX_ATTEMPTS = 5;\n/** How long a locked MPIN stays locked. */\nexport const MPIN_LOCK_MS = 15 * 60 * 1000;\n\nexport const mpinSchema = z\n  .string()\n  .length(MPIN_LENGTH, VALIDATION_MESSAGE.mpinInvalid)\n  .regex(/^\\d+$/, VALIDATION_MESSAGE.mpinInvalid);\n\n/** The answer to `GET /me/access`, and to every switch. */\nexport const meAccessResponseSchema = z.object({\n  /** Every role held, member always among them, highest first. */\n  roles: z.array(roleSchema).min(1),\n  /** The role being acted as now. Member when no staff role is switched on. */\n  activeRole: roleSchema,\n  /** When the active staff role lapses back to member. Null while acting as a member. */\n  activeRoleExpiresAt: z.iso.datetime().nullable(),\n  /** Whether an MPIN is set, so the switcher knows to ask for one or to offer setting one. */\n  mpinSet: z.boolean(),\n  /**\n   * Whether they take part or only look (0.12.0, `access/standing`). The\n   * rules already say what follows from it; this says it plainly, for the\n   * places that word it (\"Become a member to take part\").\n   */\n  standing: standingSchema,\n  /** The active role's permissions, packed (`packRules`), refusals with their reasons. */\n  rules: packedRulesSchema,\n});\nexport type MeAccessResponse = z.infer<typeof meAccessResponseSchema>;\n\n/** `PUT /me/active-role`. Back to member needs nothing; any staff role needs the MPIN. */\nexport const switchRoleBodySchema = z\n  .object({\n    role: roleSchema,\n    mpin: mpinSchema.optional(),\n  })\n  .refine((body) => body.role === MEMBER_ROLE || body.mpin !== undefined, {\n    path: ['mpin'],\n    error: VALIDATION_MESSAGE.mpinRequired,\n  });\nexport type SwitchRoleBody = z.infer<typeof switchRoleBodySchema>;\n\nconst confirmed = <T extends { mpin: string; confirmMpin: string }>(body: T) =>\n  body.mpin === body.confirmMpin;\nconst mismatch = { path: ['confirmMpin'], error: VALIDATION_MESSAGE.mpinMismatch };\n\n/** `POST /me/mpin`: the first MPIN, typed twice. */\nexport const setMpinBodySchema = z\n  .object({ mpin: mpinSchema, confirmMpin: mpinSchema })\n  .refine(confirmed, mismatch);\nexport type SetMpinBody = z.infer<typeof setMpinBodySchema>;\n\n/** `PUT /me/mpin`: the current MPIN, then the new one typed twice. */\nexport const changeMpinBodySchema = z\n  .object({ currentMpin: mpinSchema, mpin: mpinSchema, confirmMpin: mpinSchema })\n  .refine(confirmed, mismatch);\nexport type ChangeMpinBody = z.infer<typeof changeMpinBodySchema>;\n"]}

package/dist/access/permissions.d.ts

@@ -15,9 +15,11 @@
  *
  * @module founder-schema/access/permissions
  */
-import type { ForcedSubject, MongoAbility } from '@casl/ability';
+import type { ForcedSubject, MongoAbility, RawRuleOf } from '@casl/ability';
 import { z } from 'zod';
-import type { PurchaseKind } from '../domains/billing/billing.js';
+import type { OrderStatus, PurchaseKind } from '../domains/billing/billing.js';
+import type { CommunitySuggestionStatus } from '../domains/communities/communities.js';
+import type { ReportStatus } from '../domains/feed/feed.js';
 import type { PlatformRole } from './roles.js';
 import type { Standing } from './standing.js';
 /**
@@ -48,26 +50,7 @@ import type { Standing } from './standing.js';
  * Append only: a stored or packed rule names these.
  */
 export declare const ACTION_VALUES: readonly ["manage", "create", "read", "update", "delete", "moderate", "assign", "suspend", "resolve", "reset", "represent", "react", "vote", "save", "join", "message", "refund"];
-export declare const actionSchema: z.ZodEnum<{
-    join: "join";
-    message: "message";
-    manage: "manage";
-    create: "create";
-    read: "read";
-    update: "update";
-    delete: "delete";
-    moderate: "moderate";
-    assign: "assign";
-    suspend: "suspend";
-    resolve: "resolve";
-    reset: "reset";
-    represent: "represent";
-    react: "react";
-    vote: "vote";
-    save: "save";
-    refund: "refund";
-}>;
-export type Action = z.infer<typeof actionSchema>;
+export type Action = (typeof ACTION_VALUES)[number];
 /**
  * The things.
  *
@@ -160,7 +143,7 @@ export interface SubjectFields {
     };
     Report: {
         reporterId: string;
-        status: string;
+        status: ReportStatus;
     };
     SupportTicket: {
         memberId: string;
@@ -205,7 +188,7 @@ export interface SubjectFields {
     /** `suggestedBy` so "your own" is a rule; `status` so only open ones are decided. */
     CommunitySuggestion: {
         suggestedBy: string;
-        status: string;
+        status: CommunitySuggestionStatus;
     };
     /** Whose membership (0.12.0), so "never your own" is a rule. */
     Membership: {
@@ -218,7 +201,7 @@ export interface SubjectFields {
      */
     Payment: {
         userId: string;
-        status: string;
+        status: OrderStatus;
         kind: PurchaseKind;
     };
     /** Coupons are the platform's (0.12.0): no condition is ever written on one. */
@@ -241,11 +224,26 @@ type Same<A, B> = [A] extends [B] ? ([B] extends [A] ? true : false) : false;
 type Assert<T extends true> = T;
 export type EverySubjectHasFields = Assert<Same<keyof SubjectFields, Exclude<Subject, 'all'>>>;
 /**
- * Rules as they cross the wire: CASL's `packRules` output, an array of
- * compact arrays. The web unpacks them with `unpackRules` before building its
- * ability; their inner shape is CASL's, so it is not re-described here.
+ * One packed rule, in exactly the shapes CASL's `PackRule` takes (a union of
+ * tuples, not a rest: `unpackRules` needs one of these), with `conditions` as
+ * `unknown`, which `isAppRawRule` and the ability itself then judge.
  */
-export declare const packedRulesSchema: z.ZodArray<z.ZodArray<z.ZodUnknown>>;
+export declare const packedRuleSchema: z.ZodUnion<readonly [z.ZodTuple<[z.ZodString, z.ZodString], null>, z.ZodTuple<[z.ZodString, z.ZodString, z.ZodUnknown], null>, z.ZodTuple<[z.ZodString, z.ZodString, z.ZodUnknown, z.ZodLiteral<1>], null>, z.ZodTuple<[z.ZodString, z.ZodString, z.ZodUnknown, z.ZodUnion<readonly [z.ZodLiteral<0>, z.ZodLiteral<1>]>, z.ZodString], null>, z.ZodTuple<[z.ZodString, z.ZodString, z.ZodUnknown, z.ZodUnion<readonly [z.ZodLiteral<0>, z.ZodLiteral<1>]>, z.ZodUnion<readonly [z.ZodString, z.ZodLiteral<0>]>, z.ZodString], null>]>;
+export declare const packedRulesSchema: z.ZodArray<z.ZodUnion<readonly [z.ZodTuple<[z.ZodString, z.ZodString], null>, z.ZodTuple<[z.ZodString, z.ZodString, z.ZodUnknown], null>, z.ZodTuple<[z.ZodString, z.ZodString, z.ZodUnknown, z.ZodLiteral<1>], null>, z.ZodTuple<[z.ZodString, z.ZodString, z.ZodUnknown, z.ZodUnion<readonly [z.ZodLiteral<0>, z.ZodLiteral<1>]>, z.ZodString], null>, z.ZodTuple<[z.ZodString, z.ZodString, z.ZodUnknown, z.ZodUnion<readonly [z.ZodLiteral<0>, z.ZodLiteral<1>]>, z.ZodUnion<readonly [z.ZodString, z.ZodLiteral<0>]>, z.ZodString], null>]>>;
 export type PackedRules = z.infer<typeof packedRulesSchema>;
+/** One rule as CASL's `unpackRules` gives it back, typed for this app. */
+export type AppRawRule = RawRuleOf<AppAbility>;
+/**
+ * Whether an UNPACKED rule names only this app's actions and subjects
+ * (0.18.0). Packed rules cross the wire as strings (`packRules` joins several
+ * actions or subjects with commas, so the wire shape cannot be an enum); this
+ * is the check that turns them back into `AppRawRule`s, with no cast:
+ * `rules.every(isAppRawRule)` narrows the list, and a list that fails is a
+ * contract mismatch, never an ability built from it.
+ */
+export declare function isAppRawRule(rule: {
+    action: string | string[];
+    subject?: string | string[];
+}): rule is AppRawRule;
 export {};
 //# sourceMappingURL=permissions.d.ts.map

package/dist/access/permissions.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"permissions.d.ts","sourceRoot":"","sources":["../../src/access/permissions.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAEH,OAAO,KAAK,EAAE,aAAa,EAAE,YAAY,EAAE,MAAM,eAAe,CAAC;AACjE,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,+BAA+B,CAAC;AAClE,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAC/C,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAC;AAE9C;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AACH,eAAO,MAAM,aAAa,mLAkBhB,CAAC;AACX,eAAO,MAAM,YAAY;;;;;;;;;;;;;;;;;;EAAwB,CAAC;AAClD,MAAM,MAAM,MAAM,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,YAAY,CAAC,CAAC;AAElD;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,eAAO,MAAM,cAAc,6QAqBjB,CAAC;AACX,eAAO,MAAM,aAAa;;;;;;;;;;;;;;;;;;;;;EAAyB,CAAC;AACpD,MAAM,MAAM,OAAO,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,aAAa,CAAC,CAAC;AAEpD;;;;;;;;;GASG;AACH,MAAM,WAAW,aAAa;IAC5B,SAAS,EAAE,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IAChC;;;;;;;;;;;;OAYG;IACH,MAAM,EAAE;QACN,GAAG,EAAE,MAAM,CAAC;QACZ,QAAQ,EAAE,YAAY,EAAE,CAAC;QACzB,OAAO,CAAC,EAAE,OAAO,CAAC;QAClB,QAAQ,CAAC,EAAE,QAAQ,CAAC;QACpB,gBAAgB,CAAC,EAAE,OAAO,CAAC;KAC5B,CAAC;IACF,cAAc,EAAE;QAAE,MAAM,EAAE,MAAM,CAAA;KAAE,CAAC;IACnC,IAAI,EAAE;QAAE,QAAQ,EAAE,MAAM,CAAA;KAAE,CAAC;IAC3B,IAAI,EAAE;QAAE,QAAQ,EAAE,MAAM,CAAA;KAAE,CAAC;IAC3B,OAAO,EAAE;QAAE,QAAQ,EAAE,MAAM,CAAA;KAAE,CAAC;IAC9B,MAAM,EAAE;QAAE,UAAU,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAE,CAAC;IAC/C,aAAa,EAAE;QAAE,QAAQ,EAAE,MAAM,CAAC;QAAC,UAAU,EAAE,MAAM,GAAG,IAAI,CAAA;KAAE,CAAC;IAC/D,UAAU,EAAE;QAAE,QAAQ,EAAE,MAAM,CAAA;KAAE,CAAC;IACjC,sFAAsF;IACtF,YAAY,EAAE;QAAE,IAAI,EAAE,YAAY,CAAC;QAAC,QAAQ,EAAE,MAAM,CAAA;KAAE,CAAC;IACvD,4DAA4D;IAC5D,UAAU,EAAE;QAAE,OAAO,EAAE,MAAM,GAAG,IAAI,CAAA;KAAE,CAAC;IACvC,gBAAgB,EAAE,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IACvC;;;;OAIG;IACH,OAAO,EAAE;QAAE,OAAO,EAAE,MAAM,CAAC;QAAC,UAAU,EAAE,MAAM,EAAE,CAAC;QAAC,SAAS,EAAE,MAAM,EAAE,CAAA;KAAE,CAAC;IACxE,MAAM,EAAE;QAAE,QAAQ,EAAE,MAAM,CAAA;KAAE,CAAC;IAC7B;;;;OAIG;IACH,SAAS,EAAE;QAAE,GAAG,EAAE,MAAM,CAAC;QAAC,QAAQ,EAAE,MAAM,EAAE,CAAC;QAAC,YAAY,EAAE,MAAM,EAAE,CAAA;KAAE,CAAC;IACvE,qFAAqF;IACrF,mBAAmB,EAAE;QAAE,WAAW,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAA;KAAE,CAAC;IAC7D,gEAAgE;IAChE,UAAU,EAAE;QAAE,MAAM,EAAE,MAAM,CAAA;KAAE,CAAC;IAC/B;;;;OAIG;IACH,OAAO,EAAE;QAAE,MAAM,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,MAAM,CAAC;QAAC,IAAI,EAAE,YAAY,CAAA;KAAE,CAAC;IAChE,gFAAgF;IAChF,MAAM,EAAE,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;CAC9B;AAED,2FAA2F;AAC3F,MAAM,MAAM,eAAe,GAAG;KAC3B,CAAC,IAAI,MAAM,aAAa,GAAG,aAAa,CAAC,CAAC,CAAC,GAAG,aAAa,CAAC,CAAC,CAAC;CAChE,CAAC,MAAM,aAAa,CAAC,CAAC;AAEvB;;;GAGG;AACH,MAAM,MAAM,UAAU,GAAG,YAAY,CAAC,CAAC,MAAM,EAAE,OAAO,GAAG,eAAe,CAAC,CAAC,CAAC;AAE3E;;;GAGG;AACH,KAAK,IAAI,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,IAAI,GAAG,KAAK,CAAC,GAAG,KAAK,CAAC;AAC7E,KAAK,MAAM,CAAC,CAAC,SAAS,IAAI,IAAI,CAAC,CAAC;AAChC,MAAM,MAAM,qBAAqB,GAAG,MAAM,CAAC,IAAI,CAAC,MAAM,aAAa,EAAE,OAAO,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;AAE/F;;;;GAIG;AACH,eAAO,MAAM,iBAAiB,sCAAgC,CAAC;AAC/D,MAAM,MAAM,WAAW,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,iBAAiB,CAAC,CAAC"}
+{"version":3,"file":"permissions.d.ts","sourceRoot":"","sources":["../../src/access/permissions.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAEH,OAAO,KAAK,EAAE,aAAa,EAAE,YAAY,EAAE,SAAS,EAAE,MAAM,eAAe,CAAC;AAC5E,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,KAAK,EAAE,WAAW,EAAE,YAAY,EAAE,MAAM,+BAA+B,CAAC;AAC/E,OAAO,KAAK,EAAE,yBAAyB,EAAE,MAAM,uCAAuC,CAAC;AACvF,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,yBAAyB,CAAC;AAC5D,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,YAAY,CAAC;AAC/C,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAC;AAE9C;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AACH,eAAO,MAAM,aAAa,mLAkBhB,CAAC;AACX,MAAM,MAAM,MAAM,GAAG,CAAC,OAAO,aAAa,CAAC,CAAC,MAAM,CAAC,CAAC;AAEpD;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,eAAO,MAAM,cAAc,6QAqBjB,CAAC;AACX,eAAO,MAAM,aAAa;;;;;;;;;;;;;;;;;;;;;EAAyB,CAAC;AACpD,MAAM,MAAM,OAAO,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,aAAa,CAAC,CAAC;AAEpD;;;;;;;;;GASG;AACH,MAAM,WAAW,aAAa;IAC5B,SAAS,EAAE,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IAChC;;;;;;;;;;;;OAYG;IACH,MAAM,EAAE;QACN,GAAG,EAAE,MAAM,CAAC;QACZ,QAAQ,EAAE,YAAY,EAAE,CAAC;QACzB,OAAO,CAAC,EAAE,OAAO,CAAC;QAClB,QAAQ,CAAC,EAAE,QAAQ,CAAC;QACpB,gBAAgB,CAAC,EAAE,OAAO,CAAC;KAC5B,CAAC;IACF,cAAc,EAAE;QAAE,MAAM,EAAE,MAAM,CAAA;KAAE,CAAC;IACnC,IAAI,EAAE;QAAE,QAAQ,EAAE,MAAM,CAAA;KAAE,CAAC;IAC3B,IAAI,EAAE;QAAE,QAAQ,EAAE,MAAM,CAAA;KAAE,CAAC;IAC3B,OAAO,EAAE;QAAE,QAAQ,EAAE,MAAM,CAAA;KAAE,CAAC;IAC9B,MAAM,EAAE;QAAE,UAAU,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,YAAY,CAAA;KAAE,CAAC;IACrD,aAAa,EAAE;QAAE,QAAQ,EAAE,MAAM,CAAC;QAAC,UAAU,EAAE,MAAM,GAAG,IAAI,CAAA;KAAE,CAAC;IAC/D,UAAU,EAAE;QAAE,QAAQ,EAAE,MAAM,CAAA;KAAE,CAAC;IACjC,sFAAsF;IACtF,YAAY,EAAE;QAAE,IAAI,EAAE,YAAY,CAAC;QAAC,QAAQ,EAAE,MAAM,CAAA;KAAE,CAAC;IACvD,4DAA4D;IAC5D,UAAU,EAAE;QAAE,OAAO,EAAE,MAAM,GAAG,IAAI,CAAA;KAAE,CAAC;IACvC,gBAAgB,EAAE,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IACvC;;;;OAIG;IACH,OAAO,EAAE;QAAE,OAAO,EAAE,MAAM,CAAC;QAAC,UAAU,EAAE,MAAM,EAAE,CAAC;QAAC,SAAS,EAAE,MAAM,EAAE,CAAA;KAAE,CAAC;IACxE,MAAM,EAAE;QAAE,QAAQ,EAAE,MAAM,CAAA;KAAE,CAAC;IAC7B;;;;OAIG;IACH,SAAS,EAAE;QAAE,GAAG,EAAE,MAAM,CAAC;QAAC,QAAQ,EAAE,MAAM,EAAE,CAAC;QAAC,YAAY,EAAE,MAAM,EAAE,CAAA;KAAE,CAAC;IACvE,qFAAqF;IACrF,mBAAmB,EAAE;QAAE,WAAW,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,yBAAyB,CAAA;KAAE,CAAC;IAChF,gEAAgE;IAChE,UAAU,EAAE;QAAE,MAAM,EAAE,MAAM,CAAA;KAAE,CAAC;IAC/B;;;;OAIG;IACH,OAAO,EAAE;QAAE,MAAM,EAAE,MAAM,CAAC;QAAC,MAAM,EAAE,WAAW,CAAC;QAAC,IAAI,EAAE,YAAY,CAAA;KAAE,CAAC;IACrE,gFAAgF;IAChF,MAAM,EAAE,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;CAC9B;AAED,2FAA2F;AAC3F,MAAM,MAAM,eAAe,GAAG;KAC3B,CAAC,IAAI,MAAM,aAAa,GAAG,aAAa,CAAC,CAAC,CAAC,GAAG,aAAa,CAAC,CAAC,CAAC;CAChE,CAAC,MAAM,aAAa,CAAC,CAAC;AAEvB;;;GAGG;AACH,MAAM,MAAM,UAAU,GAAG,YAAY,CAAC,CAAC,MAAM,EAAE,OAAO,GAAG,eAAe,CAAC,CAAC,CAAC;AAE3E;;;GAGG;AACH,KAAK,IAAI,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,IAAI,GAAG,KAAK,CAAC,GAAG,KAAK,CAAC;AAC7E,KAAK,MAAM,CAAC,CAAC,SAAS,IAAI,IAAI,CAAC,CAAC;AAChC,MAAM,MAAM,qBAAqB,GAAG,MAAM,CAAC,IAAI,CAAC,MAAM,aAAa,EAAE,OAAO,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC;AAW/F;;;;GAIG;AACH,eAAO,MAAM,gBAAgB,ugBAa3B,CAAC;AACH,eAAO,MAAM,iBAAiB,mhBAA4B,CAAC;AAC3D,MAAM,MAAM,WAAW,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,iBAAiB,CAAC,CAAC;AAE5D,0EAA0E;AAC1E,MAAM,MAAM,UAAU,GAAG,SAAS,CAAC,UAAU,CAAC,CAAC;AAO/C;;;;;;;GAOG;AACH,wBAAgB,YAAY,CAAC,IAAI,EAAE;IACjC,MAAM,EAAE,MAAM,GAAG,MAAM,EAAE,CAAC;IAC1B,OAAO,CAAC,EAAE,MAAM,GAAG,MAAM,EAAE,CAAC;CAC7B,GAAG,IAAI,IAAI,UAAU,CAErB"}

package/dist/access/permissions.js

@@ -62,7 +62,6 @@ export const ACTION_VALUES = [
     'message',
     'refund',
 ];
-export const actionSchema = z.enum(ACTION_VALUES);
 /**
  * The things.
  *
@@ -111,7 +110,44 @@ export const subjectSchema = z.enum(SUBJECT_VALUES);
 /**
  * Rules as they cross the wire: CASL's `packRules` output, an array of
  * compact arrays. The web unpacks them with `unpackRules` before building its
- * ability; their inner shape is CASL's, so it is not re-described here.
+ * ability. Each starts with its action(s) and subject(s), comma-joined
+ * strings (checked, 0.18.0: an unchecked rule list could silently turn staff
+ * routing off); what follows (conditions, inverted, fields, reason) is CASL's
+ * own compact form.
  */
-export const packedRulesSchema = z.array(z.array(z.unknown()));
+const zeroOrOne = z.union([z.literal(0), z.literal(1)]);
+/**
+ * One packed rule, in exactly the shapes CASL's `PackRule` takes (a union of
+ * tuples, not a rest: `unpackRules` needs one of these), with `conditions` as
+ * `unknown`, which `isAppRawRule` and the ability itself then judge.
+ */
+export const packedRuleSchema = z.union([
+    z.tuple([z.string().min(1), z.string().min(1)]),
+    z.tuple([z.string().min(1), z.string().min(1), z.unknown()]),
+    z.tuple([z.string().min(1), z.string().min(1), z.unknown(), z.literal(1)]),
+    z.tuple([z.string().min(1), z.string().min(1), z.unknown(), zeroOrOne, z.string()]),
+    z.tuple([
+        z.string().min(1),
+        z.string().min(1),
+        z.unknown(),
+        zeroOrOne,
+        z.union([z.string(), z.literal(0)]),
+        z.string(),
+    ]),
+]);
+export const packedRulesSchema = z.array(packedRuleSchema);
+const ACTION_SET = new Set(ACTION_VALUES);
+const SUBJECT_SET = new Set(SUBJECT_VALUES);
+const everyIn = (value, known) => value !== undefined && (Array.isArray(value) ? value : [value]).every((v) => known.has(v));
+/**
+ * Whether an UNPACKED rule names only this app's actions and subjects
+ * (0.18.0). Packed rules cross the wire as strings (`packRules` joins several
+ * actions or subjects with commas, so the wire shape cannot be an enum); this
+ * is the check that turns them back into `AppRawRule`s, with no cast:
+ * `rules.every(isAppRawRule)` narrows the list, and a list that fails is a
+ * contract mismatch, never an ability built from it.
+ */
+export function isAppRawRule(rule) {
+    return everyIn(rule.action, ACTION_SET) && everyIn(rule.subject, SUBJECT_SET);
+}
 //# sourceMappingURL=permissions.js.map