Does a tamper-evident log prove the data was true?

On its own a tamper-evident log proves the record was not changed after it was made. The Input Gate closes the other half: it proves each input came from the source that stands behind it and arrived unaltered, and it seals that proof with the decision. A source that vouches for wrong data has put its own domain and a permanent dated record behind it, so wrong data has an owner who can be held to it.

How it works

1. Seal the decision so nobody can change it afterwards (https://sebbi.pro/receipts).
2. Run every input through the Input Gate first, so each one is vouched for by its own source (https://sebbi.pro/garbage-in).
3. Keep the two codes together: one proves what went in, the other proves what was decided.
4. Anyone checks both against Bitcoin, free, at https://sebbi.pro/forever.