We include all senators who were in office sometime between Jan 1, 2014-present. Senators are removed as they leave office (and no longer included when calculating the "all senate" index).
No, it enshrines in law that religion is an axiom system independent of the state's axiom system, like the parallel postulate. Unprovable things are not to be [edit: assumed] false.
Which is obviously nonsense if applied to mundane things. For example, your religion might say that insects have 4 legs. That is not "unprovable" just plain wrong.
how about MAME, which has a zip-based format containing raw ROM dumps, and the "CHD" format for disk/disc based media? obviously all of the metadata is still contained within MAME itself.
MAME is a kind of special case, where the same group of people write the emulator and catalogue the ROM dumps. For most emulated platforms, there's more than one emulator, and often more than one popular emulator, so deciding on a new archival format is a major political endeavour, on top of the existing tricky technical problems.
Also, even MAME is not immune to political ROM-format problems. The format MAME used was designed to help people maintain and update arcade boards, which often had the ROM chips socketed so they could be replaced by the end user and so "a set of ROMs for a game" was a reasonable thing to talk about. MAME uses that format for every platform they support, but most home consoles were not designed to be end-user modifiable, and sometimes the same game shipped on different sets of different sizes of ROM chips (say, a 4Mbit chip, or two 2Mbit chips) depending on what was cheapest at the time.
MAME as a collective project doesn't have the will to use different formats for different platforms, and home-console emulators aren't interested in following MAME's arcade-based conventions.
MAME follows the internal database approach to emulation. The primary issue with this approach is that it does not support homebrew, fan translations, and ROM hacks. If you modify games, checksum lookups fail. For a ROM hack, you could still boot something where the original was in the database by manually specifying the name and accepting the warning (which is fine), but for a new unlicensed / homebrew title, you could only maybe possibly boot it by faking being another very similar game, which feels quite wrong.
I'm not saying the MAME approach is wrong: every approach has its pros and cons, regrettably.