@sylphx/contract 0.2.0

package/dist/schemas/notifications.d.ts

@@ -0,0 +1,312 @@
+/**
+ * Notifications — BaaS plane push / in-app / mobile. Mirrors
+ * `@sylphx/sdk/notifications.ts`.
+ */
+import { Schema } from 'effect';
+export declare const PushSubscriptionKeys: Schema.Struct<{
+    p256dh: typeof Schema.String;
+    auth: typeof Schema.String;
+}>;
+export type PushSubscriptionKeys = typeof PushSubscriptionKeys.Type;
+export declare const PushSubscription: Schema.Struct<{
+    endpoint: typeof Schema.String;
+    keys: Schema.Struct<{
+        p256dh: typeof Schema.String;
+        auth: typeof Schema.String;
+    }>;
+}>;
+export type PushSubscription = typeof PushSubscription.Type;
+export declare const RegisterPushInput: Schema.Struct<{
+    subscription: Schema.Struct<{
+        endpoint: typeof Schema.String;
+        keys: Schema.Struct<{
+            p256dh: typeof Schema.String;
+            auth: typeof Schema.String;
+        }>;
+    }>;
+    userId: Schema.optional<typeof Schema.String>;
+    deviceId: Schema.optional<typeof Schema.String>;
+}>;
+export type RegisterPushInput = typeof RegisterPushInput.Type;
+/**
+ * Register-push response. Superset of the SDK-historical `void` return
+ * (represented here as all-optional fields) and the richer contract-v1
+ * `{ success, deviceId }` shape. Widened per ADR-084 Wave 2d so both
+ * shapes parse.
+ */
+export declare const RegisterPushResult: Schema.Struct<{
+    success: Schema.optional<typeof Schema.Boolean>;
+    deviceId: Schema.optional<typeof Schema.String>;
+}>;
+export type RegisterPushResult = typeof RegisterPushResult.Type;
+export declare const UnregisterPushInput: Schema.Struct<{
+    endpoint: typeof Schema.String;
+    userId: Schema.optional<typeof Schema.String>;
+}>;
+export type UnregisterPushInput = typeof UnregisterPushInput.Type;
+export declare const UnregisterPushResult: Schema.Struct<{
+    success: Schema.optional<typeof Schema.Boolean>;
+}>;
+export type UnregisterPushResult = typeof UnregisterPushResult.Type;
+/**
+ * Push delivery result.
+ *
+ * Superset of two historical shapes (ADR-084 Wave 2d):
+ *
+ * - SDK-historical counter: `{ sentTo: number, expired: number }`
+ * - Contract-v1 discriminated union: `{ status: 'delivered'|'queued',
+ *   messageId } | { status: 'failed', reason }`
+ *
+ * Both are represented via optional fields so either form round-trips.
+ * The server chooses which subset to populate based on transport
+ * (aggregate delivery -> counters; single-message -> status/messageId).
+ * Clients should treat absence of both `status` and `sentTo` as failure.
+ */
+export declare const PushDeliveryResult: Schema.Struct<{
+    /** Discriminated status (contract-native). */
+    status: Schema.optional<Schema.Literal<["delivered", "queued", "failed"]>>;
+    /** Server-assigned message id — present on `delivered` / `queued`. */
+    messageId: Schema.optional<typeof Schema.String>;
+    /** Human-readable failure reason — present on `failed`. */
+    reason: Schema.optional<typeof Schema.String>;
+    /** Count of subscriptions the push was delivered to (SDK counter). */
+    sentTo: Schema.optional<typeof Schema.Number>;
+    /** Count of subscriptions that were pruned as expired (SDK counter). */
+    expired: Schema.optional<typeof Schema.Number>;
+}>;
+export type PushDeliveryResult = typeof PushDeliveryResult.Type;
+/**
+ * Push-notification preferences for the current user.
+ * Categories is an arbitrary string-keyed bool map so new channels can be
+ * added without breaking the contract.
+ */
+export declare const PushPreferences: Schema.Struct<{
+    enabled: typeof Schema.Boolean;
+    categories: Schema.Record$<typeof Schema.String, typeof Schema.Boolean>;
+}>;
+export type PushPreferences = typeof PushPreferences.Type;
+export declare const UpdatePushPreferencesInput: Schema.Struct<{
+    enabled: Schema.optional<typeof Schema.Boolean>;
+    categories: Schema.optional<Schema.Record$<typeof Schema.String, typeof Schema.Boolean>>;
+}>;
+export type UpdatePushPreferencesInput = typeof UpdatePushPreferencesInput.Type;
+export declare const InAppMessage: Schema.Struct<{
+    id: typeof Schema.String;
+    userId: typeof Schema.String;
+    title: typeof Schema.String;
+    body: typeof Schema.String;
+    readAt: Schema.NullOr<typeof Schema.String>;
+    createdAt: typeof Schema.String;
+    data: Schema.optional<Schema.Record$<typeof Schema.String, typeof Schema.Unknown>>;
+}>;
+export type InAppMessage = typeof InAppMessage.Type;
+export declare const ListInboxQuery: Schema.Struct<{
+    userId: Schema.optional<typeof Schema.String>;
+    unreadOnly: Schema.optional<typeof Schema.String>;
+    limit: Schema.optional<typeof Schema.String>;
+}>;
+export type ListInboxQuery = typeof ListInboxQuery.Type;
+export declare const ListInboxResult: Schema.Struct<{
+    messages: Schema.Array$<Schema.Struct<{
+        id: typeof Schema.String;
+        userId: typeof Schema.String;
+        title: typeof Schema.String;
+        body: typeof Schema.String;
+        readAt: Schema.NullOr<typeof Schema.String>;
+        createdAt: typeof Schema.String;
+        data: Schema.optional<Schema.Record$<typeof Schema.String, typeof Schema.Unknown>>;
+    }>>;
+    total: typeof Schema.Number;
+}>;
+export type ListInboxResult = typeof ListInboxResult.Type;
+export declare const SendPushInput: Schema.Struct<{
+    userId: typeof Schema.String;
+    title: typeof Schema.String;
+    body: typeof Schema.String;
+    icon: Schema.optional<typeof Schema.String>;
+    url: Schema.optional<typeof Schema.String>;
+    data: Schema.optional<Schema.Record$<typeof Schema.String, typeof Schema.Unknown>>;
+}>;
+export type SendPushInput = typeof SendPushInput.Type;
+/**
+ * `POST /notifications/register` response — `{ success, updated }`.
+ * The legacy SDK surface tracked whether an existing subscription was
+ * refreshed vs. a brand-new one persisted.
+ */
+export declare const RegisterPushResponse: Schema.Struct<{
+    success: typeof Schema.Boolean;
+    updated: typeof Schema.Boolean;
+}>;
+export type RegisterPushResponse = typeof RegisterPushResponse.Type;
+/**
+ * `GET /notifications/preferences` response — `{ enabled, categories }`.
+ * Categories is an arbitrary string-keyed bool map so channels can be added
+ * without a contract revision. Mirrors the shape the SDK test suite keys
+ * off (marketing / updates / security / social).
+ */
+export declare const PushPreferencesResponse: Schema.Struct<{
+    enabled: typeof Schema.Boolean;
+    categories: Schema.Record$<typeof Schema.String, typeof Schema.Boolean>;
+}>;
+export type PushPreferencesResponse = typeof PushPreferencesResponse.Type;
+/**
+ * `GET /notifications/mobile/config` response — platform capability flags
+ * reported by the server based on provisioned APNs / FCM credentials.
+ */
+export declare const MobileConfigResponse: Schema.Struct<{
+    ios: typeof Schema.Boolean;
+    android: typeof Schema.Boolean;
+    anyConfigured: typeof Schema.Boolean;
+}>;
+export type MobileConfigResponse = typeof MobileConfigResponse.Type;
+/**
+ * Full in-app message envelope — the richer shape the REST API emits under
+ * `GET /notifications/messages`. Complements `InAppMessage` (lean primitive
+ * above) with presentation metadata: type / priority literals, optional
+ * icon + image, primary + secondary action buttons, topic, and read /
+ * dismissed lifecycle flags.
+ */
+export declare const InAppMessageFull: Schema.Struct<{
+    id: typeof Schema.String;
+    type: Schema.Literal<["info", "success", "warning", "error", "announcement", "system", "action"]>;
+    priority: Schema.Literal<["low", "normal", "high", "urgent"]>;
+    title: typeof Schema.String;
+    body: typeof Schema.String;
+    icon: Schema.NullOr<typeof Schema.String>;
+    imageUrl: Schema.NullOr<typeof Schema.String>;
+    actionText: Schema.NullOr<typeof Schema.String>;
+    actionUrl: Schema.NullOr<typeof Schema.String>;
+    secondaryActionText: Schema.NullOr<typeof Schema.String>;
+    secondaryActionUrl: Schema.NullOr<typeof Schema.String>;
+    metadata: Schema.NullOr<Schema.Record$<typeof Schema.String, typeof Schema.Unknown>>;
+    topic: Schema.NullOr<typeof Schema.String>;
+    isRead: typeof Schema.Boolean;
+    isDismissed: typeof Schema.Boolean;
+    readAt: Schema.NullOr<typeof Schema.String>;
+    createdAt: typeof Schema.String;
+}>;
+export type InAppMessageFull = typeof InAppMessageFull.Type;
+/** `GET /notifications/messages` response — flat array of full messages. */
+export declare const InAppMessagesResponse: Schema.Array$<Schema.Struct<{
+    id: typeof Schema.String;
+    type: Schema.Literal<["info", "success", "warning", "error", "announcement", "system", "action"]>;
+    priority: Schema.Literal<["low", "normal", "high", "urgent"]>;
+    title: typeof Schema.String;
+    body: typeof Schema.String;
+    icon: Schema.NullOr<typeof Schema.String>;
+    imageUrl: Schema.NullOr<typeof Schema.String>;
+    actionText: Schema.NullOr<typeof Schema.String>;
+    actionUrl: Schema.NullOr<typeof Schema.String>;
+    secondaryActionText: Schema.NullOr<typeof Schema.String>;
+    secondaryActionUrl: Schema.NullOr<typeof Schema.String>;
+    metadata: Schema.NullOr<Schema.Record$<typeof Schema.String, typeof Schema.Unknown>>;
+    topic: Schema.NullOr<typeof Schema.String>;
+    isRead: typeof Schema.Boolean;
+    isDismissed: typeof Schema.Boolean;
+    readAt: Schema.NullOr<typeof Schema.String>;
+    createdAt: typeof Schema.String;
+}>>;
+export type InAppMessagesResponse = typeof InAppMessagesResponse.Type;
+export declare const PushCampaignVariant: Schema.Struct<{
+    name: typeof Schema.String;
+    weight: typeof Schema.Number;
+    title: typeof Schema.String;
+    body: typeof Schema.String;
+    url: Schema.optional<typeof Schema.String>;
+    icon: Schema.optional<typeof Schema.String>;
+    data: Schema.optional<Schema.Record$<typeof Schema.String, typeof Schema.Unknown>>;
+}>;
+export type PushCampaignVariant = typeof PushCampaignVariant.Type;
+export declare const CreatePushSegmentInput: Schema.Struct<{
+    name: typeof Schema.String;
+    description: Schema.optional<typeof Schema.String>;
+    filter: typeof Schema.Unknown;
+}>;
+export type CreatePushSegmentInput = typeof CreatePushSegmentInput.Type;
+export declare const PushSegment: Schema.Struct<{
+    id: typeof Schema.String;
+    name: typeof Schema.String;
+    description: Schema.NullOr<typeof Schema.String>;
+    filter: typeof Schema.Unknown;
+    memberCount: Schema.NullOr<typeof Schema.Number>;
+    computedAt: Schema.NullOr<typeof Schema.String>;
+    createdAt: typeof Schema.String;
+    createdBy: typeof Schema.String;
+}>;
+export type PushSegment = typeof PushSegment.Type;
+export declare const ListPushSegmentsResponse: Schema.Struct<{
+    segments: Schema.Array$<Schema.Struct<{
+        id: typeof Schema.String;
+        name: typeof Schema.String;
+        description: Schema.NullOr<typeof Schema.String>;
+        filter: typeof Schema.Unknown;
+        memberCount: Schema.NullOr<typeof Schema.Number>;
+        computedAt: Schema.NullOr<typeof Schema.String>;
+        createdAt: typeof Schema.String;
+        createdBy: typeof Schema.String;
+    }>>;
+}>;
+export type ListPushSegmentsResponse = typeof ListPushSegmentsResponse.Type;
+export declare const CreatePushCampaignInput: Schema.Struct<{
+    name: typeof Schema.String;
+    segmentId: Schema.optional<typeof Schema.String>;
+    variants: Schema.Array$<Schema.Struct<{
+        name: typeof Schema.String;
+        weight: typeof Schema.Number;
+        title: typeof Schema.String;
+        body: typeof Schema.String;
+        url: Schema.optional<typeof Schema.String>;
+        icon: Schema.optional<typeof Schema.String>;
+        data: Schema.optional<Schema.Record$<typeof Schema.String, typeof Schema.Unknown>>;
+    }>>;
+    scheduledAt: Schema.optional<typeof Schema.String>;
+}>;
+export type CreatePushCampaignInput = typeof CreatePushCampaignInput.Type;
+export declare const PushCampaign: Schema.Struct<{
+    id: typeof Schema.String;
+    name: typeof Schema.String;
+    segmentId: Schema.NullOr<typeof Schema.String>;
+    status: Schema.Literal<["draft", "scheduled", "sending", "sent", "cancelled", "failed"]>;
+    variants: Schema.Array$<Schema.Struct<{
+        name: typeof Schema.String;
+        weight: typeof Schema.Number;
+        title: typeof Schema.String;
+        body: typeof Schema.String;
+        url: Schema.optional<typeof Schema.String>;
+        icon: Schema.optional<typeof Schema.String>;
+        data: Schema.optional<Schema.Record$<typeof Schema.String, typeof Schema.Unknown>>;
+    }>>;
+    scheduledAt: Schema.NullOr<typeof Schema.String>;
+    sentAt: Schema.NullOr<typeof Schema.String>;
+    createdAt: typeof Schema.String;
+}>;
+export type PushCampaign = typeof PushCampaign.Type;
+export declare const SchedulePushCampaignInput: Schema.Struct<{
+    scheduledAt: typeof Schema.String;
+}>;
+export type SchedulePushCampaignInput = typeof SchedulePushCampaignInput.Type;
+export declare const PushCampaignStatsVariant: Schema.Struct<{
+    pending: typeof Schema.Number;
+    sent: typeof Schema.Number;
+    delivered: typeof Schema.Number;
+    failed: typeof Schema.Number;
+    clicked: typeof Schema.Number;
+}>;
+export type PushCampaignStatsVariant = typeof PushCampaignStatsVariant.Type;
+export declare const PushCampaignStats: Schema.Struct<{
+    campaignId: typeof Schema.String;
+    totalDeliveries: typeof Schema.Number;
+    byVariant: Schema.Record$<typeof Schema.String, Schema.Struct<{
+        pending: typeof Schema.Number;
+        sent: typeof Schema.Number;
+        delivered: typeof Schema.Number;
+        failed: typeof Schema.Number;
+        clicked: typeof Schema.Number;
+    }>>;
+}>;
+export type PushCampaignStats = typeof PushCampaignStats.Type;
+export declare const DeletePushSegmentResponse: Schema.Struct<{
+    success: typeof Schema.Boolean;
+}>;
+export type DeletePushSegmentResponse = typeof DeletePushSegmentResponse.Type;
+//# sourceMappingURL=notifications.d.ts.map

