Rendered from docs/subsystems/README.md in the Headwater
corpus. Every document on this half of the site is typed by the taxonomy
the descriptor names: corpus.json.
Engine subsystems
The documents on this shelf, in the reading order this corpus derives.
- Authoring — How two crates write a new document, a fix, a migration step and an imported edge through one all-or-none put and one reciprocal splice. (asserted, and no human has accepted it)
- Checks and cache — How two crates instantiate each rule through one scope trait, key a content-addressed cache, publish the read set, and render one run in four formats. (asserted, and no human has accepted it)
- Command surface — A verb list that the help and the verb index read, a parser that dispatches, help folded at a fixed width, and one palette. (asserted, and no human has accepted it)
- Graph build — How the graph crate indexes identifiers and paths, turns relation blocks into edges, binds links and anchors, and reports each miss without a severity. (asserted, and no human has accepted it)
- Measurement — How probe, conformance and sweep plan and grade a probe run, evaluate a consumer rule set, and verify a sweep return file with no model. (asserted, and no human has accepted it)
- Parse and census — How three crates parse each document, walk the corpus root, resolve each kind with its derivation, give each file one census outcome, and run git. (asserted, and no human has accepted it)
- Projections and export — How two crates plan each derived file, write or compare it under the generated-file marker, and audit an export with a loss census. (asserted, and no human has accepted it)
- Queries and explain — How two crates turn the census and graph of a run into route pointers, explanations and MCP answers, and pin an offline embedding model. (asserted, and no human has accepted it)
- Taxonomy distribution and audit — How three crates outside the checking loop fetch a published taxonomy, compare two taxonomies over one corpus, and measure a taxonomy against a corpus. (asserted, and no human has accepted it)
- Taxonomy resolution — How six crates load taxonomy sources, prove that overlays commute, merge them, resolve references last, and write the content-hashed lock. (asserted, and no human has accepted it)