@polintpro/proposit-core 0.8.4 → 0.8.5

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.
Files changed (61) hide show
  1. package/dist/lib/core/argument-engine.d.ts +3 -0
  2. package/dist/lib/core/argument-engine.d.ts.map +1 -1
  3. package/dist/lib/core/argument-engine.js +18 -35
  4. package/dist/lib/core/argument-engine.js.map +1 -1
  5. package/dist/lib/core/claim-library.d.ts +14 -22
  6. package/dist/lib/core/claim-library.d.ts.map +1 -1
  7. package/dist/lib/core/claim-library.js +10 -185
  8. package/dist/lib/core/claim-library.js.map +1 -1
  9. package/dist/lib/core/claim-source-library.d.ts +1 -0
  10. package/dist/lib/core/claim-source-library.d.ts.map +1 -1
  11. package/dist/lib/core/claim-source-library.js +1 -0
  12. package/dist/lib/core/claim-source-library.js.map +1 -1
  13. package/dist/lib/core/expression-manager.d.ts +22 -0
  14. package/dist/lib/core/expression-manager.d.ts.map +1 -1
  15. package/dist/lib/core/expression-manager.js +67 -151
  16. package/dist/lib/core/expression-manager.js.map +1 -1
  17. package/dist/lib/core/fork-library.d.ts +9 -0
  18. package/dist/lib/core/fork-library.d.ts.map +1 -1
  19. package/dist/lib/core/fork-library.js +9 -0
  20. package/dist/lib/core/fork-library.js.map +1 -1
  21. package/dist/lib/core/fork-namespace.d.ts +13 -0
  22. package/dist/lib/core/fork-namespace.d.ts.map +1 -1
  23. package/dist/lib/core/fork-namespace.js +13 -0
  24. package/dist/lib/core/fork-namespace.js.map +1 -1
  25. package/dist/lib/core/invariant-violation-error.d.ts +4 -0
  26. package/dist/lib/core/invariant-violation-error.d.ts.map +1 -1
  27. package/dist/lib/core/invariant-violation-error.js +4 -0
  28. package/dist/lib/core/invariant-violation-error.js.map +1 -1
  29. package/dist/lib/core/parser/formula.d.ts +1 -0
  30. package/dist/lib/core/parser/formula.d.ts.map +1 -1
  31. package/dist/lib/core/parser/formula.js +1 -0
  32. package/dist/lib/core/parser/formula.js.map +1 -1
  33. package/dist/lib/core/premise-engine.d.ts +2 -0
  34. package/dist/lib/core/premise-engine.d.ts.map +1 -1
  35. package/dist/lib/core/premise-engine.js +35 -100
  36. package/dist/lib/core/premise-engine.js.map +1 -1
  37. package/dist/lib/core/source-library.d.ts +14 -22
  38. package/dist/lib/core/source-library.d.ts.map +1 -1
  39. package/dist/lib/core/source-library.js +10 -185
  40. package/dist/lib/core/source-library.js.map +1 -1
  41. package/dist/lib/core/versioned-library.d.ts +52 -0
  42. package/dist/lib/core/versioned-library.d.ts.map +1 -0
  43. package/dist/lib/core/versioned-library.js +192 -0
  44. package/dist/lib/core/versioned-library.js.map +1 -0
  45. package/dist/lib/index.d.ts +2 -0
  46. package/dist/lib/index.d.ts.map +1 -1
  47. package/dist/lib/index.js +1 -0
  48. package/dist/lib/index.js.map +1 -1
  49. package/dist/lib/parsing/schemata.d.ts +2 -0
  50. package/dist/lib/parsing/schemata.d.ts.map +1 -1
  51. package/dist/lib/parsing/schemata.js +2 -0
  52. package/dist/lib/parsing/schemata.js.map +1 -1
  53. package/dist/lib/schemata/shared.d.ts +3 -0
  54. package/dist/lib/schemata/shared.d.ts.map +1 -1
  55. package/dist/lib/schemata/shared.js +3 -0
  56. package/dist/lib/schemata/shared.js.map +1 -1
  57. package/dist/lib/utils/position.d.ts +1 -0
  58. package/dist/lib/utils/position.d.ts.map +1 -1
  59. package/dist/lib/utils/position.js +1 -0
  60. package/dist/lib/utils/position.js.map +1 -1
  61. package/package.json +4 -2
