Строка module
Вы узнаете
Как пишется строка module, какие имена она принимает и где стоит.
Строка module — это ключевое слово module, имя и точка с запятой. Перед ней могут стоять комментарии и строки прозы; объявления идут после. Имя состоит из букв, цифр и подчёркиваний; компилятор на этом сайте принимает и дефисы, как в tutorial-06-structs. Спека курса на этом сайте обязана носить имя модуля, которого ждёт её генератор, поэтому неверное имя ловит сборка, а не компилятор.
Попробуйте
В плеере поменяйте имя модуля в спеке урока и убедитесь, что вердикт остаётся чистым.

Which module lines the t27c compiler accepts, checked in the browser with the real compiler. Lesson 2 of the t27 basics course.
specs/basics/02_the_module_line.t27
// SPDX-License-Identifier: Apache-2.0
; t27 basics, lesson 2: The module line.
; Every spec names its module once, with module, a name and a semicolon.
module basics_02_the_module_line;
pub const LESSON : u8 = 2;
test the_module_line_names_this_file {
assert LESSON == 2;
}
Все уроки
Модуль 1 · Файл спеки
Что лежит в файле .t27: строка module, строки прозы и комментарии.
Модуль 2 · Значения и типы
Константы, ширина целого числа, а также true, false и текст.
Модуль 3 · Массивы, триты и выражения
Списки значений, три значения трита и что вычисляют операторы.
Модуль 4 · Тесты и функции
Блок test, несколько маленьких тестов в одной спеке и функция с типизированными входами.
Модуль 5 · Внутри функции
Имена через let и var, выбор через if и switch и циклы.
Модуль 6 · Видимость и свои типы
Что pub открывает другим модулям, и структуры и перечисления, которые вы объявляете.
Модуль 7 · Модули, правила и gen-ts
Чтение другого модуля, правило, которое выполняется всегда, и спека, превращённая в TypeScript.
Модуль 8 · Компилятор и tri
Бэкенды, которые пишет t27c, стадии, в которых он читает спеку, и команда tri.
Модуль 9 · Ошибки, программа и что дальше
Как читать ошибку компилятора, одна маленькая законченная программа и какой курс пройти дальше.