@llui/agent 0.0.38 → 0.0.39

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,CAiLb"}

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,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       * 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  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"]}

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,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,CAwJ7B;AAwGD,MAAM,MAAM,kBAAkB,GAAG,OAAO,CAAC,kBAAkB,EAAE;IAAE,MAAM,EAAE,YAAY,CAAA;CAAE,CAAC,CAAA;AACtF,YAAY,EAAE,kBAAkB,EAAE,CAAA"}

package/dist/client/rpc/send-message.js

@@ -61,14 +61,14 @@ export async function handleSendMessage(host, args) {
     const prevState = host.getState();
     const includeState = args.includeState === true;
     if (waitFor === 'none') {
-        host.send(args.msg);
+        safeSend(host, args.msg, []);
         return dispatched(host, emptyDrain(), prevState, includeState);
     }
     if (waitFor === 'idle') {
-        host.send(args.msg);
-        host.flush();
+        const dispatchErrors = [];
+        safeSendAndFlush(host, args.msg, dispatchErrors);
         await Promise.resolve();
-        return dispatched(host, { effectsObserved: 1, durationMs: 0, timedOut: false, errors: [] }, prevState, includeState);
+        return dispatched(host, { effectsObserved: 1, durationMs: 0, timedOut: false, errors: dispatchErrors }, prevState, includeState);
     }
     // waitFor === 'drained' — message-queue quiescence detection.
     // Clear any errors buffered before this call so `drain.errors`
@@ -83,9 +83,13 @@ export async function handleSendMessage(host, args) {
         wake = null;
         w?.('msg');
     });
+    // Synchronous throws during send/flush — captured here and folded
+    // into drain.errors. Async post-flush errors come in via
+    // `getAndClearDrainErrors` (effect handler crashes, async rejections
+    // observed by the runtime) and are merged at response time.
+    const dispatchErrors = [];
     try {
-        host.send(args.msg);
-        host.flush();
+        safeSendAndFlush(host, args.msg, dispatchErrors);
         while (true) {
             const elapsed = now() - t0;
             if (elapsed >= capMs) {
@@ -93,7 +97,7 @@ export async function handleSendMessage(host, args) {
                     effectsObserved: observed,
                     durationMs: elapsed,
                     timedOut: true,
-                    errors: host.getAndClearDrainErrors?.() ?? [],
+                    errors: mergeDrainErrors(dispatchErrors, host.getAndClearDrainErrors?.()),
                 }, prevState, includeState);
             }
             const budget = Math.min(quietMs, capMs - elapsed);
@@ -111,18 +115,72 @@ export async function handleSendMessage(host, args) {
                     effectsObserved: observed,
                     durationMs: now() - t0,
                     timedOut: !fullQuiet,
-                    errors: host.getAndClearDrainErrors?.() ?? [],
+                    errors: mergeDrainErrors(dispatchErrors, host.getAndClearDrainErrors?.()),
                 }, prevState, includeState);
             }
             // A commit fired during the wait — flush any queued follow-ups so
             // effects dispatched by that cycle run before we re-check.
-            host.flush();
+            try {
+                host.flush();
+            }
+            catch (e) {
+                dispatchErrors.push(toDrainError(e));
+            }
         }
     }
     finally {
         unsub();
     }
 }
