History Feature

[dginev]

Fixes #13 , still in development (hence draft PR).

I feel pretty good with the first backend upgrade here, where each rerun's metadata has a place to be recorded.

Next up, I need to:

• enumerate, and hook into, all actions that create "historic events". Namely
  • all actions that may start a fresh run (e.g. registering a new service on a corpus),
  • the rerun routes, which end the current run officially, starting a new one
• a tabular reports interface over the table for a <corpus, service> pair
• a visual reports interface showing a progress chart over the historic data (maybe a chance to plug Vega in here...)
• ensure UI buttons have a "description" field, in order to mark the new rerun. Can even use that as part of the main task report, together with the start date.
• bump version to 0.4.0

Most are fast and easy to knock down, let's see where this PR takes us.

[dginev]

Ok, got to play around a little with vega-lite, and while

• some more styling is needed, bigger height+width by default would be great,
• as well as including the total + description of the runs in the figure legend,
• and providing the full data of the tabular report underneath,

The basic feature now exists and is dynamically generated on load. Example from my local reruns (very fake data):

[dginev]

Ok, I have shaped the data presentation closer to what I had in mind, and will end here as a first pass. Can incorporate feedback / code from more design-savvy cortex supporters.

Base example:

Tooltip view:

[dginev]

Ok, tabular reports are in and this feels sufficiently ready for a live demo & trial. Waiting for CI and will take it up for a spin at https://corpora.mathweb.org/

Will try to dig up some old emails and retroactively populate the main arxmliv reports, let's see...