The classical boolean Dowker relation, lifted into real-valued form: true (related) becomes 0.0 (witnessed from the start), false (unrelated) becomes +Infinity (never witnessed) -- so filtrationValue(sigma) is 0.0 if sigma is a classical Dowker simplex (some w relates to every x in sigma) and +Infinity (never included, at any finite threshold) otherwise, exactly recovering the unfiltered classical complex as the t=0 slice.
The classical boolean Dowker relation, lifted into real-valued form: true (related) becomes 0.0 (witnessed from the start), false (unrelated) becomes +Infinity (never witnessed) -- so filtrationValue(sigma) is 0.0 if sigma is a classical Dowker simplex (some w relates to every x in sigma) and +Infinity (never included, at any finite threshold) otherwise, exactly recovering the unfiltered classical complex as the t=0 slice.