feat(cli): realize the extract/check/explain surface (explain in core, extract verb) #874

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

Navigation Menu