A CRM that knows your discount tiers are not a suggestion.

The rules the contract enforces

These are written as Intent Specification Language (ISL) invariants, compiled down to PostgreSQL row-level security and server action assertions. Break one and the transaction is refused at the engine boundary.

domain WholesaleDistribution {
  entity ContractorAccount {
    id: UUID
    name: String
    tier: Enum[Silver, Gold, Platinum]
    credit_limit: Decimal
    current_balance: Decimal
  }

  entity Quote {
    id: UUID
    account_id: UUID -> ContractorAccount
    discount_percent: Decimal
    total_amount: Decimal
    status: Enum[Draft, PendingApproval, Approved, Sent, Accepted]
  }

  policy MarginProtection {
    invariant R01_NoQuoteBelowMarginWithoutOwnerApproval:
      forall q in Quote:
        (q.discount_percent > 0.15) implies
        (q.status == Approved requires Actor.hasRole(Role.Owner))

    invariant R02_CreditLimitEnforcement:
      forall q in Quote, a in ContractorAccount:
        (q.account_id == a.id && q.status == Accepted) implies
        (a.current_balance + q.total_amount <= a.credit_limit)
  }
}

• R01 A quote below margin cannot be approved by a rep Any line item discounted beyond the account tier threshold routes to an owner or VP of Sales. A rep write is rejected by the database.
• R02 Credit limit reviews freeze fulfillment automatically If an order pushes an account past its credit limit, the transition to order creation throws an exception until an executive signs off.
• R03 Sent quotes are immutable Once a quote is transmitted to a contractor, line items and pricing are frozen. Changes require creating a new revision.
• R04 Contractor pricing remains private Each contractor account only sees their own negotiated rate sheet and quotes, enforced by PostgreSQL row-level security.

What ShipGate checks before this launches

Distribution is where a missed rule leaks tens of thousands in unapproved discounts. ShipGate executes an adversarial verification pass against an isolated runtime before minting a SHIP verdict.

Frequently Asked Questions