@polintpro/proposit-core 0.1.4 → 0.1.5

package/README.md

@@ -691,5 +691,6 @@ pnpm cli -- --help   # run the CLI from the local build
 Releases are published to GitHub Packages automatically. To publish a new version:
 
 1. Bump `version` in `package.json`.
-2. Create a GitHub Release with a tag matching the version (e.g. `v0.2.0`).
-3. The [Publish workflow](.github/workflows/publish.yml) will build and publish the package.
+2. Create a GitHub Release with a tag matching the version (e.g. `v0.2.0`) via `pnpm version patch`
+3. The [Publish workflow](.github/workflows/publish.yml) will build and publish the package or run `pnpm publish --access public`
+4. Push new tags with `git push --follow-tags`

package/dist/index.d.ts

@@ -6,11 +6,11 @@
  * the primary API, along with all type schemata and the {@link diffArguments}
  * utility.
  */
-export { ArgumentEngine, PremiseManager } from "./lib/index";
-export * from "./lib/schemata";
-export * from "./lib/types/diff";
-export { diffArguments, defaultCompareArgument, defaultCompareVariable, defaultComparePremise, defaultCompareExpression, } from "./lib/core/diff";
-export { importArgumentFromYaml } from "./lib/core/import";
-export { parseFormula } from "./lib/core/parser/formula";
-export type { FormulaAST } from "./lib/core/parser/formula";
+export { ArgumentEngine, PremiseManager } from "./lib/index.js";
+export * from "./lib/schemata/index.js";
+export * from "./lib/types/diff.js";
+export { diffArguments, defaultCompareArgument, defaultCompareVariable, defaultComparePremise, defaultCompareExpression, } from "./lib/core/diff.js";
+export { importArgumentFromYaml } from "./lib/core/import.js";
+export { parseFormula } from "./lib/core/parser/formula.js";
+export type { FormulaAST } from "./lib/core/parser/formula.js";
 //# sourceMappingURL=index.d.ts.map

package/dist/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AACH,OAAO,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,aAAa,CAAA;AAC5D,cAAc,gBAAgB,CAAA;AAC9B,cAAc,kBAAkB,CAAA;AAChC,OAAO,EACH,aAAa,EACb,sBAAsB,EACtB,sBAAsB,EACtB,qBAAqB,EACrB,wBAAwB,GAC3B,MAAM,iBAAiB,CAAA;AACxB,OAAO,EAAE,sBAAsB,EAAE,MAAM,mBAAmB,CAAA;AAC1D,OAAO,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAA;AACxD,YAAY,EAAE,UAAU,EAAE,MAAM,2BAA2B,CAAA"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AACH,OAAO,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAA;AAC/D,cAAc,yBAAyB,CAAA;AACvC,cAAc,qBAAqB,CAAA;AACnC,OAAO,EACH,aAAa,EACb,sBAAsB,EACtB,sBAAsB,EACtB,qBAAqB,EACrB,wBAAwB,GAC3B,MAAM,oBAAoB,CAAA;AAC3B,OAAO,EAAE,sBAAsB,EAAE,MAAM,sBAAsB,CAAA;AAC7D,OAAO,EAAE,YAAY,EAAE,MAAM,8BAA8B,CAAA;AAC3D,YAAY,EAAE,UAAU,EAAE,MAAM,8BAA8B,CAAA"}

package/dist/index.js

@@ -6,10 +6,10 @@
  * the primary API, along with all type schemata and the {@link diffArguments}
  * utility.
  */
-export { ArgumentEngine, PremiseManager } from "./lib/index";
-export * from "./lib/schemata";
-export * from "./lib/types/diff";
-export { diffArguments, defaultCompareArgument, defaultCompareVariable, defaultComparePremise, defaultCompareExpression, } from "./lib/core/diff";
-export { importArgumentFromYaml } from "./lib/core/import";
-export { parseFormula } from "./lib/core/parser/formula";
+export { ArgumentEngine, PremiseManager } from "./lib/index.js";
+export * from "./lib/schemata/index.js";
+export * from "./lib/types/diff.js";
+export { diffArguments, defaultCompareArgument, defaultCompareVariable, defaultComparePremise, defaultCompareExpression, } from "./lib/core/diff.js";
+export { importArgumentFromYaml } from "./lib/core/import.js";
+export { parseFormula } from "./lib/core/parser/formula.js";
 //# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AACH,OAAO,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,aAAa,CAAA;AAC5D,cAAc,gBAAgB,CAAA;AAC9B,cAAc,kBAAkB,CAAA;AAChC,OAAO,EACH,aAAa,EACb,sBAAsB,EACtB,sBAAsB,EACtB,qBAAqB,EACrB,wBAAwB,GAC3B,MAAM,iBAAiB,CAAA;AACxB,OAAO,EAAE,sBAAsB,EAAE,MAAM,mBAAmB,CAAA;AAC1D,OAAO,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAA"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AACH,OAAO,EAAE,cAAc,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAA;AAC/D,cAAc,yBAAyB,CAAA;AACvC,cAAc,qBAAqB,CAAA;AACnC,OAAO,EACH,aAAa,EACb,sBAAsB,EACtB,sBAAsB,EACtB,qBAAqB,EACrB,wBAAwB,GAC3B,MAAM,oBAAoB,CAAA;AAC3B,OAAO,EAAE,sBAAsB,EAAE,MAAM,sBAAsB,CAAA;AAC7D,OAAO,EAAE,YAAY,EAAE,MAAM,8BAA8B,CAAA"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@polintpro/proposit-core",
-  "version": "0.1.4",
+  "version": "0.1.5",
   "description": "Core engine for building and manipulating propositional logic arguments.",
   "license": "MIT",
   "keywords": [