the brief's surface prose has drifted from the shipped binary in twenty-one places the machine-checked layer cannot see

the brief's surface prose has drifted from the shipped binary in twenty-one places the machine-checked layer cannot see

Grounds

• pursued: prose the surface_coverage rule cannot scan is brought to what the binary does, and duplicated enumerations are collapsed to one home so they cannot drift twice; a re-run of the iss35 crosscheck at this commit reporting any of the twenty-one findings would show it wrong