@substrat-run/contracts 0.1.0

package/dist/manifest.d.ts

@@ -0,0 +1,368 @@
+import { z } from 'zod';
+export declare const semverVersion: z.ZodString;
+export declare const permissionDeclaration: z.ZodObject<{
+    key: z.ZodBranded<z.ZodString, "PermissionKey">;
+    description: z.ZodString;
+}, "strip", z.ZodTypeAny, {
+    key: string & z.BRAND<"PermissionKey">;
+    description: string;
+}, {
+    key: string;
+    description: string;
+}>;
+export type PermissionDeclaration = z.infer<typeof permissionDeclaration>;
+export declare const eventTypeRef: z.ZodObject<{
+    type: z.ZodString;
+    schemaVersion: z.ZodNumber;
+}, "strip", z.ZodTypeAny, {
+    type: string;
+    schemaVersion: number;
+}, {
+    type: string;
+    schemaVersion: number;
+}>;
+export type EventTypeRef = z.infer<typeof eventTypeRef>;
+export declare const moduleManifest: z.ZodObject<{
+    id: z.ZodBranded<z.ZodString, "ModuleId">;
+    version: z.ZodString;
+    kernelContract: z.ZodString;
+    permissions: z.ZodArray<z.ZodObject<{
+        key: z.ZodBranded<z.ZodString, "PermissionKey">;
+        description: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        key: string & z.BRAND<"PermissionKey">;
+        description: string;
+    }, {
+        key: string;
+        description: string;
+    }>, "many">;
+    events: z.ZodObject<{
+        emits: z.ZodArray<z.ZodObject<{
+            type: z.ZodString;
+            schemaVersion: z.ZodNumber;
+        }, "strip", z.ZodTypeAny, {
+            type: string;
+            schemaVersion: number;
+        }, {
+            type: string;
+            schemaVersion: number;
+        }>, "many">;
+        consumes: z.ZodArray<z.ZodObject<{
+            type: z.ZodString;
+            schemaVersion: z.ZodNumber;
+        }, "strip", z.ZodTypeAny, {
+            type: string;
+            schemaVersion: number;
+        }, {
+            type: string;
+            schemaVersion: number;
+        }>, "many">;
+    }, "strip", z.ZodTypeAny, {
+        emits: {
+            type: string;
+            schemaVersion: number;
+        }[];
+        consumes: {
+            type: string;
+            schemaVersion: number;
+        }[];
+    }, {
+        emits: {
+            type: string;
+            schemaVersion: number;
+        }[];
+        consumes: {
+            type: string;
+            schemaVersion: number;
+        }[];
+    }>;
+    migrations: z.ZodObject<{
+        journalDir: z.ZodString;
+        compatibleFrom: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        journalDir: string;
+        compatibleFrom: string;
+    }, {
+        journalDir: string;
+        compatibleFrom: string;
+    }>;
+    attachmentTargets: z.ZodArray<z.ZodObject<{
+        entityType: z.ZodString;
+        readPermission: z.ZodBranded<z.ZodString, "PermissionKey">;
+    }, "strip", z.ZodTypeAny, {
+        entityType: string;
+        readPermission: string & z.BRAND<"PermissionKey">;
+    }, {
+        entityType: string;
+        readPermission: string;
+    }>, "many">;
+    entityRelations: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        entityType: z.ZodString;
+        parentType: z.ZodString;
+    }, "strip", z.ZodTypeAny, {
+        entityType: string;
+        parentType: string;
+    }, {
+        entityType: string;
+        parentType: string;
+    }>, "many">>;
+    entitlementKey: z.ZodString;
+    api: z.ZodOptional<z.ZodString>;
+    searchables: z.ZodOptional<z.ZodArray<z.ZodObject<{
+        entityType: z.ZodString;
+        fields: z.ZodArray<z.ZodString, "many">;
+    }, "strip", z.ZodTypeAny, {
+        entityType: string;
+        fields: string[];
+    }, {
+        entityType: string;
+        fields: string[];
+    }>, "many">>;
+    ui: z.ZodOptional<z.ZodObject<{
+        routes: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            path: z.ZodString;
+            screen: z.ZodString;
+            permission: z.ZodBranded<z.ZodString, "PermissionKey">;
+        }, "strip", z.ZodTypeAny, {
+            path: string;
+            permission: string & z.BRAND<"PermissionKey">;
+            screen: string;
+        }, {
+            path: string;
+            permission: string;
+            screen: string;
+        }>, "many">>;
+        nav: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            label: z.ZodString;
+            icon: z.ZodOptional<z.ZodString>;
+            to: z.ZodString;
+            permission: z.ZodBranded<z.ZodString, "PermissionKey">;
+        }, "strip", z.ZodTypeAny, {
+            permission: string & z.BRAND<"PermissionKey">;
+            label: string;
+            to: string;
+            icon?: string | undefined;
+        }, {
+            permission: string;
+            label: string;
+            to: string;
+            icon?: string | undefined;
+        }>, "many">>;
+        entityViews: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            entityType: z.ZodString;
+            view: z.ZodString;
+        }, "strip", z.ZodTypeAny, {
+            entityType: string;
+            view: string;
+        }, {
+            entityType: string;
+            view: string;
+        }>, "many">>;
+        widgets: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            slot: z.ZodString;
+            component: z.ZodString;
+            permission: z.ZodBranded<z.ZodString, "PermissionKey">;
+        }, "strip", z.ZodTypeAny, {
+            permission: string & z.BRAND<"PermissionKey">;
+            slot: string;
+            component: string;
+        }, {
+            permission: string;
+            slot: string;
+            component: string;
+        }>, "many">>;
+        settingsPanels: z.ZodOptional<z.ZodArray<z.ZodObject<{
+            label: z.ZodString;
+            component: z.ZodString;
+            permission: z.ZodBranded<z.ZodString, "PermissionKey">;
+        }, "strip", z.ZodTypeAny, {
+            permission: string & z.BRAND<"PermissionKey">;
+            label: string;
+            component: string;
+        }, {
+            permission: string;
+            label: string;
+            component: string;
+        }>, "many">>;
+    }, "strip", z.ZodTypeAny, {
+        routes?: {
+            path: string;
+            permission: string & z.BRAND<"PermissionKey">;
+            screen: string;
+        }[] | undefined;
+        nav?: {
+            permission: string & z.BRAND<"PermissionKey">;
+            label: string;
+            to: string;
+            icon?: string | undefined;
+        }[] | undefined;
+        entityViews?: {
+            entityType: string;
+            view: string;
+        }[] | undefined;
+        widgets?: {
+            permission: string & z.BRAND<"PermissionKey">;
+            slot: string;
+            component: string;
+        }[] | undefined;
+        settingsPanels?: {
+            permission: string & z.BRAND<"PermissionKey">;
+            label: string;
+            component: string;
+        }[] | undefined;
+    }, {
+        routes?: {
+            path: string;
+            permission: string;
+            screen: string;
+        }[] | undefined;
+        nav?: {
+            permission: string;
+            label: string;
+            to: string;
+            icon?: string | undefined;
+        }[] | undefined;
+        entityViews?: {
+            entityType: string;
+            view: string;
+        }[] | undefined;
+        widgets?: {
+            permission: string;
+            slot: string;
+            component: string;
+        }[] | undefined;
+        settingsPanels?: {
+            permission: string;
+            label: string;
+            component: string;
+        }[] | undefined;
+    }>>;
+}, "strip", z.ZodTypeAny, {
+    id: string & z.BRAND<"ModuleId">;
+    permissions: {
+        key: string & z.BRAND<"PermissionKey">;
+        description: string;
+    }[];
+    version: string;
+    kernelContract: string;
+    events: {
+        emits: {
+            type: string;
+            schemaVersion: number;
+        }[];
+        consumes: {
+            type: string;
+            schemaVersion: number;
+        }[];
+    };
+    migrations: {
+        journalDir: string;
+        compatibleFrom: string;
+    };
+    attachmentTargets: {
+        entityType: string;
+        readPermission: string & z.BRAND<"PermissionKey">;
+    }[];
+    entitlementKey: string;
+    entityRelations?: {
+        entityType: string;
+        parentType: string;
+    }[] | undefined;
+    api?: string | undefined;
+    searchables?: {
+        entityType: string;
+        fields: string[];
+    }[] | undefined;
+    ui?: {
+        routes?: {
+            path: string;
+            permission: string & z.BRAND<"PermissionKey">;
+            screen: string;
+        }[] | undefined;
+        nav?: {
+            permission: string & z.BRAND<"PermissionKey">;
+            label: string;
+            to: string;
+            icon?: string | undefined;
+        }[] | undefined;
+        entityViews?: {
+            entityType: string;
+            view: string;
+        }[] | undefined;
+        widgets?: {
+            permission: string & z.BRAND<"PermissionKey">;
+            slot: string;
+            component: string;
+        }[] | undefined;
+        settingsPanels?: {
+            permission: string & z.BRAND<"PermissionKey">;
+            label: string;
+            component: string;
+        }[] | undefined;
+    } | undefined;
+}, {
+    id: string;
+    permissions: {
+        key: string;
+        description: string;
+    }[];
+    version: string;
+    kernelContract: string;
+    events: {
+        emits: {
+            type: string;
+            schemaVersion: number;
+        }[];
+        consumes: {
+            type: string;
+            schemaVersion: number;
+        }[];
+    };
+    migrations: {
+        journalDir: string;
+        compatibleFrom: string;
+    };
+    attachmentTargets: {
+        entityType: string;
+        readPermission: string;
+    }[];
+    entitlementKey: string;
+    entityRelations?: {
+        entityType: string;
+        parentType: string;
+    }[] | undefined;
+    api?: string | undefined;
+    searchables?: {
+        entityType: string;
+        fields: string[];
+    }[] | undefined;
+    ui?: {
+        routes?: {
+            path: string;
+            permission: string;
+            screen: string;
+        }[] | undefined;
+        nav?: {
+            permission: string;
+            label: string;
+            to: string;
+            icon?: string | undefined;
+        }[] | undefined;
+        entityViews?: {
+            entityType: string;
+            view: string;
+        }[] | undefined;
+        widgets?: {
+            permission: string;
+            slot: string;
+            component: string;
+        }[] | undefined;
+        settingsPanels?: {
+            permission: string;
+            label: string;
+            component: string;
+        }[] | undefined;
+    } | undefined;
+}>;
+export type ModuleManifest = z.infer<typeof moduleManifest>;
+//# sourceMappingURL=manifest.d.ts.map

