Skip to content

research(proximity): add G313 all-rank scale audit - #517

Open
OxBenji wants to merge 1 commit into
lalalune:research/proximity-prizefrom
OxBenji:codex/g313-all-rank-window-scale-audit
Open

research(proximity): add G313 all-rank scale audit#517
OxBenji wants to merge 1 commit into
lalalune:research/proximity-prizefrom
OxBenji:codex/g313-all-rank-window-scale-audit

Conversation

@OxBenji

@OxBenji OxBenji commented Aug 1, 2026

Copy link
Copy Markdown

Summary

  • add G313 exact all-rank window scale audit for coefficient-1 vs coefficient-2 adjacent-rank alignment
  • reproduce G300 small window oscillation at p=113,n=8 and G297 small coefficient-anchor mismatch at p=113,n=16
  • certify p=111*2^128+1 with Proth witness 5, then verify for n=16 that coefficient 1 is negative and coefficient 2 is positive for every rank r=1..15

Verification

  • python scripts/probes/g313_all_rank_window_scale_audit.py
  • git diff --check
  • python scripts/forbidden_tokens.py

Known pre-existing docs check issue on Windows:

  • python scripts/check-docs-integrity.py fails with: CLAUDE.md must be a symlink to AGENTS.md

@shane9coy

Copy link
Copy Markdown

Independent read: G313 exact all-rank window scale audit for
coefficient-1 vs coefficient-2 adjacent-rank alignment. Reproduces
G300 small window oscillation at p=113,n=8 and G297 small
coefficient-anchor mismatch at p=113,n=16, then certifies
p=111*2^128+1 with Proth witness 5 and verifies for n=16 that
coefficient 1 is negative and coefficient 2 is positive for every
rank r=1..15. Two small-field reproductions plus one large-field
sweep with explicit honest-scope (finite audit, not prize
closure). Concur.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants