business-as-code 2.1.3 → 2.4.0

package/dist/finance/pricing.d.ts

@@ -0,0 +1,154 @@
+/**
+ * Pricing — discriminated union with five factory variants.
+ *
+ *   outcome       — pay on delivery; tiers by complexity (S/M/L)
+ *   subscription  — recurring plan + optional metered overage
+ *   perInvocation — flat per-call with included-tier ladder
+ *   composite     — one-time base + metered events
+ *   percent-of    — proportional charge against a realised basis
+ *                   (invoice amount, collected amount, transaction volume)
+ *                   with optional cap / floor
+ *
+ * Each factory returns a typed Pricing value with discriminator on .kind.
+ */
+import type { Currency, Money } from './types.js';
+import type { SLATarget } from './sla.js';
+export interface OutcomeTier {
+    id: string;
+    amount: bigint;
+    currency?: Currency;
+    description?: string;
+}
+export interface PerInvocationTier {
+    id: string;
+    amount: bigint;
+    /** Number of invocations included before per-tier billing applies. */
+    includedPerMonth?: number;
+    /** Per-invocation overage cost above included. */
+    overage?: bigint;
+}
+/**
+ * A single metered-billing line item. `description` is genuinely optional —
+ * callers may omit it from inline literals AND from the {@link Pricing}
+ * factory calls (`Pricing.subscription` / `Pricing.composite`).
+ */
+export interface MeteredEntry {
+    event: string;
+    amount: bigint;
+    description?: string;
+}
+/**
+ * Optional one-time base charge on a {@link Pricing.composite} plan. `description`
+ * is optional under `exactOptionalPropertyTypes`.
+ */
+export interface CompositeBase {
+    id: string;
+    amount: bigint;
+    description?: string;
+}
+/**
+ * Recurring plan portion of a {@link Pricing.subscription}. Shared between the
+ * `Pricing` discriminated union and the {@link Pricing.subscription} factory
+ * so the two shapes never drift.
+ */
+export interface SubscriptionPlan {
+    id: string;
+    amount: bigint;
+    currency: Currency;
+    interval: 'day' | 'week' | 'month' | 'quarter' | 'year';
+}
+/**
+ * Standard bases the {@link Pricing.percentOf} runtime knows how to resolve
+ * at settlement time. Adapters MAY accept arbitrary basis strings for
+ * domain-specific metering, but the canonical four cover the common cases:
+ *
+ *   invoice-amount       — face value of an outbound invoice
+ *   collected-amount     — funds actually received (post-settlement)
+ *   transaction-volume   — gross payment volume processed
+ *   <custom string>      — provider-defined; must be resolvable in the
+ *                          metering runtime
+ */
+export type PercentOfBasis = 'invoice-amount' | 'collected-amount' | 'transaction-volume' | (string & {});
+export type Pricing = {
+    kind: 'outcome';
+    tiers: OutcomeTier[];
+    sla?: SLATarget;
+} | {
+    kind: 'subscription';
+    plan: SubscriptionPlan;
+    metered?: MeteredEntry[];
+    sla?: SLATarget;
+} | {
+    kind: 'per-invocation';
+    tiers: PerInvocationTier[];
+} | {
+    kind: 'composite';
+    base: CompositeBase;
+    metered: MeteredEntry[];
+} | {
+    kind: 'percent-of';
+    basis: PercentOfBasis;
+    /**
+     * Rate in basis points (1/100ths of a percent). Examples: `200` = 2%,
+     * `75` = 0.75%, `1000` = 10%.
+     *
+     * The metering runtime computes the charge as
+     * `(realised_basis * rateBasisPoints) / 10000`, then clamps the
+     * result by the optional `cap` / `floor` (when present).
+     */
+    rateBasisPoints: number;
+    /** Optional upper bound on the per-event charge. */
+    cap?: Money;
+    /** Optional lower bound on the per-event charge. */
+    floor?: Money;
+};
+export declare const Pricing: {
+    outcome(opts: {
+        tiers: OutcomeTier[];
+        sla?: SLATarget;
+    }): Pricing;
+    subscription(opts: {
+        plan: SubscriptionPlan;
+        metered?: MeteredEntry[];
+        sla?: SLATarget;
+    }): Pricing;
+    perInvocation(opts: {
+        tiers: PerInvocationTier[];
+    }): Pricing;
+    composite(opts: {
+        base: CompositeBase;
+        metered: MeteredEntry[];
+    }): Pricing;
+    /**
+     * Percent-of-basis pricing — proportional charge against a realised
+     * basis (e.g. invoice amount, collected amount, transaction volume).
+     *
+     * The metering runtime resolves `basis` to a concrete bigint at
+     * settlement time, then computes the charge as
+     * `(realised_basis * rateBasisPoints) / 10000`, optionally clamped by
+     * `cap` / `floor`.
+     *
+     * @example AR Service: 2% of collected funds
+     * ```ts
+     * Pricing.percentOf({ basis: 'collected-amount', rateBasisPoints: 200 })
+     * ```
+     *
+     * @example Capped: 0.75% of transaction volume, max $50/event
+     * ```ts
+     * Pricing.percentOf({
+     *   basis: 'transaction-volume',
+     *   rateBasisPoints: 75,
+     *   cap: { amount: 5000n, currency: 'USD' },
+     * })
+     * ```
+     */
+    percentOf(opts: {
+        basis: PercentOfBasis;
+        rateBasisPoints: number;
+        cap?: Money;
+        floor?: Money;
+    }): Pricing;
+};
+/** Convenience: build a Money value from a bigint + currency. */
+export declare const money: (amount: bigint, currency?: Currency) => Money;
+//# sourceMappingURL=pricing.d.ts.map

