assertledger 1.0.0 → 1.1.1

package/dist/proof-planner/plan.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"plan.js","sourceRoot":"","sources":["../../src/proof-planner/plan.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,CAAC,MAAM,KAAK,CAAC;AACzB,OAAO,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AACnD,OAAO,EAEL,oBAAoB,EAGpB,UAAU,EAGV,kBAAkB,EAClB,cAAc,EACd,iBAAiB,EAKjB,sBAAsB,EACtB,OAAO,EACP,UAAU,EACV,eAAe,EAEf,4BAA4B,EAC5B,iBAAiB,EAEjB,iBAAiB,EAIjB,YAAY,EACZ,aAAa,GACd,MAAM,YAAY,CAAC;AACpB,OAAO,EAEL,qBAAqB,EACrB,wBAAwB,EACxB,0BAA0B,EAE1B,oBAAoB,GACrB,MAAM,aAAa,CAAC;AAuKrB,MAAM,qBAAqB,GAA6B,IAAI,GAAG,CAAC;IAC9D,SAAS;IACT,mBAAmB;IACnB,YAAY;CACb,CAAC,CAAC;AACH,MAAM,qBAAqB,GAA0B,IAAI,GAAG,CAAC,CAAC,WAAW,EAAE,SAAS,CAAC,CAAC,CAAC;AACvF,mGAAmG;AACnG,MAAM,oBAAoB,GAA0B,IAAI,GAAG,CAAC,CAAC,UAAU,EAAE,WAAW,EAAE,UAAU,CAAC,CAAC,CAAC;AACnG,MAAM,oBAAoB,GAA4B,IAAI,GAAG,CAAC;IAC5D,qBAAqB;IACrB,mBAAmB;IACnB,YAAY;CACb,CAAC,CAAC;AACH,MAAM,YAAY,GAAkC;IAClD,mBAAmB,EAAE,8BAA8B;IACnD,gBAAgB,EAAE,2BAA2B;IAC7C,kBAAkB,EAAE,6BAA6B;IACjD,oBAAoB,EAAE,uBAAuB;IAC7C,iBAAiB,EAAE,4BAA4B;IAC/C,kBAAkB,EAAE,6BAA6B;IACjD,UAAU,EAAE,qBAAqB;CAClC,CAAC;AACF,MAAM,mBAAmB,GAAG,eAAe,CAAC;AAE5C;;;GAGG;AACH,MAAM,UAAU,aAAa,CAAC,KAAyB;IACrD,MAAM,UAAU,GAAG,cAAc,CAAC,KAAK,CAAC,CAAC;IACzC,MAAM,IAAI,GAAG,QAAQ,CAAC,UAAU,CAAC,CAAC;IAClC,MAAM,OAAO,GAAG,UAAU,CAAC,MAAM,CAAC,QAAQ,CAAC;IAE3C,MAAM,QAAQ,GAAG,WAAW,CAAC,IAAI,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;IACrD,MAAM,WAAW,GAAG,WAAW,CAAC,IAAI,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC;IAC3D,MAAM,SAAS,GAAG,gBAAgB,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;IACrD,MAAM,WAAW,GAAG,kBAAkB,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;IACzD,MAAM,mBAAmB,GAAG,kBAAkB,CAAC,UAAU,EAAE,IAAI,EAAE,SAAS,CAAC,WAAW,CAAC,CAAC;IAExF,MAAM,IAAI,GAAsC;QAC9C,aAAa,EAAE,4BAA4B;QAC3C,MAAM,EAAE,IAAI,CAAC,MAAM;QACnB,KAAK,EAAE,IAAI,CAAC,KAAK;QACjB,cAAc,EAAE,iBAAiB,CAAC,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,CACzF,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,EAAE,OAAO,EAAE,KAAK,EAAE,OAAO,CAAC,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC,CAClF;QACD,WAAW,EAAE,IAAI,CAAC,KAAK;QACvB,OAAO,EAAE;YACP,QAAQ,EAAE,UAAU,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE;YACvC,QAAQ,EAAE,UAAU,CAAC,MAAM,CAAC,QAAQ,CAAC,QAAQ;YAC7C,iBAAiB,EAAE,UAAU,CAAC,MAAM,CAAC,QAAQ,CAAC,iBAAiB,IAAI,IAAI;YACvE,QAAQ,EAAE,UAAU,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;gBACrD,EAAE,EAAE,OAAO,CAAC,EAAE;gBACd,IAAI,EAAE,OAAO,CAAC,IAAI;gBAClB,KAAK,EAAE,OAAO,CAAC,KAAK;gBACpB,aAAa,EAAE,OAAO,CAAC,aAAa,IAAI,IAAI;gBAC5C,SAAS,EAAE,OAAO,CAAC,SAAS,IAAI,IAAI;aACrC,CAAC,CAAC;SACJ;QACD,gBAAgB,EAAE,QAAQ;QAC1B,mBAAmB,EAAE;YACnB,GAAG,WAAW;YACd,GAAG,WAAW,CAAC,SAAS,CAAC,oBAAoB,EAAE,OAAO,CAAC;SACxD,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;QAC9D,qBAAqB,EAAE,SAAS,CAAC,WAAW;QAC5C,oBAAoB,EAAE,SAAS,CAAC,YAAY;QAC5C,WAAW;QACX,SAAS,EAAE,IAAI,CAAC,SAAS;QACzB,KAAK,EAAE,IAAI,CAAC,KAAK;QACjB,OAAO,EAAE,IAAI,CAAC,OAAO;QACrB,gBAAgB,EAAE,IAAI,CAAC,gBAAgB;QACvC,mBAAmB;QACnB,MAAM,EAAE;YACN,EAAE,EAAE,UAAU,CAAC,MAAM,CAAC,EAAE;YACxB,OAAO,EAAE,UAAU,CAAC,MAAM,CAAC,OAAO;YAClC,MAAM,EAAE,UAAU,CAAC,YAAY;SAChC;QACD,WAAW,EAAE,eAAe,CAAC;YAC3B,MAAM,EAAE,UAAU,CAAC,MAAM;YACzB,MAAM,EAAE,UAAU,CAAC,MAAM;YACzB,OAAO,EAAE,UAAU,CAAC,OAAO;YAC3B,YAAY,EAAE,UAAU,CAAC,YAAY;SACtC,CAAC;KACH,CAAC;IACF,OAAO,EAAE,GAAG,IAAI,EAAE,UAAU,EAAE,eAAe,CAAC,IAAI,CAAC,EAAE,CAAC;AACxD,CAAC;AAED,SAAS,cAAc,CAAC,KAAyB;IAC/C,MAAM,YAAY,GAAG,kBAAkB,CAAC,SAAS,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;IAChE,IAAI,CAAC,YAAY,CAAC,OAAO,EAAE,CAAC;QAC1B,MAAM,IAAI,iBAAiB,CAAC,6BAA6B,EAAE,CAAC,CAAC,aAAa,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC;IAClG,CAAC;IACD,MAAM,YAAY,GAAG,CAAC;SACnB,KAAK,CAAC,oBAAoB,CAAC;SAC3B,GAAG,CAAC,KAAK,CAAC;SACV,SAAS,CAAC,KAAK,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC;IACjC,IAAI,CAAC,YAAY,CAAC,OAAO,EAAE,CAAC;QAC1B,MAAM,IAAI,iBAAiB,CAAC,6BAA6B,EAAE,CAAC,CAAC,aAAa,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC;IAClG,CAAC;IACD,MAAM,aAAa,GAAG,CAAC;SACpB,KAAK,CAAC,iBAAiB,CAAC;SACxB,GAAG,CAAC,GAAG,CAAC;SACR,SAAS,CAAC,KAAK,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC;IAClC,IAAI,CAAC,aAAa,CAAC,OAAO,EAAE,CAAC;QAC3B,MAAM,IAAI,iBAAiB,CACzB,6BAA6B,EAC7B,CAAC,CAAC,aAAa,CAAC,aAAa,CAAC,KAAK,CAAC,CACrC,CAAC;IACJ,CAAC;IACD,MAAM,MAAM,GAAG,oBAAoB,CAAC,KAAK,CAAC,MAAM,IAAI,wBAAwB,CAAC,CAAC;IAC9E,MAAM,GAAG,GAAG,YAAY,CAAC,IAAI,CAAC;IAC9B,MAAM,MAAM,GAAiB;QAC3B,aAAa,EAAE,GAAG,CAAC,aAAa;QAChC,QAAQ,EAAE;YACR,EAAE,EAAE,GAAG,CAAC,QAAQ,CAAC,EAAE;YACnB,QAAQ,EAAE,GAAG,CAAC,QAAQ,CAAC,QAAQ;YAC/B,GAAG,CAAC,GAAG,CAAC,QAAQ,CAAC,iBAAiB,KAAK,SAAS;gBAC9C,CAAC,CAAC,EAAE;gBACJ,CAAC,CAAC,EAAE,iBAAiB,EAAE,GAAG,CAAC,QAAQ,CAAC,iBAAiB,EAAE,CAAC;SAC3D;QACD,QAAQ,EAAE,GAAG,CAAC,QAAQ;aACnB,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;YACjB,EAAE,EAAE,OAAO,CAAC,EAAE;YACd,IAAI,EAAE,OAAO,CAAC,IAAI;YAClB,KAAK,EAAE,OAAO,CAAC,KAAK;YACpB,OAAO,EAAE,OAAO,CAAC,OAAO;YACxB,UAAU,EAAE,YAAY,CAAC,OAAO,CAAC,UAAU,CAAC;YAC5C,cAAc,EAAE,OAAO,CAAC,cAAc;YACtC,QAAQ,EAAE,OAAO,CAAC,QAAQ;YAC1B,oBAAoB,EAAE,OAAO,CAAC,oBAAoB;YAClD,GAAG,CAAC,OAAO,CAAC,aAAa,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,OAAO,CAAC,aAAa,EAAE,CAAC;YACxF,GAAG,CAAC,OAAO,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,YAAY,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,CAAC;SAC3F,CAAC,CAAC;aACF,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,EAAE,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC;QAC3D,QAAQ,EAAE;YACR,MAAM,EAAE,GAAG,CAAC,QAAQ,CAAC,MAAM;YAC3B,YAAY,EAAE,GAAG,CAAC,QAAQ,CAAC,YAAY;YACvC,WAAW,EAAE,GAAG,CAAC,QAAQ,CAAC,WAAW;YACrC,QAAQ,EAAE,GAAG,CAAC,QAAQ,CAAC,QAAQ;iBAC5B,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;gBACjB,WAAW,EAAE,OAAO,CAAC,WAAW;gBAChC,QAAQ,EAAE,YAAY,CAAC,OAAO,CAAC,QAAQ,CAAC;aACzC,CAAC,CAAC;iBACF,IAAI,CACH,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CACd,cAAc,CAAC,IAAI,CAAC,WAAW,EAAE,KAAK,CAAC,WAAW,CAAC;gBACnD,cAAc,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAC9E;YACH,mBAAmB,EAAE,GAAG,CAAC,QAAQ,CAAC,mBAAmB;SACtD;QACD,aAAa,EAAE,GAAG,CAAC,aAAa;QAChC,aAAa,EAAE,GAAG,CAAC,aAAa;KACjC,CAAC;IACF,eAAe,CAAC,MAAM,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;IAC5C,MAAM,MAAM,GAAG,YAAY,CAAC,IAAI;SAC7B,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,GAAG,KAAK,EAAE,QAAQ,EAAE,YAAY,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;SACtE,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,EAAE,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC;IAC5D,eAAe,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACjC,MAAM,OAAO,GAAG,aAAa,CAAC,IAAI;SAC/B,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;QAChB,GAAG,MAAM;QACT,QAAQ,EAAE,YAAY,CAAC,MAAM,CAAC,QAAQ,CAAC;QACvC,WAAW,EAAE,YAAY,CAAC,MAAM,CAAC,WAAW,CAAC;KAC9C,CAAC,CAAC;SACF,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,EAAE,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC;IAC5D,eAAe,CAAC,OAAO,EAAE,QAAQ,CAAC,CAAC;IACnC,KAAK,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,IAAI;QAC3B,CAAC,SAAS,EAAE,MAAM,CAAC,QAAQ,CAAC;QAC5B,CAAC,OAAO,EAAE,MAAM,CAAC;QACjB,CAAC,QAAQ,EAAE,OAAO,CAAC;KACX,EAAE,CAAC;QACX,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,IAAI,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,mBAAmB,CAAC,EAAE,CAAC;gBAC5C,MAAM,IAAI,iBAAiB,CACzB,kCAAkC,EAClC,GAAG,KAAK,cAAc,mBAAmB,iBAAiB,IAAI,CAAC,EAAE,EAAE,CACpE,CAAC;YACJ,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,YAAY,EAAE,qBAAqB,CAAC,MAAM,CAAC,EAAE,CAAC;AAC1F,CAAC;AAED,SAAS,eAAe,CAAC,KAAoC,EAAE,KAAa;IAC1E,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC;YACtB,MAAM,IAAI,iBAAiB,CACzB,kCAAkC,EAClC,aAAa,KAAK,IAAI,IAAI,CAAC,EAAE,EAAE,CAChC,CAAC;QACJ,CAAC;QACD,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACpB,CAAC;AACH,CAAC;AAED,SAAS,QAAQ,CAAC,KAAsB;IACtC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,KAAK,CAAC;IACjC,MAAM,KAAK,GAAG,IAAI,OAAO,EAAE,CAAC;IAC5B,MAAM,SAAS,GAAsB,EAAE,CAAC;IACxC,MAAM,qBAAqB,GAAG,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAC7D,qBAAqB,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,CACxC,CAAC;IAEF,kBAAkB,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;IAElC,2FAA2F;IAC3F,8FAA8F;IAC9F,MAAM,eAAe,GAA2B,EAAE,CAAC;IACnD,MAAM,qBAAqB,GAAkB,EAAE,CAAC;IAChD,MAAM,MAAM,GAAG,CAAC,EAAE,cAAc,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAiB,EAAE,EAAE;QAC5E,MAAM,OAAO,GAAG,MAAM,CAAC,QAAQ,KAAK,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC;QACvD,IAAI,OAAO,IAAI,CAAC,kBAAkB,CAAC,cAAc,CAAC,EAAE,CAAC;YACnD,eAAe,CAAC,IAAI,CAClB,aAAa,CAAC,MAAM,EAAE,wBAAwB,MAAM,CAAC,QAAQ,qBAAqB,CAAC,CACpF,CAAC;YACF,OAAO;QACT,CAAC;QACD,KAAK,MAAM,IAAI,IAAI,QAAQ,EAAE,CAAC;YAC5B,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,QAAQ,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC;QAC1E,CAAC;QACD,eAAe,CAAC,IAAI,CAClB,OAAO;YACL,CAAC,CAAC;gBACE,GAAG,cAAc;gBACjB,QAAQ,EAAE,MAAM,CAAC,QAAQ;gBACzB,MAAM,EAAE,yBAAyB,MAAM,CAAC,QAAQ,qCAAqC,cAAc,CAAC,MAAM,EAAE;aAC7G;YACH,CAAC,CAAC,EAAE,GAAG,cAAc,EAAE,QAAQ,EAAE,MAAM,CAAC,QAAQ,EAAE,CACrD,CAAC;IACJ,CAAC,CAAC;IACF,KAAK,MAAM,MAAM,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;QACnC,IAAI,MAAM,CAAC,QAAQ,KAAK,MAAM,CAAC,QAAQ,CAAC,EAAE,IAAI,CAAC,mBAAmB,CAAC,MAAM,EAAE,MAAM,CAAC,EAAE,CAAC;YACnF,eAAe,CAAC,IAAI,CAClB,aAAa,CACX,MAAM,EACN,wBAAwB,MAAM,CAAC,QAAQ,+BAA+B,CACvE,CACF,CAAC;YACF,SAAS;QACX,CAAC;QACD,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC;QAC3B,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC,EAAE,CAAC;YAC3B,qBAAqB,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YACnC,SAAS;QACX,CAAC;QACD,MAAM,CAAC,qBAAqB,CAAC,MAAM,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC;IACtD,CAAC;IAED,0CAA0C;IAC1C,MAAM,WAAW,GAAG,YAAY,CAAC,KAAK,EAAE,qBAAqB,EAAE,KAAK,CAAC,CAAC;IACtE,SAAS,CAAC,IAAI,CAAC;QACb,IAAI,EAAE,QAAQ;QACd,OAAO,EAAE,IAAI;QACb,IAAI,EAAE,IAAI;QACV,KAAK,EAAE,IAAI;QACX,MAAM,EAAE,GAAG,WAAW,CAAC,KAAK,GAAG,WAAW,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,WAAW,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE;KAC7G,CAAC,CAAC;IAEH,sFAAsF;IACtF,MAAM,YAAY,GAAG,gBAAgB,CAAC,KAAK,EAAE,WAAW,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IACvE,KAAK,MAAM,IAAI,IAAI,CAAC,GAAG,YAAY,CAAC,UAAU,EAAE,GAAG,YAAY,CAAC,YAAY,CAAC,EAAE,CAAC;QAC9E,SAAS,CAAC,IAAI,CAAC;YACb,IAAI,EAAE,OAAO;YACb,OAAO,EAAE,IAAI;YACb,IAAI,EAAE,IAAI;YACV,KAAK,EAAE,IAAI;YACX,MAAM,EAAE,GAAG,IAAI,CAAC,EAAE,KAAK,IAAI,CAAC,MAAM,EAAE;SACrC,CAAC,CAAC;IACL,CAAC;IAED,wDAAwD;IACxD,KAAK,MAAM,MAAM,IAAI,qBAAqB,EAAE,CAAC;QAC3C,MAAM,CAAC,4BAA4B,CAAC,MAAM,EAAE,KAAK,EAAE,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC;IACzE,CAAC;IACD,eAAe,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,EAAE,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC;IACzE,KAAK,MAAM,cAAc,IAAI,eAAe,EAAE,CAAC;QAC7C,SAAS,CAAC,IAAI,CAAC;YACb,IAAI,EAAE,QAAQ;YACd,OAAO,EAAE,IAAI;YACb,IAAI,EAAE,IAAI;YACV,KAAK,EAAE,IAAI;YACX,MAAM,EAAE,GAAG,cAAc,CAAC,EAAE,KAAK,cAAc,CAAC,MAAM,QAAQ,cAAc,CAAC,cAAc,KAAK,cAAc,CAAC,MAAM,EAAE;SACxH,CAAC,CAAC;IACL,CAAC;IAED,yBAAyB;IACzB,MAAM,MAAM,GAAG,IAAI,GAAG,EAA2B,CAAC;IAClD,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,IAAI,EAAE,EAAE,CAAC;QAChC,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC;YAC5E,MAAM,KAAK,GAAG,UAAU,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;YACtC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,EAAE,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC;YACzE,SAAS,CAAC,IAAI,CAAC;gBACb,IAAI,EAAE,OAAO;gBACb,OAAO,EAAE,IAAI,CAAC,OAAO;gBACrB,IAAI,EAAE,IAAI,CAAC,EAAE;gBACb,KAAK,EAAE,KAAK,CAAC,KAAK;gBAClB,MAAM,EAAE,IAAI,CAAC,MAAM;aACpB,CAAC,CAAC;QACL,CAAC;QACD,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC;YAAE,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC;IAC7D,CAAC;IACD,MAAM,MAAM,GAAG,IAAI,GAAG,EAAmB,CAAC;IAC1C,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,IAAI,EAAE,EAAE,CAAC;QAChC,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC;YAC1C,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;YACzB,SAAS,CAAC,IAAI,CAAC;gBACb,IAAI,EAAE,OAAO;gBACb,OAAO,EAAE,IAAI,CAAC,OAAO;gBACrB,IAAI,EAAE,IAAI,CAAC,EAAE;gBACb,KAAK,EAAE,IAAI;gBACX,MAAM,EAAE,GAAG,IAAI,CAAC,MAAM,YAAY,IAAI,CAAC,OAAO,2BAA2B,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE;aAC7F,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IACD,MAAM,cAAc,GAAG,IAAI,GAAG,EAA2B,CAAC;IAC1D,KAAK,MAAM,OAAO,IAAI,iBAAiB,EAAE,CAAC;QACxC,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;QAClC,IAAI,KAAK,KAAK,SAAS;YAAE,SAAS;QAClC,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC;YAC/B,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;YACrE,CAAC,CAAC,KAAK,CAAC;QACV,cAAc,CAAC,GAAG,CAAC,OAAO,EAAE,KAAK,CAAC,CAAC;QACnC,SAAS,CAAC,IAAI,CAAC;YACb,IAAI,EAAE,OAAO;YACb,OAAO;YACP,IAAI,EAAE,IAAI;YACV,KAAK,EAAE,OAAO,CAAC,KAAK,CAAC;YACrB,MAAM,EAAE,GAAG,OAAO,mBAAmB,OAAO,CAAC,KAAK,CAAC,GAAG,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,EAAE;SAC9F,CAAC,CAAC;IACL,CAAC;IACD,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,GAAG,cAAc,CAAC,MAAM,EAAE,CAAC,CAAC;IAExD,sDAAsD;IACtD,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAuB,CAAC;IAChD,MAAM,WAAW,GAAG,IAAI,GAAG,EAAuB,CAAC;IACnD,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;IACxE,sFAAsF;IACtF,MAAM,MAAM,GAAG,CAAC,IAAY,EAAE,QAA0B,EAAoB,EAAE,CAC5E,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,OAAO,KAAK,gBAAgB,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC;IAClE,KAAK,MAAM,QAAQ,IAAI,MAAM,CAAC,SAAS,EAAE,CAAC;QACxC,MAAM,IAAI,GAAG,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;QACxC,IAAI,CAAC,IAAI;YAAE,SAAS;QACpB,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC,MAAM,CACnC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,cAAc,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,UAAU,CAAC,QAAQ,CAAC,KAAK,CAAC,CAC/E,CAAC;QACF,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;YAC/B,UAAU,CACR,QAAQ,EACR,QAAQ,CAAC,IAAI,EACb,MAAM,CAAC,QAAQ,CAAC,IAAI,EAAE,eAAe,CAAC,MAAM,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC,EAC9D,YAAY,QAAQ,CAAC,KAAK,IAAI,OAAO,EAAE,CACxC,CAAC;QACJ,CAAC;IACH,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,IAAI,EAAE,EAAE,CAAC;QAChC,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,KAAK,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC;YACtF,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;gBACjC,UAAU,CAAC,QAAQ,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,QAAQ,CAAC,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC;YACnE,CAAC;YACD,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,SAAS,EAAE,CAAC;gBACnC,UAAU,CAAC,WAAW,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,QAAQ,CAAC,EAAE,IAAI,CAAC,EAAE,CAAC,CAAC;YACtE,CAAC;QACH,CAAC;IACH,CAAC;IACD,KAAK,MAAM,IAAI,IAAI,QAAQ,CAAC,IAAI,EAAE;QAAE,WAAW,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IAE7D,aAAa;IACb,MAAM,QAAQ,GAAG,YAAY,CAC3B,KAAK,CAAC,IAAI,EAAE,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CACzF,CAAC;IACF,MAAM,OAAO,GAAG,YAAY,CAC1B,KAAK,CAAC,IAAI,EAAE,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CACxF,CAAC;IACF,MAAM,MAAM,GACV,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC;IAC1E,SAAS,CAAC,IAAI,CAAC;QACb,IAAI,EAAE,QAAQ;QACd,OAAO,EAAE,IAAI;QACb,IAAI,EAAE,IAAI;QACV,KAAK,EAAE,IAAI;QACX,MAAM,EACJ,MAAM,KAAK,OAAO;YAChB,CAAC,CAAC,6BAA6B;YAC/B,CAAC,CAAC,GAAG,MAAM,KAAK,CAAC,GAAG,QAAQ,EAAE,GAAG,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;KAC3D,CAAC,CAAC;IAEH,OAAO;QACL,MAAM;QACN,KAAK,EAAE,OAAO,CAAC,OAAO,CAAC;QACvB,cAAc;QACd,KAAK,EAAE,WAAW,CAAC,KAAK;QACxB,YAAY,EAAE,WAAW,CAAC,OAAO;QACjC,KAAK,EAAE,KAAK,CAAC,IAAI,EAAE;QACnB,OAAO,EAAE,IAAI,GAAG,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACrD,OAAO,EAAE,eAAe;QACxB,gBAAgB,EAAE,YAAY,CAAC,UAAU;QACzC,mBAAmB,EAAE,YAAY,CAAC,aAAa;QAC/C,QAAQ;QACR,WAAW;QACX,SAAS;KACV,CAAC;AACJ,CAAC;AAED,mFAAmF;AACnF,MAAM,OAAO;IACM,KAAK,GAAG,IAAI,GAAG,EAAuB,CAAC;IAExD,GAAG,CACD,EAAU,EACV,OAAwB,EACxB,QAA0B,EAC1B,IAAsB,EACtB,MAAc;QAEd,MAAM,GAAG,GAAG,GAAG,EAAE,IAAI,OAAO,EAAE,CAAC;QAC/B,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACrC,IAAI,QAAQ,EAAE,CAAC;YACb,QAAQ,CAAC,QAAQ,GAAG,YAAY,CAAC,CAAC,GAAG,QAAQ,CAAC,QAAQ,EAAE,GAAG,QAAQ,CAAC,CAAC,CAAC;YACtE,QAAQ,CAAC,IAAI,GAAG,YAAY,CAAC,CAAC,GAAG,QAAQ,CAAC,IAAI,EAAE,GAAG,IAAI,CAAC,CAAC,CAAC;YAC1D,OAAO;QACT,CAAC;QACD,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,EAAE;YAClB,EAAE;YACF,OAAO;YACP,QAAQ,EAAE,YAAY,CAAC,QAAQ,CAAC;YAChC,IAAI,EAAE,YAAY,CAAC,IAAI,CAAC;YACxB,MAAM;SACP,CAAC,CAAC;IACL,CAAC;IAED,GAAG,CAAC,EAAU;QACZ,OAAO,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;IACjE,CAAC;IAED,IAAI;QACF,OAAO,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAClC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CACd,cAAc,CAAC,IAAI,CAAC,EAAE,EAAE,KAAK,CAAC,EAAE,CAAC,IAAI,cAAc,CAAC,IAAI,CAAC,OAAO,EAAE,KAAK,CAAC,OAAO,CAAC,CACnF,CAAC;IACJ,CAAC;CACF;AAED,SAAS,GAAG,CAAC,QAAgC;IAC3C,OAAO,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;AAC/C,CAAC;AAED,SAAS,QAAQ,CAAC,QAAgC,EAAE,IAAY;IAC9D,OAAO,GAAG,GAAG,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,IAAI,EAAE,CAAC;AAChD,CAAC;AAED,SAAS,kBAAkB,CAAC,MAAoB,EAAE,KAAc;IAC9D,MAAM,MAAM,GAAG,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC;IAC/E,MAAM,QAAQ,GAAG,CAAC,GAAG,KAAoB,EAAE,EAAE,CAC3C,MAAM,CAAC,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC;IAC3D,MAAM,GAAG,GAAG,CACV,EAAU,EACV,OAAwB,EACxB,QAAgC,EAChC,IAAY,EACZ,EAAE;QACF,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC;YAAE,KAAK,CAAC,GAAG,CAAC,EAAE,EAAE,OAAO,EAAE,GAAG,CAAC,QAAQ,CAAC,EAAE,EAAE,EAAE,QAAQ,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC,CAAC;IAC/F,CAAC,CAAC;IACF,MAAM,OAAO,GAAG,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,qBAAqB,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC;IAC7F,MAAM,aAAa,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC;IAC9E,MAAM,gBAAgB,GAAG,IAAI,GAAG,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC,CAAC;IAErD,GAAG,CAAC,uBAAuB,EAAE,eAAe,EAAE,QAAQ,CAAC,eAAe,CAAC,EAAE,uBAAuB,CAAC,CAAC;IAClG,GAAG,CACD,eAAe,EACf,sBAAsB,EACtB,QAAQ,CAAC,MAAM,CAAC,CAAC,MAAM,CACrB,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,gBAAgB,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,IAAI,KAAK,CAAC,CACnF,EACD,sDAAsD,CACvD,CAAC;IACF,GAAG,CACD,gBAAgB,EAChB,sBAAsB,EACtB,QAAQ,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,cAAc,KAAK,MAAM,CAAC,EACvE,sDAAsD,CACvD,CAAC;IACF,GAAG,CACD,8BAA8B,EAC9B,sBAAsB,EACtB,QAAQ,CAAC,sBAAsB,CAAC,EAChC,8BAA8B,CAC/B,CAAC;IACF,GAAG,CACD,2BAA2B,EAC3B,SAAS,EACT,QAAQ,CAAC,mBAAmB,CAAC,EAC7B,0EAA0E,CAC3E,CAAC;IACF,GAAG,CAAC,oBAAoB,EAAE,YAAY,EAAE,QAAQ,CAAC,YAAY,CAAC,EAAE,4BAA4B,CAAC,CAAC;IAE9F,MAAM,OAAO,GAAG,QAAQ,CAAC,SAAS,CAAC,CAAC;IACpC,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,IAAI,OAAO,CAAC,KAAK,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,cAAc,KAAK,MAAM,CAAC,EAAE,CAAC;QACxF,GAAG,CAAC,kBAAkB,EAAE,SAAS,EAAE,OAAO,EAAE,kDAAkD,CAAC,CAAC;IAClG,CAAC;IACD,MAAM,UAAU,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,cAAc,KAAK,MAAM,CAAC,CAAC;IAClF,GAAG,CAAC,yBAAyB,EAAE,SAAS,EAAE,UAAU,EAAE,6BAA6B,CAAC,CAAC;IACrF,GAAG,CACD,4BAA4B,EAC5B,SAAS,EACT,OAAO,CAAC,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,cAAc,KAAK,WAAW,CAAC,EACnE,oCAAoC,CACrC,CAAC;IACF,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,cAAc,KAAK,KAAK,CAAC,CAAC;IAC5E,IAAI,MAAM,CAAC,aAAa,KAAK,YAAY,EAAE,CAAC;QAC1C,GAAG,CAAC,oBAAoB,EAAE,SAAS,EAAE,KAAK,EAAE,6CAA6C,CAAC,CAAC;IAC7F,CAAC;SAAM,CAAC;QACN,GAAG,CAAC,aAAa,EAAE,SAAS,EAAE,KAAK,EAAE,gBAAgB,CAAC,CAAC;IACzD,CAAC;IACD,GAAG,CACD,sBAAsB,EACtB,SAAS,EACT,OAAO,CAAC,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,cAAc,KAAK,SAAS,CAAC,EACjE,cAAc,CACf,CAAC;IAEF,MAAM,WAAW,GAAG,MAAM,CAAC,QAAQ,CAAC,MAAM,CACxC,CAAC,OAAO,EAAE,EAAE,CACV,CAAC,OAAO,CAAC,IAAI,KAAK,SAAS,IAAI,OAAO,CAAC,IAAI,KAAK,mBAAmB,CAAC;QACpE,OAAO,CAAC,OAAO,KAAK,MAAM,CAC7B,CAAC;IACF,GAAG,CACD,sBAAsB,EACtB,SAAS,EACT,WAAW,CAAC,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,KAAK,QAAQ,CAAC,EAC3D,8BAA8B,CAC/B,CAAC;IACF,GAAG,CACD,uBAAuB,EACvB,SAAS,EACT,WAAW,CAAC,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,cAAc,KAAK,MAAM,CAAC,EAClE,kCAAkC,CACnC,CAAC;IAEF,KAAK,MAAM,QAAQ,IAAI,UAAU,EAAE,CAAC;QAClC,MAAM,kBAAkB,GAAG,qBAAqB,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QAC/D,6FAA6F;QAC7F,MAAM,YAAY,GAAG,MAAM,CAAC,QAAQ,CAAC,MAAM,CACzC,CAAC,OAAO,EAAE,EAAE,CACV,OAAO,CAAC,UAAU,CAAC,QAAQ,CAAC,QAAQ,CAAC;YACrC,CAAC,qBAAqB,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC;gBACtC,CAAC,oBAAoB,CAAC,GAAG,CAAC,QAAQ,CAAC;oBACjC,CAAC,OAAO,CAAC,IAAI,KAAK,sBAAsB;wBACtC,CAAC,OAAO,CAAC,IAAI,KAAK,MAAM,IAAI,OAAO,CAAC,cAAc,KAAK,MAAM,CAAC,CAAC,CAAC,CAAC,CAC1E,CAAC;QACF,kFAAkF;QAClF,MAAM,SAAS,GAAG,CAAC,EAAU,EAAE,QAAgC,EAAE,IAAY,EAAE,EAAE;YAC/E,KAAK,MAAM,OAAO,IAAI,iBAAiB,EAAE,CAAC;gBACxC,GAAG,CACD,EAAE,EACF,OAAO,EACP,QAAQ,CAAC,MAAM,CACb,CAAC,OAAO,EAAE,EAAE,CACV,CAAC,kBAAkB,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,aAAa,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,KAAK,OAAO,CAChF,EACD,IAAI,CACL,CAAC;YACJ,CAAC;QACH,CAAC,CAAC;QACF,SAAS,CACP,YAAY,QAAQ,UAAU,EAC9B,YAAY,CAAC,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,KAAK,QAAQ,CAAC,EAC5D,GAAG,QAAQ,mBAAmB,CAC/B,CAAC;QACF,SAAS,CACP,YAAY,QAAQ,WAAW,EAC/B,YAAY,CAAC,MAAM,CACjB,CAAC,OAAO,EAAE,EAAE,CACV,OAAO,CAAC,cAAc,KAAK,MAAM,IAAI,CAAC,OAAO,CAAC,KAAK,KAAK,QAAQ,IAAI,CAAC,kBAAkB,CAAC,CAC3F,EACD,GAAG,QAAQ,sBAAsB,CAClC,CAAC;QACF,SAAS,CACP,YAAY,QAAQ,aAAa,EACjC,YAAY,CAAC,MAAM,CACjB,CAAC,OAAO,EAAE,EAAE,CACV,OAAO,CAAC,KAAK,KAAK,YAAY;YAC9B,CAAC,OAAO,CAAC,cAAc,KAAK,MAAM,IAAI,kBAAkB,CAAC,CAC5D,EACD,GAAG,QAAQ,gCAAgC,CAC5C,CAAC;IACJ,CAAC;IAED,GAAG,CACD,kBAAkB,EAClB,SAAS,EACT,OAAO,CAAC,MAAM,CACZ,CAAC,OAAO,EAAE,EAAE,CACV,OAAO,CAAC,QAAQ,KAAK,UAAU;QAC/B,CAAC,OAAO,CAAC,QAAQ,KAAK,SAAS,IAAI,OAAO,CAAC,cAAc,KAAK,MAAM,CAAC,CACxE,EACD,0CAA0C,CAC3C,CAAC;IACF,GAAG,CACD,uBAAuB,EACvB,SAAS,EACT,OAAO,CAAC,MAAM,CACZ,CAAC,OAAO,EAAE,EAAE,CACV,OAAO,CAAC,oBAAoB;QAC5B,OAAO,CAAC,cAAc,KAAK,MAAM;QACjC,CAAC,OAAO,CAAC,OAAO,KAAK,kBAAkB,IAAI,OAAO,CAAC,OAAO,KAAK,MAAM,CAAC,CACzE,EACD,2CAA2C,CAC5C,CAAC;IACF,6FAA6F;IAC7F,MAAM,kBAAkB,GAAG,aAAa,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,OAAO,CAAC;IAC9E,IAAI,MAAM,CAAC,aAAa,KAAK,QAAQ,EAAE,CAAC;QACtC,GAAG,CAAC,sBAAsB,EAAE,SAAS,EAAE,kBAAkB,EAAE,iCAAiC,CAAC,CAAC;IAChG,CAAC;IACD,IAAI,MAAM,CAAC,aAAa,KAAK,cAAc,EAAE,CAAC;QAC5C,GAAG,CAAC,4BAA4B,EAAE,SAAS,EAAE,kBAAkB,EAAE,4BAA4B,CAAC,CAAC;IACjG,CAAC;AACH,CAAC;AAED,SAAS,eAAe,CAAC,MAAkB;IACzC,OAAQ,eAAqC,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;AACjE,CAAC;AAQD,SAAS,mBAAmB,CAAC,MAAmB,EAAE,MAAoB;IACpE,OAAO,CACL,MAAM,CAAC,QAAQ,KAAK,MAAM,CAAC,QAAQ,CAAC,QAAQ;QAC5C,MAAM,CAAC,iBAAiB,KAAK,SAAS;QACtC,MAAM,CAAC,iBAAiB,KAAK,MAAM,CAAC,QAAQ,CAAC,iBAAiB,CAC/D,CAAC;AACJ,CAAC;AAED,mFAAmF;AACnF,MAAM,UAAU,kBAAkB,CAChC,cAA0E;IAE1E,OAAO,CACL,cAAc,CAAC,cAAc,KAAK,SAAS;QAC3C,CAAC,cAAc,CAAC,cAAc,KAAK,cAAc,IAAI,cAAc,CAAC,SAAS,KAAK,IAAI,CAAC,CACxF,CAAC;AACJ,CAAC;AAED,SAAS,aAAa,CAAC,MAAmB,EAAE,MAAc;IACxD,OAAO;QACL,EAAE,EAAE,MAAM,CAAC,EAAE;QACb,QAAQ,EAAE,MAAM,CAAC,QAAQ;QACzB,MAAM,EAAE,MAAM,CAAC,MAAM;QACrB,cAAc,EAAE,gBAAgB;QAChC,SAAS,EAAE,MAAM,CAAC,yBAAyB;QAC3C,KAAK,EAAE,EAAE;QACT,QAAQ,EAAE,MAAM,CAAC,QAAQ;QACzB,MAAM;KACP,CAAC;AACJ,CAAC;AAED,SAAS,YAAY,CACnB,EAAU,EACV,OAAwB,EACxB,MAAmB,EACnB,MAAc;IAEd,OAAO,EAAE,EAAE,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,CAAC,QAAQ,EAAE,IAAI,EAAE,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC;AAC/E,CAAC;AAED,SAAS,qBAAqB,CAC5B,MAAmB,EACnB,IAAmB,EACnB,MAAoB;IAEpB,MAAM,IAAI,GAAG;QACX,EAAE,EAAE,MAAM,CAAC,EAAE;QACb,MAAM,EAAE,IAAI;QACZ,SAAS,EAAE,MAAM,CAAC,yBAAyB;QAC3C,KAAK,EAAE,EAAwB;QAC/B,QAAQ,EAAE,MAAM,CAAC,QAAQ;KAC1B,CAAC;IACF,IAAI,oBAAoB,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC,WAAW,CAAC,QAAQ,CAAC,wBAAwB,CAAC,EAAE,CAAC;QAC5F,OAAO;YACL,MAAM,EAAE,MAAM;YACd,cAAc,EAAE;gBACd,GAAG,IAAI;gBACP,cAAc,EAAE,cAAc;gBAC9B,KAAK,EAAE,CAAC,wBAAwB,CAAC;gBACjC,MAAM,EAAE,4EAA4E;aACrF;YACD,uDAAuD;YACvD,KAAK,EAAE;gBACL,YAAY,CACV,gCAAgC,EAChC,SAAS,EACT,MAAM,EACN,GAAG,IAAI,gCAAgC,MAAM,CAAC,MAAM,EAAE,CACvD;aACF;SACF,CAAC;IACJ,CAAC;IACD,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,EAAE,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC;IAC9E,MAAM,QAAQ,GAAG,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;IAC3D,MAAM,WAAW,GAAG,QAAQ,CAAC,MAAM,GAAG,CAAC,IAAI,QAAQ,CAAC,KAAK,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,KAAK,SAAS,CAAC,CAAC;IAC9F,IAAI,IAAI,KAAK,kBAAkB,IAAI,WAAW,EAAE,CAAC;QAC/C,OAAO;YACL,MAAM,EAAE,MAAM;YACd,cAAc,EAAE;gBACd,GAAG,IAAI;gBACP,cAAc,EAAE,UAAU;gBAC1B,MAAM,EAAE,oDAAoD;aAC7D;YACD,KAAK,EAAE,EAAE;SACV,CAAC;IACJ,CAAC;IACD,IACE,IAAI,KAAK,sBAAsB;QAC/B,WAAW;QACX,QAAQ,CAAC,KAAK,CACZ,CAAC,OAAO,EAAE,EAAE,CACV,OAAO,EAAE,OAAO,KAAK,MAAM;YAC3B,CAAC,OAAO,CAAC,IAAI,KAAK,SAAS,IAAI,OAAO,CAAC,IAAI,KAAK,mBAAmB,CAAC,CACvE,EACD,CAAC;QACD,OAAO;YACL,MAAM,EAAE,MAAM;YACd,cAAc,EAAE;gBACd,GAAG,IAAI;gBACP,cAAc,EAAE,UAAU;gBAC1B,MAAM,EAAE,oEAAoE;aAC7E;YACD,KAAK,EAAE,EAAE;SACV,CAAC;IACJ,CAAC;IACD,OAAO;QACL,MAAM,EAAE,MAAM;QACd,cAAc,EAAE;YACd,GAAG,IAAI;YACP,cAAc,EAAE,SAAS;YACzB,MAAM,EAAE,gCAAgC;SACzC;QACD,KAAK,EAAE;YACL,YAAY,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,SAAS,EAAE,MAAM,EAAE,GAAG,IAAI,cAAc,MAAM,CAAC,MAAM,EAAE,CAAC;SAC1F;KACF,CAAC;AACJ,CAAC;AAED,SAAS,4BAA4B,CACnC,MAAmB,EACnB,KAAsB,EACtB,KAAkB;IAElB,MAAM,EAAE,MAAM,EAAE,GAAG,KAAK,CAAC;IACzB,6FAA6F;IAC7F,6FAA6F;IAC7F,MAAM,UAAU,GAAG,IAAI,GAAG,CACxB,MAAM,CAAC,QAAQ;SACZ,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,qBAAqB,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;SAC5D,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC,CAChC,CAAC;IACF,MAAM,gBAAgB,GAAG,IAAI,GAAG,CAAC;QAC/B,GAAG,UAAU;QACb,GAAG,MAAM,CAAC,QAAQ;aACf,MAAM,CACL,CAAC,OAAO,EAAE,EAAE,CACV,CAAC,OAAO,CAAC,IAAI,KAAK,MAAM,IAAI,OAAO,CAAC,IAAI,KAAK,sBAAsB,CAAC;YACpE,CAAC,OAAO,CAAC,SAAS,KAAK,SAAS;gBAC9B,CAAC,CAAC,OAAO,CAAC,IAAI,KAAK,MAAM,IAAI,UAAU,CAAC,IAAI,GAAG,CAAC;gBAChD,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAC1D;aACA,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC;KAChC,CAAC,CAAC;IACH,MAAM,WAAW,GAAG,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,gBAAgB,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC;IACvF,MAAM,YAAY,GAAG,KAAK,KAAK,mBAAmB,IAAI,KAAK,KAAK,oBAAoB,CAAC;IACrF,IAAI,SAAmC,CAAC;IACxC,IAAI,IAAI,GAAG,EAAE,CAAC;IACd,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC3B,SAAS,GAAG,KAAK,CAAC;QAClB,IAAI,MAAM,CAAC,yBAAyB,KAAK,IAAI,EAAE,CAAC;YAC9C,IAAI,GAAG,oEAAoE,CAAC;QAC9E,CAAC;IACH,CAAC;SAAM,IAAI,MAAM,CAAC,yBAAyB,KAAK,IAAI,EAAE,CAAC;QACrD,IAAI,MAAM,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACjC,SAAS,GAAG,SAAS,CAAC;YACtB,IAAI,GAAG,4DAA4D,CAAC;QACtE,CAAC;aAAM,CAAC;YACN,SAAS,GAAG,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;YAC5C,IAAI,CAAC,YAAY;gBAAE,IAAI,GAAG,6CAA6C,CAAC;QAC1E,CAAC;IACH,CAAC;SAAM,CAAC;QACN,SAAS,GAAG,MAAM,CAAC,yBAAyB,CAAC;IAC/C,CAAC;IAED,IAAI,KAAK,GAAuB,EAAE,CAAC;IACnC,IAAI,SAAS,KAAK,IAAI,EAAE,CAAC;QACvB,KAAK,GAAG,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAC1C,KAAK,CAAC,MAAM,CAAC,WAAW,CAAC,uBAAuB,CAAC,QAAQ,CAAC,KAAK,CAAC,CACjE,CAAC;IACJ,CAAC;SAAM,IAAI,MAAM,CAAC,WAAW,CAAC,QAAQ,CAAC,wBAAwB,CAAC,EAAE,CAAC;QACjE,KAAK,GAAG,CAAC,wBAAwB,CAAC,CAAC;IACrC,CAAC;IACD,MAAM,IAAI,GAAG;QACX,EAAE,EAAE,MAAM,CAAC,EAAE;QACb,MAAM,EAAE,MAAM,CAAC,MAAM;QACrB,SAAS;QACT,QAAQ,EAAE,MAAM,CAAC,QAAQ;KAC1B,CAAC;IACF,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACrB,MAAM,KAAK,GAAG;YACZ,YAAY,CACV,iCAAiC,EACjC,sBAAsB,EACtB,MAAM,EACN,GAAG,MAAM,CAAC,MAAM,4CAA4C,MAAM,CAAC,MAAM,EAAE,CAC5E;SACF,CAAC;QACF,IAAI,KAAK,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,KAAK,wBAAwB,CAAC,EAAE,CAAC;YAC/D,KAAK,CAAC,IAAI,CACR,YAAY,CACV,gCAAgC,EAChC,sBAAsB,EACtB,MAAM,EACN,GAAG,MAAM,CAAC,MAAM,uDAAuD,MAAM,CAAC,MAAM,EAAE,CACvF,CACF,CAAC;QACJ,CAAC;QACD,OAAO;YACL,MAAM,EAAE,MAAM;YACd,cAAc,EAAE;gBACd,GAAG,IAAI;gBACP,cAAc,EAAE,sBAAsB;gBACtC,KAAK;gBACL,MAAM,EAAE,gDAAgD,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,EAAE;aACnF;YACD,KAAK;SACN,CAAC;IACJ,CAAC;IACD,OAAO;QACL,MAAM,EAAE,MAAM;QACd,cAAc,EAAE;YACd,GAAG,IAAI;YACP,cAAc,EAAE,cAAc;YAC9B,KAAK,EAAE,EAAE;YACT,MAAM,EACJ,SAAS,KAAK,IAAI;gBAChB,CAAC,CAAC,kCAAkC,IAAI,EAAE;gBAC1C,CAAC,CAAC,wFAAwF,IAAI,EAAE;SACrG;QACD,KAAK,EAAE;YACL,YAAY,CACV,+BAA+B,EAC/B,SAAS,KAAK,IAAI,CAAC,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,SAAS,EACvD,MAAM,EACN,GAAG,MAAM,CAAC,MAAM,oBAAoB,MAAM,CAAC,MAAM,EAAE,CACpD;SACF;KACF,CAAC;AACJ,CAAC;AAED,SAAS,YAAY,CACnB,KAAsB,EACtB,qBAA8B,EAC9B,KAAc;IAEd,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,KAAK,CAAC;IACjC,MAAM,EAAE,QAAQ,EAAE,GAAG,MAAM,CAAC;IAC5B,4FAA4F;IAC5F,MAAM,gBAAgB,GAAsB,YAAY,CACtD,MAAM,CAAC,QAAQ;SACZ,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAClB,qBAAqB;QACnB,CAAC,CAAC,qBAAqB,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC;QACzC,CAAC,CAAC,OAAO,CAAC,KAAK,KAAK,QAAQ,CAC/B;SACA,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,aAAa,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CACjD,CAAC;IACF,MAAM,eAAe,GAAG,CAAC,EAAU,EAAE,QAA0B,EAAE,MAAc,EAAE,EAAE;QACjF,KAAK,MAAM,OAAO,IAAI,gBAAgB;YAAE,KAAK,CAAC,GAAG,CAAC,EAAE,EAAE,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,CAAC,CAAC;IACvF,CAAC,CAAC;IACF,MAAM,eAAe,GAAG,8CAA8C,CAAC;IAEvE,+FAA+F;IAC/F,MAAM,SAAS,GAAa,EAAE,CAAC;IAC/B,IAAI,KAAK,CAAC,GAAG,CAAC,6BAA6B,CAAC;QAC1C,SAAS,CAAC,IAAI,CAAC,oCAAoC,CAAC,CAAC;IACvD,IAAI,KAAK,CAAC,GAAG,CAAC,2BAA2B,CAAC,EAAE,CAAC;QAC3C,SAAS,CAAC,IAAI,CAAC,6CAA6C,CAAC,CAAC;IAChE,CAAC;IACD,IAAI,QAAQ,CAAC,YAAY,KAAK,SAAS;QAAE,SAAS,CAAC,IAAI,CAAC,kCAAkC,CAAC,CAAC;IAC5F,IAAI,QAAQ,CAAC,mBAAmB,GAAG,CAAC,EAAE,CAAC;QACrC,SAAS,CAAC,IAAI,CAAC,GAAG,QAAQ,CAAC,mBAAmB,iCAAiC,CAAC,CAAC;IACnF,CAAC;IACD,IAAI,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,CAAC,EAAE,CAAC;QACvE,SAAS,CAAC,IAAI,CAAC,+CAA+C,CAAC,CAAC;IAClE,CAAC;IACD,IAAI,QAAQ,CAAC,YAAY,KAAK,SAAS,IAAI,QAAQ,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC1E,SAAS,CAAC,IAAI,CAAC,uDAAuD,CAAC,CAAC;IAC1E,CAAC;IACD,IAAI,KAAK,CAAC,GAAG,CAAC,2BAA2B,CAAC,EAAE,CAAC;QAC3C,SAAS,CAAC,IAAI,CAAC,mEAAmE,CAAC,CAAC;IACtF,CAAC;IACD,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC;IACpF,MAAM,SAAS,GAAG,IAAI,GAAG,CAAC;QACxB,GAAG,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,OAAO,KAAK,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC;QAC/F,GAAG,MAAM;aACN,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,WAAW,KAAK,MAAM,IAAI,KAAK,CAAC,WAAW,KAAK,UAAU,CAAC;aACnF,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC;KACtC,CAAC,CAAC;IACH,IAAI,CAAC,GAAG,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,SAAS,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC;QAC7D,SAAS,CAAC,IAAI,CAAC,+DAA+D,CAAC,CAAC;IAClF,CAAC;IACD,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACzB,sEAAsE;QACtE,KAAK,CAAC,GAAG,CAAC,kBAAkB,EAAE,SAAS,EAAE,EAAE,EAAE,EAAE,EAAE,uBAAuB,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAChG,IAAI,QAAQ,CAAC,WAAW,KAAK,MAAM;YACjC,KAAK,CAAC,GAAG,CAAC,kBAAkB,EAAE,SAAS,EAAE,EAAE,EAAE,EAAE,EAAE,eAAe,CAAC,CAAC;QACpE,OAAO,EAAE,KAAK,EAAE,WAAW,EAAE,OAAO,EAAE,SAAS,EAAE,CAAC;IACpD,CAAC;IAED,MAAM,SAAS,GAAa,EAAE,CAAC;IAC/B,IAAI,QAAQ,CAAC,MAAM,KAAK,UAAU;QAAE,SAAS,CAAC,IAAI,CAAC,qCAAqC,CAAC,CAAC;IAC1F,IAAI,QAAQ,CAAC,YAAY,KAAK,SAAS;QAAE,SAAS,CAAC,IAAI,CAAC,yBAAyB,CAAC,CAAC;IACnF,IAAI,QAAQ,CAAC,WAAW,KAAK,KAAK;QAChC,SAAS,CAAC,IAAI,CAAC,2BAA2B,QAAQ,CAAC,WAAW,EAAE,CAAC,CAAC;IACpE,IAAI,SAAS,CAAC,IAAI,GAAG,CAAC;QAAE,SAAS,CAAC,IAAI,CAAC,2BAA2B,CAAC,CAAC;IACpE,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC3B,OAAO,qBAAqB;YAC1B,CAAC,CAAC,EAAE,KAAK,EAAE,mBAAmB,EAAE,OAAO,EAAE,CAAC,4CAA4C,CAAC,EAAE;YACzF,CAAC,CAAC;gBACE,KAAK,EAAE,oBAAoB;gBAC3B,OAAO,EAAE;oBACP,6FAA6F;iBAC9F;aACF,CAAC;IACR,CAAC;IACD,IAAI,QAAQ,CAAC,MAAM,KAAK,UAAU,EAAE,CAAC;QACnC,eAAe,CACb,iBAAiB,EACjB,EAAE,EACF,+EAA+E,CAChF,CAAC;IACJ,CAAC;IACD,IAAI,SAAS,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC;QACvB,eAAe,CACb,2BAA2B,EAC3B,SAAS,EACT,yBAAyB,CAAC,GAAG,SAAS,CAAC,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAC1E,CAAC;IACJ,CAAC;IACD,IAAI,QAAQ,CAAC,WAAW,KAAK,MAAM;QAAE,eAAe,CAAC,kBAAkB,EAAE,EAAE,EAAE,eAAe,CAAC,CAAC;IAC9F,eAAe,CACb,0BAA0B,EAC1B,EAAE,EACF,oCAAoC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAC3D,CAAC;IACF,OAAO,EAAE,KAAK,EAAE,mBAAmB,EAAE,OAAO,EAAE,SAAS,EAAE,CAAC;AAC5D,CAAC;AAOD,SAAS,gBAAgB,CACvB,KAAsB,EACtB,KAAkB,EAClB,KAAc;IAEd,MAAM,EAAE,MAAM,EAAE,GAAG,KAAK,CAAC;IACzB,MAAM,WAAW,GAAG,IAAI,GAAG,CACzB,MAAM,CAAC,QAAQ;SACZ,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,qBAAqB,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;SAC5D,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,OAAO,CAAC,EAAE,EAAE,OAAO,CAAC,CAAC,CAC3C,CAAC;IACF,yFAAyF;IACzF,MAAM,YAAY,GAAG,MAAM,CAAC,QAAQ,CAAC,MAAM,CACzC,CAAC,OAAO,EAAE,EAAE,CACV,OAAO,CAAC,KAAK,KAAK,QAAQ;QAC1B,CAAC,OAAO,CAAC,IAAI,KAAK,MAAM,IAAI,OAAO,CAAC,IAAI,KAAK,sBAAsB,CAAC;QACpE,OAAO,CAAC,cAAc,KAAK,MAAM,CACpC,CAAC;IACF,MAAM,UAAU,GAAgB,EAAE,CAAC;IACnC,MAAM,YAAY,GAAgB,EAAE,CAAC;IACrC,MAAM,aAAa,GAAa,EAAE,CAAC;IACnC,MAAM,YAAY,GAAG,KAAK,KAAK,mBAAmB,IAAI,KAAK,KAAK,oBAAoB,CAAC;IACrF,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC;QACjC,MAAM,QAAQ,GAAG,KAAK,CAAC,WAAW,KAAK,MAAM,IAAI,KAAK,CAAC,WAAW,KAAK,UAAU,CAAC;QAClF,IAAI,KAAK,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;YACnC,MAAM,KAAK,GAAG,KAAK,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,EAAE,EAAE,EAAE;gBAC1C,MAAM,OAAO,GAAG,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;gBACpC,OAAO,OAAO,IAAI,OAAO,CAAC,cAAc,KAAK,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YAClE,CAAC,CAAC,CAAC;YACH,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACrB,KAAK,CAAC,GAAG,CACP,qBAAqB,EACrB,eAAe,EACf,KAAK,EACL,CAAC,KAAK,CAAC,EAAE,CAAC,EACV,uBAAuB,KAAK,CAAC,EAAE,cAAc,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,6BAA6B,CAC3F,CAAC;YACJ,CAAC;iBAAM,CAAC;gBACN,UAAU,CAAC,IAAI,CAAC;oBACd,EAAE,EAAE,KAAK,CAAC,EAAE;oBACZ,MAAM,EAAE,4DAA4D;iBACrE,CAAC,CAAC;YACL,CAAC;YACD,SAAS;QACX,CAAC;QACD,MAAM,UAAU,GAAG,YAAY,CAAC,MAAM,CACpC,CAAC,OAAO,EAAE,EAAE,CACV,KAAK,CAAC,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC;YACnC,CAAC,OAAO,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,IAAI,KAAK,CAAC,CAC1E,CAAC;QACF,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,IAAI,QAAQ,EAAE,CAAC;YACtC,KAAK,CAAC,GAAG,CACP,SAAS,KAAK,CAAC,WAAW,KAAK,UAAU,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,MAAM,SAAS,EACxE,sBAAsB,EACtB,GAAG,CAAC,UAAU,CAAC,EACf,CAAC,KAAK,CAAC,EAAE,CAAC,EACV,SAAS,KAAK,CAAC,EAAE,KAAK,KAAK,CAAC,WAAW,0CAA0C,GAAG,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAC9G,CAAC;QACJ,CAAC;QACD,MAAM,QAAQ,GAAG,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;QACpE,IAAI,KAA8B,CAAC;QACnC,IAAI,QAAkB,CAAC;QACvB,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACxB,KAAK,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,KAAK,KAAK,QAAQ,CAAC;gBACpE,CAAC,CAAC,QAAQ;gBACV,CAAC,CAAC,YAAY,CAAC;YACjB,QAAQ,GAAG,QAAQ,CAAC;QACtB,CAAC;aAAM,IAAI,YAAY,EAAE,CAAC;YACxB,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAC1B,YAAY,CAAC,IAAI,CAAC;oBAChB,EAAE,EAAE,KAAK,CAAC,EAAE;oBACZ,MAAM,EAAE,+DAA+D,GAAG,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG;iBACrG,CAAC,CAAC;YACL,CAAC;iBAAM,CAAC;gBACN,UAAU,CAAC,IAAI,CAAC;oBACd,EAAE,EAAE,KAAK,CAAC,EAAE;oBACZ,MAAM,EAAE,sEAAsE;iBAC/E,CAAC,CAAC;YACL,CAAC;YACD,SAAS;QACX,CAAC;aAAM,CAAC;YACN,aAAa,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;YAC7B,IAAI,KAAK,KAAK,mBAAmB,IAAI,KAAK,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;gBAChE,gFAAgF;gBAChF,4EAA4E;gBAC5E,IAAI,QAAQ,EAAE,CAAC;oBACb,KAAK,CAAC,GAAG,CACP,sBAAsB,EACtB,SAAS,EACT,KAAK,CAAC,QAAQ,EACd,CAAC,KAAK,CAAC,EAAE,CAAC,EACV,SAAS,KAAK,CAAC,EAAE,KAAK,KAAK,CAAC,WAAW,mDAAmD,CAC3F,CAAC;gBACJ,CAAC;gBACD,SAAS;YACX,CAAC;YACD,KAAK,GAAG,YAAY,CAAC;YACrB,QAAQ,GAAG,KAAK,CAAC,QAAQ,CAAC;QAC5B,CAAC;QACD,MAAM,MAAM,GAAG,SAAS,KAAK,CAAC,EAAE,KAAK,KAAK,CAAC,WAAW,KAAK,KAAK,CAAC,KAAK,KAAK,KAAK,CAAC,IAAI,aAAa,KAAK,IAAI,CAAC;QAC5G,wFAAwF;QACxF,kCAAkC;QAClC,IAAI,KAAK,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;YAC/B,KAAK,CAAC,GAAG,CACP,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,4BAA4B,EACrE,YAAY,EACZ,QAAQ,EACR,CAAC,KAAK,CAAC,EAAE,CAAC,EACV,MAAM,CACP,CAAC;YACF,SAAS;QACX,CAAC;QACD,KAAK,MAAM,OAAO,IAAI,CAAC,SAAS,EAAE,YAAY,CAAU,EAAE,CAAC;YACzD,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE;gBACpC,MAAM,OAAO,GAAG,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;gBACpC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,aAAa,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,OAAO,CAAC;YACzE,CAAC,CAAC,CAAC;YACH,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;gBAAE,SAAS;YAClC,IAAI,KAAK,CAAC,WAAW,KAAK,MAAM,IAAI,KAAK,CAAC,WAAW,KAAK,UAAU,EAAE,CAAC;gBACrE,KAAK,CAAC,GAAG,CAAC,SAAS,KAAK,CAAC,WAAW,IAAI,KAAK,EAAE,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC;YACxF,CAAC;YACD,IAAI,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,KAAK,KAAK,OAAO,EAAE,CAAC;gBAClD,KAAK,CAAC,GAAG,CAAC,eAAe,KAAK,CAAC,KAAK,EAAE,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC,KAAK,CAAC,EAAE,CAAC,EAAE,MAAM,CAAC,CAAC;YAC/E,CAAC;QACH,CAAC;IACH,CAAC;IACD,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,aAAa,EAAE,CAAC;AACrD,CAAC;AAED,kGAAkG;AAClG,SAAS,eAAe,CAAC,MAAoB,EAAE,KAAc,EAAE,OAAwB;IACrF,MAAM,KAAK,GAAG,IAAI,GAAG,CACnB,KAAK;SACF,IAAI,EAAE;SACN,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,KAAK,OAAO,CAAC;SAC1C,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,CACpC,CAAC;IACF,OAAO,MAAM,CAAC,QAAQ;SACnB,MAAM,CACL,CAAC,OAAO,EAAE,EAAE,CACV,aAAa,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,OAAO;QACvC,CAAC,OAAO,CAAC,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,CACxD;SACA,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;AAClC,CAAC;AAED,SAAS,UAAU,CACjB,MAAgC,EAChC,IAAY,EACZ,QAA0B,EAC1B,OAAe;IAEf,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,QAAQ,EAAE,IAAI,GAAG,EAAU,EAAE,OAAO,EAAE,IAAI,GAAG,EAAU,EAAE,CAAC;IAC9F,KAAK,MAAM,OAAO,IAAI,QAAQ;QAAE,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IAC5D,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;IAC3B,MAAM,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;AAC1B,CAAC;AAED,SAAS,aAAa,CACpB,IAAsB,EACtB,QAA0B,EAC1B,OAAyB;IAEzB,OAAO;QACL,IAAI,EAAE,IAAI,CAAC,EAAE;QACb,KAAK,EAAE,IAAI,CAAC,KAAK;QACjB,MAAM,EAAE,IAAI,CAAC,MAAM;QACnB,OAAO,EAAE,IAAI,CAAC,OAAO;QACrB,YAAY,EAAE,IAAI,CAAC,YAAY;QAC/B,QAAQ,EAAE,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC;QAC5B,cAAc,EAAE,0BAA0B,CAAC,IAAI,CAAC;QAChD,QAAQ,EAAE,YAAY,CAAC,QAAQ,CAAC;QAChC,OAAO,EAAE,YAAY,CAAC,OAAO,CAAC;KAC/B,CAAC;AACJ,CAAC;AAED,SAAS,WAAW,CAClB,OAAyC,EACzC,OAAwC;IAExC,OAAO,OAAO;SACX,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;SACtC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE;QACZ,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACnC,OAAO,aAAa,CAAC,IAAI,EAAE,KAAK,EAAE,QAAQ,IAAI,EAAE,EAAE,KAAK,EAAE,OAAO,IAAI,EAAE,CAAC,CAAC;IAC1E,CAAC,CAAC;SACD,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;AAClE,CAAC;AAED;;;;GAIG;AACH,SAAS,cAAc,CAAC,KAAsB;IAC5C,OAAO;QACL,GAAG,KAAK;QACR,MAAM,EAAE;YACN,GAAG,KAAK,CAAC,MAAM;YACf,QAAQ,EAAE,KAAK,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE;gBAC9C,IAAI,CAAC,qBAAqB,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC;oBAAE,OAAO,OAAO,CAAC;gBAC7D,OAAO;oBACL,GAAG,OAAO;oBACV,KAAK,EAAE,QAAiB;oBACxB,cAAc,EAAE,OAAO,CAAC,cAAc,KAAK,MAAM,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,OAAO,CAAC,cAAc;oBACxF,QAAQ,EAAE,OAAO,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,OAAO,CAAC,QAAQ;iBACzE,CAAC;YACJ,CAAC,CAAC;SACH;KACF,CAAC;AACJ,CAAC;AAED,SAAS,gBAAgB,CACvB,KAAsB,EACtB,IAAgB;IAMhB,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,EAAE,GAAG,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;IAChF,MAAM,oBAAoB,GAAG,IAAI,GAAG,EAAuB,CAAC;IAC5D,IAAI,KAAK,GAAsB,IAAI,CAAC;IACpC,IAAI,IAAI,CAAC,KAAK,KAAK,mBAAmB,EAAE,CAAC;QACvC,KAAK,GAAG,QAAQ,CAAC,cAAc,CAAC,KAAK,CAAC,CAAC,CAAC;QACxC,KAAK,MAAM,MAAM,IAAI,CAAC,KAAK,CAAC,QAAQ,EAAE,KAAK,CAAC,WAAW,CAAC,EAAE,CAAC;YACzD,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,MAAM,EAAE,CAAC;gBACnC,IAAI,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC;oBAAE,SAAS;gBACjC,KAAK,MAAM,MAAM,IAAI,KAAK,CAAC,OAAO,EAAE,CAAC;oBACnC,UAAU,CAAC,oBAAoB,EAAE,IAAI,EAAE,KAAK,CAAC,QAAQ,EAAE,cAAc,MAAM,EAAE,CAAC,CAAC;gBACjF,CAAC;YACH,CAAC;QACH,CAAC;QACD,KAAK,MAAM,IAAI,IAAI,oBAAoB,CAAC,IAAI,EAAE;YAAE,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACrE,CAAC;IACD,MAAM,gBAAgB,GAA4C,KAAK;QACrE,CAAC,CAAC,YAAY;QACd,CAAC,CAAC,eAAe,CAAC;IACpB,+EAA+E;IAC/E,MAAM,MAAM,GAAG,IAAI,GAAG,EAA2B,CAAC;IAClD,KAAK,MAAM,OAAO,IAAI,iBAAiB,EAAE,CAAC;QACxC,MAAM,MAAM,GAAG,CAAC,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,KAAK,EAAE,cAAc,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAC1F,CAAC,KAAK,EAAmB,EAAE,CAAC,KAAK,KAAK,SAAS,CAChD,CAAC;QACF,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC;YAAE,MAAM,CAAC,GAAG,CAAC,OAAO,EAAE,IAAI,CAAC,GAAG,CAAC,GAAG,MAAM,CAAC,CAAC,CAAC;IAClE,CAAC;IACD,MAAM,SAAS,GACb,IAAI,CAAC,KAAK,KAAK,WAAW;QACxB,CAAC,CAAC,8BAA8B,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG;QAC/D,CAAC,CAAC,KAAK,EAAE,KAAK,KAAK,WAAW;YAC5B,CAAC,CAAC,8DAA8D,KAAK,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG;YAChG,CAAC,CAAC,IAAI,CAAC;IAEb,MAAM,WAAW,GAA0B,EAAE,CAAC;IAC9C,MAAM,YAAY,GAA2B,EAAE,CAAC;IAChD,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC;QACzC,IAAI,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YAAE,SAAS;QACpC,MAAM,WAAW,GAAG,aAAa,CAAC,IAAI,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC;QAChD,IAAI,SAAS,KAAK,IAAI,EAAE,CAAC;YACvB,YAAY,CAAC,IAAI,CAAC;gBAChB,WAAW;gBACX,SAAS,EAAE,iBAAiB,SAAS,uCAAuC;aAC7E,CAAC,CAAC;YACH,SAAS;QACX,CAAC;QACD,MAAM,UAAU,GAAG,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;QAC5D,WAAW,CAAC,IAAI,CAAC;YACf,WAAW;YACX,SAAS,EAAE,oBAAoB,CAAC,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,gBAAgB,CAAC;YACzE,UAAU;YACV,gBAAgB;SACjB,CAAC,CAAC;IACL,CAAC;IACD,MAAM,MAAM,GAAG,CAAiD,IAAO,EAAE,KAAQ,EAAE,EAAE,CACnF,cAAc,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,KAAK,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;IAChE,OAAO;QACL,WAAW,EAAE,WAAW,CAAC,IAAI,CAAC,MAAM,CAAC;QACrC,YAAY,EAAE,YAAY,CAAC,IAAI,CAAC,MAAM,CAAC;QACvC,oBAAoB;KACrB,CAAC;AACJ,CAAC;AAED,SAAS,YAAY,CACnB,IAAsB,EACtB,MAAuB,EACvB,MAA4C;IAE5C,MAAM,QAAQ,GAAG,MAAM,CAAC,QAAQ;SAC7B,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC;QAClB,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;YACjC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,MAAM,EAAE,SAAkB,EAAE,CAAC;YACpD,CAAC,CAAC,EAAE,CAAC;QACP,GAAG,CAAC,KAAK,CAAC,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;YACnC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,MAAM,EAAE,WAAoB,EAAE,CAAC;YACtD,CAAC,CAAC,EAAE,CAAC;KACR,CAAC;SACD,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CACpB,cAAc,CAAC,GAAG,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,MAAM,EAAE,EAAE,GAAG,KAAK,CAAC,IAAI,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC,CAC/E,CAAC;IACJ,MAAM,SAAS,GAAG,MAAM,CAAC,SAAS;SAC/B,MAAM,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,KAAK,IAAI,CAAC,EAAE,CAAC;SAC/C,GAAG,CAAC,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;QAClB,KAAK,EAAE,QAAQ,CAAC,KAAK;QACrB,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE;YACtC,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;YAClC,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACzE,CAAC,CAAC;KACH,CAAC,CAAC,CAAC;IACN,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,CAAC;AACjC,CAAC;AAED,SAAS,oBAAoB,CAC3B,IAAsB,EACtB,UAA+B,EAC/B,IAAgB,EAChB,gBAAyD;IAEzD,MAAM,UAAU,GAAa,EAAE,CAAC;IAChC,IAAI,UAAU,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACnC,UAAU,CAAC,IAAI,CAAC,WAAW,UAAU,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACjG,CAAC;IACD,KAAK,MAAM,QAAQ,IAAI,UAAU,CAAC,SAAS,EAAE,CAAC;QAC5C,MAAM,OAAO,GAAG,QAAQ,CAAC,QAAQ;aAC9B,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,GAAG,KAAK,CAAC,OAAO,IAAI,KAAK,CAAC,KAAK,IAAI,QAAQ,EAAE,CAAC;aAC7D,IAAI,CAAC,IAAI,CAAC,CAAC;QACd,UAAU,CAAC,IAAI,CACb,oBAAoB,QAAQ,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,aAAa,QAAQ,CAAC,KAAK,SAAS,OAAO,GAAG,CAC7H,CAAC;IACJ,CAAC;IACD,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,iDAAiD,IAAI,CAAC,EAAE,GAAG,CAAC;IAChG,MAAM,KAAK,GACT,gBAAgB,KAAK,YAAY;QAC/B,CAAC,CAAC,oDAAoD;QACtD,CAAC,CAAC,IAAI,CAAC,KAAK,KAAK,oBAAoB;YACnC,CAAC,CAAC,oFAAoF;YACtF,CAAC,CAAC,0DAA0D,CAAC;IACnE,OAAO,qCAAqC,IAAI,CAAC,EAAE,SAAS,UAAU,CAAC,IAAI,CAAC,MAAM,CAAC,gBAAgB,KAAK,GAAG,CAAC;AAC9G,CAAC;AAED,SAAS,kBAAkB,CAAC,KAAsB,EAAE,IAAgB;IAClE,MAAM,aAAa,GAAG,KAAK,CAAC,MAAM,CAAC,QAAQ;SACxC,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,KAAK,QAAQ,IAAI,aAAa,CAAC,OAAO,CAAC,IAAI,CAAC,KAAK,SAAS,CAAC;SAC5F,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAChC,MAAM,SAAS,GAAG,KAAK,CAAC,MAAM,CAAC,QAAQ;SACpC,MAAM,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,KAAK,QAAQ,CAAC;SAC/C,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IAChC,MAAM,eAAe,GAAG,aAAa,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,SAAS,CAAC;IAC7E,MAAM,IAAI,GAA0B,EAAE,CAAC;IACvC,MAAM,YAAY,GAAG,CACnB,MAAkB,EAClB,OAAuC,EACvC,QAAkB,EAClB,WAA+B,EACV,EAAE;QACvB,MAAM,SAAS,GAAgB;YAC7B,EAAE,EAAE,GAAG,mBAAmB,GAAG,MAAM,EAAE;YACrC,QAAQ,EAAE,KAAK,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE;YAClC,MAAM;YACN,QAAQ;YACR,yBAAyB,EAAE,KAAK;YAChC,WAAW;YACX,MAAM,EAAE,uDAAuD;SAChE,CAAC;QACF,MAAM,IAAI,GAAG,QAAQ,CAAC,EAAE,GAAG,KAAK,EAAE,OAAO,EAAE,CAAC,GAAG,KAAK,CAAC,OAAO,EAAE,SAAS,CAAC,EAAE,CAAC,CAAC;QAC5E,MAAM,cAAc,GAClB,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,EAAE,KAAK,SAAS,CAAC,EAAE,CAAC,EAAE,cAAc,IAAI,SAAS,CAAC;QACvF,MAAM,KAAK,GAA6C;YACtD,OAAO,EAAE,4BAA4B;YACrC,sBAAsB,EAAE,yCAAyC;YACjE,YAAY,EAAE,sBAAsB;YACpC,cAAc,EAAE,4BAA4B;YAC5C,QAAQ,EAAE,iCAAiC;YAC3C,gBAAgB,EAAE,8BAA8B;SACjD,CAAC;QACF,MAAM,YAAY,GAAG,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC;aAC3C,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;aAC1C,IAAI,CAAC,cAAc,CAAC,CAAC;QACxB,MAAM,WAAW,GACf,IAAI,CAAC,KAAK,KAAK,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,SAAS,IAAI,CAAC,KAAK,OAAO,IAAI,CAAC,KAAK,EAAE,CAAC;QAC7F,OAAO;YACL,MAAM;YACN,OAAO;YACP,cAAc;YACd,cAAc,EAAE,IAAI,CAAC,KAAK;YAC1B,eAAe,EAAE,IAAI,CAAC,MAAM;YAC5B,YAAY;YACZ,SAAS,EAAE,GAAG,KAAK,CAAC,cAAc,CAAC,WAAW,WAAW,YAAY,IAAI,CAAC,MAAM,GAAG,YAAY,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,UAAU,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,gBAAgB,GAAG;SACvK,CAAC;IACJ,CAAC,CAAC;IACF,KAAK,MAAM,MAAM,IAAI,eAAe,EAAE,CAAC;QACrC,MAAM,QAAQ,GACZ,MAAM,KAAK,kBAAkB;YAC3B,CAAC,CAAC,CAAC,GAAG,mBAAmB,mBAAmB,CAAC;YAC7C,CAAC,CAAC,MAAM,KAAK,oBAAoB;gBAC/B,CAAC,CAAC,EAAE;gBACJ,CAAC,CAAC,eAAe,CAAC;QACxB,IAAI,CAAC,IAAI,CAAC,YAAY,CAAC,MAAM,EAAE,SAAS,EAAE,QAAQ,EAAE,EAAE,CAAC,CAAC,CAAC;IAC3D,CAAC;IACD,MAAM,cAAc,GAAG,sBAAsB,CAAC,CAAC,CAAC,CAAC;IACjD,IAAI,CAAC,IAAI,CACP,YAAY,CAAC,cAAc,EAAE,2BAA2B,EAAE,EAAE,EAAE,CAAC,wBAAwB,CAAC,CAAC,CAC1F,CAAC;IACF,IAAI,CAAC,IAAI,CAAC,YAAY,CAAC,cAAc,EAAE,6BAA6B,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC;IAC/E,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,kBAAkB,CACzB,KAAsB,EACtB,IAAgB,EAChB,WAA+C;IAE/C,MAAM,OAAO,GAAkB,EAAE,CAAC;IAClC,MAAM,EAAE,MAAM,EAAE,GAAG,KAAK,CAAC;IACzB,IAAI,MAAM,CAAC,QAAQ,CAAC,MAAM,KAAK,UAAU,EAAE,CAAC;QAC1C,OAAO,CAAC,IAAI,CAAC;YACX,EAAE,EAAE,iBAAiB;YACrB,SAAS,EACP,qJAAqJ;YACvJ,WAAW,EAAE,EAAE;SAChB,CAAC,CAAC;IACL,CAAC;IACD,IAAI,IAAI,CAAC,KAAK,KAAK,WAAW,IAAI,IAAI,CAAC,KAAK,KAAK,mBAAmB,EAAE,CAAC;QACrE,OAAO,CAAC,IAAI,CAAC;YACX,EAAE,EAAE,UAAU,IAAI,CAAC,KAAK,EAAE;YAC1B,SAAS,EAAE,UAAU,IAAI,CAAC,KAAK,KAAK,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG;YACnE,WAAW,EAAE,IAAI,CAAC,KAAK,KAAK,WAAW,CAAC,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC,EAAE;SACnE,CAAC,CAAC;IACL,CAAC;IACD,MAAM,CAAC,QAAQ,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,OAAO,EAAE,KAAK,EAAE,EAAE;QAClD,OAAO,CAAC,IAAI,CAAC;YACX,EAAE,EAAE,kBAAkB,KAAK,GAAG,CAAC,EAAE;YACjC,SAAS,EAAE,GAAG,OAAO,CAAC,WAAW,GAAG,OAAO,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,KAAK,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,GAAG;YAC7G,WAAW,EAAE,OAAO,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,qBAAqB,CAAC,CAAC,CAAC,CAAC,CAAC,iBAAiB,CAAC;SACzF,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IACH,MAAM,eAAe,GAAG,MAAM,CAAC,QAAQ,CAAC,MAAM,CAC5C,CAAC,OAAO,EAAE,EAAE,CACV,OAAO,CAAC,IAAI,KAAK,SAAS;QAC1B,OAAO,CAAC,KAAK,KAAK,QAAQ;QAC1B,OAAO,CAAC,QAAQ,KAAK,SAAS;QAC9B,OAAO,CAAC,cAAc,KAAK,MAAM,CACpC,CAAC;IACF,IAAI,eAAe,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC/B,OAAO,CAAC,IAAI,CAAC;YACX,EAAE,EAAE,kBAAkB;YACtB,SAAS,EAAE,wBAAwB,GAAG,CAAC,eAAe,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,kFAAkF;YACpJ,WAAW,EAAE,CAAC,gBAAgB,CAAC;SAChC,CAAC,CAAC;IACL,CAAC;IACD,IAAI,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,oBAAoB,CAAC,EAAE,CAAC;QAC3C,OAAO,CAAC,IAAI,CAAC;YACX,EAAE,EAAE,oBAAoB;YACxB,SAAS,EACP,kHAAkH;YACpH,WAAW,EAAE,CAAC,sBAAsB,EAAE,iBAAiB,CAAC;SACzD,CAAC,CAAC;IACL,CAAC;IACD,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,mBAAmB,EAAE,CAAC;QAC7C,OAAO,CAAC,IAAI,CAAC;YACX,EAAE,EAAE,SAAS,KAAK,iBAAiB;YACnC,SAAS,EACP,IAAI,CAAC,KAAK,KAAK,WAAW;gBACxB,CAAC,CAAC,SAAS,KAAK,0FAA0F;gBAC1G,CAAC,CAAC,SAAS,KAAK,8HAA8H;YAClJ,WAAW,EAAE,IAAI,CAAC,KAAK,KAAK,WAAW,CAAC,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC,EAAE;SACnE,CAAC,CAAC;IACL,CAAC;IACD,MAAM,OAAO,GAAG,MAAM,CAAC,QAAQ,CAAC,MAAM,CACpC,CAAC,OAAO,EAAE,EAAE,CACV,OAAO,CAAC,KAAK,KAAK,QAAQ;QAC1B,CAAC,OAAO,CAAC,IAAI,KAAK,MAAM,IAAI,OAAO,CAAC,IAAI,KAAK,sBAAsB,CAAC;QACpE,OAAO,CAAC,cAAc,KAAK,MAAM;QACjC,OAAO,CAAC,SAAS,KAAK,SAAS,CAClC,CAAC;IACF,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACvB,OAAO,CAAC,IAAI,CAAC;YACX,EAAE,EAAE,yBAAyB;YAC7B,SAAS,EAAE,0BAA0B,GAAG,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,yFAAyF;YACrJ,WAAW,EAAE,CAAC,mBAAmB,CAAC;SACnC,CAAC,CAAC;IACL,CAAC;IACD,IAAI,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,4BAA4B,CAAC,EAAE,CAAC;QACnD,OAAO,CAAC,IAAI,CAAC;YACX,EAAE,EAAE,4BAA4B;YAChC,SAAS,EACP,2GAA2G;YAC7G,WAAW,EAAE,CAAC,oBAAoB,CAAC;SACpC,CAAC,CAAC;IACL,CAAC;IACD,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;QAClC,IAAI,MAAM,CAAC,cAAc,KAAK,cAAc,IAAI,MAAM,CAAC,cAAc,KAAK,cAAc,EAAE,CAAC;YACzF,OAAO,CAAC,IAAI,CAAC;gBACX,EAAE,EAAE,UAAU,MAAM,CAAC,EAAE,IAAI,MAAM,CAAC,cAAc,EAAE;gBAClD,SAAS,EAAE,GAAG,MAAM,CAAC,MAAM,IAAI,MAAM,CAAC,EAAE,KAAK,MAAM,CAAC,MAAM,GAAG;gBAC7D,WAAW,EAAE,CAAC,qBAAqB,CAAC;aACrC,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IACD,MAAM,aAAa,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,WAAW,CAAC,MAAM,KAAK,UAAU,CAAC,CAAC;IAC7F,IAAI,IAAI,CAAC,KAAK,KAAK,mBAAmB,IAAI,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACnE,OAAO,CAAC,IAAI,CAAC;YACX,EAAE,EAAE,2BAA2B;YAC/B,SAAS,EAAE,GAAG,aAAa,CAAC,MAAM,2JAA2J;YAC7L,WAAW,EAAE,EAAE;SAChB,CAAC,CAAC;IACL,CAAC;IACD,OAAO,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,EAAE,EAAE,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC;AAC1E,CAAC"}

