Skip to content

docs(paper): Telperion system whitepaper (arXiv preprint draft) - #240

Merged
DrMurphyIsIn merged 19 commits into
mainfrom
docs/phase5-whitepaper
Sep 6, 2026
Merged

docs(paper): Telperion system whitepaper (arXiv preprint draft)#240
DrMurphyIsIn merged 19 commits into
mainfrom
docs/phase5-whitepaper

Conversation

@DrMurphyIsIn

@DrMurphyIsIn DrMurphyIsIn commented Sep 6, 2026

Copy link
Copy Markdown
Owner

Phase 5. A compilable, arXiv-ready LaTeX preprint under paper/ presenting Telperion as a system, with three honestly-scoped case studies. No mathematics changed.

What's here

  • paper/main.tex + modular sections/*.tex + references.bib (13 entries; all citation keys resolve). Builds via make pdf (latexmk, or a pdflatex+bibtex fallback). Compiles clean: 0 undefined refs/cites, ~225 KB PDF.
  • Author: Peter W. Murphy, MD.
  • Structure (system-paper): intro → the Telperion system → the vacuity gap & self-verification → three case studies → evaluation/limitations → related work → conclusion → reproducibility appendix.

Voice & honesty (the whole point)

  • Conversational and approachable, yet exact — motivate before formalizing, plain-language gloss beside every precise statement.
  • Honesty guardrails enforced (grep-gated): no "resolution / fully machine-checked / solved / breakthrough"; conjecture1_proved = False stated; the classical BG conjecture is open; RH is not claimed; every verified claim names a Lean theorem (phi_le_one, gstep_le_one_achievable, zeta_fract_repr, zeta_log_bound, riemannZeta_zero_free_poly/polylog, the 51-theorem knapsack core).
  • Attribution kept exact per NOTICE.md (AXLE ≠ AxiomMath/ZetaZeros; case-study mathematics credited to Brualdi–Goldwasser, de la Vallée-Poussin, Grigoriev/Laurent, Kurpisz–Leppänen–Mastrolilli).

Maintainer-gated items left explicit (not silently filled)

  • The sharp BG Φ¹¹-vs-classical tie numeral is a visible % TODO(maintainer) in §4 (same flag as docs+ci: reconcile R3Cert module count; fix lean-e2e path trigger (Phase 2) #234).
  • Two arXiv bib entries (2609.02882, 2606.26442) + Grigoriev/KLM carry % VERIFY markers for exact titles/venues before submission.
  • Author list, arXiv category set, and submit-vs-hold are maintainer decisions before submission.

Gated on #231 landing (inherits pre-dvp_atoms red main until then); own content is a self-contained LaTeX doc.

🤖 Generated with Claude Code

Dr. Murphy and others added 12 commits September 5, 2026 21:23
Dr. Murphy @claude
docs(paper): spec for the Telperion system whitepaper (Phase 5)
eff0e4a 
arXiv preprint (math.CO + cs.LO), LaTeX, Telperion-as-system thesis with
BG/RH/proof-complexity case studies. Conversational, approachable tone as a
first-class requirement, with hard honesty guardrails (conjecture1_proved=
False, no overclaim, per-arc verified-vs-open, exact-artifact traceability).

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01W4CnMPKEstq3yVjTgjtreY
Dr. Murphy @claude
docs(paper): implementation plan for the Telperion whitepaper (Phase 5)
3f77022 
Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01W4CnMPKEstq3yVjTgjtreY
Dr. Murphy @claude
docs(paper): compilable LaTeX skeleton
951a85c 
Author: Peter W. Murphy, MD. Modular main.tex + 9 section stubs +
reproducibility-ready Makefile; compiles clean (pdflatex fallback when
latexmk absent). Build artifacts gitignored.

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01W4CnMPKEstq3yVjTgjtreY
Dr. Murphy @claude
docs(paper): references.bib (11 entries; all citation keys resolve)
61a89cb 
Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01W4CnMPKEstq3yVjTgjtreY
Dr. Murphy @claude
docs(paper): section 2 -- the Telperion system
8450bfb 
Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01W4CnMPKEstq3yVjTgjtreY
Dr. Murphy @claude
docs(paper): section 3 -- vacuity gap and self-verification
2175c6f 
Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01W4CnMPKEstq3yVjTgjtreY
Dr. Murphy @claude
docs(paper): section 4 -- Brualdi-Goldwasser case study
460c2cf 
Classical conjecture stated OPEN; Branch-model phi_le_one verified;
verified-vs-open table; sharp tie numeral left as % TODO(maintainer).

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01W4CnMPKEstq3yVjTgjtreY
Dr. Murphy @claude
docs(paper): section 5 -- RH zero-free regions case study
fd0dde2 
Four unconditional kernel-verified results; explicitly weaker than dVP;
RH not claimed; BC theorem flagged DRAFT.

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01W4CnMPKEstq3yVjTgjtreY
Dr. Murphy @claude
docs(paper): section 6 -- proof-complexity case study
cd0f907 
Kernel-checked symbolic-in-n SOS lower bound (Grigoriev knapsack); math
credited to Grigoriev/Laurent + Kurpisz-Leppanen-Mastrolilli, contribution
= the certified pipeline. Adds grigoriev2001 + klm2016 to references.bib.

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01W4CnMPKEstq3yVjTgjtreY
Dr. Murphy @claude
docs(paper): section 1 -- introduction and abstract
cc7f788 
Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01W4CnMPKEstq3yVjTgjtreY
Dr. Murphy @claude
docs(paper): sections 7-9 -- evaluation, related work, conclusion
965564e 
Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01W4CnMPKEstq3yVjTgjtreY
Dr. Murphy @claude
docs(paper): reproducibility appendix + appendix wiring
b5ca6c0 
Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01W4CnMPKEstq3yVjTgjtreY
Dr. Murphy and others added 7 commits September 5, 2026 22:36
Dr. Murphy @claude
docs(paper): verify + correct bib entries (arXiv, Grigoriev, KLM)
6ca6b8b 
Web-verified against arXiv/Springer, removing the % VERIFY markers:
- 2609.02882 is Lamzouri, 'A new proof that more than 2/3 of the zeros...'
  (math.NT), NOT authored by Axiom Math -- that is the paper AxiomMath/
  ZetaZeros formalizes; corrected author/title + §8 wording accordingly.
- 2606.26442 = 'AXLE: A Cloud Infrastructure for Lean 4 Theorem Proving
  Utilities' (Xin, Schneidman, Cummins, Ram, Ganesh, Limperg; cs.LO).
- Grigoriev knapsack (Comput. Complexity 10:139-154, 2001) confirmed.
- KLM: IPCO 2016, LNCS 9682, pp. 362-374, Springer.

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01W4CnMPKEstq3yVjTgjtreY
Dr. Murphy @claude
docs(paper): refresh bib header note (all entries verified)
8ab2b1d 
Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01W4CnMPKEstq3yVjTgjtreY
Dr. Murphy @claude
docs(paper): resolve BG Phi^11 framing as deliberately qualitative
fb84c95 
Verified (repo computation) that Phi^11 has no single canonical 'tie value'
(>=3 normalizations; the '81/8' from memory is not reproduced), so no sharp
numeral goes in -- state the branch-model-vs-classical distinction
qualitatively by design. Removes the % TODO(maintainer) note.

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01W4CnMPKEstq3yVjTgjtreY
Dr. Murphy
Merge remote-tracking branch 'origin/main' into docs/phase5-whitepaper
c78adf2
Dr. Murphy
Merge remote-tracking branch 'origin/main' into docs/phase5-whitepaper
86cdf90
Dr. Murphy @claude
docs(paper): fold in landed RH/BG merges (PRs #227, #228, #236, #251)
4804602 
- §5 (RH): add the Jensen-Polya hyperbolicity result (#227) -- kernel-verified
  jensen_box_hyperbolic_deg2_{0,1,2} via a discriminant bridge, the finite
  GORZ-criterion instances; explicitly finite, NOT a proof of RH. Cite GORZ 2019.
  Note the dVP/Blaschke item-(d) log-derivative foundation (#251) is now
  formalized while the region stays conditional.
- §4 (BG): add the near-star non-maximality certificate (#228,
  nearStar_not_maximal_at_five) -- the broadened tie family strictly beats the
  near-star at size 56; near-star extremal only for K>=23.
- §2: note the new analytic capabilities (#236: box-robust positivity, degree-2
  hyperbolicity) in the shape table.
Merged current main (all four PRs) into the branch; compiles clean, honesty
guardrails intact (RH not claimed, BG conjecture open).

Co-Authored-By: Claude Opus 4.8 (1M context) <noreply@anthropic.com>
Claude-Session: https://claude.ai/code/session_01W4CnMPKEstq3yVjTgjtreY
Dr. Murphy
Merge remote-tracking branch 'origin/main' into docs/phase5-whitepaper
d6f97b3
@DrMurphyIsIn
DrMurphyIsIn merged commit 3f50896 into main Sep 6, 2026
0 of 7 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

1 participant

@DrMurphyIsIn