OpenTools analysis: consider an application that sometimes permits native connectors but has a separate request path intended to use none. A proposed verification record would name that path, both resolved package versions, whether SDK tools is omitted or empty, the chosen model identifier, the explicit tool choice and the native provider options. This is a hypothetical review procedure, not a test we performed or a report of an affected customer.
For that opt-out path, the published assertions suggest inspecting whether the serialized tool definitions are absent and the native call budget is zero. Where an allowed test setup uses dummy authorization or headers, the record should also check that those dummy values were not serialized. Record a redacted result; logging real credentials is not needed to describe the outcome. Keep generation and streaming as separate cases because the source exercises both public APIs.
A contrasting request that intentionally uses the default selection needs its own expected result. Otherwise a team could mistake a configuration that disables everything for proof that only the intended path changed. Likewise, recording only an empty SDK tools object would leave the provider-options question unanswered. The useful handoff is the intended choice, the resolved dependencies and the observed request fields together—not just “the model returned text.”
This proposed check is narrower than proving the remote service never performs any action. The source tests establish their local assertions; an application’s live configuration, provider enforcement and any external service behavior require their own evidence. No exploit, credential compromise, severity rating or universal protection across SDK branches is established here.