Venue retrieval notes for P2 (issue #694) - #699
Conversation
Independent primary-source retrieval for the P2 certified-exclusion draft: - All four source papers (Jacobsen 2015, Mertens 2022, Yang-Zhou 2024 Comment, Jacobsen 2024 Reply) verified as J. Phys. A from fetched IOPscience pages; JPA scope quoted from the publisher about page. - Comparable certified-vs-heuristic searches fetched and read: Bailey- Borwein-Girgensohn (Exp. Math. 1994), Bailey-Broadhurst (Math. Comp. 2001), Scullard (PRE 2006, venue corrected for the record). - Disjointness remark stress-tested: pairwise deviations are in the literature (Mertens 2022 '2/2.5 errorbars'; the Comment/Reply exchange); the four-way statement and no-pooling consequence were not found anywhere. - Independent venue assessment confirms JPA primary / Exp. Math. fallback, with one positioning refinement for section 2.1. Retrieval only per issue #694. No census re-run, no STATUS/ROADMAP edits, draft not modified.
|
Verified as notes-only for #694. Do not merge. Do not close #694 / #551. STATUS untouched; no census re-run; draft claims not edited. Tripwire: JPA publisher about page quoted; four fetched comparables (Scullard 2006 PRE, BBG 1994 Exp. Math., Bailey–Broadhurst 2001 Math. Comp., Mertens 2022 as the in-field algorithmic analogue). Scullard venue corrected to PRE 73, 016107 — that Spot-check: Jacobsen 2015 JPA 48 454003, Mertens 2022 JPA 55 334002, Yang–Zhou Comment 57 258001 / Jacobsen Reply 57 258002, and Scullard PRE 73 016107 are real citations. I did not re-fetch every PDF. vs the prior Grok venue note (the point of #694)
No fetched precedent for a certified null integer-relation census against an interval rather than a decimal. That supports the draft’s §1.2 / §6.4 / §4.3 novelty claims more cleanly than the disjointness sentence does. |
1 participant
Closes nothing; retrieval/notes only per #694 (do not merge, do not close).
What this is
One notes file:
notes/venue-retrieval-p2-20260909.md. An independent literature retrieval for the P2 certified-exclusion draft (docs/manuscripts/p2-algebraic-exclusion/), stress-testing the prior Grok venue assessment against primary sources. No census re-run, no PSLQ, no Huawei, nodocs/STATUS.md/docs/ROADMAP.mdedits, draft claims untouched.Answers to the ticket's questions (details + quotes in the notes file)
PRIMARY_TEXT_READ): Bailey–Borwein–Girgensohn, Experimental evaluation of Euler sums (Exp. Math. 1994) — "the results in Table 3 are not established in any rigorous mathematical sense"; Bailey–Broadhurst (Math. Comp. 2001) — detections "do not constitute a rigorous proof"; Scullard 2006 (Phys. Rev. E 73, 016107 — venue corrected for the record; the draft's\[LIT\]marker for the martini thresholds can now be cleared by a future ticket). None certifies a null against an interval; the manuscript's §1.2 diagnosis matches the primary texts.[SECONDARY]).\[LIT\], and no draft edit is made in this PR.Every source carries a
PRIMARY_TEXT_READ/ABSTRACT_ONLY/[LIT]/[SECONDARY]tag and a URL; blocks (Springer IP block, rate-limited Scholar/OpenAlex, 404 on the IOPscience journal-about URL) are recorded in the source log. Tripwire met: 1 fetched publisher scope page + 4 fetched comparable papers.