Build, break, and test a study planner

15-minute session: read for 3 minutes, trace for 3, experiment for 7, and complete the check for 2. Spend longer whenever you need.

A useful test compares a result with a requirement. The planner must never report negative remaining work for its stated nonnegative input domain. Run the starter, then deliberately remove the protection for completed counts above total. At least one check should fail. Restore it. Add two named study tasks, a summary, and boundary cases. Save the source and evidence on Agila Forge. Explain every line, including anything suggested by AI.

:= declares a value. Add mut only when it must change. !int describes a result that may fail; the caller handles the failure with an or block. Standard V examples do not import the Agila SDK.

fn remaining(total int, done int) int {
    if done >= total { return 0 }
    return total - done
}
fn main() {
    assert remaining(4,1)==3
    assert remaining(4,4)==0
    assert remaining(4,5)==0
    assert remaining(0,0)==0
    println('Passed')
}

Expected result: Passed

Practice and evidence

Keep three notes: your prediction, the actual result, and why they match or differ. The completion check grades understanding; the practice task builds skill.

Language reference