Documentation

Everything in the repository, rendered. The measurement reports are the ones to read first — they contain the runs that failed as well.

Measurements

Every number we publish, with its method and its discarded runs.

Why the system is built the way it is — including the decisions that went against us.

What holds under which assumptions, and where the proof stops.

Findings from outside, with what became of each.

Experiments that answered one question and ended.

ROS 2 and other ways in.

The internal reference case and its acceptance criteria.

Where this is going.

What is free, what needs a contract.