Terms of Use

Effective October 5, 2026. Statecraft is provided by Roscommon Group LLC. By using the app, you agree to these terms and applicable Apple terms.

Use and limitations

Statecraft is an independent educational introduction, not affiliated with or endorsed by Leslie Lamport or the TLA+ Foundation. Its built-in explorer checks only the displayed invariants of predefined finite models. It is not TLC, a general TLA+ evaluator, a liveness checker, or a proof of implementation correctness. Verify important specifications with the official tools. Course content and examples can contain errors.

Payment

Statecraft Plus offers a three-day free introductory trial to eligible new subscribers, followed by US$9.99 per year or the local App Store price. The subscription renews automatically unless canceled at least 24 hours before the trial or current billing period ends. Apple charges your Apple Account and manages renewals, cancellation, restoration, and refunds. The first lesson and basic reference remain free.

Availability, compatibility, and future updates are not guaranteed. Mandatory consumer rights remain unaffected.

Availability and responsibility

To the extent permitted by law, the app is provided as is and as available without warranties of accuracy, fitness for a particular purpose or uninterrupted availability. Roscommon Group LLC and its owners, officers, employees, contractors and agents are not liable for indirect, incidental, special or consequential losses arising from use of the app. To the extent lawful, aggregate liability is limited to the greater of the amount you paid for Waterline in the preceding twelve months or US$100. Mandatory consumer protections and liabilities that cannot legally be excluded remain unaffected.

Disputes

Before formal proceedings, send written notice describing the dispute and requested relief and allow 30 days for informal resolution. Except for eligible small-claims cases, public injunctive relief where applicable and claims that cannot lawfully be arbitrated, disputes will be resolved through binding individual arbitration administered by the American Arbitration Association under its Consumer Arbitration Rules. The Federal Arbitration Act governs. Arbitration will be remote where available or in Bellevue, Washington, unless applicable law or arbitration rules require otherwise. Roscommon Group will pay fees it is required to pay under those rules. Claims must be brought individually, not as class or representative actions, to the extent permitted by law.

You may opt out of arbitration within 30 days after first accepting these terms by contacting support with your name, the date of acceptance and a clear statement that you opt out. For disputes not subject to arbitration, Washington law and the state and federal courts in King County apply, subject to mandatory consumer rights. If a provision is unenforceable, the remainder remains effective.

Contact

Roscommon Group LLC, P.O. Box 389, Issaquah, WA 98027, United States. Email matt@roscommon-group.com. Apple is not responsible for app support; its standard licensed application agreement applies where applicable.