M3: Public website

List view

M3.1 — Build the public leaderboard: dual metrics + certificate drilldown + trajectory

Status: Open.

#6 In CodingThrust/problem-reductions-benchmark;

· GiggleLiu opened on Jun 10, 2026

M3.2 — CI: rebuild the index and publish the site, schema-gated

Status: Open.

#7 In CodingThrust/problem-reductions-benchmark;

· GiggleLiu opened on Jun 10, 2026