package/dist/finance/pricing.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"pricing.d.ts","sourceRoot":"","sources":["../../src/finance/pricing.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,YAAY,CAAA;AACjD,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,UAAU,CAAA;AAEzC,MAAM,WAAW,WAAW;IAC1B,EAAE,EAAE,MAAM,CAAA;IACV,MAAM,EAAE,MAAM,CAAA;IACd,QAAQ,CAAC,EAAE,QAAQ,CAAA;IACnB,WAAW,CAAC,EAAE,MAAM,CAAA;CACrB;AAED,MAAM,WAAW,iBAAiB;IAChC,EAAE,EAAE,MAAM,CAAA;IACV,MAAM,EAAE,MAAM,CAAA;IACd,sEAAsE;IACtE,gBAAgB,CAAC,EAAE,MAAM,CAAA;IACzB,kDAAkD;IAClD,OAAO,CAAC,EAAE,MAAM,CAAA;CACjB;AAED;;;;GAIG;AACH,MAAM,WAAW,YAAY;IAC3B,KAAK,EAAE,MAAM,CAAA;IACb,MAAM,EAAE,MAAM,CAAA;IACd,WAAW,CAAC,EAAE,MAAM,CAAA;CACrB;AAED;;;GAGG;AACH,MAAM,WAAW,aAAa;IAC5B,EAAE,EAAE,MAAM,CAAA;IACV,MAAM,EAAE,MAAM,CAAA;IACd,WAAW,CAAC,EAAE,MAAM,CAAA;CACrB;AAED;;;;GAIG;AACH,MAAM,WAAW,gBAAgB;IAC/B,EAAE,EAAE,MAAM,CAAA;IACV,MAAM,EAAE,MAAM,CAAA;IACd,QAAQ,EAAE,QAAQ,CAAA;IAClB,QAAQ,EAAE,KAAK,GAAG,MAAM,GAAG,OAAO,GAAG,SAAS,GAAG,MAAM,CAAA;CACxD;AAED;;;;;;;;;;GAUG;AACH,MAAM,MAAM,cAAc,GACtB,gBAAgB,GAChB,kBAAkB,GAClB,oBAAoB,GACpB,CAAC,MAAM,GAAG,EAAE,CAAC,CAAA;AAEjB,MAAM,MAAM,OAAO,GACf;IACE,IAAI,EAAE,SAAS,CAAA;IACf,KAAK,EAAE,WAAW,EAAE,CAAA;IACpB,GAAG,CAAC,EAAE,SAAS,CAAA;CAChB,GACD;IACE,IAAI,EAAE,cAAc,CAAA;IACpB,IAAI,EAAE,gBAAgB,CAAA;IACtB,OAAO,CAAC,EAAE,YAAY,EAAE,CAAA;IACxB,GAAG,CAAC,EAAE,SAAS,CAAA;CAChB,GACD;IACE,IAAI,EAAE,gBAAgB,CAAA;IACtB,KAAK,EAAE,iBAAiB,EAAE,CAAA;CAC3B,GACD;IACE,IAAI,EAAE,WAAW,CAAA;IACjB,IAAI,EAAE,aAAa,CAAA;IACnB,OAAO,EAAE,YAAY,EAAE,CAAA;CACxB,GACD;IACE,IAAI,EAAE,YAAY,CAAA;IAClB,KAAK,EAAE,cAAc,CAAA;IACrB;;;;;;;OAOG;IACH,eAAe,EAAE,MAAM,CAAA;IACvB,oDAAoD;IACpD,GAAG,CAAC,EAAE,KAAK,CAAA;IACX,oDAAoD;IACpD,KAAK,CAAC,EAAE,KAAK,CAAA;CACd,CAAA;AAEL,eAAO,MAAM,OAAO;kBACJ;QAAE,KAAK,EAAE,WAAW,EAAE,CAAC;QAAC,GAAG,CAAC,EAAE,SAAS,CAAA;KAAE,GAAG,OAAO;uBAO9C;QACjB,IAAI,EAAE,gBAAgB,CAAA;QACtB,OAAO,CAAC,EAAE,YAAY,EAAE,CAAA;QACxB,GAAG,CAAC,EAAE,SAAS,CAAA;KAChB,GAAG,OAAO;wBAUS;QAAE,KAAK,EAAE,iBAAiB,EAAE,CAAA;KAAE,GAAG,OAAO;oBAI5C;QAAE,IAAI,EAAE,aAAa,CAAC;QAAC,OAAO,EAAE,YAAY,EAAE,CAAA;KAAE,GAAG,OAAO;IAI1E;;;;;;;;;;;;;;;;;;;;;;OAsBG;oBACa;QACd,KAAK,EAAE,cAAc,CAAA;QACrB,eAAe,EAAE,MAAM,CAAA;QACvB,GAAG,CAAC,EAAE,KAAK,CAAA;QACX,KAAK,CAAC,EAAE,KAAK,CAAA;KACd,GAAG,OAAO;CAUZ,CAAA;AAED,iEAAiE;AACjE,eAAO,MAAM,KAAK,GAAI,QAAQ,MAAM,EAAE,WAAU,QAAgB,KAAG,KAGjE,CAAA"}

package/dist/finance/pricing.js

