@proposit/proposit-core 0.11.2 → 0.12.0

package/dist/lib/core/fork.d.ts

@@ -1,7 +1,6 @@
 import type { TCoreArgument, TCorePremise, TCorePropositionalExpression, TCorePropositionalVariable } from "../schemata/index.js";
 import type { TCoreClaim } from "../schemata/claim.js";
-import type { TCoreClaimCitation } from "../schemata/claim-citation.js";
-import type { TClaimLookup, TClaimCitationLookup } from "./interfaces/library.interfaces.js";
+import type { TClaimLookup } from "./interfaces/library.interfaces.js";
 import type { TForkArgumentOptions, TForkRemapTable } from "../types/fork.js";
 import { ArgumentEngine } from "./argument-engine.js";
 /**
@@ -15,15 +14,14 @@ import { ArgumentEngine } from "./argument-engine.js";
  *
  * @param engine - The source engine to fork.
  * @param newArgumentId - The ID for the forked argument.
- * @param libraries - Claim and claim-citation libraries for the new engine.
+ * @param libraries - Claim library for the new engine.
  * @param options - Optional ID generator, checksum/position/grammar config overrides.
  * @returns The forked engine and a remap table mapping original to new entity IDs.
  */
-export declare function forkArgumentEngine<TArg extends TCoreArgument = TCoreArgument, TPremise extends TCorePremise = TCorePremise, TExpr extends TCorePropositionalExpression = TCorePropositionalExpression, TVar extends TCorePropositionalVariable = TCorePropositionalVariable, TClaim extends TCoreClaim = TCoreClaim, TCitation extends TCoreClaimCitation = TCoreClaimCitation>(engine: ArgumentEngine<TArg, TPremise, TExpr, TVar>, newArgumentId: string, libraries: {
+export declare function forkArgumentEngine<TArg extends TCoreArgument = TCoreArgument, TPremise extends TCorePremise = TCorePremise, TExpr extends TCorePropositionalExpression = TCorePropositionalExpression, TVar extends TCorePropositionalVariable = TCorePropositionalVariable, TClaim extends TCoreClaim = TCoreClaim>(engine: ArgumentEngine<TArg, TPremise, TExpr, TVar, TClaim>, newArgumentId: string, libraries: {
     claimLibrary: TClaimLookup<TClaim>;
-    claimCitationLibrary: TClaimCitationLookup<TCitation>;
 }, options?: TForkArgumentOptions): {
-    engine: ArgumentEngine<TArg, TPremise, TExpr, TVar>;
+    engine: ArgumentEngine<TArg, TPremise, TExpr, TVar, TClaim>;
     remapTable: TForkRemapTable;
 };
 //# sourceMappingURL=fork.d.ts.map

package/dist/lib/core/fork.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"fork.d.ts","sourceRoot":"","sources":["../../../src/lib/core/fork.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EACR,aAAa,EACb,YAAY,EACZ,4BAA4B,EAC5B,0BAA0B,EAE7B,MAAM,sBAAsB,CAAA;AAC7B,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,sBAAsB,CAAA;AACtD,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,+BAA+B,CAAA;AACvE,OAAO,KAAK,EACR,YAAY,EACZ,oBAAoB,EACvB,MAAM,oCAAoC,CAAA;AAC3C,OAAO,KAAK,EAAE,oBAAoB,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAA;AAE7E,OAAO,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAA;AAIrD;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,kBAAkB,CAC9B,IAAI,SAAS,aAAa,GAAG,aAAa,EAC1C,QAAQ,SAAS,YAAY,GAAG,YAAY,EAC5C,KAAK,SAAS,4BAA4B,GAAG,4BAA4B,EACzE,IAAI,SAAS,0BAA0B,GAAG,0BAA0B,EACpE,MAAM,SAAS,UAAU,GAAG,UAAU,EACtC,SAAS,SAAS,kBAAkB,GAAG,kBAAkB,EAGzD,MAAM,EAAE,cAAc,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,EACnD,aAAa,EAAE,MAAM,EACrB,SAAS,EAAE;IACP,YAAY,EAAE,YAAY,CAAC,MAAM,CAAC,CAAA;IAClC,oBAAoB,EAAE,oBAAoB,CAAC,SAAS,CAAC,CAAA;CACxD,EACD,OAAO,CAAC,EAAE,oBAAoB,GAC/B;IAEC,MAAM,EAAE,cAAc,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,CAAA;IACnD,UAAU,EAAE,eAAe,CAAA;CAC9B,CAwJA"}
+{"version":3,"file":"fork.d.ts","sourceRoot":"","sources":["../../../src/lib/core/fork.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EACR,aAAa,EACb,YAAY,EACZ,4BAA4B,EAC5B,0BAA0B,EAE7B,MAAM,sBAAsB,CAAA;AAC7B,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,sBAAsB,CAAA;AACtD,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,oCAAoC,CAAA;AACtE,OAAO,KAAK,EAAE,oBAAoB,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAA;AAE7E,OAAO,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAA;AAIrD;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,kBAAkB,CAC9B,IAAI,SAAS,aAAa,GAAG,aAAa,EAC1C,QAAQ,SAAS,YAAY,GAAG,YAAY,EAC5C,KAAK,SAAS,4BAA4B,GAAG,4BAA4B,EACzE,IAAI,SAAS,0BAA0B,GAAG,0BAA0B,EACpE,MAAM,SAAS,UAAU,GAAG,UAAU,EAEtC,MAAM,EAAE,cAAc,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,CAAC,EAC3D,aAAa,EAAE,MAAM,EACrB,SAAS,EAAE;IACP,YAAY,EAAE,YAAY,CAAC,MAAM,CAAC,CAAA;CACrC,EACD,OAAO,CAAC,EAAE,oBAAoB,GAC/B;IACC,MAAM,EAAE,cAAc,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,CAAC,CAAA;IAC3D,UAAU,EAAE,eAAe,CAAA;CAC9B,CA+IA"}

package/dist/lib/core/fork.js

@@ -13,13 +13,11 @@ import { isPremiseBound } from "../schemata/propositional.js";
  *
  * @param engine - The source engine to fork.
  * @param newArgumentId - The ID for the forked argument.
- * @param libraries - Claim and claim-citation libraries for the new engine.
+ * @param libraries - Claim library for the new engine.
  * @param options - Optional ID generator, checksum/position/grammar config overrides.
  * @returns The forked engine and a remap table mapping original to new entity IDs.
  */
-export function forkArgumentEngine(
-// TODO Phase 7: drop TSource/TAssoc generics from ArgumentEngine.
-engine, newArgumentId, libraries, options) {
+export function forkArgumentEngine(engine, newArgumentId, libraries, options) {
     const generateId = options?.generateId ?? defaultGenerateId;
     // Snapshot includes config from the source engine
     const snap = engine.snapshot();
@@ -121,10 +119,7 @@ engine, newArgumentId, libraries, options) {
     }
     const grammarConfig = options?.grammarConfig ?? snap.config?.grammarConfig;
     // Construct new engine
-    // TODO Phase 7: ArgumentEngine.fromSnapshot will take
-    // (snapshot, claimLibrary, claimCitationLibrary, ...) once its generics
-    // are reduced to drop TSource/TAssoc.
-    const forkedEngine = ArgumentEngine.fromSnapshot(snap, libraries.claimLibrary, libraries.claimCitationLibrary, grammarConfig, "ignore", generateId);
+    const forkedEngine = ArgumentEngine.fromSnapshot(snap, libraries.claimLibrary, grammarConfig, "ignore", generateId);
     return { engine: forkedEngine, remapTable };
 }
 //# sourceMappingURL=fork.js.map

package/dist/lib/core/fork.js.map

@@ -1 +1 @@
-{"version":3,"file":"fork.js","sourceRoot":"","sources":["../../../src/lib/core/fork.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,iBAAiB,EAAE,MAAM,sBAAsB,CAAA;AAgBxD,OAAO,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAA;AACrD,OAAO,EAAE,uBAAuB,EAAE,MAAM,cAAc,CAAA;AACtD,OAAO,EAAE,cAAc,EAAE,MAAM,8BAA8B,CAAA;AAE7D;;;;;;;;;;;;;;GAcG;AACH,MAAM,UAAU,kBAAkB;AAQ9B,kEAAkE;AAClE,MAAmD,EACnD,aAAqB,EACrB,SAGC,EACD,OAA8B;IAM9B,MAAM,UAAU,GAAG,OAAO,EAAE,UAAU,IAAI,iBAAiB,CAAA;IAE3D,kDAAkD;IAClD,MAAM,IAAI,GAAG,MAAM,CAAC,QAAQ,EAAE,CAAA;IAE9B,MAAM,kBAAkB,GAAG,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAA;IAE3C,uCAAuC;IACvC,MAAM,YAAY,GAAG,IAAI,GAAG,EAAkB,CAAA;IAC9C,MAAM,eAAe,GAAG,IAAI,GAAG,EAAkB,CAAA;IACjD,MAAM,aAAa,GAAG,IAAI,GAAG,EAAkB,CAAA;IAE/C,KAAK,MAAM,EAAE,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;QAC7B,YAAY,CAAC,GAAG,CAAC,EAAE,CAAC,OAAO,CAAC,EAAE,EAAE,UAAU,EAAE,CAAC,CAAA;QAC7C,KAAK,MAAM,IAAI,IAAI,EAAE,CAAC,WAAW,CAAC,WAAW,EAAE,CAAC;YAC5C,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,UAAU,EAAE,CAAC,CAAA;QAC9C,CAAC;IACL,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,SAAS,CAAC,SAAS,EAAE,CAAC;QACvC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,UAAU,EAAE,CAAC,CAAA;IACzC,CAAC;IAED,MAAM,UAAU,GAAoB;QAChC,UAAU,EAAE,EAAE,IAAI,EAAE,kBAAkB,EAAE,EAAE,EAAE,aAAa,EAAE;QAC3D,QAAQ,EAAE,YAAY;QACtB,WAAW,EAAE,eAAe;QAC5B,SAAS,EAAE,aAAa;KAC3B,CAAA;IAED,iBAAiB;IACjB,IAAI,CAAC,QAAQ,GAAG;QACZ,GAAG,IAAI,CAAC,QAAQ;QAChB,EAAE,EAAE,aAAa;QACjB,OAAO,EAAE,CAAC;KACc,CAAA;IAE5B,iCAAiC;IACjC,KAAK,MAAM,EAAE,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;QAC7B,MAAM,iBAAiB,GAAG,EAAE,CAAC,OAAO,CAAC,EAAE,CAAA;QACvC,MAAM,YAAY,GAAG,YAAY,CAAC,GAAG,CAAC,iBAAiB,CAAE,CAAA;QAEzD,EAAE,CAAC,OAAO,GAAG;YACT,GAAG,EAAE,CAAC,OAAO;YACb,EAAE,EAAE,YAAY;YAChB,UAAU,EAAE,aAAa;YACzB,eAAe,EAAE,CAAC;SACU,CAAA;QAEhC,IAAI,EAAE,CAAC,gBAAgB,EAAE,CAAC;YACtB,EAAE,CAAC,gBAAgB,GAAG,eAAe,CAAC,GAAG,CAAC,EAAE,CAAC,gBAAgB,CAAE,CAAA;QACnE,CAAC;QAED,EAAE,CAAC,WAAW,CAAC,WAAW,GAAG,EAAE,CAAC,WAAW,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE;YACjE,MAAM,cAAc,GAAG,IAAI,CAAC,EAAE,CAAA;YAC9B,MAAM,SAAS,GAAG,eAAe,CAAC,GAAG,CAAC,cAAc,CAAE,CAAA;YAEtD,MAAM,QAAQ,GAAG;gBACb,GAAG,IAAI;gBACP,EAAE,EAAE,SAAS;gBACb,UAAU,EAAE,aAAa;gBACzB,eAAe,EAAE,CAAC;gBAClB,SAAS,EAAE,YAAY;gBACvB,QAAQ,EAAE,IAAI,CAAC,QAAQ;oBACnB,CAAC,CAAC,CAAC,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,IAAI,CAAC;oBAC9C,CAAC,CAAC,IAAI;aACJ,CAAA;YAEV,IACK,QAA6B,CAAC,IAAI,KAAK,UAAU;gBAClD,YAAY,IAAI,QAAQ,EAC1B,CAAC;gBACC,MAAM,SAAS,GACX,QACH,CAAC,UAAU,CACX;gBAAC,QAA8C,CAAC,UAAU;oBACvD,aAAa,CAAC,GAAG,CAAC,SAAS,CAAE,CAAA;YACrC,CAAC;YAED,OAAO,QAAQ,CAAA;QACnB,CAAC,CAAC,CAAA;IACN,CAAC;IAED,kBAAkB;IAClB,IAAI,CAAC,SAAS,CAAC,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;QAC1D,MAAM,aAAa,GAAG,CAAC,CAAC,EAAE,CAAA;QAC1B,MAAM,QAAQ,GAAG,aAAa,CAAC,GAAG,CAAC,aAAa,CAAE,CAAA;QAElD,MAAM,QAAQ,GAAG;YACb,GAAG,CAAC;YACJ,EAAE,EAAE,QAAQ;YACZ,UAAU,EAAE,aAAa;YACzB,eAAe,EAAE,CAAC;SACrB,CAAA;QAED,IAAI,cAAc,CAAC,QAAiD,CAAC,EAAE,CAAC;YACpE,MAAM,YAAY,GACd,QAIC,CAAA;YACL,YAAY,CAAC,cAAc,GAAG,YAAY,CAAC,GAAG,CAC1C,YAAY,CAAC,cAAc,CAC7B,CAAA;YACF,YAAY,CAAC,eAAe,GAAG,aAAa,CAAA;YAC5C,YAAY,CAAC,oBAAoB,GAAG,CAAC,CAAA;QACzC,CAAC;QAED,OAAO,QAAgB,CAAA;IAC3B,CAAC,CAAC,CAAA;IAEF,mBAAmB;IACnB,IAAI,IAAI,CAAC,mBAAmB,EAAE,CAAC;QAC3B,IAAI,CAAC,mBAAmB,GAAG,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAA;IACzE,CAAC;IAED,+EAA+E;IAC/E,IAAI,OAAO,EAAE,cAAc,EAAE,CAAC;QAC1B,IAAI,CAAC,MAAM,GAAG;YACV,GAAG,IAAI,CAAC,MAAM;YACd,cAAc,EAAE,uBAAuB,CAAC,OAAO,CAAC,cAAc,CAAC;SAClE,CAAA;IACL,CAAC;IACD,IAAI,OAAO,EAAE,cAAc,EAAE,CAAC;QAC1B,IAAI,CAAC,MAAM,GAAG,EAAE,GAAG,IAAI,CAAC,MAAM,EAAE,cAAc,EAAE,OAAO,CAAC,cAAc,EAAE,CAAA;IAC5E,CAAC;IACD,IAAI,OAAO,EAAE,aAAa,EAAE,CAAC;QACzB,IAAI,CAAC,MAAM,GAAG,EAAE,GAAG,IAAI,CAAC,MAAM,EAAE,aAAa,EAAE,OAAO,CAAC,aAAa,EAAE,CAAA;IAC1E,CAAC;IAED,MAAM,aAAa,GAAG,OAAO,EAAE,aAAa,IAAI,IAAI,CAAC,MAAM,EAAE,aAAa,CAAA;IAE1E,uBAAuB;IACvB,sDAAsD;IACtD,wEAAwE;IACxE,sCAAsC;IACtC,MAAM,YAAY,GAAG,cAAc,CAAC,YAAY,CAM5C,IAAI,EACJ,SAAS,CAAC,YAAY,EACtB,SAAS,CAAC,oBAAoB,EAC9B,aAAa,EACb,QAAQ,EACR,UAAU,CACb,CAAA;IAED,OAAO,EAAE,MAAM,EAAE,YAAY,EAAE,UAAU,EAAE,CAAA;AAC/C,CAAC"}
+{"version":3,"file":"fork.js","sourceRoot":"","sources":["../../../src/lib/core/fork.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,iBAAiB,EAAE,MAAM,sBAAsB,CAAA;AAYxD,OAAO,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAA;AACrD,OAAO,EAAE,uBAAuB,EAAE,MAAM,cAAc,CAAA;AACtD,OAAO,EAAE,cAAc,EAAE,MAAM,8BAA8B,CAAA;AAE7D;;;;;;;;;;;;;;GAcG;AACH,MAAM,UAAU,kBAAkB,CAO9B,MAA2D,EAC3D,aAAqB,EACrB,SAEC,EACD,OAA8B;IAK9B,MAAM,UAAU,GAAG,OAAO,EAAE,UAAU,IAAI,iBAAiB,CAAA;IAE3D,kDAAkD;IAClD,MAAM,IAAI,GAAG,MAAM,CAAC,QAAQ,EAAE,CAAA;IAE9B,MAAM,kBAAkB,GAAG,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAA;IAE3C,uCAAuC;IACvC,MAAM,YAAY,GAAG,IAAI,GAAG,EAAkB,CAAA;IAC9C,MAAM,eAAe,GAAG,IAAI,GAAG,EAAkB,CAAA;IACjD,MAAM,aAAa,GAAG,IAAI,GAAG,EAAkB,CAAA;IAE/C,KAAK,MAAM,EAAE,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;QAC7B,YAAY,CAAC,GAAG,CAAC,EAAE,CAAC,OAAO,CAAC,EAAE,EAAE,UAAU,EAAE,CAAC,CAAA;QAC7C,KAAK,MAAM,IAAI,IAAI,EAAE,CAAC,WAAW,CAAC,WAAW,EAAE,CAAC;YAC5C,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,UAAU,EAAE,CAAC,CAAA;QAC9C,CAAC;IACL,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,SAAS,CAAC,SAAS,EAAE,CAAC;QACvC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,UAAU,EAAE,CAAC,CAAA;IACzC,CAAC;IAED,MAAM,UAAU,GAAoB;QAChC,UAAU,EAAE,EAAE,IAAI,EAAE,kBAAkB,EAAE,EAAE,EAAE,aAAa,EAAE;QAC3D,QAAQ,EAAE,YAAY;QACtB,WAAW,EAAE,eAAe;QAC5B,SAAS,EAAE,aAAa;KAC3B,CAAA;IAED,iBAAiB;IACjB,IAAI,CAAC,QAAQ,GAAG;QACZ,GAAG,IAAI,CAAC,QAAQ;QAChB,EAAE,EAAE,aAAa;QACjB,OAAO,EAAE,CAAC;KACc,CAAA;IAE5B,iCAAiC;IACjC,KAAK,MAAM,EAAE,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;QAC7B,MAAM,iBAAiB,GAAG,EAAE,CAAC,OAAO,CAAC,EAAE,CAAA;QACvC,MAAM,YAAY,GAAG,YAAY,CAAC,GAAG,CAAC,iBAAiB,CAAE,CAAA;QAEzD,EAAE,CAAC,OAAO,GAAG;YACT,GAAG,EAAE,CAAC,OAAO;YACb,EAAE,EAAE,YAAY;YAChB,UAAU,EAAE,aAAa;YACzB,eAAe,EAAE,CAAC;SACU,CAAA;QAEhC,IAAI,EAAE,CAAC,gBAAgB,EAAE,CAAC;YACtB,EAAE,CAAC,gBAAgB,GAAG,eAAe,CAAC,GAAG,CAAC,EAAE,CAAC,gBAAgB,CAAE,CAAA;QACnE,CAAC;QAED,EAAE,CAAC,WAAW,CAAC,WAAW,GAAG,EAAE,CAAC,WAAW,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE;YACjE,MAAM,cAAc,GAAG,IAAI,CAAC,EAAE,CAAA;YAC9B,MAAM,SAAS,GAAG,eAAe,CAAC,GAAG,CAAC,cAAc,CAAE,CAAA;YAEtD,MAAM,QAAQ,GAAG;gBACb,GAAG,IAAI;gBACP,EAAE,EAAE,SAAS;gBACb,UAAU,EAAE,aAAa;gBACzB,eAAe,EAAE,CAAC;gBAClB,SAAS,EAAE,YAAY;gBACvB,QAAQ,EAAE,IAAI,CAAC,QAAQ;oBACnB,CAAC,CAAC,CAAC,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,IAAI,CAAC;oBAC9C,CAAC,CAAC,IAAI;aACJ,CAAA;YAEV,IACK,QAA6B,CAAC,IAAI,KAAK,UAAU;gBAClD,YAAY,IAAI,QAAQ,EAC1B,CAAC;gBACC,MAAM,SAAS,GACX,QACH,CAAC,UAAU,CACX;gBAAC,QAA8C,CAAC,UAAU;oBACvD,aAAa,CAAC,GAAG,CAAC,SAAS,CAAE,CAAA;YACrC,CAAC;YAED,OAAO,QAAQ,CAAA;QACnB,CAAC,CAAC,CAAA;IACN,CAAC;IAED,kBAAkB;IAClB,IAAI,CAAC,SAAS,CAAC,SAAS,GAAG,IAAI,CAAC,SAAS,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;QAC1D,MAAM,aAAa,GAAG,CAAC,CAAC,EAAE,CAAA;QAC1B,MAAM,QAAQ,GAAG,aAAa,CAAC,GAAG,CAAC,aAAa,CAAE,CAAA;QAElD,MAAM,QAAQ,GAAG;YACb,GAAG,CAAC;YACJ,EAAE,EAAE,QAAQ;YACZ,UAAU,EAAE,aAAa;YACzB,eAAe,EAAE,CAAC;SACrB,CAAA;QAED,IAAI,cAAc,CAAC,QAAiD,CAAC,EAAE,CAAC;YACpE,MAAM,YAAY,GACd,QAIC,CAAA;YACL,YAAY,CAAC,cAAc,GAAG,YAAY,CAAC,GAAG,CAC1C,YAAY,CAAC,cAAc,CAC7B,CAAA;YACF,YAAY,CAAC,eAAe,GAAG,aAAa,CAAA;YAC5C,YAAY,CAAC,oBAAoB,GAAG,CAAC,CAAA;QACzC,CAAC;QAED,OAAO,QAAgB,CAAA;IAC3B,CAAC,CAAC,CAAA;IAEF,mBAAmB;IACnB,IAAI,IAAI,CAAC,mBAAmB,EAAE,CAAC;QAC3B,IAAI,CAAC,mBAAmB,GAAG,YAAY,CAAC,GAAG,CAAC,IAAI,CAAC,mBAAmB,CAAC,CAAA;IACzE,CAAC;IAED,+EAA+E;IAC/E,IAAI,OAAO,EAAE,cAAc,EAAE,CAAC;QAC1B,IAAI,CAAC,MAAM,GAAG;YACV,GAAG,IAAI,CAAC,MAAM;YACd,cAAc,EAAE,uBAAuB,CAAC,OAAO,CAAC,cAAc,CAAC;SAClE,CAAA;IACL,CAAC;IACD,IAAI,OAAO,EAAE,cAAc,EAAE,CAAC;QAC1B,IAAI,CAAC,MAAM,GAAG,EAAE,GAAG,IAAI,CAAC,MAAM,EAAE,cAAc,EAAE,OAAO,CAAC,cAAc,EAAE,CAAA;IAC5E,CAAC;IACD,IAAI,OAAO,EAAE,aAAa,EAAE,CAAC;QACzB,IAAI,CAAC,MAAM,GAAG,EAAE,GAAG,IAAI,CAAC,MAAM,EAAE,aAAa,EAAE,OAAO,CAAC,aAAa,EAAE,CAAA;IAC1E,CAAC;IAED,MAAM,aAAa,GAAG,OAAO,EAAE,aAAa,IAAI,IAAI,CAAC,MAAM,EAAE,aAAa,CAAA;IAE1E,uBAAuB;IACvB,MAAM,YAAY,GAAG,cAAc,CAAC,YAAY,CAM9C,IAAI,EAAE,SAAS,CAAC,YAAY,EAAE,aAAa,EAAE,QAAQ,EAAE,UAAU,CAAC,CAAA;IAEpE,OAAO,EAAE,MAAM,EAAE,YAAY,EAAE,UAAU,EAAE,CAAA;AAC/C,CAAC"}

package/dist/lib/core/interfaces/index.d.ts

@@ -1,5 +1,5 @@
 export type { TDisplayable, THierarchicalChecksummable, } from "./shared.interfaces.js";
 export type { TPremiseCrud, TVariableManagement, TArgumentExpressionQueries, TArgumentRoleState, TArgumentEvaluation, TArgumentLifecycle, TArgumentIdentity, } from "./argument-engine.interfaces.js";
 export type { TFormulaTreeVisitor, TFormulaTreeWalking, TExpressionMutations, TExpressionQueries, TVariableReferences, TPremiseClassification, TPremiseEvaluation, TPremiseLifecycle, TPremiseIdentity, } from "./premise-engine.interfaces.js";
-export type { TClaimLookup, TClaimLibraryManagement, TClaimLibrarySnapshot, TClaimCitationLookup, TClaimCitationLibraryManagement, TClaimCitationLibrarySnapshot, TForkLibrarySnapshot, TArgumentLibrarySnapshot, TPropositCoreSnapshot, TPropositCoreConfig, } from "./library.interfaces.js";
+export type { TClaimLookup, TClaimLibraryManagement, TClaimLibrarySnapshot, TClaimConnectionLookup, TClaimConnectionLibraryManagement, TClaimConnectionLibrarySnapshot, TForkLibrarySnapshot, TArgumentLibrarySnapshot, TPropositCoreSnapshot, TPropositCoreConfig, } from "./library.interfaces.js";
 //# sourceMappingURL=index.d.ts.map

package/dist/lib/core/interfaces/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../src/lib/core/interfaces/index.ts"],"names":[],"mappings":"AAAA,YAAY,EACR,YAAY,EACZ,0BAA0B,GAC7B,MAAM,wBAAwB,CAAA;AAE/B,YAAY,EACR,YAAY,EACZ,mBAAmB,EACnB,0BAA0B,EAC1B,kBAAkB,EAClB,mBAAmB,EACnB,kBAAkB,EAClB,iBAAiB,GACpB,MAAM,iCAAiC,CAAA;AAExC,YAAY,EACR,mBAAmB,EACnB,mBAAmB,EACnB,oBAAoB,EACpB,kBAAkB,EAClB,mBAAmB,EACnB,sBAAsB,EACtB,kBAAkB,EAClB,iBAAiB,EACjB,gBAAgB,GACnB,MAAM,gCAAgC,CAAA;AAEvC,YAAY,EACR,YAAY,EACZ,uBAAuB,EACvB,qBAAqB,EACrB,oBAAoB,EACpB,+BAA+B,EAC/B,6BAA6B,EAC7B,oBAAoB,EACpB,wBAAwB,EACxB,qBAAqB,EACrB,mBAAmB,GACtB,MAAM,yBAAyB,CAAA"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../src/lib/core/interfaces/index.ts"],"names":[],"mappings":"AAAA,YAAY,EACR,YAAY,EACZ,0BAA0B,GAC7B,MAAM,wBAAwB,CAAA;AAE/B,YAAY,EACR,YAAY,EACZ,mBAAmB,EACnB,0BAA0B,EAC1B,kBAAkB,EAClB,mBAAmB,EACnB,kBAAkB,EAClB,iBAAiB,GACpB,MAAM,iCAAiC,CAAA;AAExC,YAAY,EACR,mBAAmB,EACnB,mBAAmB,EACnB,oBAAoB,EACpB,kBAAkB,EAClB,mBAAmB,EACnB,sBAAsB,EACtB,kBAAkB,EAClB,iBAAiB,EACjB,gBAAgB,GACnB,MAAM,gCAAgC,CAAA;AAEvC,YAAY,EACR,YAAY,EACZ,uBAAuB,EACvB,qBAAqB,EACrB,sBAAsB,EACtB,iCAAiC,EACjC,+BAA+B,EAC/B,oBAAoB,EACpB,wBAAwB,EACxB,qBAAqB,EACrB,mBAAmB,GACtB,MAAM,yBAAyB,CAAA"}

package/dist/lib/core/interfaces/library.interfaces.d.ts

@@ -1,5 +1,7 @@
 import type { TCoreClaim } from "../../schemata/claim.js";
 import type { TCoreClaimCitation } from "../../schemata/claim-citation.js";
+import type { TCoreClaimConnection } from "../../schemata/claim-connection.js";
+import type { TCoreClaimAxiom } from "../../schemata/claim-axiom.js";
 import type { TCoreArgumentForkRecord, TCorePremiseForkRecord, TCoreExpressionForkRecord, TCoreVariableForkRecord, TCoreClaimForkRecord } from "../../schemata/fork.js";
 import type { TInvariantValidationResult } from "../../types/validation.js";
 import type { TCoreArgument, TCorePremise, TCorePropositionalExpression, TCorePropositionalVariable } from "../../schemata/index.js";
@@ -115,86 +117,94 @@ export interface TClaimLibraryManagement<TClaim extends TCoreClaim = TCoreClaim>
     validate(): TInvariantValidationResult;
 }
 /**
- * Narrow read-only interface for claim-citation lookups.
- * Implemented by `ClaimCitationLibrary`.
+ * Narrow read-only interface for claim-connection lookups.
+ * Implemented by `ClaimCitationLibrary` and `ClaimAxiomLibrary`.
+ *
+ * A claim connection is a directional support edge between two claims. The
+ * supported endpoint lives at `claimId`; the endpoint that supplies the
+ * support lives at `supportingClaimId`. Specializations (citation vs. axiom)
+ * differ in which library they live in and what type the supporting-side
+ * claim must have.
  */
-export interface TClaimCitationLookup<TCitation extends TCoreClaimCitation = TCoreClaimCitation> {
+export interface TClaimConnectionLookup<TConn extends TCoreClaimConnection = TCoreClaimConnection> {
     /**
-     * Returns all citations where the given claim is the citing-side endpoint.
+     * Returns all connections where the given claim is the supported
+     * endpoint (i.e. the `claimId` side of the edge).
      *
-     * @param citingClaimId - The citing claim ID to filter by.
-     * @returns An array of matching citations.
+     * @param claimId - The supported claim ID to filter by.
+     * @returns An array of matching connections.
      */
-    getCitationsForCitingClaim(citingClaimId: string): TCitation[];
+    getConnectionsForClaim(claimId: string): TConn[];
     /**
-     * Returns all citations where the given claim is the source-side endpoint.
+     * Returns a connection by ID, or `undefined` if not found.
      *
-     * @param sourceClaimId - The source claim ID to filter by.
-     * @returns An array of matching citations.
+     * @param id - The connection ID.
+     * @returns The connection entity, or `undefined`.
      */
-    getCitationsForSourceClaim(sourceClaimId: string): TCitation[];
-    /**
-     * Returns a citation by ID, or `undefined` if not found.
-     *
-     * @param id - The citation ID.
-     * @returns The citation entity, or `undefined`.
-     */
-    get(id: string): TCitation | undefined;
+    get(id: string): TConn | undefined;
 }
 /**
- * Full management interface for a claim-citation library. Extends
- * `TClaimCitationLookup` with mutation, query, and snapshot methods.
- * Citations are create-or-delete only — no update path.
+ * Full management interface for a claim-connection library. Extends
+ * `TClaimConnectionLookup` with mutation, query, and snapshot methods.
+ * Connections are create-or-delete only — no update path.
  */
-export interface TClaimCitationLibraryManagement<TCitation extends TCoreClaimCitation = TCoreClaimCitation> extends TClaimCitationLookup<TCitation> {
+export interface TClaimConnectionLibraryManagement<TConn extends TCoreClaimConnection = TCoreClaimConnection> extends TClaimConnectionLookup<TConn> {
     /**
-     * Creates a claim citation. Validates that both the citing and source
-     * claims exist in the claim library, that the source-side claim has
-     * type='citation', and that the new edge does not introduce a cycle in
-     * the global claim-citation graph.
+     * Creates a claim connection. Implementations validate that both the
+     * supported and supporting claims exist in the underlying claim library
+     * and that the supporting-side claim has the type required by this
+     * specialization (e.g. `'citation'` for `ClaimCitationLibrary`,
+     * `'axiomatic'` for `ClaimAxiomLibrary`). Citation libraries also
+     * reject any edge that would introduce a cycle in the global
+     * claim-citation graph.
      *
-     * @param citation - The citation data without the `checksum` field.
-     * @returns The created citation with checksum populated.
-     * @throws If a citation with the same ID already exists.
-     * @throws If the referenced citing or source claim does not exist.
-     * @throws If the source-side claim has type !== 'citation'.
-     * @throws If the citation would create a cycle.
+     * @param connection - The connection data without the `checksum` field.
+     * @returns The created connection with `checksum` populated.
+     * @throws If a connection with the same ID already exists.
+     * @throws If either referenced claim does not exist in the claim library.
+     * @throws If the supporting-side claim has the wrong `type` for this
+     *   specialization.
+     * @throws If the connection would create a cycle (citation library only).
      */
-    add(citation: Omit<TCitation, "checksum">): TCitation;
+    add(connection: Omit<TConn, "checksum">): TConn;
     /**
-     * Removes a claim citation by ID.
+     * Removes a claim connection by ID.
      *
-     * @param id - The citation ID to remove.
-     * @returns The removed citation entity.
-     * @throws If the citation does not exist.
+     * @param id - The connection ID to remove.
+     * @returns The removed connection entity.
+     * @throws If the connection does not exist.
      */
-    remove(id: string): TCitation;
+    remove(id: string): TConn;
     /**
-     * Returns all citations in the library.
+     * Returns all connections in the library.
      *
-     * @returns An array of all citation entities.
+     * @returns An array of all connection entities.
      */
-    getAll(): TCitation[];
+    getAll(): TConn[];
     /**
-     * Returns all citations matching the predicate.
+     * Returns all connections matching the predicate.
      *
-     * @param predicate - A filter function applied to each citation.
-     * @returns An array of matching citations.
+     * @param predicate - A filter function applied to each connection.
+     * @returns An array of matching connections.
      */
-    filter(predicate: (c: TCitation) => boolean): TCitation[];
+    filter(predicate: (c: TConn) => boolean): TConn[];
     /**
-     * Returns a serializable snapshot of all citations in the library.
+     * Returns a serializable snapshot of all connections in the library.
      *
-     * @returns The claim-citation library snapshot.
+     * @returns The claim-connection library snapshot.
      */
-    snapshot(): TClaimCitationLibrarySnapshot<TCitation>;
+    snapshot(): TClaimConnectionLibrarySnapshot<TConn>;
     /**
-     * Run invariant validation on the claim-citation library.
+     * Run invariant validation on the claim-connection library.
      *
      * @returns The invariant validation result.
      */
     validate(): TInvariantValidationResult;
 }
+export type TClaimConnectionLibrarySnapshot<TConn extends TCoreClaimConnection = TCoreClaimConnection> = {
+    /** All claim-connection entities in the library. */
+    connections: TConn[];
+};
 /**
  * Serializable snapshot of a `ClaimLibrary`. Contains all claim entities
  * across all IDs and versions.
@@ -203,14 +213,6 @@ export type TClaimLibrarySnapshot<TClaim extends TCoreClaim = TCoreClaim> = {
     /** All claim entities in the library. */
     claims: TClaim[];
 };
-/**
- * Serializable snapshot of a `ClaimCitationLibrary`. Contains all citation
- * entities.
- */
-export type TClaimCitationLibrarySnapshot<TCitation extends TCoreClaimCitation = TCoreClaimCitation> = {
-    /** All claim citation entities in the library. */
-    claimCitations: TCitation[];
-};
 /**
  * Serializable snapshot of a `ForkLibrary`. Contains arrays of fork records
  * for each entity type.
@@ -237,15 +239,18 @@ export type TArgumentLibrarySnapshot<TArg extends TCoreArgument = TCoreArgument,
 };
 /**
  * Serializable snapshot of a `PropositCore` instance. Contains snapshots of
- * all managed libraries: arguments, claims, claim citations, and fork records.
+ * all managed libraries: arguments, claims, claim citations, axioms, and fork
+ * records.
  */
-export type TPropositCoreSnapshot<TArg extends TCoreArgument = TCoreArgument, TPremise extends TCorePremise = TCorePremise, TExpr extends TCorePropositionalExpression = TCorePropositionalExpression, TVar extends TCorePropositionalVariable = TCorePropositionalVariable, TClaim extends TCoreClaim = TCoreClaim, TCitation extends TCoreClaimCitation = TCoreClaimCitation, TArgFork extends TCoreArgumentForkRecord = TCoreArgumentForkRecord, TPremiseFork extends TCorePremiseForkRecord = TCorePremiseForkRecord, TExprFork extends TCoreExpressionForkRecord = TCoreExpressionForkRecord, TVarFork extends TCoreVariableForkRecord = TCoreVariableForkRecord, TClaimFork extends TCoreClaimForkRecord = TCoreClaimForkRecord> = {
+export type TPropositCoreSnapshot<TArg extends TCoreArgument = TCoreArgument, TPremise extends TCorePremise = TCorePremise, TExpr extends TCorePropositionalExpression = TCorePropositionalExpression, TVar extends TCorePropositionalVariable = TCorePropositionalVariable, TClaim extends TCoreClaim = TCoreClaim, TCitation extends TCoreClaimCitation = TCoreClaimCitation, TAxiom extends TCoreClaimAxiom = TCoreClaimAxiom, TArgFork extends TCoreArgumentForkRecord = TCoreArgumentForkRecord, TPremiseFork extends TCorePremiseForkRecord = TCorePremiseForkRecord, TExprFork extends TCoreExpressionForkRecord = TCoreExpressionForkRecord, TVarFork extends TCoreVariableForkRecord = TCoreVariableForkRecord, TClaimFork extends TCoreClaimForkRecord = TCoreClaimForkRecord> = {
     /** Snapshot of all argument engines. */
     arguments: TArgumentLibrarySnapshot<TArg, TPremise, TExpr, TVar>;
     /** Snapshot of the claim library. */
     claims: TClaimLibrarySnapshot<TClaim>;
     /** Snapshot of the claim-citation library. */
-    claimCitations: TClaimCitationLibrarySnapshot<TCitation>;
+    citations: TClaimConnectionLibrarySnapshot<TCitation>;
+    /** Snapshot of the claim-axiom library. */
+    axioms: TClaimConnectionLibrarySnapshot<TAxiom>;
     /** Snapshot of the fork library. */
     forks: TForkLibrarySnapshot<TArgFork, TPremiseFork, TExprFork, TVarFork, TClaimFork>;
 };

package/dist/lib/core/interfaces/library.interfaces.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"library.interfaces.d.ts","sourceRoot":"","sources":["../../../../src/lib/core/interfaces/library.interfaces.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,yBAAyB,CAAA;AACzD,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,kCAAkC,CAAA;AAC1E,OAAO,KAAK,EACR,uBAAuB,EACvB,sBAAsB,EACtB,yBAAyB,EACzB,uBAAuB,EACvB,oBAAoB,EACvB,MAAM,wBAAwB,CAAA;AAC/B,OAAO,KAAK,EAAE,0BAA0B,EAAE,MAAM,2BAA2B,CAAA;AAC3E,OAAO,KAAK,EACR,aAAa,EACb,YAAY,EACZ,4BAA4B,EAC5B,0BAA0B,EAC7B,MAAM,yBAAyB,CAAA;AAChC,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,uBAAuB,CAAA;AACpE,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,yBAAyB,CAAA;AAClE,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,yBAAyB,CAAA;AAClE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,wBAAwB,CAAA;AAE5D;;;;GAIG;AACH,MAAM,WAAW,YAAY,CAAC,MAAM,SAAS,UAAU,GAAG,UAAU;IAChE;;;;;;OAMG;IACH,GAAG,CAAC,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAAA;IAEpD;;;;;;;;;;;OAWG;IACH,UAAU,CAAC,EAAE,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAAA;CAC7C;AAED;;;GAGG;AACH,MAAM,WAAW,uBAAuB,CACpC,MAAM,SAAS,UAAU,GAAG,UAAU,CACxC,SAAQ,YAAY,CAAC,MAAM,CAAC;IAC1B;;;;;;;;;;OAUG;IACH,MAAM,CACF,KAAK,EACC,IAAI,CAAC,MAAM,EAAE,SAAS,GAAG,QAAQ,GAAG,UAAU,CAAC,GAC/C,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,GAAG,SAAS,GAAG,QAAQ,GAAG,UAAU,CAAC,GAAG;QACtD,EAAE,CAAC,EAAE,MAAM,CAAA;KACd,CAAC,GACT,MAAM,CAAA;IAET;;;;;;;;;;OAUG;IACH,MAAM,CACF,EAAE,EAAE,MAAM,EACV,OAAO,EAAE,OAAO,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,GAAG,SAAS,GAAG,QAAQ,GAAG,UAAU,CAAC,CAAC,GACzE,MAAM,CAAA;IAET;;;;;;;;;OASG;IACH,MAAM,CAAC,EAAE,EAAE,MAAM,GAAG;QAAE,MAAM,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAA;KAAE,CAAA;IAEvD;;;;;OAKG;IACH,UAAU,CAAC,EAAE,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAAA;IAE1C;;;;OAIG;IACH,MAAM,IAAI,MAAM,EAAE,CAAA;IAElB;;;;;;OAMG;IACH,WAAW,CAAC,EAAE,EAAE,MAAM,GAAG,MAAM,EAAE,CAAA;IAEjC;;;;OAIG;IACH,QAAQ,IAAI,qBAAqB,CAAC,MAAM,CAAC,CAAA;IAEzC;;;;OAIG;IACH,QAAQ,IAAI,0BAA0B,CAAA;CACzC;AAED;;;GAGG;AACH,MAAM,WAAW,oBAAoB,CACjC,SAAS,SAAS,kBAAkB,GAAG,kBAAkB;IAEzD;;;;;OAKG;IACH,0BAA0B,CAAC,aAAa,EAAE,MAAM,GAAG,SAAS,EAAE,CAAA;IAE9D;;;;;OAKG;IACH,0BAA0B,CAAC,aAAa,EAAE,MAAM,GAAG,SAAS,EAAE,CAAA;IAE9D;;;;;OAKG;IACH,GAAG,CAAC,EAAE,EAAE,MAAM,GAAG,SAAS,GAAG,SAAS,CAAA;CACzC;AAED;;;;GAIG;AACH,MAAM,WAAW,+BAA+B,CAC5C,SAAS,SAAS,kBAAkB,GAAG,kBAAkB,CAC3D,SAAQ,oBAAoB,CAAC,SAAS,CAAC;IACrC;;;;;;;;;;;;OAYG;IACH,GAAG,CAAC,QAAQ,EAAE,IAAI,CAAC,SAAS,EAAE,UAAU,CAAC,GAAG,SAAS,CAAA;IAErD;;;;;;OAMG;IACH,MAAM,CAAC,EAAE,EAAE,MAAM,GAAG,SAAS,CAAA;IAE7B;;;;OAIG;IACH,MAAM,IAAI,SAAS,EAAE,CAAA;IAErB;;;;;OAKG;IACH,MAAM,CAAC,SAAS,EAAE,CAAC,CAAC,EAAE,SAAS,KAAK,OAAO,GAAG,SAAS,EAAE,CAAA;IAEzD;;;;OAIG;IACH,QAAQ,IAAI,6BAA6B,CAAC,SAAS,CAAC,CAAA;IAEpD;;;;OAIG;IACH,QAAQ,IAAI,0BAA0B,CAAA;CACzC;AAED;;;GAGG;AACH,MAAM,MAAM,qBAAqB,CAAC,MAAM,SAAS,UAAU,GAAG,UAAU,IAAI;IACxE,yCAAyC;IACzC,MAAM,EAAE,MAAM,EAAE,CAAA;CACnB,CAAA;AAED;;;GAGG;AACH,MAAM,MAAM,6BAA6B,CACrC,SAAS,SAAS,kBAAkB,GAAG,kBAAkB,IACzD;IACA,kDAAkD;IAClD,cAAc,EAAE,SAAS,EAAE,CAAA;CAC9B,CAAA;AAED;;;GAGG;AACH,MAAM,MAAM,oBAAoB,CAC5B,QAAQ,SAAS,uBAAuB,GAAG,uBAAuB,EAClE,YAAY,SAAS,sBAAsB,GAAG,sBAAsB,EACpE,SAAS,SAAS,yBAAyB,GAAG,yBAAyB,EACvE,QAAQ,SAAS,uBAAuB,GAAG,uBAAuB,EAClE,UAAU,SAAS,oBAAoB,GAAG,oBAAoB,IAC9D;IACA,iCAAiC;IACjC,SAAS,EAAE,QAAQ,EAAE,CAAA;IACrB,gCAAgC;IAChC,QAAQ,EAAE,YAAY,EAAE,CAAA;IACxB,mCAAmC;IACnC,WAAW,EAAE,SAAS,EAAE,CAAA;IACxB,iCAAiC;IACjC,SAAS,EAAE,QAAQ,EAAE,CAAA;IACrB,8BAA8B;IAC9B,MAAM,EAAE,UAAU,EAAE,CAAA;CACvB,CAAA;AAED;;;GAGG;AACH,MAAM,MAAM,wBAAwB,CAChC,IAAI,SAAS,aAAa,GAAG,aAAa,EAC1C,QAAQ,SAAS,YAAY,GAAG,YAAY,EAC5C,KAAK,SAAS,4BAA4B,GAAG,4BAA4B,EACzE,IAAI,SAAS,0BAA0B,GAAG,0BAA0B,IACpE;IACA,wDAAwD;IACxD,SAAS,EAAE,uBAAuB,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,EAAE,CAAA;CACpE,CAAA;AAED;;;GAGG;AACH,MAAM,MAAM,qBAAqB,CAC7B,IAAI,SAAS,aAAa,GAAG,aAAa,EAC1C,QAAQ,SAAS,YAAY,GAAG,YAAY,EAC5C,KAAK,SAAS,4BAA4B,GAAG,4BAA4B,EACzE,IAAI,SAAS,0BAA0B,GAAG,0BAA0B,EACpE,MAAM,SAAS,UAAU,GAAG,UAAU,EACtC,SAAS,SAAS,kBAAkB,GAAG,kBAAkB,EACzD,QAAQ,SAAS,uBAAuB,GAAG,uBAAuB,EAClE,YAAY,SAAS,sBAAsB,GAAG,sBAAsB,EACpE,SAAS,SAAS,yBAAyB,GAAG,yBAAyB,EACvE,QAAQ,SAAS,uBAAuB,GAAG,uBAAuB,EAClE,UAAU,SAAS,oBAAoB,GAAG,oBAAoB,IAC9D;IACA,wCAAwC;IACxC,SAAS,EAAE,wBAAwB,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,CAAA;IAChE,qCAAqC;IACrC,MAAM,EAAE,qBAAqB,CAAC,MAAM,CAAC,CAAA;IACrC,8CAA8C;IAC9C,cAAc,EAAE,6BAA6B,CAAC,SAAS,CAAC,CAAA;IACxD,oCAAoC;IACpC,KAAK,EAAE,oBAAoB,CACvB,QAAQ,EACR,YAAY,EACZ,SAAS,EACT,QAAQ,EACR,UAAU,CACb,CAAA;CACJ,CAAA;AAED;;;GAGG;AACH,MAAM,MAAM,mBAAmB,GAAG;IAC9B,+DAA+D;IAC/D,cAAc,CAAC,EAAE,mBAAmB,CAAA;IACpC,4CAA4C;IAC5C,cAAc,CAAC,EAAE,mBAAmB,CAAA;IACpC,2CAA2C;IAC3C,aAAa,CAAC,EAAE,cAAc,CAAA;IAC9B,uFAAuF;IACvF,UAAU,CAAC,EAAE,MAAM,MAAM,CAAA;CAC5B,CAAA"}
+{"version":3,"file":"library.interfaces.d.ts","sourceRoot":"","sources":["../../../../src/lib/core/interfaces/library.interfaces.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,yBAAyB,CAAA;AACzD,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,kCAAkC,CAAA;AAC1E,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,oCAAoC,CAAA;AAC9E,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,+BAA+B,CAAA;AACpE,OAAO,KAAK,EACR,uBAAuB,EACvB,sBAAsB,EACtB,yBAAyB,EACzB,uBAAuB,EACvB,oBAAoB,EACvB,MAAM,wBAAwB,CAAA;AAC/B,OAAO,KAAK,EAAE,0BAA0B,EAAE,MAAM,2BAA2B,CAAA;AAC3E,OAAO,KAAK,EACR,aAAa,EACb,YAAY,EACZ,4BAA4B,EAC5B,0BAA0B,EAC7B,MAAM,yBAAyB,CAAA;AAChC,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,uBAAuB,CAAA;AACpE,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,yBAAyB,CAAA;AAClE,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,yBAAyB,CAAA;AAClE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,wBAAwB,CAAA;AAE5D;;;;GAIG;AACH,MAAM,WAAW,YAAY,CAAC,MAAM,SAAS,UAAU,GAAG,UAAU;IAChE;;;;;;OAMG;IACH,GAAG,CAAC,EAAE,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAAA;IAEpD;;;;;;;;;;;OAWG;IACH,UAAU,CAAC,EAAE,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAAA;CAC7C;AAED;;;GAGG;AACH,MAAM,WAAW,uBAAuB,CACpC,MAAM,SAAS,UAAU,GAAG,UAAU,CACxC,SAAQ,YAAY,CAAC,MAAM,CAAC;IAC1B;;;;;;;;;;OAUG;IACH,MAAM,CACF,KAAK,EACC,IAAI,CAAC,MAAM,EAAE,SAAS,GAAG,QAAQ,GAAG,UAAU,CAAC,GAC/C,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,GAAG,SAAS,GAAG,QAAQ,GAAG,UAAU,CAAC,GAAG;QACtD,EAAE,CAAC,EAAE,MAAM,CAAA;KACd,CAAC,GACT,MAAM,CAAA;IAET;;;;;;;;;;OAUG;IACH,MAAM,CACF,EAAE,EAAE,MAAM,EACV,OAAO,EAAE,OAAO,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,GAAG,SAAS,GAAG,QAAQ,GAAG,UAAU,CAAC,CAAC,GACzE,MAAM,CAAA;IAET;;;;;;;;;OASG;IACH,MAAM,CAAC,EAAE,EAAE,MAAM,GAAG;QAAE,MAAM,EAAE,MAAM,CAAC;QAAC,OAAO,EAAE,MAAM,CAAA;KAAE,CAAA;IAEvD;;;;;OAKG;IACH,UAAU,CAAC,EAAE,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAAA;IAE1C;;;;OAIG;IACH,MAAM,IAAI,MAAM,EAAE,CAAA;IAElB;;;;;;OAMG;IACH,WAAW,CAAC,EAAE,EAAE,MAAM,GAAG,MAAM,EAAE,CAAA;IAEjC;;;;OAIG;IACH,QAAQ,IAAI,qBAAqB,CAAC,MAAM,CAAC,CAAA;IAEzC;;;;OAIG;IACH,QAAQ,IAAI,0BAA0B,CAAA;CACzC;AAED;;;;;;;;;GASG;AACH,MAAM,WAAW,sBAAsB,CACnC,KAAK,SAAS,oBAAoB,GAAG,oBAAoB;IAEzD;;;;;;OAMG;IACH,sBAAsB,CAAC,OAAO,EAAE,MAAM,GAAG,KAAK,EAAE,CAAA;IAEhD;;;;;OAKG;IACH,GAAG,CAAC,EAAE,EAAE,MAAM,GAAG,KAAK,GAAG,SAAS,CAAA;CACrC;AAED;;;;GAIG;AACH,MAAM,WAAW,iCAAiC,CAC9C,KAAK,SAAS,oBAAoB,GAAG,oBAAoB,CAC3D,SAAQ,sBAAsB,CAAC,KAAK,CAAC;IACnC;;;;;;;;;;;;;;;;OAgBG;IACH,GAAG,CAAC,UAAU,EAAE,IAAI,CAAC,KAAK,EAAE,UAAU,CAAC,GAAG,KAAK,CAAA;IAE/C;;;;;;OAMG;IACH,MAAM,CAAC,EAAE,EAAE,MAAM,GAAG,KAAK,CAAA;IAEzB;;;;OAIG;IACH,MAAM,IAAI,KAAK,EAAE,CAAA;IAEjB;;;;;OAKG;IACH,MAAM,CAAC,SAAS,EAAE,CAAC,CAAC,EAAE,KAAK,KAAK,OAAO,GAAG,KAAK,EAAE,CAAA;IAEjD;;;;OAIG;IACH,QAAQ,IAAI,+BAA+B,CAAC,KAAK,CAAC,CAAA;IAElD;;;;OAIG;IACH,QAAQ,IAAI,0BAA0B,CAAA;CACzC;AAED,MAAM,MAAM,+BAA+B,CACvC,KAAK,SAAS,oBAAoB,GAAG,oBAAoB,IACzD;IACA,oDAAoD;IACpD,WAAW,EAAE,KAAK,EAAE,CAAA;CACvB,CAAA;AAED;;;GAGG;AACH,MAAM,MAAM,qBAAqB,CAAC,MAAM,SAAS,UAAU,GAAG,UAAU,IAAI;IACxE,yCAAyC;IACzC,MAAM,EAAE,MAAM,EAAE,CAAA;CACnB,CAAA;AAED;;;GAGG;AACH,MAAM,MAAM,oBAAoB,CAC5B,QAAQ,SAAS,uBAAuB,GAAG,uBAAuB,EAClE,YAAY,SAAS,sBAAsB,GAAG,sBAAsB,EACpE,SAAS,SAAS,yBAAyB,GAAG,yBAAyB,EACvE,QAAQ,SAAS,uBAAuB,GAAG,uBAAuB,EAClE,UAAU,SAAS,oBAAoB,GAAG,oBAAoB,IAC9D;IACA,iCAAiC;IACjC,SAAS,EAAE,QAAQ,EAAE,CAAA;IACrB,gCAAgC;IAChC,QAAQ,EAAE,YAAY,EAAE,CAAA;IACxB,mCAAmC;IACnC,WAAW,EAAE,SAAS,EAAE,CAAA;IACxB,iCAAiC;IACjC,SAAS,EAAE,QAAQ,EAAE,CAAA;IACrB,8BAA8B;IAC9B,MAAM,EAAE,UAAU,EAAE,CAAA;CACvB,CAAA;AAED;;;GAGG;AACH,MAAM,MAAM,wBAAwB,CAChC,IAAI,SAAS,aAAa,GAAG,aAAa,EAC1C,QAAQ,SAAS,YAAY,GAAG,YAAY,EAC5C,KAAK,SAAS,4BAA4B,GAAG,4BAA4B,EACzE,IAAI,SAAS,0BAA0B,GAAG,0BAA0B,IACpE;IACA,wDAAwD;IACxD,SAAS,EAAE,uBAAuB,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,EAAE,CAAA;CACpE,CAAA;AAED;;;;GAIG;AACH,MAAM,MAAM,qBAAqB,CAC7B,IAAI,SAAS,aAAa,GAAG,aAAa,EAC1C,QAAQ,SAAS,YAAY,GAAG,YAAY,EAC5C,KAAK,SAAS,4BAA4B,GAAG,4BAA4B,EACzE,IAAI,SAAS,0BAA0B,GAAG,0BAA0B,EACpE,MAAM,SAAS,UAAU,GAAG,UAAU,EACtC,SAAS,SAAS,kBAAkB,GAAG,kBAAkB,EACzD,MAAM,SAAS,eAAe,GAAG,eAAe,EAChD,QAAQ,SAAS,uBAAuB,GAAG,uBAAuB,EAClE,YAAY,SAAS,sBAAsB,GAAG,sBAAsB,EACpE,SAAS,SAAS,yBAAyB,GAAG,yBAAyB,EACvE,QAAQ,SAAS,uBAAuB,GAAG,uBAAuB,EAClE,UAAU,SAAS,oBAAoB,GAAG,oBAAoB,IAC9D;IACA,wCAAwC;IACxC,SAAS,EAAE,wBAAwB,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,CAAA;IAChE,qCAAqC;IACrC,MAAM,EAAE,qBAAqB,CAAC,MAAM,CAAC,CAAA;IACrC,8CAA8C;IAC9C,SAAS,EAAE,+BAA+B,CAAC,SAAS,CAAC,CAAA;IACrD,2CAA2C;IAC3C,MAAM,EAAE,+BAA+B,CAAC,MAAM,CAAC,CAAA;IAC/C,oCAAoC;IACpC,KAAK,EAAE,oBAAoB,CACvB,QAAQ,EACR,YAAY,EACZ,SAAS,EACT,QAAQ,EACR,UAAU,CACb,CAAA;CACJ,CAAA;AAED;;;GAGG;AACH,MAAM,MAAM,mBAAmB,GAAG;IAC9B,+DAA+D;IAC/D,cAAc,CAAC,EAAE,mBAAmB,CAAA;IACpC,4CAA4C;IAC5C,cAAc,CAAC,EAAE,mBAAmB,CAAA;IACpC,2CAA2C;IAC3C,aAAa,CAAC,EAAE,cAAc,CAAA;IAC9B,uFAAuF;IACvF,UAAU,CAAC,EAAE,MAAM,MAAM,CAAA;CAC5B,CAAA"}

package/dist/lib/core/managed-derivation-premise-engine.d.ts

@@ -3,7 +3,7 @@ import { PremiseEngine, type TPremiseEngineSnapshot } from "./premise-engine.js"
 import { VariableManager } from "./variable-manager.js";
 import { type TLogicEngineOptions } from "./argument-engine.js";
 /**
- * Minimal structural interface needed by `populateFromCitations`. Using a
+ * Minimal structural interface needed by `populateFromSupports`. Using a
  * structural type rather than the concrete `ArgumentEngine<…>` class prevents
  * generic-parameter variance errors when the caller uses default type params.
  */
@@ -14,6 +14,7 @@ import { type TGrammarConfig } from "../types/grammar.js";
 import type { TExpressionInput, TExpressionWithoutPosition, TExpressionUpdate } from "./expression-manager.js";
 import type { TCoreMutationResult } from "../types/mutation.js";
 import type { ClaimCitationLibrary } from "./claim-citation-library.js";
+import type { ClaimAxiomLibrary } from "./claim-axiom-library.js";
 /**
  * A managed engine for derivation premises that enforces structural rules
  * from the v0.11.0 spec on construction and on snapshot restoration.
@@ -40,7 +41,7 @@ import type { ClaimCitationLibrary } from "./claim-citation-library.js";
 export declare class ManagedDerivationPremiseEngine<TArg extends TCoreArgument = TCoreArgument, TPremise extends TCorePremise = TCorePremise, TExpr extends TCorePropositionalExpression = TCorePropositionalExpression, TVar extends TCorePropositionalVariable = TCorePropositionalVariable> extends PremiseEngine<TArg, TPremise, TExpr, TVar> {
     /**
      * Captured from `config.generateId` (or the default UUID generator) for
-     * use in `populateFromCitations`, which needs to mint new expression IDs.
+     * use in `populateFromSupports`, which needs to mint new expression IDs.
      * Stored separately because `PremiseEngine`'s generateId is private.
      * Not `readonly` because `fromSnapshot` re-injects it after the prototype
      * upgrade.
@@ -85,20 +86,21 @@ export declare class ManagedDerivationPremiseEngine<TArg extends TCoreArgument =
     normalizeExpressions(): TCoreMutationResult<void, TExpr, TVar, TPremise, TArg>;
     loadExpressions(expressions: TExpressionInput<TExpr>[]): void;
     /**
-     * One-shot snapshot helper that builds the antecedent of this derivation
-     * premise from the current global citations of the derived claim.
+     * One-shot helper that builds the antecedent of this derivation premise
+     * from the current global support (citations + axiom invocations) of the
+     * derived claim.
      *
-     * Behavior by citation count:
+     * Behavior by total support count `n = citations + axioms`:
      *   - n = 0: no change. Premise stays in its current form (typically
      *     naked-Q, indicating "no support given").
-     *   - n = 1: produces `IMPLIES(VariableExpression(S1), VariableExpression(Q))`.
-     *   - n ≥ 2: produces `IMPLIES(formula(OR(VariableExpression(S1), …,
-     *     VariableExpression(Sn))), VariableExpression(Q))`. The formula
-     *     buffer between IMPLIES and OR is auto-inserted by the engine's
-     *     standard grammar (`wrapInsertFormula`).
+     *   - n = 1: `IMPLIES(VarExpr(S1), Q)`.
+     *   - n ≥ 2: `IMPLIES(formula(OR(VarExpr(S1), …, VarExpr(Sn))), Q)`.
+     *     Citations come first, axioms second; source order preserved within
+     *     each. The formula buffer between IMPLIES and OR is auto-inserted by
+     *     the engine's standard grammar.
      *
-     * Materializes a claim-bound variable for each cited source via
-     * `argumentEngine.ensureClaimBoundVariable(citation.sourceClaimId)`.
+     * Materializes a claim-bound variable for each supporting claim via
+     * `argumentEngine.ensureClaimBoundVariable(supportingClaimId)`.
      *
      * **Tree construction approach:** Mutations are performed via `super.*`
      * calls, bypassing this class's overrides (which call `assertWellFormed()`
@@ -108,14 +110,25 @@ export declare class ManagedDerivationPremiseEngine<TArg extends TCoreArgument =
      * IMPLIES and OR for n ≥ 2 automatically. `assertWellFormed()` is called
      * at the end to validate the final state.
      *
-     * @throws InvariantViolationError(DERIVATION_ANTECEDENT_NON_EMPTY) when the
-     *         derivation premise already has a non-empty antecedent (i.e., the
-     *         root is `implies`/`iff` with a position-0 child). The caller
-     *         decides whether to delete and re-create the premise.
+     * @throws InvariantViolationError(DERIVATION_ANTECEDENT_NON_EMPTY) when
+     *         the antecedent slot is already filled.
      *
-     * @since 0.11.0
+     * @since 0.12.0
      */
-    populateFromCitations(citationLib: ClaimCitationLibrary, argumentEngine: TVariableMaterializer): void;
+    populateFromSupports(citationLib: ClaimCitationLibrary, axiomLib: ClaimAxiomLibrary, argumentEngine: TVariableMaterializer): void;
+    /**
+     * Build the antecedent expression tree from a list of already-materialized
+     * supporting variables. Shared between populate helpers.
+     *
+     * - n=0 → no-op (caller decides whether to leave the naked-Q form intact).
+     * - n=1 → IMPLIES(VarExpr(S1), Q) using wrapExpression with rightNodeId=Q.
+     * - n≥2 → IMPLIES(formula(OR(S1, ..., Sn)), Q) via wrapExpression + appendExpression.
+     *
+     * Uses `super.*` mutation calls to bypass this class's overrides during
+     * multi-step construction. Caller is responsible for the final
+     * `assertWellFormed()`.
+     */
+    private buildAntecedentFromSupportingVariables;
     /**
      * Returns the ID of the consequent expression, or `undefined` if the tree
      * has no root yet.

package/dist/lib/core/managed-derivation-premise-engine.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"managed-derivation-premise-engine.d.ts","sourceRoot":"","sources":["../../../src/lib/core/managed-derivation-premise-engine.ts"],"names":[],"mappings":"AAAA,OAAO,EACH,KAAK,aAAa,EAElB,KAAK,wBAAwB,EAC7B,KAAK,YAAY,EACjB,KAAK,4BAA4B,EACjC,KAAK,0BAA0B,EAC/B,KAAK,iBAAiB,EACtB,KAAK,mBAAmB,EAC3B,MAAM,sBAAsB,CAAA;AAC7B,OAAO,EAAE,aAAa,EAAE,KAAK,sBAAsB,EAAE,MAAM,qBAAqB,CAAA;AAChF,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAA;AACvD,OAAO,EAEH,KAAK,mBAAmB,EAC3B,MAAM,sBAAsB,CAAA;AAE7B;;;;GAIG;AACH,MAAM,MAAM,qBAAqB,GAAG;IAChC,wBAAwB,CAAC,OAAO,EAAE,MAAM,GAAG,mBAAmB,CAAA;CACjE,CAAA;AACD,OAAO,EAAE,KAAK,cAAc,EAAE,MAAM,qBAAqB,CAAA;AAUzD,OAAO,KAAK,EACR,gBAAgB,EAChB,0BAA0B,EAC1B,iBAAiB,EACpB,MAAM,yBAAyB,CAAA;AAChC,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,sBAAsB,CAAA;AAC/D,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,6BAA6B,CAAA;AAEvE;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,qBAAa,8BAA8B,CACvC,IAAI,SAAS,aAAa,GAAG,aAAa,EAC1C,QAAQ,SAAS,YAAY,GAAG,YAAY,EAC5C,KAAK,SAAS,4BAA4B,GAAG,4BAA4B,EACzE,IAAI,SAAS,0BAA0B,GAAG,0BAA0B,CACtE,SAAQ,aAAa,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC;IAChD;;;;;;OAMG;IACH,OAAO,CAAC,YAAY,CAAc;gBAG9B,OAAO,EAAE,iBAAiB,CAAC,QAAQ,CAAC,EACpC,IAAI,EAAE;QACF,QAAQ,EAAE,iBAAiB,CAAC,IAAI,CAAC,CAAA;QACjC,SAAS,EAAE,eAAe,CAAC,IAAI,CAAC,CAAA;QAChC,eAAe,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;KACxC,EACD,MAAM,CAAC,EAAE,mBAAmB;IAWhC;;;;;;;;;OASG;IACH,MAAM,CAAC,YAAY,CACf,IAAI,SAAS,aAAa,GAAG,aAAa,EAC1C,QAAQ,SAAS,YAAY,GAAG,YAAY,EAC5C,KAAK,SAAS,4BAA4B,GACtC,4BAA4B,EAChC,IAAI,SAAS,0BAA0B,GAAG,0BAA0B,EAEpE,QAAQ,EAAE,sBAAsB,CAAC,QAAQ,EAAE,KAAK,CAAC,EACjD,QAAQ,EAAE,iBAAiB,CAAC,IAAI,CAAC,EACjC,SAAS,EAAE,eAAe,CAAC,IAAI,CAAC,EAChC,eAAe,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,EACrC,aAAa,CAAC,EAAE,cAAc,EAC9B,UAAU,CAAC,EAAE,MAAM,MAAM,GAC1B,8BAA8B,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC;IA8C9D;;;OAGG;IACH,SAAS,CAAC,oBAAoB,IAAI,IAAI;IActC;;;;OAIG;IACH,SAAS,CAAC,gBAAgB,IAAI,IAAI;IAuBlB,aAAa,CACzB,UAAU,EAAE,gBAAgB,CAAC,KAAK,CAAC,GACpC,mBAAmB,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC;IAM1C,gBAAgB,CAC5B,QAAQ,EAAE,MAAM,GAAG,IAAI,EACvB,UAAU,EAAE,0BAA0B,CAAC,KAAK,CAAC,GAC9C,mBAAmB,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC;IAM1C,qBAAqB,CACjC,SAAS,EAAE,MAAM,EACjB,gBAAgB,EAAE,QAAQ,GAAG,OAAO,EACpC,UAAU,EAAE,0BAA0B,CAAC,KAAK,CAAC,GAC9C,mBAAmB,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC;IAU1C,gBAAgB,CAC5B,YAAY,EAAE,MAAM,EACpB,OAAO,EAAE,iBAAiB,GAC3B,mBAAmB,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC;IAO1C,gBAAgB,CAC5B,YAAY,EAAE,MAAM,EACpB,aAAa,EAAE,OAAO,GACvB,mBAAmB,CAAC,KAAK,GAAG,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC;IAOtD,gBAAgB,CAC5B,UAAU,EAAE,gBAAgB,CAAC,KAAK,CAAC,EACnC,UAAU,CAAC,EAAE,MAAM,EACnB,WAAW,CAAC,EAAE,MAAM,GACrB,mBAAmB,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC;IAW1C,cAAc,CAC1B,YAAY,EAAE,MAAM,EACpB,WAAW,CAAC,EAAE,OAAO,CAAC,KAAK,CAAC,GAC7B,mBAAmB,CAAC,KAAK,GAAG,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC;IAOjD,cAAc,CAC1B,QAAQ,EAAE,0BAA0B,CAAC,KAAK,CAAC,EAC3C,UAAU,EAAE,0BAA0B,CAAC,KAAK,CAAC,EAC7C,UAAU,CAAC,EAAE,MAAM,EACnB,WAAW,CAAC,EAAE,MAAM,GACrB,mBAAmB,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC;IAc1C,cAAc,CAC1B,YAAY,EAAE,MAAM,EACpB,WAAW,EAAE,wBAAwB,EACrC,aAAa,CAAC,EAAE,MAAM,EACtB,aAAa,CAAC,EAAE,MAAM,EACtB,WAAW,CAAC,EAAE,OAAO,CAAC,KAAK,CAAC,GAC7B,mBAAmB,CAAC,KAAK,GAAG,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC;IAajD,oBAAoB,IAAI,mBAAmB,CACvD,IAAI,EACJ,KAAK,EACL,IAAI,EACJ,QAAQ,EACR,IAAI,CACP;IAQe,eAAe,CAC3B,WAAW,EAAE,gBAAgB,CAAC,KAAK,CAAC,EAAE,GACvC,IAAI;IA2BP;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OA8BG;IACI,qBAAqB,CACxB,WAAW,EAAE,oBAAoB,EACjC,cAAc,EAAE,qBAAqB,GACtC,IAAI;IA2IP;;;;;;;OAOG;IACH,OAAO,CAAC,yBAAyB;IA0BjC;;;;;;;;;;OAUG;IACH,OAAO,CAAC,uBAAuB;IAwC/B;;;OAGG;IACH,OAAO,CAAC,6BAA6B;IAerC;;;OAGG;IACH,OAAO,CAAC,0BAA0B;IAwBlC;;;OAGG;IACH,OAAO,CAAC,6BAA6B;CA4BxC"}
+{"version":3,"file":"managed-derivation-premise-engine.d.ts","sourceRoot":"","sources":["../../../src/lib/core/managed-derivation-premise-engine.ts"],"names":[],"mappings":"AAAA,OAAO,EACH,KAAK,aAAa,EAElB,KAAK,wBAAwB,EAC7B,KAAK,YAAY,EACjB,KAAK,4BAA4B,EACjC,KAAK,0BAA0B,EAC/B,KAAK,iBAAiB,EACtB,KAAK,mBAAmB,EAC3B,MAAM,sBAAsB,CAAA;AAC7B,OAAO,EAAE,aAAa,EAAE,KAAK,sBAAsB,EAAE,MAAM,qBAAqB,CAAA;AAChF,OAAO,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAA;AACvD,OAAO,EAEH,KAAK,mBAAmB,EAC3B,MAAM,sBAAsB,CAAA;AAE7B;;;;GAIG;AACH,MAAM,MAAM,qBAAqB,GAAG;IAChC,wBAAwB,CAAC,OAAO,EAAE,MAAM,GAAG,mBAAmB,CAAA;CACjE,CAAA;AACD,OAAO,EAAE,KAAK,cAAc,EAAE,MAAM,qBAAqB,CAAA;AAUzD,OAAO,KAAK,EACR,gBAAgB,EAChB,0BAA0B,EAC1B,iBAAiB,EACpB,MAAM,yBAAyB,CAAA;AAChC,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,sBAAsB,CAAA;AAC/D,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,6BAA6B,CAAA;AACvE,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAA;AAEjE;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,qBAAa,8BAA8B,CACvC,IAAI,SAAS,aAAa,GAAG,aAAa,EAC1C,QAAQ,SAAS,YAAY,GAAG,YAAY,EAC5C,KAAK,SAAS,4BAA4B,GAAG,4BAA4B,EACzE,IAAI,SAAS,0BAA0B,GAAG,0BAA0B,CACtE,SAAQ,aAAa,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC;IAChD;;;;;;OAMG;IACH,OAAO,CAAC,YAAY,CAAc;gBAG9B,OAAO,EAAE,iBAAiB,CAAC,QAAQ,CAAC,EACpC,IAAI,EAAE;QACF,QAAQ,EAAE,iBAAiB,CAAC,IAAI,CAAC,CAAA;QACjC,SAAS,EAAE,eAAe,CAAC,IAAI,CAAC,CAAA;QAChC,eAAe,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;KACxC,EACD,MAAM,CAAC,EAAE,mBAAmB;IAWhC;;;;;;;;;OASG;IACH,MAAM,CAAC,YAAY,CACf,IAAI,SAAS,aAAa,GAAG,aAAa,EAC1C,QAAQ,SAAS,YAAY,GAAG,YAAY,EAC5C,KAAK,SAAS,4BAA4B,GACtC,4BAA4B,EAChC,IAAI,SAAS,0BAA0B,GAAG,0BAA0B,EAEpE,QAAQ,EAAE,sBAAsB,CAAC,QAAQ,EAAE,KAAK,CAAC,EACjD,QAAQ,EAAE,iBAAiB,CAAC,IAAI,CAAC,EACjC,SAAS,EAAE,eAAe,CAAC,IAAI,CAAC,EAChC,eAAe,CAAC,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,EACrC,aAAa,CAAC,EAAE,cAAc,EAC9B,UAAU,CAAC,EAAE,MAAM,MAAM,GAC1B,8BAA8B,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC;IA8C9D;;;OAGG;IACH,SAAS,CAAC,oBAAoB,IAAI,IAAI;IActC;;;;OAIG;IACH,SAAS,CAAC,gBAAgB,IAAI,IAAI;IAuBlB,aAAa,CACzB,UAAU,EAAE,gBAAgB,CAAC,KAAK,CAAC,GACpC,mBAAmB,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC;IAM1C,gBAAgB,CAC5B,QAAQ,EAAE,MAAM,GAAG,IAAI,EACvB,UAAU,EAAE,0BAA0B,CAAC,KAAK,CAAC,GAC9C,mBAAmB,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC;IAM1C,qBAAqB,CACjC,SAAS,EAAE,MAAM,EACjB,gBAAgB,EAAE,QAAQ,GAAG,OAAO,EACpC,UAAU,EAAE,0BAA0B,CAAC,KAAK,CAAC,GAC9C,mBAAmB,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC;IAU1C,gBAAgB,CAC5B,YAAY,EAAE,MAAM,EACpB,OAAO,EAAE,iBAAiB,GAC3B,mBAAmB,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC;IAO1C,gBAAgB,CAC5B,YAAY,EAAE,MAAM,EACpB,aAAa,EAAE,OAAO,GACvB,mBAAmB,CAAC,KAAK,GAAG,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC;IAOtD,gBAAgB,CAC5B,UAAU,EAAE,gBAAgB,CAAC,KAAK,CAAC,EACnC,UAAU,CAAC,EAAE,MAAM,EACnB,WAAW,CAAC,EAAE,MAAM,GACrB,mBAAmB,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC;IAW1C,cAAc,CAC1B,YAAY,EAAE,MAAM,EACpB,WAAW,CAAC,EAAE,OAAO,CAAC,KAAK,CAAC,GAC7B,mBAAmB,CAAC,KAAK,GAAG,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC;IAOjD,cAAc,CAC1B,QAAQ,EAAE,0BAA0B,CAAC,KAAK,CAAC,EAC3C,UAAU,EAAE,0BAA0B,CAAC,KAAK,CAAC,EAC7C,UAAU,CAAC,EAAE,MAAM,EACnB,WAAW,CAAC,EAAE,MAAM,GACrB,mBAAmB,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC;IAc1C,cAAc,CAC1B,YAAY,EAAE,MAAM,EACpB,WAAW,EAAE,wBAAwB,EACrC,aAAa,CAAC,EAAE,MAAM,EACtB,aAAa,CAAC,EAAE,MAAM,EACtB,WAAW,CAAC,EAAE,OAAO,CAAC,KAAK,CAAC,GAC7B,mBAAmB,CAAC,KAAK,GAAG,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC;IAajD,oBAAoB,IAAI,mBAAmB,CACvD,IAAI,EACJ,KAAK,EACL,IAAI,EACJ,QAAQ,EACR,IAAI,CACP;IAQe,eAAe,CAC3B,WAAW,EAAE,gBAAgB,CAAC,KAAK,CAAC,EAAE,GACvC,IAAI;IA2BP;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OA6BG;IACI,oBAAoB,CACvB,WAAW,EAAE,oBAAoB,EACjC,QAAQ,EAAE,iBAAiB,EAC3B,cAAc,EAAE,qBAAqB,GACtC,IAAI;IAsEP;;;;;;;;;;;OAWG;IACH,OAAO,CAAC,sCAAsC;IAuF9C;;;;;;;OAOG;IACH,OAAO,CAAC,yBAAyB;IA0BjC;;;;;;;;;;OAUG;IACH,OAAO,CAAC,uBAAuB;IAwC/B;;;OAGG;IACH,OAAO,CAAC,6BAA6B;IAerC;;;OAGG;IACH,OAAO,CAAC,0BAA0B;IAwBlC;;;OAGG;IACH,OAAO,CAAC,6BAA6B;CA4BxC"}

package/dist/lib/core/managed-derivation-premise-engine.js

@@ -32,7 +32,7 @@ import { validateDerivationStructure } from "../utils/derivation-validation.js";
 export class ManagedDerivationPremiseEngine extends PremiseEngine {
     /**
      * Captured from `config.generateId` (or the default UUID generator) for
-     * use in `populateFromCitations`, which needs to mint new expression IDs.
+     * use in `populateFromSupports`, which needs to mint new expression IDs.
      * Stored separately because `PremiseEngine`'s generateId is private.
      * Not `readonly` because `fromSnapshot` re-injects it after the prototype
      * upgrade.
@@ -78,7 +78,7 @@ export class ManagedDerivationPremiseEngine extends PremiseEngine {
         Object.setPrototypeOf(pe, ManagedDerivationPremiseEngine.prototype);
         const engine = pe;
         // Inject the generateId captured from config (or the default) so that
-        // populateFromCitations can mint new expression IDs.
+        // populateFromSupports can mint new expression IDs.
         engine.generateIdFn = generateId ?? defaultGenerateId;
         // Validate the full tree — expressions are fully loaded at this point.
         // (Type was already checked at the top before delegating to the parent.)
@@ -207,20 +207,21 @@ export class ManagedDerivationPremiseEngine extends PremiseEngine {
     // Public one-shot helpers
     // -------------------------------------------------------------------------
     /**
-     * One-shot snapshot helper that builds the antecedent of this derivation
-     * premise from the current global citations of the derived claim.
+     * One-shot helper that builds the antecedent of this derivation premise
+     * from the current global support (citations + axiom invocations) of the
+     * derived claim.
      *
-     * Behavior by citation count:
+     * Behavior by total support count `n = citations + axioms`:
      *   - n = 0: no change. Premise stays in its current form (typically
      *     naked-Q, indicating "no support given").
-     *   - n = 1: produces `IMPLIES(VariableExpression(S1), VariableExpression(Q))`.
-     *   - n ≥ 2: produces `IMPLIES(formula(OR(VariableExpression(S1), …,
-     *     VariableExpression(Sn))), VariableExpression(Q))`. The formula
-     *     buffer between IMPLIES and OR is auto-inserted by the engine's
-     *     standard grammar (`wrapInsertFormula`).
+     *   - n = 1: `IMPLIES(VarExpr(S1), Q)`.
+     *   - n ≥ 2: `IMPLIES(formula(OR(VarExpr(S1), …, VarExpr(Sn))), Q)`.
+     *     Citations come first, axioms second; source order preserved within
+     *     each. The formula buffer between IMPLIES and OR is auto-inserted by
+     *     the engine's standard grammar.
      *
-     * Materializes a claim-bound variable for each cited source via
-     * `argumentEngine.ensureClaimBoundVariable(citation.sourceClaimId)`.
+     * Materializes a claim-bound variable for each supporting claim via
+     * `argumentEngine.ensureClaimBoundVariable(supportingClaimId)`.
      *
      * **Tree construction approach:** Mutations are performed via `super.*`
      * calls, bypassing this class's overrides (which call `assertWellFormed()`
@@ -230,14 +231,12 @@ export class ManagedDerivationPremiseEngine extends PremiseEngine {
      * IMPLIES and OR for n ≥ 2 automatically. `assertWellFormed()` is called
      * at the end to validate the final state.
      *
-     * @throws InvariantViolationError(DERIVATION_ANTECEDENT_NON_EMPTY) when the
-     *         derivation premise already has a non-empty antecedent (i.e., the
-     *         root is `implies`/`iff` with a position-0 child). The caller
-     *         decides whether to delete and re-create the premise.
+     * @throws InvariantViolationError(DERIVATION_ANTECEDENT_NON_EMPTY) when
+     *         the antecedent slot is already filled.
      *
-     * @since 0.11.0
+     * @since 0.12.0
      */
-    populateFromCitations(citationLib, argumentEngine) {
+    populateFromSupports(citationLib, axiomLib, argumentEngine) {
         const premise = this.premise;
         const derivedClaimId = premise.derivedClaimId;
         // 1. Reject if antecedent is already non-empty.
@@ -265,31 +264,57 @@ export class ManagedDerivationPremiseEngine extends PremiseEngine {
                 }
             }
         }
-        // 2. Look up citations for the derived claim.
-        const citations = citationLib.getCitationsForCitingClaim(derivedClaimId);
-        if (citations.length === 0)
+        // 2. Collect supporting connections from both libraries (citations
+        //    first, axioms second; source order preserved within each).
+        const citationConnections = citationLib.getConnectionsForClaim(derivedClaimId);
+        const axiomConnections = axiomLib.getConnectionsForClaim(derivedClaimId);
+        const totalCount = citationConnections.length + axiomConnections.length;
+        if (totalCount === 0)
             return;
-        // 3. Materialize a claim-bound variable for each cited source.
+        // 3. Materialize claim-bound variables for each support.
         // ensureClaimBoundVariable adds the variable to the live argumentEngine,
         // but the managed engine has its own VariableManager snapshot that was
         // taken before these new variables were created. Register each newly
         // returned variable into this engine's VariableManager so that the
         // variable expressions we construct below pass assertVariableExpressionValid.
-        const sourceVariables = citations.map((c) => argumentEngine.ensureClaimBoundVariable(c.sourceClaimId));
-        for (const sv of sourceVariables) {
+        const supportingVariables = [];
+        for (const conn of citationConnections) {
+            supportingVariables.push(argumentEngine.ensureClaimBoundVariable(conn.supportingClaimId));
+        }
+        for (const conn of axiomConnections) {
+            supportingVariables.push(argumentEngine.ensureClaimBoundVariable(conn.supportingClaimId));
+        }
+        for (const sv of supportingVariables) {
             if (!this.variables.hasVariable(sv.id)) {
                 this.variables.addVariable(sv);
             }
         }
-        // 4. Build the antecedent expression tree. Mutations go via super.*
-        //    to bypass this class's overrides, which validate after every call
-        //    and would reject intermediate (partially built) tree states.
+        // 4. Build the antecedent expression tree.
+        this.buildAntecedentFromSupportingVariables(supportingVariables);
+        // 5. Validate the final tree is well-formed.
+        this.assertWellFormed();
+    }
+    /**
+     * Build the antecedent expression tree from a list of already-materialized
+     * supporting variables. Shared between populate helpers.
+     *
+     * - n=0 → no-op (caller decides whether to leave the naked-Q form intact).
+     * - n=1 → IMPLIES(VarExpr(S1), Q) using wrapExpression with rightNodeId=Q.
+     * - n≥2 → IMPLIES(formula(OR(S1, ..., Sn)), Q) via wrapExpression + appendExpression.
+     *
+     * Uses `super.*` mutation calls to bypass this class's overrides during
+     * multi-step construction. Caller is responsible for the final
+     * `assertWellFormed()`.
+     */
+    buildAntecedentFromSupportingVariables(supportingVars) {
+        if (supportingVars.length === 0)
+            return;
         const argId = this.premise.argumentId;
         const argVersion = this.premise.argumentVersion;
         const premiseId = this.premise.id;
         // qRootExprId is the ID of the current naked-Q root variable expression.
         const qRootExprId = this.rootExpressionId;
-        if (citations.length === 1) {
+        if (supportingVars.length === 1) {
             // n = 1: wrap naked-Q with IMPLIES using rightNodeId so that Q lands
             // at the midpoint (consequent) position and S1 lands at initial.
             const impliesId = this.generateIdFn();
@@ -310,7 +335,7 @@ export class ManagedDerivationPremiseEngine extends PremiseEngine {
                 premiseId,
                 parentId: null, // wrapExpression sets the parentId internally
                 type: "variable",
-                variableId: sourceVariables[0].id,
+                variableId: supportingVars[0].id,
             };
             // rightNodeId=qRootExprId: existing node (Q) → midpoint (consequent),
             // newSibling (S1) → initial (antecedent).
@@ -321,7 +346,7 @@ export class ManagedDerivationPremiseEngine extends PremiseEngine {
             // throughout — the engine's wrapInsertFormula rule auto-inserts a
             // formula buffer between IMPLIES and OR. The OR keeps its original
             // ID, so subsequent appendExpression(orId, ...) calls still attach
-            // the source variables to the same OR node.
+            // the supporting variables to the same OR node.
             const impliesId = this.generateIdFn();
             const orId = this.generateIdFn();
             const impliesOp = {
@@ -344,8 +369,8 @@ export class ManagedDerivationPremiseEngine extends PremiseEngine {
             };
             // rightNodeId=qRootExprId: Q → midpoint (consequent), OR → initial (antecedent).
             super.wrapExpression(impliesOp, orOp, undefined, qRootExprId);
-            // Append each source variable expression as a child of OR.
-            for (const sourceVar of sourceVariables) {
+            // Append each supporting variable expression as a child of OR.
+            for (const sourceVar of supportingVars) {
                 const srcExprId = this.generateIdFn();
                 const srcVarExpr = {
                     id: srcExprId,
@@ -359,8 +384,6 @@ export class ManagedDerivationPremiseEngine extends PremiseEngine {
                 super.appendExpression(orId, srcVarExpr);
             }
         }
-        // 5. Validate the final tree is well-formed.
-        this.assertWellFormed();
     }
     // -------------------------------------------------------------------------
     // Private helpers