feat(di): DI002 transitive — a singleton weakly holding a transient that drags in a scoped #366

Job	Run time
lint (ruff + mypy --strict)	22s
golden C# compiles & runs (.NET)	1m 7s
C# leak extractor (Roslyn) -> OwnIR -> core	27s
tests (py3.11)	7s
tests (py3.12)	9s
tests (py3.13)	7s
own-check SARIF -> GitHub code scanning (dog-food)	29s
extended codegen fuzz	34s
own-check repo scan (github + msbuild) + composite action	40s
corpus benchmark (real C# recall + specificity)	1m 33s
	5m 35s

Navigation Menu