@xenosystem/agent-interface-core 0.1.78 → 0.1.80

package/dist/index.d.ts

@@ -10,6 +10,7 @@ export * from './knowledgeBoardProjection.js';
 export * from './hostBackedCapabilities.js';
 export * from './sessionMode.js';
 export * from './writeLease.js';
+export * from './inputLease.js';
 export * from './landingOverlap.js';
 export * from './landingQueue.js';
 export * from './reviewProjection.js';

package/dist/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAEL,KAAK,yBAAyB,EAC9B,KAAK,qBAAqB,EAC1B,KAAK,sBAAsB,EAC3B,KAAK,8BAA8B,EACnC,KAAK,qBAAqB,EAC3B,MAAM,sCAAsC,CAAA;AAE7C,cAAc,wBAAwB,CAAA;AACtC,cAAc,sBAAsB,CAAA;AACpC,cAAc,2BAA2B,CAAA;AACzC,cAAc,6BAA6B,CAAA;AAC3C,cAAc,kBAAkB,CAAA;AAChC,cAAc,4BAA4B,CAAA;AAC1C,cAAc,yBAAyB,CAAA;AACvC,cAAc,+BAA+B,CAAA;AAC7C,cAAc,6BAA6B,CAAA;AAC3C,cAAc,kBAAkB,CAAA;AAChC,cAAc,iBAAiB,CAAA;AAC/B,cAAc,qBAAqB,CAAA;AACnC,cAAc,mBAAmB,CAAA;AACjC,cAAc,uBAAuB,CAAA;AACrC,cAAc,8BAA8B,CAAA;AAC5C,cAAc,qBAAqB,CAAA;AACnC,cAAc,cAAc,CAAA;AAC5B,cAAc,yCAAyC,CAAA;AACvD,cAAc,gCAAgC,CAAA;AAC9C,cAAc,oCAAoC,CAAA;AAClD,cAAc,mCAAmC,CAAA;AACjD,cAAc,mCAAmC,CAAA;AACjD,cAAc,wCAAwC,CAAA;AACtD,cAAc,kCAAkC,CAAA;AAChD,cAAc,uCAAuC,CAAA;AACrD,cAAc,+CAA+C,CAAA;AAE7D,eAAO,MAAM,iCAAiC,+GAMQ,CAAA;AAEtD,wBAAgB,sBAAsB,CACpC,SAAS,GAAE,qBAA0B,EACrC,QAAQ,GAAE,yBAAyE,GAClF,MAAM,CAAC,sBAAsB,EAAE,yBAAyB,CAAC,CAM3D;AAED,wBAAgB,gBAAgB,CAC9B,MAAM,EAAE,qBAAqB,EAC7B,UAAU,EAAE,sBAAsB,GACjC,yBAAyB,CAE3B;AAED,wBAAgB,kBAAkB,CAAC,UAAU,EAAE,yBAAyB,GAAG,OAAO,CAEjF;AAED,wBAAgB,0BAA0B,CAAC,QAAQ,EAAE,8BAA8B,GAAG,OAAO,CAK5F;AAED,wBAAgB,8BAA8B,CAC5C,QAAQ,EAAE,8BAA8B,GACvC,sBAAsB,EAAE,CAI1B;AAED,wBAAgB,wBAAwB,CACtC,SAAS,EAAE,SAAS,8BAA8B,EAAE,EACpD,kBAAkB,UAAQ,GACzB,8BAA8B,EAAE,CAKlC;AAED,wBAAgB,aAAa,CAAC,QAAQ,EAAE,8BAA8B,GAAG,8BAA8B,CAatG;AAED,MAAM,MAAM,gCAAgC,GACxC,oBAAoB,GACpB,sBAAsB,GACtB,iBAAiB,GACjB,mBAAmB,GACnB,gBAAgB,GAChB,4BAA4B,CAAA;AAEhC,MAAM,MAAM,2BAA2B,GACnC;IAAE,EAAE,EAAE,IAAI,CAAC;IAAC,SAAS,EAAE,QAAQ,CAAC,qBAAqB,CAAC,CAAA;CAAE,GACxD;IAAE,EAAE,EAAE,KAAK,CAAC;IAAC,IAAI,EAAE,gCAAgC,CAAC;IAAC,UAAU,EAAE,MAAM,CAAA;CAAE,CAAA;AAE7E,MAAM,WAAW,iCAAiC;IAChD,UAAU,EAAE,MAAM,CAAA;IAClB,OAAO,CAAC,EAAE,MAAM,CAAA;IAChB,iBAAiB,CAAC,EAAE,MAAM,CAAA;CAC3B;AAED,wBAAgB,4BAA4B,CAC1C,SAAS,EAAE,SAAS,8BAA8B,EAAE,EACpD,KAAK,EAAE,iCAAiC,GACvC,2BAA2B,CAgE7B;AAKD,cAAc,wBAAwB,CAAA;AACtC,cAAc,oBAAoB,CAAA;AAClC,cAAc,qBAAqB,CAAA;AACnC,cAAc,0BAA0B,CAAA"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAEL,KAAK,yBAAyB,EAC9B,KAAK,qBAAqB,EAC1B,KAAK,sBAAsB,EAC3B,KAAK,8BAA8B,EACnC,KAAK,qBAAqB,EAC3B,MAAM,sCAAsC,CAAA;AAE7C,cAAc,wBAAwB,CAAA;AACtC,cAAc,sBAAsB,CAAA;AACpC,cAAc,2BAA2B,CAAA;AACzC,cAAc,6BAA6B,CAAA;AAC3C,cAAc,kBAAkB,CAAA;AAChC,cAAc,4BAA4B,CAAA;AAC1C,cAAc,yBAAyB,CAAA;AACvC,cAAc,+BAA+B,CAAA;AAC7C,cAAc,6BAA6B,CAAA;AAC3C,cAAc,kBAAkB,CAAA;AAChC,cAAc,iBAAiB,CAAA;AAC/B,cAAc,iBAAiB,CAAA;AAC/B,cAAc,qBAAqB,CAAA;AACnC,cAAc,mBAAmB,CAAA;AACjC,cAAc,uBAAuB,CAAA;AACrC,cAAc,8BAA8B,CAAA;AAC5C,cAAc,qBAAqB,CAAA;AACnC,cAAc,cAAc,CAAA;AAC5B,cAAc,yCAAyC,CAAA;AACvD,cAAc,gCAAgC,CAAA;AAC9C,cAAc,oCAAoC,CAAA;AAClD,cAAc,mCAAmC,CAAA;AACjD,cAAc,mCAAmC,CAAA;AACjD,cAAc,wCAAwC,CAAA;AACtD,cAAc,kCAAkC,CAAA;AAChD,cAAc,uCAAuC,CAAA;AACrD,cAAc,+CAA+C,CAAA;AAE7D,eAAO,MAAM,iCAAiC,+GAMQ,CAAA;AAEtD,wBAAgB,sBAAsB,CACpC,SAAS,GAAE,qBAA0B,EACrC,QAAQ,GAAE,yBAAyE,GAClF,MAAM,CAAC,sBAAsB,EAAE,yBAAyB,CAAC,CAM3D;AAED,wBAAgB,gBAAgB,CAC9B,MAAM,EAAE,qBAAqB,EAC7B,UAAU,EAAE,sBAAsB,GACjC,yBAAyB,CAE3B;AAED,wBAAgB,kBAAkB,CAAC,UAAU,EAAE,yBAAyB,GAAG,OAAO,CAEjF;AAED,wBAAgB,0BAA0B,CAAC,QAAQ,EAAE,8BAA8B,GAAG,OAAO,CAK5F;AAED,wBAAgB,8BAA8B,CAC5C,QAAQ,EAAE,8BAA8B,GACvC,sBAAsB,EAAE,CAI1B;AAED,wBAAgB,wBAAwB,CACtC,SAAS,EAAE,SAAS,8BAA8B,EAAE,EACpD,kBAAkB,UAAQ,GACzB,8BAA8B,EAAE,CAKlC;AAED,wBAAgB,aAAa,CAAC,QAAQ,EAAE,8BAA8B,GAAG,8BAA8B,CAatG;AAED,MAAM,MAAM,gCAAgC,GACxC,oBAAoB,GACpB,sBAAsB,GACtB,iBAAiB,GACjB,mBAAmB,GACnB,gBAAgB,GAChB,4BAA4B,CAAA;AAEhC,MAAM,MAAM,2BAA2B,GACnC;IAAE,EAAE,EAAE,IAAI,CAAC;IAAC,SAAS,EAAE,QAAQ,CAAC,qBAAqB,CAAC,CAAA;CAAE,GACxD;IAAE,EAAE,EAAE,KAAK,CAAC;IAAC,IAAI,EAAE,gCAAgC,CAAC;IAAC,UAAU,EAAE,MAAM,CAAA;CAAE,CAAA;AAE7E,MAAM,WAAW,iCAAiC;IAChD,UAAU,EAAE,MAAM,CAAA;IAClB,OAAO,CAAC,EAAE,MAAM,CAAA;IAChB,iBAAiB,CAAC,EAAE,MAAM,CAAA;CAC3B;AAED,wBAAgB,4BAA4B,CAC1C,SAAS,EAAE,SAAS,8BAA8B,EAAE,EACpD,KAAK,EAAE,iCAAiC,GACvC,2BAA2B,CAgE7B;AAKD,cAAc,wBAAwB,CAAA;AACtC,cAAc,oBAAoB,CAAA;AAClC,cAAc,qBAAqB,CAAA;AACnC,cAAc,0BAA0B,CAAA"}

