Q01 / EXPECTATIONWhat should have happened?
Can a route or operation state its expected status, content type, redirect behavior and size bounds without classifying legitimate variation as suspicious?
R0 / SYNTHETIC ORACLE TESTED
Q02 / CONTRADICTIONWhat is meaningfully unexpected?
Can a denied route returning 200, an unexpected privileged view or an oversized error be recognized without mistaking the signal for exploit success?
R0 / STATUS + SIZE ONLY
Q03 / VISIBILITYWhat does nginx actually know?
Compare request and log variables, header/body filter visibility and a controlled client. Explicitly account for internal redirects, upstreams and cross-request blind spots.
R0 / LOG-PHASE VERIFIED
Q04 / COMMIT POINTWhen is a stop already too late?
Separate origin-side effects, response replacement, stream cancellation and verified client receipt. Which bytes can still be withheld without unbounded buffering?
OPEN / CAUSALITY
Q05 / COSTWhat does protection cost everyone else?
Measure CPU, memory per stream, TTFB, buffering amplification, flow control, backpressure and fairness against an unchanged nginx baseline.
OPEN / PRECISE COST
Q06 / EVIDENCEWhat can be proven privately?
Prefer classed route/response metadata and synthetic markers. Do not retain bodies, credentials, raw queries, client identifiers or private application payloads.
R0 / BOUNDED EVIDENCE