@altnovatrail/spec 0.0.0-stage → 0.4.1

package/formatv0/index.d.ts

@@ -0,0 +1,1844 @@
+// Code generated by tools/types from format/schemas; DO NOT EDIT.
+
+/**
+ * The types of the module format, major version 0, generated from the schemas of version 0.1 in
+ * format/schemas by tools/types (R72 and R73 in spec's docs/decisions.md): the same types as the Go
+ * package formatv0, by the same names. The schemas decide what is valid: a type gives the shape of
+ * a value alone, and code that reads a value from elsewhere checks it against its schema first. A
+ * field the object always holds is required; any other is optional, among them each field that only
+ * some branches of a schema give. The open view of each part is in open,
+ * `@altnovatrail/spec/formatv0/open`.
+ *
+ * @packageDocumentation
+ */
+
+// The types of canonical-view.schema.json.
+
+/**
+ * CanonicalView is the type of canonical-view.schema.json.
+ *
+ * The canonical view of a module, the server part of its package (section 25 of the format text):
+ * each part of the module as its file gives it, a part that a module has many of as an object by
+ * local ID, the tier of each skill, and the numbers of every instance of each template. module-kit
+ * builds it from the module's folder by the format version that the manifest names, and so does
+ * spec's CI for the vectors of packages; sim reads it by these types. No field of it is open: the
+ * learner's app gets the open view of a part from the server, never the canonical view.
+ */
+export interface CanonicalView {
+  /**
+   * The manifest, manifest.yaml. Its module_format_version names the version by which the whole
+   * view is read.
+   */
+  readonly manifest: Manifest;
+  /**
+   * The skill graph, skill-graph.yaml, when the module has one.
+   */
+  readonly skill_graph?: SkillGraph;
+  /**
+   * The tier of each skill of the skill graph, which section 12 computes from its prerequisites:
+   * there when the module has a skill graph, and only then.
+   */
+  readonly skill_tiers?: SkillTiers;
+  /**
+   * The trap catalog, traps.yaml, when the module has one.
+   */
+  readonly traps?: Traps;
+  /**
+   * The technique catalog, techniques.yaml, when the module has one.
+   */
+  readonly techniques?: Techniques;
+  /**
+   * The solving steps, solving-steps.yaml, when the module has them.
+   */
+  readonly solving_steps?: SolvingSteps;
+  /**
+   * The tasks of the module, when it has any, each under its local ID.
+   */
+  readonly tasks?: Readonly<Record<TaskID, Task>>;
+  /**
+   * The lessons of the module, when it has any, each under its local ID.
+   */
+  readonly lessons?: Readonly<Record<LessonID, Lesson>>;
+  /**
+   * The instances of the templates among the tasks, when there is one, each template's under its
+   * local ID. The server picks the instance of an attempt among them and puts its numbers in the
+   * place of the template's placeholders, and so runs no Starlark when an attempt begins.
+   */
+  readonly instances?: Readonly<Record<TaskID, readonly Numbers[]>>;
+}
+
+/**
+ * SkillTiers is the type of canonical-view.schema.json#/$defs/skill_tiers.
+ *
+ * The tier of every skill of a skill graph, by the skill's local ID (section 12).
+ */
+export type SkillTiers = Readonly<Record<SkillID, number>>;
+
+/**
+ * Numbers is the type of canonical-view.schema.json#/$defs/numbers.
+ *
+ * The numbers of an instance of a template: every parameter, every derived number and every result
+ * of the solver of the template, by its name (sections 23 and 24).
+ */
+export type Numbers = Readonly<Record<TemplateName, number>>;
+
+// The types of manifest.schema.json.
+
+/**
+ * Manifest is the type of manifest.schema.json.
+ *
+ * The manifest of a module, manifest.yaml at the root of its folder: the format version the module
+ * is written in, its ID and version, what it is called and teaches, whom it is for, the bands of
+ * its difficulty scale, its languages, the anchor skills it builds on, the settings of its canvas,
+ * its authors and its license, and the templates of the rungs of its hint ladder. Every field is
+ * open, since the learner's app shows them.
+ */
+export interface Manifest {
+  /**
+   * The version of the module format the module is written in, "0.1": the module is checked, built
+   * and run by it. It stands at the root of the manifest in every version of the format, so that a
+   * reader finds it before it knows which schemas to read the module by.
+   */
+  readonly module_format_version: ModuleFormatVersion;
+  /**
+   * The module's ID: novatrail/olympiad-math.
+   */
+  readonly id: ModuleID;
+  /**
+   * The module's version, X.Y.Z.
+   */
+  readonly version: ModuleVersion;
+  /**
+   * What the module is called, in its explanation language.
+   */
+  readonly title: Text;
+  /**
+   * What the module teaches.
+   */
+  readonly subject: Subject;
+  /**
+   * Whom the module is for: its age categories and, for a module written for school grades, those
+   * grades.
+   */
+  readonly audience: Audience;
+  /**
+   * The bands of the module's difficulty scale, from the easiest: each task names its band and a
+   * difficulty from 1 to 5 within it. A module with tasks has them.
+   */
+  readonly bands?: readonly Band[];
+  /**
+   * The languages of the module.
+   */
+  readonly languages: Languages;
+  /**
+   * The anchor skills of the shared taxonomy that the module's skills need: exactly those that its
+   * skill graph names as prerequisites. A module whose skills need none leaves this field out.
+   */
+  readonly dependencies?: readonly SharedTaxonomy[];
+  /**
+   * The settings of the module's canvas, the same for each of its tasks.
+   */
+  readonly canvas?: CanvasSettings;
+  /**
+   * Who wrote the module.
+   */
+  readonly authors: readonly Author[];
+  /**
+   * The license of the module's content: Apache-2.0 for an official module.
+   */
+  readonly license: License;
+  /**
+   * The templates of rungs 1 and 2 of the hint ladder, in order, in the module's explanation
+   * language: what the learner reads after a wrong answer when the tutor's question did not come or
+   * did not pass its checks, and neither a trap text nor a trap's advice fits. A module with an
+   * item with a verdict has them.
+   */
+  readonly rung_templates?: readonly Text[];
+}
+
+/**
+ * Audience is the type of manifest.schema.json#/properties/audience.
+ *
+ * Whom the module is for: its age categories and, for a module written for school grades, those
+ * grades.
+ */
+export interface Audience {
+  /**
+   * The age categories that the module suits. The platform offers the module only to learners in
+   * one of them.
+   */
+  readonly age_categories: readonly AgeCategory[];
+  /**
+   * The school grades that the module is written for. A module that names them asks the learner's
+   * grade, and the answer may be one it does not name. Unlike the age categories, grades close
+   * nothing: the module and its skills stay open to a learner of any grade.
+   */
+  readonly grades?: readonly Grade[];
+}
+
+/**
+ * Band is the type of manifest.schema.json#/properties/bands/items.
+ */
+export interface Band {
+  /**
+   * The band's ID, by which a task names it.
+   */
+  readonly id: BandID;
+  /**
+   * What the band is called, in the module's explanation language: Grades 1–2.
+   */
+  readonly title: Text;
+  /**
+   * The school grades the band's tasks are written for, in a module that names grades: a learner of
+   * one of them starts in this band.
+   */
+  readonly grades?: readonly Grade[];
+}
+
+/**
+ * Languages is the type of manifest.schema.json#/properties/languages.
+ *
+ * The languages of the module.
+ */
+export interface Languages {
+  /**
+   * The explanation language: the one language in which the module explains and the tutor speaks
+   * with the learner. Every text of the module is in it, except the material of a language module,
+   * which is in its target language.
+   */
+  readonly explanation: LanguageTag;
+  /**
+   * The target language: the one that a language module teaches. Other modules have none.
+   */
+  readonly target?: LanguageTag;
+}
+
+/**
+ * CanvasSettings is the type of manifest.schema.json#/properties/canvas.
+ *
+ * The settings of the module's canvas, the same for each of its tasks.
+ */
+export interface CanvasSettings {
+  /**
+   * The height in px that a digit or a letter of the learner's writing has on the crop that goes to
+   * be read: 32 unless given.
+   *
+   * @defaultValue 32
+   */
+  readonly digit_height?: number;
+}
+
+/**
+ * Author is the type of manifest.schema.json#/properties/authors/items.
+ */
+export interface Author {
+  /**
+   * The name of an author: a person or an organization.
+   */
+  readonly name: Text;
+}
+
+// The types of common.schema.json.
+
+/**
+ * ModuleFormatVersion is the type of common.schema.json#/$defs/module_format_version.
+ *
+ * A version of the module format, MAJOR.MINOR, written as a string: "0.1".
+ */
+export type ModuleFormatVersion = string;
+
+/**
+ * ModuleID is the type of common.schema.json#/$defs/module_id.
+ *
+ * The ID of a module, <publisher>/<name>, each a name in kebab-case that begins with a letter:
+ * novatrail/olympiad-math. The publisher owns the namespace its modules' names are in. Neither name
+ * is one that Windows reserves for a device, such as con or lpt1, since an ID may name a folder.
+ */
+export type ModuleID = string;
+
+/**
+ * ModuleVersion is the type of common.schema.json#/$defs/module_version.
+ *
+ * The version of a module in Semantic Versioning 2.0.0, X.Y.Z, with no pre-release and no build
+ * metadata, written as a string: "1.2.0".
+ */
+export type ModuleVersion = string;
+
+/**
+ * Text is the type of common.schema.json#/$defs/text.
+ *
+ * A text of the module for people to read, in its explanation language. Not empty.
+ */
+export type Text = string;
+
+/**
+ * Subject is the type of common.schema.json#/$defs/subject.
+ *
+ * The code of a subject: what a module teaches.
+ */
+export type Subject = "mathematics" | "physics" | "writing";
+
+/**
+ * AgeCategory is the type of common.schema.json#/$defs/age_category.
+ *
+ * An age category: under 13; from 13 to the age of digital consent in the learner's country; from
+ * that age to 18; 18 and over.
+ */
+export type AgeCategory = "under_13" | "from_13_to_consent" | "from_consent_to_18" | "adult";
+
+/**
+ * Grade is the type of common.schema.json#/$defs/grade.
+ *
+ * A school grade, from 1 to 12, as the module's author counts them: the platform does not map the
+ * grades of one country to another's.
+ */
+export type Grade = number;
+
+/**
+ * BandID is the type of common.schema.json#/$defs/band_id.
+ *
+ * The ID of a band of the module's difficulty scale, of the form of a local ID and unique among its
+ * bands. A band is no entry of the module, and no full ID names it.
+ */
+export type BandID = LocalID;
+
+/**
+ * LocalID is the type of common.schema.json#/$defs/local_id.
+ *
+ * The local ID of a skill, task, trap, technique or lesson: unique among the module's entries of
+ * its kind, in kebab-case, beginning with a letter, at most 64 characters, and not a name that
+ * Windows reserves for a device, since a local ID may name a file: counting-gaps.
+ */
+export type LocalID = string;
+
+/**
+ * LanguageTag is the type of common.schema.json#/$defs/language_tag.
+ *
+ * A language as a BCP 47 tag (RFC 5646) of a language subtag, an optional script and an optional
+ * region, each in the letter case of the registry: en, zh-Hans, pt-BR, es-419. Written in quotes
+ * when it is no, which YAML 1.1 reads as false.
+ */
+export type LanguageTag = string;
+
+/**
+ * License is the type of common.schema.json#/$defs/license.
+ *
+ * A license as an identifier of the SPDX License List, such as Apache-2.0 or CC-BY-SA-4.0: letters,
+ * digits, . and -.
+ */
+export type License = string;
+
+/**
+ * SkillID is the type of common.schema.json#/$defs/skill_id.
+ *
+ * The local ID of a skill.
+ */
+export type SkillID = LocalID;
+
+/**
+ * TrapID is the type of common.schema.json#/$defs/trap_id.
+ *
+ * The local ID of a trap.
+ */
+export type TrapID = LocalID;
+
+/**
+ * TechniqueID is the type of common.schema.json#/$defs/technique_id.
+ *
+ * The local ID of a technique.
+ */
+export type TechniqueID = LocalID;
+
+/**
+ * TaskID is the type of common.schema.json#/$defs/task_id.
+ *
+ * The local ID of a task.
+ */
+export type TaskID = LocalID;
+
+/**
+ * StatementPart is the type of common.schema.json#/$defs/statement_part.
+ *
+ * A part of a text that the learner reads — a statement, a solution or an explanation: a paragraph,
+ * or a picture with what it shows and its size.
+ */
+export interface StatementPart {
+  /**
+   * A paragraph, as plain text.
+   */
+  readonly text?: Text;
+  /**
+   * A picture, by its path from media/.
+   */
+  readonly picture?: PicturePath;
+  /**
+   * What the picture shows, in words: a screen reader reads it, and it stands in the picture's
+   * place until the picture comes. Empty for a picture that only decorates.
+   */
+  readonly alt?: string;
+  /**
+   * The width the picture is shown at, in CSS px; narrower when the text it stands in is.
+   */
+  readonly width?: number;
+  /**
+   * The height the picture is shown at, in CSS px, in proportion to its width.
+   */
+  readonly height?: number;
+}
+
+/**
+ * PicturePath is the type of common.schema.json#/$defs/picture_path.
+ *
+ * The path of a picture from the module's media/ folder: a media path whose extension is .png, .jpg
+ * or .webp.
+ */
+export type PicturePath = MediaPath;
+
+/**
+ * MediaPath is the type of common.schema.json#/$defs/media_path.
+ *
+ * The path of a media file from the module's media/ folder: names in kebab-case that begin with a
+ * letter, joined by /, and the extension of the file's format — .png, .jpg, .webp or .mp3. No name
+ * is one that Windows reserves for a device. pictures/ladder.png.
+ */
+export type MediaPath = string;
+
+/**
+ * Canvas is the type of common.schema.json#/$defs/canvas.
+ *
+ * A canvas: its kind, and the grid of a handwriting sheet.
+ */
+export interface Canvas {
+  /**
+   * The canvas kind: a handwriting sheet, a free sheet of 1000 × 1400 units; or a workbook, lines
+   * of items with boxes for the answers.
+   */
+  readonly kind: CanvasKind;
+  /**
+   * The grid of a handwriting sheet: squares, lines or dots; squares unless given.
+   *
+   * @defaultValue "squares"
+   */
+  readonly grid?: CanvasGrid;
+  /**
+   * The step of the grid of a handwriting sheet, in its units: 50 unless given.
+   *
+   * @defaultValue 50
+   */
+  readonly grid_step?: number;
+}
+
+/**
+ * CanvasKind is the type of common.schema.json#/$defs/canvas/properties/kind.
+ *
+ * The canvas kind: a handwriting sheet, a free sheet of 1000 × 1400 units; or a workbook, lines of
+ * items with boxes for the answers.
+ */
+export type CanvasKind = "handwriting_sheet" | "workbook";
+
+/**
+ * CanvasGrid is the type of common.schema.json#/$defs/canvas/properties/grid.
+ *
+ * The grid of a handwriting sheet: squares, lines or dots; squares unless given.
+ */
+export type CanvasGrid = "squares" | "lines" | "dots";
+
+/**
+ * SheetRectangle is the type of common.schema.json#/$defs/sheet_rectangle.
+ *
+ * A rectangle of the handwriting sheet, in its units of 1000 × 1400 from the top left corner.
+ */
+export interface SheetRectangle {
+  /**
+   * How far the rectangle begins from the left edge of the sheet, in its units.
+   */
+  readonly left: number;
+  /**
+   * How far the rectangle begins from the top edge of the sheet, in its units.
+   */
+  readonly top: number;
+  /**
+   * The width of the rectangle, in units of the sheet.
+   */
+  readonly width: number;
+  /**
+   * The height of the rectangle, in units of the sheet.
+   */
+  readonly height: number;
+}
+
+/**
+ * LessonID is the type of common.schema.json#/$defs/lesson_id.
+ *
+ * The local ID of a lesson.
+ */
+export type LessonID = LocalID;
+
+// The types of shared-taxonomy.schema.json.
+
+/**
+ * SharedTaxonomy is the type of shared-taxonomy.schema.json.
+ *
+ * The vocabulary of anchor skills: the skills that belong to no module and that modules name to
+ * build on one another. Its instance is the ID of an anchor skill, core.<name>: a skill of a module
+ * names one among its prerequisites or in teaches, and a manifest in its dependencies. It describes
+ * no part of a module, and it refuses an ID that names no anchor skill. Each anchor skill is a
+ * branch of oneOf, with its ID, its title and its description, all in English; the description is
+ * normative, since it is what the skill means.
+ */
+export type SharedTaxonomy = "core.multiplication-table" | "core.division-with-remainder" | "core.fractions-of-a-whole" | "core.linear-equations";
+
+// The types of skill-graph.schema.json.
+
+/**
+ * SkillGraph is the type of skill-graph.schema.json.
+ *
+ * The skill graph of a module, skill-graph.yaml at the root of its folder: the module's skills,
+ * what a learner needs before each one, how the platform can know a learner's command of each,
+ * which anchor skills of the shared taxonomy each one teaches, the names of the tiers, and the
+ * skills that the module had once and has no more. The tier of a skill is computed from the
+ * prerequisites, never written, and module-kit puts it into the module's package. Every field is
+ * open but retired_skills, since the skill map shows them.
+ */
+export interface SkillGraph {
+  /**
+   * The names of the tiers, in order from tier 1. The tiers past the last name are shown by their
+   * numbers, and a name past the last tier names none.
+   */
+  readonly tiers?: readonly Text[];
+  /**
+   * The module's skills, each under its local ID. Their order carries no meaning.
+   */
+  readonly skills: Readonly<Record<SkillID, Skill>>;
+  /**
+   * The skills that earlier versions of the module had and this one has no more, under the IDs they
+   * had: the table by which a learner's progress moves to the skills of this version. An entry
+   * stays in every later version, and its ID never names another skill.
+   */
+  readonly retired_skills?: Readonly<Record<SkillID, RetiredSkill>>;
+}
+
+/**
+ * Skill is the type of skill-graph.schema.json#/properties/skills/additionalProperties.
+ *
+ * A skill of the module, under its local ID.
+ */
+export interface Skill {
+  /**
+   * What the skill is called, in the module's explanation language.
+   */
+  readonly title: Text;
+  /**
+   * What a learner who has the skill can do, in the module's explanation language.
+   */
+  readonly description?: Text;
+  /**
+   * The skills that a learner needs before this one, all of them: skills of the module by local ID,
+   * and anchor skills of the shared taxonomy by their IDs. A skill with none leaves this field out.
+   */
+  readonly prerequisites?: readonly string[];
+  /**
+   * The anchor skills of the shared taxonomy that this skill teaches: a learner who has this skill
+   * can do what the description of each says. Other modules build on them, and the learner model
+   * decides by such skills whether a learner has them. A skill that teaches none leaves this field
+   * out.
+   */
+  readonly teaches?: readonly SharedTaxonomy[];
+  /**
+   * How the platform can know a learner's command of the skill: verdict, when its tasks are checked
+   * against a key or a predicate; rubric, when work on it gets feedback by the author's rubric and
+   * no verdict; none, when it is practised and not assessed.
+   */
+  readonly assessability: SkillAssessability;
+}
+
+/**
+ * SkillAssessability is the type of
+ * skill-graph.schema.json#/properties/skills/additionalProperties/properties/assessability.
+ *
+ * How the platform can know a learner's command of the skill: verdict, when its tasks are checked
+ * against a key or a predicate; rubric, when work on it gets feedback by the author's rubric and no
+ * verdict; none, when it is practised and not assessed.
+ */
+export type SkillAssessability = "verdict" | "rubric" | "none";
+
+/**
+ * RetiredSkill is the type of
+ * skill-graph.schema.json#/properties/retired_skills/additionalProperties.
+ *
+ * A retired skill, under the local ID it had.
+ */
+export interface RetiredSkill {
+  /**
+   * The skills of this version that took over what the retired skill taught: one for a skill
+   * renamed, several for a skill split. Empty when none did: then a learner's progress in it moves
+   * to no skill.
+   */
+  readonly replaced_by: readonly SkillID[];
+}
+
+// The types of traps.schema.json.
+
+/**
+ * Traps is the type of traps.schema.json.
+ *
+ * The trap catalog of a module, traps.yaml at the root of its folder: the typical mistakes that the
+ * module's tasks catch, each under its local ID, with what the mistake is, the skills it belongs to
+ * and what to advise on it. A task names only a trap of the catalog, so that a wrong answer becomes
+ * a diagnosis that can be counted. Every field is closed, since a trap tells what mistake a task
+ * expects.
+ */
+export interface Traps {
+  /**
+   * The module's traps, each under its local ID. Their order carries no meaning.
+   */
+  readonly traps: Readonly<Record<TrapID, Trap>>;
+}
+
+/**
+ * Trap is the type of traps.schema.json#/properties/traps/additionalProperties.
+ *
+ * A trap of the module, under its local ID.
+ */
+export interface Trap {
+  /**
+   * What the mistake is, in the module's explanation language: AI reads it to suggest the trap from
+   * the learner's work, and the learner's progress names the mistakes that repeat by it.
+   */
+  readonly description: Text;
+  /**
+   * The skills of the module that the mistake belongs to, by local ID. A trap that belongs to no
+   * skill leaves this field out.
+   */
+  readonly skills?: readonly SkillID[];
+  /**
+   * What to advise the adult or the learner on this mistake, in the module's explanation language:
+   * the learner's progress gives it beside a trap that repeats, and it is the fallback text of the
+   * first two rungs after a wrong value of the trap that has no text of its own.
+   */
+  readonly trap_advice: Text;
+}
+
+// The types of techniques.schema.json.
+
+/**
+ * Techniques is the type of techniques.schema.json.
+ *
+ * The technique catalog of a module, techniques.yaml at the root of its folder: the ways of solving
+ * that the module names and teaches, each under its local ID, with its title and what it is. A task
+ * names the techniques that help in it, and which those are is closed, in the task. Every field of
+ * the catalog is open, as the skills of the skill graph are.
+ */
+export interface Techniques {
+  /**
+   * The module's techniques, each under its local ID. Their order carries no meaning, and this
+   * version gives them no numbers.
+   */
+  readonly techniques: Readonly<Record<TechniqueID, Technique>>;
+}
+
+/**
+ * Technique is the type of techniques.schema.json#/properties/techniques/additionalProperties.
+ *
+ * A technique of the module, under its local ID.
+ */
+export interface Technique {
+  /**
+   * What the technique is called, in the module's explanation language.
+   */
+  readonly title: Text;
+  /**
+   * What the technique is and when it helps, in the module's explanation language.
+   */
+  readonly description?: Text;
+}
+
+// The types of solving-steps.schema.json.
+
+/**
+ * SolvingSteps is the type of solving-steps.schema.json.
+ *
+ * The solving steps of a module, solving-steps.yaml at the root of its folder: the frame through
+ * which the tutor leads a learner within a task, step by step, each with its title, what of the
+ * task it gives and when it ends. Every task of the module goes through the same steps. Every field
+ * is open, since the learner's app leads the steps itself.
+ */
+export interface SolvingSteps {
+  /**
+   * The steps, in order, each named by its place, from 1.
+   */
+  readonly steps: readonly Step[];
+}
+
+/**
+ * Step is the type of solving-steps.schema.json#/$defs/step.
+ *
+ * A solving step: what the learner does in it, what of the task it gives, and when it ends.
+ */
+export interface Step {
+  /**
+   * What the learner does in the step, in the module's explanation language.
+   */
+  readonly title: Text;
+  /**
+   * What of the task the step gives the learner: givens, the task's givens and unknown, which the
+   * learner ticks; techniques, the task's techniques, which the server gives when the step begins.
+   * A step that gives neither leaves this field out.
+   */
+  readonly gives?: readonly StepGives[];
+  /**
+   * When the step ends, by an event on the learner's device and with no key: givens_ticked, once
+   * the learner has ticked every given and the unknown; answer_slots_filled, once every answer slot
+   * of the task holds something of the learner's; none, when the learner moves on.
+   */
+  readonly exit_condition: StepExitCondition;
+}
+
+/**
+ * StepGives is the type of solving-steps.schema.json#/$defs/step/properties/gives/items.
+ */
+export type StepGives = "givens" | "techniques";
+
+/**
+ * StepExitCondition is the type of solving-steps.schema.json#/$defs/step/properties/exit_condition.
+ *
+ * When the step ends, by an event on the learner's device and with no key: givens_ticked, once the
+ * learner has ticked every given and the unknown; answer_slots_filled, once every answer slot of
+ * the task holds something of the learner's; none, when the learner moves on.
+ */
+export type StepExitCondition = "givens_ticked" | "answer_slots_filled" | "none";
+
+// The types of task.schema.json.
+
+/**
+ * Task is the type of task.schema.json.
+ *
+ * A task of a module, tasks/<id>.yaml in its folder: its statement, its canvas, its items with
+ * their answer slots, each with the check that says what is right in it, the skills it trains, its
+ * band and difficulty, and, when they are fewer than the module's, the age categories it is for;
+ * and what helps the learner on the way: what the statement gives and asks, the techniques that
+ * help, the traps that AI may suggest, a simpler case for each item, the solution and the phrases
+ * that give the answer away. The ID, the statement, the canvas, the items, the givens and the
+ * unknown are open, since the learner's app shows them, but for the skills and the simpler case of
+ * an item and the check of each answer slot; those, the skills, the band, the difficulty, the age
+ * categories, the techniques, the traps, the solution, the leak phrases and the template are
+ * closed, since the server reads them. A task with a template is a template of tasks: each attempt
+ * gets one instance of it, with numbers in the place of its placeholders.
+ */
+export interface Task {
+  /**
+   * The task's local ID: the name of its file, without .yaml.
+   */
+  readonly id: TaskID;
+  /**
+   * The statement of the task, what the learner reads: paragraphs and pictures in order, in the
+   * module's explanation language. Whether it stands above the canvas or on it is the canvas kind's
+   * to decide.
+   */
+  readonly statement: readonly StatementPart[];
+  /**
+   * The canvas of the task, one for all its items: its kind and the kind's settings.
+   */
+  readonly canvas: Canvas;
+  /**
+   * The items of the task, each named by its place, from 1. On a handwriting sheet an item has
+   * answer slots; on a workbook it is a line of text and boxes.
+   */
+  readonly items: readonly Item[];
+  /**
+   * What the statement gives, each a short text in the module's explanation language: the chips
+   * that the learner ticks at a solving step that gives them, and what a hint asked for gives
+   * before the first answer.
+   */
+  readonly givens?: readonly Text[];
+  /**
+   * What the task asks to find, in the module's explanation language: the chip that the learner
+   * ticks beside the givens.
+   */
+  readonly unknown?: Text;
+  /**
+   * The skills that the task trains and needs, for each item that names none of its own.
+   */
+  readonly skills: Skills;
+  /**
+   * The band of the module's difficulty scale that the task is in, by its ID in the manifest.
+   */
+  readonly band: BandID;
+  /**
+   * How hard the task is within its band, from 1 to 5.
+   */
+  readonly difficulty: number;
+  /**
+   * The age categories that the task suits, when they are fewer than the module's: the platform
+   * gives the task only to learners in one of them. Without it, the task suits the module's
+   * audience.
+   */
+  readonly age_categories?: readonly AgeCategory[];
+  /**
+   * The techniques of the module's technique catalog that help in the task, by local ID. The server
+   * gives them at a solving step that gives them or on request: a technique's title tells how to
+   * solve the task.
+   */
+  readonly techniques?: readonly TechniqueID[];
+  /**
+   * The traps of the module's trap catalog that AI may suggest from the kind of mistake in the
+   * learner's work, by local ID. A trap that a wrong value shows is named in the check instead,
+   * among its trap values.
+   */
+  readonly traps?: readonly TrapID[];
+  /**
+   * How the task is solved, in parts as the statement is: paragraphs and pictures. The learner sees
+   * it once the task is solved, and AI reads it to find the first mistake in the learner's work. A
+   * task with an item with a verdict has one.
+   */
+  readonly solution?: readonly StatementPart[];
+  /**
+   * Phrases that give the answer away beyond the keys themselves, which the leak check searches for
+   * in every text that the learner sees before the task is solved: an answer in words, a key that
+   * its item shows already, the answer to a predicate.
+   */
+  readonly leak_phrases?: readonly Text[];
+  /**
+   * What makes the task a template: its parameters, the numbers derived from them, the constraint
+   * on their combinations and its solver. Each attempt gets one instance of the template, picked by
+   * the seed of the attempt, and the learner's app never gets the template itself.
+   */
+  readonly template?: Template;
+}
+
+/**
+ * Item is the type of task.schema.json#/$defs/item.
+ *
+ * An item of the task: on a handwriting sheet, its answer slots and what it asks; on a workbook, a
+ * line of text and boxes.
+ */
+export interface Item {
+  /**
+   * What the item asks, on a handwriting sheet, beside its answer slots: a) or a question.
+   */
+  readonly text?: Text;
+  /**
+   * The answer slots of an item on a handwriting sheet, each named by its place in the item, from
+   * 1.
+   */
+  readonly answer_slots?: readonly AnswerSlot[];
+  /**
+   * An item of a workbook: pieces of text and boxes in order, as 7 × [ ] = 56, and at least one
+   * box. Its boxes are its answer slots, each named by its place among them, from 1.
+   */
+  readonly line?: readonly LinePart[];
+  /**
+   * The skills that this item trains and needs, in place of the task's.
+   */
+  readonly skills?: Skills;
+  /**
+   * A similar case, simpler than the item, that the learner reads at the third rung of the hint
+   * ladder when the tutor's words do not come.
+   */
+  readonly simpler_case?: Text;
+}
+
+/**
+ * AnswerSlot is the type of task.schema.json#/$defs/answer_slot.
+ *
+ * An answer slot of an item on a handwriting sheet: its binding, the zone or the options that the
+ * binding needs, and its check.
+ */
+export interface AnswerSlot {
+  /**
+   * Where and how the learner gives the answer on a handwriting sheet: anywhere on it, where AI
+   * finds the final answer; the whole sheet, a work as a whole, such as an essay; in a zone of it;
+   * or by choosing one of the options.
+   */
+  readonly binding: AnswerSlotBinding;
+  /**
+   * The check of the answer slot: what is right in it, and how the platform tells. Closed, the kind
+   * too: the learner's app does not get it.
+   */
+  readonly check: Check;
+  /**
+   * The zone of the sheet where the learner writes the answer.
+   */
+  readonly zone?: SheetRectangle;
+  /**
+   * The options the learner chooses from, in the order they are shown.
+   */
+  readonly options?: readonly Text[];
+}
+
+/**
+ * AnswerSlotBinding is the type of task.schema.json#/$defs/answer_slot/properties/binding.
+ *
+ * Where and how the learner gives the answer on a handwriting sheet: anywhere on it, where AI finds
+ * the final answer; the whole sheet, a work as a whole, such as an essay; in a zone of it; or by
+ * choosing one of the options.
+ */
+export type AnswerSlotBinding = "anywhere" | "sheet" | "zone" | "choice";
+
+/**
+ * Check is the type of task.schema.json#/$defs/check.
+ *
+ * The check of an answer slot: its kind and the kind's parameters. Section 15 of the format text
+ * says how each kind reads the value and gives its verdict.
+ */
+export interface Check {
+  /**
+   * The check kind: a number, a fraction, a choice, a predicate on a whole number, or a rubric,
+   * which gives feedback and no verdict.
+   */
+  readonly kind: CheckKind;
+  /**
+   * The right answer, as a string: a number for number, a simple fraction for fraction, one of the
+   * options for choice.
+   */
+  readonly key?: string;
+  /**
+   * Of a number: the words that may follow it in the answer, as rungs in 7 rungs.
+   */
+  readonly units?: readonly Text[];
+  /**
+   * Of a fraction: any fraction of the key's value is right, or only one in lowest terms; any
+   * unless given.
+   *
+   * @defaultValue "any"
+   */
+  readonly form?: CheckForm;
+  /**
+   * Of a choice written by hand: the options the learner writes one of, such as the signs <, > and
+   * =.
+   */
+  readonly options?: readonly Text[];
+  /**
+   * Of a number, a fraction or a choice: the wrong values that the author knows, each with the trap
+   * it shows, compared with the value read as the key is.
+   */
+  readonly trap_values?: readonly TrapValue[];
+  /**
+   * Of a predicate: a Starlark expression on value, the whole number read, that is True for every
+   * right answer.
+   */
+  readonly predicate?: string;
+  /**
+   * Of a rubric: what the work is given feedback by.
+   */
+  readonly criteria?: readonly Criterion[];
+}
+
+/**
+ * CheckKind is the type of task.schema.json#/$defs/check/properties/kind.
+ *
+ * The check kind: a number, a fraction, a choice, a predicate on a whole number, or a rubric, which
+ * gives feedback and no verdict.
+ */
+export type CheckKind = "number" | "fraction" | "choice" | "predicate" | "rubric";
+
+/**
+ * CheckForm is the type of task.schema.json#/$defs/check/properties/form.
+ *
+ * Of a fraction: any fraction of the key's value is right, or only one in lowest terms; any unless
+ * given.
+ */
+export type CheckForm = "any" | "reduced";
+
+/**
+ * TrapValue is the type of task.schema.json#/$defs/trap_value.
+ *
+ * A wrong value that the author knows, with the trap it shows.
+ */
+export interface TrapValue {
+  /**
+   * The wrong value, as the key is written: for a choice, one of its options other than the key.
+   */
+  readonly value: string;
+  /**
+   * The trap that this wrong value shows, by its local ID in the module's trap catalog.
+   */
+  readonly trap: TrapID;
+  /**
+   * What the learner reads after this wrong value: it names the mistake rather than retelling the
+   * solution. Without it, the trap's advice stands in.
+   */
+  readonly text?: Text;
+}
+
+/**
+ * Criterion is the type of task.schema.json#/$defs/criterion.
+ *
+ * A criterion of a rubric: one thing the work is given feedback by.
+ */
+export interface Criterion {
+  /**
+   * The criterion, in the module's explanation language.
+   */
+  readonly text: Text;
+}
+
+/**
+ * WrittenCheck is the type of task.schema.json#/$defs/written_check.
+ *
+ * The check of an answer written by hand, in a box, in a zone or anywhere on the sheet: a choice
+ * among them holds its own options.
+ */
+export type WrittenCheck = Check;
+
+/**
+ * SheetCheck is the type of task.schema.json#/$defs/sheet_check.
+ *
+ * The check of the whole sheet: a rubric.
+ */
+export type SheetCheck = Check;
+
+/**
+ * ChosenCheck is the type of task.schema.json#/$defs/chosen_check.
+ *
+ * The check of a choice by tapping: its options are the answer slot's, and the check holds none.
+ */
+export type ChosenCheck = Check;
+
+/**
+ * LinePart is the type of task.schema.json#/$defs/line_part.
+ *
+ * A piece of a line: a piece of text, or a box with its check.
+ */
+export interface LinePart {
+  /**
+   * A piece of the line's text.
+   */
+  readonly text?: Text;
+  /**
+   * A box of the line, an answer slot where the learner writes the answer.
+   */
+  readonly binding?: LinePartBinding;
+  /**
+   * The check of the box: what is right in it, and how the platform tells, the answer being written
+   * by hand. Closed, the kind too: the learner's app does not get it.
+   */
+  readonly check?: WrittenCheck;
+}
+
+/**
+ * LinePartBinding is the type of task.schema.json#/$defs/line_part/properties/binding.
+ *
+ * A box of the line, an answer slot where the learner writes the answer.
+ */
+export type LinePartBinding = "box";
+
+/**
+ * Skills is the type of task.schema.json#/$defs/skills.
+ *
+ * The primary and supporting skills of a task or an item.
+ */
+export interface Skills {
+  /**
+   * The skills of the module, by local ID, that are trained: a wrong answer is evidence against
+   * them.
+   */
+  readonly primary: readonly SkillID[];
+  /**
+   * The skills that the answer needs and that a wrong answer does not count against: skills of the
+   * module by local ID, or anchor skills of the shared taxonomy by their IDs.
+   */
+  readonly supporting?: readonly string[];
+}
+
+/**
+ * Template is the type of task.schema.json#/$defs/template.
+ *
+ * A template of tasks: parameters with their domains, the numbers derived from them, the constraint
+ * that picks the combinations that are its instances, and the solver that finds what no expression
+ * gives.
+ */
+export interface Template {
+  /**
+   * The parameters of the template, each by its name with its domain. Their combinations are
+   * counted through in the order of their names, the first changing slowest.
+   */
+  readonly parameters: Readonly<Record<TemplateName, Domain>>;
+  /**
+   * The derived numbers of the template, each by its name with the expression that computes it from
+   * the parameters, such as legs: "2 * chickens + 4 * rabbits".
+   */
+  readonly derived?: Readonly<Record<TemplateName, TemplateExpression>>;
+  /**
+   * A bool expression of the parameters and the derived numbers that holds for the combinations
+   * that give an instance. Without it, every combination gives one.
+   */
+  readonly constraint?: TemplateExpression;
+  /**
+   * The solver of the template: a program of Starlark that finds, by search, numbers of each
+   * instance that no expression gives, such as its key. Its results are named as the parameters and
+   * the derived numbers are, and stand in placeholders too.
+   */
+  readonly solver?: Solver;
+}
+
+/**
+ * TemplateName is the type of task.schema.json#/$defs/template_name.
+ *
+ * The name of a parameter or a derived number: lowercase letters, digits and _, beginning with a
+ * letter, at most 14 characters long so that {name} fits a key, and no keyword or reserved word of
+ * Starlark.
+ */
+export type TemplateName = string;
+
+/**
+ * Domain is the type of task.schema.json#/$defs/domain.
+ *
+ * The integers that a parameter takes, from from to to, both included.
+ */
+export interface Domain {
+  /**
+   * The least integer that the parameter takes.
+   */
+  readonly from: number;
+  /**
+   * The greatest integer that the parameter takes. A domain whose to is below its from is empty,
+   * and its template has no instance.
+   */
+  readonly to: number;
+}
+
+/**
+ * TemplateExpression is the type of task.schema.json#/$defs/template_expression.
+ *
+ * An expression of the narrow subset of Starlark of section 23 of the format text: integers and
+ * names, + - * // %, comparisons, and, or and not.
+ */
+export type TemplateExpression = string;
+
+/**
+ * Solver is the type of task.schema.json#/$defs/solver.
+ *
+ * A program of Starlark that finds numbers of each instance of a template by search, as the solvers
+ * of mathtrail-standalone do, and the names of the numbers that it finds.
+ */
+export interface Solver {
+  /**
+   * The program of Starlark, at most 8192 characters long, that defines solve(numbers): given the
+   * numbers that the open fields of an instance show, it returns a dict of the results, each a name
+   * with its int.
+   */
+  readonly program: string;
+  /**
+   * The names of the results that solve returns for every instance, exactly these. A result stands
+   * only in a key or a trap value of a number or a fraction, in the solution and in a leak phrase.
+   */
+  readonly results: readonly TemplateName[];
+}
+
+// The types of lesson.schema.json.
+
+/**
+ * Lesson is the type of lesson.schema.json.
+ *
+ * A lesson of a module: a sequence that its author made — explanations, worked examples and tasks,
+ * in order — and the skills of the module that it teaches. The skill graph orders the lessons.
+ */
+export interface Lesson {
+  /**
+   * The lesson's local ID: the name of its file, without .yaml.
+   */
+  readonly id: LessonID;
+  /**
+   * What the lesson is called, in the module's explanation language. The learner sees it before
+   * every task of the lesson, and the leak check searches it for their keys.
+   */
+  readonly title: Text;
+  /**
+   * The skills of the module, by local ID, that the lesson teaches. Every task of the lesson trains
+   * one of them as a primary skill.
+   */
+  readonly skills: readonly SkillID[];
+  /**
+   * The age categories that the lesson suits, when they are fewer than the module's: the platform
+   * gives the lesson only to a learner whom the lesson and each of its tasks suit.
+   */
+  readonly age_categories?: readonly AgeCategory[];
+  /**
+   * The segments of the lesson, in the author's order: explanations, worked examples and tasks. No
+   * two are the same.
+   */
+  readonly segments: readonly Segment[];
+}
+
+/**
+ * Segment is the type of lesson.schema.json#/$defs/segment.
+ *
+ * A segment of a lesson: an explanation, a worked example or a task, by its one field.
+ */
+export interface Segment {
+  /**
+   * An explanation: paragraphs and pictures that the learner reads, in order, in the module's
+   * explanation language.
+   */
+  readonly explanation?: readonly StatementPart[];
+  /**
+   * A worked example: an example solved before the learner's eyes, on a handwriting sheet.
+   */
+  readonly worked_example?: WorkedExample;
+  /**
+   * A task of the module, by its local ID. The next segment begins when the task ends.
+   */
+  readonly task?: TaskID;
+}
+
+/**
+ * WorkedExample is the type of lesson.schema.json#/$defs/worked_example.
+ *
+ * A worked example of a lesson: no task, with no answer slots and no key.
+ */
+export interface WorkedExample {
+  /**
+   * What the example asks: paragraphs and pictures in order, as a task's statement.
+   */
+  readonly statement: readonly StatementPart[];
+  /**
+   * The sheet that the author's demo is shown on: a handwriting sheet and its grid. The learner
+   * does not write on it.
+   */
+  readonly canvas: Canvas;
+  /**
+   * The author's demo: the parts of how the example is solved, in order, which the learner opens
+   * one at a time and may hide.
+   */
+  readonly demo: readonly DemoPart[];
+}
+
+/**
+ * DemoPart is the type of lesson.schema.json#/$defs/demo_part.
+ *
+ * A part of the author's demo: a paragraph; a picture beside the sheet, with what it shows and its
+ * size; or a picture on the sheet, with what it shows and its area.
+ */
+export interface DemoPart {
+  /**
+   * A paragraph of the demo, as plain text.
+   */
+  readonly text?: Text;
+  /**
+   * A picture of the demo, by its path from media/.
+   */
+  readonly picture?: PicturePath;
+  /**
+   * What the picture shows, in words: a screen reader reads it, and it stands in the picture's
+   * place until the picture comes. Empty for a picture that only decorates.
+   */
+  readonly alt?: string;
+  /**
+   * The width that a picture beside the sheet is shown at, in CSS px.
+   */
+  readonly width?: number;
+  /**
+   * The height that a picture beside the sheet is shown at, in CSS px, in proportion to its width.
+   */
+  readonly height?: number;
+  /**
+   * The area of the sheet that a picture on the sheet is shown in, at its size, on the canvas layer
+   * of the author's demo.
+   */
+  readonly area?: SheetRectangle;
+}
+
+// The types of index-vector.schema.json.
+
+/**
+ * IndexVector is the type of index-vector.schema.json.
+ *
+ * A release of modules that a test vector of the module index gives, index.yaml beside the modules/
+ * it releases (sections 9 and 26 of the format text): the index of the release before it, the
+ * release's tag and its withdrawals, and either the index that the release builds or the rule of
+ * the index by which the build is refused. An implementation builds the package of each module and
+ * the index, and gets exactly these, whatever the order of keys.
+ */
+export interface IndexVector {
+  /**
+   * The index of the release before this one. The first release of modules has none, and leaves
+   * this field out.
+   */
+  readonly previous?: ModuleIndex;
+  /**
+   * The tag of this release, which a new entry names.
+   */
+  readonly release: Release;
+  /**
+   * The versions that the release withdraws from publication, by module ID and version. A release
+   * that withdraws none leaves this field out.
+   */
+  readonly withdrawals?: Readonly<Record<ModuleID, Readonly<Record<ModuleVersion, WithdrawalReason>>>>;
+  /**
+   * The index that the release builds, when it builds one.
+   */
+  readonly index?: ModuleIndex;
+  /**
+   * The rule of the index by which the build is refused, when it is: the case breaks that rule and
+   * no other.
+   */
+  readonly refusal?: IndexVectorRefusal;
+}
+
+/**
+ * IndexVectorRefusal is the type of index-vector.schema.json#/properties/refusal.
+ *
+ * The rule of the index by which the build is refused, when it is: the case breaks that rule and no
+ * other.
+ */
+export type IndexVectorRefusal = "module-index.entries-kept" | "module-index.one-package" | "module-index.known-withdrawals";
+
+// The types of module-index.schema.json.
+
+/**
+ * ModuleIndex is the type of module-index.schema.json.
+ *
+ * The module index, module-index.json, a file of each release of modules (section 26 of the format
+ * text): every published version of every module, each by the digest of its package, with the
+ * release whose files hold it, the anchor skills it teaches and, when it has been withdrawn from
+ * publication, why. A release builds it from the index of the release before it, and the release
+ * workflow of .github signs it. Its members and those of an entry keep their places and meanings in
+ * every version of the format, so that the index carries the entries of every version; a reader of
+ * another version reads them by their places, not by this schema.
+ */
+export interface ModuleIndex {
+  /**
+   * The format version by which the index was built. It stands at the root of the index in every
+   * version of the format, as it does in a manifest and an inventory.
+   */
+  readonly module_format_version: ModuleFormatVersion;
+  /**
+   * Every module that a release of modules has published, under its ID.
+   */
+  readonly modules: Readonly<Record<ModuleID, Readonly<Record<ModuleVersion, Entry>>>>;
+}
+
+/**
+ * Entry is the type of module-index.schema.json#/$defs/entry.
+ *
+ * What the index says of one published version of a module.
+ */
+export interface Entry {
+  /**
+   * The format version that the package's inventory names, by which the package is read. It stands
+   * in every entry in every version of the format, so that a reader finds it before it reads the
+   * package.
+   */
+  readonly module_format_version: ModuleFormatVersion;
+  /**
+   * The digest of the version's package: the digest of the canonical text of its inventory (section
+   * 25).
+   */
+  readonly package_digest: Digest;
+  /**
+   * The tag of the release of modules whose files hold the package: the release that first
+   * published it.
+   */
+  readonly release: Release;
+  /**
+   * The anchor skills that the skills of the version's skill graph teach, each once, in the order
+   * of the code units of their IDs. A version whose skills teach none leaves this field out.
+   */
+  readonly teaches?: readonly AnchorSkillID[];
+  /**
+   * When a release has withdrawn the version from publication, the reason of the withdrawal. It
+   * stays in every later index, with the same reason.
+   */
+  readonly withdrawn?: WithdrawalReason;
+}
+
+/**
+ * Release is the type of module-index.schema.json#/$defs/release.
+ *
+ * The tag of a release of modules, vX.Y.Z, as every NovaTrail repository numbers its releases.
+ */
+export type Release = string;
+
+/**
+ * AnchorSkillID is the type of module-index.schema.json#/$defs/anchor_skill_id.
+ *
+ * The ID of an anchor skill, core.<name>, in the form of the shared taxonomy's IDs. The index takes
+ * the form and not the vocabulary itself, so that an entry stays valid after a later version of the
+ * format removes the anchor skill it names.
+ */
+export type AnchorSkillID = string;
+
+/**
+ * WithdrawalReason is the type of module-index.schema.json#/$defs/withdrawal_reason.
+ *
+ * Why a version was withdrawn: wrong_key, a key or a predicate of it gives wrong verdicts;
+ * answer_leak, a text that the learner sees gives an answer away; unsuitable_content, it holds
+ * content that does not suit the learners it may reach. A reader takes a version as withdrawn
+ * whatever the reason, also one that a later version of the format adds.
+ */
+export type WithdrawalReason = "wrong_key" | "answer_leak" | "unsuitable_content";
+
+// The types of inventory.schema.json.
+
+/**
+ * Digest is the type of inventory.schema.json#/$defs/digest.
+ *
+ * A digest: sha256: and the SHA-256 of the bytes, in 64 lowercase hexadecimal digits.
+ */
+export type Digest = string;
+
+/**
+ * Inventory is the type of inventory.schema.json.
+ *
+ * The inventory of a module's package, inventory.json (section 25 of the format text): the module's
+ * format version, ID and version, and the digest and size of each of the package's two parts — the
+ * server part, which is the canonical view, and the device part, which a listing of its files
+ * names. The digest of the package is the digest of its inventory.
+ */
+export interface Inventory {
+  /**
+   * The format version that the module's manifest names, by which the package is read. It stands at
+   * the root of the inventory in every version of the format, so that a reader finds it before it
+   * knows how to read the rest.
+   */
+  readonly module_format_version: ModuleFormatVersion;
+  /**
+   * The module's ID, as its manifest names it.
+   */
+  readonly id: ModuleID;
+  /**
+   * The module's version, as its manifest names it.
+   */
+  readonly version: ModuleVersion;
+  /**
+   * The server part, server.json: the canonical text of the canonical view.
+   */
+  readonly server_part: Descriptor;
+  /**
+   * The device part, by its listing, device.json: the canonical text of the listing of its files.
+   */
+  readonly device_part: Descriptor;
+}
+
+/**
+ * Descriptor is the type of inventory.schema.json#/$defs/descriptor.
+ *
+ * What names bytes of a package: their digest and their size.
+ */
+export interface Descriptor {
+  /**
+   * The digest of the bytes.
+   */
+  readonly digest: Digest;
+  /**
+   * How many bytes there are.
+   */
+  readonly size: number;
+}
+
+/**
+ * DeviceListing is the type of inventory.schema.json#/$defs/device_listing.
+ *
+ * The listing of a package's device part, device.json: every file of it, each named by its digest
+ * and size.
+ */
+export interface DeviceListing {
+  /**
+   * LICENSE, the text of the module's license.
+   */
+  readonly license: Descriptor;
+  /**
+   * NOTICE, the notices of the licenses, when the module has one.
+   */
+  readonly notice?: Descriptor;
+  /**
+   * The files of media/, when the module has any, each by its path from media/.
+   */
+  readonly media?: Readonly<Record<MediaPath, Descriptor>>;
+}
+
+// The types of leak-vector.schema.json.
+
+/**
+ * LeakVector is the type of leak-vector.schema.json.
+ *
+ * A test vector of the leak check, vectors/leaks/<case>.yaml: a task, and texts that the learner
+ * might see, each with every key and leak phrase of the task that the leak check finds in it
+ * (section 20 of the format text). It describes no part of a module.
+ */
+export interface LeakVector {
+  /**
+   * The task whose keys and leak phrases the leak check searches for. It is no template: a template
+   * is searched through its instances, which the vectors of templates pin.
+   */
+  readonly task: Task;
+  /**
+   * The texts searched, each a case of the vector.
+   */
+  readonly texts: readonly SearchedText[];
+}
+
+/**
+ * SearchedText is the type of leak-vector.schema.json#/$defs/searched_text.
+ *
+ * A text searched, and what the leak check finds in it.
+ */
+export interface SearchedText {
+  /**
+   * A text that the learner might see, as it is written.
+   */
+  readonly text: string;
+  /**
+   * Every key and leak phrase of the task that the leak check finds in the text, as the task writes
+   * them, in any order: empty when it finds none.
+   */
+  readonly leaks: readonly string[];
+}
+
+// The types of package-vector.schema.json.
+
+/**
+ * PackageVector is the type of package-vector.schema.json.
+ *
+ * The package that a test vector of packages gives, package.yaml beside the module/ it is of
+ * (sections 9 and 25 of the format text): the module's server part, the listing of its device part,
+ * its inventory and its digest. An implementation builds the package of module/ and gets exactly
+ * these, whatever the order of keys. The results of a solver are the vector's, in the instances of
+ * the server part.
+ */
+export interface PackageVector {
+  /**
+   * The server part: the canonical view of the module.
+   */
+  readonly server_part: CanonicalView;
+  /**
+   * The listing of the device part.
+   */
+  readonly device_part: DeviceListing;
+  /**
+   * The inventory of the package.
+   */
+  readonly inventory: Inventory;
+  /**
+   * The digest of the package: the digest of the canonical text of its inventory.
+   */
+  readonly digest: Digest;
+}
+
+// The types of random-vector.schema.json.
+
+/**
+ * RandomVector is the type of random-vector.schema.json.
+ *
+ * A test vector of the generator (section 22 of the format text): the start of a stream — two
+ * words, and the seed and names of the place of randomness whose stream it is — and the functions
+ * called on the stream, in order, each with its arguments and the value it gives.
+ */
+export interface RandomVector {
+  /**
+   * The seed of the place of randomness whose stream this is. With it come its names, and the state
+   * is the one they derive.
+   */
+  readonly seed?: Unsigned;
+  /**
+   * The names of the place of randomness, in order: each a string that is not empty and holds no |.
+   */
+  readonly names?: readonly string[];
+  /**
+   * The two words that start the stream, as the generator takes them: those that the seed and the
+   * names derive, when they are given.
+   */
+  readonly state: RandomState;
+  /**
+   * The functions called on the stream, in order, each with its arguments and the value it gives.
+   */
+  readonly draws: readonly Draw[];
+}
+
+/**
+ * Unsigned is the type of random-vector.schema.json#/$defs/unsigned.
+ *
+ * An unsigned integer of 64 bits, from 0 to 18446744073709551615, in decimal digits with no leading
+ * zero: a YAML number holds an integer of 53 bits at most.
+ */
+export type Unsigned = string;
+
+/**
+ * RandomState is the type of random-vector.schema.json#/properties/state.
+ *
+ * The two words that start the stream, as the generator takes them: those that the seed and the
+ * names derive, when they are given.
+ */
+export interface RandomState {
+  /**
+   * The high word of the state that starts the stream.
+   */
+  readonly high: Unsigned;
+  /**
+   * The low word of the state that starts the stream.
+   */
+  readonly low: Unsigned;
+}
+
+/**
+ * Draw is the type of random-vector.schema.json#/$defs/draw.
+ *
+ * A function called on the stream, by its one field, with its arguments and the value it gives.
+ */
+export interface Draw {
+  /**
+   * The next integer of the stream.
+   */
+  readonly integer?: IntegerDraw;
+  /**
+   * An integer below a bound.
+   */
+  readonly below?: BelowDraw;
+  /**
+   * An integer between two, both included.
+   */
+  readonly between?: BetweenDraw;
+  /**
+   * A number from 0 up to 1, never 1.
+   */
+  readonly fraction?: FractionDraw;
+  /**
+   * An order of the integers from 0 up to a count.
+   */
+  readonly permutation?: PermutationDraw;
+}
+
+/**
+ * IntegerDraw is the type of random-vector.schema.json#/$defs/draw/properties/integer.
+ *
+ * The next integer of the stream.
+ */
+export interface IntegerDraw {
+  /**
+   * The integer.
+   */
+  readonly value: Unsigned;
+}
+
+/**
+ * BelowDraw is the type of random-vector.schema.json#/$defs/draw/properties/below.
+ *
+ * An integer below a bound.
+ */
+export interface BelowDraw {
+  /**
+   * The bound, from 1.
+   */
+  readonly bound: Unsigned;
+  /**
+   * The integer, from 0 to the bound less one.
+   */
+  readonly value: Unsigned;
+}
+
+/**
+ * BetweenDraw is the type of random-vector.schema.json#/$defs/draw/properties/between.
+ *
+ * An integer between two, both included.
+ */
+export interface BetweenDraw {
+  /**
+   * The least integer it may give.
+   */
+  readonly from: Signed;
+  /**
+   * The greatest integer it may give.
+   */
+  readonly to: Signed;
+  /**
+   * The integer.
+   */
+  readonly value: Signed;
+}
+
+/**
+ * Signed is the type of random-vector.schema.json#/$defs/signed.
+ *
+ * A signed integer of 64 bits, from -9223372036854775808 to 9223372036854775807, in decimal digits
+ * with no leading zero.
+ */
+export type Signed = string;
+
+/**
+ * FractionDraw is the type of random-vector.schema.json#/$defs/draw/properties/fraction.
+ *
+ * A number from 0 up to 1, never 1.
+ */
+export interface FractionDraw {
+  /**
+   * The number: a multiple of 2^-53, which a double holds exactly and which a reader compares as a
+   * double.
+   */
+  readonly value: number;
+}
+
+/**
+ * PermutationDraw is the type of random-vector.schema.json#/$defs/draw/properties/permutation.
+ *
+ * An order of the integers from 0 up to a count.
+ */
+export interface PermutationDraw {
+  /**
+   * How many integers it orders.
+   */
+  readonly count: number;
+  /**
+   * The integers from 0 to the count less one, in the order it gives.
+   */
+  readonly value: readonly number[];
+}
+
+// The types of template-vector.schema.json.
+
+/**
+ * TemplateVector is the type of template-vector.schema.json.
+ *
+ * A test vector of templates (sections 23 and 24 of the format text): a template, the number of its
+ * instances, the names that its solver gets, when it has one, and attempts, each with its seed, the
+ * numbers of the instance that the seed picks, and that instance. An implementation counts the
+ * instances, picks the instance of each seed, runs the solver on it, replaces the placeholders, and
+ * gets exactly these.
+ */
+export interface TemplateVector {
+  /**
+   * The template: a task with a template, which breaks no rule of a task.
+   */
+  readonly task: Task;
+  /**
+   * The number of the template's instances: the combinations of its parameters for which its
+   * constraint holds.
+   */
+  readonly count: number;
+  /**
+   * The names of the numbers that solve gets on each instance, in any order: the parameters and the
+   * derived numbers whose placeholders stand in the open fields of the template. A vector has them
+   * when its template has a solver, and only then, and they may be none.
+   */
+  readonly inputs?: readonly TemplateName[];
+  /**
+   * Attempts on the template, each by its seed, with the instance that the seed picks.
+   */
+  readonly attempts: readonly Attempt[];
+}
+
+/**
+ * Attempt is the type of template-vector.schema.json#/$defs/attempt.
+ *
+ * An attempt on the template: its seed, and the instance that the seed picks.
+ */
+export interface Attempt {
+  /**
+   * The seed of the attempt, whose place of randomness with the names template, the task's ID and
+   * instance picks the instance.
+   */
+  readonly seed: Unsigned;
+  /**
+   * The numbers of the instance: every parameter, every derived number and every result of the
+   * solver of the template, by its name.
+   */
+  readonly numbers: Numbers;
+  /**
+   * The instance that the seed picks: the template with its numbers, the solver's results among
+   * them, in the place of its placeholders, and without its template.
+   */
+  readonly instance: Task;
+}
+
+// The types of tier-vector.schema.json.
+
+/**
+ * TierVector is the type of tier-vector.schema.json.
+ *
+ * A test vector of tiers (sections 12 and 25 of the format text): a skill graph and the tier of
+ * each of its skills. An implementation computes the tiers from the prerequisites and gets exactly
+ * these.
+ */
+export interface TierVector {
+  /**
+   * The skill graph, whose prerequisites among the module's skills run in no cycle.
+   */
+  readonly skill_graph: SkillGraph;
+  /**
+   * The tier of every skill of the graph, as the canonical view holds it.
+   */
+  readonly skill_tiers: SkillTiers;
+}
+
+// The types of verdict-vector.schema.json.
+
+/**
+ * VerdictVector is the type of verdict-vector.schema.json.
+ *
+ * A test vector of a check kind's verdicts, vectors/verdicts/<kind>/<case>.yaml: an item of a task
+ * whose answer slots are checked by that kind, and readings of it, each the value read in every
+ * answer slot, with the verdict and the trap that each answer slot gets and the verdict that the
+ * item gets (section 15 of the format text). It describes no part of a module.
+ */
+export interface VerdictVector {
+  /**
+   * The item: on a handwriting sheet its answer slots, on a workbook its line, and every answer
+   * slot with its check.
+   */
+  readonly item: Item;
+  /**
+   * The readings of the item, each a case of the vector.
+   */
+  readonly readings: readonly Reading[];
+}
+
+/**
+ * Reading is the type of verdict-vector.schema.json#/$defs/reading.
+ *
+ * A reading of the item: the values read in its answer slots, and the verdicts they give.
+ */
+export interface Reading {
+  /**
+   * The value read in each answer slot of the item, in the order of the answer slots, and the
+   * verdict that each gets.
+   */
+  readonly answer_slots: readonly SlotReading[];
+  /**
+   * The verdict that the item gets, made of its answer slots' verdicts.
+   */
+  readonly verdict: Verdict;
+}
+
+/**
+ * SlotReading is the type of verdict-vector.schema.json#/$defs/slot_reading.
+ *
+ * The value read in an answer slot, and its verdict: with the reason, when it is unreadable, and
+ * with the trap, when it matches one.
+ */
+export interface SlotReading {
+  /**
+   * The value read in the answer slot, as it is written, or null when nothing was read.
+   */
+  readonly value: string | null;
+  /**
+   * The verdict that the answer slot gets.
+   */
+  readonly verdict: Verdict;
+  /**
+   * Why the answer slot is unreadable: nothing was read, or the value is not in the notation of the
+   * check kind.
+   */
+  readonly reason?: SlotReadingReason;
+  /**
+   * The trap that the value matches among the trap values of the answer slot's check: only for a
+   * value that is not yet right.
+   */
+  readonly trap?: TrapID;
+}
+
+/**
+ * Verdict is the type of verdict-vector.schema.json#/$defs/verdict.
+ *
+ * A verdict: correct; not yet; unreadable, which asks the learner to write again; or unchecked,
+ * when the check could not run.
+ */
+export type Verdict = "correct" | "not_yet" | "unreadable" | "unchecked";
+
+/**
+ * SlotReadingReason is the type of
+ * verdict-vector.schema.json#/$defs/slot_reading/properties/reason.
+ *
+ * Why the answer slot is unreadable: nothing was read, or the value is not in the notation of the
+ * check kind.
+ */
+export type SlotReadingReason = "blank" | "notation";