Show best team attempt and align leaderboard

Keep canonical navigation compact on desktop

Add canonical GitHub source and participant guide

Polish leaderboard layout and serialize updates

Show latest team attempt and simplify evidence ranking

Increase typography and align workshop links

Use full desktop width and normalize portal surfaces

Support Gradio 6 portal layout

Refine submission portal and leaderboard layout

Link public dataset in portal

Add leaderboard to submission portal

Remove generated bytecode caches

Add DocSem submission portal

initial commit