package/dist/manifest.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"manifest.d.ts","sourceRoot":"","sources":["../src/manifest.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAOxB,eAAO,MAAM,aAAa,aAEsC,CAAC;AAEjE,eAAO,MAAM,qBAAqB;;;;;;;;;EAGhC,CAAC;AACH,MAAM,MAAM,qBAAqB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,qBAAqB,CAAC,CAAC;AAE1E,eAAO,MAAM,YAAY;;;;;;;;;EAGvB,CAAC;AACH,MAAM,MAAM,YAAY,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,YAAY,CAAC,CAAC;AAExD,eAAO,MAAM,cAAc;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAuEzB,CAAC;AACH,MAAM,MAAM,cAAc,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,cAAc,CAAC,CAAC"}

package/dist/manifest.js

@@ -0,0 +1,81 @@
+import { z } from 'zod';
+import { moduleId, permissionKey } from './ids.js';
+import { eventType } from './events.js';
+// The manifest is what makes a module self-describing — to agents now, to
+// strangers buying it later (§5.6 of the plan, §7.1 of the design doc).
+export const semverVersion = z
+    .string()
+    .regex(/^\d+\.\d+\.\d+(-[0-9A-Za-z-.]+)?(\+[0-9A-Za-z-.]+)?$/);
+export const permissionDeclaration = z.object({
+    key: permissionKey,
+    description: z.string().min(1), // fuel for the human-readable permission diff (§4.3)
+});
+export const eventTypeRef = z.object({
+    type: eventType,
+    schemaVersion: z.number().int().positive(),
+});
+export const moduleManifest = z.object({
+    id: moduleId, // '@substrat-run/engine-workorder'
+    version: semverVersion,
+    kernelContract: z.string().min(1), // semver range of the kernel API it targets
+    permissions: z.array(permissionDeclaration),
+    events: z.object({
+        emits: z.array(eventTypeRef),
+        consumes: z.array(eventTypeRef), // star topology: consumes types, never siblings (D-19)
+    }),
+    migrations: z.object({
+        journalDir: z.string().min(1), // Drizzle journal location within the package
+        compatibleFrom: z.string().min(1), // skew window: oldest schema this code tolerates
+    }),
+    attachmentTargets: z.array(z.object({
+        entityType: z.string().min(1),
+        readPermission: permissionKey, // attachment access checks the owning entity's key
+    })),
+    // Declared entity parent edges, e.g. workorder → facility. Permission flows
+    // along these in the tuple evaluator's fixed algebra (design doc §4.2 rule 3,
+    // depth-capped) — how entity-narrowed grants resolve.
+    entityRelations: z
+        .array(z.object({
+        entityType: z.string().min(1), // 'workorder'
+        parentType: z.string().min(1), // 'facility'
+    }))
+        .optional(),
+    entitlementKey: z.string().regex(/^[a-z0-9-]+$/), // the SKU flag that gates loading (D-20)
+    api: z.string().optional(), // path to emitted OAS for the HTTP surface, if any (D-22)
+    searchables: z
+        .array(z.object({
+        entityType: z.string().min(1),
+        fields: z.array(z.string().min(1)).min(1),
+    }))
+        .optional(),
+    // UI contributions, composed into the vertical's app at BUILD time by the
+    // shell (design doc §7.4, K-15). Component values are module-relative import
+    // paths. All contributions are permission-keyed; the shell renders them
+    // permission-aware from the proof-path checker.
+    ui: z
+        .object({
+        routes: z
+            .array(z.object({ path: z.string().min(1), screen: z.string().min(1), permission: permissionKey }))
+            .optional(),
+        nav: z
+            .array(z.object({
+            label: z.string().min(1), // i18n key
+            icon: z.string().optional(),
+            to: z.string().min(1),
+            permission: permissionKey,
+        }))
+            .optional(),
+        // the EntityRef → view registry: cross-engine rendering without imports
+        entityViews: z
+            .array(z.object({ entityType: z.string().min(1), view: z.string().min(1) }))
+            .optional(),
+        widgets: z
+            .array(z.object({ slot: z.string().min(1), component: z.string().min(1), permission: permissionKey }))
+            .optional(),
+        settingsPanels: z
+            .array(z.object({ label: z.string().min(1), component: z.string().min(1), permission: permissionKey }))
+            .optional(),
+    })
+        .optional(),
+});
+//# sourceMappingURL=manifest.js.map

