@clawdreyhepburn/carapace 0.3.2 → 0.3.3

package/dist/cedar-engine-cedarling.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"cedar-engine-cedarling.js","sourceRoot":"","sources":["../src/cedar-engine-cedarling.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EAAE,YAAY,EAAE,aAAa,EAAE,SAAS,EAAE,UAAU,EAAE,WAAW,EAAE,UAAU,EAAE,MAAM,SAAS,CAAC;AACtG,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,OAAO,EAAE,MAAM,SAAS,CAAC;AAClC,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AACzC,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAmDpC,MAAM,OAAO,eAAe;IAClB,SAAS,CAAS;IAClB,aAAa,CAA2B;IACxC,YAAY,CAAU;IACtB,MAAM,CAAS;IACf,SAAS,CAAS;IAClB,eAAe,CAAS;IAEhC,kBAAkB;IACV,SAAS,GAA6B,IAAI,CAAC;IAC3C,UAAU,GAAyB,IAAI,CAAC;IAEhD,qEAAqE;IAC7D,QAAQ,GAAiD,IAAI,GAAG,EAAE,CAAC;IACnE,UAAU,GAAQ,IAAI,CAAC;IACvB,SAAS,GAAW,EAAE,CAAC;IAE/B,YAAY,IAAyB;QACnC,IAAI,CAAC,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,GAAG,EAAE,OAAO,EAAE,CAAC,CAAC;QACxD,IAAI,CAAC,aAAa,GAAG,IAAI,CAAC,aAAa,CAAC;QACxC,IAAI,CAAC,YAAY,GAAG,IAAI,CAAC,MAAM,CAAC;QAChC,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC;QAC1B,IAAI,CAAC,SAAS,GAAG,IAAI,CAAC,SAAS,IAAI,MAAM,CAAC;QAC1C,IAAI,CAAC,eAAe,GAAG,IAAI,CAAC,eAAe,IAAI,UAAU,CAAC;IAC5D,CAAC;IAED,KAAK,CAAC,IAAI;QACR,SAAS,CAAC,IAAI,CAAC,SAAS,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;QAE/C,6BAA6B;QAC7B,IAAI,CAAC;YACH,MAAM,IAAI,CAAC,QAAQ,EAAE,CAAC;QACxB,CAAC;QAAC,OAAO,GAAQ,EAAE,CAAC;YAClB,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,+DAA+D,GAAG,CAAC,OAAO,EAAE,CAAC,CAAC;QACjG,CAAC;QAED,mCAAmC;QACnC,IAAI,CAAC,oBAAoB,EAAE,CAAC;QAE5B,yCAAyC;QACzC,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,aAAa,CAAC,CAAC;QACvD,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC,EAAE,CAAC;YAC5B,IAAI,CAAC,kBAAkB,EAAE,CAAC;QAC5B,CAAC;QACD,IAAI,CAAC,SAAS,GAAG,YAAY,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;QACnD,IAAI,CAAC;YACH,IAAI,CAAC,UAAU,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAC/C,CAAC;QAAC,MAAM,CAAC;YACP,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,6BAA6B,CAAC,CAAC;QAClD,CAAC;QAED,4BAA4B;QAC5B,MAAM,IAAI,CAAC,gBAAgB,EAAE,CAAC;QAE9B,IAAI,CAAC,MAAM,CAAC,IAAI,CACd,iCAAiC,IAAI,CAAC,QAAQ,CAAC,IAAI,aAAa;YAC9D,QAAQ,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,aAAa,EAAE,CACtD,CAAC;IACJ,CAAC;IAED;;OAEG;IACH,KAAK,CAAC,SAAS,CAAC,OAAqB;QACnC,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,CAAC;YACpB,4DAA4D;YAC5D,OAAO,IAAI,CAAC,cAAc,CAAC,OAAO,CAAC,CAAC;QACtC,CAAC;QAED,IAAI,CAAC;YACH,0CAA0C;YAC1C,MAAM,WAAW,GAAG,OAAO,CAAC,SAAS;iBAClC,OAAO,CAAC,QAAQ,EAAE,EAAE,CAAC;iBACrB,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;YAErB,MAAM,UAAU,GAAG,OAAO,CAAC,QAAQ;iBAChC,OAAO,CAAC,QAAQ,EAAE,EAAE,CAAC;iBACrB,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;YAErB,MAAM,UAAU,GAAG,OAAO,CAAC,MAAM;iBAC9B,OAAO,CAAC,QAAQ,EAAE,EAAE,CAAC;iBACrB,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;YAErB,yDAAyD;YACzD,iDAAiD;YACjD,IAAI,kBAAkB,GAAG,MAAM,CAAC;YAChC,MAAM,SAAS,GAAG,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,oBAAoB,CAAC,CAAC;YAC/D,IAAI,SAAS;gBAAE,kBAAkB,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;YAEjD,MAAM,YAAY,GAA4B,EAAE,GAAG,CAAC,OAAO,CAAC,OAAO,IAAI,EAAE,CAAC,EAAE,CAAC;YAE7E,MAAM,oBAAoB,GAAG,WAAW,CAAC;YAEzC,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,SAAS,CAAC,kBAAkB,CAAC;gBACrD,UAAU,EAAE;oBACV;wBACE,oBAAoB,EAAE;4BACpB,WAAW,EAAE,GAAG,IAAI,CAAC,SAAS,KAAK,IAAI,CAAC,eAAe,EAAE;4BACzD,EAAE,EAAE,oBAAoB;yBACzB;wBACD,IAAI,EAAE,oBAAoB;qBAC3B;iBACF;gBACD,MAAM,EAAE,GAAG,IAAI,CAAC,SAAS,cAAc,UAAU,GAAG;gBACpD,QAAQ,EAAE;oBACR,oBAAoB,EAAE;wBACpB,WAAW,EAAE,GAAG,IAAI,CAAC,SAAS,KAAK,kBAAkB,EAAE;wBACvD,EAAE,EAAE,UAAU;qBACf;oBACD,GAAG,CAAC,OAAO,CAAC,OAAO,IAAI,EAAE,CAAC;iBAC3B;gBACD,OAAO,EAAE,YAAY;aACtB,CAAC,CAAC;YAEH,MAAM,QAAQ,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC;YACpD,MAAM,UAAU,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,WAAW,EAAE,CAAC,CAAC;YAEpD,sCAAsC;YACtC,MAAM,OAAO,GAAa,EAAE,CAAC;YAC7B,IAAI,UAAU,CAAC,UAAU,EAAE,CAAC;gBAC1B,KAAK,MAAM,CAAC,SAAS,EAAE,WAAW,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,UAAU,CAAQ,EAAE,CAAC;oBACpF,MAAM,IAAI,GAAG,WAAW,CAAC,WAAW,CAAC;oBACrC,IAAI,IAAI,EAAE,MAAM,EAAE,CAAC;wBACjB,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;4BAC5B,OAAO,CAAC,IAAI,CAAC,GAAG,WAAW,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC,CAAC;wBACpE,CAAC;oBACH,CAAC;gBACH,CAAC;YACH,CAAC;YAED,OAAO,EAAE,QAAQ,EAAE,QAA4B,EAAE,OAAO,EAAE,CAAC;QAC7D,CAAC;QAAC,OAAO,GAAQ,EAAE,CAAC;YAClB,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,8BAA8B,GAAG,CAAC,OAAO,EAAE,CAAC,CAAC;YAC/D,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC,oBAAoB,GAAG,CAAC,OAAO,EAAE,CAAC,EAAE,CAAC;QAC5E,CAAC;IACH,CAAC;IAED;;;;OAIG;IACH,cAAc,CAAC,aAAqB,EAAE,eAAuB,MAAM,EAAE,SAAiB,WAAW;QAC/F,MAAM,IAAI,GAAG,aAAa,CAAC,OAAO,CAAC,iBAAiB,EAAE,GAAG,CAAC,CAAC;QAC3D,MAAM,QAAQ,GAAG,GAAG,YAAY,CAAC,WAAW,EAAE,WAAW,IAAI,EAAE,CAAC;QAChE,MAAM,GAAG,GAAG,2BAA2B,IAAI,CAAC,SAAS,KAAK,IAAI,CAAC,eAAe,kBAAkB,IAAI,CAAC,SAAS,cAAc,MAAM,qBAAqB,IAAI,CAAC,SAAS,KAAK,YAAY,MAAM,aAAa,OAAO,CAAC;QAEjN,MAAM,SAAS,GAAG,GAAG,YAAY,CAAC,WAAW,EAAE,YAAY,IAAI,EAAE,CAAC;QAClE,IAAI,CAAC,gBAAgB,CAAC,SAAS,CAAC,CAAC;QAEjC,IAAI,CAAC,eAAe,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC;QACpC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,QAAQ,EAAE,EAAE,MAAM,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC,CAAC;QACvD,IAAI,CAAC,gBAAgB,EAAE,CAAC,KAAK,CAAC,GAAG,EAAE,GAAE,CAAC,CAAC,CAAC;QACxC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,WAAW,YAAY,KAAK,aAAa,EAAE,CAAC,CAAC;IAChE,CAAC;IAED;;OAEG;IACH,eAAe,CAAC,aAAqB,EAAE,eAAuB,MAAM,EAAE,SAAiB,WAAW;QAChG,MAAM,IAAI,GAAG,aAAa,CAAC,OAAO,CAAC,iBAAiB,EAAE,GAAG,CAAC,CAAC;QAC3D,MAAM,QAAQ,GAAG,GAAG,YAAY,CAAC,WAAW,EAAE,YAAY,IAAI,EAAE,CAAC;QACjE,MAAM,GAAG,GAAG,sCAAsC,IAAI,CAAC,SAAS,cAAc,MAAM,qBAAqB,IAAI,CAAC,SAAS,KAAK,YAAY,MAAM,aAAa,OAAO,CAAC;QAEnK,MAAM,QAAQ,GAAG,GAAG,YAAY,CAAC,WAAW,EAAE,WAAW,IAAI,EAAE,CAAC;QAChE,IAAI,CAAC,gBAAgB,CAAC,QAAQ,CAAC,CAAC;QAEhC,IAAI,CAAC,eAAe,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC;QACpC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,QAAQ,EAAE,EAAE,MAAM,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC,CAAC;QACvD,IAAI,CAAC,gBAAgB,EAAE,CAAC,KAAK,CAAC,GAAG,EAAE,GAAE,CAAC,CAAC,CAAC;QACxC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,YAAY,YAAY,KAAK,aAAa,EAAE,CAAC,CAAC;IACjE,CAAC;IAED,mCAAmC;IACnC,UAAU,CAAC,aAAqB;QAC9B,IAAI,CAAC,cAAc,CAAC,aAAa,EAAE,MAAM,EAAE,WAAW,CAAC,CAAC;IAC1D,CAAC;IACD,WAAW,CAAC,aAAqB;QAC/B,IAAI,CAAC,eAAe,CAAC,aAAa,EAAE,MAAM,EAAE,WAAW,CAAC,CAAC;IAC3D,CAAC;IAED;;;OAGG;IACH,aAAa,CAAC,aAAqB;QACjC,IAAI,SAAS,GAAG,KAAK,CAAC;QACtB,IAAI,SAAS,GAAG,KAAK,CAAC;QACtB,KAAK,MAAM,CAAC,EAAE,MAAM,CAAC,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;YACvC,oDAAoD;YACpD,MAAM,YAAY,GAAG,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,aAAa,GAAG,CAAC,CAAC;YAC/D,qEAAqE;YACrE,MAAM,SAAS,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC;YAElD,IAAI,YAAY,IAAI,SAAS,EAAE,CAAC;gBAC9B,IAAI,MAAM,CAAC,MAAM,KAAK,QAAQ;oBAAE,SAAS,GAAG,IAAI,CAAC;gBACjD,IAAI,MAAM,CAAC,MAAM,KAAK,QAAQ;oBAAE,SAAS,GAAG,IAAI,CAAC;YACnD,CAAC;QACH,CAAC;QACD,OAAO,SAAS,IAAI,CAAC,SAAS,CAAC;IACjC,CAAC;IAED,UAAU,CAAC,EAAU,EAAE,GAAW;QAChC,MAAM,MAAM,GAAG,GAAG,CAAC,SAAS,EAAE,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC;QAC1E,IAAI,CAAC,eAAe,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC;QAC9B,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC;QACvC,IAAI,CAAC,gBAAgB,EAAE,CAAC,KAAK,CAAC,GAAG,EAAE,GAAE,CAAC,CAAC,CAAC;QACxC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,iBAAiB,EAAE,EAAE,CAAC,CAAC;IAC1C,CAAC;IAED,YAAY,CAAC,EAAU;QACrB,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;YAAE,OAAO,KAAK,CAAC;QACzC,IAAI,CAAC,gBAAgB,CAAC,EAAE,CAAC,CAAC;QAC1B,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QACzB,IAAI,CAAC,gBAAgB,EAAE,CAAC,KAAK,CAAC,GAAG,EAAE,GAAE,CAAC,CAAC,CAAC;QACxC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,mBAAmB,EAAE,EAAE,CAAC,CAAC;QAC1C,OAAO,IAAI,CAAC;IACd,CAAC;IAED,gBAAgB;QACd,OAAO,IAAI,CAAC,aAAa,CAAC;IAC5B,CAAC;IAED,WAAW;QACT,OAAO,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;IACvE,CAAC;IAED,SAAS;QACP,OAAO;YACL,GAAG,IAAI,CAAC,iBAAiB,CAAC,IAAI,CAAC,SAAS,CAAC;YACzC,GAAG,EAAE,IAAI,CAAC,SAAS;SACpB,CAAC;IACJ,CAAC;IAED,UAAU,CAAC,GAAW;QACpB,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,aAAa,CAAC,CAAC;QACvD,aAAa,CAAC,UAAU,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC;QACxC,IAAI,CAAC,SAAS,GAAG,GAAG,CAAC;QACrB,IAAI,CAAC;YACH,IAAI,CAAC,UAAU,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;QACpC,CAAC;QAAC,MAAM,CAAC,CAAA,CAAC;QACV,IAAI,CAAC,gBAAgB,EAAE,CAAC,KAAK,CAAC,GAAG,EAAE,GAAE,CAAC,CAAC,CAAC;QACxC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;IACrC,CAAC;IAED,KAAK,CAAC,MAAM;QACV,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QAEzB,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,CAAC;YACpB,OAAO;gBACL,EAAE,EAAE,IAAI;gBACR,MAAM,EAAE,CAAC,2CAA2C,CAAC;gBACrD,UAAU,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,KAAK;aAC/B,CAAC;QACJ,CAAC;QAED,qEAAqE;QACrE,8DAA8D;QAC9D,IAAI,CAAC;YACH,KAAK,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC,WAAW,EAAE,MAAM,CAAC,EAAE,CAAC,cAAc,EAAE,OAAO,CAAC,EAAE,CAAC,UAAU,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC;gBACxG,MAAM,IAAI,CAAC,SAAS,CAAC,kBAAkB,CAAC;oBACtC,UAAU,EAAE;wBACV;4BACE,oBAAoB,EAAE;gCACpB,WAAW,EAAE,GAAG,IAAI,CAAC,SAAS,KAAK,IAAI,CAAC,eAAe,EAAE;gCACzD,EAAE,EAAE,kBAAkB;6BACvB;yBACF;qBACF;oBACD,MAAM,EAAE,GAAG,IAAI,CAAC,SAAS,cAAc,MAAM,GAAG;oBAChD,QAAQ,EAAE;wBACR,oBAAoB,EAAE;4BACpB,WAAW,EAAE,GAAG,IAAI,CAAC,SAAS,KAAK,OAAO,EAAE;4BAC5C,EAAE,EAAE,kBAAkB;yBACvB;qBACF;oBACD,OAAO,EAAE,EAAE;iBACZ,CAAC,CAAC;YACL,CAAC;YACD,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,UAAU,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,KAAK,EAAE,CAAC;QAClE,CAAC;QAAC,OAAO,GAAQ,EAAE,CAAC;YAClB,OAAO;gBACL,EAAE,EAAE,KAAK;gBACT,MAAM,EAAE,CAAC,GAAG,CAAC,OAAO,CAAC;gBACrB,UAAU,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,KAAK;aAC/B,CAAC;QACJ,CAAC;IACH,CAAC;IAED,8BAA8B;IAEtB,KAAK,CAAC,QAAQ;QACpB,MAAM,GAAG,GAAG,MAAM,MAAM,CAAC,gCAAgC,CAAC,CAAC;QAC3D,IAAI,CAAC,UAAU,GAAG,GAAG,CAAC;QAEtB,uBAAuB;QACvB,MAAM,OAAO,GAAG,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,gCAAgC,CAAC,CAAC,CAAC;QACrF,MAAM,QAAQ,GAAG,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,wBAAwB,CAAC,CAAC;QAClE,MAAM,SAAS,GAAG,YAAY,CAAC,QAAQ,CAAC,CAAC;QAEzC,GAAG,CAAC,QAAQ,CAAC,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC,CAAC;QACpC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,oCAAoC,CAAC,CAAC;IACzD,CAAC;IAED;;;OAGG;IACK,KAAK,CAAC,gBAAgB;QAC5B,IAAI,CAAC,IAAI,CAAC,UAAU;YAAE,OAAO;QAE7B,IAAI,CAAC;YACH,MAAM,WAAW,GAAG,IAAI,CAAC,gBAAgB,EAAE,CAAC;YAC5C,MAAM,MAAM,GAAG;gBACb,0BAA0B,EAAE,UAAU;gBACtC,4BAA4B,EAAE,IAAI,CAAC,SAAS,CAAC,WAAW,CAAC;gBACzD,kBAAkB,EAAE,KAAK;gBACzB,oBAAoB,EAAE,UAAU;gBAChC,wBAAwB,EAAE,SAAS;gBACnC,4BAA4B,EAAE,UAAU;gBACxC,4CAA4C,EAAE,CAAC,OAAO,CAAC;gBACvD,6BAA6B,EAAE,QAAQ;gBACvC,0BAA0B,EAAE,GAAG,IAAI,CAAC,SAAS,KAAK,IAAI,CAAC,eAAe,EAAE;gBACxE,4CAA4C;gBAC5C,qCAAqC,EAAE;oBACrC,EAAE,EAAE;wBACF,EAAE,KAAK,EAAE,CAAC,EAAE,GAAG,EAAE,GAAG,IAAI,CAAC,SAAS,KAAK,IAAI,CAAC,eAAe,EAAE,EAAE,EAAE,OAAO,CAAC,EAAE;qBAC5E;iBACF;aACF,CAAC;YAEF,IAAI,CAAC,SAAS,GAAG,MAAM,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YACpD,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC,4BAA4B,CAAC,CAAC;QACpD,CAAC;QAAC,OAAO,GAAQ,EAAE,CAAC;YAClB,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,gCAAgC,GAAG,CAAC,OAAO,EAAE,CAAC,CAAC;YACjE,gEAAgE;QAClE,CAAC;IACH,CAAC;IAED;;OAEG;IACK,gBAAgB;QACtB,MAAM,QAAQ,GAAqC,EAAE,CAAC;QACtD,KAAK,MAAM,CAAC,EAAE,EAAE,MAAM,CAAC,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;YACzC,QAAQ,CAAC,EAAE,CAAC,GAAG;gBACb,WAAW,EAAE,EAAE;gBACf,aAAa,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;gBACvC,cAAc,EAAE,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC;aAC3D,CAAC;QACJ,CAAC;QAED,gEAAgE;QAChE,IAAI,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,MAAM,KAAK,CAAC,IAAI,IAAI,CAAC,aAAa,KAAK,WAAW,EAAE,CAAC;YAC7E,MAAM,GAAG,GAAG,2BAA2B,IAAI,CAAC,SAAS,KAAK,IAAI,CAAC,eAAe,8BAA8B,CAAC;YAC7G,QAAQ,CAAC,eAAe,CAAC,GAAG;gBAC1B,WAAW,EAAE,0BAA0B;gBACvC,aAAa,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;gBACvC,cAAc,EAAE,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC;aACpD,CAAC;QACJ,CAAC;QAED,kEAAkE;QAClE,uCAAuC;QACvC,IAAI,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACvC,MAAM,GAAG,GAAG,iEAAiE,CAAC;YAC9E,QAAQ,CAAC,kBAAkB,CAAC,GAAG;gBAC7B,WAAW,EAAE,0BAA0B;gBACvC,aAAa,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;gBACvC,cAAc,EAAE,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC;aACpD,CAAC;QACJ,CAAC;QAED,MAAM,SAAS,GAAG,MAAM,CAAC,IAAI,CAC3B,IAAI,CAAC,SAAS,IAAI,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,sBAAsB,EAAE,CAAC,CAChE,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;QAErB,OAAO;YACL,aAAa,EAAE,QAAQ;YACvB,aAAa,EAAE;gBACb,GAAG,EAAE;oBACH,IAAI,EAAE,UAAU;oBAChB,WAAW,EAAE,wDAAwD;oBACrE,QAAQ;oBACR,MAAM,EAAE,SAAS;oBACjB,eAAe,EAAE,EAAE;iBACpB;aACF;SACF,CAAC;IACJ,CAAC;IAED,0BAA0B;IAElB,oBAAoB;QAC1B,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC;QACtB,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC;YAAE,OAAO;QACxC,KAAK,MAAM,IAAI,IAAI,WAAW,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC;YAC/C,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC;gBAAE,SAAS;YACvC,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC;YACxC,MAAM,GAAG,GAAG,YAAY,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;YACxC,MAAM,EAAE,GAAG,IAAI,CAAC,OAAO,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;YACtC,MAAM,MAAM,GAAG,GAAG,CAAC,SAAS,EAAE,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC;YAC1E,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,EAAE,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC,CAAC;QACzC,CAAC;IACH,CAAC;IAEO,eAAe,CAAC,EAAU,EAAE,GAAW;QAC7C,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,GAAG,EAAE,QAAQ,CAAC,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC;IACnE,CAAC;IAEO,gBAAgB,CAAC,EAAU;QACjC,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,GAAG,EAAE,QAAQ,CAAC,CAAC;QACjD,IAAI,UAAU,CAAC,IAAI,CAAC;YAAE,UAAU,CAAC,IAAI,CAAC,CAAC;QACvC,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;IAC3B,CAAC;IAEO,kBAAkB;QACxB,MAAM,MAAM,GAAG,IAAI,CAAC,sBAAsB,EAAE,CAAC;QAC7C,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,aAAa,CAAC,CAAC;QACvD,aAAa,CAAC,UAAU,EAAE,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;QACpE,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,mCAAmC,CAAC,CAAC;IACxD,CAAC;IAEO,sBAAsB;QAC5B,OAAO;YACL,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE;gBAChB,WAAW,EAAE;oBACX,CAAC,IAAI,CAAC,eAAe,CAAC,EAAE;wBACtB,KAAK,EAAE;4BACL,IAAI,EAAE,QAAQ;4BACd,UAAU,EAAE;gCACV,IAAI,EAAE;oCACJ,IAAI,EAAE,gBAAgB;oCACtB,IAAI,EAAE,QAAQ;oCACd,QAAQ,EAAE,KAAK;iCAChB;6BACF;yBACF;qBACF;oBACD,KAAK,EAAE;wBACL,KAAK,EAAE;4BACL,IAAI,EAAE,QAAQ;4BACd,UAAU,EAAE;gCACV,IAAI,EAAE;oCACJ,IAAI,EAAE,gBAAgB;oCACtB,IAAI,EAAE,QAAQ;oCACd,QAAQ,EAAE,KAAK;iCAChB;gCACD,WAAW,EAAE;oCACX,IAAI,EAAE,KAAK;oCACX,OAAO,EAAE,EAAE,IAAI,EAAE,gBAAgB,EAAE,IAAI,EAAE,QAAQ,EAAE;oCACnD,QAAQ,EAAE,KAAK;iCAChB;gCACD,MAAM,EAAE;oCACN,IAAI,EAAE,gBAAgB;oCACtB,IAAI,EAAE,QAAQ;oCACd,QAAQ,EAAE,KAAK;iCAChB;gCACD,KAAK,EAAE;oCACL,IAAI,EAAE,gBAAgB;oCACtB,IAAI,EAAE,MAAM;oCACZ,QAAQ,EAAE,KAAK;iCAChB;gCACD,kBAAkB,EAAE;oCAClB,IAAI,EAAE,gBAAgB;oCACtB,IAAI,EAAE,SAAS;oCACf,QAAQ,EAAE,KAAK;iCAChB;6BACF;yBACF;qBACF;oBACD,IAAI,EAAE;wBACJ,KAAK,EAAE;4BACL,IAAI,EAAE,QAAQ;4BACd,UAAU,EAAE;gCACV,MAAM,EAAE;oCACN,IAAI,EAAE,gBAAgB;oCACtB,IAAI,EAAE,QAAQ;oCACd,QAAQ,EAAE,KAAK;iCAChB;gCACD,IAAI,EAAE;oCACJ,IAAI,EAAE,gBAAgB;oCACtB,IAAI,EAAE,QAAQ;oCACd,QAAQ,EAAE,KAAK;iCAChB;gCACD,OAAO,EAAE;oCACP,IAAI,EAAE,gBAAgB;oCACtB,IAAI,EAAE,QAAQ;oCACd,QAAQ,EAAE,KAAK;iCAChB;gCACD,IAAI,EAAE;oCACJ,IAAI,EAAE,gBAAgB;oCACtB,IAAI,EAAE,QAAQ;oCACd,QAAQ,EAAE,KAAK;iCAChB;gCACD,MAAM,EAAE;oCACN,IAAI,EAAE,gBAAgB;oCACtB,IAAI,EAAE,QAAQ;oCACd,QAAQ,EAAE,KAAK;iCAChB;6BACF;yBACF;qBACF;oBACD,KAAK,EAAE;wBACL,KAAK,EAAE;4BACL,IAAI,EAAE,QAAQ;4BACd,UAAU,EAAE;gCACV,OAAO,EAAE;oCACP,IAAI,EAAE,gBAAgB;oCACtB,IAAI,EAAE,QAAQ;oCACd,QAAQ,EAAE,KAAK;iCAChB;gCACD,OAAO,EAAE;oCACP,IAAI,EAAE,gBAAgB;oCACtB,IAAI,EAAE,QAAQ;oCACd,QAAQ,EAAE,KAAK;iCAChB;6BACF;yBACF;qBACF;oBACD,GAAG,EAAE;wBACH,KAAK,EAAE;4BACL,IAAI,EAAE,QAAQ;4BACd,UAAU,EAAE;gCACV,GAAG,EAAE;oCACH,IAAI,EAAE,gBAAgB;oCACtB,IAAI,EAAE,QAAQ;oCACd,QAAQ,EAAE,KAAK;iCAChB;gCACD,MAAM,EAAE;oCACN,IAAI,EAAE,gBAAgB;oCACtB,IAAI,EAAE,QAAQ;oCACd,QAAQ,EAAE,KAAK;iCAChB;gCACD,MAAM,EAAE;oCACN,IAAI,EAAE,gBAAgB;oCACtB,IAAI,EAAE,QAAQ;oCACd,QAAQ,EAAE,KAAK;iCAChB;6BACF;yBACF;qBACF;iBACF;gBACD,OAAO,EAAE;oBACP,SAAS,EAAE;wBACT,SAAS,EAAE;4BACT,cAAc,EAAE,CAAC,IAAI,CAAC,eAAe,EAAE,OAAO,CAAC;4BAC/C,aAAa,EAAE,CAAC,MAAM,CAAC;4BACvB,OAAO,EAAE;gCACP,IAAI,EAAE,QAAQ;gCACd,UAAU,EAAE;oCACV,UAAU,EAAE,EAAE,IAAI,EAAE,gBAAgB,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,KAAK,EAAE;oCACvE,YAAY,EAAE,EAAE,IAAI,EAAE,gBAAgB,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,KAAK,EAAE;oCACzE,WAAW,EAAE,EAAE,IAAI,EAAE,gBAAgB,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,KAAK,EAAE;oCACtE,wBAAwB,EAAE,EAAE,IAAI,EAAE,gBAAgB,EAAE,IAAI,EAAE,SAAS,EAAE,QAAQ,EAAE,KAAK,EAAE;iCACvF;6BACF;yBACF;qBACF;oBACD,UAAU,EAAE;wBACV,SAAS,EAAE;4BACT,cAAc,EAAE,CAAC,IAAI,CAAC,eAAe,CAAC;4BACtC,aAAa,EAAE,CAAC,MAAM,CAAC;4BACvB,OAAO,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,UAAU,EAAE,EAAE,EAAE;yBAC5C;qBACF;oBACD,YAAY,EAAE;wBACZ,SAAS,EAAE;4BACT,cAAc,EAAE,CAAC,IAAI,CAAC,eAAe,CAAC;4BACtC,aAAa,EAAE,CAAC,OAAO,CAAC;4BACxB,OAAO,EAAE;gCACP,IAAI,EAAE,QAAQ;gCACd,UAAU,EAAE;oCACV,IAAI,EAAE;wCACJ,IAAI,EAAE,gBAAgB;wCACtB,IAAI,EAAE,QAAQ;wCACd,QAAQ,EAAE,KAAK;qCAChB;oCACD,OAAO,EAAE;wCACP,IAAI,EAAE,gBAAgB;wCACtB,IAAI,EAAE,QAAQ;wCACd,QAAQ,EAAE,KAAK;qCAChB;iCACF;6BACF;yBACF;qBACF;oBACD,QAAQ,EAAE;wBACR,SAAS,EAAE;4BACT,cAAc,EAAE,CAAC,IAAI,CAAC,eAAe,CAAC;4BACtC,aAAa,EAAE,CAAC,KAAK,CAAC;4BACtB,OAAO,EAAE;gCACP,IAAI,EAAE,QAAQ;gCACd,UAAU,EAAE;oCACV,GAAG,EAAE;wCACH,IAAI,EAAE,gBAAgB;wCACtB,IAAI,EAAE,QAAQ;wCACd,QAAQ,EAAE,KAAK;qCAChB;oCACD,MAAM,EAAE;wCACN,IAAI,EAAE,gBAAgB;wCACtB,IAAI,EAAE,QAAQ;wCACd,QAAQ,EAAE,KAAK;qCAChB;oCACD,IAAI,EAAE;wCACJ,IAAI,EAAE,gBAAgB;wCACtB,IAAI,EAAE,QAAQ;wCACd,QAAQ,EAAE,KAAK;qCAChB;iCACF;6BACF;yBACF;qBACF;iBACF;aACF;SACF,CAAC;IACJ,CAAC;IAED,gCAAgC;IAExB,cAAc,CAAC,OAAqB;QAC1C,IAAI,SAAS,GAAG,KAAK,CAAC;QACtB,IAAI,SAAS,GAAG,KAAK,CAAC;QACtB,MAAM,OAAO,GAAa,EAAE,CAAC;QAE7B,KAAK,MAAM,CAAC,EAAE,EAAE,MAAM,CAAC,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;YACzC,kDAAkD;YAClD,MAAM,UAAU,GAAG,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;YAC5E,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,UAAU,GAAG,CAAC;gBAAE,SAAS;YAEtD,IAAI,MAAM,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;gBAC/B,SAAS,GAAG,IAAI,CAAC;gBACjB,OAAO,CAAC,IAAI,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC;YAChC,CAAC;iBAAM,CAAC;gBACN,SAAS,GAAG,IAAI,CAAC;gBACjB,OAAO,CAAC,IAAI,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC;YAChC,CAAC;QACH,CAAC;QAED,IAAI,SAAS;YAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC;QACpD,IAAI,SAAS;YAAE,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC;QACrD,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC,2BAA2B,CAAC,EAAE,CAAC;IACtE,CAAC;IAED,wCAAwC;IAEhC,iBAAiB,CAAC,GAAW;QACnC,MAAM,QAAQ,GAAmB,EAAE,CAAC;QACpC,MAAM,OAAO,GAAmB,EAAE,CAAC;QAEnC,IAAI,CAAC;YACH,MAAM,MAAM,GAAG,OAAO,GAAG,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;YAC/D,MAAM,EAAE,GAAG,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;YAClC,IAAI,CAAC,EAAE;gBAAE,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC;YAEtC,eAAe;YACf,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC;gBACnB,KAAK,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,WAAW,CAAQ,EAAE,CAAC;oBAChE,MAAM,KAAK,GAAsB,EAAE,CAAC;oBACpC,IAAI,GAAG,CAAC,KAAK,EAAE,UAAU,EAAE,CAAC;wBAC1B,KAAK,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,UAAU,CAAQ,EAAE,CAAC;4BACxE,KAAK,CAAC,IAAI,CAAC;gCACT,IAAI,EAAE,KAAK;gCACX,IAAI,EAAE,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI,IAAI,SAAS;gCACzC,QAAQ,EAAE,IAAI,CAAC,QAAQ,KAAK,KAAK;6BAClC,CAAC,CAAC;wBACL,CAAC;oBACH,CAAC;oBACD,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC,CAAC;gBAC1D,CAAC;YACH,CAAC;YAED,UAAU;YACV,IAAI,EAAE,CAAC,OAAO,EAAE,CAAC;gBACf,KAAK,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC,OAAO,CAAQ,EAAE,CAAC;oBAC5D,OAAO,CAAC,IAAI,CAAC;wBACX,IAAI;wBACJ,cAAc,EAAE,GAAG,CAAC,SAAS,EAAE,cAAc,IAAI,EAAE;wBACnD,aAAa,EAAE,GAAG,CAAC,SAAS,EAAE,aAAa,IAAI,EAAE;qBAClD,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;QACH,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACb,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC,uBAAuB,GAAG,EAAE,CAAC,CAAC;QACpD,CAAC;QAED,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC;IAC/B,CAAC;CACF"}

