DSA Studio

v4 Semantics: loop rules and scope Checkpoint

Predict fresh artifacts, diagnose a broken invariant, and test a version boundary. Select one answer per multiple-choice question; numeric responses use the stated integer format. Use review links to revisit the relevant representation, then attempt the independent transfer task.

Get every question correct to pass this checkpoint. You can review feedback, revise your answers, and submit again.

1. A function declared inside a while body contains break but has no loop of its own. What is correct?

Select one answer.

2. After checking that nested function, what must happen to the outer analyzer loop depth?

Select one answer.

3. A for initializer declares i and its body declares a new local i. What should the scope model do?

Select one answer.

4. A variable j is declared only inside the for body, but post uses j. What follows?

Select one answer.

5. The analyzer visits post before body although runtime visits body before post. Is this necessarily wrong?

Select one answer.

Join Discord