canonical Ids
The distinct stored proposition ids, in the order they were first seen.
Two inputs that deduplicated onto one proposition appear once here and twice in canonicalPropositions. Use this for anything that should be written once per stored proposition, such as a run link.