Synchronized frozen release

WCT-2026.2 · June 29, 2026

Reproduce the current 142-object WCT stack from exact source commits.

One command rebuilds and checks the canonical equation source, complete SymPy audit, effective registry, 62-ID Lean typed-support layer, synchronized public surfaces, deterministic finite-band simulation, and recorded artifact hashes.

Fastest path

git clone https://github.com/rickyjreyes/rickyjreyes.github.io.git
cd rickyjreyes.github.io
make reproduce

Open WCT-2026.2 View manifest View CI runs Archive: WCT-2026.1

142canonical objects

62typed Lean IDs

80registry-only IDs

4pinned repositories

Release delta

The frozen formal layer now matches the maintained 62-ID state.

Coverage progression: 18 → 50 → 62 equation-specific Lean mappings. WCT-2026.2 freezes 62 mapped IDs and 80 registry-only IDs while preserving the complete 142-object registry.

The 62 mapped objects span exact algebraic theorems, dimensional lemmas, finite-dimensional analogues, conditional theorems, analytic contracts, definitions, counterexamples, and one unresolved proposition.

Choose an environment

Run directly, through Docker, or inside Nix.

Every method reads the same manifest and exact source commits.

Direct

For a workstation with Python, Git, Make, Lean, and Lake.

make reproduce

Docker

Build the dated Ubuntu environment and run the release in a container.

make docker-build
make docker-reproduce

Nix

Enter the pinned development shell and execute the same target.

nix develop
make reproduce

What the command verifies

The release fails when commits, sources, builds, counts, or artifacts drift.

Exact Git state
Clones four repositories at manifest-pinned commit SHAs.
Source identity
Checks selected canonical files using Git blob hashes.
SymPy audit
Runs tests, full coverage, strict-theory checks, registry compilation, and reproducibility verification.
Lean formal layer
Audits sources, retrieves the pinned Mathlib cache, and runs lake build.
Formal coverage partition
Requires exactly 62 canonical map entries and 80 registry-only IDs.
Published synchronization
Requires the public Lean surface to display 142, 62, and 80 consistently.
Simulation artifacts
Regenerates the deterministic field, spectrum, figure, and summary and checks SHA-256 values.
Final report
Records commits, source blobs, environment versions, counts, boundaries, and output hashes.

Final machine-readable result

release-output/WCT-2026.2/reproduction-report.json

Computational output

Representative finite-band diagnostics.

Visual examples from the maintained WCT research assets show the kinds of field and spectral structure examined by the computational layer.

Corrected near-onset Phase-Flux Field amplitude diagnostic — **Near-onset amplitude**Field-amplitude diagnostic from the corrected Phase-Flux Field simulation set.

Corrected near-onset Phase-Flux Field phase diagnostic — **Near-onset phase**Phase organization in the corresponding computational run.

Corrected near-onset two-dimensional spectrum diagnostic — **Selected spectrum**Two-dimensional spectral diagnostic used to inspect finite-wavenumber selection.

Frozen sources

The release does not follow moving `main` branches.

Layer	Repository	Pinned commit
Canonical equations and stabilized simulation	geometry_of_resonance	`7d78bf652d1aeb0e3d04f82abf142054142d6d36`
Symbolic audit and 62-ID interoperability map	wct-sympy	`8276dd81f67604c467ebd7c4becbae85fe1eb5ce`
Canonical registry and typed formal declarations	wct-lean	`3e077ad2c3bc0f5b4d5fa2b26ee341ff16ca73bc`
Synchronized published surfaces	scholar site	`41b565642069e9673333727b21bf7e180e209e25`

Inspect before running

Every release component is directly accessible.

Release README Manifest JSON Python lock Verifier Dockerfile Nix flake Release workflow