Work on #59
i think we're on to something

diff's across the contents of the links, and also
across the states of the proof.

it could be we can flatten it to one diff?

thinking on #59....
a little bit more
the right tracking categories
Lots of progress on #59

Ready to start testing
close out #59 for now

it's basically working, but more tests are needed.

we're going to switch to #61 since that's more pressing, then revisit
Bugfixes for #59