extractor: sound throw-routing for using/finally-only-try bodies (onT… #981

Job	Run time
C# leak extractor (Roslyn) -> OwnIR -> core	1m 2s
lint (ruff + mypy --strict)	10s
OwnTS (React useEffect) -> OwnIR -> core	6s
golden C# compiles & runs (.NET)	18s
own-check repo scan (github + msbuild) + composite action	44s
extended codegen fuzz	39s
tests (py3.11)	8s
P-014 Tier B — external reference resolution (--ref-dir)	27s
corpus benchmark (real C# recall + specificity)	3m 44s
tests (py3.13)	9s
tests (py3.12)	7s
audit aggregation selftests	7s
own-check SARIF -> GitHub code scanning (dog-food)	35s
	8m 16s

Navigation Menu