If you have a working json codec then typically you do not need a json filter as well. However, unless you have complete JSON objects on each line a json codec will not work, you need a multiline codec.
If you want to consume the entire file as a single event then configure the multiline codec as described here. Then use a json filter. Then you can split the arrays using filters like
split { field => "proximity" }
However, that will end up with events that have a proximity field, a visitLength field and a loyaltyRecords field. If that is not what you want then you will need to use ruby.