@hyperscale0/udl 1.0.0-alpha.1

package/conformance/valid/insured-car-marketplace.udl

@@ -0,0 +1,831 @@
+{
+  "nouns": [
+    {
+      "description": "A vehicle listing advertises one car for sale at an asking price. It is reserved while a vehicle escrow holds the buyer's funds, sold when the escrow settles to the seller, returned to the market if the escrow is canceled, or delisted by the seller before sale.",
+      "fields": {
+        "askingPrice": {
+          "description": "Positive minor-unit integer amount serialized as a string (at most 18 digits)",
+          "pattern": "^[1-9][0-9]{0,17}$",
+          "type": "string"
+        },
+        "currency": {
+          "description": "ISO 4217 currency code",
+          "maxLength": 3,
+          "minLength": 3,
+          "pattern": "^[A-Z]{3}$",
+          "type": "string"
+        },
+        "description": {
+          "maxLength": 2000,
+          "minLength": 1,
+          "type": "string"
+        },
+        "escrowId": {
+          "description": "Vehicle escrow whose held funds reserve this listing",
+          "pattern": "^vesc_(sandbox|live)_[a-z0-9]{8,64}$",
+          "type": "string"
+        },
+        "headline": {
+          "maxLength": 120,
+          "minLength": 1,
+          "type": "string"
+        },
+        "sellerAccountId": {
+          "description": "Hyperscale account ID",
+          "pattern": "^acct_(sandbox|live)_[a-z0-9]{8,64}$",
+          "type": "string",
+          "x-hyperscale-reference-filter": {
+            "column": "role",
+            "values": [
+              "customer_balance"
+            ]
+          }
+        }
+      },
+      "id": "vehicle_listing",
+      "idPrefix": "vlst",
+      "lifecycle": {
+        "initial": "listed",
+        "states": [
+          "listed",
+          "reserved",
+          "sold",
+          "delisted"
+        ],
+        "transitions": {
+          "complete": {
+            "from": [
+              "reserved"
+            ],
+            "to": "sold"
+          },
+          "delist": {
+            "from": [
+              "listed"
+            ],
+            "to": "delisted"
+          },
+          "reserve": {
+            "from": [
+              "listed"
+            ],
+            "to": "reserved"
+          },
+          "unreserve": {
+            "from": [
+              "reserved"
+            ],
+            "to": "listed"
+          }
+        }
+      },
+      "parties": {
+        "subjectHolder": "sellerAccountId"
+      },
+      "required": [
+        "sellerAccountId",
+        "headline",
+        "askingPrice",
+        "currency"
+      ],
+      "subject": {
+        "kinds": [
+          "vehicle"
+        ]
+      },
+      "summary": "Marketplace listing for an insured used car offered by a seller.",
+      "title": "Vehicle listing",
+      "update": {
+        "fields": [
+          "headline",
+          "description",
+          "askingPrice",
+          "escrowId"
+        ],
+        "states": [
+          "listed"
+        ]
+      },
+      "verbs": {
+        "complete": {
+          "description": "Marks the car sold after the reserving escrow settles to the seller. Pure lifecycle transition over the catalog row.",
+          "moves": [],
+          "requiresRefs": [
+            {
+              "field": "escrowId",
+              "statuses": [
+                "settled"
+              ]
+            }
+          ],
+          "steps": [],
+          "summary": "Complete a vehicle listing sale"
+        },
+        "create": {
+          "description": "Publishes the car to the marketplace at an asking price. No money moves until an escrow is opened against it.",
+          "moves": [],
+          "steps": [],
+          "summary": "Create a vehicle listing"
+        },
+        "delist": {
+          "description": "Withdraws an unsold car from the marketplace. No money has moved, so this is a pure lifecycle transition.",
+          "moves": [],
+          "steps": [],
+          "summary": "Delist a vehicle listing"
+        },
+        "reserve": {
+          "description": "Takes the listing off the market while a buyer's escrow holds funds. The referenced escrow must currently hold the buyer's funds.",
+          "moves": [],
+          "requiresRefs": [
+            {
+              "field": "escrowId",
+              "statuses": [
+                "funded"
+              ]
+            }
+          ],
+          "steps": [],
+          "summary": "Reserve a vehicle listing"
+        },
+        "unreserve": {
+          "description": "Relists the car after the reserving escrow is canceled. No money has moved on the listing itself.",
+          "moves": [],
+          "requiresRefs": [
+            {
+              "field": "escrowId",
+              "statuses": [
+                "canceled",
+                "penalty_collected"
+              ]
+            }
+          ],
+          "steps": [],
+          "summary": "Return a reserved vehicle listing to the market"
+        }
+      }
+    },
+    {
+      "aggregateInvariants": [
+        {
+          "childField": "price",
+          "childNounId": "vehicle_escrow",
+          "childRefField": "policyId",
+          "childStatuses": [
+            "created",
+            "funded",
+            "cancel_quoted"
+          ],
+          "parentField": "coverageAmount"
+        }
+      ],
+      "description": "A motor policy insures a vehicle subject: the premium settles into the insurer account on bind, and a claim holds the coverage amount as a pending ledger reservation from the insurer toward the policyholder, posted on settlement or voided on denial. Binding is underwritten by an insurance carrier under a deadline; coverage lapses on expiry.",
+      "fields": {
+        "coverageAmount": {
+          "description": "Positive minor-unit integer amount serialized as a string (at most 18 digits)",
+          "pattern": "^[1-9][0-9]{0,17}$",
+          "type": "string"
+        },
+        "coverageDescription": {
+          "maxLength": 180,
+          "minLength": 1,
+          "type": "string"
+        },
+        "currency": {
+          "description": "ISO 4217 currency code",
+          "maxLength": 3,
+          "minLength": 3,
+          "pattern": "^[A-Z]{3}$",
+          "type": "string"
+        },
+        "expiresAt": {
+          "format": "hyperscale-date-time",
+          "type": "string"
+        },
+        "insurerAccountId": {
+          "description": "Hyperscale account ID",
+          "pattern": "^acct_(sandbox|live)_[a-z0-9]{8,64}$",
+          "type": "string",
+          "x-hyperscale-reference-filter": {
+            "column": "role",
+            "values": [
+              "customer_balance"
+            ]
+          }
+        },
+        "policyholderAccountId": {
+          "description": "Hyperscale account ID",
+          "pattern": "^acct_(sandbox|live)_[a-z0-9]{8,64}$",
+          "type": "string",
+          "x-hyperscale-reference-filter": {
+            "column": "role",
+            "values": [
+              "customer_balance"
+            ]
+          }
+        },
+        "premiumAmount": {
+          "description": "Positive minor-unit integer amount serialized as a string (at most 18 digits)",
+          "pattern": "^[1-9][0-9]{0,17}$",
+          "type": "string"
+        }
+      },
+      "id": "motor_policy",
+      "idPrefix": "mpol",
+      "lifecycle": {
+        "initial": "quoted",
+        "states": [
+          "quoted",
+          "active",
+          "claim_open",
+          "settled",
+          "denied",
+          "expired",
+          "canceled"
+        ],
+        "transitions": {
+          "bind": {
+            "from": [
+              "quoted"
+            ],
+            "to": "active"
+          },
+          "cancel": {
+            "from": [
+              "quoted"
+            ],
+            "to": "canceled"
+          },
+          "deny_claim": {
+            "from": [
+              "claim_open"
+            ],
+            "to": "denied"
+          },
+          "expire": {
+            "from": [
+              "active"
+            ],
+            "to": "expired"
+          },
+          "open_claim": {
+            "from": [
+              "active"
+            ],
+            "to": "claim_open"
+          },
+          "settle_claim": {
+            "from": [
+              "claim_open"
+            ],
+            "to": "settled"
+          }
+        }
+      },
+      "parties": {
+        "beneficiary": "insurerAccountId",
+        "payer": "policyholderAccountId"
+      },
+      "required": [
+        "policyholderAccountId",
+        "insurerAccountId",
+        "premiumAmount",
+        "coverageAmount",
+        "currency",
+        "expiresAt"
+      ],
+      "subject": {
+        "kinds": [
+          "vehicle"
+        ]
+      },
+      "summary": "Vehicle insurance policy priced and capped on a declared car value.",
+      "title": "Motor policy",
+      "update": {
+        "fields": [
+          "coverageDescription"
+        ],
+        "states": [
+          "quoted"
+        ]
+      },
+      "verbs": {
+        "bind": {
+          "decision": {
+            "capability": "insurance_carrier",
+            "deadlineMs": 15000,
+            "onTimeout": "decline"
+          },
+          "description": "Underwrites the policy through an insurance carrier under a deadline, then settles the premium from the policyholder into the insurer account and puts the policy in force.",
+          "earnable": true,
+          "eventName": "motor_policy.bound",
+          "moves": [
+            {
+              "bind": {
+                "amount": {
+                  "from": "instance",
+                  "path": "fields.premiumAmount"
+                },
+                "currency": {
+                  "from": "instance",
+                  "path": "fields.currency"
+                },
+                "destinationAccountId": {
+                  "from": "instance",
+                  "path": "fields.insurerAccountId"
+                },
+                "sourceAccountId": {
+                  "from": "instance",
+                  "path": "fields.policyholderAccountId"
+                },
+                "workspaceId": {
+                  "from": "instance",
+                  "path": "workspaceId"
+                }
+              },
+              "capture": {
+                "premiumTransferId": "transferId"
+              },
+              "key": "transfer",
+              "operation": "internal_transfer.create"
+            }
+          ],
+          "steps": [],
+          "summary": "Bind a motor policy"
+        },
+        "cancel": {
+          "description": "Closes a quote that never bound. No money has moved, so this is a pure lifecycle transition.",
+          "moves": [],
+          "steps": [],
+          "summary": "Cancel a quoted motor policy"
+        },
+        "create": {
+          "description": "Opens the policy quote against a vehicle subject. No money moves until the policy binds.",
+          "moves": [],
+          "steps": [],
+          "summary": "Quote a motor policy"
+        },
+        "deny_claim": {
+          "description": "Denies the claim and voids the pending coverage hold, releasing the reserved amount back to the insurer account.",
+          "moves": [
+            {
+              "bind": {
+                "reason": {
+                  "from": "const",
+                  "value": "Motor claim denied"
+                },
+                "transferId": {
+                  "from": "instance",
+                  "path": "refs.claimTransferId"
+                }
+              },
+              "key": "transfer",
+              "operation": "internal_transfer.void"
+            }
+          ],
+          "steps": [],
+          "summary": "Deny a motor claim"
+        },
+        "expire": {
+          "description": "Ends coverage at term with no open claim. The collected premium stays with the insurer, so this is a pure lifecycle transition fired by the maintenance loop under the expiry due-condition.",
+          "due": {
+            "field": "expiresAt"
+          },
+          "moves": [],
+          "steps": [],
+          "summary": "Expire a motor policy"
+        },
+        "open_claim": {
+          "description": "Places a pending ledger hold for the coverage amount from the insurer account toward the policyholder. The insurer account must be capitalized to the coverage amount, or the hold is rejected for insufficient balance.",
+          "moves": [
+            {
+              "bind": {
+                "amount": {
+                  "from": "instance",
+                  "path": "fields.coverageAmount"
+                },
+                "currency": {
+                  "from": "instance",
+                  "path": "fields.currency"
+                },
+                "destinationAccountId": {
+                  "from": "instance",
+                  "path": "fields.policyholderAccountId"
+                },
+                "sourceAccountId": {
+                  "from": "instance",
+                  "path": "fields.insurerAccountId"
+                }
+              },
+              "capture": {
+                "claimTransferId": "transferId"
+              },
+              "key": "transfer",
+              "operation": "internal_transfer.reserve"
+            }
+          ],
+          "steps": [],
+          "summary": "Open a motor claim"
+        },
+        "settle_claim": {
+          "description": "Approves the claim and posts the held coverage amount, settling the payout into the policyholder account.",
+          "eventName": "motor_policy.claim_settled",
+          "moves": [
+            {
+              "bind": {
+                "transferId": {
+                  "from": "instance",
+                  "path": "refs.claimTransferId"
+                }
+              },
+              "key": "transfer",
+              "operation": "internal_transfer.post"
+            }
+          ],
+          "steps": [],
+          "summary": "Settle a motor claim"
+        }
+      }
+    },
+    {
+      "description": "A vehicle escrow holds the buyer's funds in a dedicated product escrow account, then releases the full price to the seller while the car's motor policy is active. Before release it can unwind through a quote then a confirm that refunds the price to the buyer under a penalty schedule.",
+      "fields": {
+        "buyerAccountId": {
+          "description": "Hyperscale account ID",
+          "pattern": "^acct_(sandbox|live)_[a-z0-9]{8,64}$",
+          "type": "string",
+          "x-hyperscale-reference-filter": {
+            "column": "role",
+            "values": [
+              "customer_balance"
+            ]
+          }
+        },
+        "currency": {
+          "description": "ISO 4217 currency code",
+          "maxLength": 3,
+          "minLength": 3,
+          "pattern": "^[A-Z]{3}$",
+          "type": "string"
+        },
+        "memo": {
+          "maxLength": 180,
+          "minLength": 1,
+          "type": "string"
+        },
+        "policyId": {
+          "description": "Motor policy that must be active for the escrow to clear",
+          "pattern": "^mpol_(sandbox|live)_[a-z0-9]{8,64}$",
+          "type": "string"
+        },
+        "price": {
+          "description": "Positive minor-unit integer amount serialized as a string (at most 18 digits)",
+          "pattern": "^[1-9][0-9]{0,17}$",
+          "type": "string"
+        },
+        "sellerAccountId": {
+          "description": "Hyperscale account ID",
+          "pattern": "^acct_(sandbox|live)_[a-z0-9]{8,64}$",
+          "type": "string",
+          "x-hyperscale-reference-filter": {
+            "column": "role",
+            "values": [
+              "customer_balance"
+            ]
+          }
+        }
+      },
+      "id": "vehicle_escrow",
+      "idPrefix": "vesc",
+      "lifecycle": {
+        "initial": "created",
+        "states": [
+          "created",
+          "funded",
+          "settled",
+          "cancel_quoted",
+          "canceled",
+          "penalty_collected"
+        ],
+        "transitions": {
+          "collect_penalty": {
+            "from": [
+              "canceled"
+            ],
+            "to": "penalty_collected"
+          },
+          "confirm_cancel": {
+            "from": [
+              "cancel_quoted"
+            ],
+            "to": "canceled"
+          },
+          "fund": {
+            "from": [
+              "created"
+            ],
+            "to": "funded"
+          },
+          "quote_cancel": {
+            "from": [
+              "funded"
+            ],
+            "to": "cancel_quoted"
+          },
+          "release": {
+            "from": [
+              "funded"
+            ],
+            "to": "settled"
+          }
+        }
+      },
+      "parties": {
+        "beneficiary": "sellerAccountId",
+        "payer": "buyerAccountId"
+      },
+      "required": [
+        "buyerAccountId",
+        "sellerAccountId",
+        "policyId",
+        "price",
+        "currency"
+      ],
+      "subject": {
+        "kinds": [
+          "vehicle"
+        ]
+      },
+      "summary": "Insured-car escrow that clears to the seller while coverage is live.",
+      "title": "Vehicle escrow",
+      "unwind": {
+        "confirm": "confirm_cancel",
+        "penalty": [
+          {
+            "bps": 500,
+            "withinOffset": "P7D"
+          },
+          {
+            "bps": 1000
+          }
+        ],
+        "quote": "quote_cancel",
+        "refundDestinationField": "buyerAccountId",
+        "refundableField": "price"
+      },
+      "update": {
+        "fields": [
+          "memo"
+        ],
+        "states": [
+          "created"
+        ]
+      },
+      "verbs": {
+        "collect_penalty": {
+          "description": "Pays the computed retained cancellation penalty to the seller. Invoke only when confirm_cancel returns a positive refs.unwindPenalty.",
+          "eventName": "vehicle_escrow.penalty_collected",
+          "moves": [
+            {
+              "bind": {
+                "amount": {
+                  "from": "instance",
+                  "path": "refs.unwindPenalty"
+                },
+                "currency": {
+                  "from": "instance",
+                  "path": "fields.currency"
+                },
+                "destinationAccountId": {
+                  "from": "instance",
+                  "path": "fields.sellerAccountId"
+                },
+                "sourceAccountId": {
+                  "from": "instance",
+                  "path": "refs.escrowAccountId"
+                },
+                "workspaceId": {
+                  "from": "instance",
+                  "path": "workspaceId"
+                }
+              },
+              "capture": {
+                "penaltyTransferId": "transferId"
+              },
+              "key": "transfer",
+              "operation": "internal_transfer.create"
+            }
+          ],
+          "steps": [],
+          "summary": "Collect a vehicle cancellation penalty"
+        },
+        "confirm_cancel": {
+          "description": "Unwinds the escrow, refunding the price minus the scheduled penalty to the buyer. The quote seeded that amount into refs.unwindRefund; this step moves it from the escrow account back to the buyer.",
+          "moves": [
+            {
+              "bind": {
+                "amount": {
+                  "from": "instance",
+                  "path": "refs.unwindRefund"
+                },
+                "currency": {
+                  "from": "instance",
+                  "path": "fields.currency"
+                },
+                "destinationAccountId": {
+                  "from": "instance",
+                  "path": "fields.buyerAccountId"
+                },
+                "sourceAccountId": {
+                  "from": "instance",
+                  "path": "refs.escrowAccountId"
+                },
+                "workspaceId": {
+                  "from": "instance",
+                  "path": "workspaceId"
+                }
+              },
+              "capture": {
+                "refundTransferId": "transferId"
+              },
+              "key": "transfer",
+              "operation": "internal_transfer.create"
+            }
+          ],
+          "steps": [],
+          "summary": "Confirm a vehicle escrow cancellation"
+        },
+        "create": {
+          "description": "Opens the escrow and provisions its dedicated product escrow account. The price is admitted against the motor policy's coverage cap.",
+          "moves": [],
+          "steps": [
+            {
+              "bind": {
+                "currency": {
+                  "from": "instance",
+                  "path": "fields.currency"
+                },
+                "owner.id": {
+                  "from": "instance",
+                  "path": "workspaceId"
+                },
+                "owner.type": {
+                  "from": "const",
+                  "value": "workspace"
+                },
+                "role": {
+                  "from": "const",
+                  "value": "workspace_escrow"
+                },
+                "workspaceId": {
+                  "from": "instance",
+                  "path": "workspaceId"
+                }
+              },
+              "capture": {
+                "escrowAccountId": "accountId"
+              },
+              "operation": "account.escrow.provision"
+            }
+          ],
+          "summary": "Create a vehicle escrow"
+        },
+        "fund": {
+          "description": "Moves the price from the buyer account into the escrow account.",
+          "moves": [
+            {
+              "bind": {
+                "amount": {
+                  "from": "instance",
+                  "path": "fields.price"
+                },
+                "currency": {
+                  "from": "instance",
+                  "path": "fields.currency"
+                },
+                "destinationAccountId": {
+                  "from": "instance",
+                  "path": "refs.escrowAccountId"
+                },
+                "sourceAccountId": {
+                  "from": "instance",
+                  "path": "fields.buyerAccountId"
+                },
+                "workspaceId": {
+                  "from": "instance",
+                  "path": "workspaceId"
+                }
+              },
+              "capture": {
+                "fundTransferId": "transferId"
+              },
+              "key": "transfer",
+              "operation": "internal_transfer.create"
+            }
+          ],
+          "steps": [],
+          "summary": "Fund a vehicle escrow"
+        },
+        "quote_cancel": {
+          "description": "Parks the funded escrow for cancellation and quotes the refund under the penalty schedule. No money moves; the confirm executes the refund.",
+          "moves": [],
+          "steps": [],
+          "summary": "Quote a vehicle escrow cancellation"
+        },
+        "release": {
+          "description": "Clears the full price from the escrow account to the seller while the car's motor policy is active.",
+          "earnable": true,
+          "moves": [
+            {
+              "bind": {
+                "amount": {
+                  "from": "instance",
+                  "path": "fields.price"
+                },
+                "currency": {
+                  "from": "instance",
+                  "path": "fields.currency"
+                },
+                "destinationAccountId": {
+                  "from": "instance",
+                  "path": "fields.sellerAccountId"
+                },
+                "sourceAccountId": {
+                  "from": "instance",
+                  "path": "refs.escrowAccountId"
+                },
+                "workspaceId": {
+                  "from": "instance",
+                  "path": "workspaceId"
+                }
+              },
+              "capture": {
+                "releaseTransferId": "transferId"
+              },
+              "key": "transfer",
+              "operation": "internal_transfer.create"
+            }
+          ],
+          "requiresRefs": [
+            {
+              "field": "policyId",
+              "statuses": [
+                "active"
+              ]
+            }
+          ],
+          "steps": [],
+          "summary": "Release a vehicle escrow"
+        }
+      }
+    }
+  ],
+  "product": "insured_car_marketplace",
+  "subjects": [
+    {
+      "declaredValue": "required",
+      "kind": "vehicle",
+      "schema": {
+        "additionalProperties": false,
+        "properties": {
+          "make": {
+            "maxLength": 60,
+            "minLength": 1,
+            "type": "string"
+          },
+          "mileageKm": {
+            "maximum": 9007199254740991,
+            "minimum": 0,
+            "type": "integer"
+          },
+          "model": {
+            "maxLength": 60,
+            "minLength": 1,
+            "type": "string"
+          },
+          "vin": {
+            "maxLength": 17,
+            "minLength": 11,
+            "type": "string"
+          },
+          "year": {
+            "pattern": "^\\d{4}$",
+            "type": "string"
+          }
+        },
+        "required": [
+          "vin",
+          "make",
+          "model",
+          "year",
+          "mileageKm"
+        ],
+        "type": "object"
+      },
+      "title": "Vehicle",
+      "version": 1
+    }
+  ],
+  "title": "Insured car marketplace",
+  "udl": 1,
+  "version": 1
+}