@cogitator-ai/neuro-symbolic 0.1.0

package/dist/logic/unification.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"unification.js","sourceRoot":"","sources":["../../src/logic/unification.ts"],"names":[],"mappings":"AAWA,MAAM,UAAU,MAAM,CAAC,IAAU;IAC/B,OAAO,IAAI,CAAC,IAAI,KAAK,MAAM,CAAC;AAC9B,CAAC;AAED,MAAM,UAAU,UAAU,CAAC,IAAU;IACnC,OAAO,IAAI,CAAC,IAAI,KAAK,UAAU,CAAC;AAClC,CAAC;AAED,MAAM,UAAU,QAAQ,CAAC,IAAU;IACjC,OAAO,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC;AAChC,CAAC;AAED,MAAM,UAAU,QAAQ,CAAC,IAAU;IACjC,OAAO,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC;AAChC,CAAC;AAED,MAAM,UAAU,UAAU,CAAC,IAAU;IACnC,OAAO,IAAI,CAAC,IAAI,KAAK,UAAU,CAAC;AAClC,CAAC;AAED,MAAM,UAAU,MAAM,CAAC,IAAU;IAC/B,OAAO,IAAI,CAAC,IAAI,KAAK,MAAM,CAAC;AAC9B,CAAC;AAED,MAAM,UAAU,UAAU,CAAC,EAAQ,EAAE,EAAQ;IAC3C,IAAI,EAAE,CAAC,IAAI,KAAK,EAAE,CAAC,IAAI;QAAE,OAAO,KAAK,CAAC;IAEtC,QAAQ,EAAE,CAAC,IAAI,EAAE,CAAC;QAChB,KAAK,MAAM;YACT,OAAQ,EAAe,CAAC,KAAK,KAAK,EAAE,CAAC,KAAK,CAAC;QAC7C,KAAK,UAAU;YACb,OAAQ,EAAmB,CAAC,IAAI,KAAK,EAAE,CAAC,IAAI,CAAC;QAC/C,KAAK,QAAQ;YACX,OAAQ,EAAiB,CAAC,KAAK,KAAK,EAAE,CAAC,KAAK,CAAC;QAC/C,KAAK,QAAQ;YACX,OAAQ,EAAiB,CAAC,KAAK,KAAK,EAAE,CAAC,KAAK,CAAC;QAC/C,KAAK,UAAU,CAAC,CAAC,CAAC;YAChB,MAAM,EAAE,GAAG,EAAkB,CAAC;YAC9B,IAAI,EAAE,CAAC,OAAO,KAAK,EAAE,CAAC,OAAO;gBAAE,OAAO,KAAK,CAAC;YAC5C,IAAI,EAAE,CAAC,IAAI,CAAC,MAAM,KAAK,EAAE,CAAC,IAAI,CAAC,MAAM;gBAAE,OAAO,KAAK,CAAC;YACpD,OAAO,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAChE,CAAC;QACD,KAAK,MAAM,CAAC,CAAC,CAAC;YACZ,MAAM,EAAE,GAAG,EAAc,CAAC;YAC1B,IAAI,EAAE,CAAC,QAAQ,CAAC,MAAM,KAAK,EAAE,CAAC,QAAQ,CAAC,MAAM;gBAAE,OAAO,KAAK,CAAC;YAC5D,IAAI,CAAC,EAAE,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,EAAE,EAAE,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;gBAAE,OAAO,KAAK,CAAC;YAChF,IAAI,EAAE,CAAC,IAAI,IAAI,EAAE,CAAC,IAAI;gBAAE,OAAO,UAAU,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC;YAC5D,OAAO,CAAC,EAAE,CAAC,IAAI,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC;QAC9B,CAAC;IACH,CAAC;AACH,CAAC;AAED,MAAM,UAAU,QAAQ,CAAC,QAAsB,EAAE,IAAU;IACzD,IAAI,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;QACrB,OAAO,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC,IAAI,CAAC;IACrC,CAAC;IACD,IAAI,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;QACrB,OAAO,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,QAAQ,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC,CAAC;IAC1D,CAAC;IACD,IAAI,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;QACjB,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,QAAQ,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;YAAE,OAAO,IAAI,CAAC;QACpE,IAAI,IAAI,CAAC,IAAI;YAAE,OAAO,QAAQ,CAAC,QAAQ,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;IACtD,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,MAAM,UAAU,iBAAiB,CAAC,IAAU,EAAE,KAAmB;IAC/D,IAAI,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;QACrB,MAAM,KAAK,GAAG,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnC,IAAI,KAAK,EAAE,CAAC;YACV,OAAO,iBAAiB,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QACzC,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,IAAI,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;QACrB,OAAO;YACL,IAAI,EAAE,UAAU;YAChB,OAAO,EAAE,IAAI,CAAC,OAAO;YACrB,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,iBAAiB,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;SAC5D,CAAC;IACJ,CAAC;IAED,IAAI,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;QACjB,OAAO;YACL,IAAI,EAAE,MAAM;YACZ,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,iBAAiB,CAAC,EAAE,EAAE,KAAK,CAAC,CAAC;YACjE,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,iBAAiB,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,SAAS;SAClE,CAAC;IACJ,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,UAAU,oBAAoB,CAAC,EAAgB,EAAE,EAAgB;IACrE,MAAM,MAAM,GAAG,IAAI,GAAG,EAAgB,CAAC;IAEvC,KAAK,MAAM,CAAC,OAAO,EAAE,IAAI,CAAC,IAAI,EAAE,EAAE,CAAC;QACjC,MAAM,CAAC,GAAG,CAAC,OAAO,EAAE,iBAAiB,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,CAAC;IACnD,CAAC;IAED,KAAK,MAAM,CAAC,OAAO,EAAE,IAAI,CAAC,IAAI,EAAE,EAAE,CAAC;QACjC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;YACzB,MAAM,CAAC,GAAG,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;QAC5B,CAAC;IACH,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,aAAa,CACpB,QAAsB,EACtB,IAAU,EACV,KAAmB;IAEnB,MAAM,OAAO,GAAG,QAAQ,CAAC,IAAI,CAAC;IAE9B,IAAI,KAAK,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC;QACvB,OAAO,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,OAAO,CAAE,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;IACjD,CAAC;IAED,IAAI,UAAU,CAAC,IAAI,CAAC,IAAI,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QAC7C,OAAO,KAAK,CAAC,QAAQ,EAAE,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAE,EAAE,KAAK,CAAC,CAAC;IACvD,CAAC;IAED,IAAI,QAAQ,CAAC,QAAQ,EAAE,IAAI,CAAC,EAAE,CAAC;QAC7B,OAAO,IAAI,CAAC;IACd,CAAC;IAED,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC;IAChC,QAAQ,CAAC,GAAG,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;IAC5B,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,MAAM,UAAU,KAAK,CACnB,KAAW,EACX,KAAW,EACX,QAAsB,IAAI,GAAG,EAAE;IAE/B,MAAM,EAAE,GAAG,iBAAiB,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IAC3C,MAAM,EAAE,GAAG,iBAAiB,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IAE3C,IAAI,UAAU,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC;QACvB,OAAO,KAAK,CAAC;IACf,CAAC;IAED,IAAI,UAAU,CAAC,EAAE,CAAC,EAAE,CAAC;QACnB,OAAO,aAAa,CAAC,EAAE,EAAE,EAAE,EAAE,KAAK,CAAC,CAAC;IACtC,CAAC;IAED,IAAI,UAAU,CAAC,EAAE,CAAC,EAAE,CAAC;QACnB,OAAO,aAAa,CAAC,EAAE,EAAE,EAAE,EAAE,KAAK,CAAC,CAAC;IACtC,CAAC;IAED,IAAI,UAAU,CAAC,EAAE,CAAC,IAAI,UAAU,CAAC,EAAE,CAAC,EAAE,CAAC;QACrC,IAAI,EAAE,CAAC,OAAO,KAAK,EAAE,CAAC,OAAO;YAAE,OAAO,IAAI,CAAC;QAC3C,IAAI,EAAE,CAAC,IAAI,CAAC,MAAM,KAAK,EAAE,CAAC,IAAI,CAAC,MAAM;YAAE,OAAO,IAAI,CAAC;QAEnD,IAAI,YAAY,GAAG,KAAK,CAAC;QACzB,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YACxC,MAAM,MAAM,GAAG,KAAK,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,YAAY,CAAC,CAAC;YAC3D,IAAI,MAAM,KAAK,IAAI;gBAAE,OAAO,IAAI,CAAC;YACjC,YAAY,GAAG,MAAM,CAAC;QACxB,CAAC;QACD,OAAO,YAAY,CAAC;IACtB,CAAC;IAED,IAAI,MAAM,CAAC,EAAE,CAAC,IAAI,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC;QAC7B,IAAI,EAAE,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,IAAI,EAAE,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACzD,IAAI,EAAE,CAAC,IAAI,IAAI,EAAE,CAAC,IAAI,EAAE,CAAC;gBACvB,OAAO,KAAK,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YACxC,CAAC;YACD,IAAI,CAAC,EAAE,CAAC,IAAI,IAAI,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC;gBACzB,OAAO,KAAK,CAAC;YACf,CAAC;YACD,IAAI,EAAE,CAAC,IAAI,IAAI,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC;gBACxB,OAAO,KAAK,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,EAAE,EAAE,EAAE,KAAK,CAAC,CAAC;YAC/D,CAAC;YACD,IAAI,CAAC,EAAE,CAAC,IAAI,IAAI,EAAE,CAAC,IAAI,EAAE,CAAC;gBACxB,OAAO,KAAK,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,QAAQ,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;YAC/D,CAAC;QACH,CAAC;QAED,IAAI,EAAE,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,IAAI,EAAE,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACrD,MAAM,UAAU,GAAG,KAAK,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;YAChE,IAAI,UAAU,KAAK,IAAI;gBAAE,OAAO,IAAI,CAAC;YAErC,MAAM,KAAK,GAAa;gBACtB,IAAI,EAAE,MAAM;gBACZ,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC;gBAC9B,IAAI,EAAE,EAAE,CAAC,IAAI;aACd,CAAC;YACF,MAAM,KAAK,GAAa;gBACtB,IAAI,EAAE,MAAM;gBACZ,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC;gBAC9B,IAAI,EAAE,EAAE,CAAC,IAAI;aACd,CAAC;YAEF,OAAO,KAAK,CAAC,KAAK,EAAE,KAAK,EAAE,UAAU,CAAC,CAAC;QACzC,CAAC;QAED,IAAI,EAAE,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,IAAI,EAAE,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,CAAC;YAClE,OAAO,KAAK,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,EAAE,KAAK,CAAC,CAAC;QACnC,CAAC;QAED,IAAI,EAAE,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,IAAI,EAAE,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,IAAI,EAAE,CAAC,IAAI,EAAE,CAAC;YAClE,OAAO,KAAK,CAAC,EAAE,EAAE,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QACnC,CAAC;QAED,OAAO,IAAI,CAAC;IACd,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,UAAU,YAAY,CAAC,IAAU;IACrC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAE/B,SAAS,OAAO,CAAC,CAAO;QACtB,IAAI,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC;YAClB,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QACnB,CAAC;aAAM,IAAI,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC;YACzB,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;QAC1B,CAAC;aAAM,IAAI,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC;YACrB,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;YAC5B,IAAI,CAAC,CAAC,IAAI;gBAAE,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QAC9B,CAAC;IACH,CAAC;IAED,OAAO,CAAC,IAAI,CAAC,CAAC;IACd,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,UAAU,eAAe,CAAC,IAAU,EAAE,MAAc;IACxD,IAAI,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;QACrB,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,GAAG,IAAI,CAAC,IAAI,IAAI,MAAM,EAAE,EAAE,CAAC;IAC9D,CAAC;IAED,IAAI,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;QACrB,OAAO;YACL,IAAI,EAAE,UAAU;YAChB,OAAO,EAAE,IAAI,CAAC,OAAO;YACrB,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,eAAe,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;SAC3D,CAAC;IACJ,CAAC;IAED,IAAI,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;QACjB,OAAO;YACL,IAAI,EAAE,MAAM;YACZ,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,eAAe,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;YAChE,IAAI,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,eAAe,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS;SACjE,CAAC;IACJ,CAAC;IAED,OAAO,IAAI,CAAC;AACd,CAAC;AAED,MAAM,UAAU,oBAAoB,CAAC,KAAmB;IACtD,IAAI,KAAK,CAAC,IAAI,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IAClC,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC;SACxC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,GAAG,IAAI,MAAM,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC;SACxD,IAAI,CAAC,IAAI,CAAC,CAAC;IACd,OAAO,IAAI,OAAO,GAAG,CAAC;AACxB,CAAC;AAED,MAAM,UAAU,YAAY,CAAC,IAAU;IACrC,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,MAAM;YACT,OAAO,IAAI,CAAC,KAAK,CAAC;QACpB,KAAK,UAAU;YACb,OAAO,IAAI,CAAC,IAAI,CAAC;QACnB,KAAK,QAAQ;YACX,OAAO,IAAI,CAAC,KAAK,CAAC,QAAQ,EAAE,CAAC;QAC/B,KAAK,QAAQ;YACX,OAAO,IAAI,IAAI,CAAC,KAAK,GAAG,CAAC;QAC3B,KAAK,UAAU;YACb,IAAI,IAAI,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBAC3B,OAAO,IAAI,CAAC,OAAO,CAAC;YACtB,CAAC;YACD,OAAO,GAAG,IAAI,CAAC,OAAO,IAAI,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;QACtE,KAAK,MAAM,CAAC,CAAC,CAAC;YACZ,IAAI,IAAI,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;gBAC7C,OAAO,IAAI,CAAC;YACd,CAAC;YACD,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,YAAY,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC5D,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;gBACd,OAAO,IAAI,QAAQ,IAAI,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;YACpD,CAAC;YACD,OAAO,IAAI,QAAQ,GAAG,CAAC;QACzB,CAAC;IACH,CAAC;AACH,CAAC"}

