@proposit/proposit-core 0.9.1 → 0.11.0

package/dist/cli/import.js

@@ -5,8 +5,7 @@ import { CoreYamlArgumentSchema } from "../lib/schemata/import.js";
 import { parseFormula } from "../lib/core/parser/formula.js";
 import { ArgumentEngine } from "../lib/core/argument-engine.js";
 import { ClaimLibrary } from "../lib/core/claim-library.js";
-import { ClaimSourceLibrary } from "../lib/core/claim-source-library.js";
-import { SourceLibrary } from "../lib/core/source-library.js";
+import { ClaimCitationLibrary } from "../lib/core/claim-citation-library.js";
 import { POSITION_INITIAL } from "../lib/utils/position.js";
 /**
  * Validates that `implies` and `iff` nodes appear only at the AST root.
@@ -160,10 +159,35 @@ function buildExpressions(ast, parentId, position, argumentId, argumentVersion,
 export function importArgumentFromYaml(yamlString) {
     const raw = parseYaml(yamlString);
     const input = Value.Parse(CoreYamlArgumentSchema, raw);
-    // Parse all formulas and validate root-only constraint
+    // Validate premise shapes before any parsing
+    for (let i = 0; i < input.premises.length; i++) {
+        const premise = input.premises[i];
+        const isDerivation = premise.type === "derivation";
+        const label = premise.metadata?.title
+            ? `premise "${premise.metadata.title}" (index ${i})`
+            : `premise at index ${i}`;
+        if (isDerivation) {
+            if (!premise.derivedClaimId) {
+                throw new Error(`${label}: type "derivation" requires derivedClaimId.`);
+            }
+            if (premise.formula !== undefined) {
+                throw new Error(`${label}: type "derivation" must not include a formula field.`);
+            }
+        }
+        else {
+            if (premise.formula === undefined) {
+                throw new Error(`${label}: freeform premise requires a formula field.`);
+            }
+        }
+    }
+    // Parse formulas for freeform premises and validate root-only constraint
     const parsedFormulas = [];
     for (let i = 0; i < input.premises.length; i++) {
         const premise = input.premises[i];
+        if (premise.type === "derivation") {
+            parsedFormulas.push(null);
+            continue;
+        }
         let ast;
         try {
             ast = parseFormula(premise.formula);
@@ -185,10 +209,11 @@ export function importArgumentFromYaml(yamlString) {
     if (conclusionIndices.length > 1) {
         throw new Error(`Multiple premises designated as conclusion (indices ${conclusionIndices.join(", ")}). Only one conclusion is allowed.`);
     }
-    // Collect all variable names across all formulas
+    // Collect all variable names across freeform formulas only
     const allVariableNames = new Set();
     for (const ast of parsedFormulas) {
-        collectVariableNames(ast, allVariableNames);
+        if (ast !== null)
+            collectVariableNames(ast, allVariableNames);
     }
     // Build the argument
     const argumentId = randomUUID();
@@ -203,11 +228,25 @@ export function importArgumentFromYaml(yamlString) {
         published: false,
     };
     const claimLibrary = new ClaimLibrary();
-    const defaultClaim = claimLibrary.create({ id: randomUUID() });
-    const sourceLibrary = new SourceLibrary();
-    const claimSourceLibrary = new ClaimSourceLibrary(claimLibrary, sourceLibrary);
-    const engine = new ArgumentEngine(argument, claimLibrary, sourceLibrary, claimSourceLibrary);
-    // Create variables
+    const defaultClaim = claimLibrary.create({
+        id: randomUUID(),
+        type: "normal",
+    });
+    // Register explicitly declared claims from the YAML `claims` block.
+    // These must be registered before any derivation premise is created so that
+    // the engine can resolve derivedClaimId via the claim library.
+    for (const yamlClaim of input.claims ?? []) {
+        claimLibrary.create({
+            id: yamlClaim.id,
+            type: yamlClaim.type,
+            ...(yamlClaim.title !== undefined
+                ? { title: yamlClaim.title }
+                : {}),
+        });
+    }
+    const claimCitationLibrary = new ClaimCitationLibrary(claimLibrary);
+    const engine = new ArgumentEngine(argument, claimLibrary, claimCitationLibrary);
+    // Create variables for freeform formula symbols
     const variablesByName = new Map();
     for (const name of [...allVariableNames].sort()) {
         const variable = {
@@ -220,23 +259,42 @@ export function importArgumentFromYaml(yamlString) {
         };
         variablesByName.set(name, variable);
     }
-    // Register all variables with the engine (shared across all premises)
+    // Register all freeform variables with the engine (shared across all premises)
     for (const variable of variablesByName.values()) {
         engine.addVariable(variable);
     }
     // Create premises and build expression trees
     for (let i = 0; i < input.premises.length; i++) {
         const premiseDef = input.premises[i];
-        const { result: pm } = engine.createPremise(premiseDef.metadata ? { ...premiseDef.metadata } : undefined);
-        // Build expression tree from parsed AST
-        buildExpressions(parsedFormulas[i], null, POSITION_INITIAL, argumentId, 0, pm.getId(), variablesByName, (expr) => pm.addExpression(expr));
-        // Assign conclusion role; supporting is derived from expression type
-        const role = premiseDef.role ?? "supporting";
-        if (role === "conclusion") {
-            engine.setConclusionPremise(pm.getId());
+        const isDerivation = premiseDef.type === "derivation";
+        if (isDerivation) {
+            // Derivation premise — delegate to the engine's derivation init flow,
+            // which auto-creates the naked-Q root expression.
+            const { result: dpm } = engine.createPremise({
+                type: "derivation",
+                derivedClaimId: premiseDef.derivedClaimId,
+                ...(premiseDef.metadata ?? {}),
+            });
+            const dRole = premiseDef.role ?? "supporting";
+            if (dRole === "conclusion") {
+                engine.setConclusionPremise(dpm.getId());
+            }
+        }
+        else {
+            // Freeform premise — create premise then build expression tree.
+            const { result: pm } = premiseDef.metadata
+                ? engine.createPremise({ ...premiseDef.metadata })
+                : engine.createPremise();
+            // Build expression tree from parsed AST
+            buildExpressions(parsedFormulas[i], null, POSITION_INITIAL, argumentId, 0, pm.getId(), variablesByName, (expr) => pm.addExpression(expr));
+            // Assign conclusion role; supporting is derived from expression type
+            const role = premiseDef.role ?? "supporting";
+            if (role === "conclusion") {
+                engine.setConclusionPremise(pm.getId());
+            }
+            // Non-conclusion inference premises are automatically supporting
         }
-        // Non-conclusion inference premises are automatically supporting
     }
-    return { engine, claimLibrary, sourceLibrary, claimSourceLibrary };
+    return { engine, claimLibrary, claimCitationLibrary };
 }
 //# sourceMappingURL=import.js.map

package/dist/cli/import.js.map

@@ -1 +1 @@
-{"version":3,"file":"import.js","sourceRoot":"","sources":["../../src/cli/import.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAA;AACxC,OAAO,EAAE,KAAK,IAAI,SAAS,EAAE,MAAM,MAAM,CAAA;AACzC,OAAO,EAAE,KAAK,EAAE,MAAM,eAAe,CAAA;AACrC,OAAO,EAAE,sBAAsB,EAAE,MAAM,2BAA2B,CAAA;AAKlE,OAAO,EAAE,YAAY,EAAE,MAAM,+BAA+B,CAAA;AAC5D,OAAO,EAAE,cAAc,EAAE,MAAM,gCAAgC,CAAA;AAC/D,OAAO,EAAE,YAAY,EAAE,MAAM,8BAA8B,CAAA;AAC3D,OAAO,EAAE,kBAAkB,EAAE,MAAM,qCAAqC,CAAA;AACxE,OAAO,EAAE,aAAa,EAAE,MAAM,+BAA+B,CAAA;AAC7D,OAAO,EAAE,gBAAgB,EAAE,MAAM,0BAA0B,CAAA;AAE3D;;;GAGG;AACH,SAAS,gBAAgB,CACrB,GAAgB,EAChB,MAAe,EACf,YAAoB,EACpB,YAAgC;IAEhC,IAAI,CAAC,MAAM,IAAI,CAAC,GAAG,CAAC,IAAI,KAAK,SAAS,IAAI,GAAG,CAAC,IAAI,KAAK,KAAK,CAAC,EAAE,CAAC;QAC5D,MAAM,KAAK,GAAG,YAAY;YACtB,CAAC,CAAC,YAAY,YAAY,YAAY,YAAY,GAAG;YACrD,CAAC,CAAC,oBAAoB,YAAY,EAAE,CAAA;QACxC,MAAM,IAAI,KAAK,CACX,GAAG,GAAG,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,wBAAwB,mEAAmE,KAAK,GAAG,CAC3J,CAAA;IACL,CAAC;IACD,QAAQ,GAAG,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,UAAU;YACX,MAAK;QACT,KAAK,KAAK;YACN,gBAAgB,CAAC,GAAG,CAAC,OAAO,EAAE,KAAK,EAAE,YAAY,EAAE,YAAY,CAAC,CAAA;YAChE,MAAK;QACT,KAAK,KAAK,CAAC;QACX,KAAK,IAAI;YACL,KAAK,MAAM,OAAO,IAAI,GAAG,CAAC,QAAQ,EAAE,CAAC;gBACjC,gBAAgB,CAAC,OAAO,EAAE,KAAK,EAAE,YAAY,EAAE,YAAY,CAAC,CAAA;YAChE,CAAC;YACD,MAAK;QACT,KAAK,SAAS,CAAC;QACf,KAAK,KAAK;YACN,gBAAgB,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,EAAE,YAAY,EAAE,YAAY,CAAC,CAAA;YAC7D,gBAAgB,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,EAAE,YAAY,EAAE,YAAY,CAAC,CAAA;YAC9D,MAAK;IACb,CAAC;AACL,CAAC;AAED,kEAAkE;AAClE,SAAS,oBAAoB,CAAC,GAAgB,EAAE,KAAkB;IAC9D,QAAQ,GAAG,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,UAAU;YACX,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;YACnB,MAAK;QACT,KAAK,KAAK;YACN,oBAAoB,CAAC,GAAG,CAAC,OAAO,EAAE,KAAK,CAAC,CAAA;YACxC,MAAK;QACT,KAAK,KAAK,CAAC;QACX,KAAK,IAAI;YACL,KAAK,MAAM,OAAO,IAAI,GAAG,CAAC,QAAQ,EAAE,CAAC;gBACjC,oBAAoB,CAAC,OAAO,EAAE,KAAK,CAAC,CAAA;YACxC,CAAC;YACD,MAAK;QACT,KAAK,SAAS,CAAC;QACf,KAAK,KAAK;YACN,oBAAoB,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAA;YACrC,oBAAoB,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,CAAC,CAAA;YACtC,MAAK;IACb,CAAC;AACL,CAAC;AAED;;;GAGG;AACH,SAAS,gBAAgB,CACrB,GAAgB,EAChB,QAAuB,EACvB,QAAgB,EAChB,UAAkB,EAClB,eAAuB,EACvB,SAAiB,EACjB,eAAmE,EACnE,aAA+C;IAE/C,MAAM,EAAE,GAAG,UAAU,EAAE,CAAA;IAEvB,QAAQ,GAAG,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,UAAU,CAAC,CAAC,CAAC;YACd,MAAM,QAAQ,GAAG,eAAe,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAE,CAAA;YAC/C,aAAa,CAAC;gBACV,EAAE;gBACF,UAAU;gBACV,eAAe;gBACf,SAAS;gBACT,IAAI,EAAE,UAAU;gBAChB,UAAU,EAAE,QAAQ,CAAC,EAAE;gBACvB,QAAQ;gBACR,QAAQ;aACX,CAAC,CAAA;YACF,OAAO,EAAE,CAAA;QACb,CAAC;QACD,KAAK,KAAK,CAAC,CAAC,CAAC;YACT,aAAa,CAAC;gBACV,EAAE;gBACF,UAAU;gBACV,eAAe;gBACf,SAAS;gBACT,IAAI,EAAE,UAAU;gBAChB,QAAQ,EAAE,KAAK;gBACf,QAAQ;gBACR,QAAQ;aACX,CAAC,CAAA;YACF,gBAAgB,CACZ,GAAG,CAAC,OAAO,EACX,EAAE,EACF,CAAC,EACD,UAAU,EACV,eAAe,EACf,SAAS,EACT,eAAe,EACf,aAAa,CAChB,CAAA;YACD,OAAO,EAAE,CAAA;QACb,CAAC;QACD,KAAK,KAAK,CAAC;QACX,KAAK,IAAI,CAAC,CAAC,CAAC;YACR,4DAA4D;YAC5D,mEAAmE;YACnE,IAAI,iBAAiB,GAAG,QAAQ,CAAA;YAChC,IAAI,QAAQ,KAAK,IAAI,EAAE,CAAC;gBACpB,MAAM,SAAS,GAAG,UAAU,EAAE,CAAA;gBAC9B,aAAa,CAAC;oBACV,EAAE,EAAE,SAAS;oBACb,UAAU;oBACV,eAAe;oBACf,SAAS;oBACT,IAAI,EAAE,SAAS;oBACf,QAAQ;oBACR,QAAQ;iBACX,CAAC,CAAA;gBACF,iBAAiB,GAAG,SAAS,CAAA;YACjC,CAAC;YACD,aAAa,CAAC;gBACV,EAAE;gBACF,UAAU;gBACV,eAAe;gBACf,SAAS;gBACT,IAAI,EAAE,UAAU;gBAChB,QAAQ,EAAE,GAAG,CAAC,IAAI;gBAClB,QAAQ,EAAE,iBAAiB;gBAC3B,QAAQ,EAAE,iBAAiB,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ;aAC1D,CAAC,CAAA;YACF,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBAC3C,gBAAgB,CACZ,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,EACf,EAAE,EACF,CAAC,EACD,UAAU,EACV,eAAe,EACf,SAAS,EACT,eAAe,EACf,aAAa,CAChB,CAAA;YACL,CAAC;YACD,OAAO,EAAE,CAAA;QACb,CAAC;QACD,KAAK,SAAS,CAAC;QACf,KAAK,KAAK,CAAC,CAAC,CAAC;YACT,aAAa,CAAC;gBACV,EAAE;gBACF,UAAU;gBACV,eAAe;gBACf,SAAS;gBACT,IAAI,EAAE,UAAU;gBAChB,QAAQ,EAAE,GAAG,CAAC,IAAI;gBAClB,QAAQ;gBACR,QAAQ;aACX,CAAC,CAAA;YACF,gBAAgB,CACZ,GAAG,CAAC,IAAI,EACR,EAAE,EACF,CAAC,EACD,UAAU,EACV,eAAe,EACf,SAAS,EACT,eAAe,EACf,aAAa,CAChB,CAAA;YACD,gBAAgB,CACZ,GAAG,CAAC,KAAK,EACT,EAAE,EACF,CAAC,EACD,UAAU,EACV,eAAe,EACf,SAAS,EACT,eAAe,EACf,aAAa,CAChB,CAAA;YACD,OAAO,EAAE,CAAA;QACb,CAAC;IACL,CAAC;AACL,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,sBAAsB,CAAC,UAAkB;IAMrD,MAAM,GAAG,GAAG,SAAS,CAAC,UAAU,CAAC,CAAA;IACjC,MAAM,KAAK,GAAsB,KAAK,CAAC,KAAK,CAAC,sBAAsB,EAAE,GAAG,CAAC,CAAA;IAEzE,uDAAuD;IACvD,MAAM,cAAc,GAAkB,EAAE,CAAA;IACxC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC7C,MAAM,OAAO,GAAG,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAA;QACjC,IAAI,GAAgB,CAAA;QACpB,IAAI,CAAC;YACD,GAAG,GAAG,YAAY,CAAC,OAAO,CAAC,OAAO,CAAC,CAAA;QACvC,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACb,MAAM,KAAK,GAAG,OAAO,CAAC,QAAQ,EAAE,KAAK;gBACjC,CAAC,CAAC,YAAY,OAAO,CAAC,QAAQ,CAAC,KAAK,YAAY,CAAC,GAAG;gBACpD,CAAC,CAAC,oBAAoB,CAAC,EAAE,CAAA;YAC7B,MAAM,GAAG,GAAG,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;YAClE,MAAM,IAAI,KAAK,CAAC,+BAA+B,KAAK,KAAK,GAAG,EAAE,CAAC,CAAA;QACnE,CAAC;QACD,gBAAgB,CAAC,GAAG,EAAE,IAAI,EAAE,CAAC,EAAE,OAAO,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAA;QACvD,cAAc,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;IAC5B,CAAC;IAED,4BAA4B;IAC5B,MAAM,iBAAiB,GAAG,KAAK,CAAC,QAAQ;SACnC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;SACjD,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAA;IAC5B,IAAI,iBAAiB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC/B,MAAM,IAAI,KAAK,CACX,uDAAuD,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,oCAAoC,CAC1H,CAAA;IACL,CAAC;IAED,iDAAiD;IACjD,MAAM,gBAAgB,GAAG,IAAI,GAAG,EAAU,CAAA;IAC1C,KAAK,MAAM,GAAG,IAAI,cAAc,EAAE,CAAC;QAC/B,oBAAoB,CAAC,GAAG,EAAE,gBAAgB,CAAC,CAAA;IAC/C,CAAC;IAED,qBAAqB;IACrB,MAAM,UAAU,GAAG,UAAU,EAAE,CAAA;IAC/B,MAAM,QAAQ,GAAG;QACb,EAAE,EAAE,UAAU;QACd,OAAO,EAAE,CAAC;QACV,KAAK,EAAE,KAAK,CAAC,QAAQ,CAAC,KAAK;QAC3B,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,WAAW,KAAK,SAAS;YACxC,CAAC,CAAC,EAAE,WAAW,EAAE,KAAK,CAAC,QAAQ,CAAC,WAAW,EAAE;YAC7C,CAAC,CAAC,EAAE,CAAC;QACT,SAAS,EAAE,IAAI,IAAI,EAAE;QACrB,SAAS,EAAE,KAAK;KACnB,CAAA;IAED,MAAM,YAAY,GAAG,IAAI,YAAY,EAAE,CAAA;IACvC,MAAM,YAAY,GAAG,YAAY,CAAC,MAAM,CAAC,EAAE,EAAE,EAAE,UAAU,EAAE,EAAE,CAAC,CAAA;IAC9D,MAAM,aAAa,GAAG,IAAI,aAAa,EAAE,CAAA;IACzC,MAAM,kBAAkB,GAAG,IAAI,kBAAkB,CAC7C,YAAY,EACZ,aAAa,CAChB,CAAA;IACD,MAAM,MAAM,GAAG,IAAI,cAAc,CAC7B,QAAQ,EACR,YAAY,EACZ,aAAa,EACb,kBAAkB,CACrB,CAAA;IAED,mBAAmB;IACnB,MAAM,eAAe,GAAG,IAAI,GAAG,EAG5B,CAAA;IACH,KAAK,MAAM,IAAI,IAAI,CAAC,GAAG,gBAAgB,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;QAC9C,MAAM,QAAQ,GAA0C;YACpD,EAAE,EAAE,UAAU,EAAE;YAChB,UAAU;YACV,eAAe,EAAE,CAAC;YAClB,MAAM,EAAE,IAAI;YACZ,OAAO,EAAE,YAAY,CAAC,EAAE;YACxB,YAAY,EAAE,YAAY,CAAC,OAAO;SACrC,CAAA;QACD,eAAe,CAAC,GAAG,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAA;IACvC,CAAC;IAED,sEAAsE;IACtE,KAAK,MAAM,QAAQ,IAAI,eAAe,CAAC,MAAM,EAAE,EAAE,CAAC;QAC9C,MAAM,CAAC,WAAW,CAAC,QAAQ,CAAC,CAAA;IAChC,CAAC;IAED,6CAA6C;IAC7C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC7C,MAAM,UAAU,GAAG,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAA;QACpC,MAAM,EAAE,MAAM,EAAE,EAAE,EAAE,GAAG,MAAM,CAAC,aAAa,CACvC,UAAU,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,GAAG,UAAU,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,SAAS,CAC/D,CAAA;QAED,wCAAwC;QACxC,gBAAgB,CACZ,cAAc,CAAC,CAAC,CAAC,EACjB,IAAI,EACJ,gBAAgB,EAChB,UAAU,EACV,CAAC,EACD,EAAE,CAAC,KAAK,EAAE,EACV,eAAe,EACf,CAAC,IAAI,EAAE,EAAE,CAAC,EAAE,CAAC,aAAa,CAAC,IAAI,CAAC,CACnC,CAAA;QAED,qEAAqE;QACrE,MAAM,IAAI,GAAG,UAAU,CAAC,IAAI,IAAI,YAAY,CAAA;QAC5C,IAAI,IAAI,KAAK,YAAY,EAAE,CAAC;YACxB,MAAM,CAAC,oBAAoB,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC,CAAA;QAC3C,CAAC;QACD,iEAAiE;IACrE,CAAC;IAED,OAAO,EAAE,MAAM,EAAE,YAAY,EAAE,aAAa,EAAE,kBAAkB,EAAE,CAAA;AACtE,CAAC"}
+{"version":3,"file":"import.js","sourceRoot":"","sources":["../../src/cli/import.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAA;AACxC,OAAO,EAAE,KAAK,IAAI,SAAS,EAAE,MAAM,MAAM,CAAA;AACzC,OAAO,EAAE,KAAK,EAAE,MAAM,eAAe,CAAA;AACrC,OAAO,EAAE,sBAAsB,EAAE,MAAM,2BAA2B,CAAA;AAKlE,OAAO,EAAE,YAAY,EAAE,MAAM,+BAA+B,CAAA;AAC5D,OAAO,EAAE,cAAc,EAAE,MAAM,gCAAgC,CAAA;AAC/D,OAAO,EAAE,YAAY,EAAE,MAAM,8BAA8B,CAAA;AAC3D,OAAO,EAAE,oBAAoB,EAAE,MAAM,uCAAuC,CAAA;AAC5E,OAAO,EAAE,gBAAgB,EAAE,MAAM,0BAA0B,CAAA;AAE3D;;;GAGG;AACH,SAAS,gBAAgB,CACrB,GAAgB,EAChB,MAAe,EACf,YAAoB,EACpB,YAAgC;IAEhC,IAAI,CAAC,MAAM,IAAI,CAAC,GAAG,CAAC,IAAI,KAAK,SAAS,IAAI,GAAG,CAAC,IAAI,KAAK,KAAK,CAAC,EAAE,CAAC;QAC5D,MAAM,KAAK,GAAG,YAAY;YACtB,CAAC,CAAC,YAAY,YAAY,YAAY,YAAY,GAAG;YACrD,CAAC,CAAC,oBAAoB,YAAY,EAAE,CAAA;QACxC,MAAM,IAAI,KAAK,CACX,GAAG,GAAG,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,sBAAsB,CAAC,CAAC,CAAC,wBAAwB,mEAAmE,KAAK,GAAG,CAC3J,CAAA;IACL,CAAC;IACD,QAAQ,GAAG,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,UAAU;YACX,MAAK;QACT,KAAK,KAAK;YACN,gBAAgB,CAAC,GAAG,CAAC,OAAO,EAAE,KAAK,EAAE,YAAY,EAAE,YAAY,CAAC,CAAA;YAChE,MAAK;QACT,KAAK,KAAK,CAAC;QACX,KAAK,IAAI;YACL,KAAK,MAAM,OAAO,IAAI,GAAG,CAAC,QAAQ,EAAE,CAAC;gBACjC,gBAAgB,CAAC,OAAO,EAAE,KAAK,EAAE,YAAY,EAAE,YAAY,CAAC,CAAA;YAChE,CAAC;YACD,MAAK;QACT,KAAK,SAAS,CAAC;QACf,KAAK,KAAK;YACN,gBAAgB,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,EAAE,YAAY,EAAE,YAAY,CAAC,CAAA;YAC7D,gBAAgB,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,EAAE,YAAY,EAAE,YAAY,CAAC,CAAA;YAC9D,MAAK;IACb,CAAC;AACL,CAAC;AAED,kEAAkE;AAClE,SAAS,oBAAoB,CAAC,GAAgB,EAAE,KAAkB;IAC9D,QAAQ,GAAG,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,UAAU;YACX,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;YACnB,MAAK;QACT,KAAK,KAAK;YACN,oBAAoB,CAAC,GAAG,CAAC,OAAO,EAAE,KAAK,CAAC,CAAA;YACxC,MAAK;QACT,KAAK,KAAK,CAAC;QACX,KAAK,IAAI;YACL,KAAK,MAAM,OAAO,IAAI,GAAG,CAAC,QAAQ,EAAE,CAAC;gBACjC,oBAAoB,CAAC,OAAO,EAAE,KAAK,CAAC,CAAA;YACxC,CAAC;YACD,MAAK;QACT,KAAK,SAAS,CAAC;QACf,KAAK,KAAK;YACN,oBAAoB,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAA;YACrC,oBAAoB,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,CAAC,CAAA;YACtC,MAAK;IACb,CAAC;AACL,CAAC;AAED;;;GAGG;AACH,SAAS,gBAAgB,CACrB,GAAgB,EAChB,QAAuB,EACvB,QAAgB,EAChB,UAAkB,EAClB,eAAuB,EACvB,SAAiB,EACjB,eAAmE,EACnE,aAA+C;IAE/C,MAAM,EAAE,GAAG,UAAU,EAAE,CAAA;IAEvB,QAAQ,GAAG,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,UAAU,CAAC,CAAC,CAAC;YACd,MAAM,QAAQ,GAAG,eAAe,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAE,CAAA;YAC/C,aAAa,CAAC;gBACV,EAAE;gBACF,UAAU;gBACV,eAAe;gBACf,SAAS;gBACT,IAAI,EAAE,UAAU;gBAChB,UAAU,EAAE,QAAQ,CAAC,EAAE;gBACvB,QAAQ;gBACR,QAAQ;aACX,CAAC,CAAA;YACF,OAAO,EAAE,CAAA;QACb,CAAC;QACD,KAAK,KAAK,CAAC,CAAC,CAAC;YACT,aAAa,CAAC;gBACV,EAAE;gBACF,UAAU;gBACV,eAAe;gBACf,SAAS;gBACT,IAAI,EAAE,UAAU;gBAChB,QAAQ,EAAE,KAAK;gBACf,QAAQ;gBACR,QAAQ;aACX,CAAC,CAAA;YACF,gBAAgB,CACZ,GAAG,CAAC,OAAO,EACX,EAAE,EACF,CAAC,EACD,UAAU,EACV,eAAe,EACf,SAAS,EACT,eAAe,EACf,aAAa,CAChB,CAAA;YACD,OAAO,EAAE,CAAA;QACb,CAAC;QACD,KAAK,KAAK,CAAC;QACX,KAAK,IAAI,CAAC,CAAC,CAAC;YACR,4DAA4D;YAC5D,mEAAmE;YACnE,IAAI,iBAAiB,GAAG,QAAQ,CAAA;YAChC,IAAI,QAAQ,KAAK,IAAI,EAAE,CAAC;gBACpB,MAAM,SAAS,GAAG,UAAU,EAAE,CAAA;gBAC9B,aAAa,CAAC;oBACV,EAAE,EAAE,SAAS;oBACb,UAAU;oBACV,eAAe;oBACf,SAAS;oBACT,IAAI,EAAE,SAAS;oBACf,QAAQ;oBACR,QAAQ;iBACX,CAAC,CAAA;gBACF,iBAAiB,GAAG,SAAS,CAAA;YACjC,CAAC;YACD,aAAa,CAAC;gBACV,EAAE;gBACF,UAAU;gBACV,eAAe;gBACf,SAAS;gBACT,IAAI,EAAE,UAAU;gBAChB,QAAQ,EAAE,GAAG,CAAC,IAAI;gBAClB,QAAQ,EAAE,iBAAiB;gBAC3B,QAAQ,EAAE,iBAAiB,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ;aAC1D,CAAC,CAAA;YACF,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;gBAC3C,gBAAgB,CACZ,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC,EACf,EAAE,EACF,CAAC,EACD,UAAU,EACV,eAAe,EACf,SAAS,EACT,eAAe,EACf,aAAa,CAChB,CAAA;YACL,CAAC;YACD,OAAO,EAAE,CAAA;QACb,CAAC;QACD,KAAK,SAAS,CAAC;QACf,KAAK,KAAK,CAAC,CAAC,CAAC;YACT,aAAa,CAAC;gBACV,EAAE;gBACF,UAAU;gBACV,eAAe;gBACf,SAAS;gBACT,IAAI,EAAE,UAAU;gBAChB,QAAQ,EAAE,GAAG,CAAC,IAAI;gBAClB,QAAQ;gBACR,QAAQ;aACX,CAAC,CAAA;YACF,gBAAgB,CACZ,GAAG,CAAC,IAAI,EACR,EAAE,EACF,CAAC,EACD,UAAU,EACV,eAAe,EACf,SAAS,EACT,eAAe,EACf,aAAa,CAChB,CAAA;YACD,gBAAgB,CACZ,GAAG,CAAC,KAAK,EACT,EAAE,EACF,CAAC,EACD,UAAU,EACV,eAAe,EACf,SAAS,EACT,eAAe,EACf,aAAa,CAChB,CAAA;YACD,OAAO,EAAE,CAAA;QACb,CAAC;IACL,CAAC;AACL,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,sBAAsB,CAAC,UAAkB;IAKrD,MAAM,GAAG,GAAG,SAAS,CAAC,UAAU,CAAC,CAAA;IACjC,MAAM,KAAK,GAAsB,KAAK,CAAC,KAAK,CAAC,sBAAsB,EAAE,GAAG,CAAC,CAAA;IAEzE,6CAA6C;IAC7C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC7C,MAAM,OAAO,GAAG,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAA;QACjC,MAAM,YAAY,GAAG,OAAO,CAAC,IAAI,KAAK,YAAY,CAAA;QAClD,MAAM,KAAK,GAAG,OAAO,CAAC,QAAQ,EAAE,KAAK;YACjC,CAAC,CAAC,YAAY,OAAO,CAAC,QAAQ,CAAC,KAAK,YAAY,CAAC,GAAG;YACpD,CAAC,CAAC,oBAAoB,CAAC,EAAE,CAAA;QAC7B,IAAI,YAAY,EAAE,CAAC;YACf,IAAI,CAAC,OAAO,CAAC,cAAc,EAAE,CAAC;gBAC1B,MAAM,IAAI,KAAK,CACX,GAAG,KAAK,8CAA8C,CACzD,CAAA;YACL,CAAC;YACD,IAAI,OAAO,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;gBAChC,MAAM,IAAI,KAAK,CACX,GAAG,KAAK,uDAAuD,CAClE,CAAA;YACL,CAAC;QACL,CAAC;aAAM,CAAC;YACJ,IAAI,OAAO,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;gBAChC,MAAM,IAAI,KAAK,CACX,GAAG,KAAK,8CAA8C,CACzD,CAAA;YACL,CAAC;QACL,CAAC;IACL,CAAC;IAED,yEAAyE;IACzE,MAAM,cAAc,GAA2B,EAAE,CAAA;IACjD,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC7C,MAAM,OAAO,GAAG,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAA;QACjC,IAAI,OAAO,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;YAChC,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;YACzB,SAAQ;QACZ,CAAC;QACD,IAAI,GAAgB,CAAA;QACpB,IAAI,CAAC;YACD,GAAG,GAAG,YAAY,CAAC,OAAO,CAAC,OAAQ,CAAC,CAAA;QACxC,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACb,MAAM,KAAK,GAAG,OAAO,CAAC,QAAQ,EAAE,KAAK;gBACjC,CAAC,CAAC,YAAY,OAAO,CAAC,QAAQ,CAAC,KAAK,YAAY,CAAC,GAAG;gBACpD,CAAC,CAAC,oBAAoB,CAAC,EAAE,CAAA;YAC7B,MAAM,GAAG,GAAG,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;YAClE,MAAM,IAAI,KAAK,CAAC,+BAA+B,KAAK,KAAK,GAAG,EAAE,CAAC,CAAA;QACnE,CAAC;QACD,gBAAgB,CAAC,GAAG,EAAE,IAAI,EAAE,CAAC,EAAE,OAAO,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAA;QACvD,cAAc,CAAC,IAAI,CAAC,GAAG,CAAC,CAAA;IAC5B,CAAC;IAED,4BAA4B;IAC5B,MAAM,iBAAiB,GAAG,KAAK,CAAC,QAAQ;SACnC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;SACjD,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAA;IAC5B,IAAI,iBAAiB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC/B,MAAM,IAAI,KAAK,CACX,uDAAuD,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,oCAAoC,CAC1H,CAAA;IACL,CAAC;IAED,2DAA2D;IAC3D,MAAM,gBAAgB,GAAG,IAAI,GAAG,EAAU,CAAA;IAC1C,KAAK,MAAM,GAAG,IAAI,cAAc,EAAE,CAAC;QAC/B,IAAI,GAAG,KAAK,IAAI;YAAE,oBAAoB,CAAC,GAAG,EAAE,gBAAgB,CAAC,CAAA;IACjE,CAAC;IAED,qBAAqB;IACrB,MAAM,UAAU,GAAG,UAAU,EAAE,CAAA;IAC/B,MAAM,QAAQ,GAAG;QACb,EAAE,EAAE,UAAU;QACd,OAAO,EAAE,CAAC;QACV,KAAK,EAAE,KAAK,CAAC,QAAQ,CAAC,KAAK;QAC3B,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,WAAW,KAAK,SAAS;YACxC,CAAC,CAAC,EAAE,WAAW,EAAE,KAAK,CAAC,QAAQ,CAAC,WAAW,EAAE;YAC7C,CAAC,CAAC,EAAE,CAAC;QACT,SAAS,EAAE,IAAI,IAAI,EAAE;QACrB,SAAS,EAAE,KAAK;KACnB,CAAA;IAED,MAAM,YAAY,GAAG,IAAI,YAAY,EAAE,CAAA;IACvC,MAAM,YAAY,GAAG,YAAY,CAAC,MAAM,CAAC;QACrC,EAAE,EAAE,UAAU,EAAE;QAChB,IAAI,EAAE,QAAQ;KACjB,CAAC,CAAA;IAEF,oEAAoE;IACpE,4EAA4E;IAC5E,+DAA+D;IAC/D,KAAK,MAAM,SAAS,IAAI,KAAK,CAAC,MAAM,IAAI,EAAE,EAAE,CAAC;QACzC,YAAY,CAAC,MAAM,CAAC;YAChB,EAAE,EAAE,SAAS,CAAC,EAAE;YAChB,IAAI,EAAE,SAAS,CAAC,IAAI;YACpB,GAAG,CAAC,SAAS,CAAC,KAAK,KAAK,SAAS;gBAC7B,CAAC,CAAC,EAAE,KAAK,EAAE,SAAS,CAAC,KAAK,EAAE;gBAC5B,CAAC,CAAC,EAAE,CAAC;SACiC,CAAC,CAAA;IACnD,CAAC;IAED,MAAM,oBAAoB,GAAG,IAAI,oBAAoB,CAAC,YAAY,CAAC,CAAA;IACnE,MAAM,MAAM,GAAG,IAAI,cAAc,CAC7B,QAAQ,EACR,YAAY,EACZ,oBAAoB,CACvB,CAAA;IAED,gDAAgD;IAChD,MAAM,eAAe,GAAG,IAAI,GAAG,EAG5B,CAAA;IACH,KAAK,MAAM,IAAI,IAAI,CAAC,GAAG,gBAAgB,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;QAC9C,MAAM,QAAQ,GAA0C;YACpD,EAAE,EAAE,UAAU,EAAE;YAChB,UAAU;YACV,eAAe,EAAE,CAAC;YAClB,MAAM,EAAE,IAAI;YACZ,OAAO,EAAE,YAAY,CAAC,EAAE;YACxB,YAAY,EAAE,YAAY,CAAC,OAAO;SACrC,CAAA;QACD,eAAe,CAAC,GAAG,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAA;IACvC,CAAC;IAED,+EAA+E;IAC/E,KAAK,MAAM,QAAQ,IAAI,eAAe,CAAC,MAAM,EAAE,EAAE,CAAC;QAC9C,MAAM,CAAC,WAAW,CAAC,QAAQ,CAAC,CAAA;IAChC,CAAC;IAED,6CAA6C;IAC7C,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QAC7C,MAAM,UAAU,GAAG,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAA;QACpC,MAAM,YAAY,GAAG,UAAU,CAAC,IAAI,KAAK,YAAY,CAAA;QAErD,IAAI,YAAY,EAAE,CAAC;YACf,sEAAsE;YACtE,kDAAkD;YAClD,MAAM,EAAE,MAAM,EAAE,GAAG,EAAE,GAAG,MAAM,CAAC,aAAa,CAAC;gBACzC,IAAI,EAAE,YAAY;gBAClB,cAAc,EAAE,UAAU,CAAC,cAAe;gBAC1C,GAAG,CAAC,UAAU,CAAC,QAAQ,IAAI,EAAE,CAAC;aACjC,CAAC,CAAA;YACF,MAAM,KAAK,GAAG,UAAU,CAAC,IAAI,IAAI,YAAY,CAAA;YAC7C,IAAI,KAAK,KAAK,YAAY,EAAE,CAAC;gBACzB,MAAM,CAAC,oBAAoB,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC,CAAA;YAC5C,CAAC;QACL,CAAC;aAAM,CAAC;YACJ,gEAAgE;YAChE,MAAM,EAAE,MAAM,EAAE,EAAE,EAAE,GAAG,UAAU,CAAC,QAAQ;gBACtC,CAAC,CAAC,MAAM,CAAC,aAAa,CAAC,EAAE,GAAG,UAAU,CAAC,QAAQ,EAAE,CAAC;gBAClD,CAAC,CAAC,MAAM,CAAC,aAAa,EAAE,CAAA;YAE5B,wCAAwC;YACxC,gBAAgB,CACZ,cAAc,CAAC,CAAC,CAAE,EAClB,IAAI,EACJ,gBAAgB,EAChB,UAAU,EACV,CAAC,EACD,EAAE,CAAC,KAAK,EAAE,EACV,eAAe,EACf,CAAC,IAAI,EAAE,EAAE,CAAC,EAAE,CAAC,aAAa,CAAC,IAAI,CAAC,CACnC,CAAA;YAED,qEAAqE;YACrE,MAAM,IAAI,GAAG,UAAU,CAAC,IAAI,IAAI,YAAY,CAAA;YAC5C,IAAI,IAAI,KAAK,YAAY,EAAE,CAAC;gBACxB,MAAM,CAAC,oBAAoB,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC,CAAA;YAC3C,CAAC;YACD,iEAAiE;QACrE,CAAC;IACL,CAAC;IAED,OAAO,EAAE,MAAM,EAAE,YAAY,EAAE,oBAAoB,EAAE,CAAA;AACzD,CAAC"}

package/dist/cli/router.js

@@ -8,9 +8,9 @@ const NAMED_COMMANDS = new Set([
     "--version",
     "-V",
     "arguments",
+    "citations",
     "claims",
     "diff",
-    "sources",
 ]);
 /**
  * Returns true when argv[2] is a named top-level command (not a UUID).

package/dist/cli/router.js.map

@@ -1 +1 @@
-{"version":3,"file":"router.js","sourceRoot":"","sources":["../../src/cli/router.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,kBAAkB,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAA;AAC5E,OAAO,EAAE,SAAS,EAAE,MAAM,aAAa,CAAA;AAEvC,MAAM,cAAc,GAAG,IAAI,GAAG,CAAC;IAC3B,MAAM;IACN,QAAQ;IACR,IAAI;IACJ,SAAS;IACT,WAAW;IACX,IAAI;IACJ,WAAW;IACX,QAAQ;IACR,MAAM;IACN,SAAS;CACZ,CAAC,CAAA;AAEF;;GAEG;AACH,MAAM,UAAU,cAAc,CAAC,IAAc;IACzC,MAAM,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC,CAAA;IACrB,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,IAAI,CAAA;IACpC,OAAO,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC,CAAA;AACpC,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,CAAC,KAAK,UAAU,cAAc,CAChC,UAAkB,EAClB,UAAkB;IAElB,MAAM,QAAQ,GAAG,MAAM,kBAAkB,CAAC,UAAU,CAAC,CAAA;IACrD,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACxB,SAAS,CAAC,mCAAmC,UAAU,IAAI,CAAC,CAAA;IAChE,CAAC;IAED,IAAI,UAAU,KAAK,QAAQ,EAAE,CAAC;QAC1B,OAAO,QAAQ,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAA;IACxC,CAAC;IAED,IAAI,UAAU,KAAK,gBAAgB,EAAE,CAAC;QAClC,+BAA+B;QAC/B,KAAK,IAAI,CAAC,GAAG,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YAC5C,MAAM,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAA;YACrB,MAAM,IAAI,GAAG,MAAM,eAAe,CAAC,UAAU,EAAE,CAAC,CAAC,CAAA;YACjD,IAAI,IAAI,CAAC,SAAS;gBAAE,OAAO,CAAC,CAAA;QAChC,CAAC;QACD,SAAS,CAAC,aAAa,UAAU,8BAA8B,CAAC,CAAA;IACpE,CAAC;IAED,MAAM,MAAM,GAAG,MAAM,CAAC,UAAU,CAAC,CAAA;IACjC,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,MAAM,GAAG,CAAC,EAAE,CAAC;QAC1C,SAAS,CACL,oBAAoB,UAAU,+DAA+D,CAChG,CAAA;IACL,CAAC;IACD,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;QAC7B,SAAS,CACL,WAAW,MAAM,iCAAiC,UAAU,IAAI,CACnE,CAAA;IACL,CAAC;IACD,OAAO,MAAM,CAAA;AACjB,CAAC"}
+{"version":3,"file":"router.js","sourceRoot":"","sources":["../../src/cli/router.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,kBAAkB,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAA;AAC5E,OAAO,EAAE,SAAS,EAAE,MAAM,aAAa,CAAA;AAEvC,MAAM,cAAc,GAAG,IAAI,GAAG,CAAC;IAC3B,MAAM;IACN,QAAQ;IACR,IAAI;IACJ,SAAS;IACT,WAAW;IACX,IAAI;IACJ,WAAW;IACX,WAAW;IACX,QAAQ;IACR,MAAM;CACT,CAAC,CAAA;AAEF;;GAEG;AACH,MAAM,UAAU,cAAc,CAAC,IAAc;IACzC,MAAM,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC,CAAA;IACrB,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,IAAI,CAAA;IACpC,OAAO,cAAc,CAAC,GAAG,CAAC,KAAK,CAAC,CAAA;AACpC,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,CAAC,KAAK,UAAU,cAAc,CAChC,UAAkB,EAClB,UAAkB;IAElB,MAAM,QAAQ,GAAG,MAAM,kBAAkB,CAAC,UAAU,CAAC,CAAA;IACrD,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACxB,SAAS,CAAC,mCAAmC,UAAU,IAAI,CAAC,CAAA;IAChE,CAAC;IAED,IAAI,UAAU,KAAK,QAAQ,EAAE,CAAC;QAC1B,OAAO,QAAQ,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAA;IACxC,CAAC;IAED,IAAI,UAAU,KAAK,gBAAgB,EAAE,CAAC;QAClC,+BAA+B;QAC/B,KAAK,IAAI,CAAC,GAAG,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YAC5C,MAAM,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAA;YACrB,MAAM,IAAI,GAAG,MAAM,eAAe,CAAC,UAAU,EAAE,CAAC,CAAC,CAAA;YACjD,IAAI,IAAI,CAAC,SAAS;gBAAE,OAAO,CAAC,CAAA;QAChC,CAAC;QACD,SAAS,CAAC,aAAa,UAAU,8BAA8B,CAAC,CAAA;IACpE,CAAC;IAED,MAAM,MAAM,GAAG,MAAM,CAAC,UAAU,CAAC,CAAA;IACjC,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,MAAM,GAAG,CAAC,EAAE,CAAC;QAC1C,SAAS,CACL,oBAAoB,UAAU,+DAA+D,CAChG,CAAA;IACL,CAAC;IACD,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;QAC7B,SAAS,CACL,WAAW,MAAM,iCAAiC,UAAU,IAAI,CACnE,CAAA;IACL,CAAC;IACD,OAAO,MAAM,CAAA;AACjB,CAAC"}

package/dist/cli/storage/libraries.d.ts

@@ -1,14 +1,11 @@
 import { ClaimLibrary } from "../../lib/core/claim-library.js";
-import { SourceLibrary } from "../../lib/core/source-library.js";
-import { ClaimSourceLibrary } from "../../lib/core/claim-source-library.js";
+import { ClaimCitationLibrary } from "../../lib/core/claim-citation-library.js";
 import { ForkLibrary } from "../../lib/core/fork-library.js";
-import type { TClaimLookup, TSourceLookup } from "../../lib/core/interfaces/library.interfaces.js";
+import type { TClaimLookup } from "../../lib/core/interfaces/library.interfaces.js";
 export declare function readClaimLibrary(): Promise<ClaimLibrary>;
-export declare function readSourceLibrary(): Promise<SourceLibrary>;
-export declare function readClaimSourceLibrary(claimLookup: TClaimLookup, sourceLookup: TSourceLookup): Promise<ClaimSourceLibrary>;
+export declare function readClaimCitationLibrary(claimLookup: TClaimLookup): Promise<ClaimCitationLibrary>;
 export declare function writeClaimLibrary(library: ClaimLibrary): Promise<void>;
-export declare function writeSourceLibrary(library: SourceLibrary): Promise<void>;
-export declare function writeClaimSourceLibrary(library: ClaimSourceLibrary): Promise<void>;
+export declare function writeClaimCitationLibrary(library: ClaimCitationLibrary): Promise<void>;
 export declare function readForkLibrary(): Promise<ForkLibrary>;
 export declare function writeForkLibrary(library: ForkLibrary): Promise<void>;
 //# sourceMappingURL=libraries.d.ts.map

package/dist/cli/storage/libraries.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"libraries.d.ts","sourceRoot":"","sources":["../../../src/cli/storage/libraries.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,YAAY,EAAE,MAAM,iCAAiC,CAAA;AAC9D,OAAO,EAAE,aAAa,EAAE,MAAM,kCAAkC,CAAA;AAChE,OAAO,EAAE,kBAAkB,EAAE,MAAM,wCAAwC,CAAA;AAC3E,OAAO,EAAE,WAAW,EAAE,MAAM,gCAAgC,CAAA;AAC5D,OAAO,KAAK,EACR,YAAY,EACZ,aAAa,EAChB,MAAM,iDAAiD,CAAA;AAexD,wBAAsB,gBAAgB,IAAI,OAAO,CAAC,YAAY,CAAC,CAU9D;AAED,wBAAsB,iBAAiB,IAAI,OAAO,CAAC,aAAa,CAAC,CAUhE;AAED,wBAAsB,sBAAsB,CACxC,WAAW,EAAE,YAAY,EACzB,YAAY,EAAE,aAAa,GAC5B,OAAO,CAAC,kBAAkB,CAAC,CAiB7B;AAED,wBAAsB,iBAAiB,CAAC,OAAO,EAAE,YAAY,GAAG,OAAO,CAAC,IAAI,CAAC,CAI5E;AAED,wBAAsB,kBAAkB,CACpC,OAAO,EAAE,aAAa,GACvB,OAAO,CAAC,IAAI,CAAC,CAIf;AAED,wBAAsB,uBAAuB,CACzC,OAAO,EAAE,kBAAkB,GAC5B,OAAO,CAAC,IAAI,CAAC,CAIf;AAMD,wBAAsB,eAAe,IAAI,OAAO,CAAC,WAAW,CAAC,CAU5D;AAED,wBAAsB,gBAAgB,CAAC,OAAO,EAAE,WAAW,GAAG,OAAO,CAAC,IAAI,CAAC,CAI1E"}
+{"version":3,"file":"libraries.d.ts","sourceRoot":"","sources":["../../../src/cli/storage/libraries.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,YAAY,EAAE,MAAM,iCAAiC,CAAA;AAC9D,OAAO,EAAE,oBAAoB,EAAE,MAAM,0CAA0C,CAAA;AAC/E,OAAO,EAAE,WAAW,EAAE,MAAM,gCAAgC,CAAA;AAC5D,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,iDAAiD,CAAA;AAWnF,wBAAsB,gBAAgB,IAAI,OAAO,CAAC,YAAY,CAAC,CAU9D;AAED,wBAAsB,wBAAwB,CAC1C,WAAW,EAAE,YAAY,GAC1B,OAAO,CAAC,oBAAoB,CAAC,CAU/B;AAED,wBAAsB,iBAAiB,CAAC,OAAO,EAAE,YAAY,GAAG,OAAO,CAAC,IAAI,CAAC,CAI5E;AAED,wBAAsB,yBAAyB,CAC3C,OAAO,EAAE,oBAAoB,GAC9B,OAAO,CAAC,IAAI,CAAC,CAIf;AAMD,wBAAsB,eAAe,IAAI,OAAO,CAAC,WAAW,CAAC,CAU5D;AAED,wBAAsB,gBAAgB,CAAC,OAAO,EAAE,WAAW,GAAG,OAAO,CAAC,IAAI,CAAC,CAI1E"}

package/dist/cli/storage/libraries.js

@@ -1,18 +1,14 @@
 import fs from "node:fs/promises";
 import path from "node:path";
 import { ClaimLibrary } from "../../lib/core/claim-library.js";
-import { SourceLibrary } from "../../lib/core/source-library.js";
-import { ClaimSourceLibrary } from "../../lib/core/claim-source-library.js";
+import { ClaimCitationLibrary } from "../../lib/core/claim-citation-library.js";
 import { ForkLibrary } from "../../lib/core/fork-library.js";
 import { getStateDir } from "../config.js";
 function claimsPath() {
     return path.join(getStateDir(), "claims.json");
 }
-function sourcesPath() {
-    return path.join(getStateDir(), "sources.json");
-}
-function claimSourceAssociationsPath() {
-    return path.join(getStateDir(), "claim-source-associations.json");
+function claimCitationsPath() {
+    return path.join(getStateDir(), "claim-citations.json");
 }
 export async function readClaimLibrary() {
     try {
@@ -24,24 +20,14 @@ export async function readClaimLibrary() {
         return new ClaimLibrary();
     }
 }
-export async function readSourceLibrary() {
-    try {
-        const content = await fs.readFile(sourcesPath(), "utf-8");
-        const snapshot = JSON.parse(content);
-        return SourceLibrary.fromSnapshot(snapshot);
-    }
-    catch {
-        return new SourceLibrary();
-    }
-}
-export async function readClaimSourceLibrary(claimLookup, sourceLookup) {
+export async function readClaimCitationLibrary(claimLookup) {
     try {
-        const content = await fs.readFile(claimSourceAssociationsPath(), "utf-8");
+        const content = await fs.readFile(claimCitationsPath(), "utf-8");
         const snapshot = JSON.parse(content);
-        return ClaimSourceLibrary.fromSnapshot(snapshot, claimLookup, sourceLookup);
+        return ClaimCitationLibrary.fromSnapshot(snapshot, claimLookup);
     }
     catch {
-        return new ClaimSourceLibrary(claimLookup, sourceLookup);
+        return new ClaimCitationLibrary(claimLookup);
     }
 }
 export async function writeClaimLibrary(library) {
@@ -49,13 +35,8 @@ export async function writeClaimLibrary(library) {
     await fs.mkdir(path.dirname(filePath), { recursive: true });
     await fs.writeFile(filePath, JSON.stringify(library.snapshot(), null, 2));
 }
-export async function writeSourceLibrary(library) {
-    const filePath = sourcesPath();
-    await fs.mkdir(path.dirname(filePath), { recursive: true });
-    await fs.writeFile(filePath, JSON.stringify(library.snapshot(), null, 2));
-}
-export async function writeClaimSourceLibrary(library) {
-    const filePath = claimSourceAssociationsPath();
+export async function writeClaimCitationLibrary(library) {
+    const filePath = claimCitationsPath();
     await fs.mkdir(path.dirname(filePath), { recursive: true });
     await fs.writeFile(filePath, JSON.stringify(library.snapshot(), null, 2));
 }

package/dist/cli/storage/libraries.js.map

@@ -1 +1 @@
-{"version":3,"file":"libraries.js","sourceRoot":"","sources":["../../../src/cli/storage/libraries.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,kBAAkB,CAAA;AACjC,OAAO,IAAI,MAAM,WAAW,CAAA;AAC5B,OAAO,EAAE,YAAY,EAAE,MAAM,iCAAiC,CAAA;AAC9D,OAAO,EAAE,aAAa,EAAE,MAAM,kCAAkC,CAAA;AAChE,OAAO,EAAE,kBAAkB,EAAE,MAAM,wCAAwC,CAAA;AAC3E,OAAO,EAAE,WAAW,EAAE,MAAM,gCAAgC,CAAA;AAK5D,OAAO,EAAE,WAAW,EAAE,MAAM,cAAc,CAAA;AAE1C,SAAS,UAAU;IACf,OAAO,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,EAAE,aAAa,CAAC,CAAA;AAClD,CAAC;AAED,SAAS,WAAW;IAChB,OAAO,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,EAAE,cAAc,CAAC,CAAA;AACnD,CAAC;AAED,SAAS,2BAA2B;IAChC,OAAO,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,EAAE,gCAAgC,CAAC,CAAA;AACrE,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,gBAAgB;IAClC,IAAI,CAAC;QACD,MAAM,OAAO,GAAG,MAAM,EAAE,CAAC,QAAQ,CAAC,UAAU,EAAE,EAAE,OAAO,CAAC,CAAA;QACxD,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAElC,CAAA;QACD,OAAO,YAAY,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAA;IAC9C,CAAC;IAAC,MAAM,CAAC;QACL,OAAO,IAAI,YAAY,EAAE,CAAA;IAC7B,CAAC;AACL,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,iBAAiB;IACnC,IAAI,CAAC;QACD,MAAM,OAAO,GAAG,MAAM,EAAE,CAAC,QAAQ,CAAC,WAAW,EAAE,EAAE,OAAO,CAAC,CAAA;QACzD,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAElC,CAAA;QACD,OAAO,aAAa,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAA;IAC/C,CAAC;IAAC,MAAM,CAAC;QACL,OAAO,IAAI,aAAa,EAAE,CAAA;IAC9B,CAAC;AACL,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,sBAAsB,CACxC,WAAyB,EACzB,YAA2B;IAE3B,IAAI,CAAC;QACD,MAAM,OAAO,GAAG,MAAM,EAAE,CAAC,QAAQ,CAC7B,2BAA2B,EAAE,EAC7B,OAAO,CACV,CAAA;QACD,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAElC,CAAA;QACD,OAAO,kBAAkB,CAAC,YAAY,CAClC,QAAQ,EACR,WAAW,EACX,YAAY,CACf,CAAA;IACL,CAAC;IAAC,MAAM,CAAC;QACL,OAAO,IAAI,kBAAkB,CAAC,WAAW,EAAE,YAAY,CAAC,CAAA;IAC5D,CAAC;AACL,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,iBAAiB,CAAC,OAAqB;IACzD,MAAM,QAAQ,GAAG,UAAU,EAAE,CAAA;IAC7B,MAAM,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAA;IAC3D,MAAM,EAAE,CAAC,SAAS,CAAC,QAAQ,EAAE,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,QAAQ,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAA;AAC7E,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,kBAAkB,CACpC,OAAsB;IAEtB,MAAM,QAAQ,GAAG,WAAW,EAAE,CAAA;IAC9B,MAAM,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAA;IAC3D,MAAM,EAAE,CAAC,SAAS,CAAC,QAAQ,EAAE,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,QAAQ,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAA;AAC7E,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,uBAAuB,CACzC,OAA2B;IAE3B,MAAM,QAAQ,GAAG,2BAA2B,EAAE,CAAA;IAC9C,MAAM,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAA;IAC3D,MAAM,EAAE,CAAC,SAAS,CAAC,QAAQ,EAAE,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,QAAQ,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAA;AAC7E,CAAC;AAED,SAAS,SAAS;IACd,OAAO,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,EAAE,YAAY,CAAC,CAAA;AACjD,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,eAAe;IACjC,IAAI,CAAC;QACD,MAAM,OAAO,GAAG,MAAM,EAAE,CAAC,QAAQ,CAAC,SAAS,EAAE,EAAE,OAAO,CAAC,CAAA;QACvD,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAElC,CAAA;QACD,OAAO,WAAW,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAA;IAC7C,CAAC;IAAC,MAAM,CAAC;QACL,OAAO,IAAI,WAAW,EAAE,CAAA;IAC5B,CAAC;AACL,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,gBAAgB,CAAC,OAAoB;IACvD,MAAM,QAAQ,GAAG,SAAS,EAAE,CAAA;IAC5B,MAAM,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAA;IAC3D,MAAM,EAAE,CAAC,SAAS,CAAC,QAAQ,EAAE,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,QAAQ,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAA;AAC7E,CAAC"}
+{"version":3,"file":"libraries.js","sourceRoot":"","sources":["../../../src/cli/storage/libraries.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,kBAAkB,CAAA;AACjC,OAAO,IAAI,MAAM,WAAW,CAAA;AAC5B,OAAO,EAAE,YAAY,EAAE,MAAM,iCAAiC,CAAA;AAC9D,OAAO,EAAE,oBAAoB,EAAE,MAAM,0CAA0C,CAAA;AAC/E,OAAO,EAAE,WAAW,EAAE,MAAM,gCAAgC,CAAA;AAE5D,OAAO,EAAE,WAAW,EAAE,MAAM,cAAc,CAAA;AAE1C,SAAS,UAAU;IACf,OAAO,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,EAAE,aAAa,CAAC,CAAA;AAClD,CAAC;AAED,SAAS,kBAAkB;IACvB,OAAO,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,EAAE,sBAAsB,CAAC,CAAA;AAC3D,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,gBAAgB;IAClC,IAAI,CAAC;QACD,MAAM,OAAO,GAAG,MAAM,EAAE,CAAC,QAAQ,CAAC,UAAU,EAAE,EAAE,OAAO,CAAC,CAAA;QACxD,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAElC,CAAA;QACD,OAAO,YAAY,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAA;IAC9C,CAAC;IAAC,MAAM,CAAC;QACL,OAAO,IAAI,YAAY,EAAE,CAAA;IAC7B,CAAC;AACL,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,wBAAwB,CAC1C,WAAyB;IAEzB,IAAI,CAAC;QACD,MAAM,OAAO,GAAG,MAAM,EAAE,CAAC,QAAQ,CAAC,kBAAkB,EAAE,EAAE,OAAO,CAAC,CAAA;QAChE,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAElC,CAAA;QACD,OAAO,oBAAoB,CAAC,YAAY,CAAC,QAAQ,EAAE,WAAW,CAAC,CAAA;IACnE,CAAC;IAAC,MAAM,CAAC;QACL,OAAO,IAAI,oBAAoB,CAAC,WAAW,CAAC,CAAA;IAChD,CAAC;AACL,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,iBAAiB,CAAC,OAAqB;IACzD,MAAM,QAAQ,GAAG,UAAU,EAAE,CAAA;IAC7B,MAAM,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAA;IAC3D,MAAM,EAAE,CAAC,SAAS,CAAC,QAAQ,EAAE,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,QAAQ,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAA;AAC7E,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,yBAAyB,CAC3C,OAA6B;IAE7B,MAAM,QAAQ,GAAG,kBAAkB,EAAE,CAAA;IACrC,MAAM,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAA;IAC3D,MAAM,EAAE,CAAC,SAAS,CAAC,QAAQ,EAAE,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,QAAQ,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAA;AAC7E,CAAC;AAED,SAAS,SAAS;IACd,OAAO,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,EAAE,YAAY,CAAC,CAAA;AACjD,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,eAAe;IACjC,IAAI,CAAC;QACD,MAAM,OAAO,GAAG,MAAM,EAAE,CAAC,QAAQ,CAAC,SAAS,EAAE,EAAE,OAAO,CAAC,CAAA;QACvD,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAElC,CAAA;QACD,OAAO,WAAW,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAA;IAC7C,CAAC;IAAC,MAAM,CAAC;QACL,OAAO,IAAI,WAAW,EAAE,CAAA;IAC5B,CAAC;AACL,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,gBAAgB,CAAC,OAAoB;IACvD,MAAM,QAAQ,GAAG,SAAS,EAAE,CAAA;IAC5B,MAAM,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAA;IAC3D,MAAM,EAAE,CAAC,SAAS,CAAC,QAAQ,EAAE,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,QAAQ,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAA;AAC7E,CAAC"}

package/dist/cli/storage/migrate-v0.10.d.ts

@@ -0,0 +1,10 @@
+/**
+ * One-time migration of CLI state directories from pre-v0.10.0 layout to the
+ * unified Source-as-Claim layout.
+ *
+ * Detected via the absence of a `.proposit-v0.10` marker in the state dir;
+ * once migration completes (or there is nothing to migrate) the marker is
+ * written so subsequent CLI invocations no-op immediately.
+ */
+export declare function migrateV010(): Promise<void>;
+//# sourceMappingURL=migrate-v0.10.d.ts.map