package/dist/manifest.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"manifest.js","sourceRoot":"","sources":["../src/manifest.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,EAAE,QAAQ,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AACnD,OAAO,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC;AAExC,0EAA0E;AAC1E,wEAAwE;AAExE,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC;KAC3B,MAAM,EAAE;KACR,KAAK,CAAC,sDAAsD,CAAC,CAAC;AAEjE,MAAM,CAAC,MAAM,qBAAqB,GAAG,CAAC,CAAC,MAAM,CAAC;IAC5C,GAAG,EAAE,aAAa;IAClB,WAAW,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,qDAAqD;CACtF,CAAC,CAAC;AAGH,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,CAAC,MAAM,CAAC;IACnC,IAAI,EAAE,SAAS;IACf,aAAa,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,EAAE,CAAC,QAAQ,EAAE;CAC3C,CAAC,CAAC;AAGH,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,CAAC,MAAM,CAAC;IACrC,EAAE,EAAE,QAAQ,EAAE,mCAAmC;IACjD,OAAO,EAAE,aAAa;IACtB,cAAc,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,4CAA4C;IAC/E,WAAW,EAAE,CAAC,CAAC,KAAK,CAAC,qBAAqB,CAAC;IAC3C,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC;QACf,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,YAAY,CAAC;QAC5B,QAAQ,EAAE,CAAC,CAAC,KAAK,CAAC,YAAY,CAAC,EAAE,uDAAuD;KACzF,CAAC;IACF,UAAU,EAAE,CAAC,CAAC,MAAM,CAAC;QACnB,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,8CAA8C;QAC7E,cAAc,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,iDAAiD;KACrF,CAAC;IACF,iBAAiB,EAAE,CAAC,CAAC,KAAK,CACxB,CAAC,CAAC,MAAM,CAAC;QACP,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QAC7B,cAAc,EAAE,aAAa,EAAE,mDAAmD;KACnF,CAAC,CACH;IACD,4EAA4E;IAC5E,8EAA8E;IAC9E,sDAAsD;IACtD,eAAe,EAAE,CAAC;SACf,KAAK,CACJ,CAAC,CAAC,MAAM,CAAC;QACP,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,cAAc;QAC7C,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,aAAa;KAC7C,CAAC,CACH;SACA,QAAQ,EAAE;IACb,cAAc,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,KAAK,CAAC,cAAc,CAAC,EAAE,yCAAyC;IAC3F,GAAG,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE,EAAE,0DAA0D;IACtF,WAAW,EAAE,CAAC;SACX,KAAK,CACJ,CAAC,CAAC,MAAM,CAAC;QACP,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;QAC7B,MAAM,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;KAC1C,CAAC,CACH;SACA,QAAQ,EAAE;IACb,0EAA0E;IAC1E,6EAA6E;IAC7E,wEAAwE;IACxE,gDAAgD;IAChD,EAAE,EAAE,CAAC;SACF,MAAM,CAAC;QACN,MAAM,EAAE,CAAC;aACN,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,aAAa,EAAE,CAAC,CAAC;aAClG,QAAQ,EAAE;QACb,GAAG,EAAE,CAAC;aACH,KAAK,CACJ,CAAC,CAAC,MAAM,CAAC;YACP,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,WAAW;YACrC,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,QAAQ,EAAE;YAC3B,EAAE,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;YACrB,UAAU,EAAE,aAAa;SAC1B,CAAC,CACH;aACA,QAAQ,EAAE;QACb,wEAAwE;QACxE,WAAW,EAAE,CAAC;aACX,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,UAAU,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;aAC3E,QAAQ,EAAE;QACb,OAAO,EAAE,CAAC;aACP,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,aAAa,EAAE,CAAC,CAAC;aACrG,QAAQ,EAAE;QACb,cAAc,EAAE,CAAC;aACd,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,aAAa,EAAE,CAAC,CAAC;aACtG,QAAQ,EAAE;KACd,CAAC;SACD,QAAQ,EAAE;CACd,CAAC,CAAC"}

