The reasoning behind the ecosystem: what we built, what remains open, and which claims did not survive review. Every note carries its scope and limitations with it.
Selected public notes, not a complete research inventory. A publication date is not a new experiment or an independent replication.
How to read this record
A result is useful when its scope is clear.
Start with the summary, read the “Does not establish” boundary, then follow the note’s sources. Implementation, a dated experiment, and third-party reproduction are different forms of evidence.
What the status labels mean
● Shipped
Implemented in the scope described by the note.
◐ Active
Under investigation; no settled result is implied.
▲ Gated
A named prerequisite must be met before proceeding.
A certificate that reports its own quantisation step can simply declare it to be zero. Signed transparency leaves make later revision detectable when a verifier retains or independently obtains the required leaves and checkpoints.
Does not establish
The current log, witness, and signing key are issuer-operated. Anchoring does not prove correct capture or prevent an undetected issuer fork when nobody outside the issuer retains the comparison evidence.
The recorded prior-art and buyer-side referee passes rejected a proposed twelve-domain expansion of the certified-number pipeline. Two domains survived as gated candidates; ten did not.
Does not establish
This records the verdict on the expansion, not a finding about the underlying method. The surviving domains remain gated behind platform prerequisites.
Replay compares supplied inputs with committed digests and re-executes the named program. A successful check can detect inconsistent evidence; it cannot establish that the producer captured truthful inputs.
Does not establish
Nothing here establishes that the underlying data is correct. Verification also requires inputs you obtained independently and a public key you pinned out of band.
The execution-bound path estimates variation from dither-quantised storage. Its tier scheme refuses unsupported programs; the error model and branch assumptions remain part of the claim.
Does not establish
It is a probabilistic order statistic over storage quantisation alone — not a guaranteed enclosure, and not coverage of rounding, truncation, or discretisation error.
On the restricted CNE path, the model authors a program and an interpreter computes the result. The accepted DSL output therefore does not take its computed figure from model recall.
Does not establish
This applies only to the restricted CNE/DSL result. Lattice narration and open mode can contain model-origin estimates, and the constraint does not establish that the chosen program, inputs, or conclusion were correct.
Revised macroeconomic observations can introduce knowledge unavailable at a historical decision date. A point-in-time query must identify the release vintage as well as the period being measured.
Does not establish
Vintage discipline removes one specific look-ahead channel. It does not make a backtest realistic on execution, liquidity, or transaction costs.
Read the longer argument
Public manuscripts
Author-published manuscripts in the open repository. These links are a reading list, not a claim of external peer review or independent reproduction. Read each manuscript’s assumptions and evidence record.