@issuegraph/editor 0.4.0 → 0.22.1

package/dist/audit/surface.js.map

@@ -1 +1 @@
-{"version":3,"file":"surface.js","sourceRoot":"","sources":["../../src/audit/surface.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAsCG;AAIH,OAAO,EAAE,aAAa,EAAE,iBAAiB,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AAGhF;;;;GAIG;AACH,MAAM,CAAC,MAAM,wBAAwB,GAAG,eAAe,CAAC;AAExD,kFAAkF;AAClF,MAAM,CAAC,MAAM,qBAAqB,GAAG,qBAAqB,CAAC;AAE3D;;;GAGG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAG,sBAAsB,CAAC;AAqD7D,MAAM,WAAW,GAAoC,IAAI,GAAG,CAC1D,aAAa,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAClD,CAAC;AAEF;;;;;;GAMG;AACH,MAAM,UAAU,YAAY,CAAC,KAAiB;IAC5C,0EAA0E;IAC1E,6EAA6E;IAC7E,6EAA6E;IAC7E,2EAA2E;IAC3E,uEAAuE;IACvE,8EAA8E;IAC9E,wEAAwE;IACxE,EAAE;IACF,8EAA8E;IAC9E,qEAAqE;IACrE,+DAA+D;IAC/D,MAAM,QAAQ,GAAG,aAAa,CAAC,KAAK,CAAC,CAAC;IACtC,yEAAyE;IACzE,6EAA6E;IAC7E,2EAA2E;IAC3E,2EAA2E;IAC3E,4EAA4E;IAC5E,6EAA6E;IAC7E,wDAAwD;IACxD,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC;IACzE,MAAM,KAAK,GAAG,IAAI,GAAG,EAAuD,CAAC;IAC7E,KAAK,MAAM,KAAK,IAAI,QAAQ,EAAE,CAAC;QAC7B,KAAK,MAAM,GAAG,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;YAChC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC;gBAAE,SAAS;YAChC,MAAM,QAAQ,GAAG,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YAChC,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;gBAC3B,KAAK,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,KAAK,EAAE,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;gBAC3D,SAAS;YACX,CAAC;YACD,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YAC/B,QAAQ,CAAC,KAAK,IAAI,CAAC,CAAC;QACtB,CAAC;IACH,CAAC;IACD,MAAM,IAAI,GAAe,EAAE,CAAC;IAC5B,KAAK,MAAM,CAAC,GAAG,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,IAAI,KAAK,EAAE,CAAC;QAC5C,MAAM,OAAO,GAAG,CAAC,GAAG,KAAK,CAAC,CAAC,IAAI,CAC7B,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAChE,CAAC;QACF,yEAAyE;QACzE,0EAA0E;QAC1E,wEAAwE;QACxE,0EAA0E;QAC1E,oCAAoC;QACpC,IAAI,QAAgC,CAAC;QACrC,KAAK,MAAM,IAAI,IAAI,OAAO,EAAE,CAAC;YAC3B,IAAI,QAAQ,KAAK,SAAS,IAAI,iBAAiB,CAAC,IAAI,CAAC,CAAC,MAAM,GAAG,iBAAiB,CAAC,QAAQ,CAAC,CAAC,MAAM,EAAE,CAAC;gBAClG,QAAQ,GAAG,IAAI,CAAC;YAClB,CAAC;QACH,CAAC;QACD,IAAI,QAAQ,KAAK,SAAS;YAAE,SAAS;QACrC,IAAI,CAAC,IAAI,CAAC;YACR,GAAG;YACH,QAAQ,EAAE,iBAAiB,CAAC,QAAQ,CAAC,CAAC,QAAQ;YAC9C,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC;YAC7B,KAAK;SACN,CAAC,CAAC;IACL,CAAC;IACD,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAClE,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;IACzD,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,KAAK,EAAE,QAAQ,CAAC,MAAM;QACtB,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC;QAC1D,uDAAuD;QACvD,MAAM,EAAE,CAAC,GAAa,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC;QACzC,QAAQ;KACT,CAAC,CAAC;AACL,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,kBAAkB,CAChC,OAAqB,EACrB,GAAa;IAEb,MAAM,GAAG,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;IAChC,IAAI,GAAG,KAAK,SAAS;QAAE,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;IAChD,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,wBAAwB,CAAC,EAAE,GAAG,CAAC,QAAQ,EAAE,CAAC,CAAC;AACrE,CAAC;AAED,iFAAiF;AACjF,MAAM,UAAU,gBAAgB,CAAC,OAAqB,EAAE,GAAa;IACnE,OAAO,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,SAAS,CAAC;AAC3C,CAAC;AAED,iFAAiF;AACjF,SAAS,SAAS,CAAC,GAAa;IAC9B,OAAO,GAAG,CAAC,KAAK,CAAC,MAAM,CACrB,CAAC,QAAQ,EAAE,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,QAAQ,EAAE,iBAAiB,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,EACtE,MAAM,CAAC,iBAAiB,CACzB,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;;;;GAcG;AACH,MAAM,UAAU,WAAW,CACzB,OAAqB,EACrB,IAAyB;IAEzB,IAAI,QAA8B,CAAC;IACnC,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,MAAM,GAAG,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;QAChC,IAAI,GAAG,KAAK,SAAS;YAAE,SAAS;QAChC,IAAI,QAAQ,KAAK,SAAS,IAAI,SAAS,CAAC,GAAG,CAAC,GAAG,SAAS,CAAC,QAAQ,CAAC;YAAE,QAAQ,GAAG,GAAG,CAAC;IACrF,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAOD;;;;;;;;;;GAUG;AACH,MAAM,UAAU,iBAAiB,CAAC,OAAqB,EAAE,UAA8B,EAAE;IACvF,MAAM,KAAK,GAAG,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;IACpC,MAAM,OAAO,GAAG,OAAO,CAAC,QAAQ,KAAK,IAAI,CAAC;IAC1C,OAAO;QACL,yBAAyB,qBAAqB,KAAK,KAAK,IAAI;QAC5D,+DAA+D,MAAM,CAAC,OAAO,CAAC,GAAG;QACjF,IAAI,sBAAsB,GAAG;QAC7B,gCAAgC,KAAK,SAAS;QAC9C,2CAA2C;QAC3C,WAAW;QACX,QAAQ;KACT,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;AACb,CAAC"}
+{"version":3,"file":"surface.js","sourceRoot":"","sources":["../../src/audit/surface.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAoDG;AAIH,OAAO,EAAE,aAAa,EAAE,iBAAiB,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AAGhF;;;;GAIG;AACH,MAAM,CAAC,MAAM,wBAAwB,GAAG,eAAe,CAAC;AAExD,kFAAkF;AAClF,MAAM,CAAC,MAAM,qBAAqB,GAAG,qBAAqB,CAAC;AAE3D;;;GAGG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAG,sBAAsB,CAAC;AAE7D;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,qBAAqB,GAAG,qBAAqB,CAAC;AAqD3D,MAAM,WAAW,GAAoC,IAAI,GAAG,CAC1D,aAAa,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAClD,CAAC;AAEF;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,YAAY,CAAC,KAAiB;IAC5C,0EAA0E;IAC1E,6EAA6E;IAC7E,6EAA6E;IAC7E,2EAA2E;IAC3E,uEAAuE;IACvE,8EAA8E;IAC9E,wEAAwE;IACxE,EAAE;IACF,8EAA8E;IAC9E,qEAAqE;IACrE,+DAA+D;IAC/D,MAAM,QAAQ,GAAG,aAAa,CAAC,KAAK,CAAC,CAAC;IACtC,yEAAyE;IACzE,6EAA6E;IAC7E,2EAA2E;IAC3E,2EAA2E;IAC3E,4EAA4E;IAC5E,6EAA6E;IAC7E,wDAAwD;IACxD,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC;IACzE,MAAM,KAAK,GAAG,IAAI,GAAG,EAAuD,CAAC;IAC7E,KAAK,MAAM,KAAK,IAAI,QAAQ,EAAE,CAAC;QAC7B,KAAK,MAAM,GAAG,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;YAChC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC;gBAAE,SAAS;YAChC,MAAM,QAAQ,GAAG,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;YAChC,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;gBAC3B,KAAK,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,KAAK,EAAE,IAAI,GAAG,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC;gBAC3D,SAAS;YACX,CAAC;YACD,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YAC/B,QAAQ,CAAC,KAAK,IAAI,CAAC,CAAC;QACtB,CAAC;IACH,CAAC;IACD,MAAM,IAAI,GAAe,EAAE,CAAC;IAC5B,KAAK,MAAM,CAAC,GAAG,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,IAAI,KAAK,EAAE,CAAC;QAC5C,MAAM,OAAO,GAAG,CAAC,GAAG,KAAK,CAAC,CAAC,IAAI,CAC7B,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAChE,CAAC;QACF,yEAAyE;QACzE,0EAA0E;QAC1E,wEAAwE;QACxE,0EAA0E;QAC1E,oCAAoC;QACpC,IAAI,QAAgC,CAAC;QACrC,KAAK,MAAM,IAAI,IAAI,OAAO,EAAE,CAAC;YAC3B,IAAI,QAAQ,KAAK,SAAS,IAAI,iBAAiB,CAAC,IAAI,CAAC,CAAC,MAAM,GAAG,iBAAiB,CAAC,QAAQ,CAAC,CAAC,MAAM,EAAE,CAAC;gBAClG,QAAQ,GAAG,IAAI,CAAC;YAClB,CAAC;QACH,CAAC;QACD,IAAI,QAAQ,KAAK,SAAS;YAAE,SAAS;QACrC,IAAI,CAAC,IAAI,CAAC;YACR,GAAG;YACH,QAAQ,EAAE,iBAAiB,CAAC,QAAQ,CAAC,CAAC,QAAQ;YAC9C,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC;YAC7B,KAAK;SACN,CAAC,CAAC;IACL,CAAC;IACD,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAClE,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;IACzD,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,KAAK,EAAE,QAAQ,CAAC,MAAM;QACtB,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC;QAC1D,uDAAuD;QACvD,MAAM,EAAE,CAAC,GAAa,EAAE,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC;QACzC,QAAQ;KACT,CAAC,CAAC;AACL,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,kBAAkB,CAChC,OAAqB,EACrB,GAAa;IAEb,MAAM,GAAG,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;IAChC,IAAI,GAAG,KAAK,SAAS;QAAE,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;IAChD,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,wBAAwB,CAAC,EAAE,GAAG,CAAC,QAAQ,EAAE,CAAC,CAAC;AACrE,CAAC;AAED,iFAAiF;AACjF,MAAM,UAAU,gBAAgB,CAAC,OAAqB,EAAE,GAAa;IACnE,OAAO,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,SAAS,CAAC;AAC3C,CAAC;AAED,iFAAiF;AACjF,SAAS,SAAS,CAAC,GAAa;IAC9B,OAAO,GAAG,CAAC,KAAK,CAAC,MAAM,CACrB,CAAC,QAAQ,EAAE,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,QAAQ,EAAE,iBAAiB,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,EACtE,MAAM,CAAC,iBAAiB,CACzB,CAAC;AACJ,CAAC;AAED;;;;;;;;;;;;;;GAcG;AACH,MAAM,UAAU,WAAW,CACzB,OAAqB,EACrB,IAAyB;IAEzB,IAAI,QAA8B,CAAC;IACnC,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,MAAM,GAAG,GAAG,OAAO,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;QAChC,IAAI,GAAG,KAAK,SAAS;YAAE,SAAS;QAChC,IAAI,QAAQ,KAAK,SAAS,IAAI,SAAS,CAAC,GAAG,CAAC,GAAG,SAAS,CAAC,QAAQ,CAAC;YAAE,QAAQ,GAAG,GAAG,CAAC;IACrF,CAAC;IACD,OAAO,QAAQ,CAAC;AAClB,CAAC;AAcD;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,UAAU,iBAAiB,CAAC,OAAqB,EAAE,UAA8B,EAAE;IACvF,MAAM,KAAK,GAAG,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;IACpC,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,KAAK,IAAI,CAAC;IACnC,OAAO;QACL,yBAAyB,qBAAqB,KAAK,KAAK,IAAI;QAC5D,4EAA4E;QAC5E,2EAA2E;QAC3E,4EAA4E;QAC5E,sEAAsE;QACtE,2DAA2D;QAC3D,gEAAgE,MAAM,CAAC,IAAI,CAAC,GAAG;QAC/E,IAAI,qBAAqB,GAAG;QAC5B,gCAAgC,KAAK,SAAS;QAC9C,2CAA2C;QAC3C,WAAW;QACX,QAAQ;KACT,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;AACb,CAAC"}

package/dist/create/draft.d.ts

@@ -65,6 +65,42 @@ export interface CreateDraft {
 }
 /** Nothing gathered. The state before a create starts and after one emits. */
 export declare const IDLE_CREATE_DRAFT: CreateDraft;
+/**
+ * Whether the draft is at the KIND step: a source gathered, no kind yet.
+ *
+ * A PREDICATE RATHER THAN A SHELL'S TWO NULL CHECKS, because two of them
+ * disagreed. `render.ts`'s panel asks this question to draw the kind list and
+ * `mount.ts` now asks it to classify the keyboard, and a step whose definition
+ * is written out at each site is one a later edit can move at one of them —
+ * which is how the chooser came to be drawn at a moment the key map did not
+ * recognise (`#152`).
+ *
+ * IT ASKS ABOUT THE DRAFT ALONE, and deliberately says nothing about focus or
+ * about which of the two choosers is on screen. Whether a drop is live decides
+ * WHICH renderer draws the step, never WHETHER the reader is at it; folding that
+ * in would give this predicate a second subject and make it false for the
+ * floating chooser, which is the one opened by a pointer.
+ */
+export declare function isChoosingKind(draft: CreateDraft): boolean;
+/**
+ * Whether anything has been gathered at all — the opposite of idle.
+ *
+ * IT IS NOT `isChoosingKind`'S COMPLEMENT, AND THAT IS THE WHOLE REASON IT
+ * EXISTS. The kind can be chosen before the source on the keyboard path, so
+ * `{ kind: 'blocked-by' }` with no source is a draft the reader is in the
+ * middle of and one `isChoosingKind` answers `false` for. A shell asking
+ * "is a draft live" through that predicate would treat a half-built
+ * keyboard draft as no draft at all.
+ *
+ * WHAT ASKS IT, and why the question is worth a name: `mount.ts` decides
+ * whether Escape belongs to the draft or to §17k's transient surfaces. The
+ * wrong answer either abandons a relationship the reader was building or
+ * leaves a panel that will not close, and both are silent.
+ *
+ * THREE FIELDS, NOT TWO, on this file's own standing rule: a definition
+ * written out at each call site is one a later edit can move at one of them.
+ */
+export declare function isDraftLive(draft: CreateDraft): boolean;
 /**
  * One fact arriving, from whichever path gathered it.
  *

package/dist/create/draft.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"draft.d.ts","sourceRoot":"","sources":["../../src/create/draft.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgDG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,mBAAmB,CAAC;AAEtE;;;;;;GAMG;AACH,MAAM,WAAW,WAAW;IAC1B,wDAAwD;IACxD,QAAQ,CAAC,MAAM,EAAE,QAAQ,GAAG,IAAI,CAAC;IACjC,wCAAwC;IACxC,QAAQ,CAAC,MAAM,EAAE,QAAQ,GAAG,IAAI,CAAC;IACjC,qEAAqE;IACrE,QAAQ,CAAC,IAAI,EAAE,QAAQ,GAAG,IAAI,CAAC;CAChC;AAED,8EAA8E;AAC9E,eAAO,MAAM,iBAAiB,EAAE,WAI9B,CAAC;AAEH;;;;;;;;GAQG;AACH,MAAM,MAAM,aAAa,GACrB;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAA;CAAE,GACrD;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,GAAG,EAAE,QAAQ,CAAA;CAAE,GACnD;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAA;CAAE,GACtD;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAA;CAAE,CAAC;AAEhC;;;;;;;GAOG;AACH,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAC;IAC5B,QAAQ,CAAC,QAAQ,EAAE,QAAQ,GAAG,IAAI,CAAC;CACpC;AAqBD;;;;;;;;;;;;;;;;GAgBG;AACH,wBAAgB,aAAa,CAAC,KAAK,EAAE,WAAW,EAAE,OAAO,EAAE,aAAa,GAAG,YAAY,CAmCtF"}
+{"version":3,"file":"draft.d.ts","sourceRoot":"","sources":["../../src/create/draft.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgDG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,mBAAmB,CAAC;AAEtE;;;;;;GAMG;AACH,MAAM,WAAW,WAAW;IAC1B,wDAAwD;IACxD,QAAQ,CAAC,MAAM,EAAE,QAAQ,GAAG,IAAI,CAAC;IACjC,wCAAwC;IACxC,QAAQ,CAAC,MAAM,EAAE,QAAQ,GAAG,IAAI,CAAC;IACjC,qEAAqE;IACrE,QAAQ,CAAC,IAAI,EAAE,QAAQ,GAAG,IAAI,CAAC;CAChC;AAED,8EAA8E;AAC9E,eAAO,MAAM,iBAAiB,EAAE,WAI9B,CAAC;AAEH;;;;;;;;;;;;;;;GAeG;AACH,wBAAgB,cAAc,CAAC,KAAK,EAAE,WAAW,GAAG,OAAO,CAE1D;AAED;;;;;;;;;;;;;;;;;GAiBG;AACH,wBAAgB,WAAW,CAAC,KAAK,EAAE,WAAW,GAAG,OAAO,CAEvD;AAED;;;;;;;;GAQG;AACH,MAAM,MAAM,aAAa,GACrB;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAA;CAAE,GACrD;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,GAAG,EAAE,QAAQ,CAAA;CAAE,GACnD;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAA;CAAE,GACtD;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAA;CAAE,CAAC;AAEhC;;;;;;;GAOG;AACH,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAC;IAC5B,QAAQ,CAAC,QAAQ,EAAE,QAAQ,GAAG,IAAI,CAAC;CACpC;AAqBD;;;;;;;;;;;;;;;;GAgBG;AACH,wBAAgB,aAAa,CAAC,KAAK,EAAE,WAAW,EAAE,OAAO,EAAE,aAAa,GAAG,YAAY,CAmCtF"}

package/dist/create/draft.js

@@ -53,6 +53,46 @@ export const IDLE_CREATE_DRAFT = Object.freeze({
     target: null,
     kind: null,
 });
+/**
+ * Whether the draft is at the KIND step: a source gathered, no kind yet.
+ *
+ * A PREDICATE RATHER THAN A SHELL'S TWO NULL CHECKS, because two of them
+ * disagreed. `render.ts`'s panel asks this question to draw the kind list and
+ * `mount.ts` now asks it to classify the keyboard, and a step whose definition
+ * is written out at each site is one a later edit can move at one of them —
+ * which is how the chooser came to be drawn at a moment the key map did not
+ * recognise (`#152`).
+ *
+ * IT ASKS ABOUT THE DRAFT ALONE, and deliberately says nothing about focus or
+ * about which of the two choosers is on screen. Whether a drop is live decides
+ * WHICH renderer draws the step, never WHETHER the reader is at it; folding that
+ * in would give this predicate a second subject and make it false for the
+ * floating chooser, which is the one opened by a pointer.
+ */
+export function isChoosingKind(draft) {
+    return draft.source !== null && draft.kind === null;
+}
+/**
+ * Whether anything has been gathered at all — the opposite of idle.
+ *
+ * IT IS NOT `isChoosingKind`'S COMPLEMENT, AND THAT IS THE WHOLE REASON IT
+ * EXISTS. The kind can be chosen before the source on the keyboard path, so
+ * `{ kind: 'blocked-by' }` with no source is a draft the reader is in the
+ * middle of and one `isChoosingKind` answers `false` for. A shell asking
+ * "is a draft live" through that predicate would treat a half-built
+ * keyboard draft as no draft at all.
+ *
+ * WHAT ASKS IT, and why the question is worth a name: `mount.ts` decides
+ * whether Escape belongs to the draft or to §17k's transient surfaces. The
+ * wrong answer either abandons a relationship the reader was building or
+ * leaves a panel that will not close, and both are silent.
+ *
+ * THREE FIELDS, NOT TWO, on this file's own standing rule: a definition
+ * written out at each call site is one a later edit can move at one of them.
+ */
+export function isDraftLive(draft) {
+    return draft.source !== null || draft.target !== null || draft.kind !== null;
+}
 function complete(draft) {
     const { source, target, kind } = draft;
     if (source === null || target === null || kind === null)

package/dist/create/draft.js.map

@@ -1 +1 @@
-{"version":3,"file":"draft.js","sourceRoot":"","sources":["../../src/create/draft.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgDG;AAoBH,8EAA8E;AAC9E,MAAM,CAAC,MAAM,iBAAiB,GAAgB,MAAM,CAAC,MAAM,CAAC;IAC1D,MAAM,EAAE,IAAI;IACZ,MAAM,EAAE,IAAI;IACZ,IAAI,EAAE,IAAI;CACX,CAAC,CAAC;AA2CH,SAAS,QAAQ,CAAC,KAAkB;IAClC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,KAAK,CAAC;IACvC,IAAI,MAAM,KAAK,IAAI,IAAI,MAAM,KAAK,IAAI,IAAI,IAAI,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IACrE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;AAClC,CAAC;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,UAAU,aAAa,CAAC,KAAkB,EAAE,OAAsB;IACtE,MAAM,IAAI,GAAG,CAAC,GAAgB,EAAE;QAC9B,QAAQ,OAAO,CAAC,IAAI,EAAE,CAAC;YACrB,KAAK,OAAO;gBACV,OAAO,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;YAC9D,KAAK,QAAQ;gBACX,OAAO,EAAE,GAAG,KAAK,EAAE,MAAM,EAAE,OAAO,CAAC,GAAG,EAAE,CAAC;YAC3C,KAAK,MAAM;gBACT,OAAO,EAAE,GAAG,KAAK,EAAE,IAAI,EAAE,OAAO,CAAC,QAAQ,EAAE,CAAC;YAC9C,KAAK,QAAQ;gBACX,OAAO,iBAAiB,CAAC;QAC7B,CAAC;IACH,CAAC,CAAC,EAAE,CAAC;IAEL,wEAAwE;IACxE,4EAA4E;IAC5E,6EAA6E;IAC7E,uEAAuE;IACvE,6EAA6E;IAC7E,yEAAyE;IACzE,EAAE;IACF,2EAA2E;IAC3E,6EAA6E;IAC7E,oEAAoE;IACpE,MAAM,KAAK,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC;IAC7B,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC;IAE3D,4EAA4E;IAC5E,2EAA2E;IAC3E,2EAA2E;IAC3E,sEAAsE;IACtE,OAAO;QACL,KAAK,EAAE,iBAAiB;QACxB,QAAQ,EAAE,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,MAAM,EAAE,EAAE,EAAE,KAAK,CAAC,MAAM,EAAE;KACnF,CAAC;AACJ,CAAC"}
+{"version":3,"file":"draft.js","sourceRoot":"","sources":["../../src/create/draft.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgDG;AAoBH,8EAA8E;AAC9E,MAAM,CAAC,MAAM,iBAAiB,GAAgB,MAAM,CAAC,MAAM,CAAC;IAC1D,MAAM,EAAE,IAAI;IACZ,MAAM,EAAE,IAAI;IACZ,IAAI,EAAE,IAAI;CACX,CAAC,CAAC;AAEH;;;;;;;;;;;;;;;GAeG;AACH,MAAM,UAAU,cAAc,CAAC,KAAkB;IAC/C,OAAO,KAAK,CAAC,MAAM,KAAK,IAAI,IAAI,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC;AACtD,CAAC;AAED;;;;;;;;;;;;;;;;;GAiBG;AACH,MAAM,UAAU,WAAW,CAAC,KAAkB;IAC5C,OAAO,KAAK,CAAC,MAAM,KAAK,IAAI,IAAI,KAAK,CAAC,MAAM,KAAK,IAAI,IAAI,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC;AAC/E,CAAC;AA2CD,SAAS,QAAQ,CAAC,KAAkB;IAClC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,GAAG,KAAK,CAAC;IACvC,IAAI,MAAM,KAAK,IAAI,IAAI,MAAM,KAAK,IAAI,IAAI,IAAI,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IACrE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC;AAClC,CAAC;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,UAAU,aAAa,CAAC,KAAkB,EAAE,OAAsB;IACtE,MAAM,IAAI,GAAG,CAAC,GAAgB,EAAE;QAC9B,QAAQ,OAAO,CAAC,IAAI,EAAE,CAAC;YACrB,KAAK,OAAO;gBACV,OAAO,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;YAC9D,KAAK,QAAQ;gBACX,OAAO,EAAE,GAAG,KAAK,EAAE,MAAM,EAAE,OAAO,CAAC,GAAG,EAAE,CAAC;YAC3C,KAAK,MAAM;gBACT,OAAO,EAAE,GAAG,KAAK,EAAE,IAAI,EAAE,OAAO,CAAC,QAAQ,EAAE,CAAC;YAC9C,KAAK,QAAQ;gBACX,OAAO,iBAAiB,CAAC;QAC7B,CAAC;IACH,CAAC,CAAC,EAAE,CAAC;IAEL,wEAAwE;IACxE,4EAA4E;IAC5E,6EAA6E;IAC7E,uEAAuE;IACvE,6EAA6E;IAC7E,yEAAyE;IACzE,EAAE;IACF,2EAA2E;IAC3E,6EAA6E;IAC7E,oEAAoE;IACpE,MAAM,KAAK,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC;IAC7B,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC;IAE3D,4EAA4E;IAC5E,2EAA2E;IAC3E,2EAA2E;IAC3E,sEAAsE;IACtE,OAAO;QACL,KAAK,EAAE,iBAAiB;QACxB,QAAQ,EAAE,EAAE,EAAE,EAAE,QAAQ,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,MAAM,EAAE,EAAE,EAAE,KAAK,CAAC,MAAM,EAAE;KACnF,CAAC;AACJ,CAAC"}

package/dist/create/keys.d.ts

@@ -22,6 +22,12 @@
  * itself, a sixth field gets a `6` for free and the picker and the keyboard
  * cannot disagree about which digit means what.
  *
+ * A SURFACE THAT DRAWS THE DIGITS READS {@link KIND_KEYS}, which is the same
+ * table filtered rather than a second walk of `EDGE_FIELDS`. The renderer and
+ * the key map then cannot disagree about which digit means what either, which
+ * is the half the paragraph above did not cover and the half that had already
+ * drifted.
+ *
  * ## Retype opens the picker; it does not emit a retype
  *
  * `T` answers with the edge to open {@link ../picker/view.ts pickerView} on,
@@ -48,10 +54,15 @@
  * it, and gets one more entry every time a host grows a control.
  *
  * So the question is inverted. {@link CreateInteraction} enumerates OUR OWN
- * interaction, which §17b fixes at three states, and the host says which one it
- * is in. A fifth widget adds no code here: the host reports `elsewhere` and the
- * map is silent. What was an open-ended list of other people's claims became a
- * closed description of this design's own flow.
+ * interaction — one state per step of the create flow §17b specifies — and the
+ * host says which one it is in. A new widget adds no code here: the host reports
+ * `elsewhere` and the map is silent. What was an open-ended list of other
+ * people's claims became a closed description of this design's own flow.
+ *
+ * THE SET IS CLOSED BY THE FLOW, NOT BY A COUNT. It has grown twice, both times
+ * because a step of this flow was missing from it rather than because the
+ * closure argument failed — see {@link CreateInteraction}. The invariant that
+ * has never moved is the one that matters: no state here names a host's widget.
  *
  * Two press-level facts remain, and they are bounded in a way the widget list
  * never was — a modifier set and a composition flag are fields on the event
@@ -63,7 +74,7 @@
  * Which bindings reach the target search is DATA on the binding table, so no
  * call site decides it and a sixth binding cannot be added without answering.
  */
-import type { EdgeId, IssueRef, Proposal } from '@issuegraph/store';
+import type { EdgeId, EdgeKind, IssueRef, Proposal } from '@issuegraph/store';
 import type { CreateCommand } from './draft.ts';
 /**
  * What the shell knows when a key arrives.
@@ -113,33 +124,87 @@ export interface KeyboardContext {
      * The host answers it because the host is the only one who can: this package
      * has no DOM, and which control holds focus is visible only to the shell.
      * Crucially, answering it needs no knowledge of THIS package — a host maps
-     * its own world onto three states it already understands.
+     * its own world onto states it already understands.
      */
     readonly interaction: CreateInteraction;
 }
 /**
  * Where the keyboard is, in terms of the create flow §17b specifies.
  *
- * Three states, and the set is closed by the DESIGN rather than by the host's
+ * Four states, and the set is closed by the DESIGN rather than by the host's
  * inventory of controls — which is the whole reason it replaced a growing list
  * of other owners.
  *
  * - `canvas` — the create vocabulary is live. Every binding reaches it.
+ * - `kind-chooser` — the draft has a source and no kind, and the reader is
+ *   answering the chooser this package drew for it. The digits reach, and
+ *   `Escape` withdraws. `⏎` DOES NOT, and it is the reason this state exists
+ *   rather than folding into `canvas`: `commit-target` fires on
+ *   {@link KeyboardContext.match }, which is derived from a target query that
+ *   survives a second `begin` — so a reader who typed a query, restarted the
+ *   draft, and pressed `⏎` at the kind step would commit a target with no kind
+ *   chosen, while the press was also taken from the kind button under focus.
  * - `target-search` — the create flow's OWN search box has focus. Only the
  *   bindings that must survive it reach: `⏎` commits the target and `Escape`
  *   withdraws, which is precisely the middle of `R → digit → search → ⏎`. Its
  *   printable keys belong to the box — most issue references carry a digit, so
  *   a map that claimed `1`–`5` here would eat nearly every query — and `⌫`
  *   deletes a CHARACTER rather than the reader's selected edge.
+ * - `add-control` — the create flow's OWN begin control holds focus: §17b's
+ *   inspector path, the `+ add` button, which draws {@link RELATE_KEY} beside
+ *   its own word. Only `relate` reaches, for the reason the state exists at all
+ *   (below). A press at this position begins the draft the control would have
+ *   begun, from the subject the control publishes.
  * - `elsewhere` — something else owns the keyboard entirely: an inline title,
  *   a filter box, a modal, a control this package has never heard of. NOTHING
  *   reaches, `Escape` included, because that control needs `Escape` to cancel
  *   its own edit.
  *
  * `elsewhere` is what makes the set closed. It is the state for everything not
- * named, so a host growing a fifth control changes nothing here.
+ * named, so a host growing another control changes nothing here.
+ *
+ * ## Why this grew to four, when the whole point was that it does not grow
+ *
+ * It grew because it was UNDER-COUNTED, not because the closure argument
+ * failed. The header's rule is that this enumerates OUR OWN flow; the kind
+ * chooser is a step in that flow, and it was folded into `canvas` on the
+ * assumption that focus stays on the row the draft was begun from. `#152` is
+ * the evidence that it does not: activating `add` REPLACES that control with
+ * the kind list, so the mount's focus restore lands on whatever command control
+ * is nearest, and where the audit filter has emptied the rail there is no row to
+ * land on at all. `canvas` answers only for a focused ROW, so every create
+ * binding — the chooser's own digits included — returned `none` at exactly the
+ * step whose whole purpose is to be answered with a digit.
+ *
+ * A HOST STILL ANSWERS IT WITHOUT KNOWING THIS PACKAGE: "my reader is choosing
+ * a relationship kind" is a fact about the host's own screen, the same shape as
+ * the other three. What did NOT change is the thing the closure protects — no
+ * state here names a host's widget, and another control still adds no code.
+ *
+ * ## And then to five, by the same argument and for the same kind of step
+ *
+ * `#173`. §17b gives the create flow three equivalent entries — canvas, keyboard
+ * and the inspector's `+ add` — and the third one's control was `elsewhere`, so
+ * `R` was inert at exactly the position that DRAWS `R` as its own hint. That is
+ * the `#152` shape again: a step of this flow classified as somebody else's
+ * widget.
+ *
+ * THE DIFFERENCE IS NAMABLE, WHICH IS WHAT KEEPS THIS FROM BEING A SLOPE. It is
+ * the test the kind chooser already passes and the audit filter already fails:
+ * the chooser IS the key map rendered — its digits are {@link KIND_KEYS} — and
+ * `+ add` IS this binding rendered, drawing {@link RELATE_KEY} itself. A control
+ * that tells the reader to press a key cannot be a control that key is refused
+ * by. A delete button, a filter box or a host's own control shares no vocabulary
+ * with this map and stays `elsewhere`, which is where every control that draws
+ * no key belongs.
+ *
+ * ONLY `relate` REACHES IT, and that follows from the same sentence rather than
+ * from caution: the argument is about the ONE binding this control renders, and
+ * it says nothing about any other. `⌫` there would delete a selected edge the
+ * reader is not looking at, and a digit would fill a kind slot on a draft that
+ * has not begun.
  */
-export type CreateInteraction = 'canvas' | 'target-search' | 'elsewhere';
+export type CreateInteraction = 'canvas' | 'kind-chooser' | 'target-search' | 'add-control' | 'elsewhere';
 /**
  * What a key means. `none` leaves the key to the host.
  *
@@ -161,6 +226,66 @@ export type KeyIntent = {
     readonly kind: 'retype';
     readonly edgeId: EdgeId;
 };
+/**
+ * The key that begins a relationship — §17b's `R`, and the one key a surface
+ * DRAWS beside a control rather than in a legend.
+ *
+ * DECLARED ABOVE THE TABLE AND USED AS ITS KEY, so the binding and the drawn
+ * hint are the same literal by construction. The obvious alternative — deriving
+ * it the way {@link KIND_KEYS} is derived — does not survive this package's
+ * rules: a `find` over `BINDINGS` is `string | undefined`, and every way to
+ * discharge that nil is worse than the problem. A `?? 'r'` fallback is the
+ * second literal this constant exists to prevent; a module-load `throw` puts a
+ * side effect in a package published `"sideEffects": false`; and exporting
+ * `string | undefined` pushes an impossible case onto every renderer. `KIND_KEYS`
+ * escapes it only because `flatMap` makes "no entries" a legal value, and a
+ * single key has no such empty form.
+ *
+ * LOWERCASE, BECAUSE THAT IS WHAT THE TABLE MATCHES. {@link normalize} lowercases
+ * every press before the lookup, so this is the value a key press actually
+ * resolves to. §17a draws it uppercase; that is the stylesheet's `text-transform`
+ * and never a second string here.
+ *
+ * IT IS A LAYOUT VALUE, NOT A PHYSICAL POSITION. `KeyboardEvent.key` reports what
+ * the layout produces, so on a layout with no Latin `r` this binding is
+ * unreachable and a surface drawing the hint promises a key that does nothing.
+ * That is a property of the whole table rather than of this constant, and it is
+ * recorded here because publishing the letter is what makes the promise visible.
+ */
+export declare const RELATE_KEY = "r";
+/** A digit the reader can press, and the kind it chooses. */
+export interface KindKey {
+    /** The key as {@link keyIntent} spells it — `'1'`, `'2'`, … */
+    readonly key: string;
+    readonly edgeKind: EdgeKind;
+}
+/**
+ * The numbered kind list, for a surface that DRAWS the digits this map reads.
+ *
+ * ONE CONSTRUCTION, FILTERED — not a second `EDGE_FIELDS.map((_, i) => …)`
+ * somewhere a renderer can see. `workspace/mount.ts` had exactly that second
+ * copy: its chooser built `${index + 1} ${word}` from a `KINDS` alias — since
+ * removed with it — while this table built the same digits from `EDGE_FIELDS`,
+ * and the two agreed only because both happened to walk the same array (the
+ * alias WAS `EDGE_FIELDS`). Nothing pinned them, so a change to
+ * either — a reordering, a skipped digit, a sixth field — would have left the
+ * chooser telling the reader to press a key the keyboard resolves differently.
+ * That is the drift this module's header rejects in terms, live in the package
+ * that reads this module.
+ *
+ * DERIVED FROM `BINDINGS`, which stays private. Exporting the map itself would
+ * publish `survives` and the five non-kind actions, leaving every
+ * consumer to work out which entries name a kind — the same "here is the whole
+ * table, sort it out" surface a decision table exists to remove. `Map`
+ * preserves insertion order and the digits are spread from `EDGE_FIELDS.map`,
+ * so this comes out in the format's own order without sorting it.
+ *
+ * `binding.kind === 'choose-type'` narrows through the intersection for the
+ * reason {@link Binding} records: it is written as an intersection precisely so
+ * the discriminated union still narrows, which is what lets `edgeKind` be read
+ * here without a cast.
+ */
+export declare const KIND_KEYS: readonly KindKey[];
 /**
  * One key press. Structurally a subset of the DOM's `KeyboardEvent`, so a host
  * passes the event straight in rather than unpacking it.

package/dist/create/keys.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"keys.d.ts","sourceRoot":"","sources":["../../src/create/keys.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgEG;AAGH,OAAO,KAAK,EAAE,MAAM,EAAY,QAAQ,EAAE,QAAQ,EAAE,MAAM,mBAAmB,CAAC;AAE9E,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAEhD;;;;;;;GAOG;AACH,MAAM,WAAW,eAAe;IAC9B;;;;;OAKG;IACH,QAAQ,CAAC,OAAO,EAAE,QAAQ,GAAG,IAAI,CAAC;IAClC;;;;;;;;OAQG;IACH,QAAQ,CAAC,KAAK,EAAE,QAAQ,GAAG,IAAI,CAAC;IAChC;;;;;;;;;;OAUG;IACH,QAAQ,CAAC,YAAY,EAAE,MAAM,GAAG,IAAI,CAAC;IACrC;;;;;;;;;;;OAWG;IACH,QAAQ,CAAC,WAAW,EAAE,iBAAiB,CAAC;CACzC;AAED;;;;;;;;;;;;;;;;;;;;;GAqBG;AACH,MAAM,MAAM,iBAAiB,GAAG,QAAQ,GAAG,eAAe,GAAG,WAAW,CAAC;AAEzE;;;;;;GAMG;AACH,MAAM,MAAM,SAAS,GACjB;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GACzB;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAA;CAAE,GAC5D;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAA;CAAE;AAC3D,0EAA0E;GACxE;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAAC;AA+DzD;;;;;;;;;;;;;;;GAeG;AACH,MAAM,WAAW,QAAQ;IACvB,qCAAqC;IACrC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,OAAO,CAAC,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,OAAO,CAAC,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,MAAM,CAAC,EAAE,OAAO,CAAC;IAC1B;;;;;;;;;OASG;IACH,QAAQ,CAAC,WAAW,CAAC,EAAE,OAAO,CAAC;IAC/B;;;;;;;;;;;;;;;;;OAiBG;IACH,QAAQ,CAAC,MAAM,CAAC,EAAE,OAAO,CAAC;CAC3B;AA0ED;;;;;;GAMG;AACH,wBAAgB,SAAS,CAAC,KAAK,EAAE,QAAQ,EAAE,OAAO,EAAE,eAAe,GAAG,SAAS,CA+C9E"}
+{"version":3,"file":"keys.d.ts","sourceRoot":"","sources":["../../src/create/keys.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2EG;AAGH,OAAO,KAAK,EAAE,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,mBAAmB,CAAC;AAE9E,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAEhD;;;;;;;GAOG;AACH,MAAM,WAAW,eAAe;IAC9B;;;;;OAKG;IACH,QAAQ,CAAC,OAAO,EAAE,QAAQ,GAAG,IAAI,CAAC;IAClC;;;;;;;;OAQG;IACH,QAAQ,CAAC,KAAK,EAAE,QAAQ,GAAG,IAAI,CAAC;IAChC;;;;;;;;;;OAUG;IACH,QAAQ,CAAC,YAAY,EAAE,MAAM,GAAG,IAAI,CAAC;IACrC;;;;;;;;;;;OAWG;IACH,QAAQ,CAAC,WAAW,EAAE,iBAAiB,CAAC;CACzC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2EG;AACH,MAAM,MAAM,iBAAiB,GACzB,QAAQ,GACR,cAAc,GACd,eAAe,GACf,aAAa,GACb,WAAW,CAAC;AAEhB;;;;;;GAMG;AACH,MAAM,MAAM,SAAS,GACjB;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GACzB;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAA;CAAE,GAC5D;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAA;CAAE;AAC3D,0EAA0E;GACxE;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAAC;AA6CzD;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AACH,eAAO,MAAM,UAAU,MAAM,CAAC;AAkE9B,6DAA6D;AAC7D,MAAM,WAAW,OAAO;IACtB,+DAA+D;IAC/D,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC;CAC7B;AAED;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AACH,eAAO,MAAM,SAAS,EAAE,SAAS,OAAO,EAIvC,CAAC;AAIF;;;;;;;;;;;;;;;GAeG;AACH,MAAM,WAAW,QAAQ;IACvB,qCAAqC;IACrC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,OAAO,CAAC,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,OAAO,CAAC,EAAE,OAAO,CAAC;IAC3B,QAAQ,CAAC,MAAM,CAAC,EAAE,OAAO,CAAC;IAC1B;;;;;;;;;OASG;IACH,QAAQ,CAAC,WAAW,CAAC,EAAE,OAAO,CAAC;IAC/B;;;;;;;;;;;;;;;;;OAiBG;IACH,QAAQ,CAAC,MAAM,CAAC,EAAE,OAAO,CAAC;CAC3B;AAmFD;;;;;;GAMG;AACH,wBAAgB,SAAS,CAAC,KAAK,EAAE,QAAQ,EAAE,OAAO,EAAE,eAAe,GAAG,SAAS,CA+C9E"}

package/dist/create/keys.js

@@ -22,6 +22,12 @@
  * itself, a sixth field gets a `6` for free and the picker and the keyboard
  * cannot disagree about which digit means what.
  *
+ * A SURFACE THAT DRAWS THE DIGITS READS {@link KIND_KEYS}, which is the same
+ * table filtered rather than a second walk of `EDGE_FIELDS`. The renderer and
+ * the key map then cannot disagree about which digit means what either, which
+ * is the half the paragraph above did not cover and the half that had already
+ * drifted.
+ *
  * ## Retype opens the picker; it does not emit a retype
  *
  * `T` answers with the edge to open {@link ../picker/view.ts pickerView} on,
@@ -48,10 +54,15 @@
  * it, and gets one more entry every time a host grows a control.
  *
  * So the question is inverted. {@link CreateInteraction} enumerates OUR OWN
- * interaction, which §17b fixes at three states, and the host says which one it
- * is in. A fifth widget adds no code here: the host reports `elsewhere` and the
- * map is silent. What was an open-ended list of other people's claims became a
- * closed description of this design's own flow.
+ * interaction — one state per step of the create flow §17b specifies — and the
+ * host says which one it is in. A new widget adds no code here: the host reports
+ * `elsewhere` and the map is silent. What was an open-ended list of other
+ * people's claims became a closed description of this design's own flow.
+ *
+ * THE SET IS CLOSED BY THE FLOW, NOT BY A COUNT. It has grown twice, both times
+ * because a step of this flow was missing from it rather than because the
+ * closure argument failed — see {@link CreateInteraction}. The invariant that
+ * has never moved is the one that matters: no state here names a host's widget.
  *
  * Two press-level facts remain, and they are bounded in a way the widget list
  * never was — a modifier set and a composition flag are fields on the event
@@ -64,6 +75,33 @@
  * call site decides it and a sixth binding cannot be added without answering.
  */
 import { EDGE_FIELDS } from '@issuegraph/core';
+/**
+ * The key that begins a relationship — §17b's `R`, and the one key a surface
+ * DRAWS beside a control rather than in a legend.
+ *
+ * DECLARED ABOVE THE TABLE AND USED AS ITS KEY, so the binding and the drawn
+ * hint are the same literal by construction. The obvious alternative — deriving
+ * it the way {@link KIND_KEYS} is derived — does not survive this package's
+ * rules: a `find` over `BINDINGS` is `string | undefined`, and every way to
+ * discharge that nil is worse than the problem. A `?? 'r'` fallback is the
+ * second literal this constant exists to prevent; a module-load `throw` puts a
+ * side effect in a package published `"sideEffects": false`; and exporting
+ * `string | undefined` pushes an impossible case onto every renderer. `KIND_KEYS`
+ * escapes it only because `flatMap` makes "no entries" a legal value, and a
+ * single key has no such empty form.
+ *
+ * LOWERCASE, BECAUSE THAT IS WHAT THE TABLE MATCHES. {@link normalize} lowercases
+ * every press before the lookup, so this is the value a key press actually
+ * resolves to. §17a draws it uppercase; that is the stylesheet's `text-transform`
+ * and never a second string here.
+ *
+ * IT IS A LAYOUT VALUE, NOT A PHYSICAL POSITION. `KeyboardEvent.key` reports what
+ * the layout produces, so on a layout with no Latin `r` this binding is
+ * unreachable and a surface drawing the hint promises a key that does nothing.
+ * That is a property of the whole table rather than of this constant, and it is
+ * recorded here because publishing the letter is what makes the promise visible.
+ */
+export const RELATE_KEY = 'r';
 /**
  * The vocabulary, as data.
  *
@@ -76,10 +114,22 @@ import { EDGE_FIELDS } from '@issuegraph/core';
 const BINDINGS = new Map([
     // `r`, the digits and `t` are PRINTABLE. While a text control has focus they
     // are that control's characters, so they do not survive editing.
-    ['r', { kind: 'relate', reachesTargetSearch: false }],
+    // `r` SURVIVES THE CHOOSER because restarting is ordinary: `draft.ts` says on
+    // `begin` that the reader changing their mind about the subject is expected,
+    // and it already clears what a previous draft gathered. Withholding it would
+    // take the restart away from a reader whose focus is off the rail while
+    // leaving it for one whose focus is on it — a difference with no meaning.
+    // `r` ALSO SURVIVES `add-control`, and this is the one binding that does:
+    // that state IS this binding rendered as a button, drawing this very letter
+    // as its hint (`#173`). The entry is the whole of the fix — the state admits
+    // what it renders and nothing else.
+    [RELATE_KEY, { kind: 'relate', survives: ['kind-chooser', 'add-control'] }],
+    // THE DIGITS ARE WHAT THE CHOOSER IS FOR. `#152`: with focus anywhere but a
+    // keyed row the interaction read `elsewhere` and these returned `none` at the
+    // one step whose whole purpose is to be answered with a digit.
     ...EDGE_FIELDS.map((edgeKind, index) => [
         String(index + 1),
-        { kind: 'choose-type', edgeKind, reachesTargetSearch: false },
+        { kind: 'choose-type', edgeKind, survives: ['kind-chooser'] },
     ]),
     // `⏎` and `Escape` SURVIVE, and they are the reason this is a per-binding flag
     // rather than one "printable" test: the flow §17b specifies is
@@ -88,7 +138,14 @@ const BINDINGS = new Map([
     // while editing would break the loop it exists to deliver. `Escape` survives
     // for the same reason it is always available: a draft you cannot abandon is
     // worse than one you cannot start.
-    ['enter', { kind: 'commit-target', reachesTargetSearch: true }],
+    // NOT IN THE CHOOSER, which is the whole reason `kind-chooser` is a state of
+    // its own rather than an alias for `canvas`. `commit-target` fires on `match`,
+    // and `match` is derived from a target query the host clears on `cancel` only
+    // — so `R → 1 → type a query → R` leaves a kind-step draft whose `match` is
+    // still set, and `⏎` there would commit a target before a kind was chosen.
+    // It would also be `preventDefault()`ed away from the kind button under focus,
+    // so one press would do the wrong thing twice.
+    ['enter', { kind: 'commit-target', survives: ['target-search'] }],
     // BOTH SPELLINGS OF THE DELETE KEY. §17b writes it `⌫`, which is `Backspace`
     // on the keyboards that have it and `Delete` on those that do not — most
     // notably Apple's, where the key in that position reports `Backspace` and the
@@ -97,11 +154,44 @@ const BINDINGS = new Map([
     // NOT SURVIVING EDITING is the non-obvious half: in a focused text box `⌫`
     // deletes a CHARACTER, and a map that claimed it would delete the reader's
     // selected edge while they were correcting a typo in the search.
-    ['backspace', { kind: 'delete-edge', reachesTargetSearch: false }],
-    ['delete', { kind: 'delete-edge', reachesTargetSearch: false }],
-    ['t', { kind: 'retype-edge', reachesTargetSearch: false }],
-    ['escape', { kind: 'cancel', reachesTargetSearch: true }],
+    // NEITHER SURVIVES THE CHOOSER, and the reason is the design rather than the
+    // guard that happens to cover it today. `reduceHost` replaces the selection
+    // with the draft's source when `begin` reduces, so `selectedEdge` is null
+    // through the kind step and both of these would answer `none` anyway — but
+    // that is a fact about ANOTHER module's reducer, and a table that relied on it
+    // would silently start claiming presses the day the selection rule changed.
+    ['backspace', { kind: 'delete-edge', survives: [] }],
+    ['delete', { kind: 'delete-edge', survives: [] }],
+    ['t', { kind: 'retype-edge', survives: [] }],
+    ['escape', { kind: 'cancel', survives: ['target-search', 'kind-chooser'] }],
 ]);
+/**
+ * The numbered kind list, for a surface that DRAWS the digits this map reads.
+ *
+ * ONE CONSTRUCTION, FILTERED — not a second `EDGE_FIELDS.map((_, i) => …)`
+ * somewhere a renderer can see. `workspace/mount.ts` had exactly that second
+ * copy: its chooser built `${index + 1} ${word}` from a `KINDS` alias — since
+ * removed with it — while this table built the same digits from `EDGE_FIELDS`,
+ * and the two agreed only because both happened to walk the same array (the
+ * alias WAS `EDGE_FIELDS`). Nothing pinned them, so a change to
+ * either — a reordering, a skipped digit, a sixth field — would have left the
+ * chooser telling the reader to press a key the keyboard resolves differently.
+ * That is the drift this module's header rejects in terms, live in the package
+ * that reads this module.
+ *
+ * DERIVED FROM `BINDINGS`, which stays private. Exporting the map itself would
+ * publish `survives` and the five non-kind actions, leaving every
+ * consumer to work out which entries name a kind — the same "here is the whole
+ * table, sort it out" surface a decision table exists to remove. `Map`
+ * preserves insertion order and the digits are spread from `EDGE_FIELDS.map`,
+ * so this comes out in the format's own order without sorting it.
+ *
+ * `binding.kind === 'choose-type'` narrows through the intersection for the
+ * reason {@link Binding} records: it is written as an intersection precisely so
+ * the discriminated union still narrows, which is what lets `edgeKind` be read
+ * here without a cast.
+ */
+export const KIND_KEYS = Object.freeze([...BINDINGS].flatMap(([key, binding]) => binding.kind === 'choose-type' ? [{ key, edgeKind: binding.edgeKind }] : []));
 const NONE = Object.freeze({ kind: 'none' });
 /**
  * Whether this press is a chord that belongs to the platform, not to us.
@@ -141,19 +231,28 @@ function repeated(press) {
 /**
  * Whether a binding is live in the interaction the host reports.
  *
- * A DECISION TABLE OVER THE THREE STATES, exhaustive so a fourth interaction —
+ * A DECISION TABLE OVER THE FOUR STATES, exhaustive so a fifth interaction —
  * were the design ever to grow one — is a compile error here rather than a
- * silently permissive default. `elsewhere` returning `false` for EVERY binding
- * is the whole of the fix for an unrelated control's `Escape`: that control
- * needs `Escape` to cancel its own edit, and a create draft it knows nothing
- * about must not consume it.
+ * silently permissive default. This is the ONLY site a new interaction breaks:
+ * {@link Restricted } widens on its own and every existing `survives` list keeps
+ * compiling, so the answer for the bindings is decided here or not at all.
+ *
+ * `elsewhere` returning `false` for EVERY binding is the whole of the fix for an
+ * unrelated control's `Escape`: that control needs `Escape` to cancel its own
+ * edit, and a create draft it knows nothing about must not consume it. The two
+ * middle arms read the table rather than naming keys, so the vocabulary stays in
+ * one place.
  */
 function reaches(binding, interaction) {
     switch (interaction) {
         case 'canvas':
             return true;
+        case 'kind-chooser':
+            return binding.survives.includes('kind-chooser');
         case 'target-search':
-            return binding.reachesTargetSearch;
+            return binding.survives.includes('target-search');
+        case 'add-control':
+            return binding.survives.includes('add-control');
         case 'elsewhere':
             return false;
     }
@@ -187,9 +286,9 @@ export function keyIntent(press, context) {
     // whether it is a fresh ACT at all, which is a different thing and the reason
     // it is its own predicate.
     // COMPOSITION BITES THE TWO BINDINGS THAT REACH THE TARGET SEARCH, which is
-    // why it cannot be folded into `reachesTargetSearch`: `⏎` and `Escape` are
-    // exactly the two that reach a focused search box, and exactly the two an IME
-    // needs while composing.
+    // why it cannot be folded into `survives`: `⏎` and `Escape` are exactly the
+    // two that reach a focused search box, and exactly the two an IME needs while
+    // composing.
     if (chorded(press) || composing(press) || repeated(press))
         return NONE;
     const binding = BINDINGS.get(normalize(press.key));

package/dist/create/keys.js.map

@@ -1 +1 @@
-{"version":3,"file":"keys.js","sourceRoot":"","sources":["../../src/create/keys.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgEG;AAEH,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAoH/C;;;;;;;;GAQG;AACH,MAAM,QAAQ,GAAiC,IAAI,GAAG,CAAkB;IACtE,6EAA6E;IAC7E,iEAAiE;IACjE,CAAC,GAAG,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,mBAAmB,EAAE,KAAK,EAAE,CAAC;IACrD,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,KAAK,EAA8B,EAAE,CAAC;QAClE,MAAM,CAAC,KAAK,GAAG,CAAC,CAAC;QACjB,EAAE,IAAI,EAAE,aAAa,EAAE,QAAQ,EAAE,mBAAmB,EAAE,KAAK,EAAE;KAC9D,CAAC;IACF,+EAA+E;IAC/E,+DAA+D;IAC/D,0EAA0E;IAC1E,0EAA0E;IAC1E,6EAA6E;IAC7E,4EAA4E;IAC5E,mCAAmC;IACnC,CAAC,OAAO,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,mBAAmB,EAAE,IAAI,EAAE,CAAC;IAC/D,6EAA6E;IAC7E,yEAAyE;IACzE,8EAA8E;IAC9E,8EAA8E;IAC9E,0DAA0D;IAC1D,2EAA2E;IAC3E,2EAA2E;IAC3E,iEAAiE;IACjE,CAAC,WAAW,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE,mBAAmB,EAAE,KAAK,EAAE,CAAC;IAClE,CAAC,QAAQ,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE,mBAAmB,EAAE,KAAK,EAAE,CAAC;IAC/D,CAAC,GAAG,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE,mBAAmB,EAAE,KAAK,EAAE,CAAC;IAC1D,CAAC,QAAQ,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,mBAAmB,EAAE,IAAI,EAAE,CAAC;CAC1D,CAAC,CAAC;AAEH,MAAM,IAAI,GAAc,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC;AAwDxD;;;;;;;;GAQG;AACH,SAAS,OAAO,CAAC,KAAe;IAC9B,OAAO,KAAK,CAAC,OAAO,KAAK,IAAI,IAAI,KAAK,CAAC,OAAO,KAAK,IAAI,IAAI,KAAK,CAAC,MAAM,KAAK,IAAI,CAAC;AACnF,CAAC;AAED;;;;;;;;GAQG;AACH,SAAS,SAAS,CAAC,KAAe;IAChC,OAAO,KAAK,CAAC,WAAW,KAAK,IAAI,CAAC;AACpC,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,QAAQ,CAAC,KAAe;IAC/B,OAAO,KAAK,CAAC,MAAM,KAAK,IAAI,CAAC;AAC/B,CAAC;AAED;;;;;;;;;GASG;AACH,SAAS,OAAO,CAAC,OAAgB,EAAE,WAA8B;IAC/D,QAAQ,WAAW,EAAE,CAAC;QACpB,KAAK,QAAQ;YACX,OAAO,IAAI,CAAC;QACd,KAAK,eAAe;YAClB,OAAO,OAAO,CAAC,mBAAmB,CAAC;QACrC,KAAK,WAAW;YACd,OAAO,KAAK,CAAC;IACjB,CAAC;AACH,CAAC;AAED;;;;;;;;GAQG;AACH,SAAS,SAAS,CAAC,GAAW;IAC5B,OAAO,GAAG,CAAC,WAAW,EAAE,CAAC;AAC3B,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,SAAS,CAAC,KAAe,EAAE,OAAwB;IACjE,2EAA2E;IAC3E,6EAA6E;IAC7E,6EAA6E;IAC7E,8EAA8E;IAC9E,8EAA8E;IAC9E,2EAA2E;IAC3E,8EAA8E;IAC9E,2BAA2B;IAC3B,4EAA4E;IAC5E,2EAA2E;IAC3E,8EAA8E;IAC9E,yBAAyB;IACzB,IAAI,OAAO,CAAC,KAAK,CAAC,IAAI,SAAS,CAAC,KAAK,CAAC,IAAI,QAAQ,CAAC,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IAEvE,MAAM,OAAO,GAAG,QAAQ,CAAC,GAAG,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC;IACnD,IAAI,OAAO,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IAEvC,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,OAAO,CAAC,WAAW,CAAC;QAAE,OAAO,IAAI,CAAC;IAExD,QAAQ,OAAO,CAAC,IAAI,EAAE,CAAC;QACrB,KAAK,QAAQ;YACX,wEAAwE;YACxE,0DAA0D;YAC1D,OAAO,OAAO,CAAC,OAAO,KAAK,IAAI;gBAC7B,CAAC,CAAC,IAAI;gBACN,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC;QAC9E,KAAK,aAAa;YAChB,yEAAyE;YACzE,yEAAyE;YACzE,6CAA6C;YAC7C,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,OAAO,CAAC,QAAQ,EAAE,EAAE,CAAC;QACnF,KAAK,eAAe;YAClB,OAAO,OAAO,CAAC,KAAK,KAAK,IAAI;gBAC3B,CAAC,CAAC,IAAI;gBACN,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC;QAC1E,KAAK,aAAa;YAChB,OAAO,OAAO,CAAC,YAAY,KAAK,IAAI;gBAClC,CAAC,CAAC,IAAI;gBACN,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,QAAQ,EAAE,EAAE,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,CAAC,YAAY,EAAE,EAAE,CAAC;QACpF,KAAK,aAAa;YAChB,OAAO,OAAO,CAAC,YAAY,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,CAAC,YAAY,EAAE,CAAC;QACjG,KAAK,QAAQ;YACX,uEAAuE;YACvE,6DAA6D;YAC7D,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,CAAC;IAC3D,CAAC;AACH,CAAC"}
+{"version":3,"file":"keys.js","sourceRoot":"","sources":["../../src/create/keys.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2EG;AAEH,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAsM/C;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AACH,MAAM,CAAC,MAAM,UAAU,GAAG,GAAG,CAAC;AAE9B;;;;;;;;GAQG;AACH,MAAM,QAAQ,GAAiC,IAAI,GAAG,CAAkB;IACtE,6EAA6E;IAC7E,iEAAiE;IACjE,8EAA8E;IAC9E,6EAA6E;IAC7E,6EAA6E;IAC7E,wEAAwE;IACxE,0EAA0E;IAC1E,0EAA0E;IAC1E,4EAA4E;IAC5E,6EAA6E;IAC7E,oCAAoC;IACpC,CAAC,UAAU,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAC,cAAc,EAAE,aAAa,CAAC,EAAE,CAAC;IAC3E,4EAA4E;IAC5E,8EAA8E;IAC9E,+DAA+D;IAC/D,GAAG,WAAW,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,KAAK,EAA8B,EAAE,CAAC;QAClE,MAAM,CAAC,KAAK,GAAG,CAAC,CAAC;QACjB,EAAE,IAAI,EAAE,aAAa,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAC,cAAc,CAAC,EAAE;KAC9D,CAAC;IACF,+EAA+E;IAC/E,+DAA+D;IAC/D,0EAA0E;IAC1E,0EAA0E;IAC1E,6EAA6E;IAC7E,4EAA4E;IAC5E,mCAAmC;IACnC,6EAA6E;IAC7E,+EAA+E;IAC/E,8EAA8E;IAC9E,4EAA4E;IAC5E,2EAA2E;IAC3E,+EAA+E;IAC/E,+CAA+C;IAC/C,CAAC,OAAO,EAAE,EAAE,IAAI,EAAE,eAAe,EAAE,QAAQ,EAAE,CAAC,eAAe,CAAC,EAAE,CAAC;IACjE,6EAA6E;IAC7E,yEAAyE;IACzE,8EAA8E;IAC9E,8EAA8E;IAC9E,0DAA0D;IAC1D,2EAA2E;IAC3E,2EAA2E;IAC3E,iEAAiE;IACjE,6EAA6E;IAC7E,4EAA4E;IAC5E,0EAA0E;IAC1E,2EAA2E;IAC3E,+EAA+E;IAC/E,4EAA4E;IAC5E,CAAC,WAAW,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC;IACpD,CAAC,QAAQ,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC;IACjD,CAAC,GAAG,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC;IAC5C,CAAC,QAAQ,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,CAAC,eAAe,EAAE,cAAc,CAAC,EAAE,CAAC;CAC5E,CAAC,CAAC;AASH;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AACH,MAAM,CAAC,MAAM,SAAS,GAAuB,MAAM,CAAC,MAAM,CACxD,CAAC,GAAG,QAAQ,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,EAAE,OAAO,CAAC,EAAE,EAAE,CACvC,OAAO,CAAC,IAAI,KAAK,aAAa,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,QAAQ,EAAE,OAAO,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAC5E,CACF,CAAC;AAEF,MAAM,IAAI,GAAc,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAC;AAwDxD;;;;;;;;GAQG;AACH,SAAS,OAAO,CAAC,KAAe;IAC9B,OAAO,KAAK,CAAC,OAAO,KAAK,IAAI,IAAI,KAAK,CAAC,OAAO,KAAK,IAAI,IAAI,KAAK,CAAC,MAAM,KAAK,IAAI,CAAC;AACnF,CAAC;AAED;;;;;;;;GAQG;AACH,SAAS,SAAS,CAAC,KAAe;IAChC,OAAO,KAAK,CAAC,WAAW,KAAK,IAAI,CAAC;AACpC,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,QAAQ,CAAC,KAAe;IAC/B,OAAO,KAAK,CAAC,MAAM,KAAK,IAAI,CAAC;AAC/B,CAAC;AAED;;;;;;;;;;;;;;GAcG;AACH,SAAS,OAAO,CAAC,OAAgB,EAAE,WAA8B;IAC/D,QAAQ,WAAW,EAAE,CAAC;QACpB,KAAK,QAAQ;YACX,OAAO,IAAI,CAAC;QACd,KAAK,cAAc;YACjB,OAAO,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAC,cAAc,CAAC,CAAC;QACnD,KAAK,eAAe;YAClB,OAAO,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAC,eAAe,CAAC,CAAC;QACpD,KAAK,aAAa;YAChB,OAAO,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC;QAClD,KAAK,WAAW;YACd,OAAO,KAAK,CAAC;IACjB,CAAC;AACH,CAAC;AAED;;;;;;;;GAQG;AACH,SAAS,SAAS,CAAC,GAAW;IAC5B,OAAO,GAAG,CAAC,WAAW,EAAE,CAAC;AAC3B,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,SAAS,CAAC,KAAe,EAAE,OAAwB;IACjE,2EAA2E;IAC3E,6EAA6E;IAC7E,6EAA6E;IAC7E,8EAA8E;IAC9E,8EAA8E;IAC9E,2EAA2E;IAC3E,8EAA8E;IAC9E,2BAA2B;IAC3B,4EAA4E;IAC5E,4EAA4E;IAC5E,8EAA8E;IAC9E,aAAa;IACb,IAAI,OAAO,CAAC,KAAK,CAAC,IAAI,SAAS,CAAC,KAAK,CAAC,IAAI,QAAQ,CAAC,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IAEvE,MAAM,OAAO,GAAG,QAAQ,CAAC,GAAG,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC;IACnD,IAAI,OAAO,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC;IAEvC,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,OAAO,CAAC,WAAW,CAAC;QAAE,OAAO,IAAI,CAAC;IAExD,QAAQ,OAAO,CAAC,IAAI,EAAE,CAAC;QACrB,KAAK,QAAQ;YACX,wEAAwE;YACxE,0DAA0D;YAC1D,OAAO,OAAO,CAAC,OAAO,KAAK,IAAI;gBAC7B,CAAC,CAAC,IAAI;gBACN,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC;QAC9E,KAAK,aAAa;YAChB,yEAAyE;YACzE,yEAAyE;YACzE,6CAA6C;YAC7C,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,OAAO,CAAC,QAAQ,EAAE,EAAE,CAAC;QACnF,KAAK,eAAe;YAClB,OAAO,OAAO,CAAC,KAAK,KAAK,IAAI;gBAC3B,CAAC,CAAC,IAAI;gBACN,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC;QAC1E,KAAK,aAAa;YAChB,OAAO,OAAO,CAAC,YAAY,KAAK,IAAI;gBAClC,CAAC,CAAC,IAAI;gBACN,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,QAAQ,EAAE,EAAE,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,CAAC,YAAY,EAAE,EAAE,CAAC;QACpF,KAAK,aAAa;YAChB,OAAO,OAAO,CAAC,YAAY,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,CAAC,YAAY,EAAE,CAAC;QACjG,KAAK,QAAQ;YACX,uEAAuE;YACvE,6DAA6D;YAC7D,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,CAAC;IAC3D,CAAC;AACH,CAAC"}

package/dist/firstpass/candidates.d.ts

@@ -37,7 +37,23 @@
  */
 import type { EdgeKind, IssueRef } from '@issuegraph/store';
 /**
- * A candidate's identity, stable across a queue's life.
+ * A candidate's identity, stable across a queue's life — and across the SCANS of
+ * one host, which is a stronger requirement and a deliberate one.
+ *
+ * ## Why one queue's life is not enough
+ *
+ * A first pass is left and returned to. A shell that composes this surface has
+ * to know which questions the reader already decided, or a re-open re-asks every
+ * rejection — and the only thing it can compare across two scans is this id. So
+ * a host that reuses an id for a DIFFERENT finding on a later scan makes that
+ * question indistinguishable from one already answered, and it is silently
+ * dropped.
+ *
+ * The requirement is stated here rather than worked around downstream because
+ * the alternative deletes the feature: decisions scoped to a single scan mean
+ * every re-open starts from nothing. A host with no stable identity of its own
+ * should derive one from what it detected — the pair, the kind and the detector
+ * — rather than counting.
  *
  * OPAQUE TO THIS PACKAGE, and deliberately not derived from the relationship it
  * proposes. Two candidates can legitimately propose the same pair with the same

package/dist/firstpass/candidates.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"candidates.d.ts","sourceRoot":"","sources":["../../src/firstpass/candidates.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAoCG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,mBAAmB,CAAC;AAE5D;;;;;;;;;;;GAWG;AACH,MAAM,MAAM,WAAW,GAAG,MAAM,CAAC;AAEjC;;;;;GAKG;AACH,MAAM,WAAW,iBAAiB;IAChC;;;;;;;;;OASG;IACH,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,+CAA+C;IAC/C,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AAED;;;;;;;;GAQG;AACH,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,EAAE,EAAE,WAAW,CAAC;IACzB,4CAA4C;IAC5C,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,wDAAwD;IACxD,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,wCAAwC;IACxC,QAAQ,CAAC,EAAE,EAAE,QAAQ,CAAC;IACtB;;;;;OAKG;IACH,QAAQ,CAAC,QAAQ,EAAE,SAAS,iBAAiB,EAAE,CAAC;CACjD;AAED;;;;;;;;;;;;;;;;;GAiBG;AACH,MAAM,WAAW,eAAe;IAC9B;;;;;;;;OAQG;IACH,QAAQ,CAAC,cAAc,EAAE,MAAM,OAAO,CAAC,SAAS,SAAS,EAAE,CAAC,CAAC;CAC9D"}
+{"version":3,"file":"candidates.d.ts","sourceRoot":"","sources":["../../src/firstpass/candidates.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAoCG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,mBAAmB,CAAC;AAE5D;;;;;;;;;;;;;;;;;;;;;;;;;;;GA2BG;AACH,MAAM,MAAM,WAAW,GAAG,MAAM,CAAC;AAEjC;;;;;GAKG;AACH,MAAM,WAAW,iBAAiB;IAChC;;;;;;;;;OASG;IACH,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,+CAA+C;IAC/C,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AAED;;;;;;;;GAQG;AACH,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,EAAE,EAAE,WAAW,CAAC;IACzB,4CAA4C;IAC5C,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,wDAAwD;IACxD,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,wCAAwC;IACxC,QAAQ,CAAC,EAAE,EAAE,QAAQ,CAAC;IACtB;;;;;OAKG;IACH,QAAQ,CAAC,QAAQ,EAAE,SAAS,iBAAiB,EAAE,CAAC;CACjD;AAED;;;;;;;;;;;;;;;;;GAiBG;AACH,MAAM,WAAW,eAAe;IAC9B;;;;;;;;OAQG;IACH,QAAQ,CAAC,cAAc,EAAE,MAAM,OAAO,CAAC,SAAS,SAAS,EAAE,CAAC,CAAC;CAC9D"}