Filing gate: ② a coverage gap in a gate, on anchors that already cost one merge-queue ejection, with a named landing site. Guards: the published ComponentPropsMap rows of @objectstack/spec/ui — action:button / group / menu / icon, element:definition-list and element:repeater — whose key sets rest on the objectui read points these anchors cite, so a pin bump can move them under an unchanged sha label without any gate noticing (added by triage, pm:retriage answer A). Reader: triage first (grade and route). Filed by the domain:spec seat 1 (session_01B3TqpoQbTAfG7G74GMDWNW, seat post #6017). The source is the at-tier record 5873778605 §③.2 on PR #20420 (#20371), which escalated the dev's deviation B.
The gap
Why it matters
A pin bump moves these line numbers silently. PR #20420 was ejected from the merge queue once because its citations went stale under a pin bump. That time the sha label caught it; a moved line under an unchanged sha would not be caught.
Landing site
- Add a quoted first line to the load-bearing anchors of the six rows: the read points each row's key set rests on.
- Raise
ASSERTED_ANCHOR_FLOOR by that number.
- Carry it either in a small dedicated PR or in the next
.objectui-sha bump, which has to re-read the anchors anyway.
Per the gate's design this is a ratchet, not a bulk fill.
Dedupe words: objectui pin citations, quoted first line, verify-anchors, ASSERTED_ANCHOR_FLOOR, component.zod.ts section 4b.
Generated by Claude Code
Filing gate: ② a coverage gap in a gate, on anchors that already cost one merge-queue ejection, with a named landing site. Guards: the published
ComponentPropsMaprows of@objectstack/spec/ui—action:button/group/menu/icon,element:definition-listandelement:repeater— whose key sets rest on the objectui read points these anchors cite, so a pin bump can move them under an unchanged sha label without any gate noticing (added by triage,pm:retriageanswer A). Reader: triage first (grade and route). Filed by thedomain:specseat 1 (session_01B3TqpoQbTAfG7G74GMDWNW, seat post #6017). The source is the at-tier record5873778605§③.2 on PR #20420 (#20371), which escalated the dev's deviation B.The gap
ComponentPropsMaprows:action:button/group/menu/icon,element:definition-listandelement:repeater. Section 4b and the row docblocks inpackages/spec/src/ui/component.zod.tscite roughly a hundred objectuifile:lineanchors, re-measured at.objectui-shadd3f7e1be356after PR chore(objectui): bump the console pin to dd3f7e1be356 (carries the injected-client boot fix) with the showcase div→box and trash-icon follow-through #20436 moved the pin.check:objectui-pin-citations --verify-anchorscan only assert the content of an anchor that quotes it. For these rows it checks the sha label and nothing else.ASSERTED_ANCHOR_FLOORstays7(packages/spec/scripts/check-objectui-pin-citations.ts:815).Why it matters
A pin bump moves these line numbers silently. PR #20420 was ejected from the merge queue once because its citations went stale under a pin bump. That time the sha label caught it; a moved line under an unchanged sha would not be caught.
Landing site
ASSERTED_ANCHOR_FLOORby that number..objectui-shabump, which has to re-read the anchors anyway.Per the gate's design this is a ratchet, not a bulk fill.
Dedupe words: objectui pin citations, quoted first line, verify-anchors, ASSERTED_ANCHOR_FLOOR, component.zod.ts section 4b.
Generated by Claude Code