package/dist/orchestrator.d.ts

@@ -0,0 +1,57 @@
+import type { GraphAdapter, GraphQuery, GraphQueryResult, NaturalLanguageQueryResult, Plan, ActionSchema, PlanValidationResult, PlanRepairResult, InvariantCheckResult, SafetyProperty, ConstraintProblem, SolverResult, LogicQueryResult, NeuroSymbolicConfig, NeuroSymbolicResult } from '@cogitator-ai/types';
+import { KnowledgeBase } from './logic';
+import { GraphQueryBuilder } from './knowledge-graph';
+import { ConstraintBuilder } from './constraints';
+import { ActionRegistry } from './planning';
+export interface NeuroSymbolicOptions {
+    config?: Partial<NeuroSymbolicConfig>;
+    graphAdapter?: GraphAdapter;
+    agentId?: string;
+}
+export declare class NeuroSymbolic {
+    private config;
+    private knowledgeBase;
+    private resolver;
+    private actionRegistry;
+    private invariantChecker;
+    private planRepairer;
+    private graphAdapter?;
+    private reasoningEngine?;
+    private agentId;
+    constructor(options?: NeuroSymbolicOptions);
+    loadLogicProgram(program: string): {
+        success: boolean;
+        errors: string[];
+    };
+    assertFact(predicate: string, ...args: unknown[]): void;
+    queryLogic(queryString: string): NeuroSymbolicResult<LogicQueryResult>;
+    proveLogic(queryString: string): NeuroSymbolicResult<boolean>;
+    getLogicSolutions(queryString: string): string;
+    queryGraph(query: GraphQuery): Promise<NeuroSymbolicResult<GraphQueryResult>>;
+    askGraph(question: string): Promise<NeuroSymbolicResult<NaturalLanguageQueryResult>>;
+    createGraphQuery(): GraphQueryBuilder;
+    findPath(startNodeId: string, endNodeId: string): Promise<NeuroSymbolicResult<unknown>>;
+    createConstraintProblem(name?: string): ConstraintBuilder;
+    solve(problem: ConstraintProblem): Promise<NeuroSymbolicResult<SolverResult>>;
+    checkZ3Available(): Promise<boolean>;
+    registerAction(schema: ActionSchema): void;
+    registerActions(schemas: ActionSchema[]): void;
+    getRegisteredActions(): ActionSchema[];
+    validatePlan(plan: Plan): NeuroSymbolicResult<PlanValidationResult>;
+    addSafetyProperty(property: SafetyProperty): void;
+    checkInvariants(plan: Plan): NeuroSymbolicResult<InvariantCheckResult[]>;
+    repairPlan(plan: Plan): NeuroSymbolicResult<PlanRepairResult>;
+    validateAndRepair(plan: Plan): Promise<NeuroSymbolicResult<{
+        validation: PlanValidationResult;
+        invariants?: InvariantCheckResult[];
+        repair?: PlanRepairResult;
+        finalPlan: Plan;
+    }>>;
+    getKnowledgeBase(): KnowledgeBase;
+    getActionRegistry(): ActionRegistry;
+    getConfig(): NeuroSymbolicConfig;
+    updateConfig(config: Partial<NeuroSymbolicConfig>): void;
+    reset(): void;
+}
+export declare function createNeuroSymbolic(options?: NeuroSymbolicOptions): NeuroSymbolic;
+//# sourceMappingURL=orchestrator.d.ts.map

