Repository navigation

Streaming CoverageJSON encoder over the polytope-mars block stream - #140

Draft

jameshawkes wants to merge 12 commits into

mainfrom

feat/streaming-encoder

Draft

Streaming CoverageJSON encoder over the polytope-mars block stream#140
jameshawkes wants to merge 12 commits into
mainfrom
feat/streaming-encoder

Commits on Oct 7, 2026
Commits on Oct 8, 2026
- Describe the streaming encoder by what it writes, not by a design section
  jameshawkes
  committed
  109b081
Commits on Oct 9, 2026