[invalidator] fix topic error from date insert

[stopachka]

I saw a few bugs in our logs, with the error:

class java.time.Instant cannot be cast to class java.lang.Number (java.time.Instant and java.lang.Number are in module java.base of loader 'bootstrap')

Root cause

In datalog, we convert values for checked-data-type = date into java.time.Instant

topicFromQuery [:ea eid aid java.time.Instant<...>]

When we generate topics-for-triple-insert, we keep the underlying number value:

topicFromInvalidator [:ea eid aid 1735658560430]

This means that when we run match on the topic, this causes a type mismatch

Solution

I went ahead and updated topics-for-triple-insert, to convert dates to java.time.Instant

Further work

Right now I realize tests for this flow are a bit cumbersome to write. Noting to look into a future PR, which could make writing something like a) Make a query, b) Make a transaction, c) see that the correct query updates, a bit easier to write

@dwwoelfel @nezaj @tonsky

[github-actions]

View Vercel preview at instant-www-js-fix-date-iss-jsv.vercel.app.

[dwwoelfel]

Happy new year! LGTM

[stopachka]

Happy new year @dwwoelfel !