The rule for a filter id or a window timestamp: a non-negative safe integer.
Anything else — a string, -1, 1.5, NaN, Infinity, an integer beyond
Number.MAX_SAFE_INTEGER (which would be rounded to another file) — would put
a malformed or different path into the request. A string or a bigint gets its own
reason: Invalid filter "4169". Expected a non-negative integer. read as a
contradiction to a caller who took the id from argv, an env var or a JSON config.
The rule for a filter id or a window timestamp: a non-negative safe integer. Anything else — a string,
-1,1.5,NaN,Infinity, an integer beyondNumber.MAX_SAFE_INTEGER(which would be rounded to another file) — would put a malformed or different path into the request. A string or a bigint gets its own reason:Invalid filter "4169". Expected a non-negative integer.read as a contradiction to a caller who took the id from argv, an env var or a JSON config.