Research & evidence
Built on mathematics.
Backed by evidence.
Machine-checked numerical foundations, independent reference testing and explicit model provenance. Examine how results are produced and what they mean.
Mathematical foundations
Specify the function, its domain and the properties being established.
Independent references
Compare implementations against references that do not share the same assumptions or code path.
Runtime evidence
Measure complete workloads, state the boundaries, and retain the observations needed to reproduce a result.
Research notes
Examine the reasoning.
Numerical correctness
The Boundary Is Part of the Algorithm
How independent references establish where numerical methods meet their accuracy requirements.
Runtime contracts
Determinism as a Correctness Contract
Why reproducibility belongs in the system’s contract.
Open source
Bounded spend without a network hop
The design and evidence behind Tollgate’s local quota admission.
Working paper
Research to runtime.
A research result and a production system are different artifacts. The translation between them needs evidence of its own.
The published working paper examines how mathematical results become executable contracts and production implementations.
Version 0.2 · draft working paper. The original publication and PDF are preserved with their original version and authorship.
Read the working paper