Record the clarity sweep and point the handoff at 7e2b4cd
This commit is contained in:
1 parent
1442443e78
commit
55b51d9442
2 files changed
+38
-12
No files matched your search
+6
-3
@@ -6,8 +6,8 @@ found is in `docs/LAYOUT_LOG.md`.
|
||||
|
||||
## The Iris layout repair is submitted
|
||||
|
||||
**Iris PR #19** (`layout/one-ask`) replaces closed #18. The tip is `6c84b6f`,
|
||||
and past the reviewed `cadfba0` it is four rounds, each described in
|
||||
**Iris PR #19** (`layout/one-ask`) replaces closed #18. The tip is `7e2b4cd`,
|
||||
and past the reviewed `cadfba0` it is five rounds, each described in
|
||||
`docs/LAYOUT_LOG.md`:
|
||||
|
||||
- **The repair**, `add6774` and `84dad21` -- collapsed-share placement,
|
||||
@@ -16,6 +16,9 @@ and past the reviewed `cadfba0` it is four rounds, each described in
|
||||
- **The vocabulary and the container API**, `5642f20` through `58ce74d`.
|
||||
- **Naming**, `55df32a` through `40b89c1`.
|
||||
- **A sweep over the logic those names exposed**, `8d2b7a5` and `6c84b6f`.
|
||||
- **A clarity sweep**, `3da1c71` and `7e2b4cd` -- naming the pairs layout
|
||||
returns, `Span::slot`, and a diagnostic that printed the rel base while
|
||||
calling it the box.
|
||||
|
||||
The settled design of the last three is in `docs/LAYOUT.md` under "Three
|
||||
names, and the one argument that says them". Bryan settled the API over
|
||||
@@ -35,7 +38,7 @@ the **cold dump**. `layout_dump` over 400 depth-5 trees is 34,492 boxes, and
|
||||
it is the only thing that catches two same-typed values being swapped, which
|
||||
is the failure mode of a rename or a move. The repair moved 650 of those
|
||||
boxes, all from the collapsed-share correction; every commit since has been
|
||||
byte-identical to `84dad21`.
|
||||
byte-identical to `84dad21`, the clarity sweep included.
|
||||
|
||||
**Only when the change can alter what layout computes**: the three seed scans
|
||||
-- 400 at depth 5, 1,000 at depth 6, 2,000 at depth 4. They cost about a
|
||||
|
||||
Reference in new issue
Block a user