# Incr Next module documentation

- [Roadmap](roadmap.md) — adopted sibling product; K1.1–K1.6 accepted and merged; K2 not yet commissioned
- [K1.1 validation](k1-1-validation.md) — first failures, API reuse record, and acceptance evidence
- [K1.2 key-bound compile probe](2026-08-14-k1-2-key-bound-compile-probe.md) — selected `Region::query` Hash/Eq boundary and caller contract
- [K1.2 validation](k1-2-validation.md) — accepted semantics, ownership, interface, backend, and work-count evidence
- [K1.3 validation](k1-3-validation.md) — accepted and merged active tracking, witness contract, atomicity, cleanup, hosted CI, and public diff review evidence
- [K1.4 cutoff compile probe](2026-08-15-k1-4-cutoff-compile-probe.md) — selected typed cutoff constructors and standalone type-owned trait boundary
- [K1.4 validation](k1-4-validation.md) — accepted implementation, status-only finalization, hosted acceptance, and squash-merge evidence
- [K1.5 validation](k1-5-validation.md) — accepted and merged private proof loss, rematerialization, cleanup, ownership, hosted acceptance, and squash-tree evidence
- [K1.6 validation](k1-6-validation.md) — accepted generated differential, private proof-loss/work, backend, boundary, and interface evidence
