Output States

Transaction output states take a similar form to the Smart Contract view and are shown at the end of an arrow coming out of the transaction:

You can see that whereas in the Smart Contract view the state boxes show the property types, in the Ledger Evolution view the state boxes show actual values for the properties.

You can also see that the participants no longer reference state properties, but have been replaced by actual Parties.

In our example we can see that Alice creates and signs a transaction which outputs a PROPOSED state that: proposes to Bob that Bob sells her One bunch of bananas for £10.