The verification unit for software tutorials: a code block with optional per-line annotations and an optional "expected output" panel that lets the reader confirm success without running anything. Composes the bundled code-block primitive convention.