package/dist/schemas/notifications.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"notifications.d.ts","sourceRoot":"","sources":["../../src/schemas/notifications.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAE/B,eAAO,MAAM,oBAAoB;;;EAG/B,CAAA;AACF,MAAM,MAAM,oBAAoB,GAAG,OAAO,oBAAoB,CAAC,IAAI,CAAA;AAEnE,eAAO,MAAM,gBAAgB;;;;;;EAG3B,CAAA;AACF,MAAM,MAAM,gBAAgB,GAAG,OAAO,gBAAgB,CAAC,IAAI,CAAA;AAE3D,eAAO,MAAM,iBAAiB;;;;;;;;;;EAI5B,CAAA;AACF,MAAM,MAAM,iBAAiB,GAAG,OAAO,iBAAiB,CAAC,IAAI,CAAA;AAE7D;;;;;GAKG;AACH,eAAO,MAAM,kBAAkB;;;EAG7B,CAAA;AACF,MAAM,MAAM,kBAAkB,GAAG,OAAO,kBAAkB,CAAC,IAAI,CAAA;AAE/D,eAAO,MAAM,mBAAmB;;;EAG9B,CAAA;AACF,MAAM,MAAM,mBAAmB,GAAG,OAAO,mBAAmB,CAAC,IAAI,CAAA;AAEjE,eAAO,MAAM,oBAAoB;;EAE/B,CAAA;AACF,MAAM,MAAM,oBAAoB,GAAG,OAAO,oBAAoB,CAAC,IAAI,CAAA;AAEnE;;;;;;;;;;;;;GAaG;AACH,eAAO,MAAM,kBAAkB;IAC9B,8CAA8C;;IAE9C,sEAAsE;;IAEtE,2DAA2D;;IAE3D,sEAAsE;;IAEtE,wEAAwE;;EAEvE,CAAA;AACF,MAAM,MAAM,kBAAkB,GAAG,OAAO,kBAAkB,CAAC,IAAI,CAAA;AAE/D;;;;GAIG;AACH,eAAO,MAAM,eAAe;;;EAG1B,CAAA;AACF,MAAM,MAAM,eAAe,GAAG,OAAO,eAAe,CAAC,IAAI,CAAA;AAEzD,eAAO,MAAM,0BAA0B;;;EAGrC,CAAA;AACF,MAAM,MAAM,0BAA0B,GAAG,OAAO,0BAA0B,CAAC,IAAI,CAAA;AAE/E,eAAO,MAAM,YAAY;;;;;;;;EAQvB,CAAA;AACF,MAAM,MAAM,YAAY,GAAG,OAAO,YAAY,CAAC,IAAI,CAAA;AAEnD,eAAO,MAAM,cAAc;;;;EAIzB,CAAA;AACF,MAAM,MAAM,cAAc,GAAG,OAAO,cAAc,CAAC,IAAI,CAAA;AAEvD,eAAO,MAAM,eAAe;;;;;;;;;;;EAG1B,CAAA;AACF,MAAM,MAAM,eAAe,GAAG,OAAO,eAAe,CAAC,IAAI,CAAA;AAEzD,eAAO,MAAM,aAAa;;;;;;;EAOxB,CAAA;AACF,MAAM,MAAM,aAAa,GAAG,OAAO,aAAa,CAAC,IAAI,CAAA;AAUrD;;;;GAIG;AACH,eAAO,MAAM,oBAAoB;;;EAG/B,CAAA;AACF,MAAM,MAAM,oBAAoB,GAAG,OAAO,oBAAoB,CAAC,IAAI,CAAA;AAEnE;;;;;GAKG;AACH,eAAO,MAAM,uBAAuB;;;EAGlC,CAAA;AACF,MAAM,MAAM,uBAAuB,GAAG,OAAO,uBAAuB,CAAC,IAAI,CAAA;AAEzE;;;GAGG;AACH,eAAO,MAAM,oBAAoB;;;;EAI/B,CAAA;AACF,MAAM,MAAM,oBAAoB,GAAG,OAAO,oBAAoB,CAAC,IAAI,CAAA;AAOnE;;;;;;GAMG;AACH,eAAO,MAAM,gBAAgB;;;;;;;;;;;;;;;;;;EAkB3B,CAAA;AACF,MAAM,MAAM,gBAAgB,GAAG,OAAO,gBAAgB,CAAC,IAAI,CAAA;AAE3D,4EAA4E;AAC5E,eAAO,MAAM,qBAAqB;;;;;;;;;;;;;;;;;;GAAiC,CAAA;AACnE,MAAM,MAAM,qBAAqB,GAAG,OAAO,qBAAqB,CAAC,IAAI,CAAA;AAYrE,eAAO,MAAM,mBAAmB;;;;;;;;EAQ9B,CAAA;AACF,MAAM,MAAM,mBAAmB,GAAG,OAAO,mBAAmB,CAAC,IAAI,CAAA;AAEjE,eAAO,MAAM,sBAAsB;;;;EAIjC,CAAA;AACF,MAAM,MAAM,sBAAsB,GAAG,OAAO,sBAAsB,CAAC,IAAI,CAAA;AAEvE,eAAO,MAAM,WAAW;;;;;;;;;EAStB,CAAA;AACF,MAAM,MAAM,WAAW,GAAG,OAAO,WAAW,CAAC,IAAI,CAAA;AAEjD,eAAO,MAAM,wBAAwB;;;;;;;;;;;EAEnC,CAAA;AACF,MAAM,MAAM,wBAAwB,GAAG,OAAO,wBAAwB,CAAC,IAAI,CAAA;AAE3E,eAAO,MAAM,uBAAuB;;;;;;;;;;;;;EAKlC,CAAA;AACF,MAAM,MAAM,uBAAuB,GAAG,OAAO,uBAAuB,CAAC,IAAI,CAAA;AAEzE,eAAO,MAAM,YAAY;;;;;;;;;;;;;;;;;EASvB,CAAA;AACF,MAAM,MAAM,YAAY,GAAG,OAAO,YAAY,CAAC,IAAI,CAAA;AAEnD,eAAO,MAAM,yBAAyB;;EAEpC,CAAA;AACF,MAAM,MAAM,yBAAyB,GAAG,OAAO,yBAAyB,CAAC,IAAI,CAAA;AAE7E,eAAO,MAAM,wBAAwB;;;;;;EAMnC,CAAA;AACF,MAAM,MAAM,wBAAwB,GAAG,OAAO,wBAAwB,CAAC,IAAI,CAAA;AAE3E,eAAO,MAAM,iBAAiB;;;;;;;;;;EAI5B,CAAA;AACF,MAAM,MAAM,iBAAiB,GAAG,OAAO,iBAAiB,CAAC,IAAI,CAAA;AAE7D,eAAO,MAAM,yBAAyB;;EAA6C,CAAA;AACnF,MAAM,MAAM,yBAAyB,GAAG,OAAO,yBAAyB,CAAC,IAAI,CAAA"}

