The Birkner/GKP comparison is for the paper, not for this repository - #35
Merged
Conversation
Three documents called it owed. It is not going to be done here, so they stop saying so -- an obligation nobody intends to meet should not be left standing in the file the next publication is written from. The decision (author, 2026-08-24): the reconciliation against Birkner's Type Ia and GKP's two variants is publication work. No formula, count or test in this repository depends on its outcome; the characteristic-2 genus-3 formulas are derived, gated and measured either way. RELATED_WORK.md already carries both normal forms and GKP's 1I + 62M + 5S / 100A with citations, which is what that work would start from, so nothing is lost by not tracking it as a task. What changed, and what deliberately did not: README's current-work bullet now says a comparison is NOT PLANNED here and points at the material, where it used to say the formulas "must be reconciled". That bullet sits under "Current and planned work", so advertising work nobody plans was the worst place for it. NEW_WORK.md Part I no longer calls the reconciliation "PR7/PR8's stated obligation". The substance is kept and is worth keeping -- the forms genuinely differ, Birkner spending the isomorphism budget on h where we spend it on f, and ours applying to any degree-3 h rather than irreducible h only. It is now framed as what it is: a comparison a paper should make, and one that should be made as a comparison rather than as a claim of priority, because neither form dominates and saying which is preferable requires naming what is being optimised. The in-flight row keeps its DONE marker and drops "Still owed". A stale figure went with it: that row still read 33ADD 53M 3S 66A 0C, the value from before the efficiency sweep. Re-measured rather than corrected by memory -- opcount reports 51M 3S 62A 0C and 3DBL 51M 4S 55A 2C.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
1 participant
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Three documents called this comparison owed. It is not going to be done here, so they stop saying
so — an obligation nobody intends to meet should not be left standing in the file the next publication
is written from.
The decision
The reconciliation against Birkner's Type Ia and GKP's two variants is publication work. No
formula, count or test in this repository depends on its outcome: the characteristic-2 genus-3
formulas are derived, gated and measured either way. RELATED_WORK.md already
carries both normal forms and GKP's
1I + 62M + 5S / 100Awith citations, which is what that workwould start from — so nothing is lost by not tracking it as a task.
What changed
material, where it used to say the formulas "must be reconciled". That bullet sits under Current
and planned work, which is the worst possible place to advertise work nobody plans.
NEW_WORK.mdPart I no longer calls the reconciliation "PR7/PR8's stated obligation".DONEmarker and drops "Still owed".What deliberately did not change
The substance in Part I is kept, because it is worth keeping: the normal forms genuinely differ —
Birkner spends the isomorphism budget on
hwhere we spend it onf, and ours applies to anydegree-3
hrather than to irreduciblehonly. It is now framed as what it is: a comparison a papershould make, and one that should be made as a comparison rather than as a claim of priority,
because neither form dominates and saying which is preferable requires naming what is being optimised.
A stale figure went with it
That in-flight row still read
33ADD 53M 3S 66A 0C— the value from before the efficiency sweep in#32. Re-measured rather than corrected from memory:
opcount.pyreports51M 3S 62A 0Cand3DBL 51M 4S 55A 2C.Doc-only.
readme-paths,check_paths --strictand selftest 17/0 all clean; no.magfile touched.