Chapter 17: Worked Example: Searching a Small Space

This section is already in the book plan, but it has not been written fully yet. The book owner can press Generate section to write this part with the language model connected to TheoryTrace.

Section plan:

Guides the reader through a complete small Grover implementation from problem definition to oracle design, circuit construction, iteration count, measurement, and result interpretation.