{"id":"queue-abstraction-is-logical-not-physical","text":"The message queue is designed as a logical abstraction layer, not a physical storage system: offsets are logical (surviving partition trimming via base_offset adjustment), dead-letter queues are regular topics with a naming convention (no special infrastructure), and delivery guarantees are enforced entirely at the consumer layer through poll/commit semantics — the broker provides ordering and retention while consumers own correctness.","truth_value":"IN","source":"","source_url":"","source_hash":"","justifications":[{"type":"SL","antecedents":["message-delivery-guarantees-are-consumer-side","dmq-partition-offset-is-logical","dmq-dlq-is-regular-topic"],"outlist":[],"label":"Consumer-side guarantees (depth-1) + logical offsets + DLQ-as-topic (both base) show the queue separates logical semantics from physical storage throughout"}],"dependents":["logical-abstraction-decouples-semantics-from-storage"],"metadata":{"last_reviewed":"2026-06-05T18:21:49","review_result":"pass"},"created_at":"","updated_at":"","reviewed_at":"","verified_at":"","retracted_at":"","explanation":{"steps":[{"node":"queue-abstraction-is-logical-not-physical","truth_value":"IN","reason":"SL justification valid","antecedents":["message-delivery-guarantees-are-consumer-side","dmq-partition-offset-is-logical","dmq-dlq-is-regular-topic"],"label":"Consumer-side guarantees (depth-1) + logical offsets + DLQ-as-topic (both base) show the queue separates logical semantics from physical storage throughout"},{"node":"message-delivery-guarantees-are-consumer-side","truth_value":"IN","reason":"SL justification valid","antecedents":["dmq-delivery-semantics-in-poll","dmq-two-tier-offset-tracking"],"label":"The two-tier offset gap (current minus committed) is the mechanism that enables all three delivery modes — the broker just stores offsets, consumers choose semantics"},{"node":"dmq-delivery-semantics-in-poll","truth_value":"IN","reason":"premise"},{"node":"dmq-two-tier-offset-tracking","truth_value":"IN","reason":"premise"},{"node":"dmq-partition-offset-is-logical","truth_value":"IN","reason":"premise"},{"node":"dmq-dlq-is-regular-topic","truth_value":"IN","reason":"premise"}]}}