That is a complicated way of saying that you were conflating two independent issues under the term "negative proof":
1. Can a user trust real-world entities to honour the promises represented by a digital token.
2. Can a user trust that a particular digital token is valid with respect to other digital tokens.
The second issue is one that can be solved by creating a system the proves that no conflicting digital tokens exist compared to a particular token of interest, but they can also be solved in much easier ways such as having the holder of the token produce a positive proof of ownership.
You claimed the existence of designs that avoid negative proofs. "A better solution is to approach problems differently such that negative proofs are not needed in the first place,..."
Your words, not mine.
In no way was I "conflating two independent issues". Issues are the things for which you find a solution. Your two points are two ways to deal with the need for negative proofs and enforcing them. There are others:
1. A user can trust real-world entities to honour the promises represented by digital statements provided by those entitites
2. A user can trust real-world entities to enforce the promises represented by documents between the user and other parties
3. A user can trust real-world entities to record and secure agreements for presentation to enforcement entities if necessary at the time these agreements should be executed.
And there are more. Maybe an infinite number of them.
All of these (and your suggestions) revolve around the idea that you can establish one way or another both positive proofs (that agreements have been made, services performed, goods delivered, etc.) and negative proofs (parties held rights to goods (no double spend), services were not performed, goods were not delivered, agreements were not made, etc.).
We can talk about the philosophical nature of the issues, or we can talk about solutions to the issues that beset us. I was not talking about our particular solution, but rather trying to address your assertion that there was no issue at all.
The second way is easier to implement and more robust, and the former is overly complicated unless the actual goal is to produce straw justifications for an appcoin.
There is no holy one way to address all the situations that people may find themselves in. Colored Coins are great solutions for some problems. They do not solve every problem. Factom is a really great solution for some problems. Factom does not solve all problems.
I am not sure why you think the existence of an AppCoin is so evil. But I'd be totally willing to discuss the design of Factom, and why we have a token if you like. I do not care to try and stigmatize anyone for disagreeing with our design. Perhaps some dialog would actually be helpful.