musubix3 0.1.0

package/dist/packages/analysis/src/formal.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"formal.js","sourceRoot":"","sources":["../../../../packages/analysis/src/formal.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AACzC,OAAO,EAAE,KAAK,EAAE,oBAAoB,EAA4D,MAAM,2BAA2B,CAAC;AAClI,OAAO,EAAE,UAAU,EAAmC,MAAM,cAAc,CAAC;AAC3E,OAAO,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AA6FvC,MAAM,WAAW,GAAG,wOAAwO,CAAC;AAC7P,MAAM,WAAW,GAAG;IAClB,8EAA8E;IAC9E,0FAA0F;IAC1F,+KAA+K;IAC/K,iKAAiK;IACjK,yHAAyH;IACzH,6FAA6F;CAC9F,CAAC;AAUF,SAAS,aAAa,CAAC,GAAG,KAA8B;IACtD,OAAO,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;AAC/B,CAAC;AAED,SAAS,cAAc,CAAC,UAA8D;IACpF,OAAO,aAAa,CAAC,aAAa,EAAE,UAAU,CAAC,SAAS,EAAE,UAAU,CAAC,cAAc,EAAE,UAAU,CAAC,WAAW,CAAC,CAAC;AAC/G,CAAC;AAED,SAAS,WAAW,CAAC,UAA2D;IAC9E,OAAO,aAAa,CAAC,OAAO,EAAE,UAAU,CAAC,OAAO,EAAE,UAAU,CAAC,QAAQ,CAAC,CAAC;AACzE,CAAC;AAED,SAAS,aAAa,CAAC,UAA6D;IAClF,OAAO,aAAa,CAAC,YAAY,EAAE,UAAU,CAAC,IAAI,EAAE,UAAU,CAAC,KAAK,CAAC,CAAC;AACxE,CAAC;AAED,MAAM,eAAe,GAAG,IAAI,GAAG,CAAmE;IAChG,CAAC,IAAI,EAAE,EAAE,SAAS,EAAE,UAAU,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC;IAC9D,CAAC,GAAG,EAAE,EAAE,SAAS,EAAE,UAAU,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE,KAAM,EAAE,CAAC;IACjE,CAAC,KAAK,EAAE,EAAE,SAAS,EAAE,UAAU,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE,MAAO,EAAE,CAAC;IACpE,CAAC,OAAO,EAAE,EAAE,SAAS,EAAE,MAAM,EAAE,SAAS,EAAE,OAAO,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC;IAChE,CAAC,KAAK,EAAE,EAAE,SAAS,EAAE,MAAM,EAAE,SAAS,EAAE,OAAO,EAAE,MAAM,EAAE,KAAM,EAAE,CAAC;IAClE,CAAC,KAAK,EAAE,EAAE,SAAS,EAAE,MAAM,EAAE,SAAS,EAAE,OAAO,EAAE,MAAM,EAAE,QAAU,EAAE,CAAC;CACvE,CAAC,CAAC;AAEH,SAAS,gBAAgB,CAAC,UAA6B;IACrD,MAAM,cAAc,GAAG,UAAU,CAAC,IAAI,EAAE,SAAS,CAAC,MAAM,CAAC,CAAC,WAAW,EAAE,CAAC;IACxE,MAAM,UAAU,GAAG,cAAc,CAAC,CAAC,CAAC,eAAe,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IACpF,MAAM,SAAS,GAAG,UAAU;QAC1B,CAAC,CAAC,GAAG,UAAU,CAAC,SAAS,IAAI,UAAU,CAAC,SAAS,GAAG;QACpD,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,QAAQ,cAAc,GAAG,CAAC,CAAC,CAAC,UAAU,CAAC;IAC5D,OAAO;QACL,GAAG,EAAE,aAAa,CAAC,QAAQ,EAAE,UAAU,CAAC,MAAM,EAAE,SAAS,CAAC;QAC1D,KAAK,EAAE,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC,GAAG,CAAC,UAAU,EAAE,MAAM,IAAI,EAAE,CAAC;KAC7D,CAAC;AACJ,CAAC;AAED,SAAS,SAAS,CAAC,SAAiB,EAAE,QAA4B,EAAE,QAAgB;IAClF,OAAO,QAAQ,KAAK,GAAG,CAAC,CAAC,CAAC,SAAS,GAAG,QAAQ;QAC5C,CAAC,CAAC,QAAQ,KAAK,IAAI,CAAC,CAAC,CAAC,SAAS,IAAI,QAAQ;YACzC,CAAC,CAAC,QAAQ,KAAK,GAAG,CAAC,CAAC,CAAC,SAAS,KAAK,QAAQ;gBACzC,CAAC,CAAC,QAAQ,KAAK,IAAI,CAAC,CAAC,CAAC,SAAS,IAAI,QAAQ;oBACzC,CAAC,CAAC,SAAS,GAAG,QAAQ,CAAC;AACjC,CAAC;AAED,SAAS,qBAAqB,CAAC,WAAoC;IACjE,MAAM,WAAW,GAAiB,EAAE,CAAC;IACrC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAuF,CAAC;IAC/G,MAAM,QAAQ,GAAG,IAAI,GAAG,EAAmC,CAAC;IAC5D,MAAM,WAAW,GAAG,IAAI,GAAG,EAAmC,CAAC;IAC/D,MAAM,YAAY,GAAG,IAAI,GAAG,EAAmC,CAAC;IAChE,KAAK,MAAM,KAAK,IAAI,WAAW,EAAE,CAAC;QAChC,MAAM,UAAU,GAAG,KAAK,CAAC,UAAU,CAAC;QACpC,IAAI,UAAU,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YAClC,MAAM,UAAU,GAAG,gBAAgB,CAAC,UAAU,CAAC,CAAC;YAChD,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,GAAG,EAAE,CAAC,GAAG,OAAO,CAAC,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE;oBACjE,WAAW,EAAE,KAAK,CAAC,WAAW;oBAC9B,QAAQ,EAAE,UAAU,CAAC,QAAQ;oBAC7B,KAAK,EAAE,UAAU,CAAC,KAAK;iBACxB,CAAC,CAAC,CAAC;QACN,CAAC;aAAM,IAAI,UAAU,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YAC1C,MAAM,GAAG,GAAG,WAAW,CAAC,UAAU,CAAC,CAAC;YACpC,QAAQ,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,GAAG,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,KAAK,CAAC,CAAC,CAAC;QACzD,CAAC;aAAM,IAAI,UAAU,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;YAC5C,MAAM,GAAG,GAAG,aAAa,CAAC,UAAU,CAAC,CAAC;YACtC,WAAW,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,GAAG,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,KAAK,CAAC,CAAC,CAAC;QAC/D,CAAC;aAAM,CAAC;YACN,MAAM,GAAG,GAAG,cAAc,CAAC,UAAU,CAAC,CAAC;YACvC,YAAY,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,GAAG,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,KAAK,CAAC,CAAC,CAAC;QACjE,CAAC;IACH,CAAC;IACD,KAAK,MAAM,OAAO,IAAI,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC;QACvC,MAAM,UAAU,GAAG,IAAI,GAAG,EAAU,CAAC;QACrC,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;YAC5B,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;YAC5B,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,GAAG,EAAE,CAAC,CAAC;YACjC,UAAU,CAAC,GAAG,CAAC,KAAK,CAAC,KAAK,GAAG,EAAE,CAAC,CAAC;QACnC,CAAC;QACD,IAAI,CAAC,CAAC,GAAG,UAAU,CAAC,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,SAAS,CAAC,SAAS,EAAE,KAAK,CAAC,QAAQ,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;YACtH,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,8BAA8B,EAAE,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,sCAAsC,CAAC,CAAC,CAAC;QACzJ,CAAC;IACH,CAAC;IACD,KAAK,MAAM,OAAO,IAAI,QAAQ,CAAC,MAAM,EAAE,EAAE,CAAC;QACxC,MAAM,SAAS,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,UAA6D,CAAC,CAAC;QAC9G,MAAM,KAAK,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC,OAAO,EAAE,QAAQ,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,EAAE,QAAQ,CAAC,OAAO,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACnG,MAAM,KAAK,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC,OAAO,EAAE,QAAQ,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,EAAE,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC,gBAAgB,CAAC,CAAC;QACrH,IAAI,KAAK,GAAG,KAAK,EAAE,CAAC;YAClB,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,+BAA+B,EAAE,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,gDAAgD,CAAC,CAAC,CAAC;QACpK,CAAC;IACH,CAAC;IACD,KAAK,MAAM,OAAO,IAAI,WAAW,CAAC,MAAM,EAAE,EAAE,CAAC;QAC3C,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAE,KAAK,CAAC,UAAgE,CAAC,EAAE,CAAC,CAAC,CAAC;QAC5H,IAAI,OAAO,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC;YACrB,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,iCAAiC,EAAE,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,qDAAqD,CAAC,CAAC,CAAC;QAC3K,CAAC;IACH,CAAC;IACD,KAAK,MAAM,OAAO,IAAI,YAAY,CAAC,MAAM,EAAE,EAAE,CAAC;QAC5C,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAE,KAAK,CAAC,UAAiE,CAAC,gBAAgB,CAAC,CAAC,CAAC;QAC1I,IAAI,MAAM,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC;YACpB,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,kCAAkC,EAAE,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,iEAAiE,CAAC,CAAC,CAAC;QACxL,CAAC;IACH,CAAC;IACD,OAAO,WAAW,CAAC;AACrB,CAAC;AAED,SAAS,OAAO,CAAC,WAAwB;IACvC,8DAA8D;IAC9D,IAAI,WAAW,CAAC,OAAO,KAAK,YAAY;QAAE,OAAO,IAAI,CAAC;IACtD,MAAM,OAAO,GAAG,uDAAuD,CAAC,IAAI,CAAC,WAAW,CAAC,SAAS,CAAC,CAAC;IACpG,MAAM,QAAQ,GAAG,+CAA+C,CAAC,IAAI,CAAC,WAAW,CAAC,SAAS,CAAC,CAAC;IAC7F,IAAI,CAAC,OAAO,IAAI,CAAC,QAAQ;QAAE,OAAO,IAAI,CAAC;IACvC,MAAM,OAAO,GAAG,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,IAAI,QAAQ,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;IAC7D,MAAM,QAAQ,GAAG,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,IAAI,QAAQ,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;IACnF,IAAI,2EAA2E,CAAC,IAAI,CAAC,QAAQ,CAAC;QAAE,OAAO,IAAI,CAAC;IAC5G,IAAI,oCAAoC,CAAC,IAAI,CAAC,QAAQ,CAAC;QAAE,OAAO,IAAI,CAAC;IACrE,MAAM,IAAI,GAAG,aAAa,CACxB,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,WAAW,EAAE,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,IAAI,EAAE,EACnE,QAAQ,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,WAAW,EAAE,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,IAAI,EAAE,CACrE,CAAC;IACF,MAAM,gBAAgB,GAAG,QAAQ,EAAE,CAAC,CAAC,CAAC,KAAK,SAAS,IAAI,QAAQ,EAAE,CAAC,CAAC,CAAC,KAAK,SAAS,CAAC;IACpF,OAAO,EAAE,WAAW,EAAE,WAAW,CAAC,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,gBAAgB,EAAE,CAAC;AACpG,CAAC;AAED,SAAS,UAAU,CAAC,IAAY;IAC9B,MAAM,YAAY,GAAG,oBAAoB,CAAC,IAAI,CAAC,CAAC;IAChD,MAAM,QAAQ,GAAoB,EAAE,CAAC;IACrC,MAAM,WAAW,GAA4B,EAAE,CAAC;IAChD,MAAM,WAAW,GAAa,EAAE,CAAC;IACjC,KAAK,MAAM,WAAW,IAAI,YAAY,CAAC,KAAK,EAAE,CAAC;QAC7C,IAAI,WAAW,CAAC,MAAM,EAAE,CAAC;YACvB,WAAW,CAAC,IAAI,CAAC,EAAE,WAAW,EAAE,WAAW,CAAC,EAAE,EAAE,UAAU,EAAE,WAAW,CAAC,MAAM,EAAE,CAAC,CAAC;YAClF,SAAS;QACX,CAAC;QACD,MAAM,MAAM,GAAG,OAAO,CAAC,WAAW,CAAC,CAAC;QACpC,IAAI,MAAM;YAAE,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;;YAC7B,WAAW,CAAC,IAAI,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC;IACxC,CAAC;IACD,MAAM,WAAW,GAAG,CAAC,GAAG,YAAY,CAAC,WAAW,CAAC,CAAC;IAClD,KAAK,MAAM,EAAE,IAAI,WAAW,EAAE,CAAC;QAC7B,WAAW,CAAC,IAAI,CAAC;YACf,IAAI,EAAE,oBAAoB;YAC1B,QAAQ,EAAE,SAAS;YACnB,OAAO,EAAE,GAAG,EAAE,yGAAyG;SACxH,CAAC,CAAC;IACL,CAAC;IACD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACzC,KAAK,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAC7C,MAAM,KAAK,GAAG,QAAQ,CAAC,CAAC,CAAE,CAAC;YAC3B,MAAM,MAAM,GAAG,QAAQ,CAAC,CAAC,CAAE,CAAC;YAC5B,IAAI,KAAK,CAAC,IAAI,KAAK,MAAM,CAAC,IAAI,IAAI,KAAK,CAAC,QAAQ,KAAK,MAAM,CAAC,QAAQ,EAAE,CAAC;gBACrE,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,sBAAsB,EAAE,GAAG,KAAK,CAAC,WAAW,gBAAgB,MAAM,CAAC,WAAW,oCAAoC,CAAC,CAAC,CAAC;YAC9I,CAAC;QACH,CAAC;IACH,CAAC;IACD,WAAW,CAAC,IAAI,CAAC,GAAG,qBAAqB,CAAC,WAAW,CAAC,CAAC,CAAC;IACxD,MAAM,YAAY,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,QAAQ,CAAC,eAAe,CAAC,CAAC,CAAC;IACjG,OAAO;QACL,iBAAiB,EAAE,YAAY,CAAC,KAAK;QACrC,QAAQ;QACR,WAAW;QACX,WAAW;QACX,WAAW;QACX,WAAW,EAAE,YAAY,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,MAAM,IAAI,WAAW,CAAC,MAAM,CAAC,IAAI,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,SAAS;KACtI,CAAC;AACJ,CAAC;AAED,SAAS,OAAO,CAAC,KAAkB;IACjC,OAAO,CAAC,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;AACxE,CAAC;AAED,SAAS,aAAa,CAAC,WAAmB,EAAE,KAAa;IACvD,OAAO,GAAG,WAAW,CAAC,WAAW,EAAE,CAAC,OAAO,CAAC,aAAa,EAAE,GAAG,CAAC,IAAI,KAAK,EAAE,CAAC;AAC7E,CAAC;AAED,MAAM,UAAU,YAAY,CAAC,KAAgF;IAC3G,MAAM,WAAW,GAAG,KAAK,CAAC,WAAW,IAAI,EAAE,CAAC;IAC5C,MAAM,KAAK,GAAG,OAAO,CAAC,EAAE,GAAG,KAAK,EAAE,WAAW,EAAE,iBAAiB,EAAE,IAAI,EAAE,WAAW,EAAE,EAAE,EAAE,WAAW,EAAE,EAAE,EAAE,WAAW,EAAE,SAAS,EAAE,CAAC,CAAC;IACpI,MAAM,QAAQ,GAAG,CAAC,KAAoB,EAAU,EAAE,CAAC,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;IACnF,MAAM,oBAAoB,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,UAAU,CAAC,IAAI,KAAK,aAAa;YAC7G,CAAC,CAAC,CAAC,cAAc,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IACtD,MAAM,gBAAgB,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,UAAU,CAAC,IAAI,KAAK,SAAS;YACrG,CAAC,CAAC,CAAC,gBAAgB,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,GAAG,CAAC;YAC1C,CAAC,CAAC,KAAK,CAAC,UAAU,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;gBACtE,CAAC,CAAC,KAAK,CAAC,UAAU,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IAChG,MAAM,MAAM,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,UAAU,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IACxI,MAAM,WAAW,GAAG,CAAC,GAAW,EAAU,EAAE,CAAC,IAAI,gBAAgB,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;IACjF,MAAM,QAAQ,GAAG,WAAW,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,KAAK,EAAY,EAAE;QAC9D,MAAM,UAAU,GAAG,KAAK,CAAC,UAAU,CAAC;QACpC,MAAM,KAAK,GAAG,CAAC,MAAc,EAAE,KAAa,EAAU,EAAE,CACtD,cAAc,KAAK,WAAW,aAAa,CAAC,KAAK,CAAC,WAAW,EAAE,KAAK,CAAC,IAAI,MAAM,IAAI,CAAC;QACtF,IAAI,UAAU,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;YACtC,MAAM,QAAQ,GAAG,cAAc,CAAC,UAAU,CAAC,CAAC;YAC5C,MAAM,WAAW,GAAG,IAAI,oBAAoB,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC;YACjE,OAAO,CAAC,KAAK,CAAC,aAAa,EAAE,UAAU,CAAC,gBAAgB,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,QAAQ,WAAW,GAAG,CAAC,CAAC,CAAC;QACpG,CAAC;QACD,IAAI,UAAU,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YAClC,MAAM,UAAU,GAAG,gBAAgB,CAAC,UAAU,CAAC,CAAC;YAChD,OAAO,CAAC,KAAK,CAAC,SAAS,EAAE,IAAI,UAAU,CAAC,QAAQ,IAAI,WAAW,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,UAAU,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;QAC3G,CAAC;QACD,IAAI,UAAU,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YACnC,MAAM,QAAQ,GAAG,WAAW,CAAC,WAAW,CAAC,UAAU,CAAC,CAAC,CAAC;YACtD,OAAO;gBACL,KAAK,CAAC,OAAO,EAAE,OAAO,QAAQ,IAAI,UAAU,CAAC,OAAO,IAAI,CAAC,GAAG,CAAC;gBAC7D,KAAK,CAAC,UAAU,EAAE,OAAO,QAAQ,IAAI,UAAU,CAAC,QAAQ,GAAG,CAAC;aAC7D,CAAC;QACJ,CAAC;QACD,OAAO,CAAC,KAAK,CAAC,YAAY,EAAE,MAAM,WAAW,CAAC,aAAa,CAAC,UAAU,CAAC,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC;IACjH,CAAC,CAAC,CAAC;IACH,OAAO;QACL,qFAAqF;QACrF,sBAAsB;QACtB,wCAAwC;QACxC,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,MAAM,KAAK,KAAK,IAAI,mBAAmB,KAAK,WAAW,CAAC;QACtF,GAAG,oBAAoB,CAAC,GAAG,CAAC,CAAC,QAAQ,EAAE,KAAK,EAAE,EAAE,CAAC,MAAM,KAAK,uBAAuB,QAAQ,mBAAmB,KAAK,WAAW,CAAC;QAC/H,GAAG,gBAAgB,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,MAAM,KAAK,KAAK,IAAI,mBAAmB,KAAK,UAAU,CAAC;QAChG,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,sBAAsB,KAAK,KAAK,KAAK,EAAE,CAAC;QACxE,GAAG,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CACrC,cAAc,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,QAAQ,QAAQ,CAAC,KAAK,CAAC,GAAG,WAAW,aAAa,CAAC,KAAK,CAAC,WAAW,EAAE,KAAK,CAAC,IAAI,CAAC;QACpI,GAAG,QAAQ;QACX,aAAa;KACd,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACf,CAAC;AAED,MAAM,UAAU,YAAY,CAAC,KAAgG;IAC3H,MAAM,WAAW,GAAG,KAAK,CAAC,WAAW,IAAI,EAAE,CAAC;IAC5C,MAAM,KAAK,GAAG,OAAO,CAAC,EAAE,GAAG,KAAK,EAAE,WAAW,EAAE,iBAAiB,EAAE,IAAI,EAAE,WAAW,EAAE,EAAE,EAAE,WAAW,EAAE,EAAE,EAAE,CAAC,CAAC;IAC5G,MAAM,UAAU,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC,KAAK,KAAK,UAAU,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC3E,MAAM,QAAQ,GAAG,CAAC,KAAoB,EAAU,EAAE,CAAC,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;IACnF,MAAM,UAAU,GAAG,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC;IAClI,MAAM,UAAU,GAAG,KAAK,CAAC,MAAM;QAC7B,CAAC,CAAC,KAAK,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,wBAAwB,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,KAAK,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,SAAS;QACpI,CAAC,CAAC,oBAAoB,CAAC;IACzB,MAAM,oBAAoB,GAAG,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAChE,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI,IAAI,KAAK,CAAC,QAAQ,KAAK,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC;IACnH,MAAM,oBAAoB,GAAG,oBAAoB,IAAI,qBAAqB,CAAC,WAAW,CAAC;SACpF,IAAI,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,QAAQ,CAAC,eAAe,CAAC,CAAC,CAAC;IACnE,MAAM,WAAW,GAAG,oBAAoB,CAAC,CAAC,CAAC,MAAM,UAAU,GAAG,CAAC,CAAC,CAAC,UAAU,CAAC;IAC5E,MAAM,gBAAgB,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC,EAAE,QAAQ,KAAK,KAAK,CAAC,CAAC;IACtH,MAAM,KAAK,GAAG;QACZ,GAAG,CAAC,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,+BAA+B,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QACpE,2BAA2B;QAC3B,6DAA6D;QAC7D,8DAA8D;QAC9D,mBAAmB,UAAU,cAAc,UAAU,EAAE;QACvD,EAAE;QACF,sCAAsC,WAAW,QAAQ;QACzD,GAAG,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC;YACpB,CAAC,CAAC,CAAC,OAAO,CAAC;YACX,CAAC,CAAC,oBAAoB;gBACpB,CAAC,CAAC,CAAC,sBAAsB,CAAC;gBAC1B,CAAC,CAAC,CAAC,aAAa,gBAAgB,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,sBAAsB,CAAC,CAAC;KAC7F,CAAC;IACF,IAAI,WAAW,CAAC,MAAM,EAAE,CAAC;QACvB,MAAM,oBAAoB,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,UAAU,CAAC,IAAI,KAAK,aAAa;gBAC7G,CAAC,CAAC,CAAC,cAAc,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QACtD,MAAM,gBAAgB,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,UAAU,CAAC,IAAI,KAAK,SAAS;gBACrG,CAAC,CAAC,CAAC,gBAAgB,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,GAAG,CAAC;gBAC1C,CAAC,CAAC,KAAK,CAAC,UAAU,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC;oBACtE,CAAC,CAAC,KAAK,CAAC,UAAU,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QAChG,MAAM,MAAM,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,UAAU,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;QACxI,MAAM,iBAAiB,GAAG;YACxB,GAAG,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,KAAK,EAAE,CAAC;YACvC,GAAG,oBAAoB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,KAAK,EAAE,CAAC;SACvD,CAAC;QACF,MAAM,iBAAiB,GAAG,gBAAgB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,KAAK,EAAE,CAAC,CAAC;QAC1E,MAAM,YAAY,GAAG;YACnB,GAAG,iBAAiB,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,IAAI,UAAU,CAAC;YACtD,GAAG,iBAAiB,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,IAAI,SAAS,CAAC;SACtD,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QACZ,MAAM,YAAY,GAAG;YACnB,GAAG,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,GAAG,QAAQ,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;YAC7F,GAAG,WAAW,CAAC,OAAO,CAAC,CAAC,KAAK,EAAY,EAAE;gBACzC,MAAM,UAAU,GAAG,KAAK,CAAC,UAAU,CAAC;gBACpC,IAAI,UAAU,CAAC,IAAI,KAAK,aAAa,EAAE,CAAC;oBACtC,MAAM,QAAQ,GAAG,cAAc,CAAC,UAAU,CAAC,CAAC;oBAC5C,OAAO,CAAC,IAAI,oBAAoB,CAAC,OAAO,CAAC,QAAQ,CAAC,MAAM,UAAU,CAAC,gBAAgB,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;gBAC5G,CAAC;gBACD,IAAI,UAAU,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;oBAClC,MAAM,UAAU,GAAG,gBAAgB,CAAC,UAAU,CAAC,CAAC;oBAChD,OAAO,CAAC,IAAI,gBAAgB,CAAC,OAAO,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,UAAU,CAAC,QAAQ,IAAI,UAAU,CAAC,KAAK,EAAE,CAAC,CAAC;gBACrG,CAAC;gBACD,IAAI,UAAU,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;oBACnC,MAAM,QAAQ,GAAG,IAAI,gBAAgB,CAAC,OAAO,CAAC,WAAW,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC;oBACzE,OAAO,CAAC,GAAG,UAAU,CAAC,OAAO,IAAI,CAAC,MAAM,QAAQ,EAAE,EAAE,GAAG,QAAQ,MAAM,UAAU,CAAC,QAAQ,EAAE,CAAC,CAAC;gBAC9F,CAAC;gBACD,OAAO,CAAC,IAAI,gBAAgB,CAAC,OAAO,CAAC,aAAa,CAAC,UAAU,CAAC,CAAC,MAAM,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;YACxG,CAAC,CAAC;SACH,CAAC;QACF,MAAM,kBAAkB,GAAG,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,MAAM,CAAC;QAC9D,MAAM,WAAW,GAAG;YAClB,GAAG,iBAAiB,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,GAAG,IAAI,SAAS,CAAC;YACpD,GAAG,iBAAiB,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,GAAG,IAAI,QAAQ,CAAC;SACpD,CAAC,WAAW,CAAC,CAAC,IAAI,EAAE,WAAW,EAAE,EAAE,CAAC,KAAK,WAAW,KAAK,IAAI,EAAE,EAAE,uBAAuB,CAAC,GAAG,iBAAiB,EAAE,GAAG,iBAAiB,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC;QAC1J,MAAM,gBAAgB,GAAG,iBAAiB,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE;YACtD,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;YACpC,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC;gBAAE,OAAO,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,KAAK,CAAC,EAAE,QAAQ,KAAK,KAAK,CAAC;YACzH,OAAO,WAAW,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,UAAU,CAAC,IAAI,KAAK,aAAa;mBACrE,oBAAoB,CAAC,OAAO,CAAC,cAAc,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,KAAK,KAAK,CAAC;gBAC5E,EAAE,UAAU,CAAC,IAAI,KAAK,aAAa;gBACnC,CAAC,CAAE,WAAW,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,UAAU,CAAC,IAAI,KAAK,aAAa;uBACjE,oBAAoB,CAAC,OAAO,CAAC,cAAc,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,KAAK,KAAK,CAAE;qBAC5E,UAAiE,CAAC,gBAAgB;gBACrF,CAAC,CAAC,IAAI,CAAC;QACX,CAAC,CAAC,CAAC;QACH,MAAM,gBAAgB,GAAG,gBAAgB,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE;YACpD,MAAM,eAAe,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CACnD,KAAK,CAAC,UAAU,CAAC,IAAI,KAAK,UAAU,IAAI,WAAW,CAAC,KAAK,CAAC,UAAU,CAAC,KAAK,GAAG,CAAC,CAAC;YACjF,IAAI,eAAe,CAAC,MAAM,EAAE,CAAC;gBAC3B,OAAO,WAAW;qBACf,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,UAAU,CAAC,IAAI,KAAK,UAAU,IAAI,WAAW,CAAC,KAAK,CAAC,UAAU,CAAC,KAAK,GAAG,CAAC;qBAChG,MAAM,CAAC,CAAC,OAAO,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,EACzC,KAAK,CAAC,UAA8D,CAAC,OAAO,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;YAC9F,CAAC;YACD,MAAM,eAAe,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CACrD,SAAS,CAAC,UAAU,CAAC,IAAI,KAAK,YAAY,IAAI,aAAa,CAAC,SAAS,CAAC,UAAU,CAAC,KAAK,GAAG,CAAC,CAAC;YAC7F,IAAI,eAAe,EAAE,CAAC;gBACpB,MAAM,KAAK,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,UAAU,CAAC,IAAI,KAAK,YAAY;uBACnF,aAAa,CAAC,SAAS,CAAC,UAAU,CAAC,KAAK,GAAG,CAAC,CAAC;gBAClD,OAAO,KAAK,EAAE,UAAU,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YAC3F,CAAC;YACD,MAAM,OAAO,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,UAAU,CAAC,IAAI,KAAK,SAAS;mBAC5E,gBAAgB,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,GAAG,KAAK,GAAG,CAAC;iBACjD,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE;gBACb,MAAM,UAAU,GAAG,KAAK,CAAC,UAA+B,CAAC;gBACzD,OAAO,EAAE,QAAQ,EAAE,UAAU,CAAC,QAAQ,EAAE,KAAK,EAAE,gBAAgB,CAAC,UAAU,CAAC,CAAC,KAAK,EAAE,CAAC;YACtF,CAAC,CAAC,CAAC;YACL,MAAM,UAAU,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,KAAK,GAAG,EAAE,EAAE,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC;YAC1G,OAAO,CAAC,GAAG,UAAU,CAAC,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,KAAK,EAAE,EAAE,CACjE,SAAS,CAAC,SAAS,EAAE,KAAK,CAAC,QAAQ,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,OAAO,CAAC,CAAC,CAAC,EAAE,KAAK,IAAI,EAAE,CAAC;QACnF,CAAC,CAAC,CAAC;QACH,MAAM,iBAAiB,GAAG,KAAK,CAAC,SAAS,CAAC,CAAC,IAAI,EAAE,EAAE;YACjD,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC;YAC7G,OAAO,MAAM,CAAC,IAAI,GAAG,CAAC,CAAC;QACzB,CAAC,CAAC,CAAC;QACH,MAAM,wBAAwB,GAAG,oBAAoB,CAAC,SAAS,CAAC,CAAC,QAAQ,EAAE,EAAE;YAC3E,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,WAAW;iBAC/B,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,UAAU,CAAC,IAAI,KAAK,aAAa;mBACrD,cAAc,CAAC,KAAK,CAAC,UAAU,CAAC,KAAK,QAAQ,CAAC;iBAClD,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAE,KAAK,CAAC,UAAiE,CAAC,gBAAgB,CAAC,CAAC,CAAC;YAC9G,OAAO,MAAM,CAAC,IAAI,GAAG,CAAC,CAAC;QACzB,CAAC,CAAC,CAAC;QACH,MAAM,oBAAoB,GAAG,iBAAiB,IAAI,CAAC;YACjD,CAAC,CAAC,IAAI,iBAAiB,EAAE;YACzB,CAAC,CAAC,wBAAwB,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,wBAAwB,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;QAC/E,KAAK,CAAC,IAAI,CACR,EAAE,EACF,uDAAuD,EACvD,WAAW,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,MAAM,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,WAAW,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,EACvI,GAAG,EACH,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC;YAClB,EAAE;YACF,0CAA0C,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG;SACrG,CAAC,CAAC,CAAC,EAAE,CAAC,EACP,EAAE,EACF,2BAA2B,YAAY,cAAc,kBAAkB,EAAE,EACzE,EAAE,EACF,gCAAgC,oBAAoB,CAAC,CAAC,CAAC,cAAc,CAAC,CAAC,CAAC,YAAY,MAAM,oBAAoB,CAAC,CAAC,CAAC,MAAM,WAAW,GAAG,CAAC,CAAC,CAAC,WAAW,QAAQ,EAC3J,GAAG,CAAC,CAAC,oBAAoB;YACvB,CAAC,CAAC,CAAC,aAAa,CAAC,GAAG,gBAAgB,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,GAAG,gBAAgB,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,8BAA8B,CAAC;YACzH,CAAC,CAAC;gBACA,WAAW;gBACX,oBAAoB,CAAC,GAAG,iBAAiB,EAAE,GAAG,iBAAiB,EAAE,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG;gBACnF,oBAAoB;oBAClB,CAAC,CAAC,WAAW,oBAAoB,sCAAsC;oBACvE,CAAC,CAAC,6CAA6C;aAClD,CAAC,CACL,CAAC;IACJ,CAAC;IACD,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC;AAED,SAAS,QAAQ,CAAC,MAAoB,EAAE,IAAY,EAAE,OAAe;IACnE,OAAO;QACL,MAAM;QACN,IAAI;QACJ,MAAM,EAAE,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC;QAC1D,WAAW,EAAE,MAAM,KAAK,MAAM;YAC5B,CAAC,CAAC,4EAA4E;YAC9E,CAAC,CAAC,gFAAgF;KACrF,CAAC;AACJ,CAAC;AAED,KAAK,UAAU,aAAa,CAAC,IAAY,EAAE,MAAoB,EAAE,OAAe;IAC9E,MAAM,IAAI,GAAG,MAAM,KAAK,MAAM;QAC5B,CAAC,CAAC,yCAAyC;QAC3C,CAAC,CAAC,yCAAyC,CAAC;IAC9C,MAAM,SAAS,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,OAAO,IAAI,CAAC,CAAC;IAC5C,OAAO,QAAQ,CAAC,MAAM,EAAE,IAAI,EAAE,GAAG,OAAO,IAAI,CAAC,CAAC;AAChD,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,uBAAuB,CAC3C,IAAY,EACZ,IAAY,EACZ,UAA0B,CAAC,MAAM,EAAE,MAAM,CAAC;IAE1C,MAAM,KAAK,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC;IAC/B,MAAM,SAAS,GAAqB,EAAE,CAAC;IACvC,IAAI,KAAK,CAAC,iBAAiB,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,IAAI,KAAK,CAAC,WAAW,CAAC,MAAM,CAAC,EAAE,CAAC;QACnF,KAAK,MAAM,MAAM,IAAI,CAAC,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC;YAC3C,SAAS,CAAC,IAAI,CAAC,MAAM,aAAa,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,KAAK,MAAM,CAAC,CAAC,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QACnH,CAAC;IACH,CAAC;IACD,OAAO;QACL,KAAK,EAAE,KAAK,CAAC,iBAAiB,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,IAAI,KAAK,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,CAAC;QAC7F,WAAW,EAAE,KAAK,CAAC,WAAW;QAC9B,QAAQ,EAAE,KAAK,CAAC,QAAQ;QACxB,WAAW,EAAE,KAAK,CAAC,WAAW;QAC9B,WAAW,EAAE,KAAK,CAAC,WAAW;QAC9B,WAAW,EAAE,KAAK,CAAC,WAAW;QAC9B,SAAS;KACV,CAAC;AACJ,CAAC;AAED,SAAS,UAAU,CAAC,IAAmB,EAAE,OAA2B;IAClE,IAAI,IAAI,KAAK,IAAI;QAAE,OAAO,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,OAAO,CAAC,SAAS,IAAI,OAAO,CAAC,GAAG,CAAC,WAAW,IAAI,IAAI,EAAE,UAAU,EAAE,EAAE,EAAE,CAAC,CAAC;IACpH,MAAM,UAAU,GAAG,OAAO,CAAC,WAAW,IAAI,OAAO,CAAC,GAAG,CAAC,aAAa,CAAC;IACpE,IAAI,UAAU;QAAE,OAAO,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,UAAU,EAAE,UAAU,EAAE,EAAE,EAAE,CAAC,CAAC;IACvE,OAAO;QACL,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,EAAE,EAAE;QACzC,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,UAAU,EAAE,CAAC,KAAK,EAAE,MAAM,CAAC,EAAE;KACvD,CAAC;AACJ,CAAC;AAED,KAAK,UAAU,KAAK,CAAC,UAA4B,EAAE,IAAY,EAAE,SAAiB,EAAE,MAAc;IAChG,OAAO,MAAM,CAAC,UAAU,CAAC,OAAO,EAAE,CAAC,GAAG,UAAU,CAAC,UAAU,EAAE,UAAU,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,WAAW,CAAC,EAAE,EAAE,GAAG,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,CAAC;AAC/I,CAAC;AAED,KAAK,UAAU,UAAU,CACvB,IAAmB,EACnB,IAAY,EACZ,SAAiB,EACjB,OAA2B,EAC3B,MAAc;IAEd,IAAI,IAAI,GAAkB,EAAE,MAAM,EAAE,SAAS,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE,UAAU,EAAE,CAAC,EAAE,CAAC;IACvG,KAAK,MAAM,UAAU,IAAI,UAAU,CAAC,IAAI,EAAE,OAAO,CAAC,EAAE,CAAC;QACnD,IAAI,GAAG,MAAM,KAAK,CAAC,UAAU,EAAE,IAAI,EAAE,SAAS,EAAE,MAAM,CAAC,CAAC;QACxD,IAAI,IAAI,CAAC,MAAM,KAAK,SAAS;YAAE,OAAO,EAAE,UAAU,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;IACpE,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;AACzB,CAAC;AAED,SAAS,WAAW,CAAC,MAAqB;IACxC,IAAI,MAAM,CAAC,MAAM,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAClD,IAAI,MAAM,CAAC,MAAM,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAClD,IAAI,MAAM,CAAC,MAAM,KAAK,WAAW,IAAI,MAAM,CAAC,QAAQ,KAAK,CAAC;QAAE,OAAO,OAAO,CAAC;IAC3E,OAAO,WAAW,CAAC;AACrB,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,YAAY,CAChC,IAAY,EACZ,UAA8B,EAAE,EAChC,SAAiB,UAAU;IAE3B,MAAM,SAAS,GAAG,OAAO,CAAC,SAAS,IAAI,KAAK,CAAC;IAC7C,MAAM,OAAO,GAAwB,EAAE,CAAC;IACxC,KAAK,MAAM,IAAI,IAAI,CAAC,IAAI,EAAE,MAAM,CAAU,EAAE,CAAC;QAC3C,MAAM,KAAK,GAAG,MAAM,UAAU,CAAC,IAAI,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;QACvE,MAAM,MAAM,GAAG,WAAW,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QACxC,MAAM,UAAU,GAAG,KAAK,CAAC,UAAU,IAAI,UAAU,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,CAAC,CAAE,CAAC;QACrE,MAAM,MAAM,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,CAAC;QAChE,OAAO,CAAC,IAAI,CAAC;YACX,IAAI;YACJ,SAAS,EAAE,MAAM,KAAK,WAAW;YACjC,OAAO,EAAE,CAAC,UAAU,CAAC,OAAO,EAAE,GAAG,UAAU,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC;YACjE,OAAO,EAAE,MAAM,KAAK,WAAW,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE;YACxE,MAAM;YACN,MAAM;SACP,CAAC,CAAC;IACL,CAAC;IACD,OAAO,EAAE,SAAS,EAAE,OAAO,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,SAAS,CAAC,EAAE,OAAO,EAAE,CAAC;AAC1E,CAAC;AAED,SAAS,aAAa,CAAC,KAAkB,EAAE,SAAiB;IAC1D,OAAO;QACL,KAAK,EAAE,KAAK,CAAC,iBAAiB,IAAI,KAAK,CAAC,WAAW,KAAK,YAAY,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,IAAI,KAAK,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,CAAC;QACnI,WAAW;QACX,WAAW;QACX,QAAQ,EAAE,KAAK,CAAC,QAAQ;QACxB,WAAW,EAAE,KAAK,CAAC,WAAW;QAC9B,WAAW,EAAE,KAAK,CAAC,WAAW;QAC9B,WAAW,EAAE,KAAK,CAAC,WAAW;QAC9B,WAAW,EAAE,KAAK,CAAC,WAAW;QAC9B,MAAM,EAAE;YACN,SAAS;YACT,IAAI,EAAE,SAAS;YACf,OAAO,EAAE,EAAE;YACX,OAAO,EAAE,EAAE;YACX,MAAM,EAAE,eAAe;YACvB,UAAU,EAAE,CAAC;YACb,MAAM,EAAE,EAAE;SACX;KACF,CAAC;AACJ,CAAC;AAED,SAAS,eAAe,CAAC,SAAwB;IAC/C,IAAI,SAAS,CAAC,MAAM,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IACrD,IAAI,SAAS,CAAC,MAAM,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IACrD,IAAI,SAAS,CAAC,MAAM,KAAK,WAAW,IAAI,SAAS,CAAC,QAAQ,KAAK,CAAC;QAAE,OAAO,OAAO,CAAC;IACjF,OAAO,SAAS,CAAC;AACnB,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,WAAW,CAC/B,IAAY,EACZ,IAAY,EACZ,kBAA+C,MAAM,EACrD,SAAiB,UAAU;IAE3B,MAAM,OAAO,GAAG,OAAO,eAAe,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,eAAe,EAAE,CAAC,CAAC,CAAC,eAAe,CAAC;IACpG,MAAM,SAAS,GAAG,OAAO,CAAC,MAAM,IAAI,MAAM,CAAC;IAC3C,MAAM,SAAS,GAAG,OAAO,CAAC,SAAS,IAAI,MAAM,CAAC;IAC9C,MAAM,KAAK,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC;IAC/B,MAAM,MAAM,GAAG,aAAa,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;IAC/C,IAAI,CAAC,KAAK,CAAC,iBAAiB,IAAI,SAAS,KAAK,MAAM,IAAI,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,MAAM,CAAC,EAAE,CAAC;QAC9G,MAAM,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,KAAK,CAAC,iBAAiB;YAC7C,CAAC,CAAC,6CAA6C;YAC/C,CAAC,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,MAAM,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,MAAM;gBACnD,CAAC,CAAC,2CAA2C;gBAC7C,CAAC,CAAC,4BAA4B,CAAC;QACnC,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,IAAI,QAA4E,CAAC;IACjF,KAAK,MAAM,SAAS,IAAI,SAAS,KAAK,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,MAAM,CAAU,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,EAAE,CAAC;QACrF,MAAM,KAAK,GAAG,MAAM,UAAU,CAAC,SAAS,EAAE,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,SAAS,EAAE,KAAK,CAAC,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;QAC7F,IAAI,CAAC,KAAK,CAAC,UAAU,IAAI,KAAK,CAAC,KAAK,CAAC,MAAM,KAAK,SAAS;YAAE,SAAS;QACpE,IAAI,CAAC,KAAK,CAAC,UAAU,IAAI,WAAW,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,WAAW,EAAE,CAAC;YAClE,MAAM,UAAU,GAAG,KAAK,CAAC,UAAU,IAAI,UAAU,CAAC,SAAS,EAAE,OAAO,CAAC,CAAC,CAAC,CAAE,CAAC;YAC1E,MAAM,CAAC,MAAM,GAAG;gBACd,SAAS;gBACT,IAAI,EAAE,SAAS;gBACf,OAAO,EAAE,CAAC,UAAU,CAAC,OAAO,EAAE,GAAG,UAAU,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC;gBACjE,OAAO,EAAE,EAAE;gBACX,MAAM,EAAE,KAAK,CAAC,KAAK,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO;gBAC9D,UAAU,EAAE,KAAK,CAAC,KAAK,CAAC,UAAU;gBAClC,MAAM,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,MAAM,IAAI,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE;aAC1D,CAAC;YACF,MAAM,CAAC,KAAK,GAAG,KAAK,CAAC;YACrB,OAAO,MAAM,CAAC;QAChB,CAAC;QACD,QAAQ,GAAG,EAAE,UAAU,EAAE,KAAK,CAAC,UAAU,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,CAAC;QAChE,MAAM;IACR,CAAC;IACD,IAAI,CAAC,QAAQ,EAAE,CAAC;QACd,MAAM,CAAC,MAAM,GAAG;YACd,SAAS;YACT,IAAI,EAAE,SAAS;YACf,OAAO,EAAE,EAAE;YACX,OAAO,EAAE,EAAE;YACX,MAAM,EAAE,SAAS;YACjB,UAAU,EAAE,CAAC;YACb,MAAM,EAAE,2DAA2D;SACpE,CAAC;QACF,IAAI,SAAS,KAAK,MAAM;YAAE,MAAM,CAAC,KAAK,GAAG,KAAK,CAAC;QAC/C,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,MAAM,OAAO,GAAG,CAAC,QAAQ,CAAC,KAAK,CAAC,MAAM,GAAG,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IAClG,MAAM,OAAO,GAAG,CAAC,QAAQ,CAAC,UAAU,CAAC,OAAO,EAAE,GAAG,QAAQ,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC3F,IAAI,QAAQ,CAAC,UAAU,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;QACtC,MAAM,MAAM,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC;QACnC,MAAM,SAAS,GAAG,MAAM,aAAa,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC;QAC5D,MAAM,SAAS,GAAG,MAAM,MAAM,CAC5B,QAAQ,CAAC,UAAU,CAAC,OAAO,EAC3B,CAAC,GAAG,QAAQ,CAAC,UAAU,CAAC,UAAU,EAAE,KAAK,EAAE,OAAO,EAAE,MAAM,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,IAAI,CAAC,SAAS,GAAG,KAAK,CAAC,CAAC,EAAE,CAAC,EACtG,EAAE,GAAG,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,GAAG,MAAM,IAAI,EAAE,CAC/C,CAAC;QACF,MAAM,MAAM,GAAG,eAAe,CAAC,SAAS,CAAC,CAAC;QAC1C,MAAM,MAAM,GAAG,SAAS,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;QACvC,MAAM,MAAM,GAAiB,MAAM,IAAI,CAAC,MAAM,KAAK,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,KAAK,OAAO,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;QAC7G,MAAM,CAAC,MAAM,GAAG;YACd,SAAS;YACT,IAAI,EAAE,IAAI;YACV,OAAO;YACP,OAAO;YACP,MAAM;YACN,UAAU,EAAE,SAAS,CAAC,UAAU;YAChC,MAAM,EAAE,CAAC,SAAS,CAAC,MAAM,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE;YACpD,QAAQ,EAAE,SAAS;SACpB,CAAC;QACF,IAAI,MAAM,KAAK,OAAO;YAAE,MAAM,CAAC,WAAW,GAAG,cAAc,CAAC;QAC5D,IAAI,MAAM,KAAK,KAAK;YAAE,MAAM,CAAC,WAAW,GAAG,YAAY,CAAC;QACxD,IAAI,MAAM,KAAK,KAAK,IAAI,KAAK,CAAC,WAAW,KAAK,YAAY;YAAE,MAAM,CAAC,KAAK,GAAG,KAAK,CAAC;QACjF,IAAI,CAAC,MAAM,KAAK,KAAK,IAAI,KAAK,CAAC,WAAW,KAAK,cAAc,CAAC,IAAI,CAAC,MAAM,KAAK,OAAO,IAAI,KAAK,CAAC,WAAW,KAAK,YAAY,CAAC,EAAE,CAAC;YAC7H,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,wBAAwB,EAAE,iEAAiE,CAAC,CAAC,CAAC;QAC9H,CAAC;IACH,CAAC;SAAM,CAAC;QACN,MAAM,MAAM,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC;QACnC,MAAM,SAAS,GAAG,MAAM,aAAa,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC;QAC5D,MAAM,SAAS,GAAG,MAAM,MAAM,CAC5B,QAAQ,CAAC,UAAU,CAAC,OAAO,EAC3B,CAAC,GAAG,QAAQ,CAAC,UAAU,CAAC,UAAU,EAAE,SAAS,CAAC,IAAI,CAAC,EACnD,EAAE,GAAG,EAAE,IAAI,EAAE,SAAS,EAAE,CACzB,CAAC;QACF,MAAM,MAAM,GAAG,eAAe,CAAC,SAAS,CAAC,CAAC;QAC1C,MAAM,MAAM,GAAiB,MAAM,IAAI,SAAS,CAAC;QACjD,MAAM,CAAC,MAAM,GAAG;YACd,SAAS;YACT,IAAI,EAAE,MAAM;YACZ,OAAO;YACP,OAAO;YACP,MAAM;YACN,UAAU,EAAE,SAAS,CAAC,UAAU;YAChC,MAAM,EAAE,CAAC,SAAS,CAAC,MAAM,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE;mBAC/C,CAAC,MAAM,KAAK,SAAS;oBACtB,CAAC,CAAC,oBAAoB,KAAK,CAAC,WAAW,KAAK,cAAc,CAAC,CAAC,CAAC,kBAAkB,CAAC,CAAC,CAAC,gBAAgB,+CAA+C;oBACjJ,CAAC,CAAC,EAAE,CAAC;YACT,QAAQ,EAAE,SAAS;SACpB,CAAC;QACF,IAAI,MAAM,KAAK,SAAS;YAAE,MAAM,CAAC,KAAK,GAAG,KAAK,CAAC;IACjD,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC"}