package/dist/cedar-engine.d.ts

@@ -0,0 +1,77 @@
+/**
+ * Cedar policy engine for MCP tool authorization.
+ *
+ * Manages Cedar policies, evaluates authorization requests,
+ * and optionally verifies policies with cvc5.
+ */
+import type { Logger, AuthzRequest, CedarDecision, VerifyResult, CedarSchemaInfo } from "./types.js";
+interface CedarEngineOpts {
+    policyDir: string;
+    defaultPolicy: "deny-all" | "allow-all";
+    verify: boolean;
+    logger: Logger;
+}
+export declare class CedarEngine {
+    private policyDir;
+    private defaultPolicy;
+    private shouldVerify;
+    private logger;
+    private policies;
+    private schemaPath;
+    constructor(opts: CedarEngineOpts);
+    init(): Promise<void>;
+    /**
+     * Evaluate an authorization request against loaded policies.
+     * Uses Cedar's evaluation semantics: ALLOW requires at least one permit and no forbids.
+     */
+    authorize(request: AuthzRequest): Promise<CedarDecision>;
+    /**
+     * Enable a tool by writing a permit policy.
+     */
+    enableTool(qualifiedName: string): void;
+    /**
+     * Disable a tool by writing a forbid policy.
+     */
+    disableTool(qualifiedName: string): void;
+    /**
+     * Check if a tool is enabled (has a matching permit and no matching forbid).
+     */
+    isToolEnabled(qualifiedName: string): boolean;
+    /**
+     * Run formal verification with cvc5 (if available).
+     */
+    verify(): Promise<VerifyResult>;
+    /** Get all policies as raw text */
+    getDefaultPolicy(): "deny-all" | "allow-all";
+    getPolicies(): Array<{
+        id: string;
+        effect: string;
+        raw: string;
+    }>;
+    /** Save or update a policy by id */
+    savePolicy(id: string, raw: string): void;
+    /** Delete a policy by id */
+    deletePolicy(id: string): boolean;
+    /** Get the parsed Cedar schema for the policy builder GUI */
+    getSchema(): CedarSchemaInfo;
+    /** Update the schema from the GUI */
+    saveSchema(raw: string): void;
+    /**
+     * Regenerate schema from discovered MCP tools.
+     * Creates entity types for each server and tool entries.
+     */
+    regenerateSchema(tools: Array<{
+        qualifiedName: string;
+        server: string;
+        name: string;
+        inputSchema?: any;
+    }>): void;
+    private parseSchemaForGui;
+    private policyMatches;
+    private loadPolicies;
+    private writePolicy;
+    private removePolicy;
+    private writeDefaultSchema;
+    private writeDefaultPolicies;
+}
+export {};

