| 1 | | Currently, if you allocate buckets twice with the same inputs, without writing to any buckets, the result is `(allocated = empty set(), writeable buckets = empty dict())`. This is wrong, each share number should always be one of the two categories. |
| | 1 | Original issue: Currently, if you allocate buckets twice with the same inputs, without writing to any buckets, the result is `(allocated = empty set(), writeable buckets = empty dict())`. This is wrong, each share number should always be one of the two categories. |
| | 2 | |
| | 3 | |
| | 4 | Later decided the above is wrong. See below comment 4 for new plan for these semantics. |
