@proposit/proposit-core 0.8.9 → 0.8.10

package/README.md

@@ -4,7 +4,7 @@ Core engine for building, evaluating, and checking the logical validity of propo
 
 Also ships a **CLI** (`proposit-core`) for managing arguments, premises, variables, expressions, and analyses stored on disk.
 
-Full documentation is available at <https://www.polintpro.com/proposit-core/>.
+Full documentation is available at <https://proposit-app.github.io/proposit-core/>.
 
 ## Visual Overview
 
@@ -41,9 +41,9 @@ flowchart TD
 ## Installation
 
 ```bash
-pnpm add @polintpro/proposit-core
+pnpm add @proposit/proposit-core
 # or
-npm install @polintpro/proposit-core
+npm install @proposit/proposit-core
 ```
 
 ## Concepts
@@ -167,7 +167,7 @@ flowchart TD
 `PropositCore` is the recommended top-level entry point. It creates and wires together all five libraries and provides unified cross-library operations:
 
 ```typescript
-import { PropositCore } from "@polintpro/proposit-core"
+import { PropositCore } from "@proposit/proposit-core"
 
 const core = new PropositCore()
 
@@ -205,7 +205,7 @@ A **source** is an evidentiary reference (paper, article, URL). Source entities
 
 Claim-source associations are managed by `ClaimSourceLibrary<TAssoc>` — a standalone global class that links a claim version to a source version. Associations are immutable: create or delete only, no update. `ClaimSourceLibrary` validates both the claim and source references on `add()`.
 
-The `@polintpro/proposit-core/extensions/ieee` subpath export provides `IEEESourceSchema` — an extended source type with IEEE citation reference schemas covering 33 reference types.
+The `@proposit/proposit-core/extensions/ieee` subpath export provides `IEEESourceSchema` — an extended source type with IEEE citation reference schemas covering 33 reference types.
 
 ### Auto-variable creation
 
@@ -255,8 +255,8 @@ Each expression carries:
 ### Creating an engine and premises
 
 ```typescript
-import { ArgumentEngine, POSITION_INITIAL } from "@polintpro/proposit-core"
-import type { TPropositionalExpression } from "@polintpro/proposit-core"
+import { ArgumentEngine, POSITION_INITIAL } from "@proposit/proposit-core"
+import type { TPropositionalExpression } from "@proposit/proposit-core"
 
 // The constructor accepts an argument without checksum — it is computed lazily.
 const argument = {
@@ -456,7 +456,7 @@ if (validity.ok) {
 
 ```tsx
 import { useSyncExternalStore } from "react"
-import { ArgumentEngine } from "@polintpro/proposit-core"
+import { ArgumentEngine } from "@proposit/proposit-core"
 
 // Create the engine outside of React (or in a ref/context)
 const engine = new ArgumentEngine({ id: "arg-1", version: 1 })
@@ -595,7 +595,7 @@ console.log(premise1.toDisplayString()) // (P → Q)
 
 ```typescript
 // Fork John's argument to create Rich's response
-import { PropositCore } from "@polintpro/proposit-core"
+import { PropositCore } from "@proposit/proposit-core"
 
 const core = new PropositCore()
 

package/dist/index.d.ts

@@ -1,5 +1,5 @@
 /**
- * @module @polintpro/proposit-core
+ * @module @proposit/proposit-core
  *
  * Core engine for building, evaluating, and diffing propositional logic
  * arguments. Exports {@link ArgumentEngine} and {@link PremiseEngine} as

package/dist/index.js

@@ -1,5 +1,5 @@
 /**
- * @module @polintpro/proposit-core
+ * @module @proposit/proposit-core
  *
  * Core engine for building, evaluating, and diffing propositional logic
  * arguments. Exports {@link ArgumentEngine} and {@link PremiseEngine} as

package/package.json

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

package/skills/proposit-core/docs/api-usage.md

@@ -3,7 +3,7 @@
 ## 1. Creating an Argument
 
 ```typescript
-import { ArgumentEngine } from "@polintpro/proposit-core"
+import { ArgumentEngine } from "@proposit/proposit-core"
 
 const engine = new ArgumentEngine({
     id: "arg-1",
@@ -265,7 +265,7 @@ import {
     defaultCompareVariable,
     defaultComparePremise,
     defaultCompareExpression,
-} from "@polintpro/proposit-core"
+} from "@proposit/proposit-core"
 
 const diff = diffArguments(engineA, engineB, {
     compareArgument: defaultCompareArgument,
@@ -289,7 +289,7 @@ const diff = diffArguments(engineA, engineB, {
 import {
     analyzePremiseRelationships,
     buildPremiseProfile,
-} from "@polintpro/proposit-core"
+} from "@proposit/proposit-core"
 
 // Analyze how all premises relate to a focused premise
 const analysis = analyzePremiseRelationships(engine, "p-conclusion")
@@ -311,8 +311,8 @@ Both are standalone functions.
 ## 9. Formula Parsing
 
 ```typescript
-import { parseFormula } from "@polintpro/proposit-core"
-import type { FormulaAST } from "@polintpro/proposit-core"
+import { parseFormula } from "@proposit/proposit-core"
+import type { FormulaAST } from "@proposit/proposit-core"
 
 const ast: FormulaAST = parseFormula("P -> (Q & R)")
 ```
@@ -402,7 +402,7 @@ import {
     entityChecksum,
     DEFAULT_CHECKSUM_CONFIG,
     createChecksumConfig,
-} from "@polintpro/proposit-core"
+} from "@proposit/proposit-core"
 
 // Low-level hash
 const hash = computeHash("input string")
@@ -436,7 +436,7 @@ import {
     POSITION_MAX, // Number.MAX_SAFE_INTEGER
     POSITION_INITIAL, // midpoint(POSITION_MIN, POSITION_MAX)
     midpoint, // (a, b) => a + (b - a) / 2
-} from "@polintpro/proposit-core"
+} from "@proposit/proposit-core"
 ```
 
 Positions are opaque numbers. Only relative ordering matters. The `appendExpression` and `addExpressionRelative` APIs compute positions automatically -- prefer those over manual positioning.