Ingest: 2026-05-29T18:47:13.269059+00:00 · releases indexed 2026-05-25T12:22:01+00:00

Release index is 4d older than this summary ingest — re-run ingest-release-manifests or wait for package-release.

187 of 187 catalog rows have wall-clock data in this ingest; 0 are catalog placeholders until harness runs produce CSV.

Li never SOTA; green perf requires validity — tier-0 stability or harness passed before wall-clock green is claimable. Best-competitor ratios use sota_lang (never li).

Red or unknown perf when validity failed or is missing — even if wall time looks good.

OS in this ingest: linux, macos, windows

Variants:defaultLi vs C++ shared problem sizeshared_c_kernelMay share C kernel — not pure-Li proofpure_liLi-only codegen (PH-7e); red is compiler workasync_stubTooling smoke — not HPC competitive

Tier-1 correctness

Measured tier-1 rows: 55 — validity 45 pass, 0 fail, 10 unknown. Analytical ULP: 0 within 1 ULP, 0 over 1 ULP, 55 without numeric oracle rows in CSV.

Ingest sources

Re-run tier-1 with --verify in lic to populate verify_ulps columns. CSV column reference

Tier 0

0 ok0 warn0 fail
1 pending

Tier 1

39 ok0 warn6 fail
10 pending

Tier 2

88 ok2 warn0 fail

Tier 3

10 ok0 warn0 fail
2 pending

Tier 5

0 ok0 warn0 fail
10 pending

Tier 6

0 ok0 warn0 fail
19 pending

Package freshness

Pillars

Compiler & codegen

Codegen, LLVM, compile-time, and toolchain benchmarks.

1 ok0 warn0 fail0 ?
1 claimable0 invalid0 unknown

3 charts · 1 row

HTTP / webserver

HTTP, webserver, and request-path throughput (li-httpd, lis).

0 ok0 warn0 fail9 ?
0 claimable0 invalid9 unknown

27 charts · 9 rows

Physics & simulations

Tier-2 simulations, rigid body, and physics module benches.

88 ok2 warn0 fail0 ?
88 claimable0 invalid0 unknown2 over threshold

270 charts · 90 rows

Proofs & correctness gates

Proof database, verification gates, and provability evidence.

0 ok0 warn0 fail1 ?
0 claimable0 invalid1 unknown

0 charts · 1 row

Security gates

CVE tiers, exploit harnesses, and security registry rows.

0 ok0 warn0 fail3 ?
0 claimable0 invalid3 unknown

12 charts · 3 rows

Database & registry OLTP

Storage, query, and proof-db / persistence performance.

0 ok0 warn0 fail17 ?
0 claimable0 invalid17 unknown

51 charts · 17 rows

Graphics & viewport

Rendering, GPU paths, and visualization workloads.

7 ok0 warn0 fail0 ?
7 claimable0 invalid0 unknown

21 charts · 7 rows

Ecosystem tooling

lip, lit, lic compile, and ecosystem tooling benches.

10 ok0 warn0 fail2 ?
10 claimable0 invalid2 unknown

36 charts · 12 rows