Parent: #650. Long-horizon synthesis. Do not start until PRs exist for as many of #673, #677, #679 as have landed; if some are still open, write OPEN for those rows and still ship the rest.
Why
The wrapping line now has too many notes (#668 dictionary, #676 A′, #675 obstruction, #684 F=(1+M)/2, #683 spirals). A later reader cannot see which statements are theorems on all honest tori and which are axis L=3,4 integers.
Deliverable
One notes file, draft PR against main. A table with rows:
- five-cell support
r_b + r_w = 2- white label = f(black label) (Fact 2)
- D-carrying cells = exclusive crosses
- spiral cell D=0 config-wise
both-two = 0 from intersection number- onset I1–I4 (axis) and diamond conjectures
F = (1+M)/2 and p*_L = Q_L(1/2)- one-operator map at finite L (obstruction)
Each row: theorem / census-only (which L) / OPEN. Quote the PR that carries it. No new census. No L=5 joint. No Huawei unless a cited ticket already said NEED_HUAWEI — then do not run it.
Do not fund #636. No STATUS. Do not close the source tickets.
Wait for ASSIGNED_MACHINE.
Parent: #650. Long-horizon synthesis. Do not start until PRs exist for as many of #673, #677, #679 as have landed; if some are still open, write
OPENfor those rows and still ship the rest.Why
The wrapping line now has too many notes (#668 dictionary, #676 A′, #675 obstruction, #684 F=(1+M)/2, #683 spirals). A later reader cannot see which statements are theorems on all honest tori and which are axis L=3,4 integers.
Deliverable
One notes file, draft PR against main. A table with rows:
r_b + r_w = 2both-two = 0from intersection numberF = (1+M)/2andp*_L = Q_L(1/2)Each row: theorem / census-only (which L) / OPEN. Quote the PR that carries it. No new census. No L=5 joint. No Huawei unless a cited ticket already said NEED_HUAWEI — then do not run it.
Do not fund #636. No STATUS. Do not close the source tickets.
Wait for
ASSIGNED_MACHINE.