package/dist/orchestrator.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"orchestrator.d.ts","sourceRoot":"","sources":["../src/orchestrator.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,YAAY,EACZ,UAAU,EACV,gBAAgB,EAChB,0BAA0B,EAC1B,IAAI,EACJ,YAAY,EACZ,oBAAoB,EACpB,gBAAgB,EAChB,oBAAoB,EACpB,cAAc,EACd,iBAAiB,EACjB,YAAY,EACZ,gBAAgB,EAChB,mBAAmB,EACnB,mBAAmB,EACpB,MAAM,qBAAqB,CAAC;AAE7B,OAAO,EACL,aAAa,EAMd,MAAM,SAAS,CAAC;AAEjB,OAAO,EACL,iBAAiB,EAOlB,MAAM,mBAAmB,CAAC;AAE3B,OAAO,EAAE,iBAAiB,EAAwB,MAAM,eAAe,CAAC;AAExE,OAAO,EACL,cAAc,EAMf,MAAM,YAAY,CAAC;AAEpB,MAAM,WAAW,oBAAoB;IACnC,MAAM,CAAC,EAAE,OAAO,CAAC,mBAAmB,CAAC,CAAC;IACtC,YAAY,CAAC,EAAE,YAAY,CAAC;IAC5B,OAAO,CAAC,EAAE,MAAM,CAAC;CAClB;AAED,qBAAa,aAAa;IACxB,OAAO,CAAC,MAAM,CAAsB;IACpC,OAAO,CAAC,aAAa,CAAgB;IACrC,OAAO,CAAC,QAAQ,CAAc;IAC9B,OAAO,CAAC,cAAc,CAAiB;IACvC,OAAO,CAAC,gBAAgB,CAAmB;IAC3C,OAAO,CAAC,YAAY,CAAe;IACnC,OAAO,CAAC,YAAY,CAAC,CAAe;IACpC,OAAO,CAAC,eAAe,CAAC,CAAkB;IAC1C,OAAO,CAAC,OAAO,CAAS;gBAEZ,OAAO,GAAE,oBAAyB;IAgD9C,gBAAgB,CAAC,OAAO,EAAE,MAAM,GAAG;QAAE,OAAO,EAAE,OAAO,CAAC;QAAC,MAAM,EAAE,MAAM,EAAE,CAAA;KAAE;IAIzE,UAAU,CAAC,SAAS,EAAE,MAAM,EAAE,GAAG,IAAI,EAAE,OAAO,EAAE,GAAG,IAAI;IAcvD,UAAU,CAAC,WAAW,EAAE,MAAM,GAAG,mBAAmB,CAAC,gBAAgB,CAAC;IAqBtE,UAAU,CAAC,WAAW,EAAE,MAAM,GAAG,mBAAmB,CAAC,OAAO,CAAC;IAW7D,iBAAiB,CAAC,WAAW,EAAE,MAAM,GAAG,MAAM;IAQxC,UAAU,CAAC,KAAK,EAAE,UAAU,GAAG,OAAO,CAAC,mBAAmB,CAAC,gBAAgB,CAAC,CAAC;IA0B7E,QAAQ,CAAC,QAAQ,EAAE,MAAM,GAAG,OAAO,CAAC,mBAAmB,CAAC,0BAA0B,CAAC,CAAC;IAyB1F,gBAAgB,IAAI,iBAAiB;IAI/B,QAAQ,CAAC,WAAW,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,GAAG,OAAO,CAAC,mBAAmB,CAAC,OAAO,CAAC,CAAC;IAoB7F,uBAAuB,CAAC,IAAI,CAAC,EAAE,MAAM,GAAG,iBAAiB;IAInD,KAAK,CAAC,OAAO,EAAE,iBAAiB,GAAG,OAAO,CAAC,mBAAmB,CAAC,YAAY,CAAC,CAAC;IAY7E,gBAAgB,IAAI,OAAO,CAAC,OAAO,CAAC;IAI1C,cAAc,CAAC,MAAM,EAAE,YAAY,GAAG,IAAI;IAI1C,eAAe,CAAC,OAAO,EAAE,YAAY,EAAE,GAAG,IAAI;IAM9C,oBAAoB,IAAI,YAAY,EAAE;IAItC,YAAY,CAAC,IAAI,EAAE,IAAI,GAAG,mBAAmB,CAAC,oBAAoB,CAAC;IAYnE,iBAAiB,CAAC,QAAQ,EAAE,cAAc,GAAG,IAAI;IAIjD,eAAe,CAAC,IAAI,EAAE,IAAI,GAAG,mBAAmB,CAAC,oBAAoB,EAAE,CAAC;IAaxE,UAAU,CAAC,IAAI,EAAE,IAAI,GAAG,mBAAmB,CAAC,gBAAgB,CAAC;IAoBvD,iBAAiB,CAAC,IAAI,EAAE,IAAI,GAAG,OAAO,CAC1C,mBAAmB,CAAC;QAClB,UAAU,EAAE,oBAAoB,CAAC;QACjC,UAAU,CAAC,EAAE,oBAAoB,EAAE,CAAC;QACpC,MAAM,CAAC,EAAE,gBAAgB,CAAC;QAC1B,SAAS,EAAE,IAAI,CAAC;KACjB,CAAC,CACH;IAkCD,gBAAgB,IAAI,aAAa;IAIjC,iBAAiB,IAAI,cAAc;IAInC,SAAS,IAAI,mBAAmB;IAIhC,YAAY,CAAC,MAAM,EAAE,OAAO,CAAC,mBAAmB,CAAC,GAAG,IAAI;IAmBxD,KAAK,IAAI,IAAI;CAOd;AAED,wBAAgB,mBAAmB,CAAC,OAAO,CAAC,EAAE,oBAAoB,GAAG,aAAa,CAEjF"}

