Rules the machine checks
A use case writes to its own module, one module per transaction, a save that reads rows takes a guard. newt refuses the rest at runtime, and its lint before you run.
The anatomy and the lint
Bounded contexts, use cases, entities and domain events with a transactional outbox, in stores you can swap.