package/dist/proof-planner/policy.d.ts

@@ -0,0 +1,100 @@
+import * as z from "zod";
+import { type Boundary, type EvidenceKindSpec } from "./model.js";
+/**
+ * The closed fact vocabulary is the only interface between fact derivation (code) and the
+ * assurance policy (data). A policy can only map facts to levels, raises, evidence and status.
+ */
+export declare const STATIC_FACT_IDS: readonly ["documentation:changed", "tests:changed", "oracle:changed", "proof-infrastructure:changed", "execution-context:changed", "evaluation:touched", "product:refactor", "product:behavior-change", "product:behavior-suspected", "product:fix", "product:new-behavior", "runtime:live:touched", "runtime:live:behavior", "coverage:missing", "witness:infeasible", "environment:sensitive", "reversibility:costly", "reversibility:irreversible", "claim:high:transitive", "claim:high:direct", "claim:critical:transitive", "claim:critical:direct", "claim:high:oracle", "claim:critical:oracle", "claim:outside-impact", "claim:documentation", "claim:scope:component", "claim:scope:system", "claim:empirical", "claim:empirical:transitive", "impact:unbounded", "impact:bounded-uncertain", "impact:declared", "impact:localized-unknowns", "uncertainty:high", "observed:unexpected-behavior", "observed:unplanned-impact", "observed:unknown-dependency", "observed:live-runtime", "observed:corpus-divergence", "observed:witness-not-causal", "observed:regression", "observed:infrastructure-failure", "observed:unattributed-failure", "observed:baseline-reproduction"];
+export declare const BOUNDARY_FACT_QUALIFIERS: readonly ["touched", "behavior", "transitive"];
+export type FactId = (typeof STATIC_FACT_IDS)[number] | `boundary:${Boundary}:${(typeof BOUNDARY_FACT_QUALIFIERS)[number]}`;
+export declare const FACT_IDS: readonly FactId[];
+export declare function isFactId(value: string): value is FactId;
+export declare const AssurancePolicySchema: z.ZodObject<{
+    schemaVersion: z.ZodLiteral<"1.0.0">;
+    id: z.ZodString;
+    version: z.ZodString;
+    evidence: z.ZodArray<z.ZodObject<{
+        id: z.ZodString;
+        title: z.ZodString;
+        description: z.ZodString;
+        weight: z.ZodEnum<{
+            broad: "broad";
+            ceremony: "ceremony";
+            targeted: "targeted";
+        }>;
+        binding: z.ZodEnum<{
+            "exact-revision": "exact-revision";
+            "runtime-tree": "runtime-tree";
+            "surface-content": "surface-content";
+        }>;
+        subjects: z.ZodArray<z.ZodEnum<{
+            documentation: "documentation";
+            evaluation: "evaluation";
+            product: "product";
+            "proof-infrastructure": "proof-infrastructure";
+        }>>;
+        verification: z.ZodEnum<{
+            attested: "attested";
+            executed: "executed";
+        }>;
+        semanticsVersion: z.ZodInt;
+    }, z.core.$strict>>;
+    baselines: z.ZodArray<z.ZodObject<{
+        level: z.ZodEnum<{
+            P0: "P0";
+            P1: "P1";
+            P2: "P2";
+            P3: "P3";
+            P4: "P4";
+            P5: "P5";
+        }>;
+        kind: z.ZodString;
+    }, z.core.$strict>>;
+    floors: z.ZodArray<z.ZodObject<{
+        fact: z.ZodString & z.ZodType<FactId, string, z.core.$ZodTypeInternals<FactId, string>>;
+        level: z.ZodEnum<{
+            P0: "P0";
+            P1: "P1";
+            P2: "P2";
+            P3: "P3";
+            P4: "P4";
+            P5: "P5";
+        }>;
+    }, z.core.$strict>>;
+    raises: z.ZodObject<{
+        facts: z.ZodArray<z.ZodString & z.ZodType<FactId, string, z.core.$ZodTypeInternals<FactId, string>>>;
+        cap: z.ZodEnum<{
+            P0: "P0";
+            P1: "P1";
+            P2: "P2";
+            P3: "P3";
+            P4: "P4";
+            P5: "P5";
+        }>;
+    }, z.core.$strict>;
+    triggers: z.ZodArray<z.ZodObject<{
+        fact: z.ZodString & z.ZodType<FactId, string, z.core.$ZodTypeInternals<FactId, string>>;
+        require: z.ZodArray<z.ZodString>;
+        recommend: z.ZodArray<z.ZodString>;
+    }, z.core.$strict>>;
+    status: z.ZodObject<{
+        hold: z.ZodArray<z.ZodString & z.ZodType<FactId, string, z.core.$ZodTypeInternals<FactId, string>>>;
+        block: z.ZodArray<z.ZodString & z.ZodType<FactId, string, z.core.$ZodTypeInternals<FactId, string>>>;
+    }, z.core.$strict>;
+    attribution: z.ZodObject<{
+        admissibleOutsideImpact: z.ZodArray<z.ZodEnum<{
+            DECLARED_ENVIRONMENT_FACTOR: "DECLARED_ENVIRONMENT_FACTOR";
+            INFRASTRUCTURE_ERROR_REPORTED: "INFRASTRUCTURE_ERROR_REPORTED";
+            OUTSIDE_IMPACT: "OUTSIDE_IMPACT";
+            PASSES_ON_SAME_REVISION: "PASSES_ON_SAME_REVISION";
+            REPRODUCES_ON_BASELINE: "REPRODUCES_ON_BASELINE";
+        }>>;
+    }, z.core.$strict>;
+}, z.core.$strict>;
+export type AssurancePolicy = z.infer<typeof AssurancePolicySchema>;
+export declare const DEFAULT_ASSURANCE_POLICY: AssurancePolicy;
+export declare function parseAssurancePolicy(input: unknown): AssurancePolicy;
+/** Digest of what a kind means. Title and description edits never invalidate evidence. */
+export declare function evidenceKindSemanticDigest(spec: EvidenceKindSpec): string;
+export declare function assurancePolicyDigest(policy: AssurancePolicy): string;
+//# sourceMappingURL=policy.d.ts.map