package/dist/packages/analysis/src/gate.d.ts

@@ -0,0 +1,56 @@
+import { type Evidence } from '../../domain/src/index.js';
+import { type Config } from './config.js';
+import { type FormalResult } from './formal.js';
+import { type Runner } from './process.js';
+import { type AttestationVerificationOptions } from './attestation.js';
+export interface GateReport {
+    schemaVersion: 1;
+    generatedAt: string;
+    status: 'pass' | 'fail';
+    checks: Evidence[];
+    metrics: Record<string, number>;
+    mode: 'full' | 'changed';
+    changed: string[] | null;
+    impacted: string[];
+    lastChangeAnalysis: {
+        baseline: 'HEAD';
+        head: string | null;
+        changed: string[];
+        impacted: string[];
+        generatedAt: string;
+    } | null;
+    fingerprints: Record<string, string>;
+}
+export interface FormalEvidence {
+    schemaVersion: 1;
+    generatedAt: string;
+    totalRequirements: number;
+    modeledRequirements: number;
+    modeledFraction: number;
+    result: FormalResult;
+    fingerprints: Record<string, string>;
+}
+export declare function evidenceSnapshot(root: string): Promise<Record<string, string>>;
+export declare function aggregateStatus(checks: Evidence[]): 'pass' | 'fail';
+export declare function runGate(root: string, options?: {
+    changed?: boolean;
+    runner?: Runner;
+    config?: Config;
+    environment?: NodeJS.ProcessEnv;
+    attestationOptions?: AttestationVerificationOptions;
+}): Promise<GateReport>;
+export declare function projectStatus(root: string): Promise<{
+    initialized: boolean;
+    artifacts: {
+        requirements: number;
+        designs: number;
+        decisions: number;
+    };
+    codeGraph: Config['codeGraph'] | null;
+    gate: {
+        status: 'pass' | 'fail' | 'skipped' | 'stale';
+        generatedAt: string | null;
+        ready: boolean;
+    };
+    next: string[];
+}>;