@@ -0,0 +1,79 @@
+/**
+ * Pricing — discriminated union with five factory variants.
+ *
+ *   outcome       — pay on delivery; tiers by complexity (S/M/L)
+ *   subscription  — recurring plan + optional metered overage
+ *   perInvocation — flat per-call with included-tier ladder
+ *   composite     — one-time base + metered events
+ *   percent-of    — proportional charge against a realised basis
+ *                   (invoice amount, collected amount, transaction volume)
+ *                   with optional cap / floor
+ *
+ * Each factory returns a typed Pricing value with discriminator on .kind.
+ */
+export const Pricing = {
+    outcome(opts) {
+        if (opts.sla !== undefined) {
+            return { kind: 'outcome', tiers: opts.tiers, sla: opts.sla };
+        }
+        return { kind: 'outcome', tiers: opts.tiers };
+    },
+    subscription(opts) {
+        const result = {
+            kind: 'subscription',
+            plan: opts.plan,
+        };
+        if (opts.metered !== undefined)
+            result.metered = opts.metered;
+        if (opts.sla !== undefined)
+            result.sla = opts.sla;
+        return result;
+    },
+    perInvocation(opts) {
+        return { kind: 'per-invocation', tiers: opts.tiers };
+    },
+    composite(opts) {
+        return { kind: 'composite', base: opts.base, metered: opts.metered };
+    },
+    /**
+     * Percent-of-basis pricing — proportional charge against a realised
+     * basis (e.g. invoice amount, collected amount, transaction volume).
+     *
+     * The metering runtime resolves `basis` to a concrete bigint at
+     * settlement time, then computes the charge as
+     * `(realised_basis * rateBasisPoints) / 10000`, optionally clamped by
+     * `cap` / `floor`.
+     *
+     * @example AR Service: 2% of collected funds
+     * ```ts
+     * Pricing.percentOf({ basis: 'collected-amount', rateBasisPoints: 200 })
+     * ```
+     *
+     * @example Capped: 0.75% of transaction volume, max $50/event
+     * ```ts
+     * Pricing.percentOf({
+     *   basis: 'transaction-volume',
+     *   rateBasisPoints: 75,
+     *   cap: { amount: 5000n, currency: 'USD' },
+     * })
+     * ```
+     */
+    percentOf(opts) {
+        const result = {
+            kind: 'percent-of',
+            basis: opts.basis,
+            rateBasisPoints: opts.rateBasisPoints,
+        };
+        if (opts.cap !== undefined)
+            result.cap = opts.cap;
+        if (opts.floor !== undefined)
+            result.floor = opts.floor;
+        return result;
+    },
+};
+/** Convenience: build a Money value from a bigint + currency. */
+export const money = (amount, currency = 'USD') => ({
+    amount,
+    currency,
+});
+//# sourceMappingURL=pricing.js.map

package/dist/finance/pricing.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"pricing.js","sourceRoot":"","sources":["../../src/finance/pricing.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AA8GH,MAAM,CAAC,MAAM,OAAO,GAAG;IACrB,OAAO,CAAC,IAA+C;QACrD,IAAI,IAAI,CAAC,GAAG,KAAK,SAAS,EAAE,CAAC;YAC3B,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,GAAG,EAAE,IAAI,CAAC,GAAG,EAAE,CAAA;QAC9D,CAAC;QACD,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,CAAA;IAC/C,CAAC;IAED,YAAY,CAAC,IAIZ;QACC,MAAM,MAAM,GAA+C;YACzD,IAAI,EAAE,cAAc;YACpB,IAAI,EAAE,IAAI,CAAC,IAAI;SAChB,CAAA;QACD,IAAI,IAAI,CAAC,OAAO,KAAK,SAAS;YAAE,MAAM,CAAC,OAAO,GAAG,IAAI,CAAC,OAAO,CAAA;QAC7D,IAAI,IAAI,CAAC,GAAG,KAAK,SAAS;YAAE,MAAM,CAAC,GAAG,GAAG,IAAI,CAAC,GAAG,CAAA;QACjD,OAAO,MAAM,CAAA;IACf,CAAC;IAED,aAAa,CAAC,IAAoC;QAChD,OAAO,EAAE,IAAI,EAAE,gBAAgB,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,CAAA;IACtD,CAAC;IAED,SAAS,CAAC,IAAsD;QAC9D,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE,CAAA;IACtE,CAAC;IAED;;;;;;;;;;;;;;;;;;;;;;OAsBG;IACH,SAAS,CAAC,IAKT;QACC,MAAM,MAAM,GAA6C;YACvD,IAAI,EAAE,YAAY;YAClB,KAAK,EAAE,IAAI,CAAC,KAAK;YACjB,eAAe,EAAE,IAAI,CAAC,eAAe;SACtC,CAAA;QACD,IAAI,IAAI,CAAC,GAAG,KAAK,SAAS;YAAE,MAAM,CAAC,GAAG,GAAG,IAAI,CAAC,GAAG,CAAA;QACjD,IAAI,IAAI,CAAC,KAAK,KAAK,SAAS;YAAE,MAAM,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,CAAA;QACvD,OAAO,MAAM,CAAA;IACf,CAAC;CACF,CAAA;AAED,iEAAiE;AACjE,MAAM,CAAC,MAAM,KAAK,GAAG,CAAC,MAAc,EAAE,WAAqB,KAAK,EAAS,EAAE,CAAC,CAAC;IAC3E,MAAM;IACN,QAAQ;CACT,CAAC,CAAA"}

package/dist/finance/proof-predicate.d.ts

