← All projects

04 / System provenance

tup

BUILD · RECORD · WITNESS

A system from source.
A receipt for every step.

A Linux From Scratch build driven by recorded commands, hashed source archives, explicit deviations, and independent boot witnesses.

View repository
139book pages recorded
96source archives hashed
2documented boot witnesses

From the public project record reviewed 08 October 2026. View source and measurement context ↗

Inside the project

Built around
the details.

01

Build from the book

The driver follows Linux From Scratch and extracts the book’s commands. Necessary deviations are kept in separate files so a reviewer can see exactly what changed and why.

02

Leave a useful receipt

The record captures the source hashes, command outcomes, durations, and log hashes. Test suites that were skipped are listed by name, and failures remain visible in the build report.

03

Witness the shipped image

The arm64 image was booted with firmware and disk alone. A second witness downloaded and reconstructed the release on a different machine before observing the boot.

What the results mean

tup 0.1 is a witnessed system, not a formally verified operating system. Its receipts document provenance and observed behavior. The record includes one failed book page and 50 skipped test suites; booting does not establish the correctness of the kernel, compiler, or libraries.

Follow the evidence

Source & records.

Next in the collection / 01t-proof-engine