Systems and methods are disclosed for establishing information on a state of a machine-executable contract in the context of unspent transactions (UTXOs), blockchain and deterministic finite automaton implementation of contracts, and determination of states within those. Stages of a method include determining information of interest and codes or tags identifying that information, constructing metadata associated with those codes or tags, and combining the metadata with a public key for an agent associated with the information. ScriptPubKey values of each script are used to provide keys for constructing a database and mapping the keys from the scriptPubKey values, linked to the information. A derivation of script hash addresses from the scriptPubKey values is used to populate a digital wallet. A search and match algorithm is used to find UTXOs with matching script hash addresses on a blockchain. The database is populated with UTXOs that match the script hash addresses and keys to complete the combinations. A match indicates the state.