docs: align evidence-coverage spec + README with implemented moved_at… #1023

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

Navigation Menu