package/dist/money.d.ts

@@ -0,0 +1,24 @@
+import { z } from 'zod';
+export declare const currencyCode: z.ZodBranded<z.ZodString, "CurrencyCode">;
+export type CurrencyCode = z.infer<typeof currencyCode>;
+export declare const moneyAmount: z.ZodBranded<z.ZodString, "MoneyAmount">;
+export type MoneyAmount = z.infer<typeof moneyAmount>;
+export declare const money: z.ZodObject<{
+    amount: z.ZodBranded<z.ZodString, "MoneyAmount">;
+    currency: z.ZodBranded<z.ZodString, "CurrencyCode">;
+}, "strip", z.ZodTypeAny, {
+    amount: string & z.BRAND<"MoneyAmount">;
+    currency: string & z.BRAND<"CurrencyCode">;
+}, {
+    amount: string;
+    currency: string;
+}>;
+export type Money = z.infer<typeof money>;
+/** quantity × unit price, half-up at 6 dp. Both args are decimal strings. */
+export declare function mulDecimal(qty: string, amount: string): string;
+export declare function addDecimal(a: string, b: string): string;
+export declare function compareDecimal(a: string, b: string): -1 | 0 | 1;
+export declare function moneyOf(amount: string, currency: string): Money;
+export declare function addMoney(a: Money, b: Money): Money;
+export declare function mulMoney(qty: string, unitPrice: Money): Money;
+//# sourceMappingURL=money.d.ts.map