package/dist/orchestrator.js

@@ -0,0 +1,293 @@
+import { createKnowledgeBase, createResolver, parseQuery, formatSolutions, } from './logic';
+import { GraphQueryBuilder, executeQuery, executeNLQuery, createReasoningEngine, } from './knowledge-graph';
+import { ConstraintBuilder, solve, isZ3Available } from './constraints';
+import { ActionRegistry, validatePlan, createInvariantChecker, createPlanRepairer, } from './planning';
+export class NeuroSymbolic {
+    config;
+    knowledgeBase;
+    resolver;
+    actionRegistry;
+    invariantChecker;
+    planRepairer;
+    graphAdapter;
+    reasoningEngine;
+    agentId;
+    constructor(options = {}) {
+        this.config = {
+            knowledgeGraph: {
+                enableNaturalLanguage: true,
+                defaultQueryLimit: 100,
+                ...options.config?.knowledgeGraph,
+            },
+            logic: {
+                maxDepth: 50,
+                maxSolutions: 10,
+                timeout: 5000,
+                enableCut: true,
+                enableNegation: true,
+                traceExecution: false,
+                ...options.config?.logic,
+            },
+            constraints: {
+                timeout: 10000,
+                solver: 'z3',
+                enableOptimization: true,
+                randomSeed: 42,
+                ...options.config?.constraints,
+            },
+            planning: {
+                maxPlanLength: 100,
+                enableRepair: true,
+                verifyInvariants: true,
+                ...options.config?.planning,
+            },
+        };
+        this.agentId = options.agentId || 'default';
+        this.graphAdapter = options.graphAdapter;
+        this.knowledgeBase = createKnowledgeBase();
+        this.resolver = createResolver(this.knowledgeBase, this.config.logic);
+        this.actionRegistry = new ActionRegistry();
+        this.invariantChecker = createInvariantChecker(this.actionRegistry);
+        this.planRepairer = createPlanRepairer(this.actionRegistry);
+        if (this.graphAdapter) {
+            this.reasoningEngine = createReasoningEngine(this.graphAdapter, this.agentId, {
+                maxHops: 3,
+                minConfidence: 0.5,
+            });
+        }
+    }
+    loadLogicProgram(program) {
+        return this.knowledgeBase.consult(program);
+    }
+    assertFact(predicate, ...args) {
+        const terms = args.map((arg) => {
+            if (typeof arg === 'string') {
+                return { type: 'atom', value: arg };
+            }
+            if (typeof arg === 'number') {
+                return { type: 'number', value: arg };
+            }
+            return { type: 'atom', value: String(arg) };
+        });
+        this.knowledgeBase.assertFact(predicate, terms);
+    }
+    queryLogic(queryString) {
+        const startTime = Date.now();
+        const parseResult = parseQuery(queryString);
+        if (!parseResult.success || !parseResult.value) {
+            return {
+                success: false,
+                error: parseResult.error?.message || 'Parse error',
+                duration: Date.now() - startTime,
+            };
+        }
+        const result = this.resolver.query(parseResult.value);
+        return {
+            success: result.success,
+            data: result,
+            duration: Date.now() - startTime,
+        };
+    }
+    proveLogic(queryString) {
+        const startTime = Date.now();
+        const result = this.queryLogic(queryString);
+        return {
+            success: true,
+            data: result.success && (result.data?.success ?? false),
+            duration: Date.now() - startTime,
+        };
+    }
+    getLogicSolutions(queryString) {
+        const result = this.queryLogic(queryString);
+        if (!result.success || !result.data) {
+            return 'Error: ' + (result.error || 'Unknown error');
+        }
+        return formatSolutions(result.data);
+    }
+    async queryGraph(query) {
+        const startTime = Date.now();
+        if (!this.graphAdapter) {
+            return {
+                success: false,
+                error: 'Graph adapter not configured',
+                duration: Date.now() - startTime,
+            };
+        }
+        const ctx = {
+            adapter: this.graphAdapter,
+            agentId: this.agentId,
+            variables: new Map(),
+        };
+        const result = await executeQuery(query, ctx);
+        return {
+            success: true,
+            data: result,
+            duration: Date.now() - startTime,
+        };
+    }
+    async askGraph(question) {
+        const startTime = Date.now();
+        if (!this.graphAdapter) {
+            return {
+                success: false,
+                error: 'Graph adapter not configured',
+                duration: Date.now() - startTime,
+            };
+        }
+        const ctx = {
+            adapter: this.graphAdapter,
+            agentId: this.agentId,
+        };
+        const result = await executeNLQuery(question, ctx);
+        return {
+            success: true,
+            data: result,
+            duration: Date.now() - startTime,
+        };
+    }
+    createGraphQuery() {
+        return GraphQueryBuilder.select();
+    }
+    async findPath(startNodeId, endNodeId) {
+        const startTime = Date.now();
+        if (!this.reasoningEngine) {
+            return {
+                success: false,
+                error: 'Reasoning engine not configured',
+                duration: Date.now() - startTime,
+            };
+        }
+        const result = await this.reasoningEngine.findPath(startNodeId, endNodeId);
+        return {
+            success: result.paths.length > 0,
+            data: result,
+            duration: Date.now() - startTime,
+        };
+    }
+    createConstraintProblem(name) {
+        return ConstraintBuilder.create(name);
+    }
+    async solve(problem) {
+        const startTime = Date.now();
+        const result = await solve(problem, this.config.constraints);
+        return {
+            success: result.status === 'sat',
+            data: result,
+            duration: Date.now() - startTime,
+        };
+    }
+    async checkZ3Available() {
+        return isZ3Available();
+    }
+    registerAction(schema) {
+        this.actionRegistry.register(schema);
+    }
+    registerActions(schemas) {
+        for (const schema of schemas) {
+            this.actionRegistry.register(schema);
+        }
+    }
+    getRegisteredActions() {
+        return this.actionRegistry.getAll();
+    }
+    validatePlan(plan) {
+        const startTime = Date.now();
+        const result = validatePlan(plan, this.actionRegistry);
+        return {
+            success: result.valid,
+            data: result,
+            duration: Date.now() - startTime,
+        };
+    }
+    addSafetyProperty(property) {
+        this.invariantChecker.addProperty(property);
+    }
+    checkInvariants(plan) {
+        const startTime = Date.now();
+        const results = this.invariantChecker.checkPlan(plan);
+        const allSatisfied = results.every((r) => r.satisfied);
+        return {
+            success: allSatisfied,
+            data: results,
+            duration: Date.now() - startTime,
+        };
+    }
+    repairPlan(plan) {
+        const startTime = Date.now();
+        if (!this.config.planning?.enableRepair) {
+            return {
+                success: false,
+                error: 'Plan repair is disabled',
+                duration: Date.now() - startTime,
+            };
+        }
+        const result = this.planRepairer.repair(plan);
+        return {
+            success: result.success,
+            data: result,
+            duration: Date.now() - startTime,
+        };
+    }
+    async validateAndRepair(plan) {
+        const startTime = Date.now();
+        const validation = validatePlan(plan, this.actionRegistry);
+        let invariants;
+        if (this.config.planning?.verifyInvariants) {
+            invariants = this.invariantChecker.checkPlan(plan);
+        }
+        let repair;
+        let finalPlan = plan;
+        if (!validation.valid && this.config.planning?.enableRepair) {
+            repair = this.planRepairer.repair(plan);
+            if (repair.success && repair.repairedPlan) {
+                finalPlan = repair.repairedPlan;
+            }
+        }
+        const success = validation.valid || (repair?.success ?? false);
+        return {
+            success,
+            data: {
+                validation,
+                invariants,
+                repair,
+                finalPlan,
+            },
+            duration: Date.now() - startTime,
+        };
+    }
+    getKnowledgeBase() {
+        return this.knowledgeBase;
+    }
+    getActionRegistry() {
+        return this.actionRegistry;
+    }
+    getConfig() {
+        return { ...this.config };
+    }
+    updateConfig(config) {
+        if (config.logic) {
+            this.config.logic = { ...this.config.logic, ...config.logic };
+            this.resolver = createResolver(this.knowledgeBase, this.config.logic);
+        }
+        if (config.constraints) {
+            this.config.constraints = { ...this.config.constraints, ...config.constraints };
+        }
+        if (config.planning) {
+            this.config.planning = { ...this.config.planning, ...config.planning };
+        }
+        if (config.knowledgeGraph) {
+            this.config.knowledgeGraph = { ...this.config.knowledgeGraph, ...config.knowledgeGraph };
+        }
+    }
+    reset() {
+        this.knowledgeBase.clear();
+        this.actionRegistry.clear();
+        this.resolver = createResolver(this.knowledgeBase, this.config.logic);
+        this.invariantChecker = createInvariantChecker(this.actionRegistry);
+        this.planRepairer = createPlanRepairer(this.actionRegistry);
+    }
+}
+export function createNeuroSymbolic(options) {
+    return new NeuroSymbolic(options);
+}
+//# sourceMappingURL=orchestrator.js.map