package/dist/cedar-engine.js

@@ -0,0 +1,374 @@
+/**
+ * Cedar policy engine for MCP tool authorization.
+ *
+ * Manages Cedar policies, evaluates authorization requests,
+ * and optionally verifies policies with cvc5.
+ */
+import { readFileSync, writeFileSync, mkdirSync, existsSync, readdirSync, unlinkSync } from "node:fs";
+import { join } from "node:path";
+import { homedir } from "node:os";
+import { execFileSync } from "node:child_process";
+export class CedarEngine {
+    policyDir;
+    defaultPolicy;
+    shouldVerify;
+    logger;
+    policies = new Map();
+    schemaPath;
+    constructor(opts) {
+        this.policyDir = opts.policyDir.replace("~", homedir());
+        this.defaultPolicy = opts.defaultPolicy;
+        this.shouldVerify = opts.verify;
+        this.logger = opts.logger;
+        this.schemaPath = join(this.policyDir, "schema.cedarschema");
+    }
+    async init() {
+        // Ensure policy directory exists
+        mkdirSync(this.policyDir, { recursive: true });
+        // Generate default schema if none exists
+        if (!existsSync(this.schemaPath)) {
+            this.writeDefaultSchema();
+        }
+        // Load existing policies
+        this.loadPolicies();
+        // Write default policy if none exist
+        if (this.policies.size === 0) {
+            this.writeDefaultPolicies();
+            this.loadPolicies();
+        }
+        this.logger.info(`Cedar engine initialized: ${this.policies.size} policies loaded from ${this.policyDir}`);
+    }
+    /**
+     * Evaluate an authorization request against loaded policies.
+     * Uses Cedar's evaluation semantics: ALLOW requires at least one permit and no forbids.
+     */
+    async authorize(request) {
+        const reasons = [];
+        let hasPermit = false;
+        let hasForbid = false;
+        for (const [id, policy] of this.policies) {
+            if (!this.policyMatches(policy, request))
+                continue;
+            if (policy.effect === "forbid") {
+                hasForbid = true;
+                reasons.push(`forbid: ${id}`);
+            }
+            else if (policy.effect === "permit") {
+                hasPermit = true;
+                reasons.push(`permit: ${id}`);
+            }
+        }
+        // Cedar semantics: forbid always wins, then need at least one permit
+        if (hasForbid) {
+            return { decision: "deny", reasons };
+        }
+        if (hasPermit) {
+            return { decision: "allow", reasons };
+        }
+        // Default deny (no matching policies)
+        return { decision: "deny", reasons: ["no matching permit policy"] };
+    }
+    /**
+     * Enable a tool by writing a permit policy.
+     */
+    enableTool(qualifiedName) {
+        const policyId = `tool-enable-${qualifiedName.replace(/\//g, "-")}`;
+        const raw = `permit(
+  principal == Agent::"openclaw",
+  action == Action::"call_tool",
+  resource == Tool::"${qualifiedName}"
+);`;
+        // Remove any disable policy
+        const disableId = `tool-disable-${qualifiedName.replace(/\//g, "-")}`;
+        this.removePolicy(disableId);
+        this.writePolicy(policyId, raw);
+        this.policies.set(policyId, {
+            id: policyId,
+            effect: "permit",
+            principal: 'Agent::"openclaw"',
+            action: 'Action::"call_tool"',
+            resource: `Tool::"${qualifiedName}"`,
+            raw,
+        });
+        this.logger.info(`Enabled tool: ${qualifiedName}`);
+        if (this.shouldVerify)
+            this.verify().catch(() => { });
+    }
+    /**
+     * Disable a tool by writing a forbid policy.
+     */
+    disableTool(qualifiedName) {
+        const policyId = `tool-disable-${qualifiedName.replace(/\//g, "-")}`;
+        const raw = `forbid(
+  principal,
+  action == Action::"call_tool",
+  resource == Tool::"${qualifiedName}"
+);`;
+        // Remove any enable policy
+        const enableId = `tool-enable-${qualifiedName.replace(/\//g, "-")}`;
+        this.removePolicy(enableId);
+        this.writePolicy(policyId, raw);
+        this.policies.set(policyId, {
+            id: policyId,
+            effect: "forbid",
+            action: 'Action::"call_tool"',
+            resource: `Tool::"${qualifiedName}"`,
+            raw,
+        });
+        this.logger.info(`Disabled tool: ${qualifiedName}`);
+        if (this.shouldVerify)
+            this.verify().catch(() => { });
+    }
+    /**
+     * Check if a tool is enabled (has a matching permit and no matching forbid).
+     */
+    isToolEnabled(qualifiedName) {
+        const request = {
+            principal: 'Agent::"openclaw"',
+            action: 'Action::"call_tool"',
+            resource: `Tool::"${qualifiedName}"`,
+        };
+        // Synchronous check — fine for GUI rendering
+        let hasPermit = false;
+        let hasForbid = false;
+        for (const policy of this.policies.values()) {
+            if (!this.policyMatches(policy, request))
+                continue;
+            if (policy.effect === "forbid")
+                hasForbid = true;
+            if (policy.effect === "permit")
+                hasPermit = true;
+        }
+        return hasPermit && !hasForbid;
+    }
+    /**
+     * Run formal verification with cvc5 (if available).
+     */
+    async verify() {
+        const start = Date.now();
+        // Check if cedar CLI is available
+        const cedarBin = process.env.CEDAR_CLI ?? "cedar";
+        try {
+            execFileSync("which", [cedarBin], { encoding: "utf-8" });
+        }
+        catch {
+            return {
+                ok: true,
+                issues: ["cedar CLI not found — skipping verification"],
+                durationMs: Date.now() - start,
+            };
+        }
+        // For now, validate policies parse correctly
+        // TODO: Full cvc5 symbolic verification pipeline
+        const issues = [];
+        try {
+            const allPolicies = [...this.policies.values()].map((p) => p.raw).join("\n\n");
+            const tmpPolicy = join(this.policyDir, ".verify-tmp.cedar");
+            writeFileSync(tmpPolicy, allPolicies);
+            execFileSync(cedarBin, ["validate", "--schema", this.schemaPath, "--policies", tmpPolicy], {
+                encoding: "utf-8",
+            });
+        }
+        catch (err) {
+            issues.push(err.message ?? "validation failed");
+        }
+        return {
+            ok: issues.length === 0,
+            issues,
+            durationMs: Date.now() - start,
+        };
+    }
+    /** Get all policies as raw text */
+    getDefaultPolicy() {
+        return this.defaultPolicy;
+    }
+    getPolicies() {
+        return [...this.policies.values()].map((p) => ({
+            id: p.id,
+            effect: p.effect,
+            raw: p.raw,
+        }));
+    }
+    /** Save or update a policy by id */
+    savePolicy(id, raw) {
+        const effect = raw.trimStart().startsWith("forbid") ? "forbid" : "permit";
+        const principalMatch = raw.match(/principal\s*==\s*([^\s,)]+)/);
+        const actionMatch = raw.match(/action\s*==\s*([^\s,)]+)/);
+        const resourceMatch = raw.match(/resource\s*==\s*([^\s,)]+)/);
+        this.writePolicy(id, raw);
+        this.policies.set(id, {
+            id,
+            effect,
+            principal: principalMatch?.[1],
+            action: actionMatch?.[1],
+            resource: resourceMatch?.[1],
+            raw,
+        });
+        this.logger.info(`Saved policy: ${id}`);
+        if (this.shouldVerify)
+            this.verify().catch(() => { });
+    }
+    /** Delete a policy by id */
+    deletePolicy(id) {
+        if (!this.policies.has(id))
+            return false;
+        this.removePolicy(id);
+        this.logger.info(`Deleted policy: ${id}`);
+        return true;
+    }
+    /** Get the parsed Cedar schema for the policy builder GUI */
+    getSchema() {
+        if (!existsSync(this.schemaPath)) {
+            return { entities: [], actions: [], raw: "" };
+        }
+        const raw = readFileSync(this.schemaPath, "utf-8");
+        return {
+            ...this.parseSchemaForGui(raw),
+            raw,
+        };
+    }
+    /** Update the schema from the GUI */
+    saveSchema(raw) {
+        writeFileSync(this.schemaPath, raw, "utf-8");
+        this.logger.info("Schema updated");
+    }
+    /**
+     * Regenerate schema from discovered MCP tools.
+     * Creates entity types for each server and tool entries.
+     */
+    regenerateSchema(tools) {
+        const servers = new Set(tools.map(t => t.server));
+        const toolNames = tools.map(t => `"${t.qualifiedName}"`);
+        let schema = `namespace McpProxy {\n`;
+        schema += `  entity Agent;\n`;
+        schema += `  entity Server;\n`;
+        schema += `  entity Tool in [Server] {\n`;
+        schema += `    server: String,\n`;
+        schema += `    name: String\n`;
+        schema += `  };\n\n`;
+        schema += `  action "call_tool" appliesTo {\n`;
+        schema += `    principal: Agent,\n`;
+        schema += `    resource: Tool,\n`;
+        schema += `    context: {\n`;
+        schema += `      arguments?: Record\n`;
+        schema += `    }\n`;
+        schema += `  };\n\n`;
+        schema += `  action "list_tools" appliesTo {\n`;
+        schema += `    principal: Agent,\n`;
+        schema += `    resource: Tool\n`;
+        schema += `  };\n`;
+        schema += `}\n`;
+        writeFileSync(this.schemaPath, schema, "utf-8");
+        this.logger.info(`Schema regenerated with ${tools.length} tools from ${servers.size} servers`);
+    }
+    parseSchemaForGui(raw) {
+        const entities = [];
+        const actions = [];
+        // Parse entity declarations
+        const entityRe = /entity\s+(\w+)(?:\s+in\s+\[([^\]]+)\])?\s*(?:\{([^}]*)\})?/g;
+        let m;
+        while ((m = entityRe.exec(raw)) !== null) {
+            const attrs = [];
+            if (m[3]) {
+                const attrRe = /(\w+)\??:\s*(\w+)/g;
+                let am;
+                while ((am = attrRe.exec(m[3])) !== null) {
+                    attrs.push({ name: am[1], type: am[2], optional: m[3].includes(am[1] + "?") });
+                }
+            }
+            entities.push({ name: m[1], parents: m[2]?.split(",").map(s => s.trim()) ?? [], attributes: attrs });
+        }
+        // Parse action declarations
+        const actionRe = /action\s+"([^"]+)"\s+appliesTo\s*\{([^}]*(?:\{[^}]*\}[^}]*)*)\}/g;
+        while ((m = actionRe.exec(raw)) !== null) {
+            const body = m[2];
+            const principalMatch = body.match(/principal:\s*(\w+)/);
+            const resourceMatch = body.match(/resource:\s*(\w+)/);
+            actions.push({
+                name: m[1],
+                principalTypes: principalMatch ? [principalMatch[1]] : [],
+                resourceTypes: resourceMatch ? [resourceMatch[1]] : [],
+            });
+        }
+        return { entities, actions };
+    }
+    // --- Private ---
+    policyMatches(policy, request) {
+        if (policy.principal && policy.principal !== request.principal)
+            return false;
+        if (policy.action && policy.action !== request.action)
+            return false;
+        if (policy.resource && policy.resource !== request.resource)
+            return false;
+        return true;
+    }
+    loadPolicies() {
+        this.policies.clear();
+        if (!existsSync(this.policyDir))
+            return;
+        for (const file of readdirSync(this.policyDir)) {
+            if (!file.endsWith(".cedar"))
+                continue;
+            const path = join(this.policyDir, file);
+            const raw = readFileSync(path, "utf-8");
+            const id = file.replace(".cedar", "");
+            // Simple parser for our generated policies
+            const effect = raw.trimStart().startsWith("forbid") ? "forbid" : "permit";
+            const principalMatch = raw.match(/principal\s*==\s*([^\s,)]+)/);
+            const actionMatch = raw.match(/action\s*==\s*([^\s,)]+)/);
+            const resourceMatch = raw.match(/resource\s*==\s*([^\s,)]+)/);
+            this.policies.set(id, {
+                id,
+                effect,
+                principal: principalMatch?.[1],
+                action: actionMatch?.[1],
+                resource: resourceMatch?.[1],
+                raw,
+            });
+        }
+    }
+    writePolicy(id, raw) {
+        const path = join(this.policyDir, `${id}.cedar`);
+        writeFileSync(path, raw, "utf-8");
+    }
+    removePolicy(id) {
+        const path = join(this.policyDir, `${id}.cedar`);
+        if (existsSync(path)) {
+            unlinkSync(path);
+        }
+        this.policies.delete(id);
+    }
+    writeDefaultSchema() {
+        const schema = `namespace McpProxy {
+  entity Agent;
+  entity Tool;
+
+  action "call_tool" appliesTo {
+    principal: Agent,
+    resource: Tool,
+    context: {
+      arguments?: Record
+    }
+  };
+
+  action "list_tools" appliesTo {
+    principal: Agent,
+    resource: Tool
+  };
+}
+`;
+        writeFileSync(this.schemaPath, schema, "utf-8");
+        this.logger.info("Created default Cedar schema");
+    }
+    writeDefaultPolicies() {
+        if (this.defaultPolicy === "allow-all") {
+            this.writePolicy("default-allow", `permit(
+  principal == Agent::"openclaw",
+  action == Action::"call_tool",
+  resource
+);`);
+        }
+        // deny-all needs no explicit policy — Cedar default-denies
+    }
+}
+//# sourceMappingURL=cedar-engine.js.map

