Manuscript XIX-E@1 · XIX-E.tex · definition · 702f146e
Definition: Three boundary statements
Question and exact kind of conclusion › Three different statements · lines 187–203
XIX-E@1#def:boundary
We distinguish:
Nonidentity on a declared comparison. Two specified prescriptions differ on a common domain, or have incompatible declared types without an additional map.
Non-determination by specified data. There are two realizations agreeing on the named input data and disagreeing on the requested target.
Not constructed in this release. The manuscript contains no realization and proof of the requested object.
Only a separately proved incompatibility over an exhaustive candidate class warrants a universal obstruction within that class.