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

// SPDX-License-Identifier: AGPL-3.0-or-later
use quint_connect::*;
use serde::Deserialize;

#[derive(Debug, Eq, PartialEq, Deserialize)]
struct LookupState {
    phase: String,
    found: bool,
}

#[derive(Debug)]
struct LookupDriver {
    phase: String,
    found: bool,
}

impl Default for LookupDriver {
    fn default() -> Self {
        Self {
            phase: "Start".into(),
            found: false,
        }
    }
}

impl State<LookupDriver> for LookupState {
    fn from_driver(d: &LookupDriver) -> Result<Self> {
        Ok(LookupState {
            phase: d.phase.clone(),
            found: d.found,
        })
    }
}

impl Driver for LookupDriver {
    type State = LookupState;

    fn step(&mut self, step: &Step) -> Result {
        switch!(step {
            init => {
                self.phase = "Start".into();
                self.found = false;
            },
            step => {
                self.phase = "Start".into();
                self.found = false;
            },
            open_store => {
                if self.phase != "Start" {
                    anyhow::bail!("open_store not enabled");
                }
                self.phase = "Open".into();
                self.found = false;
            },
            lookup_hit => {
                if self.phase != "Open" {
                    anyhow::bail!("lookup_hit not enabled");
                }
                self.phase = "Ready".into();
                self.found = true;
            },
            lookup_miss => {
                if self.phase != "Open" {
                    anyhow::bail!("lookup_miss not enabled");
                }
                self.phase = "Missing".into();
                self.found = false;
            },
            render => {
                if self.phase != "Ready" {
                    anyhow::bail!("render not enabled");
                }
                self.phase = "Done".into();
            },
        })
    }
}

#[quint_run(
    spec = "specs/session-lookup.qnt",
    max_samples = 12,
    max_steps = 8,
    seed = "0x5"
)]
fn session_lookup_run() -> impl Driver {
    LookupDriver::default()
}