package/dist/orchestrator.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"orchestrator.js","sourceRoot":"","sources":["../src/orchestrator.ts"],"names":[],"mappings":"AAkBA,OAAO,EAEL,mBAAmB,EAEnB,cAAc,EACd,UAAU,EACV,eAAe,GAChB,MAAM,SAAS,CAAC;AAEjB,OAAO,EACL,iBAAiB,EACjB,YAAY,EACZ,cAAc,EAEd,qBAAqB,GAGtB,MAAM,mBAAmB,CAAC;AAE3B,OAAO,EAAE,iBAAiB,EAAE,KAAK,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AAExE,OAAO,EACL,cAAc,EACd,YAAY,EAEZ,sBAAsB,EAEtB,kBAAkB,GACnB,MAAM,YAAY,CAAC;AAQpB,MAAM,OAAO,aAAa;IAChB,MAAM,CAAsB;IAC5B,aAAa,CAAgB;IAC7B,QAAQ,CAAc;IACtB,cAAc,CAAiB;IAC/B,gBAAgB,CAAmB;IACnC,YAAY,CAAe;IAC3B,YAAY,CAAgB;IAC5B,eAAe,CAAmB;IAClC,OAAO,CAAS;IAExB,YAAY,UAAgC,EAAE;QAC5C,IAAI,CAAC,MAAM,GAAG;YACZ,cAAc,EAAE;gBACd,qBAAqB,EAAE,IAAI;gBAC3B,iBAAiB,EAAE,GAAG;gBACtB,GAAG,OAAO,CAAC,MAAM,EAAE,cAAc;aAClC;YACD,KAAK,EAAE;gBACL,QAAQ,EAAE,EAAE;gBACZ,YAAY,EAAE,EAAE;gBAChB,OAAO,EAAE,IAAI;gBACb,SAAS,EAAE,IAAI;gBACf,cAAc,EAAE,IAAI;gBACpB,cAAc,EAAE,KAAK;gBACrB,GAAG,OAAO,CAAC,MAAM,EAAE,KAAK;aACzB;YACD,WAAW,EAAE;gBACX,OAAO,EAAE,KAAK;gBACd,MAAM,EAAE,IAAI;gBACZ,kBAAkB,EAAE,IAAI;gBACxB,UAAU,EAAE,EAAE;gBACd,GAAG,OAAO,CAAC,MAAM,EAAE,WAAW;aAC/B;YACD,QAAQ,EAAE;gBACR,aAAa,EAAE,GAAG;gBAClB,YAAY,EAAE,IAAI;gBAClB,gBAAgB,EAAE,IAAI;gBACtB,GAAG,OAAO,CAAC,MAAM,EAAE,QAAQ;aAC5B;SACF,CAAC;QAEF,IAAI,CAAC,OAAO,GAAG,OAAO,CAAC,OAAO,IAAI,SAAS,CAAC;QAC5C,IAAI,CAAC,YAAY,GAAG,OAAO,CAAC,YAAY,CAAC;QAEzC,IAAI,CAAC,aAAa,GAAG,mBAAmB,EAAE,CAAC;QAC3C,IAAI,CAAC,QAAQ,GAAG,cAAc,CAAC,IAAI,CAAC,aAAa,EAAE,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QACtE,IAAI,CAAC,cAAc,GAAG,IAAI,cAAc,EAAE,CAAC;QAC3C,IAAI,CAAC,gBAAgB,GAAG,sBAAsB,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;QACpE,IAAI,CAAC,YAAY,GAAG,kBAAkB,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;QAE5D,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC;YACtB,IAAI,CAAC,eAAe,GAAG,qBAAqB,CAAC,IAAI,CAAC,YAAY,EAAE,IAAI,CAAC,OAAO,EAAE;gBAC5E,OAAO,EAAE,CAAC;gBACV,aAAa,EAAE,GAAG;aACnB,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAED,gBAAgB,CAAC,OAAe;QAC9B,OAAO,IAAI,CAAC,aAAa,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;IAC7C,CAAC;IAED,UAAU,CAAC,SAAiB,EAAE,GAAG,IAAe;QAC9C,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE;YAC7B,IAAI,OAAO,GAAG,KAAK,QAAQ,EAAE,CAAC;gBAC5B,OAAO,EAAE,IAAI,EAAE,MAAe,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC;YAC/C,CAAC;YACD,IAAI,OAAO,GAAG,KAAK,QAAQ,EAAE,CAAC;gBAC5B,OAAO,EAAE,IAAI,EAAE,QAAiB,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC;YACjD,CAAC;YACD,OAAO,EAAE,IAAI,EAAE,MAAe,EAAE,KAAK,EAAE,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC;QACvD,CAAC,CAAC,CAAC;QAEH,IAAI,CAAC,aAAa,CAAC,UAAU,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC;IAClD,CAAC;IAED,UAAU,CAAC,WAAmB;QAC5B,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QAE7B,MAAM,WAAW,GAAG,UAAU,CAAC,WAAW,CAAC,CAAC;QAC5C,IAAI,CAAC,WAAW,CAAC,OAAO,IAAI,CAAC,WAAW,CAAC,KAAK,EAAE,CAAC;YAC/C,OAAO;gBACL,OAAO,EAAE,KAAK;gBACd,KAAK,EAAE,WAAW,CAAC,KAAK,EAAE,OAAO,IAAI,aAAa;gBAClD,QAAQ,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,SAAS;aACjC,CAAC;QACJ,CAAC;QAED,MAAM,MAAM,GAAG,IAAI,CAAC,QAAQ,CAAC,KAAK,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC;QAEtD,OAAO;YACL,OAAO,EAAE,MAAM,CAAC,OAAO;YACvB,IAAI,EAAE,MAAM;YACZ,QAAQ,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,SAAS;SACjC,CAAC;IACJ,CAAC;IAED,UAAU,CAAC,WAAmB;QAC5B,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QAC7B,MAAM,MAAM,GAAG,IAAI,CAAC,UAAU,CAAC,WAAW,CAAC,CAAC;QAE5C,OAAO;YACL,OAAO,EAAE,IAAI;YACb,IAAI,EAAE,MAAM,CAAC,OAAO,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,OAAO,IAAI,KAAK,CAAC;YACvD,QAAQ,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,SAAS;SACjC,CAAC;IACJ,CAAC;IAED,iBAAiB,CAAC,WAAmB;QACnC,MAAM,MAAM,GAAG,IAAI,CAAC,UAAU,CAAC,WAAW,CAAC,CAAC;QAC5C,IAAI,CAAC,MAAM,CAAC,OAAO,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC;YACpC,OAAO,SAAS,GAAG,CAAC,MAAM,CAAC,KAAK,IAAI,eAAe,CAAC,CAAC;QACvD,CAAC;QACD,OAAO,eAAe,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IACtC,CAAC;IAED,KAAK,CAAC,UAAU,CAAC,KAAiB;QAChC,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QAE7B,IAAI,CAAC,IAAI,CAAC,YAAY,EAAE,CAAC;YACvB,OAAO;gBACL,OAAO,EAAE,KAAK;gBACd,KAAK,EAAE,8BAA8B;gBACrC,QAAQ,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,SAAS;aACjC,CAAC;QACJ,CAAC;QAED,MAAM,GAAG,GAA0B;YACjC,OAAO,EAAE,IAAI,CAAC,YAAY;YAC1B,OAAO,EAAE,IAAI,CAAC,OAAO;YACrB,SAAS,EAAE,IAAI,GAAG,EAAE;SACrB,CAAC;QAEF,MAAM,MAAM,GAAG,MAAM,YAAY,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;QAE9C,OAAO;YACL,OAAO,EAAE,IAAI;YACb,IAAI,EAAE,MAAM;YACZ,QAAQ,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,SAAS;SACjC,CAAC;IACJ,CAAC;IAED,KAAK,CAAC,QAAQ,CAAC,QAAgB;QAC7B,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QAE7B,IAAI,CAAC,IAAI,CAAC,YAAY,EAAE,CAAC;YACvB,OAAO;gBACL,OAAO,EAAE,KAAK;gBACd,KAAK,EAAE,8BAA8B;gBACrC,QAAQ,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,SAAS;aACjC,CAAC;QACJ,CAAC;QAED,MAAM,GAAG,GAAmB;YAC1B,OAAO,EAAE,IAAI,CAAC,YAAY;YAC1B,OAAO,EAAE,IAAI,CAAC,OAAO;SACtB,CAAC;QAEF,MAAM,MAAM,GAAG,MAAM,cAAc,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC;QAEnD,OAAO;YACL,OAAO,EAAE,IAAI;YACb,IAAI,EAAE,MAAM;YACZ,QAAQ,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,SAAS;SACjC,CAAC;IACJ,CAAC;IAED,gBAAgB;QACd,OAAO,iBAAiB,CAAC,MAAM,EAAE,CAAC;IACpC,CAAC;IAED,KAAK,CAAC,QAAQ,CAAC,WAAmB,EAAE,SAAiB;QACnD,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QAE7B,IAAI,CAAC,IAAI,CAAC,eAAe,EAAE,CAAC;YAC1B,OAAO;gBACL,OAAO,EAAE,KAAK;gBACd,KAAK,EAAE,iCAAiC;gBACxC,QAAQ,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,SAAS;aACjC,CAAC;QACJ,CAAC;QAED,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,eAAe,CAAC,QAAQ,CAAC,WAAW,EAAE,SAAS,CAAC,CAAC;QAE3E,OAAO;YACL,OAAO,EAAE,MAAM,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC;YAChC,IAAI,EAAE,MAAM;YACZ,QAAQ,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,SAAS;SACjC,CAAC;IACJ,CAAC;IAED,uBAAuB,CAAC,IAAa;QACnC,OAAO,iBAAiB,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IACxC,CAAC;IAED,KAAK,CAAC,KAAK,CAAC,OAA0B;QACpC,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QAE7B,MAAM,MAAM,GAAG,MAAM,KAAK,CAAC,OAAO,EAAE,IAAI,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC;QAE7D,OAAO;YACL,OAAO,EAAE,MAAM,CAAC,MAAM,KAAK,KAAK;YAChC,IAAI,EAAE,MAAM;YACZ,QAAQ,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,SAAS;SACjC,CAAC;IACJ,CAAC;IAED,KAAK,CAAC,gBAAgB;QACpB,OAAO,aAAa,EAAE,CAAC;IACzB,CAAC;IAED,cAAc,CAAC,MAAoB;QACjC,IAAI,CAAC,cAAc,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;IACvC,CAAC;IAED,eAAe,CAAC,OAAuB;QACrC,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;YAC7B,IAAI,CAAC,cAAc,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC;QACvC,CAAC;IACH,CAAC;IAED,oBAAoB;QAClB,OAAO,IAAI,CAAC,cAAc,CAAC,MAAM,EAAE,CAAC;IACtC,CAAC;IAED,YAAY,CAAC,IAAU;QACrB,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QAE7B,MAAM,MAAM,GAAG,YAAY,CAAC,IAAI,EAAE,IAAI,CAAC,cAAc,CAAC,CAAC;QAEvD,OAAO;YACL,OAAO,EAAE,MAAM,CAAC,KAAK;YACrB,IAAI,EAAE,MAAM;YACZ,QAAQ,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,SAAS;SACjC,CAAC;IACJ,CAAC;IAED,iBAAiB,CAAC,QAAwB;QACxC,IAAI,CAAC,gBAAgB,CAAC,WAAW,CAAC,QAAQ,CAAC,CAAC;IAC9C,CAAC;IAED,eAAe,CAAC,IAAU;QACxB,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QAE7B,MAAM,OAAO,GAAG,IAAI,CAAC,gBAAgB,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;QACtD,MAAM,YAAY,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;QAEvD,OAAO;YACL,OAAO,EAAE,YAAY;YACrB,IAAI,EAAE,OAAO;YACb,QAAQ,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,SAAS;SACjC,CAAC;IACJ,CAAC;IAED,UAAU,CAAC,IAAU;QACnB,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QAE7B,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,EAAE,YAAY,EAAE,CAAC;YACxC,OAAO;gBACL,OAAO,EAAE,KAAK;gBACd,KAAK,EAAE,yBAAyB;gBAChC,QAAQ,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,SAAS;aACjC,CAAC;QACJ,CAAC;QAED,MAAM,MAAM,GAAG,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QAE9C,OAAO;YACL,OAAO,EAAE,MAAM,CAAC,OAAO;YACvB,IAAI,EAAE,MAAM;YACZ,QAAQ,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,SAAS;SACjC,CAAC;IACJ,CAAC;IAED,KAAK,CAAC,iBAAiB,CAAC,IAAU;QAQhC,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QAE7B,MAAM,UAAU,GAAG,YAAY,CAAC,IAAI,EAAE,IAAI,CAAC,cAAc,CAAC,CAAC;QAE3D,IAAI,UAA8C,CAAC;QACnD,IAAI,IAAI,CAAC,MAAM,CAAC,QAAQ,EAAE,gBAAgB,EAAE,CAAC;YAC3C,UAAU,GAAG,IAAI,CAAC,gBAAgB,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;QACrD,CAAC;QAED,IAAI,MAAoC,CAAC;QACzC,IAAI,SAAS,GAAG,IAAI,CAAC;QAErB,IAAI,CAAC,UAAU,CAAC,KAAK,IAAI,IAAI,CAAC,MAAM,CAAC,QAAQ,EAAE,YAAY,EAAE,CAAC;YAC5D,MAAM,GAAG,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;YACxC,IAAI,MAAM,CAAC,OAAO,IAAI,MAAM,CAAC,YAAY,EAAE,CAAC;gBAC1C,SAAS,GAAG,MAAM,CAAC,YAAY,CAAC;YAClC,CAAC;QACH,CAAC;QAED,MAAM,OAAO,GAAG,UAAU,CAAC,KAAK,IAAI,CAAC,MAAM,EAAE,OAAO,IAAI,KAAK,CAAC,CAAC;QAE/D,OAAO;YACL,OAAO;YACP,IAAI,EAAE;gBACJ,UAAU;gBACV,UAAU;gBACV,MAAM;gBACN,SAAS;aACV;YACD,QAAQ,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,SAAS;SACjC,CAAC;IACJ,CAAC;IAED,gBAAgB;QACd,OAAO,IAAI,CAAC,aAAa,CAAC;IAC5B,CAAC;IAED,iBAAiB;QACf,OAAO,IAAI,CAAC,cAAc,CAAC;IAC7B,CAAC;IAED,SAAS;QACP,OAAO,EAAE,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC;IAC5B,CAAC;IAED,YAAY,CAAC,MAAoC;QAC/C,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;YACjB,IAAI,CAAC,MAAM,CAAC,KAAK,GAAG,EAAE,GAAG,IAAI,CAAC,MAAM,CAAC,KAAK,EAAE,GAAG,MAAM,CAAC,KAAK,EAAE,CAAC;YAC9D,IAAI,CAAC,QAAQ,GAAG,cAAc,CAAC,IAAI,CAAC,aAAa,EAAE,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QACxE,CAAC;QAED,IAAI,MAAM,CAAC,WAAW,EAAE,CAAC;YACvB,IAAI,CAAC,MAAM,CAAC,WAAW,GAAG,EAAE,GAAG,IAAI,CAAC,MAAM,CAAC,WAAW,EAAE,GAAG,MAAM,CAAC,WAAW,EAAE,CAAC;QAClF,CAAC;QAED,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC;YACpB,IAAI,CAAC,MAAM,CAAC,QAAQ,GAAG,EAAE,GAAG,IAAI,CAAC,MAAM,CAAC,QAAQ,EAAE,GAAG,MAAM,CAAC,QAAQ,EAAE,CAAC;QACzE,CAAC;QAED,IAAI,MAAM,CAAC,cAAc,EAAE,CAAC;YAC1B,IAAI,CAAC,MAAM,CAAC,cAAc,GAAG,EAAE,GAAG,IAAI,CAAC,MAAM,CAAC,cAAc,EAAE,GAAG,MAAM,CAAC,cAAc,EAAE,CAAC;QAC3F,CAAC;IACH,CAAC;IAED,KAAK;QACH,IAAI,CAAC,aAAa,CAAC,KAAK,EAAE,CAAC;QAC3B,IAAI,CAAC,cAAc,CAAC,KAAK,EAAE,CAAC;QAC5B,IAAI,CAAC,QAAQ,GAAG,cAAc,CAAC,IAAI,CAAC,aAAa,EAAE,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QACtE,IAAI,CAAC,gBAAgB,GAAG,sBAAsB,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;QACpE,IAAI,CAAC,YAAY,GAAG,kBAAkB,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;IAC9D,CAAC;CACF;AAED,MAAM,UAAU,mBAAmB,CAAC,OAA8B;IAChE,OAAO,IAAI,aAAa,CAAC,OAAO,CAAC,CAAC;AACpC,CAAC"}

