Deterministic Concurrency & Isolation Fuzzer

package myapp_test

import (
    "context"
    "testing"
    "github.com/bregaldahq/chaossql/pkg/chaostest"
)

func TestAccountTransfer_NoLostUpdates(t *testing.T) {
    ctx := context.Background()

    schema := `
    CREATE TABLE accounts (
        id INT PRIMARY KEY,
        balance INT NOT NULL
    );`

    seed := `INSERT INTO accounts VALUES (1, 1000), (2, 1000);`

    chaostest.New(t).
        WithSchema(schema).
        WithSeed(seed).
        WithInvariant("total_wealth", "SELECT sum(balance) AS total FROM accounts;", "total == 2000").
        AddOperation("transfer_1_to_2",
            "SELECT balance FROM accounts WHERE id = 1 -> bal1",
            "UPDATE accounts SET balance = {bal1 - 50} WHERE id = 1",
            "UPDATE accounts SET balance = balance + 50 WHERE id = 2",
        ).
        AddOperation("transfer_2_to_1",
            "SELECT balance FROM accounts WHERE id = 2 -> bal2",
            "UPDATE accounts SET balance = {bal2 - 50} WHERE id = 2",
            "UPDATE accounts SET balance = balance + 50 WHERE id = 1",
        ).
        AssertNoAnomalies(ctx, 4, 30, 42) // workers=4, iterations=30, seed=42
}

# 1. Run scenario with deterministic seed and causal trace reduction
chaossql run examples/banking_lost_update/chaos.yaml --seed=42 --workers=4

# 2. Run all 9 interactive demonstrations
chaossql demo banking
chaossql demo hospital
chaossql demo deadlock

# 3. Scaffold a new fuzzer scenario
chaossql init my_scenario --driver sqlite

# 4. Pre-flight static linter for scenario expressions
chaossql validate my_scenario/chaos.yaml

# 5. High-throughput PRNG & Adya cycle benchmark (13.9M ops/s)
chaossql bench

# 6. Generate empirical isolation comparison matrix
chaossql matrix