Surface analysis-skipped notes in coverage ledger; refresh aggregate(… #597

Job	Run time
corpus benchmark (real C# recall + specificity)	2m 30s
C# leak extractor (Roslyn) -> OwnIR -> core	37s
audit aggregation selftests	10s
own-check SARIF -> GitHub code scanning (dog-food)	38s
own-check repo scan (github + msbuild) + composite action	42s
tests (py3.13)	9s
tests (py3.12)	5s
tests (py3.11)	7s
lint (ruff + mypy --strict)	11s
golden C# compiles & runs (.NET)	19s
extended codegen fuzz	34s
	6m 2s

Navigation Menu