policy-stale-digest

planarian @ a924e09 · Spec v4.6 · snapshot main · all versions

A proposal carries an observed digest from before a state change. It is rejected as Stale, and the current digest is returned.

What it exercises

No invariant by name.