@kashscript/lexicons 0.1.0

package/dist/extensions/social.js

@@ -0,0 +1,99 @@
+/**
+ * Social Extension — domain lexicons (Indusland-shaped but Indusland-agnostic).
+ *
+ *   kash.social.post@1.0.0          — a post (text, media, optional Bento metadata).
+ *   kash.social.interaction@1.0.0   — unified like / share / react event.
+ *   kash.social.follow@1.0.0        — directed relationship between two DIDs.
+ *
+ * Import path: `@kashscript/lexicons/extensions/social`.
+ *
+ * This file is an **extension**: the Foundry core never auto-loads it.
+ * Consumers explicitly register `SOCIAL_EXTENSION` against their
+ * `LexiconRegistry` to opt in to social-domain validation.
+ *
+ * Data minimisation: every field that is not load-bearing for the specific
+ * action is optional.
+ */
+import { RECORD_REF_SCHEMA } from "../envelope";
+import { S } from "../schema";
+/* ─────────────────────────────────────────────────────────────────
+ *  kash.social.post@1.0.0
+ * ───────────────────────────────────────────────────────────────── */
+export const KASH_SOCIAL_POST_NSID = "kash.social.post";
+export const KASH_SOCIAL_POST_VERSION = { major: 1, minor: 0, patch: 0 };
+export const KASH_SOCIAL_POST_ID = "kash.social.post@1.0.0";
+const POST_MEDIA_REF = S.object({
+    cid: S.string({ format: "cid" }),
+    mimeType: S.enum("image/jpeg", "image/png", "image/webp", "image/avif", "video/mp4", "video/webm", "audio/mpeg", "audio/ogg"),
+    altText: S.optional(S.string({ maxLength: 420 })),
+    width: S.optional(S.number({ integer: true, min: 1, max: 16384 })),
+    height: S.optional(S.number({ integer: true, min: 1, max: 16384 })),
+    durationMs: S.optional(S.number({ integer: true, min: 0, max: 86_400_000 })),
+}, ["cid", "mimeType"]);
+const BENTO_META = S.object({
+    title: S.optional(S.string({ minLength: 1, maxLength: 80 })),
+    accent: S.optional(S.enum("sun", "poppy", "sky", "lilac", "sage", "rose")),
+    size: S.optional(S.enum("small", "medium", "large")),
+}, []);
+export const KASH_SOCIAL_POST_BODY_SCHEMA = S.object({
+    text: S.optional(S.string({ maxLength: 1000 })),
+    media: S.optional(S.array(POST_MEDIA_REF, { maxItems: 8 })),
+    bento: S.optional(BENTO_META),
+    replyTo: S.optional(RECORD_REF_SCHEMA),
+    repostOf: S.optional(RECORD_REF_SCHEMA),
+    mentions: S.optional(S.array(S.string({ format: "did-ks" }), { maxItems: 16 })),
+    tags: S.optional(S.array(S.string({ minLength: 1, maxLength: 32, pattern: /^[a-z0-9][a-z0-9_-]*$/ }), { maxItems: 16 })),
+    lang: S.optional(S.string({ format: "bcp47" })),
+}, []);
+/* ─────────────────────────────────────────────────────────────────
+ *  kash.social.interaction@1.0.0
+ * ───────────────────────────────────────────────────────────────── */
+export const KASH_SOCIAL_INTERACTION_NSID = "kash.social.interaction";
+export const KASH_SOCIAL_INTERACTION_VERSION = { major: 1, minor: 0, patch: 0 };
+export const KASH_SOCIAL_INTERACTION_ID = "kash.social.interaction@1.0.0";
+export const KASH_SOCIAL_INTERACTION_BODY_SCHEMA = S.object({
+    type: S.enum("like", "share", "react"),
+    target: RECORD_REF_SCHEMA,
+    reaction: S.optional(S.string({ minLength: 1, maxLength: 16 })),
+}, ["type", "target"]);
+/* ─────────────────────────────────────────────────────────────────
+ *  kash.social.follow@1.0.0
+ * ───────────────────────────────────────────────────────────────── */
+export const KASH_SOCIAL_FOLLOW_NSID = "kash.social.follow";
+export const KASH_SOCIAL_FOLLOW_VERSION = { major: 1, minor: 0, patch: 0 };
+export const KASH_SOCIAL_FOLLOW_ID = "kash.social.follow@1.0.0";
+export const KASH_SOCIAL_FOLLOW_BODY_SCHEMA = S.object({
+    subject: S.string({ format: "did-ks" }),
+    subjectHandle: S.optional(S.string({ minLength: 1, maxLength: 64 })),
+}, ["subject"]);
+/* ─────────────────────────────────────────────────────────────────
+ *  Extension bundle
+ * ───────────────────────────────────────────────────────────────── */
+/** All Social-domain lexicons. Pass to `LexiconRegistry.registerAll()`. */
+export const SOCIAL_EXTENSION = [
+    {
+        id: KASH_SOCIAL_POST_ID,
+        nsid: KASH_SOCIAL_POST_NSID,
+        semver: KASH_SOCIAL_POST_VERSION,
+        bodySchema: KASH_SOCIAL_POST_BODY_SCHEMA,
+        title: "Social Post",
+        description: "A post — text, media, and optional Bento-style tile metadata.",
+    },
+    {
+        id: KASH_SOCIAL_INTERACTION_ID,
+        nsid: KASH_SOCIAL_INTERACTION_NSID,
+        semver: KASH_SOCIAL_INTERACTION_VERSION,
+        bodySchema: KASH_SOCIAL_INTERACTION_BODY_SCHEMA,
+        title: "Social Interaction",
+        description: "Unified like / share / react event against a post.",
+    },
+    {
+        id: KASH_SOCIAL_FOLLOW_ID,
+        nsid: KASH_SOCIAL_FOLLOW_NSID,
+        semver: KASH_SOCIAL_FOLLOW_VERSION,
+        bodySchema: KASH_SOCIAL_FOLLOW_BODY_SCHEMA,
+        title: "Social Follow",
+        description: "Directed follow relationship between two DIDs.",
+    },
+];
+//# sourceMappingURL=social.js.map

