@polintpro/proposit-core 0.8.4 → 0.8.6
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/dist/extensions/ieee/formatting.d.ts +30 -0
- package/dist/extensions/ieee/formatting.d.ts.map +1 -0
- package/dist/extensions/ieee/formatting.js +1053 -0
- package/dist/extensions/ieee/formatting.js.map +1 -0
- package/dist/extensions/ieee/index.d.ts +2 -0
- package/dist/extensions/ieee/index.d.ts.map +1 -1
- package/dist/extensions/ieee/index.js +2 -0
- package/dist/extensions/ieee/index.js.map +1 -1
- package/dist/extensions/ieee/references.d.ts +853 -94
- package/dist/extensions/ieee/references.d.ts.map +1 -1
- package/dist/extensions/ieee/references.js +621 -142
- package/dist/extensions/ieee/references.js.map +1 -1
- package/dist/extensions/ieee/relaxed.d.ts +1371 -0
- package/dist/extensions/ieee/relaxed.d.ts.map +1 -0
- package/dist/extensions/ieee/relaxed.js +160 -0
- package/dist/extensions/ieee/relaxed.js.map +1 -0
- package/dist/extensions/ieee/source.d.ts +195 -47
- package/dist/extensions/ieee/source.d.ts.map +1 -1
- package/dist/lib/core/argument-engine.d.ts +3 -0
- package/dist/lib/core/argument-engine.d.ts.map +1 -1
- package/dist/lib/core/argument-engine.js +18 -35
- package/dist/lib/core/argument-engine.js.map +1 -1
- package/dist/lib/core/claim-library.d.ts +14 -22
- package/dist/lib/core/claim-library.d.ts.map +1 -1
- package/dist/lib/core/claim-library.js +10 -185
- package/dist/lib/core/claim-library.js.map +1 -1
- package/dist/lib/core/claim-source-library.d.ts +1 -0
- package/dist/lib/core/claim-source-library.d.ts.map +1 -1
- package/dist/lib/core/claim-source-library.js +1 -0
- package/dist/lib/core/claim-source-library.js.map +1 -1
- package/dist/lib/core/expression-manager.d.ts +22 -0
- package/dist/lib/core/expression-manager.d.ts.map +1 -1
- package/dist/lib/core/expression-manager.js +67 -151
- package/dist/lib/core/expression-manager.js.map +1 -1
- package/dist/lib/core/fork-library.d.ts +9 -0
- package/dist/lib/core/fork-library.d.ts.map +1 -1
- package/dist/lib/core/fork-library.js +9 -0
- package/dist/lib/core/fork-library.js.map +1 -1
- package/dist/lib/core/fork-namespace.d.ts +13 -0
- package/dist/lib/core/fork-namespace.d.ts.map +1 -1
- package/dist/lib/core/fork-namespace.js +13 -0
- package/dist/lib/core/fork-namespace.js.map +1 -1
- package/dist/lib/core/invariant-violation-error.d.ts +4 -0
- package/dist/lib/core/invariant-violation-error.d.ts.map +1 -1
- package/dist/lib/core/invariant-violation-error.js +4 -0
- package/dist/lib/core/invariant-violation-error.js.map +1 -1
- package/dist/lib/core/parser/formula.d.ts +1 -0
- package/dist/lib/core/parser/formula.d.ts.map +1 -1
- package/dist/lib/core/parser/formula.js +1 -0
- package/dist/lib/core/parser/formula.js.map +1 -1
- package/dist/lib/core/premise-engine.d.ts +2 -0
- package/dist/lib/core/premise-engine.d.ts.map +1 -1
- package/dist/lib/core/premise-engine.js +35 -100
- package/dist/lib/core/premise-engine.js.map +1 -1
- package/dist/lib/core/source-library.d.ts +14 -22
- package/dist/lib/core/source-library.d.ts.map +1 -1
- package/dist/lib/core/source-library.js +10 -185
- package/dist/lib/core/source-library.js.map +1 -1
- package/dist/lib/core/versioned-library.d.ts +52 -0
- package/dist/lib/core/versioned-library.d.ts.map +1 -0
- package/dist/lib/core/versioned-library.js +192 -0
- package/dist/lib/core/versioned-library.js.map +1 -0
- 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/parsing/schemata.d.ts +2 -0
- package/dist/lib/parsing/schemata.d.ts.map +1 -1
- package/dist/lib/parsing/schemata.js +2 -0
- package/dist/lib/parsing/schemata.js.map +1 -1
- package/dist/lib/schemata/shared.d.ts +3 -0
- package/dist/lib/schemata/shared.d.ts.map +1 -1
- package/dist/lib/schemata/shared.js +3 -0
- package/dist/lib/schemata/shared.js.map +1 -1
- package/dist/lib/utils/position.d.ts +1 -0
- package/dist/lib/utils/position.d.ts.map +1 -1
- package/dist/lib/utils/position.js +1 -0
- package/dist/lib/utils/position.js.map +1 -1
- 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"}
|
|
@@ -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.
|
|
3
|
+
"version": "0.8.6",
|
|
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
|
}
|