Skip to content

The website's homepage and feature pages name no feature, module, command, provider or count of their own, and a stale product dataset is refused by the pre-commit hook and by the rust gate before it can be merged

The website's homepage, its /features/ pages and its capability matrix name no feature, no

declared statusdeclared status: guaranteed Declared deterministic and blocking, implemented, and naming the behavioural test that is to prove it. Whether a recorded run supports it is the evidence verdict, shown beside it.

recorded evidencerecorded evidence: not run Declared guaranteed, and not supported by a recorded run: the test is named, and no passing run of the current inputs is recorded. how evidence is recorded

scripts/site-check refuses a template, a generator, a jq program or a navigation file that names a feature route or a provider's own file, proves every public feature has its page and every page a feature, and compares the marks the matrix shows with the marks the model derived. `majordomus generate --check` refuses a tree whose dataset does not match the repository.

What it means

The website's homepage, its /features/ pages and its capability matrix name no feature, no capability module, no public command, no provider and no count. Every one of those comes from site/data/registry/product.json, which the executable writes from the features of the layer, the capability registry, the command registry, the Why catalogue and the web topology. The only hand-written words on the surface are positioning sentences and button labels in site/data/marketing.toml, held to a line budget and carrying no number and no capability claim.

A stale dataset cannot be deployed: majordomus generate --check fails a tree whose product.json does not match the repository, so the homepage cannot describe an executable this repository does not have.

How it works

The templates read the dataset and render it. scripts/site-check decides the rest: it refuses a template, a generator, a jq program or a navigation file that names a feature route or a provider's own bootstrap or client-configuration file; it proves every public feature has its page and every page under /features/ was produced by a feature; it compares the marks the matrix page shows with the marks the model derived, both directions; and it checks that the telemetry the homepage prints is the dataset's.

Routes that moved are declared once, in nav.toml under [[redirects]], and become Zola aliases on the page they point at; a redirect whose target the generator did not produce fails the build rather than publishing a link into nothing.

How to see it

scripts/derive && scripts/derive-check       # the dataset matches the repository
scripts/site-build && scripts/site-check     # the page matches the dataset
bash test/run.sh 12_site_build

What it does not cover

Which features are chapters of the homepage and in what order is editorial, and is declared in the feature files themselves (featured, weight) rather than in the page. The positioning sentences are written by a person; what is checked is that they carry no number and no capability claim, not that they are true.

Why it exists

The homepage was the last hand-maintained inventory in a repository where every other surface is a projection. The gap between what the product did and what its public face said grew in exactly the direction nobody measured, because nothing could fail when the two disagreed.

Detail rendered from docs/claims/landing-page-is-a-projection.md.

From the statement to the proof

  1. 1 · the public statement

    The website's homepage and feature pages name no feature, module, command, provider or count of their own, and a stale product dataset is refused by the pre-commit hook and by the rust gate before it can be merged

    No feature or README responsibility names it; this page is where it is stated.

  2. 2 · the canonical claim

    landing-page-is-a-projectiondeclared status: guaranteed in docs/CLAIMS.yaml

    Defined in read it on this site · docs/GITHUB_PAGES_ARCHITECTURE.md

  3. 3 · the implementation

    site/templates/index.html

  4. 4 · the test and the scenarios

    Test: test/cases/400_derivation_is_one_graph.sh

  5. 5 · the recorded runs

    recorded evidence: not run how evidence is recorded

Verify it yourself

The test runs in a disposable temporary repository and asserts the behaviour, not a string in the source.

from a clone of the repository
bash test/run.sh 400_derivation_is_one_graph

Searches the titles and descriptions of every page this site publishes.