package/dist/proof-planner/policy.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"policy.d.ts","sourceRoot":"","sources":["../../src/proof-planner/policy.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,CAAC,MAAM,KAAK,CAAC;AAEzB,OAAO,EAIL,KAAK,QAAQ,EAEb,KAAK,gBAAgB,EAKtB,MAAM,YAAY,CAAC;AAEpB;;;GAGG;AACH,eAAO,MAAM,eAAe,YAC1B,uBAAuB,EACvB,eAAe,EACf,gBAAgB,EAChB,8BAA8B,EAC9B,2BAA2B,EAC3B,oBAAoB,EACpB,kBAAkB,EAClB,yBAAyB,EACzB,4BAA4B,EAC5B,aAAa,EACb,sBAAsB,EACtB,sBAAsB,EACtB,uBAAuB,EACvB,kBAAkB,EAClB,oBAAoB,EACpB,uBAAuB,EACvB,sBAAsB,EACtB,4BAA4B,EAC5B,uBAAuB,EACvB,mBAAmB,EACnB,2BAA2B,EAC3B,uBAAuB,EACvB,mBAAmB,EACnB,uBAAuB,EACvB,sBAAsB,EACtB,qBAAqB,EACrB,uBAAuB,EACvB,oBAAoB,EACpB,iBAAiB,EACjB,4BAA4B,EAC5B,kBAAkB,EAClB,0BAA0B,EAC1B,iBAAiB,EACjB,2BAA2B,EAC3B,kBAAkB,EAClB,8BAA8B,EAC9B,2BAA2B,EAC3B,6BAA6B,EAC7B,uBAAuB,EACvB,4BAA4B,EAC5B,6BAA6B,EAC7B,qBAAqB,EACrB,iCAAiC,EACjC,+BAA+B,EAC/B,gCAAgC,CACxB,CAAC;AACX,eAAO,MAAM,wBAAwB,YAAI,SAAS,EAAE,UAAU,EAAE,YAAY,CAAU,CAAC;AACvF,MAAM,MAAM,MAAM,GACd,CAAC,OAAO,eAAe,CAAC,CAAC,MAAM,CAAC,GAChC,YAAY,QAAQ,IAAI,CAAC,OAAO,wBAAwB,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC;AAExE,eAAO,MAAM,QAAQ,EAAE,SAAS,MAAM,EAKrC,CAAC;AAGF,wBAAgB,QAAQ,CAAC,KAAK,EAAE,MAAM,GAAG,KAAK,IAAI,MAAM,CAEvD;AAKD,eAAO,MAAM,qBAAqB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;kBAmChC,CAAC;AACH,MAAM,MAAM,eAAe,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,qBAAqB,CAAC,CAAC;AAgCpE,eAAO,MAAM,wBAAwB,EAAE,eAiatC,CAAC;AAEF,wBAAgB,oBAAoB,CAAC,KAAK,EAAE,OAAO,GAAG,eAAe,CA8BpE;AAiFD,0FAA0F;AAC1F,wBAAgB,0BAA0B,CAAC,IAAI,EAAE,gBAAgB,GAAG,MAAM,CASzE;AAED,wBAAgB,qBAAqB,CAAC,MAAM,EAAE,eAAe,GAAG,MAAM,CAErE"}

