{"id":"digest-binds-view-sequence-to-request","text":"The `accepted_preprepare` dict enforces a one-to-one mapping from `(view, sequence)` to digest, preventing a Byzantine primary from assigning two different requests to the same protocol slot","truth_value":"IN","source":"entries/2026/05/29/topic-byzantine-fault-tolerance.md","source_url":"","source_hash":"","justifications":[],"dependents":[],"metadata":{},"explanation":{"steps":[{"node":"digest-binds-view-sequence-to-request","truth_value":"IN","reason":"premise"}]}}