{"id":"dmq-reused-by-stock-exchange","text":"The message queue is imported by `stock-exchange/test_exchange.py` as an event bus for order matching, demonstrating cross-module reuse across SDI implementations.","truth_value":"OUT","source":"entries/2026/06/05/distributed-message-queue-solution.md","source_url":"","source_hash":"","justifications":[],"dependents":["gap-containment-requires-module-independence","modules-are-independently-correct","modules-are-independently-runnable","pedagogical-tradeoffs-are-safe-within-module-boundaries"],"metadata":{"_retracted":true},"created_at":"","updated_at":"2026-06-17T14:30:20+00:00","reviewed_at":"","verified_at":"","retracted_at":"2026-06-17T14:30:20+00:00","explanation":{"steps":[{"node":"dmq-reused-by-stock-exchange","truth_value":"OUT","reason":"retracted premise"}]}}