Repository navigation

A unit on every computed trace value, and a 128-bit Rational - #12

Merged

christianparpart merged 36 commits into

masterfrom

feature/int128-and-trace-units

Oct 4, 2026

Commits on Oct 3, 2026

docs(spec): a unit on every computed trace value, and a Rational over a 128-bit integer
Christian Parpart
committed
ff148f1
docs(plan): a unit on every computed trace value, and a Rational over a 128-bit integer
Christian Parpart
committed
71b9fe5
feat(trace): write the coherent unit after every computed value that has no unit of its own
Christian Parpart
committed
cf0ff51
fix(trace): show conformity rows and derivation headers in the unit their value is shown in
Christian Parpart
committed
019a661
feat: add formula::Int128, a 128-bit integer that is native where the compiler has one and constexpr everywhere
Christian Parpart
committed
3b99520
feat(trace): show a computed value in the unit its operands are shown in, where that is safe
Christian Parpart
committed
1ffbe4e
test(trace): pin each guard of the borrowed-unit rule with a case its mutation fails
Christian Parpart
committed
56cd44e
test(int128): pin every boundary the design lists, and state the overflow contract once
Christian Parpart
committed
6b4f234
fix(trace): write a table's bounds in the unit their value is shown in, and a header's value without the coherent detour
Christian Parpart
committed
7490010
test(int128): reach the cross-term overflow exit on every compiler, and keep the minimum's negation inside the contract
Christian Parpart
committed
c66cd96
docs(trace): state the shown-unit rule, and prove every value is in the unit written after it
Christian Parpart
committed
4861d4f
docs(int128): say the shifts are outside the overflow contract, and spell the shift example on Int128
Christian Parpart
committed
3fea3da
refactor: read Rational's integers through helpers that hold 128 bits
Christian Parpart
committed
a558625
fix(trace): tell two table rows apart by their values, not by their spelled text
Christian Parpart
committed
3604fad
docs(display): show a value in the coherent unit left unpadded
Christian Parpart
committed
ee9cbe8
test(trace): reach two unshowable table bounds without relying on the integer width
Christian Parpart
committed
4fad8ab
refactor: state the longest number text exactly, and tidy the 128-bit readers
Christian Parpart
committed
3c94fd0
feat: store Rational's numerator and denominator in 128 bits
Christian Parpart
committed
3ff3081
test: check the rounded line where the exact one overflows, and state the variance's 128-bit figures
Christian Parpart
committed
22aa6be
test: show where the one-pass variance overflows at 128 bits, and pin the bounds the docs state
Christian Parpart
committed
5a56f1b
docs: describe Rational's 128-bit range, and the headroom it measures
Christian Parpart
committed
113895f
test: pin where rational_from_double stops, a Rational's size, and exp of a wide negative argument
Christian Parpart
committed
14d2aa0
docs: state the 128-bit limits that hold, not the 64-bit ones
Christian Parpart
committed
6abdb9e
Merge a 128-bit Rational: formula::Int128, readers widened, and the census re-measured
Christian Parpart
committed
8d741ea
docs: regenerate the census page for both changes
Christian Parpart
committed
ed3ebcf
test: re-pin two tests whose overflow no longer happens at 128 bits
Christian Parpart
committed
055bd54
docs(trace): state when a declared bound fails to show
Christian Parpart
committed
0a450b4
test: pin log10 of wide arguments and rational_from_double at 2^53 - 1
Christian Parpart
committed
8f40456
docs: name the wide arguments that never reach the kernel, and reflow
Christian Parpart
committed
9014a8f

Commits on Oct 4, 2026

test: pin a step's size with a 128-bit Rational, measured on every compiler
Christian Parpart
committed
f8b8d11
fix: keep a wide integer's low limbs off a consumer's global name
Christian Parpart
committed
4de0f8d
docs: correct stale statements about headers, integers and headroom
Christian Parpart
committed
37bf7e5
fix(trace): name a critical value's whole count, and say when a bound fails to move
Christian Parpart
committed
674dd58
docs: name the compilers the census and the fit's figures hold on
Christian Parpart
committed
c4d593d
docs: claim only the fit overflow figures a test pins
Christian Parpart
committed
efa9600
test: pin an optional Rational's 40 bytes beside a step's size
Christian Parpart
committed
07b5ef4