@@ -0,0 +1,92 @@
+/**
+ * ProofPredicate — composable predicates that gate outcome-based settlement.
+ *
+ * Stripe's MPP Sessions ship escrow but no outcome-predicate-driven release —
+ * this module is the gap-filler. SaS's Service.outcomeContract.predicate
+ * uses these to express "definition of done."
+ *
+ * Seven leaf predicates + AND/OR composition:
+ *   - schema-match            : output matches schema
+ *   - evaluator-pass          : EvaluatorPanel approves at threshold
+ *   - human-sign              : human with signerRoles signs
+ *   - external                : external verifier (e.g. github CI + merged) approves
+ *   - load-bearing-pass       : a named subset of rubric items all pass (sb killThreshold)
+ *   - overall-floor           : N of total rubric items pass (sb killThreshold)
+ *   - unmet-requirements-pass : no `severity: 'blocking'` UnmetRequirements remain
+ *                               (sb-n7d open-blocking gate); when `categories` is
+ *                               supplied, only those categories are checked.
+ */
+export type ProofPredicate = {
+    kind: 'schema-match';
+    schema: unknown;
+} | {
+    kind: 'evaluator-pass';
+    panelRef: string | 'self';
+    minScore: number | 'all-approved' | 'majority';
+} | {
+    kind: 'human-sign';
+    signerRoles: string[];
+    when?: string;
+} | {
+    kind: 'external';
+    verifier: string;
+    spec: unknown;
+} | {
+    kind: 'load-bearing-pass';
+    itemSet: string[];
+} | {
+    kind: 'overall-floor';
+    minPasses: number;
+    outOfTotal: number;
+} | {
+    kind: 'unmet-requirements-pass';
+    categories?: string[];
+} | {
+    kind: 'and';
+    predicates: ProofPredicate[];
+} | {
+    kind: 'or';
+    predicates: ProofPredicate[];
+};
+export declare const SchemaMatch: (schema: unknown) => ProofPredicate;
+export declare const EvaluatorPass: (opts: {
+    panelRef: string | "self";
+    minScore: number | "all-approved" | "majority";
+}) => ProofPredicate;
+export declare const HumanSign: (opts: {
+    signerRoles: string[];
+    when?: string;
+}) => ProofPredicate;
+export declare const External: (opts: {
+    verifier: string;
+    spec: unknown;
+}) => ProofPredicate;
+export declare const LoadBearingPass: (itemSet: string[]) => ProofPredicate;
+export declare const OverallFloor: (opts: {
+    minPasses: number;
+    outOfTotal: number;
+}) => ProofPredicate;
+/**
+ * `UnmetRequirementsPass` — sb-n7d's open-blocking gate as a first-class
+ * predicate.
+ *
+ * Passes iff no `severity: 'blocking'` UnmetRequirement is present in the
+ * verify-time evaluation context. `severity: 'warning'` items are ignored.
+ *
+ * When `categories` is supplied, only requirements whose `category` matches
+ * one of the listed values are considered (others are ignored regardless of
+ * severity). When omitted, ALL categories are inspected.
+ *
+ * @example
+ *   // Any blocking unmet requirement fails the predicate.
+ *   UnmetRequirementsPass()
+ *
+ *   // Only blocking items in the 'compliance' or 'security' buckets fail.
+ *   UnmetRequirementsPass({ categories: ['compliance', 'security'] })
+ */
+export declare const UnmetRequirementsPass: (opts?: {
+    categories?: string[];
+}) => ProofPredicate;
+export declare const AND: (...predicates: ProofPredicate[]) => ProofPredicate;
+export declare const OR: (...predicates: ProofPredicate[]) => ProofPredicate;
+//# sourceMappingURL=proof-predicate.d.ts.map

package/dist/finance/proof-predicate.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"proof-predicate.d.ts","sourceRoot":"","sources":["../../src/finance/proof-predicate.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AAEH,MAAM,MAAM,cAAc,GACtB;IAAE,IAAI,EAAE,cAAc,CAAC;IAAC,MAAM,EAAE,OAAO,CAAA;CAAE,GACzC;IACE,IAAI,EAAE,gBAAgB,CAAA;IACtB,QAAQ,EAAE,MAAM,GAAG,MAAM,CAAA;IACzB,QAAQ,EAAE,MAAM,GAAG,cAAc,GAAG,UAAU,CAAA;CAC/C,GACD;IAAE,IAAI,EAAE,YAAY,CAAC;IAAC,WAAW,EAAE,MAAM,EAAE,CAAC;IAAC,IAAI,CAAC,EAAE,MAAM,CAAA;CAAE,GAC5D;IAAE,IAAI,EAAE,UAAU,CAAC;IAAC,QAAQ,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,OAAO,CAAA;CAAE,GACrD;IAAE,IAAI,EAAE,mBAAmB,CAAC;IAAC,OAAO,EAAE,MAAM,EAAE,CAAA;CAAE,GAChD;IAAE,IAAI,EAAE,eAAe,CAAC;IAAC,SAAS,EAAE,MAAM,CAAC;IAAC,UAAU,EAAE,MAAM,CAAA;CAAE,GAChE;IAAE,IAAI,EAAE,yBAAyB,CAAC;IAAC,UAAU,CAAC,EAAE,MAAM,EAAE,CAAA;CAAE,GAC1D;IAAE,IAAI,EAAE,KAAK,CAAC;IAAC,UAAU,EAAE,cAAc,EAAE,CAAA;CAAE,GAC7C;IAAE,IAAI,EAAE,IAAI,CAAC;IAAC,UAAU,EAAE,cAAc,EAAE,CAAA;CAAE,CAAA;AAEhD,eAAO,MAAM,WAAW,GAAI,QAAQ,OAAO,KAAG,cAG5C,CAAA;AAEF,eAAO,MAAM,aAAa,GAAI,MAAM;IAClC,QAAQ,EAAE,MAAM,GAAG,MAAM,CAAA;IACzB,QAAQ,EAAE,MAAM,GAAG,cAAc,GAAG,UAAU,CAAA;CAC/C,KAAG,cAIF,CAAA;AAEF,eAAO,MAAM,SAAS,GAAI,MAAM;IAAE,WAAW,EAAE,MAAM,EAAE,CAAC;IAAC,IAAI,CAAC,EAAE,MAAM,CAAA;CAAE,KAAG,cAK1E,CAAA;AAED,eAAO,MAAM,QAAQ,GAAI,MAAM;IAAE,QAAQ,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,OAAO,CAAA;CAAE,KAAG,cAInE,CAAA;AAEF,eAAO,MAAM,eAAe,GAAI,SAAS,MAAM,EAAE,KAAG,cAGlD,CAAA;AAEF,eAAO,MAAM,YAAY,GAAI,MAAM;IAAE,SAAS,EAAE,MAAM,CAAC;IAAC,UAAU,EAAE,MAAM,CAAA;CAAE,KAAG,cAI7E,CAAA;AAEF;;;;;;;;;;;;;;;;;GAiBG;AACH,eAAO,MAAM,qBAAqB,GAAI,OAAO;IAAE,UAAU,CAAC,EAAE,MAAM,EAAE,CAAA;CAAE,KAAG,cAKxE,CAAA;AAED,eAAO,MAAM,GAAG,GAAI,GAAG,YAAY,cAAc,EAAE,KAAG,cAGpD,CAAA;AAEF,eAAO,MAAM,EAAE,GAAI,GAAG,YAAY,cAAc,EAAE,KAAG,cAGnD,CAAA"}

