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

// SPDX-License-Identifier: AGPL-3.0-or-later
//! Simulation for `specs/event-index.qnt` (slug grammar for derived skills/rules rows).
//! State is checked by the spec only; the driver is a no-op placeholder for trace replay.

use quint_connect::*;

struct EventIndexDriver;

impl Driver for EventIndexDriver {
    type State = ();

    fn step(&mut self, _step: &Step) -> Result {
        Ok(())
    }
}

#[quint_run(spec = "specs/event-index.qnt", max_samples = 20, max_steps = 8)]
fn event_index_run() -> impl Driver {
    EventIndexDriver
}