Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
34 commits
Select commit Hold shift + click to select a range
7ab0d31
Add extreme whole-cluster law and exact maximum/minimum tail coeffici…
d6g8k5htny-coder Sep 30, 2026
40159ba
Remote coefficient numerics: script, source map, README and replay wo…
th3realdyll-afk Sep 30, 2026
56a7904
Add unit-square companion law and the small-ratio cubic height limit
d6g8k5htny-coder Sep 30, 2026
b3fac79
reconciliation (C6 residual closure): leading-mass localization bound…
claude Sep 30, 2026
40689d0
Merge Math- main fa1cf7b (Math-#166 two-scale geometry, Math-#167 reg…
claude Sep 30, 2026
57079b4
residual closure v1.1: Math-#166 Theorem L bound as the direct statem…
claude Sep 30, 2026
aaa3b8e
Merge Math- main fe2c3ff (Math-#172 two-scale custody repair) into cl…
claude Sep 30, 2026
5d8f011
residual closure v1.2: two-scale review record rebound to its Math-#1…
claude Sep 30, 2026
ad7c488
Remote coefficient numerics: RESULTS.json, NOTE.md, manifest; closed-…
th3realdyll-afk Sep 30, 2026
be385f2
residual closure v1.3: Math-#173 reviews answered; record node PROVED…
d6g8k5htny-coder Sep 30, 2026
90beb3a
Merge remote-tracking branch 'origin/main' into claude/c6-residual-cl…
claude Sep 30, 2026
63c75df
residual closure v1.4: re-verified at 8d48d02 after Math-#160 merged …
d6g8k5htny-coder Sep 30, 2026
ad60eae
Merge main 02772ec (Math-#168 merged) into the remote coefficient num…
claude Sep 30, 2026
7f70031
Remote coefficient numerics: pin the merged companion note (Math-#168…
th3realdyll-afk Sep 30, 2026
71772a8
Add microscopic radial-rate expansion and sharp signed/unsigned metri…
d6g8k5htny-coder Sep 30, 2026
f4d8bb9
Remote coefficient numerics: answer the five Codex findings in remote…
th3realdyll-afk Sep 30, 2026
1cf90aa
Merge branch 'main' into claude/c6-residual-closure-20260930
d6g8k5htny-coder Sep 30, 2026
1b8fdbe
Merge remote-tracking branch 'origin/main' into claude/c6-residual-cl…
claude Sep 30, 2026
6b79dae
residual closure v1.5: direct-statement paragraph repaired per review…
d6g8k5htny-coder Sep 30, 2026
0cc1dfb
Merge remote-tracking branch 'origin/claude/c6-residual-closure-20260…
claude Sep 30, 2026
30106e1
Merge PR #173: close C6 leading-mass localization residual
d6g8k5htny-coder Sep 30, 2026
fe79df0
Prove conditional finite-lifetime moments and radial moment consequences
d6g8k5htny-coder Sep 30, 2026
fb45d12
Remote coefficient numerics: regenerated RESULTS.json after the Codex…
th3realdyll-afk Sep 30, 2026
a04fc81
Remote coefficient numerics: wording amendments from the OpenAI Astra…
th3realdyll-afk Sep 30, 2026
ecba705
Remote coefficient numerics: truncation sentence repaired per the Ast…
th3realdyll-afk Sep 30, 2026
a8c6d79
Remote coefficient numerics: run the pin check when a consumed source…
th3realdyll-afk Sep 30, 2026
d768a17
Verify mode-specific receipts and publish complete review evidence
d6g8k5htny-coder Sep 30, 2026
dda8991
Merge reviewed finite-lifetime and radial moment consequences (#177)
d6g8k5htny-coder Sep 30, 2026
09beae2
Refresh reviewed radial-rate packet against current main
d6g8k5htny-coder Sep 30, 2026
3f28543
Remote coefficient numerics: reporting repairs from the Astra Slice C…
th3realdyll-afk Sep 30, 2026
7ca3eb0
Integrate reviewed microscopic radial-rate expansion (#176)
d6g8k5htny-coder Sep 30, 2026
9d7392e
Refresh reviewed whole-cluster packet against current main
d6g8k5htny-coder Sep 30, 2026
f430fde
Integrate reviewed whole-cluster extreme law (#169)
d6g8k5htny-coder Sep 30, 2026
448f812
Refresh remote coefficient numerical note onto current main
d6g8k5htny-coder Sep 30, 2026
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
67 changes: 67 additions & 0 deletions .github/workflows/c6-remote-coefficient-numerics.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,67 @@
name: C6 remote coefficient numerics (replay)

'on':
pull_request:
paths:
- 'frontiers/c6_remote_coefficient_numerics_20260930/**'
- '.github/workflows/c6-remote-coefficient-numerics.yml'
- 'imports/lifetime_parent_20260925/UNIFORM_MATRIX_CAP_AND_LIFETIME.md'
- 'frontiers/remote_window_20260924/PROOF.md'
- 'frontiers/c6_cluster_law_20260929/PROOF.md'
- 'frontiers/remote_collision_20260928/PROOF.md'
- 'frontiers/c6_cluster_coefficients_numerics_20260930/RESULTS.json'
workflow_dispatch:

permissions:
contents: read

jobs:
exact-controls-and-replay:
runs-on: ubuntu-latest
timeout-minutes: 20
steps:
- uses: actions/checkout@11d5960a326750d5838078e36cf38b85af677262
with:
persist-credentials: false
- uses: actions/setup-python@a26af69be951a213d495a4c3e4e4022e16d87065
with:
python-version: '3.11.16'
- name: Verify manifest and main-resident pins, replay exact controls and sample kernels, reject mutants
env:
PYTHONDONTWRITEBYTECODE: '1'
run: |
set -euo pipefail
python -B -S - <<'PY'
import hashlib, json, pathlib, subprocess, sys
root = pathlib.Path('frontiers/c6_remote_coefficient_numerics_20260930').resolve()
manifest = json.loads((root / 'SOURCE_FILES.json').read_text())['files']
present = sorted(p.name for p in root.iterdir())
if present != sorted([e['path'] for e in manifest] + ['SOURCE_FILES.json']):
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['sources']:
if not entry['current_required']:
continue
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 / 'remote.py')
for flags in (['-B', '-S'], ['-B', '-O', '-S']):
out = subprocess.run([sys.executable, *flags, script, '--check'], cwd=root, capture_output=True, timeout=900)
if out.returncode != 0:
raise RuntimeError('check failed under ' + ' '.join(flags) + ': ' + out.stdout.decode()[-400:])
for m in ['hermite-sign', 'det-abs', 'weight-indicator']:
rc = subprocess.run([sys.executable, *flags, script, '--check', '--mutant', m], cwd=root, capture_output=True, timeout=900).returncode
if rc != 1:
raise RuntimeError('mutant ' + m + ' not rejected')
print(json.dumps({'scientific_effect': 'NONE', 'certified': False}))
PY
git diff --exit-code
72 changes: 72 additions & 0 deletions .github/workflows/c6-residual-closure.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,72 @@
name: C6 residual closure checks

'on':
pull_request:
paths:
- 'reviews/c6_residual_closure_20260930/**'
- '.github/workflows/c6-residual-closure.yml'
- 'frontiers/spectral_cluster_closure_20260929/PROOF.md'
- 'frontiers/spectral_cluster_closure_20260929/REVIEW_RECORD.md'
- 'frontiers/spectral_cluster_closure_20260929/README.md'
- 'frontiers/c6_cluster_law_20260929/PROOF.md'
- 'frontiers/c6_cluster_law_20260929/README.md'
- 'frontiers/c6_cluster_law_20260929/SOURCE_MAP.json'
- 'frontiers/c6_palm_route_20260929/PROOF.md'
- 'frontiers/two_scale_cluster_geometry_20260929/TWO_SCALE_LAW.md'
- 'frontiers/two_scale_cluster_geometry_20260929/REVIEW_RECORD.md'
- 'frontiers/two_scale_cluster_geometry_20260929/REVIEW_RECORD.json'
- 'frontiers/downstream_gate_20260925/GRAPH.json'
- 'frontiers/downstream_gate_20260925/SELECTOR_REGION.json'
- 'frontiers/downstream_gate_20260925/hard_gate.py'
workflow_dispatch:

permissions:
contents: read

jobs:
exact-and-probe:
runs-on: ubuntu-latest
timeout-minutes: 10
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('reviews/c6_residual_closure_20260930').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'])
script = str(root / 'residual_check.py')
expected = (root / 'RESULTS.json').read_bytes()
mutants = ['allow-symlink', 'no-hash', 'stale-fingerprint', 'drop-required-edge', 'executed-flag', 'controlling-true', 'tail-reversed', 'pair-identity-broken', 'route-c-broken', 'drop-review-needle', 'installed-drift', 'snapshot-omitted', 'record-unreviewed', 'reviewed-text-drift']
for flags in (['-B', '-S'], ['-B', '-O', '-S']):
out = subprocess.run([sys.executable, *flags, script],
check=True, capture_output=True, timeout=300).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=300).returncode
if rc != 1:
raise RuntimeError('mutant ' + m + ' not rejected')
print(json.dumps({'scientific_effect': 'NONE', 'mathematical_acceptance': False}))
PY
git diff --exit-code
38 changes: 38 additions & 0 deletions .github/workflows/extreme-cluster-sampling.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,38 @@
name: Extreme whole-cluster sampling checks

'on':
pull_request:
paths:
- 'frontiers/extreme_cluster_sampling_20260930/**'
- '.github/workflows/extreme-cluster-sampling.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: Fetch exact public source objects
run: |
set -euo pipefail
git fetch --no-tags origin 80059a97cd8eb32d1a17a0ad9cb22cb2a0d7b337
git fetch --no-tags origin 382c0f9ff2281f43651ddbdf2e9b36dd52e2c6bf
git fetch --no-tags origin bfcc67dc8957b3ed1fbb789e5a0305e98d7359c8
- name: Verify historical sources, packet and exact controls
env:
PYTHONDONTWRITEBYTECODE: '1'
GIT_NO_REPLACE_OBJECTS: '1'
run: |
set -euo pipefail
python -B -S frontiers/extreme_cluster_sampling_20260930/verify.py
git diff --exit-code
33 changes: 33 additions & 0 deletions .github/workflows/lifetime-moment-boundary.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,33 @@
name: Lifetime and radial moment exact controls
'on':
pull_request:
paths:
- 'frontiers/lifetime_moment_boundary_20260930/**'
- 'reviews/radial_moment_corollaries_20260930/**'
- '.github/workflows/lifetime-moment-boundary.yml'
push:
branches: [main]
paths:
- 'frontiers/lifetime_moment_boundary_20260930/**'
- 'reviews/radial_moment_corollaries_20260930/**'
- '.github/workflows/lifetime-moment-boundary.yml'
workflow_dispatch:
permissions:
contents: read
jobs:
exact-moments:
runs-on: ubuntu-latest
timeout-minutes: 5
steps:
- uses: actions/checkout@11d5960a326750d5838078e36cf38b85af677262
with:
persist-credentials: false
- uses: actions/setup-python@a26af69be951a213d495a4c3e4e4022e16d87065
with:
python-version: '3.11.16'
- run: python -B -S frontiers/lifetime_moment_boundary_20260930/verify.py
- name: Receipt and frozen-source regression controls
run: |
python -B -S -m unittest discover -s frontiers/lifetime_moment_boundary_20260930 -p 'test_*.py' -v
python -B -O -S -m unittest discover -s frontiers/lifetime_moment_boundary_20260930 -p 'test_*.py' -v
- run: git diff --exit-code
38 changes: 38 additions & 0 deletions .github/workflows/radial-rate.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,38 @@
name: Microscopic radial-rate checks

'on':
pull_request:
paths:
- 'frontiers/radial_rate_20260930/**'
- '.github/workflows/radial-rate.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: Fetch exact public source objects
run: |
set -euo pipefail
git fetch --no-tags origin 80059a97cd8eb32d1a17a0ad9cb22cb2a0d7b337
git fetch --no-tags origin 382c0f9ff2281f43651ddbdf2e9b36dd52e2c6bf
git fetch --no-tags origin 7a1cb09a9d58d179393e6d29146252f714b9c9bf
- name: Verify sources, packet and both Python modes
env:
PYTHONDONTWRITEBYTECODE: '1'
GIT_NO_REPLACE_OBJECTS: '1'
run: |
set -euo pipefail
python -B -S frontiers/radial_rate_20260930/verify.py
git diff --exit-code
Loading
Loading