Repository navigation

feat(WordRAM): a word-RAM time hierarchy by bridge composition (#739) - #2066

Merged

SamuelSchlesinger merged 10 commits into

mainfrom

claude/wordram-time-hierarchy-739

Oct 31, 2026

Merged

feat(WordRAM): a word-RAM time hierarchy by bridge composition (#739)#2066
SamuelSchlesinger merged 10 commits into
mainfrom
claude/wordram-time-hierarchy-739

Commits on Oct 31, 2026
- feat(WordRAM): explicit-degree overhead for the Turing-machine simulation (#739)
  
  SamuelSchlesinger
  and
  claude
  committed
  2cfbb17
- Merge origin/main into claude/wordram-time-hierarchy-739
  
  SamuelSchlesinger
  and
  claude
  committed
  3dfd109
- feat(WordRAM): a word-RAM time hierarchy by bridge composition (#739)
  
  SamuelSchlesinger
  and
  claude
  committed
  8cc17bc
- doc(WordRAM): compare the composed hierarchy with Cook–Reckhow's direct one
  
  SamuelSchlesinger
  and
  claude
  committed
  aa6d777
- Merge origin/main into claude/wordram-explicit-overhead-739
  
  SamuelSchlesinger
  and
  claude
  committed
  6bd74ea
- refactor(WordRAM): named components and shared length lemmas in the overhead (#739)
  
  SamuelSchlesinger
  and
  claude
  committed
  c96fb9c
- Merge claude/wordram-explicit-overhead-739 (#2046 review fixes) into claude/wordram-time-hierarchy-739
  
  SamuelSchlesinger
  and
  claude
  committed
  a6946d9
- Merge origin/main into claude/wordram-time-hierarchy-739
  
  SamuelSchlesinger
  and
  claude
  committed
  098a1c2
- refactor(Classes): expose TimeConstructible.mem_FTIME in a constructible function-time module
  
  SamuelSchlesinger
  and
  claude
  committed
  1a4a086
- Merge origin/main into claude/wordram-time-hierarchy-739
  
  SamuelSchlesinger
  and
  claude
  committed
  ed03b95