package/dist/index.js

@@ -10,6 +10,7 @@ export * from './knowledgeBoardProjection.js';
 export * from './hostBackedCapabilities.js';
 export * from './sessionMode.js';
 export * from './writeLease.js';
+export * from './inputLease.js';
 export * from './landingOverlap.js';
 export * from './landingQueue.js';
 export * from './reviewProjection.js';

package/dist/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,0BAA0B,GAM3B,MAAM,sCAAsC,CAAA;AAE7C,cAAc,wBAAwB,CAAA;AACtC,cAAc,sBAAsB,CAAA;AACpC,cAAc,2BAA2B,CAAA;AACzC,cAAc,6BAA6B,CAAA;AAC3C,cAAc,kBAAkB,CAAA;AAChC,cAAc,4BAA4B,CAAA;AAC1C,cAAc,yBAAyB,CAAA;AACvC,cAAc,+BAA+B,CAAA;AAC7C,cAAc,6BAA6B,CAAA;AAC3C,cAAc,kBAAkB,CAAA;AAChC,cAAc,iBAAiB,CAAA;AAC/B,cAAc,qBAAqB,CAAA;AACnC,cAAc,mBAAmB,CAAA;AACjC,cAAc,uBAAuB,CAAA;AACrC,cAAc,8BAA8B,CAAA;AAC5C,cAAc,qBAAqB,CAAA;AACnC,cAAc,cAAc,CAAA;AAC5B,cAAc,yCAAyC,CAAA;AACvD,cAAc,gCAAgC,CAAA;AAC9C,cAAc,oCAAoC,CAAA;AAClD,cAAc,mCAAmC,CAAA;AACjD,cAAc,mCAAmC,CAAA;AACjD,cAAc,wCAAwC,CAAA;AACtD,cAAc,kCAAkC,CAAA;AAChD,cAAc,uCAAuC,CAAA;AACrD,cAAc,+CAA+C,CAAA;AAE7D,MAAM,CAAC,MAAM,iCAAiC,GAAG;IAC/C,uBAAuB;IACvB,gBAAgB;IAChB,iBAAiB;IACjB,kBAAkB;IAClB,gBAAgB;CACoC,CAAA;AAEtD,MAAM,UAAU,sBAAsB,CACpC,YAAmC,EAAE,EACrC,WAAsC,EAAE,MAAM,EAAE,aAAa,EAAE,MAAM,EAAE,UAAU,EAAE;IAEnF,MAAM,OAAO,GAAG,0BAA0B,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC;QAC7D,UAAU;QACV,SAAS,CAAC,UAAU,CAAC,IAAI,QAAQ;KACzB,CAAC,CAAA;IACX,OAAO,MAAM,CAAC,WAAW,CAAC,OAAO,CAA8D,CAAA;AACjG,CAAC;AAED,MAAM,UAAU,gBAAgB,CAC9B,MAA6B,EAC7B,UAAkC;IAElC,OAAO,MAAM,CAAC,UAAU,CAAC,IAAI,EAAE,MAAM,EAAE,aAAa,EAAE,MAAM,EAAE,UAAU,EAAE,CAAA;AAC5E,CAAC;AAED,MAAM,UAAU,kBAAkB,CAAC,UAAqC;IACtE,OAAO,UAAU,CAAC,MAAM,KAAK,WAAW,IAAI,UAAU,CAAC,MAAM,KAAK,UAAU,CAAA;AAC9E,CAAC;AAED,MAAM,UAAU,0BAA0B,CAAC,QAAwC;IACjF,IAAI,QAAQ,CAAC,YAAY,KAAK,WAAW,IAAI,QAAQ,CAAC,YAAY,KAAK,UAAU;QAAE,OAAO,KAAK,CAAA;IAC/F,OAAO,iCAAiC,CAAC,KAAK,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,CAC7D,kBAAkB,CAAC,gBAAgB,CAAC,QAAQ,CAAC,YAAY,EAAE,UAAU,CAAC,CAAC,CACxE,CAAC,CAAA;AACJ,CAAC;AAED,MAAM,UAAU,8BAA8B,CAC5C,QAAwC;IAExC,OAAO,iCAAiC,CAAC,MAAM,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,CAC9D,CAAC,kBAAkB,CAAC,gBAAgB,CAAC,QAAQ,CAAC,YAAY,EAAE,UAAU,CAAC,CAAC,CACzE,CAAC,CAAA;AACJ,CAAC;AAED,MAAM,UAAU,wBAAwB,CACtC,SAAoD,EACpD,kBAAkB,GAAG,KAAK;IAE1B,OAAO,SAAS;SACb,MAAM,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,kBAAkB,IAAI,QAAQ,CAAC,YAAY,KAAK,aAAa,CAAC;SACnF,GAAG,CAAC,aAAa,CAAC;SAClB,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,aAAa,CAAC,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;AAC3F,CAAC;AAED,MAAM,UAAU,aAAa,CAAC,QAAwC;IACpE,OAAO;QACL,GAAG,QAAQ;QACX,YAAY,EAAE,MAAM,CAAC,WAAW,CAC9B,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,YAAY,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,GAAG,KAAK,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CACjG;QACD,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;YACtC,GAAG,KAAK;YACR,GAAG,CAAC,KAAK,CAAC,gBAAgB;gBACxB,CAAC,CAAC,EAAE,gBAAgB,EAAE,KAAK,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,MAAM,EAAE,CAAC,CAAC,EAAE;gBAC/E,CAAC,CAAC,EAAE,CAAC;SACR,CAAC,CAAC;KACJ,CAAA;AACH,CAAC;AAoBD,MAAM,UAAU,4BAA4B,CAC1C,SAAoD,EACpD,KAAwC;IAExC,MAAM,QAAQ,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,EAAE,KAAK,KAAK,CAAC,UAAU,CAAC,CAAA;IACjF,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,oBAAoB,EAAE,UAAU,EAAE,4DAA4D,EAAE,CAAA;IAC5H,CAAC;IACD,IAAI,QAAQ,CAAC,YAAY,KAAK,WAAW,IAAI,QAAQ,CAAC,YAAY,KAAK,UAAU,EAAE,CAAC;QAClF,OAAO;YACL,EAAE,EAAE,KAAK;YACT,IAAI,EAAE,sBAAsB;YAC5B,UAAU,EAAE,QAAQ,CAAC,qBAAqB,IAAI,+CAA+C;SAC9F,CAAA;IACH,CAAC;IAED,MAAM,gBAAgB,GAAG,KAAK,CAAC,OAAO,IAAI,QAAQ,CAAC,cAAc,CAAA;IACjE,MAAM,aAAa,GAAG,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,SAAS,IAAI,aAAa,CAAC,KAAK,CAAC,CAAC;WACzF,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,aAAa,CAAC,CAAA;IACxC,MAAM,KAAK,GAAG,gBAAgB;QAC5B,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,EAAE,KAAK,gBAAgB,CAAC;QACxE,CAAC,CAAC,aAAa,CAAA;IAEjB,IAAI,gBAAgB,IAAI,CAAC,KAAK,EAAE,CAAC;QAC/B,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,iBAAiB,EAAE,UAAU,EAAE,8DAA8D,EAAE,CAAA;IAC3H,CAAC;IACD,IAAI,KAAK,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,EAAE,CAAC;QACnC,OAAO;YACL,EAAE,EAAE,KAAK;YACT,IAAI,EAAE,mBAAmB;YACzB,UAAU,EAAE,KAAK,CAAC,qBAAqB,IAAI,oCAAoC;SAChF,CAAA;IACH,CAAC;IACD,IAAI,CAAC,KAAK,IAAI,QAAQ,CAAC,0BAA0B,KAAK,IAAI,EAAE,CAAC;QAC3D,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,gBAAgB,EAAE,UAAU,EAAE,sDAAsD,EAAE,CAAA;IAClH,CAAC;IAED,MAAM,iBAAiB,GAAG,KAAK,CAAC,iBAAiB;WAC5C,KAAK,EAAE,gBAAgB,EAAE,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,SAAS,CAAC,EAAE,EAAE,CAAA;IACpE,MAAM,eAAe,GAAG,iBAAiB;QACvC,CAAC,CAAC,KAAK,EAAE,gBAAgB,EAAE,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,EAAE,KAAK,iBAAiB,CAAC;QAC5E,CAAC,CAAC,SAAS,CAAA;IACb,IAAI,iBAAiB,IAAI,CAAC,eAAe,EAAE,CAAC;QAC1C,OAAO;YACL,EAAE,EAAE,KAAK;YACT,IAAI,EAAE,4BAA4B;YAClC,UAAU,EAAE,gEAAgE;SAC7E,CAAA;IACH,CAAC;IAED,MAAM,qBAAqB,GAAG,eAAe,EAAE,cAAc;QAC3D,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,EAAE,KAAK,eAAe,CAAC,cAAc,CAAC;QACtF,CAAC,CAAC,SAAS,CAAA;IACb,IAAI,qBAAqB,IAAI,CAAC,aAAa,CAAC,qBAAqB,CAAC,EAAE,CAAC;QACnE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,mBAAmB,EAAE,UAAU,EAAE,qBAAqB,CAAC,qBAAqB,IAAI,8CAA8C,EAAE,CAAA;IAC5J,CAAC;IAED,OAAO;QACL,EAAE,EAAE,IAAI;QACR,SAAS,EAAE,MAAM,CAAC,MAAM,CAAC;YACvB,UAAU,EAAE,QAAQ,CAAC,EAAE;YACvB,eAAe,EAAE,QAAQ,CAAC,eAAe;YACzC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACvC,GAAG,CAAC,iBAAiB,CAAC,CAAC,CAAC,EAAE,iBAAiB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACnD,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,cAAc,EAAE,eAAe,EAAE,cAAc,IAAI,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SAClF,CAAC;KACH,CAAA;AACH,CAAC;AAED,SAAS,aAAa,CAAC,KAAuD;IAC5E,OAAO,KAAK,CAAC,YAAY,KAAK,WAAW,IAAI,KAAK,CAAC,YAAY,KAAK,UAAU,CAAA;AAChF,CAAC;AACD,cAAc,wBAAwB,CAAA;AACtC,cAAc,oBAAoB,CAAA;AAClC,cAAc,qBAAqB,CAAA;AACnC,cAAc,0BAA0B,CAAA"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,0BAA0B,GAM3B,MAAM,sCAAsC,CAAA;AAE7C,cAAc,wBAAwB,CAAA;AACtC,cAAc,sBAAsB,CAAA;AACpC,cAAc,2BAA2B,CAAA;AACzC,cAAc,6BAA6B,CAAA;AAC3C,cAAc,kBAAkB,CAAA;AAChC,cAAc,4BAA4B,CAAA;AAC1C,cAAc,yBAAyB,CAAA;AACvC,cAAc,+BAA+B,CAAA;AAC7C,cAAc,6BAA6B,CAAA;AAC3C,cAAc,kBAAkB,CAAA;AAChC,cAAc,iBAAiB,CAAA;AAC/B,cAAc,iBAAiB,CAAA;AAC/B,cAAc,qBAAqB,CAAA;AACnC,cAAc,mBAAmB,CAAA;AACjC,cAAc,uBAAuB,CAAA;AACrC,cAAc,8BAA8B,CAAA;AAC5C,cAAc,qBAAqB,CAAA;AACnC,cAAc,cAAc,CAAA;AAC5B,cAAc,yCAAyC,CAAA;AACvD,cAAc,gCAAgC,CAAA;AAC9C,cAAc,oCAAoC,CAAA;AAClD,cAAc,mCAAmC,CAAA;AACjD,cAAc,mCAAmC,CAAA;AACjD,cAAc,wCAAwC,CAAA;AACtD,cAAc,kCAAkC,CAAA;AAChD,cAAc,uCAAuC,CAAA;AACrD,cAAc,+CAA+C,CAAA;AAE7D,MAAM,CAAC,MAAM,iCAAiC,GAAG;IAC/C,uBAAuB;IACvB,gBAAgB;IAChB,iBAAiB;IACjB,kBAAkB;IAClB,gBAAgB;CACoC,CAAA;AAEtD,MAAM,UAAU,sBAAsB,CACpC,YAAmC,EAAE,EACrC,WAAsC,EAAE,MAAM,EAAE,aAAa,EAAE,MAAM,EAAE,UAAU,EAAE;IAEnF,MAAM,OAAO,GAAG,0BAA0B,CAAC,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC;QAC7D,UAAU;QACV,SAAS,CAAC,UAAU,CAAC,IAAI,QAAQ;KACzB,CAAC,CAAA;IACX,OAAO,MAAM,CAAC,WAAW,CAAC,OAAO,CAA8D,CAAA;AACjG,CAAC;AAED,MAAM,UAAU,gBAAgB,CAC9B,MAA6B,EAC7B,UAAkC;IAElC,OAAO,MAAM,CAAC,UAAU,CAAC,IAAI,EAAE,MAAM,EAAE,aAAa,EAAE,MAAM,EAAE,UAAU,EAAE,CAAA;AAC5E,CAAC;AAED,MAAM,UAAU,kBAAkB,CAAC,UAAqC;IACtE,OAAO,UAAU,CAAC,MAAM,KAAK,WAAW,IAAI,UAAU,CAAC,MAAM,KAAK,UAAU,CAAA;AAC9E,CAAC;AAED,MAAM,UAAU,0BAA0B,CAAC,QAAwC;IACjF,IAAI,QAAQ,CAAC,YAAY,KAAK,WAAW,IAAI,QAAQ,CAAC,YAAY,KAAK,UAAU;QAAE,OAAO,KAAK,CAAA;IAC/F,OAAO,iCAAiC,CAAC,KAAK,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,CAC7D,kBAAkB,CAAC,gBAAgB,CAAC,QAAQ,CAAC,YAAY,EAAE,UAAU,CAAC,CAAC,CACxE,CAAC,CAAA;AACJ,CAAC;AAED,MAAM,UAAU,8BAA8B,CAC5C,QAAwC;IAExC,OAAO,iCAAiC,CAAC,MAAM,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,CAC9D,CAAC,kBAAkB,CAAC,gBAAgB,CAAC,QAAQ,CAAC,YAAY,EAAE,UAAU,CAAC,CAAC,CACzE,CAAC,CAAA;AACJ,CAAC;AAED,MAAM,UAAU,wBAAwB,CACtC,SAAoD,EACpD,kBAAkB,GAAG,KAAK;IAE1B,OAAO,SAAS;SACb,MAAM,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,kBAAkB,IAAI,QAAQ,CAAC,YAAY,KAAK,aAAa,CAAC;SACnF,GAAG,CAAC,aAAa,CAAC;SAClB,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,aAAa,CAAC,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;AAC3F,CAAC;AAED,MAAM,UAAU,aAAa,CAAC,QAAwC;IACpE,OAAO;QACL,GAAG,QAAQ;QACX,YAAY,EAAE,MAAM,CAAC,WAAW,CAC9B,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,YAAY,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,GAAG,KAAK,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CACjG;QACD,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;YACtC,GAAG,KAAK;YACR,GAAG,CAAC,KAAK,CAAC,gBAAgB;gBACxB,CAAC,CAAC,EAAE,gBAAgB,EAAE,KAAK,CAAC,gBAAgB,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,MAAM,EAAE,CAAC,CAAC,EAAE;gBAC/E,CAAC,CAAC,EAAE,CAAC;SACR,CAAC,CAAC;KACJ,CAAA;AACH,CAAC;AAoBD,MAAM,UAAU,4BAA4B,CAC1C,SAAoD,EACpD,KAAwC;IAExC,MAAM,QAAQ,GAAG,SAAS,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,EAAE,KAAK,KAAK,CAAC,UAAU,CAAC,CAAA;IACjF,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,oBAAoB,EAAE,UAAU,EAAE,4DAA4D,EAAE,CAAA;IAC5H,CAAC;IACD,IAAI,QAAQ,CAAC,YAAY,KAAK,WAAW,IAAI,QAAQ,CAAC,YAAY,KAAK,UAAU,EAAE,CAAC;QAClF,OAAO;YACL,EAAE,EAAE,KAAK;YACT,IAAI,EAAE,sBAAsB;YAC5B,UAAU,EAAE,QAAQ,CAAC,qBAAqB,IAAI,+CAA+C;SAC9F,CAAA;IACH,CAAC;IAED,MAAM,gBAAgB,GAAG,KAAK,CAAC,OAAO,IAAI,QAAQ,CAAC,cAAc,CAAA;IACjE,MAAM,aAAa,GAAG,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,SAAS,IAAI,aAAa,CAAC,KAAK,CAAC,CAAC;WACzF,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,aAAa,CAAC,CAAA;IACxC,MAAM,KAAK,GAAG,gBAAgB;QAC5B,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,EAAE,KAAK,gBAAgB,CAAC;QACxE,CAAC,CAAC,aAAa,CAAA;IAEjB,IAAI,gBAAgB,IAAI,CAAC,KAAK,EAAE,CAAC;QAC/B,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,iBAAiB,EAAE,UAAU,EAAE,8DAA8D,EAAE,CAAA;IAC3H,CAAC;IACD,IAAI,KAAK,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,EAAE,CAAC;QACnC,OAAO;YACL,EAAE,EAAE,KAAK;YACT,IAAI,EAAE,mBAAmB;YACzB,UAAU,EAAE,KAAK,CAAC,qBAAqB,IAAI,oCAAoC;SAChF,CAAA;IACH,CAAC;IACD,IAAI,CAAC,KAAK,IAAI,QAAQ,CAAC,0BAA0B,KAAK,IAAI,EAAE,CAAC;QAC3D,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,gBAAgB,EAAE,UAAU,EAAE,sDAAsD,EAAE,CAAA;IAClH,CAAC;IAED,MAAM,iBAAiB,GAAG,KAAK,CAAC,iBAAiB;WAC5C,KAAK,EAAE,gBAAgB,EAAE,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,SAAS,CAAC,EAAE,EAAE,CAAA;IACpE,MAAM,eAAe,GAAG,iBAAiB;QACvC,CAAC,CAAC,KAAK,EAAE,gBAAgB,EAAE,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,EAAE,KAAK,iBAAiB,CAAC;QAC5E,CAAC,CAAC,SAAS,CAAA;IACb,IAAI,iBAAiB,IAAI,CAAC,eAAe,EAAE,CAAC;QAC1C,OAAO;YACL,EAAE,EAAE,KAAK;YACT,IAAI,EAAE,4BAA4B;YAClC,UAAU,EAAE,gEAAgE;SAC7E,CAAA;IACH,CAAC;IAED,MAAM,qBAAqB,GAAG,eAAe,EAAE,cAAc;QAC3D,CAAC,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,EAAE,KAAK,eAAe,CAAC,cAAc,CAAC;QACtF,CAAC,CAAC,SAAS,CAAA;IACb,IAAI,qBAAqB,IAAI,CAAC,aAAa,CAAC,qBAAqB,CAAC,EAAE,CAAC;QACnE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,mBAAmB,EAAE,UAAU,EAAE,qBAAqB,CAAC,qBAAqB,IAAI,8CAA8C,EAAE,CAAA;IAC5J,CAAC;IAED,OAAO;QACL,EAAE,EAAE,IAAI;QACR,SAAS,EAAE,MAAM,CAAC,MAAM,CAAC;YACvB,UAAU,EAAE,QAAQ,CAAC,EAAE;YACvB,eAAe,EAAE,QAAQ,CAAC,eAAe;YACzC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACvC,GAAG,CAAC,iBAAiB,CAAC,CAAC,CAAC,EAAE,iBAAiB,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACnD,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,cAAc,EAAE,eAAe,EAAE,cAAc,IAAI,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SAClF,CAAC;KACH,CAAA;AACH,CAAC;AAED,SAAS,aAAa,CAAC,KAAuD;IAC5E,OAAO,KAAK,CAAC,YAAY,KAAK,WAAW,IAAI,KAAK,CAAC,YAAY,KAAK,UAAU,CAAA;AAChF,CAAC;AACD,cAAc,wBAAwB,CAAA;AACtC,cAAc,oBAAoB,CAAA;AAClC,cAAc,qBAAqB,CAAA;AACnC,cAAc,0BAA0B,CAAA"}

