Contract + implementation

The contract, traced through code.

Contract · whole request
Word rotation and preserved fragments
· ← / → to step
Selected decision

Committed output

Reducer state