{"id":"email-service-get-email-marks-read","text":"`get_email` always side-effects a `mark_read`; there is no read-without-marking retrieval path.","truth_value":"IN","source":"entries/2026/06/05/distributed-email-service-email_service.md","source_url":"","source_hash":"","justifications":[],"dependents":["reads-are-not-pure-across-domains"],"metadata":{},"created_at":"","updated_at":"","reviewed_at":"","verified_at":"","retracted_at":"","explanation":{"steps":[{"node":"email-service-get-email-marks-read","truth_value":"IN","reason":"premise"}]}}