From 191186ec941aa28a25f4afad8f76eeec46fa24a7 Mon Sep 17 00:00:00 2001 From: Lilleman auf Larv Date: Fri, 25 Sep 2026 17:24:44 +0200 Subject: [PATCH] Record why each entry point to drawCheck.reads keeps its own doc --- AGENTS.md | 1 + docs/decisions.md | 6 ++++++ 2 files changed, 7 insertions(+) diff --git a/AGENTS.md b/AGENTS.md index c6a6372..a2a2f82 100644 --- a/AGENTS.md +++ b/AGENTS.md @@ -110,3 +110,4 @@ In [docs/decisions.md](docs/decisions.md): - The Swedish ids draw Skatteverket's test series - The US given names come from a mirror of the SSA file - `List` advertises direct descents only +- Each entry point to `drawCheck.reads` says what its caller gets diff --git a/docs/decisions.md b/docs/decisions.md index 49baf2e..be26579 100644 --- a/docs/decisions.md +++ b/docs/decisions.md @@ -646,3 +646,9 @@ import drops them by name rather than by a rank a regeneration would move. `region.municipality.locality` is listed, and `region.locality` resolves too but is not: the set of every descent through a chain of five tables is every subsequence of it, and the direct chain is the one a reader can predict from the tables' parents. + +## Each entry point to `drawCheck.reads` says what its caller gets + +2026-09-25, larv-review; approved 2026-09-25 by lilleman. Goal 2: a reader lands on +`readsPath` or `splitsDraws` from its caller, so each doc states where that walk stops, +though `reads` states the same stop rule. Valid while the two differ in where they stop.