Ingest: 2026-06-11T03:37:47.022491+00:00 · releases indexed 2026-06-11T03:37:47.022491+00:00

Release index and summary ingest are aligned.

155 of 190 catalog rows have wall-clock data in this ingest; 35 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 charts pin the best competitor at 1.0; the table shows li when Li leads.

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

1 donated chip(s) · 4 open slots (M1, RTX 3090, …) — donate your hardware for the cross-vendor matrix.
GPU matrix →

Tier-1 correctness

Measured tier-1 rows: 46 — validity 46 pass, 0 fail, 0 unknown. Analytical ULP: 0 within 1 ULP, 0 over 1 ULP, 46 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

1 ok0 warn0 fail

Tier 1

44 ok2 warn0 fail5 ?
7 pending

Tier 2

90 ok0 warn0 fail

Tier 3

10 ok0 warn0 fail
2 pending

Tier 5

8 ok0 warn0 fail
2 pending

Tier 6

0 ok0 warn0 fail
19 pending

Package freshness

Pillars

Compiler & codegen

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

1 ok0 warn0 fail1 ?
1 claimable0 invalid1 unknown

3 charts · 2 rows

HTTP / webserver

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

8 ok0 warn0 fail1 ?
8 claimable0 invalid1 unknown

1 row with unknown validity

27 charts · 9 rows

Physics & simulations

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

90 ok0 warn0 fail0 ?
90 claimable0 invalid0 unknown

270 charts · 90 rows

Proofs & correctness gates

Proof database, verification gates, and provability evidence.

1 ok0 warn0 fail0 ?
1 claimable0 invalid0 unknown

3 charts · 1 row

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

2 rows with unknown validity

32 charts · 12 rows