@hoplogic/engine 0.1.0

package/dist/index.cjs.map

@@ -0,0 +1 @@
+{"version":3,"sources":["../src/execution-types.ts","../src/validators.ts","../src/response-format.ts","../src/spec-executor.ts","../src/hop-jit.ts","../src/llm-protocol.ts"],"names":["detectSerializationResidue","z","parseResult","repairValue","parseFullSpec","validateSpec"],"mappings":";;;;;;AA8BO,SAAS,gBAAA,GAAmC;AACjD,EAAA,OAAO;AAAA,IACL,WAAA,EAAa,CAAA;AAAA,IACb,eAAA,EAAiB,CAAA;AAAA,IACjB,YAAA,EAAc,CAAA;AAAA,IACd,aAAA,EAAe,CAAA;AAAA,IACf,SAAA,EAAW,CAAA;AAAA,IACX,YAAA,EAAc;AAAA,GAChB;AACF;ACpBO,SAAS,cAAA,CACd,QACA,YAAA,EACc;AAEd,EAAA,IAAI,MAAA,KAAW,IAAA,IAAQ,MAAA,KAAW,MAAA,EAAW;AAC3C,IAAA,OAAO,EAAE,MAAA,EAAQ,KAAA,EAAO,MAAA,EAAQ,6BAAA,EAA8B;AAAA,EAChE;AAGA,EAAA,IAAI,YAAA,IAAgB,YAAA,CAAa,MAAA,GAAS,CAAA,EAAG;AAC3C,IAAA,IAAI,OAAO,MAAA,KAAW,QAAA,IAAY,KAAA,CAAM,OAAA,CAAQ,MAAM,CAAA,EAAG;AACvD,MAAA,OAAO,EAAE,MAAA,EAAQ,KAAA,EAAO,MAAA,EAAQ,CAAA,2BAAA,EAA8B,aAAa,IAAA,CAAK,IAAI,CAAC,CAAA,OAAA,EAAU,MAAM,OAAA,CAAQ,MAAM,IAAI,OAAA,GAAU,OAAO,MAAM,CAAA,CAAA,EAAG;AAAA,IACnJ;AAEA,IAAA,MAAM,GAAA,GAAM,MAAA;AACZ,IAAA,MAAM,UAAU,YAAA,CAAa,MAAA,CAAO,CAAA,CAAA,KAAK,EAAE,KAAK,GAAA,CAAI,CAAA;AACpD,IAAA,IAAI,OAAA,CAAQ,SAAS,CAAA,EAAG;AACtB,MAAA,OAAO,EAAE,QAAQ,KAAA,EAAO,MAAA,EAAQ,0BAA0B,OAAA,CAAQ,IAAA,CAAK,IAAI,CAAC,CAAA,CAAA,EAAG;AAAA,IACjF;AAAA,EACF;AAGA,EAAA,IAAI,OAAO,MAAA,KAAW,QAAA,IAAY,MAAA,KAAW,IAAA,EAAM;AACjD,IAAA,MAAM,OAAA,GAAUA,gCAA2B,MAAM,CAAA;AACjD,IAAA,IAAI,OAAA,CAAQ,SAAS,CAAA,EAAG;AACtB,MAAA,OAAO,EAAE,QAAQ,KAAA,EAAO,MAAA,EAAQ,sCAAsC,OAAA,CAAQ,IAAA,CAAK,IAAI,CAAC,CAAA,CAAA,EAAG;AAAA,IAC7F;AAAA,EACF;AAEA,EAAA,OAAO,EAAE,MAAA,EAAQ,IAAA,EAAM,MAAA,EAAQ,qBAAA,EAAsB;AACvD;AAQA,eAAsB,aAAA,CACpB,QAAA,EACA,IAAA,EACA,OAAA,EACA,MAAA,EACuB;AACvB,EAAA,OAAO,QAAA,CAAS,MAAA,CAAO,IAAA,EAAM,OAAA,EAAS,MAAM,CAAA;AAC9C;AAQA,eAAsB,kBAAA,CACpB,QAAA,EACA,IAAA,EACA,OAAA,EACA,MAAA,EACuB;AACvB,EAAA,MAAM,OAAA,GAAU,MAAM,OAAA,CAAQ,UAAA,CAAW;AAAA,IACvC,QAAA,CAAS,MAAA,CAAO,IAAA,EAAM,OAAA,EAAS,MAAM,CAAA;AAAA,IACrC,QAAA,CAAS,MAAA,CAAO,IAAA,EAAM,OAAA,EAAS,MAAM,CAAA;AAAA,IACrC,QAAA,CAAS,MAAA,CAAO,IAAA,EAAM,OAAA,EAAS,MAAM;AAAA,GACtC,CAAA;AAED,EAAA,IAAI,SAAA,GAAY,CAAA;AAChB,EAAA,IAAI,SAAA,GAAY,CAAA;AAChB,EAAA,MAAM,UAAoB,EAAC;AAE3B,EAAA,KAAA,MAAW,KAAK,OAAA,EAAS;AACvB,IAAA,IAAI,CAAA,CAAE,WAAW,WAAA,EAAa;AAC5B,MAAA,IAAI,CAAA,CAAE,MAAM,MAAA,EAAQ,SAAA,EAAA;AAAA,WACf,SAAA,EAAA;AACL,MAAA,OAAA,CAAQ,IAAA,CAAK,CAAA,CAAE,KAAA,CAAM,MAAM,CAAA;AAAA,IAC7B,CAAA,MAAO;AACL,MAAA,SAAA,EAAA;AACA,MAAA,OAAA,CAAQ,IAAA,CAAK,CAAA,oBAAA,EAAuB,CAAA,CAAE,MAAM,CAAA,CAAE,CAAA;AAAA,IAChD;AAAA,EACF;AAEA,EAAA,MAAM,SAAS,SAAA,IAAa,CAAA;AAC5B,EAAA,OAAO;AAAA,IACL,MAAA;AAAA,IACA,MAAA,EAAQ,MAAA,GACJ,CAAA,2BAAA,EAA8B,SAAS,CAAA,SAAA,CAAA,GACvC,CAAA,2BAAA,EAA8B,SAAS,CAAA,cAAA,EAAiB,OAAA,CAAQ,MAAA,CAAO,CAAC,EAAA,EAAI,CAAA,KAAM;AAClF,MAAA,MAAM,GAAA,GAAM,QAAQ,CAAC,CAAA;AACrB,MAAA,OAAO,GAAA,EAAK,WAAW,WAAA,IAAe,CAAC,IAAI,KAAA,CAAM,MAAA,IAAU,KAAK,MAAA,KAAW,UAAA;AAAA,IAC7E,CAAC,CAAA,CAAE,IAAA,CAAK,IAAI,CAAC,CAAA;AAAA,GACjB;AACF;AC9FA,IAAM,QAAA,GAAsC;AAAA,EAC1C,KAAA,EAAOC,MAAE,MAAA,EAAO;AAAA,EAChB,QAAA,EAAUA,MAAE,MAAA,EAAO;AAAA,EACnB,KAAA,EAAOA,KAAA,CAAE,MAAA,EAAO,CAAE,GAAA,EAAI;AAAA,EACtB,SAAA,EAAWA,KAAA,CAAE,MAAA,EAAO,CAAE,GAAA,EAAI;AAAA,EAC1B,OAAA,EAASA,MAAE,MAAA,EAAO;AAAA,EAClB,QAAA,EAAUA,MAAE,MAAA,EAAO;AAAA,EACnB,MAAA,EAAQA,MAAE,OAAA,EAAQ;AAAA,EAClB,SAAA,EAAWA,MAAE,OAAA,EAAQ;AAAA,EACrB,MAAA,EAAQA,KAAA,CAAE,KAAA,CAAMA,KAAA,CAAE,SAAS,CAAA;AAAA,EAC3B,MAAA,EAAQA,KAAA,CAAE,MAAA,CAAOA,KAAA,CAAE,SAAS,CAAA;AAAA,EAC5B,WAAA,EAAaA,KAAA,CAAE,KAAA,CAAMA,KAAA,CAAE,QAAQ,CAAA;AAAA,EAC/B,WAAA,EAAaA,KAAA,CAAE,KAAA,CAAMA,KAAA,CAAE,QAAQ,CAAA;AAAA,EAC/B,aAAaA,KAAA,CAAE,KAAA,CAAMA,MAAE,MAAA,EAAO,CAAE,KAAK,CAAA;AAAA,EACrC,aAAaA,KAAA,CAAE,KAAA,CAAMA,MAAE,MAAA,EAAO,CAAE,KAAK,CAAA;AAAA,EACrC,YAAA,EAAcA,MAAE,KAAA,CAAMA,KAAA,CAAE,OAAOA,KAAA,CAAE,OAAA,EAAS,CAAC,CAAA;AAAA,EAC3C,YAAA,EAAcA,MAAE,KAAA,CAAMA,KAAA,CAAE,OAAOA,KAAA,CAAE,OAAA,EAAS,CAAC,CAAA;AAAA,EAC3C,aAAA,EAAeA,KAAA,CAAE,KAAA,CAAMA,KAAA,CAAE,QAAQ,CAAA;AAAA,EACjC,aAAA,EAAeA,KAAA,CAAE,KAAA,CAAMA,KAAA,CAAE,QAAQ;AACnC,CAAA;AAGA,SAAS,YAAY,OAAA,EAA4B;AAC/C,EAAA,OAAO,SAAS,OAAA,CAAQ,IAAA,EAAM,CAAA,IAAKA,MAAE,MAAA,EAAO;AAC9C;AAKA,IAAM,QAAA,GAAW,6CAAA;AAQjB,SAAS,cAAc,CAAA,EAAqB;AAC1C,EAAA,MAAM,QAAkB,EAAC;AACzB,EAAA,IAAI,OAAA,GAAU,EAAA;AACd,EAAA,IAAI,KAAA,GAAQ,CAAA;AACZ,EAAA,IAAI,QAAA,GAA0B,IAAA;AAE9B,EAAA,KAAA,IAAS,CAAA,GAAI,CAAA,EAAG,CAAA,GAAI,CAAA,CAAE,QAAQ,CAAA,EAAA,EAAK;AACjC,IAAA,MAAM,EAAA,GAAK,EAAE,CAAC,CAAA;AACd,IAAA,IAAI,QAAA,EAAU;AACZ,MAAA,OAAA,IAAW,EAAA;AACX,MAAA,IAAI,OAAO,QAAA,IAAY,CAAA,CAAE,CAAA,GAAI,CAAC,MAAM,IAAA,EAAM;AACxC,QAAA,QAAA,GAAW,IAAA;AAAA,MACb;AACA,MAAA;AAAA,IACF;AACA,IAAA,IAAI,EAAA,KAAO,GAAA,IAAO,EAAA,KAAO,GAAA,EAAK;AAC5B,MAAA,QAAA,GAAW,EAAA;AACX,MAAA,OAAA,IAAW,EAAA;AACX,MAAA;AAAA,IACF;AACA,IAAA,IAAI,EAAA,KAAO,GAAA,IAAO,EAAA,KAAO,GAAA,IAAO,OAAO,GAAA,EAAK;AAC1C,MAAA,KAAA,EAAA;AACA,MAAA,OAAA,IAAW,EAAA;AACX,MAAA;AAAA,IACF;AACA,IAAA,IAAI,EAAA,KAAO,GAAA,IAAO,EAAA,KAAO,GAAA,IAAO,OAAO,GAAA,EAAK;AAC1C,MAAA,KAAA,EAAA;AACA,MAAA,OAAA,IAAW,EAAA;AACX,MAAA;AAAA,IACF;AACA,IAAA,IAAI,EAAA,KAAO,GAAA,IAAO,KAAA,KAAU,CAAA,EAAG;AAC7B,MAAA,KAAA,CAAM,IAAA,CAAK,OAAA,CAAQ,IAAA,EAAM,CAAA;AACzB,MAAA,OAAA,GAAU,EAAA;AACV,MAAA;AAAA,IACF;AACA,IAAA,OAAA,IAAW,EAAA;AAAA,EACb;AACA,EAAA,IAAI,OAAA,CAAQ,MAAK,EAAG;AAClB,IAAA,KAAA,CAAM,IAAA,CAAK,OAAA,CAAQ,IAAA,EAAM,CAAA;AAAA,EAC3B;AACA,EAAA,OAAO,KAAA;AACT;AAgBO,SAAS,kBAAkB,SAAA,EAAyD;AACzF,EAAA,MAAM,OAAA,GAAU,UAAU,IAAA,EAAK;AAC/B,EAAA,IAAI,CAAC,SAAS,OAAO,MAAA;AAGrB,EAAA,IAAI,QAAQ,UAAA,CAAW,GAAG,KAAK,OAAA,CAAQ,QAAA,CAAS,GAAG,CAAA,EAAG;AACpD,IAAA,MAAM,QAAQ,OAAA,CAAQ,KAAA,CAAM,CAAA,EAAG,EAAE,EAAE,IAAA,EAAK;AACxC,IAAA,IAAI,CAAC,KAAA,EAAO,OAAO,EAAC;AAEpB,IAAA,MAAM,KAAA,GAAQ,cAAc,KAAK,CAAA;AACjC,IAAA,MAAM,SAAmC,EAAC;AAE1C,IAAA,KAAA,MAAW,QAAQ,KAAA,EAAO;AAExB,MAAA,MAAM,QAAA,GAAW,IAAA,CAAK,OAAA,CAAQ,GAAG,CAAA;AACjC,MAAA,IAAI,WAAW,CAAA,EAAG;AAElB,MAAA,MAAM,GAAA,GAAM,IAAA,CAAK,KAAA,CAAM,CAAA,EAAG,QAAQ,EAAE,IAAA,EAAK,CAAE,OAAA,CAAQ,cAAA,EAAgB,EAAE,CAAA;AACrE,MAAA,IAAI,CAAC,GAAA,EAAK;AAEV,MAAA,MAAM,SAAS,IAAA,CAAK,KAAA,CAAM,QAAA,GAAW,CAAC,EAAE,IAAA,EAAK;AAG7C,MAAA,MAAM,UAAA,GAAa,QAAA,CAAS,IAAA,CAAK,MAAM,CAAA;AACvC,MAAA,IAAI,UAAA,EAAY;AACd,QAAA,MAAM,SAAA,GAAY,WAAA,CAAY,UAAA,CAAW,CAAC,CAAE,CAAA;AAC5C,QAAA,MAAM,OAAO,UAAA,CAAW,CAAC,CAAA,CAAG,OAAA,CAAQ,QAAQ,GAAG,CAAA;AAC/C,QAAA,MAAA,CAAO,GAAG,CAAA,GAAI,EAAE,IAAA,EAAM,SAAA,EAAW,aAAa,IAAA,EAAK;AAAA,MACrD,CAAA,MAAO;AAEL,QAAA,MAAA,CAAO,GAAG,CAAA,GAAI,EAAE,IAAA,EAAM,WAAA,CAAY,MAAM,CAAA,EAAE;AAAA,MAC5C;AAAA,IACF;AACA,IAAA,OAAO,MAAA;AAAA,EACT;AAGA,EAAA,OAAO,EAAE,QAAQ,EAAE,IAAA,EAAMA,MAAE,MAAA,EAAO,EAAG,WAAA,EAAa,OAAA,EAAQ,EAAE;AAC9D;AAWO,SAAS,qBAAqB,SAAA,EAA8B;AACjE,EAAA,MAAM,MAAA,GAAS,kBAAkB,SAAS,CAAA;AAE1C,EAAA,IAAI,YAAA;AACJ,EAAA,IAAI,CAAC,MAAA,IAAU,MAAA,CAAO,KAAK,MAAM,CAAA,CAAE,WAAW,CAAA,EAAG;AAC/C,IAAA,YAAA,GAAeA,MAAE,MAAA,EAAO;AAAA,EAC1B,CAAA,MAAA,IAAW,OAAO,IAAA,CAAK,MAAM,EAAE,MAAA,KAAW,CAAA,IAAK,YAAY,MAAA,EAAQ;AACjE,IAAA,YAAA,GAAe,MAAA,CAAO,QAAQ,CAAA,CAAG,IAAA;AAAA,EACnC,CAAA,MAAO;AAEL,IAAA,MAAM,QAAmC,EAAC;AAC1C,IAAA,KAAA,MAAW,CAAC,GAAA,EAAK,GAAG,KAAK,MAAA,CAAO,OAAA,CAAQ,MAAM,CAAA,EAAG;AAC/C,MAAA,KAAA,CAAM,GAAG,IAAI,GAAA,CAAI,IAAA;AAAA,IACnB;AACA,IAAA,YAAA,GAAeA,KAAA,CAAE,OAAO,KAAK,CAAA;AAAA,EAC/B;AAEA,EAAA,OAAOA,MAAE,MAAA,CAAO;AAAA,IACd,WAAA,EAAaA,MAAE,MAAA,EAAO;AAAA,IACtB,YAAA,EAAc,YAAA;AAAA,IACd,YAAYA,KAAA,CAAE,IAAA,CAAK,CAAC,IAAA,EAAM,cAAA,EAAgB,WAAW,CAAC,CAAA;AAAA,IACtD,YAAA,EAAcA,KAAA,CAAE,MAAA,CAAOA,KAAA,CAAE,MAAA,CAAO;AAAA,MAC9B,KAAA,EAAOA,MAAE,MAAA,EAAO;AAAA,MAChB,WAAA,EAAaA,MAAE,MAAA,EAAO;AAAA,MACtB,UAAA,EAAYA,MAAE,MAAA;AAAO,KACtB,CAAC,CAAA,CAAE,QAAA,GAAW,QAAA,EAAS;AAAA,IACxB,WAAA,EAAaA,MAAE,KAAA,CAAMA,KAAA,CAAE,QAAQ,CAAA,CAAE,QAAA,EAAS,CAAE,QAAA;AAAS,GACtD,CAAA;AACH;AAMO,SAAS,iBAAiB,SAAA,EAA8B;AAC7D,EAAA,MAAM,MAAA,GAAS,kBAAkB,SAAS,CAAA;AAE1C,EAAA,IAAI,CAAC,MAAA,IAAU,MAAA,CAAO,KAAK,MAAM,CAAA,CAAE,WAAW,CAAA,EAAG;AAC/C,IAAA,OAAOA,MAAE,MAAA,EAAO;AAAA,EAClB;AACA,EAAA,IAAI,OAAO,IAAA,CAAK,MAAM,EAAE,MAAA,KAAW,CAAA,IAAK,YAAY,MAAA,EAAQ;AAC1D,IAAA,OAAO,MAAA,CAAO,QAAQ,CAAA,CAAG,IAAA;AAAA,EAC3B;AAEA,EAAA,MAAM,QAAmC,EAAC;AAC1C,EAAA,KAAA,MAAW,CAAC,GAAA,EAAK,GAAG,KAAK,MAAA,CAAO,OAAA,CAAQ,MAAM,CAAA,EAAG;AAC/C,IAAA,KAAA,CAAM,GAAG,IAAI,GAAA,CAAI,IAAA;AAAA,EACnB;AACA,EAAA,OAAOA,KAAA,CAAE,OAAO,KAAK,CAAA;AACvB;ACvLA,IAAM,aAAN,MAAiB;AAAA,EACf,WAAA,CACkB,QACA,MAAA,EAChB;AAFgB,IAAA,IAAA,CAAA,MAAA,GAAA,MAAA;AACA,IAAA,IAAA,CAAA,MAAA,GAAA,MAAA;AAAA,EACf;AACL,CAAA;AAGA,IAAM,aAAN,MAAiB;AAAA,EACf,WAAA,CACkB,QACA,QAAA,EAChB;AAFgB,IAAA,IAAA,CAAA,MAAA,GAAA,MAAA;AACA,IAAA,IAAA,CAAA,QAAA,GAAA,QAAA;AAAA,EACf;AACL,CAAA;AAUO,IAAM,eAAN,MAAmB;AAAA,EAChB,GAAA;AAAA,EACA,QAAA;AAAA,EACA,UAAA;AAAA,EAER,YAAY,OAAA,EAA8B;AACxC,IAAA,IAAA,CAAK,MAAM,OAAA,CAAQ,GAAA;AACnB,IAAA,IAAA,CAAK,WAAW,OAAA,CAAQ,QAAA;AACxB,IAAA,IAAA,CAAK,UAAA,GAAa,QAAQ,UAAA,IAAc,CAAA;AAAA,EAC1C;AAAA;AAAA,EAGA,MAAM,OAAA,CACJ,KAAA,EACA,KAAA,EAC0B;AAC1B,IAAA,MAAM,QAAQ,gBAAA,EAAiB;AAC/B,IAAA,MAAM,QAAQ,IAAI,GAAA,CAAqB,MAAA,CAAO,OAAA,CAAQ,KAAK,CAAC,CAAA;AAC5D,IAAA,MAAM,cAA4B,EAAC;AAEnC,IAAA,IAAI,WAAA,GAAyB,IAAA;AAC7B,IAAA,IAAI,cAAuB,EAAC;AAE5B,IAAA,IAAI;AACF,MAAA,KAAA,MAAW,QAAQ,KAAA,EAAO;AACxB,QAAA,KAAA,CAAM,WAAA,EAAA;AACN,QAAA,MAAM,SAAS,MAAM,IAAA,CAAK,WAAA,CAAY,IAAA,EAAM,OAAO,KAAK,CAAA;AACxD,QAAA,WAAA,CAAY,KAAK,MAAM,CAAA;AAEvB,QAAA,IAAI,MAAA,CAAO,WAAW,IAAA,EAAM;AAC1B,UAAA,WAAA,GAAc,MAAA,CAAO,MAAA;AACrB,UAAA,WAAA,GAAc,MAAA,CAAO,MAAA;AACrB,UAAA;AAAA,QACF;AAAA,MACF;AAAA,IACF,SAAS,CAAA,EAAG;AACV,MAAA,IAAI,aAAa,UAAA,EAAY;AAC3B,QAAA,WAAA,GAAc,CAAA,CAAE,MAAA;AAAA,MAClB,CAAA,MAAO;AACL,QAAA,MAAM,CAAA;AAAA,MACR;AAAA,IACF;AAGA,IAAA,IAAI,WAAA,KAAgB,MAAA,IAAc,OAAO,WAAA,KAAgB,QAAA,IAAY,WAAA,KAAgB,IAAA,IAAQ,MAAA,CAAO,IAAA,CAAK,WAAsC,CAAA,CAAE,MAAA,KAAW,CAAA,EAAI;AAC9J,MAAA,WAAA,GAAc,MAAA,CAAO,YAAY,KAAK,CAAA;AAAA,IACxC;AAEA,IAAA,OAAO;AAAA,MACL,MAAA,EAAQ,WAAA;AAAA,MACR,MAAA,EAAQ,WAAA;AAAA,MACR,KAAA,EAAO,WAAA;AAAA,MACP;AAAA,KACF;AAAA,EACF;AAAA;AAAA,EAGA,MAAc,WAAA,CACZ,IAAA,EACA,KAAA,EACA,KAAA,EACqB;AACrB,IAAA,QAAQ,KAAK,SAAA;AAAW,MACtB,KAAK,KAAA;AACH,QAAA,OAAO,IAAA,CAAK,UAAA,CAAW,IAAA,EAAM,KAAA,EAAO,KAAK,CAAA;AAAA,MAC3C,KAAK,MAAA;AACH,QAAA,OAAO,IAAA,CAAK,WAAA,CAAY,IAAA,EAAM,KAAA,EAAO,KAAK,CAAA;AAAA,MAC5C,KAAK,MAAA;AACH,QAAA,OAAO,IAAA,CAAK,WAAA,CAAY,IAAA,EAAM,KAAA,EAAO,KAAK,CAAA;AAAA,MAC5C,KAAK,QAAA;AACH,QAAA,OAAO,IAAA,CAAK,aAAA,CAAc,IAAA,EAAM,KAAA,EAAO,KAAK,CAAA;AAAA,MAC9C,KAAK,MAAA;AACH,QAAA,OAAO,IAAA,CAAK,WAAA,CAAY,IAAA,EAAM,KAAK,CAAA;AAAA,MACrC,KAAK,MAAA;AACH,QAAA,OAAO,IAAA,CAAK,WAAA,CAAY,IAAA,EAAM,KAAA,EAAO,KAAK,CAAA;AAAA,MAC5C,KAAK,SAAA;AACH,QAAA,OAAO,IAAA,CAAK,cAAA,CAAe,IAAA,EAAM,KAAA,EAAO,KAAK,CAAA;AAAA,MAC/C;AACE,QAAA,OAAO;AAAA,UACL,SAAS,IAAA,CAAK,OAAA;AAAA,UACd,MAAA,EAAQ,MAAA;AAAA,UACR,MAAA,EAAQ,IAAA;AAAA,UACR,OAAA,EAAS,CAAA;AAAA,UACT,KAAA,EAAO,CAAA,mBAAA,EAAsB,IAAA,CAAK,SAAS,CAAA;AAAA,SAC7C;AAAA;AACJ,EACF;AAAA;AAAA,EAIA,MAAc,UAAA,CACZ,IAAA,EACA,KAAA,EACA,KAAA,EACqB;AACrB,IAAA,MAAM,MAAA,GAAS,IAAA,CAAK,WAAA,CAAY,IAAA,EAAM,KAAK,CAAA;AAC3C,IAAA,MAAM,UAAsB,EAAC;AAG7B,IAAA,IAAI,KAAK,aAAA,EAAe;AACtB,MAAA,MAAM,MAAA,GAAS,iBAAA,CAAkB,IAAA,CAAK,aAAa,CAAA;AACnD,MAAA,IAAI,MAAA,EAAQ;AACV,QAAA,OAAA,CAAQ,YAAA,GAAe,6CAA6C,MAAA,CAAO,IAAA,CAAK,MAAM,CAAA,CAAE,IAAA,CAAK,IAAI,CAAC,CAAA,CAAA;AAAA,MACpG;AAAA,IACF;AAEA,IAAA,IAAI,SAAA,GAAY,EAAA;AAChB,IAAA,KAAA,IAAS,OAAA,GAAU,CAAA,EAAG,OAAA,IAAW,IAAA,CAAK,YAAY,OAAA,EAAA,EAAW;AAC3D,MAAA,KAAA,CAAM,SAAA,EAAA;AACN,MAAA,MAAM,YAAY,MAAM,IAAA,CAAK,GAAA,CAAI,KAAA,CAAM,QAAQ,OAAO,CAAA;AAEtD,MAAA,IAAI,CAAC,UAAU,OAAA,EAAS;AACtB,QAAA,SAAA,GAAY,SAAA,CAAU,OAAA;AACtB,QAAA,IAAI,OAAA,GAAU,KAAK,UAAA,EAAY;AAC/B,QAAA;AAAA,MACF;AAGA,MAAA,MAAM,MAAA,GAASC,gBAAA,CAAY,SAAA,CAAU,OAAO,CAAA;AAC5C,MAAA,MAAM,QAAA,GAAWC,iBAAY,MAAM,CAAA;AAGnC,MAAA,MAAM,YAAA,GAAe,IAAA,CAAK,aAAA,GACtB,MAAA,CAAO,IAAA,CAAK,iBAAA,CAAkB,IAAA,CAAK,aAAa,CAAA,IAAK,EAAE,CAAA,GACvD,MAAA;AACJ,MAAA,MAAM,WAAW,cAAA,CAAe,QAAA,EAAU,YAAA,EAAc,MAAA,GAAS,eAAe,MAAS,CAAA;AACzF,MAAA,IAAI,CAAC,SAAS,MAAA,EAAQ;AACpB,QAAA,SAAA,GAAY,QAAA,CAAS,MAAA;AACrB,QAAA,IAAI,OAAA,GAAU,KAAK,UAAA,EAAY;AAC/B,QAAA;AAAA,MACF;AAGA,MAAA,IAAI,IAAA,CAAK,QAAA,IAAY,IAAA,CAAK,eAAA,KAAoB,MAAA,EAAQ;AACpD,QAAA,KAAA,CAAM,YAAA,EAAA;AACN,QAAA,MAAM,eAAe,MAAM,aAAA;AAAA,UACzB,IAAA,CAAK,QAAA;AAAA,UACL,IAAA,CAAK,QAAQ,IAAA,CAAK,WAAA;AAAA,UAClB,IAAA,CAAK,SAAA,CAAU,MAAA,CAAO,WAAA,CAAY,KAAK,CAAC,CAAA;AAAA,UACxC,IAAA,CAAK,UAAU,QAAQ;AAAA,SACzB;AACA,QAAA,IAAI,CAAC,aAAa,MAAA,EAAQ;AACxB,UAAA,SAAA,GAAY,YAAA,CAAa,MAAA;AACzB,UAAA,IAAI,OAAA,GAAU,KAAK,UAAA,EAAY;AAC/B,UAAA;AAAA,QACF;AAAA,MACF;AAGA,MAAA,IAAA,CAAK,YAAA,CAAa,IAAA,EAAM,QAAA,EAAU,KAAK,CAAA;AACvC,MAAA,OAAO;AAAA,QACL,SAAS,IAAA,CAAK,OAAA;AAAA,QACd,MAAA,EAAQ,IAAA;AAAA,QACR,MAAA,EAAQ,QAAA;AAAA,QACR,OAAA,EAAS;AAAA,OACX;AAAA,IACF;AAEA,IAAA,OAAO;AAAA,MACL,SAAS,IAAA,CAAK,OAAA;AAAA,MACd,MAAA,EAAQ,MAAA;AAAA,MACR,MAAA,EAAQ,IAAA;AAAA,MACR,SAAS,IAAA,CAAK,UAAA;AAAA,MACd,KAAA,EAAO;AAAA,KACT;AAAA,EACF;AAAA;AAAA,EAIQ,WAAA,CACN,IAAA,EACA,KAAA,EACA,KAAA,EACqB;AACrB,IAAA,KAAA,CAAM,WAAA;AAGN,IAAA,KAAA,MAAW,GAAA,IAAO,MAAA,CAAO,IAAA,CAAK,IAAA,CAAK,OAAO,CAAA,EAAG;AAC3C,MAAA,IAAI,CAAC,KAAA,CAAM,GAAA,CAAI,GAAG,CAAA,EAAG;AACnB,QAAA,KAAA,CAAM,GAAA,CAAI,KAAK,IAAI,CAAA;AAAA,MACrB;AAAA,IACF;AACA,IAAA,OAAO,QAAQ,OAAA,CAAQ;AAAA,MACrB,SAAS,IAAA,CAAK,OAAA;AAAA,MACd,MAAA,EAAQ,IAAA;AAAA,MACR,QAAQ,MAAA,CAAO,WAAA;AAAA,QACb,MAAA,CAAO,IAAA,CAAK,IAAA,CAAK,OAAO,CAAA,CAAE,GAAA,CAAI,CAAA,CAAA,KAAK,CAAC,CAAA,EAAG,KAAA,CAAM,GAAA,CAAI,CAAC,CAAC,CAAC;AAAA,OACtD;AAAA,MACA,OAAA,EAAS;AAAA,KACV,CAAA;AAAA,EACH;AAAA;AAAA,EAIA,MAAc,WAAA,CACZ,IAAA,EACA,KAAA,EACA,KAAA,EACqB;AACrB,IAAA,IAAI,IAAA,CAAK,SAAA,KAAc,UAAA,IAAc,IAAA,CAAK,UAAA,EAAY;AACpD,MAAA,MAAM,UAAA,GAAa,KAAA,CAAM,GAAA,CAAI,IAAA,CAAK,UAAU,CAAA;AAC5C,MAAA,IAAI,CAAC,KAAA,CAAM,OAAA,CAAQ,UAAU,CAAA,EAAG;AAC9B,QAAA,OAAO;AAAA,UACL,SAAS,IAAA,CAAK,OAAA;AAAA,UACd,MAAA,EAAQ,MAAA;AAAA,UACR,MAAA,EAAQ,IAAA;AAAA,UACR,OAAA,EAAS,CAAA;AAAA,UACT,KAAA,EAAO,CAAA,iBAAA,EAAoB,IAAA,CAAK,UAAU,CAAA,iBAAA;AAAA,SAC5C;AAAA,MACF;AAEA,MAAA,MAAM,UAAqB,EAAC;AAC5B,MAAA,KAAA,MAAW,QAAQ,UAAA,EAAY;AAC7B,QAAA,IAAI,KAAK,WAAA,EAAa;AACpB,UAAA,KAAA,CAAM,GAAA,CAAI,IAAA,CAAK,WAAA,EAAa,IAAI,CAAA;AAAA,QAClC;AACA,QAAA,IAAI;AACF,UAAA,KAAA,MAAW,KAAA,IAAS,KAAK,QAAA,EAAU;AACjC,YAAA,KAAA,CAAM,WAAA,EAAA;AACN,YAAA,MAAM,cAAc,MAAM,IAAA,CAAK,WAAA,CAAY,KAAA,EAAO,OAAO,KAAK,CAAA;AAC9D,YAAA,IAAI,WAAA,CAAY,WAAW,IAAA,EAAM;AAC/B,cAAA,OAAO,EAAE,OAAA,EAAS,IAAA,CAAK,OAAA,EAAS,MAAA,EAAQ,WAAA,CAAY,MAAA,EAAQ,MAAA,EAAQ,OAAA,EAAS,OAAA,EAAS,CAAA,EAAG,KAAA,EAAO,YAAY,KAAA,EAAM;AAAA,YACpH;AAAA,UACF;AACA,UAAA,OAAA,CAAQ,KAAK,IAAI,CAAA;AAAA,QACnB,SAAS,CAAA,EAAG;AACV,UAAA,IAAI,aAAa,UAAA,EAAY;AAC3B,YAAA,IAAI,CAAA,CAAE,WAAW,OAAA,EAAS;AAC1B,YAAA,IAAI,CAAA,CAAE,WAAW,UAAA,EAAY;AAAA,UAC/B;AACA,UAAA,MAAM,CAAA;AAAA,QACR;AAAA,MACF;AAEA,MAAA,IAAA,CAAK,YAAA,CAAa,IAAA,EAAM,OAAA,EAAS,KAAK,CAAA;AACtC,MAAA,OAAO,EAAE,SAAS,IAAA,CAAK,OAAA,EAAS,QAAQ,IAAA,EAAM,MAAA,EAAQ,OAAA,EAAS,OAAA,EAAS,CAAA,EAAE;AAAA,IAC5E;AAEA,IAAA,IAAI,IAAA,CAAK,SAAA,KAAc,OAAA,IAAW,IAAA,CAAK,SAAA,EAAW;AAChD,MAAA,MAAM,OAAA,GAAU,KAAK,cAAA,IAAkB,EAAA;AACvC,MAAA,IAAI,SAAA,GAAY,CAAA;AAChB,MAAA,MAAM,UAAqB,EAAC;AAE5B,MAAA,OAAO,YAAY,OAAA,EAAS;AAC1B,QAAA,SAAA,EAAA;AACA,QAAA,IAAI;AACF,UAAA,KAAA,MAAW,KAAA,IAAS,KAAK,QAAA,EAAU;AACjC,YAAA,KAAA,CAAM,WAAA,EAAA;AACN,YAAA,MAAM,cAAc,MAAM,IAAA,CAAK,WAAA,CAAY,KAAA,EAAO,OAAO,KAAK,CAAA;AAC9D,YAAA,IAAI,WAAA,CAAY,WAAW,IAAA,EAAM;AAC/B,cAAA,OAAO,EAAE,OAAA,EAAS,IAAA,CAAK,OAAA,EAAS,MAAA,EAAQ,WAAA,CAAY,MAAA,EAAQ,MAAA,EAAQ,OAAA,EAAS,OAAA,EAAS,CAAA,EAAG,KAAA,EAAO,YAAY,KAAA,EAAM;AAAA,YACpH;AAAA,UACF;AACA,UAAA,OAAA,CAAQ,KAAK,SAAS,CAAA;AAAA,QACxB,SAAS,CAAA,EAAG;AACV,UAAA,IAAI,aAAa,UAAA,EAAY;AAC3B,YAAA,IAAI,CAAA,CAAE,WAAW,OAAA,EAAS;AAC1B,YAAA,IAAI,CAAA,CAAE,WAAW,UAAA,EAAY;AAAA,UAC/B;AACA,UAAA,MAAM,CAAA;AAAA,QACR;AAAA,MACF;AAEA,MAAA,IAAA,CAAK,YAAA,CAAa,IAAA,EAAM,OAAA,EAAS,KAAK,CAAA;AACtC,MAAA,OAAO,EAAE,SAAS,IAAA,CAAK,OAAA,EAAS,QAAQ,IAAA,EAAM,MAAA,EAAQ,OAAA,EAAS,OAAA,EAAS,CAAA,EAAE;AAAA,IAC5E;AAEA,IAAA,OAAO;AAAA,MACL,SAAS,IAAA,CAAK,OAAA;AAAA,MACd,MAAA,EAAQ,MAAA;AAAA,MACR,MAAA,EAAQ,IAAA;AAAA,MACR,OAAA,EAAS,CAAA;AAAA,MACT,KAAA,EAAO;AAAA,KACT;AAAA,EACF;AAAA;AAAA,EAIA,MAAc,aAAA,CACZ,IAAA,EACA,KAAA,EACA,KAAA,EACqB;AAGrB,IAAA,KAAA,MAAW,KAAA,IAAS,KAAK,QAAA,EAAU;AACjC,MAAA,KAAA,CAAM,WAAA,EAAA;AACN,MAAA,MAAM,cAAc,MAAM,IAAA,CAAK,WAAA,CAAY,KAAA,EAAO,OAAO,KAAK,CAAA;AAC9D,MAAA,IAAI,WAAA,CAAY,WAAW,IAAA,EAAM;AAC/B,QAAA,OAAO,EAAE,OAAA,EAAS,IAAA,CAAK,OAAA,EAAS,MAAA,EAAQ,WAAA,CAAY,MAAA,EAAQ,MAAA,EAAQ,IAAA,EAAM,OAAA,EAAS,CAAA,EAAG,KAAA,EAAO,YAAY,KAAA,EAAM;AAAA,MACjH;AAAA,IACF;AACA,IAAA,OAAO,EAAE,SAAS,IAAA,CAAK,OAAA,EAAS,QAAQ,IAAA,EAAM,MAAA,EAAQ,IAAA,EAAM,OAAA,EAAS,CAAA,EAAE;AAAA,EACzE;AAAA;AAAA,EAIQ,WAAA,CACN,MACA,KAAA,EACqB;AACrB,IAAA,IAAI,IAAA,CAAK,gBAAgB,MAAA,EAAQ;AAC/B,MAAA,MAAM,SAAS,MAAA,CAAO,WAAA;AAAA,QACpB,MAAA,CAAO,IAAA,CAAK,IAAA,CAAK,OAAO,CAAA,CAAE,GAAA,CAAI,CAAA,CAAA,KAAK,CAAC,CAAA,EAAG,KAAA,CAAM,GAAA,CAAI,CAAC,CAAC,CAAC;AAAA,OACtD;AACA,MAAA,MAAM,IAAI,UAAA,CAAW,IAAA,CAAK,OAAA,EAAS,MAAM,CAAA;AAAA,IAC3C;AAEA,IAAA,IAAI,IAAA,CAAK,WAAA,KAAgB,UAAA,IAAc,IAAA,CAAK,gBAAgB,OAAA,EAAS;AACnE,MAAA,MAAM,IAAI,UAAA,CAAW,IAAA,CAAK,WAAA,EAAa,KAAK,OAAO,CAAA;AAAA,IACrD;AAEA,IAAA,OAAO,QAAQ,OAAA,CAAQ;AAAA,MACrB,SAAS,IAAA,CAAK,OAAA;AAAA,MACd,MAAA,EAAQ,IAAA;AAAA,MACR,MAAA,EAAQ,IAAA;AAAA,MACR,OAAA,EAAS;AAAA,KACV,CAAA;AAAA,EACH;AAAA;AAAA,EAIQ,WAAA,CACN,IAAA,EACA,KAAA,EACA,MAAA,EACqB;AAGrB,IAAA,KAAA,MAAW,GAAA,IAAO,MAAA,CAAO,IAAA,CAAK,IAAA,CAAK,OAAO,CAAA,EAAG;AAC3C,MAAA,KAAA,CAAM,IAAI,GAAA,EAAK,CAAA,MAAA,EAAS,KAAK,WAAW,CAAA,CAAA,EAAI,GAAG,CAAA,CAAA,CAAG,CAAA;AAAA,IACpD;AACA,IAAA,OAAO,QAAQ,OAAA,CAAQ;AAAA,MACrB,SAAS,IAAA,CAAK,OAAA;AAAA,MACd,MAAA,EAAQ,IAAA;AAAA,MACR,QAAQ,MAAA,CAAO,WAAA;AAAA,QACb,MAAA,CAAO,IAAA,CAAK,IAAA,CAAK,OAAO,CAAA,CAAE,GAAA,CAAI,CAAA,CAAA,KAAK,CAAC,CAAA,EAAG,KAAA,CAAM,GAAA,CAAI,CAAC,CAAC,CAAC;AAAA,OACtD;AAAA,MACA,OAAA,EAAS;AAAA,KACV,CAAA;AAAA,EACH;AAAA;AAAA,EAIA,MAAc,cAAA,CACZ,IAAA,EACA,KAAA,EACA,KAAA,EACqB;AACrB,IAAA,IAAI,IAAA,CAAK,WAAA,KAAgB,QAAA,IAAY,CAAC,KAAK,WAAA,EAAa;AAEtD,MAAA,KAAA,MAAW,KAAA,IAAS,KAAK,QAAA,EAAU;AACjC,QAAA,KAAA,CAAM,WAAA,EAAA;AACN,QAAA,MAAM,cAAc,MAAM,IAAA,CAAK,WAAA,CAAY,KAAA,EAAO,OAAO,KAAK,CAAA;AAC9D,QAAA,IAAI,WAAA,CAAY,WAAW,IAAA,EAAM;AAC/B,UAAA,OAAO,EAAE,OAAA,EAAS,IAAA,CAAK,OAAA,EAAS,MAAA,EAAQ,WAAA,CAAY,MAAA,EAAQ,MAAA,EAAQ,IAAA,EAAM,OAAA,EAAS,CAAA,EAAG,KAAA,EAAO,YAAY,KAAA,EAAM;AAAA,QACjH;AAAA,MACF;AACA,MAAA,OAAO,EAAE,SAAS,IAAA,CAAK,OAAA,EAAS,QAAQ,IAAA,EAAM,MAAA,EAAQ,IAAA,EAAM,OAAA,EAAS,CAAA,EAAE;AAAA,IACzE;AAGA,IAAA,KAAA,MAAW,GAAA,IAAO,MAAA,CAAO,IAAA,CAAK,IAAA,CAAK,OAAO,CAAA,EAAG;AAC3C,MAAA,KAAA,CAAM,IAAI,GAAA,EAAK,CAAA,SAAA,EAAY,KAAK,WAAW,CAAA,CAAA,EAAI,GAAG,CAAA,CAAA,CAAG,CAAA;AAAA,IACvD;AACA,IAAA,OAAO;AAAA,MACL,SAAS,IAAA,CAAK,OAAA;AAAA,MACd,MAAA,EAAQ,IAAA;AAAA,MACR,QAAQ,MAAA,CAAO,WAAA;AAAA,QACb,MAAA,CAAO,IAAA,CAAK,IAAA,CAAK,OAAO,CAAA,CAAE,GAAA,CAAI,CAAA,CAAA,KAAK,CAAC,CAAA,EAAG,KAAA,CAAM,GAAA,CAAI,CAAC,CAAC,CAAC;AAAA,OACtD;AAAA,MACA,OAAA,EAAS;AAAA,KACX;AAAA,EACF;AAAA;AAAA,EAIQ,WAAA,CAAY,MAAgB,KAAA,EAAqC;AACvE,IAAA,MAAM,QAAkB,EAAC;AACzB,IAAA,IAAI,KAAK,IAAA,EAAM,KAAA,CAAM,KAAK,CAAA,MAAA,EAAS,IAAA,CAAK,IAAI,CAAA,CAAE,CAAA;AAC9C,IAAA,IAAI,KAAK,WAAA,EAAa,KAAA,CAAM,KAAK,CAAA,aAAA,EAAgB,IAAA,CAAK,WAAW,CAAA,CAAE,CAAA;AAGnE,IAAA,MAAM,MAAA,GAAS,MAAA,CAAO,IAAA,CAAK,IAAA,CAAK,MAAM,CAAA;AACtC,IAAA,IAAI,MAAA,CAAO,SAAS,CAAA,EAAG;AACrB,MAAA,KAAA,CAAM,KAAK,UAAU,CAAA;AACrB,MAAA,KAAA,MAAW,OAAO,MAAA,EAAQ;AACxB,QAAA,MAAM,GAAA,GAAM,KAAA,CAAM,GAAA,CAAI,GAAG,CAAA;AACzB,QAAA,KAAA,CAAM,IAAA,CAAK,KAAK,GAAG,CAAA,EAAA,EAAK,KAAK,SAAA,CAAU,GAAG,CAAC,CAAA,CAAE,CAAA;AAAA,MAC/C;AAAA,IACF;AAEA,IAAA,IAAI,KAAK,aAAA,EAAe;AACtB,MAAA,KAAA,CAAM,IAAA,CAAK,CAAA,eAAA,EAAkB,IAAA,CAAK,aAAa,CAAA,CAAE,CAAA;AAAA,IACnD;AAEA,IAAA,OAAO,KAAA,CAAM,KAAK,IAAI,CAAA;AAAA,EACxB;AAAA,EAEQ,YAAA,CACN,IAAA,EACA,MAAA,EACA,KAAA,EACM;AACN,IAAA,MAAM,UAAA,GAAa,MAAA,CAAO,IAAA,CAAK,IAAA,CAAK,OAAO,CAAA;AAC3C,IAAA,IAAI,UAAA,CAAW,WAAW,CAAA,EAAG;AAE7B,IAAA,IAAI,OAAO,WAAW,QAAA,IAAY,MAAA,KAAW,QAAQ,CAAC,KAAA,CAAM,OAAA,CAAQ,MAAM,CAAA,EAAG;AAC3E,MAAA,MAAM,GAAA,GAAM,MAAA;AACZ,MAAA,KAAA,MAAW,OAAO,UAAA,EAAY;AAC5B,QAAA,IAAI,OAAO,GAAA,EAAK;AACd,UAAA,KAAA,CAAM,GAAA,CAAI,GAAA,EAAK,GAAA,CAAI,GAAG,CAAC,CAAA;AAAA,QACzB;AAAA,MACF;AAAA,IACF,CAAA,MAAA,IAAW,UAAA,CAAW,MAAA,KAAW,CAAA,EAAG;AAClC,MAAA,KAAA,CAAM,GAAA,CAAI,UAAA,CAAW,CAAC,CAAA,EAAI,MAAM,CAAA;AAAA,IAClC;AAAA,EACF;AACF;AC1ZO,IAAM,SAAN,MAAa;AAAA,EACV,GAAA;AAAA,EACA,QAAA;AAAA,EACA,UAAA;AAAA,EACA,OAAA;AAAA;AAAA,EAGA,aAAA;AAAA,EACA,SAAA;AAAA,EACA,wBAAuD,EAAC;AAAA,EACxD,iBAAA;AAAA,EAER,YAAY,OAAA,EAAwB;AAClC,IAAA,IAAA,CAAK,MAAM,OAAA,CAAQ,GAAA;AACnB,IAAA,IAAA,CAAK,WAAW,OAAA,CAAQ,QAAA;AACxB,IAAA,IAAA,CAAK,UAAA,GAAa,QAAQ,UAAA,IAAc,CAAA;AACxC,IAAA,IAAA,CAAK,UAAU,OAAA,CAAQ,OAAA;AAAA,EACzB;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA,EAQA,MAAM,OAAA,CACJ,QAAA,EACA,KAAA,EACA,OAAA,EACoB;AAEpB,IAAA,MAAM,MAAA,GAASC,kBAAA,CAAc,QAAA,EAAU,IAAA,CAAK,OAAO,CAAA;AACnD,IAAA,MAAM,QAAQ,MAAA,CAAO,KAAA;AACrB,IAAA,MAAM,WAAW,MAAA,CAAO,QAAA;AAGxB,IAAA,MAAM,IAAA,GAAO,SAAS,IAAA,IAAQ,KAAA;AAC9B,IAAA,IAAI,mBAAkD,EAAC;AAEvD,IAAA,IAAI,CAAC,SAAS,cAAA,EAAgB;AAC5B,MAAA,gBAAA,GAAmBC,iBAAA,CAAa,KAAA,EAAO,IAAA,EAAM,QAAA,EAAU,KAAK,OAAO,CAAA;AAAA,IACrE;AAGA,IAAA,IAAA,CAAK,SAAA,GAAY,KAAA;AACjB,IAAA,IAAA,CAAK,qBAAA,GAAwB,gBAAA;AAI7B,IAAA,IAAI,KAAA,CAAM,WAAW,CAAA,EAAG;AACtB,MAAA,IAAA,CAAK,aAAA,GAAgB,MAAA;AACrB,MAAA,OAAO;AAAA,QACL,MAAA,EAAQ,MAAA;AAAA,QACR,MAAA,EAAQ,IAAA;AAAA,QACR,OAAO,EAAC;AAAA,QACR,KAAA,EAAO,EAAE,WAAA,EAAa,CAAA,EAAG,eAAA,EAAiB,CAAA,EAAG,YAAA,EAAc,CAAA,EAAG,aAAA,EAAe,CAAA,EAAG,SAAA,EAAW,CAAA,EAAG,cAAc,CAAA,EAAE;AAAA,QAC9G,IAAA,EAAM,KAAA;AAAA,QACN;AAAA,OACF;AAAA,IACF;AAGA,IAAA,MAAM,YAAA,GAAoC;AAAA,MACxC,KAAK,IAAA,CAAK,GAAA;AAAA,MACV,UAAU,IAAA,CAAK,QAAA;AAAA,MACf,YAAY,IAAA,CAAK;AAAA,KACnB;AACA,IAAA,MAAM,QAAA,GAAW,IAAI,YAAA,CAAa,YAAY,CAAA;AAC9C,IAAA,IAAA,CAAK,aAAA,GAAgB,QAAA;AAErB,IAAA,MAAM,MAAA,GAAS,MAAM,QAAA,CAAS,OAAA,CAAQ,OAAO,KAAK,CAAA;AAGlD,IAAA,IAAA,CAAK,aAAA,GAAgB,MAAA;AACrB,IAAA,IAAA,CAAK,iBAAA,GAAoB,MAAA;AAEzB,IAAA,OAAO;AAAA,MACL,QAAQ,MAAA,CAAO,MAAA;AAAA,MACf,QAAQ,MAAA,CAAO,MAAA;AAAA,MACf,OAAO,MAAA,CAAO,KAAA;AAAA,MACd,OAAO,MAAA,CAAO,KAAA;AAAA,MACd,IAAA,EAAM,KAAA;AAAA,MACN;AAAA,KACF;AAAA,EACF;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA;AAAA,EAQA,MAAM,OAAO,QAAA,EAAsC;AACjD,IAAA,IAAI,CAAC,IAAA,CAAK,aAAA,IAAiB,CAAC,KAAK,SAAA,EAAW;AAC1C,MAAA,MAAM,IAAI,MAAM,gCAAgC,CAAA;AAAA,IAClD;AAIA,IAAA,MAAM,KAAA,GAAiC,EAAE,SAAA,EAAW,QAAA,EAAS;AAC7D,IAAA,MAAM,SAAS,MAAM,IAAA,CAAK,cAAc,OAAA,CAAQ,IAAA,CAAK,WAAW,KAAK,CAAA;AAGrE,IAAA,IAAA,CAAK,aAAA,GAAgB,MAAA;AACrB,IAAA,IAAA,CAAK,iBAAA,GAAoB,MAAA;AAEzB,IAAA,OAAO;AAAA,MACL,QAAQ,MAAA,CAAO,MAAA;AAAA,MACf,QAAQ,MAAA,CAAO,MAAA;AAAA,MACf,OAAO,MAAA,CAAO,KAAA;AAAA,MACd,OAAO,MAAA,CAAO,KAAA;AAAA,MACd,MAAM,IAAA,CAAK,SAAA;AAAA,MACX,kBAAkB,IAAA,CAAK;AAAA,KACzB;AAAA,EACF;AAAA;AAAA,EAGA,MAAA,GAAe;AACb,IAAA,IAAA,CAAK,aAAA,GAAgB,MAAA;AACrB,IAAA,IAAA,CAAK,SAAA,GAAY,MAAA;AACjB,IAAA,IAAA,CAAK,wBAAwB,EAAC;AAC9B,IAAA,IAAA,CAAK,iBAAA,GAAoB,MAAA;AAAA,EAC3B;AAAA;AAAA,EAGA,IAAI,UAAA,GAAsB;AACxB,IAAA,OAAO,IAAA,CAAK,aAAA,KAAkB,MAAA,IAAa,IAAA,CAAK,SAAA,KAAc,MAAA;AAAA,EAChE;AACF;;;AChLO,SAAS,UAAU,MAAA,EAA4B;AACpD,EAAA,OAAO,MAAA,KAAW,IAAA;AACpB;AAGO,SAAS,WAAW,MAAA,EAA4B;AACrD,EAAA,OAAO,MAAA,KAAW,QAAQ,MAAA,KAAW,MAAA;AACvC","file":"index.cjs","sourcesContent":["import type { HopStatus } from \"./llm-protocol\"\n\n/** Result of executing a single step */\nexport interface StepResult {\n  step_id: string\n  status: HopStatus\n  output: unknown\n  retries: number\n  error?: string\n}\n\n/** Result of executing a full spec */\nexport interface ExecutionResult {\n  status: HopStatus\n  output: unknown\n  steps: StepResult[]\n  stats: ExecutionStats\n}\n\n/** Execution statistics */\nexport interface ExecutionStats {\n  total_steps: number\n  completed_steps: number\n  failed_steps: number\n  total_retries: number\n  llm_calls: number\n  verify_calls: number\n}\n\n/** Create empty execution stats */\nexport function createEmptyStats(): ExecutionStats {\n  return {\n    total_steps: 0,\n    completed_steps: 0,\n    failed_steps: 0,\n    total_retries: 0,\n    llm_calls: 0,\n    verify_calls: 0,\n  }\n}\n","/**\n * validators.ts — Verification functions\n * Port of hop_engine/validators/result_validators.py\n *\n * Three verification strategies:\n * - formatVerifier: local JSON structure check (no LLM)\n * - reverseVerify: LLM-based reverse verification\n * - forwardCrossVerify: 3-way concurrent LLM verification\n */\n\nimport type { HopVerifier, VerifyResult } from \"./llm-protocol\"\nimport { detectSerializationResidue } from \"@hoplogic/spec\"\n\n// ─── Format verifier (local, no LLM) ───────────────────────\n\n/**\n * Verify that a result has the expected structure and no serialization residue.\n * Returns immediately without LLM calls.\n */\nexport function formatVerifier(\n  result: unknown,\n  expectedKeys?: string[],\n): VerifyResult {\n  // Null/undefined check\n  if (result === null || result === undefined) {\n    return { passed: false, reason: \"Result is null or undefined\" }\n  }\n\n  // If expected keys provided, check they exist\n  if (expectedKeys && expectedKeys.length > 0) {\n    if (typeof result !== \"object\" || Array.isArray(result)) {\n      return { passed: false, reason: `Expected object with keys [${expectedKeys.join(\", \")}], got ${Array.isArray(result) ? \"array\" : typeof result}` }\n    }\n\n    const obj = result as Record<string, unknown>\n    const missing = expectedKeys.filter(k => !(k in obj))\n    if (missing.length > 0) {\n      return { passed: false, reason: `Missing expected keys: ${missing.join(\", \")}` }\n    }\n  }\n\n  // Check for serialization residue\n  if (typeof result === \"object\" && result !== null) {\n    const residue = detectSerializationResidue(result)\n    if (residue.length > 0) {\n      return { passed: false, reason: `Serialization residue detected at: ${residue.join(\", \")}` }\n    }\n  }\n\n  return { passed: true, reason: \"Format check passed\" }\n}\n\n// ─── Reverse verify (LLM-based) ────────────────────────────\n\n/**\n * Reverse verification: ask a verifier LLM to independently check\n * whether the result correctly answers the task given the context.\n */\nexport async function reverseVerify(\n  verifier: HopVerifier,\n  task: string,\n  context: string,\n  result: string,\n): Promise<VerifyResult> {\n  return verifier.verify(task, context, result)\n}\n\n// ─── Forward cross verify (3-way concurrent) ────────────────\n\n/**\n * Forward cross verification: run 3 concurrent verifications\n * and return passed only if majority (2+) agree.\n */\nexport async function forwardCrossVerify(\n  verifier: HopVerifier,\n  task: string,\n  context: string,\n  result: string,\n): Promise<VerifyResult> {\n  const results = await Promise.allSettled([\n    verifier.verify(task, context, result),\n    verifier.verify(task, context, result),\n    verifier.verify(task, context, result),\n  ])\n\n  let passCount = 0\n  let failCount = 0\n  const reasons: string[] = []\n\n  for (const r of results) {\n    if (r.status === \"fulfilled\") {\n      if (r.value.passed) passCount++\n      else failCount++\n      reasons.push(r.value.reason)\n    } else {\n      failCount++\n      reasons.push(`Verification error: ${r.reason}`)\n    }\n  }\n\n  const passed = passCount >= 2\n  return {\n    passed,\n    reason: passed\n      ? `Cross-verification passed (${passCount}/3 agree)`\n      : `Cross-verification failed (${failCount}/3 disagree): ${reasons.filter((_r, i) => {\n        const res = results[i]\n        return res?.status === \"fulfilled\" && !res.value.passed || res?.status === \"rejected\"\n      }).join(\"; \")}`,\n  }\n}\n","/**\n * response-format.ts — Zod schema dynamic builder\n * Port of create_response_format_model from hop_engine/utils/utils.py\n *\n * Builds Zod schemas from HopSpec return_format strings:\n * - Simple types: str, int, float, bool, list, dict\n * - Dict format: {\"key\": type, \"key2\": type}\n * - Tuple syntax: {\"key\": (type, \"description\")}  (description stored in metadata)\n * - List types: list[str], list[int], list[dict]\n */\n\nimport { z } from \"zod\"\n\n// ─── Type map ───────────────────────────────────────────────\n\n/** Map from type string to Zod schema */\nconst TYPE_MAP: Record<string, z.ZodType> = {\n  \"str\": z.string(),\n  \"string\": z.string(),\n  \"int\": z.number().int(),\n  \"integer\": z.number().int(),\n  \"float\": z.number(),\n  \"number\": z.number(),\n  \"bool\": z.boolean(),\n  \"boolean\": z.boolean(),\n  \"list\": z.array(z.unknown()),\n  \"dict\": z.record(z.unknown()),\n  \"list[str]\": z.array(z.string()),\n  \"List[str]\": z.array(z.string()),\n  \"list[int]\": z.array(z.number().int()),\n  \"List[int]\": z.array(z.number().int()),\n  \"list[dict]\": z.array(z.record(z.unknown())),\n  \"List[dict]\": z.array(z.record(z.unknown())),\n  \"list[float]\": z.array(z.number()),\n  \"List[float]\": z.array(z.number()),\n}\n\n/** Resolve a type string to a Zod schema */\nfunction resolveType(typeStr: string): z.ZodType {\n  return TYPE_MAP[typeStr.trim()] ?? z.string()\n}\n\n// ─── Tuple syntax regex ─────────────────────────────────────\n\n/** Match (Type, \"description\") */\nconst TUPLE_RE = /^\\(\\s*(.+?)\\s*,\\s*\"((?:[^\"\\\\]|\\\\.)*)\"\\s*\\)$/\n\n// ─── Top-level comma splitter ───────────────────────────────\n\n/**\n * Split on top-level commas, respecting brackets and quotes.\n * Handles: {}, [], (), \"\", ''\n */\nfunction splitTopLevel(s: string): string[] {\n  const parts: string[] = []\n  let current = \"\"\n  let depth = 0\n  let inString: string | null = null\n\n  for (let i = 0; i < s.length; i++) {\n    const ch = s[i]!\n    if (inString) {\n      current += ch\n      if (ch === inString && s[i - 1] !== \"\\\\\") {\n        inString = null\n      }\n      continue\n    }\n    if (ch === '\"' || ch === \"'\") {\n      inString = ch\n      current += ch\n      continue\n    }\n    if (ch === \"{\" || ch === \"[\" || ch === \"(\") {\n      depth++\n      current += ch\n      continue\n    }\n    if (ch === \"}\" || ch === \"]\" || ch === \")\") {\n      depth--\n      current += ch\n      continue\n    }\n    if (ch === \",\" && depth === 0) {\n      parts.push(current.trim())\n      current = \"\"\n      continue\n    }\n    current += ch\n  }\n  if (current.trim()) {\n    parts.push(current.trim())\n  }\n  return parts\n}\n\n// ─── Format parser ──────────────────────────────────────────\n\ninterface FieldDef {\n  type: z.ZodType\n  description?: string\n}\n\n/**\n * Parse a return format string into a map of field → Zod type.\n * Supports:\n * - Dict format: {\"key\": type, \"key2\": (type, \"desc\")}\n * - Non-dict: treated as single \"result\" field\n * - Empty: returns undefined\n */\nexport function parseReturnFormat(formatStr: string): Record<string, FieldDef> | undefined {\n  const trimmed = formatStr.trim()\n  if (!trimmed) return undefined\n\n  // Dict format\n  if (trimmed.startsWith(\"{\") && trimmed.endsWith(\"}\")) {\n    const inner = trimmed.slice(1, -1).trim()\n    if (!inner) return {}\n\n    const parts = splitTopLevel(inner)\n    const result: Record<string, FieldDef> = {}\n\n    for (const part of parts) {\n      // Find the colon separator (key: value)\n      const colonIdx = part.indexOf(\":\")\n      if (colonIdx < 0) continue\n\n      const key = part.slice(0, colonIdx).trim().replace(/^[\"']|[\"']$/g, \"\")\n      if (!key) continue\n\n      const valStr = part.slice(colonIdx + 1).trim()\n\n      // Check tuple syntax: (Type, \"description\")\n      const tupleMatch = TUPLE_RE.exec(valStr)\n      if (tupleMatch) {\n        const innerType = resolveType(tupleMatch[1]!)\n        const desc = tupleMatch[2]!.replace(/\\\\\"/g, '\"')\n        result[key] = { type: innerType, description: desc }\n      } else {\n        // Simple type string\n        result[key] = { type: resolveType(valStr) }\n      }\n    }\n    return result\n  }\n\n  // Non-dict: single result field\n  return { result: { type: z.string(), description: trimmed } }\n}\n\n// ─── Zod schema builder ─────────────────────────────────────\n\n/**\n * Create a Zod response schema from a format string.\n * Wraps the user's fields in the standard HOP meta-fields:\n * - explanation: string\n * - final_answer: user's format\n * - confidence: \"OK\" | \"LACK_OF_INFO\" | \"UNCERTAIN\"\n */\nexport function createResponseFormat(formatStr: string): z.ZodType {\n  const fields = parseReturnFormat(formatStr)\n\n  let answerSchema: z.ZodType\n  if (!fields || Object.keys(fields).length === 0) {\n    answerSchema = z.string()\n  } else if (Object.keys(fields).length === 1 && \"result\" in fields) {\n    answerSchema = fields[\"result\"]!.type\n  } else {\n    // Build object schema from fields\n    const shape: Record<string, z.ZodType> = {}\n    for (const [key, def] of Object.entries(fields)) {\n      shape[key] = def.type\n    }\n    answerSchema = z.object(shape)\n  }\n\n  return z.object({\n    explanation: z.string(),\n    final_answer: answerSchema,\n    confidence: z.enum([\"OK\", \"LACK_OF_INFO\", \"UNCERTAIN\"]),\n    missing_info: z.record(z.object({\n      field: z.string(),\n      description: z.string(),\n      importance: z.string(),\n    })).nullable().optional(),\n    suggestions: z.array(z.string()).nullable().optional(),\n  })\n}\n\n/**\n * Create a Zod schema for just the data portion (without meta-fields).\n * Useful for validating step output directly.\n */\nexport function createDataSchema(formatStr: string): z.ZodType {\n  const fields = parseReturnFormat(formatStr)\n\n  if (!fields || Object.keys(fields).length === 0) {\n    return z.string()\n  }\n  if (Object.keys(fields).length === 1 && \"result\" in fields) {\n    return fields[\"result\"]!.type\n  }\n\n  const shape: Record<string, z.ZodType> = {}\n  for (const [key, def] of Object.entries(fields)) {\n    shape[key] = def.type\n  }\n  return z.object(shape)\n}\n","/**\n * spec-executor.ts — Step orchestrator\n * Port of hop_engine/jit/spec_executor.py\n *\n * Executes a StepInfo tree by dispatching each step to the appropriate handler:\n * - LLM steps: query LLM, verify, retry\n * - code steps: evaluate expressions (sandboxed)\n * - loop steps: iterate over collection or while condition\n * - branch steps: conditional execution\n * - flow steps: exit, continue, break\n * - call steps: invoke external tools\n * - subtask steps: delegate to sub-executor\n */\n\nimport type { StepInfo } from \"@hoplogic/spec\"\nimport type { HopLLM, HopVerifier, LLMOptions, VerifyResult, HopStatus } from \"./llm-protocol\"\nimport type { StepResult, ExecutionResult, ExecutionStats } from \"./execution-types\"\nimport { createEmptyStats } from \"./execution-types\"\nimport { formatVerifier, reverseVerify } from \"./validators\"\nimport { parseReturnFormat } from \"./response-format\"\nimport { parseResult, repairValue } from \"@hoplogic/spec\"\n\n// ─── Flow control signals ───────────────────────────────────\n\n/** Signal for flow:exit */\nclass ExitSignal {\n  constructor(\n    public readonly exitId: string | undefined,\n    public readonly output: unknown,\n  ) {}\n}\n\n/** Signal for flow:continue/break */\nclass LoopSignal {\n  constructor(\n    public readonly action: \"continue\" | \"break\",\n    public readonly targetId?: string,\n  ) {}\n}\n\n// ─── Executor ───────────────────────────────────────────────\n\nexport interface SpecExecutorOptions {\n  llm: HopLLM\n  verifier?: HopVerifier\n  maxRetries?: number\n}\n\nexport class SpecExecutor {\n  private llm: HopLLM\n  private verifier: HopVerifier | undefined\n  private maxRetries: number\n\n  constructor(options: SpecExecutorOptions) {\n    this.llm = options.llm\n    this.verifier = options.verifier\n    this.maxRetries = options.maxRetries ?? 3\n  }\n\n  /** Execute a StepInfo tree with given input variables */\n  async execute(\n    steps: StepInfo[],\n    input: Record<string, unknown>,\n  ): Promise<ExecutionResult> {\n    const stats = createEmptyStats()\n    const scope = new Map<string, unknown>(Object.entries(input))\n    const stepResults: StepResult[] = []\n\n    let finalStatus: HopStatus = \"ok\"\n    let finalOutput: unknown = {}\n\n    try {\n      for (const step of steps) {\n        stats.total_steps++\n        const result = await this.executeStep(step, scope, stats)\n        stepResults.push(result)\n\n        if (result.status !== \"ok\") {\n          finalStatus = result.status\n          finalOutput = result.output\n          break\n        }\n      }\n    } catch (e) {\n      if (e instanceof ExitSignal) {\n        finalOutput = e.output\n      } else {\n        throw e\n      }\n    }\n\n    // Collect final output from scope\n    if (finalOutput === undefined || (typeof finalOutput === \"object\" && finalOutput !== null && Object.keys(finalOutput as Record<string, unknown>).length === 0)) {\n      finalOutput = Object.fromEntries(scope)\n    }\n\n    return {\n      status: finalStatus,\n      output: finalOutput,\n      steps: stepResults,\n      stats,\n    }\n  }\n\n  /** Execute a single step, dispatching by type */\n  private async executeStep(\n    step: StepInfo,\n    scope: Map<string, unknown>,\n    stats: ExecutionStats,\n  ): Promise<StepResult> {\n    switch (step.step_type) {\n      case \"LLM\":\n        return this.executeLLM(step, scope, stats)\n      case \"code\":\n        return this.executeCode(step, scope, stats)\n      case \"loop\":\n        return this.executeLoop(step, scope, stats)\n      case \"branch\":\n        return this.executeBranch(step, scope, stats)\n      case \"flow\":\n        return this.executeFlow(step, scope)\n      case \"call\":\n        return this.executeCall(step, scope, stats)\n      case \"subtask\":\n        return this.executeSubtask(step, scope, stats)\n      default:\n        return {\n          step_id: step.step_id,\n          status: \"fail\",\n          output: null,\n          retries: 0,\n          error: `Unknown step type: ${step.step_type}`,\n        }\n    }\n  }\n\n  // ─── LLM step ───────────────────────────────────────────\n\n  private async executeLLM(\n    step: StepInfo,\n    scope: Map<string, unknown>,\n    stats: ExecutionStats,\n  ): Promise<StepResult> {\n    const prompt = this.buildPrompt(step, scope)\n    const options: LLMOptions = {}\n\n    // Build response format if specified\n    if (step.return_format) {\n      const fields = parseReturnFormat(step.return_format)\n      if (fields) {\n        options.systemPrompt = `Respond in JSON format with these fields: ${Object.keys(fields).join(\", \")}`\n      }\n    }\n\n    let lastError = \"\"\n    for (let attempt = 0; attempt <= this.maxRetries; attempt++) {\n      stats.llm_calls++\n      const llmResult = await this.llm.query(prompt, options)\n\n      if (!llmResult.success) {\n        lastError = llmResult.content\n        if (attempt < this.maxRetries) continue\n        break\n      }\n\n      // Parse LLM output\n      const parsed = parseResult(llmResult.content)\n      const repaired = repairValue(parsed) as Record<string, unknown>\n\n      // Format verification (always, local check)\n      const expectedKeys = step.return_format\n        ? Object.keys(parseReturnFormat(step.return_format) ?? {})\n        : undefined\n      const fmtCheck = formatVerifier(repaired, expectedKeys?.length ? expectedKeys : undefined)\n      if (!fmtCheck.passed) {\n        lastError = fmtCheck.reason\n        if (attempt < this.maxRetries) continue\n        break\n      }\n\n      // Reverse verification (if verifier provided and strategy demands it)\n      if (this.verifier && step.verify_strategy !== \"none\") {\n        stats.verify_calls++\n        const verifyResult = await reverseVerify(\n          this.verifier,\n          step.task || step.description,\n          JSON.stringify(Object.fromEntries(scope)),\n          JSON.stringify(repaired),\n        )\n        if (!verifyResult.passed) {\n          lastError = verifyResult.reason\n          if (attempt < this.maxRetries) continue\n          break\n        }\n      }\n\n      // Success — store outputs in scope\n      this.storeOutputs(step, repaired, scope)\n      return {\n        step_id: step.step_id,\n        status: \"ok\",\n        output: repaired,\n        retries: attempt,\n      }\n    }\n\n    return {\n      step_id: step.step_id,\n      status: \"fail\",\n      output: null,\n      retries: this.maxRetries,\n      error: lastError,\n    }\n  }\n\n  // ─── Code step ──────────────────────────────────────────\n\n  private executeCode(\n    step: StepInfo,\n    scope: Map<string, unknown>,\n    stats: ExecutionStats,\n  ): Promise<StepResult> {\n    stats.total_steps // count already incremented\n    // Code steps in TS simply pass through — the description is documentation\n    // Output variables are set to empty defaults\n    for (const key of Object.keys(step.outputs)) {\n      if (!scope.has(key)) {\n        scope.set(key, null)\n      }\n    }\n    return Promise.resolve({\n      step_id: step.step_id,\n      status: \"ok\",\n      output: Object.fromEntries(\n        Object.keys(step.outputs).map(k => [k, scope.get(k)])\n      ),\n      retries: 0,\n    })\n  }\n\n  // ─── Loop step ──────────────────────────────────────────\n\n  private async executeLoop(\n    step: StepInfo,\n    scope: Map<string, unknown>,\n    stats: ExecutionStats,\n  ): Promise<StepResult> {\n    if (step.loop_mode === \"for-each\" && step.collection) {\n      const collection = scope.get(step.collection)\n      if (!Array.isArray(collection)) {\n        return {\n          step_id: step.step_id,\n          status: \"fail\",\n          output: null,\n          retries: 0,\n          error: `Loop collection \"${step.collection}\" is not an array`,\n        }\n      }\n\n      const results: unknown[] = []\n      for (const item of collection) {\n        if (step.element_var) {\n          scope.set(step.element_var, item)\n        }\n        try {\n          for (const child of step.children) {\n            stats.total_steps++\n            const childResult = await this.executeStep(child, scope, stats)\n            if (childResult.status !== \"ok\") {\n              return { step_id: step.step_id, status: childResult.status, output: results, retries: 0, error: childResult.error }\n            }\n          }\n          results.push(item)\n        } catch (e) {\n          if (e instanceof LoopSignal) {\n            if (e.action === \"break\") break\n            if (e.action === \"continue\") continue\n          }\n          throw e\n        }\n      }\n\n      this.storeOutputs(step, results, scope)\n      return { step_id: step.step_id, status: \"ok\", output: results, retries: 0 }\n    }\n\n    if (step.loop_mode === \"while\" && step.condition) {\n      const maxIter = step.max_iterations ?? 10\n      let iteration = 0\n      const results: unknown[] = []\n\n      while (iteration < maxIter) {\n        iteration++\n        try {\n          for (const child of step.children) {\n            stats.total_steps++\n            const childResult = await this.executeStep(child, scope, stats)\n            if (childResult.status !== \"ok\") {\n              return { step_id: step.step_id, status: childResult.status, output: results, retries: 0, error: childResult.error }\n            }\n          }\n          results.push(iteration)\n        } catch (e) {\n          if (e instanceof LoopSignal) {\n            if (e.action === \"break\") break\n            if (e.action === \"continue\") continue\n          }\n          throw e\n        }\n      }\n\n      this.storeOutputs(step, results, scope)\n      return { step_id: step.step_id, status: \"ok\", output: results, retries: 0 }\n    }\n\n    return {\n      step_id: step.step_id,\n      status: \"fail\",\n      output: null,\n      retries: 0,\n      error: \"Loop step missing collection or condition\",\n    }\n  }\n\n  // ─── Branch step ────────────────────────────────────────\n\n  private async executeBranch(\n    step: StepInfo,\n    scope: Map<string, unknown>,\n    stats: ExecutionStats,\n  ): Promise<StepResult> {\n    // Execute children (branch condition is evaluated externally in real engine;\n    // here we always execute children as the condition was already checked)\n    for (const child of step.children) {\n      stats.total_steps++\n      const childResult = await this.executeStep(child, scope, stats)\n      if (childResult.status !== \"ok\") {\n        return { step_id: step.step_id, status: childResult.status, output: null, retries: 0, error: childResult.error }\n      }\n    }\n    return { step_id: step.step_id, status: \"ok\", output: null, retries: 0 }\n  }\n\n  // ─── Flow step ──────────────────────────────────────────\n\n  private executeFlow(\n    step: StepInfo,\n    scope: Map<string, unknown>,\n  ): Promise<StepResult> {\n    if (step.flow_action === \"exit\") {\n      const output = Object.fromEntries(\n        Object.keys(step.outputs).map(k => [k, scope.get(k)])\n      )\n      throw new ExitSignal(step.exit_id, output)\n    }\n\n    if (step.flow_action === \"continue\" || step.flow_action === \"break\") {\n      throw new LoopSignal(step.flow_action, step.exit_id)\n    }\n\n    return Promise.resolve({\n      step_id: step.step_id,\n      status: \"ok\",\n      output: null,\n      retries: 0,\n    })\n  }\n\n  // ─── Call step ──────────────────────────────────────────\n\n  private executeCall(\n    step: StepInfo,\n    scope: Map<string, unknown>,\n    _stats: ExecutionStats,\n  ): Promise<StepResult> {\n    // Call steps require external tool integration — stub for now\n    // Output variables are set to placeholders\n    for (const key of Object.keys(step.outputs)) {\n      scope.set(key, `[call:${step.call_target}:${key}]`)\n    }\n    return Promise.resolve({\n      step_id: step.step_id,\n      status: \"ok\",\n      output: Object.fromEntries(\n        Object.keys(step.outputs).map(k => [k, scope.get(k)])\n      ),\n      retries: 0,\n    })\n  }\n\n  // ─── Subtask step ───────────────────────────────────────\n\n  private async executeSubtask(\n    step: StepInfo,\n    scope: Map<string, unknown>,\n    stats: ExecutionStats,\n  ): Promise<StepResult> {\n    if (step.expand_mode === \"static\" || !step.expand_mode) {\n      // Execute inline children\n      for (const child of step.children) {\n        stats.total_steps++\n        const childResult = await this.executeStep(child, scope, stats)\n        if (childResult.status !== \"ok\") {\n          return { step_id: step.step_id, status: childResult.status, output: null, retries: 0, error: childResult.error }\n        }\n      }\n      return { step_id: step.step_id, status: \"ok\", output: null, retries: 0 }\n    }\n\n    // Dynamic/think subtasks would need JIT generation — stub for now\n    for (const key of Object.keys(step.outputs)) {\n      scope.set(key, `[subtask:${step.expand_mode}:${key}]`)\n    }\n    return {\n      step_id: step.step_id,\n      status: \"ok\",\n      output: Object.fromEntries(\n        Object.keys(step.outputs).map(k => [k, scope.get(k)])\n      ),\n      retries: 0,\n    }\n  }\n\n  // ─── Helpers ────────────────────────────────────────────\n\n  private buildPrompt(step: StepInfo, scope: Map<string, unknown>): string {\n    const parts: string[] = []\n    if (step.task) parts.push(`Task: ${step.task}`)\n    if (step.description) parts.push(`Description: ${step.description}`)\n\n    // Include inputs from scope\n    const inputs = Object.keys(step.inputs)\n    if (inputs.length > 0) {\n      parts.push(\"Context:\")\n      for (const key of inputs) {\n        const val = scope.get(key)\n        parts.push(`  ${key}: ${JSON.stringify(val)}`)\n      }\n    }\n\n    if (step.return_format) {\n      parts.push(`Output format: ${step.return_format}`)\n    }\n\n    return parts.join(\"\\n\")\n  }\n\n  private storeOutputs(\n    step: StepInfo,\n    result: unknown,\n    scope: Map<string, unknown>,\n  ): void {\n    const outputKeys = Object.keys(step.outputs)\n    if (outputKeys.length === 0) return\n\n    if (typeof result === \"object\" && result !== null && !Array.isArray(result)) {\n      const obj = result as Record<string, unknown>\n      for (const key of outputKeys) {\n        if (key in obj) {\n          scope.set(key, obj[key])\n        }\n      }\n    } else if (outputKeys.length === 1) {\n      scope.set(outputKeys[0]!, result)\n    }\n  }\n}\n","/**\n * hop-jit.ts — Top-level JIT orchestrator\n * Port of hop_engine/jit/hop_jit.py\n *\n * Ties together parser, validator, and executor into a single entry point:\n * - runSpec(markdown, input) — parse → validate → execute\n * - resume(feedback) — inject feedback and continue from NEED_INPUT checkpoint\n * - cancel() — discard pending execution state\n */\n\nimport { parseFullSpec, validateSpec } from \"@hoplogic/spec\"\nimport type { StepInfo, SpecGrammar } from \"@hoplogic/spec\"\nimport type { HopLLM, HopVerifier, HopStatus } from \"./llm-protocol\"\nimport type { ExecutionResult, ExecutionStats } from \"./execution-types\"\nimport { SpecExecutor, type SpecExecutorOptions } from \"./spec-executor\"\n\n// ─── Types ──────────────────────────────────────────────────\n\nexport type SpecMode = \"aot\" | \"jit\"\n\nexport interface HopJITOptions {\n  llm: HopLLM\n  verifier?: HopVerifier\n  maxRetries?: number\n  grammar?: SpecGrammar\n}\n\nexport interface RunSpecOptions {\n  /** Skip validation (debug only) */\n  skipValidation?: boolean\n  /** Validation mode: \"aot\" for human-audited, \"jit\" for LLM-generated */\n  mode?: SpecMode\n}\n\nexport interface JITResult {\n  status: HopStatus\n  output: unknown\n  steps: ExecutionResult[\"steps\"]\n  stats: ExecutionStats\n  /** Parsed spec (StepInfo tree) */\n  spec: StepInfo[]\n  /** Validation errors (empty if skipValidation or all passed) */\n  validationErrors: Array<{ check: string; step_id: string; message: string; level: string }>\n  /** Set when executor signals NEED_INPUT — call resume(feedback) to continue */\n  needInput?: NeedInputInfo\n}\n\nexport interface NeedInputInfo {\n  diagnosis: string\n  suggestions: string[]\n  step_id: string\n  round: number\n}\n\n// ─── HopJIT ─────────────────────────────────────────────────\n\nexport class HopJIT {\n  private llm: HopLLM\n  private verifier: HopVerifier | undefined\n  private maxRetries: number\n  private grammar: SpecGrammar | undefined\n\n  // Resume state\n  private _liveExecutor: SpecExecutor | undefined\n  private _liveSpec: StepInfo[] | undefined\n  private _liveValidationErrors: JITResult[\"validationErrors\"] = []\n  private _pendingNeedInput: NeedInputInfo | undefined\n\n  constructor(options: HopJITOptions) {\n    this.llm = options.llm\n    this.verifier = options.verifier\n    this.maxRetries = options.maxRetries ?? 3\n    this.grammar = options.grammar\n  }\n\n  /**\n   * Parse and execute a HopSpec markdown document.\n   *\n   * Flow: parse → validate → execute\n   * Returns a JITResult with execution output, stats, and validation info.\n   */\n  async runSpec(\n    markdown: string,\n    input: Record<string, unknown>,\n    options?: RunSpecOptions,\n  ): Promise<JITResult> {\n    // Phase 1: Parse (full spec to get both steps and sections)\n    const parsed = parseFullSpec(markdown, this.grammar)\n    const steps = parsed.steps\n    const sections = parsed.sections\n\n    // Phase 2: Validate (unless skipped)\n    const mode = options?.mode ?? \"jit\"\n    let validationErrors: JITResult[\"validationErrors\"] = []\n\n    if (!options?.skipValidation) {\n      validationErrors = validateSpec(steps, mode, sections, this.grammar)\n    }\n\n    // Store for potential resume\n    this._liveSpec = steps\n    this._liveValidationErrors = validationErrors\n\n    // Check for truly fatal errors: empty step list or all steps unrecognized\n    // Other validation errors (missing sections, dataflow) are informational in JIT mode\n    if (steps.length === 0) {\n      this._liveExecutor = undefined\n      return {\n        status: \"fail\",\n        output: null,\n        steps: [],\n        stats: { total_steps: 0, completed_steps: 0, failed_steps: 0, total_retries: 0, llm_calls: 0, verify_calls: 0 },\n        spec: steps,\n        validationErrors,\n      }\n    }\n\n    // Phase 3: Execute\n    const executorOpts: SpecExecutorOptions = {\n      llm: this.llm,\n      verifier: this.verifier,\n      maxRetries: this.maxRetries,\n    }\n    const executor = new SpecExecutor(executorOpts)\n    this._liveExecutor = executor\n\n    const result = await executor.execute(steps, input)\n\n    // Clear resume state on completion\n    this._liveExecutor = undefined\n    this._pendingNeedInput = undefined\n\n    return {\n      status: result.status,\n      output: result.output,\n      steps: result.steps,\n      stats: result.stats,\n      spec: steps,\n      validationErrors,\n    }\n  }\n\n  /**\n   * Resume execution from a NEED_INPUT checkpoint.\n   * Injects feedback and continues from the interrupted step.\n   *\n   * @throws Error if no pending execution to resume\n   */\n  async resume(feedback: string): Promise<JITResult> {\n    if (!this._liveExecutor || !this._liveSpec) {\n      throw new Error(\"No pending execution to resume\")\n    }\n\n    // For now, re-execute with feedback injected into input.\n    // Full checkpoint/resume would require executor-level support.\n    const input: Record<string, unknown> = { _feedback: feedback }\n    const result = await this._liveExecutor.execute(this._liveSpec, input)\n\n    // Clear resume state\n    this._liveExecutor = undefined\n    this._pendingNeedInput = undefined\n\n    return {\n      status: result.status,\n      output: result.output,\n      steps: result.steps,\n      stats: result.stats,\n      spec: this._liveSpec,\n      validationErrors: this._liveValidationErrors,\n    }\n  }\n\n  /** Cancel any pending execution and clear resume state. */\n  cancel(): void {\n    this._liveExecutor = undefined\n    this._liveSpec = undefined\n    this._liveValidationErrors = []\n    this._pendingNeedInput = undefined\n  }\n\n  /** Whether there is a pending execution that can be resumed. */\n  get hasPending(): boolean {\n    return this._liveExecutor !== undefined && this._liveSpec !== undefined\n  }\n}\n","import type { z } from \"zod\"\n\n// ─── Status ─────────────────────────────────────────────────\n\n/** HOP execution status — mirrors Python HopStatus enum */\nexport type HopStatus = \"ok\" | \"fail\" | \"uncertain\" | \"lack_of_info\"\n\n/** Check if a status indicates success */\nexport function isSuccess(status: HopStatus): boolean {\n  return status === \"ok\"\n}\n\n/** Check if a status indicates a terminal failure */\nexport function isTerminal(status: HopStatus): boolean {\n  return status === \"ok\" || status === \"fail\"\n}\n\n// ─── LLM Protocol ───────────────────────────────────────────\n\n/** LLM query options */\nexport interface LLMOptions {\n  temperature?: number\n  maxTokens?: number\n  responseFormat?: z.ZodType\n  systemPrompt?: string\n}\n\n/** LLM query result */\nexport interface LLMResult {\n  success: boolean\n  content: string\n  raw?: unknown\n}\n\n/** Verification result */\nexport interface VerifyResult {\n  passed: boolean\n  reason: string\n  status?: HopStatus\n}\n\n/**\n * LLM Protocol — injected by the consuming project.\n * opencode uses AI SDK, other projects bring their own adapter.\n */\nexport interface HopLLM {\n  query(prompt: string, options?: LLMOptions): Promise<LLMResult>\n}\n\n/**\n * Verifier Protocol — for reverse/forward cross verification.\n * The consuming project provides the LLM-backed implementation.\n */\nexport interface HopVerifier {\n  verify(task: string, context: string, result: string): Promise<VerifyResult>\n}\n"]}