package/dist/finance/proof-predicate.js

@@ -0,0 +1,80 @@
+/**
+ * ProofPredicate — composable predicates that gate outcome-based settlement.
+ *
+ * Stripe's MPP Sessions ship escrow but no outcome-predicate-driven release —
+ * this module is the gap-filler. SaS's Service.outcomeContract.predicate
+ * uses these to express "definition of done."
+ *
+ * Seven leaf predicates + AND/OR composition:
+ *   - schema-match            : output matches schema
+ *   - evaluator-pass          : EvaluatorPanel approves at threshold
+ *   - human-sign              : human with signerRoles signs
+ *   - external                : external verifier (e.g. github CI + merged) approves
+ *   - load-bearing-pass       : a named subset of rubric items all pass (sb killThreshold)
+ *   - overall-floor           : N of total rubric items pass (sb killThreshold)
+ *   - unmet-requirements-pass : no `severity: 'blocking'` UnmetRequirements remain
+ *                               (sb-n7d open-blocking gate); when `categories` is
+ *                               supplied, only those categories are checked.
+ */
+export const SchemaMatch = (schema) => ({
+    kind: 'schema-match',
+    schema,
+});
+export const EvaluatorPass = (opts) => ({
+    kind: 'evaluator-pass',
+    panelRef: opts.panelRef,
+    minScore: opts.minScore,
+});
+export const HumanSign = (opts) => {
+    if (opts.when !== undefined) {
+        return { kind: 'human-sign', signerRoles: opts.signerRoles, when: opts.when };
+    }
+    return { kind: 'human-sign', signerRoles: opts.signerRoles };
+};
+export const External = (opts) => ({
+    kind: 'external',
+    verifier: opts.verifier,
+    spec: opts.spec,
+});
+export const LoadBearingPass = (itemSet) => ({
+    kind: 'load-bearing-pass',
+    itemSet,
+});
+export const OverallFloor = (opts) => ({
+    kind: 'overall-floor',
+    minPasses: opts.minPasses,
+    outOfTotal: opts.outOfTotal,
+});
+/**
+ * `UnmetRequirementsPass` — sb-n7d's open-blocking gate as a first-class
+ * predicate.
+ *
+ * Passes iff no `severity: 'blocking'` UnmetRequirement is present in the
+ * verify-time evaluation context. `severity: 'warning'` items are ignored.
+ *
+ * When `categories` is supplied, only requirements whose `category` matches
+ * one of the listed values are considered (others are ignored regardless of
+ * severity). When omitted, ALL categories are inspected.
+ *
+ * @example
+ *   // Any blocking unmet requirement fails the predicate.
+ *   UnmetRequirementsPass()
+ *
+ *   // Only blocking items in the 'compliance' or 'security' buckets fail.
+ *   UnmetRequirementsPass({ categories: ['compliance', 'security'] })
+ */
+export const UnmetRequirementsPass = (opts) => {
+    if (opts?.categories !== undefined) {
+        return { kind: 'unmet-requirements-pass', categories: opts.categories };
+    }
+    return { kind: 'unmet-requirements-pass' };
+};
+export const AND = (...predicates) => ({
+    kind: 'and',
+    predicates,
+});
+export const OR = (...predicates) => ({
+    kind: 'or',
+    predicates,
+});
+//# sourceMappingURL=proof-predicate.js.map

package/dist/finance/proof-predicate.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"proof-predicate.js","sourceRoot":"","sources":["../../src/finance/proof-predicate.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AAiBH,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,MAAe,EAAkB,EAAE,CAAC,CAAC;IAC/D,IAAI,EAAE,cAAc;IACpB,MAAM;CACP,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,IAG7B,EAAkB,EAAE,CAAC,CAAC;IACrB,IAAI,EAAE,gBAAgB;IACtB,QAAQ,EAAE,IAAI,CAAC,QAAQ;IACvB,QAAQ,EAAE,IAAI,CAAC,QAAQ;CACxB,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,IAA8C,EAAkB,EAAE;IAC1F,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAC5B,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,WAAW,EAAE,IAAI,CAAC,WAAW,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,CAAA;IAC/E,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,WAAW,EAAE,IAAI,CAAC,WAAW,EAAE,CAAA;AAC9D,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAC,IAAyC,EAAkB,EAAE,CAAC,CAAC;IACtF,IAAI,EAAE,UAAU;IAChB,QAAQ,EAAE,IAAI,CAAC,QAAQ;IACvB,IAAI,EAAE,IAAI,CAAC,IAAI;CAChB,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,OAAiB,EAAkB,EAAE,CAAC,CAAC;IACrE,IAAI,EAAE,mBAAmB;IACzB,OAAO;CACR,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,IAA+C,EAAkB,EAAE,CAAC,CAAC;IAChG,IAAI,EAAE,eAAe;IACrB,SAAS,EAAE,IAAI,CAAC,SAAS;IACzB,UAAU,EAAE,IAAI,CAAC,UAAU;CAC5B,CAAC,CAAA;AAEF;;;;;;;;;;;;;;;;;GAiBG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAG,CAAC,IAAgC,EAAkB,EAAE;IACxF,IAAI,IAAI,EAAE,UAAU,KAAK,SAAS,EAAE,CAAC;QACnC,OAAO,EAAE,IAAI,EAAE,yBAAyB,EAAE,UAAU,EAAE,IAAI,CAAC,UAAU,EAAE,CAAA;IACzE,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,yBAAyB,EAAE,CAAA;AAC5C,CAAC,CAAA;AAED,MAAM,CAAC,MAAM,GAAG,GAAG,CAAC,GAAG,UAA4B,EAAkB,EAAE,CAAC,CAAC;IACvE,IAAI,EAAE,KAAK;IACX,UAAU;CACX,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,EAAE,GAAG,CAAC,GAAG,UAA4B,EAAkB,EAAE,CAAC,CAAC;IACtE,IAAI,EAAE,IAAI;IACV,UAAU;CACX,CAAC,CAAA"}

