Brief chapter 17-guard.md scopes a bare variable to inside a payload in what an allow still does not see, though a variable in the top-level command position or where a flag would be is not read either, so its claim that the obvious evasions are not evasions overclaims; and the cost guard comment states bounded shapes measure one to five units of work per byte, below what bounded shapes measure (review4-guard findings 6 and 7).

Brief chapter 17-guard.md scopes a bare variable to inside a payload in what an allow still does not see, though a variable in the top-level command position or where a flag would be is not read either, so its claim that the obvious evasions are not evasions overclaims; and the cost guard comment states bounded shapes measure one to five units of work per byte, below what bounded shapes measure (review4-guard findings 6 and 7).

Grounds

• pursued: the surfaces no longer claim more than the guard reads of variables; a surface that scopes the variable residual to payloads alone would show it wrong