Datalog DSL detects defective dependency declarations, defanging dodgy development discipline

Intended audience Software engineers interested in logic programming or static analysis, and actually using it in production. Origin Originally presented at Seattle Build Enthusiasts Meetup (Autumn 2025) Frustration at work due to not having a hermetic build system. Prior experience with static analysis techniques. Mood Excited to share a useful tool with like-minded colleagues. Table of contents:…