package/dist/extensions/social.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"social.js","sourceRoot":"","sources":["../../src/extensions/social.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAEH,OAAO,EAAE,iBAAiB,EAAkB,MAAM,aAAa,CAAC;AAEhE,OAAO,EAAE,CAAC,EAAqB,MAAM,WAAW,CAAC;AAEjD;;uEAEuE;AAEvE,MAAM,CAAC,MAAM,qBAAqB,GAAM,kBAA2B,CAAC;AACpE,MAAM,CAAC,MAAM,wBAAwB,GAAG,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAW,CAAC;AAClF,MAAM,CAAC,MAAM,mBAAmB,GAAQ,wBAAiC,CAAC;AAoC1E,MAAM,cAAc,GAAiB,CAAC,CAAC,MAAM,CAC3C;IACE,GAAG,EAAS,CAAC,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC;IACvC,QAAQ,EAAI,CAAC,CAAC,IAAI,CAChB,YAAY,EAAE,WAAW,EAAE,YAAY,EAAE,YAAY,EACrD,WAAW,EAAG,YAAY,EAC1B,YAAY,EAAE,WAAW,CAC1B;IACD,OAAO,EAAK,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,GAAG,EAAE,CAAC,CAAC;IACpD,KAAK,EAAO,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,CAAC;IACvE,MAAM,EAAM,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,CAAC;IACvE,UAAU,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,UAAU,EAAE,CAAC,CAAC;CAC7E,EACD,CAAC,KAAK,EAAE,UAAU,CAAC,CACpB,CAAC;AAEF,MAAM,UAAU,GAAiB,CAAC,CAAC,MAAM,CACvC;IACE,KAAK,EAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC,CAAC;IAC7D,MAAM,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC;IAC1E,IAAI,EAAI,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC;CACvD,EACD,EAAE,CACH,CAAC;AAEF,MAAM,CAAC,MAAM,4BAA4B,GAAiB,CAAC,CAAC,MAAM,CAChE;IACE,IAAI,EAAM,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IACnD,KAAK,EAAK,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,cAAc,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC,CAAC;IAC9D,KAAK,EAAK,CAAC,CAAC,QAAQ,CAAC,UAAU,CAAC;IAChC,OAAO,EAAG,CAAC,CAAC,QAAQ,CAAC,iBAAiB,CAAC;IACvC,QAAQ,EAAE,CAAC,CAAC,QAAQ,CAAC,iBAAiB,CAAC;IACvC,QAAQ,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC,CAAC;IAC/E,IAAI,EAAM,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,EAAE,EAAE,EAAE,OAAO,EAAE,uBAAuB,EAAE,CAAC,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC,CAAC;IAC5H,IAAI,EAAM,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC,CAAC;CACpD,EACD,EAAE,CACH,CAAC;AAEF;;uEAEuE;AAEvE,MAAM,CAAC,MAAM,4BAA4B,GAAM,yBAAkC,CAAC;AAClF,MAAM,CAAC,MAAM,+BAA+B,GAAG,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAW,CAAC;AACzF,MAAM,CAAC,MAAM,0BAA0B,GAAQ,+BAAwC,CAAC;AAUxF,MAAM,CAAC,MAAM,mCAAmC,GAAiB,CAAC,CAAC,MAAM,CACvE;IACE,IAAI,EAAM,CAAC,CAAC,IAAI,CAAC,MAAM,EAAE,OAAO,EAAE,OAAO,CAAC;IAC1C,MAAM,EAAI,iBAAiB;IAC3B,QAAQ,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC,CAAC;CAChE,EACD,CAAC,MAAM,EAAE,QAAQ,CAAC,CACnB,CAAC;AAEF;;uEAEuE;AAEvE,MAAM,CAAC,MAAM,uBAAuB,GAAM,oBAA6B,CAAC;AACxE,MAAM,CAAC,MAAM,0BAA0B,GAAG,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAW,CAAC;AACpF,MAAM,CAAC,MAAM,qBAAqB,GAAQ,0BAAmC,CAAC;AAO9E,MAAM,CAAC,MAAM,8BAA8B,GAAiB,CAAC,CAAC,MAAM,CAClE;IACE,OAAO,EAAQ,CAAC,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC;IAC7C,aAAa,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC,CAAC;CACrE,EACD,CAAC,SAAS,CAAC,CACZ,CAAC;AAEF;;uEAEuE;AAEvE,2EAA2E;AAC3E,MAAM,CAAC,MAAM,gBAAgB,GAA0B;IACrD;QACE,EAAE,EAAE,mBAAmB;QACvB,IAAI,EAAE,qBAAqB;QAC3B,MAAM,EAAE,wBAAwB;QAChC,UAAU,EAAE,4BAA4B;QACxC,KAAK,EAAE,aAAa;QACpB,WAAW,EAAE,+DAA+D;KAC7E;IACD;QACE,EAAE,EAAE,0BAA0B;QAC9B,IAAI,EAAE,4BAA4B;QAClC,MAAM,EAAE,+BAA+B;QACvC,UAAU,EAAE,mCAAmC;QAC/C,KAAK,EAAE,oBAAoB;QAC3B,WAAW,EAAE,oDAAoD;KAClE;IACD;QACE,EAAE,EAAE,qBAAqB;QACzB,IAAI,EAAE,uBAAuB;QAC7B,MAAM,EAAE,0BAA0B;QAClC,UAAU,EAAE,8BAA8B;QAC1C,KAAK,EAAE,eAAe;QACtB,WAAW,EAAE,gDAAgD;KAC9D;CACF,CAAC"}

package/dist/extensions/trade.d.ts

