{"id":"consensus-correctness-doubly-unverified","text":"Consensus protocol correctness is doubly unverified: both Raft and TOB represent untested inverse optimizations of Multi-Paxos whose safety properties diverge specifically under asynchrony and crash failures, AND the testing methodology covers neither crash nor asynchronous failure modes — the exact conditions under which the two optimization strategies would reveal different safety profiles.","truth_value":"OUT","source":"","source_url":"","source_hash":"","justifications":[{"type":"SL","antecedents":["consensus-safety-unverified-across-optimization-variants","testing-covers-neither-crash-nor-async-failure-modes"],"outlist":[],"label":"The test methodology's blind spots exactly coincide with the conditions that would differentiate the consensus variants, making their safety claims maximally unfalsifiable."}],"dependents":[],"metadata":{"last_reviewed":"2026-05-30T09:01:17","review_result":"pass"},"created_at":"","updated_at":"","reviewed_at":"","verified_at":"","retracted_at":"","explanation":{"steps":[{"node":"consensus-correctness-doubly-unverified","truth_value":"OUT","reason":"SL justification invalid","failed_antecedents":["testing-covers-neither-crash-nor-async-failure-modes"],"label":"The test methodology's blind spots exactly coincide with the conditions that would differentiate the consensus variants, making their safety claims maximally unfalsifiable."}]}}