Ouroboros-Logger 0.6.0

The rules that read a trace are no longer merely tested — they are checked by a compiler.

The reading rules moved to flang. What counts as a line, how an in is paired with its out, when a call counts as unfinished, where a value gets cut — all of it now lives in ouroboros/brain/trace_brain.flang and is printed into Python at build time. flang check: 39 functions, termination proved for every one of them. flang test: 91 examples out of 91. flang check --proof: 5 claims, 5 proved, 0 taken on trust. Answers are byte-for-byte what they were.

Directories are called draft and clean. A project created by an earlier version keeps its old directory names, is used exactly as it is, and the tool says so out loud instead of quietly starting a second one beside it.

Everything the tool prints is in English — the command line, the MCP server, and the guards whose output lands in the Actions log of somebody else's pull request.

The gate got stricter. 710 lint rules instead of 221, across the whole tree instead of two directories; strict types on 77 files instead of 33; 1248 checks; coverage is measured by the same run that gates, with the threshold in the config — so "100 %" can no longer fall behind the tree unnoticed, which is exactly what it had done before.

Eight guards were found to be silently not checking anything and were repaired, among them one that turned a network hiccup into a stack trace and one that stopped looking at the longest page in the repository.

Install: uv tool install git+https://github.com/digitable-lol/ouroboros, brew install digitable-lol/tap/ouroboros, or as an asdf plugin.