From 9ea8f844211439776ef612321148320e51050ead Mon Sep 17 00:00:00 2001 From: Lilleman auf Larv Date: Mon, 28 Sep 2026 10:21:01 +0200 Subject: [PATCH] Approve and reword the link-time checks decision --- AGENTS.md | 2 +- docs/decisions.md | 12 +++++++----- 2 files changed, 8 insertions(+), 6 deletions(-) diff --git a/AGENTS.md b/AGENTS.md index 1dcbb74..cea2259 100644 --- a/AGENTS.md +++ b/AGENTS.md @@ -40,7 +40,7 @@ In [docs/decisions.md](docs/decisions.md): - A change to what exists is a major; a minor only adds - Seeded output is promised within one version - An error is a contract by what it names, not its bytes -- Every format is fenced at link, and its errors name its path +- Formats are checked after all data is loaded, so their errors name the category - Raising the lowest supported Go is a major - The format check runs on the latest Go only - The changelog heading is the one spelling of a release; CI cuts the tag diff --git a/docs/decisions.md b/docs/decisions.md index c1d176e..5cc3b00 100644 --- a/docs/decisions.md +++ b/docs/decisions.md @@ -121,12 +121,14 @@ this repo's own are. A script branches on the exit code and reads the named path or spelling, so those hold; wording improves in a minor. -## Every format is fenced at link, and its errors name its path +## Formats are checked after all data is loaded, so their errors name the category -2026-09-28, larv-review; approval pending. Goal 2. Every format compiles once, at -link: one holding a reference compiles only once bound, and compiling all there -leaves no check reading ops a format lacks yet. A link error names the category -path, a table cell's with its line. Valid while compilation needs the bound references. +2026-09-28, larv-review; approved 2026-09-28 by lilleman. Goal 2. Loading reads every +file first, then connects references across them. A format holding a reference can only +be checked once it is connected, so every format is checked then, and all checks run at +one moment. An error from those checks names the category path you would type (`sub.x`), +or a table cell's category and line, not the file. Valid while checking a format needs +its references connected. ## Raising the lowest supported Go is a major