@@ -0,0 +1,94 @@
+/**
+ * Trade Extension — domain lexicons (Duedale-shaped but Duedale-agnostic).
+ *
+ *   kash.trade.offer@1.0.0    — an item / service for sale.
+ *   kash.trade.receipt@1.0.0  — a cryptographically signed completed transaction.
+ *   kash.trade.status@1.0.0   — a lightweight logistics update.
+ *
+ * Import path: `@kashscript/lexicons/extensions/trade`.
+ *
+ * This file is an **extension**: the Foundry core never auto-loads it.
+ * Consumers explicitly register `TRADE_EXTENSION` against their
+ * `LexiconRegistry` to opt in to trade-domain validation.
+ *
+ * Prices follow ISO 4217 (currency codes) and store amounts as DECIMAL STRINGS
+ * to avoid IEEE-754 float drift. Locations use ISO 3166-2 region codes when
+ * available, falling back to free-form region strings.
+ */
+import { type RecordRef } from "../envelope";
+import type { LexiconDef } from "../registry";
+import { type ObjectSchema } from "../schema";
+export type PriceUnit = "fixed" | "per-hour" | "per-day" | "per-month" | "per-unit";
+export interface PriceSpec {
+    readonly amount: string;
+    readonly currency: string;
+    readonly unit?: PriceUnit;
+}
+export declare const KASH_TRADE_OFFER_NSID: "kash.trade.offer";
+export declare const KASH_TRADE_OFFER_VERSION: {
+    readonly major: 1;
+    readonly minor: 0;
+    readonly patch: 0;
+};
+export declare const KASH_TRADE_OFFER_ID: "kash.trade.offer@1.0.0";
+export type TradeCategory = "goods" | "services" | "rentals" | "digital";
+export type TradeStatus = "open" | "reserved" | "closed";
+export type FulfilmentMode = "pickup" | "ship" | "digital";
+export interface OfferMediaRef {
+    readonly cid: string;
+    readonly mimeType: "image/jpeg" | "image/png" | "image/webp";
+}
+export interface LocationSpec {
+    readonly region: string;
+    readonly handler: FulfilmentMode;
+}
+export interface KashTradeOfferBody {
+    readonly title: string;
+    readonly description?: string;
+    readonly category: TradeCategory;
+    readonly price: PriceSpec;
+    readonly media?: readonly OfferMediaRef[];
+    readonly location?: LocationSpec;
+    readonly validUntil?: string;
+    readonly status: TradeStatus;
+    readonly relatedPost?: RecordRef;
+}
+export declare const KASH_TRADE_OFFER_BODY_SCHEMA: ObjectSchema;
+export declare const KASH_TRADE_RECEIPT_NSID: "kash.trade.receipt";
+export declare const KASH_TRADE_RECEIPT_VERSION: {
+    readonly major: 1;
+    readonly minor: 0;
+    readonly patch: 0;
+};
+export declare const KASH_TRADE_RECEIPT_ID: "kash.trade.receipt@1.0.0";
+export type TradeRole = "buyer" | "seller";
+export interface KashTradeReceiptBody {
+    readonly offer: RecordRef;
+    readonly counterparty: string;
+    readonly role: TradeRole;
+    readonly price: PriceSpec;
+    readonly settledAt: string;
+    readonly paymentRef?: string;
+    readonly counterpartyReceipt?: RecordRef;
+    readonly linkedPost?: RecordRef;
+}
+export declare const KASH_TRADE_RECEIPT_BODY_SCHEMA: ObjectSchema;
+export declare const KASH_TRADE_STATUS_NSID: "kash.trade.status";
+export declare const KASH_TRADE_STATUS_VERSION: {
+    readonly major: 1;
+    readonly minor: 0;
+    readonly patch: 0;
+};
+export declare const KASH_TRADE_STATUS_ID: "kash.trade.status@1.0.0";
+export type TradeState = "pending" | "shipped" | "in-transit" | "delivered" | "received" | "disputed" | "refunded" | "cancelled";
+export interface KashTradeStatusBody {
+    readonly receipt: RecordRef;
+    readonly state: TradeState;
+    readonly note?: string;
+    readonly trackingRef?: string;
+    readonly at?: string;
+}
+export declare const KASH_TRADE_STATUS_BODY_SCHEMA: ObjectSchema;
+/** All Trade-domain lexicons. Pass to `LexiconRegistry.registerAll()`. */
+export declare const TRADE_EXTENSION: readonly LexiconDef[];
+//# sourceMappingURL=trade.d.ts.map

package/dist/extensions/trade.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"trade.d.ts","sourceRoot":"","sources":["../../src/extensions/trade.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAEH,OAAO,EAAqB,KAAK,SAAS,EAAE,MAAM,aAAa,CAAC;AAChE,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAC9C,OAAO,EAAK,KAAK,YAAY,EAAE,MAAM,WAAW,CAAC;AAQjD,MAAM,MAAM,SAAS,GAAG,OAAO,GAAG,UAAU,GAAG,SAAS,GAAG,WAAW,GAAG,UAAU,CAAC;AAEpF,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,IAAI,CAAC,EAAE,SAAS,CAAC;CAC3B;AAeD,eAAO,MAAM,qBAAqB,EAAM,kBAA2B,CAAC;AACpE,eAAO,MAAM,wBAAwB;;;;CAA4C,CAAC;AAClF,eAAO,MAAM,mBAAmB,EAAQ,wBAAiC,CAAC;AAE1E,MAAM,MAAM,aAAa,GAAI,OAAO,GAAG,UAAU,GAAG,SAAS,GAAG,SAAS,CAAC;AAC1E,MAAM,MAAM,WAAW,GAAM,MAAM,GAAG,UAAU,GAAG,QAAQ,CAAC;AAC5D,MAAM,MAAM,cAAc,GAAG,QAAQ,GAAG,MAAM,GAAG,SAAS,CAAC;AAE3D,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,QAAQ,EAAE,YAAY,GAAG,WAAW,GAAG,YAAY,CAAC;CAC9D;AAED,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,OAAO,EAAE,cAAc,CAAC;CAClC;AAED,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,QAAQ,EAAE,aAAa,CAAC;IACjC,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC;IAC1B,QAAQ,CAAC,KAAK,CAAC,EAAE,SAAS,aAAa,EAAE,CAAC;IAC1C,QAAQ,CAAC,QAAQ,CAAC,EAAE,YAAY,CAAC;IACjC,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAC;IAC7B,QAAQ,CAAC,WAAW,CAAC,EAAE,SAAS,CAAC;CAClC;AAkBD,eAAO,MAAM,4BAA4B,EAAE,YAa1C,CAAC;AASF,eAAO,MAAM,uBAAuB,EAAM,oBAA6B,CAAC;AACxE,eAAO,MAAM,0BAA0B;;;;CAA4C,CAAC;AACpF,eAAO,MAAM,qBAAqB,EAAQ,0BAAmC,CAAC;AAE9E,MAAM,MAAM,SAAS,GAAG,OAAO,GAAG,QAAQ,CAAC;AAE3C,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC;IAC1B,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC;IAC1B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,mBAAmB,CAAC,EAAE,SAAS,CAAC;IACzC,QAAQ,CAAC,UAAU,CAAC,EAAE,SAAS,CAAC;CACjC;AAED,eAAO,MAAM,8BAA8B,EAAE,YAY5C,CAAC;AAMF,eAAO,MAAM,sBAAsB,EAAM,mBAA4B,CAAC;AACtE,eAAO,MAAM,yBAAyB;;;;CAA4C,CAAC;AACnF,eAAO,MAAM,oBAAoB,EAAQ,yBAAkC,CAAC;AAE5E,MAAM,MAAM,UAAU,GAClB,SAAS,GAAG,SAAS,GAAG,YAAY,GAAG,WAAW,GAClD,UAAU,GAAG,UAAU,GAAG,UAAU,GAAG,WAAW,CAAC;AAEvD,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,OAAO,EAAE,SAAS,CAAC;IAC5B,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAC;IAC3B,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC;CACtB;AAED,eAAO,MAAM,6BAA6B,EAAE,YAS3C,CAAC;AAMF,0EAA0E;AAC1E,eAAO,MAAM,eAAe,EAAE,SAAS,UAAU,EAyBhD,CAAC"}