package/dist/money.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"money.d.ts","sourceRoot":"","sources":["../src/money.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAOxB,eAAO,MAAM,YAAY,2CAGC,CAAC;AAC3B,MAAM,MAAM,YAAY,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,YAAY,CAAC,CAAC;AAExD,eAAO,MAAM,WAAW,0CAGC,CAAC;AAC1B,MAAM,MAAM,WAAW,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,WAAW,CAAC,CAAC;AAEtD,eAAO,MAAM,KAAK;;;;;;;;;EAGhB,CAAC;AACH,MAAM,MAAM,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,KAAK,CAAC,CAAC;AA0B1C,6EAA6E;AAC7E,wBAAgB,UAAU,CAAC,GAAG,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,MAAM,CAK9D;AAED,wBAAgB,UAAU,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,GAAG,MAAM,CAEvD;AAED,wBAAgB,cAAc,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAG/D;AAED,wBAAgB,OAAO,CAAC,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,GAAG,KAAK,CAE/D;AAED,wBAAgB,QAAQ,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,GAAG,KAAK,CAKlD;AAED,wBAAgB,QAAQ,CAAC,GAAG,EAAE,MAAM,EAAE,SAAS,EAAE,KAAK,GAAG,KAAK,CAE7D"}

package/dist/money.js

