feat(d5.4): extractor emits alias_join for verified ctor-adopt (step 2, first slice) #840

Job	Run time
own-check repo scan (github + msbuild) + composite action	52s
own-check SARIF -> GitHub code scanning (dog-food)	26s
audit aggregation selftests	9s
golden C# compiles & runs (.NET)	22s
extended codegen fuzz	33s
tests (py3.13)	7s
lint (ruff + mypy --strict)	12s
tests (py3.12)	6s
P-014 Tier B — external reference resolution (--ref-dir)	28s
tests (py3.11)	6s
corpus benchmark (real C# recall + specificity)	2m 51s
C# leak extractor (Roslyn) -> OwnIR -> core	46s
	6m 58s

Navigation Menu