Verification artifact for "Spatial Non-Transitivity of the Game of Life Limit Set"

Résumé fourni par la source

This is the companion verification artifact for the paper “Spatial Non-Transitivity of the Game of Life Limit Set.” The paper proves that the spatial two-dimensional integer-shift action on the limit set of Conway's Game of Life is not topologically transitive.The artifact provides two independently executable routes after the published Kynnös self-forcing input. The compact route checks one required new clausal marker implication and verifies the lane pump by an exact finite-state transfer. A second finite-state route verifies both new finite implications. Three retained clausal traces recertify the published input, prove the marker implication, and independently cross-check the pump. Every distributed file is bound by a manifest, and standalone auditors reconstruct the finite statement interfaces, period-two witness, crossing calculation, and theorem-facing counts. The recommended compact check requires Python 3, a C compiler, and no trusted SAT solver. An optional full-LRAT archive provides a smaller proof-checking trusted base.Both authors contributed equally.