Done deal

The pit bosses defined so far:

Pit.boss = [FixedPriceCommerce, StandardS&L,Auction, Bankruptcy,S tockMarket]

In the initialization, the Pit boss init sets the operating parameters, known and enforced, on all bots.These are grouped by, trade and coin types, trade resolution methods, resource allocations on the graph.  Most of the parameters have some overlap across functions, and most have smooth defaults   The parameter set is installed in the dict for each bot, the bots selected from a k own se of sloys with different bot codes.  All bots display a verifiable use of contract constraints, the parameter restrictions. Contract legally valid, signed by humans via their smart cards..

Verifiable for the bot means, what you do in the for loop, your selector, as you descend.  That is verifiable, the software analyzer tool will be able o verifiable a smooth descent, at price, off line. The rule appliers to the pit boss. Between the for loops, you are on your own, you can have compute space one box down. No one will look.