fix(rust): represent lattice bottom explicitly, separate from a concr… #1398

Job	Run time
rust (fmt + clippy + tests)	30s
audit aggregation selftests	8s
golden C# compiles & runs (.NET)	20s
extended codegen fuzz	37s
lint (ruff + mypy --strict)	13s
tests (py3.11)	8s
tests (py3.13)	10s
P-014 Tier B — external reference resolution (--ref-dir)	36s
C# leak extractor (Roslyn) -> OwnIR -> core	1m 6s
tests (py3.12)	7s
own-check repo scan (github + msbuild) + composite action	36s
OwnTS (React useEffect) -> OwnIR -> core	9s
corpus benchmark (real C# recall + specificity)	4m 18s
own-check SARIF -> GitHub code scanning (dog-food)	41s
OwnTS OSS true positives -> runtime leak proof (jsdom)	11s
ownsharp CLI (gate A) — clean install -> check -> findings (windows-latest)	1m 13s
ownsharp CLI (gate A) — clean install -> check -> findings (ubuntu-latest)	33s
	11m 36s

Navigation Menu