t27.aiРусский

An honest plan for the next month

You will learn

How to write a plan whose every line is either measured or plainly not known yet, with no promise about the future.

A plan for the next month is honest when each line is one of two kinds: a thing you measured, with the run that printed it, or a thing you do not know yet, with the run that would tell you. A line that promises a result nobody has measured does not belong in it. The made-up plan for the reading log has 5 lines: 2 measured, 3 unknown and 0 promised, and 2 + 3 + 0 = 5. The spec has 4 tests: the lines add up, something is measured, something is unknown and nothing is promised. Set PROMISED to 1 and two of them go red. This lesson gives no forecast of any kind: it is a way of writing, not a prediction.

Try it

In the spec, set PROMISED to 1 and read the 2 tests that fail; then put it back. Write 5 lines for your own project and mark each one measured or unknown; if a line is neither, cross it out.

Open the interactive lesson →

An honest plan: what is measured, what is not known yet ↗

A plan of five lines for a made-up reading log, each marked measured or unknown, with no promise about the future. Lesson 27 of the Vibecoding course.

specs/vibecoding/honest_plan.t27

// SPDX-License-Identifier: Apache-2.0
; Vibecoding, lesson 27: An honest plan for the next month.
; A plan is honest when every line is either something you measured or something you say you do
; not know yet, and no line is a promise about the future you cannot check.
; Made-up plan for the reading log: 5 lines. Plant a bug: set PROMISED to 1 and watch it go red.
; phi^2 + 1/phi^2 = 3 | TRINITY

module vibecoding_honest_plan;

pub const PLAN_LINES : u8 = 5;
; Lines that name a number a run printed.
pub const MEASURED : u8 = 2;
; Lines that say plainly: not known yet, and what would tell us.
pub const UNKNOWN : u8 = 3;
; Lines that promise an outcome nobody has measured.
pub const PROMISED : u8 = 0;

test every_line_is_measured_or_unknown {
    assert MEASURED + UNKNOWN + PROMISED == PLAN_LINES;
}

test the_plan_names_something_it_measured {
    assert MEASURED >= 1;
}

test the_plan_names_something_it_does_not_know {
    assert UNKNOWN >= 1;
}

test the_plan_promises_nothing_unmeasured {
    assert PROMISED == 0;
}

Open the lesson's spec in the player ↗

All lessons