Shorter spellings for the public API, and examples that use them - #9

Merged

christianparpart merged 59 commits into

feature/concise-spellings

Sep 30, 2026

Commits on Sep 30, 2026

docs: plan concise spellings for the public API
Christian Parpart
committed
5a3ae8c
feat(rational): add the exact decimal literal _r
Christian Parpart
committed
878a740
feat(environment): accept plain numbers and not_measured in measured_series
Christian Parpart
committed
f496578
test(rational): pin every refusal of the _r literal
Christian Parpart
committed
05b93b7
test(environment): pin the refusal of a bool series element
Christian Parpart
committed
463a333
feat(outcome): add number_of, the number a result holds or nothing
Christian Parpart
committed
ac22e99
feat: describe constraint outcomes, retry ends, value sources, outcome kinds and failure sites
Christian Parpart
committed
c3fa208
feat(format): format outcomes, units, dimensions and enumerations; default symbol_of's vocabulary
Christian Parpart
committed
cdedb03
feat(measured): add throwing twins and refuse a conversion across dimensions where it is written
Christian Parpart
committed
e93c018
fix(format): cover every formatter in the header's rules and pin each one
Christian Parpart
committed
4c9594e
feat(trace): trace any evaluation with traced, and give every verb an explain twin
Christian Parpart
committed
4d953b3
feat(rounding): name a rounding once with DecimalRounding
Christian Parpart
committed
a38f8a9
test(trace): prove every explain twin writes its trace in the vocabulary it is given
Christian Parpart
committed
0a4e88f
fix(rounding): probe every named-rounding overload and pin its refusals
Christian Parpart
committed
53a9072
feat: bind a formula to its result quantity with yields
Christian Parpart
committed
5ed4f62
refactor: print with std::print in tools, support code and tests
Christian Parpart
committed
17b2671
fix: include <cstdio> where stderr is used
Christian Parpart
committed
3a23877
fix(trace): include the headers traced() uses
Christian Parpart
committed
a7c9108
build: support only the newest GCC and print with std::println in the package test
Christian Parpart
committed
93aa0e2
test: pin every refusal of a relabelled bound formula
Christian Parpart
committed
721336b
fix: refuse a bound formula around a bound formula with one message
Christian Parpart
committed
2a83216
docs(examples): write the small examples and the README in the short spellings
Christian Parpart
committed
d429893
docs(examples): write the dimensions and display examples in the short spellings
Christian Parpart
committed
14b02f8
fix: refuse a floating-point breakpoint key or band bound instead of truncating it
Christian Parpart
committed
9e8bf8f
docs(examples): check every checked result before use in the small examples
Christian Parpart
committed
8cde9ac
test: pin the floating-point refusal of every band and breakpoint argument
Christian Parpart
committed
64028f3
docs(examples): check every checked result before use in the dimensions and display examples
Christian Parpart
committed
41678da
docs(examples): write the constraints, rounding and lookup-table examples in the short spellings
Christian Parpart
committed
02859bb
docs(examples): write the methods, records and series examples in the short spellings
Christian Parpart
committed
8d1a95f
docs(examples): restore a truncated header comment and tidy two spellings
Christian Parpart
committed
e5ad20d
docs(examples): write statistics, opaque-and-retry and electricity-bill in the short spellings
Christian Parpart
committed
315a4b4
feat(trace): give the trace of an evaluation in one call with trace_of
Christian Parpart
committed
0e63649
docs(examples): read traces with trace_of and tighten the series, records and methods examples
Christian Parpart
committed
bf44106
docs(examples): read traces with trace_of and check constant results at compile time
Christian Parpart
committed
b8500ad
docs(rejection): spell the deviation_in_stddevs example with a Node
Christian Parpart
committed
80f87fe
docs: drop the stale explain body from the tracing guide and use plain integers in the statistics example
Christian Parpart
committed
4b16e67
test: pin the literal exponent cap and a binary literal, tidy the band and breakpoint negatives
Christian Parpart
committed
5fc7dba
fix(trace): say what trace_of does and does not record, and refuse what it should
Christian Parpart
committed
2b74f12
fix: keep angle brackets in the symbol_of tripwire, pin the exponent cap itself, mark the refused lookup snippet
Christian Parpart
committed
b7104b3
fix: refuse a bound series, rejection, retry or opaque call handed to a single-value verb
Christian Parpart
committed
ab306b6
fix: refuse a bound formula used as an operand, in the library's words
Christian Parpart
committed
9689842
fix: name the rounding refusal's spelling, and correct stale comments
Christian Parpart
committed
4c36b53
docs(trace): say which entered value trace_of_si ignores, and pin its root
Christian Parpart
committed
04c0b0e
test(consumer-globals): instantiate the explain twins the probe missed
Christian Parpart
committed
98007f8
docs(changelog): record every name argument-dependent lookup now reaches
Christian Parpart
committed
67b8fbe
docs(plan): drop the controller's local tracking from the committed plan
Christian Parpart
committed
ef61418
fix(examples): print empty lines with std::println(""), as C++23 requires
Christian Parpart
committed
e206c68
fix(examples): print the arithmetic error when a guarded evaluation fails
Christian Parpart
committed
e7a9697
refactor(examples): show a trace with trace_of where only the trace is read
Christian Parpart
committed
38e9b25
refactor(examples): write a whole number plainly where an integer converts
Christian Parpart
committed
4c791dc
refactor(examples): print an Outcome itself instead of its measurement
Christian Parpart
committed
31a8aea
refactor(examples): guard each method result once, printing the error or the absence
Christian Parpart
committed
3ab8370
refactor(examples): check constant results with static_assert instead of a runtime guard
Christian Parpart
committed
66aaf64
docs(changelog): state exactly when a consumer's helper meets the library's
Christian Parpart
committed
b4cabef
docs(changelog): record the reworded with_rounding refusal
Christian Parpart
committed
8bf9ae4
fix: render and document a refused operand without a second error
Christian Parpart
committed
f2a80c4
fix: refuse a comparison over a bound formula, in the library's words
Christian Parpart
committed
78ffcbc
docs: list every example that evaluates at compile time, and finish the whole-number spellings
Christian Parpart
committed
a21fc98
docs: quote the refusal a compared bound formula gets, and say what quantities does at run time
Christian Parpart
committed
20b7dc9