My concern is regarding point 2.  Mining nodes are required to verify transactions.  Known as full nodes. 

How to sustain the network with full node non mining wallets only?

~ Tom
[/quote]

The funny thing is running PascalCoin wallet (assuming main server(s) and dns is still there) will sustain the network in principle. At least peers can find each other and download the blockchain/database/safebox from each other.

If the miners stop mining then transactions can still be performed but they will stay in the "pending" section/state of pascalcoin, waiting forever to be recorded onto a block which will never happen. So eventually the ammount of transactions in the pending state will probably overflow some kind of internal data structure inside pascalcoin, something may run out of memory. This is kinda of interesting to simulate to see what would happen if suddenly all miners drop off.

(In the early days of PascalCoin the miner was "build-in" but now it's a seperate process that attaches to/communicates the PascalCoin wallet via JSON/RPC/TCP_IP)

Here is example of how to solo mine PascalCoin:

https://www.cryptocompare.com/mining/guides/how-to-solo-mine-pascalcoin/