package/dist/finance/refund.d.ts

@@ -0,0 +1,44 @@
+/**
+ * RefundContract — typed refund machinery. The 7-pattern catalog (per startup-builder
+ * SERVICES.md) defines the contractual templates a Service can bind to.
+ *
+ * Stripe's Smart Disputes are consumer-chargeback-shaped; this is B2B SLA-shape.
+ */
+export type RefundContractRef = 'no-charge-if-not-qualified' | 'quality-floor-fail' | 'sla-credit-on-late-delivery' | 'sla-credit-on-late-close' | 'partial-credit-on-partial-delivery' | 'time-bounded-money-back' | 'escalate-to-dispute' | (string & {
+    __brand?: 'RefundContractRef';
+});
+/**
+ * Catalog of canonical refund contracts. Consumers reference by id; substrate
+ * resolves the contract semantics at settlement time.
+ */
+export declare const RefundContracts: {
+    readonly 'no-charge-if-not-qualified': {
+        readonly description: "No charge unless EvaluatorPass + downstream verification confirms work delivered.";
+        readonly triggersAt: "pre-charge";
+    };
+    readonly 'quality-floor-fail': {
+        readonly description: "Full refund when EvaluatorPanel rejects below quality floor.";
+        readonly triggersAt: "post-quality-review";
+    };
+    readonly 'sla-credit-on-late-delivery': {
+        readonly description: "Credit equal to N% of invoice when delivery exceeds OutcomeContract.expiresAt.";
+        readonly triggersAt: "on-timeout";
+    };
+    readonly 'sla-credit-on-late-close': {
+        readonly description: "Credit on monthly subscription when SLA target (e.g. close-by-day-5) breached.";
+        readonly triggersAt: "sla-breach";
+    };
+    readonly 'partial-credit-on-partial-delivery': {
+        readonly description: "Pro-rata credit when fraction of work-units delivered (e.g. tickets resolved).";
+        readonly triggersAt: "post-delivery";
+    };
+    readonly 'time-bounded-money-back': {
+        readonly description: "Full refund within N days of acceptance, no questions asked.";
+        readonly triggersAt: "on-customer-request";
+    };
+    readonly 'escalate-to-dispute': {
+        readonly description: "Route to ESCALATED_TO_HUMAN_REVIEW state; manual resolution.";
+        readonly triggersAt: "on-customer-dispute";
+    };
+};
+//# sourceMappingURL=refund.d.ts.map

package/dist/finance/refund.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"refund.d.ts","sourceRoot":"","sources":["../../src/finance/refund.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,MAAM,MAAM,iBAAiB,GACzB,4BAA4B,GAC5B,oBAAoB,GACpB,6BAA6B,GAC7B,0BAA0B,GAC1B,oCAAoC,GACpC,yBAAyB,GACzB,qBAAqB,GACrB,CAAC,MAAM,GAAG;IAAE,OAAO,CAAC,EAAE,mBAAmB,CAAA;CAAE,CAAC,CAAA;AAEhD;;;GAGG;AACH,eAAO,MAAM,eAAe;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CA8BlB,CAAA"}

package/dist/finance/refund.js

@@ -0,0 +1,41 @@
+/**
+ * RefundContract — typed refund machinery. The 7-pattern catalog (per startup-builder
+ * SERVICES.md) defines the contractual templates a Service can bind to.
+ *
+ * Stripe's Smart Disputes are consumer-chargeback-shaped; this is B2B SLA-shape.
+ */
+/**
+ * Catalog of canonical refund contracts. Consumers reference by id; substrate
+ * resolves the contract semantics at settlement time.
+ */
+export const RefundContracts = {
+    'no-charge-if-not-qualified': {
+        description: 'No charge unless EvaluatorPass + downstream verification confirms work delivered.',
+        triggersAt: 'pre-charge',
+    },
+    'quality-floor-fail': {
+        description: 'Full refund when EvaluatorPanel rejects below quality floor.',
+        triggersAt: 'post-quality-review',
+    },
+    'sla-credit-on-late-delivery': {
+        description: 'Credit equal to N% of invoice when delivery exceeds OutcomeContract.expiresAt.',
+        triggersAt: 'on-timeout',
+    },
+    'sla-credit-on-late-close': {
+        description: 'Credit on monthly subscription when SLA target (e.g. close-by-day-5) breached.',
+        triggersAt: 'sla-breach',
+    },
+    'partial-credit-on-partial-delivery': {
+        description: 'Pro-rata credit when fraction of work-units delivered (e.g. tickets resolved).',
+        triggersAt: 'post-delivery',
+    },
+    'time-bounded-money-back': {
+        description: 'Full refund within N days of acceptance, no questions asked.',
+        triggersAt: 'on-customer-request',
+    },
+    'escalate-to-dispute': {
+        description: 'Route to ESCALATED_TO_HUMAN_REVIEW state; manual resolution.',
+        triggersAt: 'on-customer-dispute',
+    },
+};
+//# sourceMappingURL=refund.js.map

