docs(language): only a dimension some declaration reaches needs a source

[FBumann]

Prompt: "#242: 'a dimension a declaration reaches and nothing supplies'." — from an lpspec review of the merged rule, measured against that corpus.

Note

The following content was generated by AI.

#242 landed the binding rules with one of them stated too strongly:

A dimension nothing supplies is an error naming it, not an empty axis

No qualifier. A declared dimension that no declaration reaches builds and solves in lpspec today — the reviewer probed one — and a dimension a declaration does span is refused there correctly. So the rule as written was stricter than either implementation of it, which is the worst way for a page like this to be wrong: it is the normative text, and a consumer written to it would refuse working models.

Now:

A dimension a declaration reaches and nothing supplies is an error naming it,
not an empty axis — an axis with no members would delete every row indexed by
it, silently. A declared dimension no declaration reaches asks nothing of the
data, and needs no source.

The second sentence is added rather than implied. The rule's whole point is that a consumer implements it instead of choosing, so the case it does not cover should not be left to be inferred from the absence of a clause.

Verified

pixi run lint and pixi run docs-build (mkdocs build --strict) pass in a clean worktree at base bbecc71.

Not run: test and compile-tex — the diff is one paragraph of prose in docs/, and no generated page reads it. tests/test_docs.py covers the generated pages, and this is not one.

Scope: the wording only. The other findings from the same review land on #245, which is where the coverage: guard they concern lives.

---

Generated by Claude Code

[read-the-docs-community]

Documentation build overview

📚 math-spec | 🛠️ Build #34349253 | 📁 Comparing 392c7f3 against latest (bbecc71)

  🔍 Preview build  

1 file changed

± reference/language/dimensions/index.html