{"id":"read-responsibility-spans-convergence-and-filtering","text":"The read path's responsibility extends beyond active convergence (repair, lazy computation, consistency enforcement) to include systematic entity-state filtering (excluding processing/failed/watched items) — both are deferred-to-read decisions whose complexity grows with the system's state space, compounding the read path's total correctness burden.","truth_value":"IN","source":"","source_url":"","source_hash":"","justifications":[{"type":"SL","antecedents":["reads-are-active-convergence-engines","search-status-filter","recommendation-excludes-watched"],"outlist":[],"label":"entity-state filtering is an additional read-path cost dimension alongside the already-identified convergence and computation responsibilities"}],"dependents":["read-path-is-universal-site-of-deferred-work"],"metadata":{},"created_at":"","updated_at":"","reviewed_at":"","verified_at":"","retracted_at":"","explanation":{"steps":[{"node":"read-responsibility-spans-convergence-and-filtering","truth_value":"IN","reason":"SL justification valid","antecedents":["reads-are-active-convergence-engines","search-status-filter","recommendation-excludes-watched"],"label":"entity-state filtering is an additional read-path cost dimension alongside the already-identified convergence and computation responsibilities"},{"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"},{"node":"search-status-filter","truth_value":"IN","reason":"premise"},{"node":"recommendation-excludes-watched","truth_value":"IN","reason":"premise"}]}}