package/dist/finance/refund.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"refund.js","sourceRoot":"","sources":["../../src/finance/refund.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAYH;;;GAGG;AACH,MAAM,CAAC,MAAM,eAAe,GAAG;IAC7B,4BAA4B,EAAE;QAC5B,WAAW,EACT,mFAAmF;QACrF,UAAU,EAAE,YAAY;KACzB;IACD,oBAAoB,EAAE;QACpB,WAAW,EAAE,8DAA8D;QAC3E,UAAU,EAAE,qBAAqB;KAClC;IACD,6BAA6B,EAAE;QAC7B,WAAW,EAAE,gFAAgF;QAC7F,UAAU,EAAE,YAAY;KACzB;IACD,0BAA0B,EAAE;QAC1B,WAAW,EAAE,gFAAgF;QAC7F,UAAU,EAAE,YAAY;KACzB;IACD,oCAAoC,EAAE;QACpC,WAAW,EAAE,gFAAgF;QAC7F,UAAU,EAAE,eAAe;KAC5B;IACD,yBAAyB,EAAE;QACzB,WAAW,EAAE,8DAA8D;QAC3E,UAAU,EAAE,qBAAqB;KAClC;IACD,qBAAqB,EAAE;QACrB,WAAW,EAAE,8DAA8D;QAC3E,UAAU,EAAE,qBAAqB;KAClC;CACO,CAAA"}

package/dist/finance/sla.d.ts

@@ -0,0 +1,25 @@
+/**
+ * SLAPolicy — service-level agreement with auto-credit / auto-refund / escalate
+ * on breach. The SaS book's "outcome-pricing requires you to stand behind quality"
+ * substrate.
+ */
+export interface SLATarget {
+    metric: 'latency-ms' | 'accuracy' | 'on-time' | 'completeness' | 'first-contact-resolution' | 'csat' | string;
+    /** Threshold value or expression (e.g. 'day-5', 0.95, 1000). */
+    threshold: number | string;
+}
+export interface SLAPolicy {
+    $id: string;
+    $type: 'SLAPolicy';
+    serviceRef: string;
+    targets: SLATarget[];
+    onBreach: {
+        /** Percent of charge to credit back (0-100). */
+        creditPercent?: number;
+        /** Percent of charge to refund (0-100). */
+        refundPercent?: number;
+        /** Worker (Person/Agent/Role) to escalate to. */
+        escalateTo?: string;
+    };
+}
+//# sourceMappingURL=sla.d.ts.map

package/dist/finance/sla.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"sla.d.ts","sourceRoot":"","sources":["../../src/finance/sla.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,MAAM,WAAW,SAAS;IACxB,MAAM,EACF,YAAY,GACZ,UAAU,GACV,SAAS,GACT,cAAc,GACd,0BAA0B,GAC1B,MAAM,GACN,MAAM,CAAA;IACV,gEAAgE;IAChE,SAAS,EAAE,MAAM,GAAG,MAAM,CAAA;CAC3B;AAED,MAAM,WAAW,SAAS;IACxB,GAAG,EAAE,MAAM,CAAA;IACX,KAAK,EAAE,WAAW,CAAA;IAClB,UAAU,EAAE,MAAM,CAAA;IAClB,OAAO,EAAE,SAAS,EAAE,CAAA;IACpB,QAAQ,EAAE;QACR,gDAAgD;QAChD,aAAa,CAAC,EAAE,MAAM,CAAA;QACtB,2CAA2C;QAC3C,aAAa,CAAC,EAAE,MAAM,CAAA;QACtB,iDAAiD;QACjD,UAAU,CAAC,EAAE,MAAM,CAAA;KACpB,CAAA;CACF"}

package/dist/finance/sla.js

@@ -0,0 +1,7 @@
+/**
+ * SLAPolicy — service-level agreement with auto-credit / auto-refund / escalate
+ * on breach. The SaS book's "outcome-pricing requires you to stand behind quality"
+ * substrate.
+ */
+export {};
+//# sourceMappingURL=sla.js.map

package/dist/finance/sla.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"sla.js","sourceRoot":"","sources":["../../src/finance/sla.ts"],"names":[],"mappings":"AAAA;;;;GAIG"}

package/dist/finance/types.d.ts

@@ -0,0 +1,79 @@
+/**
+ * Core value types — Money, Cost, Budget, SpendControl, CostModel.
+ *
+ * Money uses bigint in smallest currency unit (cents/satoshis/wei) for precision.
+ * Refs use plain string with brand comment; cross-package nominal types deferred.
+ */
+export type FiatCurrency = 'USD' | 'EUR' | 'GBP' | 'JPY' | 'CAD' | 'AUD' | string;
+export type StablecoinCurrency = 'USDC' | 'PYUSD' | 'USDT' | 'USDG' | 'USDSui' | 'CASH' | string;
+export type CryptoCurrency = 'BTC' | 'ETH' | 'SOL';
+export type Currency = FiatCurrency | StablecoinCurrency | CryptoCurrency;
+export interface Money {
+    amount: bigint;
+    currency: Currency;
+}
+/** Cost incurred by an Action — every cascade Function call captures one. */
+export interface Cost {
+    $id: string;
+    $type: 'Cost';
+    /** Reference to the underlying Action (digital-objects ActionRef shape). */
+    actionRef: string;
+    amount: Money;
+    /** Provider that incurred the cost: 'openai' | 'anthropic' | 'stripe' | ... */
+    provider: string;
+    category: 'inference' | 'compute' | 'storage' | 'api' | 'human' | 'rail-fee' | 'other';
+    /** ISO-8601 timestamp. */
+    capturedAt: string;
+}
+/** Where a Budget applies. */
+export type BudgetScope = {
+    kind: 'worker';
+    ref: string;
+} | {
+    kind: 'function';
+    ref: string;
+} | {
+    kind: 'goal';
+    ref: string;
+} | {
+    kind: 'experiment';
+    ref: string;
+} | {
+    kind: 'tenant';
+    ref: string;
+};
+export interface Budget {
+    $id: string;
+    $type: 'Budget';
+    scope: BudgetScope;
+    cap: Money;
+    period: 'daily' | 'weekly' | 'monthly' | 'one-time';
+    /** ISO-8601 timestamp; absent for one-time budgets. */
+    resetAt?: string;
+}
+export interface SpendControl {
+    budgetRef: string;
+    /** 0-1 fraction of cap — warn when soft threshold crossed. */
+    soft?: number;
+    /** 0-1 fraction of cap — block/escalate when hard threshold crossed. */
+    hard: number;
+    onBreach: 'block' | 'escalate' | 'warn';
+    /** Worker to escalate to (Person/Agent/Role); ThingRef shape. */
+    escalateTo?: string;
+}
+/** Declared cost model on a Function or Service. */
+export interface CostModel {
+    /** Per-invocation flat cost (cents in smallest unit). */
+    perInvocation?: bigint;
+    /** Per-transaction cost (e.g. per-token, per-row). */
+    perTx?: bigint;
+    /** Per round of agent execution (e.g. per-dev-agent-round). */
+    perAgentRound?: bigint;
+    /** Per external API call. */
+    perApiCall?: bigint;
+    /** Per-symbol or per-unit-of-output. */
+    perUnit?: bigint;
+    /** Hourly rate for human work. */
+    perHour?: bigint;
+}
+//# sourceMappingURL=types.d.ts.map

