Guarded Boolean Dispatch
Which permitted sign tests identify an operator exactly on a declared domain?
PDF and exact source Or start with the explanation below.
A complete four-operator example shows how the permitted tests, their polynomial degree, the chosen coordinates and zero handling change exact operator identification.
This is a methods note supporting Correspondence Matrices. It complements Observable Answers by making the permitted observation language and zero/boundary behavior explicit. It does not extend that report’s acquisition-policy theorems.
Read the PDF and exact source. The October 13 extended working source is a pending successor; its additional results are not claimed by this reading copy.
Related manuscript
Guarded Boolean Operators: Exact Dispatch and a Polynomial Guard-Degree TradeoffSeptember 28 reviewed methods/expository note. Review passes were conducted by the same assistant; external human review and priority remain open.
Reading scope: Nonempty certified guards, a promised zero-free domain and an explicit coordinate/observation language. No runtime speedup, learned-model result or cognitive claim.
Site reading copy 1 from September 28 reviewed source; exact 14-page PDF and TeX preserved. October 13 extended working draft is a pending successor, not part of this reading copy.
PDF and exact source Read the PDF Bounded verification code and results See this manuscript's index entry