Days

Verification & Research

Research narrative around LeanGuard and test generation.

This section contains research-oriented documentation; if you want to use LeanGuard, start with /docs/verification.

Paper summary

Design (trace certificates)

Protocol instantiations

What ACCEPT certifies (DCQCN)

Test generation (semantic coverage)

LeanGuard overview (use)

Time model

MonotonicTime and how simulation time advances in Nexosim (and Days).

What ACCEPT certifies (DCQCN)

Representative DCQCN-specific consequences of trace acceptance (pairing, gates, parameter stability, bounds).