{"id":"modules-are-independently-runnable","text":"Each SDI module is independently runnable with only stdlib dependencies, in-process simulation, and no shared code — unless the stock exchange's cross-module import of the message queue is considered, which introduces a runtime dependency that breaks strict module independence.","truth_value":"IN","source":"","source_url":"","source_hash":"","justifications":[{"type":"SL","antecedents":["sdi-modules-are-standalone-learning-artifacts"],"outlist":["dmq-reused-by-stock-exchange"],"label":"Module independence holds for 24/25 modules; the stock exchange's DMQ import is the sole counter-example"}],"dependents":[],"metadata":{"last_reviewed":"2026-06-06T06:26:57","review_result":"pass"},"created_at":"","updated_at":"","reviewed_at":"","verified_at":"","retracted_at":"","explanation":{"steps":[{"node":"modules-are-independently-runnable","truth_value":"IN","reason":"SL justification valid","antecedents":["sdi-modules-are-standalone-learning-artifacts"],"label":"Module independence holds for 24/25 modules; the stock exchange's DMQ import is the sole counter-example","outlist":["dmq-reused-by-stock-exchange"]},{"node":"sdi-modules-are-standalone-learning-artifacts","truth_value":"IN","reason":"SL justification valid","antecedents":["sdi-repo-is-25-independent-modules","sdi-implementations-use-only-stdlib","sdi-implementations-are-in-process-simulations"],"label":"Independence + stdlib-only + simulation compose into zero-dependency pedagogical units"},{"node":"sdi-repo-is-25-independent-modules","truth_value":"IN","reason":"premise"},{"node":"sdi-implementations-use-only-stdlib","truth_value":"IN","reason":"premise"},{"node":"sdi-implementations-are-in-process-simulations","truth_value":"IN","reason":"premise"}]}}