ballroom-flow-proof-and-analysis

What problem does it solve?

This Skill automates verification and analysis for Weave Steps software, ensuring the correctness of CRDT changes, authorization paths, data models, and query performance.

Core Features & Use Cases

• CRDT Change Verification: Automatically verify the convergence of concurrent edits in CRDT data structures.
• Data Integrity Check: Validate imported or generated data for accuracy.
• Authorization Analysis: Evaluate the safety of authorization paths in the system.
• Undo/Inverse Soundness: Ensure that undoing a change does not harm concurrent documents.
• Query Plan Optimization: Ensure the performance of D1 database queries.
• Model Adjudication: Solve design disputes through concrete, named scenarios.
• State-Transition Analysis: Check for completeness in async state transitions.

Quick Start

Load this skill when a claim about Weave Steps needs PROVING rather than trusting. For example, "verify the correctness of the undo/inverse mechanism in Weave Steps."