Protocol

This example might read .py and .pyi files where both exist, and ensure that their exported names match. Since there’s not an obvious way to bundle these two as a dependency up front (conditionally when both exist), you can use the protocol to report results where the additional input is mentioned.

{
    "t": "M",
    "filename": "demo/api.pyi",
    "additional_inputs": ["demo/api.py"],
    "new_bytes": null,
    "diffstat": null,
    "diff": null,
    "msg": "demo/api.pyi is missing the exported name 'Foo'"
}