package/dist/extensions/trade.js

@@ -0,0 +1,116 @@
+/**
+ * Trade Extension — domain lexicons (Duedale-shaped but Duedale-agnostic).
+ *
+ *   kash.trade.offer@1.0.0    — an item / service for sale.
+ *   kash.trade.receipt@1.0.0  — a cryptographically signed completed transaction.
+ *   kash.trade.status@1.0.0   — a lightweight logistics update.
+ *
+ * Import path: `@kashscript/lexicons/extensions/trade`.
+ *
+ * This file is an **extension**: the Foundry core never auto-loads it.
+ * Consumers explicitly register `TRADE_EXTENSION` against their
+ * `LexiconRegistry` to opt in to trade-domain validation.
+ *
+ * Prices follow ISO 4217 (currency codes) and store amounts as DECIMAL STRINGS
+ * to avoid IEEE-754 float drift. Locations use ISO 3166-2 region codes when
+ * available, falling back to free-form region strings.
+ */
+import { RECORD_REF_SCHEMA } from "../envelope";
+import { S } from "../schema";
+/* ─────────────────────────────────────────────────────────────────
+ * Money — ISO 4217 amount as a decimal string. AI-parseable.
+ * ───────────────────────────────────────────────────────────────── */
+const DECIMAL_AMOUNT_RE = /^(?:0|[1-9][0-9]{0,17})(?:\.[0-9]{1,8})?$/;
+const PRICE_SPEC = S.object({
+    amount: S.string({ pattern: DECIMAL_AMOUNT_RE, maxLength: 32 }),
+    currency: S.string({ format: "iso4217" }),
+    unit: S.optional(S.enum("fixed", "per-hour", "per-day", "per-month", "per-unit")),
+}, ["amount", "currency"]);
+/* ─────────────────────────────────────────────────────────────────
+ *  kash.trade.offer@1.0.0
+ * ───────────────────────────────────────────────────────────────── */
+export const KASH_TRADE_OFFER_NSID = "kash.trade.offer";
+export const KASH_TRADE_OFFER_VERSION = { major: 1, minor: 0, patch: 0 };
+export const KASH_TRADE_OFFER_ID = "kash.trade.offer@1.0.0";
+const OFFER_MEDIA_REF = S.object({
+    cid: S.string({ format: "cid" }),
+    mimeType: S.enum("image/jpeg", "image/png", "image/webp"),
+}, ["cid", "mimeType"]);
+const LOCATION_SPEC = S.object({
+    region: S.string({ minLength: 1, maxLength: 64 }),
+    handler: S.enum("pickup", "ship", "digital"),
+}, ["region", "handler"]);
+export const KASH_TRADE_OFFER_BODY_SCHEMA = S.object({
+    title: S.string({ minLength: 1, maxLength: 140 }),
+    description: S.optional(S.string({ maxLength: 4000 })),
+    category: S.enum("goods", "services", "rentals", "digital"),
+    price: PRICE_SPEC,
+    media: S.optional(S.array(OFFER_MEDIA_REF, { maxItems: 8 })),
+    location: S.optional(LOCATION_SPEC),
+    validUntil: S.optional(S.string({ format: "iso8601" })),
+    status: S.enum("open", "reserved", "closed"),
+    relatedPost: S.optional(RECORD_REF_SCHEMA),
+}, ["title", "category", "price", "status"]);
+/* ─────────────────────────────────────────────────────────────────
+ *  kash.trade.receipt@1.0.0
+ *
+ *  Dual-receipt pattern: each party publishes their OWN receipt.
+ *  Cross-domain interop: optional `linkedPost` references a `kash.social.post`.
+ * ───────────────────────────────────────────────────────────────── */
+export const KASH_TRADE_RECEIPT_NSID = "kash.trade.receipt";
+export const KASH_TRADE_RECEIPT_VERSION = { major: 1, minor: 0, patch: 0 };
+export const KASH_TRADE_RECEIPT_ID = "kash.trade.receipt@1.0.0";
+export const KASH_TRADE_RECEIPT_BODY_SCHEMA = S.object({
+    offer: RECORD_REF_SCHEMA,
+    counterparty: S.string({ format: "did-ks" }),
+    role: S.enum("buyer", "seller"),
+    price: PRICE_SPEC,
+    settledAt: S.string({ format: "iso8601" }),
+    paymentRef: S.optional(S.string({ minLength: 1, maxLength: 128 })),
+    counterpartyReceipt: S.optional(RECORD_REF_SCHEMA),
+    linkedPost: S.optional(RECORD_REF_SCHEMA),
+}, ["offer", "counterparty", "role", "price", "settledAt"]);
+/* ─────────────────────────────────────────────────────────────────
+ *  kash.trade.status@1.0.0
+ * ───────────────────────────────────────────────────────────────── */
+export const KASH_TRADE_STATUS_NSID = "kash.trade.status";
+export const KASH_TRADE_STATUS_VERSION = { major: 1, minor: 0, patch: 0 };
+export const KASH_TRADE_STATUS_ID = "kash.trade.status@1.0.0";
+export const KASH_TRADE_STATUS_BODY_SCHEMA = S.object({
+    receipt: RECORD_REF_SCHEMA,
+    state: S.enum("pending", "shipped", "in-transit", "delivered", "received", "disputed", "refunded", "cancelled"),
+    note: S.optional(S.string({ minLength: 1, maxLength: 280 })),
+    trackingRef: S.optional(S.string({ minLength: 1, maxLength: 128 })),
+    at: S.optional(S.string({ format: "iso8601" })),
+}, ["receipt", "state"]);
+/* ─────────────────────────────────────────────────────────────────
+ *  Extension bundle
+ * ───────────────────────────────────────────────────────────────── */
+/** All Trade-domain lexicons. Pass to `LexiconRegistry.registerAll()`. */
+export const TRADE_EXTENSION = [
+    {
+        id: KASH_TRADE_OFFER_ID,
+        nsid: KASH_TRADE_OFFER_NSID,
+        semver: KASH_TRADE_OFFER_VERSION,
+        bodySchema: KASH_TRADE_OFFER_BODY_SCHEMA,
+        title: "Trade Offer",
+        description: "An item or service for sale — ISO 4217 price, optional location and media.",
+    },
+    {
+        id: KASH_TRADE_RECEIPT_ID,
+        nsid: KASH_TRADE_RECEIPT_NSID,
+        semver: KASH_TRADE_RECEIPT_VERSION,
+        bodySchema: KASH_TRADE_RECEIPT_BODY_SCHEMA,
+        title: "Trade Receipt",
+        description: "Cryptographically signed completed transaction. Dual-receipt pattern; optionally links to a social post.",
+    },
+    {
+        id: KASH_TRADE_STATUS_ID,
+        nsid: KASH_TRADE_STATUS_NSID,
+        semver: KASH_TRADE_STATUS_VERSION,
+        bodySchema: KASH_TRADE_STATUS_BODY_SCHEMA,
+        title: "Trade Status",
+        description: "Lightweight logistics update bound to a receipt.",
+    },
+];
+//# sourceMappingURL=trade.js.map

