Days
Reference

Traces

Trace manifest and schema conventions for per-transition trace files.

Days produces two broad kinds of output:

  1. Periodic reports (e.g., sources.csv, switches.csv)
  2. Per-transition traces (*_events.csv) used by LeanGuard checkers

This section focuses on per-transition traces and the conventions around them.

Trace schema conventions

Trace Manifest (traces.json)

leanguard-testgen

Coverage-guided test generation on top of leanguard-run (fuzz, minimize, campaign).

Trace Manifest (traces.json)

How Days records which per-transition traces were produced in a run.