package/dist/schemas/notifications.js

@@ -0,0 +1,235 @@
+/**
+ * Notifications — BaaS plane push / in-app / mobile. Mirrors
+ * `@sylphx/sdk/notifications.ts`.
+ */
+import { Schema } from 'effect';
+export const PushSubscriptionKeys = Schema.Struct({
+    p256dh: Schema.String,
+    auth: Schema.String,
+});
+export const PushSubscription = Schema.Struct({
+    endpoint: Schema.String,
+    keys: PushSubscriptionKeys,
+});
+export const RegisterPushInput = Schema.Struct({
+    subscription: PushSubscription,
+    userId: Schema.optional(Schema.String),
+    deviceId: Schema.optional(Schema.String),
+});
+/**
+ * Register-push response. Superset of the SDK-historical `void` return
+ * (represented here as all-optional fields) and the richer contract-v1
+ * `{ success, deviceId }` shape. Widened per ADR-084 Wave 2d so both
+ * shapes parse.
+ */
+export const RegisterPushResult = Schema.Struct({
+    success: Schema.optional(Schema.Boolean),
+    deviceId: Schema.optional(Schema.String),
+});
+export const UnregisterPushInput = Schema.Struct({
+    endpoint: Schema.String,
+    userId: Schema.optional(Schema.String),
+});
+export const UnregisterPushResult = Schema.Struct({
+    success: Schema.optional(Schema.Boolean),
+});
+/**
+ * Push delivery result.
+ *
+ * Superset of two historical shapes (ADR-084 Wave 2d):
+ *
+ * - SDK-historical counter: `{ sentTo: number, expired: number }`
+ * - Contract-v1 discriminated union: `{ status: 'delivered'|'queued',
+ *   messageId } | { status: 'failed', reason }`
+ *
+ * Both are represented via optional fields so either form round-trips.
+ * The server chooses which subset to populate based on transport
+ * (aggregate delivery -> counters; single-message -> status/messageId).
+ * Clients should treat absence of both `status` and `sentTo` as failure.
+ */
+export const PushDeliveryResult = Schema.Struct({
+    /** Discriminated status (contract-native). */
+    status: Schema.optional(Schema.Literal('delivered', 'queued', 'failed')),
+    /** Server-assigned message id — present on `delivered` / `queued`. */
+    messageId: Schema.optional(Schema.String),
+    /** Human-readable failure reason — present on `failed`. */
+    reason: Schema.optional(Schema.String),
+    /** Count of subscriptions the push was delivered to (SDK counter). */
+    sentTo: Schema.optional(Schema.Number),
+    /** Count of subscriptions that were pruned as expired (SDK counter). */
+    expired: Schema.optional(Schema.Number),
+});
+/**
+ * Push-notification preferences for the current user.
+ * Categories is an arbitrary string-keyed bool map so new channels can be
+ * added without breaking the contract.
+ */
+export const PushPreferences = Schema.Struct({
+    enabled: Schema.Boolean,
+    categories: Schema.Record({ key: Schema.String, value: Schema.Boolean }),
+});
+export const UpdatePushPreferencesInput = Schema.Struct({
+    enabled: Schema.optional(Schema.Boolean),
+    categories: Schema.optional(Schema.Record({ key: Schema.String, value: Schema.Boolean })),
+});
+export const InAppMessage = Schema.Struct({
+    id: Schema.String,
+    userId: Schema.String,
+    title: Schema.String,
+    body: Schema.String,
+    readAt: Schema.NullOr(Schema.String),
+    createdAt: Schema.String,
+    data: Schema.optional(Schema.Record({ key: Schema.String, value: Schema.Unknown })),
+});
+export const ListInboxQuery = Schema.Struct({
+    userId: Schema.optional(Schema.String),
+    unreadOnly: Schema.optional(Schema.String),
+    limit: Schema.optional(Schema.String),
+});
+export const ListInboxResult = Schema.Struct({
+    messages: Schema.Array(InAppMessage),
+    total: Schema.Number,
+});
+export const SendPushInput = Schema.Struct({
+    userId: Schema.String,
+    title: Schema.String,
+    body: Schema.String,
+    icon: Schema.optional(Schema.String),
+    url: Schema.optional(Schema.String),
+    data: Schema.optional(Schema.Record({ key: Schema.String, value: Schema.Unknown })),
+});
+// ── SDK wire shapes ────────────────────────────────────────────────────────
+//
+// These mirror the OpenAPI component schemas previously consumed from
+// `@sylphx/sdk/src/generated/api.d.ts`. They coexist with the lean
+// primitives above (ADR-084 Wave 2b): the SDK re-exports the richer
+// response envelopes the REST API actually returns, while the endpoint
+// modules key off the leaner primitives.
+/**
+ * `POST /notifications/register` response — `{ success, updated }`.
+ * The legacy SDK surface tracked whether an existing subscription was
+ * refreshed vs. a brand-new one persisted.
+ */
+export const RegisterPushResponse = Schema.Struct({
+    success: Schema.Boolean,
+    updated: Schema.Boolean,
+});
+/**
+ * `GET /notifications/preferences` response — `{ enabled, categories }`.
+ * Categories is an arbitrary string-keyed bool map so channels can be added
+ * without a contract revision. Mirrors the shape the SDK test suite keys
+ * off (marketing / updates / security / social).
+ */
+export const PushPreferencesResponse = Schema.Struct({
+    enabled: Schema.Boolean,
+    categories: Schema.Record({ key: Schema.String, value: Schema.Boolean }),
+});
+/**
+ * `GET /notifications/mobile/config` response — platform capability flags
+ * reported by the server based on provisioned APNs / FCM credentials.
+ */
+export const MobileConfigResponse = Schema.Struct({
+    ios: Schema.Boolean,
+    android: Schema.Boolean,
+    anyConfigured: Schema.Boolean,
+});
+// `MobileDevice` lives in `./notifications-admin.ts` (shape is identical
+// whether surfaced by the BaaS mobile-preferences endpoint or the admin
+// device-inventory endpoint). The admin barrel already re-exports it flat
+// from `@sylphx/contract`.
+/**
+ * Full in-app message envelope — the richer shape the REST API emits under
+ * `GET /notifications/messages`. Complements `InAppMessage` (lean primitive
+ * above) with presentation metadata: type / priority literals, optional
+ * icon + image, primary + secondary action buttons, topic, and read /
+ * dismissed lifecycle flags.
+ */
+export const InAppMessageFull = Schema.Struct({
+    id: Schema.String,
+    type: Schema.Literal('info', 'success', 'warning', 'error', 'announcement', 'system', 'action'),
+    priority: Schema.Literal('low', 'normal', 'high', 'urgent'),
+    title: Schema.String,
+    body: Schema.String,
+    icon: Schema.NullOr(Schema.String),
+    imageUrl: Schema.NullOr(Schema.String),
+    actionText: Schema.NullOr(Schema.String),
+    actionUrl: Schema.NullOr(Schema.String),
+    secondaryActionText: Schema.NullOr(Schema.String),
+    secondaryActionUrl: Schema.NullOr(Schema.String),
+    metadata: Schema.NullOr(Schema.Record({ key: Schema.String, value: Schema.Unknown })),
+    topic: Schema.NullOr(Schema.String),
+    isRead: Schema.Boolean,
+    isDismissed: Schema.Boolean,
+    readAt: Schema.NullOr(Schema.String),
+    createdAt: Schema.String,
+});
+/** `GET /notifications/messages` response — flat array of full messages. */
+export const InAppMessagesResponse = Schema.Array(InAppMessageFull);
+// ============================================================================
+// Phase 5.7 — Advanced push: segments, campaigns, A/B, scheduled sends
+//
+// The `filter` payload is an open-ended structured DSL — the Effect
+// contract uses `Schema.Unknown` here because the recursive shape is
+// validated app-side in `@sylphx/core/lib/push/filter-dsl.ts`. This
+// matches how we handle other open-ended JSON payloads (metadata,
+// data) elsewhere in the contract.
+// ============================================================================
+export const PushCampaignVariant = Schema.Struct({
+    name: Schema.String,
+    weight: Schema.Number,
+    title: Schema.String,
+    body: Schema.String,
+    url: Schema.optional(Schema.String),
+    icon: Schema.optional(Schema.String),
+    data: Schema.optional(Schema.Record({ key: Schema.String, value: Schema.Unknown })),
+});
+export const CreatePushSegmentInput = Schema.Struct({
+    name: Schema.String,
+    description: Schema.optional(Schema.String),
+    filter: Schema.Unknown,
+});
+export const PushSegment = Schema.Struct({
+    id: Schema.String,
+    name: Schema.String,
+    description: Schema.NullOr(Schema.String),
+    filter: Schema.Unknown,
+    memberCount: Schema.NullOr(Schema.Number),
+    computedAt: Schema.NullOr(Schema.String),
+    createdAt: Schema.String,
+    createdBy: Schema.String,
+});
+export const ListPushSegmentsResponse = Schema.Struct({
+    segments: Schema.Array(PushSegment),
+});
+export const CreatePushCampaignInput = Schema.Struct({
+    name: Schema.String,
+    segmentId: Schema.optional(Schema.String),
+    variants: Schema.Array(PushCampaignVariant),
+    scheduledAt: Schema.optional(Schema.String),
+});
+export const PushCampaign = Schema.Struct({
+    id: Schema.String,
+    name: Schema.String,
+    segmentId: Schema.NullOr(Schema.String),
+    status: Schema.Literal('draft', 'scheduled', 'sending', 'sent', 'cancelled', 'failed'),
+    variants: Schema.Array(PushCampaignVariant),
+    scheduledAt: Schema.NullOr(Schema.String),
+    sentAt: Schema.NullOr(Schema.String),
+    createdAt: Schema.String,
+});
+export const SchedulePushCampaignInput = Schema.Struct({
+    scheduledAt: Schema.String,
+});
+export const PushCampaignStatsVariant = Schema.Struct({
+    pending: Schema.Number,
+    sent: Schema.Number,
+    delivered: Schema.Number,
+    failed: Schema.Number,
+    clicked: Schema.Number,
+});
+export const PushCampaignStats = Schema.Struct({
+    campaignId: Schema.String,
+    totalDeliveries: Schema.Number,
+    byVariant: Schema.Record({ key: Schema.String, value: PushCampaignStatsVariant }),
+});
+export const DeletePushSegmentResponse = Schema.Struct({ success: Schema.Boolean });

