InferDI is next-gen DI for TypeScript where the dependency graph is the type. It catches missing keys, wrong constructor deps, and unsafe lifetime leaks at compile time — with no decorators, no reflect-metadata, no plugins, no setup, and zero runtime dependencies. Works anywhere TypeScript or JavaScript runs.