package/dist/extensions/trade.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"trade.js","sourceRoot":"","sources":["../../src/extensions/trade.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;GAgBG;AAEH,OAAO,EAAE,iBAAiB,EAAkB,MAAM,aAAa,CAAC;AAEhE,OAAO,EAAE,CAAC,EAAqB,MAAM,WAAW,CAAC;AAEjD;;uEAEuE;AAEvE,MAAM,iBAAiB,GAAG,2CAA2C,CAAC;AAUtE,MAAM,UAAU,GAAiB,CAAC,CAAC,MAAM,CACvC;IACE,MAAM,EAAI,CAAC,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,iBAAiB,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC;IACjE,QAAQ,EAAE,CAAC,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC;IACzC,IAAI,EAAM,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,WAAW,EAAE,UAAU,CAAC,CAAC;CACtF,EACD,CAAC,QAAQ,EAAE,UAAU,CAAC,CACvB,CAAC;AAEF;;uEAEuE;AAEvE,MAAM,CAAC,MAAM,qBAAqB,GAAM,kBAA2B,CAAC;AACpE,MAAM,CAAC,MAAM,wBAAwB,GAAG,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAW,CAAC;AAClF,MAAM,CAAC,MAAM,mBAAmB,GAAQ,wBAAiC,CAAC;AA4B1E,MAAM,eAAe,GAAiB,CAAC,CAAC,MAAM,CAC5C;IACE,GAAG,EAAO,CAAC,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC;IACrC,QAAQ,EAAE,CAAC,CAAC,IAAI,CAAC,YAAY,EAAE,WAAW,EAAE,YAAY,CAAC;CAC1D,EACD,CAAC,KAAK,EAAE,UAAU,CAAC,CACpB,CAAC;AAEF,MAAM,aAAa,GAAiB,CAAC,CAAC,MAAM,CAC1C;IACE,MAAM,EAAG,CAAC,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC;IAClD,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,QAAQ,EAAE,MAAM,EAAE,SAAS,CAAC;CAC7C,EACD,CAAC,QAAQ,EAAE,SAAS,CAAC,CACtB,CAAC;AAEF,MAAM,CAAC,MAAM,4BAA4B,GAAiB,CAAC,CAAC,MAAM,CAChE;IACE,KAAK,EAAQ,CAAC,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,EAAE,GAAG,EAAE,CAAC;IACvD,WAAW,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IACtD,QAAQ,EAAK,CAAC,CAAC,IAAI,CAAC,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,SAAS,CAAC;IAC9D,KAAK,EAAQ,UAAU;IACvB,KAAK,EAAQ,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,eAAe,EAAE,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC,CAAC;IAClE,QAAQ,EAAK,CAAC,CAAC,QAAQ,CAAC,aAAa,CAAC;IACtC,UAAU,EAAG,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC,CAAC;IACxD,MAAM,EAAO,CAAC,CAAC,IAAI,CAAC,MAAM,EAAE,UAAU,EAAE,QAAQ,CAAC;IACjD,WAAW,EAAE,CAAC,CAAC,QAAQ,CAAC,iBAAiB,CAAC;CAC3C,EACD,CAAC,OAAO,EAAE,UAAU,EAAE,OAAO,EAAE,QAAQ,CAAC,CACzC,CAAC;AAEF;;;;;uEAKuE;AAEvE,MAAM,CAAC,MAAM,uBAAuB,GAAM,oBAA6B,CAAC;AACxE,MAAM,CAAC,MAAM,0BAA0B,GAAG,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAW,CAAC;AACpF,MAAM,CAAC,MAAM,qBAAqB,GAAQ,0BAAmC,CAAC;AAe9E,MAAM,CAAC,MAAM,8BAA8B,GAAiB,CAAC,CAAC,MAAM,CAClE;IACE,KAAK,EAAgB,iBAAiB;IACtC,YAAY,EAAS,CAAC,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC;IACnD,IAAI,EAAiB,CAAC,CAAC,IAAI,CAAC,OAAO,EAAE,QAAQ,CAAC;IAC9C,KAAK,EAAgB,UAAU;IAC/B,SAAS,EAAY,CAAC,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC;IACpD,UAAU,EAAW,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,EAAE,GAAG,EAAE,CAAC,CAAC;IAC3E,mBAAmB,EAAE,CAAC,CAAC,QAAQ,CAAC,iBAAiB,CAAC;IAClD,UAAU,EAAW,CAAC,CAAC,QAAQ,CAAC,iBAAiB,CAAC;CACnD,EACD,CAAC,OAAO,EAAE,cAAc,EAAE,MAAM,EAAE,OAAO,EAAE,WAAW,CAAC,CACxD,CAAC;AAEF;;uEAEuE;AAEvE,MAAM,CAAC,MAAM,sBAAsB,GAAM,mBAA4B,CAAC;AACtE,MAAM,CAAC,MAAM,yBAAyB,GAAG,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAW,CAAC;AACnF,MAAM,CAAC,MAAM,oBAAoB,GAAQ,yBAAkC,CAAC;AAc5E,MAAM,CAAC,MAAM,6BAA6B,GAAiB,CAAC,CAAC,MAAM,CACjE;IACE,OAAO,EAAM,iBAAiB;IAC9B,KAAK,EAAQ,CAAC,CAAC,IAAI,CAAC,SAAS,EAAE,SAAS,EAAE,YAAY,EAAE,WAAW,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,EAAE,WAAW,CAAC;IACrH,IAAI,EAAS,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,EAAE,GAAG,EAAE,CAAC,CAAC;IACnE,WAAW,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,EAAE,GAAG,EAAE,CAAC,CAAC;IACnE,EAAE,EAAW,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC,CAAC;CACzD,EACD,CAAC,SAAS,EAAE,OAAO,CAAC,CACrB,CAAC;AAEF;;uEAEuE;AAEvE,0EAA0E;AAC1E,MAAM,CAAC,MAAM,eAAe,GAA0B;IACpD;QACE,EAAE,EAAE,mBAAmB;QACvB,IAAI,EAAE,qBAAqB;QAC3B,MAAM,EAAE,wBAAwB;QAChC,UAAU,EAAE,4BAA4B;QACxC,KAAK,EAAE,aAAa;QACpB,WAAW,EAAE,4EAA4E;KAC1F;IACD;QACE,EAAE,EAAE,qBAAqB;QACzB,IAAI,EAAE,uBAAuB;QAC7B,MAAM,EAAE,0BAA0B;QAClC,UAAU,EAAE,8BAA8B;QAC1C,KAAK,EAAE,eAAe;QACtB,WAAW,EAAE,0GAA0G;KACxH;IACD;QACE,EAAE,EAAE,oBAAoB;QACxB,IAAI,EAAE,sBAAsB;QAC5B,MAAM,EAAE,yBAAyB;QACjC,UAAU,EAAE,6BAA6B;QACzC,KAAK,EAAE,cAAc;QACrB,WAAW,EAAE,kDAAkD;KAChE;CACF,CAAC"}