package/dist/cli/storage/migrate-v0.10.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"migrate-v0.10.d.ts","sourceRoot":"","sources":["../../../src/cli/storage/migrate-v0.10.ts"],"names":[],"mappings":"AAcA;;;;;;;GAOG;AACH,wBAAsB,WAAW,IAAI,OAAO,CAAC,IAAI,CAAC,CAuDjD"}

package/dist/cli/storage/migrate-v0.10.js

@@ -0,0 +1,213 @@
+import fs from "node:fs/promises";
+import path from "node:path";
+import { getStateDir } from "../config.js";
+import { readClaimLibrary, readClaimCitationLibrary, writeClaimLibrary, writeClaimCitationLibrary, } from "./libraries.js";
+import { entityChecksum } from "../../lib/core/checksum.js";
+import { DEFAULT_CHECKSUM_CONFIG } from "../../lib/consts.js";
+const MARKER = ".proposit-v0.10";
+/**
+ * One-time migration of CLI state directories from pre-v0.10.0 layout to the
+ * unified Source-as-Claim layout.
+ *
+ * Detected via the absence of a `.proposit-v0.10` marker in the state dir;
+ * once migration completes (or there is nothing to migrate) the marker is
+ * written so subsequent CLI invocations no-op immediately.
+ */
+export async function migrateV010() {
+    const stateDir = getStateDir();
+    const markerPath = path.join(stateDir, MARKER);
+    // Step 1: Detection — skip if marker exists.
+    try {
+        await fs.access(markerPath);
+        return; // Already migrated.
+    }
+    catch {
+        // Marker missing — proceed with migration.
+    }
+    // If the state dir doesn't exist yet (fresh install), there's nothing to
+    // migrate. Create the directory and drop the marker so we don't re-check
+    // every invocation.
+    try {
+        await fs.mkdir(stateDir, { recursive: true });
+    }
+    catch {
+        // mkdir failures are surfaced by later steps when they touch files.
+    }
+    // Step 2: Source extras collision check.
+    await checkSourceExtrasCollision(stateDir);
+    // Step 3: Sources → claims conversion.
+    await convertSourcesToClaims(stateDir);
+    // Step 4: Existing claim type backfill.
+    await backfillClaimTypes(stateDir);
+    // Step 5: Associations → citations conversion.
+    await convertAssociationsToCitations(stateDir);
+    // Step 6: Forks fold.
+    await foldForkSourcesIntoClaims(stateDir);
+    // Step 7: Checksum recompute. Pre-v0.10 claim and citation entities were
+    // hashed without the new `type`, `citingClaim*`, and `sourceClaim*` fields
+    // (and without the field-renaming applied above), so the stored checksums
+    // no longer match their content. Rewrite each entity's checksum directly
+    // from disk before hydrating, so consumers that verify stored-vs-computed
+    // checksums don't see mismatches.
+    await recomputeChecksums(stateDir);
+    // Step 8: Acyclicity validation — hydrate the libraries (which exercises
+    // ClaimCitationLibrary.fromSnapshot's cycle check) and write back so any
+    // structural normalization is captured.
+    await validateAndRewriteLibraries();
+    // Step 9: Marker write.
+    await fs.writeFile(markerPath, new Date().toISOString());
+    process.stderr.write(`[proposit] Migrated state directory to v0.10.0 format at ${stateDir}\n`);
+}
+async function readJsonFile(filePath) {
+    try {
+        const content = await fs.readFile(filePath, "utf-8");
+        return JSON.parse(content);
+    }
+    catch {
+        return null;
+    }
+}
+async function writeJsonFile(filePath, data) {
+    await fs.mkdir(path.dirname(filePath), { recursive: true });
+    await fs.writeFile(filePath, JSON.stringify(data, null, 2));
+}
+async function checkSourceExtrasCollision(stateDir) {
+    const sourcesPath = path.join(stateDir, "sources.json");
+    const snapshot = await readJsonFile(sourcesPath);
+    if (!snapshot?.sources)
+        return;
+    const colliding = snapshot.sources.filter((s) => s.type !== undefined);
+    if (colliding.length > 0) {
+        const ids = colliding
+            .map((s) => {
+            const id = s.id;
+            return typeof id === "string" ? id : "<unknown>";
+        })
+            .join(", ");
+        throw new Error(`[proposit migration] Cannot migrate: source records have a 'type' extra that would collide with the new top-level 'type' field. Conflicting source IDs: ${ids}. Rename the extra (e.g., to 'kind') in sources.json and re-run.`);
+    }
+}
+async function convertSourcesToClaims(stateDir) {
+    const sourcesPath = path.join(stateDir, "sources.json");
+    const claimsPath = path.join(stateDir, "claims.json");
+    const sourcesSnapshot = await readJsonFile(sourcesPath);
+    if (!sourcesSnapshot?.sources)
+        return;
+    const claimsSnapshot = (await readJsonFile(claimsPath)) ?? { claims: [] };
+    claimsSnapshot.claims ??= [];
+    for (const source of sourcesSnapshot.sources) {
+        claimsSnapshot.claims.push({
+            ...source,
+            type: "citation",
+        });
+    }
+    await writeJsonFile(claimsPath, claimsSnapshot);
+    await fs.unlink(sourcesPath);
+    process.stderr.write(`[proposit migration] Converted ${sourcesSnapshot.sources.length} sources to citation-type claims\n`);
+}
+async function backfillClaimTypes(stateDir) {
+    const claimsPath = path.join(stateDir, "claims.json");
+    const snapshot = await readJsonFile(claimsPath);
+    if (!snapshot?.claims)
+        return;
+    let backfilled = 0;
+    for (const claim of snapshot.claims) {
+        if (claim.type === undefined) {
+            claim.type = "normal";
+            backfilled++;
+        }
+    }
+    if (backfilled > 0) {
+        await writeJsonFile(claimsPath, snapshot);
+        process.stderr.write(`[proposit migration] Backfilled type='normal' on ${backfilled} pre-existing claims\n`);
+    }
+}
+async function convertAssociationsToCitations(stateDir) {
+    const oldPath = path.join(stateDir, "claim-source-associations.json");
+    const newPath = path.join(stateDir, "claim-citations.json");
+    const snapshot = await readJsonFile(oldPath);
+    if (!snapshot?.claimSourceAssociations)
+        return;
+    const RESERVED_KEYS = new Set([
+        "id",
+        "claimId",
+        "claimVersion",
+        "sourceId",
+        "sourceVersion",
+        "checksum",
+    ]);
+    const citations = snapshot.claimSourceAssociations.map((a) => ({
+        id: a.id,
+        citingClaimId: a.claimId,
+        citingClaimVersion: a.claimVersion,
+        sourceClaimId: a.sourceId,
+        sourceClaimVersion: a.sourceVersion,
+        checksum: a.checksum,
+        // Preserve any additional properties under their original key names.
+        ...Object.fromEntries(Object.entries(a).filter(([k]) => !RESERVED_KEYS.has(k))),
+    }));
+    await writeJsonFile(newPath, { claimCitations: citations });
+    await fs.unlink(oldPath);
+    process.stderr.write(`[proposit migration] Converted ${citations.length} claim-source associations to citations\n`);
+}
+async function foldForkSourcesIntoClaims(stateDir) {
+    const forksPath = path.join(stateDir, "forks.json");
+    const snapshot = await readJsonFile(forksPath);
+    if (!snapshot)
+        return;
+    if (!("sources" in snapshot))
+        return;
+    const sources = snapshot.sources ?? [];
+    if (sources.length === 0) {
+        // Empty sources array — drop the key and rewrite for cleanliness.
+        delete snapshot.sources;
+        await writeJsonFile(forksPath, snapshot);
+        return;
+    }
+    snapshot.claims ??= [];
+    snapshot.claims.push(...sources);
+    const sourceCount = sources.length;
+    delete snapshot.sources;
+    await writeJsonFile(forksPath, snapshot);
+    process.stderr.write(`[proposit migration] Folded ${sourceCount} source fork records into claims namespace\n`);
+}
+async function recomputeChecksums(stateDir) {
+    const claimFields = DEFAULT_CHECKSUM_CONFIG.claimFields ?? new Set();
+    const claimCitationFields = DEFAULT_CHECKSUM_CONFIG.claimCitationFields ?? new Set();
+    // Recompute claim checksums.
+    const claimsPath = path.join(stateDir, "claims.json");
+    const claimsSnapshot = await readJsonFile(claimsPath);
+    let claimCount = 0;
+    if (claimsSnapshot?.claims) {
+        for (const claim of claimsSnapshot.claims) {
+            claim.checksum = entityChecksum(claim, claimFields);
+            claimCount++;
+        }
+        await writeJsonFile(claimsPath, claimsSnapshot);
+    }
+    // Recompute citation checksums.
+    const citationsPath = path.join(stateDir, "claim-citations.json");
+    const citationsSnapshot = await readJsonFile(citationsPath);
+    let citationCount = 0;
+    if (citationsSnapshot?.claimCitations) {
+        for (const citation of citationsSnapshot.claimCitations) {
+            citation.checksum = entityChecksum(citation, claimCitationFields);
+            citationCount++;
+        }
+        await writeJsonFile(citationsPath, citationsSnapshot);
+    }
+    process.stderr.write(`[proposit migration] Recomputed checksums for ${claimCount} claim(s) and ${citationCount} citation(s)\n`);
+}
+async function validateAndRewriteLibraries() {
+    // Hydrate libraries via fromSnapshot — exercises ClaimCitationLibrary's
+    // acyclicity and type-strictness validation paths — then write back
+    // through the standard storage helpers so any structural normalization
+    // (e.g., ordering, key shapes) is captured. Order matters: hydrate claims
+    // first so the citation library has a populated claim lookup.
+    const claimLibrary = await readClaimLibrary();
+    await writeClaimLibrary(claimLibrary);
+    const claimCitationLibrary = await readClaimCitationLibrary(claimLibrary);
+    await writeClaimCitationLibrary(claimCitationLibrary);
+    process.stderr.write(`[proposit migration] Citation graph validated (no cycles)\n`);
+}
+//# sourceMappingURL=migrate-v0.10.js.map

