Spectre protocol and the smart card and provable contracts

 A spectre protocol is a finite portion of a finite contract graph with private number.  Spectre insures there are no pending ledger responses, then encrypts the private account and graph identifying boundaries and hides that, switching some other spectre protected protocol already i progress. We protocol guarantees no hanging issues that violates the contract. I their is a hold on a contract, and spectre times out, then the contract was unprovable and invalid.  Contract bandwidth is spectre bandwidth in the instruction cache of any valid smart card.

Contracts all segmented at stable points means all ledger swaps can be resolved.  Any spectre contracts in conflict must serialize due to timeout, and that exit path must be provable. There are ultimately finite, and countable locks that can be warped into nodes of ledger swaps with external trusted miners.   With bound precision the optimum path through the contract is reached.

Will the new Fed win? Absolutely, one thing, i owns the Swift standard and the existing ledger system works and is up and running.  So the Fed, by defining pure liquidity in a no arbitrage system will collect customers  from shadow banking. The bigger key to success is the New Fed grabbing a lot of the large government agency accounts. Thais a must, it takes the heat off the senators.  

The Fed Swift card becomes the standard for all citizens in government exchange, but is a portable, and secure standard under he smart card generic cash,   But it propels the smart card forward with other variants of managed contracts, not just currency swaps. It introduces a smooth contract provable interface between heterogeneous ledgers. The hierarchical structure of contracts within the generic smart card  mean provability from a basic exchange protocol is inherited down the contract graph.

Provability here makes sense, we have limited ourselves to certain assumptions about arrivals and serialization. But we can enforce that, mostly via the spectre protocol wich serializes atstable contract boundaries.