{"id":"dip-two-formal-statements","text":"The Dependency Inversion Principle has exactly two statements: (1) high-level modules should not import from low-level modules, both should depend on abstractions; (2) abstractions should not depend on details, details should depend on abstractions.","truth_value":"IN","source":"entries/2026/06/17/dependency-inversion-principle.md","source_url":"https://en.wikipedia.org/wiki/Dependency_inversion_principle","source_hash":"","justifications":[],"dependents":["dip-complete-architectural-mechanism"],"metadata":{"last_premise_reviewed":"2026-06-17T18:19:22","premise_review_result":"pass"},"created_at":"2026-06-17T17:04:08+00:00","updated_at":"2026-06-17T17:04:08+00:00","reviewed_at":"","verified_at":"","retracted_at":"","explanation":{"steps":[{"node":"dip-two-formal-statements","truth_value":"IN","reason":"premise"}]}}