kaizen-cli 0.1.35

Distributable agent observability: real-time-tailable sessions, agile-style retros, and repo-level improvement (Cursor, Claude Code, Codex). SQLite, redact before any sync you enable.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95

// SPDX-License-Identifier: AGPL-3.0-or-later
//! Connect test for specs/system-sampler.qnt.
//! Invariants: samples only while Tracking/Stopped; Stopped is terminal; pid valid when active.

use quint_connect::*;
use serde::Deserialize;

#[derive(Debug, Default, Clone, Copy, Eq, PartialEq, Deserialize)]
#[serde(tag = "tag")]
enum SpecSamplerState {
    #[default]
    Off,
    Tracking,
    Stopped,
}

#[derive(Debug, Eq, PartialEq, Deserialize)]
struct SystemSamplerState {
    state: SpecSamplerState,
    #[serde(with = "itf::de::As::<itf::de::Integer>")]
    pid: i64,
    #[serde(rename = "sampleCount", with = "itf::de::As::<itf::de::Integer>")]
    sample_count: i64,
}

#[derive(Debug, Default)]
struct SystemSamplerDriver {
    state: SpecSamplerState,
    pid: i64,
    sample_count: i64,
}

impl State<SystemSamplerDriver> for SystemSamplerState {
    fn from_driver(d: &SystemSamplerDriver) -> Result<Self> {
        Ok(SystemSamplerState {
            state: d.state,
            pid: d.pid,
            sample_count: d.sample_count,
        })
    }
}

impl Driver for SystemSamplerDriver {
    type State = SystemSamplerState;

    fn step(&mut self, step: &Step) -> Result {
        switch!(step {
            init => { *self = SystemSamplerDriver::default(); },
            step => { *self = SystemSamplerDriver::default(); },
            session_start(p: i64) => {
                assert_eq!(self.state, SpecSamplerState::Off);
                assert!(p > 0);
                self.state = SpecSamplerState::Tracking;
                self.pid = p;
                self.sample_count = 0;
            },
            sample => {
                assert_eq!(self.state, SpecSamplerState::Tracking);
                self.sample_count += 1;
            },
            session_stop => {
                assert_eq!(self.state, SpecSamplerState::Tracking);
                self.state = SpecSamplerState::Stopped;
            }
        })
    }
}

#[test]
fn no_samples_while_off() {
    let d = SystemSamplerDriver::default();
    assert_eq!(d.sample_count, 0);
    assert_eq!(d.state, SpecSamplerState::Off);
}

#[test]
fn stopped_is_terminal() {
    let d = SystemSamplerDriver {
        state: SpecSamplerState::Stopped,
        pid: 42,
        sample_count: 3,
    };
    assert_eq!(d.state, SpecSamplerState::Stopped);
    assert!(d.sample_count >= 0);
}

#[quint_run(
    spec = "specs/system-sampler.qnt",
    max_samples = 15,
    max_steps = 8,
    seed = "0x4"
)]
fn system_sampler_run() -> impl Driver {
    SystemSamplerDriver::default()
}