package/dist/planning/action-schema.d.ts

@@ -0,0 +1,48 @@
+import type { ActionSchema, ActionParameter, Precondition, Effect, PlanState, PlanAction } from '@cogitator-ai/types';
+export declare class ActionSchemaBuilder {
+    private name;
+    private description?;
+    private parameters;
+    private preconditions;
+    private effects;
+    private cost?;
+    private duration?;
+    constructor(name: string);
+    static create(name: string): ActionSchemaBuilder;
+    describe(description: string): this;
+    param(name: string, type: string, options?: Partial<ActionParameter>): this;
+    pre(condition: Precondition): this;
+    preSimple(variable: string, value: unknown): this;
+    preCompare(variable: string, operator: 'eq' | 'neq' | 'gt' | 'gte' | 'lt' | 'lte' | 'in', value: unknown): this;
+    preAnd(...conditions: Precondition[]): this;
+    preOr(...conditions: Precondition[]): this;
+    preNot(condition: Precondition): this;
+    effect(effect: Effect): this;
+    assign(variable: string, value: unknown): this;
+    increment(variable: string, amount?: number): this;
+    decrement(variable: string, amount?: number): this;
+    delete(variable: string): this;
+    conditional(condition: Precondition, thenEffects: Effect[], elseEffects?: Effect[]): this;
+    setCost(cost: number): this;
+    setDuration(duration: number): this;
+    build(): ActionSchema;
+}
+export declare class ActionRegistry {
+    private schemas;
+    register(schema: ActionSchema): void;
+    get(name: string): ActionSchema | undefined;
+    has(name: string): boolean;
+    getAll(): ActionSchema[];
+    getNames(): string[];
+    unregister(name: string): boolean;
+    clear(): void;
+}
+export declare function createAction(schemaName: string, parameters: Record<string, unknown>, id?: string): PlanAction;
+export declare function evaluatePrecondition(precondition: Precondition, state: PlanState, parameters?: Record<string, unknown>): boolean;
+export declare function applyEffect(effect: Effect, state: PlanState, parameters?: Record<string, unknown>): PlanState;
+export declare function applyAction(action: PlanAction, state: PlanState, schema: ActionSchema): PlanState;
+export declare function schemaToString(schema: ActionSchema): string;
+export declare function preconditionToString(pre: Precondition): string;
+export declare function effectToString(eff: Effect): string;
+export declare function actionToString(action: PlanAction, _schema?: ActionSchema): string;
+//# sourceMappingURL=action-schema.d.ts.map

