the missed-items check: it reads every step
BookStack's 165 goals, in one overview with a side-by-side compare
featkpr’s Goals screen now opens on the Ledger: every goal BookStack’s code lets someone reach, 165 at commit 1633b3ab, in one sortable list grouped by module, each with how many of its facts are proven, the roles that can reach it and its last run. Tick two to four goals to compare them side by side, and open any goal on its own page. Production proves 182 of 829 facts so far. The relations between goals are loaded too: 731 links, and 22 goals show a proof from a paired run.
BookStack · commit 1633b3ab · production's records, read 30 Sep 2026 · released in #930