package/dist/inputLease.d.ts

@@ -0,0 +1,158 @@
+/**
+ * Input lease (XENO SPAWN §14.4, required by §10.4 "take over").
+ *
+ * Moved DOWN from `xeno-shell/packages/core/src/inputLease.ts` so that Spawn and
+ * xeno-shell consume ONE copy of the arbitration rules instead of two that drift.
+ * The only change from the shell original is the seat dependency: shell's
+ * concrete `SeatRegistry` is replaced by the structural port `InputLeaseSeats`
+ * below, which that registry satisfies without modification.
+ *
+ * Two humans driving one PTY needs an arbiter for **who may type right now**.
+ * Takeover arbitration already exists one level up (ADE §5.5, `writeLease.ts`)
+ * and answers a different question — who owns the RUN. This answers who owns the
+ * KEYBOARD, and the two are not the same: a reviewer can take over a run and
+ * still need to be handed the input before their keystrokes mean anything.
+ *
+ * 🔴 WHAT WAS ACTUALLY MISSING, and it is worth stating precisely because the
+ * name made it look built: `"input.lease"` already existed as a shell
+ * `SeatCapability` — in the union, in `HOST_SEAT_CAPABILITIES`, in the guest
+ * defaults, and in a test asserting agent seats do not get it. So the registry
+ * could answer *"may this seat hold the lease?"* and nothing anywhere could
+ * answer *"who holds it?"*. A permission to hold a thing that did not exist.
+ * This module is the thing.
+ *
+ * Design rules, each with the failure it prevents:
+ *
+ * 1. **Capability-gated.** Only a seat whose ceiling includes `"input.lease"`
+ *    may acquire. Agent seats are excluded BY DEFAULT (shell `seats.ts`:
+ *    "driving the host's real mouse and keyboard is an explicit, separate
+ *    grant"), so an agent seat cannot take the keyboard from a human without
+ *    that grant being made deliberately.
+ *
+ * 2. 🔴 **UNCONTESTED UNTIL CONTENTION IS POSSIBLE.** While at most one seat in
+ *    the registry *holds the capability*, any capable seat may write without
+ *    acquiring anything. The moment a second capable seat exists, writes require
+ *    the lease. This is not laxity — it is what makes the feature shippable:
+ *    every existing single-user install keeps working BY CONSTRUCTION rather
+ *    than by someone remembering to call `acquire()` on a path that predates
+ *    this file. Wave S-B staged the terminal policy the same way and for the
+ *    same reason. A lease that silently swallowed the only user's keystrokes
+ *    would be a regression dressed as a security feature.
+ *
+ * 3. **Takeover is explicit and RECORDED.** `takeOver()` bumps `generation`, so
+ *    a displaced holder can observe that it lost the lease. The alternative —
+ *    dropping its writes silently — produces the worst symptom in an interactive
+ *    product: a terminal that looks alive and ignores you.
+ *
+ * 4. **Eviction drops leases.** A seat that no longer exists cannot keep the
+ *    keyboard. `onSeatEvicted` is the hook the host's existing seat-eviction
+ *    path calls (shell: `SeatRegistry.evict`), so revocation reuses the one code
+ *    path that already tears a seat down rather than adding a second thing to
+ *    remember.
+ *
+ * 5. **Fail closed.** An unknown seat is denied, never treated as uncontested.
+ *
+ * Environment-agnostic, like the rest of `packages/core` — no node builtins.
+ *
+ * @unwired-by-design XENO SPAWN §14.4 — moved down from xeno-shell so Spawn and the shell share one copy; nothing in this repo constructs it, the consumers (shell, Spawn) adopt it from the published package, and with one capable seat the lease is uncontested by rule 2 — it gains a real caller when a second capable seat can exist (XENO SESSIONS remote/guest seats, SPAWN §10.4 "take over").
+ */
+/** The capability that gates holding a lease at all. */
+export declare const INPUT_LEASE_CAPABILITY: "input.lease";
+export type InputLeaseCapability = typeof INPUT_LEASE_CAPABILITY;
+/**
+ * The seat model the lease needs, and nothing more.
+ *
+ * A structural PORT rather than an import, because the seat model belongs to the
+ * host (xeno-shell's `SeatRegistry`, Spawn's own) and core must not depend UP on
+ * it. Shell's `SeatRegistry` satisfies this as-is: its `get` returns
+ * `Seat | null`, its `list` returns seats with an `id`, and its `hasCapability`
+ * accepts a `SeatCapability` union that contains `'input.lease'` — which is why
+ * the parameter here is the literal, not `string`: that keeps the assignment
+ * sound under `strictFunctionTypes` rather than relying on method bivariance.
+ */
+export interface InputLeaseSeats {
+    /** Any value other than `null`/`undefined` means the seat exists. */
+    get(seatId: string): unknown;
+    list(): readonly {
+        readonly id: string;
+    }[];
+    hasCapability(seatId: string, capability: InputLeaseCapability): boolean;
+}
+export interface InputLeaseRecord {
+    /** What the lease is over — one PTY, terminal or input surface. */
+    readonly targetId: string;
+    readonly holderSeatId: string;
+    readonly acquiredAt: string;
+    /**
+     * Bumped on every handover. A writer that observed generation N and sees N+1
+     * knows it was displaced, rather than inferring it from its input vanishing.
+     */
+    readonly generation: number;
+}
+export type InputWriteDenial = 
+/** The seat is not in the registry. Denied, never treated as uncontested. */
+'unknown-seat'
+/** The seat's ceiling does not include `input.lease`. */
+ | 'not-capable'
+/** Another seat holds the lease for this target. */
+ | 'held-by-another';
+export type InputWriteVerdict = {
+    readonly allowed: true;
+    readonly reason: 'uncontested' | 'holder';
+} | {
+    readonly allowed: false;
+    readonly reason: InputWriteDenial;
+    /** Present only for `held-by-another`, so a UI can name who has it. */
+    readonly holderSeatId?: string;
+};
+export declare class InputLeaseError extends Error {
+}
+export declare class InputLeaseRegistry {
+    private readonly leases;
+    private readonly seats;
+    private readonly now;
+    constructor(seats: InputLeaseSeats, now?: () => string);
+    /** Seats whose CEILING permits holding a lease. Contention is measured on this, not on holders. */
+    capableSeatIds(): readonly string[];
+    /**
+     * Is input for this target currently arbitrated at all?
+     *
+     * False while at most one seat could ever hold the lease — see rule 2. Exposed
+     * because a UI must not show a "request control" affordance that would be a
+     * no-op, and because a test asserting the strict path needs to prove it is in
+     * the strict path rather than passing by accident.
+     */
+    isContested(): boolean;
+    holder(targetId: string): InputLeaseRecord | null;
+    /**
+     * Take the lease if it is free. Throws if the seat may not hold one at all —
+     * that is a programming error, not a runtime race. Re-acquiring a lease you
+     * already hold is idempotent and does NOT bump the generation: nobody was
+     * displaced, so no observer should be told they were.
+     */
+    acquire(targetId: string, seatId: string): InputLeaseRecord;
+    /** Give it up. Returns false if this seat did not hold it — releasing is never an error. */
+    release(targetId: string, seatId: string): boolean;
+    /**
+     * Take the lease from whoever has it. Deliberately a SEPARATE verb from
+     * `acquire`: displacing a person is a different act from picking up something
+     * nobody holds, and the call site should have to say which one it means.
+     */
+    takeOver(targetId: string, seatId: string): InputLeaseRecord;
+    /** May this seat write to this target right now? */
+    canWrite(targetId: string, seatId: string): InputWriteVerdict;
+    /**
+     * Drop every lease held by an evicted seat. Returns the targets freed so the
+     * caller can notify their surfaces — a terminal whose lease vanished should
+     * say so rather than appear to still be owned.
+     */
+    onSeatEvicted(seatId: string): readonly string[];
+    /**
+     * Existence, read through the port. Shell's registry answers `null` for a
+     * missing seat and another host may answer `undefined`; both mean unknown, and
+     * unknown fails closed (rule 5).
+     */
+    private seatExists;
+    private assertCapable;
+}
+//# sourceMappingURL=inputLease.d.ts.map

