{"id":"reads-are-active-convergence-engines","text":"Reads in this architecture are active convergence engines rather than passive data retrievals: they perform the deferred computation and consistency work that writes skip (lazy evaluation, read repair, tombstone interpretation) AND mutate system state as a side effect (triggering replica repair, advancing read markers), making the read path simultaneously the system's primary workload, its primary state-evolution mechanism, and its primary consistency enforcement layer.","truth_value":"IN","source":"","source_url":"","source_hash":"","justifications":[{"type":"SL","antecedents":["reads-are-not-pure-across-domains","read-path-absorbs-consistency-and-computation-cost"],"outlist":[],"label":"Reads both compute deferred results and mutate state — they are the system's active convergence mechanism"}],"dependents":["delivery-guarantees-follow-write-read-cost-asymmetry","read-path-responsibility-exceeds-verification","read-responsibility-spans-convergence-and-filtering","write-read-lifecycle-is-correct-in-symmetric-domains"],"metadata":{"last_reviewed":"2026-06-05T18:21:49","review_result":"pass"},"created_at":"","updated_at":"","reviewed_at":"","verified_at":"","retracted_at":"","explanation":{"steps":[{"node":"reads-are-active-convergence-engines","truth_value":"IN","reason":"SL justification valid","antecedents":["reads-are-not-pure-across-domains","read-path-absorbs-consistency-and-computation-cost"],"label":"Reads both compute deferred results and mutate state — they are the system's active convergence mechanism"},{"node":"reads-are-not-pure-across-domains","truth_value":"IN","reason":"SL justification valid","antecedents":["kv-read-repair-on-get","email-service-get-email-marks-read"],"label":"Two independent domains (distributed KV, email) both attach mandatory side effects to read operations, showing that reads-with-side-effects is a cross-cutting pattern rather than a domain-specific quirk"},{"node":"kv-read-repair-on-get","truth_value":"IN","reason":"premise"},{"node":"email-service-get-email-marks-read","truth_value":"IN","reason":"premise"},{"node":"read-path-absorbs-consistency-and-computation-cost","truth_value":"IN","reason":"SL justification valid","antecedents":["lazy-read-time-evaluation-trades-write-simplicity-for-read-cost","kv-read-path-is-self-healing"],"label":"lazy eval (autocomplete decay, URL expiration, payment balance) defers computation to reads; KV read repair defers convergence to reads — the combined pattern reveals a systematic bias toward read-path complexity across the repo"},{"node":"lazy-read-time-evaluation-trades-write-simplicity-for-read-cost","truth_value":"IN","reason":"SL justification valid","antecedents":["autocomplete-decay-is-read-time","url-shortener-expiration-lazy","payment-balance-never-cached"],"label":"Three independent systems chose lazy evaluation, suggesting write-simplicity is the dominant concern in pedagogical implementations"},{"node":"autocomplete-decay-is-read-time","truth_value":"IN","reason":"premise"},{"node":"url-shortener-expiration-lazy","truth_value":"IN","reason":"premise"},{"node":"payment-balance-never-cached","truth_value":"IN","reason":"premise"},{"node":"kv-read-path-is-self-healing","truth_value":"IN","reason":"SL justification valid","antecedents":["kv-read-repair-on-get","kv-node-stores-sibling-versions"],"label":"Read repair + sibling detection make the read path an active consistency mechanism, not just a query"},{"node":"kv-node-stores-sibling-versions","truth_value":"IN","reason":"premise"}]}}