package/dist/schemas/oidc.d.ts

@@ -0,0 +1,74 @@
+/**
+ * OIDC federation — schemas for trust-policy CRUD + JWT exchange
+ * (ADR-059 §1.3, §4.2). Mirrors `routes/oidc.ts`.
+ *
+ * Plane: `management`. Exchange endpoint is public (authenticates via JWT).
+ */
+import { Schema } from 'effect';
+export declare const OidcProjectIdParams: Schema.Struct<{
+    projectId: typeof Schema.String;
+}>;
+export type OidcProjectIdParams = typeof OidcProjectIdParams.Type;
+export declare const OidcProjectIdPolicyIdParams: Schema.Struct<{
+    projectId: typeof Schema.String;
+    id: typeof Schema.String;
+}>;
+export type OidcProjectIdPolicyIdParams = typeof OidcProjectIdPolicyIdParams.Type;
+export declare const CreateOidcPolicyInput: Schema.Struct<{
+    name: typeof Schema.String;
+    provider: typeof Schema.String;
+    issuer: typeof Schema.String;
+    audience: Schema.optional<Schema.NullOr<typeof Schema.String>>;
+    subjectPattern: typeof Schema.String;
+    allowedScopes: Schema.Array$<typeof Schema.String>;
+}>;
+export type CreateOidcPolicyInput = typeof CreateOidcPolicyInput.Type;
+export declare const OidcPolicyView: Schema.Struct<{
+    id: typeof Schema.String;
+    projectId: typeof Schema.String;
+    name: typeof Schema.String;
+    provider: typeof Schema.String;
+    issuer: typeof Schema.String;
+    audience: Schema.NullOr<typeof Schema.String>;
+    subjectPattern: typeof Schema.String;
+    allowedScopes: Schema.Array$<typeof Schema.String>;
+    isActive: typeof Schema.Boolean;
+    createdBy: Schema.NullOr<typeof Schema.String>;
+    createdAt: typeof Schema.String;
+    updatedAt: typeof Schema.String;
+}>;
+export type OidcPolicyView = typeof OidcPolicyView.Type;
+export declare const ListOidcPoliciesResult: Schema.Struct<{
+    policies: Schema.Array$<Schema.Struct<{
+        id: typeof Schema.String;
+        projectId: typeof Schema.String;
+        name: typeof Schema.String;
+        provider: typeof Schema.String;
+        issuer: typeof Schema.String;
+        audience: Schema.NullOr<typeof Schema.String>;
+        subjectPattern: typeof Schema.String;
+        allowedScopes: Schema.Array$<typeof Schema.String>;
+        isActive: typeof Schema.Boolean;
+        createdBy: Schema.NullOr<typeof Schema.String>;
+        createdAt: typeof Schema.String;
+        updatedAt: typeof Schema.String;
+    }>>;
+}>;
+export type ListOidcPoliciesResult = typeof ListOidcPoliciesResult.Type;
+export declare const DeleteOidcPolicyResult: Schema.Struct<{
+    deleted: typeof Schema.Boolean;
+}>;
+export type DeleteOidcPolicyResult = typeof DeleteOidcPolicyResult.Type;
+export declare const OidcExchangeInput: Schema.Struct<{
+    jwt: typeof Schema.String;
+    projectId: Schema.optional<typeof Schema.String>;
+    lifetimeSeconds: Schema.optional<typeof Schema.Number>;
+}>;
+export type OidcExchangeInput = typeof OidcExchangeInput.Type;
+export declare const OidcExchangeResult: Schema.Struct<{
+    token: typeof Schema.String;
+    expiresAt: typeof Schema.String;
+    scopes: Schema.Array$<typeof Schema.String>;
+}>;
+export type OidcExchangeResult = typeof OidcExchangeResult.Type;
+//# sourceMappingURL=oidc.d.ts.map

