missing ge, eq, ineq postprocessing implementations for TimeStampTZ

[Dustin-Ray]

Here:

sxt-proof-of-sql/crates/proof-of-sql/src/base/database/owned_column_operation.rs

Line 182 in 6740144

todo!("Implement equality check for TimeStampTZ")

Here:

sxt-proof-of-sql/crates/proof-of-sql/src/base/database/owned_column_operation.rs

Line 316 in 6740144

todo!("Implement inequality check for TimeStampTZ")

And Here:

sxt-proof-of-sql/crates/proof-of-sql/src/base/database/owned_column_operation.rs

Line 450 in 6740144

todo!("Implement inequality check for TimeStampTZ")

@iajoiner I must have forgotten about these when we wrapped up timestamp, sorry about that. What are the above lines used for? Because right now, full provable inequality is supported on timestamp-related queries:

"SELECT * FROM table WHERE times > timestamp '1970-01-01T00:00:00Z';",

"SELECT * FROM table WHERE times < timestamp '1970-01-01T00:00:00Z';",

"SELECT * FROM table WHERE times >= timestamp '1970-01-01T00:00:00Z';",

"SELECT * FROM table WHERE times <= timestamp '1970-01-01T00:00:00Z';",

"SELECT * FROM table WHERE times = timestamp '1970-01-01T00:00:00Z';",

All succeed without incident. Should I fill out these missing implementations marked as todo!()?

[iajoiner]

@drcapybara Yup! These should be filled out.

[JayWhite2357]

If I'm not mistaken, these are only used in postprocessing, which is why those queries still work: they don't use postprocessing.
Regardless, these should be filled out.