Research
Publish the mathematics
Every document dated, versioned and citable, and every figure carrying its basis.
Three are published as papers with PDFs on their pages: the formal specification (WP-2026-01), the typed-flag architecture (WP-2026-02) and the derivation record schema (WP-2026-03). The remaining documents are described here and available on request.
Formal specification of the Ackren engine
The complete mathematical description of the engine, in 118 pages, with a third of it given to failure.
v0.4
The eight stages, with typed flags
Every stage returns a result or a typed flag, and flags outrank everything at selection.
v0.7
Derivation log record, an open schema
Eighteen fields, a permissive licence, a changelog, and an invitation to implement it.
v1.3.0
Failure accounting: eleven rows, two unsound
Every known failure mode, its detection condition, and whether the handling is sound.
Note
The 16 MB fit is vocabulary limited
Not n-gram limited, which changes what you should spend the next megabyte on.
Note
Nothing here goes behind a form. Write to research@aleten.com.