# Reproducing the query-geometry development

Start with [REPORT.md](REPORT.md). The five concepts are proved in
[framework/PROOFS.md](framework/PROOFS.md). The two conjectures and additional
frequency improvement have separate proof and reproduction packages:

| Component | Findings | Reproduction |
|---|---|---|
| Complete arithmetic clock bound | [Report](arithmetic/REPORT.md) | [Guide](arithmetic/README.md) |
| Real-query response spectrum | [Report](spectrum/REPORT.md) | [Guide](spectrum/README.md) |
| Enlarged spatial calibration region | [Report](spatial/REPORT.md) | [Guide](spatial/README.md) |
| Definitions, transfer theorem, completion, sharp examples | [Report](framework/REPORT.md) | [Guide](framework/README.md) |

Run commands from the Math repository root. Exact rational checkers need
Python 3. Physical interval reconstruction additionally needs NumPy and
python-flint 0.9.0. Recorded development versions are Python 3.12.14 and
NumPy 2.3.5. Use one BLAS thread for reproducible resource use:

```sh
export PYTHONDONTWRITEBYTECODE=1 OPENBLAS_NUM_THREADS=1 OMP_NUM_THREADS=1
```

## Integrity and short consequence checks

```sh
python3 research/query_geometry_2026_09/verify_package.py
python3 research/query_geometry_2026_09/framework/check_examples.py --check research/query_geometry_2026_09/framework/examples.json
python3 research/query_geometry_2026_09/arithmetic/check_and_budget.py
python3 research/query_geometry_2026_09/arithmetic/test_clock_response.py
python3 research/query_geometry_2026_09/joint.py
```

The integrity command compares the complete local artifact inventory and
bound predecessor inputs with the sealed manifest. It does not prove the
mathematics or replace a reconstruction. The following commands check the
spatial continuum records and spectral frequency intervals; they require
the interval runtime and take longer:

```sh
python3 research/query_geometry_2026_09/spatial/check.py
python3 research/query_geometry_2026_09/spatial/test_spatial.py
python3 research/query_geometry_2026_09/spectrum/check.py
```

Some consumers write fresh result files with runtime-dependent metadata.
Verify the distributed inventory before regeneration. Changed hashes after
an intentional replay should be assessed from the mathematical checker
output; they are not a reason to silently reseal unreviewed evidence.

## Reconstruct the new defining-model channels

```sh
python3 research/query_geometry_2026_09/spectrum/check.py --physical
python3 research/query_geometry_2026_09/demonstrate_joint.py --bits 384
```

The first command rebuilds all signed moments and the complete spectrum
remainder at 448 bits, in addition to the full interval frequency cover.
The second reproduces all three saved raw data vectors from their declared
models and verifies all six augmented proposals at higher precision,
including normal-space and reading-space residual identities. The full
clock, spatial kernel, and component fixture commands are in their guides.

To regenerate the joint raw fixtures intentionally:

```sh
python3 research/query_geometry_2026_09/joint.py
python3 research/query_geometry_2026_09/demonstrate_joint.py --bits 320 --write
python3 research/query_geometry_2026_09/demonstrate_joint.py --bits 384
```

`joint.py` verifies all three predeclared contracts in both weightings using
exact rationals, checks the inverse/norm/frequency compatibility, and rejects
four corrupted integration premises. It consumes the clock and spectrum
numerical premises; it does not independently redo their interval producers.
The [integration review](joint_REVIEW.md) checks the shared model and avoids
double charging clock and drift distortions.

## Inherited premises and the meaning of validation

No earlier research package is edited. The complete arithmetic coefficient
biases and centering retain the expensive enumeration routes in
[degree11/README.md](../combined_transfer_2026_09/degree11/README.md) and
[the complete-tail guide](../transfer_theorem_2026_09/noise/README.md).
Their saved consequences and source bindings were checked here. The new
clock tail and new spectrum channels were reconstructed in this development;
not every historical arithmetic enumeration was rerun.

Analytic arguments establish the infinite tails, continuous coverage,
symmetry, closure classification and field realization. Exact examples,
interval reconstructions, adverse checks, and independent reviews make
their stated consequences auditable. None infers physical family membership
or calibration from a numerical fit.

[VALIDATION.json](VALIDATION.json) records completed checks and file hashes.
It is a local reproducibility inventory, not a claim of formal proof-assistant
verification, physical validation, or public deployment.