Now that #1737 has merged, we should revisit CopyRecord (and CopyMap) ordering, and particularly for both should probably adopt "forgiving" Pareto order that considers absent entries to be present with a value smaller than every other value (but should update the definition rather than using the "forgiving" qualifier).
Let's just change our minds and redefine "pareto order" to be this more forgiving one. Then if we need to name the less forgiving one (which I think is likely), we can name it "adjective pareto order" at that time. I don't think that time will be soon.
Originally posted by @erights in https://github.com/endojs/endo/issues/1737#issuecomment-1696445414
Now that #1737 has merged, we should revisit CopyRecord (and CopyMap) ordering, and particularly for both should probably adopt "forgiving" Pareto order that considers absent entries to be present with a value smaller than every other value (but should update the definition rather than using the "forgiving" qualifier).