package/dist/extensions/zkp.d.ts

@@ -0,0 +1,76 @@
+/**
+ * ZKP Extension — privacy-bearing proof submissions.
+ *
+ *   kash.zkp.proof-of-claim@1.0.0
+ *     The on-the-wire shape a holder uses to submit a SNARK proof to a
+ *     verifier. Pairs naturally with the {@link @kashscript/identity-zkp}
+ *     prover surface but is transport-agnostic — verifiers can accept it
+ *     over HTTP, Kafka, anywhere a Kash-Event flows.
+ *
+ * **F3 (audit) — one-shot-keypair pattern.** Every submission carries a
+ * `submitWith` discriminator that names the keypair model the envelope
+ * uses:
+ *
+ *   • `"ephemeral-keypair"` — the holder mints a FRESH keypair just for
+ *     this submission. The envelope's `kid` is the ephemeral DID; the
+ *     verifier learns nothing about the holder's persistent identity.
+ *     This is the unlinkable mode. Cross-verifier correlation requires
+ *     the verifiers to combine OUT-OF-BAND signals (network, billing) —
+ *     the wire format itself reveals nothing.
+ *
+ *   • `"session-keypair"` — the holder uses a per-verifier session key
+ *     (typically derived from a verifier-bound nonce). Submissions to
+ *     the SAME verifier within the session are linkable; submissions
+ *     across verifiers/sessions are not.
+ *
+ *   • `"persistent-keypair"` — the holder uses their long-lived DID key.
+ *     All submissions are correlatable. Use only when correlation is
+ *     desired (e.g., audit-trail flows; high-trust authenticated grants).
+ *
+ * The lexicon DOES NOT enforce which discriminator is used — that is a
+ * holder choice — but verifiers MUST surface the chosen mode in their
+ * UX and decision logic.
+ *
+ * Import path: `@kashscript/lexicons/extensions/zkp`.
+ */
+import type { LexiconDef } from "../registry";
+import { type ObjectSchema } from "../schema";
+export declare const KASH_ZKP_PROOF_OF_CLAIM_NSID: "kash.zkp.proof-of-claim";
+export declare const KASH_ZKP_PROOF_OF_CLAIM_VERSION: {
+    readonly major: 1;
+    readonly minor: 0;
+    readonly patch: 0;
+};
+export declare const KASH_ZKP_PROOF_OF_CLAIM_ID: "kash.zkp.proof-of-claim@1.0.0";
+/** Keypair-model discriminator. See module docstring. */
+export type SubmitWith = "ephemeral-keypair" | "session-keypair" | "persistent-keypair";
+/** Supported SNARK envelopes. Mirrors `@kashscript/identity-zkp` `ProofSystem`. */
+export type ZkpProofSystem = "groth16" | "plonk" | "fflonk";
+export interface KashZkpProofOfClaimBody {
+    /** The claim being proven, in plain language (display-only — never signed-into-circuit). */
+    readonly claim: string;
+    /** Stable circuit id (e.g., `"kash-range-proof-on-commitment-v1"`). */
+    readonly circuitId: string;
+    /** Proof system the envelope targets. */
+    readonly system: ZkpProofSystem;
+    /** The opaque proof envelope as emitted by snarkjs (any JSON shape). */
+    readonly proof: Readonly<Record<string, unknown>>;
+    /** Public signals — ordered, snarkjs decimal-string convention. */
+    readonly publicSignals: readonly string[];
+    /** Keypair model the holder used to submit. See module docstring. */
+    readonly submitWith: SubmitWith;
+    /**
+     * OPTIONAL audience identifier when the holder bound the proof to a specific
+     * verifier (typically the verifier's DID or origin URL). Verifiers SHOULD
+     * reject submissions whose `audience` does not match their own identity.
+     */
+    readonly audience?: string;
+    /** OPTIONAL ISO-8601 expiry. Verifiers SHOULD reject after this instant. */
+    readonly expiresAt?: string;
+    /** OPTIONAL base58btc-encoded SHA-256 over `{ proof, publicSignals, audience, expiresAt }`. */
+    readonly bindingHashB58?: string;
+}
+export declare const KASH_ZKP_PROOF_OF_CLAIM_BODY_SCHEMA: ObjectSchema;
+/** All ZKP-domain lexicons. Pass to `LexiconRegistry.registerAll()`. */
+export declare const ZKP_EXTENSION: readonly LexiconDef[];
+//# sourceMappingURL=zkp.d.ts.map

