Finding ·
Withdrawn: a receipt does not bind the owning user (inspeximus)
This finding is withdrawn as of 2026-09-30, see the entry above. The T6 edit on the inspeximus rows had not actually crossed contexts, so the cell measured nothing. With a real crossing, the receipts report it.