package/dist/inputLease.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"inputLease.d.ts","sourceRoot":"","sources":["../src/inputLease.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAyDG;AAEH,wDAAwD;AACxD,eAAO,MAAM,sBAAsB,EAAG,aAAsB,CAAA;AAE5D,MAAM,MAAM,oBAAoB,GAAG,OAAO,sBAAsB,CAAA;AAEhE;;;;;;;;;;GAUG;AACH,MAAM,WAAW,eAAe;IAC9B,qEAAqE;IACrE,GAAG,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAA;IAC5B,IAAI,IAAI,SAAS;QAAE,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAA;KAAE,EAAE,CAAA;IAC1C,aAAa,CAAC,MAAM,EAAE,MAAM,EAAE,UAAU,EAAE,oBAAoB,GAAG,OAAO,CAAA;CACzE;AAED,MAAM,WAAW,gBAAgB;IAC/B,mEAAmE;IACnE,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;IACzB,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAA;IAC7B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAA;IAC3B;;;OAGG;IACH,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAA;CAC5B;AAED,MAAM,MAAM,gBAAgB;AAC1B,6EAA6E;AAC3E,cAAc;AAChB,yDAAyD;GACvD,aAAa;AACf,oDAAoD;GAClD,iBAAiB,CAAA;AAErB,MAAM,MAAM,iBAAiB,GACzB;IAAE,QAAQ,CAAC,OAAO,EAAE,IAAI,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,aAAa,GAAG,QAAQ,CAAA;CAAE,GACrE;IACE,QAAQ,CAAC,OAAO,EAAE,KAAK,CAAA;IACvB,QAAQ,CAAC,MAAM,EAAE,gBAAgB,CAAA;IACjC,uEAAuE;IACvE,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAA;CAC/B,CAAA;AAEL,qBAAa,eAAgB,SAAQ,KAAK;CAAG;AAI7C,qBAAa,kBAAkB;IAC7B,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAsC;IAC7D,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAiB;IACvC,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAc;gBAEtB,KAAK,EAAE,eAAe,EAAE,GAAG,GAAE,MAAM,MAAe;IAK9D,mGAAmG;IACnG,cAAc,IAAI,SAAS,MAAM,EAAE;IAOnC;;;;;;;OAOG;IACH,WAAW,IAAI,OAAO;IAItB,MAAM,CAAC,QAAQ,EAAE,MAAM,GAAG,gBAAgB,GAAG,IAAI;IAIjD;;;;;OAKG;IACH,OAAO,CAAC,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,gBAAgB;IAmB3D,4FAA4F;IAC5F,OAAO,CAAC,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,OAAO;IAOlD;;;;OAIG;IACH,QAAQ,CAAC,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,gBAAgB;IAc5D,oDAAoD;IACpD,QAAQ,CAAC,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,iBAAiB;IAiB7D;;;;OAIG;IACH,aAAa,CAAC,MAAM,EAAE,MAAM,GAAG,SAAS,MAAM,EAAE;IAWhD;;;;OAIG;IACH,OAAO,CAAC,UAAU;IAKlB,OAAO,CAAC,aAAa;CAUtB"}

