What problem does it solve? Stateful services often claim that all changes flow through validated commands, yet interop callbacks, restore paths, or direct model writes silently bypass invariants, transactions, and notifications. This Skill reconstructs the real mutation topology and verifies that every entry point preserves the same contracts. ## Core Features & Use Cases - Mutation-Boundary Matrix: Traces every production call path (UI, API, interop, restore, direct mutation) and records whether each route is validated, serialized, atomic, undoable, evented, and persisted. - Invariant and Transaction Verification: Checks execute/no-op/failure/undo/redo behavior, export-import round-trip fidelity, failure atomicity, and history invalidation after restore. - Concurrency and Adversarial Probes: Audits linearization points, revision models, stale async guards, cancellation, disposal drains, event reentrancy, and undo/redo coalescing. - Use Case: A Blazor application claims all edits go through commands, but JavaScript resize callbacks write state directly. The audit maps every caller, finds the bypass, names the violated invariant, and lists the missing regression tests. ## Quick Start Ask the agent to audit all mutation paths, import atomicity, events, auto-save, and undo/redo behavior of a specific store or service in your repository.