package/dist/cedar-engine.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"cedar-engine.js","sourceRoot":"","sources":["../src/cedar-engine.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAAE,YAAY,EAAE,aAAa,EAAE,SAAS,EAAE,UAAU,EAAE,WAAW,EAAE,UAAU,EAAE,MAAM,SAAS,CAAC;AACtG,OAAO,EAAE,IAAI,EAAW,MAAM,WAAW,CAAC;AAC1C,OAAO,EAAE,OAAO,EAAE,MAAM,SAAS,CAAC;AAClC,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAqBlD,MAAM,OAAO,WAAW;IACd,SAAS,CAAS;IAClB,aAAa,CAA2B;IACxC,YAAY,CAAU;IACtB,MAAM,CAAS;IACf,QAAQ,GAAwB,IAAI,GAAG,EAAE,CAAC;IAC1C,UAAU,CAAS;IAE3B,YAAY,IAAqB;QAC/B,IAAI,CAAC,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,GAAG,EAAE,OAAO,EAAE,CAAC,CAAC;QACxD,IAAI,CAAC,aAAa,GAAG,IAAI,CAAC,aAAa,CAAC;QACxC,IAAI,CAAC,YAAY,GAAG,IAAI,CAAC,MAAM,CAAC;QAChC,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC;QAC1B,IAAI,CAAC,UAAU,GAAG,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,oBAAoB,CAAC,CAAC;IAC/D,CAAC;IAED,KAAK,CAAC,IAAI;QACR,iCAAiC;QACjC,SAAS,CAAC,IAAI,CAAC,SAAS,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;QAE/C,yCAAyC;QACzC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC;YACjC,IAAI,CAAC,kBAAkB,EAAE,CAAC;QAC5B,CAAC;QAED,yBAAyB;QACzB,IAAI,CAAC,YAAY,EAAE,CAAC;QAEpB,qCAAqC;QACrC,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;YAC7B,IAAI,CAAC,oBAAoB,EAAE,CAAC;YAC5B,IAAI,CAAC,YAAY,EAAE,CAAC;QACtB,CAAC;QAED,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,6BAA6B,IAAI,CAAC,QAAQ,CAAC,IAAI,yBAAyB,IAAI,CAAC,SAAS,EAAE,CAAC,CAAC;IAC7G,CAAC;IAED;;;OAGG;IACH,KAAK,CAAC,SAAS,CAAC,OAAqB;QACnC,MAAM,OAAO,GAAa,EAAE,CAAC;QAC7B,IAAI,SAAS,GAAG,KAAK,CAAC;QACtB,IAAI,SAAS,GAAG,KAAK,CAAC;QAEtB,KAAK,MAAM,CAAC,EAAE,EAAE,MAAM,CAAC,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;YACzC,IAAI,CAAC,IAAI,CAAC,aAAa,CAAC,MAAM,EAAE,OAAO,CAAC;gBAAE,SAAS;YAEnD,IAAI,MAAM,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;gBAC/B,SAAS,GAAG,IAAI,CAAC;gBACjB,OAAO,CAAC,IAAI,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC;YAChC,CAAC;iBAAM,IAAI,MAAM,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;gBACtC,SAAS,GAAG,IAAI,CAAC;gBACjB,OAAO,CAAC,IAAI,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC;YAChC,CAAC;QACH,CAAC;QAED,qEAAqE;QACrE,IAAI,SAAS,EAAE,CAAC;YACd,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC;QACvC,CAAC;QACD,IAAI,SAAS,EAAE,CAAC;YACd,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,OAAO,EAAE,CAAC;QACxC,CAAC;QAED,sCAAsC;QACtC,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC,2BAA2B,CAAC,EAAE,CAAC;IACtE,CAAC;IAED;;OAEG;IACH,UAAU,CAAC,aAAqB;QAC9B,MAAM,QAAQ,GAAG,eAAe,aAAa,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,EAAE,CAAC;QACpE,MAAM,GAAG,GAAG;;;uBAGO,aAAa;GACjC,CAAC;QAEA,4BAA4B;QAC5B,MAAM,SAAS,GAAG,gBAAgB,aAAa,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,EAAE,CAAC;QACtE,IAAI,CAAC,YAAY,CAAC,SAAS,CAAC,CAAC;QAE7B,IAAI,CAAC,WAAW,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC;QAChC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,QAAQ,EAAE;YAC1B,EAAE,EAAE,QAAQ;YACZ,MAAM,EAAE,QAAQ;YAChB,SAAS,EAAE,mBAAmB;YAC9B,MAAM,EAAE,qBAAqB;YAC7B,QAAQ,EAAE,UAAU,aAAa,GAAG;YACpC,GAAG;SACJ,CAAC,CAAC;QAEH,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,iBAAiB,aAAa,EAAE,CAAC,CAAC;QACnD,IAAI,IAAI,CAAC,YAAY;YAAE,IAAI,CAAC,MAAM,EAAE,CAAC,KAAK,CAAC,GAAG,EAAE,GAAE,CAAC,CAAC,CAAC;IACvD,CAAC;IAED;;OAEG;IACH,WAAW,CAAC,aAAqB;QAC/B,MAAM,QAAQ,GAAG,gBAAgB,aAAa,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,EAAE,CAAC;QACrE,MAAM,GAAG,GAAG;;;uBAGO,aAAa;GACjC,CAAC;QAEA,2BAA2B;QAC3B,MAAM,QAAQ,GAAG,eAAe,aAAa,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,EAAE,CAAC;QACpE,IAAI,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC;QAE5B,IAAI,CAAC,WAAW,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC;QAChC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,QAAQ,EAAE;YAC1B,EAAE,EAAE,QAAQ;YACZ,MAAM,EAAE,QAAQ;YAChB,MAAM,EAAE,qBAAqB;YAC7B,QAAQ,EAAE,UAAU,aAAa,GAAG;YACpC,GAAG;SACJ,CAAC,CAAC;QAEH,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,kBAAkB,aAAa,EAAE,CAAC,CAAC;QACpD,IAAI,IAAI,CAAC,YAAY;YAAE,IAAI,CAAC,MAAM,EAAE,CAAC,KAAK,CAAC,GAAG,EAAE,GAAE,CAAC,CAAC,CAAC;IACvD,CAAC;IAED;;OAEG;IACH,aAAa,CAAC,aAAqB;QACjC,MAAM,OAAO,GAAiB;YAC5B,SAAS,EAAE,mBAAmB;YAC9B,MAAM,EAAE,qBAAqB;YAC7B,QAAQ,EAAE,UAAU,aAAa,GAAG;SACrC,CAAC;QAEF,6CAA6C;QAC7C,IAAI,SAAS,GAAG,KAAK,CAAC;QACtB,IAAI,SAAS,GAAG,KAAK,CAAC;QACtB,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,EAAE,CAAC;YAC5C,IAAI,CAAC,IAAI,CAAC,aAAa,CAAC,MAAM,EAAE,OAAO,CAAC;gBAAE,SAAS;YACnD,IAAI,MAAM,CAAC,MAAM,KAAK,QAAQ;gBAAE,SAAS,GAAG,IAAI,CAAC;YACjD,IAAI,MAAM,CAAC,MAAM,KAAK,QAAQ;gBAAE,SAAS,GAAG,IAAI,CAAC;QACnD,CAAC;QACD,OAAO,SAAS,IAAI,CAAC,SAAS,CAAC;IACjC,CAAC;IAED;;OAEG;IACH,KAAK,CAAC,MAAM;QACV,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QAEzB,kCAAkC;QAClC,MAAM,QAAQ,GAAG,OAAO,CAAC,GAAG,CAAC,SAAS,IAAI,OAAO,CAAC;QAClD,IAAI,CAAC;YACH,YAAY,CAAC,OAAO,EAAE,CAAC,QAAQ,CAAC,EAAE,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC,CAAC;QAC3D,CAAC;QAAC,MAAM,CAAC;YACP,OAAO;gBACL,EAAE,EAAE,IAAI;gBACR,MAAM,EAAE,CAAC,6CAA6C,CAAC;gBACvD,UAAU,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,KAAK;aAC/B,CAAC;QACJ,CAAC;QAED,6CAA6C;QAC7C,iDAAiD;QACjD,MAAM,MAAM,GAAa,EAAE,CAAC;QAC5B,IAAI,CAAC;YACH,MAAM,WAAW,GAAG,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YAC/E,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,mBAAmB,CAAC,CAAC;YAC5D,aAAa,CAAC,SAAS,EAAE,WAAW,CAAC,CAAC;YAEtC,YAAY,CAAC,QAAQ,EAAE,CAAC,UAAU,EAAE,UAAU,EAAE,IAAI,CAAC,UAAU,EAAE,YAAY,EAAE,SAAS,CAAC,EAAE;gBACzF,QAAQ,EAAE,OAAO;aAClB,CAAC,CAAC;QACL,CAAC;QAAC,OAAO,GAAQ,EAAE,CAAC;YAClB,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,IAAI,mBAAmB,CAAC,CAAC;QAClD,CAAC;QAED,OAAO;YACL,EAAE,EAAE,MAAM,CAAC,MAAM,KAAK,CAAC;YACvB,MAAM;YACN,UAAU,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,KAAK;SAC/B,CAAC;IACJ,CAAC;IAED,mCAAmC;IACnC,gBAAgB;QACd,OAAO,IAAI,CAAC,aAAa,CAAC;IAC5B,CAAC;IAED,WAAW;QACT,OAAO,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YAC7C,EAAE,EAAE,CAAC,CAAC,EAAE;YACR,MAAM,EAAE,CAAC,CAAC,MAAM;YAChB,GAAG,EAAE,CAAC,CAAC,GAAG;SACX,CAAC,CAAC,CAAC;IACN,CAAC;IAED,oCAAoC;IACpC,UAAU,CAAC,EAAU,EAAE,GAAW;QAChC,MAAM,MAAM,GAAG,GAAG,CAAC,SAAS,EAAE,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,QAAiB,CAAC,CAAC,CAAC,QAAiB,CAAC;QAC5F,MAAM,cAAc,GAAG,GAAG,CAAC,KAAK,CAAC,6BAA6B,CAAC,CAAC;QAChE,MAAM,WAAW,GAAG,GAAG,CAAC,KAAK,CAAC,0BAA0B,CAAC,CAAC;QAC1D,MAAM,aAAa,GAAG,GAAG,CAAC,KAAK,CAAC,4BAA4B,CAAC,CAAC;QAE9D,IAAI,CAAC,WAAW,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC;QAC1B,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,EAAE;YACpB,EAAE;YACF,MAAM;YACN,SAAS,EAAE,cAAc,EAAE,CAAC,CAAC,CAAC;YAC9B,MAAM,EAAE,WAAW,EAAE,CAAC,CAAC,CAAC;YACxB,QAAQ,EAAE,aAAa,EAAE,CAAC,CAAC,CAAC;YAC5B,GAAG;SACJ,CAAC,CAAC;QACH,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,iBAAiB,EAAE,EAAE,CAAC,CAAC;QACxC,IAAI,IAAI,CAAC,YAAY;YAAE,IAAI,CAAC,MAAM,EAAE,CAAC,KAAK,CAAC,GAAG,EAAE,GAAE,CAAC,CAAC,CAAC;IACvD,CAAC;IAED,4BAA4B;IAC5B,YAAY,CAAC,EAAU;QACrB,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;YAAE,OAAO,KAAK,CAAC;QACzC,IAAI,CAAC,YAAY,CAAC,EAAE,CAAC,CAAC;QACtB,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,mBAAmB,EAAE,EAAE,CAAC,CAAC;QAC1C,OAAO,IAAI,CAAC;IACd,CAAC;IAED,6DAA6D;IAC7D,SAAS;QACP,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC;YACjC,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE,CAAC;QAChD,CAAC;QACD,MAAM,GAAG,GAAG,YAAY,CAAC,IAAI,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;QACnD,OAAO;YACL,GAAG,IAAI,CAAC,iBAAiB,CAAC,GAAG,CAAC;YAC9B,GAAG;SACJ,CAAC;IACJ,CAAC;IAED,qCAAqC;IACrC,UAAU,CAAC,GAAW;QACpB,aAAa,CAAC,IAAI,CAAC,UAAU,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC;QAC7C,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC;IACrC,CAAC;IAED;;;OAGG;IACH,gBAAgB,CAAC,KAAwF;QACvG,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC;QAClD,MAAM,SAAS,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,aAAa,GAAG,CAAC,CAAC;QAEzD,IAAI,MAAM,GAAG,wBAAwB,CAAC;QACtC,MAAM,IAAI,mBAAmB,CAAC;QAC9B,MAAM,IAAI,oBAAoB,CAAC;QAC/B,MAAM,IAAI,+BAA+B,CAAC;QAC1C,MAAM,IAAI,uBAAuB,CAAC;QAClC,MAAM,IAAI,oBAAoB,CAAC;QAC/B,MAAM,IAAI,UAAU,CAAC;QAErB,MAAM,IAAI,oCAAoC,CAAC;QAC/C,MAAM,IAAI,yBAAyB,CAAC;QACpC,MAAM,IAAI,uBAAuB,CAAC;QAClC,MAAM,IAAI,kBAAkB,CAAC;QAC7B,MAAM,IAAI,4BAA4B,CAAC;QACvC,MAAM,IAAI,SAAS,CAAC;QACpB,MAAM,IAAI,UAAU,CAAC;QAErB,MAAM,IAAI,qCAAqC,CAAC;QAChD,MAAM,IAAI,yBAAyB,CAAC;QACpC,MAAM,IAAI,sBAAsB,CAAC;QACjC,MAAM,IAAI,QAAQ,CAAC;QACnB,MAAM,IAAI,KAAK,CAAC;QAEhB,aAAa,CAAC,IAAI,CAAC,UAAU,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC;QAChD,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,2BAA2B,KAAK,CAAC,MAAM,eAAe,OAAO,CAAC,IAAI,UAAU,CAAC,CAAC;IACjG,CAAC;IAEO,iBAAiB,CAAC,GAAW;QACnC,MAAM,QAAQ,GAAmB,EAAE,CAAC;QACpC,MAAM,OAAO,GAAmB,EAAE,CAAC;QAEnC,4BAA4B;QAC5B,MAAM,QAAQ,GAAG,6DAA6D,CAAC;QAC/E,IAAI,CAAC,CAAC;QACN,OAAO,CAAC,CAAC,GAAG,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC;YACzC,MAAM,KAAK,GAAsB,EAAE,CAAC;YACpC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;gBACT,MAAM,MAAM,GAAG,oBAAoB,CAAC;gBACpC,IAAI,EAAE,CAAC;gBACP,OAAO,CAAC,EAAE,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC;oBACzC,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,EAAE,CAAC,CAAC;gBACjF,CAAC;YACH,CAAC;YACD,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,EAAE,UAAU,EAAE,KAAK,EAAE,CAAC,CAAC;QACvG,CAAC;QAED,4BAA4B;QAC5B,MAAM,QAAQ,GAAG,kEAAkE,CAAC;QACpF,OAAO,CAAC,CAAC,GAAG,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,KAAK,IAAI,EAAE,CAAC;YACzC,MAAM,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;YAClB,MAAM,cAAc,GAAG,IAAI,CAAC,KAAK,CAAC,oBAAoB,CAAC,CAAC;YACxD,MAAM,aAAa,GAAG,IAAI,CAAC,KAAK,CAAC,mBAAmB,CAAC,CAAC;YACtD,OAAO,CAAC,IAAI,CAAC;gBACX,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC;gBACV,cAAc,EAAE,cAAc,CAAC,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE;gBACzD,aAAa,EAAE,aAAa,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE;aACvD,CAAC,CAAC;QACL,CAAC;QAED,OAAO,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC;IAC/B,CAAC;IAED,kBAAkB;IAEV,aAAa,CAAC,MAAc,EAAE,OAAqB;QACzD,IAAI,MAAM,CAAC,SAAS,IAAI,MAAM,CAAC,SAAS,KAAK,OAAO,CAAC,SAAS;YAAE,OAAO,KAAK,CAAC;QAC7E,IAAI,MAAM,CAAC,MAAM,IAAI,MAAM,CAAC,MAAM,KAAK,OAAO,CAAC,MAAM;YAAE,OAAO,KAAK,CAAC;QACpE,IAAI,MAAM,CAAC,QAAQ,IAAI,MAAM,CAAC,QAAQ,KAAK,OAAO,CAAC,QAAQ;YAAE,OAAO,KAAK,CAAC;QAC1E,OAAO,IAAI,CAAC;IACd,CAAC;IAEO,YAAY;QAClB,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAC;QACtB,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC;YAAE,OAAO;QAExC,KAAK,MAAM,IAAI,IAAI,WAAW,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC;YAC/C,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC;gBAAE,SAAS;YACvC,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC;YACxC,MAAM,GAAG,GAAG,YAAY,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;YACxC,MAAM,EAAE,GAAG,IAAI,CAAC,OAAO,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;YAEtC,2CAA2C;YAC3C,MAAM,MAAM,GAAG,GAAG,CAAC,SAAS,EAAE,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC;YAC1E,MAAM,cAAc,GAAG,GAAG,CAAC,KAAK,CAAC,6BAA6B,CAAC,CAAC;YAChE,MAAM,WAAW,GAAG,GAAG,CAAC,KAAK,CAAC,0BAA0B,CAAC,CAAC;YAC1D,MAAM,aAAa,GAAG,GAAG,CAAC,KAAK,CAAC,4BAA4B,CAAC,CAAC;YAE9D,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,EAAE;gBACpB,EAAE;gBACF,MAAM;gBACN,SAAS,EAAE,cAAc,EAAE,CAAC,CAAC,CAAC;gBAC9B,MAAM,EAAE,WAAW,EAAE,CAAC,CAAC,CAAC;gBACxB,QAAQ,EAAE,aAAa,EAAE,CAAC,CAAC,CAAC;gBAC5B,GAAG;aACJ,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAEO,WAAW,CAAC,EAAU,EAAE,GAAW;QACzC,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,GAAG,EAAE,QAAQ,CAAC,CAAC;QACjD,aAAa,CAAC,IAAI,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC;IACpC,CAAC;IAEO,YAAY,CAAC,EAAU;QAC7B,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,SAAS,EAAE,GAAG,EAAE,QAAQ,CAAC,CAAC;QACjD,IAAI,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;YACrB,UAAU,CAAC,IAAI,CAAC,CAAC;QACnB,CAAC;QACD,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;IAC3B,CAAC;IAEO,kBAAkB;QACxB,MAAM,MAAM,GAAG;;;;;;;;;;;;;;;;;CAiBlB,CAAC;QACE,aAAa,CAAC,IAAI,CAAC,UAAU,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC;QAChD,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,8BAA8B,CAAC,CAAC;IACnD,CAAC;IAEO,oBAAoB;QAC1B,IAAI,IAAI,CAAC,aAAa,KAAK,WAAW,EAAE,CAAC;YACvC,IAAI,CAAC,WAAW,CAAC,eAAe,EAAE;;;;GAIrC,CAAC,CAAC;QACD,CAAC;QACD,2DAA2D;IAC7D,CAAC;CACF"}

package/dist/gui/html.d.ts

@@ -0,0 +1,5 @@
+/**
+ * Single-file GUI for Carapace.
+ * Returns complete HTML with embedded CSS and JS — no build step needed.
+ */
+export declare function guiHtml(): string;