@@ -0,0 +1,64 @@
+import { z } from 'zod';
+// The one money representation (K-14). Decimal strings, never floats — the
+// Tier 1 ↔ Tier 2 reconciliation guarantee (plan §5.3) needs uniform,
+// exact money handling across every engine. Multi-currency from day one
+// (SEK/NOK evidence in the FSM survey).
+export const currencyCode = z
+    .string()
+    .regex(/^[A-Z]{3}$/) // ISO 4217
+    .brand();
+export const moneyAmount = z
+    .string()
+    .regex(/^-?\d+(\.\d{1,6})?$/)
+    .brand();
+export const money = z.object({
+    amount: moneyAmount,
+    currency: currencyCode,
+});
+// ---------------------------------------------------------------------------
+// Exact decimal arithmetic on micro-units (6 dp, bigint) — the ONLY sanctioned
+// way engines compute with money. Half-up rounding at the 6th decimal.
+// ---------------------------------------------------------------------------
+const SCALE = 1000000n;
+function toMicro(decimal) {
+    const negative = decimal.startsWith('-');
+    const parts = (negative ? decimal.slice(1) : decimal).split('.');
+    const intPart = parts[0] ?? '0';
+    const fracPart = parts[1] ?? '';
+    const micro = BigInt(intPart) * SCALE + BigInt(fracPart.padEnd(6, '0').slice(0, 6));
+    return negative ? -micro : micro;
+}
+function fromMicro(micro) {
+    const negative = micro < 0n;
+    const abs = negative ? -micro : micro;
+    const intPart = abs / SCALE;
+    const frac = (abs % SCALE).toString().padStart(6, '0').replace(/0+$/, '');
+    return `${negative ? '-' : ''}${intPart}${frac ? `.${frac}` : ''}`;
+}
+/** quantity × unit price, half-up at 6 dp. Both args are decimal strings. */
+export function mulDecimal(qty, amount) {
+    const product = toMicro(qty) * toMicro(amount);
+    const sign = product < 0n ? -1n : 1n;
+    const abs = product < 0n ? -product : product;
+    return fromMicro(sign * ((abs + SCALE / 2n) / SCALE));
+}
+export function addDecimal(a, b) {
+    return fromMicro(toMicro(a) + toMicro(b));
+}
+export function compareDecimal(a, b) {
+    const [ma, mb] = [toMicro(a), toMicro(b)];
+    return ma < mb ? -1 : ma > mb ? 1 : 0;
+}
+export function moneyOf(amount, currency) {
+    return money.parse({ amount, currency });
+}
+export function addMoney(a, b) {
+    if (a.currency !== b.currency) {
+        throw new Error(`currency mismatch: ${a.currency} vs ${b.currency}`);
+    }
+    return moneyOf(addDecimal(a.amount, b.amount), a.currency);
+}
+export function mulMoney(qty, unitPrice) {
+    return moneyOf(mulDecimal(qty, unitPrice.amount), unitPrice.currency);
+}
+//# sourceMappingURL=money.js.map