package/dist/extensions/zkp.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"zkp.d.ts","sourceRoot":"","sources":["../../src/extensions/zkp.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAkCG;AAEH,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAC9C,OAAO,EAAK,KAAK,YAAY,EAAE,MAAM,WAAW,CAAC;AAMjD,eAAO,MAAM,4BAA4B,EAAM,yBAAkC,CAAC;AAClF,eAAO,MAAM,+BAA+B;;;;CAA4C,CAAC;AACzF,eAAO,MAAM,0BAA0B,EAAQ,+BAAwC,CAAC;AAExF,yDAAyD;AACzD,MAAM,MAAM,UAAU,GAAG,mBAAmB,GAAG,iBAAiB,GAAG,oBAAoB,CAAC;AAExF,mFAAmF;AACnF,MAAM,MAAM,cAAc,GAAG,SAAS,GAAG,OAAO,GAAG,QAAQ,CAAC;AAE5D,MAAM,WAAW,uBAAuB;IACtC,4FAA4F;IAC5F,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,uEAAuE;IACvE,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,yCAAyC;IACzC,QAAQ,CAAC,MAAM,EAAE,cAAc,CAAC;IAChC,wEAAwE;IACxE,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;IAClD,mEAAmE;IACnE,QAAQ,CAAC,aAAa,EAAE,SAAS,MAAM,EAAE,CAAC;IAC1C,qEAAqE;IACrE,QAAQ,CAAC,UAAU,EAAE,UAAU,CAAC;IAChC;;;;OAIG;IACH,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAC3B,4EAA4E;IAC5E,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAC5B,+FAA+F;IAC/F,QAAQ,CAAC,cAAc,CAAC,EAAE,MAAM,CAAC;CAClC;AAED,eAAO,MAAM,mCAAmC,EAAE,YAajD,CAAC;AAMF,wEAAwE;AACxE,eAAO,MAAM,aAAa,EAAE,SAAS,UAAU,EAS9C,CAAC"}

package/dist/extensions/zkp.js

@@ -0,0 +1,68 @@
+/**
+ * ZKP Extension — privacy-bearing proof submissions.
+ *
+ *   kash.zkp.proof-of-claim@1.0.0
+ *     The on-the-wire shape a holder uses to submit a SNARK proof to a
+ *     verifier. Pairs naturally with the {@link @kashscript/identity-zkp}
+ *     prover surface but is transport-agnostic — verifiers can accept it
+ *     over HTTP, Kafka, anywhere a Kash-Event flows.
+ *
+ * **F3 (audit) — one-shot-keypair pattern.** Every submission carries a
+ * `submitWith` discriminator that names the keypair model the envelope
+ * uses:
+ *
+ *   • `"ephemeral-keypair"` — the holder mints a FRESH keypair just for
+ *     this submission. The envelope's `kid` is the ephemeral DID; the
+ *     verifier learns nothing about the holder's persistent identity.
+ *     This is the unlinkable mode. Cross-verifier correlation requires
+ *     the verifiers to combine OUT-OF-BAND signals (network, billing) —
+ *     the wire format itself reveals nothing.
+ *
+ *   • `"session-keypair"` — the holder uses a per-verifier session key
+ *     (typically derived from a verifier-bound nonce). Submissions to
+ *     the SAME verifier within the session are linkable; submissions
+ *     across verifiers/sessions are not.
+ *
+ *   • `"persistent-keypair"` — the holder uses their long-lived DID key.
+ *     All submissions are correlatable. Use only when correlation is
+ *     desired (e.g., audit-trail flows; high-trust authenticated grants).
+ *
+ * The lexicon DOES NOT enforce which discriminator is used — that is a
+ * holder choice — but verifiers MUST surface the chosen mode in their
+ * UX and decision logic.
+ *
+ * Import path: `@kashscript/lexicons/extensions/zkp`.
+ */
+import { S } from "../schema";
+/* ─────────────────────────────────────────────────────────────────
+ *  kash.zkp.proof-of-claim@1.0.0
+ * ───────────────────────────────────────────────────────────────── */
+export const KASH_ZKP_PROOF_OF_CLAIM_NSID = "kash.zkp.proof-of-claim";
+export const KASH_ZKP_PROOF_OF_CLAIM_VERSION = { major: 1, minor: 0, patch: 0 };
+export const KASH_ZKP_PROOF_OF_CLAIM_ID = "kash.zkp.proof-of-claim@1.0.0";
+export const KASH_ZKP_PROOF_OF_CLAIM_BODY_SCHEMA = S.object({
+    claim: S.string({ minLength: 1, maxLength: 280 }),
+    circuitId: S.string({ minLength: 1, maxLength: 128, pattern: /^[a-z0-9][a-z0-9-]*$/ }),
+    system: S.enum("groth16", "plonk", "fflonk"),
+    proof: S.object({}, []), // open shape — system-dependent
+    publicSignals: S.array(S.string({ maxLength: 96 }), { maxItems: 32 }),
+    submitWith: S.enum("ephemeral-keypair", "session-keypair", "persistent-keypair"),
+    audience: S.optional(S.string({ minLength: 1, maxLength: 512 })),
+    expiresAt: S.optional(S.string({ format: "iso8601" })),
+    bindingHashB58: S.optional(S.string({ minLength: 32, maxLength: 64 })),
+}, ["claim", "circuitId", "system", "proof", "publicSignals", "submitWith"]);
+/* ─────────────────────────────────────────────────────────────────
+ *  Extension bundle
+ * ───────────────────────────────────────────────────────────────── */
+/** All ZKP-domain lexicons. Pass to `LexiconRegistry.registerAll()`. */
+export const ZKP_EXTENSION = [
+    {
+        id: KASH_ZKP_PROOF_OF_CLAIM_ID,
+        nsid: KASH_ZKP_PROOF_OF_CLAIM_NSID,
+        semver: KASH_ZKP_PROOF_OF_CLAIM_VERSION,
+        bodySchema: KASH_ZKP_PROOF_OF_CLAIM_BODY_SCHEMA,
+        title: "ZKP Proof of Claim",
+        description: "Wire envelope for submitting a SNARK proof to a verifier. Carries a submitWith discriminator that names the keypair-model the envelope uses, so verifiers can reason about linkability.",
+    },
+];
+//# sourceMappingURL=zkp.js.map