package/dist/cli/storage/migrate-v0.10.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"migrate-v0.10.js","sourceRoot":"","sources":["../../../src/cli/storage/migrate-v0.10.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,kBAAkB,CAAA;AACjC,OAAO,IAAI,MAAM,WAAW,CAAA;AAC5B,OAAO,EAAE,WAAW,EAAE,MAAM,cAAc,CAAA;AAC1C,OAAO,EACH,gBAAgB,EAChB,wBAAwB,EACxB,iBAAiB,EACjB,yBAAyB,GAC5B,MAAM,gBAAgB,CAAA;AACvB,OAAO,EAAE,cAAc,EAAE,MAAM,4BAA4B,CAAA;AAC3D,OAAO,EAAE,uBAAuB,EAAE,MAAM,qBAAqB,CAAA;AAE7D,MAAM,MAAM,GAAG,iBAAiB,CAAA;AAEhC;;;;;;;GAOG;AACH,MAAM,CAAC,KAAK,UAAU,WAAW;IAC7B,MAAM,QAAQ,GAAG,WAAW,EAAE,CAAA;IAC9B,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAA;IAE9C,6CAA6C;IAC7C,IAAI,CAAC;QACD,MAAM,EAAE,CAAC,MAAM,CAAC,UAAU,CAAC,CAAA;QAC3B,OAAM,CAAC,oBAAoB;IAC/B,CAAC;IAAC,MAAM,CAAC;QACL,2CAA2C;IAC/C,CAAC;IAED,yEAAyE;IACzE,yEAAyE;IACzE,oBAAoB;IACpB,IAAI,CAAC;QACD,MAAM,EAAE,CAAC,KAAK,CAAC,QAAQ,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAA;IACjD,CAAC;IAAC,MAAM,CAAC;QACL,oEAAoE;IACxE,CAAC;IAED,yCAAyC;IACzC,MAAM,0BAA0B,CAAC,QAAQ,CAAC,CAAA;IAE1C,uCAAuC;IACvC,MAAM,sBAAsB,CAAC,QAAQ,CAAC,CAAA;IAEtC,wCAAwC;IACxC,MAAM,kBAAkB,CAAC,QAAQ,CAAC,CAAA;IAElC,+CAA+C;IAC/C,MAAM,8BAA8B,CAAC,QAAQ,CAAC,CAAA;IAE9C,sBAAsB;IACtB,MAAM,yBAAyB,CAAC,QAAQ,CAAC,CAAA;IAEzC,yEAAyE;IACzE,2EAA2E;IAC3E,0EAA0E;IAC1E,yEAAyE;IACzE,0EAA0E;IAC1E,kCAAkC;IAClC,MAAM,kBAAkB,CAAC,QAAQ,CAAC,CAAA;IAElC,yEAAyE;IACzE,yEAAyE;IACzE,wCAAwC;IACxC,MAAM,2BAA2B,EAAE,CAAA;IAEnC,wBAAwB;IACxB,MAAM,EAAE,CAAC,SAAS,CAAC,UAAU,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC,CAAA;IAExD,OAAO,CAAC,MAAM,CAAC,KAAK,CAChB,4DAA4D,QAAQ,IAAI,CAC3E,CAAA;AACL,CAAC;AAED,KAAK,UAAU,YAAY,CAAI,QAAgB;IAC3C,IAAI,CAAC;QACD,MAAM,OAAO,GAAG,MAAM,EAAE,CAAC,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAA;QACpD,OAAO,IAAI,CAAC,KAAK,CAAC,OAAO,CAAM,CAAA;IACnC,CAAC;IAAC,MAAM,CAAC;QACL,OAAO,IAAI,CAAA;IACf,CAAC;AACL,CAAC;AAED,KAAK,UAAU,aAAa,CAAC,QAAgB,EAAE,IAAa;IACxD,MAAM,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAA;IAC3D,MAAM,EAAE,CAAC,SAAS,CAAC,QAAQ,EAAE,IAAI,CAAC,SAAS,CAAC,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAA;AAC/D,CAAC;AAED,KAAK,UAAU,0BAA0B,CAAC,QAAgB;IACtD,MAAM,WAAW,GAAG,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,cAAc,CAAC,CAAA;IACvD,MAAM,QAAQ,GAAG,MAAM,YAAY,CAEhC,WAAW,CAAC,CAAA;IACf,IAAI,CAAC,QAAQ,EAAE,OAAO;QAAE,OAAM;IAC9B,MAAM,SAAS,GAAG,QAAQ,CAAC,OAAO,CAAC,MAAM,CACrC,CAAC,CAAC,EAAE,EAAE,CAAE,CAAwB,CAAC,IAAI,KAAK,SAAS,CACtD,CAAA;IACD,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACvB,MAAM,GAAG,GAAG,SAAS;aAChB,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;YACP,MAAM,EAAE,GAAI,CAAsB,CAAC,EAAE,CAAA;YACrC,OAAO,OAAO,EAAE,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,WAAW,CAAA;QACpD,CAAC,CAAC;aACD,IAAI,CAAC,IAAI,CAAC,CAAA;QACf,MAAM,IAAI,KAAK,CACX,2JAA2J,GAAG,kEAAkE,CACnO,CAAA;IACL,CAAC;AACL,CAAC;AAED,KAAK,UAAU,sBAAsB,CAAC,QAAgB;IAClD,MAAM,WAAW,GAAG,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,cAAc,CAAC,CAAA;IACvD,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,aAAa,CAAC,CAAA;IACrD,MAAM,eAAe,GAAG,MAAM,YAAY,CAEvC,WAAW,CAAC,CAAA;IACf,IAAI,CAAC,eAAe,EAAE,OAAO;QAAE,OAAM;IACrC,MAAM,cAAc,GAAG,CAAC,MAAM,YAAY,CAEvC,UAAU,CAAC,CAAC,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,CAAA;IACjC,cAAc,CAAC,MAAM,KAAK,EAAE,CAAA;IAC5B,KAAK,MAAM,MAAM,IAAI,eAAe,CAAC,OAAO,EAAE,CAAC;QAC3C,cAAc,CAAC,MAAM,CAAC,IAAI,CAAC;YACvB,GAAG,MAAM;YACT,IAAI,EAAE,UAAU;SACnB,CAAC,CAAA;IACN,CAAC;IACD,MAAM,aAAa,CAAC,UAAU,EAAE,cAAc,CAAC,CAAA;IAC/C,MAAM,EAAE,CAAC,MAAM,CAAC,WAAW,CAAC,CAAA;IAC5B,OAAO,CAAC,MAAM,CAAC,KAAK,CAChB,kCAAkC,eAAe,CAAC,OAAO,CAAC,MAAM,oCAAoC,CACvG,CAAA;AACL,CAAC;AAED,KAAK,UAAU,kBAAkB,CAAC,QAAgB;IAC9C,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,aAAa,CAAC,CAAA;IACrD,MAAM,QAAQ,GAAG,MAAM,YAAY,CAEhC,UAAU,CAAC,CAAA;IACd,IAAI,CAAC,QAAQ,EAAE,MAAM;QAAE,OAAM;IAC7B,IAAI,UAAU,GAAG,CAAC,CAAA;IAClB,KAAK,MAAM,KAAK,IAAI,QAAQ,CAAC,MAAM,EAAE,CAAC;QAClC,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YAC3B,KAAK,CAAC,IAAI,GAAG,QAAQ,CAAA;YACrB,UAAU,EAAE,CAAA;QAChB,CAAC;IACL,CAAC;IACD,IAAI,UAAU,GAAG,CAAC,EAAE,CAAC;QACjB,MAAM,aAAa,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAA;QACzC,OAAO,CAAC,MAAM,CAAC,KAAK,CAChB,oDAAoD,UAAU,wBAAwB,CACzF,CAAA;IACL,CAAC;AACL,CAAC;AAED,KAAK,UAAU,8BAA8B,CAAC,QAAgB;IAC1D,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,gCAAgC,CAAC,CAAA;IACrE,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,sBAAsB,CAAC,CAAA;IAC3D,MAAM,QAAQ,GAAG,MAAM,YAAY,CAEhC,OAAO,CAAC,CAAA;IACX,IAAI,CAAC,QAAQ,EAAE,uBAAuB;QAAE,OAAM;IAC9C,MAAM,aAAa,GAAG,IAAI,GAAG,CAAC;QAC1B,IAAI;QACJ,SAAS;QACT,cAAc;QACd,UAAU;QACV,eAAe;QACf,UAAU;KACb,CAAC,CAAA;IACF,MAAM,SAAS,GAAG,QAAQ,CAAC,uBAAuB,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;QAC3D,EAAE,EAAE,CAAC,CAAC,EAAE;QACR,aAAa,EAAE,CAAC,CAAC,OAAO;QACxB,kBAAkB,EAAE,CAAC,CAAC,YAAY;QAClC,aAAa,EAAE,CAAC,CAAC,QAAQ;QACzB,kBAAkB,EAAE,CAAC,CAAC,aAAa;QACnC,QAAQ,EAAE,CAAC,CAAC,QAAQ;QACpB,qEAAqE;QACrE,GAAG,MAAM,CAAC,WAAW,CACjB,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAC3D;KACJ,CAAC,CAAC,CAAA;IACH,MAAM,aAAa,CAAC,OAAO,EAAE,EAAE,cAAc,EAAE,SAAS,EAAE,CAAC,CAAA;IAC3D,MAAM,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,CAAA;IACxB,OAAO,CAAC,MAAM,CAAC,KAAK,CAChB,kCAAkC,SAAS,CAAC,MAAM,2CAA2C,CAChG,CAAA;AACL,CAAC;AAED,KAAK,UAAU,yBAAyB,CAAC,QAAgB;IACrD,MAAM,SAAS,GAAG,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,YAAY,CAAC,CAAA;IACnD,MAAM,QAAQ,GAAG,MAAM,YAAY,CAIhC,SAAS,CAAC,CAAA;IACb,IAAI,CAAC,QAAQ;QAAE,OAAM;IACrB,IAAI,CAAC,CAAC,SAAS,IAAI,QAAQ,CAAC;QAAE,OAAM;IAEpC,MAAM,OAAO,GAAG,QAAQ,CAAC,OAAO,IAAI,EAAE,CAAA;IACtC,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACvB,kEAAkE;QAClE,OAAO,QAAQ,CAAC,OAAO,CAAA;QACvB,MAAM,aAAa,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAA;QACxC,OAAM;IACV,CAAC;IAED,QAAQ,CAAC,MAAM,KAAK,EAAE,CAAA;IACtB,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,CAAA;IAChC,MAAM,WAAW,GAAG,OAAO,CAAC,MAAM,CAAA;IAClC,OAAO,QAAQ,CAAC,OAAO,CAAA;IACvB,MAAM,aAAa,CAAC,SAAS,EAAE,QAAQ,CAAC,CAAA;IACxC,OAAO,CAAC,MAAM,CAAC,KAAK,CAChB,+BAA+B,WAAW,8CAA8C,CAC3F,CAAA;AACL,CAAC;AAED,KAAK,UAAU,kBAAkB,CAAC,QAAgB;IAC9C,MAAM,WAAW,GAAG,uBAAuB,CAAC,WAAW,IAAI,IAAI,GAAG,EAAU,CAAA;IAC5E,MAAM,mBAAmB,GACrB,uBAAuB,CAAC,mBAAmB,IAAI,IAAI,GAAG,EAAU,CAAA;IAEpE,6BAA6B;IAC7B,MAAM,UAAU,GAAG,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,aAAa,CAAC,CAAA;IACrD,MAAM,cAAc,GAAG,MAAM,YAAY,CAEtC,UAAU,CAAC,CAAA;IACd,IAAI,UAAU,GAAG,CAAC,CAAA;IAClB,IAAI,cAAc,EAAE,MAAM,EAAE,CAAC;QACzB,KAAK,MAAM,KAAK,IAAI,cAAc,CAAC,MAAM,EAAE,CAAC;YACxC,KAAK,CAAC,QAAQ,GAAG,cAAc,CAAC,KAAK,EAAE,WAAW,CAAC,CAAA;YACnD,UAAU,EAAE,CAAA;QAChB,CAAC;QACD,MAAM,aAAa,CAAC,UAAU,EAAE,cAAc,CAAC,CAAA;IACnD,CAAC;IAED,gCAAgC;IAChC,MAAM,aAAa,GAAG,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,sBAAsB,CAAC,CAAA;IACjE,MAAM,iBAAiB,GAAG,MAAM,YAAY,CAEzC,aAAa,CAAC,CAAA;IACjB,IAAI,aAAa,GAAG,CAAC,CAAA;IACrB,IAAI,iBAAiB,EAAE,cAAc,EAAE,CAAC;QACpC,KAAK,MAAM,QAAQ,IAAI,iBAAiB,CAAC,cAAc,EAAE,CAAC;YACtD,QAAQ,CAAC,QAAQ,GAAG,cAAc,CAAC,QAAQ,EAAE,mBAAmB,CAAC,CAAA;YACjE,aAAa,EAAE,CAAA;QACnB,CAAC;QACD,MAAM,aAAa,CAAC,aAAa,EAAE,iBAAiB,CAAC,CAAA;IACzD,CAAC;IAED,OAAO,CAAC,MAAM,CAAC,KAAK,CAChB,iDAAiD,UAAU,iBAAiB,aAAa,gBAAgB,CAC5G,CAAA;AACL,CAAC;AAED,KAAK,UAAU,2BAA2B;IACtC,wEAAwE;IACxE,oEAAoE;IACpE,uEAAuE;IACvE,0EAA0E;IAC1E,8DAA8D;IAC9D,MAAM,YAAY,GAAG,MAAM,gBAAgB,EAAE,CAAA;IAC7C,MAAM,iBAAiB,CAAC,YAAY,CAAC,CAAA;IAErC,MAAM,oBAAoB,GAAG,MAAM,wBAAwB,CAAC,YAAY,CAAC,CAAA;IACzE,MAAM,yBAAyB,CAAC,oBAAoB,CAAC,CAAA;IAErD,OAAO,CAAC,MAAM,CAAC,KAAK,CAChB,6DAA6D,CAChE,CAAA;AACL,CAAC"}

