Text this: Mathematical properties of the agent-based model of extinction — recolonization for population genetics