Repository navigation

feat(Classes/CountingSimulation): block-counting network families (#1833 H3) - #1911

Merged

SamuelSchlesinger merged 24 commits into

mainfrom

claude/hpv-network-families

Oct 31, 2026

Merged

feat(Classes/CountingSimulation): block-counting network families (#1833 H3)#1911
SamuelSchlesinger merged 24 commits into
mainfrom
claude/hpv-network-families

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 remote-tracking branch 'origin/main' into claude/hpv-network-families
  SamuelSchlesinger
  committed
  238ecd2
- feat(Classes/CountingSimulation): block-counting network families (#1833 H3)
  
  SamuelSchlesinger
  and
  claude
  committed
  82316d2
- Merge origin/main into claude/hpv-network-families
  
  SamuelSchlesinger
  and
  claude
  committed
  80d8411

Navigation Menu

Repository navigation

feat(Classes/CountingSimulation): block-counting network families (#1833 H3) - #1911

feat(Classes/CountingSimulation): block-counting network families (#1833 H3)#1911
SamuelSchlesinger merged 24 commits into
mainfrom
claude/hpv-network-families

Commits on Oct 30, 2026

feat(circuit/frontier): Boolean tensor networks and their contraction

feat(time): accepting choice-string counts for NTIME and BPTIME (#1833 H1)

feat(machines): HPV time intervals, tape blocks and schedules of coin runs (#1833 H2)

refactor(complexity): share the generic accepted-string count with machines

refactor(circuit/frontier): index explicit tables by BitString.lsbValue

feat(circuit/frontier): binarize a tensor network by an injective code

Merge remote-tracking branch 'origin/claude/hpv-choice-normal-form' into claude/hpv-interval-tensors

feat(machines): interval tensors of HPV-blocked coin runs (#1833 H3)

Merge branch 'claude/tensor-network-binarize' into claude/hpv-block-network

feat(machines): block-counting tensor networks (#1833 H3, Lemma 2.2)

feat(machines): explicit Boolean block-counting networks (#1833 H3)

feat(machines): decide interval steps by finite simulation (#1833 H3)

Commits on Oct 31, 2026

refactor(machines): expose the block-network graph API (#1833 H3)

feat(machines): interval counts on plain data (#1833 H3)

feat(machines): replays of interval coins in polynomial time (#1833 H3)

feat(machines): window tapes, reads and head coordinates in polynomial time (#1833 H3)

feat(machines): interval counts in polynomial time (#1833 H3)

fix(machines): drop unused NeZero arguments in interval data

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

refactor(machines): state the numeric ports per vertex (#1833 H3)

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

Merge remote-tracking branch 'origin/main' into claude/hpv-network-families

feat(Classes/CountingSimulation): block-counting network families (#1833 H3)

Merge origin/main into claude/hpv-network-families