package/dist/cli/storage/migrate-v0.11.d.ts

@@ -0,0 +1,15 @@
+/**
+ * One-time migration of CLI state directories from pre-v0.11.0 to v0.11.0:
+ *
+ *   - Backfills `type: "freeform"` on every premise `meta.json` that lacks it.
+ *
+ * Checksums are NOT stored in premise `meta.json` on disk — they are computed
+ * lazily at hydration time by `ArgumentEngine.fromSnapshot` via `flushChecksums()`.
+ * No checksum recomputation pass is required here; the runtime handles it.
+ *
+ * Detected via the absence of a `.proposit-v0.11` marker in the state dir;
+ * once migration completes (or there is nothing to migrate) the marker is
+ * written so subsequent CLI invocations no-op immediately.
+ */
+export declare function migrateV011(): Promise<void>;
+//# sourceMappingURL=migrate-v0.11.d.ts.map

package/dist/cli/storage/migrate-v0.11.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"migrate-v0.11.d.ts","sourceRoot":"","sources":["../../../src/cli/storage/migrate-v0.11.ts"],"names":[],"mappings":"AAMA;;;;;;;;;;;;GAYG;AACH,wBAAsB,WAAW,IAAI,OAAO,CAAC,IAAI,CAAC,CA8BjD"}