Arithmetic system of 2-adic numbers in scheme language

Tuppence Programming Language

Generalization of 3n+1 Collatz Orbits via Jacobsthal Sequences: Visualization using Voronoi Tessellation in 2-adic Logarithmic Spiral Space

Reconstruction of the Collatz Mapping via Jacobsthal-Normalized Spinor Representation

The Antlion's Pit in a Morning Glory: Visualizing the Structural Gravity of the 2-adic Collatz Tower

Jacobsthal Spinor Transfer Model from J3 to J2 Space in Collatz Inverse Trees

32 runnable examples and extension headers (dynamic polynomials, Padé approximants, continued fractions, matrices) for the dyadic 2-Adic Operator Calculus library

Coordinate audit for the Paradoxical Sequence benchmark: separates Rozier–Terracol pure reproduction, our trace_escape sampled-universe baseline, and the RT550 odd-accelerated remaining_K overlay.

A finite-data audit of apparent branching in observed Collatz state transitions under position, side, and basin conditioning.

dual-view: a unified framework for 2-adic number systems, p-adic Newton dynamics, spectral geometry, gauge theory, and classical butterfly compilation

Uniform spectral gap for the Syracuse (3n+1) mod-2^k transfer operator, proved elementarily for all scales (cert <= 0.8536). The earlier cycle-elimination claim is retracted (3x-1 control) - see README/THEOREM.md. Not a proof of Collatz.

Header-only C++20 library for arithmetic in ℤ₂[[t]]: carry chains, formal derivatives, forward differences, Witt vectors, basis conversions, power series composition/reversion — with compile-time verified proofs

Finite-sample observational chapter mapping Collatz waiting-hall events as a state space organized by exit_distance, with miss-front, k-structure corridor, and position-shape selector audits.

Implementation of a simple 2-adic cellular automaton.

Exact finite-level mixing geometry for accelerated Collatz dynamics modulo powers of two. This repository does not claim a proof of the Collatz conjecture.

A finite-sample observational atlas of accelerated Collatz trajectories, extending the waiting-hall analysis into boundary-front geometry, trajectory grammar, empirical flow, and numeric path anatomy.

Exploratory analysis of feature co-change bundles across four finite Collatz basins, including B004 dissection, cross-basin census, and internal variation checks.