Repository navigation

Add proof proxy for checking clients - #1

Merged

bbatsov merged 4 commits into

mainfrom

Oct 7, 2026

Commits on Oct 7, 2026
- Keep the bytes of a cut-off string in Raw
  bbatsov
  committed
  21723dc
- Prepare the rule machinery for grading client traffic
  bbatsov
  committed
  b258005
- Add proof proxy for checking clients
  bbatsov
  committed
  7861fd4
- Note what clients need from the spec
  bbatsov
  committed
  5c0dca3