t27.aiEnglish

Постройте, затем измерьте одно

Вы узнаете

Почему одно число, прочитанное из запуска, надёжнее ощущения, и чего один запуск сказать не может.

Когда проект запускается, выберите одну вещь для измерения и прочитайте её из самого запуска. Выдуманный пример: дневник чтения запустили на 4 названиях, и он сохранил 3. Доля сохранённых равна 3 x 100 / 4 = 75 из 100. Это весь факт: один запуск, одно число. Он не говорит, что даст следующий запуск, поэтому виджет пишет об этом: пока ничего. В спецификации 3 теста: для измерения нужен хотя бы один запуск, запуск не может сохранить больше, чем ему дали, и доля читается из запуска. Поставьте KEPT равным 5, и два из них покраснеют.

Попробуйте

В спецификации поставьте KEPT равным 5 и прочитайте 2 теста, которые падают; затем верните как было. Выберите одну вещь в своём проекте, которую запуск может напечатать, и запишите, как вы её прочитаете.

Открыть интерактивный урок →

Build it, then measure one thing: a share read from a run ↗

One run of a made-up reading log, one number read from it, and what that number can and cannot tell you. Lesson 26 of the Vibecoding course.

specs/vibecoding/measure.t27

// SPDX-License-Identifier: Apache-2.0
; Vibecoding, lesson 26: Build it, then measure one thing.
; After your project runs, pick ONE thing to measure and read it from a run, not from a hunch.
; Made-up example: the reading log from lesson 25 was run on 4 titles and kept 3 of them.
; The measure is the share kept. Plant a bug: set KEPT to 5 and see which test goes red.
; phi^2 + 1/phi^2 = 3 | TRINITY

module vibecoding_measure;

; What the run printed.
pub const RUNS : u8 = 4;
pub const KEPT : u8 = 3;

test a_measure_needs_at_least_one_run {
    assert RUNS > 0;
}

test a_run_cannot_keep_more_than_it_was_given {
    assert KEPT <= RUNS;
}

test the_share_kept_is_read_from_the_run {
    assert KEPT * 100 / RUNS == 75;
}

Открыть спеку урока в плеере ↗

Все уроки