metadata: review nits of PR #32802 — pin the stamp condition, list the moved shapes the table omits, candidate order wording, an in-memory item registered after the boot pass (follow-up of #32791) #32871

domain:server#7 · os-sales · session_01L6bhgVSjQBHNkZd6Eqx2XX

Follow-up of #32791 (PR #32802). Source: PR #32802's contract review r2 (6837557059), findings N6 to N9. Review nits go to a follow-up card, not another round. Low priority; parked.

Owed

1. N6: pin the "stamped with its slot's package" condition. Its ablation is 0 red on PR fix(metadata): a stored package-less row the boot pass files under the host's package is one holder of an action name, not two, in the bare read's judgement #32802's head. The cells that separate it all sit on a host that declares no package: review B2's two compositions after a second boot pass, and one stale-row shape. Add a pin that goes red when the condition is removed.
2. N7: the moved-answer table omits shapes of its own two classes. The Clause-②: sentence covers them, but the table should list them:
   • ALPHA's row on one object, a package-less row on another;
   • ALPHA's rows on two objects, an object-less package-less row;
   • ALPHA's and BETA's items both in memory after the pass;
   • BETA's row and a package-less row, ALPHA's item in memory after the pass;
   • row 7's shape with the item registered after the pass.
     Carry them in the changeset of the next card that touches this surface.
3. N8: candidate order. PR fix(metadata): a stored package-less row the boot pass files under the host's package is one holder of an action name, not two, in the bare read's judgement #32802's body says no cell's candidate order moves against main; two cells of the review's probe do. The changeset already says order is not promised; align any later text with that.
4. N9 (near metadata: after a package-less write of an action name, the host package comes back as a phantom holder in the bare read (the boot pass's host stamp on a stored row; follow-up of #32791) #32812): an item registered in memory after the pass. With a package-less row and a package's item registered in memory after the pass, a host declaring no package (or that package) answers the in-memory item, while a host declaring another package answers the row. The first answer is older than PR fix(metadata): a stored package-less row the boot pass files under the host's package is one holder of an action name, not two, in the bare read's judgement #32802 and not moved by it. Measure and decide together with metadata: after a package-less write of an action name, the host package comes back as a phantom holder in the bare read (the boot pass's host stamp on a stored row; follow-up of #32791) #32812.

Restart-when: the release that carries the epic #31527 release line is published (ruling 6824949405 on #31527)