docs: fix oracle-only count in the Polly ledger — 11 TimedLock, not 1… #862

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

Navigation Menu