package/dist/extensions/zkp.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"zkp.js","sourceRoot":"","sources":["../../src/extensions/zkp.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAkCG;AAGH,OAAO,EAAE,CAAC,EAAqB,MAAM,WAAW,CAAC;AAEjD;;uEAEuE;AAEvE,MAAM,CAAC,MAAM,4BAA4B,GAAM,yBAAkC,CAAC;AAClF,MAAM,CAAC,MAAM,+BAA+B,GAAG,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,EAAW,CAAC;AACzF,MAAM,CAAC,MAAM,0BAA0B,GAAQ,+BAAwC,CAAC;AAiCxF,MAAM,CAAC,MAAM,mCAAmC,GAAiB,CAAC,CAAC,MAAM,CACvE;IACE,KAAK,EAAW,CAAC,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,EAAE,GAAG,EAAE,CAAC;IAC1D,SAAS,EAAO,CAAC,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,EAAE,GAAG,EAAE,OAAO,EAAE,sBAAsB,EAAE,CAAC;IAC3F,MAAM,EAAU,CAAC,CAAC,IAAI,CAAC,SAAS,EAAE,OAAO,EAAE,QAAQ,CAAC;IACpD,KAAK,EAAW,CAAC,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,CAAC,EAAiB,gCAAgC;IACjF,aAAa,EAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC;IACtE,UAAU,EAAM,CAAC,CAAC,IAAI,CAAC,mBAAmB,EAAE,iBAAiB,EAAE,oBAAoB,CAAC;IACpF,QAAQ,EAAQ,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,EAAE,GAAG,EAAE,CAAC,CAAC;IACtE,SAAS,EAAO,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC,CAAC;IAC3D,cAAc,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,EAAE,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC,CAAC;CACvE,EACD,CAAC,OAAO,EAAE,WAAW,EAAE,QAAQ,EAAE,OAAO,EAAE,eAAe,EAAE,YAAY,CAAC,CACzE,CAAC;AAEF;;uEAEuE;AAEvE,wEAAwE;AACxE,MAAM,CAAC,MAAM,aAAa,GAA0B;IAClD;QACE,EAAE,EAAE,0BAA0B;QAC9B,IAAI,EAAE,4BAA4B;QAClC,MAAM,EAAE,+BAA+B;QACvC,UAAU,EAAE,mCAAmC;QAC/C,KAAK,EAAE,oBAAoB;QAC3B,WAAW,EAAE,yLAAyL;KACvM;CACF,CAAC"}

package/dist/index.d.ts

@@ -0,0 +1,26 @@
+/**
+ * @kashscript/lexicons — main export surface.
+ *
+ * Exposes:
+ *   - Framework (types, schema DSL, semver, envelope) — the Box.
+ *   - Registry + Engine (LexiconRegistry, validateEvent, getSchemaDefinition).
+ *   - Standard Library (identity-tier lexicons) — the agnostic core Content.
+ *
+ * Domain Extensions (Social, Trade, …) are NOT auto-exported here.
+ * They live under subpath imports:
+ *   - @kashscript/lexicons/extensions/social
+ *   - @kashscript/lexicons/extensions/trade
+ *
+ * This package is zero-dependency. No network, no crypto, no storage —
+ * pure data modelling and validation.
+ */
+export * from "./types";
+export * from "./schema";
+export * from "./semver";
+export * from "./envelope";
+export * from "./registry";
+export * from "./engine";
+export * from "./json-schema";
+export * from "./lexicons";
+export declare const LEXICONS_FRAMEWORK_VERSION: "1.0.0";
+//# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAEH,cAAc,SAAS,CAAC;AACxB,cAAc,UAAU,CAAC;AACzB,cAAc,UAAU,CAAC;AACzB,cAAc,YAAY,CAAC;AAC3B,cAAc,YAAY,CAAC;AAC3B,cAAc,UAAU,CAAC;AACzB,cAAc,eAAe,CAAC;AAI9B,cAAc,YAAY,CAAC;AAE3B,eAAO,MAAM,0BAA0B,EAAG,OAAgB,CAAC"}

package/dist/index.js

@@ -0,0 +1,28 @@
+/**
+ * @kashscript/lexicons — main export surface.
+ *
+ * Exposes:
+ *   - Framework (types, schema DSL, semver, envelope) — the Box.
+ *   - Registry + Engine (LexiconRegistry, validateEvent, getSchemaDefinition).
+ *   - Standard Library (identity-tier lexicons) — the agnostic core Content.
+ *
+ * Domain Extensions (Social, Trade, …) are NOT auto-exported here.
+ * They live under subpath imports:
+ *   - @kashscript/lexicons/extensions/social
+ *   - @kashscript/lexicons/extensions/trade
+ *
+ * This package is zero-dependency. No network, no crypto, no storage —
+ * pure data modelling and validation.
+ */
+export * from "./types";
+export * from "./schema";
+export * from "./semver";
+export * from "./envelope";
+export * from "./registry";
+export * from "./engine";
+export * from "./json-schema";
+// Standard Library (identity tier) — lexicons consumers will almost always want.
+// Domain content (social, trade, neuron) ships as separately-imported Extensions.
+export * from "./lexicons";
+export const LEXICONS_FRAMEWORK_VERSION = "1.0.0";
+//# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAEH,cAAc,SAAS,CAAC;AACxB,cAAc,UAAU,CAAC;AACzB,cAAc,UAAU,CAAC;AACzB,cAAc,YAAY,CAAC;AAC3B,cAAc,YAAY,CAAC;AAC3B,cAAc,UAAU,CAAC;AACzB,cAAc,eAAe,CAAC;AAE9B,iFAAiF;AACjF,kFAAkF;AAClF,cAAc,YAAY,CAAC;AAE3B,MAAM,CAAC,MAAM,0BAA0B,GAAG,OAAgB,CAAC"}

package/dist/json-schema.d.ts

@@ -0,0 +1,18 @@
+/**
+ * Convert a `Schema` (the internal DSL) to a JSON-Schema Draft 2020-12 object.
+ *
+ * Output is intended for consumption by external AI tools and documentation
+ * generators (Oreoasis ingestion, OpenAPI exporters, schema crawlers). The
+ * conversion is lossless for our DSL: every constraint we model maps to a
+ * documented JSON-Schema keyword.
+ *
+ * Kash-specific string formats (did-ks, cid, lexicon-id, …) are exposed via
+ * the `format` keyword AND as `pattern` regex so consumers without a custom
+ * format registry can still validate.
+ */
+import { type Schema } from "./schema";
+/** Minimal JSON-Schema object. Booleans (`true`/`false` schemas) are NOT emitted. */
+export type JsonSchema = Readonly<Record<string, unknown>>;
+/** Convert any internal Schema to a JSON-Schema-Draft-2020-12 object. */
+export declare function toJsonSchema(schema: Schema): JsonSchema;
+//# sourceMappingURL=json-schema.d.ts.map

package/dist/json-schema.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"json-schema.d.ts","sourceRoot":"","sources":["../src/json-schema.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH,OAAO,EAQL,KAAK,MAAM,EAIZ,MAAM,UAAU,CAAC;AAElB,qFAAqF;AACrF,MAAM,MAAM,UAAU,GAAG,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;AAkB3D,yEAAyE;AACzE,wBAAgB,YAAY,CAAC,MAAM,EAAE,MAAM,GAAG,UAAU,CA0BvD"}