Calculations and worksheets, decimal display with std::format, and application-declared base dimensions - #6

Merged

christianparpart merged 80 commits into

prototype-catch-up

Sep 29, 2026

Commits on Sep 29, 2026

docs(plan): power, energy and Fahrenheit units
Christian Parpart
committed
641f5e2
feat(unit): watt, kilowatt, watt-hour, kilowatt-hour and degrees Fahrenheit
Christian Parpart
committed
bd483a8
docs(unit): say only what the affine unit comments can back
Christian Parpart
committed
708a5e0
docs(dimensions): power, energy and Fahrenheit units
Christian Parpart
committed
06987d7
docs: write decimals with a point in English prose
Christian Parpart
committed
1341078
docs: name the feature, not the stage it was built in
Christian Parpart
committed
2bfc8e9
docs(unit): say what the affine unit comment and the example claim
Christian Parpart
committed
c849e96
test: write decimals with a point in comments
Christian Parpart
committed
281395d
docs(plan): base dimensions an application declares, such as money
Christian Parpart
committed
b427568
refactor(dimension): the fixed-size symbol type moves next to Dimension
Christian Parpart
committed
2ef802c
feat(dimension): base dimensions an application declares, such as money
Christian Parpart
committed
cff69ba
test(dimension): pin power, nth_root and the quotient guard
Christian Parpart
committed
75b15c6
feat(trace): named base dimensions in coherent units
Christian Parpart
committed
f77dca1
docs(trace): say when a quotient of named bases does not fit
Christian Parpart
committed
51da020
docs(trace): say exactly which named bases a unit quotient counts
Christian Parpart
committed
b26c9f0
test(unit): money as a dimension, end to end
Christian Parpart
committed
4aee8a2
test(unit): make the tariff's identity across translation units catch a slot built apart
Christian Parpart
committed
7034ca1
docs(examples): money as its own dimension
Christian Parpart
committed
6accc3f
docs(trace): say when an exponent overflow reaches unit_quotient's guard
Christian Parpart
committed
e6c8334
docs(dimensions): base dimensions the SI does not have
Christian Parpart
committed
84e6d70
docs: say "coherent unit" where a dimension may carry a named base
Christian Parpart
committed
a42a2e0
docs: say named bases come in the next release, and correct five wordings
Christian Parpart
committed
dc743aa
docs(plan): calculations and worksheets
Christian Parpart
committed
2681293
refactor(type_list): quantity lists shared beyond overlays
Christian Parpart
committed
facedb1
feat(evaluate): an environment can report a read's source and failure at run time
Christian Parpart
committed
cb65846
test(evaluate): pin the source hooks' constraints, and say what they cover
Christian Parpart
committed
a5a8613
feat(calculation): define<Q>(expression), and the quantities it reads, known at compile time
Christian Parpart
committed
523edf8
test(calculation): pin the walk's refusal gates, and say what the registry covers
Christian Parpart
committed
195aada
feat(calculation): a dependency graph checked at compile time, and queries over it
Christian Parpart
committed
c23c87c
feat(calculation): worksheets that recalculate only what a change reaches
Christian Parpart
committed
84c59d2
fix(calculation): refuse is_overridden of an input, and pin what the worksheet tests left loose
Christian Parpart
committed
8488c40
feat(trace): a worksheet's derivation, one block per named value
Christian Parpart
committed
ee1a37f
feat(render): describe a calculation's graph, as text and as Graphviz DOT, and render a derivation
Christian Parpart
committed
be9c187
docs(trace): say what a derivation's overlay step reports, and what the evaluation never reached
Christian Parpart
committed
3b768aa
test(render): pin the order of a line's reads, and a vocabulary in a derivation's definitions
Christian Parpart
committed
7e81908
feat(document): document a calculation, each calculated value with its definition
Christian Parpart
committed
02dfca7
docs(render): state the order of a value's arrows, and say plainly what a few comments meant
Christian Parpart
committed
6bccb32
docs(calculation): say coherent unit where a dimension may carry a named base
Christian Parpart
committed
c0d5e6e
test(document): pin a citation met twice and a derived row beside its definition
Christian Parpart
committed
e89b469
docs(plan): decimal display and std::format
Christian Parpart
committed
1556c8a
feat(number_text): exact decimals, rounded decimals and fractions, spelled without allocation
Christian Parpart
committed
a2c63ce
test(number_text): pin the overflow-free long division and both bounds of the decimals refusal
Christian Parpart
committed
e7179fb
refactor(render): spell fractions through number_text
Christian Parpart
committed
263a984
refactor(trace_render): every number a trace line states goes through one style
Christian Parpart
committed
33bda30
feat(trace_render): decimals in traces, exact unless an approximation is asked for
Christian Parpart
committed
fe4d0e7
fix(trace_render): a typed value is passed on only by the step that holds it
Christian Parpart
committed
93bc2b6
fix(trace_render): a precision limit's second pass passes its limit's typed value on
Christian Parpart
committed
18bd6b2
feat(format): std::format for Rational and Measured
Christian Parpart
committed
e7bcc69
feat(render): decimal constants in rendered formulas and documentation
Christian Parpart
committed
a21cca6
test(document): divide the derivation fixture by a plainly invented diameter
Christian Parpart
committed
9e0843f
fix(format): say when writing a value throws, and take only a scalar value as fill
Christian Parpart
committed
be03cc0
test(render): a typed number stays exact and unpadded at every table site
Christian Parpart
committed
0c3fe18
docs(display): a guide to decimals, and a std::format reference
Christian Parpart
committed
3167346
docs(format): only a value that must round can overflow; pin the fill's length check
Christian Parpart
committed
8a908c1
feat(render): typed_number_style, the style a formula's typed number is written in
Christian Parpart
committed
9671184
docs(display): every refusal mapped to its cause, and the typed-number claims shown
Christian Parpart
committed
466895c
test(docs): check the std::format table, README's output and a quoted guard's line
Christian Parpart
committed
6199535
test(format): ~Mode refuses a unit declaring fewer than -18 decimals
Christian Parpart
committed
51624a2
docs(display): say coherent unit where a dimension may carry a named base
Christian Parpart
committed
e5c0197
feat(trace_render): a derivation spells its numbers in the trace's style
Christian Parpart
committed
c5d2180
docs(display): close two gaps in the guide's checks, and say what to write instead
Christian Parpart
committed
be1749a
fix(trace_render): a typed value another block reads stays exact there
Christian Parpart
committed
e4dfbb0
fix(render): a rounding in a unit nobody declared shows its first significant digit
Christian Parpart
committed
8886c57
test(docs): check the dimensions guide's output and code against its example
Christian Parpart
committed
9ea9409
refactor(number_text): exact_decimal of a Rational is exact_decimal_text
Christian Parpart
committed
87f8d59
refactor(number_text): name the detail decimal helper apart from exact_decimal_text
Christian Parpart
committed
5f5ac77
test(calculation): check the read each derivation step notes, over every node that reads
Christian Parpart
committed
d4790cb
docs: say what checks the dimensions guide, and pin more of the first-digit rounding
Christian Parpart
committed
0c0e709
docs(calculations): an electricity bill as a worksheet, and a guide to calculations
Christian Parpart
committed
4d91c52
test(calculation): write 43200 s plainly, and say what the bill fixture declares
Christian Parpart
committed
106ae28
docs(calculations): keep the bill to its fifteen values, and show a failure on a calculation of its own
Christian Parpart
committed
cc03b71
docs(calculations): the bill in decimals, and its output quoted and pinned
Christian Parpart
committed
55d9f49
docs: list power, energy and Fahrenheit units for the next release
Christian Parpart
committed
301331e
docs(calculations): explain a reused value, and show what the guide only said
Christian Parpart
committed
eb332d8
feat(calculation): clear_override on a worksheet about to be discarded
Christian Parpart
committed
1ed9eb2
test(hygiene): reach the styled render and document, and money in a worksheet
Christian Parpart
committed
ab90f86
test(calculation): money of its own through a worksheet and every text surface
Christian Parpart
committed
d3c931a
docs(calculations): convert the shared total, and show what was only claimed
Christian Parpart
committed
19a7e2d
docs(changelog): record the lookup change under Changed, and name every text function
Christian Parpart
committed
7e36e62
docs(display): link the calculations guide where worksheets are named
Christian Parpart
committed
1cabd1c