Repository navigation

feat(machines): the tables of explicit block-counting networks on numbers (#1833 H3) - #1909

Merged

SamuelSchlesinger merged 22 commits into

mainfrom

claude/hpv-polytime-tables

Oct 31, 2026

Merged

feat(machines): the tables of explicit block-counting networks on numbers (#1833 H3)#1909
SamuelSchlesinger merged 22 commits into
mainfrom
claude/hpv-polytime-tables

Commits on Oct 30, 2026
Commits on Oct 31, 2026
- refactor(machines): expose the block-network graph API (#1833 H3)
  
  SamuelSchlesinger
  and
  claude
  committed
  93e3c1e
- feat(machines): interval counts on plain data (#1833 H3)
  
  SamuelSchlesinger
  and
  claude
  committed
  a68faf1
- feat(machines): replays of interval coins in polynomial time (#1833 H3)
  
  SamuelSchlesinger
  and
  claude
  committed
  01f1f96
- feat(machines): window tapes, reads and head coordinates in polynomial time (#1833 H3)
  
  SamuelSchlesinger
  and
  claude
  committed
  dfaab64
- feat(machines): interval counts in polynomial time (#1833 H3)
  
  SamuelSchlesinger
  and
  claude
  committed
  2324560
- fix(machines): drop unused NeZero arguments in interval data
  
  SamuelSchlesinger
  and
  claude
  committed
  df307b8
- feat(machines): the graph of explicit block-counting networks on numbers (#1833 H3)
  
  SamuelSchlesinger
  and
  claude
  committed
  6fd5c5d
- refactor(machines): state the numeric ports per vertex (#1833 H3)
  
  SamuelSchlesinger
  and
  claude
  committed
  3b7f4c0
- feat(machines): the tables of explicit block-counting networks on numbers (#1833 H3)
  
  SamuelSchlesinger
  and
  claude
  committed
  f16d8e4
- Merge origin/main into claude/hpv-polytime-tables
  
  SamuelSchlesinger
  and
  claude
  committed
  8c2fa4e