package/dist/inputLease.js

@@ -0,0 +1,194 @@
+/**
+ * Input lease (XENO SPAWN §14.4, required by §10.4 "take over").
+ *
+ * Moved DOWN from `xeno-shell/packages/core/src/inputLease.ts` so that Spawn and
+ * xeno-shell consume ONE copy of the arbitration rules instead of two that drift.
+ * The only change from the shell original is the seat dependency: shell's
+ * concrete `SeatRegistry` is replaced by the structural port `InputLeaseSeats`
+ * below, which that registry satisfies without modification.
+ *
+ * Two humans driving one PTY needs an arbiter for **who may type right now**.
+ * Takeover arbitration already exists one level up (ADE §5.5, `writeLease.ts`)
+ * and answers a different question — who owns the RUN. This answers who owns the
+ * KEYBOARD, and the two are not the same: a reviewer can take over a run and
+ * still need to be handed the input before their keystrokes mean anything.
+ *
+ * 🔴 WHAT WAS ACTUALLY MISSING, and it is worth stating precisely because the
+ * name made it look built: `"input.lease"` already existed as a shell
+ * `SeatCapability` — in the union, in `HOST_SEAT_CAPABILITIES`, in the guest
+ * defaults, and in a test asserting agent seats do not get it. So the registry
+ * could answer *"may this seat hold the lease?"* and nothing anywhere could
+ * answer *"who holds it?"*. A permission to hold a thing that did not exist.
+ * This module is the thing.
+ *
+ * Design rules, each with the failure it prevents:
+ *
+ * 1. **Capability-gated.** Only a seat whose ceiling includes `"input.lease"`
+ *    may acquire. Agent seats are excluded BY DEFAULT (shell `seats.ts`:
+ *    "driving the host's real mouse and keyboard is an explicit, separate
+ *    grant"), so an agent seat cannot take the keyboard from a human without
+ *    that grant being made deliberately.
+ *
+ * 2. 🔴 **UNCONTESTED UNTIL CONTENTION IS POSSIBLE.** While at most one seat in
+ *    the registry *holds the capability*, any capable seat may write without
+ *    acquiring anything. The moment a second capable seat exists, writes require
+ *    the lease. This is not laxity — it is what makes the feature shippable:
+ *    every existing single-user install keeps working BY CONSTRUCTION rather
+ *    than by someone remembering to call `acquire()` on a path that predates
+ *    this file. Wave S-B staged the terminal policy the same way and for the
+ *    same reason. A lease that silently swallowed the only user's keystrokes
+ *    would be a regression dressed as a security feature.
+ *
+ * 3. **Takeover is explicit and RECORDED.** `takeOver()` bumps `generation`, so
+ *    a displaced holder can observe that it lost the lease. The alternative —
+ *    dropping its writes silently — produces the worst symptom in an interactive
+ *    product: a terminal that looks alive and ignores you.
+ *
+ * 4. **Eviction drops leases.** A seat that no longer exists cannot keep the
+ *    keyboard. `onSeatEvicted` is the hook the host's existing seat-eviction
+ *    path calls (shell: `SeatRegistry.evict`), so revocation reuses the one code
+ *    path that already tears a seat down rather than adding a second thing to
+ *    remember.
+ *
+ * 5. **Fail closed.** An unknown seat is denied, never treated as uncontested.
+ *
+ * Environment-agnostic, like the rest of `packages/core` — no node builtins.
+ *
+ * @unwired-by-design XENO SPAWN §14.4 — moved down from xeno-shell so Spawn and the shell share one copy; nothing in this repo constructs it, the consumers (shell, Spawn) adopt it from the published package, and with one capable seat the lease is uncontested by rule 2 — it gains a real caller when a second capable seat can exist (XENO SESSIONS remote/guest seats, SPAWN §10.4 "take over").
+ */
+/** The capability that gates holding a lease at all. */
+export const INPUT_LEASE_CAPABILITY = 'input.lease';
+export class InputLeaseError extends Error {
+}
+const nowIso = () => new Date().toISOString();
+export class InputLeaseRegistry {
+    leases = new Map();
+    seats;
+    now;
+    constructor(seats, now = nowIso) {
+        this.seats = seats;
+        this.now = now;
+    }
+    /** Seats whose CEILING permits holding a lease. Contention is measured on this, not on holders. */
+    capableSeatIds() {
+        return this.seats
+            .list()
+            .filter((seat) => this.seats.hasCapability(seat.id, INPUT_LEASE_CAPABILITY))
+            .map((seat) => seat.id);
+    }
+    /**
+     * Is input for this target currently arbitrated at all?
+     *
+     * False while at most one seat could ever hold the lease — see rule 2. Exposed
+     * because a UI must not show a "request control" affordance that would be a
+     * no-op, and because a test asserting the strict path needs to prove it is in
+     * the strict path rather than passing by accident.
+     */
+    isContested() {
+        return this.capableSeatIds().length > 1;
+    }
+    holder(targetId) {
+        return this.leases.get(targetId) ?? null;
+    }
+    /**
+     * Take the lease if it is free. Throws if the seat may not hold one at all —
+     * that is a programming error, not a runtime race. Re-acquiring a lease you
+     * already hold is idempotent and does NOT bump the generation: nobody was
+     * displaced, so no observer should be told they were.
+     */
+    acquire(targetId, seatId) {
+        this.assertCapable(seatId);
+        const current = this.leases.get(targetId);
+        if (current && current.holderSeatId !== seatId) {
+            throw new InputLeaseError(`Input lease for ${targetId} is held by ${current.holderSeatId}; take it over explicitly.`);
+        }
+        if (current)
+            return current;
+        const record = {
+            targetId,
+            holderSeatId: seatId,
+            acquiredAt: this.now(),
+            generation: 1,
+        };
+        this.leases.set(targetId, record);
+        return record;
+    }
+    /** Give it up. Returns false if this seat did not hold it — releasing is never an error. */
+    release(targetId, seatId) {
+        const current = this.leases.get(targetId);
+        if (!current || current.holderSeatId !== seatId)
+            return false;
+        this.leases.delete(targetId);
+        return true;
+    }
+    /**
+     * Take the lease from whoever has it. Deliberately a SEPARATE verb from
+     * `acquire`: displacing a person is a different act from picking up something
+     * nobody holds, and the call site should have to say which one it means.
+     */
+    takeOver(targetId, seatId) {
+        this.assertCapable(seatId);
+        const current = this.leases.get(targetId);
+        if (current && current.holderSeatId === seatId)
+            return current;
+        const record = {
+            targetId,
+            holderSeatId: seatId,
+            acquiredAt: this.now(),
+            generation: (current?.generation ?? 0) + 1,
+        };
+        this.leases.set(targetId, record);
+        return record;
+    }
+    /** May this seat write to this target right now? */
+    canWrite(targetId, seatId) {
+        if (!this.seatExists(seatId))
+            return { allowed: false, reason: 'unknown-seat' };
+        if (!this.seats.hasCapability(seatId, INPUT_LEASE_CAPABILITY)) {
+            return { allowed: false, reason: 'not-capable' };
+        }
+        const current = this.leases.get(targetId);
+        if (current) {
+            return current.holderSeatId === seatId
+                ? { allowed: true, reason: 'holder' }
+                : { allowed: false, reason: 'held-by-another', holderSeatId: current.holderSeatId };
+        }
+        // Rule 2: nobody holds it. Free-for-all only while contention is impossible.
+        return this.isContested()
+            ? { allowed: false, reason: 'held-by-another' }
+            : { allowed: true, reason: 'uncontested' };
+    }
+    /**
+     * Drop every lease held by an evicted seat. Returns the targets freed so the
+     * caller can notify their surfaces — a terminal whose lease vanished should
+     * say so rather than appear to still be owned.
+     */
+    onSeatEvicted(seatId) {
+        const freed = [];
+        for (const [targetId, record] of this.leases) {
+            if (record.holderSeatId === seatId) {
+                this.leases.delete(targetId);
+                freed.push(targetId);
+            }
+        }
+        return freed;
+    }
+    /**
+     * Existence, read through the port. Shell's registry answers `null` for a
+     * missing seat and another host may answer `undefined`; both mean unknown, and
+     * unknown fails closed (rule 5).
+     */
+    seatExists(seatId) {
+        const seat = this.seats.get(seatId);
+        return seat !== null && seat !== undefined;
+    }
+    assertCapable(seatId) {
+        if (!this.seatExists(seatId)) {
+            throw new InputLeaseError(`Unknown seat ${seatId} cannot hold an input lease.`);
+        }
+        if (!this.seats.hasCapability(seatId, INPUT_LEASE_CAPABILITY)) {
+            throw new InputLeaseError(`Seat ${seatId} does not hold the ${INPUT_LEASE_CAPABILITY} capability.`);
+        }
+    }
+}
+//# sourceMappingURL=inputLease.js.map

