Exercises

Complete the 20 specified tasks across the three practice pages. Keep derivations before opening solutions. Expected focused time is 20–28 hours including corrections, with implementation effort accounted for separately in the guided labs.

Tasks	Practice page	Evidence
P1–P5	Foundations and State Design	State collision, transition counts, cache scope, witness repair, bit costs
P6–P10	Sequence and Grid Workshop	Strict LIS, alignment, capacity semantics, counting objects, unreachable paths
P11–P20	Advanced Clinic	Interval/tree proofs, subset/digit state, resource estimates, greedy and DAG contracts

Use the implementation studio for targeted transfer, not a second mandatory set of unbounded exercises. Each task needs a state sentence, assumptions, reasoning and the requested witness or counterexample. After corrections, complete the independent assessment and the budgeted scheduling capstone.