package/dist/index.d.cts

@@ -0,0 +1,249 @@
+import { StepInfo, SpecGrammar } from '@hoplogic/spec';
+import { z } from 'zod';
+
+/** HOP execution status — mirrors Python HopStatus enum */
+type HopStatus = "ok" | "fail" | "uncertain" | "lack_of_info";
+/** Check if a status indicates success */
+declare function isSuccess(status: HopStatus): boolean;
+/** Check if a status indicates a terminal failure */
+declare function isTerminal(status: HopStatus): boolean;
+/** LLM query options */
+interface LLMOptions {
+    temperature?: number;
+    maxTokens?: number;
+    responseFormat?: z.ZodType;
+    systemPrompt?: string;
+}
+/** LLM query result */
+interface LLMResult {
+    success: boolean;
+    content: string;
+    raw?: unknown;
+}
+/** Verification result */
+interface VerifyResult {
+    passed: boolean;
+    reason: string;
+    status?: HopStatus;
+}
+/**
+ * LLM Protocol — injected by the consuming project.
+ * opencode uses AI SDK, other projects bring their own adapter.
+ */
+interface HopLLM {
+    query(prompt: string, options?: LLMOptions): Promise<LLMResult>;
+}
+/**
+ * Verifier Protocol — for reverse/forward cross verification.
+ * The consuming project provides the LLM-backed implementation.
+ */
+interface HopVerifier {
+    verify(task: string, context: string, result: string): Promise<VerifyResult>;
+}
+
+/** Result of executing a single step */
+interface StepResult {
+    step_id: string;
+    status: HopStatus;
+    output: unknown;
+    retries: number;
+    error?: string;
+}
+/** Result of executing a full spec */
+interface ExecutionResult {
+    status: HopStatus;
+    output: unknown;
+    steps: StepResult[];
+    stats: ExecutionStats;
+}
+/** Execution statistics */
+interface ExecutionStats {
+    total_steps: number;
+    completed_steps: number;
+    failed_steps: number;
+    total_retries: number;
+    llm_calls: number;
+    verify_calls: number;
+}
+/** Create empty execution stats */
+declare function createEmptyStats(): ExecutionStats;
+
+/**
+ * spec-executor.ts — Step orchestrator
+ * Port of hop_engine/jit/spec_executor.py
+ *
+ * Executes a StepInfo tree by dispatching each step to the appropriate handler:
+ * - LLM steps: query LLM, verify, retry
+ * - code steps: evaluate expressions (sandboxed)
+ * - loop steps: iterate over collection or while condition
+ * - branch steps: conditional execution
+ * - flow steps: exit, continue, break
+ * - call steps: invoke external tools
+ * - subtask steps: delegate to sub-executor
+ */
+
+interface SpecExecutorOptions {
+    llm: HopLLM;
+    verifier?: HopVerifier;
+    maxRetries?: number;
+}
+declare class SpecExecutor {
+    private llm;
+    private verifier;
+    private maxRetries;
+    constructor(options: SpecExecutorOptions);
+    /** Execute a StepInfo tree with given input variables */
+    execute(steps: StepInfo[], input: Record<string, unknown>): Promise<ExecutionResult>;
+    /** Execute a single step, dispatching by type */
+    private executeStep;
+    private executeLLM;
+    private executeCode;
+    private executeLoop;
+    private executeBranch;
+    private executeFlow;
+    private executeCall;
+    private executeSubtask;
+    private buildPrompt;
+    private storeOutputs;
+}
+
+/**
+ * hop-jit.ts — Top-level JIT orchestrator
+ * Port of hop_engine/jit/hop_jit.py
+ *
+ * Ties together parser, validator, and executor into a single entry point:
+ * - runSpec(markdown, input) — parse → validate → execute
+ * - resume(feedback) — inject feedback and continue from NEED_INPUT checkpoint
+ * - cancel() — discard pending execution state
+ */
+
+type SpecMode = "aot" | "jit";
+interface HopJITOptions {
+    llm: HopLLM;
+    verifier?: HopVerifier;
+    maxRetries?: number;
+    grammar?: SpecGrammar;
+}
+interface RunSpecOptions {
+    /** Skip validation (debug only) */
+    skipValidation?: boolean;
+    /** Validation mode: "aot" for human-audited, "jit" for LLM-generated */
+    mode?: SpecMode;
+}
+interface JITResult {
+    status: HopStatus;
+    output: unknown;
+    steps: ExecutionResult["steps"];
+    stats: ExecutionStats;
+    /** Parsed spec (StepInfo tree) */
+    spec: StepInfo[];
+    /** Validation errors (empty if skipValidation or all passed) */
+    validationErrors: Array<{
+        check: string;
+        step_id: string;
+        message: string;
+        level: string;
+    }>;
+    /** Set when executor signals NEED_INPUT — call resume(feedback) to continue */
+    needInput?: NeedInputInfo;
+}
+interface NeedInputInfo {
+    diagnosis: string;
+    suggestions: string[];
+    step_id: string;
+    round: number;
+}
+declare class HopJIT {
+    private llm;
+    private verifier;
+    private maxRetries;
+    private grammar;
+    private _liveExecutor;
+    private _liveSpec;
+    private _liveValidationErrors;
+    private _pendingNeedInput;
+    constructor(options: HopJITOptions);
+    /**
+     * Parse and execute a HopSpec markdown document.
+     *
+     * Flow: parse → validate → execute
+     * Returns a JITResult with execution output, stats, and validation info.
+     */
+    runSpec(markdown: string, input: Record<string, unknown>, options?: RunSpecOptions): Promise<JITResult>;
+    /**
+     * Resume execution from a NEED_INPUT checkpoint.
+     * Injects feedback and continues from the interrupted step.
+     *
+     * @throws Error if no pending execution to resume
+     */
+    resume(feedback: string): Promise<JITResult>;
+    /** Cancel any pending execution and clear resume state. */
+    cancel(): void;
+    /** Whether there is a pending execution that can be resumed. */
+    get hasPending(): boolean;
+}
+
+/**
+ * response-format.ts — Zod schema dynamic builder
+ * Port of create_response_format_model from hop_engine/utils/utils.py
+ *
+ * Builds Zod schemas from HopSpec return_format strings:
+ * - Simple types: str, int, float, bool, list, dict
+ * - Dict format: {"key": type, "key2": type}
+ * - Tuple syntax: {"key": (type, "description")}  (description stored in metadata)
+ * - List types: list[str], list[int], list[dict]
+ */
+
+interface FieldDef {
+    type: z.ZodType;
+    description?: string;
+}
+/**
+ * Parse a return format string into a map of field → Zod type.
+ * Supports:
+ * - Dict format: {"key": type, "key2": (type, "desc")}
+ * - Non-dict: treated as single "result" field
+ * - Empty: returns undefined
+ */
+declare function parseReturnFormat(formatStr: string): Record<string, FieldDef> | undefined;
+/**
+ * Create a Zod response schema from a format string.
+ * Wraps the user's fields in the standard HOP meta-fields:
+ * - explanation: string
+ * - final_answer: user's format
+ * - confidence: "OK" | "LACK_OF_INFO" | "UNCERTAIN"
+ */
+declare function createResponseFormat(formatStr: string): z.ZodType;
+/**
+ * Create a Zod schema for just the data portion (without meta-fields).
+ * Useful for validating step output directly.
+ */
+declare function createDataSchema(formatStr: string): z.ZodType;
+
+/**
+ * validators.ts — Verification functions
+ * Port of hop_engine/validators/result_validators.py
+ *
+ * Three verification strategies:
+ * - formatVerifier: local JSON structure check (no LLM)
+ * - reverseVerify: LLM-based reverse verification
+ * - forwardCrossVerify: 3-way concurrent LLM verification
+ */
+
+/**
+ * Verify that a result has the expected structure and no serialization residue.
+ * Returns immediately without LLM calls.
+ */
+declare function formatVerifier(result: unknown, expectedKeys?: string[]): VerifyResult;
+/**
+ * Reverse verification: ask a verifier LLM to independently check
+ * whether the result correctly answers the task given the context.
+ */
+declare function reverseVerify(verifier: HopVerifier, task: string, context: string, result: string): Promise<VerifyResult>;
+/**
+ * Forward cross verification: run 3 concurrent verifications
+ * and return passed only if majority (2+) agree.
+ */
+declare function forwardCrossVerify(verifier: HopVerifier, task: string, context: string, result: string): Promise<VerifyResult>;
+
+export { type ExecutionResult, type ExecutionStats, HopJIT, type HopJITOptions, type HopLLM, type HopStatus, type HopVerifier, type JITResult, type LLMOptions, type LLMResult, type NeedInputInfo, type RunSpecOptions, SpecExecutor, type SpecExecutorOptions, type SpecMode, type StepResult, type VerifyResult, createDataSchema, createEmptyStats, createResponseFormat, formatVerifier, forwardCrossVerify, isSuccess, isTerminal, parseReturnFormat, reverseVerify };

