Repository navigation

Fresh-mark gate for paper settlement, CI on PRs, README refresh - #1

Merged

devsolux merged 9 commits into

mainfrom

claude/nifty-shamir-966338

Oct 16, 2026

Merged

Fresh-mark gate for paper settlement, CI on PRs, README refresh#1
devsolux merged 9 commits into
mainfrom
claude/nifty-shamir-966338

Commits on Oct 16, 2026
- Defer paper expiry settlement at a stale or missing mark
  
  devsolux
  and
  claude
  committed
  8eb4bb6
- Defer paper funding at a stale or missing mark
  
  devsolux
  and
  claude
  committed
  2dffb71
- Run CI on pushes and pull requests with current pins
  
  devsolux
  and
  claude
  committed
  28c9677
- Restructure README for a concise project landing page
  
  devsolux
  and
  claude
  committed
  21f1ab2
- Pin CI actions to release commits
  
  devsolux
  and
  claude
  committed
  e03bd28
- Require uv-managed Python in CI
  
  devsolux
  and
  claude
  committed
  ac7f734
- Type-check cleanly on Windows
  
  devsolux
  and
  claude
  committed
  6466e60
- Fix Windows source checkouts, dataset prep and launcher modes
  
  devsolux
  and
  claude
  committed
  57229e3
- Make the test suite portable to Windows
  
  devsolux
  and
  claude
  committed
  7f4bdd1