Equal-height mass: volume law B_{d,L} = β_d L^d + γ_d + O(L^N e^{−L²/8}) and B_{3,24} ≈ 10.21 ≈ 244 c_{3,24} (Theorem Z made quantitative; scientific effect NONE)

.github/workflows/equal-height-mass.yml

@@ -0,0 +1,76 @@
+name: Equal-height mass controls
+
+'on':
+  pull_request:
+    paths:
+      - 'frontiers/equal_height_mass_value_20261001/**'
+      - '.github/workflows/equal-height-mass.yml'
+      # bound merged sources (consumed and cited_only in SOURCES.json)
+      - 'frontiers/c7_zero_gap_limit_20260929/PROOF.md'
+      - 'frontiers/three_fronts_20260924/LIFETIME_REMAINDER.md'
+      - 'frontiers/c7_total_bounded_20260929/PROOF.md'
+      - 'imports/lifetime_parent_20260925/UNIFORM_MATRIX_CAP_AND_LIFETIME.md'
+      - 'coefficients/side24_v1/PROOF.md'
+      - 'frontiers/remainder_vanishing_20260930/PROOF.md'
+      - 'frontiers/cusp_second_order_20261001/PROOF.md'
+      - 'frontiers/candidate_third_order_20261001/PROOF.md'
+      - 'frontiers/third_order_rate_20261001/PROOF.md'
+  workflow_dispatch:
+
+permissions:
+  contents: read
+
+jobs:
+  exact-controls:
+    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 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/equal_height_mass_value_20261001').resolve()
+          manifest = json.loads((root / 'SOURCES.json').read_text())
+          present = sorted(p.name for p in root.iterdir())
+          expected_names = sorted([e['path'] for e in manifest['files']] + ['SOURCES.json'])
+          if present != expected_names:
+              raise ValueError('packet tree differs from manifest: ' + repr(present))
+          for entry in manifest['files']:
+              path = root / entry['path']
+              if path.is_symlink():
+                  raise ValueError('symlink: ' + entry['path'])
+              data = path.read_bytes()
+              if len(data) != entry['bytes'] or hashlib.sha256(data).hexdigest() != entry['sha256']:
+                  raise ValueError('packet file identity mismatch: ' + entry['path'])
+          for entry in manifest['consumed'] + manifest['cited_only']:
+              data = pathlib.Path(entry['path']).read_bytes()
+              framed = b'blob ' + str(len(data)).encode() + b'\0' + data
+              if len(data) != entry['bytes'] or hashlib.sha256(data).hexdigest() != entry['sha256'] or hashlib.sha1(framed).hexdigest() != entry['git_blob']:
+                  raise ValueError('merged source drifted: ' + entry['path'])
+          if manifest.get('consumed_unmerged'):
+              raise ValueError('this packet declares no unmerged dependency')
+          script = str(root / 'equal_height_mass.py')
+          expected = (root / 'RESULTS.json').read_bytes()
+          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 manifest['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', 'M9'], capture_output=True, timeout=600).returncode
+              if rc != 2:
+                  raise RuntimeError('unknown mutant label not rejected with exit 2')
+          print(json.dumps({'scientific_effect': 'NONE', 'mathematical_acceptance': False}))
+          PY
+          git diff --exit-code

frontiers/equal_height_mass_value_20261001/GAMMA.json

@@ -0,0 +1,30 @@
+{
+ "B_3_24": 10.2097,
+ "I_of_s": {
+  "0.25": 6.719e-05,
+  "0.50": 0.0001348,
+  "0.75": 0.0001937,
+  "1.00": 0.0002535,
+  "1.25": 0.0003173,
+  "1.50": 0.0003809,
+  "1.75": 0.0004374,
+  "2.00": 0.0005175,
+  "2.25": 0.000584,
+  "2.50": 0.0006492,
+  "2.75": 0.0006933,
+  "3.00": 0.0006943,
+  "3.25": 0.000719,
+  "3.50": 0.0007273,
+  "3.75": 0.000735,
+  "4.00": 0.0007427,
+  "4.25": 0.0007512,
+  "4.50": 0.0007334
+ },
+ "beta_3": 0.0007400614572,
+ "gamma_3": -0.02095,
+ "gamma_3_se_batches": 0.0013,
+ "method": "two-point conditional Gaussian law (exact Hermite covariance derivatives), Monte Carlo over the Hessian residual with common random numbers in b, Gauss-Hermite (20) in b, trapezoid in s, step 0.25",
+ "not_a_control": true,
+ "object": "CL-EQUAL-HEIGHT-MASS-20261001-v1 exploration",
+ "samples_per_separation": 200000
+}