explico 0.14.0 → 0.15.0

package/docs/authoring/cli-reference.json

@@ -0,0 +1,2172 @@
+{
+  "generatedBy": "scripts/agent/gen-cli.mjs from src/compiler/cli-verbs.ts and the types its rows name — do not edit",
+  "verbs": [
+    {
+      "verb": "status",
+      "args": "",
+      "when": "how the course stands",
+      "prints": "counts, diagnostic totals, the knowledge and page versions, the agent surfaces' sizes, whether the course's AGENTS.md points at the engine's guide and the procedures are installed",
+      "flags": [],
+      "writes": "nothing",
+      "json": "StatusReport"
+    },
+    {
+      "verb": "diagnostics",
+      "args": "[info|warning|error] [--all | --code <c> | --lesson <id> | --changed]",
+      "when": "what is wrong, where",
+      "prints": "counts by code (with each code's rule) and by file, at the given severity or higher (info by default); a filter or --all lists the lines instead. --json always prints the lines",
+      "flags": [
+        {
+          "flag": "--all",
+          "description": "list every diagnostic instead of the counts"
+        },
+        {
+          "flag": "--code <c>",
+          "description": "only that diagnostic code"
+        },
+        {
+          "flag": "--lesson <id>",
+          "description": "only that lesson's file"
+        },
+        {
+          "flag": "--changed",
+          "description": "only lessons whose .mdx or .checks.yml differs from git HEAD, tracked or not"
+        }
+      ],
+      "writes": "nothing",
+      "json": "DiagnosticsReport"
+    },
+    {
+      "verb": "warnings",
+      "args": "",
+      "when": "the warnings alone",
+      "prints": "every warning, one line each with its rule, then the count",
+      "flags": [],
+      "writes": "nothing",
+      "json": "WarningsReport"
+    },
+    {
+      "verb": "context",
+      "args": "<lesson>",
+      "when": "what a lesson draws on",
+      "prints": "its outcomes, notation, sources, diagnostics and token counts; --json adds the body, the floats it can reference, its sections and domain signatures",
+      "flags": [],
+      "writes": "nothing",
+      "json": "ContextReport"
+    },
+    {
+      "verb": "equation",
+      "args": "\"<latex>\" [--lesson <id>]",
+      "when": "will this expression build",
+      "prints": "each glyph's card, unresolved glyphs with where they are defined",
+      "flags": [
+        {
+          "flag": "--lesson <id>",
+          "description": "resolve against that lesson's local notation as well as the shared cards"
+        }
+      ],
+      "writes": "nothing",
+      "exit": "when the build would refuse the expression",
+      "json": "EquationReport"
+    },
+    {
+      "verb": "bindings",
+      "args": "<lesson>",
+      "when": "what a lesson's math binds",
+      "prints": "every math span: its bindings, unresolved glyphs, redundant \\explain wraps",
+      "flags": [],
+      "writes": "nothing",
+      "json": "BindingsReport"
+    },
+    {
+      "verb": "symbol",
+      "args": "<latex | key>",
+      "when": "is this symbol defined already",
+      "prints": "the shared card, each local entry with its lesson, each gloss with its card, near misses",
+      "flags": [],
+      "writes": "nothing",
+      "json": "SymbolReport"
+    },
+    {
+      "verb": "check",
+      "args": "<lesson | deck>… [--changed]",
+      "when": "does it render",
+      "prints": "ok or FAIL per lesson: schema, references, MDX → KaTeX; each error and warning with its rule, the info counted by code",
+      "flags": [
+        {
+          "flag": "--changed",
+          "description": "the lessons whose .mdx or .checks.yml differs from git HEAD, tracked or not"
+        }
+      ],
+      "writes": "nothing",
+      "exit": "when a lesson has an error",
+      "json": "CheckReport"
+    },
+    {
+      "verb": "rule",
+      "args": "<ID>",
+      "when": "one rule, whole",
+      "prints": "the entry as this course has it (enforcement, codes, settings in effect) and the rule page's section, example included",
+      "flags": [],
+      "writes": "nothing",
+      "exit": "for an ID the catalog and the course rules do not know",
+      "json": "RuleReport"
+    },
+    {
+      "verb": "migrate",
+      "args": "[--from <version>] [--to <version>]",
+      "when": "what an upgrade needs",
+      "prints": "the migration guide's sections between the version package.json pins at git HEAD and the one installed, oldest first",
+      "flags": [
+        {
+          "flag": "--from <version>",
+          "description": "start here instead of the version pinned at HEAD"
+        },
+        {
+          "flag": "--to <version>",
+          "description": "stop here instead of the installed version"
+        }
+      ],
+      "writes": "nothing",
+      "exit": "when a section between the two versions is missing",
+      "json": "MigrateReport"
+    },
+    {
+      "verb": "rules",
+      "args": "[--element <e>[,<e>]] [--enforcement script|partial|guide|locked] [--edition chapter|deck]",
+      "when": "which rules apply",
+      "prints": "the rules this course has on, by element, with enforcement, codes, settings in effect and a one-line summary",
+      "flags": [
+        {
+          "flag": "--element <e>[,<e>]",
+          "description": "only rules about these elements (prose, table, notation, …)"
+        },
+        {
+          "flag": "--enforcement <kind>",
+          "description": "only script, partial, guide or locked rules"
+        },
+        {
+          "flag": "--edition <edition>",
+          "description": "chapter (the default) or deck: the rules for that edition's pages"
+        }
+      ],
+      "writes": "nothing",
+      "json": "RulesJson"
+    },
+    {
+      "verb": "move",
+      "args": "<lesson>:<key> [--to <key>] [--write]",
+      "when": "a local entry becomes shared",
+      "prints": "the new card and every copy and reference that changes, as a diff",
+      "flags": [
+        {
+          "flag": "--to <key>",
+          "description": "the shared card's key, when it differs from the local one"
+        },
+        {
+          "flag": "--write",
+          "description": "apply the edits; without it the diff is printed and nothing changes"
+        }
+      ],
+      "writes": "only with --write",
+      "json": "EditPlanJson"
+    },
+    {
+      "verb": "rename",
+      "args": "<old> <new> [--write]",
+      "when": "rename a shared card",
+      "prints": "the card file and every reference, as a diff",
+      "flags": [
+        {
+          "flag": "--write",
+          "description": "apply the edits; without it the diff is printed and nothing changes"
+        }
+      ],
+      "writes": "only with --write",
+      "json": "EditPlanJson"
+    },
+    {
+      "verb": "fix",
+      "args": "<lesson>… | --all [--write]",
+      "when": "the mechanical repairs",
+      "prints": "redundant \\explain wraps unwrapped, as a diff",
+      "flags": [
+        {
+          "flag": "--all",
+          "description": "every lesson; the ones with nothing to fix are counted"
+        },
+        {
+          "flag": "--write",
+          "description": "apply the edits; without it the diff is printed and nothing changes"
+        }
+      ],
+      "writes": "only with --write",
+      "json": "EditPlanJson"
+    },
+    {
+      "verb": "new lesson",
+      "args": "<id>",
+      "when": "a chapter to start from",
+      "prints": "the files it created: the .mdx and its .checks.yml",
+      "flags": [],
+      "writes": "new files; never overwrites",
+      "json": "NewJson"
+    },
+    {
+      "verb": "new deck",
+      "args": "<lesson | part>",
+      "when": "slides to start from",
+      "prints": "the deck it drafted from the chapter (or the part's chapters)",
+      "flags": [],
+      "writes": "new files; never overwrites",
+      "json": "NewJson"
+    },
+    {
+      "verb": "new term",
+      "args": "<key>",
+      "when": "a shared notation card to start from",
+      "prints": "the card file it created",
+      "flags": [],
+      "writes": "new files; never overwrites",
+      "json": "NewJson"
+    },
+    {
+      "verb": "init-agent",
+      "args": "[--write]",
+      "when": "install the agent procedures",
+      "prints": "the skills and the rules-reviewer agent it would copy into .claude/, and a baseline AGENTS.md when the course has none; rerun after an upgrade",
+      "flags": [
+        {
+          "flag": "--write",
+          "description": "apply the edits; without it the diff is printed and nothing changes"
+        }
+      ],
+      "writes": "only with --write",
+      "json": "EditPlanJson"
+    },
+    {
+      "verb": "release",
+      "args": "[major|minor|patch] [--write]",
+      "when": "cut a content release (rule C3)",
+      "prints": "## [Unreleased] in content/CHANGELOG.md becoming a dated ## [x.y.z] heading and about.version becoming x.y.z, as a diff; the bump defaults to what the section's headings imply (Breaking or Removed → major, Added → minor, else patch)",
+      "flags": [
+        {
+          "flag": "--write",
+          "description": "apply the edits; without it the diff is printed and nothing changes"
+        }
+      ],
+      "writes": "only with --write",
+      "json": "EditPlanJson"
+    },
+    {
+      "verb": "verify",
+      "args": "[--e2e] [--force]",
+      "when": "is it ready to hand back",
+      "prints": "one line per step — validate:content, check --changed, astro check, the course's tests, astro build, and with --e2e the browser tests — and the tail of each failed step's log; a rerun on an unchanged tree answers from the last pass",
+      "flags": [
+        {
+          "flag": "--e2e",
+          "description": "also run the browser tests (the course's test:e2e script, or playwright test when it has a config)"
+        },
+        {
+          "flag": "--force",
+          "description": "run even when nothing changed since the last pass"
+        }
+      ],
+      "writes": "what validate:content and astro build write; logs and the pass record under node_modules/.cache/explico/verify/",
+      "exit": "when a step fails",
+      "json": "VerifyReport"
+    },
+    {
+      "verb": "help",
+      "args": "[<verb>]",
+      "when": "a verb's flags and its --json shape",
+      "prints": "the usage; with a verb, its flags, what it writes, its exit code and the shape of its --json",
+      "flags": [],
+      "writes": "nothing",
+      "exit": "for an unknown verb",
+      "json": "HelpJson"
+    }
+  ],
+  "error": "ErrorJson",
+  "$defs": {
+    "BindingsReport": {
+      "type": "object",
+      "properties": {
+        "lesson": {
+          "type": "string"
+        },
+        "file": {
+          "type": "string"
+        },
+        "scope": {
+          "type": "array",
+          "items": {
+            "type": "object",
+            "properties": {
+              "key": {
+                "type": "string"
+              },
+              "notation": {
+                "type": "string"
+              },
+              "scope": {
+                "enum": [
+                  "shared",
+                  "local"
+                ]
+              }
+            },
+            "required": [
+              "key",
+              "notation",
+              "scope"
+            ],
+            "additionalProperties": false
+          }
+        },
+        "spans": {
+          "type": "array",
+          "items": {
+            "$ref": "#/$defs/BindingsSpan"
+          }
+        },
+        "counts": {
+          "type": "object",
+          "properties": {
+            "spans": {
+              "type": "number"
+            },
+            "bindings": {
+              "type": "number"
+            },
+            "unresolved": {
+              "type": "number"
+            },
+            "wraps": {
+              "type": "number"
+            },
+            "redundantWraps": {
+              "type": "number"
+            },
+            "errors": {
+              "type": "number"
+            }
+          },
+          "required": [
+            "spans",
+            "bindings",
+            "unresolved",
+            "wraps",
+            "redundantWraps",
+            "errors"
+          ],
+          "additionalProperties": false
+        }
+      },
+      "required": [
+        "lesson",
+        "file",
+        "scope",
+        "spans",
+        "counts"
+      ],
+      "additionalProperties": false
+    },
+    "BindingsSpan": {
+      "type": "object",
+      "properties": {
+        "line": {
+          "type": "number"
+        },
+        "column": {
+          "type": "number"
+        },
+        "display": {
+          "type": "boolean"
+        },
+        "latex": {
+          "type": "string"
+        },
+        "unresolved": {
+          "type": "array",
+          "items": {
+            "$ref": "#/$defs/UnresolvedGlyph"
+          }
+        },
+        "error": {
+          "type": "string",
+          "description": "The resolver rejected the span (a KaTeX parse error or a rule it enforces, N13 say); its message."
+        },
+        "bindings": {
+          "type": "array",
+          "items": {
+            "$ref": "#/$defs/SpanBinding"
+          }
+        },
+        "wraps": {
+          "type": "array",
+          "items": {
+            "$ref": "#/$defs/ExplicitWrap"
+          }
+        }
+      },
+      "required": [
+        "line",
+        "column",
+        "display",
+        "latex",
+        "unresolved",
+        "bindings",
+        "wraps"
+      ],
+      "additionalProperties": false
+    },
+    "CheckLessonResult": {
+      "type": "object",
+      "properties": {
+        "lesson": {
+          "type": "string"
+        },
+        "file": {
+          "type": "string"
+        },
+        "ok": {
+          "type": "boolean"
+        },
+        "rendered": {
+          "type": "boolean"
+        },
+        "diagnostics": {
+          "type": "array",
+          "items": {
+            "$ref": "#/$defs/CliDiagnostic"
+          }
+        }
+      },
+      "required": [
+        "lesson",
+        "file",
+        "ok",
+        "rendered",
+        "diagnostics"
+      ],
+      "additionalProperties": false
+    },
+    "CheckReport": {
+      "type": "object",
+      "properties": {
+        "ok": {
+          "type": "boolean"
+        },
+        "lessons": {
+          "type": "array",
+          "items": {
+            "$ref": "#/$defs/CheckLessonResult"
+          }
+        }
+      },
+      "required": [
+        "ok",
+        "lessons"
+      ],
+      "additionalProperties": false
+    },
+    "CliDiagnostic": {
+      "description": "One normalized diagnostic. `code` is `<source>:<kind>` and always stable.",
+      "type": "object",
+      "properties": {
+        "code": {
+          "type": "string"
+        },
+        "rule": {
+          "type": "string",
+          "description": "The catalog entry that owns the code — a rule ID (`N9`) or an invariant\nslug (`keyed-floats`). Absent only for a code the catalog does not know,\nwhich `tests/rules/catalog.test.ts` treats as a bug."
+        },
+        "doc": {
+          "type": "string",
+          "description": "The owner's page and anchor under `docs/authoring/`, `notation.md#n4`."
+        },
+        "severity": {
+          "$ref": "#/$defs/DiagnosticSeverity"
+        },
+        "message": {
+          "type": "string"
+        },
+        "file": {
+          "type": "string"
+        },
+        "line": {
+          "type": "number"
+        },
+        "column": {
+          "type": "number"
+        },
+        "equation": {
+          "$ref": "#/$defs/EquationLink",
+          "description": "The keyed equation the finding sits in, when the math carries a\n`\\label{eq:…}` — `{ key, href }`, the href being the anchor on the\nrendered page. A size-only finding inside a long `aligned` block is\notherwise anonymous."
+        }
+      },
+      "required": [
+        "code",
+        "severity",
+        "message"
+      ],
+      "additionalProperties": false
+    },
+    "CliReference": {
+      "description": "`docs/authoring/cli-reference.json`, whole: what `content help --json` prints.",
+      "type": "object",
+      "properties": {
+        "generatedBy": {
+          "type": "string",
+          "description": "Where it came from, and that it is generated."
+        },
+        "verbs": {
+          "type": "array",
+          "items": {
+            "$ref": "#/$defs/ContentVerb"
+          }
+        },
+        "error": {
+          "type": "string",
+          "description": "The type every verb's `--json` prints when the run fails: a stable code and a message, never a stack."
+        },
+        "$defs": {
+          "type": "object",
+          "additionalProperties": {
+            "type": "object",
+            "additionalProperties": {}
+          },
+          "description": "A JSON Schema of every type a verb's `--json` prints, and of every named type inside one, by name."
+        }
+      },
+      "required": [
+        "generatedBy",
+        "verbs",
+        "error",
+        "$defs"
+      ],
+      "additionalProperties": false
+    },
+    "ContentVerb": {
+      "description": "One verb's row.",
+      "type": "object",
+      "properties": {
+        "verb": {
+          "type": "string",
+          "description": "The command word(s): `symbol`, `new lesson`."
+        },
+        "args": {
+          "type": "string",
+          "description": "What follows the verb on the usage line, `--json` left out (every verb takes it)."
+        },
+        "when": {
+          "type": "string",
+          "description": "What you want to know or do when you reach for it."
+        },
+        "prints": {
+          "type": "string",
+          "description": "What it prints as text."
+        },
+        "flags": {
+          "type": "array",
+          "items": {
+            "$ref": "#/$defs/ContentVerbFlag"
+          },
+          "description": "The flags, each once; a positional argument is described in `prints` or `when`."
+        },
+        "writes": {
+          "type": "string",
+          "description": "What it changes on disk."
+        },
+        "exit": {
+          "type": "string",
+          "description": "When it exits 1, beyond a usage error."
+        },
+        "json": {
+          "type": "string",
+          "description": "The type its `--json` prints, by its exported name in `explico/compiler/cli`, `cli-main` or `cli-verify`."
+        }
+      },
+      "required": [
+        "verb",
+        "args",
+        "when",
+        "prints",
+        "flags",
+        "writes",
+        "json"
+      ],
+      "additionalProperties": false
+    },
+    "ContentVerbFlag": {
+      "description": "One flag a verb takes.",
+      "type": "object",
+      "properties": {
+        "flag": {
+          "type": "string",
+          "description": "As typed: `--lesson <id>`, `--write`."
+        },
+        "description": {
+          "type": "string"
+        }
+      },
+      "required": [
+        "flag",
+        "description"
+      ],
+      "additionalProperties": false
+    },
+    "ContextReport": {
+      "type": "object",
+      "properties": {
+        "lesson": {
+          "type": "object",
+          "properties": {
+            "id": {
+              "type": "string"
+            },
+            "slug": {
+              "type": "string"
+            },
+            "file": {
+              "type": "string"
+            },
+            "title": {
+              "type": "string"
+            },
+            "description": {
+              "type": "string"
+            },
+            "teaches": {
+              "type": "array",
+              "items": {
+                "type": "string"
+              }
+            },
+            "requires": {
+              "type": "array",
+              "items": {
+                "type": "string"
+              }
+            },
+            "assumptions": {
+              "type": "array",
+              "items": {
+                "type": "string"
+              }
+            },
+            "since": {
+              "anyOf": [
+                {
+                  "type": "null"
+                },
+                {
+                  "type": "string"
+                }
+              ],
+              "description": "The version the page's content last changed in; `null` for a change not yet released (rule C5)."
+            },
+            "notationLocal": {},
+            "body": {
+              "type": "string"
+            }
+          },
+          "required": [
+            "id",
+            "slug",
+            "file",
+            "title",
+            "description",
+            "teaches",
+            "requires",
+            "assumptions",
+            "since",
+            "notationLocal",
+            "body"
+          ],
+          "additionalProperties": false
+        },
+        "taughtOutcomes": {
+          "type": "array",
+          "items": {
+            "type": "object",
+            "properties": {
+              "id": {
+                "type": "string"
+              },
+              "outcome": {
+                "type": "string"
+              }
+            },
+            "required": [
+              "id",
+              "outcome"
+            ],
+            "additionalProperties": false
+          }
+        },
+        "prerequisiteOutcomes": {
+          "type": "array",
+          "items": {
+            "type": "object",
+            "properties": {
+              "id": {
+                "type": "string"
+              },
+              "outcome": {
+                "type": "string"
+              }
+            },
+            "required": [
+              "id",
+              "outcome"
+            ],
+            "additionalProperties": false
+          }
+        },
+        "notation": {
+          "type": "array",
+          "items": {
+            "type": "object",
+            "properties": {
+              "key": {
+                "type": "string"
+              },
+              "latex": {
+                "type": "string"
+              },
+              "meaning": {
+                "type": "string"
+              },
+              "scope": {
+                "type": "string"
+              },
+              "units": {
+                "type": "string"
+              },
+              "formula": {
+                "type": "string"
+              }
+            },
+            "required": [
+              "key",
+              "latex",
+              "meaning",
+              "scope"
+            ],
+            "additionalProperties": false
+          }
+        },
+        "equations": {
+          "type": "array",
+          "items": {
+            "$ref": "#/$defs/ManifestLessonFloat"
+          }
+        },
+        "tables": {
+          "type": "array",
+          "items": {
+            "$ref": "#/$defs/ManifestLessonFloat"
+          }
+        },
+        "figures": {
+          "type": "array",
+          "items": {
+            "$ref": "#/$defs/ManifestLessonFloat"
+          }
+        },
+        "diagrams": {
+          "type": "array",
+          "items": {
+            "$ref": "#/$defs/ManifestLessonFloat"
+          }
+        },
+        "examples": {
+          "type": "array",
+          "items": {
+            "type": "object",
+            "properties": {
+              "key": {
+                "type": "string"
+              },
+              "number": {
+                "type": "string"
+              },
+              "short": {
+                "type": "string"
+              }
+            },
+            "required": [
+              "key",
+              "number"
+            ],
+            "additionalProperties": false
+          },
+          "description": "Worked-example sets: `short` is the title `[[ex-key]]` names."
+        },
+        "knowledgeChecks": {
+          "type": "array",
+          "items": {
+            "type": "object",
+            "properties": {
+              "key": {
+                "type": "string"
+              },
+              "number": {
+                "type": "string"
+              },
+              "title": {
+                "type": "string"
+              }
+            },
+            "required": [
+              "key",
+              "number"
+            ],
+            "additionalProperties": false
+          }
+        },
+        "sections": {
+          "type": "array",
+          "items": {
+            "type": "object",
+            "properties": {
+              "slug": {
+                "type": "string"
+              },
+              "text": {
+                "type": "string"
+              },
+              "level": {
+                "type": "number"
+              },
+              "number": {
+                "type": "string"
+              }
+            },
+            "required": [
+              "slug",
+              "text",
+              "level"
+            ],
+            "additionalProperties": false
+          },
+          "description": "The top-level headings: `slug` is what `[[sec-slug]]` names."
+        },
+        "sources": {
+          "type": "array",
+          "items": {
+            "type": "object",
+            "properties": {
+              "id": {
+                "type": "string"
+              },
+              "title": {
+                "type": "string"
+              },
+              "type": {
+                "type": "string"
+              },
+              "recordLocator": {
+                "type": "string"
+              },
+              "citedLocators": {
+                "type": "array",
+                "items": {
+                  "type": "string"
+                }
+              }
+            },
+            "required": [
+              "id",
+              "title",
+              "type",
+              "citedLocators"
+            ],
+            "additionalProperties": false
+          }
+        },
+        "domainSignatures": {
+          "type": "array",
+          "items": {
+            "$ref": "#/$defs/DomainFileSignatures"
+          }
+        },
+        "diagnostics": {
+          "type": "array",
+          "items": {
+            "$ref": "#/$defs/CliDiagnostic"
+          }
+        },
+        "tokens": {
+          "$ref": "#/$defs/TokenCounts"
+        }
+      },
+      "required": [
+        "lesson",
+        "taughtOutcomes",
+        "prerequisiteOutcomes",
+        "notation",
+        "equations",
+        "tables",
+        "figures",
+        "diagrams",
+        "examples",
+        "knowledgeChecks",
+        "sections",
+        "sources",
+        "domainSignatures",
+        "diagnostics",
+        "tokens"
+      ],
+      "additionalProperties": false
+    },
+    "DiagnosticSeverity": {
+      "enum": [
+        "error",
+        "warning",
+        "info"
+      ]
+    },
+    "DiagnosticsReport": {
+      "type": "object",
+      "properties": {
+        "minimumSeverity": {
+          "$ref": "#/$defs/DiagnosticSeverity"
+        },
+        "count": {
+          "type": "number"
+        },
+        "diagnostics": {
+          "type": "array",
+          "items": {
+            "$ref": "#/$defs/CliDiagnostic"
+          }
+        }
+      },
+      "required": [
+        "minimumSeverity",
+        "count",
+        "diagnostics"
+      ],
+      "additionalProperties": false
+    },
+    "DomainFileSignatures": {
+      "type": "object",
+      "properties": {
+        "file": {
+          "type": "string"
+        },
+        "signatures": {
+          "type": "array",
+          "items": {
+            "type": "string"
+          }
+        }
+      },
+      "required": [
+        "file",
+        "signatures"
+      ],
+      "additionalProperties": false
+    },
+    "EditPlanJson": {
+      "description": "`--json` of `move`, `rename`, `fix` and `init-agent`: the plan, and whether `--write` applied it.",
+      "type": "object",
+      "properties": {
+        "summary": {
+          "type": "array",
+          "items": {
+            "type": "string"
+          }
+        },
+        "edits": {
+          "type": "array",
+          "items": {
+            "$ref": "#/$defs/FileEdit"
+          }
+        },
+        "next": {
+          "type": "array",
+          "items": {
+            "type": "string"
+          },
+          "description": "What to run after writing."
+        },
+        "written": {
+          "type": "boolean",
+          "description": "True when `--write` applied the edits; false for a dry run."
+        }
+      },
+      "required": [
+        "summary",
+        "edits",
+        "next",
+        "written"
+      ],
+      "additionalProperties": false
+    },
+    "Editions": {
+      "enum": [
+        "chapter",
+        "deck",
+        "both"
+      ]
+    },
+    "Element": {
+      "description": "The part of a page a rule is about. The first tag on an entry is primary.",
+      "enum": [
+        "slide",
+        "prose",
+        "math",
+        "equation",
+        "notation",
+        "heading",
+        "part-page",
+        "plot",
+        "diagram",
+        "table",
+        "assessment",
+        "source",
+        "changelog"
+      ]
+    },
+    "EquationLink": {
+      "description": "The equation a finding sits in, when its math carries a `\\label{eq:…}`.\n\nA location tells you where to edit; this tells you *what you are looking\nat*. A size-only N17 finding inside a six-line `aligned` block is otherwise\nanonymous — the message names delimiters, not the result they belong to —\nso the key and the rendered page's anchor both travel with the diagnostic.",
+      "type": "object",
+      "properties": {
+        "key": {
+          "type": "string",
+          "description": "The label's key, without the `eq:` prefix."
+        },
+        "href": {
+          "type": "string",
+          "description": "Where the reader sees it, e.g. `/l1-ar/ar1-basics/#eq-ar1-variance`."
+        }
+      },
+      "required": [
+        "key",
+        "href"
+      ],
+      "additionalProperties": false
+    },
+    "EquationReport": {
+      "description": "One LaTeX string, resolved the way the gate will: against a lesson's\nscope, or against every shared card when no lesson is named (the table a\nnotation entry's body and formula use). The inner loop while drafting:\na few lines out, non-zero exit when the build would refuse the span.",
+      "type": "object",
+      "properties": {
+        "latex": {
+          "type": "string"
+        },
+        "against": {
+          "anyOf": [
+            {
+              "type": "object",
+              "properties": {
+                "kind": {
+                  "const": "lesson"
+                },
+                "lesson": {
+                  "type": "string"
+                },
+                "cards": {
+                  "type": "number"
+                }
+              },
+              "required": [
+                "kind",
+                "lesson",
+                "cards"
+              ],
+              "additionalProperties": false
+            },
+            {
+              "type": "object",
+              "properties": {
+                "kind": {
+                  "const": "shared"
+                },
+                "cards": {
+                  "type": "number"
+                }
+              },
+              "required": [
+                "kind",
+                "cards"
+              ],
+              "additionalProperties": false
+            }
+          ]
+        },
+        "unresolved": {
+          "type": "array",
+          "items": {
+            "$ref": "#/$defs/UnresolvedGlyph"
+          }
+        },
+        "ok": {
+          "type": "boolean"
+        },
+        "error": {
+          "type": "string",
+          "description": "The resolver rejected the span (a KaTeX parse error or a rule it enforces, N13 say); its message."
+        },
+        "bindings": {
+          "type": "array",
+          "items": {
+            "$ref": "#/$defs/SpanBinding"
+          }
+        },
+        "wraps": {
+          "type": "array",
+          "items": {
+            "$ref": "#/$defs/ExplicitWrap"
+          }
+        }
+      },
+      "required": [
+        "latex",
+        "against",
+        "unresolved",
+        "ok",
+        "bindings",
+        "wraps"
+      ],
+      "additionalProperties": false
+    },
+    "ErrorJson": {
+      "description": "`--json` of any verb whose run failed: a stable code and a message, never a stack.",
+      "type": "object",
+      "properties": {
+        "ok": {
+          "const": false
+        },
+        "error": {
+          "type": "object",
+          "properties": {
+            "code": {
+              "enum": [
+                "unknown-command",
+                "usage",
+                "unknown-lesson",
+                "unknown-kind",
+                "invalid-id",
+                "exists",
+                "not-a-lesson",
+                "no-git",
+                "unknown-version",
+                "migration-gap",
+                "unknown-key",
+                "no-changelog",
+                "internal"
+              ],
+              "description": "`internal` for an unexpected throw; every other code is stable."
+            },
+            "message": {
+              "type": "string"
+            }
+          },
+          "required": [
+            "code",
+            "message"
+          ],
+          "additionalProperties": false
+        }
+      },
+      "required": [
+        "ok",
+        "error"
+      ],
+      "additionalProperties": false
+    },
+    "ExplicitWrap": {
+      "type": "object",
+      "properties": {
+        "key": {
+          "type": "string"
+        },
+        "inner": {
+          "type": "string"
+        },
+        "redundant": {
+          "type": "boolean",
+          "description": "The bare `inner` resolves to exactly this card: the wrap costs tokens and binds nothing new."
+        }
+      },
+      "required": [
+        "key",
+        "inner",
+        "redundant"
+      ],
+      "additionalProperties": false
+    },
+    "FileEdit": {
+      "type": "object",
+      "properties": {
+        "file": {
+          "type": "string",
+          "description": "Course-relative path."
+        },
+        "before": {
+          "anyOf": [
+            {
+              "type": "null"
+            },
+            {
+              "type": "string"
+            }
+          ],
+          "description": "`null` when the file is created."
+        },
+        "after": {
+          "anyOf": [
+            {
+              "type": "null"
+            },
+            {
+              "type": "string"
+            }
+          ],
+          "description": "`null` when the file is deleted."
+        }
+      },
+      "required": [
+        "file",
+        "before",
+        "after"
+      ],
+      "additionalProperties": false
+    },
+    "HelpJson": {
+      "description": "`content help --json` prints the whole reference; `content help <verb> --json` that verb's rows.",
+      "anyOf": [
+        {
+          "$ref": "#/$defs/CliReference"
+        },
+        {
+          "$ref": "#/$defs/VerbHelpJson"
+        }
+      ]
+    },
+    "ManifestLessonFloat": {
+      "description": "One keyed float of a lesson (v21): its key and number, and its caption pair\n— `short` (an equation's `\\caption{…}`, or the `short` prop) and, for a\n`<Table>` / `<Figure>` / `<Diagram>`, the long `caption`. Each is present\nonly when the source states it as a literal.",
+      "type": "object",
+      "properties": {
+        "key": {
+          "type": "string"
+        },
+        "number": {
+          "type": "string"
+        },
+        "short": {
+          "type": "string"
+        },
+        "caption": {
+          "type": "string"
+        }
+      },
+      "required": [
+        "key",
+        "number"
+      ],
+      "additionalProperties": false
+    },
+    "MigrateReport": {
+      "type": "object",
+      "properties": {
+        "from": {
+          "type": "string"
+        },
+        "to": {
+          "type": "string"
+        },
+        "file": {
+          "type": "string"
+        },
+        "sections": {
+          "type": "array",
+          "items": {
+            "$ref": "#/$defs/MigrationSection"
+          }
+        },
+        "tokens": {
+          "type": "number"
+        }
+      },
+      "required": [
+        "from",
+        "to",
+        "file",
+        "sections",
+        "tokens"
+      ],
+      "additionalProperties": false
+    },
+    "MigrationSection": {
+      "type": "object",
+      "properties": {
+        "from": {
+          "type": "string"
+        },
+        "to": {
+          "type": "string"
+        },
+        "heading": {
+          "type": "string"
+        },
+        "markdown": {
+          "type": "string"
+        },
+        "tokens": {
+          "type": "number"
+        }
+      },
+      "required": [
+        "from",
+        "to",
+        "heading",
+        "markdown",
+        "tokens"
+      ],
+      "additionalProperties": false
+    },
+    "NewJson": {
+      "description": "`--json` of `new lesson`, `new deck` and `new term`.",
+      "type": "object",
+      "properties": {
+        "ok": {
+          "const": true
+        },
+        "created": {
+          "type": "array",
+          "items": {
+            "type": "string"
+          },
+          "description": "Course-relative paths of the files it created."
+        }
+      },
+      "required": [
+        "ok",
+        "created"
+      ],
+      "additionalProperties": false
+    },
+    "RetiredRule": {
+      "description": "A rule that is no longer in force. It keeps its ID forever — an old commit\nmessage, review comment or waiver naming `N3` must stay unambiguous — but it\nis deliberately *not* a {@link RuleEntry}: nothing iterates it as a rule, it\nhas no page in `docs/authoring/`, it is absent from the settings schema and\nfrom `build/rules-in-effect.md`, and an agent never reads it while drafting.\nThe one place it is written out is the generated table in\n`docs/authoring/retired.md`, which is where a migration guide links.",
+      "type": "object",
+      "properties": {
+        "id": {
+          "anyOf": [
+            {},
+            {},
+            {},
+            {},
+            {},
+            {},
+            {}
+          ]
+        },
+        "title": {
+          "type": "string",
+          "description": "The sentence the rule had, so an old reference to it still resolves."
+        },
+        "date": {
+          "type": "string",
+          "description": "`YYYY-MM-DD`."
+        },
+        "into": {
+          "anyOf": [
+            {},
+            {},
+            {},
+            {},
+            {},
+            {},
+            {}
+          ],
+          "description": "The rule it was folded into, when it was folded into one."
+        },
+        "why": {
+          "type": "string",
+          "description": "Why, and what changed for an author — one or two sentences."
+        }
+      },
+      "required": [
+        "id",
+        "title",
+        "date",
+        "why"
+      ],
+      "additionalProperties": false
+    },
+    "RuleInEffect": {
+      "description": "One rule as `content rules --json` reports it.",
+      "type": "object",
+      "properties": {
+        "id": {
+          "type": "string"
+        },
+        "kind": {
+          "enum": [
+            "rule",
+            "invariant"
+          ]
+        },
+        "source": {
+          "enum": [
+            "engine",
+            "course"
+          ],
+          "description": "`course` for one of this course's own `X` rules; `engine` for the rest."
+        },
+        "title": {
+          "type": "string"
+        },
+        "elements": {
+          "type": "array",
+          "items": {
+            "$ref": "#/$defs/Element"
+          }
+        },
+        "enforcement": {
+          "enum": [
+            "script",
+            "partial",
+            "guide",
+            "locked"
+          ]
+        },
+        "enabled": {
+          "type": "boolean"
+        },
+        "waivable": {
+          "type": "boolean",
+          "description": "May be waived at one place with `{/* explico-allow <ID>: reason *\\/}`."
+        },
+        "codes": {
+          "type": "array",
+          "items": {
+            "type": "string"
+          }
+        },
+        "settings": {
+          "type": "object",
+          "additionalProperties": {}
+        },
+        "summary": {
+          "type": "string"
+        },
+        "doc": {
+          "type": "string"
+        },
+        "editions": {
+          "$ref": "#/$defs/Editions",
+          "description": "The edition it is about: `chapter`, `deck`, or `both`."
+        }
+      },
+      "required": [
+        "id",
+        "kind",
+        "source",
+        "title",
+        "elements",
+        "enforcement",
+        "enabled",
+        "waivable",
+        "codes",
+        "settings",
+        "summary",
+        "doc",
+        "editions"
+      ],
+      "additionalProperties": false
+    },
+    "RuleReport": {
+      "description": "One rule, whole: the catalog entry as this course has it (enforcement,\ncodes, settings in effect, whether it is on) and the rule page's own\nsection, example included. About half a thousand tokens where opening the\npage costs twenty thousand.",
+      "type": "object",
+      "properties": {
+        "id": {
+          "type": "string"
+        },
+        "status": {
+          "enum": [
+            "in-effect",
+            "retired",
+            "unknown"
+          ]
+        },
+        "rule": {
+          "$ref": "#/$defs/RuleInEffect"
+        },
+        "retired": {
+          "$ref": "#/$defs/RetiredRule"
+        },
+        "section": {
+          "type": "object",
+          "properties": {
+            "file": {
+              "type": "string"
+            },
+            "markdown": {
+              "type": "string"
+            },
+            "tokens": {
+              "type": "number"
+            }
+          },
+          "required": [
+            "file",
+            "markdown",
+            "tokens"
+          ],
+          "additionalProperties": false,
+          "description": "The rule page's section for this rule, when the page is at hand."
+        },
+        "known": {
+          "type": "array",
+          "items": {
+            "type": "string"
+          },
+          "description": "For `unknown`: the IDs this course has, so the caller can pick one."
+        }
+      },
+      "required": [
+        "id",
+        "status",
+        "known"
+      ],
+      "additionalProperties": false
+    },
+    "RulesFilter": {
+      "type": "object",
+      "properties": {
+        "elements": {
+          "type": "array",
+          "items": {
+            "$ref": "#/$defs/Element"
+          },
+          "description": "Keep a rule whose elements (any, not just primary) include one of these."
+        },
+        "enforcement": {
+          "enum": [
+            "script",
+            "partial",
+            "guide",
+            "locked"
+          ]
+        },
+        "edition": {
+          "enum": [
+            "chapter",
+            "deck"
+          ],
+          "description": "The edition the page is for: `chapter` (the default) or `deck`."
+        }
+      },
+      "additionalProperties": false
+    },
+    "RulesJson": {
+      "description": "`--json` of `rules`: the report without its Markdown page.",
+      "type": "object",
+      "properties": {
+        "filter": {
+          "$ref": "#/$defs/RulesFilter"
+        },
+        "count": {
+          "type": "number"
+        },
+        "rules": {
+          "type": "array",
+          "items": {
+            "$ref": "#/$defs/RuleInEffect"
+          }
+        }
+      },
+      "required": [
+        "filter",
+        "count",
+        "rules"
+      ],
+      "additionalProperties": false
+    },
+    "SpanBinding": {
+      "type": "object",
+      "properties": {
+        "token": {
+          "type": "string"
+        },
+        "key": {
+          "type": "string"
+        },
+        "how": {
+          "type": "string",
+          "description": "The resolver's match kind; `explicit` for an `\\explain` wrap."
+        }
+      },
+      "required": [
+        "token",
+        "key",
+        "how"
+      ],
+      "additionalProperties": false
+    },
+    "StatusReport": {
+      "type": "object",
+      "properties": {
+        "knowledgeVersion": {
+          "type": "string",
+          "description": "The course's published knowledge version (`about.version`)."
+        },
+        "agentSurfaces": {
+          "type": "array",
+          "items": {
+            "type": "object",
+            "properties": {
+              "name": {
+                "type": "string"
+              },
+              "tokens": {
+                "type": "number"
+              }
+            },
+            "required": [
+              "name",
+              "tokens"
+            ],
+            "additionalProperties": false
+          },
+          "description": "What an agent is told to read before working, in estimated tokens: the\ncourse's `AGENTS.md`, the repository's one level up when the course is a\nworkspace package, and the rules-in-effect page. A budget to watch; the\nestimate is bytes over four."
+        },
+        "agentGuide": {
+          "type": "object",
+          "properties": {
+            "agentsFile": {
+              "anyOf": [
+                {
+                  "type": "null"
+                },
+                {
+                  "type": "string"
+                }
+              ]
+            },
+            "linksGuide": {
+              "type": "boolean"
+            },
+            "skillsInstalled": {
+              "type": "boolean"
+            }
+          },
+          "required": [
+            "agentsFile",
+            "linksGuide",
+            "skillsInstalled"
+          ],
+          "additionalProperties": false,
+          "description": "Whether the course's own `AGENTS.md` points an agent at the engine's\nguide (`docs/authoring/agents.md`), and whether the procedures\n`content init-agent` installs are in `.claude/`."
+        },
+        "pageVersions": {
+          "type": "object",
+          "properties": {
+            "tracked": {
+              "type": "number"
+            },
+            "unreleased": {
+              "type": "array",
+              "items": {
+                "type": "string"
+              }
+            }
+          },
+          "required": [
+            "tracked",
+            "unreleased"
+          ],
+          "additionalProperties": false,
+          "description": "Rule C5: how many chapters and part pages carry a version of their own,\nand the slugs of those with a change `## [Unreleased]` has not released."
+        },
+        "counts": {
+          "type": "object",
+          "properties": {
+            "lessons": {
+              "type": "number"
+            },
+            "competencies": {
+              "type": "number"
+            },
+            "assessments": {
+              "type": "number"
+            },
+            "sources": {
+              "type": "number"
+            },
+            "tracks": {
+              "type": "number"
+            },
+            "notationDefinitions": {
+              "type": "number"
+            },
+            "keyedEquations": {
+              "type": "number"
+            },
+            "keyedTables": {
+              "type": "number"
+            },
+            "keyedFigures": {
+              "type": "number"
+            },
+            "keyedDiagrams": {
+              "type": "number"
+            },
+            "keyedExamples": {
+              "type": "number"
+            }
+          },
+          "required": [
+            "lessons",
+            "competencies",
+            "assessments",
+            "sources",
+            "tracks",
+            "notationDefinitions",
+            "keyedEquations",
+            "keyedTables",
+            "keyedFigures",
+            "keyedDiagrams",
+            "keyedExamples"
+          ],
+          "additionalProperties": false
+        },
+        "orphans": {
+          "type": "array",
+          "items": {
+            "$ref": "#/$defs/CliDiagnostic"
+          }
+        },
+        "diagnostics": {
+          "type": "object",
+          "properties": {
+            "errors": {
+              "type": "number"
+            },
+            "warnings": {
+              "type": "number"
+            },
+            "infos": {
+              "type": "number"
+            }
+          },
+          "required": [
+            "errors",
+            "warnings",
+            "infos"
+          ],
+          "additionalProperties": false
+        }
+      },
+      "required": [
+        "knowledgeVersion",
+        "agentSurfaces",
+        "agentGuide",
+        "pageVersions",
+        "counts",
+        "orphans",
+        "diagnostics"
+      ],
+      "additionalProperties": false
+    },
+    "SymbolHit": {
+      "type": "object",
+      "properties": {
+        "tier": {
+          "$ref": "#/$defs/SymbolTier"
+        },
+        "key": {
+          "type": "string"
+        },
+        "latex": {
+          "type": "string"
+        },
+        "label": {
+          "type": "string"
+        },
+        "meaning": {
+          "type": "string"
+        },
+        "units": {
+          "type": "string"
+        },
+        "matchedBy": {
+          "enum": [
+            "latex",
+            "alias",
+            "key"
+          ],
+          "description": "How the query matched: the latex as written, an alias, or the key."
+        },
+        "where": {
+          "type": "string",
+          "description": "shared: the entry file; local: the lesson id; gloss: the owning card."
+        },
+        "boundIn": {
+          "type": "array",
+          "items": {
+            "type": "string"
+          },
+          "description": "shared only: the pages (lessons and overview pages) whose bundle binds the card."
+        }
+      },
+      "required": [
+        "tier",
+        "key",
+        "latex",
+        "label",
+        "matchedBy",
+        "where"
+      ],
+      "additionalProperties": false
+    },
+    "SymbolReport": {
+      "type": "object",
+      "properties": {
+        "query": {
+          "type": "string"
+        },
+        "shared": {
+          "type": "array",
+          "items": {
+            "$ref": "#/$defs/SymbolHit"
+          }
+        },
+        "local": {
+          "type": "array",
+          "items": {
+            "$ref": "#/$defs/SymbolHit"
+          }
+        },
+        "glosses": {
+          "type": "array",
+          "items": {
+            "$ref": "#/$defs/SymbolHit"
+          }
+        },
+        "contains": {
+          "type": "array",
+          "items": {
+            "$ref": "#/$defs/SymbolHit"
+          },
+          "description": "Entries whose latex contains the query as a glyph, not matched above."
+        },
+        "containsTotal": {
+          "type": "number",
+          "description": "How many `contains` candidates there were before the list was capped."
+        }
+      },
+      "required": [
+        "query",
+        "shared",
+        "local",
+        "glosses",
+        "contains",
+        "containsTotal"
+      ],
+      "additionalProperties": false
+    },
+    "SymbolTier": {
+      "description": "Where a hit is defined: a shared card, a lesson's `notation.local`, or a card's gloss.",
+      "enum": [
+        "shared",
+        "local",
+        "gloss"
+      ]
+    },
+    "TokenCounts": {
+      "type": "object",
+      "properties": {
+        "context": {
+          "type": "number",
+          "description": "Tokens in the serialized `content context` payload."
+        },
+        "docSet": {
+          "type": "number",
+          "description": "`README.md` + `AGENTS.md` + `docs/architecture.md`."
+        },
+        "corpus": {
+          "type": "number",
+          "description": "Every file under `content/`."
+        },
+        "ratio": {
+          "type": "number",
+          "description": "`context / (docSet + corpus)`, rounded to 4 dp."
+        }
+      },
+      "required": [
+        "context",
+        "docSet",
+        "corpus",
+        "ratio"
+      ],
+      "additionalProperties": false
+    },
+    "UnresolvedGlyph": {
+      "type": "object",
+      "properties": {
+        "token": {
+          "type": "string"
+        },
+        "suspended": {
+          "type": "string"
+        },
+        "lenders": {
+          "type": "array",
+          "items": {
+            "type": "string"
+          },
+          "description": "Rule N23: indexed entries whose base this bare letter is; none lends it a card."
+        },
+        "defined": {
+          "type": "array",
+          "items": {
+            "type": "object",
+            "properties": {
+              "tier": {
+                "$ref": "#/$defs/SymbolTier"
+              },
+              "key": {
+                "type": "string"
+              },
+              "where": {
+                "type": "string"
+              }
+            },
+            "required": [
+              "tier",
+              "key",
+              "where"
+            ],
+            "additionalProperties": false
+          },
+          "description": "Where `content symbol` finds the token defined: exact hits, then near misses."
+        },
+        "near": {
+          "type": "array",
+          "items": {
+            "type": "object",
+            "properties": {
+              "latex": {
+                "type": "string"
+              },
+              "key": {
+                "type": "string"
+              }
+            },
+            "required": [
+              "latex",
+              "key"
+            ],
+            "additionalProperties": false
+          }
+        }
+      },
+      "required": [
+        "token",
+        "defined",
+        "near"
+      ],
+      "additionalProperties": false
+    },
+    "VerbHelp": {
+      "description": "One verb's row, its usage line, and a self-contained JSON Schema of its `--json`.",
+      "type": "object",
+      "properties": {
+        "usage": {
+          "type": "string"
+        },
+        "schema": {
+          "type": "object",
+          "additionalProperties": {}
+        },
+        "verb": {
+          "type": "string",
+          "description": "The command word(s): `symbol`, `new lesson`."
+        },
+        "args": {
+          "type": "string",
+          "description": "What follows the verb on the usage line, `--json` left out (every verb takes it)."
+        },
+        "when": {
+          "type": "string",
+          "description": "What you want to know or do when you reach for it."
+        },
+        "prints": {
+          "type": "string",
+          "description": "What it prints as text."
+        },
+        "flags": {
+          "type": "array",
+          "items": {
+            "$ref": "#/$defs/ContentVerbFlag"
+          },
+          "description": "The flags, each once; a positional argument is described in `prints` or `when`."
+        },
+        "writes": {
+          "type": "string",
+          "description": "What it changes on disk."
+        },
+        "exit": {
+          "type": "string",
+          "description": "When it exits 1, beyond a usage error."
+        },
+        "json": {
+          "type": "string",
+          "description": "The type its `--json` prints, by its exported name in `explico/compiler/cli`, `cli-main` or `cli-verify`."
+        }
+      },
+      "required": [
+        "usage",
+        "schema",
+        "verb",
+        "args",
+        "when",
+        "prints",
+        "flags",
+        "writes",
+        "json"
+      ],
+      "additionalProperties": false
+    },
+    "VerbHelpJson": {
+      "description": "What `content help <verb> --json` prints: every verb the word names (`new` names three).",
+      "type": "object",
+      "properties": {
+        "verbs": {
+          "type": "array",
+          "items": {
+            "$ref": "#/$defs/VerbHelp"
+          }
+        }
+      },
+      "required": [
+        "verbs"
+      ],
+      "additionalProperties": false
+    },
+    "VerifyReport": {
+      "type": "object",
+      "properties": {
+        "ok": {
+          "type": "boolean"
+        },
+        "cached": {
+          "type": "boolean",
+          "description": "True when the tree is unchanged since a pass that covered as much: nothing ran, `steps` are that pass's."
+        },
+        "since": {
+          "type": "string",
+          "description": "When the recorded pass ran, for a cached answer (ISO 8601)."
+        },
+        "tree": {
+          "anyOf": [
+            {
+              "type": "null"
+            },
+            {
+              "type": "string"
+            }
+          ],
+          "description": "The hash of the tree the run left, or `null` outside a git repository (then nothing is recorded)."
+        },
+        "e2e": {
+          "type": "boolean",
+          "description": "Whether the browser tests were part of the run."
+        },
+        "steps": {
+          "type": "array",
+          "items": {
+            "$ref": "#/$defs/VerifyStep"
+          }
+        }
+      },
+      "required": [
+        "ok",
+        "cached",
+        "tree",
+        "e2e",
+        "steps"
+      ],
+      "additionalProperties": false
+    },
+    "VerifyStep": {
+      "type": "object",
+      "properties": {
+        "name": {
+          "$ref": "#/$defs/VerifyStepName"
+        },
+        "status": {
+          "enum": [
+            "pass",
+            "fail",
+            "skipped"
+          ]
+        },
+        "command": {
+          "type": "string",
+          "description": "The command it ran, as it would be typed; absent for a skipped step."
+        },
+        "reason": {
+          "type": "string",
+          "description": "Why it was skipped, or why it could not start."
+        },
+        "seconds": {
+          "type": "number"
+        },
+        "log": {
+          "type": "string",
+          "description": "Course-relative path of its whole output."
+        },
+        "tail": {
+          "type": "array",
+          "items": {
+            "type": "string"
+          },
+          "description": "The last lines of the output of a failed step."
+        }
+      },
+      "required": [
+        "name",
+        "status"
+      ],
+      "additionalProperties": false
+    },
+    "VerifyStepName": {
+      "enum": [
+        "validate:content",
+        "check --changed",
+        "astro check",
+        "tests",
+        "astro build",
+        "e2e"
+      ]
+    },
+    "WarningsReport": {
+      "type": "object",
+      "properties": {
+        "count": {
+          "type": "number"
+        },
+        "warnings": {
+          "type": "array",
+          "items": {
+            "$ref": "#/$defs/CliDiagnostic"
+          }
+        }
+      },
+      "required": [
+        "count",
+        "warnings"
+      ],
+      "additionalProperties": false
+    }
+  }
+}