DistOS-2011W Observability & Contracts

Please note that the majority of our efforts are contained on the "Discussion" page.

Problem Outline

How do we define 'public' action? How do we monitor 'public' action without monitoring every action?
How can you make sure your agent is acting according to your instructions?
How can we ensure that information we receive through a third-party is legitimate?
How do I observe the acts of other agents, particularly public acts?
What CAN be observed?
How can contracts be made between computers/agents?
How can we ensure that contracts are being upheld?