Code Lab

StudentChoose a build or debug challenge, predict behavior, run the system, then explain the trace and revise the design.

TeacherLook for debugging strategy, abstraction errors, security or data reasoning, trace quality, and transfer to a new program.

the plan

authorship: received plan

slot A: assign box

slot B: walk next line

the trace

line	instruction	x
1	x = 2	2
2	x = x + 1	3 (2)

StepRunResetinput 1algorithms impact

Missions

Invariant witness

boxes—

walk—

gatesone branch, once

A program is boxes and a walk: each box holds one value that assignment replaces, the walk runs line by line in order, and every gate reads the boxes once, at its own line, and takes exactly one branch.

0 events

Boxes, a walk, and a gate

A program bench where blocks snap into lines, a tiny interpreter walks them one line at a time, and every box's contents print after every line. Commit a prediction before every walk.

Choose a mission to open its prediction gate.

PredictTestExplainReviseDefendTransfer0/6 evidence steps

Loading world...

Computer Science path

Code Lab

StudentChoose a build or debug challenge, predict behavior, run the system, then explain the trace and revise the design.

TeacherLook for debugging strategy, abstraction errors, security or data reasoning, trace quality, and transfer to a new program.

the plan

authorship: received plan

slot A: assign box

slot B: walk next line

the trace

line	instruction	x
1	x = 2	2
2	x = x + 1	3 (2)

StepRunResetinput 1algorithms impact

Missions

Invariant witness

boxes—

walk—

gatesone branch, once

0 events

Boxes, a walk, and a gate

A program bench where blocks snap into lines, a tiny interpreter walks them one line at a time, and every box's contents print after every line. Commit a prediction before every walk.

Choose a mission to open its prediction gate.

PredictTestExplainReviseDefendTransfer0/6 evidence steps

Code Lab

CodeLab

Boxes, a walk, and a gate

Code Lab

CodeLab

Boxes, a walk, and a gate