package/dist/planning/action-schema.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"action-schema.d.ts","sourceRoot":"","sources":["../../src/planning/action-schema.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,YAAY,EACZ,eAAe,EACf,YAAY,EACZ,MAAM,EACN,SAAS,EACT,UAAU,EACX,MAAM,qBAAqB,CAAC;AAG7B,qBAAa,mBAAmB;IAC9B,OAAO,CAAC,IAAI,CAAS;IACrB,OAAO,CAAC,WAAW,CAAC,CAAS;IAC7B,OAAO,CAAC,UAAU,CAAyB;IAC3C,OAAO,CAAC,aAAa,CAAsB;IAC3C,OAAO,CAAC,OAAO,CAAgB;IAC/B,OAAO,CAAC,IAAI,CAAC,CAAS;IACtB,OAAO,CAAC,QAAQ,CAAC,CAAS;gBAEd,IAAI,EAAE,MAAM;IAIxB,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,GAAG,mBAAmB;IAIhD,QAAQ,CAAC,WAAW,EAAE,MAAM,GAAG,IAAI;IAKnC,KAAK,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,GAAE,OAAO,CAAC,eAAe,CAAM,GAAG,IAAI;IAW/E,GAAG,CAAC,SAAS,EAAE,YAAY,GAAG,IAAI;IAKlC,SAAS,CAAC,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,GAAG,IAAI;IAKjD,UAAU,CACR,QAAQ,EAAE,MAAM,EAChB,QAAQ,EAAE,IAAI,GAAG,KAAK,GAAG,IAAI,GAAG,KAAK,GAAG,IAAI,GAAG,KAAK,GAAG,IAAI,EAC3D,KAAK,EAAE,OAAO,GACb,IAAI;IAKP,MAAM,CAAC,GAAG,UAAU,EAAE,YAAY,EAAE,GAAG,IAAI;IAK3C,KAAK,CAAC,GAAG,UAAU,EAAE,YAAY,EAAE,GAAG,IAAI;IAK1C,MAAM,CAAC,SAAS,EAAE,YAAY,GAAG,IAAI;IAKrC,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI;IAK5B,MAAM,CAAC,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,GAAG,IAAI;IAK9C,SAAS,CAAC,QAAQ,EAAE,MAAM,EAAE,MAAM,GAAE,MAAU,GAAG,IAAI;IAKrD,SAAS,CAAC,QAAQ,EAAE,MAAM,EAAE,MAAM,GAAE,MAAU,GAAG,IAAI;IAKrD,MAAM,CAAC,QAAQ,EAAE,MAAM,GAAG,IAAI;IAK9B,WAAW,CAAC,SAAS,EAAE,YAAY,EAAE,WAAW,EAAE,MAAM,EAAE,EAAE,WAAW,CAAC,EAAE,MAAM,EAAE,GAAG,IAAI;IAUzF,OAAO,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI;IAK3B,WAAW,CAAC,QAAQ,EAAE,MAAM,GAAG,IAAI;IAKnC,KAAK,IAAI,YAAY;CAWtB;AAED,qBAAa,cAAc;IACzB,OAAO,CAAC,OAAO,CAAmC;IAElD,QAAQ,CAAC,MAAM,EAAE,YAAY,GAAG,IAAI;IAIpC,GAAG,CAAC,IAAI,EAAE,MAAM,GAAG,YAAY,GAAG,SAAS;IAI3C,GAAG,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO;IAI1B,MAAM,IAAI,YAAY,EAAE;IAIxB,QAAQ,IAAI,MAAM,EAAE;IAIpB,UAAU,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO;IAIjC,KAAK,IAAI,IAAI;CAGd;AAED,wBAAgB,YAAY,CAC1B,UAAU,EAAE,MAAM,EAClB,UAAU,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EACnC,EAAE,CAAC,EAAE,MAAM,GACV,UAAU,CAMZ;AAED,wBAAgB,oBAAoB,CAClC,YAAY,EAAE,YAAY,EAC1B,KAAK,EAAE,SAAS,EAChB,UAAU,GAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAM,GACvC,OAAO,CAkET;AAED,wBAAgB,WAAW,CACzB,MAAM,EAAE,MAAM,EACd,KAAK,EAAE,SAAS,EAChB,UAAU,GAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAM,GACvC,SAAS,CA2EX;AAED,wBAAgB,WAAW,CAAC,MAAM,EAAE,UAAU,EAAE,KAAK,EAAE,SAAS,EAAE,MAAM,EAAE,YAAY,GAAG,SAAS,CAQjG;AAED,wBAAgB,cAAc,CAAC,MAAM,EAAE,YAAY,GAAG,MAAM,CAyC3D;AAED,wBAAgB,oBAAoB,CAAC,GAAG,EAAE,YAAY,GAAG,MAAM,CAoC9D;AAED,wBAAgB,cAAc,CAAC,GAAG,EAAE,MAAM,GAAG,MAAM,CAyBlD;AAED,wBAAgB,cAAc,CAAC,MAAM,EAAE,UAAU,EAAE,OAAO,CAAC,EAAE,YAAY,GAAG,MAAM,CAMjF"}