package/dist/finance/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../src/finance/types.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,MAAM,MAAM,YAAY,GAAG,KAAK,GAAG,KAAK,GAAG,KAAK,GAAG,KAAK,GAAG,KAAK,GAAG,KAAK,GAAG,MAAM,CAAA;AACjF,MAAM,MAAM,kBAAkB,GAAG,MAAM,GAAG,OAAO,GAAG,MAAM,GAAG,MAAM,GAAG,QAAQ,GAAG,MAAM,GAAG,MAAM,CAAA;AAChG,MAAM,MAAM,cAAc,GAAG,KAAK,GAAG,KAAK,GAAG,KAAK,CAAA;AAClD,MAAM,MAAM,QAAQ,GAAG,YAAY,GAAG,kBAAkB,GAAG,cAAc,CAAA;AAEzE,MAAM,WAAW,KAAK;IACpB,MAAM,EAAE,MAAM,CAAA;IACd,QAAQ,EAAE,QAAQ,CAAA;CACnB;AAED,6EAA6E;AAC7E,MAAM,WAAW,IAAI;IACnB,GAAG,EAAE,MAAM,CAAA;IACX,KAAK,EAAE,MAAM,CAAA;IACb,4EAA4E;IAC5E,SAAS,EAAE,MAAM,CAAA;IACjB,MAAM,EAAE,KAAK,CAAA;IACb,+EAA+E;IAC/E,QAAQ,EAAE,MAAM,CAAA;IAChB,QAAQ,EAAE,WAAW,GAAG,SAAS,GAAG,SAAS,GAAG,KAAK,GAAG,OAAO,GAAG,UAAU,GAAG,OAAO,CAAA;IACtF,0BAA0B;IAC1B,UAAU,EAAE,MAAM,CAAA;CACnB;AAED,8BAA8B;AAC9B,MAAM,MAAM,WAAW,GACnB;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,GAAG,EAAE,MAAM,CAAA;CAAE,GAC/B;IAAE,IAAI,EAAE,UAAU,CAAC;IAAC,GAAG,EAAE,MAAM,CAAA;CAAE,GACjC;IAAE,IAAI,EAAE,MAAM,CAAC;IAAC,GAAG,EAAE,MAAM,CAAA;CAAE,GAC7B;IAAE,IAAI,EAAE,YAAY,CAAC;IAAC,GAAG,EAAE,MAAM,CAAA;CAAE,GACnC;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,GAAG,EAAE,MAAM,CAAA;CAAE,CAAA;AAEnC,MAAM,WAAW,MAAM;IACrB,GAAG,EAAE,MAAM,CAAA;IACX,KAAK,EAAE,QAAQ,CAAA;IACf,KAAK,EAAE,WAAW,CAAA;IAClB,GAAG,EAAE,KAAK,CAAA;IACV,MAAM,EAAE,OAAO,GAAG,QAAQ,GAAG,SAAS,GAAG,UAAU,CAAA;IACnD,uDAAuD;IACvD,OAAO,CAAC,EAAE,MAAM,CAAA;CACjB;AAED,MAAM,WAAW,YAAY;IAC3B,SAAS,EAAE,MAAM,CAAA;IACjB,8DAA8D;IAC9D,IAAI,CAAC,EAAE,MAAM,CAAA;IACb,wEAAwE;IACxE,IAAI,EAAE,MAAM,CAAA;IACZ,QAAQ,EAAE,OAAO,GAAG,UAAU,GAAG,MAAM,CAAA;IACvC,iEAAiE;IACjE,UAAU,CAAC,EAAE,MAAM,CAAA;CACpB;AAED,oDAAoD;AACpD,MAAM,WAAW,SAAS;IACxB,yDAAyD;IACzD,aAAa,CAAC,EAAE,MAAM,CAAA;IACtB,sDAAsD;IACtD,KAAK,CAAC,EAAE,MAAM,CAAA;IACd,+DAA+D;IAC/D,aAAa,CAAC,EAAE,MAAM,CAAA;IACtB,6BAA6B;IAC7B,UAAU,CAAC,EAAE,MAAM,CAAA;IACnB,wCAAwC;IACxC,OAAO,CAAC,EAAE,MAAM,CAAA;IAChB,kCAAkC;IAClC,OAAO,CAAC,EAAE,MAAM,CAAA;CACjB"}

package/dist/finance/types.js

@@ -0,0 +1,8 @@
+/**
+ * Core value types — Money, Cost, Budget, SpendControl, CostModel.
+ *
+ * Money uses bigint in smallest currency unit (cents/satoshis/wei) for precision.
+ * Refs use plain string with brand comment; cross-package nominal types deferred.
+ */
+export {};
+//# sourceMappingURL=types.js.map