I know they're a mess, sorry. (Was just looking at them.) Here are two ideas for improving them.
Convert all 'version 2' (and even 'version 1') edits to the version 3 edit system (proposition.py), both for uniformity (thus less to learn) and for robustness (they are much less likely to fail, produce wrong answers, generate errors, etc.).
Create an OTT curation taxonomy - I've just expanded that section of my smasher to-do list
Also it might be useful to make a list out of the propositions, and then in addition to doing proclaim on each member of the list, the final test pass can use them as tests (to raise an alarm if one edit gets clobbered by a subsequent edit). That idea was one of the motivations for making propositions be independent objects.
I know they're a mess, sorry. (Was just looking at them.) Here are two ideas for improving them.
Convert all 'version 2' (and even 'version 1') edits to the version 3 edit system (proposition.py), both for uniformity (thus less to learn) and for robustness (they are much less likely to fail, produce wrong answers, generate errors, etc.).
Create an OTT curation taxonomy - I've just expanded that section of my smasher to-do list
Also it might be useful to make a list out of the propositions, and then in addition to doing
proclaimon each member of the list, the final test pass can use them as tests (to raise an alarm if one edit gets clobbered by a subsequent edit). That idea was one of the motivations for making propositions be independent objects.