package/dist/money.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"money.js","sourceRoot":"","sources":["../src/money.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,2EAA2E;AAC3E,sEAAsE;AACtE,wEAAwE;AACxE,wCAAwC;AAExC,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC;KAC1B,MAAM,EAAE;KACR,KAAK,CAAC,YAAY,CAAC,CAAC,WAAW;KAC/B,KAAK,EAAkB,CAAC;AAG3B,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC;KACzB,MAAM,EAAE;KACR,KAAK,CAAC,qBAAqB,CAAC;KAC5B,KAAK,EAAiB,CAAC;AAG1B,MAAM,CAAC,MAAM,KAAK,GAAG,CAAC,CAAC,MAAM,CAAC;IAC5B,MAAM,EAAE,WAAW;IACnB,QAAQ,EAAE,YAAY;CACvB,CAAC,CAAC;AAGH,8EAA8E;AAC9E,+EAA+E;AAC/E,uEAAuE;AACvE,8EAA8E;AAE9E,MAAM,KAAK,GAAG,QAAU,CAAC;AAEzB,SAAS,OAAO,CAAC,OAAe;IAC9B,MAAM,QAAQ,GAAG,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;IACzC,MAAM,KAAK,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;IACjE,MAAM,OAAO,GAAG,KAAK,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC;IAChC,MAAM,QAAQ,GAAG,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IAChC,MAAM,KAAK,GAAG,MAAM,CAAC,OAAO,CAAC,GAAG,KAAK,GAAG,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACpF,OAAO,QAAQ,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC;AACnC,CAAC;AAED,SAAS,SAAS,CAAC,KAAa;IAC9B,MAAM,QAAQ,GAAG,KAAK,GAAG,EAAE,CAAC;IAC5B,MAAM,GAAG,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC;IACtC,MAAM,OAAO,GAAG,GAAG,GAAG,KAAK,CAAC;IAC5B,MAAM,IAAI,GAAG,CAAC,GAAG,GAAG,KAAK,CAAC,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;IAC1E,OAAO,GAAG,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG,OAAO,GAAG,IAAI,CAAC,CAAC,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC;AACrE,CAAC;AAED,6EAA6E;AAC7E,MAAM,UAAU,UAAU,CAAC,GAAW,EAAE,MAAc;IACpD,MAAM,OAAO,GAAG,OAAO,CAAC,GAAG,CAAC,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC;IAC/C,MAAM,IAAI,GAAG,OAAO,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IACrC,MAAM,GAAG,GAAG,OAAO,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC;IAC9C,OAAO,SAAS,CAAC,IAAI,GAAG,CAAC,CAAC,GAAG,GAAG,KAAK,GAAG,EAAE,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC;AACxD,CAAC;AAED,MAAM,UAAU,UAAU,CAAC,CAAS,EAAE,CAAS;IAC7C,OAAO,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;AAC5C,CAAC;AAED,MAAM,UAAU,cAAc,CAAC,CAAS,EAAE,CAAS;IACjD,MAAM,CAAC,EAAE,EAAE,EAAE,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;IAC1C,OAAO,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AACxC,CAAC;AAED,MAAM,UAAU,OAAO,CAAC,MAAc,EAAE,QAAgB;IACtD,OAAO,KAAK,CAAC,KAAK,CAAC,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC,CAAC;AAC3C,CAAC;AAED,MAAM,UAAU,QAAQ,CAAC,CAAQ,EAAE,CAAQ;IACzC,IAAI,CAAC,CAAC,QAAQ,KAAK,CAAC,CAAC,QAAQ,EAAE,CAAC;QAC9B,MAAM,IAAI,KAAK,CAAC,sBAAsB,CAAC,CAAC,QAAQ,OAAO,CAAC,CAAC,QAAQ,EAAE,CAAC,CAAC;IACvE,CAAC;IACD,OAAO,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC;AAC7D,CAAC;AAED,MAAM,UAAU,QAAQ,CAAC,GAAW,EAAE,SAAgB;IACpD,OAAO,OAAO,CAAC,UAAU,CAAC,GAAG,EAAE,SAAS,CAAC,MAAM,CAAC,EAAE,SAAS,CAAC,QAAQ,CAAC,CAAC;AACxE,CAAC"}