From 665c532f8cb489025e23dc6c2e2feffe36c28e98 Mon Sep 17 00:00:00 2001 From: Lilleman auf Larv Date: Sun, 4 Oct 2026 12:17:56 +0200 Subject: [PATCH] Answer prose and product-owner round 2: one idea per sentence in items 77 and 81, item 77's open API points, and NaN explained where the decision names it --- README.md | 5 ++--- docs/decisions.md | 4 ++-- todo.md | 4 ++-- 3 files changed, 6 insertions(+), 7 deletions(-) diff --git a/README.md b/README.md index ddb48bf..e769614 100644 --- a/README.md +++ b/README.md @@ -843,9 +843,8 @@ a minor only adds, and a major is the only release that changes what exists. A patch changes no row of this table: performance, docs, or a fix inside a promised behaviour that changes no value, path, format or spelling. -Seeded output is a promise within one version: same seed, same version, same -data, same output. Any release may shift a stream, since a value added to a list -moves every draw after it, so pin fixtures per version. An error's wording may +Any release may shift a seeded stream, since a value added to a list moves every +draw after it, so pin fixtures per version. An error's wording may improve in a minor; the path, rejected spelling and replacement it names may not. Before `v1.0.0` a minor is the breaking unit: `0.(x+1).0` may carry a major's diff --git a/docs/decisions.md b/docs/decisions.md index 2d8e701..6a80527 100644 --- a/docs/decisions.md +++ b/docs/decisions.md @@ -255,8 +255,8 @@ assumes a 64-bit int; on a 32-bit target it could overflow and panic. load error; the fold stops where an operand varies, so `a/(b*c)` with `b` fixed at `0` and `c` varying loads and prints `Inf` every draw — catching it needs zero-absorbing algebra for a shape nobody writes. A [typed column](../README.md#datatype) bounds its operands -instead and refuses a divisor it cannot keep from zero. `Inf` and `NaN` in a string column -work against goals 6.1 and 4 until `todo.md` item 81 refuses them there too. +instead and refuses a divisor it cannot keep from zero. An operand that is sometimes not a +number prints `NaN` the same way. `Inf` and `NaN` in a string column work against goals 6.1 and 4 until `todo.md` item 81 refuses them there too. ## In data, a default written out and a constant spelled as a sample are load errors diff --git a/todo.md b/todo.md index 3a5d952..e336bb2 100644 --- a/todo.md +++ b/todo.md @@ -135,7 +135,7 @@ ### 77. Split the shipped data into Go modules per locale and country, which a library imports by choice, and embed every one in the CLI. -The CLI binary carries every module and may grow to hundreds of MB; a library imports only what it uses, as it imports any dependency, and nothing is fetched at run time. Goal 2 says what ships where. The maintainer decided on 2026-10-04: one module per locale, one per country's `geo/` tree and one for `misc`; and a module registers nothing when imported: the library passes it to `New`, as in `New(WithData(svse.Data))`, per the technical principles' dependency injection and no package globals. The entry for `docs/decisions.md` is written when this ships. Before the module API ships, a panel of the README's audience personas tries pulling in data with it. +The CLI binary carries every module and may grow to hundreds of MB; a library imports only what it uses, as it imports any dependency, and nothing is fetched at run time. Goal 2 says what ships where. The maintainer decided on 2026-10-04: one module per locale, one per country's `geo/` tree, and one for `misc`. A module registers nothing when imported; the library passes it to `New`, as in `New(WithData(svse.Data))`, per the technical principles "Compose, do not entangle" and "Explicit over implicit". The entry for `docs/decisions.md` is written when this ships. Still to decide: what a bare `New()` loads, whether a module's data is an `fs.FS` passed to `WithDataFS` so no second option exists, and whether `WithoutShippedData` goes. Before the module API ships, a panel of the README's audience personas tries pulling in data with it. ### 78. Ship 10% of every place's streets, at least 10, and 10% of all US places drawn by population, each place weighted by population. @@ -264,7 +264,7 @@ GoReleaser attaches the binaries to the release the tag workflow publishes, and ### 81. Refuse at load every `calc` operand not proven numeric and every divisor not proven nonzero, in a string column too. -The decision "A constant zero divisor is a load error; in a string column a divisor that is not constant prints `Inf`" lets `{calc(a/(b*c))}` with `b` fixed at `"0"` write `Inf` into every row, and an operand that is sometimes not a number prints `NaN`, against goals 6.1 and 4; `valueproof.go` already proves a typed column's divisor nonzero. +The decision "A constant zero divisor is a load error; in a string column a divisor that is not constant prints `Inf`" lets `{calc(a/(b*c))}` with `b` fixed at `"0"` write `Inf` into every row. An operand that is sometimes not a number prints `NaN`. Both work against goals 6.1 and 4. `valueproof.go` already proves a typed column's divisor nonzero. ### 36. Report every mistake a load finds in one error, as the decision "A load reports every mistake at once" states.