@llui/agent 0.0.38 → 0.0.40

package/dist/client/factory.d.ts

@@ -39,6 +39,15 @@ export type MsgSchemaField = MsgSchemaBareType | {
     optional?: boolean;
     priority?: 'should';
     hint?: string;
+    /**
+     * Boolean JS expression authored with `@validates("expr")` JSDoc.
+     * Has `v` bound to the field value at runtime; the validator
+     * compiles it lazily with `new Function('v', 'return (' + src +
+     * ')')` and caches the function across calls. Use for invariants
+     * the type system can't express — numeric ranges, format
+     * predicates, length bounds.
+     */
+    validates?: string;
 };
 export type MsgSchemaShape = {
     discriminant: string;

package/dist/client/factory.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"factory.d.ts","sourceRoot":"","sources":["../../src/client/factory.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,WAAW,CAAA;AAC1C,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,cAAc,CAAA;AAC/C,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,mBAAmB,CAAA;AAC1D,OAAO,KAAK,EACV,SAAS,EACT,YAAY,EAEZ,kBAAkB,EAEnB,MAAM,gBAAgB,CAAA;AAGvB,OAAO,EAAoD,KAAK,aAAa,EAAE,MAAM,cAAc,CAAA;AAEnG;;;;;;;;;;;;;;;;;GAiBG;AACH,MAAM,MAAM,iBAAiB,GACzB,MAAM,GACN;IAAE,IAAI,EAAE,aAAa,CAAC,MAAM,GAAG,MAAM,GAAG,OAAO,CAAC,CAAA;CAAE,GAClD;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,cAAc,CAAC,CAAA;CAAE,GACzD;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,OAAO,EAAE,iBAAiB,CAAA;CAAE,GAC7C;IACE,IAAI,EAAE,qBAAqB,CAAA;IAC3B,YAAY,EAAE,MAAM,CAAA;IACpB,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC,CAAA;CACzD,CAAA;AAEL,MAAM,MAAM,cAAc,GACtB,iBAAiB,GACjB;IACE,IAAI,EAAE,iBAAiB,CAAA;IACvB,QAAQ,CAAC,EAAE,OAAO,CAAA;IAClB,QAAQ,CAAC,EAAE,QAAQ,CAAA;IACnB,IAAI,CAAC,EAAE,MAAM,CAAA;CACd,CAAA;AAEL,MAAM,MAAM,cAAc,GAAG;IAC3B,YAAY,EAAE,MAAM,CAAA;IACpB,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC,CAAA;CACzD,CAAA;AAED,KAAK,iBAAiB,GAAG;IACvB,WAAW,CAAC,EAAE,OAAO,CAAA;IACrB,aAAa,CAAC,EAAE,OAAO,CAAA;IACvB,gBAAgB,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,kBAAkB,CAAC,CAAA;IACrD,YAAY,CAAC,EAAE,MAAM,CAAA;IACrB,IAAI,EAAE,MAAM,CAAA;IACZ,gBAAgB,CAAC,EAAE,CAAC,KAAK,EAAE,OAAO,KAAK,KAAK,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,CAAC,CAAC,EAAE,MAAM,GAAG,OAAO,CAAA;KAAE,CAAC,CAAA;IACpF,SAAS,CAAC,EAAE,SAAS,CAAA;IACrB,YAAY,CAAC,EAAE,CAAC,KAAK,EAAE,OAAO,KAAK,YAAY,CAAA;CAChD,CAAA;AAED,MAAM,MAAM,qBAAqB,CAAC,KAAK,EAAE,GAAG,IAAI;IAC9C,MAAM,EAAE,SAAS,CAAA;IACjB,GAAG,EAAE,iBAAiB,CAAA;IACtB,UAAU,CAAC,EAAE,MAAM,CAAA;IACnB,WAAW,EAAE,OAAO,GAAG,IAAI,CAAA;IAC3B,MAAM,EAAE;QACN,UAAU,EAAE,CAAC,CAAC,EAAE,KAAK,KAAK,OAAO,CAAA;QACjC,UAAU,EAAE,CAAC,CAAC,EAAE,KAAK,KAAK,iBAAiB,CAAA;QAC3C,cAAc,EAAE,CAAC,CAAC,EAAE,OAAO,KAAK,GAAG,CAAA;QACnC,cAAc,EAAE,CAAC,CAAC,EAAE,OAAO,KAAK,GAAG,CAAA;QACnC;;;;;WAKG;QACH,UAAU,CAAC,EAAE,CAAC,CAAC,EAAE,OAAO,KAAK,GAAG,CAAA;KACjC,CAAA;IACD;;;;;;OAMG;IACH,MAAM,CAAC,EAAE,aAAa,CAAA;IACtB;;;;;;;;;;;OAWG;IACH,aAAa,CAAC,EAAE,MAAM,CAAA;CACvB,CAAA;AAED,MAAM,MAAM,WAAW,GAAG;IACxB,aAAa,EAAE,CAAC,MAAM,EAAE,WAAW,KAAK,OAAO,CAAC,IAAI,CAAC,CAAA;IACrD,KAAK,IAAI,IAAI,CAAA;IACb,IAAI,IAAI,IAAI,CAAA;CACb,CAAA;AAED,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,GAAG,EAC1C,IAAI,EAAE,qBAAqB,CAAC,KAAK,EAAE,GAAG,CAAC,GACtC,WAAW,CAiLb"}
+{"version":3,"file":"factory.d.ts","sourceRoot":"","sources":["../../src/client/factory.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,WAAW,CAAA;AAC1C,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,cAAc,CAAA;AAC/C,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,mBAAmB,CAAA;AAC1D,OAAO,KAAK,EACV,SAAS,EACT,YAAY,EAEZ,kBAAkB,EAEnB,MAAM,gBAAgB,CAAA;AAGvB,OAAO,EAAoD,KAAK,aAAa,EAAE,MAAM,cAAc,CAAA;AAEnG;;;;;;;;;;;;;;;;;GAiBG;AACH,MAAM,MAAM,iBAAiB,GACzB,MAAM,GACN;IAAE,IAAI,EAAE,aAAa,CAAC,MAAM,GAAG,MAAM,GAAG,OAAO,CAAC,CAAA;CAAE,GAClD;IAAE,IAAI,EAAE,QAAQ,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,cAAc,CAAC,CAAA;CAAE,GACzD;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,OAAO,EAAE,iBAAiB,CAAA;CAAE,GAC7C;IACE,IAAI,EAAE,qBAAqB,CAAA;IAC3B,YAAY,EAAE,MAAM,CAAA;IACpB,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC,CAAA;CACzD,CAAA;AAEL,MAAM,MAAM,cAAc,GACtB,iBAAiB,GACjB;IACE,IAAI,EAAE,iBAAiB,CAAA;IACvB,QAAQ,CAAC,EAAE,OAAO,CAAA;IAClB,QAAQ,CAAC,EAAE,QAAQ,CAAA;IACnB,IAAI,CAAC,EAAE,MAAM,CAAA;IACb;;;;;;;OAOG;IACH,SAAS,CAAC,EAAE,MAAM,CAAA;CACnB,CAAA;AAEL,MAAM,MAAM,cAAc,GAAG;IAC3B,YAAY,EAAE,MAAM,CAAA;IACpB,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC,CAAA;CACzD,CAAA;AAED,KAAK,iBAAiB,GAAG;IACvB,WAAW,CAAC,EAAE,OAAO,CAAA;IACrB,aAAa,CAAC,EAAE,OAAO,CAAA;IACvB,gBAAgB,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,kBAAkB,CAAC,CAAA;IACrD,YAAY,CAAC,EAAE,MAAM,CAAA;IACrB,IAAI,EAAE,MAAM,CAAA;IACZ,gBAAgB,CAAC,EAAE,CAAC,KAAK,EAAE,OAAO,KAAK,KAAK,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,CAAC,CAAC,EAAE,MAAM,GAAG,OAAO,CAAA;KAAE,CAAC,CAAA;IACpF,SAAS,CAAC,EAAE,SAAS,CAAA;IACrB,YAAY,CAAC,EAAE,CAAC,KAAK,EAAE,OAAO,KAAK,YAAY,CAAA;CAChD,CAAA;AAED,MAAM,MAAM,qBAAqB,CAAC,KAAK,EAAE,GAAG,IAAI;IAC9C,MAAM,EAAE,SAAS,CAAA;IACjB,GAAG,EAAE,iBAAiB,CAAA;IACtB,UAAU,CAAC,EAAE,MAAM,CAAA;IACnB,WAAW,EAAE,OAAO,GAAG,IAAI,CAAA;IAC3B,MAAM,EAAE;QACN,UAAU,EAAE,CAAC,CAAC,EAAE,KAAK,KAAK,OAAO,CAAA;QACjC,UAAU,EAAE,CAAC,CAAC,EAAE,KAAK,KAAK,iBAAiB,CAAA;QAC3C,cAAc,EAAE,CAAC,CAAC,EAAE,OAAO,KAAK,GAAG,CAAA;QACnC,cAAc,EAAE,CAAC,CAAC,EAAE,OAAO,KAAK,GAAG,CAAA;QACnC;;;;;WAKG;QACH,UAAU,CAAC,EAAE,CAAC,CAAC,EAAE,OAAO,KAAK,GAAG,CAAA;KACjC,CAAA;IACD;;;;;;OAMG;IACH,MAAM,CAAC,EAAE,aAAa,CAAA;IACtB;;;;;;;;;;;OAWG;IACH,aAAa,CAAC,EAAE,MAAM,CAAA;CACvB,CAAA;AAED,MAAM,MAAM,WAAW,GAAG;IACxB,aAAa,EAAE,CAAC,MAAM,EAAE,WAAW,KAAK,OAAO,CAAC,IAAI,CAAC,CAAA;IACrD,KAAK,IAAI,IAAI,CAAA;IACb,IAAI,IAAI,IAAI,CAAA;CACb,CAAA;AAED,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,GAAG,EAC1C,IAAI,EAAE,qBAAqB,CAAC,KAAK,EAAE,GAAG,CAAC,GACtC,WAAW,CA+Lb"}

package/dist/client/factory.js

@@ -58,6 +58,10 @@ export function createAgentClient(opts) {
     // decodes incoming agent messages before they hit the reducer. The
     // tagged-value convention is documented in `@llui/agent/codecs`.
     const codecs = opts.codecs ?? makeDefaultCodecs();
+    // Track the most recent send_message outcome so `describe_context`
+    // can prepend a synthetic hint about it. Apps used to roll their
+    // own `lastDispatchError` state field; the framework now owns it.
+    let lastDispatchOutcome = null;
     const rpcHost = {
         getState: () => encodeForWire(opts.handle.getState(), codecs),
         send: (m) => opts.handle.send(decodeFromWire(m, codecs)),
@@ -83,11 +87,18 @@ export function createAgentClient(opts) {
         getBindingDescriptors: () => opts.handle.getBindingDescriptors(),
         getAgentAffordances: () => opts.def.agentAffordances ?? null,
         getAgentContext: () => opts.def.agentContext ?? null,
+        getLastDispatchOutcome: () => lastDispatchOutcome,
         getRootElement: () => opts.rootElement,
         proposeConfirm: (entry) => {
             opts.handle.send(opts.slices.wrapConfirmMsg({ type: 'Propose', entry }));
         },
     };
+    // Exposed so the WS client can update on each send_message reply.
+    // Closure scope keeps the field write-protected — only the WS layer
+    // mutates it; everyone else reads through the getter above.
+    const recordDispatchOutcome = (outcome) => {
+        lastDispatchOutcome = outcome;
+    };
     const helloBuilder = () => ({
         t: 'hello',
         appName: opts.def.name,
@@ -118,6 +129,7 @@ export function createAgentClient(opts) {
                         opts.handle.send(opts.slices.wrapLogMsg({ type: 'Append', entry }));
                     }
                     : undefined,
+                onDispatchOutcome: recordDispatchOutcome,
             });
             ws.addEventListener('open', () => {
                 opts.handle.send(opts.slices.wrapConnectMsg({ type: 'WsOpened' }));

package/dist/client/factory.js.map

@@ -1 +1 @@
-{"version":3,"file":"factory.js","sourceRoot":"","sources":["../../src/client/factory.ts"],"names":[],"mappings":"AAUA,OAAO,EAAE,cAAc,EAA8B,MAAM,gBAAgB,CAAA;AAC3E,OAAO,EAAE,mBAAmB,EAAE,MAAM,qBAAqB,CAAA;AACzD,OAAO,EAAE,iBAAiB,EAAE,aAAa,EAAE,cAAc,EAAsB,MAAM,cAAc,CAAA;AAuGnG,MAAM,UAAU,iBAAiB,CAC/B,IAAuC;IAEvC,IAAI,EAAE,GAAqB,IAAI,CAAA;IAC/B,IAAI,QAAQ,GAA6C,IAAI,CAAA;IAC7D,IAAI,gBAAgB,GAA0C,IAAI,CAAA;IAClE,IAAI,iBAAiB,GAAwB,IAAI,CAAA;IACjD,MAAM,gBAAgB,GAAG,IAAI,GAAG,EAAU,CAAA;IAE1C,iEAAiE;IACjE,oEAAoE;IACpE,iEAAiE;IACjE,+DAA+D;IAC/D,MAAM,WAAW,GAA2B,EAAE,CAAA;IAC9C,IAAI,uBAAuB,GAAG,KAAK,CAAA;IACnC,IAAI,UAAU,GAAqC,IAAI,CAAA;IACvD,IAAI,cAAc,GAAgD,IAAI,CAAA;IAEtE,SAAS,qBAAqB;QAC5B,IAAI,uBAAuB;YAAE,OAAM;QACnC,IAAI,OAAO,MAAM,KAAK,WAAW;YAAE,OAAM;QACzC,UAAU,GAAG,CAAC,CAAa,EAAE,EAAE;YAC7B,WAAW,CAAC,IAAI,CAAC;gBACf,IAAI,EAAE,OAAO;gBACb,OAAO,EAAE,CAAC,CAAC,OAAO,IAAI,MAAM,CAAC,CAAC,CAAC,KAAK,IAAI,eAAe,CAAC;gBACxD,KAAK,EAAE,CAAC,CAAC,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS;aAC5D,CAAC,CAAA;QACJ,CAAC,CAAA;QACD,cAAc,GAAG,CAAC,CAAwB,EAAE,EAAE;YAC5C,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,CAAA;YAClB,MAAM,OAAO,GAAG,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAA;YAC7F,WAAW,CAAC,IAAI,CAAC;gBACf,IAAI,EAAE,oBAAoB;gBAC1B,OAAO;gBACP,KAAK,EAAE,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS;aAChD,CAAC,CAAA;QACJ,CAAC,CAAA;QACD,MAAM,CAAC,gBAAgB,CAAC,OAAO,EAAE,UAAU,CAAC,CAAA;QAC5C,MAAM,CAAC,gBAAgB,CAAC,oBAAoB,EAAE,cAAc,CAAC,CAAA;QAC7D,uBAAuB,GAAG,IAAI,CAAA;IAChC,CAAC;IAED,SAAS,oBAAoB;QAC3B,IAAI,CAAC,uBAAuB;YAAE,OAAM;QACpC,IAAI,OAAO,MAAM,KAAK,WAAW;YAAE,OAAM;QACzC,IAAI,UAAU;YAAE,MAAM,CAAC,mBAAmB,CAAC,OAAO,EAAE,UAAU,CAAC,CAAA;QAC/D,IAAI,cAAc;YAAE,MAAM,CAAC,mBAAmB,CAAC,oBAAoB,EAAE,cAAc,CAAC,CAAA;QACpF,UAAU,GAAG,IAAI,CAAA;QACjB,cAAc,GAAG,IAAI,CAAA;QACrB,uBAAuB,GAAG,KAAK,CAAA;IACjC,CAAC;IAED,oEAAoE;IACpE,kEAAkE;IAClE,mEAAmE;IACnE,iEAAiE;IACjE,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,IAAI,iBAAiB,EAAE,CAAA;IAEjD,MAAM,OAAO,GAAa;QACxB,QAAQ,EAAE,GAAG,EAAE,CAAC,aAAa,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,EAAE,EAAE,MAAM,CAAC;QAC7D,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC;QACxD,KAAK,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE;QAChC,SAAS,EAAE,CAAC,QAAQ,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,GAAG,EAAE,CAAC,QAAQ,EAAE,CAAC;QAChE,sBAAsB,EAAE,GAAG,EAAE,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,EAAE,WAAW,CAAC,MAAM,CAAC;QACvE,iBAAiB,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,gBAAgB,IAAI,IAAI;QAC1D,kEAAkE;QAClE,kEAAkE;QAClE,0DAA0D;QAC1D,mDAAmD;QACnD,YAAY,EAAE,GAAG,EAAE,CAAE,IAAI,CAAC,GAAG,CAAC,WAA0C,IAAI,IAAI;QAChF,+DAA+D;QAC/D,kEAAkE;QAClE,2CAA2C;QAC3C,UAAU,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC;QAChD,gEAAgE;QAChE,oEAAoE;QACpE,gEAAgE;QAChE,gEAAgE;QAChE,kEAAkE;QAClE,SAAS;QACT,qBAAqB,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,qBAAqB,EAAE;QAChE,mBAAmB,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,gBAAgB,IAAI,IAAI;QAC5D,eAAe,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,YAAY,IAAI,IAAI;QACpD,cAAc,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,WAAW;QACtC,cAAc,EAAE,CAAC,KAAK,EAAE,EAAE;YACxB,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,cAAc,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,CAAC,CAAA;QAC1E,CAAC;KACF,CAAA;IAED,MAAM,YAAY,GAAG,GAAG,EAAE,CAAC,CAAC;QAC1B,CAAC,EAAE,OAAgB;QACnB,OAAO,EAAE,IAAI,CAAC,GAAG,CAAC,IAAI;QACtB,UAAU,EAAE,IAAI,CAAC,UAAU,IAAI,OAAO;QACtC,SAAS,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,WAAW,IAAI,EAAE,CAAuC;QAC7E,WAAW,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,aAAa,IAAI,EAAE,CAAW;QACrD,iBAAiB,EAAE,IAAI,CAAC,GAAG,CAAC,gBAAgB;YAC1C,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,gBAAgB,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC;YACnD,CAAC,CAAC,EAAE;QACN,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,SAAS,IAAI,IAAI;QAChC,UAAU,EAAE,IAAI,CAAC,GAAG,CAAC,YAAY,IAAI,EAAE;KACxC,CAAC,CAAA;IAEF,MAAM,aAAa,GAAG,mBAAmB,CAAC;QACxC,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;QAChC,gBAAgB,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,cAAc,CAAC,CAAC,CAAC;QACtD,OAAO,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC;QAC/C,aAAa,EAAE,IAAI,CAAC,aAAa;QACjC,MAAM,EAAE,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE;YACvB,IAAI,EAAE;gBAAE,EAAE,CAAC,KAAK,EAAE,CAAA;YAClB,EAAE,GAAG,IAAI,SAAS,CAAC,GAAG,KAAK,UAAU,kBAAkB,CAAC,KAAK,CAAC,EAAE,CAAC,CAAA;YACjE,QAAQ,GAAG,cAAc,CAAC,EAAuB,EAAE,OAAO,EAAE,YAAY,EAAE;gBACxE,WAAW,EAAE,GAAG,EAAE;oBAChB,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,cAAc,CAAC,EAAE,IAAI,EAAE,mBAAmB,EAAE,CAAC,CAAC,CAAA;gBAC7E,CAAC;gBACD,UAAU,EAAE,IAAI,CAAC,MAAM,CAAC,UAAU;oBAChC,CAAC,CAAC,CAAC,KAAK,EAAE,EAAE;wBACR,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,UAAW,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAC,CAAA;oBACtE,CAAC;oBACH,CAAC,CAAC,SAAS;aACd,CAAC,CAAA;YACF,EAAE,CAAC,gBAAgB,CAAC,MAAM,EAAE,GAAG,EAAE;gBAC/B,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,cAAc,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC,CAAC,CAAA;YACpE,CAAC,CAAC,CAAA;YACF,EAAE,CAAC,gBAAgB,CAAC,OAAO,EAAE,GAAG,EAAE;gBAChC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,cAAc,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC,CAAC,CAAA;YACpE,CAAC,CAAC,CAAA;QACJ,CAAC;QACD,OAAO,EAAE,GAAG,EAAE;YACZ,QAAQ,EAAE,KAAK,EAAE,CAAA;YACjB,EAAE,GAAG,IAAI,CAAA;YACT,QAAQ,GAAG,IAAI,CAAA;QACjB,CAAC;KACF,CAAC,CAAA;IAEF,MAAM,YAAY,GAAG,GAAG,EAAE;QACxB,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,QAAQ,EAAW,CAAA;QAC7C,MAAM,OAAO,GAAG,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC,CAAA;QAC7C,KAAK,MAAM,KAAK,IAAI,OAAO,CAAC,OAAO,EAAE,CAAC;YACpC,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS;gBAAE,SAAQ;YACxC,IAAI,gBAAgB,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;gBAAE,SAAQ;YAC5C,gBAAgB,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAA;YAC9B,IAAI,KAAK,CAAC,MAAM,KAAK,UAAU,EAAE,CAAC;gBAChC,QAAQ,EAAE,cAAc,CACtB,KAAK,CAAC,EAAE,EACR,WAAW,EACX,aAAa,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,EAAE,EAAE,MAAM,CAAC,CAC9C,CAAA;YACH,CAAC;iBAAM,IAAI,KAAK,CAAC,MAAM,KAAK,UAAU,EAAE,CAAC;gBACvC,QAAQ,EAAE,cAAc,CAAC,KAAK,CAAC,EAAE,EAAE,gBAAgB,CAAC,CAAA;YACtD,CAAC;QACH,CAAC;IACH,CAAC,CAAA;IAED,OAAO;QACL,aAAa;QACb,KAAK;YACH,IAAI,CAAC,gBAAgB;gBAAE,gBAAgB,GAAG,WAAW,CAAC,YAAY,EAAE,GAAG,CAAC,CAAA;YACxE,IAAI,CAAC,iBAAiB,EAAE,CAAC;gBACvB,iBAAiB,GAAG,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,KAAK,EAAE,EAAE;oBAClD,0DAA0D;oBAC1D,0DAA0D;oBAC1D,iCAAiC;oBACjC,QAAQ,EAAE,eAAe,CAAC,GAAG,EAAE,aAAa,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,CAAA;gBAC9D,CAAC,CAAC,CAAA;YACJ,CAAC;YACD,qBAAqB,EAAE,CAAA;QACzB,CAAC;QACD,IAAI;YACF,IAAI,gBAAgB;gBAAE,aAAa,CAAC,gBAAgB,CAAC,CAAA;YACrD,gBAAgB,GAAG,IAAI,CAAA;YACvB,IAAI,iBAAiB,EAAE,CAAC;gBACtB,iBAAiB,EAAE,CAAA;gBACnB,iBAAiB,GAAG,IAAI,CAAA;YAC1B,CAAC;YACD,oBAAoB,EAAE,CAAA;YACtB,WAAW,CAAC,MAAM,GAAG,CAAC,CAAA;YACtB,QAAQ,EAAE,KAAK,EAAE,CAAA;QACnB,CAAC;KACF,CAAA;AACH,CAAC;AAED,SAAS,aAAa,CAAC,CAAU;IAC/B,IAAI,CAAC;QACH,OAAO,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAA;IAC1B,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,MAAM,CAAC,CAAC,CAAC,CAAA;IAClB,CAAC;AACH,CAAC","sourcesContent":["import type { AppHandle } from '@llui/dom'\nimport type { AgentEffect } from './effects.js'\nimport type { AgentConfirmState } from './agentConfirm.js'\nimport type {\n  AgentDocs,\n  AgentContext,\n  LapDrainMeta,\n  MessageAnnotations,\n  MessageSchemaEntry,\n} from '../protocol.js'\nimport { attachWsClient, type WsLike, type RpcHosts } from './ws-client.js'\nimport { createEffectHandler } from './effect-handler.js'\nimport { makeDefaultCodecs, encodeForWire, decodeFromWire, type CodecRegistry } from '../codecs.js'\n\n/**\n * The shape the compiler emits as `__msgSchema`. Mirrors `MsgField`\n * from `@llui/vite-plugin/src/msg-schema.ts`. Three coexisting forms:\n *\n *   1. Bare primitive: `'string' | 'number' | 'boolean' | 'unknown'`\n *      and bare enum: `{enum: [...]}` (values may be string, number,\n *      or boolean — the compiler preserves the literal kind so JSON\n *      round-trips don't lose type info).\n *   2. Bare nested types: `{kind: 'object', shape}` for inline /\n *      followed-via-typeIndex shapes; `{kind: 'array', element}` for\n *      `T[]` / `readonly T[]` / `Array<T>`; `{kind: 'discriminated-\n *      union', discriminant, variants}` for tagged unions of objects\n *      (e.g. `Format = {kind:'exact'} | {kind:'range', min, max}`).\n *      The synthesizer recurses to build copy-paste-ready nested\n *      examples; the validator walks the same tree.\n *   3. Rich descriptor: wraps any of the above with `{optional?,\n *      priority?, hint?}` carrying TS optionality and `@should` hints.\n */\nexport type MsgSchemaBareType =\n  | string\n  | { enum: ReadonlyArray<string | number | boolean> }\n  | { kind: 'object'; shape: Record<string, MsgSchemaField> }\n  | { kind: 'array'; element: MsgSchemaBareType }\n  | {\n      kind: 'discriminated-union'\n      discriminant: string\n      variants: Record<string, Record<string, MsgSchemaField>>\n    }\n\nexport type MsgSchemaField =\n  | MsgSchemaBareType\n  | {\n      type: MsgSchemaBareType\n      optional?: boolean\n      priority?: 'should'\n      hint?: string\n    }\n\nexport type MsgSchemaShape = {\n  discriminant: string\n  variants: Record<string, Record<string, MsgSchemaField>>\n}\n\ntype ComponentMetadata = {\n  __msgSchema?: unknown\n  __stateSchema?: unknown\n  __msgAnnotations?: Record<string, MessageAnnotations>\n  __schemaHash?: string\n  name: string\n  agentAffordances?: (state: unknown) => Array<{ type: string; [k: string]: unknown }>\n  agentDocs?: AgentDocs\n  agentContext?: (state: unknown) => AgentContext\n}\n\nexport type CreateAgentClientOpts<State, Msg> = {\n  handle: AppHandle\n  def: ComponentMetadata\n  appVersion?: string\n  rootElement: Element | null\n  slices: {\n    getConnect: (s: State) => unknown\n    getConfirm: (s: State) => AgentConfirmState\n    wrapConnectMsg: (m: unknown) => Msg\n    wrapConfirmMsg: (m: unknown) => Msg\n    /**\n     * Optional: wrap an agentLog msg so the client-side activity feed\n     * mirrors what Claude is doing. If omitted, outbound log-append\n     * frames still go to the server, but the local agent.log slice\n     * stays empty (the UI won't show activity).\n     */\n    wrapLogMsg?: (m: unknown) => Msg\n  }\n  /**\n   * Codec registry for non-JSON-safe values (Date, Blob, Map, …)\n   * crossing the LAP boundary. Defaults to `makeDefaultCodecs()`\n   * which ships `iso-date` and `epoch-millis`. Provide a custom\n   * registry to register additional codecs (e.g. `base64-blob` for\n   * file uploads). See `@llui/agent/codecs` for the convention.\n   */\n  codecs?: CodecRegistry\n  /**\n   * Base path for agent HTTP endpoints. Default: `'/agent'` (matches\n   * the canonical paths in `@llui/vite-plugin`'s dev middleware and\n   * `@llui/agent/server`). The mint URL, resume URLs, and revoke URL\n   * derive from this so consumers don't have to keep them in sync.\n   *\n   * Override when:\n   *   - **Cross-origin agent server**: pass the full base, e.g.\n   *     `'https://api.example.com/agent'` or `'http://localhost:8787/agent'`.\n   *   - **`@cloudflare/vite-plugin` in dev**: pass `'/cdn-cgi/agent'`\n   *     because cloudflare-vite shadows non-`/cdn-cgi/*` routes.\n   */\n  agentBasePath?: string\n}\n\nexport type AgentClient = {\n  effectHandler: (effect: AgentEffect) => Promise<void>\n  start(): void\n  stop(): void\n}\n\nexport function createAgentClient<State, Msg>(\n  opts: CreateAgentClientOpts<State, Msg>,\n): AgentClient {\n  let ws: WebSocket | null = null\n  let wsClient: ReturnType<typeof attachWsClient> | null = null\n  let confirmPollTimer: ReturnType<typeof setInterval> | null = null\n  let stateSubscription: (() => void) | null = null\n  const resolvedConfirms = new Set<string>()\n\n  // Drain-error buffer: populated by persistent `window.error` and\n  // `window.unhandledrejection` listeners installed on `start()`. The\n  // send-message drain loop consumes and clears it per call so the\n  // envelope surfaces only errors that fired during that window.\n  const drainErrors: LapDrainMeta['errors'] = []\n  let errorListenersInstalled = false\n  let onErrorEvt: ((e: ErrorEvent) => void) | null = null\n  let onRejectionEvt: ((e: PromiseRejectionEvent) => void) | null = null\n\n  function installErrorListeners(): void {\n    if (errorListenersInstalled) return\n    if (typeof window === 'undefined') return\n    onErrorEvt = (e: ErrorEvent) => {\n      drainErrors.push({\n        kind: 'error',\n        message: e.message ?? String(e.error ?? 'unknown error'),\n        stack: e.error instanceof Error ? e.error.stack : undefined,\n      })\n    }\n    onRejectionEvt = (e: PromiseRejectionEvent) => {\n      const r = e.reason\n      const message = r instanceof Error ? r.message : typeof r === 'string' ? r : safeStringify(r)\n      drainErrors.push({\n        kind: 'unhandledrejection',\n        message,\n        stack: r instanceof Error ? r.stack : undefined,\n      })\n    }\n    window.addEventListener('error', onErrorEvt)\n    window.addEventListener('unhandledrejection', onRejectionEvt)\n    errorListenersInstalled = true\n  }\n\n  function removeErrorListeners(): void {\n    if (!errorListenersInstalled) return\n    if (typeof window === 'undefined') return\n    if (onErrorEvt) window.removeEventListener('error', onErrorEvt)\n    if (onRejectionEvt) window.removeEventListener('unhandledrejection', onRejectionEvt)\n    onErrorEvt = null\n    onRejectionEvt = null\n    errorListenersInstalled = false\n  }\n\n  // Codec registry handles non-JSON-safe values (Date, etc.) crossing\n  // the LAP boundary. `getState` encodes outgoing snapshots; `send`\n  // decodes incoming agent messages before they hit the reducer. The\n  // tagged-value convention is documented in `@llui/agent/codecs`.\n  const codecs = opts.codecs ?? makeDefaultCodecs()\n\n  const rpcHost: RpcHosts = {\n    getState: () => encodeForWire(opts.handle.getState(), codecs),\n    send: (m) => opts.handle.send(decodeFromWire(m, codecs)),\n    flush: () => opts.handle.flush(),\n    subscribe: (listener) => opts.handle.subscribe(() => listener()),\n    getAndClearDrainErrors: () => drainErrors.splice(0, drainErrors.length),\n    getMsgAnnotations: () => opts.def.__msgAnnotations ?? null,\n    // The compiler-injected message schema. Used by `list_actions` to\n    // synthesize payload examples for `@agentOnly` variants that have\n    // no live UI binding — the agent should still see them as\n    // affordances even though no human can click them.\n    getMsgSchema: () => (opts.def.__msgSchema as MsgSchemaShape | undefined) ?? null,\n    // Run the reducer in isolation for `would_dispatch`. Wraps the\n    // AppHandle's same-named method so the host doesn't need a direct\n    // reference to the live ComponentInstance.\n    runReducer: (msg) => opts.handle.runReducer(msg),\n    // Live binding descriptors: read from the runtime registry that\n    // tracks which Msg variants are dispatchable from currently-mounted\n    // event handlers. Empty array when the app wasn't compiled with\n    // agent metadata (no tagger pass) or has no view bindings yet —\n    // both produce the same \"no live affordances\" signal at the agent\n    // layer.\n    getBindingDescriptors: () => opts.handle.getBindingDescriptors(),\n    getAgentAffordances: () => opts.def.agentAffordances ?? null,\n    getAgentContext: () => opts.def.agentContext ?? null,\n    getRootElement: () => opts.rootElement,\n    proposeConfirm: (entry) => {\n      opts.handle.send(opts.slices.wrapConfirmMsg({ type: 'Propose', entry }))\n    },\n  }\n\n  const helloBuilder = () => ({\n    t: 'hello' as const,\n    appName: opts.def.name,\n    appVersion: opts.appVersion ?? '0.0.0',\n    msgSchema: (opts.def.__msgSchema ?? {}) as Record<string, MessageSchemaEntry>,\n    stateSchema: (opts.def.__stateSchema ?? {}) as object,\n    affordancesSample: opts.def.agentAffordances\n      ? opts.def.agentAffordances(opts.handle.getState())\n      : [],\n    docs: opts.def.agentDocs ?? null,\n    schemaHash: opts.def.__schemaHash ?? '',\n  })\n\n  const effectHandler = createEffectHandler({\n    send: (m) => opts.handle.send(m),\n    wrapAgentConnect: (m) => opts.slices.wrapConnectMsg(m),\n    forward: (payload) => opts.handle.send(payload),\n    agentBasePath: opts.agentBasePath,\n    openWs: (token, wsUrl) => {\n      if (ws) ws.close()\n      ws = new WebSocket(`${wsUrl}?token=${encodeURIComponent(token)}`)\n      wsClient = attachWsClient(ws as unknown as WsLike, rpcHost, helloBuilder, {\n        onActivated: () => {\n          opts.handle.send(opts.slices.wrapConnectMsg({ type: 'ActivatedByClaude' }))\n        },\n        onLogEntry: opts.slices.wrapLogMsg\n          ? (entry) => {\n              opts.handle.send(opts.slices.wrapLogMsg!({ type: 'Append', entry }))\n            }\n          : undefined,\n      })\n      ws.addEventListener('open', () => {\n        opts.handle.send(opts.slices.wrapConnectMsg({ type: 'WsOpened' }))\n      })\n      ws.addEventListener('close', () => {\n        opts.handle.send(opts.slices.wrapConnectMsg({ type: 'WsClosed' }))\n      })\n    },\n    closeWs: () => {\n      wsClient?.close()\n      ws = null\n      wsClient = null\n    },\n  })\n\n  const pollConfirms = () => {\n    const state = opts.handle.getState() as State\n    const confirm = opts.slices.getConfirm(state)\n    for (const entry of confirm.pending) {\n      if (entry.status === 'pending') continue\n      if (resolvedConfirms.has(entry.id)) continue\n      resolvedConfirms.add(entry.id)\n      if (entry.status === 'approved') {\n        wsClient?.resolveConfirm(\n          entry.id,\n          'confirmed',\n          encodeForWire(opts.handle.getState(), codecs),\n        )\n      } else if (entry.status === 'rejected') {\n        wsClient?.resolveConfirm(entry.id, 'user-cancelled')\n      }\n    }\n  }\n\n  return {\n    effectHandler,\n    start() {\n      if (!confirmPollTimer) confirmPollTimer = setInterval(pollConfirms, 200)\n      if (!stateSubscription) {\n        stateSubscription = opts.handle.subscribe((state) => {\n          // Same codec convention as `getState`: outgoing snapshots\n          // pass through the encoder so non-JSON-safe values (Date,\n          // etc.) become tagged-wire form.\n          wsClient?.emitStateUpdate('/', encodeForWire(state, codecs))\n        })\n      }\n      installErrorListeners()\n    },\n    stop() {\n      if (confirmPollTimer) clearInterval(confirmPollTimer)\n      confirmPollTimer = null\n      if (stateSubscription) {\n        stateSubscription()\n        stateSubscription = null\n      }\n      removeErrorListeners()\n      drainErrors.length = 0\n      wsClient?.close()\n    },\n  }\n}\n\nfunction safeStringify(v: unknown): string {\n  try {\n    return JSON.stringify(v)\n  } catch {\n    return String(v)\n  }\n}\n"]}
+{"version":3,"file":"factory.js","sourceRoot":"","sources":["../../src/client/factory.ts"],"names":[],"mappings":"AAUA,OAAO,EAAE,cAAc,EAA8B,MAAM,gBAAgB,CAAA;AAC3E,OAAO,EAAE,mBAAmB,EAAE,MAAM,qBAAqB,CAAA;AACzD,OAAO,EAAE,iBAAiB,EAAE,aAAa,EAAE,cAAc,EAAsB,MAAM,cAAc,CAAA;AAgHnG,MAAM,UAAU,iBAAiB,CAC/B,IAAuC;IAEvC,IAAI,EAAE,GAAqB,IAAI,CAAA;IAC/B,IAAI,QAAQ,GAA6C,IAAI,CAAA;IAC7D,IAAI,gBAAgB,GAA0C,IAAI,CAAA;IAClE,IAAI,iBAAiB,GAAwB,IAAI,CAAA;IACjD,MAAM,gBAAgB,GAAG,IAAI,GAAG,EAAU,CAAA;IAE1C,iEAAiE;IACjE,oEAAoE;IACpE,iEAAiE;IACjE,+DAA+D;IAC/D,MAAM,WAAW,GAA2B,EAAE,CAAA;IAC9C,IAAI,uBAAuB,GAAG,KAAK,CAAA;IACnC,IAAI,UAAU,GAAqC,IAAI,CAAA;IACvD,IAAI,cAAc,GAAgD,IAAI,CAAA;IAEtE,SAAS,qBAAqB;QAC5B,IAAI,uBAAuB;YAAE,OAAM;QACnC,IAAI,OAAO,MAAM,KAAK,WAAW;YAAE,OAAM;QACzC,UAAU,GAAG,CAAC,CAAa,EAAE,EAAE;YAC7B,WAAW,CAAC,IAAI,CAAC;gBACf,IAAI,EAAE,OAAO;gBACb,OAAO,EAAE,CAAC,CAAC,OAAO,IAAI,MAAM,CAAC,CAAC,CAAC,KAAK,IAAI,eAAe,CAAC;gBACxD,KAAK,EAAE,CAAC,CAAC,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS;aAC5D,CAAC,CAAA;QACJ,CAAC,CAAA;QACD,cAAc,GAAG,CAAC,CAAwB,EAAE,EAAE;YAC5C,MAAM,CAAC,GAAG,CAAC,CAAC,MAAM,CAAA;YAClB,MAAM,OAAO,GAAG,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAA;YAC7F,WAAW,CAAC,IAAI,CAAC;gBACf,IAAI,EAAE,oBAAoB;gBAC1B,OAAO;gBACP,KAAK,EAAE,CAAC,YAAY,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS;aAChD,CAAC,CAAA;QACJ,CAAC,CAAA;QACD,MAAM,CAAC,gBAAgB,CAAC,OAAO,EAAE,UAAU,CAAC,CAAA;QAC5C,MAAM,CAAC,gBAAgB,CAAC,oBAAoB,EAAE,cAAc,CAAC,CAAA;QAC7D,uBAAuB,GAAG,IAAI,CAAA;IAChC,CAAC;IAED,SAAS,oBAAoB;QAC3B,IAAI,CAAC,uBAAuB;YAAE,OAAM;QACpC,IAAI,OAAO,MAAM,KAAK,WAAW;YAAE,OAAM;QACzC,IAAI,UAAU;YAAE,MAAM,CAAC,mBAAmB,CAAC,OAAO,EAAE,UAAU,CAAC,CAAA;QAC/D,IAAI,cAAc;YAAE,MAAM,CAAC,mBAAmB,CAAC,oBAAoB,EAAE,cAAc,CAAC,CAAA;QACpF,UAAU,GAAG,IAAI,CAAA;QACjB,cAAc,GAAG,IAAI,CAAA;QACrB,uBAAuB,GAAG,KAAK,CAAA;IACjC,CAAC;IAED,oEAAoE;IACpE,kEAAkE;IAClE,mEAAmE;IACnE,iEAAiE;IACjE,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,IAAI,iBAAiB,EAAE,CAAA;IAEjD,mEAAmE;IACnE,iEAAiE;IACjE,kEAAkE;IAClE,IAAI,mBAAmB,GAAmE,IAAI,CAAA;IAE9F,MAAM,OAAO,GAAa;QACxB,QAAQ,EAAE,GAAG,EAAE,CAAC,aAAa,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,EAAE,EAAE,MAAM,CAAC;QAC7D,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC;QACxD,KAAK,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE;QAChC,SAAS,EAAE,CAAC,QAAQ,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,GAAG,EAAE,CAAC,QAAQ,EAAE,CAAC;QAChE,sBAAsB,EAAE,GAAG,EAAE,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,EAAE,WAAW,CAAC,MAAM,CAAC;QACvE,iBAAiB,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,gBAAgB,IAAI,IAAI;QAC1D,kEAAkE;QAClE,kEAAkE;QAClE,0DAA0D;QAC1D,mDAAmD;QACnD,YAAY,EAAE,GAAG,EAAE,CAAE,IAAI,CAAC,GAAG,CAAC,WAA0C,IAAI,IAAI;QAChF,+DAA+D;QAC/D,kEAAkE;QAClE,2CAA2C;QAC3C,UAAU,EAAE,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC;QAChD,gEAAgE;QAChE,oEAAoE;QACpE,gEAAgE;QAChE,gEAAgE;QAChE,kEAAkE;QAClE,SAAS;QACT,qBAAqB,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,qBAAqB,EAAE;QAChE,mBAAmB,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,gBAAgB,IAAI,IAAI;QAC5D,eAAe,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,YAAY,IAAI,IAAI;QACpD,sBAAsB,EAAE,GAAG,EAAE,CAAC,mBAAmB;QACjD,cAAc,EAAE,GAAG,EAAE,CAAC,IAAI,CAAC,WAAW;QACtC,cAAc,EAAE,CAAC,KAAK,EAAE,EAAE;YACxB,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,cAAc,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,CAAC,CAAC,CAAA;QAC1E,CAAC;KACF,CAAA;IAED,kEAAkE;IAClE,oEAAoE;IACpE,4DAA4D;IAC5D,MAAM,qBAAqB,GAAG,CAAC,OAAmC,EAAQ,EAAE;QAC1E,mBAAmB,GAAG,OAAO,CAAA;IAC/B,CAAC,CAAA;IAED,MAAM,YAAY,GAAG,GAAG,EAAE,CAAC,CAAC;QAC1B,CAAC,EAAE,OAAgB;QACnB,OAAO,EAAE,IAAI,CAAC,GAAG,CAAC,IAAI;QACtB,UAAU,EAAE,IAAI,CAAC,UAAU,IAAI,OAAO;QACtC,SAAS,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,WAAW,IAAI,EAAE,CAAuC;QAC7E,WAAW,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,aAAa,IAAI,EAAE,CAAW;QACrD,iBAAiB,EAAE,IAAI,CAAC,GAAG,CAAC,gBAAgB;YAC1C,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,gBAAgB,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC;YACnD,CAAC,CAAC,EAAE;QACN,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,SAAS,IAAI,IAAI;QAChC,UAAU,EAAE,IAAI,CAAC,GAAG,CAAC,YAAY,IAAI,EAAE;KACxC,CAAC,CAAA;IAEF,MAAM,aAAa,GAAG,mBAAmB,CAAC;QACxC,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;QAChC,gBAAgB,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,cAAc,CAAC,CAAC,CAAC;QACtD,OAAO,EAAE,CAAC,OAAO,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC;QAC/C,aAAa,EAAE,IAAI,CAAC,aAAa;QACjC,MAAM,EAAE,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE;YACvB,IAAI,EAAE;gBAAE,EAAE,CAAC,KAAK,EAAE,CAAA;YAClB,EAAE,GAAG,IAAI,SAAS,CAAC,GAAG,KAAK,UAAU,kBAAkB,CAAC,KAAK,CAAC,EAAE,CAAC,CAAA;YACjE,QAAQ,GAAG,cAAc,CAAC,EAAuB,EAAE,OAAO,EAAE,YAAY,EAAE;gBACxE,WAAW,EAAE,GAAG,EAAE;oBAChB,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,cAAc,CAAC,EAAE,IAAI,EAAE,mBAAmB,EAAE,CAAC,CAAC,CAAA;gBAC7E,CAAC;gBACD,UAAU,EAAE,IAAI,CAAC,MAAM,CAAC,UAAU;oBAChC,CAAC,CAAC,CAAC,KAAK,EAAE,EAAE;wBACR,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,UAAW,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAC,CAAA;oBACtE,CAAC;oBACH,CAAC,CAAC,SAAS;gBACb,iBAAiB,EAAE,qBAAqB;aACzC,CAAC,CAAA;YACF,EAAE,CAAC,gBAAgB,CAAC,MAAM,EAAE,GAAG,EAAE;gBAC/B,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,cAAc,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC,CAAC,CAAA;YACpE,CAAC,CAAC,CAAA;YACF,EAAE,CAAC,gBAAgB,CAAC,OAAO,EAAE,GAAG,EAAE;gBAChC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,cAAc,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC,CAAC,CAAA;YACpE,CAAC,CAAC,CAAA;QACJ,CAAC;QACD,OAAO,EAAE,GAAG,EAAE;YACZ,QAAQ,EAAE,KAAK,EAAE,CAAA;YACjB,EAAE,GAAG,IAAI,CAAA;YACT,QAAQ,GAAG,IAAI,CAAA;QACjB,CAAC;KACF,CAAC,CAAA;IAEF,MAAM,YAAY,GAAG,GAAG,EAAE;QACxB,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,QAAQ,EAAW,CAAA;QAC7C,MAAM,OAAO,GAAG,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC,CAAA;QAC7C,KAAK,MAAM,KAAK,IAAI,OAAO,CAAC,OAAO,EAAE,CAAC;YACpC,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS;gBAAE,SAAQ;YACxC,IAAI,gBAAgB,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;gBAAE,SAAQ;YAC5C,gBAAgB,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC,CAAA;YAC9B,IAAI,KAAK,CAAC,MAAM,KAAK,UAAU,EAAE,CAAC;gBAChC,QAAQ,EAAE,cAAc,CACtB,KAAK,CAAC,EAAE,EACR,WAAW,EACX,aAAa,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,EAAE,EAAE,MAAM,CAAC,CAC9C,CAAA;YACH,CAAC;iBAAM,IAAI,KAAK,CAAC,MAAM,KAAK,UAAU,EAAE,CAAC;gBACvC,QAAQ,EAAE,cAAc,CAAC,KAAK,CAAC,EAAE,EAAE,gBAAgB,CAAC,CAAA;YACtD,CAAC;QACH,CAAC;IACH,CAAC,CAAA;IAED,OAAO;QACL,aAAa;QACb,KAAK;YACH,IAAI,CAAC,gBAAgB;gBAAE,gBAAgB,GAAG,WAAW,CAAC,YAAY,EAAE,GAAG,CAAC,CAAA;YACxE,IAAI,CAAC,iBAAiB,EAAE,CAAC;gBACvB,iBAAiB,GAAG,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,KAAK,EAAE,EAAE;oBAClD,0DAA0D;oBAC1D,0DAA0D;oBAC1D,iCAAiC;oBACjC,QAAQ,EAAE,eAAe,CAAC,GAAG,EAAE,aAAa,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,CAAA;gBAC9D,CAAC,CAAC,CAAA;YACJ,CAAC;YACD,qBAAqB,EAAE,CAAA;QACzB,CAAC;QACD,IAAI;YACF,IAAI,gBAAgB;gBAAE,aAAa,CAAC,gBAAgB,CAAC,CAAA;YACrD,gBAAgB,GAAG,IAAI,CAAA;YACvB,IAAI,iBAAiB,EAAE,CAAC;gBACtB,iBAAiB,EAAE,CAAA;gBACnB,iBAAiB,GAAG,IAAI,CAAA;YAC1B,CAAC;YACD,oBAAoB,EAAE,CAAA;YACtB,WAAW,CAAC,MAAM,GAAG,CAAC,CAAA;YACtB,QAAQ,EAAE,KAAK,EAAE,CAAA;QACnB,CAAC;KACF,CAAA;AACH,CAAC;AAED,SAAS,aAAa,CAAC,CAAU;IAC/B,IAAI,CAAC;QACH,OAAO,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAA;IAC1B,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,MAAM,CAAC,CAAC,CAAC,CAAA;IAClB,CAAC;AACH,CAAC","sourcesContent":["import type { AppHandle } from '@llui/dom'\nimport type { AgentEffect } from './effects.js'\nimport type { AgentConfirmState } from './agentConfirm.js'\nimport type {\n  AgentDocs,\n  AgentContext,\n  LapDrainMeta,\n  MessageAnnotations,\n  MessageSchemaEntry,\n} from '../protocol.js'\nimport { attachWsClient, type WsLike, type RpcHosts } from './ws-client.js'\nimport { createEffectHandler } from './effect-handler.js'\nimport { makeDefaultCodecs, encodeForWire, decodeFromWire, type CodecRegistry } from '../codecs.js'\n\n/**\n * The shape the compiler emits as `__msgSchema`. Mirrors `MsgField`\n * from `@llui/vite-plugin/src/msg-schema.ts`. Three coexisting forms:\n *\n *   1. Bare primitive: `'string' | 'number' | 'boolean' | 'unknown'`\n *      and bare enum: `{enum: [...]}` (values may be string, number,\n *      or boolean — the compiler preserves the literal kind so JSON\n *      round-trips don't lose type info).\n *   2. Bare nested types: `{kind: 'object', shape}` for inline /\n *      followed-via-typeIndex shapes; `{kind: 'array', element}` for\n *      `T[]` / `readonly T[]` / `Array<T>`; `{kind: 'discriminated-\n *      union', discriminant, variants}` for tagged unions of objects\n *      (e.g. `Format = {kind:'exact'} | {kind:'range', min, max}`).\n *      The synthesizer recurses to build copy-paste-ready nested\n *      examples; the validator walks the same tree.\n *   3. Rich descriptor: wraps any of the above with `{optional?,\n *      priority?, hint?}` carrying TS optionality and `@should` hints.\n */\nexport type MsgSchemaBareType =\n  | string\n  | { enum: ReadonlyArray<string | number | boolean> }\n  | { kind: 'object'; shape: Record<string, MsgSchemaField> }\n  | { kind: 'array'; element: MsgSchemaBareType }\n  | {\n      kind: 'discriminated-union'\n      discriminant: string\n      variants: Record<string, Record<string, MsgSchemaField>>\n    }\n\nexport type MsgSchemaField =\n  | MsgSchemaBareType\n  | {\n      type: MsgSchemaBareType\n      optional?: boolean\n      priority?: 'should'\n      hint?: string\n      /**\n       * Boolean JS expression authored with `@validates(\"expr\")` JSDoc.\n       * Has `v` bound to the field value at runtime; the validator\n       * compiles it lazily with `new Function('v', 'return (' + src +\n       * ')')` and caches the function across calls. Use for invariants\n       * the type system can't express — numeric ranges, format\n       * predicates, length bounds.\n       */\n      validates?: string\n    }\n\nexport type MsgSchemaShape = {\n  discriminant: string\n  variants: Record<string, Record<string, MsgSchemaField>>\n}\n\ntype ComponentMetadata = {\n  __msgSchema?: unknown\n  __stateSchema?: unknown\n  __msgAnnotations?: Record<string, MessageAnnotations>\n  __schemaHash?: string\n  name: string\n  agentAffordances?: (state: unknown) => Array<{ type: string; [k: string]: unknown }>\n  agentDocs?: AgentDocs\n  agentContext?: (state: unknown) => AgentContext\n}\n\nexport type CreateAgentClientOpts<State, Msg> = {\n  handle: AppHandle\n  def: ComponentMetadata\n  appVersion?: string\n  rootElement: Element | null\n  slices: {\n    getConnect: (s: State) => unknown\n    getConfirm: (s: State) => AgentConfirmState\n    wrapConnectMsg: (m: unknown) => Msg\n    wrapConfirmMsg: (m: unknown) => Msg\n    /**\n     * Optional: wrap an agentLog msg so the client-side activity feed\n     * mirrors what Claude is doing. If omitted, outbound log-append\n     * frames still go to the server, but the local agent.log slice\n     * stays empty (the UI won't show activity).\n     */\n    wrapLogMsg?: (m: unknown) => Msg\n  }\n  /**\n   * Codec registry for non-JSON-safe values (Date, Blob, Map, …)\n   * crossing the LAP boundary. Defaults to `makeDefaultCodecs()`\n   * which ships `iso-date` and `epoch-millis`. Provide a custom\n   * registry to register additional codecs (e.g. `base64-blob` for\n   * file uploads). See `@llui/agent/codecs` for the convention.\n   */\n  codecs?: CodecRegistry\n  /**\n   * Base path for agent HTTP endpoints. Default: `'/agent'` (matches\n   * the canonical paths in `@llui/vite-plugin`'s dev middleware and\n   * `@llui/agent/server`). The mint URL, resume URLs, and revoke URL\n   * derive from this so consumers don't have to keep them in sync.\n   *\n   * Override when:\n   *   - **Cross-origin agent server**: pass the full base, e.g.\n   *     `'https://api.example.com/agent'` or `'http://localhost:8787/agent'`.\n   *   - **`@cloudflare/vite-plugin` in dev**: pass `'/cdn-cgi/agent'`\n   *     because cloudflare-vite shadows non-`/cdn-cgi/*` routes.\n   */\n  agentBasePath?: string\n}\n\nexport type AgentClient = {\n  effectHandler: (effect: AgentEffect) => Promise<void>\n  start(): void\n  stop(): void\n}\n\nexport function createAgentClient<State, Msg>(\n  opts: CreateAgentClientOpts<State, Msg>,\n): AgentClient {\n  let ws: WebSocket | null = null\n  let wsClient: ReturnType<typeof attachWsClient> | null = null\n  let confirmPollTimer: ReturnType<typeof setInterval> | null = null\n  let stateSubscription: (() => void) | null = null\n  const resolvedConfirms = new Set<string>()\n\n  // Drain-error buffer: populated by persistent `window.error` and\n  // `window.unhandledrejection` listeners installed on `start()`. The\n  // send-message drain loop consumes and clears it per call so the\n  // envelope surfaces only errors that fired during that window.\n  const drainErrors: LapDrainMeta['errors'] = []\n  let errorListenersInstalled = false\n  let onErrorEvt: ((e: ErrorEvent) => void) | null = null\n  let onRejectionEvt: ((e: PromiseRejectionEvent) => void) | null = null\n\n  function installErrorListeners(): void {\n    if (errorListenersInstalled) return\n    if (typeof window === 'undefined') return\n    onErrorEvt = (e: ErrorEvent) => {\n      drainErrors.push({\n        kind: 'error',\n        message: e.message ?? String(e.error ?? 'unknown error'),\n        stack: e.error instanceof Error ? e.error.stack : undefined,\n      })\n    }\n    onRejectionEvt = (e: PromiseRejectionEvent) => {\n      const r = e.reason\n      const message = r instanceof Error ? r.message : typeof r === 'string' ? r : safeStringify(r)\n      drainErrors.push({\n        kind: 'unhandledrejection',\n        message,\n        stack: r instanceof Error ? r.stack : undefined,\n      })\n    }\n    window.addEventListener('error', onErrorEvt)\n    window.addEventListener('unhandledrejection', onRejectionEvt)\n    errorListenersInstalled = true\n  }\n\n  function removeErrorListeners(): void {\n    if (!errorListenersInstalled) return\n    if (typeof window === 'undefined') return\n    if (onErrorEvt) window.removeEventListener('error', onErrorEvt)\n    if (onRejectionEvt) window.removeEventListener('unhandledrejection', onRejectionEvt)\n    onErrorEvt = null\n    onRejectionEvt = null\n    errorListenersInstalled = false\n  }\n\n  // Codec registry handles non-JSON-safe values (Date, etc.) crossing\n  // the LAP boundary. `getState` encodes outgoing snapshots; `send`\n  // decodes incoming agent messages before they hit the reducer. The\n  // tagged-value convention is documented in `@llui/agent/codecs`.\n  const codecs = opts.codecs ?? makeDefaultCodecs()\n\n  // Track the most recent send_message outcome so `describe_context`\n  // can prepend a synthetic hint about it. Apps used to roll their\n  // own `lastDispatchError` state field; the framework now owns it.\n  let lastDispatchOutcome: import('./rpc/describe-context.js').LastDispatchOutcome | null = null\n\n  const rpcHost: RpcHosts = {\n    getState: () => encodeForWire(opts.handle.getState(), codecs),\n    send: (m) => opts.handle.send(decodeFromWire(m, codecs)),\n    flush: () => opts.handle.flush(),\n    subscribe: (listener) => opts.handle.subscribe(() => listener()),\n    getAndClearDrainErrors: () => drainErrors.splice(0, drainErrors.length),\n    getMsgAnnotations: () => opts.def.__msgAnnotations ?? null,\n    // The compiler-injected message schema. Used by `list_actions` to\n    // synthesize payload examples for `@agentOnly` variants that have\n    // no live UI binding — the agent should still see them as\n    // affordances even though no human can click them.\n    getMsgSchema: () => (opts.def.__msgSchema as MsgSchemaShape | undefined) ?? null,\n    // Run the reducer in isolation for `would_dispatch`. Wraps the\n    // AppHandle's same-named method so the host doesn't need a direct\n    // reference to the live ComponentInstance.\n    runReducer: (msg) => opts.handle.runReducer(msg),\n    // Live binding descriptors: read from the runtime registry that\n    // tracks which Msg variants are dispatchable from currently-mounted\n    // event handlers. Empty array when the app wasn't compiled with\n    // agent metadata (no tagger pass) or has no view bindings yet —\n    // both produce the same \"no live affordances\" signal at the agent\n    // layer.\n    getBindingDescriptors: () => opts.handle.getBindingDescriptors(),\n    getAgentAffordances: () => opts.def.agentAffordances ?? null,\n    getAgentContext: () => opts.def.agentContext ?? null,\n    getLastDispatchOutcome: () => lastDispatchOutcome,\n    getRootElement: () => opts.rootElement,\n    proposeConfirm: (entry) => {\n      opts.handle.send(opts.slices.wrapConfirmMsg({ type: 'Propose', entry }))\n    },\n  }\n\n  // Exposed so the WS client can update on each send_message reply.\n  // Closure scope keeps the field write-protected — only the WS layer\n  // mutates it; everyone else reads through the getter above.\n  const recordDispatchOutcome = (outcome: typeof lastDispatchOutcome): void => {\n    lastDispatchOutcome = outcome\n  }\n\n  const helloBuilder = () => ({\n    t: 'hello' as const,\n    appName: opts.def.name,\n    appVersion: opts.appVersion ?? '0.0.0',\n    msgSchema: (opts.def.__msgSchema ?? {}) as Record<string, MessageSchemaEntry>,\n    stateSchema: (opts.def.__stateSchema ?? {}) as object,\n    affordancesSample: opts.def.agentAffordances\n      ? opts.def.agentAffordances(opts.handle.getState())\n      : [],\n    docs: opts.def.agentDocs ?? null,\n    schemaHash: opts.def.__schemaHash ?? '',\n  })\n\n  const effectHandler = createEffectHandler({\n    send: (m) => opts.handle.send(m),\n    wrapAgentConnect: (m) => opts.slices.wrapConnectMsg(m),\n    forward: (payload) => opts.handle.send(payload),\n    agentBasePath: opts.agentBasePath,\n    openWs: (token, wsUrl) => {\n      if (ws) ws.close()\n      ws = new WebSocket(`${wsUrl}?token=${encodeURIComponent(token)}`)\n      wsClient = attachWsClient(ws as unknown as WsLike, rpcHost, helloBuilder, {\n        onActivated: () => {\n          opts.handle.send(opts.slices.wrapConnectMsg({ type: 'ActivatedByClaude' }))\n        },\n        onLogEntry: opts.slices.wrapLogMsg\n          ? (entry) => {\n              opts.handle.send(opts.slices.wrapLogMsg!({ type: 'Append', entry }))\n            }\n          : undefined,\n        onDispatchOutcome: recordDispatchOutcome,\n      })\n      ws.addEventListener('open', () => {\n        opts.handle.send(opts.slices.wrapConnectMsg({ type: 'WsOpened' }))\n      })\n      ws.addEventListener('close', () => {\n        opts.handle.send(opts.slices.wrapConnectMsg({ type: 'WsClosed' }))\n      })\n    },\n    closeWs: () => {\n      wsClient?.close()\n      ws = null\n      wsClient = null\n    },\n  })\n\n  const pollConfirms = () => {\n    const state = opts.handle.getState() as State\n    const confirm = opts.slices.getConfirm(state)\n    for (const entry of confirm.pending) {\n      if (entry.status === 'pending') continue\n      if (resolvedConfirms.has(entry.id)) continue\n      resolvedConfirms.add(entry.id)\n      if (entry.status === 'approved') {\n        wsClient?.resolveConfirm(\n          entry.id,\n          'confirmed',\n          encodeForWire(opts.handle.getState(), codecs),\n        )\n      } else if (entry.status === 'rejected') {\n        wsClient?.resolveConfirm(entry.id, 'user-cancelled')\n      }\n    }\n  }\n\n  return {\n    effectHandler,\n    start() {\n      if (!confirmPollTimer) confirmPollTimer = setInterval(pollConfirms, 200)\n      if (!stateSubscription) {\n        stateSubscription = opts.handle.subscribe((state) => {\n          // Same codec convention as `getState`: outgoing snapshots\n          // pass through the encoder so non-JSON-safe values (Date,\n          // etc.) become tagged-wire form.\n          wsClient?.emitStateUpdate('/', encodeForWire(state, codecs))\n        })\n      }\n      installErrorListeners()\n    },\n    stop() {\n      if (confirmPollTimer) clearInterval(confirmPollTimer)\n      confirmPollTimer = null\n      if (stateSubscription) {\n        stateSubscription()\n        stateSubscription = null\n      }\n      removeErrorListeners()\n      drainErrors.length = 0\n      wsClient?.close()\n    },\n  }\n}\n\nfunction safeStringify(v: unknown): string {\n  try {\n    return JSON.stringify(v)\n  } catch {\n    return String(v)\n  }\n}\n"]}

package/dist/client/rpc/describe-context.d.ts

@@ -1,7 +1,41 @@
 import type { AgentContext } from '../../protocol.js';
+/**
+ * Snapshot of the most recent `send_message` outcome — what the agent
+ * just did and whether it landed cleanly. Tracked by the WS RPC layer
+ * after every dispatch, surfaced through `describe_context` so apps
+ * don't have to roll their own `lastDispatchError` field in state.
+ *
+ * `status: 'dispatched'` means the reducer ran and state advanced;
+ * `errors` here describes downstream effects that failed during the
+ * drain window (Phase-5 catch-and-report). `status: 'rejected'`
+ * means the validator caught a structural issue before the reducer.
+ * `status: 'reducer-threw'` means the reducer itself threw — state
+ * may be partially advanced, but the dispatch should be treated as
+ * a failure for retry purposes.
+ */
+export type LastDispatchOutcome = {
+    variant: string;
+    status: 'dispatched' | 'rejected' | 'reducer-threw';
+    errors?: ReadonlyArray<{
+        message: string;
+    }>;
+    warnings?: ReadonlyArray<{
+        path: string;
+        message: string;
+    }>;
+    at: number;
+};
 export type DescribeContextHost = {
     getState(): unknown;
     getAgentContext(): ((state: unknown) => AgentContext) | null;
+    /**
+     * Optional accessor for the most recent dispatch outcome. When the
+     * outcome had errors or warnings, `describe_context` prepends a
+     * synthetic hint so the agent reads "Last dispatch X failed/landed
+     * with caveats" without the app having to maintain a parallel state
+     * field. Lenient: undefined / null accessor disables the feature.
+     */
+    getLastDispatchOutcome?: () => LastDispatchOutcome | null;
 };
 export type DescribeContextResult = {
     context: AgentContext;

package/dist/client/rpc/describe-context.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"describe-context.d.ts","sourceRoot":"","sources":["../../../src/client/rpc/describe-context.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAA;AAErD,MAAM,MAAM,mBAAmB,GAAG;IAChC,QAAQ,IAAI,OAAO,CAAA;IACnB,eAAe,IAAI,CAAC,CAAC,KAAK,EAAE,OAAO,KAAK,YAAY,CAAC,GAAG,IAAI,CAAA;CAC7D,CAAA;AACD,MAAM,MAAM,qBAAqB,GAAG;IAAE,OAAO,EAAE,YAAY,CAAA;CAAE,CAAA;AAI7D,wBAAgB,qBAAqB,CAAC,IAAI,EAAE,mBAAmB,GAAG,qBAAqB,CAItF"}
+{"version":3,"file":"describe-context.d.ts","sourceRoot":"","sources":["../../../src/client/rpc/describe-context.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAA;AAErD;;;;;;;;;;;;;GAaG;AACH,MAAM,MAAM,mBAAmB,GAAG;IAChC,OAAO,EAAE,MAAM,CAAA;IACf,MAAM,EAAE,YAAY,GAAG,UAAU,GAAG,eAAe,CAAA;IACnD,MAAM,CAAC,EAAE,aAAa,CAAC;QAAE,OAAO,EAAE,MAAM,CAAA;KAAE,CAAC,CAAA;IAC3C,QAAQ,CAAC,EAAE,aAAa,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAA;KAAE,CAAC,CAAA;IAC3D,EAAE,EAAE,MAAM,CAAA;CACX,CAAA;AAED,MAAM,MAAM,mBAAmB,GAAG;IAChC,QAAQ,IAAI,OAAO,CAAA;IACnB,eAAe,IAAI,CAAC,CAAC,KAAK,EAAE,OAAO,KAAK,YAAY,CAAC,GAAG,IAAI,CAAA;IAC5D;;;;;;OAMG;IACH,sBAAsB,CAAC,EAAE,MAAM,mBAAmB,GAAG,IAAI,CAAA;CAC1D,CAAA;AACD,MAAM,MAAM,qBAAqB,GAAG;IAAE,OAAO,EAAE,YAAY,CAAA;CAAE,CAAA;AAI7D,wBAAgB,qBAAqB,CAAC,IAAI,EAAE,mBAAmB,GAAG,qBAAqB,CAWtF"}

package/dist/client/rpc/describe-context.js

@@ -1,8 +1,47 @@
 const EMPTY = { summary: '', hints: [], cautions: [] };
 export function handleDescribeContext(host) {
     const fn = host.getAgentContext();
-    if (!fn)
-        return { context: EMPTY };
-    return { context: fn(host.getState()) };
+    const baseContext = fn ? fn(host.getState()) : EMPTY;
+    const outcome = host.getLastDispatchOutcome?.() ?? null;
+    const synthetic = outcome ? formatLastOutcomeHint(outcome) : null;
+    if (!synthetic)
+        return { context: baseContext };
+    // Prepend the synthetic hint so it's the first thing the agent sees.
+    // The app's own hints follow.
+    const hints = [synthetic, ...(baseContext.hints ?? [])];
+    return { context: { ...baseContext, hints } };
+}
+/**
+ * Render the outcome as a single hint string. Returns null for clean
+ * outcomes — no need to add noise to the context when nothing went
+ * wrong on the last dispatch.
+ */
+function formatLastOutcomeHint(outcome) {
+    const errors = outcome.errors ?? [];
+    const warnings = outcome.warnings ?? [];
+    if (outcome.status === 'dispatched' && errors.length === 0 && warnings.length === 0) {
+        return null;
+    }
+    if (outcome.status === 'rejected') {
+        const errMsgs = errors.length > 0 ? errors.map((e) => e.message).join('; ') : 'no detail';
+        return `LAST DISPATCH REJECTED: ${outcome.variant} — ${errMsgs}. Fix the payload and retry.`;
+    }
+    if (outcome.status === 'reducer-threw') {
+        const msg = errors.length > 0 ? (errors[0]?.message ?? 'reducer threw') : 'reducer threw';
+        return `LAST DISPATCH ERRORED MID-FLIGHT: ${outcome.variant} — ${msg}. State may be partially advanced; observe before retrying.`;
+    }
+    // dispatched with errors / warnings
+    const parts = [];
+    if (errors.length > 0) {
+        parts.push(`${String(errors.length)} downstream error${errors.length === 1 ? '' : 's'}: ${errors
+            .map((e) => e.message)
+            .join('; ')}`);
+    }
+    if (warnings.length > 0) {
+        parts.push(`${String(warnings.length)} validation warning${warnings.length === 1 ? '' : 's'}: ${warnings
+            .map((w) => `${w.path}: ${w.message}`)
+            .join('; ')}`);
+    }
+    return `LAST DISPATCH (${outcome.variant}) landed with caveats — ${parts.join(' / ')}.`;
 }
 //# sourceMappingURL=describe-context.js.map

package/dist/client/rpc/describe-context.js.map

@@ -1 +1 @@
-{"version":3,"file":"describe-context.js","sourceRoot":"","sources":["../../../src/client/rpc/describe-context.ts"],"names":[],"mappings":"AAQA,MAAM,KAAK,GAAiB,EAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAA;AAEpE,MAAM,UAAU,qBAAqB,CAAC,IAAyB;IAC7D,MAAM,EAAE,GAAG,IAAI,CAAC,eAAe,EAAE,CAAA;IACjC,IAAI,CAAC,EAAE;QAAE,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,CAAA;IAClC,OAAO,EAAE,OAAO,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC,EAAE,CAAA;AACzC,CAAC","sourcesContent":["import type { AgentContext } from '../../protocol.js'\n\nexport type DescribeContextHost = {\n  getState(): unknown\n  getAgentContext(): ((state: unknown) => AgentContext) | null\n}\nexport type DescribeContextResult = { context: AgentContext }\n\nconst EMPTY: AgentContext = { summary: '', hints: [], cautions: [] }\n\nexport function handleDescribeContext(host: DescribeContextHost): DescribeContextResult {\n  const fn = host.getAgentContext()\n  if (!fn) return { context: EMPTY }\n  return { context: fn(host.getState()) }\n}\n"]}
+{"version":3,"file":"describe-context.js","sourceRoot":"","sources":["../../../src/client/rpc/describe-context.ts"],"names":[],"mappings":"AAsCA,MAAM,KAAK,GAAiB,EAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAA;AAEpE,MAAM,UAAU,qBAAqB,CAAC,IAAyB;IAC7D,MAAM,EAAE,GAAG,IAAI,CAAC,eAAe,EAAE,CAAA;IACjC,MAAM,WAAW,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,CAAA;IACpD,MAAM,OAAO,GAAG,IAAI,CAAC,sBAAsB,EAAE,EAAE,IAAI,IAAI,CAAA;IACvD,MAAM,SAAS,GAAG,OAAO,CAAC,CAAC,CAAC,qBAAqB,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAA;IACjE,IAAI,CAAC,SAAS;QAAE,OAAO,EAAE,OAAO,EAAE,WAAW,EAAE,CAAA;IAE/C,qEAAqE;IACrE,8BAA8B;IAC9B,MAAM,KAAK,GAAa,CAAC,SAAS,EAAE,GAAG,CAAC,WAAW,CAAC,KAAK,IAAI,EAAE,CAAC,CAAC,CAAA;IACjE,OAAO,EAAE,OAAO,EAAE,EAAE,GAAG,WAAW,EAAE,KAAK,EAAE,EAAE,CAAA;AAC/C,CAAC;AAED;;;;GAIG;AACH,SAAS,qBAAqB,CAAC,OAA4B;IACzD,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,IAAI,EAAE,CAAA;IACnC,MAAM,QAAQ,GAAG,OAAO,CAAC,QAAQ,IAAI,EAAE,CAAA;IACvC,IAAI,OAAO,CAAC,MAAM,KAAK,YAAY,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACpF,OAAO,IAAI,CAAA;IACb,CAAC;IACD,IAAI,OAAO,CAAC,MAAM,KAAK,UAAU,EAAE,CAAC;QAClC,MAAM,OAAO,GAAG,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,WAAW,CAAA;QACzF,OAAO,2BAA2B,OAAO,CAAC,OAAO,MAAM,OAAO,8BAA8B,CAAA;IAC9F,CAAC;IACD,IAAI,OAAO,CAAC,MAAM,KAAK,eAAe,EAAE,CAAC;QACvC,MAAM,GAAG,GAAG,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,OAAO,IAAI,eAAe,CAAC,CAAC,CAAC,CAAC,eAAe,CAAA;QACzF,OAAO,qCAAqC,OAAO,CAAC,OAAO,MAAM,GAAG,6DAA6D,CAAA;IACnI,CAAC;IACD,oCAAoC;IACpC,MAAM,KAAK,GAAa,EAAE,CAAA;IAC1B,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACtB,KAAK,CAAC,IAAI,CACR,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,oBAAoB,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,KAAK,MAAM;aAClF,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC;aACrB,IAAI,CAAC,IAAI,CAAC,EAAE,CAChB,CAAA;IACH,CAAC;IACD,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,KAAK,CAAC,IAAI,CACR,GAAG,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,sBAAsB,QAAQ,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,KAAK,QAAQ;aAC1F,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC;aACrC,IAAI,CAAC,IAAI,CAAC,EAAE,CAChB,CAAA;IACH,CAAC;IACD,OAAO,kBAAkB,OAAO,CAAC,OAAO,2BAA2B,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAA;AACzF,CAAC","sourcesContent":["import type { AgentContext } from '../../protocol.js'\n\n/**\n * Snapshot of the most recent `send_message` outcome — what the agent\n * just did and whether it landed cleanly. Tracked by the WS RPC layer\n * after every dispatch, surfaced through `describe_context` so apps\n * don't have to roll their own `lastDispatchError` field in state.\n *\n * `status: 'dispatched'` means the reducer ran and state advanced;\n * `errors` here describes downstream effects that failed during the\n * drain window (Phase-5 catch-and-report). `status: 'rejected'`\n * means the validator caught a structural issue before the reducer.\n * `status: 'reducer-threw'` means the reducer itself threw — state\n * may be partially advanced, but the dispatch should be treated as\n * a failure for retry purposes.\n */\nexport type LastDispatchOutcome = {\n  variant: string\n  status: 'dispatched' | 'rejected' | 'reducer-threw'\n  errors?: ReadonlyArray<{ message: string }>\n  warnings?: ReadonlyArray<{ path: string; message: string }>\n  at: number\n}\n\nexport type DescribeContextHost = {\n  getState(): unknown\n  getAgentContext(): ((state: unknown) => AgentContext) | null\n  /**\n   * Optional accessor for the most recent dispatch outcome. When the\n   * outcome had errors or warnings, `describe_context` prepends a\n   * synthetic hint so the agent reads \"Last dispatch X failed/landed\n   * with caveats\" without the app having to maintain a parallel state\n   * field. Lenient: undefined / null accessor disables the feature.\n   */\n  getLastDispatchOutcome?: () => LastDispatchOutcome | null\n}\nexport type DescribeContextResult = { context: AgentContext }\n\nconst EMPTY: AgentContext = { summary: '', hints: [], cautions: [] }\n\nexport function handleDescribeContext(host: DescribeContextHost): DescribeContextResult {\n  const fn = host.getAgentContext()\n  const baseContext = fn ? fn(host.getState()) : EMPTY\n  const outcome = host.getLastDispatchOutcome?.() ?? null\n  const synthetic = outcome ? formatLastOutcomeHint(outcome) : null\n  if (!synthetic) return { context: baseContext }\n\n  // Prepend the synthetic hint so it's the first thing the agent sees.\n  // The app's own hints follow.\n  const hints: string[] = [synthetic, ...(baseContext.hints ?? [])]\n  return { context: { ...baseContext, hints } }\n}\n\n/**\n * Render the outcome as a single hint string. Returns null for clean\n * outcomes — no need to add noise to the context when nothing went\n * wrong on the last dispatch.\n */\nfunction formatLastOutcomeHint(outcome: LastDispatchOutcome): string | null {\n  const errors = outcome.errors ?? []\n  const warnings = outcome.warnings ?? []\n  if (outcome.status === 'dispatched' && errors.length === 0 && warnings.length === 0) {\n    return null\n  }\n  if (outcome.status === 'rejected') {\n    const errMsgs = errors.length > 0 ? errors.map((e) => e.message).join('; ') : 'no detail'\n    return `LAST DISPATCH REJECTED: ${outcome.variant} — ${errMsgs}. Fix the payload and retry.`\n  }\n  if (outcome.status === 'reducer-threw') {\n    const msg = errors.length > 0 ? (errors[0]?.message ?? 'reducer threw') : 'reducer threw'\n    return `LAST DISPATCH ERRORED MID-FLIGHT: ${outcome.variant} — ${msg}. State may be partially advanced; observe before retrying.`\n  }\n  // dispatched with errors / warnings\n  const parts: string[] = []\n  if (errors.length > 0) {\n    parts.push(\n      `${String(errors.length)} downstream error${errors.length === 1 ? '' : 's'}: ${errors\n        .map((e) => e.message)\n        .join('; ')}`,\n    )\n  }\n  if (warnings.length > 0) {\n    parts.push(\n      `${String(warnings.length)} validation warning${warnings.length === 1 ? '' : 's'}: ${warnings\n        .map((w) => `${w.path}: ${w.message}`)\n        .join('; ')}`,\n    )\n  }\n  return `LAST DISPATCH (${outcome.variant}) landed with caveats — ${parts.join(' / ')}.`\n}\n"]}

package/dist/client/rpc/list-actions.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"list-actions.d.ts","sourceRoot":"","sources":["../../../src/client/rpc/list-actions.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,mBAAmB,CAAA;AAC3D,OAAO,KAAK,EAAE,cAAc,EAAkB,MAAM,eAAe,CAAA;AAEnE,KAAK,OAAO,GAAG;IAAE,OAAO,EAAE,MAAM,CAAA;CAAE,CAAA;AAClC,KAAK,WAAW,GAAG,MAAM,CAAC,MAAM,EAAE,kBAAkB,CAAC,CAAA;AAErD,MAAM,MAAM,eAAe,GAAG;IAC5B,QAAQ,IAAI,OAAO,CAAA;IACnB,qBAAqB,IAAI,OAAO,EAAE,GAAG,IAAI,CAAA;IACzC,iBAAiB,IAAI,WAAW,GAAG,IAAI,CAAA;IACvC,YAAY,IAAI,cAAc,GAAG,IAAI,CAAA;IACrC,mBAAmB,IAAI,CAAC,CAAC,KAAK,EAAE,OAAO,KAAK,KAAK,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,CAAC,CAAC,EAAE,MAAM,GAAG,OAAO,CAAA;KAAE,CAAC,CAAC,GAAG,IAAI,CAAA;CAClG,CAAA;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+BG;AACH,MAAM,MAAM,iBAAiB,GAAG;IAC9B,OAAO,EAAE,KAAK,CAAC;QACb,OAAO,EAAE,MAAM,CAAA;QACf;;;;;WAKG;QACH,MAAM,EAAE,MAAM,GAAG,IAAI,CAAA;QACrB,eAAe,EAAE,OAAO,CAAA;QACxB,YAAY,EAAE,QAAQ,GAAG,YAAY,CAAA;QACrC,MAAM,EAAE,SAAS,GAAG,mBAAmB,GAAG,QAAQ,CAAA;QAClD,YAAY,EAAE,MAAM,GAAG,IAAI,CAAA;QAC3B,WAAW,EAAE,MAAM,GAAG,IAAI,CAAA;QAC1B,sDAAsD;QACtD,OAAO,EAAE,MAAM,GAAG,IAAI,CAAA;QACtB,gEAAgE;QAChE,QAAQ,EAAE,MAAM,EAAE,CAAA;QAClB;;;;;WAKG;QACH,KAAK,EAAE,MAAM,EAAE,CAAA;QACf;;;;;;;;;;WAUG;QACH,UAAU,EAAE,KAAK,CAAC;YAAE,IAAI,EAAE,MAAM,CAAC;YAAC,IAAI,EAAE,MAAM,CAAA;SAAE,CAAC,CAAA;KAClD,CAAC,CAAA;CACH,CAAA;AAED,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,eAAe,GAAG,iBAAiB,CAqH1E"}
+{"version":3,"file":"list-actions.d.ts","sourceRoot":"","sources":["../../../src/client/rpc/list-actions.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,mBAAmB,CAAA;AAC3D,OAAO,KAAK,EAAE,cAAc,EAAkB,MAAM,eAAe,CAAA;AAEnE,KAAK,OAAO,GAAG;IAAE,OAAO,EAAE,MAAM,CAAA;CAAE,CAAA;AAClC,KAAK,WAAW,GAAG,MAAM,CAAC,MAAM,EAAE,kBAAkB,CAAC,CAAA;AAErD,MAAM,MAAM,eAAe,GAAG;IAC5B,QAAQ,IAAI,OAAO,CAAA;IACnB,qBAAqB,IAAI,OAAO,EAAE,GAAG,IAAI,CAAA;IACzC,iBAAiB,IAAI,WAAW,GAAG,IAAI,CAAA;IACvC,YAAY,IAAI,cAAc,GAAG,IAAI,CAAA;IACrC,mBAAmB,IAAI,CAAC,CAAC,KAAK,EAAE,OAAO,KAAK,KAAK,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,CAAC,CAAC,EAAE,MAAM,GAAG,OAAO,CAAA;KAAE,CAAC,CAAC,GAAG,IAAI,CAAA;CAClG,CAAA;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+BG;AACH,MAAM,MAAM,iBAAiB,GAAG;IAC9B,OAAO,EAAE,KAAK,CAAC;QACb,OAAO,EAAE,MAAM,CAAA;QACf;;;;;WAKG;QACH,MAAM,EAAE,MAAM,GAAG,IAAI,CAAA;QACrB,eAAe,EAAE,OAAO,CAAA;QACxB,YAAY,EAAE,QAAQ,GAAG,YAAY,CAAA;QACrC,MAAM,EAAE,SAAS,GAAG,mBAAmB,GAAG,QAAQ,CAAA;QAClD,YAAY,EAAE,MAAM,GAAG,IAAI,CAAA;QAC3B,WAAW,EAAE,MAAM,GAAG,IAAI,CAAA;QAC1B,sDAAsD;QACtD,OAAO,EAAE,MAAM,GAAG,IAAI,CAAA;QACtB,gEAAgE;QAChE,QAAQ,EAAE,MAAM,EAAE,CAAA;QAClB;;;;;WAKG;QACH,KAAK,EAAE,MAAM,EAAE,CAAA;QACf;;;;;;;;;;WAUG;QACH,UAAU,EAAE,KAAK,CAAC;YAAE,IAAI,EAAE,MAAM,CAAC;YAAC,IAAI,EAAE,MAAM,CAAA;SAAE,CAAC,CAAA;KAClD,CAAC,CAAA;CACH,CAAA;AAED,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,eAAe,GAAG,iBAAiB,CAgI1E"}

package/dist/client/rpc/list-actions.js

@@ -10,7 +10,19 @@ export function handleListActions(host) {
     // either 'shared' (default) or, in the malformed case where someone
     // bound an `@agentOnly` Msg in a view, 'agent-only'. Either way the
     // agent can dispatch them.
+    //
+    // Filtered against the Msg schema: a binding whose variant isn't in
+    // the user's Msg union is a library-internal Msg leaking through
+    // `tagSend` translator wiring (the sortable component's `move`,
+    // `drop`, `cancel`, etc. — they're routed into the user's update.ts
+    // via a different shape but their lib names slip into the binding
+    // registry). The agent has no use for those names — `would_dispatch`
+    // / `send_message` would reject them as `unknown-variant` anyway —
+    // so they pollute the affordance list. When a schema is available,
+    // the schema's variant set is the source of truth.
     for (const d of descriptors) {
+        if (schema && !(d.variant in schema.variants))
+            continue;
         const ann = annotations[d.variant];
         if (ann?.dispatchMode === 'human-only')
             continue;
@@ -165,6 +177,15 @@ function walkHint(path, d, out) {
         if (typeof d.hint === 'string' && d.hint.length > 0) {
             out.push({ path, hint: d.hint });
         }
+        // `@validates(...)` predicates surface alongside `@should` hints
+        // so the agent sees the constraint at affordance time rather than
+        // only as a post-dispatch rejection. The verbatim predicate text
+        // is what the runtime evaluates; agents trained on JS read it
+        // directly. Prefix `validates: ` to disambiguate from freeform
+        // `@should` text.
+        if (typeof d.validates === 'string' && d.validates.length > 0) {
+            out.push({ path, hint: `validates: ${d.validates}` });
+        }
         walkHintBare(path, d.type, out);
         return;
     }

package/dist/client/rpc/list-actions.js.map

@@ -1 +1 @@
-{"version":3,"file":"list-actions.js","sourceRoot":"","sources":["../../../src/client/rpc/list-actions.ts"],"names":[],"mappings":"AAuFA,MAAM,UAAU,iBAAiB,CAAC,IAAqB;IACrD,MAAM,WAAW,GAAG,IAAI,CAAC,iBAAiB,EAAE,IAAI,EAAE,CAAA;IAClD,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,EAAE,CAAA;IAC7B,MAAM,WAAW,GAAG,IAAI,CAAC,qBAAqB,EAAE,IAAI,EAAE,CAAA;IACtD,MAAM,WAAW,GAAG,IAAI,CAAC,mBAAmB,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,EAAE,CAAA;IAC7D,MAAM,MAAM,GAAG,IAAI,CAAC,YAAY,EAAE,CAAA;IAElC,MAAM,GAAG,GAAiC,EAAE,CAAA;IAC5C,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAA;IAE9B,sEAAsE;IACtE,oEAAoE;IACpE,oEAAoE;IACpE,2BAA2B;IAC3B,KAAK,MAAM,CAAC,IAAI,WAAW,EAAE,CAAC;QAC5B,MAAM,GAAG,GAAG,WAAW,CAAC,CAAC,CAAC,OAAO,CAAC,CAAA;QAClC,IAAI,GAAG,EAAE,YAAY,KAAK,YAAY;YAAE,SAAQ;QAChD,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAA;QACnB,MAAM,aAAa,GAAG,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,CAAA;QACjD,GAAG,CAAC,IAAI,CAAC;YACP,OAAO,EAAE,CAAC,CAAC,OAAO;YAClB,MAAM,EAAE,GAAG,EAAE,MAAM,IAAI,IAAI;YAC3B,eAAe,EAAE,GAAG,EAAE,eAAe,IAAI,KAAK;YAC9C,YAAY,EAAE,GAAG,EAAE,YAAY,KAAK,YAAY,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,QAAQ;YAC1E,MAAM,EAAE,SAAS;YACjB,YAAY,EAAE,IAAI;YAClB,WAAW,EAAE,IAAI;YACjB,OAAO,EAAE,GAAG,EAAE,OAAO,IAAI,IAAI;YAC7B,QAAQ,EAAE,GAAG,EAAE,QAAQ,IAAI,EAAE;YAC7B,KAAK,EAAE,GAAG,EAAE,KAAK,IAAI,EAAE;YACvB,UAAU,EAAE,aAAa,CAAC,CAAC,CAAC,iBAAiB,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,EAAE;SAClE,CAAC,CAAA;IACJ,CAAC;IAED,qEAAqE;IACrE,gEAAgE;IAChE,KAAK,MAAM,GAAG,IAAI,WAAW,EAAE,CAAC;QAC9B,MAAM,GAAG,GAAG,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;QACjC,IAAI,GAAG,EAAE,YAAY,KAAK,YAAY;YAAE,SAAQ;QAChD,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;QAClB,MAAM,EAAE,IAAI,EAAE,GAAG,IAAI,EAAE,GAAG,GAAG,CAAA;QAC7B,MAAM,aAAa,GAAG,MAAM,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAA;QAC5C,GAAG,CAAC,IAAI,CAAC;YACP,OAAO,EAAE,IAAI;YACb,MAAM,EAAE,GAAG,EAAE,MAAM,IAAI,IAAI;YAC3B,eAAe,EAAE,GAAG,EAAE,eAAe,IAAI,KAAK;YAC9C,YAAY,EAAE,GAAG,EAAE,YAAY,KAAK,YAAY,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,QAAQ;YAC1E,MAAM,EAAE,mBAAmB;YAC3B,YAAY,EAAE,IAAI;YAClB,WAAW,EAAE,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI;YACvD,OAAO,EAAE,GAAG,EAAE,OAAO,IAAI,IAAI;YAC7B,QAAQ,EAAE,GAAG,EAAE,QAAQ,IAAI,EAAE;YAC7B,KAAK,EAAE,GAAG,EAAE,KAAK,IAAI,EAAE;YACvB,UAAU,EAAE,aAAa,CAAC,CAAC,CAAC,iBAAiB,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,EAAE;SAClE,CAAC,CAAA;IACJ,CAAC;IAED,oEAAoE;IACpE,qEAAqE;IACrE,2DAA2D;IAC3D,gEAAgE;IAChE,qEAAqE;IACrE,oEAAoE;IACpE,kEAAkE;IAClE,KAAK,MAAM,CAAC,OAAO,EAAE,GAAG,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,WAAW,CAAC,EAAE,CAAC;QACzD,IAAI,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC;YAAE,SAAQ;QAC/B,IAAI,GAAG,CAAC,YAAY,KAAK,YAAY;YAAE,SAAQ;QAC/C,IAAI,CAAC,GAAG,CAAC,gBAAgB;YAAE,SAAQ;QACnC,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,CAAA;QACjB,MAAM,MAAM,GAAG,MAAM,EAAE,QAAQ,CAAC,OAAO,CAAC,CAAA;QACxC,GAAG,CAAC,IAAI,CAAC;YACP,OAAO;YACP,MAAM,EAAE,GAAG,CAAC,MAAM;YAClB,eAAe,EAAE,GAAG,CAAC,eAAe;YACpC,YAAY,EAAE,GAAG,CAAC,YAAY,KAAK,YAAY,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,QAAQ;YACzE,MAAM,EAAE,mBAAmB;YAC3B,YAAY,EAAE,IAAI;YAClB,WAAW,EAAE,MAAM,CAAC,CAAC,CAAC,iBAAiB,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI;YAC/D,OAAO,EAAE,GAAG,CAAC,OAAO;YACpB,QAAQ,EAAE,GAAG,CAAC,QAAQ;YACtB,KAAK,EAAE,GAAG,CAAC,KAAK;YAChB,UAAU,EAAE,MAAM,CAAC,CAAC,CAAC,iBAAiB,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE;SACpD,CAAC,CAAA;IACJ,CAAC;IAED,qEAAqE;IACrE,mEAAmE;IACnE,mEAAmE;IACnE,gEAAgE;IAChE,EAAE;IACF,qEAAqE;IACrE,kEAAkE;IAClE,qEAAqE;IACrE,sEAAsE;IACtE,gDAAgD;IAChD,IAAI,MAAM,EAAE,CAAC;QACX,KAAK,MAAM,CAAC,OAAO,EAAE,MAAM,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC;YAChE,IAAI,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC;gBAAE,SAAQ;YAC/B,MAAM,GAAG,GAAG,WAAW,CAAC,OAAO,CAAC,CAAA;YAChC,IAAI,GAAG,EAAE,YAAY,KAAK,YAAY;gBAAE,SAAQ;YAChD,GAAG,CAAC,IAAI,CAAC;gBACP,OAAO;gBACP,MAAM,EAAE,GAAG,CAAC,MAAM;gBAClB,eAAe,EAAE,GAAG,CAAC,eAAe;gBACpC,YAAY,EAAE,YAAY;gBAC1B,MAAM,EAAE,QAAQ;gBAChB,YAAY,EAAE,IAAI;gBAClB,WAAW,EAAE,iBAAiB,CAAC,OAAO,EAAE,MAAM,CAAC;gBAC/C,OAAO,EAAE,GAAG,CAAC,OAAO;gBACpB,QAAQ,EAAE,GAAG,CAAC,QAAQ;gBACtB,KAAK,EAAE,GAAG,CAAC,KAAK;gBAChB,UAAU,EAAE,iBAAiB,CAAC,MAAM,CAAC;aACtC,CAAC,CAAA;QACJ,CAAC;IACH,CAAC;IAED,OAAO,EAAE,OAAO,EAAE,GAAG,EAAE,CAAA;AACzB,CAAC;AAED;;;;;;;;;GASG;AACH,SAAS,iBAAiB,CAAC,OAAe,EAAE,MAAsC;IAChF,MAAM,GAAG,GAA4B,EAAE,IAAI,EAAE,OAAO,EAAE,CAAA;IACtD,KAAK,MAAM,CAAC,IAAI,EAAE,UAAU,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;QACxD,MAAM,QAAQ,GAAG,UAAU,CAAC,UAAU,CAAC,CAAA;QACvC,MAAM,QAAQ,GAAG,QAAQ,CAAC,UAAU,CAAC,CAAA;QACrC,gEAAgE;QAChE,wBAAwB;QACxB,IAAI,QAAQ,IAAI,QAAQ,KAAK,QAAQ;YAAE,SAAQ;QAC/C,GAAG,CAAC,IAAI,CAAC,GAAG,YAAY,CAAC,UAAU,CAAC,CAAA;IACtC,CAAC;IACD,OAAO,GAAG,CAAA;AACZ,CAAC;AAED;;;;;;;;;;;GAWG;AACH,SAAS,iBAAiB,CACxB,MAAsC;IAEtC,MAAM,GAAG,GAA0C,EAAE,CAAA;IACrD,KAAK,MAAM,CAAC,IAAI,EAAE,UAAU,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;QACxD,QAAQ,CAAC,IAAI,EAAE,UAAU,EAAE,GAAG,CAAC,CAAA;IACjC,CAAC;IACD,OAAO,GAAG,CAAA;AACZ,CAAC;AAED,SAAS,QAAQ,CACf,IAAY,EACZ,CAAiB,EACjB,GAA0C;IAE1C,gDAAgD;IAChD,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,IAAI,IAAI,MAAM,IAAI,CAAC,EAAE,CAAC;QACvD,IAAI,OAAO,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACpD,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAA;QAClC,CAAC;QACD,YAAY,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,GAAG,CAAC,CAAA;QAC/B,OAAM;IACR,CAAC;IACD,YAAY,CAAC,IAAI,EAAE,CAAC,EAAE,GAAG,CAAC,CAAA;AAC5B,CAAC;AAED,SAAS,YAAY,CAAC,IAAY,EAAE,CAAU,EAAE,GAA0C;IACxF,IAAI,CAAC,KAAK,IAAI,IAAI,OAAO,CAAC,KAAK,QAAQ;QAAE,OAAM;IAC/C,MAAM,GAAG,GAAG,CAA4B,CAAA;IACxC,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ,IAAI,GAAG,CAAC,KAAK,KAAK,IAAI,IAAI,OAAO,GAAG,CAAC,KAAK,KAAK,QAAQ,EAAE,CAAC;QACjF,KAAK,MAAM,CAAC,IAAI,EAAE,UAAU,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,KAAuC,CAAC,EAAE,CAAC;YAC7F,QAAQ,CAAC,GAAG,IAAI,IAAI,IAAI,EAAE,EAAE,UAAU,EAAE,GAAG,CAAC,CAAA;QAC9C,CAAC;QACD,OAAM;IACR,CAAC;IACD,IAAI,GAAG,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QACzB,QAAQ,CAAC,GAAG,IAAI,IAAI,EAAE,GAAG,CAAC,OAAyB,EAAE,GAAG,CAAC,CAAA;IAC3D,CAAC;IACD,IAAI,GAAG,CAAC,IAAI,KAAK,qBAAqB,EAAE,CAAC;QACvC,2DAA2D;QAC3D,kEAAkE;QAClE,gEAAgE;QAChE,6DAA6D;QAC7D,kDAAkD;QAClD,MAAM,QAAQ,GAAG,GAAG,CAAC,QAA0D,CAAA;QAC/E,MAAM,YAAY,GAAG,MAAM,CAAC,GAAG,CAAC,YAAY,CAAC,CAAA;QAC7C,MAAM,WAAW,GAAG,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAA;QACzC,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC3B,GAAG,CAAC,IAAI,CAAC;gBACP,IAAI;gBACJ,IAAI,EAAE,+BAA+B,YAAY,iBAAiB,WAAW;qBAC1E,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC;qBACpB,IAAI,CAAC,IAAI,CAAC,GAAG;aACjB,CAAC,CAAA;QACJ,CAAC;QACD,KAAK,MAAM,CAAC,SAAS,EAAE,MAAM,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC3D,KAAK,MAAM,CAAC,SAAS,EAAE,SAAS,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;gBAC5D,QAAQ,CAAC,GAAG,IAAI,IAAI,YAAY,IAAI,SAAS,KAAK,SAAS,EAAE,EAAE,SAAS,EAAE,GAAG,CAAC,CAAA;YAChF,CAAC;QACH,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,UAAU,CAAC,CAAiB;IACnC,OAAO,OAAO,CAAC,KAAK,QAAQ,IAAI,MAAM,IAAI,CAAC,IAAI,CAAC,CAAC,QAAQ,KAAK,IAAI,CAAA;AACpE,CAAC;AAED,SAAS,QAAQ,CAAC,CAAiB;IACjC,OAAO,OAAO,CAAC,KAAK,QAAQ,IAAI,MAAM,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAA;AACtE,CAAC;AAED,SAAS,YAAY,CAAC,CAAiB;IACrC,6DAA6D;IAC7D,MAAM,CAAC,GACL,OAAO,CAAC,KAAK,QAAQ,IAAI,MAAM,IAAI,CAAC;QAClC,CAAC,CAAC,CAAC,CAAC,IAAI;QACR,CAAC,CAAE,CAE+D,CAAA;IACtE,OAAO,cAAc,CAAC,CAAU,CAAC,CAAA;AACnC,CAAC;AAED,SAAS,cAAc,CAAC,CAAU;IAChC,IAAI,OAAO,CAAC,KAAK,QAAQ,EAAE,CAAC;QAC1B,IAAI,CAAC,KAAK,QAAQ;YAAE,OAAO,EAAE,CAAA;QAC7B,IAAI,CAAC,KAAK,QAAQ;YAAE,OAAO,CAAC,CAAA;QAC5B,IAAI,CAAC,KAAK,SAAS;YAAE,OAAO,KAAK,CAAA;QACjC,OAAO,IAAI,CAAA,CAAC,kDAAkD;IAChE,CAAC;IACD,IAAI,CAAC,KAAK,IAAI,IAAI,OAAO,CAAC,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAA;IACpD,MAAM,GAAG,GAAG,CAA4B,CAAA;IACxC,IAAI,MAAM,IAAI,GAAG,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;QAC7C,mEAAmE;QACnE,mEAAmE;QACnE,4BAA4B;QAC5B,OAAO,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,IAAI,CAAA;IAC5B,CAAC;IACD,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ,IAAI,GAAG,CAAC,KAAK,KAAK,IAAI,IAAI,OAAO,GAAG,CAAC,KAAK,KAAK,QAAQ,EAAE,CAAC;QACjF,gEAAgE;QAChE,+DAA+D;QAC/D,oCAAoC;QACpC,MAAM,GAAG,GAA4B,EAAE,CAAA;QACvC,KAAK,MAAM,CAAC,IAAI,EAAE,UAAU,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,KAAuC,CAAC,EAAE,CAAC;YAC7F,MAAM,KAAK,GAAG,UAAU,CAAC,UAAU,CAAC,CAAA;YACpC,MAAM,GAAG,GAAG,QAAQ,CAAC,UAAU,CAAC,CAAA;YAChC,IAAI,KAAK,IAAI,GAAG,KAAK,QAAQ;gBAAE,SAAQ;YACvC,GAAG,CAAC,IAAI,CAAC,GAAG,YAAY,CAAC,UAAU,CAAC,CAAA;QACtC,CAAC;QACD,OAAO,GAAG,CAAA;IACZ,CAAC;IACD,IAAI,GAAG,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QACzB,iEAAiE;QACjE,+DAA+D;QAC/D,OAAO,CAAC,cAAc,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAA;IACtC,CAAC;IACD,IAAI,GAAG,CAAC,IAAI,KAAK,qBAAqB,EAAE,CAAC;QACvC,gEAAgE;QAChE,2DAA2D;QAC3D,iEAAiE;QACjE,6DAA6D;QAC7D,gEAAgE;QAChE,6DAA6D;QAC7D,2DAA2D;QAC3D,MAAM,QAAQ,GAAG,GAAG,CAAC,QAA0D,CAAA;QAC/E,MAAM,YAAY,GAAG,MAAM,CAAC,GAAG,CAAC,YAAY,CAAC,CAAA;QAC7C,MAAM,UAAU,GAAG,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAA;QACjD,IAAI,CAAC,UAAU;YAAE,OAAO,IAAI,CAAA;QAC5B,MAAM,CAAC,UAAU,EAAE,WAAW,CAAC,GAAG,UAAU,CAAA;QAC5C,MAAM,MAAM,GAA4B,EAAE,CAAC,YAAY,CAAC,EAAE,UAAU,EAAE,CAAA;QACtE,KAAK,MAAM,CAAC,IAAI,EAAE,UAAU,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,WAAW,CAAC,EAAE,CAAC;YAC7D,MAAM,KAAK,GAAG,UAAU,CAAC,UAAU,CAAC,CAAA;YACpC,MAAM,GAAG,GAAG,QAAQ,CAAC,UAAU,CAAC,CAAA;YAChC,IAAI,KAAK,IAAI,GAAG,KAAK,QAAQ;gBAAE,SAAQ;YACvC,MAAM,CAAC,IAAI,CAAC,GAAG,YAAY,CAAC,UAAU,CAAC,CAAA;QACzC,CAAC;QACD,OAAO,MAAM,CAAA;IACf,CAAC;IACD,OAAO,IAAI,CAAA;AACb,CAAC","sourcesContent":["import type { MessageAnnotations } from '../../protocol.js'\nimport type { MsgSchemaShape, MsgSchemaField } from '../factory.js'\n\ntype Binding = { variant: string }\ntype Annotations = Record<string, MessageAnnotations>\n\nexport type ListActionsHost = {\n  getState(): unknown\n  getBindingDescriptors(): Binding[] | null\n  getMsgAnnotations(): Annotations | null\n  getMsgSchema(): MsgSchemaShape | null\n  getAgentAffordances(): ((state: unknown) => Array<{ type: string; [k: string]: unknown }>) | null\n}\n\n/**\n * `dispatchMode` on each action is `'shared'` (human can also click via\n * a UI affordance) or `'agent-only'` (no UI binding — agent is the only\n * dispatcher). `'human-only'` variants are filtered out before this\n * point — they never reach the LLM.\n *\n * `source` distinguishes WHERE the affordance came from:\n *   - `'binding'` — a tagged event handler is currently mounted in a\n *     live scope (refcount > 0). Variants inside dead branches —\n *     `show({when: false})`, unmounted `branch()` cases, removed `each`\n *     items — auto-vanish from this set as their lifetimes dispose.\n *     This is the framework's \"what can the user click right now\"\n *     answer, and it's the default surface for the agent.\n *   - `'always-affordable'` — either the app's `agentAffordances(state)`\n *     hook listed the variant, or the variant carries the\n *     `@alwaysAffordable` JSDoc tag. Both are the explicit \"agent can\n *     reach this even when no live UI binding maps to it\" knob — bulk\n *     seed ops (`Matrix/AddAlternatives`) and similar agent-driven\n *     paths typically land here.\n *   - `'schema'` — variant is annotated `@agentOnly` (the canonical\n *     \"no UI button maps to this; the agent is the only dispatcher\")\n *     and isn't already covered above. The payload is schema-synthesized\n *     and the agent fills it in.\n *\n * `'shared'` variants WITHOUT a live binding, without\n * `agentAffordances` mention, and without `@alwaysAffordable` are\n * **deliberately hidden**. They're reachable through UI navigation —\n * the human user can't click them right now, and dispatching them\n * blindly would mutate state that drives `show()`/`branch()` gates,\n * popping hidden UI subtrees into view in places the user didn't\n * navigate to.\n */\nexport type ListActionsResult = {\n  actions: Array<{\n    variant: string\n    /**\n     * Human-readable phrase from `@intent(\"…\")`, or `null` when the\n     * variant is unannotated. Mirror of LapActionsResponse.intent —\n     * callers should treat `null` as a documentation gap and not as\n     * \"missing label, fall back to variant name\".\n     */\n    intent: string | null\n    requiresConfirm: boolean\n    dispatchMode: 'shared' | 'agent-only'\n    source: 'binding' | 'always-affordable' | 'schema'\n    selectorHint: string | null\n    payloadHint: object | null\n    /** Cautionary text from `@warning` JSDoc, or null. */\n    warning: string | null\n    /** Concrete examples from `@example` JSDoc, in source order. */\n    examples: string[]\n    /**\n     * Effect kinds this variant emits, from `@emits(\"k1\", \"k2\")`.\n     * Empty when not annotated. Lets the agent know what side\n     * effects fire — useful for batching (\"100 dispatches × cloud-\n     * save = bad\") and for confirming destructive flows.\n     */\n    emits: string[]\n    /**\n     * Per-field guidance lifted from `@should(\"…\")` JSDoc on payload\n     * fields. Path is dot/bracket notation rooted at the payload\n     * (e.g. `\"cells\"` for a top-level field, `\"cells[].meta\"` for an\n     * array element's nested field). Useful when the field is typed\n     * as `unknown` or as a polymorphic shape — the hint says \"type\n     * matches the criterion's kind: number for quantity, …\" so the\n     * agent doesn't have to guess from the bare schema.\n     *\n     * Empty when no field on this variant carries an `@should` hint.\n     */\n    fieldHints: Array<{ path: string; hint: string }>\n  }>\n}\n\nexport function handleListActions(host: ListActionsHost): ListActionsResult {\n  const annotations = host.getMsgAnnotations() ?? {}\n  const state = host.getState()\n  const descriptors = host.getBindingDescriptors() ?? []\n  const affordances = host.getAgentAffordances()?.(state) ?? []\n  const schema = host.getMsgSchema()\n\n  const out: ListActionsResult['actions'] = []\n  const seen = new Set<string>()\n\n  // From bindings — these have UI affordances by definition, so they're\n  // either 'shared' (default) or, in the malformed case where someone\n  // bound an `@agentOnly` Msg in a view, 'agent-only'. Either way the\n  // agent can dispatch them.\n  for (const d of descriptors) {\n    const ann = annotations[d.variant]\n    if (ann?.dispatchMode === 'human-only') continue\n    seen.add(d.variant)\n    const variantSchema = schema?.variants[d.variant]\n    out.push({\n      variant: d.variant,\n      intent: ann?.intent ?? null,\n      requiresConfirm: ann?.requiresConfirm ?? false,\n      dispatchMode: ann?.dispatchMode === 'agent-only' ? 'agent-only' : 'shared',\n      source: 'binding',\n      selectorHint: null,\n      payloadHint: null,\n      warning: ann?.warning ?? null,\n      examples: ann?.examples ?? [],\n      emits: ann?.emits ?? [],\n      fieldHints: variantSchema ? collectFieldHints(variantSchema) : [],\n    })\n  }\n\n  // From `agentAffordances(state)` — the integrator's explicit list of\n  // currently-reachable Msgs, with concrete payloads they author.\n  for (const msg of affordances) {\n    const ann = annotations[msg.type]\n    if (ann?.dispatchMode === 'human-only') continue\n    seen.add(msg.type)\n    const { type, ...rest } = msg\n    const variantSchema = schema?.variants[type]\n    out.push({\n      variant: type,\n      intent: ann?.intent ?? null,\n      requiresConfirm: ann?.requiresConfirm ?? false,\n      dispatchMode: ann?.dispatchMode === 'agent-only' ? 'agent-only' : 'shared',\n      source: 'always-affordable',\n      selectorHint: null,\n      payloadHint: Object.keys(rest).length > 0 ? rest : null,\n      warning: ann?.warning ?? null,\n      examples: ann?.examples ?? [],\n      emits: ann?.emits ?? [],\n      fieldHints: variantSchema ? collectFieldHints(variantSchema) : [],\n    })\n  }\n\n  // From `@alwaysAffordable` annotations — the per-variant equivalent\n  // of `agentAffordances`. Variants tagged this way surface regardless\n  // of whether a live binding maps to them, so bulk seed ops\n  // (`Matrix/AddAlternatives`) and similar agent-driven paths are\n  // available even when their UI counterparts (if any) aren't mounted.\n  // The payload is schema-synthesized — `agentAffordances` is the way\n  // to ship a concrete pre-filled payload alongside the affordance.\n  for (const [variant, ann] of Object.entries(annotations)) {\n    if (seen.has(variant)) continue\n    if (ann.dispatchMode === 'human-only') continue\n    if (!ann.alwaysAffordable) continue\n    seen.add(variant)\n    const fields = schema?.variants[variant]\n    out.push({\n      variant,\n      intent: ann.intent,\n      requiresConfirm: ann.requiresConfirm,\n      dispatchMode: ann.dispatchMode === 'agent-only' ? 'agent-only' : 'shared',\n      source: 'always-affordable',\n      selectorHint: null,\n      payloadHint: fields ? synthesizePayload(variant, fields) : null,\n      warning: ann.warning,\n      examples: ann.examples,\n      emits: ann.emits,\n      fieldHints: fields ? collectFieldHints(fields) : [],\n    })\n  }\n\n  // From schema — variants that aren't already surfaced above and that\n  // the author marked `@agentOnly`. The canonical \"no UI button maps\n  // to this; the agent is the only dispatcher.\" Bulk edits, imports,\n  // admin operations that have no human-facing affordance at all.\n  //\n  // `'shared'` variants WITHOUT a live binding stay hidden here — they\n  // are reachable through UI navigation, and dispatching them while\n  // their UI subtree is unmounted would pop hidden state in places the\n  // user didn't navigate to. The explicit knobs are `@alwaysAffordable`\n  // (handled above) or `agentAffordances(state)`.\n  if (schema) {\n    for (const [variant, fields] of Object.entries(schema.variants)) {\n      if (seen.has(variant)) continue\n      const ann = annotations[variant]\n      if (ann?.dispatchMode !== 'agent-only') continue\n      out.push({\n        variant,\n        intent: ann.intent,\n        requiresConfirm: ann.requiresConfirm,\n        dispatchMode: 'agent-only',\n        source: 'schema',\n        selectorHint: null,\n        payloadHint: synthesizePayload(variant, fields),\n        warning: ann.warning,\n        examples: ann.examples,\n        emits: ann.emits,\n        fieldHints: collectFieldHints(fields),\n      })\n    }\n  }\n\n  return { actions: out }\n}\n\n/**\n * Build an example payload object the LLM can fill in. Required\n * fields always appear; optional fields appear only when annotated\n * `@should` (LLM is encouraged to fill them in). Fields without a\n * concrete primitive type (`'unknown'`) emit `null` placeholders the\n * LLM is expected to replace.\n *\n * The first key is `type` so the payload reads as a complete Msg\n * shape — copy-paste-ready into `send_message`.\n */\nfunction synthesizePayload(variant: string, fields: Record<string, MsgSchemaField>): object {\n  const out: Record<string, unknown> = { type: variant }\n  for (const [name, descriptor] of Object.entries(fields)) {\n    const optional = isOptional(descriptor)\n    const priority = isShould(descriptor)\n    // Skip optional fields unless they're @should-flagged. Required\n    // fields always appear.\n    if (optional && priority !== 'should') continue\n    out[name] = exampleValue(descriptor)\n  }\n  return out\n}\n\n/**\n * Walk a variant's field tree and collect every `@should` hint into a\n * flat list keyed by field path. Path conventions:\n *   - top-level field: `\"cells\"`\n *   - nested object property: `\"cells.value\"`\n *   - array element: `\"cells[]\"` for the element itself; descendants\n *     use `\"cells[].meta\"` and so on.\n *\n * Surfaces the same hints that show up nested inside\n * `description.messages.variants[X].field.hint` so callers don't have\n * to dig through the schema tree to find them.\n */\nfunction collectFieldHints(\n  fields: Record<string, MsgSchemaField>,\n): Array<{ path: string; hint: string }> {\n  const out: Array<{ path: string; hint: string }> = []\n  for (const [name, descriptor] of Object.entries(fields)) {\n    walkHint(name, descriptor, out)\n  }\n  return out\n}\n\nfunction walkHint(\n  path: string,\n  d: MsgSchemaField,\n  out: Array<{ path: string; hint: string }>,\n): void {\n  // Rich descriptor with a hint at this position.\n  if (typeof d === 'object' && d !== null && 'type' in d) {\n    if (typeof d.hint === 'string' && d.hint.length > 0) {\n      out.push({ path, hint: d.hint })\n    }\n    walkHintBare(path, d.type, out)\n    return\n  }\n  walkHintBare(path, d, out)\n}\n\nfunction walkHintBare(path: string, t: unknown, out: Array<{ path: string; hint: string }>): void {\n  if (t === null || typeof t !== 'object') return\n  const obj = t as Record<string, unknown>\n  if (obj.kind === 'object' && obj.shape !== null && typeof obj.shape === 'object') {\n    for (const [name, descriptor] of Object.entries(obj.shape as Record<string, MsgSchemaField>)) {\n      walkHint(`${path}.${name}`, descriptor, out)\n    }\n    return\n  }\n  if (obj.kind === 'array') {\n    walkHint(`${path}[]`, obj.element as MsgSchemaField, out)\n  }\n  if (obj.kind === 'discriminated-union') {\n    // Synthetic hint at the union's path summarizing the legal\n    // discriminant values. Lets the agent see \"format expects one of:\n    // exact, range, compound\" without walking the full schema. Then\n    // walk each branch's per-field hints with a path-suffix that\n    // disambiguates which branch the hint applies to.\n    const variants = obj.variants as Record<string, Record<string, MsgSchemaField>>\n    const discriminant = String(obj.discriminant)\n    const legalValues = Object.keys(variants)\n    if (legalValues.length > 0) {\n      out.push({\n        path,\n        hint: `Discriminated union — set \\`${discriminant}\\` to one of: ${legalValues\n          .map((v) => `'${v}'`)\n          .join(', ')}.`,\n      })\n    }\n    for (const [discValue, fields] of Object.entries(variants)) {\n      for (const [fieldName, fieldDesc] of Object.entries(fields)) {\n        walkHint(`${path}(${discriminant}=${discValue}).${fieldName}`, fieldDesc, out)\n      }\n    }\n  }\n}\n\nfunction isOptional(d: MsgSchemaField): boolean {\n  return typeof d === 'object' && 'type' in d && d.optional === true\n}\n\nfunction isShould(d: MsgSchemaField): 'should' | undefined {\n  return typeof d === 'object' && 'type' in d ? d.priority : undefined\n}\n\nfunction exampleValue(d: MsgSchemaField): unknown {\n  // Unwrap rich descriptor to get the bare type for synthesis.\n  const t =\n    typeof d === 'object' && 'type' in d\n      ? d.type\n      : (d as\n          | Exclude<MsgSchemaField, object>\n          | Extract<MsgSchemaField, { kind?: string; enum?: string[] }>)\n  return synthesizeBare(t as never)\n}\n\nfunction synthesizeBare(t: unknown): unknown {\n  if (typeof t === 'string') {\n    if (t === 'string') return ''\n    if (t === 'number') return 0\n    if (t === 'boolean') return false\n    return null // 'unknown' or unrecognized keyword → placeholder\n  }\n  if (t === null || typeof t !== 'object') return null\n  const obj = t as Record<string, unknown>\n  if ('enum' in obj && Array.isArray(obj.enum)) {\n    // First option doubles as the canonical example. Native value type\n    // round-trips (string/number/boolean) since the compiler preserved\n    // the literal kind on emit.\n    return obj.enum[0] ?? null\n  }\n  if (obj.kind === 'object' && obj.shape !== null && typeof obj.shape === 'object') {\n    // Recurse into the nested shape. Same optional-skip rule as the\n    // top-level synthesizer: required fields appear, optional ones\n    // appear only when @should-flagged.\n    const out: Record<string, unknown> = {}\n    for (const [name, descriptor] of Object.entries(obj.shape as Record<string, MsgSchemaField>)) {\n      const isOpt = isOptional(descriptor)\n      const pri = isShould(descriptor)\n      if (isOpt && pri !== 'should') continue\n      out[name] = exampleValue(descriptor)\n    }\n    return out\n  }\n  if (obj.kind === 'array') {\n    // Wrap the synthesized element in a one-item array. Lets the LLM\n    // see the per-entry shape without us guessing at array length.\n    return [synthesizeBare(obj.element)]\n  }\n  if (obj.kind === 'discriminated-union') {\n    // Synthesize the FIRST branch as the concrete example. The full\n    // shape (every legal branch + its payload) is preserved in\n    // `description.messages.variants[X]` from `describe_app`, so the\n    // agent that needs another branch reads the schema directly.\n    // `collectFieldHints` adds a synthetic enumeration of the legal\n    // `<discriminant>` values onto the hint surface so the agent\n    // doesn't have to dig into the schema for the simple case.\n    const variants = obj.variants as Record<string, Record<string, MsgSchemaField>>\n    const discriminant = String(obj.discriminant)\n    const firstEntry = Object.entries(variants).at(0)\n    if (!firstEntry) return null\n    const [firstValue, firstFields] = firstEntry\n    const branch: Record<string, unknown> = { [discriminant]: firstValue }\n    for (const [name, descriptor] of Object.entries(firstFields)) {\n      const isOpt = isOptional(descriptor)\n      const pri = isShould(descriptor)\n      if (isOpt && pri !== 'should') continue\n      branch[name] = exampleValue(descriptor)\n    }\n    return branch\n  }\n  return null\n}\n"]}
+{"version":3,"file":"list-actions.js","sourceRoot":"","sources":["../../../src/client/rpc/list-actions.ts"],"names":[],"mappings":"AAuFA,MAAM,UAAU,iBAAiB,CAAC,IAAqB;IACrD,MAAM,WAAW,GAAG,IAAI,CAAC,iBAAiB,EAAE,IAAI,EAAE,CAAA;IAClD,MAAM,KAAK,GAAG,IAAI,CAAC,QAAQ,EAAE,CAAA;IAC7B,MAAM,WAAW,GAAG,IAAI,CAAC,qBAAqB,EAAE,IAAI,EAAE,CAAA;IACtD,MAAM,WAAW,GAAG,IAAI,CAAC,mBAAmB,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,EAAE,CAAA;IAC7D,MAAM,MAAM,GAAG,IAAI,CAAC,YAAY,EAAE,CAAA;IAElC,MAAM,GAAG,GAAiC,EAAE,CAAA;IAC5C,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAA;IAE9B,sEAAsE;IACtE,oEAAoE;IACpE,oEAAoE;IACpE,2BAA2B;IAC3B,EAAE;IACF,oEAAoE;IACpE,iEAAiE;IACjE,gEAAgE;IAChE,oEAAoE;IACpE,kEAAkE;IAClE,qEAAqE;IACrE,mEAAmE;IACnE,mEAAmE;IACnE,mDAAmD;IACnD,KAAK,MAAM,CAAC,IAAI,WAAW,EAAE,CAAC;QAC5B,IAAI,MAAM,IAAI,CAAC,CAAC,CAAC,CAAC,OAAO,IAAI,MAAM,CAAC,QAAQ,CAAC;YAAE,SAAQ;QACvD,MAAM,GAAG,GAAG,WAAW,CAAC,CAAC,CAAC,OAAO,CAAC,CAAA;QAClC,IAAI,GAAG,EAAE,YAAY,KAAK,YAAY;YAAE,SAAQ;QAChD,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,OAAO,CAAC,CAAA;QACnB,MAAM,aAAa,GAAG,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,CAAA;QACjD,GAAG,CAAC,IAAI,CAAC;YACP,OAAO,EAAE,CAAC,CAAC,OAAO;YAClB,MAAM,EAAE,GAAG,EAAE,MAAM,IAAI,IAAI;YAC3B,eAAe,EAAE,GAAG,EAAE,eAAe,IAAI,KAAK;YAC9C,YAAY,EAAE,GAAG,EAAE,YAAY,KAAK,YAAY,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,QAAQ;YAC1E,MAAM,EAAE,SAAS;YACjB,YAAY,EAAE,IAAI;YAClB,WAAW,EAAE,IAAI;YACjB,OAAO,EAAE,GAAG,EAAE,OAAO,IAAI,IAAI;YAC7B,QAAQ,EAAE,GAAG,EAAE,QAAQ,IAAI,EAAE;YAC7B,KAAK,EAAE,GAAG,EAAE,KAAK,IAAI,EAAE;YACvB,UAAU,EAAE,aAAa,CAAC,CAAC,CAAC,iBAAiB,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,EAAE;SAClE,CAAC,CAAA;IACJ,CAAC;IAED,qEAAqE;IACrE,gEAAgE;IAChE,KAAK,MAAM,GAAG,IAAI,WAAW,EAAE,CAAC;QAC9B,MAAM,GAAG,GAAG,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;QACjC,IAAI,GAAG,EAAE,YAAY,KAAK,YAAY;YAAE,SAAQ;QAChD,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;QAClB,MAAM,EAAE,IAAI,EAAE,GAAG,IAAI,EAAE,GAAG,GAAG,CAAA;QAC7B,MAAM,aAAa,GAAG,MAAM,EAAE,QAAQ,CAAC,IAAI,CAAC,CAAA;QAC5C,GAAG,CAAC,IAAI,CAAC;YACP,OAAO,EAAE,IAAI;YACb,MAAM,EAAE,GAAG,EAAE,MAAM,IAAI,IAAI;YAC3B,eAAe,EAAE,GAAG,EAAE,eAAe,IAAI,KAAK;YAC9C,YAAY,EAAE,GAAG,EAAE,YAAY,KAAK,YAAY,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,QAAQ;YAC1E,MAAM,EAAE,mBAAmB;YAC3B,YAAY,EAAE,IAAI;YAClB,WAAW,EAAE,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI;YACvD,OAAO,EAAE,GAAG,EAAE,OAAO,IAAI,IAAI;YAC7B,QAAQ,EAAE,GAAG,EAAE,QAAQ,IAAI,EAAE;YAC7B,KAAK,EAAE,GAAG,EAAE,KAAK,IAAI,EAAE;YACvB,UAAU,EAAE,aAAa,CAAC,CAAC,CAAC,iBAAiB,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,EAAE;SAClE,CAAC,CAAA;IACJ,CAAC;IAED,oEAAoE;IACpE,qEAAqE;IACrE,2DAA2D;IAC3D,gEAAgE;IAChE,qEAAqE;IACrE,oEAAoE;IACpE,kEAAkE;IAClE,KAAK,MAAM,CAAC,OAAO,EAAE,GAAG,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,WAAW,CAAC,EAAE,CAAC;QACzD,IAAI,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC;YAAE,SAAQ;QAC/B,IAAI,GAAG,CAAC,YAAY,KAAK,YAAY;YAAE,SAAQ;QAC/C,IAAI,CAAC,GAAG,CAAC,gBAAgB;YAAE,SAAQ;QACnC,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC,CAAA;QACjB,MAAM,MAAM,GAAG,MAAM,EAAE,QAAQ,CAAC,OAAO,CAAC,CAAA;QACxC,GAAG,CAAC,IAAI,CAAC;YACP,OAAO;YACP,MAAM,EAAE,GAAG,CAAC,MAAM;YAClB,eAAe,EAAE,GAAG,CAAC,eAAe;YACpC,YAAY,EAAE,GAAG,CAAC,YAAY,KAAK,YAAY,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,QAAQ;YACzE,MAAM,EAAE,mBAAmB;YAC3B,YAAY,EAAE,IAAI;YAClB,WAAW,EAAE,MAAM,CAAC,CAAC,CAAC,iBAAiB,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI;YAC/D,OAAO,EAAE,GAAG,CAAC,OAAO;YACpB,QAAQ,EAAE,GAAG,CAAC,QAAQ;YACtB,KAAK,EAAE,GAAG,CAAC,KAAK;YAChB,UAAU,EAAE,MAAM,CAAC,CAAC,CAAC,iBAAiB,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE;SACpD,CAAC,CAAA;IACJ,CAAC;IAED,qEAAqE;IACrE,mEAAmE;IACnE,mEAAmE;IACnE,gEAAgE;IAChE,EAAE;IACF,qEAAqE;IACrE,kEAAkE;IAClE,qEAAqE;IACrE,sEAAsE;IACtE,gDAAgD;IAChD,IAAI,MAAM,EAAE,CAAC;QACX,KAAK,MAAM,CAAC,OAAO,EAAE,MAAM,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC;YAChE,IAAI,IAAI,CAAC,GAAG,CAAC,OAAO,CAAC;gBAAE,SAAQ;YAC/B,MAAM,GAAG,GAAG,WAAW,CAAC,OAAO,CAAC,CAAA;YAChC,IAAI,GAAG,EAAE,YAAY,KAAK,YAAY;gBAAE,SAAQ;YAChD,GAAG,CAAC,IAAI,CAAC;gBACP,OAAO;gBACP,MAAM,EAAE,GAAG,CAAC,MAAM;gBAClB,eAAe,EAAE,GAAG,CAAC,eAAe;gBACpC,YAAY,EAAE,YAAY;gBAC1B,MAAM,EAAE,QAAQ;gBAChB,YAAY,EAAE,IAAI;gBAClB,WAAW,EAAE,iBAAiB,CAAC,OAAO,EAAE,MAAM,CAAC;gBAC/C,OAAO,EAAE,GAAG,CAAC,OAAO;gBACpB,QAAQ,EAAE,GAAG,CAAC,QAAQ;gBACtB,KAAK,EAAE,GAAG,CAAC,KAAK;gBAChB,UAAU,EAAE,iBAAiB,CAAC,MAAM,CAAC;aACtC,CAAC,CAAA;QACJ,CAAC;IACH,CAAC;IAED,OAAO,EAAE,OAAO,EAAE,GAAG,EAAE,CAAA;AACzB,CAAC;AAED;;;;;;;;;GASG;AACH,SAAS,iBAAiB,CAAC,OAAe,EAAE,MAAsC;IAChF,MAAM,GAAG,GAA4B,EAAE,IAAI,EAAE,OAAO,EAAE,CAAA;IACtD,KAAK,MAAM,CAAC,IAAI,EAAE,UAAU,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;QACxD,MAAM,QAAQ,GAAG,UAAU,CAAC,UAAU,CAAC,CAAA;QACvC,MAAM,QAAQ,GAAG,QAAQ,CAAC,UAAU,CAAC,CAAA;QACrC,gEAAgE;QAChE,wBAAwB;QACxB,IAAI,QAAQ,IAAI,QAAQ,KAAK,QAAQ;YAAE,SAAQ;QAC/C,GAAG,CAAC,IAAI,CAAC,GAAG,YAAY,CAAC,UAAU,CAAC,CAAA;IACtC,CAAC;IACD,OAAO,GAAG,CAAA;AACZ,CAAC;AAED;;;;;;;;;;;GAWG;AACH,SAAS,iBAAiB,CACxB,MAAsC;IAEtC,MAAM,GAAG,GAA0C,EAAE,CAAA;IACrD,KAAK,MAAM,CAAC,IAAI,EAAE,UAAU,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;QACxD,QAAQ,CAAC,IAAI,EAAE,UAAU,EAAE,GAAG,CAAC,CAAA;IACjC,CAAC;IACD,OAAO,GAAG,CAAA;AACZ,CAAC;AAED,SAAS,QAAQ,CACf,IAAY,EACZ,CAAiB,EACjB,GAA0C;IAE1C,gDAAgD;IAChD,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,IAAI,IAAI,MAAM,IAAI,CAAC,EAAE,CAAC;QACvD,IAAI,OAAO,CAAC,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACpD,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,CAAA;QAClC,CAAC;QACD,iEAAiE;QACjE,kEAAkE;QAClE,iEAAiE;QACjE,8DAA8D;QAC9D,+DAA+D;QAC/D,kBAAkB;QAClB,IAAI,OAAO,CAAC,CAAC,SAAS,KAAK,QAAQ,IAAI,CAAC,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC9D,GAAG,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,cAAc,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,CAAA;QACvD,CAAC;QACD,YAAY,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,GAAG,CAAC,CAAA;QAC/B,OAAM;IACR,CAAC;IACD,YAAY,CAAC,IAAI,EAAE,CAAC,EAAE,GAAG,CAAC,CAAA;AAC5B,CAAC;AAED,SAAS,YAAY,CAAC,IAAY,EAAE,CAAU,EAAE,GAA0C;IACxF,IAAI,CAAC,KAAK,IAAI,IAAI,OAAO,CAAC,KAAK,QAAQ;QAAE,OAAM;IAC/C,MAAM,GAAG,GAAG,CAA4B,CAAA;IACxC,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ,IAAI,GAAG,CAAC,KAAK,KAAK,IAAI,IAAI,OAAO,GAAG,CAAC,KAAK,KAAK,QAAQ,EAAE,CAAC;QACjF,KAAK,MAAM,CAAC,IAAI,EAAE,UAAU,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,KAAuC,CAAC,EAAE,CAAC;YAC7F,QAAQ,CAAC,GAAG,IAAI,IAAI,IAAI,EAAE,EAAE,UAAU,EAAE,GAAG,CAAC,CAAA;QAC9C,CAAC;QACD,OAAM;IACR,CAAC;IACD,IAAI,GAAG,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QACzB,QAAQ,CAAC,GAAG,IAAI,IAAI,EAAE,GAAG,CAAC,OAAyB,EAAE,GAAG,CAAC,CAAA;IAC3D,CAAC;IACD,IAAI,GAAG,CAAC,IAAI,KAAK,qBAAqB,EAAE,CAAC;QACvC,2DAA2D;QAC3D,kEAAkE;QAClE,gEAAgE;QAChE,6DAA6D;QAC7D,kDAAkD;QAClD,MAAM,QAAQ,GAAG,GAAG,CAAC,QAA0D,CAAA;QAC/E,MAAM,YAAY,GAAG,MAAM,CAAC,GAAG,CAAC,YAAY,CAAC,CAAA;QAC7C,MAAM,WAAW,GAAG,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAA;QACzC,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC3B,GAAG,CAAC,IAAI,CAAC;gBACP,IAAI;gBACJ,IAAI,EAAE,+BAA+B,YAAY,iBAAiB,WAAW;qBAC1E,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC;qBACpB,IAAI,CAAC,IAAI,CAAC,GAAG;aACjB,CAAC,CAAA;QACJ,CAAC;QACD,KAAK,MAAM,CAAC,SAAS,EAAE,MAAM,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC3D,KAAK,MAAM,CAAC,SAAS,EAAE,SAAS,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;gBAC5D,QAAQ,CAAC,GAAG,IAAI,IAAI,YAAY,IAAI,SAAS,KAAK,SAAS,EAAE,EAAE,SAAS,EAAE,GAAG,CAAC,CAAA;YAChF,CAAC;QACH,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,UAAU,CAAC,CAAiB;IACnC,OAAO,OAAO,CAAC,KAAK,QAAQ,IAAI,MAAM,IAAI,CAAC,IAAI,CAAC,CAAC,QAAQ,KAAK,IAAI,CAAA;AACpE,CAAC;AAED,SAAS,QAAQ,CAAC,CAAiB;IACjC,OAAO,OAAO,CAAC,KAAK,QAAQ,IAAI,MAAM,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAA;AACtE,CAAC;AAED,SAAS,YAAY,CAAC,CAAiB;IACrC,6DAA6D;IAC7D,MAAM,CAAC,GACL,OAAO,CAAC,KAAK,QAAQ,IAAI,MAAM,IAAI,CAAC;QAClC,CAAC,CAAC,CAAC,CAAC,IAAI;QACR,CAAC,CAAE,CAE+D,CAAA;IACtE,OAAO,cAAc,CAAC,CAAU,CAAC,CAAA;AACnC,CAAC;AAED,SAAS,cAAc,CAAC,CAAU;IAChC,IAAI,OAAO,CAAC,KAAK,QAAQ,EAAE,CAAC;QAC1B,IAAI,CAAC,KAAK,QAAQ;YAAE,OAAO,EAAE,CAAA;QAC7B,IAAI,CAAC,KAAK,QAAQ;YAAE,OAAO,CAAC,CAAA;QAC5B,IAAI,CAAC,KAAK,SAAS;YAAE,OAAO,KAAK,CAAA;QACjC,OAAO,IAAI,CAAA,CAAC,kDAAkD;IAChE,CAAC;IACD,IAAI,CAAC,KAAK,IAAI,IAAI,OAAO,CAAC,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAA;IACpD,MAAM,GAAG,GAAG,CAA4B,CAAA;IACxC,IAAI,MAAM,IAAI,GAAG,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;QAC7C,mEAAmE;QACnE,mEAAmE;QACnE,4BAA4B;QAC5B,OAAO,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,IAAI,CAAA;IAC5B,CAAC;IACD,IAAI,GAAG,CAAC,IAAI,KAAK,QAAQ,IAAI,GAAG,CAAC,KAAK,KAAK,IAAI,IAAI,OAAO,GAAG,CAAC,KAAK,KAAK,QAAQ,EAAE,CAAC;QACjF,gEAAgE;QAChE,+DAA+D;QAC/D,oCAAoC;QACpC,MAAM,GAAG,GAA4B,EAAE,CAAA;QACvC,KAAK,MAAM,CAAC,IAAI,EAAE,UAAU,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,KAAuC,CAAC,EAAE,CAAC;YAC7F,MAAM,KAAK,GAAG,UAAU,CAAC,UAAU,CAAC,CAAA;YACpC,MAAM,GAAG,GAAG,QAAQ,CAAC,UAAU,CAAC,CAAA;YAChC,IAAI,KAAK,IAAI,GAAG,KAAK,QAAQ;gBAAE,SAAQ;YACvC,GAAG,CAAC,IAAI,CAAC,GAAG,YAAY,CAAC,UAAU,CAAC,CAAA;QACtC,CAAC;QACD,OAAO,GAAG,CAAA;IACZ,CAAC;IACD,IAAI,GAAG,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QACzB,iEAAiE;QACjE,+DAA+D;QAC/D,OAAO,CAAC,cAAc,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAA;IACtC,CAAC;IACD,IAAI,GAAG,CAAC,IAAI,KAAK,qBAAqB,EAAE,CAAC;QACvC,gEAAgE;QAChE,2DAA2D;QAC3D,iEAAiE;QACjE,6DAA6D;QAC7D,gEAAgE;QAChE,6DAA6D;QAC7D,2DAA2D;QAC3D,MAAM,QAAQ,GAAG,GAAG,CAAC,QAA0D,CAAA;QAC/E,MAAM,YAAY,GAAG,MAAM,CAAC,GAAG,CAAC,YAAY,CAAC,CAAA;QAC7C,MAAM,UAAU,GAAG,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAA;QACjD,IAAI,CAAC,UAAU;YAAE,OAAO,IAAI,CAAA;QAC5B,MAAM,CAAC,UAAU,EAAE,WAAW,CAAC,GAAG,UAAU,CAAA;QAC5C,MAAM,MAAM,GAA4B,EAAE,CAAC,YAAY,CAAC,EAAE,UAAU,EAAE,CAAA;QACtE,KAAK,MAAM,CAAC,IAAI,EAAE,UAAU,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,WAAW,CAAC,EAAE,CAAC;YAC7D,MAAM,KAAK,GAAG,UAAU,CAAC,UAAU,CAAC,CAAA;YACpC,MAAM,GAAG,GAAG,QAAQ,CAAC,UAAU,CAAC,CAAA;YAChC,IAAI,KAAK,IAAI,GAAG,KAAK,QAAQ;gBAAE,SAAQ;YACvC,MAAM,CAAC,IAAI,CAAC,GAAG,YAAY,CAAC,UAAU,CAAC,CAAA;QACzC,CAAC;QACD,OAAO,MAAM,CAAA;IACf,CAAC;IACD,OAAO,IAAI,CAAA;AACb,CAAC","sourcesContent":["import type { MessageAnnotations } from '../../protocol.js'\nimport type { MsgSchemaShape, MsgSchemaField } from '../factory.js'\n\ntype Binding = { variant: string }\ntype Annotations = Record<string, MessageAnnotations>\n\nexport type ListActionsHost = {\n  getState(): unknown\n  getBindingDescriptors(): Binding[] | null\n  getMsgAnnotations(): Annotations | null\n  getMsgSchema(): MsgSchemaShape | null\n  getAgentAffordances(): ((state: unknown) => Array<{ type: string; [k: string]: unknown }>) | null\n}\n\n/**\n * `dispatchMode` on each action is `'shared'` (human can also click via\n * a UI affordance) or `'agent-only'` (no UI binding — agent is the only\n * dispatcher). `'human-only'` variants are filtered out before this\n * point — they never reach the LLM.\n *\n * `source` distinguishes WHERE the affordance came from:\n *   - `'binding'` — a tagged event handler is currently mounted in a\n *     live scope (refcount > 0). Variants inside dead branches —\n *     `show({when: false})`, unmounted `branch()` cases, removed `each`\n *     items — auto-vanish from this set as their lifetimes dispose.\n *     This is the framework's \"what can the user click right now\"\n *     answer, and it's the default surface for the agent.\n *   - `'always-affordable'` — either the app's `agentAffordances(state)`\n *     hook listed the variant, or the variant carries the\n *     `@alwaysAffordable` JSDoc tag. Both are the explicit \"agent can\n *     reach this even when no live UI binding maps to it\" knob — bulk\n *     seed ops (`Matrix/AddAlternatives`) and similar agent-driven\n *     paths typically land here.\n *   - `'schema'` — variant is annotated `@agentOnly` (the canonical\n *     \"no UI button maps to this; the agent is the only dispatcher\")\n *     and isn't already covered above. The payload is schema-synthesized\n *     and the agent fills it in.\n *\n * `'shared'` variants WITHOUT a live binding, without\n * `agentAffordances` mention, and without `@alwaysAffordable` are\n * **deliberately hidden**. They're reachable through UI navigation —\n * the human user can't click them right now, and dispatching them\n * blindly would mutate state that drives `show()`/`branch()` gates,\n * popping hidden UI subtrees into view in places the user didn't\n * navigate to.\n */\nexport type ListActionsResult = {\n  actions: Array<{\n    variant: string\n    /**\n     * Human-readable phrase from `@intent(\"…\")`, or `null` when the\n     * variant is unannotated. Mirror of LapActionsResponse.intent —\n     * callers should treat `null` as a documentation gap and not as\n     * \"missing label, fall back to variant name\".\n     */\n    intent: string | null\n    requiresConfirm: boolean\n    dispatchMode: 'shared' | 'agent-only'\n    source: 'binding' | 'always-affordable' | 'schema'\n    selectorHint: string | null\n    payloadHint: object | null\n    /** Cautionary text from `@warning` JSDoc, or null. */\n    warning: string | null\n    /** Concrete examples from `@example` JSDoc, in source order. */\n    examples: string[]\n    /**\n     * Effect kinds this variant emits, from `@emits(\"k1\", \"k2\")`.\n     * Empty when not annotated. Lets the agent know what side\n     * effects fire — useful for batching (\"100 dispatches × cloud-\n     * save = bad\") and for confirming destructive flows.\n     */\n    emits: string[]\n    /**\n     * Per-field guidance lifted from `@should(\"…\")` JSDoc on payload\n     * fields. Path is dot/bracket notation rooted at the payload\n     * (e.g. `\"cells\"` for a top-level field, `\"cells[].meta\"` for an\n     * array element's nested field). Useful when the field is typed\n     * as `unknown` or as a polymorphic shape — the hint says \"type\n     * matches the criterion's kind: number for quantity, …\" so the\n     * agent doesn't have to guess from the bare schema.\n     *\n     * Empty when no field on this variant carries an `@should` hint.\n     */\n    fieldHints: Array<{ path: string; hint: string }>\n  }>\n}\n\nexport function handleListActions(host: ListActionsHost): ListActionsResult {\n  const annotations = host.getMsgAnnotations() ?? {}\n  const state = host.getState()\n  const descriptors = host.getBindingDescriptors() ?? []\n  const affordances = host.getAgentAffordances()?.(state) ?? []\n  const schema = host.getMsgSchema()\n\n  const out: ListActionsResult['actions'] = []\n  const seen = new Set<string>()\n\n  // From bindings — these have UI affordances by definition, so they're\n  // either 'shared' (default) or, in the malformed case where someone\n  // bound an `@agentOnly` Msg in a view, 'agent-only'. Either way the\n  // agent can dispatch them.\n  //\n  // Filtered against the Msg schema: a binding whose variant isn't in\n  // the user's Msg union is a library-internal Msg leaking through\n  // `tagSend` translator wiring (the sortable component's `move`,\n  // `drop`, `cancel`, etc. — they're routed into the user's update.ts\n  // via a different shape but their lib names slip into the binding\n  // registry). The agent has no use for those names — `would_dispatch`\n  // / `send_message` would reject them as `unknown-variant` anyway —\n  // so they pollute the affordance list. When a schema is available,\n  // the schema's variant set is the source of truth.\n  for (const d of descriptors) {\n    if (schema && !(d.variant in schema.variants)) continue\n    const ann = annotations[d.variant]\n    if (ann?.dispatchMode === 'human-only') continue\n    seen.add(d.variant)\n    const variantSchema = schema?.variants[d.variant]\n    out.push({\n      variant: d.variant,\n      intent: ann?.intent ?? null,\n      requiresConfirm: ann?.requiresConfirm ?? false,\n      dispatchMode: ann?.dispatchMode === 'agent-only' ? 'agent-only' : 'shared',\n      source: 'binding',\n      selectorHint: null,\n      payloadHint: null,\n      warning: ann?.warning ?? null,\n      examples: ann?.examples ?? [],\n      emits: ann?.emits ?? [],\n      fieldHints: variantSchema ? collectFieldHints(variantSchema) : [],\n    })\n  }\n\n  // From `agentAffordances(state)` — the integrator's explicit list of\n  // currently-reachable Msgs, with concrete payloads they author.\n  for (const msg of affordances) {\n    const ann = annotations[msg.type]\n    if (ann?.dispatchMode === 'human-only') continue\n    seen.add(msg.type)\n    const { type, ...rest } = msg\n    const variantSchema = schema?.variants[type]\n    out.push({\n      variant: type,\n      intent: ann?.intent ?? null,\n      requiresConfirm: ann?.requiresConfirm ?? false,\n      dispatchMode: ann?.dispatchMode === 'agent-only' ? 'agent-only' : 'shared',\n      source: 'always-affordable',\n      selectorHint: null,\n      payloadHint: Object.keys(rest).length > 0 ? rest : null,\n      warning: ann?.warning ?? null,\n      examples: ann?.examples ?? [],\n      emits: ann?.emits ?? [],\n      fieldHints: variantSchema ? collectFieldHints(variantSchema) : [],\n    })\n  }\n\n  // From `@alwaysAffordable` annotations — the per-variant equivalent\n  // of `agentAffordances`. Variants tagged this way surface regardless\n  // of whether a live binding maps to them, so bulk seed ops\n  // (`Matrix/AddAlternatives`) and similar agent-driven paths are\n  // available even when their UI counterparts (if any) aren't mounted.\n  // The payload is schema-synthesized — `agentAffordances` is the way\n  // to ship a concrete pre-filled payload alongside the affordance.\n  for (const [variant, ann] of Object.entries(annotations)) {\n    if (seen.has(variant)) continue\n    if (ann.dispatchMode === 'human-only') continue\n    if (!ann.alwaysAffordable) continue\n    seen.add(variant)\n    const fields = schema?.variants[variant]\n    out.push({\n      variant,\n      intent: ann.intent,\n      requiresConfirm: ann.requiresConfirm,\n      dispatchMode: ann.dispatchMode === 'agent-only' ? 'agent-only' : 'shared',\n      source: 'always-affordable',\n      selectorHint: null,\n      payloadHint: fields ? synthesizePayload(variant, fields) : null,\n      warning: ann.warning,\n      examples: ann.examples,\n      emits: ann.emits,\n      fieldHints: fields ? collectFieldHints(fields) : [],\n    })\n  }\n\n  // From schema — variants that aren't already surfaced above and that\n  // the author marked `@agentOnly`. The canonical \"no UI button maps\n  // to this; the agent is the only dispatcher.\" Bulk edits, imports,\n  // admin operations that have no human-facing affordance at all.\n  //\n  // `'shared'` variants WITHOUT a live binding stay hidden here — they\n  // are reachable through UI navigation, and dispatching them while\n  // their UI subtree is unmounted would pop hidden state in places the\n  // user didn't navigate to. The explicit knobs are `@alwaysAffordable`\n  // (handled above) or `agentAffordances(state)`.\n  if (schema) {\n    for (const [variant, fields] of Object.entries(schema.variants)) {\n      if (seen.has(variant)) continue\n      const ann = annotations[variant]\n      if (ann?.dispatchMode !== 'agent-only') continue\n      out.push({\n        variant,\n        intent: ann.intent,\n        requiresConfirm: ann.requiresConfirm,\n        dispatchMode: 'agent-only',\n        source: 'schema',\n        selectorHint: null,\n        payloadHint: synthesizePayload(variant, fields),\n        warning: ann.warning,\n        examples: ann.examples,\n        emits: ann.emits,\n        fieldHints: collectFieldHints(fields),\n      })\n    }\n  }\n\n  return { actions: out }\n}\n\n/**\n * Build an example payload object the LLM can fill in. Required\n * fields always appear; optional fields appear only when annotated\n * `@should` (LLM is encouraged to fill them in). Fields without a\n * concrete primitive type (`'unknown'`) emit `null` placeholders the\n * LLM is expected to replace.\n *\n * The first key is `type` so the payload reads as a complete Msg\n * shape — copy-paste-ready into `send_message`.\n */\nfunction synthesizePayload(variant: string, fields: Record<string, MsgSchemaField>): object {\n  const out: Record<string, unknown> = { type: variant }\n  for (const [name, descriptor] of Object.entries(fields)) {\n    const optional = isOptional(descriptor)\n    const priority = isShould(descriptor)\n    // Skip optional fields unless they're @should-flagged. Required\n    // fields always appear.\n    if (optional && priority !== 'should') continue\n    out[name] = exampleValue(descriptor)\n  }\n  return out\n}\n\n/**\n * Walk a variant's field tree and collect every `@should` hint into a\n * flat list keyed by field path. Path conventions:\n *   - top-level field: `\"cells\"`\n *   - nested object property: `\"cells.value\"`\n *   - array element: `\"cells[]\"` for the element itself; descendants\n *     use `\"cells[].meta\"` and so on.\n *\n * Surfaces the same hints that show up nested inside\n * `description.messages.variants[X].field.hint` so callers don't have\n * to dig through the schema tree to find them.\n */\nfunction collectFieldHints(\n  fields: Record<string, MsgSchemaField>,\n): Array<{ path: string; hint: string }> {\n  const out: Array<{ path: string; hint: string }> = []\n  for (const [name, descriptor] of Object.entries(fields)) {\n    walkHint(name, descriptor, out)\n  }\n  return out\n}\n\nfunction walkHint(\n  path: string,\n  d: MsgSchemaField,\n  out: Array<{ path: string; hint: string }>,\n): void {\n  // Rich descriptor with a hint at this position.\n  if (typeof d === 'object' && d !== null && 'type' in d) {\n    if (typeof d.hint === 'string' && d.hint.length > 0) {\n      out.push({ path, hint: d.hint })\n    }\n    // `@validates(...)` predicates surface alongside `@should` hints\n    // so the agent sees the constraint at affordance time rather than\n    // only as a post-dispatch rejection. The verbatim predicate text\n    // is what the runtime evaluates; agents trained on JS read it\n    // directly. Prefix `validates: ` to disambiguate from freeform\n    // `@should` text.\n    if (typeof d.validates === 'string' && d.validates.length > 0) {\n      out.push({ path, hint: `validates: ${d.validates}` })\n    }\n    walkHintBare(path, d.type, out)\n    return\n  }\n  walkHintBare(path, d, out)\n}\n\nfunction walkHintBare(path: string, t: unknown, out: Array<{ path: string; hint: string }>): void {\n  if (t === null || typeof t !== 'object') return\n  const obj = t as Record<string, unknown>\n  if (obj.kind === 'object' && obj.shape !== null && typeof obj.shape === 'object') {\n    for (const [name, descriptor] of Object.entries(obj.shape as Record<string, MsgSchemaField>)) {\n      walkHint(`${path}.${name}`, descriptor, out)\n    }\n    return\n  }\n  if (obj.kind === 'array') {\n    walkHint(`${path}[]`, obj.element as MsgSchemaField, out)\n  }\n  if (obj.kind === 'discriminated-union') {\n    // Synthetic hint at the union's path summarizing the legal\n    // discriminant values. Lets the agent see \"format expects one of:\n    // exact, range, compound\" without walking the full schema. Then\n    // walk each branch's per-field hints with a path-suffix that\n    // disambiguates which branch the hint applies to.\n    const variants = obj.variants as Record<string, Record<string, MsgSchemaField>>\n    const discriminant = String(obj.discriminant)\n    const legalValues = Object.keys(variants)\n    if (legalValues.length > 0) {\n      out.push({\n        path,\n        hint: `Discriminated union — set \\`${discriminant}\\` to one of: ${legalValues\n          .map((v) => `'${v}'`)\n          .join(', ')}.`,\n      })\n    }\n    for (const [discValue, fields] of Object.entries(variants)) {\n      for (const [fieldName, fieldDesc] of Object.entries(fields)) {\n        walkHint(`${path}(${discriminant}=${discValue}).${fieldName}`, fieldDesc, out)\n      }\n    }\n  }\n}\n\nfunction isOptional(d: MsgSchemaField): boolean {\n  return typeof d === 'object' && 'type' in d && d.optional === true\n}\n\nfunction isShould(d: MsgSchemaField): 'should' | undefined {\n  return typeof d === 'object' && 'type' in d ? d.priority : undefined\n}\n\nfunction exampleValue(d: MsgSchemaField): unknown {\n  // Unwrap rich descriptor to get the bare type for synthesis.\n  const t =\n    typeof d === 'object' && 'type' in d\n      ? d.type\n      : (d as\n          | Exclude<MsgSchemaField, object>\n          | Extract<MsgSchemaField, { kind?: string; enum?: string[] }>)\n  return synthesizeBare(t as never)\n}\n\nfunction synthesizeBare(t: unknown): unknown {\n  if (typeof t === 'string') {\n    if (t === 'string') return ''\n    if (t === 'number') return 0\n    if (t === 'boolean') return false\n    return null // 'unknown' or unrecognized keyword → placeholder\n  }\n  if (t === null || typeof t !== 'object') return null\n  const obj = t as Record<string, unknown>\n  if ('enum' in obj && Array.isArray(obj.enum)) {\n    // First option doubles as the canonical example. Native value type\n    // round-trips (string/number/boolean) since the compiler preserved\n    // the literal kind on emit.\n    return obj.enum[0] ?? null\n  }\n  if (obj.kind === 'object' && obj.shape !== null && typeof obj.shape === 'object') {\n    // Recurse into the nested shape. Same optional-skip rule as the\n    // top-level synthesizer: required fields appear, optional ones\n    // appear only when @should-flagged.\n    const out: Record<string, unknown> = {}\n    for (const [name, descriptor] of Object.entries(obj.shape as Record<string, MsgSchemaField>)) {\n      const isOpt = isOptional(descriptor)\n      const pri = isShould(descriptor)\n      if (isOpt && pri !== 'should') continue\n      out[name] = exampleValue(descriptor)\n    }\n    return out\n  }\n  if (obj.kind === 'array') {\n    // Wrap the synthesized element in a one-item array. Lets the LLM\n    // see the per-entry shape without us guessing at array length.\n    return [synthesizeBare(obj.element)]\n  }\n  if (obj.kind === 'discriminated-union') {\n    // Synthesize the FIRST branch as the concrete example. The full\n    // shape (every legal branch + its payload) is preserved in\n    // `description.messages.variants[X]` from `describe_app`, so the\n    // agent that needs another branch reads the schema directly.\n    // `collectFieldHints` adds a synthetic enumeration of the legal\n    // `<discriminant>` values onto the hint surface so the agent\n    // doesn't have to dig into the schema for the simple case.\n    const variants = obj.variants as Record<string, Record<string, MsgSchemaField>>\n    const discriminant = String(obj.discriminant)\n    const firstEntry = Object.entries(variants).at(0)\n    if (!firstEntry) return null\n    const [firstValue, firstFields] = firstEntry\n    const branch: Record<string, unknown> = { [discriminant]: firstValue }\n    for (const [name, descriptor] of Object.entries(firstFields)) {\n      const isOpt = isOptional(descriptor)\n      const pri = isShould(descriptor)\n      if (isOpt && pri !== 'should') continue\n      branch[name] = exampleValue(descriptor)\n    }\n    return branch\n  }\n  return null\n}\n"]}

package/dist/client/rpc/send-message.d.ts

@@ -40,6 +40,14 @@ export type SendMessageHost = ListActionsHost & {
      * without `window`), the drain envelope records an empty array.
      */
     getAndClearDrainErrors?: () => LapDrainMeta['errors'];
+    /**
+     * Optional dispatch-policy accessor — when defined, returns the
+     * server's configured `'strict' | 'lenient'` policy for payload
+     * validation. Strict mode rejects fields not in the schema and
+     * emits warnings for `'unknown'`-typed fields the agent provided
+     * values for. Default is lenient (omit / undefined).
+     */
+    getDispatchPolicy?: () => 'strict' | 'lenient';
     /** Called when @requiresConfirm; caller stores a ConfirmEntry in state. */
     proposeConfirm(entry: {
         id: string;

package/dist/client/rpc/send-message.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"send-message.d.ts","sourceRoot":"","sources":["../../../src/client/rpc/send-message.ts"],"names":[],"mappings":"AACA,OAAO,EAAqB,KAAK,eAAe,EAAE,MAAM,mBAAmB,CAAA;AAG3E,OAAO,KAAK,EACV,kBAAkB,EAClB,YAAY,EACZ,kBAAkB,EAClB,kBAAkB,EACnB,MAAM,mBAAmB,CAAA;AAE1B,MAAM,MAAM,eAAe,GAAG;IAC5B,GAAG,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,CAAC,CAAC,EAAE,MAAM,GAAG,OAAO,CAAA;KAAE,CAAA;IAC3C,MAAM,CAAC,EAAE,MAAM,CAAA;IACf,4DAA4D;IAC5D,OAAO,CAAC,EAAE,SAAS,GAAG,MAAM,GAAG,MAAM,CAAA;IACrC,6DAA6D;IAC7D,YAAY,CAAC,EAAE,MAAM,CAAA;IACrB,2DAA2D;IAC3D,SAAS,CAAC,EAAE,MAAM,CAAA;IAClB,6DAA6D;IAC7D,YAAY,CAAC,EAAE,OAAO,CAAA;CACvB,CAAA;AAED,MAAM,MAAM,eAAe,GAAG,eAAe,GAAG;IAC9C,QAAQ,IAAI,OAAO,CAAA;IACnB,IAAI,CAAC,GAAG,EAAE,OAAO,GAAG,IAAI,CAAA;IACxB,KAAK,IAAI,IAAI,CAAA;IACb;;;;;;;;OAQG;IACH,SAAS,CAAC,QAAQ,EAAE,MAAM,IAAI,GAAG,MAAM,IAAI,CAAA;IAC3C,iBAAiB,IAAI,MAAM,CAAC,MAAM,EAAE,kBAAkB,CAAC,GAAG,IAAI,CAAA;IAC9D;;;;;;;;OAQG;IACH,sBAAsB,CAAC,EAAE,MAAM,YAAY,CAAC,QAAQ,CAAC,CAAA;IACrD,2EAA2E;IAC3E,cAAc,CAAC,KAAK,EAAE;QACpB,EAAE,EAAE,MAAM,CAAA;QACV,OAAO,EAAE,MAAM,CAAA;QACf,OAAO,EAAE,OAAO,CAAA;QAChB,MAAM,EAAE,MAAM,CAAA;QACd,MAAM,EAAE,MAAM,GAAG,IAAI,CAAA;QACrB,UAAU,EAAE,MAAM,CAAA;QAClB,MAAM,EAAE,SAAS,CAAA;KAClB,GAAG,IAAI,CAAA;CACT,CAAA;AAKD,wBAAsB,iBAAiB,CACrC,IAAI,EAAE,eAAe,EACrB,IAAI,EAAE,eAAe,GACpB,OAAO,CAAC,kBAAkB,CAAC,CAgJ7B;AA6CD,MAAM,MAAM,kBAAkB,GAAG,OAAO,CAAC,kBAAkB,EAAE;IAAE,MAAM,EAAE,YAAY,CAAA;CAAE,CAAC,CAAA;AACtF,YAAY,EAAE,kBAAkB,EAAE,CAAA"}
+{"version":3,"file":"send-message.d.ts","sourceRoot":"","sources":["../../../src/client/rpc/send-message.ts"],"names":[],"mappings":"AACA,OAAO,EAAqB,KAAK,eAAe,EAAE,MAAM,mBAAmB,CAAA;AAG3E,OAAO,KAAK,EACV,kBAAkB,EAClB,YAAY,EACZ,kBAAkB,EAClB,kBAAkB,EACnB,MAAM,mBAAmB,CAAA;AAE1B,MAAM,MAAM,eAAe,GAAG;IAC5B,GAAG,EAAE;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,CAAC,CAAC,EAAE,MAAM,GAAG,OAAO,CAAA;KAAE,CAAA;IAC3C,MAAM,CAAC,EAAE,MAAM,CAAA;IACf,4DAA4D;IAC5D,OAAO,CAAC,EAAE,SAAS,GAAG,MAAM,GAAG,MAAM,CAAA;IACrC,6DAA6D;IAC7D,YAAY,CAAC,EAAE,MAAM,CAAA;IACrB,2DAA2D;IAC3D,SAAS,CAAC,EAAE,MAAM,CAAA;IAClB,6DAA6D;IAC7D,YAAY,CAAC,EAAE,OAAO,CAAA;CACvB,CAAA;AAED,MAAM,MAAM,eAAe,GAAG,eAAe,GAAG;IAC9C,QAAQ,IAAI,OAAO,CAAA;IACnB,IAAI,CAAC,GAAG,EAAE,OAAO,GAAG,IAAI,CAAA;IACxB,KAAK,IAAI,IAAI,CAAA;IACb;;;;;;;;OAQG;IACH,SAAS,CAAC,QAAQ,EAAE,MAAM,IAAI,GAAG,MAAM,IAAI,CAAA;IAC3C,iBAAiB,IAAI,MAAM,CAAC,MAAM,EAAE,kBAAkB,CAAC,GAAG,IAAI,CAAA;IAC9D;;;;;;;;OAQG;IACH,sBAAsB,CAAC,EAAE,MAAM,YAAY,CAAC,QAAQ,CAAC,CAAA;IACrD;;;;;;OAMG;IACH,iBAAiB,CAAC,EAAE,MAAM,QAAQ,GAAG,SAAS,CAAA;IAC9C,2EAA2E;IAC3E,cAAc,CAAC,KAAK,EAAE;QACpB,EAAE,EAAE,MAAM,CAAA;QACV,OAAO,EAAE,MAAM,CAAA;QACf,OAAO,EAAE,OAAO,CAAA;QAChB,MAAM,EAAE,MAAM,CAAA;QACd,MAAM,EAAE,MAAM,GAAG,IAAI,CAAA;QACrB,UAAU,EAAE,MAAM,CAAA;QAClB,MAAM,EAAE,SAAS,CAAA;KAClB,GAAG,IAAI,CAAA;CACT,CAAA;AAKD,wBAAsB,iBAAiB,CACrC,IAAI,EAAE,eAAe,EACrB,IAAI,EAAE,eAAe,GACpB,OAAO,CAAC,kBAAkB,CAAC,CAiK7B;AA2GD,MAAM,MAAM,kBAAkB,GAAG,OAAO,CAAC,kBAAkB,EAAE;IAAE,MAAM,EAAE,YAAY,CAAA;CAAE,CAAC,CAAA;AACtF,YAAY,EAAE,kBAAkB,EAAE,CAAA"}