Trajectories
Builds finite sequences from a starting value and records convergence, stopping time, and peak value.
CollatzX
CollatzX builds and inspects finite Collatz trajectories. It records stopping times, peak values, parity ratios, and other features used by ProofX's directed search.
Browser Tracer
Trace one bounded trajectory, inspect log-scale movement, and compare parity structure. This browser demo is smaller than the Python engine.
Verified Run Artifact
Metadata-complete run output for the public demo. Verified here means reproducible metadata and bounded inputs, not a theorem.
What It Computes
Features
Extracts parity, growth, entropy, and trend features used to rank candidates inside a run.
Ledgers
Writes candidate-level records through the shared FalsificationEngine for later inspection and replay.
A completed trajectory is evidence about that input only. It is not a proof of the Collatz conjecture.