package/dist/index.d.ts

@@ -0,0 +1,249 @@
+import { StepInfo, SpecGrammar } from '@hoplogic/spec';
+import { z } from 'zod';
+
+/** HOP execution status — mirrors Python HopStatus enum */
+type HopStatus = "ok" | "fail" | "uncertain" | "lack_of_info";
+/** Check if a status indicates success */
+declare function isSuccess(status: HopStatus): boolean;
+/** Check if a status indicates a terminal failure */
+declare function isTerminal(status: HopStatus): boolean;
+/** LLM query options */
+interface LLMOptions {
+    temperature?: number;
+    maxTokens?: number;
+    responseFormat?: z.ZodType;
+    systemPrompt?: string;
+}
+/** LLM query result */
+interface LLMResult {
+    success: boolean;
+    content: string;
+    raw?: unknown;
+}
+/** Verification result */
+interface VerifyResult {
+    passed: boolean;
+    reason: string;
+    status?: HopStatus;
+}
+/**
+ * LLM Protocol — injected by the consuming project.
+ * opencode uses AI SDK, other projects bring their own adapter.
+ */
+interface HopLLM {
+    query(prompt: string, options?: LLMOptions): Promise<LLMResult>;
+}
+/**
+ * Verifier Protocol — for reverse/forward cross verification.
+ * The consuming project provides the LLM-backed implementation.
+ */
+interface HopVerifier {
+    verify(task: string, context: string, result: string): Promise<VerifyResult>;
+}
+
+/** Result of executing a single step */
+interface StepResult {
+    step_id: string;
+    status: HopStatus;
+    output: unknown;
+    retries: number;
+    error?: string;
+}
+/** Result of executing a full spec */
+interface ExecutionResult {
+    status: HopStatus;
+    output: unknown;
+    steps: StepResult[];
+    stats: ExecutionStats;
+}
+/** Execution statistics */
+interface ExecutionStats {
+    total_steps: number;
+    completed_steps: number;
+    failed_steps: number;
+    total_retries: number;
+    llm_calls: number;
+    verify_calls: number;
+}
+/** Create empty execution stats */
+declare function createEmptyStats(): ExecutionStats;
+
+/**
+ * spec-executor.ts — Step orchestrator
+ * Port of hop_engine/jit/spec_executor.py
+ *
+ * Executes a StepInfo tree by dispatching each step to the appropriate handler:
+ * - LLM steps: query LLM, verify, retry
+ * - code steps: evaluate expressions (sandboxed)
+ * - loop steps: iterate over collection or while condition
+ * - branch steps: conditional execution
+ * - flow steps: exit, continue, break
+ * - call steps: invoke external tools
+ * - subtask steps: delegate to sub-executor
+ */
+
+interface SpecExecutorOptions {
+    llm: HopLLM;
+    verifier?: HopVerifier;
+    maxRetries?: number;
+}
+declare class SpecExecutor {
+    private llm;
+    private verifier;
+    private maxRetries;
+    constructor(options: SpecExecutorOptions);
+    /** Execute a StepInfo tree with given input variables */
+    execute(steps: StepInfo[], input: Record<string, unknown>): Promise<ExecutionResult>;
+    /** Execute a single step, dispatching by type */
+    private executeStep;
+    private executeLLM;
+    private executeCode;
+    private executeLoop;
+    private executeBranch;
+    private executeFlow;
+    private executeCall;
+    private executeSubtask;
+    private buildPrompt;
+    private storeOutputs;
+}
+
+/**
+ * hop-jit.ts — Top-level JIT orchestrator
+ * Port of hop_engine/jit/hop_jit.py
+ *
+ * Ties together parser, validator, and executor into a single entry point:
+ * - runSpec(markdown, input) — parse → validate → execute
+ * - resume(feedback) — inject feedback and continue from NEED_INPUT checkpoint
+ * - cancel() — discard pending execution state
+ */
+
+type SpecMode = "aot" | "jit";
+interface HopJITOptions {
+    llm: HopLLM;
+    verifier?: HopVerifier;
+    maxRetries?: number;
+    grammar?: SpecGrammar;
+}
+interface RunSpecOptions {
+    /** Skip validation (debug only) */
+    skipValidation?: boolean;
+    /** Validation mode: "aot" for human-audited, "jit" for LLM-generated */
+    mode?: SpecMode;
+}
+interface JITResult {
+    status: HopStatus;
+    output: unknown;
+    steps: ExecutionResult["steps"];
+    stats: ExecutionStats;
+    /** Parsed spec (StepInfo tree) */
+    spec: StepInfo[];
+    /** Validation errors (empty if skipValidation or all passed) */
+    validationErrors: Array<{
+        check: string;
+        step_id: string;
+        message: string;
+        level: string;
+    }>;
+    /** Set when executor signals NEED_INPUT — call resume(feedback) to continue */
+    needInput?: NeedInputInfo;
+}
+interface NeedInputInfo {
+    diagnosis: string;
+    suggestions: string[];
+    step_id: string;
+    round: number;
+}
+declare class HopJIT {
+    private llm;
+    private verifier;
+    private maxRetries;
+    private grammar;
+    private _liveExecutor;
+    private _liveSpec;
+    private _liveValidationErrors;
+    private _pendingNeedInput;
+    constructor(options: HopJITOptions);
+    /**
+     * Parse and execute a HopSpec markdown document.
+     *
+     * Flow: parse → validate → execute
+     * Returns a JITResult with execution output, stats, and validation info.
+     */
+    runSpec(markdown: string, input: Record<string, unknown>, options?: RunSpecOptions): Promise<JITResult>;
+    /**
+     * Resume execution from a NEED_INPUT checkpoint.
+     * Injects feedback and continues from the interrupted step.
+     *
+     * @throws Error if no pending execution to resume
+     */
+    resume(feedback: string): Promise<JITResult>;
+    /** Cancel any pending execution and clear resume state. */
+    cancel(): void;
+    /** Whether there is a pending execution that can be resumed. */
+    get hasPending(): boolean;
+}
+
+/**
+ * response-format.ts — Zod schema dynamic builder
+ * Port of create_response_format_model from hop_engine/utils/utils.py
+ *
+ * Builds Zod schemas from HopSpec return_format strings:
+ * - Simple types: str, int, float, bool, list, dict
+ * - Dict format: {"key": type, "key2": type}
+ * - Tuple syntax: {"key": (type, "description")}  (description stored in metadata)
+ * - List types: list[str], list[int], list[dict]
+ */
+
+interface FieldDef {
+    type: z.ZodType;
+    description?: string;
+}
+/**
+ * Parse a return format string into a map of field → Zod type.
+ * Supports:
+ * - Dict format: {"key": type, "key2": (type, "desc")}
+ * - Non-dict: treated as single "result" field
+ * - Empty: returns undefined
+ */
+declare function parseReturnFormat(formatStr: string): Record<string, FieldDef> | undefined;
+/**
+ * Create a Zod response schema from a format string.
+ * Wraps the user's fields in the standard HOP meta-fields:
+ * - explanation: string
+ * - final_answer: user's format
+ * - confidence: "OK" | "LACK_OF_INFO" | "UNCERTAIN"
+ */
+declare function createResponseFormat(formatStr: string): z.ZodType;
+/**
+ * Create a Zod schema for just the data portion (without meta-fields).
+ * Useful for validating step output directly.
+ */
+declare function createDataSchema(formatStr: string): z.ZodType;
+
+/**
+ * validators.ts — Verification functions
+ * Port of hop_engine/validators/result_validators.py
+ *
+ * Three verification strategies:
+ * - formatVerifier: local JSON structure check (no LLM)
+ * - reverseVerify: LLM-based reverse verification
+ * - forwardCrossVerify: 3-way concurrent LLM verification
+ */
+
+/**
+ * Verify that a result has the expected structure and no serialization residue.
+ * Returns immediately without LLM calls.
+ */
+declare function formatVerifier(result: unknown, expectedKeys?: string[]): VerifyResult;
+/**
+ * Reverse verification: ask a verifier LLM to independently check
+ * whether the result correctly answers the task given the context.
+ */
+declare function reverseVerify(verifier: HopVerifier, task: string, context: string, result: string): Promise<VerifyResult>;
+/**
+ * Forward cross verification: run 3 concurrent verifications
+ * and return passed only if majority (2+) agree.
+ */
+declare function forwardCrossVerify(verifier: HopVerifier, task: string, context: string, result: string): Promise<VerifyResult>;
+
+export { type ExecutionResult, type ExecutionStats, HopJIT, type HopJITOptions, type HopLLM, type HopStatus, type HopVerifier, type JITResult, type LLMOptions, type LLMResult, type NeedInputInfo, type RunSpecOptions, SpecExecutor, type SpecExecutorOptions, type SpecMode, type StepResult, type VerifyResult, createDataSchema, createEmptyStats, createResponseFormat, formatVerifier, forwardCrossVerify, isSuccess, isTerminal, parseReturnFormat, reverseVerify };