A boundary-value grammar that walks your OpenAPI document field by field — every documented constraint implies its own negation, and the tool turns that implication graph into a JSON test plan you can replay.