Skip to content

Overview

Introduction Relationship to Weld v0.2 Vocabulary

Ledger model

Records and bound notes Programs, templates, methods Authorization rule Consistency and freshness Parties and admission Function privacy Upgrades and migration

Transactions

Fragments Kernel checks Flows The join Manifest Pool welds and public effects Policy slot Leakage profile Delivery and recovery

Writing workflows

Templates and choices What gets generated Policies over workflows Testing

Reference workflows

Hold Escrow Invoice Delivery versus payment

Project

Security invariants Relationship to RFC-019/020 Roadmap Open questions Prior art

Docs
Protocol
Framework
Workflows

Escrow

§7.1. Funded is the record plus its bound note. Release and refund consume the same record; only one can settle.

HoldPreviousShift←InvoiceNextShift→