package/dist/inputLease.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"inputLease.js","sourceRoot":"","sources":["../src/inputLease.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAyDG;AAEH,wDAAwD;AACxD,MAAM,CAAC,MAAM,sBAAsB,GAAG,aAAsB,CAAA;AAmD5D,MAAM,OAAO,eAAgB,SAAQ,KAAK;CAAG;AAE7C,MAAM,MAAM,GAAG,GAAW,EAAE,CAAC,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAA;AAErD,MAAM,OAAO,kBAAkB;IACZ,MAAM,GAAG,IAAI,GAAG,EAA4B,CAAA;IAC5C,KAAK,CAAiB;IACtB,GAAG,CAAc;IAElC,YAAY,KAAsB,EAAE,MAAoB,MAAM;QAC5D,IAAI,CAAC,KAAK,GAAG,KAAK,CAAA;QAClB,IAAI,CAAC,GAAG,GAAG,GAAG,CAAA;IAChB,CAAC;IAED,mGAAmG;IACnG,cAAc;QACZ,OAAO,IAAI,CAAC,KAAK;aACd,IAAI,EAAE;aACN,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,aAAa,CAAC,IAAI,CAAC,EAAE,EAAE,sBAAsB,CAAC,CAAC;aAC3E,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;IAC3B,CAAC;IAED;;;;;;;OAOG;IACH,WAAW;QACT,OAAO,IAAI,CAAC,cAAc,EAAE,CAAC,MAAM,GAAG,CAAC,CAAA;IACzC,CAAC;IAED,MAAM,CAAC,QAAgB;QACrB,OAAO,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,IAAI,CAAA;IAC1C,CAAC;IAED;;;;;OAKG;IACH,OAAO,CAAC,QAAgB,EAAE,MAAc;QACtC,IAAI,CAAC,aAAa,CAAC,MAAM,CAAC,CAAA;QAC1B,MAAM,OAAO,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAA;QACzC,IAAI,OAAO,IAAI,OAAO,CAAC,YAAY,KAAK,MAAM,EAAE,CAAC;YAC/C,MAAM,IAAI,eAAe,CACvB,mBAAmB,QAAQ,eAAe,OAAO,CAAC,YAAY,4BAA4B,CAC3F,CAAA;QACH,CAAC;QACD,IAAI,OAAO;YAAE,OAAO,OAAO,CAAA;QAC3B,MAAM,MAAM,GAAqB;YAC/B,QAAQ;YACR,YAAY,EAAE,MAAM;YACpB,UAAU,EAAE,IAAI,CAAC,GAAG,EAAE;YACtB,UAAU,EAAE,CAAC;SACd,CAAA;QACD,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAA;QACjC,OAAO,MAAM,CAAA;IACf,CAAC;IAED,4FAA4F;IAC5F,OAAO,CAAC,QAAgB,EAAE,MAAc;QACtC,MAAM,OAAO,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAA;QACzC,IAAI,CAAC,OAAO,IAAI,OAAO,CAAC,YAAY,KAAK,MAAM;YAAE,OAAO,KAAK,CAAA;QAC7D,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAA;QAC5B,OAAO,IAAI,CAAA;IACb,CAAC;IAED;;;;OAIG;IACH,QAAQ,CAAC,QAAgB,EAAE,MAAc;QACvC,IAAI,CAAC,aAAa,CAAC,MAAM,CAAC,CAAA;QAC1B,MAAM,OAAO,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAA;QACzC,IAAI,OAAO,IAAI,OAAO,CAAC,YAAY,KAAK,MAAM;YAAE,OAAO,OAAO,CAAA;QAC9D,MAAM,MAAM,GAAqB;YAC/B,QAAQ;YACR,YAAY,EAAE,MAAM;YACpB,UAAU,EAAE,IAAI,CAAC,GAAG,EAAE;YACtB,UAAU,EAAE,CAAC,OAAO,EAAE,UAAU,IAAI,CAAC,CAAC,GAAG,CAAC;SAC3C,CAAA;QACD,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAA;QACjC,OAAO,MAAM,CAAA;IACf,CAAC;IAED,oDAAoD;IACpD,QAAQ,CAAC,QAAgB,EAAE,MAAc;QACvC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC;YAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,cAAc,EAAE,CAAA;QAC/E,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,aAAa,CAAC,MAAM,EAAE,sBAAsB,CAAC,EAAE,CAAC;YAC9D,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,aAAa,EAAE,CAAA;QAClD,CAAC;QACD,MAAM,OAAO,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAA;QACzC,IAAI,OAAO,EAAE,CAAC;YACZ,OAAO,OAAO,CAAC,YAAY,KAAK,MAAM;gBACpC,CAAC,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE;gBACrC,CAAC,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,iBAAiB,EAAE,YAAY,EAAE,OAAO,CAAC,YAAY,EAAE,CAAA;QACvF,CAAC;QACD,6EAA6E;QAC7E,OAAO,IAAI,CAAC,WAAW,EAAE;YACvB,CAAC,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,iBAAiB,EAAE;YAC/C,CAAC,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,aAAa,EAAE,CAAA;IAC9C,CAAC;IAED;;;;OAIG;IACH,aAAa,CAAC,MAAc;QAC1B,MAAM,KAAK,GAAa,EAAE,CAAA;QAC1B,KAAK,MAAM,CAAC,QAAQ,EAAE,MAAM,CAAC,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;YAC7C,IAAI,MAAM,CAAC,YAAY,KAAK,MAAM,EAAE,CAAC;gBACnC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAA;gBAC5B,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAA;YACtB,CAAC;QACH,CAAC;QACD,OAAO,KAAK,CAAA;IACd,CAAC;IAED;;;;OAIG;IACK,UAAU,CAAC,MAAc;QAC/B,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,CAAA;QACnC,OAAO,IAAI,KAAK,IAAI,IAAI,IAAI,KAAK,SAAS,CAAA;IAC5C,CAAC;IAEO,aAAa,CAAC,MAAc;QAClC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,EAAE,CAAC;YAC7B,MAAM,IAAI,eAAe,CAAC,gBAAgB,MAAM,8BAA8B,CAAC,CAAA;QACjF,CAAC;QACD,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,aAAa,CAAC,MAAM,EAAE,sBAAsB,CAAC,EAAE,CAAC;YAC9D,MAAM,IAAI,eAAe,CACvB,QAAQ,MAAM,sBAAsB,sBAAsB,cAAc,CACzE,CAAA;QACH,CAAC;IACH,CAAC;CACF"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@xenosystem/agent-interface-core",
-  "version": "0.1.78",
+  "version": "0.1.80",
   "license": "UNLICENSED",
   "type": "module",
   "main": "./dist/index.js",
@@ -23,8 +23,7 @@
     "directory": "packages/core"
   },
   "dependencies": {
-    "@xenosystem/agent-interface-contract": "0.1.78"
+    "@xenosystem/agent-interface-contract": "0.1.80"
   },
-  "scripts": {},
-  "gitHead": "d0ec450d718014c41186a62c8915b1d57a833bf3"
+  "scripts": {}
 }