The agent did NOT leave a file at this path — the side-effect boundary
negative: a skill that declares it writes only out.txt should leave nothing
at secrets.env. The symmetric sibling of wrote(); pairs with
notTool(...) to assert a unit stayed inside its declared write surface
deterministically (no model judge).
The agent did NOT leave a file at this path — the side-effect boundary negative: a skill that declares it writes only
out.txtshould leave nothing atsecrets.env. The symmetric sibling ofwrote(); pairs withnotTool(...)to assert a unit stayed inside its declared write surface deterministically (no model judge).