Neither Factom nor Colored Coins nor Bitcoin nor any other ledger can change this.
The bounded context can be defined by a colored coin. Only with physical assets, actions can be taken outside colored coins.
The bounded context can be defined by Factom. Only with physical assets, actions can be taken outside of Factom.
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 first issue is not a problem that can be solved by software and in that case both Factom and colored coins are on the same solution. Since it's completely outside the scope of the conversation that's not what I was talking about when I said redesign problems to remove the need for negative proofs.
The scope of discussion is about "proof of the negative". You can do so within a restricted context. Like digital coins. It is harder (as in case 1. above) when you want to actually be useful in the real world.
"Positive proof of ownership" can only exist within some context where other ownership can be excluded. If the party can transfer ownership, then there was a state where some set of data proves their ownership. But that data can never be taken away from the owner. So clearly there must be some way to add data, to allow transfer of ownership to someone else.
You can't get rid of the previous data, you can only amend it in some way. Every technology based on ledgers does this. Bitcoin, databases, double entry accounting, the DMV, ... everyone. And ownership then is proven by eliminating the possibility that someone else owns the token.
Unless you have invented something like Harry Potter's Map, that no matter who holds the data, it is updated as the state of Hogwarts changes...
The injection of appcoins in this discussion is the staw argument. Not even in Factom does the appcoin have anything to do with proving the negative. It provides an incentive to maintain a ledger. Just as Bitcoin's token provides an incentive to maintain a ledger.
It is the ledger that allows a proof of the negative.