@@ -1 +1 @@
1
- {"version":3,"file":"shared.js","sourceRoot":"","sources":["../../../src/lib/schemata/shared.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAkD,MAAM,SAAS,CAAA;AAE9E,8EAA8E;AAC9E,sDAAsD;AACtD,8EAA8E;AAC9E,MAAM,OAAO,SAAU,SAAQ,IAAI,CAAC,IAAU;IAC1B,IAAI,GAAG,IAAI,CAAA;IAEX,KAAK,CAAC,KAAc;QAChC,OAAO,KAAK,YAAY,IAAI,CAAA;IAChC,CAAC;IACe,MAAM,CAAC,KAAc;QACjC,IAAI,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC;YAAE,OAAO,EAAE,CAAA;QAChC,OAAO,CAAC,EAAE,OAAO,EAAE,cAAc,EAAE,KAAK,EAAE,CAAC,CAAA;IAC/C,CAAC;IACe,OAAO,CAAC,KAAc;QAClC,IAAI,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC;YAAE,OAAO,KAAK,CAAA;QACnC,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;YACzD,MAAM,IAAI,GAAG,IAAI,IAAI,CAAC,KAAK,CAAC,CAAA;YAC5B,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC;gBAAE,OAAO,IAAI,CAAA;QACrC,CAAC;QACD,MAAM,IAAI,KAAK,CAAC,8BAA8B,CAAC,CAAA;IACnD,CAAC;IACe,KAAK;QACjB,OAAO,IAAI,SAAS,EAAE,CAAA;IAC1B,CAAC;CACJ;AACD,MAAM,UAAU,QAAQ;IACpB,OAAO,IAAI,SAAS,EAAE,CAAA;AAC1B,CAAC;AACD,MAAM,CAAC,MAAM,aAAa,GAAG,QAAQ,EAAE,CAAA;AAEvC,8EAA8E;AAC9E,sBAAsB;AACtB,8EAA8E;AAC9E,MAAM,CAAC,MAAM,mBAAmB,GAAG,IAAI,CAAC,KAAK,CAAC;IAC1C,IAAI,CAAC,MAAM,EAAE;IACb,IAAI,CAAC,MAAM,EAAE;IACb,IAAI,CAAC,OAAO,EAAE;IACd,IAAI,CAAC,IAAI,EAAE;IACX,aAAa;CAChB,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,eAAe,GAAG,IAAI,CAAC,MAAM,CACtC;IACI,eAAe,EAAE,IAAI,CAAC,KAAK,CAAC;QACxB,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,IAAI,CAAC,GAAG,CAAC,iBAAiB,CAAC,CAAC;QACvD,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,iBAAiB,CAAC,CAAC;QACvC,IAAI,CAAC,MAAM,EAAE;QACb,IAAI,CAAC,MAAM,EAAE;QACb,IAAI,CAAC,OAAO,EAAE;QACd,IAAI,CAAC,IAAI,EAAE;QACX,aAAa;KAChB,CAAC;CACL,EACD,iBAAiB,CACpB,CAAA;AAED,MAAM,CAAC,MAAM,gBAAgB,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,IAAI,CAAC,GAAG,EAAE,CAAC,CAAA;AAEtE,MAAM,CAAC,MAAM,eAAe,GAAG,IAAI,CAAC,KAAK,CAAC,eAAe,CAAC,CAAA;AAW1D,8EAA8E;AAC9E,UAAU;AACV,8EAA8E;AAC9E,MAAM,CAAC,MAAM,QAAQ,GAAG,CACpB,MAAS,EACT,OAAyC,EAC3C,EAAE;IACA,OAAO,IAAI,CAAC,KAAK,CAAC,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,GAAG,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAA;AAC3E,CAAC,CAAA;AACD,MAAM,CAAC,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,EAAE,CAAA,CAAC,sDAAsD"}
1
+ {"version":3,"file":"shared.js","sourceRoot":"","sources":["../../../src/lib/schemata/shared.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAkD,MAAM,SAAS,CAAA;AAE9E,8EAA8E;AAC9E,sDAAsD;AACtD,8EAA8E;AAC9E,8EAA8E;AAC9E,MAAM,OAAO,SAAU,SAAQ,IAAI,CAAC,IAAU;IAC1B,IAAI,GAAG,IAAI,CAAA;IAEX,KAAK,CAAC,KAAc;QAChC,OAAO,KAAK,YAAY,IAAI,CAAA;IAChC,CAAC;IACe,MAAM,CAAC,KAAc;QACjC,IAAI,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC;YAAE,OAAO,EAAE,CAAA;QAChC,OAAO,CAAC,EAAE,OAAO,EAAE,cAAc,EAAE,KAAK,EAAE,CAAC,CAAA;IAC/C,CAAC;IACe,OAAO,CAAC,KAAc;QAClC,IAAI,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC;YAAE,OAAO,KAAK,CAAA;QACnC,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;YACzD,MAAM,IAAI,GAAG,IAAI,IAAI,CAAC,KAAK,CAAC,CAAA;YAC5B,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC;gBAAE,OAAO,IAAI,CAAA;QACrC,CAAC;QACD,MAAM,IAAI,KAAK,CAAC,8BAA8B,CAAC,CAAA;IACnD,CAAC;IACe,KAAK;QACjB,OAAO,IAAI,SAAS,EAAE,CAAA;IAC1B,CAAC;CACJ;AACD,uDAAuD;AACvD,MAAM,UAAU,QAAQ;IACpB,OAAO,IAAI,SAAS,EAAE,CAAA;AAC1B,CAAC;AACD,MAAM,CAAC,MAAM,aAAa,GAAG,QAAQ,EAAE,CAAA;AAEvC,8EAA8E;AAC9E,sBAAsB;AACtB,8EAA8E;AAC9E,MAAM,CAAC,MAAM,mBAAmB,GAAG,IAAI,CAAC,KAAK,CAAC;IAC1C,IAAI,CAAC,MAAM,EAAE;IACb,IAAI,CAAC,MAAM,EAAE;IACb,IAAI,CAAC,OAAO,EAAE;IACd,IAAI,CAAC,IAAI,EAAE;IACX,aAAa;CAChB,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,eAAe,GAAG,IAAI,CAAC,MAAM,CACtC;IACI,eAAe,EAAE,IAAI,CAAC,KAAK,CAAC;QACxB,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,IAAI,CAAC,GAAG,CAAC,iBAAiB,CAAC,CAAC;QACvD,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,iBAAiB,CAAC,CAAC;QACvC,IAAI,CAAC,MAAM,EAAE;QACb,IAAI,CAAC,MAAM,EAAE;QACb,IAAI,CAAC,OAAO,EAAE;QACd,IAAI,CAAC,IAAI,EAAE;QACX,aAAa;KAChB,CAAC;CACL,EACD,iBAAiB,CACpB,CAAA;AAED,MAAM,CAAC,MAAM,gBAAgB,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,IAAI,CAAC,GAAG,EAAE,CAAC,CAAA;AAEtE,MAAM,CAAC,MAAM,eAAe,GAAG,IAAI,CAAC,KAAK,CAAC,eAAe,CAAC,CAAA;AAW1D,8EAA8E;AAC9E,UAAU;AACV,8EAA8E;AAC9E,kFAAkF;AAClF,MAAM,CAAC,MAAM,QAAQ,GAAG,CACpB,MAAS,EACT,OAAyC,EAC3C,EAAE;IACA,OAAO,IAAI,CAAC,KAAK,CAAC,CAAC,MAAM,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,GAAG,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAA;AAC3E,CAAC,CAAA;AACD,MAAM,CAAC,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,EAAE,CAAA,CAAC,sDAAsD"}
@@ -7,5 +7,6 @@ export declare const POSITION_MIN = -2147483647;
7
7
  export declare const POSITION_MAX = 2147483647;
8
8
  export declare const POSITION_INITIAL = 0;
9
9
  export declare const DEFAULT_POSITION_CONFIG: TCorePositionConfig;
10
+ /** Returns the integer midpoint between two numbers, truncating toward zero. */
10
11
  export declare function midpoint(a: number, b: number): number;
11
12
  //# sourceMappingURL=position.d.ts.map
@@ -1 +1 @@
1
- {"version":3,"file":"position.d.ts","sourceRoot":"","sources":["../../../src/lib/utils/position.ts"],"names":[],"mappings":"AAAA,MAAM,MAAM,mBAAmB,GAAG;IAC9B,GAAG,EAAE,MAAM,CAAA;IACX,GAAG,EAAE,MAAM,CAAA;IACX,OAAO,EAAE,MAAM,CAAA;CAClB,CAAA;AAED,eAAO,MAAM,YAAY,cAAc,CAAA;AACvC,eAAO,MAAM,YAAY,aAAa,CAAA;AACtC,eAAO,MAAM,gBAAgB,IAAI,CAAA;AAEjC,eAAO,MAAM,uBAAuB,EAAE,mBAIrC,CAAA;AAED,wBAAgB,QAAQ,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,GAAG,MAAM,CAErD"}
1
+ {"version":3,"file":"position.d.ts","sourceRoot":"","sources":["../../../src/lib/utils/position.ts"],"names":[],"mappings":"AAAA,MAAM,MAAM,mBAAmB,GAAG;IAC9B,GAAG,EAAE,MAAM,CAAA;IACX,GAAG,EAAE,MAAM,CAAA;IACX,OAAO,EAAE,MAAM,CAAA;CAClB,CAAA;AAED,eAAO,MAAM,YAAY,cAAc,CAAA;AACvC,eAAO,MAAM,YAAY,aAAa,CAAA;AACtC,eAAO,MAAM,gBAAgB,IAAI,CAAA;AAEjC,eAAO,MAAM,uBAAuB,EAAE,mBAIrC,CAAA;AAED,gFAAgF;AAChF,wBAAgB,QAAQ,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,GAAG,MAAM,CAErD"}
@@ -6,6 +6,7 @@ export const DEFAULT_POSITION_CONFIG = {
6
6
  max: POSITION_MAX,
7
7
  initial: POSITION_INITIAL,
8
8
  };
9
+ /** Returns the integer midpoint between two numbers, truncating toward zero. */
9
10
  export function midpoint(a, b) {
10
11
  return Math.trunc(a + (b - a) / 2);
11
12
  }
@@ -1 +1 @@
1
- {"version":3,"file":"position.js","sourceRoot":"","sources":["../../../src/lib/utils/position.ts"],"names":[],"mappings":"AAMA,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,UAAU,CAAA;AACvC,MAAM,CAAC,MAAM,YAAY,GAAG,UAAU,CAAA;AACtC,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,CAAA;AAEjC,MAAM,CAAC,MAAM,uBAAuB,GAAwB;IACxD,GAAG,EAAE,YAAY;IACjB,GAAG,EAAE,YAAY;IACjB,OAAO,EAAE,gBAAgB;CAC5B,CAAA;AAED,MAAM,UAAU,QAAQ,CAAC,CAAS,EAAE,CAAS;IACzC,OAAO,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAA;AACtC,CAAC"}
1
+ {"version":3,"file":"position.js","sourceRoot":"","sources":["../../../src/lib/utils/position.ts"],"names":[],"mappings":"AAMA,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,UAAU,CAAA;AACvC,MAAM,CAAC,MAAM,YAAY,GAAG,UAAU,CAAA;AACtC,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,CAAA;AAEjC,MAAM,CAAC,MAAM,uBAAuB,GAAwB;IACxD,GAAG,EAAE,YAAY;IACjB,GAAG,EAAE,YAAY;IACjB,OAAO,EAAE,gBAAgB;CAC5B,CAAA;AAED,gFAAgF;AAChF,MAAM,UAAU,QAAQ,CAAC,CAAS,EAAE,CAAS;IACzC,OAAO,IAAI,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAA;AACtC,CAAC"}
package/package.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "@polintpro/proposit-core",
3
- "version": "0.8.4",
3
+ "version": "0.8.5",
4
4
  "description": "Core engine for building and manipulating propositional logic arguments.",
5
5
  "license": "MIT",
6
6
  "keywords": [
@@ -54,6 +54,7 @@
54
54
  "globals": "^16.5.0",
55
55
  "peggy": "^5.0.6",
56
56
  "prettier": "^3.8.1",
57
+ "typedoc": "^0.28.18",
57
58
  "typescript": "^5.9.3",
58
59
  "typescript-eslint": "^8.55.0",
59
60
  "vitest": "^4.0.18"
@@ -65,13 +66,14 @@
65
66
  },
66
67
  "scripts": {
67
68
  "generate:parser": "peggy --format es -o src/lib/core/parser/formula-gen.js src/lib/core/parser/formula.peggy",
68
- "build": "rm -rf dist tsconfig.build.tsbuildinfo && pnpm run generate:parser && pnpm tsc -p tsconfig.build.json && cp src/lib/core/parser/formula-gen.js dist/lib/core/parser/formula-gen.js",
69
+ "build": "rm -rf dist tsconfig.build.tsbuildinfo && pnpm run generate:parser && pnpm tsc -p tsconfig.build.json && cp src/lib/core/parser/formula-gen.js dist/lib/core/parser/formula-gen.js && pnpm run docs",
69
70
  "typecheck": "pnpm tsc -p tsconfig.json",
70
71
  "lint": "pnpm run prettify:check && pnpm eslint .",
71
72
  "prettify": "pnpm prettier -w .",
72
73
  "prettify:check": "pnpm prettier --check .",
73
74
  "test": "pnpm vitest run",
74
75
  "check": "pnpm run typecheck && pnpm run lint && pnpm run test && pnpm run build",
76
+ "docs": "typedoc",
75
77
  "cli": "node dist/cli.js",
76
78
  "preversion": "pnpm run check"
77
79
  }