@proposit/proposit-core 0.11.2 → 0.12.0

package/README.md

@@ -184,13 +184,13 @@ const citationClaim = core.claims.create({
     text: "Aristotle, Categories, ~350 BCE",
 })
 
-// Cite the citation claim from the normal claim
-core.claimCitations.add({
+// Cite the citation claim as supporting the normal claim
+core.citations.add({
     id: "edge-1",
-    citingClaimId: claim.id,
-    citingClaimVersion: claim.version,
-    sourceClaimId: citationClaim.id,
-    sourceClaimVersion: citationClaim.version,
+    claimId: claim.id,
+    claimVersion: claim.version,
+    supportingClaimId: citationClaim.id,
+    supportingClaimVersion: citationClaim.version,
 })
 
 // Create an argument engine — libraries are wired automatically
@@ -212,23 +212,45 @@ const snapshot = core.snapshot()
 const restored = PropositCore.fromSnapshot(snapshot)
 ```
 
-`PropositCore` is designed for subclassing. All library fields (`claims`, `claimCitations`, `forks`, `arguments`) are public and readable. Pass pre-constructed library instances via `TPropositCoreOptions` to inject custom implementations.
+`PropositCore` is designed for subclassing. All library fields (`claims`, `citations`, `axioms`, `forks`, `arguments`) are public and readable. Pass pre-constructed library instances via `TPropositCoreOptions` to inject custom implementations.
 
 ### No application metadata
 
 The core library does not deal in user IDs, timestamps, or display text. These are application-level concerns. The CLI adds some metadata (e.g., `createdAt`, `publishedAt`) for its own purposes, but the core schemas are intentionally minimal. Applications extend core entity types via generic parameters.
 
-### Claims and citations
+### Claims, citations, and axioms
 
-Every claim in the unified `ClaimLibrary` carries an immutable `type: 'normal' | 'citation'` discriminator set at creation:
+Every claim in the unified `ClaimLibrary` carries an immutable `type: 'normal' | 'citation' | 'axiomatic'` discriminator set at creation:
 
 - **Normal claims** (`type: 'normal'`) are primary-reasoning propositions referenced by an argument's variables.
 - **Citation claims** (`type: 'citation'`) represent external/cited content — papers, articles, URLs. They are the v0.10.0 unified replacement for the former separate `Source` entity. Application schemas (e.g. the IEEE extension) extend citation claims with structured reference data.
+- **Axiomatic claims** (`type: 'axiomatic'`, added in v0.12.0) represent self-evident propositions invoked as the bottom-level "proof" of a derived claim's truth — propositions that hold by definition, by historical convention, or by logical necessity. Axiomatic claim-bound variables are forced to `true` during evaluation (see "Evaluation semantics by claim type" below). Application layers attach a reason discriminator via the open `additionalProperties` slot — for example, the CLI schema requires `reasonCode: 'true-by-definition' | 'historically-established' | 'logically-required'`.
 
-Citations between claims are managed by `ClaimCitationLibrary<TCitation>` — a standalone global class that stores directed edges in the global claim citation graph. Each citation pins both endpoints to specific claim versions (`citingClaimId@citingClaimVersion → sourceClaimId@sourceClaimVersion`). The source-side endpoint must reference a claim with `type: 'citation'`. Citations are immutable (create or delete, no update). `ClaimCitationLibrary` validates both endpoints, the source-side type, and global graph acyclicity on `add()`.
+Two parallel **connection libraries** track the support edges between claims:
+
+- `ClaimCitationLibrary<TCitation>` — stores citation connections (`claimId → supportingClaimId`). The supporting-side endpoint must reference a claim with `type: 'citation'`. `ClaimCitationLibrary` validates both endpoints, the supporting-side type, and global-graph acyclicity on `add()`.
+- `ClaimAxiomLibrary<TAxiom>` (v0.12.0) — stores axiom-invocation connections (`claimId → supportingClaimId`). The supporting-side endpoint must reference a claim with `type: 'axiomatic'` and the dependent-side endpoint must reference a claim with `type: 'normal'`. `ClaimAxiomLibrary` skips cycle detection — cycles are structurally impossible because axiomatic claims cannot appear on the dependent side.
+
+Both libraries implement a generic `TClaimConnectionLibraryManagement` interface (`add`, `remove`, `get`, `getAll`, `getConnectionsForClaim`, `filter`, `snapshot`, `validate`), so consumers can write code that works against either flavour.
+
+Connections are immutable (create or delete, no update). Each connection pins both endpoints to specific claim versions. They live on `PropositCore` as `core.citations` and `core.axioms`.
 
 The `@proposit/proposit-core/extensions/ieee` subpath export provides `IEEECitationClaimSchema` — an extended citation-claim type with IEEE reference schemas covering 33 reference types.
 
+### Evaluation semantics by claim type
+
+Claim-bound variables evaluate differently depending on the bound claim's type:
+
+| Claim type  | Evaluation behavior                 | Caller override                              |
+| ----------- | ----------------------------------- | -------------------------------------------- |
+| `normal`    | Caller assigns; unassigned → `null` | Yes — standard                               |
+| `citation`  | Caller assigns; unassigned → `null` | Yes — standard                               |
+| `axiomatic` | Forced to `true`                    | No — caller attempts are rejected pre-flight |
+
+Citations and normal claims continue to require explicit assignment. Apps that want auto-`true` defaults for citations implement that policy at their own layer. Axiomatic claim-bound variables are forced to `true` by a pre-pass in `ArgumentEngine.evaluate` and `ArgumentEngine.checkValidity`; a caller assignment for an axiomatic-bound variable raises `AXIOM_VARIABLE_ASSIGNMENT_FORBIDDEN` before evaluation runs.
+
+To express "this derivation should NOT be supported by this axiom," wrap the axiom's variable expression in the antecedent with `not` (`toggleNegation`). Because the axiom's value is fixed at `true`, the negated reference contributes `false` to its parent operator — the standard expression-tree negation, no new mechanism. The consequent variable expression is protected by `assertNotConsequentExpression` and cannot be negated.
+
 ### Derivation Premises
 
 As of v0.11.0, every premise carries an immutable `type` discriminator:
@@ -259,13 +281,13 @@ const citeA = core.claims.create({
     text: "Weather report, 2024",
 })
 
-// Add a citation edge: claim cites citeA as support
-core.claimCitations.add({
+// Add a citation connection: claim is supported by citeA
+core.citations.add({
     id: "edge-1",
-    citingClaimId: claim.id,
-    citingClaimVersion: claim.version,
-    sourceClaimId: citeA.id,
-    sourceClaimVersion: citeA.version,
+    claimId: claim.id,
+    claimVersion: claim.version,
+    supportingClaimId: citeA.id,
+    supportingClaimVersion: citeA.version,
 })
 
 const engine = core.arguments.create({
@@ -288,13 +310,13 @@ const { result: pm } = engine.createPremise({
 // (Requires a ManagedDerivationPremiseEngine instance)
 ```
 
-The `populateFromCitations` helper on `ManagedDerivationPremiseEngine` is the recommended way to build the antecedent from the global citation graph:
+The `populateFromSupports` helper on `ManagedDerivationPremiseEngine` is the recommended way to build the antecedent from the combined citation + axiom support set (renamed from `populateFromCitations` in v0.12.0):
 
-- `n = 0` citations: no change (premise stays in naked-Q form)
-- `n = 1` citation: produces `IMPLIES(S1, Q)`
-- `n ≥ 2` citations: produces `IMPLIES(OR(S1, ..., Sn), Q)`
+- `n = 0` supports: no change (premise stays in naked-Q form)
+- `n = 1` support: produces `IMPLIES(S1, Q)`
+- `n ≥ 2` supports: produces `IMPLIES(OR(S1, ..., Sn), Q)`
 
-`populateFromCitations` is one-shot: it rejects calls on premises that already have a non-empty antecedent. Delete and re-create the premise to repopulate.
+The helper takes `(citationLib, axiomLib, argumentEngine)`. Citations are listed first, axioms second; source order preserved within each. `populateFromSupports` is one-shot — it rejects calls on premises that already have a non-empty antecedent. Delete and re-create the premise to repopulate.
 
 ### Auto-variable creation
 
@@ -308,11 +330,11 @@ An argument can be **forked** via `PropositCore.forkArgument()` to create an ind
 
 - Creates a new argument with a new ID (version 0)
 - Assigns new UUIDs to all premises, expressions, and variables
-- Walks the citation graph from the source argument's claim-bound variables and clones every reachable claim (both `'normal'` and `'citation'`-typed) plus the citation edges between them
+- Walks the combined citation + axiom connection graph from the source argument's claim-bound variables (a single BFS that consults both `core.citations` and `core.axioms` at each frontier pop) and clones every reachable claim (`'normal'`, `'citation'`, and `'axiomatic'`) plus both kinds of connections between them
 - Creates fork records in all five `ForkLibrary` namespaces (arguments, premises, expressions, variables, claims)
 - Remaps all internal references (expression parent chains, variable bindings, conclusion role, claim references)
 - Registers the new engine in `ArgumentLibrary`
-- Returns the new engine, a remap table, a claim remap map (covering both normal and citation claims), and the argument fork record
+- Returns the new engine, a remap table, a claim remap map (covering normal, citation, and axiomatic claims), and the argument fork record
 
 The forked argument is fully independent — mutations don't affect the source. Fork-aware diffing is automatic via `PropositCore.diffArguments()`, which uses `ForkLibrary` records as entity matchers rather than ID-based pairing.
 
@@ -806,21 +828,21 @@ The engine enforces structural invariants at two levels: **construction-time** (
 
 ### Premises — prevented at construction time
 
-| Invalid construction                                                                    | What happens / error code                              |
-| --------------------------------------------------------------------------------------- | ------------------------------------------------------ |
-| Duplicate premise ID                                                                    | Throws                                                 |
-| Adding a second root expression (`parentId: null`) to a premise                         | Throws                                                 |
-| `createPremise({ type: "derivation" })` without `derivedClaimId`                        | Throws — `CREATE_DERIVATION_REQUIRES_DERIVED_CLAIM_ID` |
-| `createPremise({ type: "derivation", derivedClaimId })` when claim not in library       | Throws — `CREATE_DERIVATION_CLAIM_NOT_FOUND`           |
-| `ManagedDerivationPremiseEngine` constructed on a non-derivation premise                | Throws — `DERIVATION_TYPE_MISMATCH`                    |
-| `ManagedDerivationPremiseEngine.fromSnapshot` on a structurally invalid tree            | Throws — `DERIVATION_STRUCTURE_INVALID`                |
-| Removing or negating the consequent expression on a managed derivation premise          | Throws — `DERIVATION_CONSEQUENT_LOCKED`                |
-| Updating the consequent variable ID or operator on a managed derivation premise         | Throws — `DERIVATION_CONSEQUENT_LOCKED`                |
-| Inserting an expression into the consequent slot of a managed derivation premise        | Throws — `DERIVATION_CONSEQUENT_LOCKED`                |
-| Swapping root operator to `and`/`or`/`not` on a managed derivation premise              | Throws — `DERIVATION_ROOT_OPERATOR_INVALID`            |
-| `populateFromCitations` on a derivation premise that already has a non-empty antecedent | Throws — `DERIVATION_ANTECEDENT_NON_EMPTY`             |
-| `ensureClaimBoundVariable(claimId)` when the claim is not in the library                | Throws — `CLAIM_NOT_FOUND`                             |
-| Restoring a pre-v0.11 snapshot whose premises lack the `type` field                     | Throws — `LEGACY_PREMISE_MISSING_TYPE`                 |
+| Invalid construction                                                                   | What happens / error code                              |
+| -------------------------------------------------------------------------------------- | ------------------------------------------------------ |
+| Duplicate premise ID                                                                   | Throws                                                 |
+| Adding a second root expression (`parentId: null`) to a premise                        | Throws                                                 |
+| `createPremise({ type: "derivation" })` without `derivedClaimId`                       | Throws — `CREATE_DERIVATION_REQUIRES_DERIVED_CLAIM_ID` |
+| `createPremise({ type: "derivation", derivedClaimId })` when claim not in library      | Throws — `CREATE_DERIVATION_CLAIM_NOT_FOUND`           |
+| `ManagedDerivationPremiseEngine` constructed on a non-derivation premise               | Throws — `DERIVATION_TYPE_MISMATCH`                    |
+| `ManagedDerivationPremiseEngine.fromSnapshot` on a structurally invalid tree           | Throws — `DERIVATION_STRUCTURE_INVALID`                |
+| Removing or negating the consequent expression on a managed derivation premise         | Throws — `DERIVATION_CONSEQUENT_LOCKED`                |
+| Updating the consequent variable ID or operator on a managed derivation premise        | Throws — `DERIVATION_CONSEQUENT_LOCKED`                |
+| Inserting an expression into the consequent slot of a managed derivation premise       | Throws — `DERIVATION_CONSEQUENT_LOCKED`                |
+| Swapping root operator to `and`/`or`/`not` on a managed derivation premise             | Throws — `DERIVATION_ROOT_OPERATOR_INVALID`            |
+| `populateFromSupports` on a derivation premise that already has a non-empty antecedent | Throws — `DERIVATION_ANTECEDENT_NON_EMPTY`             |
+| `ensureClaimBoundVariable(claimId)` when the claim is not in the library               | Throws — `CLAIM_NOT_FOUND`                             |
+| Restoring a pre-v0.11 snapshot whose premises lack the `type` field                    | Throws — `LEGACY_PREMISE_MISSING_TYPE`                 |
 
 ### Premises — detected by validation
 
@@ -840,17 +862,25 @@ The engine enforces structural invariants at two levels: **construction-time** (
 | Same variable ID used with multiple symbols across premises | `ARGUMENT_VARIABLE_ID_SYMBOL_MISMATCH` |
 | Same variable symbol used with multiple IDs across premises | `ARGUMENT_VARIABLE_SYMBOL_AMBIGUOUS`   |
 
-### Claims and citations — prevented at construction time
-
-| Invalid construction                                                            | What happens / error code                                                  |
-| ------------------------------------------------------------------------------- | -------------------------------------------------------------------------- |
-| Updating a claim's `type` field after creation                                  | Throws — `CLAIM_TYPE_IMMUTABLE`                                            |
-| Restoring a pre-v0.10 snapshot whose claims lack the `type` field               | Throws — `LEGACY_CLAIM_MISSING_TYPE`                                       |
-| Adding a citation whose `id` already exists                                     | Throws — `CITATION_DUPLICATE_ID`                                           |
-| Adding a citation whose `citingClaimId@citingClaimVersion` is not in the lookup | Throws — `CITATION_CITING_REF_NOT_FOUND`                                   |
-| Adding a citation whose `sourceClaimId@sourceClaimVersion` is not in the lookup | Throws — `CITATION_SOURCE_REF_NOT_FOUND`                                   |
-| Source-side claim of a citation has `type !== 'citation'`                       | Throws — `CITATION_SOURCE_NOT_CITATION_TYPE`                               |
-| Citation that would create a cycle in the global claim-citation graph           | Throws — `CITATION_CYCLE_DETECTED` (ID-only — versions don't disambiguate) |
+### Claims, citations, and axioms — prevented at construction time
+
+| Invalid construction                                                                         | What happens / error code                                                                                           |
+| -------------------------------------------------------------------------------------------- | ------------------------------------------------------------------------------------------------------------------- |
+| Updating a claim's `type` field after creation                                               | Throws — `CLAIM_TYPE_IMMUTABLE`                                                                                     |
+| Restoring a pre-v0.10 snapshot whose claims lack the `type` field                            | Throws — `LEGACY_CLAIM_MISSING_TYPE`                                                                                |
+| Adding a citation whose `id` already exists                                                  | Throws — `CITATION_DUPLICATE_ID`                                                                                    |
+| Adding a citation whose `claimId@claimVersion` is not in the lookup                          | Throws — `CITATION_CLAIM_REF_NOT_FOUND`                                                                             |
+| Adding a citation whose `supportingClaimId@supportingClaimVersion` is not in the lookup      | Throws — `CITATION_SUPPORTING_REF_NOT_FOUND`                                                                        |
+| Supporting-side claim of a citation has `type !== 'citation'`                                | Throws — `CITATION_SUPPORTING_NOT_CITATION_TYPE`                                                                    |
+| Citation that would create a cycle in the global claim-citation graph                        | Throws — `CITATION_CYCLE_DETECTED` (ID-only — versions don't disambiguate)                                          |
+| Adding an axiom connection whose `id` already exists                                         | Throws — `AXIOM_DUPLICATE_ID`                                                                                       |
+| Adding an axiom connection whose `claimId@claimVersion` is not in the lookup                 | Throws — `AXIOM_CLAIM_REF_NOT_FOUND`                                                                                |
+| Adding an axiom connection whose `supportingClaimId@supportingClaimVersion` is not in lookup | Throws — `AXIOM_SUPPORTING_REF_NOT_FOUND`                                                                           |
+| Supporting-side claim of an axiom connection has `type !== 'axiomatic'`                      | Throws — `AXIOM_SUPPORTING_NOT_AXIOMATIC_TYPE`                                                                      |
+| Dependent-side claim of an axiom connection has `type !== 'normal'`                          | Throws — `AXIOM_CLAIM_NOT_NORMAL_TYPE`                                                                              |
+| Caller passes an assignment for an axiomatic-bound variable to `evaluate` or `checkValidity` | Throws — `AXIOM_VARIABLE_ASSIGNMENT_FORBIDDEN` (use `toggleNegation` to reject the axiom in the antecedent instead) |
+| Restoring a pre-v0.12 snapshot whose citation-library wrapper or entities use legacy fields  | Throws — `LEGACY_CLAIM_CITATION_SHAPE` (run the v0.12 CLI migration)                                                |
+| Restoring a pre-v0.12 `PropositCore` snapshot that lacks an `axioms` slot                    | Throws — `LEGACY_MISSING_AXIOM_SLOT` (run the v0.12 CLI migration)                                                  |
 
 ### Removal cascades
 
@@ -935,19 +965,48 @@ proposit-core arguments delete [--all] [--confirm] <id>   Delete an argument or
 proposit-core arguments publish <id>               Publish latest version, prepare new draft
 proposit-core arguments parse [text] [options]     Parse natural language into an argument via LLM
 proposit-core arguments import <yaml_file>         Import an argument from YAML
-proposit-core claims list [--json]                 List all claims (citation-typed claims tagged [citation])
+proposit-core claims list [--json]                 List all claims (citation tagged [citation]; axiomatic tagged [axiom: <reasonCode>])
 proposit-core claims show <claim_id> [--json]      Show all versions of a claim
-proposit-core claims add [--type <t>] [--title <t>] [--body <b>]  Create a new claim ('normal' default; 'citation' for cited content)
-proposit-core claims update <claim_id> [--title <t>] [--body <b>]  Update claim metadata (type is immutable)
+proposit-core claims add [--type <t>] [--reason <code>] [--title <t>] [--body <b>]  Create a new claim ('normal' default; 'citation' for cited content; 'axiomatic' requires --reason)
+proposit-core claims update <claim_id> [--title <t>] [--body <b>]  Update claim metadata (type and reasonCode are immutable)
 proposit-core claims freeze <claim_id>             Freeze current version
-proposit-core citations list [--json]              List all citation edges
+proposit-core citations list [--json]              List all citation connections
 proposit-core citations show <citation_id> [--json]  Show a single citation
-proposit-core citations add <citing_claim_id> <source_claim_id>  Add a citation edge (source must be type=citation)
-proposit-core citations unlink <citation_id>       Remove a citation edge
+proposit-core citations add --claim-id <id> --supporting-claim-id <id>  Add a citation connection (supporting claim must be type=citation)
+proposit-core citations remove <citation_id>       Remove a citation connection
+proposit-core axioms list [--json]                 List all axiom connections
+proposit-core axioms show <connection_id> [--json] Show a single axiom connection
+proposit-core axioms add --claim-id <id> --axiom-id <id>           Add an axiom connection (supporting claim must be type=axiomatic; dependent must be type=normal)
+proposit-core axioms remove <connection_id>        Remove an axiom connection
 ```
 
+> **Breaking change in v0.12.0.** The `citations` command group switched from positional arguments + `unlink` to flag arguments + `remove`, matching the new `axioms` group and the renamed schema fields. Scripts that used `citations add <citing_claim_id> <source_claim_id>` or `citations unlink <id>` need to update to `citations add --claim-id <id> --supporting-claim-id <id>` and `citations remove <id>`.
+
 By default `delete` removes only the latest version. Pass `--all` to remove the argument entirely. Both `delete` and `delete-unused` prompt for confirmation unless `--confirm` is supplied.
 
+### Axiomatic claims
+
+Axiomatic claims (v0.12.0) represent self-evident propositions invoked as the bottom-level support for a derived claim — propositions that hold by definition, by historical convention, or by logical necessity. Create one with the `--type axiomatic` flag plus a required `--reason <code>` from one of the three preset reason codes:
+
+- `true-by-definition` — the proposition is part of how a term is defined.
+- `historically-established` — the proposition is treated as fact by long-standing convention.
+- `logically-required` — the proposition follows from logical structure alone.
+
+```bash
+proposit-core claims add --type axiomatic --reason true-by-definition \
+    --title "All bachelors are unmarried"
+```
+
+The `reasonCode` is set at creation time and is immutable — `claims update` rejects `--reason` as an unknown option. Listings tag axiomatic claims with `[axiom: <reasonCode>]`.
+
+Use the `axioms` command group to wire an axiomatic claim into a normal claim's support set. The supporting endpoint must be `type=axiomatic`; the dependent endpoint must be `type=normal`. There is no acyclicity check — axiomatic claims cannot appear on the dependent side, so cycles are structurally impossible.
+
+```bash
+proposit-core axioms add --claim-id <normal-claim-id> --axiom-id <axiomatic-claim-id>
+```
+
+Axiomatic claim-bound variables are forced to `true` at evaluation time. Passing an explicit assignment for one to `analysis evaluate` raises `AXIOM_VARIABLE_ASSIGNMENT_FORBIDDEN` before the evaluator runs. To express "this derivation should not be supported by this axiom," wrap the axiom's variable expression in the antecedent with `not`.
+
 ### Version-scoped commands
 
 All commands below are scoped to a specific argument version:
@@ -975,8 +1034,9 @@ Renders the full argument with metadata. Output includes:
 - **Argument header** — title and description
 - **Premises** — one per line with formula display string and title (if present); conclusion marked with `*`
 - **Variables** — symbol and bound claim title (or premise binding)
-- **Claims** — ID, version, frozen status, type (`normal` or `citation`), title, and body
-- **Citations** — edges between claims (citing -> source), with both endpoints pinned to specific versions
+- **Claims** — ID, version, frozen status, type (`normal`, `citation`, or `axiomatic`), title, and body
+- **Citations** — connections between claims (`claimId → supportingClaimId`), with both endpoints pinned to specific versions
+- **Axioms** — axiom-invocation connections from a normal claim to an axiomatic claim, also pinned to specific versions
 
 Display strings use standard logical notation (¬ ∧ ∨ → ↔).
 

package/dist/cli/commands/arguments.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"arguments.d.ts","sourceRoot":"","sources":["../../../src/cli/commands/arguments.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAA;AAkCnC,wBAAgB,wBAAwB,CAAC,OAAO,EAAE,OAAO,GAAG,IAAI,CAmN/D"}
+{"version":3,"file":"arguments.d.ts","sourceRoot":"","sources":["../../../src/cli/commands/arguments.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAA;AAgCnC,wBAAgB,wBAAwB,CAAC,OAAO,EAAE,OAAO,GAAG,IAAI,CAoN/D"}

package/dist/cli/commands/arguments.js

@@ -5,8 +5,6 @@ import { Command } from "commander";
 import { importArgumentFromYaml } from "../import.js";
 import { getVersionDir } from "../config.js";
 import { hydratePropositCore, hydrateEngine, persistEngine, persistCore, } from "../engine.js";
-import { ClaimLibrary } from "../../lib/core/claim-library.js";
-import { ClaimCitationLibrary } from "../../lib/core/claim-citation-library.js";
 import { errorExit, printJson, printLine, requireConfirmation, } from "../output.js";
 import { copyVersionDir, deleteArgumentDir, deleteVersionDir, latestVersionNumber, listArgumentIds, listVersionNumbers, readArgumentMeta, readVersionMeta, writeArgumentMeta, writeVersionMeta, } from "../storage/arguments.js";
 import { writeVariables } from "../storage/variables.js";
@@ -49,21 +47,20 @@ export function registerArgumentCommands(program) {
         catch (error) {
             errorExit(error instanceof Error ? error.message : String(error));
         }
-        // Merge new libraries into existing global libraries
+        // Merge the imported claims and citations into the existing
+        // global libraries so they survive persistence. The engine's own
+        // claim/citation libraries are throwaway buffers — only the
+        // PropositCore's libraries are written to disk by `persistCore`.
         const existing = await hydratePropositCore();
-        const _mergedClaims = ClaimLibrary.fromSnapshot({
-            claims: [
-                ...existing.claims.snapshot().claims,
-                ...result.claimLibrary.snapshot().claims,
-            ],
-        });
-        const _mergedCitations = ClaimCitationLibrary.fromSnapshot({
-            claimCitations: [
-                ...existing.claimCitations.snapshot().claimCitations,
-                ...result.claimCitationLibrary.snapshot()
-                    .claimCitations,
-            ],
-        }, _mergedClaims);
+        for (const claim of result.claimLibrary.snapshot().claims) {
+            const { version: _v, frozen: _f, checksum: _c, ...createInput } = claim;
+            existing.claims.create(createInput);
+        }
+        for (const citation of result.claimCitationLibrary.snapshot()
+            .connections) {
+            const { checksum: _c, ...addInput } = citation;
+            existing.citations.add(addInput);
+        }
         await persistEngine(result.engine);
         await persistCore(existing);
         printLine(result.engine.getArgument().id);

package/dist/cli/commands/arguments.js.map

@@ -1 +1 @@
-{"version":3,"file":"arguments.js","sourceRoot":"","sources":["../../../src/cli/commands/arguments.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAA;AACxC,OAAO,EAAE,MAAM,kBAAkB,CAAA;AACjC,OAAO,IAAI,MAAM,WAAW,CAAA;AAC5B,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAA;AACnC,OAAO,EAAE,sBAAsB,EAAE,MAAM,cAAc,CAAA;AACrD,OAAO,EAAE,aAAa,EAAE,MAAM,cAAc,CAAA;AAC5C,OAAO,EACH,mBAAmB,EACnB,aAAa,EACb,aAAa,EACb,WAAW,GACd,MAAM,cAAc,CAAA;AACrB,OAAO,EAAE,YAAY,EAAE,MAAM,iCAAiC,CAAA;AAC9D,OAAO,EAAE,oBAAoB,EAAE,MAAM,0CAA0C,CAAA;AAC/E,OAAO,EACH,SAAS,EACT,SAAS,EACT,SAAS,EACT,mBAAmB,GACtB,MAAM,cAAc,CAAA;AACrB,OAAO,EACH,cAAc,EACd,iBAAiB,EACjB,gBAAgB,EAChB,mBAAmB,EACnB,eAAe,EACf,kBAAkB,EAClB,gBAAgB,EAChB,eAAe,EACf,iBAAiB,EACjB,gBAAgB,GACnB,MAAM,yBAAyB,CAAA;AAChC,OAAO,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAA;AACxD,OAAO,EAAE,UAAU,EAAE,MAAM,qBAAqB,CAAA;AAChD,OAAO,EAAE,cAAc,EAAE,MAAM,cAAc,CAAA;AAC7C,OAAO,EAAE,oBAAoB,EAAE,MAAM,YAAY,CAAA;AAEjD,MAAM,UAAU,wBAAwB,CAAC,OAAgB;IACrD,MAAM,IAAI,GAAG,OAAO,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC,WAAW,CAAC,kBAAkB,CAAC,CAAA;IAEzE,IAAI,CAAC,OAAO,CAAC,8BAA8B,CAAC;SACvC,WAAW,CAAC,uBAAuB,CAAC;SACpC,MAAM,CAAC,KAAK,EAAE,KAAa,EAAE,WAAmB,EAAE,EAAE;QACjD,MAAM,EAAE,GAAG,UAAU,EAAE,CAAA;QACvB,MAAM,SAAS,GAAG,IAAI,IAAI,EAAE,CAAA;QAE5B,MAAM,iBAAiB,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,CAAC,CAAA;QACnD,MAAM,gBAAgB,CAAC,EAAE,EAAE;YACvB,OAAO,EAAE,CAAC;YACV,SAAS;YACT,SAAS,EAAE,KAAK;SACnB,CAAC,CAAA;QACF,MAAM,cAAc,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,CAAA;QAC/B,MAAM,UAAU,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,CAAA;QAC3B,MAAM,EAAE,CAAC,KAAK,CAAC,cAAc,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAA;QAE1D,SAAS,CAAC,EAAE,CAAC,CAAA;IACjB,CAAC,CAAC,CAAA;IAEN,IAAI,CAAC,OAAO,CAAC,oBAAoB,CAAC;SAC7B,WAAW,CAAC,qCAAqC,CAAC;SAClD,MAAM,CAAC,KAAK,EAAE,QAAgB,EAAE,EAAE;QAC/B,MAAM,QAAQ,GAAG,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAA;QACvC,IAAI,OAAe,CAAA;QACnB,IAAI,CAAC;YACD,OAAO,GAAG,MAAM,EAAE,CAAC,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAA;QAClD,CAAC;QAAC,MAAM,CAAC;YACL,SAAS,CAAC,qBAAqB,QAAQ,EAAE,CAAC,CAAA;QAC9C,CAAC;QAED,IAAI,MAAiD,CAAA;QACrD,IAAI,CAAC;YACD,MAAM,GAAG,sBAAsB,CAAC,OAAO,CAAC,CAAA;QAC5C,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACb,SAAS,CACL,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CACzD,CAAA;QACL,CAAC;QAED,qDAAqD;QACrD,MAAM,QAAQ,GAAG,MAAM,mBAAmB,EAAE,CAAA;QAC5C,MAAM,aAAa,GAAG,YAAY,CAAC,YAAY,CAAC;YAC5C,MAAM,EAAE;gBACJ,GAAG,QAAQ,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC,MAAM;gBACpC,GAAG,MAAM,CAAC,YAAY,CAAC,QAAQ,EAAE,CAAC,MAAM;aAC3C;SACJ,CAAC,CAAA;QACF,MAAM,gBAAgB,GAAG,oBAAoB,CAAC,YAAY,CACtD;YACI,cAAc,EAAE;gBACZ,GAAG,QAAQ,CAAC,cAAc,CAAC,QAAQ,EAAE,CAAC,cAAc;gBACpD,GAAG,MAAM,CAAC,oBAAoB,CAAC,QAAQ,EAAE;qBACpC,cAAc;aACtB;SACJ,EACD,aAAa,CAChB,CAAA;QAED,MAAM,aAAa,CAAC,MAAM,CAAC,MAAM,CAAC,CAAA;QAClC,MAAM,WAAW,CAAC,QAAQ,CAAC,CAAA;QAC3B,SAAS,CAAC,MAAM,CAAC,MAAM,CAAC,WAAW,EAAE,CAAC,EAAE,CAAC,CAAA;IAC7C,CAAC,CAAC,CAAA;IAEN,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC;SACf,WAAW,CAAC,oBAAoB,CAAC;SACjC,MAAM,CAAC,QAAQ,EAAE,gBAAgB,CAAC;SAClC,MAAM,CAAC,KAAK,EAAE,IAAwB,EAAE,EAAE;QACvC,MAAM,GAAG,GAAG,MAAM,eAAe,EAAE,CAAA;QACnC,MAAM,KAAK,GAAG,MAAM,OAAO,CAAC,GAAG,CAC3B,GAAG,CAAC,GAAG,CAAC,KAAK,EAAE,EAAE,EAAE,EAAE;YACjB,MAAM,IAAI,GAAG,MAAM,gBAAgB,CAAC,EAAE,CAAC,CAAA;YACvC,MAAM,QAAQ,GAAG,MAAM,kBAAkB,CAAC,EAAE,CAAC,CAAA;YAC7C,MAAM,OAAO,GAAG,QAAQ,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,IAAI,CAAC,CAAA;YAClD,MAAM,KAAK,GAAG,MAAM,eAAe,CAAC,EAAE,EAAE,OAAO,CAAC,CAAA;YAChD,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,CAAA;QAC1B,CAAC,CAAC,CACL,CAAA;QACD,iCAAiC;QACjC,KAAK,CAAC,IAAI,CACN,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CACL,CAAC,CAAC,KAAK,CAAC,SAAS,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC,KAAK,CAAC,SAAS,CAAC,OAAO,EAAE,CAChE,CAAA;QAED,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;YACZ,SAAS,CACL,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,CAAC;gBAC5B,EAAE,EAAE,IAAI,CAAC,EAAE;gBACX,KAAK,EAAE,IAAI,CAAC,KAAK;gBACjB,WAAW,EAAE,IAAI,CAAC,WAAW;gBAC7B,aAAa,EAAE,KAAK,CAAC,OAAO;gBAC5B,eAAe,EAAE,KAAK,CAAC,SAAS;gBAChC,eAAe,EAAE,KAAK,CAAC,SAAS;aACnC,CAAC,CAAC,CACN,CAAA;QACL,CAAC;aAAM,CAAC;YACJ,KAAK,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,KAAK,EAAE,CAAC;gBAClC,SAAS,CACL,GAAG,IAAI,CAAC,EAAE,MAAM,IAAI,CAAC,KAAK,aAAa,KAAK,CAAC,SAAS,CAAC,cAAc,EAAE,GAAG,CAC7E,CAAA;YACL,CAAC;QACL,CAAC;IACL,CAAC,CAAC,CAAA;IAEN,IAAI,CAAC,OAAO,CAAC,sBAAsB,CAAC;SAC/B,WAAW,CAAC,0CAA0C,CAAC;SACvD,MAAM,CAAC,WAAW,EAAE,0BAA0B,CAAC;SAC/C,MAAM,CAAC,OAAO,EAAE,qBAAqB,CAAC;SACtC,MAAM,CACH,KAAK,EACD,UAAkB,EAClB,IAA0C,EAC5C,EAAE;QACA,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;YAChB,MAAM,mBAAmB,CACrB,oBAAoB,UAAU,IAAI,CACrC,CAAA;QACL,CAAC;QAED,MAAM,QAAQ,GAAG,MAAM,kBAAkB,CAAC,UAAU,CAAC,CAAA;QACrD,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACxB,SAAS,CAAC,aAAa,UAAU,cAAc,CAAC,CAAA;QACpD,CAAC;QAED,IAAI,OAAO,GAAG,CAAC,CAAA;QACf,IAAI,IAAI,CAAC,GAAG,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACpC,OAAO,GAAG,QAAQ,CAAC,MAAM,CAAA;YACzB,MAAM,iBAAiB,CAAC,UAAU,CAAC,CAAA;QACvC,CAAC;aAAM,CAAC;YACJ,MAAM,MAAM,GAAG,QAAQ,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAA;YAC5C,MAAM,gBAAgB,CAAC,UAAU,EAAE,MAAM,CAAC,CAAA;YAC1C,OAAO,GAAG,CAAC,CAAA;QACf,CAAC;QAED,SAAS,CAAC,GAAG,OAAO,sBAAsB,CAAC,CAAA;IAC/C,CAAC,CACJ,CAAA;IAEL,IAAI,CAAC,OAAO,CAAC,uBAAuB,CAAC;SAChC,WAAW,CAAC,oDAAoD,CAAC;SACjE,MAAM,CAAC,KAAK,EAAE,UAAkB,EAAE,EAAE;QACjC,MAAM,CAAC,GAAG,MAAM,mBAAmB,CAAC,UAAU,CAAC,CAAA;QAC/C,MAAM,KAAK,GAAG,MAAM,eAAe,CAAC,UAAU,EAAE,CAAC,CAAC,CAAA;QAElD,IAAI,KAAK,CAAC,SAAS,EAAE,CAAC;YAClB,SAAS,CACL,WAAW,CAAC,iBAAiB,UAAU,yBAAyB,CACnE,CAAA;QACL,CAAC;QAED,gCAAgC;QAChC,MAAM,gBAAgB,CAAC,UAAU,EAAE;YAC/B,GAAG,KAAK;YACR,SAAS,EAAE,IAAI;YACf,WAAW,EAAE,IAAI,IAAI,EAAE;SAC1B,CAAC,CAAA;QAEF,sBAAsB;QACtB,MAAM,IAAI,GAAG,CAAC,GAAG,CAAC,CAAA;QAClB,MAAM,cAAc,CAAC,UAAU,EAAE,CAAC,EAAE,IAAI,CAAC,CAAA;QAEzC,+BAA+B;QAC/B,MAAM,gBAAgB,CAAC,UAAU,EAAE;YAC/B,OAAO,EAAE,IAAI;YACb,SAAS,EAAE,IAAI,IAAI,EAAE;YACrB,SAAS,EAAE,KAAK;SACnB,CAAC,CAAA;QAEF,uEAAuE;QACvE,MAAM,WAAW,GAAG,IAAI,CAAC,IAAI,CACzB,aAAa,CAAC,UAAU,EAAE,IAAI,CAAC,EAC/B,WAAW,CACd,CAAA;QACD,MAAM,OAAO,GAAG,MAAM,eAAe,CAAC,UAAU,EAAE,IAAI,CAAC,CAAA;QACvD,MAAM,SAAS,GAA4B;YACvC,OAAO,EAAE,OAAO,CAAC,OAAO;YACxB,SAAS,EAAE,OAAO,CAAC,SAAS;YAC5B,SAAS,EAAE,KAAK;SACnB,CAAA;QACD,MAAM,EAAE,CAAC,SAAS,CAAC,WAAW,EAAE,IAAI,CAAC,SAAS,CAAC,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAA;QAEnE,SAAS,CAAC,WAAW,CAAC,6BAA6B,IAAI,WAAW,CAAC,CAAA;IACvE,CAAC,CAAC,CAAA;IAEN,IAAI,CAAC,OAAO,CAAC,oBAAoB,CAAC;SAC7B,WAAW,CAAC,gDAAgD,CAAC;SAC7D,MAAM,CAAC,KAAK,EAAE,UAAkB,EAAE,EAAE;QACjC,MAAM,IAAI,GAAG,MAAM,mBAAmB,EAAE,CAAA;QACxC,MAAM,MAAM,GAAG,MAAM,aAAa,CAC9B,UAAU,EACV,MAAM,mBAAmB,CAAC,UAAU,CAAC,EACrC,IAAI,CACP,CAAA;QACD,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAA;QAE/B,MAAM,aAAa,GAAG,UAAU,EAAE,CAAA;QAClC,IAAI,MAAM,CAAA;QACV,IAAI,CAAC;YACD,MAAM,GAAG,IAAI,CAAC,YAAY,CAAC,UAAU,EAAE,aAAa,CAAC,CAAA;QACzD,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACX,SAAS,CAAC,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAA;QAC/D,CAAC;QAED,MAAM,aAAa,CAAC,MAAM,CAAC,MAAM,CAAC,CAAA;QAClC,MAAM,WAAW,CAAC,IAAI,CAAC,CAAA;QACvB,SAAS,CAAC,aAAa,CAAC,CAAA;IAC5B,CAAC,CAAC,CAAA;IAEN,oBAAoB,CAAC,IAAI,CAAC,CAAA;AAC9B,CAAC"}
+{"version":3,"file":"arguments.js","sourceRoot":"","sources":["../../../src/cli/commands/arguments.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAA;AACxC,OAAO,EAAE,MAAM,kBAAkB,CAAA;AACjC,OAAO,IAAI,MAAM,WAAW,CAAA;AAC5B,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAA;AACnC,OAAO,EAAE,sBAAsB,EAAE,MAAM,cAAc,CAAA;AACrD,OAAO,EAAE,aAAa,EAAE,MAAM,cAAc,CAAA;AAC5C,OAAO,EACH,mBAAmB,EACnB,aAAa,EACb,aAAa,EACb,WAAW,GACd,MAAM,cAAc,CAAA;AACrB,OAAO,EACH,SAAS,EACT,SAAS,EACT,SAAS,EACT,mBAAmB,GACtB,MAAM,cAAc,CAAA;AACrB,OAAO,EACH,cAAc,EACd,iBAAiB,EACjB,gBAAgB,EAChB,mBAAmB,EACnB,eAAe,EACf,kBAAkB,EAClB,gBAAgB,EAChB,eAAe,EACf,iBAAiB,EACjB,gBAAgB,GACnB,MAAM,yBAAyB,CAAA;AAChC,OAAO,EAAE,cAAc,EAAE,MAAM,yBAAyB,CAAA;AACxD,OAAO,EAAE,UAAU,EAAE,MAAM,qBAAqB,CAAA;AAChD,OAAO,EAAE,cAAc,EAAE,MAAM,cAAc,CAAA;AAC7C,OAAO,EAAE,oBAAoB,EAAE,MAAM,YAAY,CAAA;AAEjD,MAAM,UAAU,wBAAwB,CAAC,OAAgB;IACrD,MAAM,IAAI,GAAG,OAAO,CAAC,OAAO,CAAC,WAAW,CAAC,CAAC,WAAW,CAAC,kBAAkB,CAAC,CAAA;IAEzE,IAAI,CAAC,OAAO,CAAC,8BAA8B,CAAC;SACvC,WAAW,CAAC,uBAAuB,CAAC;SACpC,MAAM,CAAC,KAAK,EAAE,KAAa,EAAE,WAAmB,EAAE,EAAE;QACjD,MAAM,EAAE,GAAG,UAAU,EAAE,CAAA;QACvB,MAAM,SAAS,GAAG,IAAI,IAAI,EAAE,CAAA;QAE5B,MAAM,iBAAiB,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,WAAW,EAAE,CAAC,CAAA;QACnD,MAAM,gBAAgB,CAAC,EAAE,EAAE;YACvB,OAAO,EAAE,CAAC;YACV,SAAS;YACT,SAAS,EAAE,KAAK;SACnB,CAAC,CAAA;QACF,MAAM,cAAc,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,CAAA;QAC/B,MAAM,UAAU,CAAC,EAAE,EAAE,CAAC,EAAE,EAAE,CAAC,CAAA;QAC3B,MAAM,EAAE,CAAC,KAAK,CAAC,cAAc,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAA;QAE1D,SAAS,CAAC,EAAE,CAAC,CAAA;IACjB,CAAC,CAAC,CAAA;IAEN,IAAI,CAAC,OAAO,CAAC,oBAAoB,CAAC;SAC7B,WAAW,CAAC,qCAAqC,CAAC;SAClD,MAAM,CAAC,KAAK,EAAE,QAAgB,EAAE,EAAE;QAC/B,MAAM,QAAQ,GAAG,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAA;QACvC,IAAI,OAAe,CAAA;QACnB,IAAI,CAAC;YACD,OAAO,GAAG,MAAM,EAAE,CAAC,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAA;QAClD,CAAC;QAAC,MAAM,CAAC;YACL,SAAS,CAAC,qBAAqB,QAAQ,EAAE,CAAC,CAAA;QAC9C,CAAC;QAED,IAAI,MAAiD,CAAA;QACrD,IAAI,CAAC;YACD,MAAM,GAAG,sBAAsB,CAAC,OAAO,CAAC,CAAA;QAC5C,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACb,SAAS,CACL,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CACzD,CAAA;QACL,CAAC;QAED,4DAA4D;QAC5D,iEAAiE;QACjE,4DAA4D;QAC5D,iEAAiE;QACjE,MAAM,QAAQ,GAAG,MAAM,mBAAmB,EAAE,CAAA;QAC5C,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,YAAY,CAAC,QAAQ,EAAE,CAAC,MAAM,EAAE,CAAC;YACxD,MAAM,EACF,OAAO,EAAE,EAAE,EACX,MAAM,EAAE,EAAE,EACV,QAAQ,EAAE,EAAE,EACZ,GAAG,WAAW,EACjB,GAAG,KAAK,CAAA;YACT,QAAQ,CAAC,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAA;QACvC,CAAC;QACD,KAAK,MAAM,QAAQ,IAAI,MAAM,CAAC,oBAAoB,CAAC,QAAQ,EAAE;aACxD,WAAW,EAAE,CAAC;YACf,MAAM,EAAE,QAAQ,EAAE,EAAE,EAAE,GAAG,QAAQ,EAAE,GAAG,QAAQ,CAAA;YAC9C,QAAQ,CAAC,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAA;QACpC,CAAC;QAED,MAAM,aAAa,CAAC,MAAM,CAAC,MAAM,CAAC,CAAA;QAClC,MAAM,WAAW,CAAC,QAAQ,CAAC,CAAA;QAC3B,SAAS,CAAC,MAAM,CAAC,MAAM,CAAC,WAAW,EAAE,CAAC,EAAE,CAAC,CAAA;IAC7C,CAAC,CAAC,CAAA;IAEN,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC;SACf,WAAW,CAAC,oBAAoB,CAAC;SACjC,MAAM,CAAC,QAAQ,EAAE,gBAAgB,CAAC;SAClC,MAAM,CAAC,KAAK,EAAE,IAAwB,EAAE,EAAE;QACvC,MAAM,GAAG,GAAG,MAAM,eAAe,EAAE,CAAA;QACnC,MAAM,KAAK,GAAG,MAAM,OAAO,CAAC,GAAG,CAC3B,GAAG,CAAC,GAAG,CAAC,KAAK,EAAE,EAAE,EAAE,EAAE;YACjB,MAAM,IAAI,GAAG,MAAM,gBAAgB,CAAC,EAAE,CAAC,CAAA;YACvC,MAAM,QAAQ,GAAG,MAAM,kBAAkB,CAAC,EAAE,CAAC,CAAA;YAC7C,MAAM,OAAO,GAAG,QAAQ,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,IAAI,CAAC,CAAA;YAClD,MAAM,KAAK,GAAG,MAAM,eAAe,CAAC,EAAE,EAAE,OAAO,CAAC,CAAA;YAChD,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,CAAA;QAC1B,CAAC,CAAC,CACL,CAAA;QACD,iCAAiC;QACjC,KAAK,CAAC,IAAI,CACN,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CACL,CAAC,CAAC,KAAK,CAAC,SAAS,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC,KAAK,CAAC,SAAS,CAAC,OAAO,EAAE,CAChE,CAAA;QAED,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;YACZ,SAAS,CACL,KAAK,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,CAAC,CAAC;gBAC5B,EAAE,EAAE,IAAI,CAAC,EAAE;gBACX,KAAK,EAAE,IAAI,CAAC,KAAK;gBACjB,WAAW,EAAE,IAAI,CAAC,WAAW;gBAC7B,aAAa,EAAE,KAAK,CAAC,OAAO;gBAC5B,eAAe,EAAE,KAAK,CAAC,SAAS;gBAChC,eAAe,EAAE,KAAK,CAAC,SAAS;aACnC,CAAC,CAAC,CACN,CAAA;QACL,CAAC;aAAM,CAAC;YACJ,KAAK,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,KAAK,EAAE,CAAC;gBAClC,SAAS,CACL,GAAG,IAAI,CAAC,EAAE,MAAM,IAAI,CAAC,KAAK,aAAa,KAAK,CAAC,SAAS,CAAC,cAAc,EAAE,GAAG,CAC7E,CAAA;YACL,CAAC;QACL,CAAC;IACL,CAAC,CAAC,CAAA;IAEN,IAAI,CAAC,OAAO,CAAC,sBAAsB,CAAC;SAC/B,WAAW,CAAC,0CAA0C,CAAC;SACvD,MAAM,CAAC,WAAW,EAAE,0BAA0B,CAAC;SAC/C,MAAM,CAAC,OAAO,EAAE,qBAAqB,CAAC;SACtC,MAAM,CACH,KAAK,EACD,UAAkB,EAClB,IAA0C,EAC5C,EAAE;QACA,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;YAChB,MAAM,mBAAmB,CACrB,oBAAoB,UAAU,IAAI,CACrC,CAAA;QACL,CAAC;QAED,MAAM,QAAQ,GAAG,MAAM,kBAAkB,CAAC,UAAU,CAAC,CAAA;QACrD,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACxB,SAAS,CAAC,aAAa,UAAU,cAAc,CAAC,CAAA;QACpD,CAAC;QAED,IAAI,OAAO,GAAG,CAAC,CAAA;QACf,IAAI,IAAI,CAAC,GAAG,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACpC,OAAO,GAAG,QAAQ,CAAC,MAAM,CAAA;YACzB,MAAM,iBAAiB,CAAC,UAAU,CAAC,CAAA;QACvC,CAAC;aAAM,CAAC;YACJ,MAAM,MAAM,GAAG,QAAQ,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAA;YAC5C,MAAM,gBAAgB,CAAC,UAAU,EAAE,MAAM,CAAC,CAAA;YAC1C,OAAO,GAAG,CAAC,CAAA;QACf,CAAC;QAED,SAAS,CAAC,GAAG,OAAO,sBAAsB,CAAC,CAAA;IAC/C,CAAC,CACJ,CAAA;IAEL,IAAI,CAAC,OAAO,CAAC,uBAAuB,CAAC;SAChC,WAAW,CAAC,oDAAoD,CAAC;SACjE,MAAM,CAAC,KAAK,EAAE,UAAkB,EAAE,EAAE;QACjC,MAAM,CAAC,GAAG,MAAM,mBAAmB,CAAC,UAAU,CAAC,CAAA;QAC/C,MAAM,KAAK,GAAG,MAAM,eAAe,CAAC,UAAU,EAAE,CAAC,CAAC,CAAA;QAElD,IAAI,KAAK,CAAC,SAAS,EAAE,CAAC;YAClB,SAAS,CACL,WAAW,CAAC,iBAAiB,UAAU,yBAAyB,CACnE,CAAA;QACL,CAAC;QAED,gCAAgC;QAChC,MAAM,gBAAgB,CAAC,UAAU,EAAE;YAC/B,GAAG,KAAK;YACR,SAAS,EAAE,IAAI;YACf,WAAW,EAAE,IAAI,IAAI,EAAE;SAC1B,CAAC,CAAA;QAEF,sBAAsB;QACtB,MAAM,IAAI,GAAG,CAAC,GAAG,CAAC,CAAA;QAClB,MAAM,cAAc,CAAC,UAAU,EAAE,CAAC,EAAE,IAAI,CAAC,CAAA;QAEzC,+BAA+B;QAC/B,MAAM,gBAAgB,CAAC,UAAU,EAAE;YAC/B,OAAO,EAAE,IAAI;YACb,SAAS,EAAE,IAAI,IAAI,EAAE;YACrB,SAAS,EAAE,KAAK;SACnB,CAAC,CAAA;QAEF,uEAAuE;QACvE,MAAM,WAAW,GAAG,IAAI,CAAC,IAAI,CACzB,aAAa,CAAC,UAAU,EAAE,IAAI,CAAC,EAC/B,WAAW,CACd,CAAA;QACD,MAAM,OAAO,GAAG,MAAM,eAAe,CAAC,UAAU,EAAE,IAAI,CAAC,CAAA;QACvD,MAAM,SAAS,GAA4B;YACvC,OAAO,EAAE,OAAO,CAAC,OAAO;YACxB,SAAS,EAAE,OAAO,CAAC,SAAS;YAC5B,SAAS,EAAE,KAAK;SACnB,CAAA;QACD,MAAM,EAAE,CAAC,SAAS,CAAC,WAAW,EAAE,IAAI,CAAC,SAAS,CAAC,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAA;QAEnE,SAAS,CAAC,WAAW,CAAC,6BAA6B,IAAI,WAAW,CAAC,CAAA;IACvE,CAAC,CAAC,CAAA;IAEN,IAAI,CAAC,OAAO,CAAC,oBAAoB,CAAC;SAC7B,WAAW,CAAC,gDAAgD,CAAC;SAC7D,MAAM,CAAC,KAAK,EAAE,UAAkB,EAAE,EAAE;QACjC,MAAM,IAAI,GAAG,MAAM,mBAAmB,EAAE,CAAA;QACxC,MAAM,MAAM,GAAG,MAAM,aAAa,CAC9B,UAAU,EACV,MAAM,mBAAmB,CAAC,UAAU,CAAC,EACrC,IAAI,CACP,CAAA;QACD,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAA;QAE/B,MAAM,aAAa,GAAG,UAAU,EAAE,CAAA;QAClC,IAAI,MAAM,CAAA;QACV,IAAI,CAAC;YACD,MAAM,GAAG,IAAI,CAAC,YAAY,CAAC,UAAU,EAAE,aAAa,CAAC,CAAA;QACzD,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACX,SAAS,CAAC,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAA;QAC/D,CAAC;QAED,MAAM,aAAa,CAAC,MAAM,CAAC,MAAM,CAAC,CAAA;QAClC,MAAM,WAAW,CAAC,IAAI,CAAC,CAAA;QACvB,SAAS,CAAC,aAAa,CAAC,CAAA;IAC5B,CAAC,CAAC,CAAA;IAEN,oBAAoB,CAAC,IAAI,CAAC,CAAA;AAC9B,CAAC"}

package/dist/cli/commands/axioms.d.ts

@@ -0,0 +1,3 @@
+import { Command } from "commander";
+export declare function registerAxiomCommands(program: Command): void;
+//# sourceMappingURL=axioms.d.ts.map

package/dist/cli/commands/axioms.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"axioms.d.ts","sourceRoot":"","sources":["../../../src/cli/commands/axioms.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAA;AAInC,wBAAgB,qBAAqB,CAAC,OAAO,EAAE,OAAO,GAAG,IAAI,CAoG5D"}

package/dist/cli/commands/axioms.js

@@ -0,0 +1,91 @@
+import { randomUUID } from "node:crypto";
+import { Command } from "commander";
+import { hydratePropositCore, persistCore } from "../engine.js";
+import { errorExit, printJson, printLine } from "../output.js";
+export function registerAxiomCommands(program) {
+    const axioms = program
+        .command("axioms")
+        .description("Manage global claim-axiom library");
+    axioms
+        .command("list")
+        .description("List all axiom connections")
+        .option("--json", "Output as JSON")
+        .action(async (opts) => {
+        const core = await hydratePropositCore();
+        const all = core.axioms.getAll();
+        if (opts.json) {
+            printJson(all);
+        }
+        else {
+            for (const axiom of all) {
+                printLine(`${axiom.id} | ${axiom.claimId}@${axiom.claimVersion} <- ${axiom.supportingClaimId}@${axiom.supportingClaimVersion}`);
+            }
+        }
+    });
+    axioms
+        .command("show <connection_id>")
+        .description("Show a single axiom connection")
+        .option("--json", "Output as JSON")
+        .action(async (connectionId, opts) => {
+        const core = await hydratePropositCore();
+        const axiom = core.axioms.get(connectionId);
+        if (!axiom) {
+            errorExit(`Axiom connection "${connectionId}" not found.`);
+        }
+        if (opts.json) {
+            printJson(axiom);
+        }
+        else {
+            printLine(`id:                     ${axiom.id}`);
+            printLine(`claimId:                ${axiom.claimId}`);
+            printLine(`claimVersion:           ${axiom.claimVersion}`);
+            printLine(`supportingClaimId:      ${axiom.supportingClaimId}`);
+            printLine(`supportingClaimVersion: ${axiom.supportingClaimVersion}`);
+        }
+    });
+    axioms
+        .command("add")
+        .description("Add an axiom connection between two claims (supporting claim must be an axiomatic-typed claim, dependent claim must be a normal-typed claim)")
+        .requiredOption("--claim-id <id>", "Claim ID being supported (must have type='normal')")
+        .requiredOption("--axiom-id <id>", "Axiomatic claim ID providing support (must have type='axiomatic')")
+        .action(async (opts) => {
+        const core = await hydratePropositCore();
+        const claim = core.claims.getCurrent(opts.claimId);
+        if (!claim) {
+            errorExit(`Claim "${opts.claimId}" not found.`);
+        }
+        const axiomClaim = core.claims.getCurrent(opts.axiomId);
+        if (!axiomClaim) {
+            errorExit(`Claim "${opts.axiomId}" not found.`);
+        }
+        let connection;
+        try {
+            connection = core.axioms.add({
+                id: randomUUID(),
+                claimId: claim.id,
+                claimVersion: claim.version,
+                supportingClaimId: axiomClaim.id,
+                supportingClaimVersion: axiomClaim.version,
+            });
+        }
+        catch (error) {
+            errorExit(error instanceof Error ? error.message : String(error));
+        }
+        await persistCore(core);
+        printLine(connection.id);
+    });
+    axioms
+        .command("remove <connection_id>")
+        .description("Remove an axiom connection")
+        .action(async (connectionId) => {
+        const core = await hydratePropositCore();
+        const axiom = core.axioms.get(connectionId);
+        if (!axiom) {
+            errorExit(`Axiom connection "${connectionId}" not found.`);
+        }
+        core.axioms.remove(connectionId);
+        await persistCore(core);
+        printLine("success");
+    });
+}
+//# sourceMappingURL=axioms.js.map

package/dist/cli/commands/axioms.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"axioms.js","sourceRoot":"","sources":["../../../src/cli/commands/axioms.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAA;AACxC,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAA;AACnC,OAAO,EAAE,mBAAmB,EAAE,WAAW,EAAE,MAAM,cAAc,CAAA;AAC/D,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,cAAc,CAAA;AAE9D,MAAM,UAAU,qBAAqB,CAAC,OAAgB;IAClD,MAAM,MAAM,GAAG,OAAO;SACjB,OAAO,CAAC,QAAQ,CAAC;SACjB,WAAW,CAAC,mCAAmC,CAAC,CAAA;IAErD,MAAM;SACD,OAAO,CAAC,MAAM,CAAC;SACf,WAAW,CAAC,4BAA4B,CAAC;SACzC,MAAM,CAAC,QAAQ,EAAE,gBAAgB,CAAC;SAClC,MAAM,CAAC,KAAK,EAAE,IAAwB,EAAE,EAAE;QACvC,MAAM,IAAI,GAAG,MAAM,mBAAmB,EAAE,CAAA;QACxC,MAAM,GAAG,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,CAAA;QAChC,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;YACZ,SAAS,CAAC,GAAG,CAAC,CAAA;QAClB,CAAC;aAAM,CAAC;YACJ,KAAK,MAAM,KAAK,IAAI,GAAG,EAAE,CAAC;gBACtB,SAAS,CACL,GAAG,KAAK,CAAC,EAAE,MAAM,KAAK,CAAC,OAAO,IAAI,KAAK,CAAC,YAAY,OAAO,KAAK,CAAC,iBAAiB,IAAI,KAAK,CAAC,sBAAsB,EAAE,CACvH,CAAA;YACL,CAAC;QACL,CAAC;IACL,CAAC,CAAC,CAAA;IAEN,MAAM;SACD,OAAO,CAAC,sBAAsB,CAAC;SAC/B,WAAW,CAAC,gCAAgC,CAAC;SAC7C,MAAM,CAAC,QAAQ,EAAE,gBAAgB,CAAC;SAClC,MAAM,CAAC,KAAK,EAAE,YAAoB,EAAE,IAAwB,EAAE,EAAE;QAC7D,MAAM,IAAI,GAAG,MAAM,mBAAmB,EAAE,CAAA;QACxC,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,YAAY,CAAC,CAAA;QAC3C,IAAI,CAAC,KAAK,EAAE,CAAC;YACT,SAAS,CAAC,qBAAqB,YAAY,cAAc,CAAC,CAAA;QAC9D,CAAC;QACD,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;YACZ,SAAS,CAAC,KAAK,CAAC,CAAA;QACpB,CAAC;aAAM,CAAC;YACJ,SAAS,CAAC,2BAA2B,KAAK,CAAC,EAAE,EAAE,CAAC,CAAA;YAChD,SAAS,CAAC,2BAA2B,KAAK,CAAC,OAAO,EAAE,CAAC,CAAA;YACrD,SAAS,CAAC,2BAA2B,KAAK,CAAC,YAAY,EAAE,CAAC,CAAA;YAC1D,SAAS,CAAC,2BAA2B,KAAK,CAAC,iBAAiB,EAAE,CAAC,CAAA;YAC/D,SAAS,CACL,2BAA2B,KAAK,CAAC,sBAAsB,EAAE,CAC5D,CAAA;QACL,CAAC;IACL,CAAC,CAAC,CAAA;IAEN,MAAM;SACD,OAAO,CAAC,KAAK,CAAC;SACd,WAAW,CACR,8IAA8I,CACjJ;SACA,cAAc,CACX,iBAAiB,EACjB,oDAAoD,CACvD;SACA,cAAc,CACX,iBAAiB,EACjB,mEAAmE,CACtE;SACA,MAAM,CAAC,KAAK,EAAE,IAA0C,EAAE,EAAE;QACzD,MAAM,IAAI,GAAG,MAAM,mBAAmB,EAAE,CAAA;QACxC,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,OAAO,CAAC,CAAA;QAClD,IAAI,CAAC,KAAK,EAAE,CAAC;YACT,SAAS,CAAC,UAAU,IAAI,CAAC,OAAO,cAAc,CAAC,CAAA;QACnD,CAAC;QACD,MAAM,UAAU,GAAG,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,OAAO,CAAC,CAAA;QACvD,IAAI,CAAC,UAAU,EAAE,CAAC;YACd,SAAS,CAAC,UAAU,IAAI,CAAC,OAAO,cAAc,CAAC,CAAA;QACnD,CAAC;QACD,IAAI,UAAU,CAAA;QACd,IAAI,CAAC;YACD,UAAU,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC;gBACzB,EAAE,EAAE,UAAU,EAAE;gBAChB,OAAO,EAAE,KAAK,CAAC,EAAE;gBACjB,YAAY,EAAE,KAAK,CAAC,OAAO;gBAC3B,iBAAiB,EAAE,UAAU,CAAC,EAAE;gBAChC,sBAAsB,EAAE,UAAU,CAAC,OAAO;aAC7C,CAAC,CAAA;QACN,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACb,SAAS,CACL,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CACzD,CAAA;QACL,CAAC;QACD,MAAM,WAAW,CAAC,IAAI,CAAC,CAAA;QACvB,SAAS,CAAC,UAAU,CAAC,EAAE,CAAC,CAAA;IAC5B,CAAC,CAAC,CAAA;IAEN,MAAM;SACD,OAAO,CAAC,wBAAwB,CAAC;SACjC,WAAW,CAAC,4BAA4B,CAAC;SACzC,MAAM,CAAC,KAAK,EAAE,YAAoB,EAAE,EAAE;QACnC,MAAM,IAAI,GAAG,MAAM,mBAAmB,EAAE,CAAA;QACxC,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,YAAY,CAAC,CAAA;QAC3C,IAAI,CAAC,KAAK,EAAE,CAAC;YACT,SAAS,CAAC,qBAAqB,YAAY,cAAc,CAAC,CAAA;QAC9D,CAAC;QACD,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,YAAY,CAAC,CAAA;QAChC,MAAM,WAAW,CAAC,IAAI,CAAC,CAAA;QACvB,SAAS,CAAC,SAAS,CAAC,CAAA;IACxB,CAAC,CAAC,CAAA;AACV,CAAC"}

package/dist/cli/commands/citations.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"citations.d.ts","sourceRoot":"","sources":["../../../src/cli/commands/citations.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAA;AAInC,wBAAgB,wBAAwB,CAAC,OAAO,EAAE,OAAO,GAAG,IAAI,CA0F/D"}
+{"version":3,"file":"citations.d.ts","sourceRoot":"","sources":["../../../src/cli/commands/citations.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAA;AAInC,wBAAgB,wBAAwB,CAAC,OAAO,EAAE,OAAO,GAAG,IAAI,CA0G/D"}

package/dist/cli/commands/citations.js

@@ -12,13 +12,13 @@ export function registerCitationCommands(program) {
         .option("--json", "Output as JSON")
         .action(async (opts) => {
         const core = await hydratePropositCore();
-        const all = core.claimCitations.getAll();
+        const all = core.citations.getAll();
         if (opts.json) {
             printJson(all);
         }
         else {
             for (const citation of all) {
-                printLine(`${citation.id} | ${citation.citingClaimId}@${citation.citingClaimVersion} -> ${citation.sourceClaimId}@${citation.sourceClaimVersion}`);
+                printLine(`${citation.id} | ${citation.claimId}@${citation.claimVersion} -> ${citation.supportingClaimId}@${citation.supportingClaimVersion}`);
             }
         }
     });
@@ -28,7 +28,7 @@ export function registerCitationCommands(program) {
         .option("--json", "Output as JSON")
         .action(async (citationId, opts) => {
         const core = await hydratePropositCore();
-        const citation = core.claimCitations.get(citationId);
+        const citation = core.citations.get(citationId);
         if (!citation) {
             errorExit(`Citation "${citationId}" not found.`);
         }
@@ -36,34 +36,36 @@ export function registerCitationCommands(program) {
             printJson(citation);
         }
         else {
-            printLine(`id:                  ${citation.id}`);
-            printLine(`citingClaimId:       ${citation.citingClaimId}`);
-            printLine(`citingClaimVersion:  ${citation.citingClaimVersion}`);
-            printLine(`sourceClaimId:       ${citation.sourceClaimId}`);
-            printLine(`sourceClaimVersion:  ${citation.sourceClaimVersion}`);
+            printLine(`id:                     ${citation.id}`);
+            printLine(`claimId:                ${citation.claimId}`);
+            printLine(`claimVersion:           ${citation.claimVersion}`);
+            printLine(`supportingClaimId:      ${citation.supportingClaimId}`);
+            printLine(`supportingClaimVersion: ${citation.supportingClaimVersion}`);
         }
     });
     citations
-        .command("add <citing_claim_id> <source_claim_id>")
-        .description("Add a citation edge between two claims (source must be a citation-typed claim)")
-        .action(async (citingClaimId, sourceClaimId) => {
+        .command("add")
+        .description("Add a citation edge between two claims (supporting claim must be a citation-typed claim)")
+        .requiredOption("--claim-id <id>", "Claim ID being supported (dependent)")
+        .requiredOption("--supporting-claim-id <id>", "Supporting (cited) claim ID")
+        .action(async (opts) => {
         const core = await hydratePropositCore();
-        const citingClaim = core.claims.getCurrent(citingClaimId);
-        if (!citingClaim) {
-            errorExit(`Claim "${citingClaimId}" not found.`);
+        const claim = core.claims.getCurrent(opts.claimId);
+        if (!claim) {
+            errorExit(`Claim "${opts.claimId}" not found.`);
         }
-        const sourceClaim = core.claims.getCurrent(sourceClaimId);
-        if (!sourceClaim) {
-            errorExit(`Claim "${sourceClaimId}" not found.`);
+        const supportingClaim = core.claims.getCurrent(opts.supportingClaimId);
+        if (!supportingClaim) {
+            errorExit(`Claim "${opts.supportingClaimId}" not found.`);
         }
         let citation;
         try {
-            citation = core.claimCitations.add({
+            citation = core.citations.add({
                 id: randomUUID(),
-                citingClaimId: citingClaim.id,
-                citingClaimVersion: citingClaim.version,
-                sourceClaimId: sourceClaim.id,
-                sourceClaimVersion: sourceClaim.version,
+                claimId: claim.id,
+                claimVersion: claim.version,
+                supportingClaimId: supportingClaim.id,
+                supportingClaimVersion: supportingClaim.version,
             });
         }
         catch (error) {
@@ -73,15 +75,15 @@ export function registerCitationCommands(program) {
         printLine(citation.id);
     });
     citations
-        .command("unlink <citation_id>")
+        .command("remove <citation_id>")
         .description("Remove a citation edge")
         .action(async (citationId) => {
         const core = await hydratePropositCore();
-        const citation = core.claimCitations.get(citationId);
+        const citation = core.citations.get(citationId);
         if (!citation) {
             errorExit(`Citation "${citationId}" not found.`);
         }
-        core.claimCitations.remove(citationId);
+        core.citations.remove(citationId);
         await persistCore(core);
         printLine("success");
     });

package/dist/cli/commands/citations.js.map

@@ -1 +1 @@
-{"version":3,"file":"citations.js","sourceRoot":"","sources":["../../../src/cli/commands/citations.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAA;AACxC,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAA;AACnC,OAAO,EAAE,mBAAmB,EAAE,WAAW,EAAE,MAAM,cAAc,CAAA;AAC/D,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,cAAc,CAAA;AAE9D,MAAM,UAAU,wBAAwB,CAAC,OAAgB;IACrD,MAAM,SAAS,GAAG,OAAO;SACpB,OAAO,CAAC,WAAW,CAAC;SACpB,WAAW,CAAC,sCAAsC,CAAC,CAAA;IAExD,SAAS;SACJ,OAAO,CAAC,MAAM,CAAC;SACf,WAAW,CAAC,oBAAoB,CAAC;SACjC,MAAM,CAAC,QAAQ,EAAE,gBAAgB,CAAC;SAClC,MAAM,CAAC,KAAK,EAAE,IAAwB,EAAE,EAAE;QACvC,MAAM,IAAI,GAAG,MAAM,mBAAmB,EAAE,CAAA;QACxC,MAAM,GAAG,GAAG,IAAI,CAAC,cAAc,CAAC,MAAM,EAAE,CAAA;QACxC,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;YACZ,SAAS,CAAC,GAAG,CAAC,CAAA;QAClB,CAAC;aAAM,CAAC;YACJ,KAAK,MAAM,QAAQ,IAAI,GAAG,EAAE,CAAC;gBACzB,SAAS,CACL,GAAG,QAAQ,CAAC,EAAE,MAAM,QAAQ,CAAC,aAAa,IAAI,QAAQ,CAAC,kBAAkB,OAAO,QAAQ,CAAC,aAAa,IAAI,QAAQ,CAAC,kBAAkB,EAAE,CAC1I,CAAA;YACL,CAAC;QACL,CAAC;IACL,CAAC,CAAC,CAAA;IAEN,SAAS;SACJ,OAAO,CAAC,oBAAoB,CAAC;SAC7B,WAAW,CAAC,wBAAwB,CAAC;SACrC,MAAM,CAAC,QAAQ,EAAE,gBAAgB,CAAC;SAClC,MAAM,CAAC,KAAK,EAAE,UAAkB,EAAE,IAAwB,EAAE,EAAE;QAC3D,MAAM,IAAI,GAAG,MAAM,mBAAmB,EAAE,CAAA;QACxC,MAAM,QAAQ,GAAG,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,UAAU,CAAC,CAAA;QACpD,IAAI,CAAC,QAAQ,EAAE,CAAC;YACZ,SAAS,CAAC,aAAa,UAAU,cAAc,CAAC,CAAA;QACpD,CAAC;QACD,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;YACZ,SAAS,CAAC,QAAQ,CAAC,CAAA;QACvB,CAAC;aAAM,CAAC;YACJ,SAAS,CAAC,wBAAwB,QAAQ,CAAC,EAAE,EAAE,CAAC,CAAA;YAChD,SAAS,CAAC,wBAAwB,QAAQ,CAAC,aAAa,EAAE,CAAC,CAAA;YAC3D,SAAS,CAAC,wBAAwB,QAAQ,CAAC,kBAAkB,EAAE,CAAC,CAAA;YAChE,SAAS,CAAC,wBAAwB,QAAQ,CAAC,aAAa,EAAE,CAAC,CAAA;YAC3D,SAAS,CAAC,wBAAwB,QAAQ,CAAC,kBAAkB,EAAE,CAAC,CAAA;QACpE,CAAC;IACL,CAAC,CAAC,CAAA;IAEN,SAAS;SACJ,OAAO,CAAC,yCAAyC,CAAC;SAClD,WAAW,CACR,gFAAgF,CACnF;SACA,MAAM,CAAC,KAAK,EAAE,aAAqB,EAAE,aAAqB,EAAE,EAAE;QAC3D,MAAM,IAAI,GAAG,MAAM,mBAAmB,EAAE,CAAA;QACxC,MAAM,WAAW,GAAG,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,aAAa,CAAC,CAAA;QACzD,IAAI,CAAC,WAAW,EAAE,CAAC;YACf,SAAS,CAAC,UAAU,aAAa,cAAc,CAAC,CAAA;QACpD,CAAC;QACD,MAAM,WAAW,GAAG,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,aAAa,CAAC,CAAA;QACzD,IAAI,CAAC,WAAW,EAAE,CAAC;YACf,SAAS,CAAC,UAAU,aAAa,cAAc,CAAC,CAAA;QACpD,CAAC;QACD,IAAI,QAAQ,CAAA;QACZ,IAAI,CAAC;YACD,QAAQ,GAAG,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC;gBAC/B,EAAE,EAAE,UAAU,EAAE;gBAChB,aAAa,EAAE,WAAW,CAAC,EAAE;gBAC7B,kBAAkB,EAAE,WAAW,CAAC,OAAO;gBACvC,aAAa,EAAE,WAAW,CAAC,EAAE;gBAC7B,kBAAkB,EAAE,WAAW,CAAC,OAAO;aAC1C,CAAC,CAAA;QACN,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACb,SAAS,CACL,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CACzD,CAAA;QACL,CAAC;QACD,MAAM,WAAW,CAAC,IAAI,CAAC,CAAA;QACvB,SAAS,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAA;IAC1B,CAAC,CAAC,CAAA;IAEN,SAAS;SACJ,OAAO,CAAC,sBAAsB,CAAC;SAC/B,WAAW,CAAC,wBAAwB,CAAC;SACrC,MAAM,CAAC,KAAK,EAAE,UAAkB,EAAE,EAAE;QACjC,MAAM,IAAI,GAAG,MAAM,mBAAmB,EAAE,CAAA;QACxC,MAAM,QAAQ,GAAG,IAAI,CAAC,cAAc,CAAC,GAAG,CAAC,UAAU,CAAC,CAAA;QACpD,IAAI,CAAC,QAAQ,EAAE,CAAC;YACZ,SAAS,CAAC,aAAa,UAAU,cAAc,CAAC,CAAA;QACpD,CAAC;QACD,IAAI,CAAC,cAAc,CAAC,MAAM,CAAC,UAAU,CAAC,CAAA;QACtC,MAAM,WAAW,CAAC,IAAI,CAAC,CAAA;QACvB,SAAS,CAAC,SAAS,CAAC,CAAA;IACxB,CAAC,CAAC,CAAA;AACV,CAAC"}
+{"version":3,"file":"citations.js","sourceRoot":"","sources":["../../../src/cli/commands/citations.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAA;AACxC,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAA;AACnC,OAAO,EAAE,mBAAmB,EAAE,WAAW,EAAE,MAAM,cAAc,CAAA;AAC/D,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,cAAc,CAAA;AAE9D,MAAM,UAAU,wBAAwB,CAAC,OAAgB;IACrD,MAAM,SAAS,GAAG,OAAO;SACpB,OAAO,CAAC,WAAW,CAAC;SACpB,WAAW,CAAC,sCAAsC,CAAC,CAAA;IAExD,SAAS;SACJ,OAAO,CAAC,MAAM,CAAC;SACf,WAAW,CAAC,oBAAoB,CAAC;SACjC,MAAM,CAAC,QAAQ,EAAE,gBAAgB,CAAC;SAClC,MAAM,CAAC,KAAK,EAAE,IAAwB,EAAE,EAAE;QACvC,MAAM,IAAI,GAAG,MAAM,mBAAmB,EAAE,CAAA;QACxC,MAAM,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,CAAA;QACnC,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;YACZ,SAAS,CAAC,GAAG,CAAC,CAAA;QAClB,CAAC;aAAM,CAAC;YACJ,KAAK,MAAM,QAAQ,IAAI,GAAG,EAAE,CAAC;gBACzB,SAAS,CACL,GAAG,QAAQ,CAAC,EAAE,MAAM,QAAQ,CAAC,OAAO,IAAI,QAAQ,CAAC,YAAY,OAAO,QAAQ,CAAC,iBAAiB,IAAI,QAAQ,CAAC,sBAAsB,EAAE,CACtI,CAAA;YACL,CAAC;QACL,CAAC;IACL,CAAC,CAAC,CAAA;IAEN,SAAS;SACJ,OAAO,CAAC,oBAAoB,CAAC;SAC7B,WAAW,CAAC,wBAAwB,CAAC;SACrC,MAAM,CAAC,QAAQ,EAAE,gBAAgB,CAAC;SAClC,MAAM,CAAC,KAAK,EAAE,UAAkB,EAAE,IAAwB,EAAE,EAAE;QAC3D,MAAM,IAAI,GAAG,MAAM,mBAAmB,EAAE,CAAA;QACxC,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,UAAU,CAAC,CAAA;QAC/C,IAAI,CAAC,QAAQ,EAAE,CAAC;YACZ,SAAS,CAAC,aAAa,UAAU,cAAc,CAAC,CAAA;QACpD,CAAC;QACD,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;YACZ,SAAS,CAAC,QAAQ,CAAC,CAAA;QACvB,CAAC;aAAM,CAAC;YACJ,SAAS,CAAC,2BAA2B,QAAQ,CAAC,EAAE,EAAE,CAAC,CAAA;YACnD,SAAS,CAAC,2BAA2B,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAA;YACxD,SAAS,CAAC,2BAA2B,QAAQ,CAAC,YAAY,EAAE,CAAC,CAAA;YAC7D,SAAS,CACL,2BAA2B,QAAQ,CAAC,iBAAiB,EAAE,CAC1D,CAAA;YACD,SAAS,CACL,2BAA2B,QAAQ,CAAC,sBAAsB,EAAE,CAC/D,CAAA;QACL,CAAC;IACL,CAAC,CAAC,CAAA;IAEN,SAAS;SACJ,OAAO,CAAC,KAAK,CAAC;SACd,WAAW,CACR,0FAA0F,CAC7F;SACA,cAAc,CACX,iBAAiB,EACjB,sCAAsC,CACzC;SACA,cAAc,CACX,4BAA4B,EAC5B,6BAA6B,CAChC;SACA,MAAM,CACH,KAAK,EAAE,IAAoD,EAAE,EAAE;QAC3D,MAAM,IAAI,GAAG,MAAM,mBAAmB,EAAE,CAAA;QACxC,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,OAAO,CAAC,CAAA;QAClD,IAAI,CAAC,KAAK,EAAE,CAAC;YACT,SAAS,CAAC,UAAU,IAAI,CAAC,OAAO,cAAc,CAAC,CAAA;QACnD,CAAC;QACD,MAAM,eAAe,GAAG,IAAI,CAAC,MAAM,CAAC,UAAU,CAC1C,IAAI,CAAC,iBAAiB,CACzB,CAAA;QACD,IAAI,CAAC,eAAe,EAAE,CAAC;YACnB,SAAS,CAAC,UAAU,IAAI,CAAC,iBAAiB,cAAc,CAAC,CAAA;QAC7D,CAAC;QACD,IAAI,QAAQ,CAAA;QACZ,IAAI,CAAC;YACD,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC;gBAC1B,EAAE,EAAE,UAAU,EAAE;gBAChB,OAAO,EAAE,KAAK,CAAC,EAAE;gBACjB,YAAY,EAAE,KAAK,CAAC,OAAO;gBAC3B,iBAAiB,EAAE,eAAe,CAAC,EAAE;gBACrC,sBAAsB,EAAE,eAAe,CAAC,OAAO;aAClD,CAAC,CAAA;QACN,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACb,SAAS,CACL,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CACzD,CAAA;QACL,CAAC;QACD,MAAM,WAAW,CAAC,IAAI,CAAC,CAAA;QACvB,SAAS,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAA;IAC1B,CAAC,CACJ,CAAA;IAEL,SAAS;SACJ,OAAO,CAAC,sBAAsB,CAAC;SAC/B,WAAW,CAAC,wBAAwB,CAAC;SACrC,MAAM,CAAC,KAAK,EAAE,UAAkB,EAAE,EAAE;QACjC,MAAM,IAAI,GAAG,MAAM,mBAAmB,EAAE,CAAA;QACxC,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,UAAU,CAAC,CAAA;QAC/C,IAAI,CAAC,QAAQ,EAAE,CAAC;YACZ,SAAS,CAAC,aAAa,UAAU,cAAc,CAAC,CAAA;QACpD,CAAC;QACD,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,UAAU,CAAC,CAAA;QACjC,MAAM,WAAW,CAAC,IAAI,CAAC,CAAA;QACvB,SAAS,CAAC,SAAS,CAAC,CAAA;IACxB,CAAC,CAAC,CAAA;AACV,CAAC"}

package/dist/cli/commands/claims.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"claims.d.ts","sourceRoot":"","sources":["../../../src/cli/commands/claims.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAA;AAInC,wBAAgB,qBAAqB,CAAC,OAAO,EAAE,OAAO,GAAG,IAAI,CAsJ5D"}
+{"version":3,"file":"claims.d.ts","sourceRoot":"","sources":["../../../src/cli/commands/claims.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAA;AAQnC,wBAAgB,qBAAqB,CAAC,OAAO,EAAE,OAAO,GAAG,IAAI,CAuM5D"}