package/dist/schemas/oidc.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"oidc.d.ts","sourceRoot":"","sources":["../../src/schemas/oidc.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAE/B,eAAO,MAAM,mBAAmB;;EAA8C,CAAA;AAC9E,MAAM,MAAM,mBAAmB,GAAG,OAAO,mBAAmB,CAAC,IAAI,CAAA;AACjE,eAAO,MAAM,2BAA2B;;;EAGtC,CAAA;AACF,MAAM,MAAM,2BAA2B,GAAG,OAAO,2BAA2B,CAAC,IAAI,CAAA;AAEjF,eAAO,MAAM,qBAAqB;;;;;;;EAOhC,CAAA;AACF,MAAM,MAAM,qBAAqB,GAAG,OAAO,qBAAqB,CAAC,IAAI,CAAA;AAErE,eAAO,MAAM,cAAc;;;;;;;;;;;;;EAazB,CAAA;AACF,MAAM,MAAM,cAAc,GAAG,OAAO,cAAc,CAAC,IAAI,CAAA;AAEvD,eAAO,MAAM,sBAAsB;;;;;;;;;;;;;;;EAA4D,CAAA;AAC/F,MAAM,MAAM,sBAAsB,GAAG,OAAO,sBAAsB,CAAC,IAAI,CAAA;AACvE,eAAO,MAAM,sBAAsB;;EAA6C,CAAA;AAChF,MAAM,MAAM,sBAAsB,GAAG,OAAO,sBAAsB,CAAC,IAAI,CAAA;AAEvE,eAAO,MAAM,iBAAiB;;;;EAI5B,CAAA;AACF,MAAM,MAAM,iBAAiB,GAAG,OAAO,iBAAiB,CAAC,IAAI,CAAA;AAE7D,eAAO,MAAM,kBAAkB;;;;EAI7B,CAAA;AACF,MAAM,MAAM,kBAAkB,GAAG,OAAO,kBAAkB,CAAC,IAAI,CAAA"}