package/dist/proof-planner/policy.js

@@ -0,0 +1,407 @@
+import * as z from "zod";
+import { sha256Canonical } from "../core/index.js";
+import { ASSURANCE_LEVELS, ATTRIBUTION_BASES, BOUNDARIES, EvidenceKindIdSchema, EvidenceKindSpecSchema, levelIndex, PROOF_PLANNER_SCHEMA_VERSION, ProofPlannerError, } from "./model.js";
+/**
+ * The closed fact vocabulary is the only interface between fact derivation (code) and the
+ * assurance policy (data). A policy can only map facts to levels, raises, evidence and status.
+ */
+export const STATIC_FACT_IDS = [
+    "documentation:changed",
+    "tests:changed",
+    "oracle:changed",
+    "proof-infrastructure:changed",
+    "execution-context:changed",
+    "evaluation:touched",
+    "product:refactor",
+    "product:behavior-change",
+    "product:behavior-suspected",
+    "product:fix",
+    "product:new-behavior",
+    "runtime:live:touched",
+    "runtime:live:behavior",
+    "coverage:missing",
+    "witness:infeasible",
+    "environment:sensitive",
+    "reversibility:costly",
+    "reversibility:irreversible",
+    "claim:high:transitive",
+    "claim:high:direct",
+    "claim:critical:transitive",
+    "claim:critical:direct",
+    "claim:high:oracle",
+    "claim:critical:oracle",
+    "claim:outside-impact",
+    "claim:documentation",
+    "claim:scope:component",
+    "claim:scope:system",
+    "claim:empirical",
+    "claim:empirical:transitive",
+    "impact:unbounded",
+    "impact:bounded-uncertain",
+    "impact:declared",
+    "impact:localized-unknowns",
+    "uncertainty:high",
+    "observed:unexpected-behavior",
+    "observed:unplanned-impact",
+    "observed:unknown-dependency",
+    "observed:live-runtime",
+    "observed:corpus-divergence",
+    "observed:witness-not-causal",
+    "observed:regression",
+    "observed:infrastructure-failure",
+    "observed:unattributed-failure",
+    "observed:baseline-reproduction",
+];
+export const BOUNDARY_FACT_QUALIFIERS = ["touched", "behavior", "transitive"];
+export const FACT_IDS = [
+    ...STATIC_FACT_IDS,
+    ...BOUNDARIES.flatMap((boundary) => BOUNDARY_FACT_QUALIFIERS.map((qualifier) => `boundary:${boundary}:${qualifier}`)),
+];
+const FACT_ID_SET = new Set(FACT_IDS);
+export function isFactId(value) {
+    return FACT_ID_SET.has(value);
+}
+const FactIdSchema = z.string().refine(isFactId, { message: "unknown fact id" });
+const LevelSchema = z.enum(ASSURANCE_LEVELS);
+export const AssurancePolicySchema = z.strictObject({
+    schemaVersion: z.literal(PROOF_PLANNER_SCHEMA_VERSION),
+    id: z
+        .string()
+        .min(1)
+        .max(128)
+        .regex(/^[a-z0-9][a-z0-9.-]*$/),
+    version: z
+        .string()
+        .min(1)
+        .max(32)
+        .regex(/^[0-9]+\.[0-9]+\.[0-9]+$/),
+    evidence: z.array(EvidenceKindSpecSchema).min(1).max(128),
+    /** Level baselines: a kind listed at level L applies to each of its subjects whose level >= L. */
+    baselines: z.array(z.strictObject({ level: LevelSchema, kind: EvidenceKindIdSchema })).max(256),
+    floors: z.array(z.strictObject({ fact: FactIdSchema, level: LevelSchema })).max(512),
+    /** Each listed fact raises the level of its subject by one step, once, never above the cap. */
+    raises: z.strictObject({ facts: z.array(FactIdSchema).max(64), cap: LevelSchema }),
+    triggers: z
+        .array(z.strictObject({
+        fact: FactIdSchema,
+        require: z.array(EvidenceKindIdSchema).max(32),
+        recommend: z.array(EvidenceKindIdSchema).max(32),
+    }))
+        .max(512),
+    status: z.strictObject({
+        hold: z.array(FactIdSchema).max(64),
+        block: z.array(FactIdSchema).max(64),
+    }),
+    /** Bases that can attribute a failure to the proof infrastructure when it runs outside the impact. */
+    attribution: z.strictObject({
+        admissibleOutsideImpact: z.array(z.enum(ATTRIBUTION_BASES)).max(ATTRIBUTION_BASES.length),
+    }),
+});
+function kind(id, title, description, weight, binding, subjects, verification) {
+    return { id, title, description, weight, binding, subjects, verification, semanticsVersion: 1 };
+}
+function trigger(fact, require, recommend = []) {
+    return { fact, require, recommend };
+}
+const BEHAVIOR_BOUNDARIES_P3 = [
+    "protocol",
+    "persistence",
+    "replay",
+    "analysis",
+    "public-api",
+];
+const COMPATIBILITY_BOUNDARIES = ["protocol", "persistence", "public-api"];
+const EVALUATION_BOUNDARIES = ["benchmark", "holdout"];
+export const DEFAULT_ASSURANCE_POLICY = {
+    schemaVersion: PROOF_PLANNER_SCHEMA_VERSION,
+    id: "assertledger.default-assurance",
+    version: "1.0.0",
+    evidence: [
+        kind("STATIC_CHECKS", "Static checks", "Typecheck, lint and format checks on the exact revision.", "targeted", "exact-revision", ["product", "evaluation", "proof-infrastructure"], "executed"),
+        kind("REVISION_IDENTITY", "Revision identity", "The delivered revision is the planned revision, and every reused piece of evidence is bound to digests that the delivered revision still has.", "targeted", "exact-revision", ["product", "evaluation", "proof-infrastructure"], "executed"),
+        kind("DOCUMENTATION_CHECK", "Documentation check", "Format, link and rendering checks on the changed documentation, and a check that documentation claims whose surfaces change behavior still describe the revision.", "targeted", "surface-content", ["documentation"], "executed"),
+        kind("AFFECTED_TESTS", "Affected tests", "Existing tests of the directly changed packages or modules.", "targeted", "surface-content", ["product", "evaluation"], "executed"),
+        kind("CHARACTERIZATION_TESTS", "Characterization tests", "Tests that pin the current behavior of surfaces whose behavior may change without intent or lacks coverage.", "targeted", "surface-content", ["product"], "executed"),
+        kind("CAUSAL_WITNESS", "Causal red-to-green witness", "A test that fails on the baseline for the declared defect and passes on the revision (an AssertLedger TARGET/REFERENCE/NEUTRAL campaign).", "targeted", "surface-content", ["product"], "executed"),
+        kind("ACCEPTANCE_TEST", "Acceptance test", "A test that specifies the new behavior, fails on the baseline and passes on the revision.", "targeted", "surface-content", ["product"], "executed"),
+        kind("PRODUCTION_PATH_TEST", "Production-path test", "A test that reaches the changed surface through the real production entry point, without mocking the changed unit.", "targeted", "surface-content", ["product"], "executed"),
+        kind("TARGETED_REGRESSION", "Targeted regression", "Regression tests of the changed surfaces and their direct neighbours.", "targeted", "surface-content", ["product"], "executed"),
+        kind("TARGETED_INTEGRATION", "Targeted integration", "Integration across the boundary the change crosses, limited to the scoped surfaces.", "targeted", "surface-content", ["product"], "executed"),
+        kind("TARGETED_CORPUS", "Targeted corpus slice", "The replay or analysis corpus cases that exercise the scoped surfaces; divergences outside the declared fix are signals.", "targeted", "surface-content", ["product"], "executed"),
+        kind("BOUNDARY_COMPATIBILITY", "Boundary compatibility", "Previously written messages, records or API calls are still accepted, and round-trips hold.", "targeted", "surface-content", ["product"], "executed"),
+        kind("INVARIANT_CHECK", "Invariant check", "Targeted checks of the high or critical claims the change reaches.", "targeted", "surface-content", ["product"], "executed"),
+        kind("GATE_DELTA_REVIEW", "Gate delta review", "Classifies each changed gate, oracle, budget or test selection as strengthen, neutral or relax. A relax needs a bounded justification: observed durations on the same revision and a named defect still detected by a negative witness.", "targeted", "surface-content", ["proof-infrastructure"], "attested"),
+        kind("AFFECTED_JOB_RERUN", "Affected job rerun", "Rerun of the jobs whose tests or gates changed or failed, in the environment where they ran.", "targeted", "surface-content", ["proof-infrastructure"], "executed"),
+        kind("ORACLE_WITNESS", "Oracle witness", "The changed test or gate still detects a named violation of the high or critical claim it protects: it fails where the violation is present (an AssertLedger TARGET world) and passes on the revision.", "targeted", "surface-content", ["proof-infrastructure"], "executed"),
+        kind("FAILURE_ATTRIBUTION", "Failure attribution", "Evidence that attributes a failure or an unexpected behavior to its cause, such as a reproduction on the baseline.", "targeted", "surface-content", ["product", "proof-infrastructure"], "executed"),
+        kind("ROLLBACK_PLAN", "Rollback plan", "A tested way back, or forward, for a change that is costly to reverse or reaches live runtime.", "targeted", "surface-content", ["product"], "attested"),
+        kind("FULL_TEST_SUITE", "Full test suite", "Every test of the repository against the runtime tree.", "broad", "runtime-tree", ["product"], "executed"),
+        kind("FULL_CORPUS", "Full corpus", "The complete replay, tactical or analysis corpus.", "broad", "runtime-tree", ["product"], "executed"),
+        kind("INDEPENDENT_REVIEW", "Independent review", "A fresh, independent, read-only review of the scoped surfaces.", "broad", "surface-content", ["product", "evaluation"], "attested"),
+        kind("MULTI_ENVIRONMENT", "Multi-environment run", "The affected tests on every supported operating system and runtime.", "broad", "runtime-tree", ["product"], "executed"),
+        kind("LIVE_SHADOW", "Live shadow run", "The revision observed in shadow or canary on the live runtime before it decides anything.", "broad", "runtime-tree", ["product"], "executed"),
+        kind("SYSTEM_REQUALIFICATION", "System requalification", "The full system-level qualification gate.", "ceremony", "runtime-tree", ["product"], "executed"),
+        kind("BENCHMARK_PROTOCOL", "Benchmark protocol", "A fingerprinted benchmark with a pre-declared comparison scope.", "ceremony", "runtime-tree", ["evaluation"], "executed"),
+        kind("PREREGISTRATION", "Preregistration", "Hypotheses, thresholds and protocol pinned by digest before any result is seen.", "ceremony", "surface-content", ["evaluation"], "attested"),
+        kind("HOLDOUT_EVALUATION", "Holdout evaluation", "Evaluation on a holdout kept under independent custody.", "ceremony", "runtime-tree", ["evaluation"], "executed"),
+        kind("CONTAMINATION_CHECK", "Contamination check", "Evidence that holdout members were not used for calibration, tuning or prompts.", "ceremony", "surface-content", ["evaluation"], "attested"),
+        kind("PROVENANCE_ATTESTATION", "Provenance attestation", "Signed provenance of cases and results by distinct principals.", "ceremony", "surface-content", ["evaluation"], "attested"),
+    ],
+    baselines: [
+        { level: "P1", kind: "STATIC_CHECKS" },
+        { level: "P1", kind: "AFFECTED_TESTS" },
+        { level: "P2", kind: "TARGETED_REGRESSION" },
+        { level: "P2", kind: "REVISION_IDENTITY" },
+        { level: "P3", kind: "TARGETED_INTEGRATION" },
+        { level: "P3", kind: "PRODUCTION_PATH_TEST" },
+        { level: "P4", kind: "INDEPENDENT_REVIEW" },
+        { level: "P5", kind: "PREREGISTRATION" },
+        { level: "P5", kind: "PROVENANCE_ATTESTATION" },
+    ],
+    floors: [
+        { fact: "documentation:changed", level: "P0" },
+        { fact: "tests:changed", level: "P1" },
+        { fact: "oracle:changed", level: "P1" },
+        { fact: "proof-infrastructure:changed", level: "P1" },
+        { fact: "evaluation:touched", level: "P1" },
+        { fact: "product:refactor", level: "P1" },
+        { fact: "product:behavior-change", level: "P2" },
+        { fact: "product:new-behavior", level: "P2" },
+        { fact: "execution-context:changed", level: "P2" },
+        ...COMPATIBILITY_BOUNDARIES.map((boundary) => ({
+            fact: `boundary:${boundary}:touched`,
+            level: "P2",
+        })),
+        ...BEHAVIOR_BOUNDARIES_P3.map((boundary) => ({
+            fact: `boundary:${boundary}:behavior`,
+            level: "P3",
+        })),
+        { fact: "boundary:security:touched", level: "P3" },
+        { fact: "boundary:decision:behavior", level: "P4" },
+        { fact: "boundary:admission:behavior", level: "P4" },
+        { fact: "boundary:security:behavior", level: "P4" },
+        { fact: "runtime:live:touched", level: "P3" },
+        { fact: "runtime:live:behavior", level: "P4" },
+        { fact: "claim:high:transitive", level: "P2" },
+        { fact: "claim:high:direct", level: "P3" },
+        { fact: "claim:critical:transitive", level: "P3" },
+        { fact: "claim:critical:direct", level: "P4" },
+        { fact: "claim:high:oracle", level: "P2" },
+        { fact: "claim:critical:oracle", level: "P3" },
+        { fact: "claim:scope:component", level: "P2" },
+        { fact: "claim:scope:system", level: "P4" },
+        { fact: "claim:empirical", level: "P5" },
+        { fact: "boundary:benchmark:behavior", level: "P5" },
+        { fact: "boundary:holdout:behavior", level: "P5" },
+        { fact: "reversibility:costly", level: "P3" },
+        { fact: "reversibility:irreversible", level: "P4" },
+        { fact: "impact:unbounded", level: "P3" },
+        { fact: "observed:live-runtime", level: "P4" },
+        { fact: "observed:corpus-divergence", level: "P4" },
+    ],
+    raises: {
+        facts: [
+            "uncertainty:high",
+            "witness:infeasible",
+            "observed:unexpected-behavior",
+            "observed:witness-not-causal",
+        ],
+        cap: "P4",
+    },
+    triggers: [
+        trigger("documentation:changed", ["DOCUMENTATION_CHECK"]),
+        trigger("tests:changed", ["AFFECTED_JOB_RERUN"]),
+        trigger("oracle:changed", ["GATE_DELTA_REVIEW", "AFFECTED_JOB_RERUN"]),
+        trigger("proof-infrastructure:changed", ["GATE_DELTA_REVIEW", "AFFECTED_JOB_RERUN"]),
+        trigger("product:fix", ["CAUSAL_WITNESS"]),
+        trigger("product:new-behavior", ["ACCEPTANCE_TEST"]),
+        trigger("product:behavior-suspected", ["CHARACTERIZATION_TESTS"]),
+        trigger("coverage:missing", ["CHARACTERIZATION_TESTS"]),
+        ...COMPATIBILITY_BOUNDARIES.flatMap((boundary) => [
+            trigger(`boundary:${boundary}:touched`, ["BOUNDARY_COMPATIBILITY"]),
+            trigger(`boundary:${boundary}:behavior`, ["BOUNDARY_COMPATIBILITY"]),
+        ]),
+        trigger("boundary:replay:behavior", ["TARGETED_CORPUS"]),
+        trigger("boundary:analysis:behavior", ["TARGETED_CORPUS"]),
+        ...BOUNDARIES.filter((boundary) => !EVALUATION_BOUNDARIES.includes(boundary)).map((boundary) => trigger(`boundary:${boundary}:transitive`, [], ["TARGETED_INTEGRATION"])),
+        trigger("boundary:benchmark:transitive", [], ["BENCHMARK_PROTOCOL"]),
+        trigger("boundary:holdout:transitive", [], ["HOLDOUT_EVALUATION"]),
+        trigger("runtime:live:behavior", ["LIVE_SHADOW", "ROLLBACK_PLAN", "FULL_CORPUS"]),
+        trigger("observed:live-runtime", ["LIVE_SHADOW", "ROLLBACK_PLAN", "FULL_CORPUS"]),
+        trigger("boundary:decision:behavior", ["FULL_CORPUS", "SYSTEM_REQUALIFICATION"]),
+        trigger("boundary:admission:behavior", ["SYSTEM_REQUALIFICATION"]),
+        trigger("boundary:security:touched", ["INDEPENDENT_REVIEW"]),
+        trigger("claim:high:transitive", ["INVARIANT_CHECK"]),
+        trigger("claim:high:direct", ["INVARIANT_CHECK"]),
+        trigger("claim:critical:transitive", ["INVARIANT_CHECK"]),
+        trigger("claim:critical:direct", ["INVARIANT_CHECK"]),
+        trigger("claim:high:oracle", ["ORACLE_WITNESS"]),
+        trigger("claim:critical:oracle", ["ORACLE_WITNESS", "INDEPENDENT_REVIEW"]),
+        trigger("claim:outside-impact", [], ["INVARIANT_CHECK"]),
+        trigger("claim:documentation", ["DOCUMENTATION_CHECK"]),
+        trigger("claim:scope:system", ["SYSTEM_REQUALIFICATION"]),
+        trigger("claim:empirical", [
+            "BENCHMARK_PROTOCOL",
+            "PREREGISTRATION",
+            "PROVENANCE_ATTESTATION",
+            "HOLDOUT_EVALUATION",
+            "CONTAMINATION_CHECK",
+        ]),
+        trigger("claim:empirical:transitive", [], ["BENCHMARK_PROTOCOL"]),
+        trigger("boundary:benchmark:behavior", [
+            "BENCHMARK_PROTOCOL",
+            "PREREGISTRATION",
+            "PROVENANCE_ATTESTATION",
+        ]),
+        trigger("boundary:holdout:behavior", ["HOLDOUT_EVALUATION", "CONTAMINATION_CHECK"]),
+        trigger("impact:unbounded", ["FULL_TEST_SUITE"], ["FULL_CORPUS", "INDEPENDENT_REVIEW"]),
+        trigger("impact:declared", [], ["FULL_TEST_SUITE"]),
+        trigger("impact:localized-unknowns", [], ["TARGETED_REGRESSION"]),
+        trigger("execution-context:changed", ["FULL_TEST_SUITE"], ["MULTI_ENVIRONMENT"]),
+        trigger("environment:sensitive", ["MULTI_ENVIRONMENT"]),
+        trigger("reversibility:costly", ["ROLLBACK_PLAN"]),
+        trigger("reversibility:irreversible", ["ROLLBACK_PLAN"]),
+        trigger("witness:infeasible", ["PRODUCTION_PATH_TEST", "TARGETED_CORPUS"], ["INDEPENDENT_REVIEW"]),
+        trigger("observed:unexpected-behavior", ["CHARACTERIZATION_TESTS", "FAILURE_ATTRIBUTION"]),
+        trigger("observed:corpus-divergence", ["FULL_CORPUS", "FAILURE_ATTRIBUTION"]),
+        trigger("observed:witness-not-causal", ["CAUSAL_WITNESS"]),
+        trigger("observed:regression", ["TARGETED_REGRESSION"]),
+        trigger("observed:unplanned-impact", ["TARGETED_REGRESSION"]),
+        trigger("observed:unknown-dependency", ["TARGETED_REGRESSION"]),
+        trigger("observed:infrastructure-failure", ["AFFECTED_JOB_RERUN"]),
+        trigger("observed:unattributed-failure", ["FAILURE_ATTRIBUTION"]),
+        trigger("observed:baseline-reproduction", ["FAILURE_ATTRIBUTION"]),
+    ],
+    status: {
+        hold: [
+            "observed:unattributed-failure",
+            "observed:unexpected-behavior",
+            "observed:witness-not-causal",
+            "observed:unplanned-impact",
+            "observed:unknown-dependency",
+        ],
+        block: ["observed:regression"],
+    },
+    attribution: {
+        admissibleOutsideImpact: [
+            "REPRODUCES_ON_BASELINE",
+            "PASSES_ON_SAME_REVISION",
+            "OUTSIDE_IMPACT",
+            "INFRASTRUCTURE_ERROR_REPORTED",
+            "DECLARED_ENVIRONMENT_FACTOR",
+        ],
+    },
+};
+export function parseAssurancePolicy(input) {
+    const parsed = AssurancePolicySchema.safeParse(input);
+    if (!parsed.success) {
+        throw new ProofPlannerError("PROOF_PLANNER_POLICY_INVALID", z.prettifyError(parsed.error));
+    }
+    const policy = parsed.data;
+    const kinds = new Set();
+    for (const spec of policy.evidence) {
+        if (kinds.has(spec.id)) {
+            throw new ProofPlannerError("PROOF_PLANNER_POLICY_INVALID", `duplicate evidence kind ${spec.id}`);
+        }
+        kinds.add(spec.id);
+    }
+    const references = [
+        ...policy.baselines.map((baseline) => baseline.kind),
+        ...policy.triggers.flatMap((entry) => [...entry.require, ...entry.recommend]),
+    ];
+    for (const reference of references) {
+        if (!kinds.has(reference)) {
+            throw new ProofPlannerError("PROOF_PLANNER_POLICY_INVALID", `unknown evidence kind ${reference}`);
+        }
+    }
+    assertPolicyMinimum(policy);
+    return policy;
+}
+/**
+ * A caller may supply a stricter policy, never a looser one: the planner must not become a way to
+ * reduce proof in order to go faster. "Stricter" is relational to the default policy: every kind,
+ * baseline, floor, trigger, raise and status rule of the default must still hold with at least the
+ * same strength. The default itself is pinned by digest in the tests, so loosening it is a
+ * reviewed change, not a silent one.
+ */
+function assertPolicyMinimum(policy) {
+    const reference = DEFAULT_ASSURANCE_POLICY;
+    const violations = [];
+    for (const expected of reference.evidence) {
+        const actual = policy.evidence.find((spec) => spec.id === expected.id);
+        if (!actual) {
+            violations.push(`kind ${expected.id} is missing`);
+            continue;
+        }
+        if (expected.verification === "executed" && actual.verification !== "executed") {
+            violations.push(`kind ${expected.id} verification weakened to ${actual.verification}`);
+        }
+        if (actual.binding !== expected.binding && actual.binding !== "exact-revision") {
+            violations.push(`kind ${expected.id} binding weakened to ${actual.binding}`);
+        }
+        const lost = expected.subjects.filter((subject) => !actual.subjects.includes(subject));
+        if (lost.length > 0)
+            violations.push(`kind ${expected.id} subjects narrowed (${lost.join(", ")})`);
+    }
+    for (const expected of reference.baselines) {
+        const present = policy.baselines.some((entry) => entry.kind === expected.kind && levelIndex(entry.level) <= levelIndex(expected.level));
+        if (!present)
+            violations.push(`baseline ${expected.kind}@${expected.level}`);
+    }
+    for (const expected of reference.floors) {
+        const floor = Math.max(-1, ...policy.floors
+            .filter((entry) => entry.fact === expected.fact)
+            .map((entry) => levelIndex(entry.level)));
+        if (floor < levelIndex(expected.level)) {
+            violations.push(`floor ${expected.fact} >= ${expected.level}`);
+        }
+    }
+    for (const expected of reference.triggers) {
+        const entries = policy.triggers.filter((entry) => entry.fact === expected.fact);
+        for (const kind of expected.require) {
+            if (!entries.some((entry) => entry.require.includes(kind))) {
+                violations.push(`trigger ${expected.fact} requires ${kind}`);
+            }
+        }
+        for (const kind of expected.recommend) {
+            if (!entries.some((entry) => entry.require.includes(kind) || entry.recommend.includes(kind))) {
+                violations.push(`trigger ${expected.fact} recommends ${kind}`);
+            }
+        }
+    }
+    for (const fact of reference.raises.facts) {
+        if (!policy.raises.facts.includes(fact))
+            violations.push(`raise on ${fact}`);
+    }
+    // A raise never creates an empirical claim, and never stops short of the default cap.
+    if (policy.raises.cap !== reference.raises.cap) {
+        violations.push(`raise cap = ${reference.raises.cap}`);
+    }
+    for (const fact of reference.status.hold) {
+        if (!policy.status.hold.includes(fact) && !policy.status.block.includes(fact)) {
+            violations.push(`status holds on ${fact}`);
+        }
+    }
+    for (const fact of reference.status.block) {
+        if (!policy.status.block.includes(fact))
+            violations.push(`status blocks on ${fact}`);
+    }
+    if (violations.length > 0) {
+        throw new ProofPlannerError("PROOF_PLANNER_POLICY_BELOW_MINIMUM", violations.join("; "));
+    }
+}
+/** Digest of what a kind means. Title and description edits never invalidate evidence. */
+export function evidenceKindSemanticDigest(spec) {
+    return sha256Canonical({
+        id: spec.id,
+        weight: spec.weight,
+        binding: spec.binding,
+        subjects: [...spec.subjects].sort(),
+        verification: spec.verification,
+        semanticsVersion: spec.semanticsVersion,
+    });
+}
+export function assurancePolicyDigest(policy) {
+    return sha256Canonical(policy);
+}
+//# sourceMappingURL=policy.js.map