Sketch intent in the browser.

1Mission CreateInvoice
2
3Goal
4  Generate an invoice from approved orders
5
6Requires
7  Customer
8  ApprovedOrders
9
10Input
11  customer: Customer
12  orders: List<Order>
13
14Output
15  invoice: Invoice
16
17Guarantees
18  invoice.total is never negative
19  duplicate invoices are not created
20  every invoice is auditable
21
22Never
23  create invoice for unapproved order
24  expose payment token in logs
25
26Target
27  TypeScript
28  Python
29  DotNet
30
31Verify
32  unit tests
33  duplicate prevention test
34  audit trail test
35  security scan