package/dist/schemas/oidc.js

@@ -0,0 +1,46 @@
+/**
+ * OIDC federation — schemas for trust-policy CRUD + JWT exchange
+ * (ADR-059 §1.3, §4.2). Mirrors `routes/oidc.ts`.
+ *
+ * Plane: `management`. Exchange endpoint is public (authenticates via JWT).
+ */
+import { Schema } from 'effect';
+export const OidcProjectIdParams = Schema.Struct({ projectId: Schema.String });
+export const OidcProjectIdPolicyIdParams = Schema.Struct({
+    projectId: Schema.String,
+    id: Schema.String,
+});
+export const CreateOidcPolicyInput = Schema.Struct({
+    name: Schema.String,
+    provider: Schema.String,
+    issuer: Schema.String,
+    audience: Schema.optional(Schema.NullOr(Schema.String)),
+    subjectPattern: Schema.String,
+    allowedScopes: Schema.Array(Schema.String),
+});
+export const OidcPolicyView = Schema.Struct({
+    id: Schema.String,
+    projectId: Schema.String,
+    name: Schema.String,
+    provider: Schema.String,
+    issuer: Schema.String,
+    audience: Schema.NullOr(Schema.String),
+    subjectPattern: Schema.String,
+    allowedScopes: Schema.Array(Schema.String),
+    isActive: Schema.Boolean,
+    createdBy: Schema.NullOr(Schema.String),
+    createdAt: Schema.String,
+    updatedAt: Schema.String,
+});
+export const ListOidcPoliciesResult = Schema.Struct({ policies: Schema.Array(OidcPolicyView) });
+export const DeleteOidcPolicyResult = Schema.Struct({ deleted: Schema.Boolean });
+export const OidcExchangeInput = Schema.Struct({
+    jwt: Schema.String,
+    projectId: Schema.optional(Schema.String),
+    lifetimeSeconds: Schema.optional(Schema.Number),
+});
+export const OidcExchangeResult = Schema.Struct({
+    token: Schema.String,
+    expiresAt: Schema.String,
+    scopes: Schema.Array(Schema.String),
+});