Repository navigation

Attain four-query fragments and prove complete-source ceilings (no new κ) - #6766

Merged

Mister-Meeseeks merged 2 commits into

CrocSwap:mainfrom

CubeJerry:research/20261106d-four-query-ceiling

Nov 10, 2026

Merged

Attain four-query fragments and prove complete-source ceilings (no new κ)#6766
Mister-Meeseeks merged 2 commits into
CrocSwap:mainfrom
CubeJerry:research/20261106d-four-query-ceiling

Commits on Nov 6, 2026
- Retain exact sources for four-query construction and complete grammar bound
  CubeJerry
  committed
  f479025
- Attain four-query fragments and bound the complete mixed recursive grammar
  CubeJerry
  committed
  d87e4a3