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.

Mapped does not mean equal proof strength. The 62 objects include exact algebraic theorems, dimensional lemmas, finite-dimensional analogues, conditional theorems, analytic contracts, definitions, counterexamples, and an 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

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	`188b6f6782ea6a6be80be5af3e8feb1d22e3384c`
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

Scientific boundary. A successful run establishes source, build, registry, formal-layer, simulation, website, and artifact reproducibility for the declared release. It does not establish WCT as a correct physical theory, prove the open nonlinear PDE program, or count as independent experimental replication.