Legal Contracts Amending in Stipula
summary
Extends Stipula with higher-order Stipula so contracts can receive live code updates, models two concrete amendment patterns: an additive amendment that injects new assets and states (adds an escrow wallet and disables old transitions) and an overriding amendment that replaces existing functions (buy) and resolves conflicts by priorities and constraints so newest code wins or dispatches by input values; provides formal semantics, a working prototype, and notes follow-up work on consent, unilateral edits, and multi-party thresholds.
AI-written summary · about
chapters (11)
- 0:00Stipula and contract amendments
- 1:02Stipula language
- 2:33Reasons for amending contracts
- 3:58Hardship clauses in law
- 5:48Higher-order Stipula for amendments
- 7:40First amendment example (additive)
- 10:27Second amendment example (overriding)
- 12:38Resolving function dispatch conflicts
- 15:28Future improvements for Stipula
- 17:39Summary and closing
- 18:31Q&A