@polintpro/proposit-core 0.8.2 → 0.8.4
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/README.md +3 -3
- package/dist/cli/commands/analysis.d.ts.map +1 -1
- package/dist/cli/commands/analysis.js +148 -42
- package/dist/cli/commands/analysis.js.map +1 -1
- package/dist/cli/commands/graph.d.ts +1 -1
- package/dist/cli/commands/graph.d.ts.map +1 -1
- package/dist/cli/commands/graph.js +61 -26
- package/dist/cli/commands/graph.js.map +1 -1
- package/dist/cli/output.d.ts.map +1 -1
- package/dist/cli/output.js +4 -0
- package/dist/cli/output.js.map +1 -1
- package/dist/cli/storage/analysis.d.ts +2 -1
- package/dist/cli/storage/analysis.d.ts.map +1 -1
- package/dist/cli/storage/analysis.js +40 -2
- package/dist/cli/storage/analysis.js.map +1 -1
- package/dist/lib/core/argument-engine.d.ts +6 -0
- package/dist/lib/core/argument-engine.d.ts.map +1 -1
- package/dist/lib/core/argument-engine.js +281 -11
- package/dist/lib/core/argument-engine.js.map +1 -1
- package/dist/lib/core/evaluation/grading.d.ts +28 -0
- package/dist/lib/core/evaluation/grading.d.ts.map +1 -0
- package/dist/lib/core/evaluation/grading.js +44 -0
- package/dist/lib/core/evaluation/grading.js.map +1 -0
- package/dist/lib/core/premise-engine.d.ts.map +1 -1
- package/dist/lib/core/premise-engine.js +19 -13
- package/dist/lib/core/premise-engine.js.map +1 -1
- package/dist/lib/index.d.ts +2 -0
- package/dist/lib/index.d.ts.map +1 -1
- package/dist/lib/index.js +1 -0
- package/dist/lib/index.js.map +1 -1
- package/dist/lib/schemata/analysis.d.ts +1 -1
- package/dist/lib/schemata/analysis.d.ts.map +1 -1
- package/dist/lib/schemata/analysis.js +2 -2
- package/dist/lib/schemata/analysis.js.map +1 -1
- package/dist/lib/types/evaluation.d.ts +5 -3
- package/dist/lib/types/evaluation.d.ts.map +1 -1
- package/package.json +7 -2
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"graph.js","sourceRoot":"","sources":["../../../src/cli/commands/graph.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAA;AACnC,OAAO,EAAE,aAAa,EAAE,mBAAmB,EAAE,MAAM,cAAc,CAAA;AACjE,OAAO,EAAE,YAAY,EAAE,cAAc,EAAE,MAAM,6BAA6B,CAAA;AAS1E,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,cAAc,CAAA;AAC9D,OAAO,EACH,YAAY,EACZ,uBAAuB,EACvB,kBAAkB,GACrB,MAAM,wBAAwB,CAAA;AAC/B,OAAO,EAAE,aAAa,EAAE,MAAM,yBAAyB,CAAA;AAEvD,SAAS,SAAS,CAAC,CAAS;IACxB,OAAO,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,KAAK,CAAC,CAAA;AACxD,CAAC;AAED,SAAS,UAAU,CAAC,CAAS;IACzB,OAAO,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,CAAA;AAC/E,CAAC;AAED,SAAS,QAAQ,CAAC,CAAS,EAAE,QAAgB;IACzC,MAAM,KAAK,GAAa,EAAE,CAAA;IAC1B,MAAM,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAA;IAC5B,IAAI,OAAO,GAAG,EAAE,CAAA;IAChB,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACvB,IAAI,OAAO,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,GAAG,IAAI,CAAC,MAAM,GAAG,QAAQ,EAAE,CAAC;YACzD,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAA;YACnB,OAAO,GAAG,IAAI,CAAA;QAClB,CAAC;aAAM,CAAC;YACJ,OAAO,GAAG,OAAO,CAAC,CAAC,CAAC,OAAO,GAAG,GAAG,GAAG,IAAI,CAAC,CAAC,CAAC,IAAI,CAAA;QACnD,CAAC;IACL,CAAC;IACD,IAAI,OAAO;QAAE,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAA;IAChC,OAAO,KAAK,CAAA;AAChB,CAAC;AAED,SAAS,OAAO,CAAC,EAAU;IACvB,OAAO,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;AACzB,CAAC;AAED,SAAS,aAAa,CAAC,EAAU;IAC7B,QAAQ,EAAE,EAAE,CAAC;QACT,KAAK,KAAK;YACN,OAAO,KAAK,CAAA;QAChB,KAAK,KAAK;YACN,OAAO,KAAK,CAAA;QAChB,KAAK,IAAI;YACL,OAAO,IAAI,CAAA;QACf,KAAK,SAAS;YACV,OAAO,SAAS,CAAA;QACpB,KAAK,KAAK;YACN,OAAO,KAAK,CAAA;QAChB;YACI,OAAO,EAAE,CAAC,WAAW,EAAE,CAAA;IAC/B,CAAC;AACL,CAAC;AAED,SAAS,UAAU,CAAC,KAA0B;IAC1C,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,QAAQ,CAAA;IACnC,IAAI,KAAK,KAAK,KAAK;QAAE,OAAO,KAAK,CAAA;IACjC,OAAO,QAAQ,CAAA;AACnB,CAAC;AAED,SAAS,cAAc,CAAC,KAA0B;IAC9C,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,WAAW,CAAA;IACtC,IAAI,KAAK,KAAK,KAAK;QAAE,OAAO,WAAW,CAAA;IACvC,OAAO,WAAW,CAAA;AACtB,CAAC;AAQD,MAAM,UAAU,aAAa,CACzB,MAAsB,EACtB,IAAkB,EAClB,OAA4B;IAE5B,MAAM,KAAK,GAAa,EAAE,CAAA;IAC1B,MAAM,GAAG,GAAG,MAAM,CAAC,WAAW,EAA6B,CAAA;IAC3D,MAAM,KAAK,GAAG,MAAM,CAAC,YAAY,EAAE,CAAA;IACnC,MAAM,YAAY,GAAG,KAAK,CAAC,mBAAmB,CAAA;IAC9C,MAAM,SAAS,GAAG,MAAM,CAAC,YAAY,EAAE,CAAA;IAEvC,MAAM,MAAM,GAAG,IAAI,GAAG,EAAsC,CAAA;IAC5D,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;QACxB,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAA0C,CAAC,CAAA;IAChE,CAAC;IAED,MAAM,QAAQ,GAAG,OAAO,GAAG,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,YAAY,CAAA;IAEzE,KAAK,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAA;IAChC,KAAK,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAA;IAC9B,KAAK,CAAC,IAAI,CAAC,eAAe,CAAC,CAAA;IAE3B,qDAAqD;IACrD,IAAI,OAAO,EAAE,CAAC;QACV,MAAM,CAAC,GAAG,OAAO,CAAC,MAAM,CAAA;QACxB,MAAM,YAAY,GAAa,EAAE,CAAA;QACjC,IAAI,CAAC,CAAC,sBAAsB,KAAK,SAAS;YACtC,YAAY,CAAC,IAAI,CACb,eAAe,CAAC,CAAC,sBAAsB,IAAI,SAAS,EAAE,CACzD,CAAA;QACL,IAAI,CAAC,CAAC,gBAAgB,KAAK,SAAS;YAChC,YAAY,CAAC,IAAI,CACb,mBAAmB,CAAC,CAAC,gBAAgB,IAAI,SAAS,EAAE,CACvD,CAAA;QACL,IAAI,CAAC,CAAC,6BAA6B,KAAK,SAAS;YAC7C,YAAY,CAAC,IAAI,CACb,oBAAoB,CAAC,CAAC,6BAA6B,IAAI,SAAS,EAAE,CACrE,CAAA;QACL,MAAM,QAAQ,GAAG,YAAY,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;QACzC,KAAK,CAAC,IAAI,CAAC,YAAY,SAAS,CAAC,QAAQ,CAAC,MAAM,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAA;IAC5E,CAAC;SAAM,CAAC;QACJ,KAAK,CAAC,IAAI,CAAC,YAAY,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAA;IACnD,CAAC;IAED,KAAK,CAAC,IAAI,CAAC,eAAe,CAAC,CAAA;IAC3B,KAAK,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAA;IAC5B,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;IAEd,MAAM,QAAQ,GAAG,MAAM,CAAC,YAAY,EAAE,CAAA;IACtC,KAAK,MAAM,EAAE,IAAI,QAAQ,EAAE,CAAC;QACxB,MAAM,GAAG,GAAG,EAAE,CAAC,KAAK,EAAE,CAAA;QACtB,MAAM,YAAY,GAAG,GAAG,KAAK,YAAY,CAAA;QACzC,MAAM,WAAW,GAAG,WAAW,OAAO,CAAC,GAAG,CAAC,EAAE,CAAA;QAC7C,MAAM,UAAU,GAAG,EAAE,CAAC,eAAe,EAAE,IAAI,SAAS,CAAA;QACpD,MAAM,WAAW,GAAG,EAAE,CAAC,aAAa,EAA6B,CAAA;QACjE,MAAM,YAAY,GACd,OAAO,WAAW,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAA;QAClE,MAAM,YAAY,GAAG,YAAY;YAC7B,CAAC,CAAC,GAAG,SAAS,CAAC,YAAY,CAAC,MAAM,SAAS,CAAC,UAAU,CAAC,EAAE;YACzD,CAAC,CAAC,SAAS,CAAC,UAAU,CAAC,CAAA;QAE3B,MAAM,UAAU,GAAG,OAAO,EAAE,cAAc,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;QAEnD,KAAK,CAAC,IAAI,CAAC,cAAc,WAAW,IAAI,CAAC,CAAA;QAEzC,IAAI,OAAO,IAAI,UAAU,EAAE,SAAS,KAAK,SAAS,EAAE,CAAC;YACjD,MAAM,WAAW,GAAG,UAAU,CAAC,UAAU,CAAC,SAAS,CAAC,CAAA;YACpD,KAAK,CAAC,IAAI,CAAC,cAAc,YAAY,IAAI,CAAC,CAAA;YAC1C,KAAK,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAA;YAC7B,KAAK,CAAC,IAAI,CAAC,aAAa,WAAW,GAAG,CAAC,CAAA;YACvC,KAAK,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAA;QACjC,CAAC;aAAM,IAAI,YAAY,EAAE,CAAC;YACtB,KAAK,CAAC,IAAI,CAAC,cAAc,YAAY,kBAAkB,CAAC,CAAA;YACxD,KAAK,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAA;YAC7B,KAAK,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAA;YAC5B,KAAK,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAA;QACjC,CAAC;aAAM,CAAC;YACJ,KAAK,CAAC,IAAI,CAAC,cAAc,YAAY,IAAI,CAAC,CAAA;YAC1C,KAAK,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAA;YAC/B,KAAK,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAA;QACnC,CAAC;QAED,MAAM,WAAW,GAAG,EAAE,CAAC,cAAc,EAAE,CAAA;QAEvC,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC3B,KAAK,CAAC,IAAI,CACN,QAAQ,OAAO,CAAC,GAAG,CAAC,4CAA4C,CACnE,CAAA;QACL,CAAC;QAED,KAAK,MAAM,IAAI,IAAI,WAAW,EAAE,CAAC;YAC7B,MAAM,GAAG,GAAG,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;YAC5B,IAAI,KAAa,CAAA;YACjB,IAAI,KAAa,CAAA;YACjB,MAAM,KAAK,GAAa,EAAE,CAAA;YAE1B,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;gBAC3B,MAAM,CAAC,GAAG,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,CAAA;gBACrC,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAA;gBAC1B,KAAK,GAAG,KAAK,CAAA;YACjB,CAAC;iBAAM,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;gBAClC,KAAK,GAAG,aAAa,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAA;gBACpC,KAAK,GAAG,SAAS,CAAA;YACrB,CAAC;iBAAM,CAAC;gBACJ,KAAK,GAAG,QAAQ,CAAA;gBAChB,KAAK,GAAG,SAAS,CAAA;YACrB,CAAC;YAED,KAAK,CAAC,IAAI,CAAC,UAAU,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC,CAAA;YACzC,KAAK,CAAC,IAAI,CAAC,SAAS,KAAK,EAAE,CAAC,CAAA;YAE5B,iDAAiD;YACjD,IAAI,OAAO,IAAI,UAAU,EAAE,CAAC;gBACxB,MAAM,SAAS,GAAG,UAAU,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;gBACtD,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;oBAC1B,KAAK,CAAC,IAAI,CAAC,cAAc,CAAC,CAAA;oBAC1B,KAAK,CAAC,IAAI,CAAC,aAAa,cAAc,CAAC,SAAS,CAAC,EAAE,CAAC,CAAA;gBACxD,CAAC;gBACD,IAAI,OAAO,CAAC,qBAAqB,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC;oBAC7C,KAAK,CAAC,IAAI,CAAC,eAAe,CAAC,CAAA;oBAC3B,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,CAAA;gBAC3B,CAAC;YACL,CAAC;YAED,KAAK,CAAC,IAAI,CAAC,QAAQ,GAAG,MAAM,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;QACpD,CAAC;QAED,gEAAgE;QAChE,iEAAiE;QACjE,MAAM,UAAU,GAAG,CAAC,GAAG,WAAW,CAAC,CAAC,IAAI,CACpC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,GAAG,CAAC,CAAC,QAAQ,CACpC,CAAA;QACD,KAAK,MAAM,IAAI,IAAI,UAAU,EAAE,CAAC;YAC5B,IAAI,IAAI,CAAC,QAAQ,KAAK,IAAI,EAAE,CAAC;gBACzB,KAAK,CAAC,IAAI,CACN,QAAQ,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,SAAS,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAC9D,CAAA;YACL,CAAC;QACL,CAAC;QAED,+CAA+C;QAC/C,KAAK,CAAC,IAAI,CACN,QAAQ,OAAO,CAAC,GAAG,CAAC,6CAA6C,CACpE,CAAA;QAED,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;QACjB,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;IAClB,CAAC;IAED,+CAA+C;IAC/C,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;QACxB,MAAM,KAAK,GAAG,CAA0C,CAAA;QACxD,IAAI,YAAoB,CAAA;QACxB,IAAI,SAAiB,CAAA;QAErB,IAAI,YAAY,CAAC,KAAK,CAAC,EAAE,CAAC;YACtB,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,EAAE,KAAK,CAAC,YAAY,CAAC,CAAA;YAChE,MAAM,UAAU,GACZ,KAAK;gBACL,OAAQ,KAAiC,CAAC,KAAK,KAAK,QAAQ;gBACxD,CAAC,CAAG,KAAiC,CAAC,KAAgB;gBACtD,CAAC,CAAC,GAAG,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,KAAK,CAAC,YAAY,EAAE,CAAA;YAC9D,YAAY,GAAG,GAAG,KAAK,CAAC,MAAM,cAAc,SAAS,CAAC,UAAU,CAAC,GAAG,CAAA;YACpE,SAAS,GAAG,aAAa,CAAA;QAC7B,CAAC;aAAM,CAAC;YACJ,YAAY,GAAG,GAAG,KAAK,CAAC,MAAM,oBAAoB,CAAA;YAClD,SAAS,GAAG,WAAW,CAAA;QAC3B,CAAC;QAED,mDAAmD;QACnD,IAAI,OAAO,EAAE,CAAC;YACV,8CAA8C;YAC9C,IAAI,QAAyC,CAAA;YAC7C,KAAK,MAAM,EAAE,IAAI,OAAO,CAAC,cAAc,CAAC,MAAM,EAAE,EAAE,CAAC;gBAC/C,IAAI,EAAE,CAAC,cAAc,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,SAAS,EAAE,CAAC;oBACxC,QAAQ,GAAG,EAAE,CAAC,cAAc,CAAC,CAAC,CAAC,EAAE,CAAC,CAAA;oBAClC,MAAK;gBACT,CAAC;YACL,CAAC;YACD,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;gBACzB,SAAS,GAAG,cAAc,CAAC,QAAQ,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC,CAAA;gBACtD,YAAY,IAAI,QAAQ,QAAQ,IAAI,SAAS,EAAE,CAAA;YACnD,CAAC;QACL,CAAC;QAED,KAAK,CAAC,IAAI,CACN,UAAU,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,aAAa,YAAY,uCAAuC,SAAS,KAAK,CACxG,CAAA;IACL,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;IAEd,oEAAoE;IACpE,KAAK,MAAM,EAAE,IAAI,QAAQ,EAAE,CAAC;QACxB,KAAK,MAAM,IAAI,IAAI,EAAE,CAAC,cAAc,EAAE,EAAE,CAAC;YACrC,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;gBAC3B,KAAK,CAAC,IAAI,CACN,MAAM,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,aAAa,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,kCAAkC,CAChG,CAAA;YACL,CAAC;QACL,CAAC;IACL,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;IAEd,kDAAkD;IAClD,MAAM,sBAAsB,GAAG,IAAI,GAAG,EAAU,CAAA;IAChD,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;QACxB,MAAM,KAAK,GAAG,CAA0C,CAAA;QACxD,IAAI,cAAc,CAAC,KAAK,CAAC,EAAE,CAAC;YACxB,MAAM,GAAG,GAAG,GAAG,CAAC,CAAC,EAAE,IAAI,KAAK,CAAC,cAAc,EAAE,CAAA;YAC7C,IAAI,CAAC,sBAAsB,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;gBACnC,sBAAsB,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;gBAC/B,KAAK,CAAC,IAAI,CACN,UAAU,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,SAAS,OAAO,CAAC,KAAK,CAAC,cAAc,CAAC,0CAA0C,SAAS,CAAC,KAAK,CAAC,MAAM,CAAC,mBAAmB,OAAO,CAAC,KAAK,CAAC,cAAc,CAAC,IAAI,CACrL,CAAA;YACL,CAAC;QACL,CAAC;IACL,CAAC;IAED,uCAAuC;IACvC,MAAM,UAAU,GAAa,EAAE,CAAA;IAC/B,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;QACxB,MAAM,KAAK,GAAG,CAA0C,CAAA;QACxD,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC;YAAE,SAAQ;QAClC,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,EAAE,KAAK,CAAC,YAAY,CAAC,CAAA;QAChE,IAAI,CAAC,KAAK;YAAE,SAAQ;QACpB,MAAM,GAAG,GAAG,KAAgC,CAAA;QAC5C,MAAM,KAAK,GAAG,OAAO,GAAG,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,YAAY,CAAA;QACtE,MAAM,IAAI,GAAG,OAAO,GAAG,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAA;QACzD,IAAI,CAAC,IAAI;YAAE,SAAQ;QAEnB,MAAM,SAAS,GAAG,QAAQ,CAAC,IAAI,EAAE,EAAE,CAAC;aAC/B,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;aACzB,IAAI,CAAC,OAAO,CAAC,CAAA;QAElB,UAAU,CAAC,IAAI,CACX,cAAc,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,4BAA4B;YACnD,yFAAyF;YACzF,cAAc,UAAU,CAAC,KAAK,CAAC,MAAM,CAAC,gBAAgB;YACtD,cAAc,UAAU,CAAC,KAAK,CAAC,gBAAgB;YAC/C,yBAAyB,SAAS,YAAY;YAC9C,aAAa,CACpB,CAAA;IACL,CAAC;IAED,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;QACd,KAAK,CAAC,IAAI,CAAC,yBAAyB,CAAC,CAAA;QACrC,KAAK,CAAC,IAAI,CAAC,6BAA6B,CAAC,CAAA;QACzC,KAAK,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAA;QAC5B,KAAK,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAA;QAC9B,KAAK,MAAM,IAAI,IAAI,UAAU,EAAE,CAAC;YAC5B,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QACpB,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;QAEjB,qDAAqD;QACrD,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;YACxB,MAAM,KAAK,GAAG,CAA0C,CAAA;YACxD,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC;gBAAE,SAAQ;YAClC,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,EAAE,KAAK,CAAC,YAAY,CAAC,CAAA;YAChE,IAAI,CAAC,KAAK;gBAAE,SAAQ;YACpB,MAAM,GAAG,GAAG,KAAgC,CAAA;YAC5C,IAAI,OAAO,GAAG,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,GAAG,CAAC,IAAI;gBAAE,SAAQ;YACvD,KAAK,CAAC,IAAI,CACN,UAAU,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,eAAe,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,kBAAkB,CACxE,CAAA;QACL,CAAC;IACL,CAAC;IAED,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;IACf,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;AAC3B,CAAC;AAED,MAAM,UAAU,oBAAoB,CAChC,YAAqB,EACrB,UAAkB,EAClB,OAAe;IAEf,YAAY;SACP,OAAO,CAAC,OAAO,CAAC;SAChB,WAAW,CAAC,wDAAwD,CAAC;SACrE,MAAM,CAAC,QAAQ,EAAE,+BAA+B,CAAC;SACjD,MAAM,CACH,uBAAuB,EACvB,kDAAkD,CACrD;SACA,MAAM,CAAC,KAAK,EAAE,IAA2C,EAAE,EAAE;QAC1D,MAAM,IAAI,GAAG,MAAM,mBAAmB,EAAE,CAAA;QACxC,MAAM,MAAM,GAAG,MAAM,aAAa,CAAC,UAAU,EAAE,OAAO,EAAE,IAAI,CAAC,CAAA;QAE7D,IAAI,OAAuC,CAAA;QAE3C,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;YAChB,MAAM,QAAQ,GAAG,uBAAuB,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAA;YACvD,IACI,CAAC,CAAC,MAAM,kBAAkB,CAAC,UAAU,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC,EAC5D,CAAC;gBACC,SAAS,CAAC,kBAAkB,QAAQ,mBAAmB,CAAC,CAAA;YAC5D,CAAC;YAED,MAAM,CAAC,YAAY,EAAE,YAAY,CAAC,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC;gBACnD,YAAY,CAAC,UAAU,EAAE,OAAO,EAAE,QAAQ,CAAC;gBAC3C,aAAa,CAAC,UAAU,EAAE,OAAO,CAAC;aACrC,CAAC,CAAA;YAEF,MAAM,UAAU,GAAG,IAAI,GAAG,CACtB,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAC5C,CAAA;YACD,MAAM,kBAAkB,GAAmC,EAAE,CAAA;YAC7D,KAAK,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,IAAI,MAAM,CAAC,OAAO,CACnC,YAAY,CAAC,WAAW,CAC3B,EAAE,CAAC;gBACA,MAAM,EAAE,GAAG,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;gBAC9B,IAAI,EAAE,KAAK,SAAS;oBAAE,kBAAkB,CAAC,EAAE,CAAC,GAAG,GAAG,CAAA;YACtD,CAAC;YAED,MAAM,MAAM,GAAG,MAAM,CAAC,QAAQ,CAC1B;gBACI,SAAS,EAAE,kBAAkB;gBAC7B,qBAAqB,EAAE;oBACnB,GAAG,YAAY,CAAC,qBAAqB;iBACxC;aACJ,EACD;gBACI,uBAAuB,EAAE,IAAI;gBAC7B,kBAAkB,EAAE,KAAK;gBACzB,aAAa,EAAE,KAAK;aACvB,CACJ,CAAA;YAED,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC;gBACb,SAAS,CACL,kEAAkE,CACrE,CAAA;YACL,CAAC;YAED,MAAM,cAAc,GAAG,IAAI,GAAG,EAG3B,CAAA;YACH,IAAI,MAAM,CAAC,UAAU;gBACjB,cAAc,CAAC,GAAG,CACd,MAAM,CAAC,UAAU,CAAC,SAAS,EAC3B,MAAM,CAAC,UAAU,CACpB,CAAA;YACL,KAAK,MAAM,EAAE,IAAI,MAAM,CAAC,kBAAkB,IAAI,EAAE;gBAC5C,cAAc,CAAC,GAAG,CAAC,EAAE,CAAC,SAAS,EAAE,EAAE,CAAC,CAAA;YACxC,KAAK,MAAM,EAAE,IAAI,MAAM,CAAC,kBAAkB,IAAI,EAAE;gBAC5C,cAAc,CAAC,GAAG,CAAC,EAAE,CAAC,SAAS,EAAE,EAAE,CAAC,CAAA;YAExC,OAAO,GAAG;gBACN,MAAM;gBACN,cAAc;gBACd,qBAAqB,EAAE,IAAI,GAAG,CAC1B,YAAY,CAAC,qBAAqB,CACrC;aACJ,CAAA;QACL,CAAC;QAED,MAAM,GAAG,GAAG,aAAa,CAAC,MAAM,EAAE,IAAI,EAAE,OAAO,CAAC,CAAA;QAEhD,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;YACZ,SAAS,CAAC,EAAE,GAAG,EAAE,CAAC,CAAA;QACtB,CAAC;aAAM,CAAC;YACJ,SAAS,CAAC,GAAG,CAAC,CAAA;QAClB,CAAC;IACL,CAAC,CAAC,CAAA;AACV,CAAC"}
|
|
1
|
+
{"version":3,"file":"graph.js","sourceRoot":"","sources":["../../../src/cli/commands/graph.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAA;AACnC,OAAO,EAAE,aAAa,EAAE,mBAAmB,EAAE,MAAM,cAAc,CAAA;AACjE,OAAO,EAAE,YAAY,EAAE,cAAc,EAAE,MAAM,6BAA6B,CAAA;AAO1E,OAAO,EAAE,eAAe,EAAE,MAAM,sCAAsC,CAAA;AAGtE,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,cAAc,CAAA;AAC9D,OAAO,EACH,YAAY,EACZ,uBAAuB,EACvB,kBAAkB,GACrB,MAAM,wBAAwB,CAAA;AAC/B,OAAO,EAAE,aAAa,EAAE,MAAM,yBAAyB,CAAA;AAEvD,SAAS,SAAS,CAAC,CAAS;IACxB,OAAO,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,KAAK,CAAC,CAAA;AACxD,CAAC;AAED,SAAS,UAAU,CAAC,CAAS;IACzB,OAAO,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,MAAM,CAAC,CAAA;AAC/E,CAAC;AAED,SAAS,QAAQ,CAAC,CAAS,EAAE,QAAgB;IACzC,MAAM,KAAK,GAAa,EAAE,CAAA;IAC1B,MAAM,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAA;IAC5B,IAAI,OAAO,GAAG,EAAE,CAAA;IAChB,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACvB,IAAI,OAAO,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,GAAG,IAAI,CAAC,MAAM,GAAG,QAAQ,EAAE,CAAC;YACzD,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAA;YACnB,OAAO,GAAG,IAAI,CAAA;QAClB,CAAC;aAAM,CAAC;YACJ,OAAO,GAAG,OAAO,CAAC,CAAC,CAAC,OAAO,GAAG,GAAG,GAAG,IAAI,CAAC,CAAC,CAAC,IAAI,CAAA;QACnD,CAAC;IACL,CAAC;IACD,IAAI,OAAO;QAAE,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAA;IAChC,OAAO,KAAK,CAAA;AAChB,CAAC;AAED,SAAS,OAAO,CAAC,EAAU;IACvB,OAAO,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;AACzB,CAAC;AAED,SAAS,aAAa,CAAC,EAAU;IAC7B,QAAQ,EAAE,EAAE,CAAC;QACT,KAAK,KAAK;YACN,OAAO,KAAK,CAAA;QAChB,KAAK,KAAK;YACN,OAAO,KAAK,CAAA;QAChB,KAAK,IAAI;YACL,OAAO,IAAI,CAAA;QACf,KAAK,SAAS;YACV,OAAO,SAAS,CAAA;QACpB,KAAK,KAAK;YACN,OAAO,KAAK,CAAA;QAChB;YACI,OAAO,EAAE,CAAC,WAAW,EAAE,CAAA;IAC/B,CAAC;AACL,CAAC;AAED,SAAS,UAAU,CAAC,KAA0B;IAC1C,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,QAAQ,CAAA;IACnC,IAAI,KAAK,KAAK,KAAK;QAAE,OAAO,KAAK,CAAA;IACjC,OAAO,QAAQ,CAAA;AACnB,CAAC;AAED,SAAS,cAAc,CAAC,KAA0B,EAAE,OAAiB;IACjE,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO;QAAE,OAAO,WAAW,CAAA,CAAC,2BAA2B;IAC7E,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,WAAW,CAAA;IACtC,IAAI,KAAK,KAAK,KAAK;QAAE,OAAO,WAAW,CAAA;IACvC,OAAO,WAAW,CAAA;AACtB,CAAC;AAQD,MAAM,UAAU,aAAa,CACzB,MAAsB,EACtB,IAAkB,EAClB,OAA4B;IAE5B,MAAM,KAAK,GAAa,EAAE,CAAA;IAC1B,MAAM,GAAG,GAAG,MAAM,CAAC,WAAW,EAA6B,CAAA;IAC3D,MAAM,KAAK,GAAG,MAAM,CAAC,YAAY,EAAE,CAAA;IACnC,MAAM,YAAY,GAAG,KAAK,CAAC,mBAAmB,CAAA;IAC9C,MAAM,SAAS,GAAG,MAAM,CAAC,YAAY,EAAE,CAAA;IAEvC,MAAM,MAAM,GAAG,IAAI,GAAG,EAAsC,CAAA;IAC5D,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;QACxB,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAA0C,CAAC,CAAA;IAChE,CAAC;IAED,MAAM,QAAQ,GAAG,OAAO,GAAG,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,YAAY,CAAA;IAEzE,KAAK,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAA;IAChC,KAAK,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAA;IAC9B,KAAK,CAAC,IAAI,CAAC,eAAe,CAAC,CAAA;IAE3B,KAAK,CAAC,IAAI,CAAC,YAAY,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAA;IAC/C,KAAK,CAAC,IAAI,CAAC,eAAe,CAAC,CAAA;IAC3B,KAAK,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAA;IAC5B,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;IAEd,qCAAqC;IACrC,IAAI,OAAO,EAAE,CAAC;QACV,MAAM,CAAC,GAAG,OAAO,CAAC,MAAM,CAAA;QACxB,MAAM,OAAO,GAAG,eAAe,CAAC,CAAC,CAAC,CAAA;QAElC,MAAM,aAAa,GAA2B;YAC1C,KAAK,EAAE,SAAS;YAChB,MAAM,EAAE,SAAS;YACjB,GAAG,EAAE,SAAS;YACd,IAAI,EAAE,SAAS;SAClB,CAAA;QACD,MAAM,cAAc,GAAG,aAAa,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,SAAS,CAAA;QAEhE,MAAM,GAAG,GAAG,CAAC,CAAkC,EAAU,EAAE,CACvD,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAA;QAE3D,MAAM,WAAW,GAAG;YAChB,mFAAmF;YACnF,oDAAoD,cAAc,QAAQ,UAAU,CAAC,OAAO,CAAC,KAAK,CAAC,uBAAuB;YAC1H,yDAAyD,GAAG,CAAC,CAAC,CAAC,sBAAsB,CAAC,YAAY;YAClG,6DAA6D,GAAG,CAAC,CAAC,CAAC,yBAAyB,CAAC,YAAY;YACzG,8DAA8D,GAAG,CAAC,CAAC,CAAC,cAAc,CAAC,YAAY;YAC/F,6DAA6D,GAAG,CAAC,CAAC,CAAC,gBAAgB,CAAC,YAAY;YAChG,UAAU;SACb,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;QAEV,KAAK,CAAC,IAAI,CAAC,0CAA0C,WAAW,KAAK,CAAC,CAAA;QACtE,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;IAClB,CAAC;IAED,MAAM,QAAQ,GAAG,MAAM,CAAC,YAAY,EAAE,CAAA;IACtC,KAAK,MAAM,EAAE,IAAI,QAAQ,EAAE,CAAC;QACxB,MAAM,GAAG,GAAG,EAAE,CAAC,KAAK,EAAE,CAAA;QACtB,MAAM,YAAY,GAAG,GAAG,KAAK,YAAY,CAAA;QACzC,MAAM,WAAW,GAAG,WAAW,OAAO,CAAC,GAAG,CAAC,EAAE,CAAA;QAC7C,MAAM,UAAU,GAAG,EAAE,CAAC,eAAe,EAAE,IAAI,SAAS,CAAA;QACpD,MAAM,WAAW,GAAG,EAAE,CAAC,aAAa,EAA6B,CAAA;QACjE,MAAM,YAAY,GACd,OAAO,WAAW,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAA;QAClE,MAAM,YAAY,GAAG,YAAY;YAC7B,CAAC,CAAC,GAAG,SAAS,CAAC,YAAY,CAAC,MAAM,SAAS,CAAC,UAAU,CAAC,EAAE;YACzD,CAAC,CAAC,SAAS,CAAC,UAAU,CAAC,CAAA;QAE3B,MAAM,UAAU,GAAG,OAAO,EAAE,cAAc,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;QAEnD,KAAK,CAAC,IAAI,CAAC,cAAc,WAAW,IAAI,CAAC,CAAA;QAEzC,IAAI,OAAO,IAAI,UAAU,EAAE,SAAS,KAAK,SAAS,EAAE,CAAC;YACjD,8DAA8D;YAC9D,2DAA2D;YAC3D,MAAM,SAAS,GACX,UAAU,CAAC,SAAS,KAAK,IAAI;gBAC7B,UAAU,CAAC,mBAAmB,EAAE,IAAI,KAAK,SAAS;gBAClD,UAAU,CAAC,mBAAmB,CAAC,eAAe,KAAK,IAAI,CAAA;YAC3D,MAAM,WAAW,GAAG,SAAS;gBACzB,CAAC,CAAC,WAAW;gBACb,CAAC,CAAC,UAAU,CAAC,UAAU,CAAC,SAAS,CAAC,CAAA;YACtC,KAAK,CAAC,IAAI,CAAC,cAAc,YAAY,IAAI,CAAC,CAAA;YAC1C,KAAK,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAA;YAC7B,KAAK,CAAC,IAAI,CAAC,aAAa,WAAW,GAAG,CAAC,CAAA;YACvC,KAAK,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAA;QACjC,CAAC;aAAM,IAAI,YAAY,EAAE,CAAC;YACtB,KAAK,CAAC,IAAI,CAAC,cAAc,YAAY,kBAAkB,CAAC,CAAA;YACxD,KAAK,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAA;YAC7B,KAAK,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAA;YAC5B,KAAK,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAA;QACjC,CAAC;aAAM,CAAC;YACJ,KAAK,CAAC,IAAI,CAAC,cAAc,YAAY,IAAI,CAAC,CAAA;YAC1C,KAAK,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAA;YAC/B,KAAK,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAA;QACnC,CAAC;QAED,MAAM,WAAW,GAAG,EAAE,CAAC,cAAc,EAAE,CAAA;QAEvC,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC3B,KAAK,CAAC,IAAI,CACN,QAAQ,OAAO,CAAC,GAAG,CAAC,4CAA4C,CACnE,CAAA;QACL,CAAC;QAED,KAAK,MAAM,IAAI,IAAI,WAAW,EAAE,CAAC;YAC7B,MAAM,GAAG,GAAG,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;YAC5B,IAAI,KAAa,CAAA;YACjB,IAAI,KAAa,CAAA;YACjB,MAAM,KAAK,GAAa,EAAE,CAAA;YAE1B,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;gBAC3B,MAAM,CAAC,GAAG,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,CAAA;gBACrC,KAAK,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAA;gBAC1B,KAAK,GAAG,KAAK,CAAA;YACjB,CAAC;iBAAM,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;gBAClC,KAAK,GAAG,aAAa,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAA;gBACpC,KAAK,GAAG,SAAS,CAAA;YACrB,CAAC;iBAAM,CAAC;gBACJ,KAAK,GAAG,QAAQ,CAAA;gBAChB,KAAK,GAAG,SAAS,CAAA;YACrB,CAAC;YAED,KAAK,CAAC,IAAI,CAAC,UAAU,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC,CAAA;YACzC,KAAK,CAAC,IAAI,CAAC,SAAS,KAAK,EAAE,CAAC,CAAA;YAE5B,iDAAiD;YACjD,IAAI,OAAO,IAAI,UAAU,EAAE,CAAC;gBACxB,IAAI,SAAS,GACT,UAAU,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;gBACxC,8DAA8D;gBAC9D,gEAAgE;gBAChE,IACI,SAAS,KAAK,SAAS;oBACvB,IAAI,CAAC,IAAI,KAAK,UAAU;oBACxB,OAAO,CAAC,MAAM,CAAC,UAAU,EAC3B,CAAC;oBACC,MAAM,MAAM,GACR,OAAO,CAAC,MAAM,CAAC,UAAU,CAAC,SAAS,CAAC,IAAI,CAAC,UAAU,CAAC,CAAA;oBACxD,IAAI,MAAM,KAAK,SAAS;wBAAE,SAAS,GAAG,MAAM,CAAA;gBAChD,CAAC;gBACD,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;oBAC1B,KAAK,CAAC,IAAI,CAAC,cAAc,CAAC,CAAA;oBAC1B,KAAK,CAAC,IAAI,CAAC,aAAa,cAAc,CAAC,SAAS,CAAC,EAAE,CAAC,CAAA;gBACxD,CAAC;gBACD,MAAM,OAAO,GAAG,OAAO,CAAC,mBAAmB,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;gBACpD,IAAI,OAAO,KAAK,UAAU,EAAE,CAAC;oBACzB,KAAK,CAAC,IAAI,CAAC,eAAe,CAAC,CAAA;oBAC3B,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,CAAA;gBAC3B,CAAC;qBAAM,IAAI,OAAO,KAAK,UAAU,EAAE,CAAC;oBAChC,KAAK,CAAC,IAAI,CAAC,eAAe,CAAC,CAAA;oBAC3B,KAAK,CAAC,IAAI,CAAC,aAAa,CAAC,CAAA;gBAC7B,CAAC;YACL,CAAC;YAED,KAAK,CAAC,IAAI,CAAC,QAAQ,GAAG,MAAM,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;QACpD,CAAC;QAED,gEAAgE;QAChE,iEAAiE;QACjE,MAAM,UAAU,GAAG,CAAC,GAAG,WAAW,CAAC,CAAC,IAAI,CACpC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,GAAG,CAAC,CAAC,QAAQ,CACpC,CAAA;QACD,KAAK,MAAM,IAAI,IAAI,UAAU,EAAE,CAAC;YAC5B,IAAI,IAAI,CAAC,QAAQ,KAAK,IAAI,EAAE,CAAC;gBACzB,KAAK,CAAC,IAAI,CACN,QAAQ,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,SAAS,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAC9D,CAAA;YACL,CAAC;QACL,CAAC;QAED,+CAA+C;QAC/C,KAAK,CAAC,IAAI,CACN,QAAQ,OAAO,CAAC,GAAG,CAAC,6CAA6C,CACpE,CAAA;QAED,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;QACjB,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;IAClB,CAAC;IAED,+CAA+C;IAC/C,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;QACxB,MAAM,KAAK,GAAG,CAA0C,CAAA;QACxD,IAAI,YAAoB,CAAA;QACxB,IAAI,SAAiB,CAAA;QAErB,IAAI,YAAY,CAAC,KAAK,CAAC,EAAE,CAAC;YACtB,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,EAAE,KAAK,CAAC,YAAY,CAAC,CAAA;YAChE,MAAM,UAAU,GACZ,KAAK;gBACL,OAAQ,KAAiC,CAAC,KAAK,KAAK,QAAQ;gBACxD,CAAC,CAAG,KAAiC,CAAC,KAAgB;gBACtD,CAAC,CAAC,GAAG,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,IAAI,KAAK,CAAC,YAAY,EAAE,CAAA;YAC9D,YAAY,GAAG,GAAG,KAAK,CAAC,MAAM,cAAc,SAAS,CAAC,UAAU,CAAC,GAAG,CAAA;YACpE,SAAS,GAAG,aAAa,CAAA;QAC7B,CAAC;aAAM,CAAC;YACJ,YAAY,GAAG,GAAG,KAAK,CAAC,MAAM,oBAAoB,CAAA;YAClD,SAAS,GAAG,WAAW,CAAA;QAC3B,CAAC;QAED,mDAAmD;QACnD,IAAI,OAAO,EAAE,CAAC;YACV,8CAA8C;YAC9C,IAAI,QAAyC,CAAA;YAC7C,KAAK,MAAM,EAAE,IAAI,OAAO,CAAC,cAAc,CAAC,MAAM,EAAE,EAAE,CAAC;gBAC/C,IAAI,EAAE,CAAC,cAAc,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,SAAS,EAAE,CAAC;oBACxC,QAAQ,GAAG,EAAE,CAAC,cAAc,CAAC,CAAC,CAAC,EAAE,CAAC,CAAA;oBAClC,MAAK;gBACT,CAAC;YACL,CAAC;YACD,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;gBACzB,SAAS,GAAG,cAAc,CAAC,QAAQ,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,EAAE,CAAC,CAAA;gBACtD,YAAY,IAAI,QAAQ,QAAQ,IAAI,SAAS,EAAE,CAAA;YACnD,CAAC;QACL,CAAC;QAED,KAAK,CAAC,IAAI,CACN,UAAU,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,aAAa,YAAY,uCAAuC,SAAS,KAAK,CACxG,CAAA;IACL,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;IAEd,oEAAoE;IACpE,KAAK,MAAM,EAAE,IAAI,QAAQ,EAAE,CAAC;QACxB,KAAK,MAAM,IAAI,IAAI,EAAE,CAAC,cAAc,EAAE,EAAE,CAAC;YACrC,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;gBAC3B,KAAK,CAAC,IAAI,CACN,MAAM,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,aAAa,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,kCAAkC,CAChG,CAAA;YACL,CAAC;QACL,CAAC;IACL,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;IAEd,kDAAkD;IAClD,MAAM,sBAAsB,GAAG,IAAI,GAAG,EAAU,CAAA;IAChD,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;QACxB,MAAM,KAAK,GAAG,CAA0C,CAAA;QACxD,IAAI,cAAc,CAAC,KAAK,CAAC,EAAE,CAAC;YACxB,MAAM,GAAG,GAAG,GAAG,CAAC,CAAC,EAAE,IAAI,KAAK,CAAC,cAAc,EAAE,CAAA;YAC7C,IAAI,CAAC,sBAAsB,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;gBACnC,sBAAsB,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;gBAC/B,KAAK,CAAC,IAAI,CACN,UAAU,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,SAAS,OAAO,CAAC,KAAK,CAAC,cAAc,CAAC,0CAA0C,SAAS,CAAC,KAAK,CAAC,MAAM,CAAC,mBAAmB,OAAO,CAAC,KAAK,CAAC,cAAc,CAAC,IAAI,CACrL,CAAA;YACL,CAAC;QACL,CAAC;IACL,CAAC;IAED,uCAAuC;IACvC,MAAM,UAAU,GAAa,EAAE,CAAA;IAC/B,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;QACxB,MAAM,KAAK,GAAG,CAA0C,CAAA;QACxD,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC;YAAE,SAAQ;QAClC,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,EAAE,KAAK,CAAC,YAAY,CAAC,CAAA;QAChE,IAAI,CAAC,KAAK;YAAE,SAAQ;QACpB,MAAM,GAAG,GAAG,KAAgC,CAAA;QAC5C,MAAM,KAAK,GAAG,OAAO,GAAG,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,YAAY,CAAA;QACtE,MAAM,IAAI,GAAG,OAAO,GAAG,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAA;QACzD,IAAI,CAAC,IAAI;YAAE,SAAQ;QAEnB,MAAM,SAAS,GAAG,QAAQ,CAAC,IAAI,EAAE,EAAE,CAAC;aAC/B,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;aACzB,IAAI,CAAC,OAAO,CAAC,CAAA;QAElB,UAAU,CAAC,IAAI,CACX,cAAc,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,4BAA4B;YACnD,yFAAyF;YACzF,cAAc,UAAU,CAAC,KAAK,CAAC,MAAM,CAAC,gBAAgB;YACtD,cAAc,UAAU,CAAC,KAAK,CAAC,gBAAgB;YAC/C,yBAAyB,SAAS,YAAY;YAC9C,aAAa,CACpB,CAAA;IACL,CAAC;IAED,IAAI,UAAU,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACxB,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;QACd,KAAK,CAAC,IAAI,CAAC,yBAAyB,CAAC,CAAA;QACrC,KAAK,CAAC,IAAI,CAAC,6BAA6B,CAAC,CAAA;QACzC,KAAK,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAA;QAC5B,KAAK,CAAC,IAAI,CAAC,kBAAkB,CAAC,CAAA;QAC9B,KAAK,MAAM,IAAI,IAAI,UAAU,EAAE,CAAC;YAC5B,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QACpB,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;QAEjB,qDAAqD;QACrD,KAAK,MAAM,CAAC,IAAI,SAAS,EAAE,CAAC;YACxB,MAAM,KAAK,GAAG,CAA0C,CAAA;YACxD,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC;gBAAE,SAAQ;YAClC,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,EAAE,KAAK,CAAC,YAAY,CAAC,CAAA;YAChE,IAAI,CAAC,KAAK;gBAAE,SAAQ;YACpB,MAAM,GAAG,GAAG,KAAgC,CAAA;YAC5C,IAAI,OAAO,GAAG,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,GAAG,CAAC,IAAI;gBAAE,SAAQ;YACvD,KAAK,CAAC,IAAI,CACN,UAAU,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,eAAe,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,kBAAkB,CACxE,CAAA;QACL,CAAC;IACL,CAAC;IAED,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;IACf,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;AAC3B,CAAC;AAED,MAAM,UAAU,oBAAoB,CAChC,YAAqB,EACrB,UAAkB,EAClB,OAAe;IAEf,YAAY;SACP,OAAO,CAAC,OAAO,CAAC;SAChB,WAAW,CAAC,wDAAwD,CAAC;SACrE,MAAM,CAAC,QAAQ,EAAE,+BAA+B,CAAC;SACjD,MAAM,CACH,uBAAuB,EACvB,kDAAkD,CACrD;SACA,MAAM,CAAC,KAAK,EAAE,IAA2C,EAAE,EAAE;QAC1D,MAAM,IAAI,GAAG,MAAM,mBAAmB,EAAE,CAAA;QACxC,MAAM,MAAM,GAAG,MAAM,aAAa,CAAC,UAAU,EAAE,OAAO,EAAE,IAAI,CAAC,CAAA;QAE7D,IAAI,OAAuC,CAAA;QAE3C,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;YAChB,MAAM,QAAQ,GAAG,MAAM,uBAAuB,CAC1C,IAAI,CAAC,QAAQ,EACb,UAAU,EACV,OAAO,CACV,CAAA;YACD,IACI,CAAC,CAAC,MAAM,kBAAkB,CAAC,UAAU,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC,EAC5D,CAAC;gBACC,SAAS,CAAC,kBAAkB,QAAQ,mBAAmB,CAAC,CAAA;YAC5D,CAAC;YAED,MAAM,CAAC,YAAY,EAAE,YAAY,CAAC,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC;gBACnD,YAAY,CAAC,UAAU,EAAE,OAAO,EAAE,QAAQ,CAAC;gBAC3C,aAAa,CAAC,UAAU,EAAE,OAAO,CAAC;aACrC,CAAC,CAAA;YAEF,MAAM,UAAU,GAAG,IAAI,GAAG,CACtB,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAC5C,CAAA;YACD,MAAM,kBAAkB,GAAmC,EAAE,CAAA;YAC7D,KAAK,MAAM,CAAC,GAAG,EAAE,GAAG,CAAC,IAAI,MAAM,CAAC,OAAO,CACnC,YAAY,CAAC,WAAW,CAC3B,EAAE,CAAC;gBACA,MAAM,EAAE,GAAG,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,CAAA;gBAC9B,IAAI,EAAE,KAAK,SAAS;oBAAE,kBAAkB,CAAC,EAAE,CAAC,GAAG,GAAG,CAAA;YACtD,CAAC;YAED,MAAM,MAAM,GAAG,MAAM,CAAC,QAAQ,CAC1B;gBACI,SAAS,EAAE,kBAAkB;gBAC7B,mBAAmB,EAAE;oBACjB,GAAG,YAAY,CAAC,mBAAmB;iBACtC;aACJ,EACD;gBACI,uBAAuB,EAAE,IAAI;gBAC7B,kBAAkB,EAAE,IAAI;gBACxB,aAAa,EAAE,KAAK;aACvB,CACJ,CAAA;YAED,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC;gBACb,SAAS,CACL,kEAAkE,CACrE,CAAA;YACL,CAAC;YAED,MAAM,cAAc,GAAG,IAAI,GAAG,EAG3B,CAAA;YACH,IAAI,MAAM,CAAC,UAAU;gBACjB,cAAc,CAAC,GAAG,CACd,MAAM,CAAC,UAAU,CAAC,SAAS,EAC3B,MAAM,CAAC,UAAU,CACpB,CAAA;YACL,KAAK,MAAM,EAAE,IAAI,MAAM,CAAC,kBAAkB,IAAI,EAAE;gBAC5C,cAAc,CAAC,GAAG,CAAC,EAAE,CAAC,SAAS,EAAE,EAAE,CAAC,CAAA;YACxC,KAAK,MAAM,EAAE,IAAI,MAAM,CAAC,kBAAkB,IAAI,EAAE;gBAC5C,cAAc,CAAC,GAAG,CAAC,EAAE,CAAC,SAAS,EAAE,EAAE,CAAC,CAAA;YAExC,OAAO,GAAG;gBACN,MAAM;gBACN,cAAc;gBACd,mBAAmB,EAAE;oBACjB,GAAG,YAAY,CAAC,mBAAmB;iBACtC;aACJ,CAAA;QACL,CAAC;QAED,MAAM,GAAG,GAAG,aAAa,CAAC,MAAM,EAAE,IAAI,EAAE,OAAO,CAAC,CAAA;QAEhD,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;YACZ,SAAS,CAAC,EAAE,GAAG,EAAE,CAAC,CAAA;QACtB,CAAC;aAAM,CAAC;YACJ,SAAS,CAAC,GAAG,CAAC,CAAA;QAClB,CAAC;IACL,CAAC,CAAC,CAAA;AACV,CAAC"}
|
package/dist/cli/output.d.ts.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"output.d.ts","sourceRoot":"","sources":["../../src/cli/output.ts"],"names":[],"mappings":"AAGA,wBAAgB,SAAS,CAAC,KAAK,EAAE,OAAO,GAAG,IAAI,CAE9C;AAED,wBAAgB,SAAS,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,CAE5C;AAED,wBAAgB,YAAY,CAAC,OAAO,EAAE,MAAM,GAAG,IAAI,CAElD;AAED,wBAAgB,SAAS,CAAC,OAAO,EAAE,MAAM,EAAE,IAAI,SAAI,GAAG,KAAK,CAG1D;AAED,wBAAsB,mBAAmB,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,
|
|
1
|
+
{"version":3,"file":"output.d.ts","sourceRoot":"","sources":["../../src/cli/output.ts"],"names":[],"mappings":"AAGA,wBAAgB,SAAS,CAAC,KAAK,EAAE,OAAO,GAAG,IAAI,CAE9C;AAED,wBAAgB,SAAS,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,CAE5C;AAED,wBAAgB,YAAY,CAAC,OAAO,EAAE,MAAM,GAAG,IAAI,CAElD;AAED,wBAAgB,SAAS,CAAC,OAAO,EAAE,MAAM,EAAE,IAAI,SAAI,GAAG,KAAK,CAG1D;AAED,wBAAsB,mBAAmB,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAwBvE"}
|
package/dist/cli/output.js
CHANGED
|
@@ -27,6 +27,10 @@ export async function requireConfirmation(prompt) {
|
|
|
27
27
|
await new Promise((resolve) => {
|
|
28
28
|
rl.once("line", (line) => {
|
|
29
29
|
rl.close();
|
|
30
|
+
if (input !== process.stdin && "destroy" in input) {
|
|
31
|
+
;
|
|
32
|
+
input.destroy();
|
|
33
|
+
}
|
|
30
34
|
if (line.trim() !== "confirm") {
|
|
31
35
|
errorExit("Aborted.");
|
|
32
36
|
}
|
package/dist/cli/output.js.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"output.js","sourceRoot":"","sources":["../../src/cli/output.ts"],"names":[],"mappings":"AAAA,OAAO,QAAQ,MAAM,eAAe,CAAA;AACpC,OAAO,EAAE,MAAM,SAAS,CAAA;AAExB,MAAM,UAAU,SAAS,CAAC,KAAc;IACpC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,GAAG,IAAI,CAAC,CAAA;AAC/D,CAAC;AAED,MAAM,UAAU,SAAS,CAAC,IAAY;IAClC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,GAAG,IAAI,CAAC,CAAA;AACrC,CAAC;AAED,MAAM,UAAU,YAAY,CAAC,OAAe;IACxC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,OAAO,GAAG,IAAI,CAAC,CAAA;AACxC,CAAC;AAED,MAAM,UAAU,SAAS,CAAC,OAAe,EAAE,IAAI,GAAG,CAAC;IAC/C,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,OAAO,GAAG,IAAI,CAAC,CAAA;IACpC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;AACtB,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,mBAAmB,CAAC,MAAc;IACpD,0DAA0D;IAC1D,IAAI,KAA4B,CAAA;IAChC,IAAI,CAAC;QACD,KAAK,GAAG,EAAE,CAAC,gBAAgB,CAAC,UAAU,CAAC,CAAA;IAC3C,CAAC;IAAC,MAAM,CAAC;QACL,KAAK,GAAG,OAAO,CAAC,KAAK,CAAA;IACzB,CAAC;IAED,MAAM,EAAE,GAAG,QAAQ,CAAC,eAAe,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,CAAC,CAAA;IACtE,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,MAAM,gCAAgC,CAAC,CAAA;IAE/D,MAAM,IAAI,OAAO,CAAO,CAAC,OAAO,EAAE,EAAE;QAChC,EAAE,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,EAAE;YACrB,EAAE,CAAC,KAAK,EAAE,CAAA;YACV,IAAI,IAAI,CAAC,IAAI,EAAE,KAAK,SAAS,EAAE,CAAC;gBAC5B,SAAS,CAAC,UAAU,CAAC,CAAA;YACzB,CAAC;YACD,OAAO,EAAE,CAAA;QACb,CAAC,CAAC,CAAA;IACN,CAAC,CAAC,CAAA;AACN,CAAC"}
|
|
1
|
+
{"version":3,"file":"output.js","sourceRoot":"","sources":["../../src/cli/output.ts"],"names":[],"mappings":"AAAA,OAAO,QAAQ,MAAM,eAAe,CAAA;AACpC,OAAO,EAAE,MAAM,SAAS,CAAA;AAExB,MAAM,UAAU,SAAS,CAAC,KAAc;IACpC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC,GAAG,IAAI,CAAC,CAAA;AAC/D,CAAC;AAED,MAAM,UAAU,SAAS,CAAC,IAAY;IAClC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,IAAI,GAAG,IAAI,CAAC,CAAA;AACrC,CAAC;AAED,MAAM,UAAU,YAAY,CAAC,OAAe;IACxC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,OAAO,GAAG,IAAI,CAAC,CAAA;AACxC,CAAC;AAED,MAAM,UAAU,SAAS,CAAC,OAAe,EAAE,IAAI,GAAG,CAAC;IAC/C,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,OAAO,GAAG,IAAI,CAAC,CAAA;IACpC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;AACtB,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,mBAAmB,CAAC,MAAc;IACpD,0DAA0D;IAC1D,IAAI,KAA4B,CAAA;IAChC,IAAI,CAAC;QACD,KAAK,GAAG,EAAE,CAAC,gBAAgB,CAAC,UAAU,CAAC,CAAA;IAC3C,CAAC;IAAC,MAAM,CAAC;QACL,KAAK,GAAG,OAAO,CAAC,KAAK,CAAA;IACzB,CAAC;IAED,MAAM,EAAE,GAAG,QAAQ,CAAC,eAAe,CAAC,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,CAAC,CAAA;IACtE,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,MAAM,gCAAgC,CAAC,CAAA;IAE/D,MAAM,IAAI,OAAO,CAAO,CAAC,OAAO,EAAE,EAAE;QAChC,EAAE,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,IAAI,EAAE,EAAE;YACrB,EAAE,CAAC,KAAK,EAAE,CAAA;YACV,IAAI,KAAK,KAAK,OAAO,CAAC,KAAK,IAAI,SAAS,IAAI,KAAK,EAAE,CAAC;gBAChD,CAAC;gBAAC,KAAuB,CAAC,OAAO,EAAE,CAAA;YACvC,CAAC;YACD,IAAI,IAAI,CAAC,IAAI,EAAE,KAAK,SAAS,EAAE,CAAC;gBAC5B,SAAS,CAAC,UAAU,CAAC,CAAA;YACzB,CAAC;YACD,OAAO,EAAE,CAAA;QACb,CAAC,CAAC,CAAA;IACN,CAAC,CAAC,CAAA;AACN,CAAC"}
|
|
@@ -1,5 +1,6 @@
|
|
|
1
1
|
import { type TCoreAnalysisFile } from "../../lib/schemata/index.js";
|
|
2
|
-
export declare function resolveAnalysisFilename(filename
|
|
2
|
+
export declare function resolveAnalysisFilename(filename: string | undefined, argumentId: string, version: number): Promise<string>;
|
|
3
|
+
export declare function nextAnalysisFilename(argumentId: string, version: number): Promise<string>;
|
|
3
4
|
export declare function readAnalysis(argumentId: string, version: number, filename: string): Promise<TCoreAnalysisFile>;
|
|
4
5
|
export declare function writeAnalysis(argumentId: string, version: number, filename: string, data: TCoreAnalysisFile): Promise<void>;
|
|
5
6
|
export declare function listAnalysisFiles(argumentId: string, version: number): Promise<string[]>;
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"analysis.d.ts","sourceRoot":"","sources":["../../../src/cli/storage/analysis.ts"],"names":[],"mappings":"AAGA,OAAO,EAEH,KAAK,iBAAiB,EACzB,MAAM,6BAA6B,CAAA;AAUpC,
|
|
1
|
+
{"version":3,"file":"analysis.d.ts","sourceRoot":"","sources":["../../../src/cli/storage/analysis.ts"],"names":[],"mappings":"AAGA,OAAO,EAEH,KAAK,iBAAiB,EACzB,MAAM,6BAA6B,CAAA;AAUpC,wBAAsB,uBAAuB,CACzC,QAAQ,EAAE,MAAM,GAAG,SAAS,EAC5B,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,MAAM,GAChB,OAAO,CAAC,MAAM,CAAC,CAGjB;AA0BD,wBAAsB,oBAAoB,CACtC,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,MAAM,GAChB,OAAO,CAAC,MAAM,CAAC,CAYjB;AAUD,wBAAsB,YAAY,CAC9B,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,MAAM,EACf,QAAQ,EAAE,MAAM,GACjB,OAAO,CAAC,iBAAiB,CAAC,CAW5B;AAED,wBAAsB,aAAa,CAC/B,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,MAAM,EACf,QAAQ,EAAE,MAAM,EAChB,IAAI,EAAE,iBAAiB,GACxB,OAAO,CAAC,IAAI,CAAC,CAKf;AAED,wBAAsB,iBAAiB,CACnC,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,MAAM,GAChB,OAAO,CAAC,MAAM,EAAE,CAAC,CAsBnB;AAED,wBAAsB,kBAAkB,CACpC,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,MAAM,EACf,QAAQ,EAAE,MAAM,GACjB,OAAO,CAAC,IAAI,CAAC,CAEf;AAED,wBAAsB,kBAAkB,CACpC,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,MAAM,EACf,QAAQ,EAAE,MAAM,GACjB,OAAO,CAAC,OAAO,CAAC,CAKlB"}
|
|
@@ -9,8 +9,46 @@ const RESERVED_FILENAMES = new Set([
|
|
|
9
9
|
"variables.json",
|
|
10
10
|
"roles.json",
|
|
11
11
|
]);
|
|
12
|
-
export function resolveAnalysisFilename(filename) {
|
|
13
|
-
|
|
12
|
+
export async function resolveAnalysisFilename(filename, argumentId, version) {
|
|
13
|
+
if (filename)
|
|
14
|
+
return filename;
|
|
15
|
+
return await latestAnalysisFilename(argumentId, version);
|
|
16
|
+
}
|
|
17
|
+
async function latestAnalysisFilename(argumentId, version) {
|
|
18
|
+
const existing = await listAnalysisFiles(argumentId, version);
|
|
19
|
+
const pattern = /^analysis-(\d+)\.json$/;
|
|
20
|
+
let best;
|
|
21
|
+
let max = 0;
|
|
22
|
+
for (const name of existing) {
|
|
23
|
+
const match = pattern.exec(name);
|
|
24
|
+
if (match) {
|
|
25
|
+
const n = parseInt(match[1], 10);
|
|
26
|
+
if (n > max) {
|
|
27
|
+
max = n;
|
|
28
|
+
best = name;
|
|
29
|
+
}
|
|
30
|
+
}
|
|
31
|
+
}
|
|
32
|
+
if (best)
|
|
33
|
+
return best;
|
|
34
|
+
// Fall back to first analysis file found, or error
|
|
35
|
+
if (existing.length > 0)
|
|
36
|
+
return existing[existing.length - 1];
|
|
37
|
+
errorExit("No analysis files found. Run 'analysis create' first.");
|
|
38
|
+
}
|
|
39
|
+
export async function nextAnalysisFilename(argumentId, version) {
|
|
40
|
+
const existing = await listAnalysisFiles(argumentId, version);
|
|
41
|
+
const pattern = /^analysis-(\d+)\.json$/;
|
|
42
|
+
let max = 0;
|
|
43
|
+
for (const name of existing) {
|
|
44
|
+
const match = pattern.exec(name);
|
|
45
|
+
if (match) {
|
|
46
|
+
const n = parseInt(match[1], 10);
|
|
47
|
+
if (n > max)
|
|
48
|
+
max = n;
|
|
49
|
+
}
|
|
50
|
+
}
|
|
51
|
+
return `analysis-${max + 1}.json`;
|
|
14
52
|
}
|
|
15
53
|
function analysisPath(argumentId, version, filename) {
|
|
16
54
|
return path.join(getVersionDir(argumentId, version), filename);
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"analysis.js","sourceRoot":"","sources":["../../../src/cli/storage/analysis.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,kBAAkB,CAAA;AACjC,OAAO,IAAI,MAAM,WAAW,CAAA;AAC5B,OAAO,KAAK,MAAM,eAAe,CAAA;AACjC,OAAO,EACH,sBAAsB,GAEzB,MAAM,6BAA6B,CAAA;AACpC,OAAO,EAAE,aAAa,EAAE,MAAM,cAAc,CAAA;AAC5C,OAAO,EAAE,SAAS,EAAE,MAAM,cAAc,CAAA;AAExC,MAAM,kBAAkB,GAAG,IAAI,GAAG,CAAC;IAC/B,WAAW;IACX,gBAAgB;IAChB,YAAY;CACf,CAAC,CAAA;AAEF,MAAM,UAAU,uBAAuB,CAAC,
|
|
1
|
+
{"version":3,"file":"analysis.js","sourceRoot":"","sources":["../../../src/cli/storage/analysis.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,kBAAkB,CAAA;AACjC,OAAO,IAAI,MAAM,WAAW,CAAA;AAC5B,OAAO,KAAK,MAAM,eAAe,CAAA;AACjC,OAAO,EACH,sBAAsB,GAEzB,MAAM,6BAA6B,CAAA;AACpC,OAAO,EAAE,aAAa,EAAE,MAAM,cAAc,CAAA;AAC5C,OAAO,EAAE,SAAS,EAAE,MAAM,cAAc,CAAA;AAExC,MAAM,kBAAkB,GAAG,IAAI,GAAG,CAAC;IAC/B,WAAW;IACX,gBAAgB;IAChB,YAAY;CACf,CAAC,CAAA;AAEF,MAAM,CAAC,KAAK,UAAU,uBAAuB,CACzC,QAA4B,EAC5B,UAAkB,EAClB,OAAe;IAEf,IAAI,QAAQ;QAAE,OAAO,QAAQ,CAAA;IAC7B,OAAO,MAAM,sBAAsB,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;AAC5D,CAAC;AAED,KAAK,UAAU,sBAAsB,CACjC,UAAkB,EAClB,OAAe;IAEf,MAAM,QAAQ,GAAG,MAAM,iBAAiB,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;IAC7D,MAAM,OAAO,GAAG,wBAAwB,CAAA;IACxC,IAAI,IAAwB,CAAA;IAC5B,IAAI,GAAG,GAAG,CAAC,CAAA;IACX,KAAK,MAAM,IAAI,IAAI,QAAQ,EAAE,CAAC;QAC1B,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QAChC,IAAI,KAAK,EAAE,CAAC;YACR,MAAM,CAAC,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAA;YAChC,IAAI,CAAC,GAAG,GAAG,EAAE,CAAC;gBACV,GAAG,GAAG,CAAC,CAAA;gBACP,IAAI,GAAG,IAAI,CAAA;YACf,CAAC;QACL,CAAC;IACL,CAAC;IACD,IAAI,IAAI;QAAE,OAAO,IAAI,CAAA;IACrB,mDAAmD;IACnD,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,QAAQ,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAA;IAC7D,SAAS,CAAC,uDAAuD,CAAC,CAAA;AACtE,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,oBAAoB,CACtC,UAAkB,EAClB,OAAe;IAEf,MAAM,QAAQ,GAAG,MAAM,iBAAiB,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;IAC7D,MAAM,OAAO,GAAG,wBAAwB,CAAA;IACxC,IAAI,GAAG,GAAG,CAAC,CAAA;IACX,KAAK,MAAM,IAAI,IAAI,QAAQ,EAAE,CAAC;QAC1B,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QAChC,IAAI,KAAK,EAAE,CAAC;YACR,MAAM,CAAC,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAA;YAChC,IAAI,CAAC,GAAG,GAAG;gBAAE,GAAG,GAAG,CAAC,CAAA;QACxB,CAAC;IACL,CAAC;IACD,OAAO,YAAY,GAAG,GAAG,CAAC,OAAO,CAAA;AACrC,CAAC;AAED,SAAS,YAAY,CACjB,UAAkB,EAClB,OAAe,EACf,QAAgB;IAEhB,OAAO,IAAI,CAAC,IAAI,CAAC,aAAa,CAAC,UAAU,EAAE,OAAO,CAAC,EAAE,QAAQ,CAAC,CAAA;AAClE,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,YAAY,CAC9B,UAAkB,EAClB,OAAe,EACf,QAAgB;IAEhB,MAAM,QAAQ,GAAG,YAAY,CAAC,UAAU,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAA;IAC5D,MAAM,OAAO,GAAG,MAAM,EAAE,CAAC,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC,KAAK,CAAC,GAAG,EAAE;QAC5D,SAAS,CAAC,kBAAkB,QAAQ,cAAc,CAAC,CAAA;IACvD,CAAC,CAAC,CAAA;IACF,MAAM,GAAG,GAAY,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAA;IACxC,IAAI,CAAC;QACD,OAAO,KAAK,CAAC,KAAK,CAAC,sBAAsB,EAAE,GAAG,CAAC,CAAA;IACnD,CAAC;IAAC,MAAM,CAAC;QACL,SAAS,CAAC,4BAA4B,QAAQ,EAAE,CAAC,CAAA;IACrD,CAAC;AACL,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,aAAa,CAC/B,UAAkB,EAClB,OAAe,EACf,QAAgB,EAChB,IAAuB;IAEvB,MAAM,EAAE,CAAC,SAAS,CACd,YAAY,CAAC,UAAU,EAAE,OAAO,EAAE,QAAQ,CAAC,EAC3C,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,CAChC,CAAA;AACL,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,iBAAiB,CACnC,UAAkB,EAClB,OAAe;IAEf,MAAM,GAAG,GAAG,aAAa,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;IAC9C,MAAM,OAAO,GAAG,MAAM,EAAE;SACnB,OAAO,CAAC,GAAG,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC;SACrC,KAAK,CAAC,GAAG,EAAE,CAAC,EAAE,CAAC,CAAA;IACpB,MAAM,OAAO,GAAa,EAAE,CAAA;IAC5B,KAAK,MAAM,KAAK,IAAI,OAAO,EAAE,CAAC;QAC1B,IAAI,CAAC,KAAK,CAAC,MAAM,EAAE;YAAE,SAAQ;QAC7B,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC;YAAE,SAAQ;QAC3C,IAAI,kBAAkB,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC;YAAE,SAAQ;QAChD,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,CAAC,CAAA;QAC3C,IAAI,CAAC;YACD,MAAM,OAAO,GAAG,MAAM,EAAE,CAAC,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAA;YACpD,MAAM,GAAG,GAAY,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAA;YACxC,IAAI,KAAK,CAAC,KAAK,CAAC,sBAAsB,EAAE,GAAG,CAAC,EAAE,CAAC;gBAC3C,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAA;YAC5B,CAAC;QACL,CAAC;QAAC,MAAM,CAAC;YACL,yBAAyB;QAC7B,CAAC;IACL,CAAC;IACD,OAAO,OAAO,CAAC,IAAI,EAAE,CAAA;AACzB,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,kBAAkB,CACpC,UAAkB,EAClB,OAAe,EACf,QAAgB;IAEhB,MAAM,EAAE,CAAC,EAAE,CAAC,YAAY,CAAC,UAAU,EAAE,OAAO,EAAE,QAAQ,CAAC,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAA;AAC7E,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,kBAAkB,CACpC,UAAkB,EAClB,OAAe,EACf,QAAgB;IAEhB,OAAO,EAAE;SACJ,IAAI,CAAC,YAAY,CAAC,UAAU,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC;SACjD,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;SACvB,KAAK,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC,CAAA;AAC3B,CAAC"}
|
|
@@ -167,6 +167,12 @@ export declare class ArgumentEngine<TArg extends TCoreArgument = TCoreArgument,
|
|
|
167
167
|
private validateAfterPremiseMutation;
|
|
168
168
|
validate(): TInvariantValidationResult;
|
|
169
169
|
validateEvaluability(): TCoreValidationResult;
|
|
170
|
+
/**
|
|
171
|
+
* Run fixed-point constraint propagation over accepted operators.
|
|
172
|
+
* Fills unknown (null) variable values based on operator semantics.
|
|
173
|
+
* Never overwrites user-assigned values (true/false).
|
|
174
|
+
*/
|
|
175
|
+
private propagateOperatorConstraints;
|
|
170
176
|
evaluate(assignment: TCoreExpressionAssignment, options?: TCoreArgumentEvaluationOptions): TCoreArgumentEvaluationResult;
|
|
171
177
|
checkValidity(options?: TCoreValidityCheckOptions): TCoreValidityCheckResult;
|
|
172
178
|
/**
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"argument-engine.d.ts","sourceRoot":"","sources":["../../../src/lib/core/argument-engine.ts"],"names":[],"mappings":"AACA,OAAO,EAIH,KAAK,mBAAmB,EACxB,KAAK,qBAAqB,EAC1B,KAAK,aAAa,EAClB,KAAK,UAAU,EACf,KAAK,2BAA2B,EAChC,KAAK,YAAY,EACjB,KAAK,4BAA4B,EACjC,KAAK,0BAA0B,EAC/B,KAAK,iBAAiB,EACtB,KAAK,WAAW,EACnB,MAAM,sBAAsB,CAAA;AAC7B,OAAO,KAAK,EACR,8BAA8B,EAC9B,6BAA6B,EAC7B,sBAAsB,EAEtB,yBAAyB,
|
|
1
|
+
{"version":3,"file":"argument-engine.d.ts","sourceRoot":"","sources":["../../../src/lib/core/argument-engine.ts"],"names":[],"mappings":"AACA,OAAO,EAIH,KAAK,mBAAmB,EACxB,KAAK,qBAAqB,EAC1B,KAAK,aAAa,EAClB,KAAK,UAAU,EACf,KAAK,2BAA2B,EAChC,KAAK,YAAY,EACjB,KAAK,4BAA4B,EACjC,KAAK,0BAA0B,EAC/B,KAAK,iBAAiB,EACtB,KAAK,WAAW,EACnB,MAAM,sBAAsB,CAAA;AAC7B,OAAO,KAAK,EACR,8BAA8B,EAC9B,6BAA6B,EAC7B,sBAAsB,EAEtB,yBAAyB,EAKzB,qBAAqB,EACrB,yBAAyB,EACzB,wBAAwB,EAC3B,MAAM,wBAAwB,CAAA;AAC/B,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,sBAAsB,CAAA;AAC/D,OAAO,EAGH,KAAK,cAAc,EACtB,MAAM,qBAAqB,CAAA;AAC5B,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,sBAAsB,CAAA;AAC/D,OAAO,KAAK,EACR,0BAA0B,EAE7B,MAAM,wBAAwB,CAAA;AAe/B,OAAO,KAAK,EAAE,mBAAmB,EAAkB,MAAM,sBAAsB,CAAA;AAC/E,OAAO,KAAK,EACR,iBAAiB,EAEpB,MAAM,sBAAsB,CAAA;AAe7B,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,yBAAyB,CAAA;AAE/D,OAAO,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAA;AACnD,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,qBAAqB,CAAA;AAEjE,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,uBAAuB,CAAA;AACrE,OAAO,KAAK,EACR,YAAY,EACZ,mBAAmB,EACnB,0BAA0B,EAC1B,kBAAkB,EAClB,mBAAmB,EACnB,kBAAkB,EAClB,iBAAiB,EACjB,YAAY,EACZ,0BAA0B,EAC1B,YAAY,EACZ,aAAa,EACb,kBAAkB,EACrB,MAAM,uBAAuB,CAAA;AAE9B,wFAAwF;AACxF,eAAO,MAAM,iBAAiB,QAAO,MAAwC,CAAA;AAE7E,MAAM,MAAM,mBAAmB,GAAG;IAC9B,cAAc,CAAC,EAAE,mBAAmB,CAAA;IACpC,cAAc,CAAC,EAAE,mBAAmB,CAAA;IACpC,aAAa,CAAC,EAAE,cAAc,CAAA;IAC9B,uFAAuF;IACvF,UAAU,CAAC,EAAE,MAAM,MAAM,CAAA;CAC5B,CAAA;AAED,MAAM,MAAM,uBAAuB,CAC/B,IAAI,SAAS,aAAa,GAAG,aAAa,EAC1C,QAAQ,SAAS,YAAY,GAAG,YAAY,EAC5C,KAAK,SAAS,4BAA4B,GAAG,4BAA4B,EACzE,IAAI,SAAS,0BAA0B,GAAG,0BAA0B,IACpE;IACA,QAAQ,EAAE,iBAAiB,CAAC,IAAI,CAAC,CAAA;IACjC,SAAS,EAAE,wBAAwB,CAAC,IAAI,CAAC,CAAA;IACzC,QAAQ,EAAE,sBAAsB,CAAC,QAAQ,EAAE,KAAK,CAAC,EAAE,CAAA;IACnD,mBAAmB,CAAC,EAAE,MAAM,CAAA;IAC5B,MAAM,CAAC,EAAE,mBAAmB,CAAA;CAC/B,CAAA;AAED;;;;;;GAMG;AACH,qBAAa,cAAc,CACvB,IAAI,SAAS,aAAa,GAAG,aAAa,EAC1C,QAAQ,SAAS,YAAY,GAAG,YAAY,EAC5C,KAAK,SAAS,4BAA4B,GAAG,4BAA4B,EACzE,IAAI,SAAS,0BAA0B,GAAG,0BAA0B,EACpE,OAAO,SAAS,WAAW,GAAG,WAAW,EACzC,MAAM,SAAS,UAAU,GAAG,UAAU,EACtC,MAAM,SAAS,2BAA2B,GAAG,2BAA2B,CAExE,YACI,YAAY,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,EACzC,mBAAmB,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,EAChD,0BAA0B,CAAC,KAAK,CAAC,EACjC,kBAAkB,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,EAC/C,mBAAmB,EACnB,kBAAkB,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,EAC/C,iBAAiB,CAAC,IAAI,CAAC,EACvB,YAAY,EACZ,0BAA0B,CAAC,UAAU,GAAG,WAAW,CAAC;IAExD,OAAO,CAAC,QAAQ,CAAyB;IACzC,OAAO,CAAC,QAAQ,CAAyD;IACzE,OAAO,CAAC,SAAS,CAAuB;IACxC,OAAO,CAAC,YAAY,CAAsB;IAC1C,OAAO,CAAC,aAAa,CAAwB;IAC7C,OAAO,CAAC,kBAAkB,CAA4B;IACtD,OAAO,CAAC,mBAAmB,CAAoB;IAC/C,OAAO,CAAC,cAAc,CAAC,CAAqB;IAC5C,OAAO,CAAC,cAAc,CAAC,CAAqB;IAC5C,OAAO,CAAC,aAAa,CAAC,CAAgB;IACtC,OAAO,CAAC,UAAU,CAAc;IAChC,OAAO,CAAC,qBAAqB,CAAQ;IACrC,OAAO,CAAC,aAAa,CAAO;IAC5B,OAAO,CAAC,kBAAkB,CAAoB;IAC9C,OAAO,CAAC,wBAAwB,CAA2B;IAC3D,OAAO,CAAC,sBAAsB,CAAoB;IAClD,OAAO,CAAC,gCAAgC,CAA2B;IACnE,OAAO,CAAC,iCAAiC,CAA2B;IACpE,OAAO,CAAC,eAAe,CAAqB;IAC5C,OAAO,CAAC,SAAS,CAAwB;IACzC,OAAO,CAAC,aAAa,CAMpB;IACD,OAAO,CAAC,sBAAsB,CAEf;gBAGX,QAAQ,EAAE,iBAAiB,CAAC,IAAI,CAAC,EACjC,YAAY,EAAE,YAAY,CAAC,MAAM,CAAC,EAClC,aAAa,EAAE,aAAa,CAAC,OAAO,CAAC,EACrC,kBAAkB,EAAE,kBAAkB,CAAC,MAAM,CAAC,EAC9C,OAAO,CAAC,EAAE,mBAAmB;IAoBjC,OAAO,CAAC,sBAAsB;IAS9B,OAAO,CAAC,gBAAgB;IA0CxB,OAAO,CAAC,oBAAoB;IAM5B,OAAO,CAAC,0BAA0B;IAiBlC,OAAO,CAAC,oBAAoB;IAUrB,SAAS,GAAI,UAAU,MAAM,IAAI,KAAG,CAAC,MAAM,IAAI,CAAC,CAKtD;IAED,SAAS,CAAC,iBAAiB,IAAI,IAAI;IAMnC,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,oBAAoB,CAG3C;IAED,OAAO,CAAC,yBAAyB;IAQjC,OAAO,CAAC,wBAAwB;IAQhC,SAAS,CAAC,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,MAAM,CAAC,GAAG,CAAC;IA0BpC,WAAW,QAAO,iBAAiB,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,CAEtE;IAED,SAAS,CAAC,qBAAqB,IAAI,iBAAiB,CAChD,IAAI,EACJ,QAAQ,EACR,KAAK,EACL,IAAI,CACP;IAyED,OAAO,CAAC,oBAAoB;IAQ5B,OAAO,CAAC,sBAAsB;IAc9B,OAAO,CAAC,kBAAkB;IAc1B,OAAO,CAAC,iBAAiB;IAmClB,WAAW,IAAI,IAAI;IAUnB,eAAe,IAAI,MAAM;IA0BzB,aAAa,CAChB,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAChC,MAAM,CAAC,EAAE,MAAM,GAChB,mBAAmB,CAClB,aAAa,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,EAC1C,KAAK,EACL,IAAI,EACJ,QAAQ,EACR,IAAI,CACP;IAIM,mBAAmB,CACtB,EAAE,EAAE,MAAM,EACV,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAChC,MAAM,CAAC,EAAE,MAAM,GAChB,mBAAmB,CAClB,aAAa,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,EAC1C,KAAK,EACL,IAAI,EACJ,QAAQ,EACR,IAAI,CACP;IA8EM,aAAa,CAChB,SAAS,EAAE,MAAM,GAClB,mBAAmB,CAAC,QAAQ,GAAG,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC;IA0ClE,UAAU,CACb,SAAS,EAAE,MAAM,GAClB,aAAa,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,GAAG,SAAS;IAIlD,UAAU,CAAC,SAAS,EAAE,MAAM,GAAG,OAAO;IAItC,cAAc,IAAI,MAAM,EAAE;IAM1B,YAAY,IAAI,aAAa,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,EAAE;IAS5D,WAAW,CACd,QAAQ,EAAE,iBAAiB,CAAC,mBAAmB,CAAC,GAC5C,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAC5B,mBAAmB,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC;IA+ClD,qBAAqB,CACxB,QAAQ,EAAE,iBAAiB,CAAC,qBAAqB,CAAC,GAC9C,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAC5B,mBAAmB,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC;IAwClD,6BAA6B,CAChC,QAAQ,EAAE,iBAAiB,CAAC,qBAAqB,CAAC,GAC9C,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAC5B,mBAAmB,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC;IA6ClD,sBAAsB,CACzB,QAAQ,EAAE,IAAI,CACV,iBAAiB,CAAC,qBAAqB,CAAC,EACxC,gBAAgB,CACnB,GACG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAC3B,mBAAmB,EAAE,MAAM,GAC5B,mBAAmB,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC;IAOlD,cAAc,CACjB,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GACjC,mBAAmB,CAAC,IAAI,GAAG,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC;IAiGrE,OAAO,CAAC,kBAAkB;IAiCnB,cAAc,CACjB,UAAU,EAAE,MAAM,GACnB,mBAAmB,CAAC,IAAI,GAAG,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC;IAM9D,YAAY,IAAI,IAAI,EAAE;IAItB,WAAW,CAAC,UAAU,EAAE,MAAM,GAAG,IAAI,GAAG,SAAS;IAIjD,WAAW,CAAC,UAAU,EAAE,MAAM,GAAG,OAAO;IAIxC,mBAAmB,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,GAAG,SAAS;IAIrD,kBAAkB,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE,IAAI,KAAK,CAAC,GAAG,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC;IAQ1D,0BAA0B,CAAC,SAAS,EAAE,MAAM,GAAG,IAAI,EAAE;IAOrD,aAAa,CAAC,YAAY,EAAE,MAAM,GAAG,KAAK,GAAG,SAAS;IAMtD,aAAa,CAAC,YAAY,EAAE,MAAM,GAAG,OAAO;IAI5C,sBAAsB,CAAC,YAAY,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS;IAIhE,yBAAyB,CAC5B,YAAY,EAAE,MAAM,GACrB,aAAa,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,GAAG,SAAS;IAMlD,iBAAiB,IAAI,KAAK,EAAE;IAQ5B,0BAA0B,CAAC,UAAU,EAAE,MAAM,GAAG,KAAK,EAAE;IAiBvD,mBAAmB,IAAI,KAAK,EAAE;IAS9B,YAAY,IAAI,sBAAsB;IAQtC,oBAAoB,CACvB,SAAS,EAAE,MAAM,GAClB,mBAAmB,CAClB,sBAAsB,EACtB,KAAK,EACL,IAAI,EACJ,QAAQ,EACR,IAAI,CACP;IAqBM,sBAAsB,IAAI,mBAAmB,CAChD,sBAAsB,EACtB,KAAK,EACL,IAAI,EACJ,QAAQ,EACR,IAAI,CACP;IAiBM,oBAAoB,IACrB,aAAa,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,GAC1C,SAAS;IAOR,sBAAsB,IAAI,aAAa,CAC1C,IAAI,EACJ,QAAQ,EACR,KAAK,EACL,IAAI,CACP,EAAE;IAMI,QAAQ,IAAI,uBAAuB,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC;IAsBvE,wEAAwE;WAC1D,YAAY,CACtB,IAAI,SAAS,aAAa,GAAG,aAAa,EAC1C,QAAQ,SAAS,YAAY,GAAG,YAAY,EAC5C,KAAK,SAAS,4BAA4B,GACtC,4BAA4B,EAChC,IAAI,SAAS,0BAA0B,GAAG,0BAA0B,EACpE,OAAO,SAAS,WAAW,GAAG,WAAW,EACzC,MAAM,SAAS,UAAU,GAAG,UAAU,EACtC,MAAM,SAAS,2BAA2B,GACtC,2BAA2B,EAE/B,QAAQ,EAAE,uBAAuB,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,EAC9D,YAAY,EAAE,YAAY,CAAC,MAAM,CAAC,EAClC,aAAa,EAAE,aAAa,CAAC,OAAO,CAAC,EACrC,kBAAkB,EAAE,kBAAkB,CAAC,MAAM,CAAC,EAC9C,aAAa,CAAC,EAAE,cAAc,EAC9B,oBAAoB,CAAC,EAAE,QAAQ,GAAG,QAAQ,EAC1C,UAAU,CAAC,EAAE,MAAM,MAAM,GAC1B,cAAc,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,CAAC;IA6FvE;;;;;OAKG;WACW,QAAQ,CAClB,IAAI,SAAS,aAAa,GAAG,aAAa,EAC1C,QAAQ,SAAS,YAAY,GAAG,YAAY,EAC5C,KAAK,SAAS,4BAA4B,GACtC,4BAA4B,EAChC,IAAI,SAAS,0BAA0B,GAAG,0BAA0B,EACpE,OAAO,SAAS,WAAW,GAAG,WAAW,EACzC,MAAM,SAAS,UAAU,GAAG,UAAU,EACtC,MAAM,SAAS,2BAA2B,GACtC,2BAA2B,EAE/B,QAAQ,EAAE,iBAAiB,CAAC,IAAI,CAAC,EACjC,YAAY,EAAE,YAAY,CAAC,MAAM,CAAC,EAClC,aAAa,EAAE,aAAa,CAAC,OAAO,CAAC,EACrC,kBAAkB,EAAE,kBAAkB,CAAC,MAAM,CAAC,EAC9C,SAAS,EAAE,iBAAiB,CAAC,IAAI,CAAC,EAAE,EACpC,QAAQ,EAAE,iBAAiB,CAAC,QAAQ,CAAC,EAAE,EACvC,WAAW,EAAE,gBAAgB,CAAC,KAAK,CAAC,EAAE,EACtC,KAAK,EAAE,sBAAsB,EAC7B,MAAM,CAAC,EAAE,mBAAmB,EAC5B,aAAa,CAAC,EAAE,cAAc,EAC9B,oBAAoB,CAAC,EAAE,QAAQ,GAAG,QAAQ,GAC3C,cAAc,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,CAAC;IA4HvE;;;OAGG;IACH,OAAO,CAAC,MAAM,CAAC,uBAAuB;IAsGtC;;;OAGG;IACH,OAAO,CAAC,MAAM,CAAC,mBAAmB;IA2E3B,QAAQ,CACX,QAAQ,EAAE,uBAAuB,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,GAC/D,IAAI;IAUP,OAAO,CAAC,gBAAgB;IAkDjB,QAAQ,IAAI,MAAM;IAOlB,kBAAkB,IAAI,MAAM,GAAG,IAAI;IAOnC,gBAAgB,IAAI,MAAM;IAO1B,qBAAqB,CACxB,IAAI,EAAE,UAAU,GAAG,WAAW,GAC/B,MAAM,GAAG,IAAI;IAST,cAAc,IAAI,IAAI;IAuE7B,OAAO,CAAC,SAAS;IASjB,sEAAsE;IACtE,OAAO,CAAC,oBAAoB;IAM5B,OAAO,CAAC,sBAAsB;IAavB,0BAA0B,IAAI;QACjC,WAAW,EAAE,MAAM,EAAE,CAAA;QACrB,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE;YAAE,MAAM,EAAE,MAAM,CAAC;YAAC,UAAU,EAAE,MAAM,EAAE,CAAA;SAAE,CAAC,CAAA;QAC9D,QAAQ,EAAE,MAAM,CACZ,MAAM,EACN;YAAE,WAAW,EAAE,MAAM,EAAE,CAAC;YAAC,UAAU,EAAE,MAAM,EAAE,CAAA;SAAE,CAClD,CAAA;KACJ;IAuED;;;;;OAKG;IACH;;;;;;OAMG;IACH,OAAO,CAAC,4BAA4B;IA0C7B,QAAQ,IAAI,0BAA0B;IAgLtC,oBAAoB,IAAI,qBAAqB;IAsEpD;;;;OAIG;IACH,OAAO,CAAC,4BAA4B;IAyU7B,QAAQ,CACX,UAAU,EAAE,yBAAyB,EACrC,OAAO,CAAC,EAAE,8BAA8B,GACzC,6BAA6B;IAiMzB,aAAa,CAChB,OAAO,CAAC,EAAE,yBAAyB,GACpC,wBAAwB;IAsK3B;;;OAGG;IACI,OAAO,IAAI,OAAO;IAIzB;;;OAGG;IACH,SAAS,CAAC,OAAO,CACb,gBAAgB,EAAE,MAAM,EACxB,qBAAqB,EAAE,MAAM,GAC9B,OAAO;CAGb"}
|
|
@@ -6,7 +6,7 @@ import { DEFAULT_CHECKSUM_CONFIG, normalizeChecksumConfig, serializeChecksumConf
|
|
|
6
6
|
import { getOrCreate, sortedUnique } from "../utils/collections.js";
|
|
7
7
|
import { ChangeCollector } from "./change-collector.js";
|
|
8
8
|
import { canonicalSerialize, computeHash, entityChecksum } from "./checksum.js";
|
|
9
|
-
import { kleeneAnd, kleeneNot } from "./evaluation/kleene.js";
|
|
9
|
+
import { kleeneAnd, kleeneNot, kleeneOr, kleeneImplies, kleeneIff, } from "./evaluation/kleene.js";
|
|
10
10
|
import { makeErrorIssue, makeValidationResult, } from "./evaluation/validation.js";
|
|
11
11
|
import { InvariantViolationError } from "./invariant-violation-error.js";
|
|
12
12
|
import { PremiseEngine } from "./premise-engine.js";
|
|
@@ -1496,6 +1496,270 @@ export class ArgumentEngine {
|
|
|
1496
1496
|
}
|
|
1497
1497
|
return makeValidationResult(issues);
|
|
1498
1498
|
}
|
|
1499
|
+
/**
|
|
1500
|
+
* Run fixed-point constraint propagation over accepted operators.
|
|
1501
|
+
* Fills unknown (null) variable values based on operator semantics.
|
|
1502
|
+
* Never overwrites user-assigned values (true/false).
|
|
1503
|
+
*/
|
|
1504
|
+
propagateOperatorConstraints(assignment) {
|
|
1505
|
+
const vars = { ...assignment.variables };
|
|
1506
|
+
const opAssignments = assignment.operatorAssignments;
|
|
1507
|
+
// Collect all expressions across all premises, indexed by id
|
|
1508
|
+
const exprById = new Map();
|
|
1509
|
+
// Children lookup: parentId -> sorted children
|
|
1510
|
+
const childrenOf = new Map();
|
|
1511
|
+
for (const pm of this.listPremises()) {
|
|
1512
|
+
for (const expr of pm.getExpressions()) {
|
|
1513
|
+
exprById.set(expr.id, expr);
|
|
1514
|
+
}
|
|
1515
|
+
// Build children map using getChildExpressions for each operator/formula
|
|
1516
|
+
for (const expr of pm.getExpressions()) {
|
|
1517
|
+
if (expr.type === "operator" || expr.type === "formula") {
|
|
1518
|
+
childrenOf.set(expr.id, pm.getChildExpressions(expr.id));
|
|
1519
|
+
}
|
|
1520
|
+
}
|
|
1521
|
+
}
|
|
1522
|
+
/**
|
|
1523
|
+
* Resolve the current Kleene value of an expression subtree
|
|
1524
|
+
* given the current variable assignments. Does not force-accept
|
|
1525
|
+
* nested operators — evaluates them normally via Kleene logic.
|
|
1526
|
+
*/
|
|
1527
|
+
const resolveValue = (exprId) => {
|
|
1528
|
+
const expr = exprById.get(exprId);
|
|
1529
|
+
if (!expr)
|
|
1530
|
+
return null;
|
|
1531
|
+
if (expr.type === "variable") {
|
|
1532
|
+
return (vars[expr
|
|
1533
|
+
.variableId] ?? null);
|
|
1534
|
+
}
|
|
1535
|
+
if (expr.type === "formula") {
|
|
1536
|
+
const children = childrenOf.get(expr.id) ?? [];
|
|
1537
|
+
return children.length > 0 ? resolveValue(children[0].id) : null;
|
|
1538
|
+
}
|
|
1539
|
+
// operator
|
|
1540
|
+
const op = expr
|
|
1541
|
+
.operator;
|
|
1542
|
+
const children = childrenOf.get(expr.id) ?? [];
|
|
1543
|
+
switch (op) {
|
|
1544
|
+
case "not":
|
|
1545
|
+
return kleeneNot(resolveValue(children[0].id));
|
|
1546
|
+
case "and":
|
|
1547
|
+
return children.reduce((acc, child) => kleeneAnd(acc, resolveValue(child.id)), true);
|
|
1548
|
+
case "or":
|
|
1549
|
+
return children.reduce((acc, child) => kleeneOr(acc, resolveValue(child.id)), false);
|
|
1550
|
+
case "implies": {
|
|
1551
|
+
return kleeneImplies(resolveValue(children[0].id), resolveValue(children[1].id));
|
|
1552
|
+
}
|
|
1553
|
+
case "iff": {
|
|
1554
|
+
return kleeneIff(resolveValue(children[0].id), resolveValue(children[1].id));
|
|
1555
|
+
}
|
|
1556
|
+
}
|
|
1557
|
+
};
|
|
1558
|
+
/**
|
|
1559
|
+
* Unwrap formula wrappers to find the leaf variable expression.
|
|
1560
|
+
* Returns the variableId if the leaf is a variable, otherwise null.
|
|
1561
|
+
*/
|
|
1562
|
+
const resolveLeafVariableId = (expr) => {
|
|
1563
|
+
if (expr.type === "variable") {
|
|
1564
|
+
return expr.variableId;
|
|
1565
|
+
}
|
|
1566
|
+
if (expr.type === "formula") {
|
|
1567
|
+
const children = childrenOf.get(expr.id) ?? [];
|
|
1568
|
+
if (children.length > 0) {
|
|
1569
|
+
return resolveLeafVariableId(children[0]);
|
|
1570
|
+
}
|
|
1571
|
+
}
|
|
1572
|
+
return null;
|
|
1573
|
+
};
|
|
1574
|
+
// Track which variable IDs were explicitly set by the user
|
|
1575
|
+
// (true or false). These are never overwritten by propagation.
|
|
1576
|
+
const userAssigned = new Set();
|
|
1577
|
+
for (const [varId, val] of Object.entries(vars)) {
|
|
1578
|
+
if (val !== null && val !== undefined)
|
|
1579
|
+
userAssigned.add(varId);
|
|
1580
|
+
}
|
|
1581
|
+
/**
|
|
1582
|
+
* Try to set a child expression's variable to a value.
|
|
1583
|
+
* Never overwrites user-assigned values.
|
|
1584
|
+
* False overrides propagated true (rejection wins).
|
|
1585
|
+
* Returns true if a value changed.
|
|
1586
|
+
*/
|
|
1587
|
+
const trySetChild = (child, value) => {
|
|
1588
|
+
const varId = resolveLeafVariableId(child);
|
|
1589
|
+
if (varId == null || userAssigned.has(varId))
|
|
1590
|
+
return false;
|
|
1591
|
+
const current = vars[varId] ?? null;
|
|
1592
|
+
if (current === null) {
|
|
1593
|
+
vars[varId] = value;
|
|
1594
|
+
return true;
|
|
1595
|
+
}
|
|
1596
|
+
// False overrides propagated true
|
|
1597
|
+
if (value === false && current === true) {
|
|
1598
|
+
vars[varId] = false;
|
|
1599
|
+
return true;
|
|
1600
|
+
}
|
|
1601
|
+
return false;
|
|
1602
|
+
};
|
|
1603
|
+
// Two-phase propagation: rejections first (to establish false values),
|
|
1604
|
+
// then acceptances (which only fill remaining unknowns).
|
|
1605
|
+
// This prevents acceptance from deriving values through chains that
|
|
1606
|
+
// are later invalidated by rejection.
|
|
1607
|
+
for (const phase of ["rejected", "accepted"]) {
|
|
1608
|
+
let changed = true;
|
|
1609
|
+
while (changed) {
|
|
1610
|
+
changed = false;
|
|
1611
|
+
for (const [exprId, expr] of exprById) {
|
|
1612
|
+
if (expr.type !== "operator")
|
|
1613
|
+
continue;
|
|
1614
|
+
const state = opAssignments[exprId];
|
|
1615
|
+
if (state !== phase)
|
|
1616
|
+
continue;
|
|
1617
|
+
const op = expr.operator;
|
|
1618
|
+
const children = childrenOf.get(exprId) ?? [];
|
|
1619
|
+
if (state === "accepted") {
|
|
1620
|
+
switch (op) {
|
|
1621
|
+
case "not": {
|
|
1622
|
+
// ¬A accepted (= true) => child must be false
|
|
1623
|
+
if (children.length > 0) {
|
|
1624
|
+
if (trySetChild(children[0], false))
|
|
1625
|
+
changed = true;
|
|
1626
|
+
}
|
|
1627
|
+
break;
|
|
1628
|
+
}
|
|
1629
|
+
case "and": {
|
|
1630
|
+
// A ∧ B accepted => all children must be true
|
|
1631
|
+
for (const child of children) {
|
|
1632
|
+
if (trySetChild(child, true))
|
|
1633
|
+
changed = true;
|
|
1634
|
+
}
|
|
1635
|
+
break;
|
|
1636
|
+
}
|
|
1637
|
+
case "or": {
|
|
1638
|
+
// A ∨ B accepted: if all-but-one are false, remaining must be true
|
|
1639
|
+
const unknownChildren = [];
|
|
1640
|
+
let allOthersAreFalse = true;
|
|
1641
|
+
for (const child of children) {
|
|
1642
|
+
const childValue = resolveValue(child.id);
|
|
1643
|
+
if (childValue === null) {
|
|
1644
|
+
unknownChildren.push(child);
|
|
1645
|
+
}
|
|
1646
|
+
else if (childValue !== false) {
|
|
1647
|
+
allOthersAreFalse = false;
|
|
1648
|
+
}
|
|
1649
|
+
}
|
|
1650
|
+
if (unknownChildren.length === 1 &&
|
|
1651
|
+
allOthersAreFalse) {
|
|
1652
|
+
if (trySetChild(unknownChildren[0], true))
|
|
1653
|
+
changed = true;
|
|
1654
|
+
}
|
|
1655
|
+
break;
|
|
1656
|
+
}
|
|
1657
|
+
case "implies": {
|
|
1658
|
+
// A → B accepted: if A=true => B=true; if B=false => A=false
|
|
1659
|
+
if (children.length >= 2) {
|
|
1660
|
+
const leftValue = resolveValue(children[0].id);
|
|
1661
|
+
const rightValue = resolveValue(children[1].id);
|
|
1662
|
+
if (leftValue === true) {
|
|
1663
|
+
if (trySetChild(children[1], true))
|
|
1664
|
+
changed = true;
|
|
1665
|
+
}
|
|
1666
|
+
if (rightValue === false) {
|
|
1667
|
+
if (trySetChild(children[0], false))
|
|
1668
|
+
changed = true;
|
|
1669
|
+
}
|
|
1670
|
+
}
|
|
1671
|
+
break;
|
|
1672
|
+
}
|
|
1673
|
+
case "iff": {
|
|
1674
|
+
// A ↔ B accepted: if A known => B matches; if B known => A matches
|
|
1675
|
+
if (children.length >= 2) {
|
|
1676
|
+
const leftValue = resolveValue(children[0].id);
|
|
1677
|
+
const rightValue = resolveValue(children[1].id);
|
|
1678
|
+
if (leftValue !== null) {
|
|
1679
|
+
if (trySetChild(children[1], leftValue))
|
|
1680
|
+
changed = true;
|
|
1681
|
+
}
|
|
1682
|
+
if (rightValue !== null) {
|
|
1683
|
+
if (trySetChild(children[0], rightValue))
|
|
1684
|
+
changed = true;
|
|
1685
|
+
}
|
|
1686
|
+
}
|
|
1687
|
+
break;
|
|
1688
|
+
}
|
|
1689
|
+
}
|
|
1690
|
+
}
|
|
1691
|
+
else {
|
|
1692
|
+
// state === "rejected" — expression forced false
|
|
1693
|
+
switch (op) {
|
|
1694
|
+
case "not": {
|
|
1695
|
+
// ¬A rejected (= false) => child must be true
|
|
1696
|
+
if (children.length > 0) {
|
|
1697
|
+
if (trySetChild(children[0], true))
|
|
1698
|
+
changed = true;
|
|
1699
|
+
}
|
|
1700
|
+
break;
|
|
1701
|
+
}
|
|
1702
|
+
case "and": {
|
|
1703
|
+
// A ∧ B rejected (= false): if all-but-one are true, remaining must be false
|
|
1704
|
+
const unknownChildren = [];
|
|
1705
|
+
let allOthersAreTrue = true;
|
|
1706
|
+
for (const child of children) {
|
|
1707
|
+
const childValue = resolveValue(child.id);
|
|
1708
|
+
if (childValue === null) {
|
|
1709
|
+
unknownChildren.push(child);
|
|
1710
|
+
}
|
|
1711
|
+
else if (childValue !== true) {
|
|
1712
|
+
allOthersAreTrue = false;
|
|
1713
|
+
}
|
|
1714
|
+
}
|
|
1715
|
+
if (unknownChildren.length === 1 &&
|
|
1716
|
+
allOthersAreTrue) {
|
|
1717
|
+
if (trySetChild(unknownChildren[0], false))
|
|
1718
|
+
changed = true;
|
|
1719
|
+
}
|
|
1720
|
+
break;
|
|
1721
|
+
}
|
|
1722
|
+
case "or": {
|
|
1723
|
+
// A ∨ B rejected (= false) => all children must be false
|
|
1724
|
+
for (const child of children) {
|
|
1725
|
+
if (trySetChild(child, false))
|
|
1726
|
+
changed = true;
|
|
1727
|
+
}
|
|
1728
|
+
break;
|
|
1729
|
+
}
|
|
1730
|
+
case "implies": {
|
|
1731
|
+
// A → B rejected (= false) => A must be true, B must be false
|
|
1732
|
+
if (children.length >= 2) {
|
|
1733
|
+
if (trySetChild(children[0], true))
|
|
1734
|
+
changed = true;
|
|
1735
|
+
if (trySetChild(children[1], false))
|
|
1736
|
+
changed = true;
|
|
1737
|
+
}
|
|
1738
|
+
break;
|
|
1739
|
+
}
|
|
1740
|
+
case "iff": {
|
|
1741
|
+
// A ↔ B rejected (= false): if A known => B is opposite; if B known => A is opposite
|
|
1742
|
+
if (children.length >= 2) {
|
|
1743
|
+
const leftValue = resolveValue(children[0].id);
|
|
1744
|
+
const rightValue = resolveValue(children[1].id);
|
|
1745
|
+
if (leftValue !== null) {
|
|
1746
|
+
if (trySetChild(children[1], !leftValue))
|
|
1747
|
+
changed = true;
|
|
1748
|
+
}
|
|
1749
|
+
if (rightValue !== null) {
|
|
1750
|
+
if (trySetChild(children[0], !rightValue))
|
|
1751
|
+
changed = true;
|
|
1752
|
+
}
|
|
1753
|
+
}
|
|
1754
|
+
break;
|
|
1755
|
+
}
|
|
1756
|
+
}
|
|
1757
|
+
}
|
|
1758
|
+
}
|
|
1759
|
+
}
|
|
1760
|
+
}
|
|
1761
|
+
return vars;
|
|
1762
|
+
}
|
|
1499
1763
|
evaluate(assignment, options) {
|
|
1500
1764
|
const validateFirst = options?.validateFirst ?? true;
|
|
1501
1765
|
if (validateFirst) {
|
|
@@ -1546,6 +1810,12 @@ export class ArgumentEngine {
|
|
|
1546
1810
|
return true;
|
|
1547
1811
|
return false;
|
|
1548
1812
|
});
|
|
1813
|
+
// Run operator constraint propagation
|
|
1814
|
+
const propagatedVars = this.propagateOperatorConstraints(assignment);
|
|
1815
|
+
const propagatedAssignment = {
|
|
1816
|
+
variables: propagatedVars,
|
|
1817
|
+
operatorAssignments: assignment.operatorAssignments,
|
|
1818
|
+
};
|
|
1549
1819
|
try {
|
|
1550
1820
|
// Build a resolver that lazily evaluates premise-bound variables
|
|
1551
1821
|
// by evaluating their bound premise's expression tree under the
|
|
@@ -1560,7 +1830,7 @@ export class ArgumentEngine {
|
|
|
1560
1830
|
!isPremiseBound(variable) ||
|
|
1561
1831
|
variable.boundArgumentId !== this.argument.id) {
|
|
1562
1832
|
// Claim-bound or externally-bound: read from assignment
|
|
1563
|
-
return
|
|
1833
|
+
return propagatedAssignment.variables[variableId] ?? null;
|
|
1564
1834
|
}
|
|
1565
1835
|
// Internal premise-bound: lazy resolution
|
|
1566
1836
|
const boundPremiseId = variable.boundPremiseId;
|
|
@@ -1569,7 +1839,7 @@ export class ArgumentEngine {
|
|
|
1569
1839
|
resolverCache.set(variableId, null);
|
|
1570
1840
|
return null;
|
|
1571
1841
|
}
|
|
1572
|
-
const premiseResult = boundPremise.evaluate(
|
|
1842
|
+
const premiseResult = boundPremise.evaluate(propagatedAssignment, {
|
|
1573
1843
|
resolver,
|
|
1574
1844
|
});
|
|
1575
1845
|
const value = premiseResult?.rootValue ?? null;
|
|
@@ -1580,9 +1850,9 @@ export class ArgumentEngine {
|
|
|
1580
1850
|
strictUnknownKeys: options?.strictUnknownAssignmentKeys ?? false,
|
|
1581
1851
|
resolver,
|
|
1582
1852
|
};
|
|
1583
|
-
const conclusionEvaluation = conclusion.evaluate(
|
|
1584
|
-
const supportingEvaluations = supportingPremises.map((pm) => pm.evaluate(
|
|
1585
|
-
const constraintEvaluations = constraintPremises.map((pm) => pm.evaluate(
|
|
1853
|
+
const conclusionEvaluation = conclusion.evaluate(propagatedAssignment, evalOpts);
|
|
1854
|
+
const supportingEvaluations = supportingPremises.map((pm) => pm.evaluate(propagatedAssignment, evalOpts));
|
|
1855
|
+
const constraintEvaluations = constraintPremises.map((pm) => pm.evaluate(propagatedAssignment, evalOpts));
|
|
1586
1856
|
const isAdmissibleAssignment = constraintEvaluations.reduce((acc, result) => kleeneAnd(acc, result.rootValue ?? null), true);
|
|
1587
1857
|
const allSupportingPremisesTrue = supportingEvaluations.reduce((acc, result) => kleeneAnd(acc, result.rootValue ?? null), true);
|
|
1588
1858
|
const conclusionTrue = conclusionEvaluation.rootValue ?? null;
|
|
@@ -1601,10 +1871,10 @@ export class ArgumentEngine {
|
|
|
1601
1871
|
return {
|
|
1602
1872
|
ok: true,
|
|
1603
1873
|
assignment: {
|
|
1604
|
-
variables: { ...
|
|
1605
|
-
|
|
1606
|
-
...
|
|
1607
|
-
|
|
1874
|
+
variables: { ...propagatedAssignment.variables },
|
|
1875
|
+
operatorAssignments: {
|
|
1876
|
+
...propagatedAssignment.operatorAssignments,
|
|
1877
|
+
},
|
|
1608
1878
|
},
|
|
1609
1879
|
referencedVariableIds,
|
|
1610
1880
|
conclusion: strip(conclusionEvaluation),
|
|
@@ -1707,7 +1977,7 @@ export class ArgumentEngine {
|
|
|
1707
1977
|
}
|
|
1708
1978
|
const assignment = {
|
|
1709
1979
|
variables: {},
|
|
1710
|
-
|
|
1980
|
+
operatorAssignments: {},
|
|
1711
1981
|
};
|
|
1712
1982
|
for (let i = 0; i < checkedVariableIds.length; i++) {
|
|
1713
1983
|
assignment.variables[checkedVariableIds[i]] = Boolean(mask & (1 << i));
|