+/**
+ * Send a Msg and capture any synchronous throw into `errors` rather
+ * than letting it propagate to the WS RPC layer. By the time `send`
+ * has thrown, the reducer may have partially run (state can advance),
+ * but bindings or downstream effects on the same commit may have
+ * crashed mid-flight. From the agent's POV: the dispatch IS dispatched,
+ * the state diff reflects what actually changed, and `drain.errors`
+ * reports the in-flight crash. That's strictly more useful than HTTP
+ * 500, which the agent reads as "the dispatch never happened."
+ */
+function safeSend(host, msg, errors) {
+    try {
+        host.send(msg);
+    }
+    catch (e) {
+        errors.push(toDrainError(e));
+    }
+}
+function safeSendAndFlush(host, msg, errors) {
+    try {
+        host.send(msg);
+    }
+    catch (e) {
+        errors.push(toDrainError(e));
+        return; // can't flush something we never sent
+    }
+    try {
+        host.flush();
+    }
+    catch (e) {
+        errors.push(toDrainError(e));
+    }
+}
+function toDrainError(e) {
+    if (e instanceof Error) {
+        const stack = e.stack ? e.stack.split('\n').slice(0, 8).join('\n') : undefined;
+        return stack !== undefined
+            ? { kind: 'error', message: `${e.name}: ${e.message}`, stack }
+            : { kind: 'error', message: `${e.name}: ${e.message}` };
+    }
+    return { kind: 'error', message: String(e) };
+}
+function mergeDrainErrors(fromDispatch, fromHost) {
+    if (!fromHost || fromHost.length === 0)
+        return fromDispatch;
+    if (fromDispatch.length === 0)
+        return fromHost;
+    return [...fromDispatch, ...fromHost];
+}
 function dispatched(host, drain, prevState, includeState) {
     const stateAfter = host.getState();
     const base = {

package/dist/client/rpc/send-message.js.map

@@ -1 +1 @@
-{"version":3,"file":"send-message.js","sourceRoot":"","sources":["../../../src/client/rpc/send-message.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,YAAY,CAAA;AACvC,OAAO,EAAE,iBAAiB,EAAwB,MAAM,mBAAmB,CAAA;AAC3E,OAAO,EAAE,gBAAgB,EAAE,MAAM,qBAAqB,CAAA;AACtD,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAA;AA0DvD,MAAM,gBAAgB,GAAG,GAAG,CAAA;AAC5B,MAAM,kBAAkB,GAAG,KAAK,CAAA;AAEhC,MAAM,CAAC,KAAK,UAAU,iBAAiB,CACrC,IAAqB,EACrB,IAAqB;IAErB,IAAI,CAAC,IAAI,CAAC,GAAG,IAAI,OAAO,IAAI,CAAC,GAAG,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QACnD,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,SAAS,EAAE,CAAA;IAClD,CAAC;IACD,MAAM,WAAW,GAAG,IAAI,CAAC,iBAAiB,EAAE,IAAI,EAAE,CAAA;IAClD,MAAM,GAAG,GAAG,WAAW,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;IAEtC,wEAAwE;IACxE,qEAAqE;IACrE,kEAAkE;IAClE,MAAM,cAAc,GAAG,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,MAAM,GAAG,CAAC,CAAA;IAC1D,IAAI,cAAc,IAAI,CAAC,GAAG,EAAE,CAAC;QAC3B,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,oBAAoB,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,CAAA;IAC/F,CAAC;IAED,IAAI,GAAG,EAAE,YAAY,KAAK,YAAY,EAAE,CAAC;QACvC,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,YAAY,EAAE,CAAA;IACrD,CAAC;IAED,gEAAgE;IAChE,8DAA8D;IAC9D,8DAA8D;IAC9D,mEAAmE;IACnE,iEAAiE;IACjE,iEAAiE;IACjE,8BAA8B;IAC9B,MAAM,MAAM,GAAG,IAAI,CAAC,YAAY,EAAE,EAAE,IAAI,IAAI,CAAA;IAC5C,MAAM,UAAU,GAAG,eAAe,CAAC,IAAI,CAAC,GAAG,EAAE,MAAM,CAAC,CAAA;IACpD,IAAI,CAAC,UAAU,CAAC,EAAE,EAAE,CAAC;QACnB,OAAO;YACL,MAAM,EAAE,UAAU;YAClB,MAAM,EAAE,SAAS;YACjB,MAAM,EAAE,UAAU,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;SAC3E,CAAA;IACH,CAAC;IAED,IAAI,GAAG,EAAE,eAAe,EAAE,CAAC;QACzB,MAAM,EAAE,GAAG,UAAU,EAAE,CAAA;QACvB,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,OAAO,EAAE,GAAG,IAAI,CAAC,GAAG,CAAA;QAC5C,IAAI,CAAC,cAAc,CAAC;YAClB,EAAE;YACF,OAAO,EAAE,IAAI,CAAC,GAAG,CAAC,IAAI;YACtB,OAAO;YACP,MAAM,EAAE,GAAG,EAAE,MAAM,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI;YACpC,MAAM,EAAE,IAAI,CAAC,MAAM,IAAI,IAAI;YAC3B,UAAU,EAAE,IAAI,CAAC,GAAG,EAAE;YACtB,MAAM,EAAE,SAAS;SAClB,CAAC,CAAA;QACF,OAAO,EAAE,MAAM,EAAE,sBAAsB,EAAE,SAAS,EAAE,EAAE,EAAE,CAAA;IAC1D,CAAC;IAED,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,IAAI,SAAS,CAAA;IACzC,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,YAAY,IAAI,gBAAgB,CAAC,CAAA;IAClE,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,SAAS,IAAI,kBAAkB,CAAC,CAAA;IAE/D,iEAAiE;IACjE,8DAA8D;IAC9D,+DAA+D;IAC/D,kEAAkE;IAClE,iCAAiC;IACjC,MAAM,SAAS,GAAG,IAAI,CAAC,QAAQ,EAAE,CAAA;IAEjC,MAAM,YAAY,GAAG,IAAI,CAAC,YAAY,KAAK,IAAI,CAAA;IAE/C,IAAI,OAAO,KAAK,MAAM,EAAE,CAAC;QACvB,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;QACnB,OAAO,UAAU,CAAC,IAAI,EAAE,UAAU,EAAE,EAAE,SAAS,EAAE,YAAY,CAAC,CAAA;IAChE,CAAC;IAED,IAAI,OAAO,KAAK,MAAM,EAAE,CAAC;QACvB,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;QACnB,IAAI,CAAC,KAAK,EAAE,CAAA;QACZ,MAAM,OAAO,CAAC,OAAO,EAAE,CAAA;QACvB,OAAO,UAAU,CACf,IAAI,EACJ,EAAE,eAAe,EAAE,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,EAAE,EAClE,SAAS,EACT,YAAY,CACb,CAAA;IACH,CAAC;IAED,8DAA8D;IAC9D,+DAA+D;IAC/D,kCAAkC;IAClC,IAAI,CAAC,sBAAsB,EAAE,EAAE,CAAA;IAE/B,MAAM,EAAE,GAAG,GAAG,EAAE,CAAA;IAChB,IAAI,QAAQ,GAAG,CAAC,CAAA;IAChB,IAAI,IAAI,GAAiD,IAAI,CAAA;IAC7D,MAAM,KAAK,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,EAAE;QAChC,QAAQ,EAAE,CAAA;QACV,MAAM,CAAC,GAAG,IAAI,CAAA;QACd,IAAI,GAAG,IAAI,CAAA;QACX,CAAC,EAAE,CAAC,KAAK,CAAC,CAAA;IACZ,CAAC,CAAC,CAAA;IACF,IAAI,CAAC;QACH,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;QACnB,IAAI,CAAC,KAAK,EAAE,CAAA;QAEZ,OAAO,IAAI,EAAE,CAAC;YACZ,MAAM,OAAO,GAAG,GAAG,EAAE,GAAG,EAAE,CAAA;YAC1B,IAAI,OAAO,IAAI,KAAK,EAAE,CAAC;gBACrB,OAAO,UAAU,CACf,IAAI,EACJ;oBACE,eAAe,EAAE,QAAQ;oBACzB,UAAU,EAAE,OAAO;oBACnB,QAAQ,EAAE,IAAI;oBACd,MAAM,EAAE,IAAI,CAAC,sBAAsB,EAAE,EAAE,IAAI,EAAE;iBAC9C,EACD,SAAS,EACT,YAAY,CACb,CAAA;YACH,CAAC;YACD,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,OAAO,EAAE,KAAK,GAAG,OAAO,CAAC,CAAA;YACjD,2DAA2D;YAC3D,8DAA8D;YAC9D,6DAA6D;YAC7D,6DAA6D;YAC7D,4CAA4C;YAC5C,MAAM,SAAS,GAAG,MAAM,IAAI,OAAO,CAAA;YACnC,MAAM,MAAM,GAAG,MAAM,eAAe,CAAC,MAAM,EAAE,CAAC,OAAO,EAAE,EAAE;gBACvD,IAAI,GAAG,OAAO,CAAA;YAChB,CAAC,CAAC,CAAA;YACF,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;gBACzB,OAAO,UAAU,CACf,IAAI,EACJ;oBACE,eAAe,EAAE,QAAQ;oBACzB,UAAU,EAAE,GAAG,EAAE,GAAG,EAAE;oBACtB,QAAQ,EAAE,CAAC,SAAS;oBACpB,MAAM,EAAE,IAAI,CAAC,sBAAsB,EAAE,EAAE,IAAI,EAAE;iBAC9C,EACD,SAAS,EACT,YAAY,CACb,CAAA;YACH,CAAC;YACD,kEAAkE;YAClE,2DAA2D;YAC3D,IAAI,CAAC,KAAK,EAAE,CAAA;QACd,CAAC;IACH,CAAC;YAAS,CAAC;QACT,KAAK,EAAE,CAAA;IACT,CAAC;AACH,CAAC;AAED,SAAS,UAAU,CACjB,IAAqB,EACrB,KAAmB,EACnB,SAAkB,EAClB,YAAqB;IAErB,MAAM,UAAU,GAAG,IAAI,CAAC,QAAQ,EAAE,CAAA;IAClC,MAAM,IAAI,GAAG;QACX,MAAM,EAAE,YAAqB;QAC7B,SAAS,EAAE,gBAAgB,CAAC,SAAS,EAAE,UAAU,CAAC;QAClD,OAAO,EAAE,iBAAiB,CAAC,IAAI,CAAC,CAAC,OAAO;QACxC,KAAK;KACN,CAAA;IACD,OAAO,YAAY,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,UAAU,EAAE,CAAC,CAAC,CAAC,IAAI,CAAA;AACtD,CAAC;AAED,SAAS,UAAU;IACjB,OAAO,EAAE,eAAe,EAAE,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,EAAE,CAAA;AAC3E,CAAC;AAED,SAAS,eAAe,CACtB,QAAgB,EAChB,YAA+D;IAE/D,OAAO,IAAI,OAAO,CAAoB,CAAC,OAAO,EAAE,EAAE;QAChD,IAAI,OAAO,GAAG,KAAK,CAAA;QACnB,MAAM,OAAO,GAAG,CAAC,CAAoB,EAAE,EAAE;YACvC,IAAI,OAAO;gBAAE,OAAM;YACnB,OAAO,GAAG,IAAI,CAAA;YACd,OAAO,CAAC,CAAC,CAAC,CAAA;QACZ,CAAC,CAAA;QACD,YAAY,CAAC,OAAO,CAAC,CAAA;QACrB,UAAU,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,QAAQ,CAAC,CAAA;IAChD,CAAC,CAAC,CAAA;AACJ,CAAC;AAED,SAAS,GAAG;IACV,OAAO,OAAO,WAAW,KAAK,WAAW,IAAI,OAAO,WAAW,CAAC,GAAG,KAAK,UAAU;QAChF,CAAC,CAAC,WAAW,CAAC,GAAG,EAAE;QACnB,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,CAAA;AAChB,CAAC","sourcesContent":["import { randomUUID } from '../uuid.js'\nimport { handleListActions, type ListActionsHost } from './list-actions.js'\nimport { computeStateDiff } from '../../state-diff.js'\nimport { validatePayload } from './validate-payload.js'\nimport type {\n  LapActionsResponse,\n  LapDrainMeta,\n  LapMessageResponse,\n  MessageAnnotations,\n} from '../../protocol.js'\n\nexport type SendMessageArgs = {\n  msg: { type: string; [k: string]: unknown }\n  reason?: string\n  /** See LapMessageRequest['waitFor']. Default: 'drained'. */\n  waitFor?: 'drained' | 'idle' | 'none'\n  /** See LapMessageRequest['drainQuietMs']. Default: 100ms. */\n  drainQuietMs?: number\n  /** See LapMessageRequest['timeoutMs']. Default: 5000ms. */\n  timeoutMs?: number\n  /** See LapMessageRequest['includeState']. Default: false. */\n  includeState?: boolean\n}\n\nexport type SendMessageHost = ListActionsHost & {\n  getState(): unknown\n  send(msg: unknown): void\n  flush(): void\n  /**\n   * Register a listener called after every update cycle commits —\n   * backed by `AppHandle.subscribe`. Returns an unsubscribe function.\n   * The drain loop uses this to detect message-queue quiescence: each\n   * listener fire resets the quiet-window timer; no fires for\n   * `drainQuietMs` means the loop has gone idle and async effects (if\n   * any) have either completed or are persistent\n   * (websocket/interval/storageWatch).\n   */\n  subscribe(listener: () => void): () => void\n  getMsgAnnotations(): Record<string, MessageAnnotations> | null\n  /**\n   * Snapshot and clear the drain-error buffer. The agent factory\n   * installs persistent `window.error` / `unhandledrejection`\n   * listeners that accumulate into this buffer; calling this at the\n   * start of a drain discards stale errors from prior windows, and\n   * calling it at the end yields just the errors that fired during\n   * this drain. Optional — when omitted (e.g., Node test harness\n   * without `window`), the drain envelope records an empty array.\n   */\n  getAndClearDrainErrors?: () => LapDrainMeta['errors']\n  /** Called when @requiresConfirm; caller stores a ConfirmEntry in state. */\n  proposeConfirm(entry: {\n    id: string\n    variant: string\n    payload: unknown\n    intent: string\n    reason: string | null\n    proposedAt: number\n    status: 'pending'\n  }): void\n}\n\nconst DEFAULT_QUIET_MS = 100\nconst DEFAULT_TIMEOUT_MS = 5_000\n\nexport async function handleSendMessage(\n  host: SendMessageHost,\n  args: SendMessageArgs,\n): Promise<LapMessageResponse> {\n  if (!args.msg || typeof args.msg.type !== 'string') {\n    return { status: 'rejected', reason: 'invalid' }\n  }\n  const annotations = host.getMsgAnnotations() ?? {}\n  const ann = annotations[args.msg.type]\n\n  // If annotations map is non-empty and this variant isn't in it, it's an\n  // unknown msg type that the app never declared — reject early so the\n  // browser never dispatches an unrecognised variant into update().\n  const hasAnnotations = Object.keys(annotations).length > 0\n  if (hasAnnotations && !ann) {\n    return { status: 'rejected', reason: 'invalid', detail: `unknown variant: ${args.msg.type}` }\n  }\n\n  if (ann?.dispatchMode === 'human-only') {\n    return { status: 'rejected', reason: 'human-only' }\n  }\n\n  // Schema validation: when the compiler emitted a `__msgSchema`,\n  // check the payload against this variant's field shape before\n  // dispatch. Catches the everyday agent bug — missing required\n  // field, wrong enum value, missing discriminant on a tagged union,\n  // typo in a key name — early, with structured errors the LLM can\n  // correct from in one round trip. Reducers stay the last line of\n  // defense; this is the first.\n  const schema = host.getMsgSchema?.() ?? null\n  const validation = validatePayload(args.msg, schema)\n  if (!validation.ok) {\n    return {\n      status: 'rejected',\n      reason: 'invalid',\n      detail: validation.errors.map((e) => `${e.path}: ${e.message}`).join('; '),\n    }\n  }\n\n  if (ann?.requiresConfirm) {\n    const id = randomUUID()\n    const { type: _type, ...payload } = args.msg\n    host.proposeConfirm({\n      id,\n      variant: args.msg.type,\n      payload,\n      intent: ann?.intent ?? args.msg.type,\n      reason: args.reason ?? null,\n      proposedAt: Date.now(),\n      status: 'pending',\n    })\n    return { status: 'pending-confirmation', confirmId: id }\n  }\n\n  const waitFor = args.waitFor ?? 'drained'\n  const quietMs = Math.max(0, args.drainQuietMs ?? DEFAULT_QUIET_MS)\n  const capMs = Math.max(0, args.timeoutMs ?? DEFAULT_TIMEOUT_MS)\n\n  // Snapshot pre-dispatch state for diffing. The host's `getState`\n  // returns a reference; capturing it here keeps a pre-mutation\n  // pointer even after `host.send` triggers reducer-driven state\n  // replacement (state itself is immutable per LLui's TEA contract,\n  // so the reference stays valid).\n  const prevState = host.getState()\n\n  const includeState = args.includeState === true\n\n  if (waitFor === 'none') {\n    host.send(args.msg)\n    return dispatched(host, emptyDrain(), prevState, includeState)\n  }\n\n  if (waitFor === 'idle') {\n    host.send(args.msg)\n    host.flush()\n    await Promise.resolve()\n    return dispatched(\n      host,\n      { effectsObserved: 1, durationMs: 0, timedOut: false, errors: [] },\n      prevState,\n      includeState,\n    )\n  }\n\n  // waitFor === 'drained' — message-queue quiescence detection.\n  // Clear any errors buffered before this call so `drain.errors`\n  // attributes only to this window.\n  host.getAndClearDrainErrors?.()\n\n  const t0 = now()\n  let observed = 0\n  let wake: ((reason: 'msg' | 'timeout') => void) | null = null\n  const unsub = host.subscribe(() => {\n    observed++\n    const w = wake\n    wake = null\n    w?.('msg')\n  })\n  try {\n    host.send(args.msg)\n    host.flush()\n\n    while (true) {\n      const elapsed = now() - t0\n      if (elapsed >= capMs) {\n        return dispatched(\n          host,\n          {\n            effectsObserved: observed,\n            durationMs: elapsed,\n            timedOut: true,\n            errors: host.getAndClearDrainErrors?.() ?? [],\n          },\n          prevState,\n          includeState,\n        )\n      }\n      const budget = Math.min(quietMs, capMs - elapsed)\n      // When the cap is within `quietMs` of `elapsed`, the quiet\n      // window is truncated. In that case a timeout resolution does\n      // NOT mean we detected quiescence — it means the cap cut the\n      // window short. Only a full-length quiet window that elapses\n      // without a new commit counts as real idle.\n      const fullQuiet = budget >= quietMs\n      const reason = await awaitQuietOrMsg(budget, (resolve) => {\n        wake = resolve\n      })\n      if (reason === 'timeout') {\n        return dispatched(\n          host,\n          {\n            effectsObserved: observed,\n            durationMs: now() - t0,\n            timedOut: !fullQuiet,\n            errors: host.getAndClearDrainErrors?.() ?? [],\n          },\n          prevState,\n          includeState,\n        )\n      }\n      // A commit fired during the wait — flush any queued follow-ups so\n      // effects dispatched by that cycle run before we re-check.\n      host.flush()\n    }\n  } finally {\n    unsub()\n  }\n}\n\nfunction dispatched(\n  host: SendMessageHost,\n  drain: LapDrainMeta,\n  prevState: unknown,\n  includeState: boolean,\n): LapMessageResponse {\n  const stateAfter = host.getState()\n  const base = {\n    status: 'dispatched' as const,\n    stateDiff: computeStateDiff(prevState, stateAfter),\n    actions: handleListActions(host).actions,\n    drain,\n  }\n  return includeState ? { ...base, stateAfter } : base\n}\n\nfunction emptyDrain(): LapDrainMeta {\n  return { effectsObserved: 0, durationMs: 0, timedOut: false, errors: [] }\n}\n\nfunction awaitQuietOrMsg(\n  budgetMs: number,\n  registerWake: (resolve: (r: 'msg' | 'timeout') => void) => void,\n): Promise<'msg' | 'timeout'> {\n  return new Promise<'msg' | 'timeout'>((resolve) => {\n    let settled = false\n    const guarded = (r: 'msg' | 'timeout') => {\n      if (settled) return\n      settled = true\n      resolve(r)\n    }\n    registerWake(guarded)\n    setTimeout(() => guarded('timeout'), budgetMs)\n  })\n}\n\nfunction now(): number {\n  return typeof performance !== 'undefined' && typeof performance.now === 'function'\n    ? performance.now()\n    : Date.now()\n}\n\n// Helper types for external callers that want the dispatched envelope.\nexport type DispatchedEnvelope = Extract<LapMessageResponse, { status: 'dispatched' }>\nexport type { LapActionsResponse }\n"]}
+{"version":3,"file":"send-message.js","sourceRoot":"","sources":["../../../src/client/rpc/send-message.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,YAAY,CAAA;AACvC,OAAO,EAAE,iBAAiB,EAAwB,MAAM,mBAAmB,CAAA;AAC3E,OAAO,EAAE,gBAAgB,EAAE,MAAM,qBAAqB,CAAA;AACtD,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAA;AA0DvD,MAAM,gBAAgB,GAAG,GAAG,CAAA;AAC5B,MAAM,kBAAkB,GAAG,KAAK,CAAA;AAEhC,MAAM,CAAC,KAAK,UAAU,iBAAiB,CACrC,IAAqB,EACrB,IAAqB;IAErB,IAAI,CAAC,IAAI,CAAC,GAAG,IAAI,OAAO,IAAI,CAAC,GAAG,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QACnD,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,SAAS,EAAE,CAAA;IAClD,CAAC;IACD,MAAM,WAAW,GAAG,IAAI,CAAC,iBAAiB,EAAE,IAAI,EAAE,CAAA;IAClD,MAAM,GAAG,GAAG,WAAW,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;IAEtC,wEAAwE;IACxE,qEAAqE;IACrE,kEAAkE;IAClE,MAAM,cAAc,GAAG,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,MAAM,GAAG,CAAC,CAAA;IAC1D,IAAI,cAAc,IAAI,CAAC,GAAG,EAAE,CAAC;QAC3B,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,EAAE,oBAAoB,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,CAAA;IAC/F,CAAC;IAED,IAAI,GAAG,EAAE,YAAY,KAAK,YAAY,EAAE,CAAC;QACvC,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,EAAE,YAAY,EAAE,CAAA;IACrD,CAAC;IAED,gEAAgE;IAChE,8DAA8D;IAC9D,8DAA8D;IAC9D,mEAAmE;IACnE,iEAAiE;IACjE,iEAAiE;IACjE,8BAA8B;IAC9B,MAAM,MAAM,GAAG,IAAI,CAAC,YAAY,EAAE,EAAE,IAAI,IAAI,CAAA;IAC5C,MAAM,UAAU,GAAG,eAAe,CAAC,IAAI,CAAC,GAAG,EAAE,MAAM,CAAC,CAAA;IACpD,IAAI,CAAC,UAAU,CAAC,EAAE,EAAE,CAAC;QACnB,OAAO;YACL,MAAM,EAAE,UAAU;YAClB,MAAM,EAAE,SAAS;YACjB,MAAM,EAAE,UAAU,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;SAC3E,CAAA;IACH,CAAC;IAED,IAAI,GAAG,EAAE,eAAe,EAAE,CAAC;QACzB,MAAM,EAAE,GAAG,UAAU,EAAE,CAAA;QACvB,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,OAAO,EAAE,GAAG,IAAI,CAAC,GAAG,CAAA;QAC5C,IAAI,CAAC,cAAc,CAAC;YAClB,EAAE;YACF,OAAO,EAAE,IAAI,CAAC,GAAG,CAAC,IAAI;YACtB,OAAO;YACP,MAAM,EAAE,GAAG,EAAE,MAAM,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI;YACpC,MAAM,EAAE,IAAI,CAAC,MAAM,IAAI,IAAI;YAC3B,UAAU,EAAE,IAAI,CAAC,GAAG,EAAE;YACtB,MAAM,EAAE,SAAS;SAClB,CAAC,CAAA;QACF,OAAO,EAAE,MAAM,EAAE,sBAAsB,EAAE,SAAS,EAAE,EAAE,EAAE,CAAA;IAC1D,CAAC;IAED,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,IAAI,SAAS,CAAA;IACzC,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,YAAY,IAAI,gBAAgB,CAAC,CAAA;IAClE,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,SAAS,IAAI,kBAAkB,CAAC,CAAA;IAE/D,iEAAiE;IACjE,8DAA8D;IAC9D,+DAA+D;IAC/D,kEAAkE;IAClE,iCAAiC;IACjC,MAAM,SAAS,GAAG,IAAI,CAAC,QAAQ,EAAE,CAAA;IAEjC,MAAM,YAAY,GAAG,IAAI,CAAC,YAAY,KAAK,IAAI,CAAA;IAE/C,IAAI,OAAO,KAAK,MAAM,EAAE,CAAC;QACvB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,EAAE,EAAE,CAAC,CAAA;QAC5B,OAAO,UAAU,CAAC,IAAI,EAAE,UAAU,EAAE,EAAE,SAAS,EAAE,YAAY,CAAC,CAAA;IAChE,CAAC;IAED,IAAI,OAAO,KAAK,MAAM,EAAE,CAAC;QACvB,MAAM,cAAc,GAA2B,EAAE,CAAA;QACjD,gBAAgB,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,EAAE,cAAc,CAAC,CAAA;QAChD,MAAM,OAAO,CAAC,OAAO,EAAE,CAAA;QACvB,OAAO,UAAU,CACf,IAAI,EACJ,EAAE,eAAe,EAAE,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,cAAc,EAAE,EAC9E,SAAS,EACT,YAAY,CACb,CAAA;IACH,CAAC;IAED,8DAA8D;IAC9D,+DAA+D;IAC/D,kCAAkC;IAClC,IAAI,CAAC,sBAAsB,EAAE,EAAE,CAAA;IAE/B,MAAM,EAAE,GAAG,GAAG,EAAE,CAAA;IAChB,IAAI,QAAQ,GAAG,CAAC,CAAA;IAChB,IAAI,IAAI,GAAiD,IAAI,CAAA;IAC7D,MAAM,KAAK,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,EAAE;QAChC,QAAQ,EAAE,CAAA;QACV,MAAM,CAAC,GAAG,IAAI,CAAA;QACd,IAAI,GAAG,IAAI,CAAA;QACX,CAAC,EAAE,CAAC,KAAK,CAAC,CAAA;IACZ,CAAC,CAAC,CAAA;IACF,kEAAkE;IAClE,yDAAyD;IACzD,qEAAqE;IACrE,4DAA4D;IAC5D,MAAM,cAAc,GAA2B,EAAE,CAAA;IACjD,IAAI,CAAC;QACH,gBAAgB,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,EAAE,cAAc,CAAC,CAAA;QAEhD,OAAO,IAAI,EAAE,CAAC;YACZ,MAAM,OAAO,GAAG,GAAG,EAAE,GAAG,EAAE,CAAA;YAC1B,IAAI,OAAO,IAAI,KAAK,EAAE,CAAC;gBACrB,OAAO,UAAU,CACf,IAAI,EACJ;oBACE,eAAe,EAAE,QAAQ;oBACzB,UAAU,EAAE,OAAO;oBACnB,QAAQ,EAAE,IAAI;oBACd,MAAM,EAAE,gBAAgB,CAAC,cAAc,EAAE,IAAI,CAAC,sBAAsB,EAAE,EAAE,CAAC;iBAC1E,EACD,SAAS,EACT,YAAY,CACb,CAAA;YACH,CAAC;YACD,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,OAAO,EAAE,KAAK,GAAG,OAAO,CAAC,CAAA;YACjD,2DAA2D;YAC3D,8DAA8D;YAC9D,6DAA6D;YAC7D,6DAA6D;YAC7D,4CAA4C;YAC5C,MAAM,SAAS,GAAG,MAAM,IAAI,OAAO,CAAA;YACnC,MAAM,MAAM,GAAG,MAAM,eAAe,CAAC,MAAM,EAAE,CAAC,OAAO,EAAE,EAAE;gBACvD,IAAI,GAAG,OAAO,CAAA;YAChB,CAAC,CAAC,CAAA;YACF,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;gBACzB,OAAO,UAAU,CACf,IAAI,EACJ;oBACE,eAAe,EAAE,QAAQ;oBACzB,UAAU,EAAE,GAAG,EAAE,GAAG,EAAE;oBACtB,QAAQ,EAAE,CAAC,SAAS;oBACpB,MAAM,EAAE,gBAAgB,CAAC,cAAc,EAAE,IAAI,CAAC,sBAAsB,EAAE,EAAE,CAAC;iBAC1E,EACD,SAAS,EACT,YAAY,CACb,CAAA;YACH,CAAC;YACD,kEAAkE;YAClE,2DAA2D;YAC3D,IAAI,CAAC;gBACH,IAAI,CAAC,KAAK,EAAE,CAAA;YACd,CAAC;YAAC,OAAO,CAAC,EAAE,CAAC;gBACX,cAAc,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAA;YACtC,CAAC;QACH,CAAC;IACH,CAAC;YAAS,CAAC;QACT,KAAK,EAAE,CAAA;IACT,CAAC;AACH,CAAC;AAED;;;;;;;;;GASG;AACH,SAAS,QAAQ,CACf,IAAqB,EACrB,GAA2C,EAC3C,MAA8B;IAE9B,IAAI,CAAC;QACH,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;IAChB,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,MAAM,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAA;IAC9B,CAAC;AACH,CAAC;AAED,SAAS,gBAAgB,CACvB,IAAqB,EACrB,GAA2C,EAC3C,MAA8B;IAE9B,IAAI,CAAC;QACH,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;IAChB,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,MAAM,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAA;QAC5B,OAAM,CAAC,sCAAsC;IAC/C,CAAC;IACD,IAAI,CAAC;QACH,IAAI,CAAC,KAAK,EAAE,CAAA;IACd,CAAC;IAAC,OAAO,CAAC,EAAE,CAAC;QACX,MAAM,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAA;IAC9B,CAAC;AACH,CAAC;AAED,SAAS,YAAY,CAAC,CAAU;IAC9B,IAAI,CAAC,YAAY,KAAK,EAAE,CAAC;QACvB,MAAM,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAA;QAC9E,OAAO,KAAK,KAAK,SAAS;YACxB,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,GAAG,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,OAAO,EAAE,EAAE,KAAK,EAAE;YAC9D,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,GAAG,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,OAAO,EAAE,EAAE,CAAA;IAC3D,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,CAAA;AAC9C,CAAC;AAED,SAAS,gBAAgB,CACvB,YAAoC,EACpC,QAA4C;IAE5C,IAAI,CAAC,QAAQ,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,YAAY,CAAA;IAC3D,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,QAAQ,CAAA;IAC9C,OAAO,CAAC,GAAG,YAAY,EAAE,GAAG,QAAQ,CAAC,CAAA;AACvC,CAAC;AAED,SAAS,UAAU,CACjB,IAAqB,EACrB,KAAmB,EACnB,SAAkB,EAClB,YAAqB;IAErB,MAAM,UAAU,GAAG,IAAI,CAAC,QAAQ,EAAE,CAAA;IAClC,MAAM,IAAI,GAAG;QACX,MAAM,EAAE,YAAqB;QAC7B,SAAS,EAAE,gBAAgB,CAAC,SAAS,EAAE,UAAU,CAAC;QAClD,OAAO,EAAE,iBAAiB,CAAC,IAAI,CAAC,CAAC,OAAO;QACxC,KAAK;KACN,CAAA;IACD,OAAO,YAAY,CAAC,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,UAAU,EAAE,CAAC,CAAC,CAAC,IAAI,CAAA;AACtD,CAAC;AAED,SAAS,UAAU;IACjB,OAAO,EAAE,eAAe,EAAE,CAAC,EAAE,UAAU,EAAE,CAAC,EAAE,QAAQ,EAAE,KAAK,EAAE,MAAM,EAAE,EAAE,EAAE,CAAA;AAC3E,CAAC;AAED,SAAS,eAAe,CACtB,QAAgB,EAChB,YAA+D;IAE/D,OAAO,IAAI,OAAO,CAAoB,CAAC,OAAO,EAAE,EAAE;QAChD,IAAI,OAAO,GAAG,KAAK,CAAA;QACnB,MAAM,OAAO,GAAG,CAAC,CAAoB,EAAE,EAAE;YACvC,IAAI,OAAO;gBAAE,OAAM;YACnB,OAAO,GAAG,IAAI,CAAA;YACd,OAAO,CAAC,CAAC,CAAC,CAAA;QACZ,CAAC,CAAA;QACD,YAAY,CAAC,OAAO,CAAC,CAAA;QACrB,UAAU,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,QAAQ,CAAC,CAAA;IAChD,CAAC,CAAC,CAAA;AACJ,CAAC;AAED,SAAS,GAAG;IACV,OAAO,OAAO,WAAW,KAAK,WAAW,IAAI,OAAO,WAAW,CAAC,GAAG,KAAK,UAAU;QAChF,CAAC,CAAC,WAAW,CAAC,GAAG,EAAE;QACnB,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,CAAA;AAChB,CAAC","sourcesContent":["import { randomUUID } from '../uuid.js'\nimport { handleListActions, type ListActionsHost } from './list-actions.js'\nimport { computeStateDiff } from '../../state-diff.js'\nimport { validatePayload } from './validate-payload.js'\nimport type {\n  LapActionsResponse,\n  LapDrainMeta,\n  LapMessageResponse,\n  MessageAnnotations,\n} from '../../protocol.js'\n\nexport type SendMessageArgs = {\n  msg: { type: string; [k: string]: unknown }\n  reason?: string\n  /** See LapMessageRequest['waitFor']. Default: 'drained'. */\n  waitFor?: 'drained' | 'idle' | 'none'\n  /** See LapMessageRequest['drainQuietMs']. Default: 100ms. */\n  drainQuietMs?: number\n  /** See LapMessageRequest['timeoutMs']. Default: 5000ms. */\n  timeoutMs?: number\n  /** See LapMessageRequest['includeState']. Default: false. */\n  includeState?: boolean\n}\n\nexport type SendMessageHost = ListActionsHost & {\n  getState(): unknown\n  send(msg: unknown): void\n  flush(): void\n  /**\n   * Register a listener called after every update cycle commits —\n   * backed by `AppHandle.subscribe`. Returns an unsubscribe function.\n   * The drain loop uses this to detect message-queue quiescence: each\n   * listener fire resets the quiet-window timer; no fires for\n   * `drainQuietMs` means the loop has gone idle and async effects (if\n   * any) have either completed or are persistent\n   * (websocket/interval/storageWatch).\n   */\n  subscribe(listener: () => void): () => void\n  getMsgAnnotations(): Record<string, MessageAnnotations> | null\n  /**\n   * Snapshot and clear the drain-error buffer. The agent factory\n   * installs persistent `window.error` / `unhandledrejection`\n   * listeners that accumulate into this buffer; calling this at the\n   * start of a drain discards stale errors from prior windows, and\n   * calling it at the end yields just the errors that fired during\n   * this drain. Optional — when omitted (e.g., Node test harness\n   * without `window`), the drain envelope records an empty array.\n   */\n  getAndClearDrainErrors?: () => LapDrainMeta['errors']\n  /** Called when @requiresConfirm; caller stores a ConfirmEntry in state. */\n  proposeConfirm(entry: {\n    id: string\n    variant: string\n    payload: unknown\n    intent: string\n    reason: string | null\n    proposedAt: number\n    status: 'pending'\n  }): void\n}\n\nconst DEFAULT_QUIET_MS = 100\nconst DEFAULT_TIMEOUT_MS = 5_000\n\nexport async function handleSendMessage(\n  host: SendMessageHost,\n  args: SendMessageArgs,\n): Promise<LapMessageResponse> {\n  if (!args.msg || typeof args.msg.type !== 'string') {\n    return { status: 'rejected', reason: 'invalid' }\n  }\n  const annotations = host.getMsgAnnotations() ?? {}\n  const ann = annotations[args.msg.type]\n\n  // If annotations map is non-empty and this variant isn't in it, it's an\n  // unknown msg type that the app never declared — reject early so the\n  // browser never dispatches an unrecognised variant into update().\n  const hasAnnotations = Object.keys(annotations).length > 0\n  if (hasAnnotations && !ann) {\n    return { status: 'rejected', reason: 'invalid', detail: `unknown variant: ${args.msg.type}` }\n  }\n\n  if (ann?.dispatchMode === 'human-only') {\n    return { status: 'rejected', reason: 'human-only' }\n  }\n\n  // Schema validation: when the compiler emitted a `__msgSchema`,\n  // check the payload against this variant's field shape before\n  // dispatch. Catches the everyday agent bug — missing required\n  // field, wrong enum value, missing discriminant on a tagged union,\n  // typo in a key name — early, with structured errors the LLM can\n  // correct from in one round trip. Reducers stay the last line of\n  // defense; this is the first.\n  const schema = host.getMsgSchema?.() ?? null\n  const validation = validatePayload(args.msg, schema)\n  if (!validation.ok) {\n    return {\n      status: 'rejected',\n      reason: 'invalid',\n      detail: validation.errors.map((e) => `${e.path}: ${e.message}`).join('; '),\n    }\n  }\n\n  if (ann?.requiresConfirm) {\n    const id = randomUUID()\n    const { type: _type, ...payload } = args.msg\n    host.proposeConfirm({\n      id,\n      variant: args.msg.type,\n      payload,\n      intent: ann?.intent ?? args.msg.type,\n      reason: args.reason ?? null,\n      proposedAt: Date.now(),\n      status: 'pending',\n    })\n    return { status: 'pending-confirmation', confirmId: id }\n  }\n\n  const waitFor = args.waitFor ?? 'drained'\n  const quietMs = Math.max(0, args.drainQuietMs ?? DEFAULT_QUIET_MS)\n  const capMs = Math.max(0, args.timeoutMs ?? DEFAULT_TIMEOUT_MS)\n\n  // Snapshot pre-dispatch state for diffing. The host's `getState`\n  // returns a reference; capturing it here keeps a pre-mutation\n  // pointer even after `host.send` triggers reducer-driven state\n  // replacement (state itself is immutable per LLui's TEA contract,\n  // so the reference stays valid).\n  const prevState = host.getState()\n\n  const includeState = args.includeState === true\n\n  if (waitFor === 'none') {\n    safeSend(host, args.msg, [])\n    return dispatched(host, emptyDrain(), prevState, includeState)\n  }\n\n  if (waitFor === 'idle') {\n    const dispatchErrors: LapDrainMeta['errors'] = []\n    safeSendAndFlush(host, args.msg, dispatchErrors)\n    await Promise.resolve()\n    return dispatched(\n      host,\n      { effectsObserved: 1, durationMs: 0, timedOut: false, errors: dispatchErrors },\n      prevState,\n      includeState,\n    )\n  }\n\n  // waitFor === 'drained' — message-queue quiescence detection.\n  // Clear any errors buffered before this call so `drain.errors`\n  // attributes only to this window.\n  host.getAndClearDrainErrors?.()\n\n  const t0 = now()\n  let observed = 0\n  let wake: ((reason: 'msg' | 'timeout') => void) | null = null\n  const unsub = host.subscribe(() => {\n    observed++\n    const w = wake\n    wake = null\n    w?.('msg')\n  })\n  // Synchronous throws during send/flush — captured here and folded\n  // into drain.errors. Async post-flush errors come in via\n  // `getAndClearDrainErrors` (effect handler crashes, async rejections\n  // observed by the runtime) and are merged at response time.\n  const dispatchErrors: LapDrainMeta['errors'] = []\n  try {\n    safeSendAndFlush(host, args.msg, dispatchErrors)\n\n    while (true) {\n      const elapsed = now() - t0\n      if (elapsed >= capMs) {\n        return dispatched(\n          host,\n          {\n            effectsObserved: observed,\n            durationMs: elapsed,\n            timedOut: true,\n            errors: mergeDrainErrors(dispatchErrors, host.getAndClearDrainErrors?.()),\n          },\n          prevState,\n          includeState,\n        )\n      }\n      const budget = Math.min(quietMs, capMs - elapsed)\n      // When the cap is within `quietMs` of `elapsed`, the quiet\n      // window is truncated. In that case a timeout resolution does\n      // NOT mean we detected quiescence — it means the cap cut the\n      // window short. Only a full-length quiet window that elapses\n      // without a new commit counts as real idle.\n      const fullQuiet = budget >= quietMs\n      const reason = await awaitQuietOrMsg(budget, (resolve) => {\n        wake = resolve\n      })\n      if (reason === 'timeout') {\n        return dispatched(\n          host,\n          {\n            effectsObserved: observed,\n            durationMs: now() - t0,\n            timedOut: !fullQuiet,\n            errors: mergeDrainErrors(dispatchErrors, host.getAndClearDrainErrors?.()),\n          },\n          prevState,\n          includeState,\n        )\n      }\n      // A commit fired during the wait — flush any queued follow-ups so\n      // effects dispatched by that cycle run before we re-check.\n      try {\n        host.flush()\n      } catch (e) {\n        dispatchErrors.push(toDrainError(e))\n      }\n    }\n  } finally {\n    unsub()\n  }\n}\n\n/**\n * Send a Msg and capture any synchronous throw into `errors` rather\n * than letting it propagate to the WS RPC layer. By the time `send`\n * has thrown, the reducer may have partially run (state can advance),\n * but bindings or downstream effects on the same commit may have\n * crashed mid-flight. From the agent's POV: the dispatch IS dispatched,\n * the state diff reflects what actually changed, and `drain.errors`\n * reports the in-flight crash. That's strictly more useful than HTTP\n * 500, which the agent reads as \"the dispatch never happened.\"\n */\nfunction safeSend(\n  host: SendMessageHost,\n  msg: { type: string; [k: string]: unknown },\n  errors: LapDrainMeta['errors'],\n): void {\n  try {\n    host.send(msg)\n  } catch (e) {\n    errors.push(toDrainError(e))\n  }\n}\n\nfunction safeSendAndFlush(\n  host: SendMessageHost,\n  msg: { type: string; [k: string]: unknown },\n  errors: LapDrainMeta['errors'],\n): void {\n  try {\n    host.send(msg)\n  } catch (e) {\n    errors.push(toDrainError(e))\n    return // can't flush something we never sent\n  }\n  try {\n    host.flush()\n  } catch (e) {\n    errors.push(toDrainError(e))\n  }\n}\n\nfunction toDrainError(e: unknown): LapDrainMeta['errors'][number] {\n  if (e instanceof Error) {\n    const stack = e.stack ? e.stack.split('\\n').slice(0, 8).join('\\n') : undefined\n    return stack !== undefined\n      ? { kind: 'error', message: `${e.name}: ${e.message}`, stack }\n      : { kind: 'error', message: `${e.name}: ${e.message}` }\n  }\n  return { kind: 'error', message: String(e) }\n}\n\nfunction mergeDrainErrors(\n  fromDispatch: LapDrainMeta['errors'],\n  fromHost: LapDrainMeta['errors'] | undefined,\n): LapDrainMeta['errors'] {\n  if (!fromHost || fromHost.length === 0) return fromDispatch\n  if (fromDispatch.length === 0) return fromHost\n  return [...fromDispatch, ...fromHost]\n}\n\nfunction dispatched(\n  host: SendMessageHost,\n  drain: LapDrainMeta,\n  prevState: unknown,\n  includeState: boolean,\n): LapMessageResponse {\n  const stateAfter = host.getState()\n  const base = {\n    status: 'dispatched' as const,\n    stateDiff: computeStateDiff(prevState, stateAfter),\n    actions: handleListActions(host).actions,\n    drain,\n  }\n  return includeState ? { ...base, stateAfter } : base\n}\n\nfunction emptyDrain(): LapDrainMeta {\n  return { effectsObserved: 0, durationMs: 0, timedOut: false, errors: [] }\n}\n\nfunction awaitQuietOrMsg(\n  budgetMs: number,\n  registerWake: (resolve: (r: 'msg' | 'timeout') => void) => void,\n): Promise<'msg' | 'timeout'> {\n  return new Promise<'msg' | 'timeout'>((resolve) => {\n    let settled = false\n    const guarded = (r: 'msg' | 'timeout') => {\n      if (settled) return\n      settled = true\n      resolve(r)\n    }\n    registerWake(guarded)\n    setTimeout(() => guarded('timeout'), budgetMs)\n  })\n}\n\nfunction now(): number {\n  return typeof performance !== 'undefined' && typeof performance.now === 'function'\n    ? performance.now()\n    : Date.now()\n}\n\n// Helper types for external callers that want the dispatched envelope.\nexport type DispatchedEnvelope = Extract<LapMessageResponse, { status: 'dispatched' }>\nexport type { LapActionsResponse }\n"]}

package/dist/client/rpc/validate-payload.d.ts

@@ -30,14 +30,38 @@ export type ValidationError = {
      *   branches.
      */
     path: string;
-    code: 'unknown-variant' | 'missing' | 'wrong-type' | 'not-in-enum' | 'not-array' | 'not-object' | 'missing-discriminant' | 'unknown-discriminant-value';
+    code: 'unknown-variant' | 'missing' | 'wrong-type' | 'not-in-enum' | 'not-array' | 'not-object' | 'missing-discriminant' | 'unknown-discriminant-value' | 'unexpected-field' | 'validates-failed';
+    message: string;
+};
+export type ValidationWarning = {
+    path: string;
+    code: 'untyped-field';
     message: string;
 };
 export type ValidationResult = {
     ok: true;
+    warnings?: ValidationWarning[];
 } | {
     ok: false;
     errors: ValidationError[];
+    warnings?: ValidationWarning[];
+};
+export type ValidationOptions = {
+    /**
+     * `'strict'` rejects fields that aren't declared in the schema (typos,
+     * extra keys, fields the LLM hallucinated). Also emits warnings when
+     * the agent provides a value for a field whose schema is `'unknown'`
+     * — the validator can't structurally check the value, so the warning
+     * surfaces the gap to the LLM ("we accepted this but didn't validate
+     * it"). `'lenient'` (default) accepts extras silently and treats
+     * `'unknown'` as a passthrough.
+     *
+     * Strict mode pairs with the cross-file schema fidelity in
+     * `@llui/vite-plugin`@0.0.36+: with most fields fully resolved, strict
+     * is rarely surprising. Apps that haven't migrated yet may find
+     * strict overzealous and should stay on lenient.
+     */
+    policy?: 'strict' | 'lenient';
 };
-export declare function validatePayload(msg: unknown, schema: MsgSchemaShape | null): ValidationResult;
+export declare function validatePayload(msg: unknown, schema: MsgSchemaShape | null, opts?: ValidationOptions): ValidationResult;
 //# sourceMappingURL=validate-payload.d.ts.map

package/dist/client/rpc/validate-payload.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"validate-payload.d.ts","sourceRoot":"","sources":["../../../src/client/rpc/validate-payload.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAqC,MAAM,eAAe,CAAA;AAEtF;;;;;;;;;;;;;;;;;;GAkBG;AAEH,MAAM,MAAM,eAAe,GAAG;IAC5B;;;;;;;;;OASG;IACH,IAAI,EAAE,MAAM,CAAA;IACZ,IAAI,EACA,iBAAiB,GACjB,SAAS,GACT,YAAY,GACZ,aAAa,GACb,WAAW,GACX,YAAY,GACZ,sBAAsB,GACtB,4BAA4B,CAAA;IAChC,OAAO,EAAE,MAAM,CAAA;CAChB,CAAA;AAED,MAAM,MAAM,gBAAgB,GAAG;IAAE,EAAE,EAAE,IAAI,CAAA;CAAE,GAAG;IAAE,EAAE,EAAE,KAAK,CAAC;IAAC,MAAM,EAAE,eAAe,EAAE,CAAA;CAAE,CAAA;AAEtF,wBAAgB,eAAe,CAAC,GAAG,EAAE,OAAO,EAAE,MAAM,EAAE,cAAc,GAAG,IAAI,GAAG,gBAAgB,CAoD7F"}
+{"version":3,"file":"validate-payload.d.ts","sourceRoot":"","sources":["../../../src/client/rpc/validate-payload.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAqC,MAAM,eAAe,CAAA;AAEtF;;;;;;;;;;;;;;;;;;GAkBG;AAEH,MAAM,MAAM,eAAe,GAAG;IAC5B;;;;;;;;;OASG;IACH,IAAI,EAAE,MAAM,CAAA;IACZ,IAAI,EACA,iBAAiB,GACjB,SAAS,GACT,YAAY,GACZ,aAAa,GACb,WAAW,GACX,YAAY,GACZ,sBAAsB,GACtB,4BAA4B,GAC5B,kBAAkB,GAClB,kBAAkB,CAAA;IACtB,OAAO,EAAE,MAAM,CAAA;CAChB,CAAA;AAED,MAAM,MAAM,iBAAiB,GAAG;IAC9B,IAAI,EAAE,MAAM,CAAA;IACZ,IAAI,EAAE,eAAe,CAAA;IACrB,OAAO,EAAE,MAAM,CAAA;CAChB,CAAA;AAED,MAAM,MAAM,gBAAgB,GACxB;IAAE,EAAE,EAAE,IAAI,CAAC;IAAC,QAAQ,CAAC,EAAE,iBAAiB,EAAE,CAAA;CAAE,GAC5C;IAAE,EAAE,EAAE,KAAK,CAAC;IAAC,MAAM,EAAE,eAAe,EAAE,CAAC;IAAC,QAAQ,CAAC,EAAE,iBAAiB,EAAE,CAAA;CAAE,CAAA;AAE5E,MAAM,MAAM,iBAAiB,GAAG;IAC9B;;;;;;;;;;;;;OAaG;IACH,MAAM,CAAC,EAAE,QAAQ,GAAG,SAAS,CAAA;CAC9B,CAAA;AAED,wBAAgB,eAAe,CAC7B,GAAG,EAAE,OAAO,EACZ,MAAM,EAAE,cAAc,GAAG,IAAI,EAC7B,IAAI,GAAE,iBAAsB,GAC3B,gBAAgB,CAyDlB"}

package/dist/client/rpc/validate-payload.js

@@ -1,4 +1,4 @@
-export function validatePayload(msg, schema) {
+export function validatePayload(msg, schema, opts = {}) {
     if (msg === null || typeof msg !== 'object' || Array.isArray(msg)) {
         return {
             ok: false,
@@ -40,15 +40,20 @@ export function validatePayload(msg, schema) {
         };
     }
     const errors = [];
+    const warnings = [];
+    const policy = opts.policy ?? 'lenient';
     const payload = {};
     for (const [k, v] of Object.entries(m)) {
         if (k !== schema.discriminant)
             payload[k] = v;
     }
-    validateObjectShape(payload, variantSchema, '', errors);
-    return errors.length === 0 ? { ok: true } : { ok: false, errors };
+    validateObjectShape(payload, variantSchema, '', errors, warnings, policy);
+    if (errors.length === 0) {
+        return warnings.length === 0 ? { ok: true } : { ok: true, warnings };
+    }
+    return warnings.length === 0 ? { ok: false, errors } : { ok: false, errors, warnings };
 }
-function validateObjectShape(value, shape, pathPrefix, errors) {
+function validateObjectShape(value, shape, pathPrefix, errors, warnings, policy) {
     for (const [name, descriptor] of Object.entries(shape)) {
         const fieldPath = pathPrefix === '' ? name : `${pathPrefix}.${name}`;
         const present = Object.prototype.hasOwnProperty.call(value, name);
@@ -64,10 +69,66 @@ function validateObjectShape(value, shape, pathPrefix, errors) {
             }
             continue;
         }
-        validateField(fieldValue, fieldType(descriptor), fieldPath, errors);
+        const ft = fieldType(descriptor);
+        if (ft === 'unknown' && policy === 'strict') {
+            warnings.push({
+                path: fieldPath,
+                code: 'untyped-field',
+                message: `value accepted but field schema is 'unknown' — the validator could not structurally check it. If this field is reachable across file boundaries, consider whether @llui/vite-plugin can resolve it.`,
+            });
+        }
+        const errCountBefore = errors.length;
+        validateField(fieldValue, ft, fieldPath, errors, warnings, policy);
+        const structurallyValid = errors.length === errCountBefore;
+        // Domain-invariant predicate (`@validates("expr")`). Runs only
+        // when structural validation passed for this field — without the
+        // right shape, the predicate would either throw (and we'd have to
+        // double-report) or accidentally pass (e.g. `v.length` on a string
+        // when we expected a number array). Predicate failures are errors
+        // regardless of policy — the author opted into the constraint
+        // deliberately.
+        if (structurallyValid) {
+            const validates = fieldValidatesPredicate(descriptor);
+            if (validates !== null) {
+                const predicate = compilePredicate(validates);
+                let passed;
+                try {
+                    passed = Boolean(predicate(fieldValue));
+                }
+                catch {
+                    passed = false;
+                }
+                if (!passed) {
+                    errors.push({
+                        path: fieldPath,
+                        code: 'validates-failed',
+                        message: `value violates \`@validates("${validates}")\``,
+                    });
+                }
+            }
+        }
+    }
+    // Strict mode: reject fields the schema doesn't declare. Catches
+    // typos (`{tile: 'X'}` instead of `{title: 'X'}`), hallucinated
+    // fields, and stale field names from before a refactor. Lenient
+    // mode accepts extras silently — same shape TypeScript's structural
+    // subtyping accepts at the call site.
+    if (policy === 'strict') {
+        for (const key of Object.keys(value)) {
+            if (key in shape)
+                continue;
+            const fieldPath = pathPrefix === '' ? key : `${pathPrefix}.${key}`;
+            errors.push({
+                path: fieldPath,
+                code: 'unexpected-field',
+                message: `field '${key}' is not in the schema. Legal fields: ${Object.keys(shape)
+                    .map((k) => `'${k}'`)
+                    .join(', ')}.`,
+            });
+        }
     }
 }
-function validateField(value, type, path, errors) {
+function validateField(value, type, path, errors, warnings, policy) {
     if (type === 'unknown')
         return; // schema gap; accept anything
     if (typeof type === 'string') {
@@ -105,7 +166,7 @@ function validateField(value, type, path, errors) {
             });
             return;
         }
-        validateObjectShape(value, type.shape, path, errors);
+        validateObjectShape(value, type.shape, path, errors, warnings, policy);
         return;
     }
     if (type.kind === 'array') {
@@ -118,7 +179,7 @@ function validateField(value, type, path, errors) {
             return;
         }
         for (let i = 0; i < value.length; i++) {
-            validateField(value[i], type.element, `${path}[${i}]`, errors);
+            validateField(value[i], type.element, `${path}[${i}]`, errors, warnings, policy);
         }
         return;
     }
@@ -162,7 +223,7 @@ function validateField(value, type, path, errors) {
                 branchPayload[k] = v;
         }
         const branchPath = `${path}(${type.discriminant}=${discValue})`;
-        validateObjectShape(branchPayload, branchSchema, branchPath, errors);
+        validateObjectShape(branchPayload, branchSchema, branchPath, errors, warnings, policy);
     }
 }
 function isOptional(d) {
@@ -173,6 +234,38 @@ function fieldType(d) {
         return d.type;
     return d;
 }
+function fieldValidatesPredicate(d) {
+    if (typeof d === 'object' && d !== null && 'type' in d && typeof d.validates === 'string') {
+        return d.validates;
+    }
+    return null;
+}
+const predicateCache = new Map();
+/**
+ * Compile a `@validates(...)` predicate string into a runtime function.
+ * Caches across calls — the schema is static at runtime, so each
+ * predicate is compiled at most once.
+ *
+ * The predicate sees `v` as the field's value and inherits the host
+ * environment's globals (Math, JSON, RegExp, etc.). On any compile
+ * error, returns a no-op `() => true` so a malformed predicate doesn't
+ * break dispatch — the build-time linter (`agent-validates-syntax`,
+ * future) is the right place to catch syntactic issues.
+ */
+function compilePredicate(src) {
+    let fn = predicateCache.get(src);
+    if (fn)
+        return fn;
+    try {
+        // eslint-disable-next-line @typescript-eslint/no-implied-eval
+        fn = new Function('v', `return (${src})`);
+    }
+    catch {
+        fn = () => true;
+    }
+    predicateCache.set(src, fn);
+    return fn;
+}
 function describeType(v) {
     if (v === null)
         return 'null';

package/dist/client/rpc/validate-payload.js.map

@@ -1 +1 @@
-{"version":3,"file":"validate-payload.js","sourceRoot":"","sources":["../../../src/client/rpc/validate-payload.ts"],"names":[],"mappings":"AAgDA,MAAM,UAAU,eAAe,CAAC,GAAY,EAAE,MAA6B;IACzE,IAAI,GAAG,KAAK,IAAI,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;QAClE,OAAO;YACL,EAAE,EAAE,KAAK;YACT,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,OAAO,EAAE,4BAA4B,EAAE,CAAC;SAClF,CAAA;IACH,CAAC;IACD,MAAM,CAAC,GAAG,GAA8B,CAAA;IACxC,MAAM,UAAU,GAAG,CAAC,CAAC,MAAM,EAAE,YAAY,IAAI,MAAM,CAAC,CAAA;IACpD,IAAI,OAAO,UAAU,KAAK,QAAQ,EAAE,CAAC;QACnC,OAAO;YACL,EAAE,EAAE,KAAK;YACT,MAAM,EAAE;gBACN;oBACE,IAAI,EAAE,MAAM,EAAE,YAAY,IAAI,MAAM;oBACpC,IAAI,EAAE,SAAS;oBACf,OAAO,EAAE,OAAO,MAAM,EAAE,YAAY,IAAI,MAAM,+BAA+B;iBAC9E;aACF;SACF,CAAA;IACH,CAAC;IAED,oEAAoE;IACpE,mEAAmE;IACnE,wDAAwD;IACxD,IAAI,CAAC,MAAM;QAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,CAAA;IAEhC,MAAM,aAAa,GAAG,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAA;IACjD,IAAI,CAAC,aAAa,EAAE,CAAC;QACnB,OAAO;YACL,EAAE,EAAE,KAAK;YACT,MAAM,EAAE;gBACN;oBACE,IAAI,EAAE,MAAM,CAAC,YAAY;oBACzB,IAAI,EAAE,iBAAiB;oBACvB,OAAO,EAAE,IAAI,UAAU,2CAA2C,MAAM,CAAC,IAAI,CAC3E,MAAM,CAAC,QAAQ,CAChB;yBACE,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC;yBACpB,IAAI,CAAC,IAAI,CAAC,GAAG;iBACjB;aACF;SACF,CAAA;IACH,CAAC;IAED,MAAM,MAAM,GAAsB,EAAE,CAAA;IACpC,MAAM,OAAO,GAA4B,EAAE,CAAA;IAC3C,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;QACvC,IAAI,CAAC,KAAK,MAAM,CAAC,YAAY;YAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAA;IAC/C,CAAC;IACD,mBAAmB,CAAC,OAAO,EAAE,aAAa,EAAE,EAAE,EAAE,MAAM,CAAC,CAAA;IACvD,OAAO,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,CAAA;AACnE,CAAC;AAED,SAAS,mBAAmB,CAC1B,KAA8B,EAC9B,KAAqC,EACrC,UAAkB,EAClB,MAAyB;IAEzB,KAAK,MAAM,CAAC,IAAI,EAAE,UAAU,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACvD,MAAM,SAAS,GAAG,UAAU,KAAK,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,UAAU,IAAI,IAAI,EAAE,CAAA;QACpE,MAAM,OAAO,GAAG,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,CAAA;QACjE,MAAM,QAAQ,GAAG,UAAU,CAAC,UAAU,CAAC,CAAA;QACvC,MAAM,UAAU,GAAG,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAA;QAEpD,IAAI,CAAC,OAAO,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;YACzC,IAAI,CAAC,QAAQ,EAAE,CAAC;gBACd,MAAM,CAAC,IAAI,CAAC;oBACV,IAAI,EAAE,SAAS;oBACf,IAAI,EAAE,SAAS;oBACf,OAAO,EAAE,2BAA2B;iBACrC,CAAC,CAAA;YACJ,CAAC;YACD,SAAQ;QACV,CAAC;QAED,aAAa,CAAC,UAAU,EAAE,SAAS,CAAC,UAAU,CAAC,EAAE,SAAS,EAAE,MAAM,CAAC,CAAA;IACrE,CAAC;AACH,CAAC;AAED,SAAS,aAAa,CACpB,KAAc,EACd,IAAuB,EACvB,IAAY,EACZ,MAAyB;IAEzB,IAAI,IAAI,KAAK,SAAS;QAAE,OAAM,CAAC,8BAA8B;IAC7D,IAAI,OAAO,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC7B,oDAAoD;QACpD,IAAI,OAAO,KAAK,KAAK,IAAI,EAAE,CAAC;YAC1B,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI;gBACJ,IAAI,EAAE,YAAY;gBAClB,OAAO,EAAE,YAAY,IAAI,SAAS,YAAY,CAAC,KAAK,CAAC,EAAE;aACxD,CAAC,CAAA;QACJ,CAAC;QACD,OAAM;IACR,CAAC;IACD,IAAI,MAAM,IAAI,IAAI,EAAE,CAAC;QACnB,iEAAiE;QACjE,iCAAiC;QACjC,MAAM,EAAE,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,KAAK,KAAK,KAAK,CAAC,CAAA;QAChF,IAAI,CAAC,EAAE,EAAE,CAAC;YACR,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI;gBACJ,IAAI,EAAE,aAAa;gBACnB,OAAO,EAAE,IAAI,MAAM,CAAC,KAAK,CAAC,uCAAuC,IAAI,CAAC,IAAI;qBACvE,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;qBAC9B,IAAI,CAAC,IAAI,CAAC,GAAG;aACjB,CAAC,CAAA;QACJ,CAAC;QACD,OAAM;IACR,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC3B,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;YACxE,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI;gBACJ,IAAI,EAAE,YAAY;gBAClB,OAAO,EAAE,wBAAwB,YAAY,CAAC,KAAK,CAAC,EAAE;aACvD,CAAC,CAAA;YACF,OAAM;QACR,CAAC;QACD,mBAAmB,CAAC,KAAgC,EAAE,IAAI,CAAC,KAAK,EAAE,IAAI,EAAE,MAAM,CAAC,CAAA;QAC/E,OAAM;IACR,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAC1B,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;YAC1B,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI;gBACJ,IAAI,EAAE,WAAW;gBACjB,OAAO,EAAE,uBAAuB,YAAY,CAAC,KAAK,CAAC,EAAE;aACtD,CAAC,CAAA;YACF,OAAM;QACR,CAAC;QACD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACtC,aAAa,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,OAAO,EAAE,GAAG,IAAI,IAAI,CAAC,GAAG,EAAE,MAAM,CAAC,CAAA;QAChE,CAAC;QACD,OAAM;IACR,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,qBAAqB,EAAE,CAAC;QACxC,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;YACxE,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI;gBACJ,IAAI,EAAE,YAAY;gBAClB,OAAO,EAAE,4CAA4C,YAAY,CAAC,KAAK,CAAC,EAAE;aAC3E,CAAC,CAAA;YACF,OAAM;QACR,CAAC;QACD,MAAM,GAAG,GAAG,KAAgC,CAAA;QAC5C,MAAM,SAAS,GAAG,GAAG,CAAC,IAAI,CAAC,YAAY,CAAC,CAAA;QACxC,IAAI,OAAO,SAAS,KAAK,QAAQ,EAAE,CAAC;YAClC,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI,EAAE,GAAG,IAAI,IAAI,IAAI,CAAC,YAAY,EAAE;gBACpC,IAAI,EAAE,sBAAsB;gBAC5B,OAAO,EAAE,iBAAiB,IAAI,CAAC,YAAY,qBAAqB,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC;qBACvF,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC;qBACpB,IAAI,CAAC,IAAI,CAAC,EAAE;aAChB,CAAC,CAAA;YACF,OAAM;QACR,CAAC;QACD,MAAM,YAAY,GAAG,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAA;QAC7C,IAAI,CAAC,YAAY,EAAE,CAAC;YAClB,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI,EAAE,GAAG,IAAI,IAAI,IAAI,CAAC,YAAY,EAAE;gBACpC,IAAI,EAAE,4BAA4B;gBAClC,OAAO,EAAE,IAAI,SAAS,qBAAqB,IAAI,CAAC,YAAY,oBAAoB,MAAM,CAAC,IAAI,CACzF,IAAI,CAAC,QAAQ,CACd;qBACE,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC;qBACpB,IAAI,CAAC,IAAI,CAAC,GAAG;aACjB,CAAC,CAAA;YACF,OAAM;QACR,CAAC;QACD,2DAA2D;QAC3D,0DAA0D;QAC1D,MAAM,aAAa,GAA4B,EAAE,CAAA;QACjD,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;YACzC,IAAI,CAAC,KAAK,IAAI,CAAC,YAAY;gBAAE,aAAa,CAAC,CAAC,CAAC,GAAG,CAAC,CAAA;QACnD,CAAC;QACD,MAAM,UAAU,GAAG,GAAG,IAAI,IAAI,IAAI,CAAC,YAAY,IAAI,SAAS,GAAG,CAAA;QAC/D,mBAAmB,CAAC,aAAa,EAAE,YAAY,EAAE,UAAU,EAAE,MAAM,CAAC,CAAA;IACtE,CAAC;AACH,CAAC;AAED,SAAS,UAAU,CAAC,CAAiB;IACnC,OAAO,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,IAAI,IAAI,MAAM,IAAI,CAAC,IAAI,CAAC,CAAC,QAAQ,KAAK,IAAI,CAAA;AAClF,CAAC;AAED,SAAS,SAAS,CAAC,CAAiB;IAClC,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,IAAI,IAAI,MAAM,IAAI,CAAC;QAAE,OAAO,CAAC,CAAC,IAAI,CAAA;IACrE,OAAO,CAAC,CAAA;AACV,CAAC;AAED,SAAS,YAAY,CAAC,CAAU;IAC9B,IAAI,CAAC,KAAK,IAAI;QAAE,OAAO,MAAM,CAAA;IAC7B,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;QAAE,OAAO,OAAO,CAAA;IACpC,OAAO,OAAO,CAAC,CAAA;AACjB,CAAC;AAED,SAAS,eAAe,CAAC,CAA4B;IACnD,OAAO,OAAO,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAA;AACrD,CAAC","sourcesContent":["import type { MsgSchemaShape, MsgSchemaField, MsgSchemaBareType } from '../factory.js'\n\n/**\n * Schema-driven payload validation for agent-dispatched Msgs. Walks\n * the compiler-emitted schema against a candidate Msg and reports\n * structural errors with a path-keyed list — the kind of feedback an\n * LLM can act on in a single round trip (\"set kind to one of: 'exact',\n * 'range', 'compound'\") instead of probing one field at a time.\n *\n * **What this is not.** This is not a TS type-checker. The schema is\n * best-effort: cross-file types, generics, complex unions, and\n * conditional types still surface as `'unknown'` and the validator\n * accepts anything for those. The validator's job is to catch the\n * mistakes a schema-aware LLM makes — wrong enum values, missing\n * discriminants, primitive type mismatches — not to mirror the entire\n * TypeScript surface area.\n *\n * **Tolerance for `'unknown'`.** Treat `'unknown'` as \"any goes.\" Don't\n * report errors against fields whose schema we don't know — those are\n * the schema's gaps, not the agent's.\n */\n\nexport type ValidationError = {\n  /**\n   * Dot-bracket path rooted at the Msg payload (NOT including `type`).\n   * - top-level field: `'cells'`\n   * - nested object property: `'cells.value'`\n   * - array element: `'cells[0]'` (concrete index from the input)\n   * - discriminated-union branch: `'format(kind=range).max'` — the\n   *   parenthesised `<discriminant>=<value>` segment names which branch\n   *   the error applies to, distinguishing the same field name across\n   *   branches.\n   */\n  path: string\n  code:\n    | 'unknown-variant'\n    | 'missing'\n    | 'wrong-type'\n    | 'not-in-enum'\n    | 'not-array'\n    | 'not-object'\n    | 'missing-discriminant'\n    | 'unknown-discriminant-value'\n  message: string\n}\n\nexport type ValidationResult = { ok: true } | { ok: false; errors: ValidationError[] }\n\nexport function validatePayload(msg: unknown, schema: MsgSchemaShape | null): ValidationResult {\n  if (msg === null || typeof msg !== 'object' || Array.isArray(msg)) {\n    return {\n      ok: false,\n      errors: [{ path: '', code: 'not-object', message: 'msg must be a plain object' }],\n    }\n  }\n  const m = msg as Record<string, unknown>\n  const variantKey = m[schema?.discriminant ?? 'type']\n  if (typeof variantKey !== 'string') {\n    return {\n      ok: false,\n      errors: [\n        {\n          path: schema?.discriminant ?? 'type',\n          code: 'missing',\n          message: `msg.${schema?.discriminant ?? 'type'} must be a string variant tag`,\n        },\n      ],\n    }\n  }\n\n  // No schema available — the compiler didn't emit one, or the LLM is\n  // talking to a build that predates schema emission. Accept the msg\n  // structurally; the reducer will validate semantically.\n  if (!schema) return { ok: true }\n\n  const variantSchema = schema.variants[variantKey]\n  if (!variantSchema) {\n    return {\n      ok: false,\n      errors: [\n        {\n          path: schema.discriminant,\n          code: 'unknown-variant',\n          message: `'${variantKey}' is not a known variant. Legal values: ${Object.keys(\n            schema.variants,\n          )\n            .map((v) => `'${v}'`)\n            .join(', ')}.`,\n        },\n      ],\n    }\n  }\n\n  const errors: ValidationError[] = []\n  const payload: Record<string, unknown> = {}\n  for (const [k, v] of Object.entries(m)) {\n    if (k !== schema.discriminant) payload[k] = v\n  }\n  validateObjectShape(payload, variantSchema, '', errors)\n  return errors.length === 0 ? { ok: true } : { ok: false, errors }\n}\n\nfunction validateObjectShape(\n  value: Record<string, unknown>,\n  shape: Record<string, MsgSchemaField>,\n  pathPrefix: string,\n  errors: ValidationError[],\n): void {\n  for (const [name, descriptor] of Object.entries(shape)) {\n    const fieldPath = pathPrefix === '' ? name : `${pathPrefix}.${name}`\n    const present = Object.prototype.hasOwnProperty.call(value, name)\n    const optional = isOptional(descriptor)\n    const fieldValue = present ? value[name] : undefined\n\n    if (!present || fieldValue === undefined) {\n      if (!optional) {\n        errors.push({\n          path: fieldPath,\n          code: 'missing',\n          message: `required field is missing`,\n        })\n      }\n      continue\n    }\n\n    validateField(fieldValue, fieldType(descriptor), fieldPath, errors)\n  }\n}\n\nfunction validateField(\n  value: unknown,\n  type: MsgSchemaBareType,\n  path: string,\n  errors: ValidationError[],\n): void {\n  if (type === 'unknown') return // schema gap; accept anything\n  if (typeof type === 'string') {\n    // Primitive keyword: 'string', 'number', 'boolean'.\n    if (typeof value !== type) {\n      errors.push({\n        path,\n        code: 'wrong-type',\n        message: `expected ${type}, got ${describeType(value)}`,\n      })\n    }\n    return\n  }\n  if ('enum' in type) {\n    // Use Object.is so NaN and -0 match correctly; falls back to ===\n    // semantics for ordinary values.\n    const ok = type.enum.some((legal) => Object.is(legal, value) || legal === value)\n    if (!ok) {\n      errors.push({\n        path,\n        code: 'not-in-enum',\n        message: `'${String(value)}' is not in the enum. Legal values: ${type.enum\n          .map((v) => formatEnumValue(v))\n          .join(', ')}.`,\n      })\n    }\n    return\n  }\n  if (type.kind === 'object') {\n    if (value === null || typeof value !== 'object' || Array.isArray(value)) {\n      errors.push({\n        path,\n        code: 'not-object',\n        message: `expected object, got ${describeType(value)}`,\n      })\n      return\n    }\n    validateObjectShape(value as Record<string, unknown>, type.shape, path, errors)\n    return\n  }\n  if (type.kind === 'array') {\n    if (!Array.isArray(value)) {\n      errors.push({\n        path,\n        code: 'not-array',\n        message: `expected array, got ${describeType(value)}`,\n      })\n      return\n    }\n    for (let i = 0; i < value.length; i++) {\n      validateField(value[i], type.element, `${path}[${i}]`, errors)\n    }\n    return\n  }\n  if (type.kind === 'discriminated-union') {\n    if (value === null || typeof value !== 'object' || Array.isArray(value)) {\n      errors.push({\n        path,\n        code: 'not-object',\n        message: `expected discriminated-union object, got ${describeType(value)}`,\n      })\n      return\n    }\n    const obj = value as Record<string, unknown>\n    const discValue = obj[type.discriminant]\n    if (typeof discValue !== 'string') {\n      errors.push({\n        path: `${path}.${type.discriminant}`,\n        code: 'missing-discriminant',\n        message: `discriminant '${type.discriminant}' must be one of: ${Object.keys(type.variants)\n          .map((v) => `'${v}'`)\n          .join(', ')}`,\n      })\n      return\n    }\n    const branchSchema = type.variants[discValue]\n    if (!branchSchema) {\n      errors.push({\n        path: `${path}.${type.discriminant}`,\n        code: 'unknown-discriminant-value',\n        message: `'${discValue}' is not a legal '${type.discriminant}'. Legal values: ${Object.keys(\n          type.variants,\n        )\n          .map((v) => `'${v}'`)\n          .join(', ')}.`,\n      })\n      return\n    }\n    // Recurse into the matched branch's payload (excluding the\n    // discriminant itself, which is already validated above).\n    const branchPayload: Record<string, unknown> = {}\n    for (const [k, v] of Object.entries(obj)) {\n      if (k !== type.discriminant) branchPayload[k] = v\n    }\n    const branchPath = `${path}(${type.discriminant}=${discValue})`\n    validateObjectShape(branchPayload, branchSchema, branchPath, errors)\n  }\n}\n\nfunction isOptional(d: MsgSchemaField): boolean {\n  return typeof d === 'object' && d !== null && 'type' in d && d.optional === true\n}\n\nfunction fieldType(d: MsgSchemaField): MsgSchemaBareType {\n  if (typeof d === 'object' && d !== null && 'type' in d) return d.type\n  return d\n}\n\nfunction describeType(v: unknown): string {\n  if (v === null) return 'null'\n  if (Array.isArray(v)) return 'array'\n  return typeof v\n}\n\nfunction formatEnumValue(v: string | number | boolean): string {\n  return typeof v === 'string' ? `'${v}'` : String(v)\n}\n"]}
+{"version":3,"file":"validate-payload.js","sourceRoot":"","sources":["../../../src/client/rpc/validate-payload.ts"],"names":[],"mappings":"AA4EA,MAAM,UAAU,eAAe,CAC7B,GAAY,EACZ,MAA6B,EAC7B,OAA0B,EAAE;IAE5B,IAAI,GAAG,KAAK,IAAI,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;QAClE,OAAO;YACL,EAAE,EAAE,KAAK;YACT,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,OAAO,EAAE,4BAA4B,EAAE,CAAC;SAClF,CAAA;IACH,CAAC;IACD,MAAM,CAAC,GAAG,GAA8B,CAAA;IACxC,MAAM,UAAU,GAAG,CAAC,CAAC,MAAM,EAAE,YAAY,IAAI,MAAM,CAAC,CAAA;IACpD,IAAI,OAAO,UAAU,KAAK,QAAQ,EAAE,CAAC;QACnC,OAAO;YACL,EAAE,EAAE,KAAK;YACT,MAAM,EAAE;gBACN;oBACE,IAAI,EAAE,MAAM,EAAE,YAAY,IAAI,MAAM;oBACpC,IAAI,EAAE,SAAS;oBACf,OAAO,EAAE,OAAO,MAAM,EAAE,YAAY,IAAI,MAAM,+BAA+B;iBAC9E;aACF;SACF,CAAA;IACH,CAAC;IAED,oEAAoE;IACpE,mEAAmE;IACnE,wDAAwD;IACxD,IAAI,CAAC,MAAM;QAAE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,CAAA;IAEhC,MAAM,aAAa,GAAG,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAA;IACjD,IAAI,CAAC,aAAa,EAAE,CAAC;QACnB,OAAO;YACL,EAAE,EAAE,KAAK;YACT,MAAM,EAAE;gBACN;oBACE,IAAI,EAAE,MAAM,CAAC,YAAY;oBACzB,IAAI,EAAE,iBAAiB;oBACvB,OAAO,EAAE,IAAI,UAAU,2CAA2C,MAAM,CAAC,IAAI,CAC3E,MAAM,CAAC,QAAQ,CAChB;yBACE,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC;yBACpB,IAAI,CAAC,IAAI,CAAC,GAAG;iBACjB;aACF;SACF,CAAA;IACH,CAAC;IAED,MAAM,MAAM,GAAsB,EAAE,CAAA;IACpC,MAAM,QAAQ,GAAwB,EAAE,CAAA;IACxC,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,IAAI,SAAS,CAAA;IACvC,MAAM,OAAO,GAA4B,EAAE,CAAA;IAC3C,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;QACvC,IAAI,CAAC,KAAK,MAAM,CAAC,YAAY;YAAE,OAAO,CAAC,CAAC,CAAC,GAAG,CAAC,CAAA;IAC/C,CAAC;IACD,mBAAmB,CAAC,OAAO,EAAE,aAAa,EAAE,EAAE,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAA;IACzE,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACxB,OAAO,QAAQ,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAA;IACtE,CAAC;IACD,OAAO,QAAQ,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAA;AACxF,CAAC;AAED,SAAS,mBAAmB,CAC1B,KAA8B,EAC9B,KAAqC,EACrC,UAAkB,EAClB,MAAyB,EACzB,QAA6B,EAC7B,MAA4B;IAE5B,KAAK,MAAM,CAAC,IAAI,EAAE,UAAU,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACvD,MAAM,SAAS,GAAG,UAAU,KAAK,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,UAAU,IAAI,IAAI,EAAE,CAAA;QACpE,MAAM,OAAO,GAAG,MAAM,CAAC,SAAS,CAAC,cAAc,CAAC,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,CAAA;QACjE,MAAM,QAAQ,GAAG,UAAU,CAAC,UAAU,CAAC,CAAA;QACvC,MAAM,UAAU,GAAG,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAA;QAEpD,IAAI,CAAC,OAAO,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;YACzC,IAAI,CAAC,QAAQ,EAAE,CAAC;gBACd,MAAM,CAAC,IAAI,CAAC;oBACV,IAAI,EAAE,SAAS;oBACf,IAAI,EAAE,SAAS;oBACf,OAAO,EAAE,2BAA2B;iBACrC,CAAC,CAAA;YACJ,CAAC;YACD,SAAQ;QACV,CAAC;QAED,MAAM,EAAE,GAAG,SAAS,CAAC,UAAU,CAAC,CAAA;QAChC,IAAI,EAAE,KAAK,SAAS,IAAI,MAAM,KAAK,QAAQ,EAAE,CAAC;YAC5C,QAAQ,CAAC,IAAI,CAAC;gBACZ,IAAI,EAAE,SAAS;gBACf,IAAI,EAAE,eAAe;gBACrB,OAAO,EAAE,qMAAqM;aAC/M,CAAC,CAAA;QACJ,CAAC;QAED,MAAM,cAAc,GAAG,MAAM,CAAC,MAAM,CAAA;QACpC,aAAa,CAAC,UAAU,EAAE,EAAE,EAAE,SAAS,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAA;QAClE,MAAM,iBAAiB,GAAG,MAAM,CAAC,MAAM,KAAK,cAAc,CAAA;QAE1D,+DAA+D;QAC/D,iEAAiE;QACjE,kEAAkE;QAClE,mEAAmE;QACnE,kEAAkE;QAClE,8DAA8D;QAC9D,gBAAgB;QAChB,IAAI,iBAAiB,EAAE,CAAC;YACtB,MAAM,SAAS,GAAG,uBAAuB,CAAC,UAAU,CAAC,CAAA;YACrD,IAAI,SAAS,KAAK,IAAI,EAAE,CAAC;gBACvB,MAAM,SAAS,GAAG,gBAAgB,CAAC,SAAS,CAAC,CAAA;gBAC7C,IAAI,MAAe,CAAA;gBACnB,IAAI,CAAC;oBACH,MAAM,GAAG,OAAO,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC,CAAA;gBACzC,CAAC;gBAAC,MAAM,CAAC;oBACP,MAAM,GAAG,KAAK,CAAA;gBAChB,CAAC;gBACD,IAAI,CAAC,MAAM,EAAE,CAAC;oBACZ,MAAM,CAAC,IAAI,CAAC;wBACV,IAAI,EAAE,SAAS;wBACf,IAAI,EAAE,kBAAkB;wBACxB,OAAO,EAAE,gCAAgC,SAAS,MAAM;qBACzD,CAAC,CAAA;gBACJ,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,iEAAiE;IACjE,gEAAgE;IAChE,gEAAgE;IAChE,oEAAoE;IACpE,sCAAsC;IACtC,IAAI,MAAM,KAAK,QAAQ,EAAE,CAAC;QACxB,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;YACrC,IAAI,GAAG,IAAI,KAAK;gBAAE,SAAQ;YAC1B,MAAM,SAAS,GAAG,UAAU,KAAK,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,UAAU,IAAI,GAAG,EAAE,CAAA;YAClE,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI,EAAE,SAAS;gBACf,IAAI,EAAE,kBAAkB;gBACxB,OAAO,EAAE,UAAU,GAAG,yCAAyC,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC;qBAC9E,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC;qBACpB,IAAI,CAAC,IAAI,CAAC,GAAG;aACjB,CAAC,CAAA;QACJ,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,aAAa,CACpB,KAAc,EACd,IAAuB,EACvB,IAAY,EACZ,MAAyB,EACzB,QAA6B,EAC7B,MAA4B;IAE5B,IAAI,IAAI,KAAK,SAAS;QAAE,OAAM,CAAC,8BAA8B;IAC7D,IAAI,OAAO,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC7B,oDAAoD;QACpD,IAAI,OAAO,KAAK,KAAK,IAAI,EAAE,CAAC;YAC1B,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI;gBACJ,IAAI,EAAE,YAAY;gBAClB,OAAO,EAAE,YAAY,IAAI,SAAS,YAAY,CAAC,KAAK,CAAC,EAAE;aACxD,CAAC,CAAA;QACJ,CAAC;QACD,OAAM;IACR,CAAC;IACD,IAAI,MAAM,IAAI,IAAI,EAAE,CAAC;QACnB,iEAAiE;QACjE,iCAAiC;QACjC,MAAM,EAAE,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI,KAAK,KAAK,KAAK,CAAC,CAAA;QAChF,IAAI,CAAC,EAAE,EAAE,CAAC;YACR,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI;gBACJ,IAAI,EAAE,aAAa;gBACnB,OAAO,EAAE,IAAI,MAAM,CAAC,KAAK,CAAC,uCAAuC,IAAI,CAAC,IAAI;qBACvE,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC;qBAC9B,IAAI,CAAC,IAAI,CAAC,GAAG;aACjB,CAAC,CAAA;QACJ,CAAC;QACD,OAAM;IACR,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC3B,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;YACxE,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI;gBACJ,IAAI,EAAE,YAAY;gBAClB,OAAO,EAAE,wBAAwB,YAAY,CAAC,KAAK,CAAC,EAAE;aACvD,CAAC,CAAA;YACF,OAAM;QACR,CAAC;QACD,mBAAmB,CACjB,KAAgC,EAChC,IAAI,CAAC,KAAK,EACV,IAAI,EACJ,MAAM,EACN,QAAQ,EACR,MAAM,CACP,CAAA;QACD,OAAM;IACR,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;QAC1B,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;YAC1B,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI;gBACJ,IAAI,EAAE,WAAW;gBACjB,OAAO,EAAE,uBAAuB,YAAY,CAAC,KAAK,CAAC,EAAE;aACtD,CAAC,CAAA;YACF,OAAM;QACR,CAAC;QACD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACtC,aAAa,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,OAAO,EAAE,GAAG,IAAI,IAAI,CAAC,GAAG,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAA;QAClF,CAAC;QACD,OAAM;IACR,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,KAAK,qBAAqB,EAAE,CAAC;QACxC,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;YACxE,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI;gBACJ,IAAI,EAAE,YAAY;gBAClB,OAAO,EAAE,4CAA4C,YAAY,CAAC,KAAK,CAAC,EAAE;aAC3E,CAAC,CAAA;YACF,OAAM;QACR,CAAC;QACD,MAAM,GAAG,GAAG,KAAgC,CAAA;QAC5C,MAAM,SAAS,GAAG,GAAG,CAAC,IAAI,CAAC,YAAY,CAAC,CAAA;QACxC,IAAI,OAAO,SAAS,KAAK,QAAQ,EAAE,CAAC;YAClC,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI,EAAE,GAAG,IAAI,IAAI,IAAI,CAAC,YAAY,EAAE;gBACpC,IAAI,EAAE,sBAAsB;gBAC5B,OAAO,EAAE,iBAAiB,IAAI,CAAC,YAAY,qBAAqB,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC;qBACvF,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC;qBACpB,IAAI,CAAC,IAAI,CAAC,EAAE;aAChB,CAAC,CAAA;YACF,OAAM;QACR,CAAC;QACD,MAAM,YAAY,GAAG,IAAI,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAA;QAC7C,IAAI,CAAC,YAAY,EAAE,CAAC;YAClB,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI,EAAE,GAAG,IAAI,IAAI,IAAI,CAAC,YAAY,EAAE;gBACpC,IAAI,EAAE,4BAA4B;gBAClC,OAAO,EAAE,IAAI,SAAS,qBAAqB,IAAI,CAAC,YAAY,oBAAoB,MAAM,CAAC,IAAI,CACzF,IAAI,CAAC,QAAQ,CACd;qBACE,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC;qBACpB,IAAI,CAAC,IAAI,CAAC,GAAG;aACjB,CAAC,CAAA;YACF,OAAM;QACR,CAAC;QACD,2DAA2D;QAC3D,0DAA0D;QAC1D,MAAM,aAAa,GAA4B,EAAE,CAAA;QACjD,KAAK,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;YACzC,IAAI,CAAC,KAAK,IAAI,CAAC,YAAY;gBAAE,aAAa,CAAC,CAAC,CAAC,GAAG,CAAC,CAAA;QACnD,CAAC;QACD,MAAM,UAAU,GAAG,GAAG,IAAI,IAAI,IAAI,CAAC,YAAY,IAAI,SAAS,GAAG,CAAA;QAC/D,mBAAmB,CAAC,aAAa,EAAE,YAAY,EAAE,UAAU,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAA;IACxF,CAAC;AACH,CAAC;AAED,SAAS,UAAU,CAAC,CAAiB;IACnC,OAAO,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,IAAI,IAAI,MAAM,IAAI,CAAC,IAAI,CAAC,CAAC,QAAQ,KAAK,IAAI,CAAA;AAClF,CAAC;AAED,SAAS,SAAS,CAAC,CAAiB;IAClC,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,IAAI,IAAI,MAAM,IAAI,CAAC;QAAE,OAAO,CAAC,CAAC,IAAI,CAAA;IACrE,OAAO,CAAC,CAAA;AACV,CAAC;AAED,SAAS,uBAAuB,CAAC,CAAiB;IAChD,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,IAAI,IAAI,MAAM,IAAI,CAAC,IAAI,OAAO,CAAC,CAAC,SAAS,KAAK,QAAQ,EAAE,CAAC;QAC1F,OAAO,CAAC,CAAC,SAAS,CAAA;IACpB,CAAC;IACD,OAAO,IAAI,CAAA;AACb,CAAC;AAED,MAAM,cAAc,GAAG,IAAI,GAAG,EAAmC,CAAA;AAEjE;;;;;;;;;;GAUG;AACH,SAAS,gBAAgB,CAAC,GAAW;IACnC,IAAI,EAAE,GAAG,cAAc,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;IAChC,IAAI,EAAE;QAAE,OAAO,EAAE,CAAA;IACjB,IAAI,CAAC;QACH,8DAA8D;QAC9D,EAAE,GAAG,IAAI,QAAQ,CAAC,GAAG,EAAE,WAAW,GAAG,GAAG,CAA4B,CAAA;IACtE,CAAC;IAAC,MAAM,CAAC;QACP,EAAE,GAAG,GAAG,EAAE,CAAC,IAAI,CAAA;IACjB,CAAC;IACD,cAAc,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,CAAC,CAAA;IAC3B,OAAO,EAAE,CAAA;AACX,CAAC;AAED,SAAS,YAAY,CAAC,CAAU;IAC9B,IAAI,CAAC,KAAK,IAAI;QAAE,OAAO,MAAM,CAAA;IAC7B,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;QAAE,OAAO,OAAO,CAAA;IACpC,OAAO,OAAO,CAAC,CAAA;AACjB,CAAC;AAED,SAAS,eAAe,CAAC,CAA4B;IACnD,OAAO,OAAO,CAAC,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAA;AACrD,CAAC","sourcesContent":["import type { MsgSchemaShape, MsgSchemaField, MsgSchemaBareType } from '../factory.js'\n\n/**\n * Schema-driven payload validation for agent-dispatched Msgs. Walks\n * the compiler-emitted schema against a candidate Msg and reports\n * structural errors with a path-keyed list — the kind of feedback an\n * LLM can act on in a single round trip (\"set kind to one of: 'exact',\n * 'range', 'compound'\") instead of probing one field at a time.\n *\n * **What this is not.** This is not a TS type-checker. The schema is\n * best-effort: cross-file types, generics, complex unions, and\n * conditional types still surface as `'unknown'` and the validator\n * accepts anything for those. The validator's job is to catch the\n * mistakes a schema-aware LLM makes — wrong enum values, missing\n * discriminants, primitive type mismatches — not to mirror the entire\n * TypeScript surface area.\n *\n * **Tolerance for `'unknown'`.** Treat `'unknown'` as \"any goes.\" Don't\n * report errors against fields whose schema we don't know — those are\n * the schema's gaps, not the agent's.\n */\n\nexport type ValidationError = {\n  /**\n   * Dot-bracket path rooted at the Msg payload (NOT including `type`).\n   * - top-level field: `'cells'`\n   * - nested object property: `'cells.value'`\n   * - array element: `'cells[0]'` (concrete index from the input)\n   * - discriminated-union branch: `'format(kind=range).max'` — the\n   *   parenthesised `<discriminant>=<value>` segment names which branch\n   *   the error applies to, distinguishing the same field name across\n   *   branches.\n   */\n  path: string\n  code:\n    | 'unknown-variant'\n    | 'missing'\n    | 'wrong-type'\n    | 'not-in-enum'\n    | 'not-array'\n    | 'not-object'\n    | 'missing-discriminant'\n    | 'unknown-discriminant-value'\n    | 'unexpected-field'\n    | 'validates-failed'\n  message: string\n}\n\nexport type ValidationWarning = {\n  path: string\n  code: 'untyped-field'\n  message: string\n}\n\nexport type ValidationResult =\n  | { ok: true; warnings?: ValidationWarning[] }\n  | { ok: false; errors: ValidationError[]; warnings?: ValidationWarning[] }\n\nexport type ValidationOptions = {\n  /**\n   * `'strict'` rejects fields that aren't declared in the schema (typos,\n   * extra keys, fields the LLM hallucinated). Also emits warnings when\n   * the agent provides a value for a field whose schema is `'unknown'`\n   * — the validator can't structurally check the value, so the warning\n   * surfaces the gap to the LLM (\"we accepted this but didn't validate\n   * it\"). `'lenient'` (default) accepts extras silently and treats\n   * `'unknown'` as a passthrough.\n   *\n   * Strict mode pairs with the cross-file schema fidelity in\n   * `@llui/vite-plugin`@0.0.36+: with most fields fully resolved, strict\n   * is rarely surprising. Apps that haven't migrated yet may find\n   * strict overzealous and should stay on lenient.\n   */\n  policy?: 'strict' | 'lenient'\n}\n\nexport function validatePayload(\n  msg: unknown,\n  schema: MsgSchemaShape | null,\n  opts: ValidationOptions = {},\n): ValidationResult {\n  if (msg === null || typeof msg !== 'object' || Array.isArray(msg)) {\n    return {\n      ok: false,\n      errors: [{ path: '', code: 'not-object', message: 'msg must be a plain object' }],\n    }\n  }\n  const m = msg as Record<string, unknown>\n  const variantKey = m[schema?.discriminant ?? 'type']\n  if (typeof variantKey !== 'string') {\n    return {\n      ok: false,\n      errors: [\n        {\n          path: schema?.discriminant ?? 'type',\n          code: 'missing',\n          message: `msg.${schema?.discriminant ?? 'type'} must be a string variant tag`,\n        },\n      ],\n    }\n  }\n\n  // No schema available — the compiler didn't emit one, or the LLM is\n  // talking to a build that predates schema emission. Accept the msg\n  // structurally; the reducer will validate semantically.\n  if (!schema) return { ok: true }\n\n  const variantSchema = schema.variants[variantKey]\n  if (!variantSchema) {\n    return {\n      ok: false,\n      errors: [\n        {\n          path: schema.discriminant,\n          code: 'unknown-variant',\n          message: `'${variantKey}' is not a known variant. Legal values: ${Object.keys(\n            schema.variants,\n          )\n            .map((v) => `'${v}'`)\n            .join(', ')}.`,\n        },\n      ],\n    }\n  }\n\n  const errors: ValidationError[] = []\n  const warnings: ValidationWarning[] = []\n  const policy = opts.policy ?? 'lenient'\n  const payload: Record<string, unknown> = {}\n  for (const [k, v] of Object.entries(m)) {\n    if (k !== schema.discriminant) payload[k] = v\n  }\n  validateObjectShape(payload, variantSchema, '', errors, warnings, policy)\n  if (errors.length === 0) {\n    return warnings.length === 0 ? { ok: true } : { ok: true, warnings }\n  }\n  return warnings.length === 0 ? { ok: false, errors } : { ok: false, errors, warnings }\n}\n\nfunction validateObjectShape(\n  value: Record<string, unknown>,\n  shape: Record<string, MsgSchemaField>,\n  pathPrefix: string,\n  errors: ValidationError[],\n  warnings: ValidationWarning[],\n  policy: 'strict' | 'lenient',\n): void {\n  for (const [name, descriptor] of Object.entries(shape)) {\n    const fieldPath = pathPrefix === '' ? name : `${pathPrefix}.${name}`\n    const present = Object.prototype.hasOwnProperty.call(value, name)\n    const optional = isOptional(descriptor)\n    const fieldValue = present ? value[name] : undefined\n\n    if (!present || fieldValue === undefined) {\n      if (!optional) {\n        errors.push({\n          path: fieldPath,\n          code: 'missing',\n          message: `required field is missing`,\n        })\n      }\n      continue\n    }\n\n    const ft = fieldType(descriptor)\n    if (ft === 'unknown' && policy === 'strict') {\n      warnings.push({\n        path: fieldPath,\n        code: 'untyped-field',\n        message: `value accepted but field schema is 'unknown' — the validator could not structurally check it. If this field is reachable across file boundaries, consider whether @llui/vite-plugin can resolve it.`,\n      })\n    }\n\n    const errCountBefore = errors.length\n    validateField(fieldValue, ft, fieldPath, errors, warnings, policy)\n    const structurallyValid = errors.length === errCountBefore\n\n    // Domain-invariant predicate (`@validates(\"expr\")`). Runs only\n    // when structural validation passed for this field — without the\n    // right shape, the predicate would either throw (and we'd have to\n    // double-report) or accidentally pass (e.g. `v.length` on a string\n    // when we expected a number array). Predicate failures are errors\n    // regardless of policy — the author opted into the constraint\n    // deliberately.\n    if (structurallyValid) {\n      const validates = fieldValidatesPredicate(descriptor)\n      if (validates !== null) {\n        const predicate = compilePredicate(validates)\n        let passed: boolean\n        try {\n          passed = Boolean(predicate(fieldValue))\n        } catch {\n          passed = false\n        }\n        if (!passed) {\n          errors.push({\n            path: fieldPath,\n            code: 'validates-failed',\n            message: `value violates \\`@validates(\"${validates}\")\\``,\n          })\n        }\n      }\n    }\n  }\n\n  // Strict mode: reject fields the schema doesn't declare. Catches\n  // typos (`{tile: 'X'}` instead of `{title: 'X'}`), hallucinated\n  // fields, and stale field names from before a refactor. Lenient\n  // mode accepts extras silently — same shape TypeScript's structural\n  // subtyping accepts at the call site.\n  if (policy === 'strict') {\n    for (const key of Object.keys(value)) {\n      if (key in shape) continue\n      const fieldPath = pathPrefix === '' ? key : `${pathPrefix}.${key}`\n      errors.push({\n        path: fieldPath,\n        code: 'unexpected-field',\n        message: `field '${key}' is not in the schema. Legal fields: ${Object.keys(shape)\n          .map((k) => `'${k}'`)\n          .join(', ')}.`,\n      })\n    }\n  }\n}\n\nfunction validateField(\n  value: unknown,\n  type: MsgSchemaBareType,\n  path: string,\n  errors: ValidationError[],\n  warnings: ValidationWarning[],\n  policy: 'strict' | 'lenient',\n): void {\n  if (type === 'unknown') return // schema gap; accept anything\n  if (typeof type === 'string') {\n    // Primitive keyword: 'string', 'number', 'boolean'.\n    if (typeof value !== type) {\n      errors.push({\n        path,\n        code: 'wrong-type',\n        message: `expected ${type}, got ${describeType(value)}`,\n      })\n    }\n    return\n  }\n  if ('enum' in type) {\n    // Use Object.is so NaN and -0 match correctly; falls back to ===\n    // semantics for ordinary values.\n    const ok = type.enum.some((legal) => Object.is(legal, value) || legal === value)\n    if (!ok) {\n      errors.push({\n        path,\n        code: 'not-in-enum',\n        message: `'${String(value)}' is not in the enum. Legal values: ${type.enum\n          .map((v) => formatEnumValue(v))\n          .join(', ')}.`,\n      })\n    }\n    return\n  }\n  if (type.kind === 'object') {\n    if (value === null || typeof value !== 'object' || Array.isArray(value)) {\n      errors.push({\n        path,\n        code: 'not-object',\n        message: `expected object, got ${describeType(value)}`,\n      })\n      return\n    }\n    validateObjectShape(\n      value as Record<string, unknown>,\n      type.shape,\n      path,\n      errors,\n      warnings,\n      policy,\n    )\n    return\n  }\n  if (type.kind === 'array') {\n    if (!Array.isArray(value)) {\n      errors.push({\n        path,\n        code: 'not-array',\n        message: `expected array, got ${describeType(value)}`,\n      })\n      return\n    }\n    for (let i = 0; i < value.length; i++) {\n      validateField(value[i], type.element, `${path}[${i}]`, errors, warnings, policy)\n    }\n    return\n  }\n  if (type.kind === 'discriminated-union') {\n    if (value === null || typeof value !== 'object' || Array.isArray(value)) {\n      errors.push({\n        path,\n        code: 'not-object',\n        message: `expected discriminated-union object, got ${describeType(value)}`,\n      })\n      return\n    }\n    const obj = value as Record<string, unknown>\n    const discValue = obj[type.discriminant]\n    if (typeof discValue !== 'string') {\n      errors.push({\n        path: `${path}.${type.discriminant}`,\n        code: 'missing-discriminant',\n        message: `discriminant '${type.discriminant}' must be one of: ${Object.keys(type.variants)\n          .map((v) => `'${v}'`)\n          .join(', ')}`,\n      })\n      return\n    }\n    const branchSchema = type.variants[discValue]\n    if (!branchSchema) {\n      errors.push({\n        path: `${path}.${type.discriminant}`,\n        code: 'unknown-discriminant-value',\n        message: `'${discValue}' is not a legal '${type.discriminant}'. Legal values: ${Object.keys(\n          type.variants,\n        )\n          .map((v) => `'${v}'`)\n          .join(', ')}.`,\n      })\n      return\n    }\n    // Recurse into the matched branch's payload (excluding the\n    // discriminant itself, which is already validated above).\n    const branchPayload: Record<string, unknown> = {}\n    for (const [k, v] of Object.entries(obj)) {\n      if (k !== type.discriminant) branchPayload[k] = v\n    }\n    const branchPath = `${path}(${type.discriminant}=${discValue})`\n    validateObjectShape(branchPayload, branchSchema, branchPath, errors, warnings, policy)\n  }\n}\n\nfunction isOptional(d: MsgSchemaField): boolean {\n  return typeof d === 'object' && d !== null && 'type' in d && d.optional === true\n}\n\nfunction fieldType(d: MsgSchemaField): MsgSchemaBareType {\n  if (typeof d === 'object' && d !== null && 'type' in d) return d.type\n  return d\n}\n\nfunction fieldValidatesPredicate(d: MsgSchemaField): string | null {\n  if (typeof d === 'object' && d !== null && 'type' in d && typeof d.validates === 'string') {\n    return d.validates\n  }\n  return null\n}\n\nconst predicateCache = new Map<string, (v: unknown) => boolean>()\n\n/**\n * Compile a `@validates(...)` predicate string into a runtime function.\n * Caches across calls — the schema is static at runtime, so each\n * predicate is compiled at most once.\n *\n * The predicate sees `v` as the field's value and inherits the host\n * environment's globals (Math, JSON, RegExp, etc.). On any compile\n * error, returns a no-op `() => true` so a malformed predicate doesn't\n * break dispatch — the build-time linter (`agent-validates-syntax`,\n * future) is the right place to catch syntactic issues.\n */\nfunction compilePredicate(src: string): (v: unknown) => boolean {\n  let fn = predicateCache.get(src)\n  if (fn) return fn\n  try {\n    // eslint-disable-next-line @typescript-eslint/no-implied-eval\n    fn = new Function('v', `return (${src})`) as (v: unknown) => boolean\n  } catch {\n    fn = () => true\n  }\n  predicateCache.set(src, fn)\n  return fn\n}\n\nfunction describeType(v: unknown): string {\n  if (v === null) return 'null'\n  if (Array.isArray(v)) return 'array'\n  return typeof v\n}\n\nfunction formatEnumValue(v: string | number | boolean): string {\n  return typeof v === 'string' ? `'${v}'` : String(v)\n}\n"]}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@llui/agent",
-  "version": "0.0.38",
+  "version": "0.0.39",
   "type": "module",
   "sideEffects": false,
   "exports": {