Repository navigation
C6 cluster law: r^-3 Q(N = n) converges to an explicit nu carried by {1, 2}; asymptotic factorial moments and identified compound-Poisson limits #159
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Merged
Merged
Changes from all commits
Commits
Show all changes
42 commits
Select commit
Hold shift + click to select a range
5a878dc
Execute reviewed D5 graph fold
d6g8k5htny-coder 506f315
Publish reviewed D5 and C6 proof paths
d6g8k5htny-coder e613472
Record reviewed planar C6 upper bound
d6g8k5htny-coder 07a6240
Add D5 graph fold negative controls
d6g8k5htny-coder f71fb6e
Document D5 graph fold scope
d6g8k5htny-coder 4174623
Regenerate downstream gate result for D5 graph fold
d6g8k5htny-coder 41fcd31
Rebind downstream gate sources after D5 graph fold
d6g8k5htny-coder d3d8677
Repair reviewed-region reporting after D5 graph fold
d6g8k5htny-coder 8b6a9f2
Merge current Math main and reconcile D5 graph fold
d6g8k5htny-coder cbb2f97
Publish marked Fourier exponential-cluster candidate and exact source…
d6g8k5htny-coder 325c5eb
Add exact planar cubic classifier and Gaussian compact soft-sector limit
d6g8k5htny-coder bfcc67d
Add deterministic deep-transverse exclusion lemma for the local tail …
d6g8k5htny-coder ab12c84
Merge branch 'main' into codex/d5-graph-proof-index-20260929
d6g8k5htny-coder f0d1180
Add C6 cluster-law candidate: r^-3 Q(N = n) converges to an explicit …
th3realdyll-afk 42db0ef
Repair D5 catalog review crosswalk
d6g8k5htny-coder 573a510
Mark historical C7 proposal refuted
d6g8k5htny-coder 64a170f
Correct C7 refutation provenance
d6g8k5htny-coder e7f8929
Add rare-intensity norm control and conditional planar cluster-law cl…
d6g8k5htny-coder 7188bfa
C6 cluster law v1.1: spectral chart, full-space exclusion, K_4 split,…
claude c18cb08
C6 cluster law: correct the provenance of [RC] in SOURCE_MAP (Claude-…
claude 5c484bf
Merge pull request #161 from d6g8k5htny-coder/chatgpt/local-cluster-t…
d6g8k5htny-coder 8f9dc95
Merge current main into reviewed planar cluster packet
d6g8k5htny-coder aa28838
Merge pull request #158 from d6g8k5htny-coder/chatgpt/planar-cubic-cl…
d6g8k5htny-coder aa0aa10
Merge branch 'main' into codex/d5-graph-proof-index-20260929
d6g8k5htny-coder d753067
Merge current main into reviewed marked Fourier packet
d6g8k5htny-coder 23707cf
C6 cluster law v1.2: normalizer restored, Lemma 5.1 by whitening, kap…
claude 4583648
Run marked Fourier custody on upstream-only main pushes
d6g8k5htny-coder 704ec19
C6 cluster law: state Corollary X as a near point-intensity limit wit…
claude 90e8906
Expose exact GP DATA 114 embedded source and historical receipt
d6g8k5htny-coder 2479a7c
Merge pull request #157 from d6g8k5htny-coder/chatgpt/c6-marked-fouri…
d6g8k5htny-coder bb95756
Merge current main into GP DATA 114 custody for strict tested-base ch…
d6g8k5htny-coder de839d2
C6 cluster law: kappa chosen on the singular-slice mixture; collar wh…
claude e477b7c
C6 cluster law: one-clause consistency fix in the Lemma 5.1 whitening…
claude e0b1b2e
Repair exact packet membership and published payload lineage checks
d6g8k5htny-coder 4807bff
C6 cluster law: residualized pin-ball frame and transitive mean bound…
claude f7c3395
C6 cluster law: record the completed external literature check in REC…
claude bb429d3
Merge pull request #165 from d6g8k5htny-coder/codex/gpdata114-public-…
d6g8k5htny-coder db08d99
Refresh reviewed C6 cluster-law packet onto current main
d6g8k5htny-coder 609e559
Merge branch 'main' into codex/d5-graph-proof-index-20260929
d6g8k5htny-coder ec6db8c
Merge pull request #151 D5 graph fold
d6g8k5htny-coder 29915b4
Refresh unchanged reviewed C6 cluster law after planar D5 fold landed
d6g8k5htny-coder becb986
C6 cluster law: record the nonauthor acceptance (OpenAI review 536019…
claude File filter
Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
There are no files selected for viewing
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
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,70 @@ | ||
| name: C6 cluster-law checks | ||
|
|
||
| 'on': | ||
| pull_request: | ||
| paths: | ||
| - 'frontiers/c6_cluster_law_20260929/**' | ||
| - '.github/workflows/c6-cluster-law.yml' | ||
| workflow_dispatch: | ||
|
|
||
| permissions: | ||
| contents: read | ||
|
|
||
| jobs: | ||
| exact-and-probe: | ||
| runs-on: ubuntu-latest | ||
| timeout-minutes: 15 | ||
| steps: | ||
| - uses: actions/checkout@11d5960a326750d5838078e36cf38b85af677262 | ||
| with: | ||
| persist-credentials: false | ||
| - uses: actions/setup-python@a26af69be951a213d495a4c3e4e4022e16d87065 | ||
| with: | ||
| python-version: '3.11.16' | ||
| - name: Verify sources, replay both modes, reject mutants | ||
| env: | ||
| PYTHONDONTWRITEBYTECODE: '1' | ||
| run: | | ||
| set -euo pipefail | ||
| python -B -S - <<'PY' | ||
| import hashlib, json, pathlib, subprocess, sys | ||
| root = pathlib.Path('frontiers/c6_cluster_law_20260929').resolve() | ||
| manifest = json.loads((root / 'SOURCE_FILES.json').read_text())['files'] | ||
| present = sorted(p.name for p in root.iterdir()) | ||
| expected_names = sorted([e['path'] for e in manifest] + ['SOURCE_FILES.json']) | ||
| if present != expected_names: | ||
| raise ValueError('packet tree differs from manifest: ' + repr(present)) | ||
| for entry in manifest: | ||
| path = root / entry['path'] | ||
| if pathlib.PurePosixPath(entry['path']).name != entry['path'] or path.is_symlink(): | ||
| raise ValueError('flat regular source required: ' + entry['path']) | ||
| data = path.read_bytes() | ||
| if len(data) != entry['bytes'] or hashlib.sha256(data).hexdigest() != entry['sha256']: | ||
| raise ValueError('source identity mismatch: ' + entry['path']) | ||
| pins = json.loads((root / 'SOURCE_MAP.json').read_text()) | ||
| for entry in pins['inputs'] + pins['planar_sources_behind_DL']: | ||
| data = pathlib.Path(entry['path']).read_bytes() | ||
| blob = hashlib.sha1(b'blob %d\0' % len(data) + data).hexdigest() | ||
| if len(data) != entry['bytes'] or hashlib.sha256(data).hexdigest() != entry['sha256'] or blob != entry['git_blob']: | ||
| raise ValueError('consumed source identity mismatch on this tree: ' + entry['path']) | ||
| script = str(root / 'cluster_law_check.py') | ||
| expected = (root / 'RESULTS.json').read_bytes() | ||
| mutants = ['pins-not-critical', 'wrong-pin-hessian', 'drop-sigma-jacobian', 'three-extra-points', 'shear-drop-cubic', 's-bound-constant', | ||
| 'cross-term-not-small', 'window-closed', 'index-sign'] | ||
| for flags in (['-B', '-S'], ['-B', '-O', '-S']): | ||
| out = subprocess.run([sys.executable, *flags, script], | ||
| check=True, capture_output=True, timeout=600).stdout | ||
| if out != expected: | ||
| raise RuntimeError('output differs from RESULTS.json under ' + ' '.join(flags)) | ||
| for m in mutants: | ||
| rc = subprocess.run([sys.executable, *flags, script, '--mutant', m], | ||
| capture_output=True, timeout=600).returncode | ||
| if rc != 1: | ||
| raise RuntimeError('mutant ' + m + ' not rejected') | ||
| rc = subprocess.run([sys.executable, *flags, script, '--mutant', 'unknown'], | ||
| capture_output=True, timeout=600).returncode | ||
| if rc != 2: | ||
| raise RuntimeError('unknown mutant not rejected with rc 2') | ||
| print(json.dumps({'scientific_effect': 'NONE', 'mathematical_acceptance': False})) | ||
| PY | ||
| git diff --exit-code | ||
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
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,50 @@ | ||
| name: C6 marked Fourier controls | ||
|
|
||
| 'on': | ||
| pull_request: | ||
| paths: | ||
| - 'frontiers/c6_marked_fourier_20260929/**' | ||
| - '.github/workflows/c6-marked-fourier.yml' | ||
| - 'frontiers/c6_fourier_cutoff_20260929/PROOF.md' | ||
| - 'frontiers/c6_palm_route_20260929/PROOF.md' | ||
| - 'frontiers/c6_palm_route_20260929/SOURCE_MAP.json' | ||
| - 'frontiers/d5_dimension_lift_20260929/PROOF.md' | ||
| - 'frontiers/elder_dimension_lift_20260928/PROOF.md' | ||
| - 'frontiers/c6_rare_cluster_laws_20260929/PROOF.md' | ||
| push: | ||
| branches: [main] | ||
| paths: | ||
| - 'frontiers/c6_marked_fourier_20260929/**' | ||
| - '.github/workflows/c6-marked-fourier.yml' | ||
| - 'frontiers/c6_fourier_cutoff_20260929/PROOF.md' | ||
| - 'frontiers/c6_palm_route_20260929/PROOF.md' | ||
| - 'frontiers/c6_palm_route_20260929/SOURCE_MAP.json' | ||
| - 'frontiers/d5_dimension_lift_20260929/PROOF.md' | ||
| - 'frontiers/elder_dimension_lift_20260928/PROOF.md' | ||
| - 'frontiers/c6_rare_cluster_laws_20260929/PROOF.md' | ||
| workflow_dispatch: | ||
|
|
||
| permissions: | ||
| contents: read | ||
|
|
||
| jobs: | ||
| exact-marked: | ||
| runs-on: ubuntu-latest | ||
| timeout-minutes: 15 | ||
| steps: | ||
| - uses: actions/checkout@11d5960a326750d5838078e36cf38b85af677262 | ||
| with: | ||
| fetch-depth: 0 | ||
| persist-credentials: false | ||
| - uses: actions/setup-python@a26af69be951a213d495a4c3e4e4022e16d87065 | ||
| with: | ||
| python-version: '3.11.16' | ||
| - name: Both-mode controls and exact upstream custody | ||
| run: | | ||
| set -euo pipefail | ||
| packet=frontiers/c6_marked_fourier_20260929 | ||
| python -B -S "$packet/verify.py" --output "${RUNNER_TEMP}/marked-${GITHUB_RUN_ID}-${GITHUB_RUN_ATTEMPT}" | ||
| python -B -S -m unittest discover -s "$packet" -p test_sources.py -v | ||
| python -B -O -S -m unittest discover -s "$packet" -p test_sources.py -v | ||
| python -B -S "$packet/source_check.py" --repo "${GITHUB_WORKSPACE}" | ||
| git diff --exit-code |
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
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,52 @@ | ||
| name: GP DATA 114 inert custody | ||
| 'on': | ||
| pull_request: | ||
| paths: | ||
| - 'imports/gp_data_114_embedded_20260930/**' | ||
| - '.github/workflows/gpdata114-inert-custody.yml' | ||
| push: | ||
| branches: [main] | ||
| paths: | ||
| - 'imports/gp_data_114_embedded_20260930/**' | ||
| - '.github/workflows/gpdata114-inert-custody.yml' | ||
| workflow_dispatch: | ||
| permissions: | ||
| contents: read | ||
| jobs: | ||
| inert-custody: | ||
| runs-on: ubuntu-latest | ||
| timeout-minutes: 15 | ||
| steps: | ||
| - uses: actions/checkout@11d5960a326750d5838078e36cf38b85af677262 | ||
| with: | ||
| persist-credentials: false | ||
| - uses: actions/setup-python@a26af69be951a213d495a4c3e4e4022e16d87065 | ||
| with: | ||
| python-version: '3.11.16' | ||
| - name: Verify inert bytes and decoder controls only | ||
| run: | | ||
| set -euo pipefail | ||
| packet=imports/gp_data_114_embedded_20260930 | ||
| python -B -S - <<'PY' | ||
| import hashlib, json, pathlib, urllib.parse, urllib.request | ||
| packet = pathlib.Path('imports/gp_data_114_embedded_20260930') | ||
| source = json.loads((packet / 'SOURCES.json').read_text())['wrapper'] | ||
| url = 'https://raw.githubusercontent.com/' + source['repository'] + '/' + source['commit'] + '/' + urllib.parse.quote(source['path'], safe='/') | ||
| raw = urllib.request.urlopen(url, timeout=30).read(65537) | ||
| if len(raw) != source['bytes'] or hashlib.sha256(raw).hexdigest() != source['sha256']: | ||
| raise SystemExit('exact public wrapper identity mismatch') | ||
| pathlib.Path('/tmp/gpdata114-wrapper.txt').write_bytes(raw) | ||
| PY | ||
| python -B -S "$packet/verify_packet.py" --packet "$packet" --wrapper-input /tmp/gpdata114-wrapper.txt > /tmp/gpdata114-packet-normal.json | ||
| python -B -O -S "$packet/verify_packet.py" --packet "$packet" --wrapper-input /tmp/gpdata114-wrapper.txt > /tmp/gpdata114-packet-optimized.json | ||
| cmp /tmp/gpdata114-packet-normal.json /tmp/gpdata114-packet-optimized.json | ||
| python -B -S "$packet/test_verify_packet.py" --wrapper-input /tmp/gpdata114-wrapper.txt > /tmp/gpdata114-packet-tests-normal.json | ||
| python -B -O -S "$packet/test_verify_packet.py" --wrapper-input /tmp/gpdata114-wrapper.txt > /tmp/gpdata114-packet-tests-optimized.json | ||
| cmp /tmp/gpdata114-packet-tests-normal.json /tmp/gpdata114-packet-tests-optimized.json | ||
| python -B -S "$packet/inert_decoder.py" --wrapper-input /tmp/gpdata114-wrapper.txt --verify-existing "$packet" > /tmp/gpdata114-normal.json | ||
| python -B -O -S "$packet/inert_decoder.py" --wrapper-input /tmp/gpdata114-wrapper.txt --verify-existing "$packet" > /tmp/gpdata114-optimized.json | ||
| cmp /tmp/gpdata114-normal.json /tmp/gpdata114-optimized.json | ||
| python -B -S "$packet/test_inert_decoder.py" --wrapper-input /tmp/gpdata114-wrapper.txt > /tmp/gpdata114-tests-normal.json | ||
| python -B -O -S "$packet/test_inert_decoder.py" --wrapper-input /tmp/gpdata114-wrapper.txt > /tmp/gpdata114-tests-optimized.json | ||
| cmp /tmp/gpdata114-tests-normal.json /tmp/gpdata114-tests-optimized.json | ||
| git diff --exit-code |
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
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,40 @@ | ||
| name: Local cluster tightness and conditional closure controls | ||
|
|
||
| 'on': | ||
| pull_request: | ||
| paths: | ||
| - 'frontiers/local_cluster_tightness_20260929/**' | ||
| - '.github/workflows/local-cluster-tightness.yml' | ||
| - 'frontiers/c6_palm_route_20260929/PROOF.md' | ||
| - 'frontiers/d5_dimension_lift_20260929/PROOF.md' | ||
| - 'frontiers/remote_window_20260924/PROOF.md' | ||
| - 'frontiers/remote_collision_20260928/PROOF.md' | ||
| - 'frontiers/window_multiplicity_laws_20260928/LOCAL_MULTIPLICITY.md' | ||
| - 'frontiers/c6_rare_cluster_laws_20260929/PROOF.md' | ||
| push: | ||
| branches: [main] | ||
| paths: | ||
| - 'frontiers/local_cluster_tightness_20260929/**' | ||
| - '.github/workflows/local-cluster-tightness.yml' | ||
| workflow_dispatch: | ||
|
|
||
| permissions: | ||
| contents: read | ||
|
|
||
| jobs: | ||
| exact-tightness: | ||
| runs-on: ubuntu-latest | ||
| timeout-minutes: 10 | ||
| steps: | ||
| - uses: actions/checkout@11d5960a326750d5838078e36cf38b85af677262 | ||
| with: | ||
| fetch-depth: 0 | ||
| persist-credentials: false | ||
| - uses: actions/setup-python@a26af69be951a213d495a4c3e4e4022e16d87065 | ||
| with: | ||
| python-version: '3.11.16' | ||
| - name: Both modes, semantic controls and exact current/historical sources | ||
| run: | | ||
| set -euo pipefail | ||
| python -B -S frontiers/local_cluster_tightness_20260929/verify.py --repo "${GITHUB_WORKSPACE}" --output "${RUNNER_TEMP}/tightness-${GITHUB_RUN_ID}-${GITHUB_RUN_ATTEMPT}" | ||
| git diff --exit-code |
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
| Original file line number | Diff line number | Diff line change |
|---|---|---|
| @@ -0,0 +1,31 @@ | ||
| name: Planar cubic cluster checks | ||
|
|
||
| 'on': | ||
| pull_request: | ||
| paths: | ||
| - 'frontiers/planar_cubic_cluster_20260929/**' | ||
| - '.github/workflows/planar-cubic-cluster.yml' | ||
| workflow_dispatch: | ||
|
|
||
| permissions: | ||
| contents: read | ||
|
|
||
| jobs: | ||
| exact-and-source: | ||
| runs-on: ubuntu-latest | ||
| timeout-minutes: 10 | ||
| steps: | ||
| - uses: actions/checkout@11d5960a326750d5838078e36cf38b85af677262 | ||
| with: | ||
| persist-credentials: false | ||
| fetch-depth: 0 | ||
| - uses: actions/setup-python@a26af69be951a213d495a4c3e4e4022e16d87065 | ||
| with: | ||
| python-version: '3.11.16' | ||
| - name: Verify packet, both sources and both Python modes | ||
| env: | ||
| PYTHONDONTWRITEBYTECODE: '1' | ||
| run: | | ||
| set -euo pipefail | ||
| python -B -S frontiers/planar_cubic_cluster_20260929/verify.py | ||
| git diff --exit-code |
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
Oops, something went wrong.
Oops, something went wrong.
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.
Uh oh!
There was an error while loading. Please reload this page.