From 392c7f377b30c861cc0057e748d74c4369886ae4 Mon Sep 17 00:00:00 2001 From: FBumann <117816358+FBumann@users.noreply.github.com> Date: Wed, 2 Sep 2026 11:02:24 +0200 Subject: [PATCH] docs(language): only a dimension some declaration reaches needs a source The rule as merged in #242 said a dimension nothing supplies is an error, with no qualifier. A declared dimension no declaration reaches builds and solves in lpspec today, so the rule was stricter than any implementation of it. Co-Authored-By: Claude Opus 5 (1M context) Claude-Session: https://claude.ai/code/session_013a3tFCULeY7Skmkhbxpj7V --- docs/reference/language/dimensions.md | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/docs/reference/language/dimensions.md b/docs/reference/language/dimensions.md index 106bd687..ecf89dc2 100644 --- a/docs/reference/language/dimensions.md +++ b/docs/reference/language/dimensions.md @@ -46,8 +46,10 @@ consumer implements them rather than choosing them. **The dimension's own source supplies its members.** They are read from the key named after the dimension, and from nothing else: a parameter's table is read for values, never for labels, and a lookup's map is not a claim about which -members exist. A dimension nothing supplies is an error naming it, not an empty -axis — an axis with no members would delete every row indexed by it, silently. +members exist. 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. **Their order is the order that source gives them**, first row first. It is not sorted, and nothing about a label's type changes that: an axis of strings, of