founder-schema 0.17.0 → 0.19.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
@@ -94,15 +94,172 @@ SAME schema object, so the two can never disagree about what is allowed.
   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 `locationPickSchema` to WRITE one (area ids, 0.19.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.19.0: location is Jansathi's model (2026-10-22)
+
+The user, 2026-10-21/22: Jansathi's location drawer (state, then district, then
+locality, from `master_db.areas`) and its whole location model ("just copy
+paste things from jansathi"). Plan, Jansathi analysis and rulings:
+`founder-circle/LOCATION-PLAN-2026-10-21.md`. Contract:
+`src/domains/location/areas.ts`.
+
+**Removed** (listed in `public-surface.test.ts`, `REMOVED_IN_0_19`):
+`indiaLocationSchema` (a typed city and state is no longer a write),
+`suggestedLocationSchema` and `coordinatesQuerySchema` (`GET
+/location/areas/reverse` is gone; GPS goes to `POST /me/geolocation`).
+
+**Changed on the wire:**
+- A location is WRITTEN as area ids, `locationPickSchema`
+  `{ stateId, districtId, localityId | null }` (`null`: "my locality is not
+  listed", the whole district): onboarding's finish and
+  `PATCH /profiles/me/personal`. The server names the place, the public city
+  (`publicCityOf`: the town the member is in, else their district, cleaned by
+  `townName` and spelled as the state's list spells it; Discover's city filter
+  is unchanged) and its coordinates from `master_db`. Refusals:
+  `stateRequired`, `districtRequired`, `localityRequired`, `areaNotListed`,
+  `stateUnknown`, each on its id.
+- The onboarding draft's `location` is a `Place` (names and ids). A draft saved
+  before 0.19.0 holds a typed place, which names no area: it reads as not
+  answered.
+- The owner's profile (`GET /profiles/me`) carries `place`; no card, member page
+  or staff view does. Other members still read `location` (city, state,
+  country), unchanged.
+- New: `GET /location/areas/states|districts|localities` (`areaListSchema`,
+  `areaPageSchema`, `LOCALITY_PAGE_SIZE`), and `POST /me/geolocation`
+  (`geolocationFixSchema` -> `geolocationSyncResultSchema` `{ synced, match }`).
+  The GPS axis (fix, area, the last `LOCATION_HISTORY_MAX` of each) is kept as
+  Jansathi keeps it but NEVER becomes the declared location (the user, "No,
+  member saves") and is never shown to another member. History is kept at most
+  `LOCATION_HISTORY_MAX_DAYS` (365) days.
+- The member's own control (the user, 2026-10-22, "Add stop + clear"):
+  `GET`/`PATCH /me/location-settings` (`locationSettingsSchema`,
+  `updateLocationSettingsBodySchema`; `dailyLocation` OFF keeps no position)
+  and `DELETE /me/location-history` (`clearLocationHistoryResultSchema`; the
+  chosen place stays).
+- `queryInt(min, max, fallback)` is the query integer helper (core/common.ts).
+- `areaOptionSchema.within` (a ward's town, a village's tehsil or block) tells
+  same-named places apart; `areaWords` reads a numbered ward as "Ward 25";
+  `placeWords` includes `within`. `AREA_NAME_MAX` is 300: the all-India tree has
+  names up to 250 characters.
+- The public city is `publicCityOf`; `townName` cleans a council's name. Over
+  all of India (4,995 public cities, 2026-10-22) none is rewritten by
+  Discover's state-blind `canonicalCityName` (Bijapur is listed for
+  Chhattisgarh too), none keeps council words or brackets, the longest is 35.
+  A twin town is one hyphen however the tree spaced it (Murwara-Katni), the
+  list matches hyphen and space alike (the tree's "Pimpri Chinchwad" is
+  Pimpri-Chinchwad), and a name in capitals reads title-case (MAUGANJ is
+  Mauganj): over every town and district (5,745), no city is written two ways
+  in one state. It always fits `CITY_MAX` (a too-long town is shown as its
+  district, a too-long district is cut at a word), so a save never fails on it.
+
+**Release:** publish, pin EXACTLY in both consumers, backend before web (a 0.18
+web sends a typed place, which a 0.19 backend refuses). The drawer needs real
+data in `master_db.areas`: AWS dev's was synthetic until the all-India load.
+
+## 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.
@@ -640,8 +797,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).
 
 ---
@@ -671,25 +828,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:
@@ -727,9 +895,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 `locationPickSchema` (area
+ids, 0.19.0), whole: a locality's id, or `null` for the whole district.
 
 **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

package/dist/access/permissions.js.map

@@ -1 +1 @@
-{"version":3,"file":"permissions.js","sourceRoot":"","sources":["../../src/access/permissions.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAGH,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAKxB;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG;IAC3B,QAAQ;IACR,QAAQ;IACR,MAAM;IACN,QAAQ;IACR,QAAQ;IACR,UAAU;IACV,QAAQ;IACR,SAAS;IACT,SAAS;IACT,OAAO;IACP,WAAW;IACX,OAAO;IACP,MAAM;IACN,MAAM;IACN,MAAM;IACN,SAAS;IACT,QAAQ;CACA,CAAC;AACX,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;AAGlD;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,MAAM,CAAC,MAAM,cAAc,GAAG;IAC5B,KAAK;IACL,WAAW;IACX,QAAQ;IACR,gBAAgB;IAChB,MAAM;IACN,MAAM;IACN,SAAS;IACT,QAAQ;IACR,eAAe;IACf,YAAY;IACZ,cAAc;IACd,YAAY;IACZ,kBAAkB;IAClB,SAAS;IACT,QAAQ;IACR,WAAW;IACX,qBAAqB;IACrB,YAAY;IACZ,SAAS;IACT,QAAQ;CACA,CAAC;AACX,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;AA6FpD;;;;GAIG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC","sourcesContent":["/**\n * founder-schema: what a role may do, in CASL's terms\n *\n * Permissions are ACTION on SUBJECT, optionally narrowed by conditions on the\n * subject's fields (\"update a Post whose authorId is mine\"). The backend writes\n * one small policy per role from these words; the web receives the resulting\n * rules and asks the same questions to decide what to draw. Because both sides\n * spell actions and subjects from this file, a permission check with a typo is\n * a compile error, not a button that silently never shows.\n *\n * The SERVER decides; the web only mirrors. Every rule the web holds came from\n * the server for the role being acted as, and every request is checked again\n * on the server, so a tampered client can show itself a button and nothing\n * more.\n *\n * @module founder-schema/access/permissions\n */\n\nimport type { ForcedSubject, MongoAbility } from '@casl/ability';\nimport { z } from 'zod';\nimport type { PurchaseKind } from '../domains/billing/billing.js';\nimport type { PlatformRole } from './roles.js';\nimport type { Standing } from './standing.js';\n\n/**\n * The verbs.\n *\n *   manage    every action (CASL's wildcard). Only superadmin holds it on `all`.\n *   create, read, update, delete\n *   moderate  hide, restore or remove someone else's content, act on a report\n *   assign    grant or revoke (a platform role); take or hand over (a ticket)\n *   suspend   stop a member signing in to the product, and lift it\n *   resolve   close a support ticket or a report\n *   reset     clear a credential its owner forgot (a staff member's MPIN)\n *   represent act for a product as one of its team: tag a post with it, reply\n *             to its reviews, mark feedback helpful, confirm a tester\n *\n * Taking part (0.12.0, membership): the verbs a viewer is refused and a member\n * holds. Creating content stays `create`; these are the rest.\n *\n *   react     a reaction on a post, poll or comment; an upvote on a product;\n *             marking a review helpful\n *   vote      vote in a poll\n *   save      bookmark a post or poll\n *   join      join a community, ask to, or accept its invitation; accept an\n *             invitation to a product's team\n *   message   start a conversation with a Member\n *   refund    give a payment's money back (staff)\n *\n * Append only: a stored or packed rule names these.\n */\nexport const ACTION_VALUES = [\n  'manage',\n  'create',\n  'read',\n  'update',\n  'delete',\n  'moderate',\n  'assign',\n  'suspend',\n  'resolve',\n  'reset',\n  'represent',\n  'react',\n  'vote',\n  'save',\n  'join',\n  'message',\n  'refund',\n] as const;\nexport const actionSchema = z.enum(ACTION_VALUES);\nexport type Action = z.infer<typeof actionSchema>;\n\n/**\n * The things.\n *\n *   all               CASL's wildcard subject\n *   Dashboard         the staff overview: counts and trends\n *   Member            a person's account in this product\n *   FounderProfile    a member's public profile\n *   Post, Poll, Comment\n *   Report            a member's report of a post, poll or comment\n *   SupportTicket     a member's request for help\n *   SavedReply        a support agent's reusable answer\n *   PlatformRole      a staff role, as something granted and revoked\n *   AuditEntry        the record of a staff action\n *   PlatformSettings  product-wide configuration\n *   Product           something a founder builds, with its team\n *   Review            a member's stars and words on a product\n *   Community         an official community (0.9.0)\n *   CommunitySuggestion  a member's suggestion for a new community (0.9.0)\n *   Membership        a person's platform membership: granted, revoked (0.12.0)\n *   Payment           a purchase and its invoice, and its refund (0.12.0)\n *   Coupon            a code that gives a membership or a discount (0.12.0)\n */\nexport const SUBJECT_VALUES = [\n  'all',\n  'Dashboard',\n  'Member',\n  'FounderProfile',\n  'Post',\n  'Poll',\n  'Comment',\n  'Report',\n  'SupportTicket',\n  'SavedReply',\n  'PlatformRole',\n  'AuditEntry',\n  'PlatformSettings',\n  'Product',\n  'Review',\n  'Community',\n  'CommunitySuggestion',\n  'Membership',\n  'Payment',\n  'Coupon',\n] as const;\nexport const subjectSchema = z.enum(SUBJECT_VALUES);\nexport type Subject = z.infer<typeof subjectSchema>;\n\n/**\n * The fields a rule may set CONDITIONS on, per subject: the server's stored\n * names, ids as strings. Declared here so a condition on a field the subject\n * does not have (`{ ownerId: me }` on a Post) is a compile error, on both sides.\n *\n * A web screen does not evaluate these against an API response: a response\n * names things differently (`author.userId`, not `authorId`). Row-level answers\n * come from the server on the item itself (`viewer.canEdit`); the web's own\n * checks are type-level (\"may I moderate Reports at all\").\n */\nexport interface SubjectFields {\n  Dashboard: Record<never, never>;\n  /**\n   * `appRoles` is the staff roles held, so a rule can protect a role (\"never\n   * suspend a superadmin\").\n   *\n   * For `message` (0.12.0), what the asker's relation to them is:\n   * `contact` says the asker knows them (a teammate, a private community in\n   * common, a conversation already); `standing` is theirs, so nobody starts a\n   * conversation with a viewer, who cannot chat; `acceptsStrangers` is their\n   * own setting (Premium and Business members may start one, or only people\n   * they know). Optional because only the messaging check computes them: a\n   * rule on a field that is absent never matches, so a check that forgets them\n   * is refused, never let through.\n   */\n  Member: {\n    _id: string;\n    appRoles: PlatformRole[];\n    contact?: boolean;\n    standing?: Standing;\n    acceptsStrangers?: boolean;\n  };\n  FounderProfile: { userId: string };\n  Post: { authorId: string };\n  Poll: { authorId: string };\n  Comment: { authorId: string };\n  Report: { reporterId: string; status: string };\n  SupportTicket: { memberId: string; assigneeId: string | null };\n  SavedReply: { authorId: string };\n  /** One role on one person: `memberId` is whose, so \"never your own\" is a rule too. */\n  PlatformRole: { role: PlatformRole; memberId: string };\n  /** `actorId` is null for an entry a server script wrote. */\n  AuditEntry: { actorId: string | null };\n  PlatformSettings: Record<never, never>;\n  /**\n   * The team, as three lists of member ids, so a rule reads \"a product whose\n   * managers include me\" (`{ managerIds: me }`). `managerIds` is the owner and\n   * the co-founders; `memberIds` is everyone on the team, owner included.\n   */\n  Product: { ownerId: string; managerIds: string[]; memberIds: string[] };\n  Review: { authorId: string };\n  /**\n   * Its admins and moderators as id lists (0.9.0), so a rule reads \"a\n   * community whose admins include me\" (`{ adminIds: me }`). Both short by\n   * nature; ordinary members are never listed here (a community has no cap).\n   */\n  Community: { _id: string; adminIds: string[]; moderatorIds: string[] };\n  /** `suggestedBy` so \"your own\" is a rule; `status` so only open ones are decided. */\n  CommunitySuggestion: { suggestedBy: string; status: string };\n  /** Whose membership (0.12.0), so \"never your own\" is a rule. */\n  Membership: { userId: string };\n  /**\n   * Who pays (0.12.0), what for, and where it stands: a viewer may buy only a\n   * membership (a plan needs one), only a paid one is refunded, and never by\n   * its own payer.\n   */\n  Payment: { userId: string; status: string; kind: PurchaseKind };\n  /** Coupons are the platform's (0.12.0): no condition is ever written on one. */\n  Coupon: Record<never, never>;\n}\n\n/** A document tagged with its subject type, as CASL's `subject('Post', doc)` makes one. */\nexport type SubjectInstance = {\n  [K in keyof SubjectFields]: SubjectFields[K] & ForcedSubject<K>;\n}[keyof SubjectFields];\n\n/**\n * The ability both sides build: the backend from its policy, the web from the\n * rules the backend sends. Mongo-style conditions, typed by `SubjectFields`.\n */\nexport type AppAbility = MongoAbility<[Action, Subject | SubjectInstance]>;\n\n/**\n * Compile-time proof that `SubjectFields` names exactly the subjects, no more\n * and no fewer: adding a subject without its fields fails the build here.\n */\ntype Same<A, B> = [A] extends [B] ? ([B] extends [A] ? true : false) : false;\ntype Assert<T extends true> = T;\nexport type EverySubjectHasFields = Assert<Same<keyof SubjectFields, Exclude<Subject, 'all'>>>;\n\n/**\n * Rules as they cross the wire: CASL's `packRules` output, an array of\n * compact arrays. The web unpacks them with `unpackRules` before building its\n * ability; their inner shape is CASL's, so it is not re-described here.\n */\nexport const packedRulesSchema = z.array(z.array(z.unknown()));\nexport type PackedRules = z.infer<typeof packedRulesSchema>;\n"]}
+{"version":3,"file":"permissions.js","sourceRoot":"","sources":["../../src/access/permissions.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAGH,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAOxB;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG;IAC3B,QAAQ;IACR,QAAQ;IACR,MAAM;IACN,QAAQ;IACR,QAAQ;IACR,UAAU;IACV,QAAQ;IACR,SAAS;IACT,SAAS;IACT,OAAO;IACP,WAAW;IACX,OAAO;IACP,MAAM;IACN,MAAM;IACN,MAAM;IACN,SAAS;IACT,QAAQ;CACA,CAAC;AAGX;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,MAAM,CAAC,MAAM,cAAc,GAAG;IAC5B,KAAK;IACL,WAAW;IACX,QAAQ;IACR,gBAAgB;IAChB,MAAM;IACN,MAAM;IACN,SAAS;IACT,QAAQ;IACR,eAAe;IACf,YAAY;IACZ,cAAc;IACd,YAAY;IACZ,kBAAkB;IAClB,SAAS;IACT,QAAQ;IACR,WAAW;IACX,qBAAqB;IACrB,YAAY;IACZ,SAAS;IACT,QAAQ;CACA,CAAC;AACX,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;AA6FpD;;;;;;;GAOG;AACH,MAAM,SAAS,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AACxD;;;;GAIG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,CAAC,KAAK,CAAC;IACtC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IAC/C,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;IAC5D,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;IAC1E,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,OAAO,EAAE,EAAE,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC;IACnF,CAAC,CAAC,KAAK,CAAC;QACN,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QACjB,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QACjB,CAAC,CAAC,OAAO,EAAE;QACX,SAAS;QACT,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;QACnC,CAAC,CAAC,MAAM,EAAE;KACX,CAAC;CACH,CAAC,CAAC;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC,CAAC,KAAK,CAAC,gBAAgB,CAAC,CAAC;AAM3D,MAAM,UAAU,GAAwB,IAAI,GAAG,CAAC,aAAa,CAAC,CAAC;AAC/D,MAAM,WAAW,GAAwB,IAAI,GAAG,CAAC,cAAc,CAAC,CAAC;AACjE,MAAM,OAAO,GAAG,CAAC,KAAoC,EAAE,KAA0B,EAAE,EAAE,CACnF,KAAK,KAAK,SAAS,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;AAE7F;;;;;;;GAOG;AACH,MAAM,UAAU,YAAY,CAAC,IAG5B;IACC,OAAO,OAAO,CAAC,IAAI,CAAC,MAAM,EAAE,UAAU,CAAC,IAAI,OAAO,CAAC,IAAI,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC;AAChF,CAAC","sourcesContent":["/**\n * founder-schema: what a role may do, in CASL's terms\n *\n * Permissions are ACTION on SUBJECT, optionally narrowed by conditions on the\n * subject's fields (\"update a Post whose authorId is mine\"). The backend writes\n * one small policy per role from these words; the web receives the resulting\n * rules and asks the same questions to decide what to draw. Because both sides\n * spell actions and subjects from this file, a permission check with a typo is\n * a compile error, not a button that silently never shows.\n *\n * The SERVER decides; the web only mirrors. Every rule the web holds came from\n * the server for the role being acted as, and every request is checked again\n * on the server, so a tampered client can show itself a button and nothing\n * more.\n *\n * @module founder-schema/access/permissions\n */\n\nimport type { ForcedSubject, MongoAbility, RawRuleOf } from '@casl/ability';\nimport { z } from 'zod';\nimport type { OrderStatus, PurchaseKind } from '../domains/billing/billing.js';\nimport type { CommunitySuggestionStatus } from '../domains/communities/communities.js';\nimport type { ReportStatus } from '../domains/feed/feed.js';\nimport type { PlatformRole } from './roles.js';\nimport type { Standing } from './standing.js';\n\n/**\n * The verbs.\n *\n *   manage    every action (CASL's wildcard). Only superadmin holds it on `all`.\n *   create, read, update, delete\n *   moderate  hide, restore or remove someone else's content, act on a report\n *   assign    grant or revoke (a platform role); take or hand over (a ticket)\n *   suspend   stop a member signing in to the product, and lift it\n *   resolve   close a support ticket or a report\n *   reset     clear a credential its owner forgot (a staff member's MPIN)\n *   represent act for a product as one of its team: tag a post with it, reply\n *             to its reviews, mark feedback helpful, confirm a tester\n *\n * Taking part (0.12.0, membership): the verbs a viewer is refused and a member\n * holds. Creating content stays `create`; these are the rest.\n *\n *   react     a reaction on a post, poll or comment; an upvote on a product;\n *             marking a review helpful\n *   vote      vote in a poll\n *   save      bookmark a post or poll\n *   join      join a community, ask to, or accept its invitation; accept an\n *             invitation to a product's team\n *   message   start a conversation with a Member\n *   refund    give a payment's money back (staff)\n *\n * Append only: a stored or packed rule names these.\n */\nexport const ACTION_VALUES = [\n  'manage',\n  'create',\n  'read',\n  'update',\n  'delete',\n  'moderate',\n  'assign',\n  'suspend',\n  'resolve',\n  'reset',\n  'represent',\n  'react',\n  'vote',\n  'save',\n  'join',\n  'message',\n  'refund',\n] as const;\nexport type Action = (typeof ACTION_VALUES)[number];\n\n/**\n * The things.\n *\n *   all               CASL's wildcard subject\n *   Dashboard         the staff overview: counts and trends\n *   Member            a person's account in this product\n *   FounderProfile    a member's public profile\n *   Post, Poll, Comment\n *   Report            a member's report of a post, poll or comment\n *   SupportTicket     a member's request for help\n *   SavedReply        a support agent's reusable answer\n *   PlatformRole      a staff role, as something granted and revoked\n *   AuditEntry        the record of a staff action\n *   PlatformSettings  product-wide configuration\n *   Product           something a founder builds, with its team\n *   Review            a member's stars and words on a product\n *   Community         an official community (0.9.0)\n *   CommunitySuggestion  a member's suggestion for a new community (0.9.0)\n *   Membership        a person's platform membership: granted, revoked (0.12.0)\n *   Payment           a purchase and its invoice, and its refund (0.12.0)\n *   Coupon            a code that gives a membership or a discount (0.12.0)\n */\nexport const SUBJECT_VALUES = [\n  'all',\n  'Dashboard',\n  'Member',\n  'FounderProfile',\n  'Post',\n  'Poll',\n  'Comment',\n  'Report',\n  'SupportTicket',\n  'SavedReply',\n  'PlatformRole',\n  'AuditEntry',\n  'PlatformSettings',\n  'Product',\n  'Review',\n  'Community',\n  'CommunitySuggestion',\n  'Membership',\n  'Payment',\n  'Coupon',\n] as const;\nexport const subjectSchema = z.enum(SUBJECT_VALUES);\nexport type Subject = z.infer<typeof subjectSchema>;\n\n/**\n * The fields a rule may set CONDITIONS on, per subject: the server's stored\n * names, ids as strings. Declared here so a condition on a field the subject\n * does not have (`{ ownerId: me }` on a Post) is a compile error, on both sides.\n *\n * A web screen does not evaluate these against an API response: a response\n * names things differently (`author.userId`, not `authorId`). Row-level answers\n * come from the server on the item itself (`viewer.canEdit`); the web's own\n * checks are type-level (\"may I moderate Reports at all\").\n */\nexport interface SubjectFields {\n  Dashboard: Record<never, never>;\n  /**\n   * `appRoles` is the staff roles held, so a rule can protect a role (\"never\n   * suspend a superadmin\").\n   *\n   * For `message` (0.12.0), what the asker's relation to them is:\n   * `contact` says the asker knows them (a teammate, a private community in\n   * common, a conversation already); `standing` is theirs, so nobody starts a\n   * conversation with a viewer, who cannot chat; `acceptsStrangers` is their\n   * own setting (Premium and Business members may start one, or only people\n   * they know). Optional because only the messaging check computes them: a\n   * rule on a field that is absent never matches, so a check that forgets them\n   * is refused, never let through.\n   */\n  Member: {\n    _id: string;\n    appRoles: PlatformRole[];\n    contact?: boolean;\n    standing?: Standing;\n    acceptsStrangers?: boolean;\n  };\n  FounderProfile: { userId: string };\n  Post: { authorId: string };\n  Poll: { authorId: string };\n  Comment: { authorId: string };\n  Report: { reporterId: string; status: ReportStatus };\n  SupportTicket: { memberId: string; assigneeId: string | null };\n  SavedReply: { authorId: string };\n  /** One role on one person: `memberId` is whose, so \"never your own\" is a rule too. */\n  PlatformRole: { role: PlatformRole; memberId: string };\n  /** `actorId` is null for an entry a server script wrote. */\n  AuditEntry: { actorId: string | null };\n  PlatformSettings: Record<never, never>;\n  /**\n   * The team, as three lists of member ids, so a rule reads \"a product whose\n   * managers include me\" (`{ managerIds: me }`). `managerIds` is the owner and\n   * the co-founders; `memberIds` is everyone on the team, owner included.\n   */\n  Product: { ownerId: string; managerIds: string[]; memberIds: string[] };\n  Review: { authorId: string };\n  /**\n   * Its admins and moderators as id lists (0.9.0), so a rule reads \"a\n   * community whose admins include me\" (`{ adminIds: me }`). Both short by\n   * nature; ordinary members are never listed here (a community has no cap).\n   */\n  Community: { _id: string; adminIds: string[]; moderatorIds: string[] };\n  /** `suggestedBy` so \"your own\" is a rule; `status` so only open ones are decided. */\n  CommunitySuggestion: { suggestedBy: string; status: CommunitySuggestionStatus };\n  /** Whose membership (0.12.0), so \"never your own\" is a rule. */\n  Membership: { userId: string };\n  /**\n   * Who pays (0.12.0), what for, and where it stands: a viewer may buy only a\n   * membership (a plan needs one), only a paid one is refunded, and never by\n   * its own payer.\n   */\n  Payment: { userId: string; status: OrderStatus; kind: PurchaseKind };\n  /** Coupons are the platform's (0.12.0): no condition is ever written on one. */\n  Coupon: Record<never, never>;\n}\n\n/** A document tagged with its subject type, as CASL's `subject('Post', doc)` makes one. */\nexport type SubjectInstance = {\n  [K in keyof SubjectFields]: SubjectFields[K] & ForcedSubject<K>;\n}[keyof SubjectFields];\n\n/**\n * The ability both sides build: the backend from its policy, the web from the\n * rules the backend sends. Mongo-style conditions, typed by `SubjectFields`.\n */\nexport type AppAbility = MongoAbility<[Action, Subject | SubjectInstance]>;\n\n/**\n * Compile-time proof that `SubjectFields` names exactly the subjects, no more\n * and no fewer: adding a subject without its fields fails the build here.\n */\ntype Same<A, B> = [A] extends [B] ? ([B] extends [A] ? true : false) : false;\ntype Assert<T extends true> = T;\nexport type EverySubjectHasFields = Assert<Same<keyof SubjectFields, Exclude<Subject, 'all'>>>;\n\n/**\n * Rules as they cross the wire: CASL's `packRules` output, an array of\n * compact arrays. The web unpacks them with `unpackRules` before building its\n * ability. Each starts with its action(s) and subject(s), comma-joined\n * strings (checked, 0.18.0: an unchecked rule list could silently turn staff\n * routing off); what follows (conditions, inverted, fields, reason) is CASL's\n * own compact form.\n */\nconst zeroOrOne = z.union([z.literal(0), z.literal(1)]);\n/**\n * One packed rule, in exactly the shapes CASL's `PackRule` takes (a union of\n * tuples, not a rest: `unpackRules` needs one of these), with `conditions` as\n * `unknown`, which `isAppRawRule` and the ability itself then judge.\n */\nexport const packedRuleSchema = z.union([\n  z.tuple([z.string().min(1), z.string().min(1)]),\n  z.tuple([z.string().min(1), z.string().min(1), z.unknown()]),\n  z.tuple([z.string().min(1), z.string().min(1), z.unknown(), z.literal(1)]),\n  z.tuple([z.string().min(1), z.string().min(1), z.unknown(), zeroOrOne, z.string()]),\n  z.tuple([\n    z.string().min(1),\n    z.string().min(1),\n    z.unknown(),\n    zeroOrOne,\n    z.union([z.string(), z.literal(0)]),\n    z.string(),\n  ]),\n]);\nexport const packedRulesSchema = z.array(packedRuleSchema);\nexport type PackedRules = z.infer<typeof packedRulesSchema>;\n\n/** One rule as CASL's `unpackRules` gives it back, typed for this app. */\nexport type AppRawRule = RawRuleOf<AppAbility>;\n\nconst ACTION_SET: ReadonlySet<string> = new Set(ACTION_VALUES);\nconst SUBJECT_SET: ReadonlySet<string> = new Set(SUBJECT_VALUES);\nconst everyIn = (value: string | string[] | undefined, known: ReadonlySet<string>) =>\n  value !== undefined && (Array.isArray(value) ? value : [value]).every((v) => known.has(v));\n\n/**\n * Whether an UNPACKED rule names only this app's actions and subjects\n * (0.18.0). Packed rules cross the wire as strings (`packRules` joins several\n * actions or subjects with commas, so the wire shape cannot be an enum); this\n * is the check that turns them back into `AppRawRule`s, with no cast:\n * `rules.every(isAppRawRule)` narrows the list, and a list that fails is a\n * contract mismatch, never an ability built from it.\n */\nexport function isAppRawRule(rule: {\n  action: string | string[];\n  subject?: string | string[];\n}): rule is AppRawRule {\n  return everyIn(rule.action, ACTION_SET) && everyIn(rule.subject, SUBJECT_SET);\n}\n"]}