package/dist/packages/analysis/src/gate.js

@@ -0,0 +1,484 @@
+import { randomUUID } from 'node:crypto';
+import { unlink } from 'node:fs/promises';
+import { validateConstitution, validateDesign, validateRequirements } from '../../domain/src/index.js';
+import { loadConfig, loadPolicyBaseline, policyDiagnostics } from './config.js';
+import { digest, exists, files, readText, safePath, snapshot, within, writeJson } from './files.js';
+import { graphGate, graphImpact, indexGraph } from './graph.js';
+import { formalCheck } from './formal.js';
+import { validateWorkflow } from './workflow.js';
+import { parseMusubixTestReport, validateTddEvidence } from './tdd.js';
+import { validateChangeCompleteness, validateChangeEvidence } from './change.js';
+import { changedFiles, runProcess } from './process.js';
+import { buildTrace, checkTrace } from './trace.js';
+import { adapterInvocation, clearAdapterOutput, normalizeAdapterReport, readAdapterOutput } from './adapters.js';
+import { createPerformanceExecution, performanceCommandSha256, validatePerformanceEvidence, writePerformanceEvidence, } from './performance.js';
+import { createMutationExecution, mutationCommandSha256, parseMutationReport, validateMutationEvidence, writeMutationEvidence, } from './mutation.js';
+import { validateModelCorrespondenceEvidence, writeModelCorrespondenceEvidence, } from './model-correspondence.js';
+import { verifyEvidenceAttestation } from './attestation.js';
+export async function evidenceSnapshot(root) {
+    return snapshot(root, (await files(root)).filter((path) => !/^\.musubix\/features\/[^/]+\/trace\.json$/.test(path)
+        && !path.endsWith('.tgz')
+        && !/^\.github\/skills\//.test(path)
+        && !/(?:^|\/)(?:logs?|session-logs)\//.test(path)
+        && !/\.jsonl$/.test(path)));
+}
+export function aggregateStatus(checks) {
+    return checks.every((check) => !check.required || check.status === 'pass') ? 'pass' : 'fail';
+}
+export async function runGate(root, options = {}) {
+    const config = options.config ?? await loadConfig(root);
+    const runner = options.runner ?? runProcess;
+    const gateRunId = randomUUID();
+    const changed = options.changed ? await changedFiles(root, runner) : null;
+    const evidencePath = '.musubix/evidence/quality.json';
+    const previous = await exists(within(root, evidencePath))
+        ? JSON.parse(await readText(root, evidencePath))
+        : null;
+    const before = await evidenceSnapshot(root);
+    const paths = await files(root);
+    const hasChangeDocuments = paths.some((path) => /^\.musubix\/changes\/CHANGE-\d+\.md$/.test(path));
+    const checks = [];
+    const required = (name) => config.requiredChecks.includes(name);
+    const countErrors = (diagnostics) => diagnostics.filter((d) => d.severity === 'error').length;
+    function add(name, present, diagnostics) {
+        checks.push({
+            name, required: required(name),
+            status: !present ? 'skipped' : countErrors(diagnostics) ? 'fail' : 'pass',
+            summary: !present ? 'No applicable artifact/input; not evaluated.' : `${countErrors(diagnostics)} error(s).`,
+            diagnostics,
+        });
+    }
+    const requirementPaths = paths.filter((p) => /^\.musubix\/features\/[^/]+\/requirements\.md$/.test(p));
+    const designPaths = paths.filter((p) => /^\.musubix\/features\/[^/]+\/design\.md$/.test(p));
+    const requirements = await Promise.all(requirementPaths.map(async (p) => validateRequirements(await readText(root, p), p)));
+    const requirementIds = new Set(requirements.flatMap((r) => r.value.map((req) => req.id)));
+    const adrIds = new Set(paths.filter((p) => /^\.musubix\/decisions\/ADR-\d+\.md$/.test(p)).map((p) => p.split('/').at(-1).replace(/\.md$/, '')));
+    const designTexts = await Promise.all(designPaths.map(async (path) => ({ path, text: await readText(root, path) })));
+    const designIds = new Set(designTexts.flatMap(({ text }) => validateDesign(text).value.map((c) => c.id)));
+    const designs = designTexts.map(({ path, text }) => validateDesign(text, path, { requirementIds, adrIds, designIds }));
+    const reqDiagnostics = requirements.flatMap((r) => r.diagnostics);
+    const designDiagnostics = designs.flatMap((d) => d.diagnostics);
+    const policyBaseline = await loadPolicyBaseline(root);
+    const policy = policyBaseline ? policyDiagnostics(config, policyBaseline, changed) : [];
+    checks.push({
+        name: 'policy',
+        required: policyBaseline !== null,
+        status: policyBaseline === null ? 'skipped' : policy.some((diagnostic) => diagnostic.severity === 'error') ? 'fail' : 'pass',
+        summary: policyBaseline === null ? 'No trusted policy baseline is configured.' : `${policy.length} policy violation(s).`,
+        diagnostics: policy,
+    });
+    add('requirements', requirementPaths.length > 0, reqDiagnostics);
+    add('design', designPaths.length > 0, designDiagnostics);
+    const constitutionPath = '.musubix/constitution.md';
+    const constitution = await exists(within(root, constitutionPath)) ? validateConstitution(await readText(root, constitutionPath), constitutionPath) : null;
+    add('constitution', constitution !== null, constitution?.diagnostics ?? []);
+    const trace = await buildTrace(root);
+    const traceResult = await checkTrace(root, trace, true, config.thresholds);
+    add('trace', requirementPaths.length > 0, traceResult.diagnostics);
+    const graph = await indexGraph(root);
+    const graphResult = graphGate(graph, config.architecture, config.codeGraph);
+    add('graph', graph.files.length > 0, graphResult.diagnostics);
+    const formalText = (await Promise.all(requirementPaths.map(async (path) => (await readText(root, path)).replace(/^---[\s\S]*?---\s*/, '')))).join('\n\n');
+    const formalResult = await formalCheck(formalText, root, {
+        solver: config.formal.solver,
+        timeoutMs: config.formal.timeoutMs,
+    }, runner);
+    const totalRequirements = requirements.reduce((sum, result) => sum + result.value.length, 0);
+    const modeledRequirements = new Set([
+        ...formalResult.literals.map((literal) => literal.requirement),
+        ...formalResult.constraints.map((constraint) => constraint.requirement),
+    ]).size;
+    const modeledFraction = totalRequirements ? modeledRequirements / totalRequirements : 0;
+    const formalDiagnostics = [...formalResult.diagnostics];
+    if (modeledFraction < config.formal.minModeledFraction) {
+        formalDiagnostics.push({
+            code: 'FORMAL_COVERAGE',
+            severity: 'error',
+            message: `Formal modeled fraction ${modeledFraction.toFixed(3)} is below required ${config.formal.minModeledFraction.toFixed(3)}.`,
+        });
+    }
+    checks.push({
+        name: 'formal',
+        required: required('formal'),
+        status: !requirementPaths.length ? 'skipped' : formalResult.valid && !formalDiagnostics.some((d) => d.severity === 'error') ? 'pass' : 'fail',
+        summary: requirementPaths.length
+            ? `${modeledRequirements}/${totalRequirements} requirements modeled; consistency ${formalResult.consistency}; solver ${formalResult.solver.status}.`
+            : 'No requirements available for formal analysis.',
+        diagnostics: formalDiagnostics,
+        durationMs: formalResult.solver.durationMs,
+    });
+    const workflow = await validateWorkflow(root, config.workflow);
+    checks.push({
+        name: 'workflow',
+        required: required('workflow') || workflow.present,
+        status: !workflow.present ? 'skipped' : workflow.verified ? 'pass' : 'fail',
+        summary: !workflow.present
+            ? 'No workflow declarations are available.'
+            : workflow.verified
+                ? `${workflow.events} workflow declaration(s) across ${workflow.skills} Skill(s) reconciled with Copilot invocation events.`
+                : `${workflow.events} workflow declaration(s) are not fully reconciled with Copilot invocation events.`,
+        diagnostics: workflow.diagnostics,
+    });
+    const tdd = await validateTddEvidence(root);
+    checks.push({
+        name: 'tdd',
+        required: required('tdd') || tdd.present || hasChangeDocuments,
+        status: !tdd.present ? 'skipped' : tdd.valid ? 'pass' : 'fail',
+        summary: tdd.present ? `${tdd.cycles} Red-Green TDD cycle(s) recorded.` : 'No TDD cycle evidence is available.',
+        diagnostics: tdd.diagnostics,
+    });
+    const changes = await validateChangeEvidence(root);
+    checks.push({
+        name: 'change-history',
+        required: required('change-history') || hasChangeDocuments,
+        status: !changes.present ? 'skipped' : changes.valid ? 'pass' : 'fail',
+        summary: changes.present ? `${changes.changes} staged change(s) checked for ordered artifact and TDD evidence.` : 'No staged change chronology evidence is available.',
+        diagnostics: changes.diagnostics,
+    });
+    const completeness = await validateChangeCompleteness(root);
+    const completenessCheck = {
+        name: 'change-completeness',
+        required: required('change-completeness') || hasChangeDocuments,
+        status: !completeness.present ? 'skipped' : completeness.valid ? 'pass' : 'fail',
+        summary: completeness.present
+            ? `${completeness.changes.filter((change) => change.valid).length}/${completeness.changes.length} staged change(s) have complete requirement, design, ADR, code, test, TDD and trace evidence.`
+            : 'No staged change evidence is available.',
+        diagnostics: completeness.diagnostics,
+    };
+    checks.push(completenessCheck);
+    const formalEvidence = {
+        schemaVersion: 1,
+        generatedAt: new Date().toISOString(),
+        totalRequirements,
+        modeledRequirements,
+        modeledFraction,
+        result: formalResult,
+        fingerprints: await snapshot(root, requirementPaths),
+    };
+    await writeJson(root, '.musubix/evidence/formal.json', formalEvidence);
+    const commandChecks = [];
+    const structuredTests = new Map();
+    const performanceExecutions = [];
+    const mutationExecutions = [];
+    const testReportDiagnostics = [];
+    const mutationReportDiagnostics = [];
+    let configuredTestReports = 0;
+    for (const [commandIndex, command] of config.commands.entries()) {
+        let reportPath;
+        let adapterOutput;
+        let adapterArgs = [];
+        if (command.testReport) {
+            configuredTestReports++;
+            reportPath = command.testReport.path;
+            const absolute = await safePath(root, reportPath);
+            if (await exists(absolute))
+                await unlink(absolute);
+        }
+        else if (command.adapter) {
+            configuredTestReports++;
+            const invocation = adapterInvocation(command.adapter, command.name);
+            adapterOutput = invocation;
+            reportPath = invocation.reportPath;
+            adapterArgs = invocation.args;
+            await clearAdapterOutput(invocation, await safePath(root, reportPath));
+        }
+        else if (command.mutationReport) {
+            reportPath = command.mutationReport.path;
+            const absolute = await safePath(root, reportPath);
+            if (await exists(absolute))
+                await unlink(absolute);
+        }
+        const args = reportPath
+            ? [...command.args.map((arg) => arg.replaceAll('{reportPath}', reportPath)), ...adapterArgs]
+            : command.args;
+        const result = await runner(command.command, args, { cwd: root, timeoutMs: command.timeoutMs });
+        commandChecks.push({
+            name: `command:${command.name}`, required: command.required,
+            status: result.status === 'missing' ? 'skipped' : result.status !== 'completed' || result.exitCode !== 0 ? 'fail' : 'pass',
+            summary: `${command.command}: ${result.status}, exit ${result.exitCode ?? 'none'}.`,
+            durationMs: result.durationMs, exitCode: result.exitCode, stdout: result.stdout, stderr: result.stderr,
+        });
+        if (reportPath && result.status === 'completed' && result.exitCode === 0) {
+            const reportText = adapterOutput
+                ? await readAdapterOutput(adapterOutput, await safePath(root, reportPath), result.stdout)
+                : await exists(within(root, reportPath)) ? await readText(root, reportPath) : null;
+            if (reportText === null) {
+                (command.mutationReport ? mutationReportDiagnostics : testReportDiagnostics).push({
+                    code: command.mutationReport ? 'MUTATION_REPORT_MISSING' : 'TEST_REPORT_MISSING',
+                    severity: 'error',
+                    message: `${command.name} did not produce its configured structured ${command.mutationReport ? 'mutation' : 'test'} report.`,
+                    path: reportPath,
+                });
+            }
+            else {
+                try {
+                    if (command.mutationReport) {
+                        const report = parseMutationReport(reportText);
+                        mutationExecutions.push(createMutationExecution({
+                            executionId: digest(JSON.stringify({ gateRunId, commandIndex, commandName: command.name })),
+                            commandName: command.name,
+                            commandSha256: mutationCommandSha256(command.command, args),
+                            reportPath,
+                            reportSha256: digest(reportText),
+                            processStatus: result.status,
+                            exitCode: result.exitCode,
+                            mutants: report.mutants,
+                        }));
+                        continue;
+                    }
+                    const report = command.testReport
+                        ? parseMusubixTestReport(reportText)
+                        : normalizeAdapterReport(command.adapter, reportText);
+                    const sourceKind = adapterOutput?.source ?? 'file';
+                    performanceExecutions.push(createPerformanceExecution({
+                        runId: gateRunId,
+                        executionId: digest(JSON.stringify({ runId: gateRunId, commandIndex, commandName: command.name })),
+                        commandName: command.name,
+                        commandSha256: performanceCommandSha256(command.command, args),
+                        reportPath,
+                        sourceKind,
+                        reportSha256: digest(reportText),
+                        processStatus: result.status,
+                        exitCode: result.exitCode,
+                        tests: report.tests,
+                    }));
+                    const seen = new Set();
+                    for (const test of report.tests) {
+                        if (seen.has(test.id)) {
+                            testReportDiagnostics.push({
+                                code: 'TEST_REPORT_DUPLICATE_ID',
+                                severity: 'error',
+                                message: `${command.name} reported ${test.id} more than once.`,
+                                path: reportPath,
+                            });
+                        }
+                        seen.add(test.id);
+                        structuredTests.set(test.id, [...structuredTests.get(test.id) ?? [], test]);
+                    }
+                }
+                catch (cause) {
+                    testReportDiagnostics.push({
+                        code: 'TEST_REPORT_INVALID',
+                        severity: 'error',
+                        message: cause instanceof Error ? cause.message : String(cause),
+                        path: reportPath,
+                    });
+                }
+            }
+        }
+    }
+    checks.push(...commandChecks);
+    const annotatedTestIds = trace.nodes.filter((node) => node.kind === 'test').map((node) => node.id);
+    const executedTestIds = annotatedTestIds.filter((id) => structuredTests.get(id)?.some((test) => test.status === 'passed'));
+    const identityDiagnostics = [
+        ...testReportDiagnostics,
+        ...annotatedTestIds.filter((id) => !executedTestIds.includes(id)).map((id) => ({
+            code: 'TEST_ID_NOT_PASSED',
+            severity: 'error',
+            message: `${id} was linked in source but not reported as passed by a successful structured test command.`,
+        })),
+    ];
+    const identitiesPresent = annotatedTestIds.length > 0 && configuredTestReports > 0;
+    checks.push({
+        name: 'test-identities',
+        required: required('test-identities'),
+        status: !identitiesPresent
+            ? 'skipped'
+            : identityDiagnostics.length ? 'fail' : 'pass',
+        summary: !annotatedTestIds.length
+            ? 'No annotated test IDs are available.'
+            : !configuredTestReports
+                ? 'No structured command test report is configured.'
+                : `${executedTestIds.length}/${annotatedTestIds.length} annotated test IDs passed in structured command reports.`,
+        diagnostics: identityDiagnostics,
+    });
+    await writePerformanceEvidence(root, performanceExecutions, gateRunId);
+    const performance = await validatePerformanceEvidence(root);
+    checks.push({
+        name: 'performance',
+        required: required('performance') || performance.budgets > 0,
+        status: performance.budgets === 0 ? 'skipped' : performance.valid ? 'pass' : 'fail',
+        summary: performance.budgets === 0
+            ? 'No deterministic performance budgets are declared.'
+            : `${performance.budgets} deterministic operation budget(s) checked.`,
+        diagnostics: performance.diagnostics,
+    });
+    if (config.commands.some((command) => command.mutationReport)) {
+        await writeMutationEvidence(root, mutationExecutions, gateRunId);
+    }
+    const mutation = await validateMutationEvidence(root);
+    mutation.diagnostics.unshift(...mutationReportDiagnostics);
+    mutation.valid = mutation.valid && mutationReportDiagnostics.length === 0;
+    checks.push({
+        name: 'mutation',
+        required: required('mutation') || (config.mutation.mode === 'strict' && mutation.requirements > 0) || mutation.present,
+        status: !mutation.present ? mutation.valid ? 'skipped' : 'fail' : mutation.valid ? 'pass' : 'fail',
+        summary: !mutation.present
+            ? 'No mutation evidence is available.'
+            : `${mutation.coveredRequirements.length}/${mutation.requirements} must functional requirement(s) have current linked killed mutants.`,
+        diagnostics: mutation.diagnostics,
+    });
+    await writeModelCorrespondenceEvidence(root, trace, formalEvidence, performanceExecutions, gateRunId);
+    const correspondence = await validateModelCorrespondenceEvidence(root);
+    checks.push({
+        name: 'model-correspondence',
+        required: required('model-correspondence') || correspondence.requirements > 0,
+        status: correspondence.requirements === 0 && !correspondence.present
+            ? 'skipped'
+            : correspondence.valid ? 'pass' : 'fail',
+        summary: correspondence.requirements === 0
+            ? 'No requirements with explicit Formal JSON are available.'
+            : `${correspondence.coveredRequirements.length}/${correspondence.requirements} explicitly modeled requirement(s) correspond to current authoritative passing tests.`,
+        diagnostics: correspondence.diagnostics,
+    });
+    const refreshedCompleteness = await validateChangeCompleteness(root);
+    completenessCheck.status = !refreshedCompleteness.present ? 'skipped' : refreshedCompleteness.valid ? 'pass' : 'fail';
+    completenessCheck.summary = refreshedCompleteness.present
+        ? `${refreshedCompleteness.changes.filter((change) => change.valid).length}/${refreshedCompleteness.changes.length} staged change(s) have semantically complete evidence.`
+        : 'No staged change evidence is available.';
+    completenessCheck.diagnostics = refreshedCompleteness.diagnostics;
+    const attestation = await verifyEvidenceAttestation(root, config.attestation, runner, options.environment ?? process.env, options.attestationOptions);
+    checks.push({
+        name: 'attestation',
+        required: required('attestation') || config.attestation.mode === 'ci-required' || attestation.present,
+        status: attestation.status === 'off' || attestation.status === 'unsigned-local' ? 'skipped' : attestation.valid ? 'pass' : 'fail',
+        summary: attestation.status === 'verified'
+            ? attestation.trust === 'github-oidc-ephemeral-key'
+                ? 'Evidence has a valid Ed25519 signature from an ephemeral key authorized by verified GitHub Actions OIDC claims.'
+                : attestation.trust === 'github-oidc-trusted-key'
+                    ? 'Evidence has a valid trusted Ed25519 signature additionally authorized by verified GitHub Actions OIDC claims.'
+                    : 'Evidence is bound to the current repository, commit, CI run, and evidence heads by a statically trusted Ed25519 key.'
+            : attestation.status === 'unsigned-local'
+                ? 'Local evidence is explicitly unsigned.'
+                : attestation.status === 'missing'
+                    ? 'Required CI attestation is missing.'
+                    : `Attestation status: ${attestation.status}.`,
+        diagnostics: attestation.diagnostics,
+    });
+    checks.push({
+        name: 'commands', required: required('commands'),
+        status: !commandChecks.length ? 'skipped' : aggregateStatus(commandChecks) === 'fail' ? 'fail' : 'pass',
+        summary: commandChecks.length ? `${commandChecks.length} configured command(s) executed; optional failures are nonblocking.` : 'No configured commands; build/test evidence is missing.',
+    });
+    const metrics = {
+        'requirements.errors': countErrors(reqDiagnostics),
+        'policy.errors': countErrors(policy),
+        'design.errors': countErrors(designDiagnostics),
+        'trace.errors': countErrors(traceResult.diagnostics),
+        'graph.violations': countErrors(graphResult.diagnostics),
+        'formal.errors': countErrors(formalDiagnostics),
+        'formal.modeledFraction': modeledFraction,
+        'commands.failures': commandChecks.filter((c) => c.status === 'fail').length,
+        'commands.skipped': commandChecks.filter((c) => c.status === 'skipped').length + Number(!commandChecks.length),
+        'tests.annotatedIds': annotatedTestIds.length,
+        'tests.executedIds': executedTestIds.length,
+        'tdd.cycles': tdd.cycles,
+        'tdd.errors': countErrors(tdd.diagnostics),
+        'changes.count': changes.changes,
+        'changes.errors': countErrors(changes.diagnostics),
+        'changes.complete': refreshedCompleteness.changes.filter((change) => change.valid).length,
+        'changes.completenessErrors': countErrors(refreshedCompleteness.diagnostics),
+        'performance.budgets': performance.budgets,
+        'performance.errors': countErrors(performance.diagnostics),
+        'mutation.requirements': mutation.requirements,
+        'mutation.coveredRequirements': mutation.coveredRequirements.length,
+        'mutation.mutants': mutation.mutants,
+        'mutation.errors': countErrors(mutation.diagnostics),
+        'modelCorrespondence.requirements': correspondence.requirements,
+        'modelCorrespondence.coveredRequirements': correspondence.coveredRequirements.length,
+        'modelCorrespondence.errors': countErrors(correspondence.diagnostics),
+        'attestation.errors': countErrors(attestation.diagnostics),
+        ...(traceResult.coverage.design === null ? {} : { 'coverage.design': traceResult.coverage.design }),
+        ...(traceResult.coverage.implementation === null ? {} : { 'coverage.implementation': traceResult.coverage.implementation }),
+        ...(traceResult.coverage.tests === null ? {} : { 'coverage.tests': traceResult.coverage.tests }),
+    };
+    if (constitution?.valid) {
+        for (const rule of constitution.value.rules) {
+            const checkName = rule.metric.split('.')[0];
+            const evidence = checks.find((c) => c.name === checkName);
+            const measured = metrics[rule.metric];
+            checks.push({
+                name: `constitution:${rule.id}`, required: required('constitution'),
+                status: measured === undefined || !evidence || evidence.status === 'skipped' ? 'skipped' : measured <= rule.limit ? 'pass' : 'fail',
+                summary: `${rule.metric} = ${measured ?? 'unavailable'}; maximum ${rule.limit}.`,
+            });
+        }
+    }
+    const after = await evidenceSnapshot(root);
+    if (JSON.stringify(before) !== JSON.stringify(after)) {
+        checks.push({ name: 'input-stability', required: true, status: 'fail', summary: 'Project inputs changed during gate execution. Re-run after generators/formatters finish.' });
+    }
+    const impacted = new Set();
+    for (const path of changed ?? []) {
+        if (graph.files.includes(path))
+            for (const item of graphImpact(graph, path))
+                impacted.add(item.path);
+    }
+    const generatedAt = new Date().toISOString();
+    const currentImpacted = [...impacted].sort();
+    let lastChangeAnalysis = previous?.lastChangeAnalysis ?? null;
+    if (options.changed) {
+        const revision = await runner('git', ['rev-parse', 'HEAD'], { cwd: root, timeoutMs: 10_000 });
+        lastChangeAnalysis = {
+            baseline: 'HEAD',
+            head: revision.status === 'completed' && revision.exitCode === 0 ? revision.stdout.trim() || null : null,
+            changed: changed ?? [],
+            impacted: currentImpacted,
+            generatedAt,
+        };
+    }
+    const report = {
+        schemaVersion: 1,
+        generatedAt,
+        status: aggregateStatus(checks),
+        checks,
+        metrics,
+        mode: options.changed ? 'changed' : 'full',
+        changed: options.changed ? changed : lastChangeAnalysis?.changed ?? null,
+        impacted: options.changed ? currentImpacted : lastChangeAnalysis?.impacted ?? [],
+        lastChangeAnalysis,
+        fingerprints: after,
+    };
+    await writeJson(root, evidencePath, report);
+    return report;
+}
+export async function projectStatus(root) {
+    const paths = await files(root);
+    const initialized = paths.includes('.musubix/config.json');
+    const codeGraph = initialized ? (await loadConfig(root)).codeGraph : null;
+    const artifacts = {
+        requirements: paths.filter((p) => /^\.musubix\/features\/[^/]+\/requirements\.md$/.test(p)).length,
+        designs: paths.filter((p) => /^\.musubix\/features\/[^/]+\/design\.md$/.test(p)).length,
+        decisions: paths.filter((p) => /^\.musubix\/decisions\/ADR-\d+\.md$/.test(p)).length,
+    };
+    const evidencePath = '.musubix/evidence/quality.json';
+    let status = 'skipped';
+    let generatedAt = null;
+    if (await exists(within(root, evidencePath))) {
+        const evidence = JSON.parse(await readText(root, evidencePath));
+        if (evidence.schemaVersion !== 1 || !['pass', 'fail', 'skipped'].includes(String(evidence.status)))
+            throw new Error('Invalid quality evidence; run gate.');
+        if (evidence.status === 'pass' || evidence.status === 'fail') {
+            status = evidence.fingerprints && JSON.stringify(evidence.fingerprints) === JSON.stringify(await evidenceSnapshot(root)) ? evidence.status : 'stale';
+            if (status === 'pass' && (!evidence.checks?.length || aggregateStatus(evidence.checks) !== 'pass'))
+                status = 'stale';
+            if (status === 'pass') {
+                const performance = await validatePerformanceEvidence(root);
+                if (performance.budgets > 0 && !performance.valid)
+                    status = 'stale';
+                const mutation = await validateMutationEvidence(root);
+                if ((mutation.present || mutation.requirements > 0) && !mutation.valid)
+                    status = 'stale';
+                const correspondence = await validateModelCorrespondenceEvidence(root);
+                if (correspondence.requirements > 0 && !correspondence.valid)
+                    status = 'stale';
+            }
+        }
+        generatedAt = evidence.generatedAt ?? null;
+    }
+    return {
+        initialized, artifacts, codeGraph, gate: { status, generatedAt, ready: initialized && status === 'pass' },
+        next: !initialized ? ['musubix3 init'] : status !== 'pass' ? ['musubix3 trace build', 'musubix3 gate'] : [],
+    };
+}
+//# sourceMappingURL=gate.js.map