@proposit/shared 0.4.0 → 0.5.0

package/dist/schemas/model/claims.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"claims.d.ts","sourceRoot":"","sources":["../../../src/schemas/model/claims.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAE,KAAK,MAAM,EAAE,MAAM,SAAS,CAAA;AAG3C,eAAO,MAAM,wBAAwB;;;EAGnC,CAAA;AACF,MAAM,MAAM,mBAAmB,GAAG,MAAM,CAAC,OAAO,wBAAwB,CAAC,CAAA;AAEzE,eAAO,MAAM,wBAAwB;;;;EAKpC,CAAA;AACD,MAAM,MAAM,kBAAkB,GAAG,MAAM,CAAC,OAAO,wBAAwB,CAAC,CAAA;AAExE,eAAO,MAAM,UAAU;;;;;CAKb,CAAA;AAYV,eAAO,MAAM,gBAAgB,2JAAmD,CAAA;AAChF,MAAM,MAAM,iBAAiB,GAAG,MAAM,CAAC,OAAO,gBAAgB,CAAC,CAAA;AAE/D,eAAO,MAAM,WAAW;;;;;;;;;;;;;EAUtB,CAAA;AACF,MAAM,MAAM,MAAM,GAAG,MAAM,CAAC,OAAO,WAAW,CAAC,CAAA;AAE/C,eAAO,MAAM,uBAAuB;;;;;;;;;;;;;;;EAGlC,CAAA;AACF,MAAM,MAAM,kBAAkB,GAAG,MAAM,CAAC,OAAO,uBAAuB,CAAC,CAAA"}
+{"version":3,"file":"claims.d.ts","sourceRoot":"","sources":["../../../src/schemas/model/claims.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAE,KAAK,MAAM,EAAE,MAAM,SAAS,CAAA;AAI3C,eAAO,MAAM,wBAAwB;;;EAGnC,CAAA;AACF,MAAM,MAAM,mBAAmB,GAAG,MAAM,CAAC,OAAO,wBAAwB,CAAC,CAAA;AAEzE,eAAO,MAAM,wBAAwB;;;;EAKpC,CAAA;AACD,MAAM,MAAM,kBAAkB,GAAG,MAAM,CAAC,OAAO,wBAAwB,CAAC,CAAA;AAExE,eAAO,MAAM,UAAU;;;;;CAKb,CAAA;AAYV,eAAO,MAAM,gBAAgB,2JAAmD,CAAA;AAChF,MAAM,MAAM,iBAAiB,GAAG,MAAM,CAAC,OAAO,gBAAgB,CAAC,CAAA;AAE/D,eAAO,MAAM,eAAe,mEAG1B,CAAA;AACF,MAAM,MAAM,UAAU,GAAG,MAAM,CAAC,OAAO,eAAe,CAAC,CAAA;AAEvD,eAAO,MAAM,WAAW;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAgBtB,CAAA;AACF,MAAM,MAAM,MAAM,GAAG,MAAM,CAAC,OAAO,WAAW,CAAC,CAAA;AAE/C,eAAO,MAAM,uBAAuB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAGlC,CAAA;AACF,MAAM,MAAM,kBAAkB,GAAG,MAAM,CAAC,OAAO,uBAAuB,CAAC,CAAA"}

package/dist/schemas/model/claims.js

@@ -1,5 +1,6 @@
 import Type, {} from "typebox";
 import { EncodableDate, Nullable, UUID } from "../common.js";
+import { IEEEReferenceSchema } from "./references.js";
 export const MutableClaimFieldsSchema = Type.Object({
     title: Type.String(),
     body: Type.String(),
@@ -7,21 +8,25 @@ export const MutableClaimFieldsSchema = Type.Object({
 export const ClaimUpdateRequestSchema = Type.Interface([MutableClaimFieldsSchema], {
     digest: Type.String(),
 });
-export const ClaimTypes = {
+export const ClaimKinds = {
     CLAIM: "claim",
     CONCLUSION: "conclusion",
     DEFINITION: "definition",
     CRITERION: "criterion",
 };
-const ChildClaimTypes = Type.Union([
-    Type.Literal(ClaimTypes.DEFINITION),
-    Type.Literal(ClaimTypes.CRITERION),
+const ChildClaimKinds = Type.Union([
+    Type.Literal(ClaimKinds.DEFINITION),
+    Type.Literal(ClaimKinds.CRITERION),
 ]);
-const LogicalClaimTypes = Type.Union([
-    Type.Literal(ClaimTypes.CONCLUSION),
-    Type.Literal(ClaimTypes.CLAIM),
+const LogicalClaimKinds = Type.Union([
+    Type.Literal(ClaimKinds.CONCLUSION),
+    Type.Literal(ClaimKinds.CLAIM),
+]);
+export const ClaimKindsSchema = Type.Union([ChildClaimKinds, LogicalClaimKinds]);
+export const ClaimTypeSchema = Type.Union([
+    Type.Literal("normal"),
+    Type.Literal("citation"),
 ]);
-export const ClaimTypesSchema = Type.Union([ChildClaimTypes, LogicalClaimTypes]);
 export const ClaimSchema = Type.Interface([ClaimUpdateRequestSchema], {
     id: UUID,
     argumentId: UUID,
@@ -29,12 +34,18 @@ export const ClaimSchema = Type.Interface([ClaimUpdateRequestSchema], {
     claimForkId: Nullable(UUID),
     creatorId: UUID,
     createdOn: EncodableDate,
-    type: Type.Union([ChildClaimTypes, LogicalClaimTypes]),
+    kind: Type.Union([ChildClaimKinds, LogicalClaimKinds]),
+    type: ClaimTypeSchema,
     parentId: Nullable(UUID),
     titleContentHash: Type.Optional(Nullable(Type.String())),
+    // Citation-extra fields. Optional at the schema level; consumer code
+    // populates these on claims with type === "citation".
+    url: Type.Optional(Nullable(Type.String())),
+    citation: Type.Optional(IEEEReferenceSchema),
+    citationContentHash: Type.Optional(Nullable(Type.String())),
 });
 export const ClaimWithChildrenSchema = Type.Interface([ClaimSchema], {
     childClaimIds: Type.Array(UUID),
-    childSourceIds: Type.Array(UUID),
+    childCitationIds: Type.Array(UUID),
 });
 //# sourceMappingURL=claims.js.map

package/dist/schemas/model/claims.js.map

@@ -1 +1 @@
-{"version":3,"file":"claims.js","sourceRoot":"","sources":["../../../src/schemas/model/claims.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAe,MAAM,SAAS,CAAA;AAC3C,OAAO,EAAE,aAAa,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,cAAc,CAAA;AAE5D,MAAM,CAAC,MAAM,wBAAwB,GAAG,IAAI,CAAC,MAAM,CAAC;IAChD,KAAK,EAAE,IAAI,CAAC,MAAM,EAAE;IACpB,IAAI,EAAE,IAAI,CAAC,MAAM,EAAE;CACtB,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,wBAAwB,GAAG,IAAI,CAAC,SAAS,CAClD,CAAC,wBAAwB,CAAC,EAC1B;IACI,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE;CACxB,CACJ,CAAA;AAGD,MAAM,CAAC,MAAM,UAAU,GAAG;IACtB,KAAK,EAAE,OAAO;IACd,UAAU,EAAE,YAAY;IACxB,UAAU,EAAE,YAAY;IACxB,SAAS,EAAE,WAAW;CAChB,CAAA;AAEV,MAAM,eAAe,GAAG,IAAI,CAAC,KAAK,CAAC;IAC/B,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,UAAU,CAAC;IACnC,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,SAAS,CAAC;CACrC,CAAC,CAAA;AAEF,MAAM,iBAAiB,GAAG,IAAI,CAAC,KAAK,CAAC;IACjC,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,UAAU,CAAC;IACnC,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,KAAK,CAAC;CACjC,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,gBAAgB,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,eAAe,EAAE,iBAAiB,CAAC,CAAC,CAAA;AAGhF,MAAM,CAAC,MAAM,WAAW,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,wBAAwB,CAAC,EAAE;IAClE,EAAE,EAAE,IAAI;IACR,UAAU,EAAE,IAAI;IAChB,OAAO,EAAE,IAAI,CAAC,MAAM,EAAE;IACtB,WAAW,EAAE,QAAQ,CAAC,IAAI,CAAC;IAC3B,SAAS,EAAE,IAAI;IACf,SAAS,EAAE,aAAa;IACxB,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,eAAe,EAAE,iBAAiB,CAAC,CAAC;IACtD,QAAQ,EAAE,QAAQ,CAAC,IAAI,CAAC;IACxB,gBAAgB,EAAE,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;CAC3D,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,uBAAuB,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,WAAW,CAAC,EAAE;IACjE,aAAa,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC;IAC/B,cAAc,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC;CACnC,CAAC,CAAA"}
+{"version":3,"file":"claims.js","sourceRoot":"","sources":["../../../src/schemas/model/claims.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAe,MAAM,SAAS,CAAA;AAC3C,OAAO,EAAE,aAAa,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,cAAc,CAAA;AAC5D,OAAO,EAAE,mBAAmB,EAAE,MAAM,iBAAiB,CAAA;AAErD,MAAM,CAAC,MAAM,wBAAwB,GAAG,IAAI,CAAC,MAAM,CAAC;IAChD,KAAK,EAAE,IAAI,CAAC,MAAM,EAAE;IACpB,IAAI,EAAE,IAAI,CAAC,MAAM,EAAE;CACtB,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,wBAAwB,GAAG,IAAI,CAAC,SAAS,CAClD,CAAC,wBAAwB,CAAC,EAC1B;IACI,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE;CACxB,CACJ,CAAA;AAGD,MAAM,CAAC,MAAM,UAAU,GAAG;IACtB,KAAK,EAAE,OAAO;IACd,UAAU,EAAE,YAAY;IACxB,UAAU,EAAE,YAAY;IACxB,SAAS,EAAE,WAAW;CAChB,CAAA;AAEV,MAAM,eAAe,GAAG,IAAI,CAAC,KAAK,CAAC;IAC/B,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,UAAU,CAAC;IACnC,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,SAAS,CAAC;CACrC,CAAC,CAAA;AAEF,MAAM,iBAAiB,GAAG,IAAI,CAAC,KAAK,CAAC;IACjC,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,UAAU,CAAC;IACnC,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,KAAK,CAAC;CACjC,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,gBAAgB,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,eAAe,EAAE,iBAAiB,CAAC,CAAC,CAAA;AAGhF,MAAM,CAAC,MAAM,eAAe,GAAG,IAAI,CAAC,KAAK,CAAC;IACtC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC;IACtB,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC;CAC3B,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,WAAW,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,wBAAwB,CAAC,EAAE;IAClE,EAAE,EAAE,IAAI;IACR,UAAU,EAAE,IAAI;IAChB,OAAO,EAAE,IAAI,CAAC,MAAM,EAAE;IACtB,WAAW,EAAE,QAAQ,CAAC,IAAI,CAAC;IAC3B,SAAS,EAAE,IAAI;IACf,SAAS,EAAE,aAAa;IACxB,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,eAAe,EAAE,iBAAiB,CAAC,CAAC;IACtD,IAAI,EAAE,eAAe;IACrB,QAAQ,EAAE,QAAQ,CAAC,IAAI,CAAC;IACxB,gBAAgB,EAAE,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;IACxD,qEAAqE;IACrE,sDAAsD;IACtD,GAAG,EAAE,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;IAC3C,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,mBAAmB,CAAC;IAC5C,mBAAmB,EAAE,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;CAC9D,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,uBAAuB,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,WAAW,CAAC,EAAE;IACjE,aAAa,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC;IAC/B,gBAAgB,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC;CACrC,CAAC,CAAA"}

package/dist/schemas/model/forks.d.ts

@@ -50,7 +50,7 @@ export declare const ClaimForkSchema: Type.TIntersect<[Type.TObject<{
     forkedByUserId: Type.TString;
 }>]>;
 export type TClaimFork = Static<typeof ClaimForkSchema>;
-export declare const SourceForkSchema: Type.TIntersect<[Type.TObject<{
+export declare const CitationForkSchema: Type.TIntersect<[Type.TObject<{
     entityId: Type.TString;
     forkedFromEntityId: Type.TUnion<[Type.TString, Type.TNull]>;
     forkedFromArgumentId: Type.TUnion<[Type.TString, Type.TNull]>;
@@ -59,5 +59,5 @@ export declare const SourceForkSchema: Type.TIntersect<[Type.TObject<{
 }>, Type.TObject<{
     forkedFromEntityVersion: Type.TUnion<[Type.TNumber, Type.TNull]>;
 }>]>;
-export type TSourceFork = Static<typeof SourceForkSchema>;
+export type TCitationFork = Static<typeof CitationForkSchema>;
 //# sourceMappingURL=forks.d.ts.map

package/dist/schemas/model/forks.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"forks.d.ts","sourceRoot":"","sources":["../../../src/schemas/model/forks.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAE,KAAK,MAAM,EAAE,MAAM,SAAS,CAAA;AAoB3C,eAAO,MAAM,kBAAkB;;;;;;;;;;;IAQ7B,CAAA;AACF,MAAM,MAAM,aAAa,GAAG,MAAM,CAAC,OAAO,kBAAkB,CAAC,CAAA;AAM7D,eAAO,MAAM,iBAAiB;;;;;;EAAuB,CAAA;AACrD,MAAM,MAAM,YAAY,GAAG,MAAM,CAAC,OAAO,iBAAiB,CAAC,CAAA;AAM3D,eAAO,MAAM,oBAAoB;;;;;;;;IAK/B,CAAA;AACF,MAAM,MAAM,eAAe,GAAG,MAAM,CAAC,OAAO,oBAAoB,CAAC,CAAA;AAMjE,eAAO,MAAM,kBAAkB;;;;;;EAAuB,CAAA;AACtD,MAAM,MAAM,aAAa,GAAG,MAAM,CAAC,OAAO,kBAAkB,CAAC,CAAA;AAM7D,eAAO,MAAM,eAAe;;;;;;;;;;IAO1B,CAAA;AACF,MAAM,MAAM,UAAU,GAAG,MAAM,CAAC,OAAO,eAAe,CAAC,CAAA;AAMvD,eAAO,MAAM,gBAAgB;;;;;;;;IAK3B,CAAA;AACF,MAAM,MAAM,WAAW,GAAG,MAAM,CAAC,OAAO,gBAAgB,CAAC,CAAA"}
+{"version":3,"file":"forks.d.ts","sourceRoot":"","sources":["../../../src/schemas/model/forks.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAE,KAAK,MAAM,EAAE,MAAM,SAAS,CAAA;AAoB3C,eAAO,MAAM,kBAAkB;;;;;;;;;;;IAQ7B,CAAA;AACF,MAAM,MAAM,aAAa,GAAG,MAAM,CAAC,OAAO,kBAAkB,CAAC,CAAA;AAM7D,eAAO,MAAM,iBAAiB;;;;;;EAAuB,CAAA;AACrD,MAAM,MAAM,YAAY,GAAG,MAAM,CAAC,OAAO,iBAAiB,CAAC,CAAA;AAM3D,eAAO,MAAM,oBAAoB;;;;;;;;IAK/B,CAAA;AACF,MAAM,MAAM,eAAe,GAAG,MAAM,CAAC,OAAO,oBAAoB,CAAC,CAAA;AAMjE,eAAO,MAAM,kBAAkB;;;;;;EAAuB,CAAA;AACtD,MAAM,MAAM,aAAa,GAAG,MAAM,CAAC,OAAO,kBAAkB,CAAC,CAAA;AAM7D,eAAO,MAAM,eAAe;;;;;;;;;;IAO1B,CAAA;AACF,MAAM,MAAM,UAAU,GAAG,MAAM,CAAC,OAAO,eAAe,CAAC,CAAA;AAMvD,eAAO,MAAM,kBAAkB;;;;;;;;IAK7B,CAAA;AACF,MAAM,MAAM,aAAa,GAAG,MAAM,CAAC,OAAO,kBAAkB,CAAC,CAAA"}

package/dist/schemas/model/forks.js

@@ -52,9 +52,9 @@ export const ClaimForkSchema = Type.Intersect([
     }),
 ]);
 // ---------------------------------------------------------------------------
-// Source fork record — tracks source version.
+// Citation fork record — tracks citation edge version.
 // ---------------------------------------------------------------------------
-export const SourceForkSchema = Type.Intersect([
+export const CitationForkSchema = Type.Intersect([
     EntityForkRecordBase,
     Type.Object({
         forkedFromEntityVersion: Nullable(Type.Number()),

package/dist/schemas/model/forks.js.map

@@ -1 +1 @@
-{"version":3,"file":"forks.js","sourceRoot":"","sources":["../../../src/schemas/model/forks.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAe,MAAM,SAAS,CAAA;AAC3C,OAAO,EAAE,aAAa,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,cAAc,CAAA;AAE5D,8EAA8E;AAC9E,qEAAqE;AACrE,+EAA+E;AAC/E,8EAA8E;AAE9E,MAAM,oBAAoB,GAAG,IAAI,CAAC,MAAM,CAAC;IACrC,QAAQ,EAAE,IAAI;IACd,kBAAkB,EAAE,QAAQ,CAAC,IAAI,CAAC;IAClC,oBAAoB,EAAE,QAAQ,CAAC,IAAI,CAAC;IACpC,yBAAyB,EAAE,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;IAClD,MAAM,EAAE,IAAI;CACf,CAAC,CAAA;AAEF,8EAA8E;AAC9E,8EAA8E;AAC9E,8EAA8E;AAE9E,MAAM,CAAC,MAAM,kBAAkB,GAAG,IAAI,CAAC,SAAS,CAAC;IAC7C,oBAAoB;IACpB,IAAI,CAAC,MAAM,CAAC;QACR,EAAE,EAAE,IAAI;QACR,YAAY,EAAE,IAAI;QAClB,cAAc,EAAE,IAAI;QACpB,SAAS,EAAE,aAAa;KAC3B,CAAC;CACL,CAAC,CAAA;AAGF,8EAA8E;AAC9E,qDAAqD;AACrD,8EAA8E;AAE9E,MAAM,CAAC,MAAM,iBAAiB,GAAG,oBAAoB,CAAA;AAGrD,8EAA8E;AAC9E,0DAA0D;AAC1D,8EAA8E;AAE9E,MAAM,CAAC,MAAM,oBAAoB,GAAG,IAAI,CAAC,SAAS,CAAC;IAC/C,oBAAoB;IACpB,IAAI,CAAC,MAAM,CAAC;QACR,mBAAmB,EAAE,QAAQ,CAAC,IAAI,CAAC;KACtC,CAAC;CACL,CAAC,CAAA;AAGF,8EAA8E;AAC9E,sDAAsD;AACtD,8EAA8E;AAE9E,MAAM,CAAC,MAAM,kBAAkB,GAAG,oBAAoB,CAAA;AAGtD,8EAA8E;AAC9E,iEAAiE;AACjE,8EAA8E;AAE9E,MAAM,CAAC,MAAM,eAAe,GAAG,IAAI,CAAC,SAAS,CAAC;IAC1C,oBAAoB;IACpB,IAAI,CAAC,MAAM,CAAC;QACR,uBAAuB,EAAE,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;QAChD,YAAY,EAAE,IAAI;QAClB,cAAc,EAAE,IAAI;KACvB,CAAC;CACL,CAAC,CAAA;AAGF,8EAA8E;AAC9E,8CAA8C;AAC9C,8EAA8E;AAE9E,MAAM,CAAC,MAAM,gBAAgB,GAAG,IAAI,CAAC,SAAS,CAAC;IAC3C,oBAAoB;IACpB,IAAI,CAAC,MAAM,CAAC;QACR,uBAAuB,EAAE,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;KACnD,CAAC;CACL,CAAC,CAAA"}
+{"version":3,"file":"forks.js","sourceRoot":"","sources":["../../../src/schemas/model/forks.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAe,MAAM,SAAS,CAAA;AAC3C,OAAO,EAAE,aAAa,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,cAAc,CAAA;AAE5D,8EAA8E;AAC9E,qEAAqE;AACrE,+EAA+E;AAC/E,8EAA8E;AAE9E,MAAM,oBAAoB,GAAG,IAAI,CAAC,MAAM,CAAC;IACrC,QAAQ,EAAE,IAAI;IACd,kBAAkB,EAAE,QAAQ,CAAC,IAAI,CAAC;IAClC,oBAAoB,EAAE,QAAQ,CAAC,IAAI,CAAC;IACpC,yBAAyB,EAAE,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;IAClD,MAAM,EAAE,IAAI;CACf,CAAC,CAAA;AAEF,8EAA8E;AAC9E,8EAA8E;AAC9E,8EAA8E;AAE9E,MAAM,CAAC,MAAM,kBAAkB,GAAG,IAAI,CAAC,SAAS,CAAC;IAC7C,oBAAoB;IACpB,IAAI,CAAC,MAAM,CAAC;QACR,EAAE,EAAE,IAAI;QACR,YAAY,EAAE,IAAI;QAClB,cAAc,EAAE,IAAI;QACpB,SAAS,EAAE,aAAa;KAC3B,CAAC;CACL,CAAC,CAAA;AAGF,8EAA8E;AAC9E,qDAAqD;AACrD,8EAA8E;AAE9E,MAAM,CAAC,MAAM,iBAAiB,GAAG,oBAAoB,CAAA;AAGrD,8EAA8E;AAC9E,0DAA0D;AAC1D,8EAA8E;AAE9E,MAAM,CAAC,MAAM,oBAAoB,GAAG,IAAI,CAAC,SAAS,CAAC;IAC/C,oBAAoB;IACpB,IAAI,CAAC,MAAM,CAAC;QACR,mBAAmB,EAAE,QAAQ,CAAC,IAAI,CAAC;KACtC,CAAC;CACL,CAAC,CAAA;AAGF,8EAA8E;AAC9E,sDAAsD;AACtD,8EAA8E;AAE9E,MAAM,CAAC,MAAM,kBAAkB,GAAG,oBAAoB,CAAA;AAGtD,8EAA8E;AAC9E,iEAAiE;AACjE,8EAA8E;AAE9E,MAAM,CAAC,MAAM,eAAe,GAAG,IAAI,CAAC,SAAS,CAAC;IAC1C,oBAAoB;IACpB,IAAI,CAAC,MAAM,CAAC;QACR,uBAAuB,EAAE,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;QAChD,YAAY,EAAE,IAAI;QAClB,cAAc,EAAE,IAAI;KACvB,CAAC;CACL,CAAC,CAAA;AAGF,8EAA8E;AAC9E,uDAAuD;AACvD,8EAA8E;AAE9E,MAAM,CAAC,MAAM,kBAAkB,GAAG,IAAI,CAAC,SAAS,CAAC;IAC7C,oBAAoB;IACpB,IAAI,CAAC,MAAM,CAAC;QACR,uBAAuB,EAAE,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;KACnD,CAAC;CACL,CAAC,CAAA"}

package/dist/schemas/model/index.d.ts

@@ -1,6 +1,6 @@
 export * from "./users.js";
 export * from "./arguments.js";
 export * from "./claims.js";
-export * from "./sources.js";
+export * from "./citations.js";
 export * from "./references.js";
 //# sourceMappingURL=index.d.ts.map

package/dist/schemas/model/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/schemas/model/index.ts"],"names":[],"mappings":"AAAA,cAAc,YAAY,CAAA;AAC1B,cAAc,gBAAgB,CAAA;AAC9B,cAAc,aAAa,CAAA;AAC3B,cAAc,cAAc,CAAA;AAC5B,cAAc,iBAAiB,CAAA"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/schemas/model/index.ts"],"names":[],"mappings":"AAAA,cAAc,YAAY,CAAA;AAC1B,cAAc,gBAAgB,CAAA;AAC9B,cAAc,aAAa,CAAA;AAC3B,cAAc,gBAAgB,CAAA;AAC9B,cAAc,iBAAiB,CAAA"}

package/dist/schemas/model/index.js

@@ -1,6 +1,6 @@
 export * from "./users.js";
 export * from "./arguments.js";
 export * from "./claims.js";
-export * from "./sources.js";
+export * from "./citations.js";
 export * from "./references.js";
 //# sourceMappingURL=index.js.map

package/dist/schemas/model/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/schemas/model/index.ts"],"names":[],"mappings":"AAAA,cAAc,YAAY,CAAA;AAC1B,cAAc,gBAAgB,CAAA;AAC9B,cAAc,aAAa,CAAA;AAC3B,cAAc,cAAc,CAAA;AAC5B,cAAc,iBAAiB,CAAA"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/schemas/model/index.ts"],"names":[],"mappings":"AAAA,cAAc,YAAY,CAAA;AAC1B,cAAc,gBAAgB,CAAA;AAC9B,cAAc,aAAa,CAAA;AAC3B,cAAc,gBAAgB,CAAA;AAC9B,cAAc,iBAAiB,CAAA"}

package/dist/schemas/model/users.d.ts

@@ -70,12 +70,12 @@ export declare const SessionSchema: Type.TObject<{
     expires: import("../common.js").TDateType;
 }>;
 export type TSession = Static<typeof SessionSchema>;
-export declare const ObjectLimitTypes: Type.TUnion<[Type.TLiteral<"arguments">, Type.TLiteral<"statements">, Type.TLiteral<"sources">, Type.TLiteral<"tokens">]>;
+export declare const ObjectLimitTypes: Type.TUnion<[Type.TLiteral<"arguments">, Type.TLiteral<"statements">, Type.TLiteral<"citations">, Type.TLiteral<"tokens">]>;
 export type TObjectLimitTypes = Static<typeof ObjectLimitTypes>;
 export declare const UserTierLimitsSchema: Type.TObject<{
     maxArguments: Type.TInteger;
     maxStatementsPerArg: Type.TInteger;
-    maxSourcesPerArg: Type.TInteger;
+    maxCitationsPerArg: Type.TInteger;
     maxTokensPerMonth: Type.TInteger;
 }>;
 export type TUserTierLimits = Static<typeof UserTierLimitsSchema>;
@@ -100,7 +100,7 @@ export declare const GetUserUsageDataResponse: Type.TObject<{
     limits: Type.TObject<{
         maxArguments: Type.TInteger;
         maxStatementsPerArg: Type.TInteger;
-        maxSourcesPerArg: Type.TInteger;
+        maxCitationsPerArg: Type.TInteger;
         maxTokensPerMonth: Type.TInteger;
     }>;
 }>;

package/dist/schemas/model/users.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"users.d.ts","sourceRoot":"","sources":["../../../src/schemas/model/users.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAE,KAAK,MAAM,EAAE,KAAK,cAAc,EAAE,MAAM,SAAS,CAAA;AAGhE,eAAO,MAAM,SAAS;;;;;;;;CASZ,CAAA;AACV,eAAO,MAAM,eAAe;;;;;;;;EAS1B,CAAA;AACF,MAAM,MAAM,UAAU,GAAG,MAAM,CAAC,OAAO,eAAe,CAAC,CAAA;AACvD,eAAO,MAAM,mBAAmB,GAAI,UAAU,cAAc,sJACS,CAAA;AACrE,eAAO,MAAM,YAAY,mJAAwB,CAAA;AACjD,MAAM,MAAM,aAAa,GAAG,MAAM,CAAC,OAAO,YAAY,CAAC,CAAA;AAEvD,eAAO,MAAM,UAAU;;;;;;;;;;;;;EAarB,CAAA;AACF,MAAM,MAAM,KAAK,GAAG,MAAM,CAAC,OAAO,UAAU,CAAC,CAAA;AAE7C,eAAO,MAAM,sBAAsB;;;;EAIjC,CAAA;AAEF,eAAO,MAAM,uBAAuB;;;;EAIlC,CAAA;AACF,MAAM,MAAM,kBAAkB,GAAG,MAAM,CAAC,OAAO,uBAAuB,CAAC,CAAA;AAEvE,eAAO,MAAM,aAAa;;;;;;;;;;;;;;EAmBxB,CAAA;AACF,MAAM,MAAM,QAAQ,GAAG,MAAM,CAAC,OAAO,aAAa,CAAC,CAAA;AAEnD,eAAO,MAAM,aAAa;;;;;EAMxB,CAAA;AACF,MAAM,MAAM,QAAQ,GAAG,MAAM,CAAC,OAAO,aAAa,CAAC,CAAA;AAEnD,eAAO,MAAM,gBAAgB,2HAK3B,CAAA;AACF,MAAM,MAAM,iBAAiB,GAAG,MAAM,CAAC,OAAO,gBAAgB,CAAC,CAAA;AAE/D,eAAO,MAAM,oBAAoB;;;;;EAK/B,CAAA;AACF,MAAM,MAAM,eAAe,GAAG,MAAM,CAAC,OAAO,oBAAoB,CAAC,CAAA;AAEjE,eAAO,MAAM,mBAAmB;;;;;;;EAO9B,CAAA;AACF,MAAM,MAAM,cAAc,GAAG,MAAM,CAAC,OAAO,mBAAmB,CAAC,CAAA;AAE/D,eAAO,MAAM,wBAAwB;;;;;;;;;;;;;;;EAGnC,CAAA;AACF,MAAM,MAAM,yBAAyB,GAAG,MAAM,CAAC,OAAO,wBAAwB,CAAC,CAAA;AAE/E,eAAO,MAAM,4BAA4B;;;;;;;;;;EAUvC,CAAA;AACF,MAAM,MAAM,uBAAuB,GAAG,MAAM,CACxC,OAAO,4BAA4B,CACtC,CAAA;AAED,eAAO,MAAM,eAAe;;;;;;;;EAQ1B,CAAA;AACF,MAAM,MAAM,UAAU,GAAG,MAAM,CAAC,OAAO,eAAe,CAAC,CAAA;AAEvD,eAAO,MAAM,gBAAgB;;;;;EAM3B,CAAA;AACF,MAAM,MAAM,WAAW,GAAG,MAAM,CAAC,OAAO,gBAAgB,CAAC,CAAA;AAEzD,eAAO,MAAM,kCAAkC;;;EAG7C,CAAA;AACF,MAAM,MAAM,6BAA6B,GAAG,MAAM,CAC9C,OAAO,kCAAkC,CAC5C,CAAA;AAED,eAAO,MAAM,yCAAyC;;;;;;EAMpD,CAAA;AACF,MAAM,MAAM,oCAAoC,GAAG,MAAM,CACrD,OAAO,yCAAyC,CACnD,CAAA"}
+{"version":3,"file":"users.d.ts","sourceRoot":"","sources":["../../../src/schemas/model/users.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAE,KAAK,MAAM,EAAE,KAAK,cAAc,EAAE,MAAM,SAAS,CAAA;AAGhE,eAAO,MAAM,SAAS;;;;;;;;CASZ,CAAA;AACV,eAAO,MAAM,eAAe;;;;;;;;EAS1B,CAAA;AACF,MAAM,MAAM,UAAU,GAAG,MAAM,CAAC,OAAO,eAAe,CAAC,CAAA;AACvD,eAAO,MAAM,mBAAmB,GAAI,UAAU,cAAc,sJACS,CAAA;AACrE,eAAO,MAAM,YAAY,mJAAwB,CAAA;AACjD,MAAM,MAAM,aAAa,GAAG,MAAM,CAAC,OAAO,YAAY,CAAC,CAAA;AAEvD,eAAO,MAAM,UAAU;;;;;;;;;;;;;EAarB,CAAA;AACF,MAAM,MAAM,KAAK,GAAG,MAAM,CAAC,OAAO,UAAU,CAAC,CAAA;AAE7C,eAAO,MAAM,sBAAsB;;;;EAIjC,CAAA;AAEF,eAAO,MAAM,uBAAuB;;;;EAIlC,CAAA;AACF,MAAM,MAAM,kBAAkB,GAAG,MAAM,CAAC,OAAO,uBAAuB,CAAC,CAAA;AAEvE,eAAO,MAAM,aAAa;;;;;;;;;;;;;;EAmBxB,CAAA;AACF,MAAM,MAAM,QAAQ,GAAG,MAAM,CAAC,OAAO,aAAa,CAAC,CAAA;AAEnD,eAAO,MAAM,aAAa;;;;;EAMxB,CAAA;AACF,MAAM,MAAM,QAAQ,GAAG,MAAM,CAAC,OAAO,aAAa,CAAC,CAAA;AAEnD,eAAO,MAAM,gBAAgB,6HAK3B,CAAA;AACF,MAAM,MAAM,iBAAiB,GAAG,MAAM,CAAC,OAAO,gBAAgB,CAAC,CAAA;AAE/D,eAAO,MAAM,oBAAoB;;;;;EAK/B,CAAA;AACF,MAAM,MAAM,eAAe,GAAG,MAAM,CAAC,OAAO,oBAAoB,CAAC,CAAA;AAEjE,eAAO,MAAM,mBAAmB;;;;;;;EAO9B,CAAA;AACF,MAAM,MAAM,cAAc,GAAG,MAAM,CAAC,OAAO,mBAAmB,CAAC,CAAA;AAE/D,eAAO,MAAM,wBAAwB;;;;;;;;;;;;;;;EAGnC,CAAA;AACF,MAAM,MAAM,yBAAyB,GAAG,MAAM,CAAC,OAAO,wBAAwB,CAAC,CAAA;AAE/E,eAAO,MAAM,4BAA4B;;;;;;;;;;EAUvC,CAAA;AACF,MAAM,MAAM,uBAAuB,GAAG,MAAM,CACxC,OAAO,4BAA4B,CACtC,CAAA;AAED,eAAO,MAAM,eAAe;;;;;;;;EAQ1B,CAAA;AACF,MAAM,MAAM,UAAU,GAAG,MAAM,CAAC,OAAO,eAAe,CAAC,CAAA;AAEvD,eAAO,MAAM,gBAAgB;;;;;EAM3B,CAAA;AACF,MAAM,MAAM,WAAW,GAAG,MAAM,CAAC,OAAO,gBAAgB,CAAC,CAAA;AAEzD,eAAO,MAAM,kCAAkC;;;EAG7C,CAAA;AACF,MAAM,MAAM,6BAA6B,GAAG,MAAM,CAC9C,OAAO,kCAAkC,CAC5C,CAAA;AAED,eAAO,MAAM,yCAAyC;;;;;;EAMpD,CAAA;AACF,MAAM,MAAM,oCAAoC,GAAG,MAAM,CACrD,OAAO,yCAAyC,CACnD,CAAA"}

package/dist/schemas/model/users.js

@@ -74,13 +74,13 @@ export const SessionSchema = Type.Object({
 export const ObjectLimitTypes = Type.Union([
     Type.Literal("arguments"),
     Type.Literal("statements"),
-    Type.Literal("sources"),
+    Type.Literal("citations"),
     Type.Literal("tokens"),
 ]);
 export const UserTierLimitsSchema = Type.Object({
     maxArguments: Type.Integer(),
     maxStatementsPerArg: Type.Integer(),
-    maxSourcesPerArg: Type.Integer(),
+    maxCitationsPerArg: Type.Integer(),
     maxTokensPerMonth: Type.Integer(),
 });
 export const UserUsageDataSchema = Type.Object({

package/dist/schemas/model/users.js.map

@@ -1 +1 @@
-{"version":3,"file":"users.js","sourceRoot":"","sources":["../../../src/schemas/model/users.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAoC,MAAM,SAAS,CAAA;AAChE,OAAO,EAAE,aAAa,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,cAAc,CAAA;AAE5D,MAAM,CAAC,MAAM,SAAS,GAAG;IACrB,UAAU,EAAE,CAAC;IACb,IAAI,EAAE,CAAC;IACP,OAAO,EAAE,CAAC;IACV,UAAU,EAAE,CAAC;IAEb,MAAM,EAAE,GAAG;IACX,WAAW,EAAE,GAAG;IAChB,SAAS,EAAE,GAAG;CACR,CAAA;AACV,MAAM,CAAC,MAAM,eAAe,GAAG,IAAI,CAAC,MAAM,CAAC;IACvC,UAAU,EAAE,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,UAAU,CAAC;IAC9C,IAAI,EAAE,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC;IAClC,OAAO,EAAE,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC;IACxC,UAAU,EAAE,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,UAAU,CAAC;IAE9C,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC;IACtC,WAAW,EAAE,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,WAAW,CAAC;IAChD,SAAS,EAAE,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,SAAS,CAAC;CAC/C,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,mBAAmB,GAAG,CAAC,OAAwB,EAAE,EAAE,CAC5D,IAAI,CAAC,KAAK,CAAC,eAAe,EAAE,IAAI,CAAC,KAAK,CAAC,eAAe,CAAC,EAAE,OAAO,CAAC,CAAA;AACrE,MAAM,CAAC,MAAM,YAAY,GAAG,mBAAmB,EAAE,CAAA;AAGjD,MAAM,CAAC,MAAM,UAAU,GAAG,IAAI,CAAC,MAAM,CAAC;IAClC,EAAE,EAAE,IAAI;IACR,IAAI,EAAE,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;IAC7B,KAAK,EAAE,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;IAC9B,aAAa,EAAE,QAAQ,CAAC,aAAa,CAAC;IACtC,KAAK,EAAE,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;IAC9B,QAAQ,EAAE,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;IACjC,IAAI,EAAE,YAAY;IAClB,UAAU,EAAE,IAAI,CAAC,OAAO,EAAE;IAC1B,kBAAkB,EAAE,IAAI,CAAC,OAAO,EAAE;IAClC,YAAY,EAAE,aAAa;IAC3B,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE;IACvB,gBAAgB,EAAE,aAAa;CAClC,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,sBAAsB,GAAG,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE;IACxD,MAAM;IACN,UAAU;IACV,OAAO;CACV,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,uBAAuB,GAAG,IAAI,CAAC,MAAM,CAAC;IAC/C,UAAU,EAAE,IAAI,CAAC,MAAM,EAAE;IACzB,OAAO,EAAE,aAAa;IACtB,KAAK,EAAE,IAAI,CAAC,MAAM,EAAE;CACvB,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,aAAa,GAAG,IAAI,CAAC,MAAM,CAAC;IACrC,EAAE,EAAE,IAAI;IACR,MAAM,EAAE,IAAI;IACZ,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC;QACb,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC;QACrB,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC;QACpB,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC;QACrB,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC;KAC3B,CAAC;IACF,QAAQ,EAAE,IAAI,CAAC,MAAM,EAAE;IACvB,iBAAiB,EAAE,IAAI,CAAC,MAAM,EAAE;IAChC,YAAY,EAAE,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;IACrC,WAAW,EAAE,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;IACpC,SAAS,EAAE,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;IAClC,OAAO,EAAE,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;IAChC,KAAK,EAAE,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;IAC9B,YAAY,EAAE,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;IACrC,SAAS,EAAE,QAAQ,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;IAClD,QAAQ,EAAE,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;CACpC,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,aAAa,GAAG,IAAI,CAAC,MAAM,CAAC;IACrC,EAAE,EAAE,IAAI;IACR,MAAM,EAAE,IAAI;IACZ,sBAAsB;IACtB,YAAY,EAAE,IAAI,CAAC,MAAM,EAAE;IAC3B,OAAO,EAAE,aAAa;CACzB,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,gBAAgB,GAAG,IAAI,CAAC,KAAK,CAAC;IACvC,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC;IACzB,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC;IAC1B,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC;IACvB,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC;CACzB,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,oBAAoB,GAAG,IAAI,CAAC,MAAM,CAAC;IAC5C,YAAY,EAAE,IAAI,CAAC,OAAO,EAAE;IAC5B,mBAAmB,EAAE,IAAI,CAAC,OAAO,EAAE;IACnC,gBAAgB,EAAE,IAAI,CAAC,OAAO,EAAE;IAChC,iBAAiB,EAAE,IAAI,CAAC,OAAO,EAAE;CACpC,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,mBAAmB,GAAG,IAAI,CAAC,MAAM,CAAC;IAC3C,MAAM,EAAE,IAAI;IACZ,aAAa,EAAE,IAAI,CAAC,MAAM,EAAE;IAC5B,UAAU,EAAE,IAAI,CAAC,MAAM,EAAE;IACzB,kBAAkB,EAAE,IAAI,CAAC,MAAM,EAAE;IACjC,YAAY,EAAE,aAAa;IAC3B,IAAI,EAAE,YAAY;CACrB,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,wBAAwB,GAAG,IAAI,CAAC,MAAM,CAAC;IAChD,KAAK,EAAE,mBAAmB;IAC1B,MAAM,EAAE,oBAAoB;CAC/B,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,4BAA4B,GAAG,IAAI,CAAC,MAAM,CAAC;IACpD,IAAI,EAAE,IAAI,CAAC,MAAM,EAAE;IACnB,SAAS,EAAE,IAAI;IACf,SAAS,EAAE,aAAa;IACxB,SAAS,EAAE,aAAa;IACxB,IAAI,EAAE,IAAI,CAAC,OAAO,EAAE;IACpB,MAAM,EAAE,QAAQ,CAAC,aAAa,CAAC;IAC/B,MAAM,EAAE,QAAQ,CAAC,IAAI,CAAC;IACtB,cAAc,EAAE,QAAQ,CAAC,YAAY,CAAC;IACtC,gBAAgB,EAAE,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;CAC5C,CAAC,CAAA;AAKF,MAAM,CAAC,MAAM,eAAe,GAAG,IAAI,CAAC,MAAM,CAAC;IACvC,EAAE,EAAE,IAAI,CAAC,OAAO,EAAE;IAClB,IAAI,EAAE,IAAI,CAAC,MAAM,EAAE;IACnB,SAAS,EAAE,IAAI;IACf,SAAS,EAAE,aAAa;IACxB,QAAQ,EAAE,IAAI,CAAC,OAAO,EAAE;IACxB,SAAS,EAAE,QAAQ,CAAC,aAAa,CAAC;IAClC,cAAc,EAAE,QAAQ,CAAC,YAAY,CAAC;CACzC,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,gBAAgB,GAAG,IAAI,CAAC,MAAM,CAAC;IACxC,MAAM,EAAE,IAAI;IACZ,IAAI,EAAE,IAAI,CAAC,MAAM,EAAE;IACnB,SAAS,EAAE,aAAa;IACxB,4BAA4B;IAC5B,SAAS,EAAE,IAAI;CAClB,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,kCAAkC,GAAG,IAAI,CAAC,MAAM,CAAC;IAC1D,cAAc,EAAE,mBAAmB,CAAC,EAAE,OAAO,EAAE,SAAS,CAAC,IAAI,EAAE,CAAC;IAChE,gBAAgB,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC;CACvD,CAAC,CAAA;AAKF,MAAM,CAAC,MAAM,yCAAyC,GAAG,IAAI,CAAC,MAAM,CAAC;IACjE,IAAI,EAAE,IAAI,CAAC,MAAM,EAAE;IACnB,WAAW,EAAE,IAAI,CAAC,OAAO,EAAE;IAC3B,aAAa,EAAE,IAAI,CAAC,OAAO,EAAE;IAC7B,qBAAqB,EAAE,IAAI,CAAC,OAAO,EAAE;IACrC,2BAA2B,EAAE,IAAI,CAAC,OAAO,EAAE;CAC9C,CAAC,CAAA"}
+{"version":3,"file":"users.js","sourceRoot":"","sources":["../../../src/schemas/model/users.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAoC,MAAM,SAAS,CAAA;AAChE,OAAO,EAAE,aAAa,EAAE,QAAQ,EAAE,IAAI,EAAE,MAAM,cAAc,CAAA;AAE5D,MAAM,CAAC,MAAM,SAAS,GAAG;IACrB,UAAU,EAAE,CAAC;IACb,IAAI,EAAE,CAAC;IACP,OAAO,EAAE,CAAC;IACV,UAAU,EAAE,CAAC;IAEb,MAAM,EAAE,GAAG;IACX,WAAW,EAAE,GAAG;IAChB,SAAS,EAAE,GAAG;CACR,CAAA;AACV,MAAM,CAAC,MAAM,eAAe,GAAG,IAAI,CAAC,MAAM,CAAC;IACvC,UAAU,EAAE,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,UAAU,CAAC;IAC9C,IAAI,EAAE,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,IAAI,CAAC;IAClC,OAAO,EAAE,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC;IACxC,UAAU,EAAE,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,UAAU,CAAC;IAE9C,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC;IACtC,WAAW,EAAE,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,WAAW,CAAC;IAChD,SAAS,EAAE,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,SAAS,CAAC;CAC/C,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,mBAAmB,GAAG,CAAC,OAAwB,EAAE,EAAE,CAC5D,IAAI,CAAC,KAAK,CAAC,eAAe,EAAE,IAAI,CAAC,KAAK,CAAC,eAAe,CAAC,EAAE,OAAO,CAAC,CAAA;AACrE,MAAM,CAAC,MAAM,YAAY,GAAG,mBAAmB,EAAE,CAAA;AAGjD,MAAM,CAAC,MAAM,UAAU,GAAG,IAAI,CAAC,MAAM,CAAC;IAClC,EAAE,EAAE,IAAI;IACR,IAAI,EAAE,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;IAC7B,KAAK,EAAE,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;IAC9B,aAAa,EAAE,QAAQ,CAAC,aAAa,CAAC;IACtC,KAAK,EAAE,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;IAC9B,QAAQ,EAAE,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;IACjC,IAAI,EAAE,YAAY;IAClB,UAAU,EAAE,IAAI,CAAC,OAAO,EAAE;IAC1B,kBAAkB,EAAE,IAAI,CAAC,OAAO,EAAE;IAClC,YAAY,EAAE,aAAa;IAC3B,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE;IACvB,gBAAgB,EAAE,aAAa;CAClC,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,sBAAsB,GAAG,IAAI,CAAC,IAAI,CAAC,UAAU,EAAE;IACxD,MAAM;IACN,UAAU;IACV,OAAO;CACV,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,uBAAuB,GAAG,IAAI,CAAC,MAAM,CAAC;IAC/C,UAAU,EAAE,IAAI,CAAC,MAAM,EAAE;IACzB,OAAO,EAAE,aAAa;IACtB,KAAK,EAAE,IAAI,CAAC,MAAM,EAAE;CACvB,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,aAAa,GAAG,IAAI,CAAC,MAAM,CAAC;IACrC,EAAE,EAAE,IAAI;IACR,MAAM,EAAE,IAAI;IACZ,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC;QACb,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC;QACrB,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC;QACpB,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC;QACrB,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC;KAC3B,CAAC;IACF,QAAQ,EAAE,IAAI,CAAC,MAAM,EAAE;IACvB,iBAAiB,EAAE,IAAI,CAAC,MAAM,EAAE;IAChC,YAAY,EAAE,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;IACrC,WAAW,EAAE,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;IACpC,SAAS,EAAE,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;IAClC,OAAO,EAAE,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;IAChC,KAAK,EAAE,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;IAC9B,YAAY,EAAE,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;IACrC,SAAS,EAAE,QAAQ,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;IAClD,QAAQ,EAAE,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;CACpC,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,aAAa,GAAG,IAAI,CAAC,MAAM,CAAC;IACrC,EAAE,EAAE,IAAI;IACR,MAAM,EAAE,IAAI;IACZ,sBAAsB;IACtB,YAAY,EAAE,IAAI,CAAC,MAAM,EAAE;IAC3B,OAAO,EAAE,aAAa;CACzB,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,gBAAgB,GAAG,IAAI,CAAC,KAAK,CAAC;IACvC,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC;IACzB,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC;IAC1B,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC;IACzB,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC;CACzB,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,oBAAoB,GAAG,IAAI,CAAC,MAAM,CAAC;IAC5C,YAAY,EAAE,IAAI,CAAC,OAAO,EAAE;IAC5B,mBAAmB,EAAE,IAAI,CAAC,OAAO,EAAE;IACnC,kBAAkB,EAAE,IAAI,CAAC,OAAO,EAAE;IAClC,iBAAiB,EAAE,IAAI,CAAC,OAAO,EAAE;CACpC,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,mBAAmB,GAAG,IAAI,CAAC,MAAM,CAAC;IAC3C,MAAM,EAAE,IAAI;IACZ,aAAa,EAAE,IAAI,CAAC,MAAM,EAAE;IAC5B,UAAU,EAAE,IAAI,CAAC,MAAM,EAAE;IACzB,kBAAkB,EAAE,IAAI,CAAC,MAAM,EAAE;IACjC,YAAY,EAAE,aAAa;IAC3B,IAAI,EAAE,YAAY;CACrB,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,wBAAwB,GAAG,IAAI,CAAC,MAAM,CAAC;IAChD,KAAK,EAAE,mBAAmB;IAC1B,MAAM,EAAE,oBAAoB;CAC/B,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,4BAA4B,GAAG,IAAI,CAAC,MAAM,CAAC;IACpD,IAAI,EAAE,IAAI,CAAC,MAAM,EAAE;IACnB,SAAS,EAAE,IAAI;IACf,SAAS,EAAE,aAAa;IACxB,SAAS,EAAE,aAAa;IACxB,IAAI,EAAE,IAAI,CAAC,OAAO,EAAE;IACpB,MAAM,EAAE,QAAQ,CAAC,aAAa,CAAC;IAC/B,MAAM,EAAE,QAAQ,CAAC,IAAI,CAAC;IACtB,cAAc,EAAE,QAAQ,CAAC,YAAY,CAAC;IACtC,gBAAgB,EAAE,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;CAC5C,CAAC,CAAA;AAKF,MAAM,CAAC,MAAM,eAAe,GAAG,IAAI,CAAC,MAAM,CAAC;IACvC,EAAE,EAAE,IAAI,CAAC,OAAO,EAAE;IAClB,IAAI,EAAE,IAAI,CAAC,MAAM,EAAE;IACnB,SAAS,EAAE,IAAI;IACf,SAAS,EAAE,aAAa;IACxB,QAAQ,EAAE,IAAI,CAAC,OAAO,EAAE;IACxB,SAAS,EAAE,QAAQ,CAAC,aAAa,CAAC;IAClC,cAAc,EAAE,QAAQ,CAAC,YAAY,CAAC;CACzC,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,gBAAgB,GAAG,IAAI,CAAC,MAAM,CAAC;IACxC,MAAM,EAAE,IAAI;IACZ,IAAI,EAAE,IAAI,CAAC,MAAM,EAAE;IACnB,SAAS,EAAE,aAAa;IACxB,4BAA4B;IAC5B,SAAS,EAAE,IAAI;CAClB,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,kCAAkC,GAAG,IAAI,CAAC,MAAM,CAAC;IAC1D,cAAc,EAAE,mBAAmB,CAAC,EAAE,OAAO,EAAE,SAAS,CAAC,IAAI,EAAE,CAAC;IAChE,gBAAgB,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC;CACvD,CAAC,CAAA;AAKF,MAAM,CAAC,MAAM,yCAAyC,GAAG,IAAI,CAAC,MAAM,CAAC;IACjE,IAAI,EAAE,IAAI,CAAC,MAAM,EAAE;IACnB,WAAW,EAAE,IAAI,CAAC,OAAO,EAAE;IAC3B,aAAa,EAAE,IAAI,CAAC,OAAO,EAAE;IAC7B,qBAAqB,EAAE,IAAI,CAAC,OAAO,EAAE;IACrC,2BAA2B,EAAE,IAAI,CAAC,OAAO,EAAE;CAC9C,CAAC,CAAA"}

package/dist/schemas/review.d.ts

@@ -65,9 +65,9 @@ export declare const ReviewDraftSchema: Type.TObject<{
     }>>;
 }>;
 export type TReviewDraft = Static<typeof ReviewDraftSchema>;
-export declare const TCoreValidationCodeSchema: Type.TUnion<[Type.TLiteral<"ARGUMENT_NO_CONCLUSION">, Type.TLiteral<"ARGUMENT_CONCLUSION_NOT_FOUND">, Type.TLiteral<"ARGUMENT_VARIABLE_ID_SYMBOL_MISMATCH">, Type.TLiteral<"ARGUMENT_VARIABLE_SYMBOL_AMBIGUOUS">, Type.TLiteral<"PREMISE_EMPTY">, Type.TLiteral<"PREMISE_ROOT_MISSING">, Type.TLiteral<"PREMISE_ROOT_MISMATCH">, Type.TLiteral<"EXPR_CHILD_COUNT_INVALID">, Type.TLiteral<"EXPR_BINARY_POSITIONS_INVALID">, Type.TLiteral<"EXPR_VARIABLE_UNDECLARED">, Type.TLiteral<"ASSIGNMENT_MISSING_VARIABLE">, Type.TLiteral<"ASSIGNMENT_UNKNOWN_VARIABLE">, Type.TLiteral<"SOURCE_VARIABLE_ASSOCIATION_INVALID_VARIABLE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_PREMISE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_EXPRESSION">, Type.TLiteral<"SOURCE_ORPHANED">, Type.TLiteral<"EXPR_BOUND_PREMISE_EMPTY">]>;
+export declare const TCoreValidationCodeSchema: Type.TUnion<[Type.TLiteral<"ARGUMENT_NO_CONCLUSION">, Type.TLiteral<"ARGUMENT_CONCLUSION_NOT_FOUND">, Type.TLiteral<"ARGUMENT_VARIABLE_ID_SYMBOL_MISMATCH">, Type.TLiteral<"ARGUMENT_VARIABLE_SYMBOL_AMBIGUOUS">, Type.TLiteral<"PREMISE_EMPTY">, Type.TLiteral<"PREMISE_ROOT_MISSING">, Type.TLiteral<"PREMISE_ROOT_MISMATCH">, Type.TLiteral<"EXPR_CHILD_COUNT_INVALID">, Type.TLiteral<"EXPR_BINARY_POSITIONS_INVALID">, Type.TLiteral<"EXPR_VARIABLE_UNDECLARED">, Type.TLiteral<"ASSIGNMENT_MISSING_VARIABLE">, Type.TLiteral<"ASSIGNMENT_UNKNOWN_VARIABLE">, Type.TLiteral<"SOURCE_VARIABLE_ASSOCIATION_INVALID_VARIABLE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_PREMISE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_EXPRESSION">, Type.TLiteral<"SOURCE_ORPHANED">, Type.TLiteral<"EXPR_BOUND_PREMISE_EMPTY">, Type.TLiteral<"DERIVATION_STRUCTURE_INVALID_AT_EVALUATION">]>;
 export declare const TCoreValidationIssueSchema: Type.TObject<{
-    code: Type.TUnion<[Type.TLiteral<"ARGUMENT_NO_CONCLUSION">, Type.TLiteral<"ARGUMENT_CONCLUSION_NOT_FOUND">, Type.TLiteral<"ARGUMENT_VARIABLE_ID_SYMBOL_MISMATCH">, Type.TLiteral<"ARGUMENT_VARIABLE_SYMBOL_AMBIGUOUS">, Type.TLiteral<"PREMISE_EMPTY">, Type.TLiteral<"PREMISE_ROOT_MISSING">, Type.TLiteral<"PREMISE_ROOT_MISMATCH">, Type.TLiteral<"EXPR_CHILD_COUNT_INVALID">, Type.TLiteral<"EXPR_BINARY_POSITIONS_INVALID">, Type.TLiteral<"EXPR_VARIABLE_UNDECLARED">, Type.TLiteral<"ASSIGNMENT_MISSING_VARIABLE">, Type.TLiteral<"ASSIGNMENT_UNKNOWN_VARIABLE">, Type.TLiteral<"SOURCE_VARIABLE_ASSOCIATION_INVALID_VARIABLE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_PREMISE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_EXPRESSION">, Type.TLiteral<"SOURCE_ORPHANED">, Type.TLiteral<"EXPR_BOUND_PREMISE_EMPTY">]>;
+    code: Type.TUnion<[Type.TLiteral<"ARGUMENT_NO_CONCLUSION">, Type.TLiteral<"ARGUMENT_CONCLUSION_NOT_FOUND">, Type.TLiteral<"ARGUMENT_VARIABLE_ID_SYMBOL_MISMATCH">, Type.TLiteral<"ARGUMENT_VARIABLE_SYMBOL_AMBIGUOUS">, Type.TLiteral<"PREMISE_EMPTY">, Type.TLiteral<"PREMISE_ROOT_MISSING">, Type.TLiteral<"PREMISE_ROOT_MISMATCH">, Type.TLiteral<"EXPR_CHILD_COUNT_INVALID">, Type.TLiteral<"EXPR_BINARY_POSITIONS_INVALID">, Type.TLiteral<"EXPR_VARIABLE_UNDECLARED">, Type.TLiteral<"ASSIGNMENT_MISSING_VARIABLE">, Type.TLiteral<"ASSIGNMENT_UNKNOWN_VARIABLE">, Type.TLiteral<"SOURCE_VARIABLE_ASSOCIATION_INVALID_VARIABLE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_PREMISE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_EXPRESSION">, Type.TLiteral<"SOURCE_ORPHANED">, Type.TLiteral<"EXPR_BOUND_PREMISE_EMPTY">, Type.TLiteral<"DERIVATION_STRUCTURE_INVALID_AT_EVALUATION">]>;
     severity: Type.TUnion<[Type.TLiteral<"error">, Type.TLiteral<"warning">]>;
     message: Type.TString;
     premiseId: Type.TOptional<Type.TString>;
@@ -77,7 +77,7 @@ export declare const TCoreValidationIssueSchema: Type.TObject<{
 export declare const TCoreValidationResultSchema: Type.TObject<{
     ok: Type.TBoolean;
     issues: Type.TArray<Type.TObject<{
-        code: Type.TUnion<[Type.TLiteral<"ARGUMENT_NO_CONCLUSION">, Type.TLiteral<"ARGUMENT_CONCLUSION_NOT_FOUND">, Type.TLiteral<"ARGUMENT_VARIABLE_ID_SYMBOL_MISMATCH">, Type.TLiteral<"ARGUMENT_VARIABLE_SYMBOL_AMBIGUOUS">, Type.TLiteral<"PREMISE_EMPTY">, Type.TLiteral<"PREMISE_ROOT_MISSING">, Type.TLiteral<"PREMISE_ROOT_MISMATCH">, Type.TLiteral<"EXPR_CHILD_COUNT_INVALID">, Type.TLiteral<"EXPR_BINARY_POSITIONS_INVALID">, Type.TLiteral<"EXPR_VARIABLE_UNDECLARED">, Type.TLiteral<"ASSIGNMENT_MISSING_VARIABLE">, Type.TLiteral<"ASSIGNMENT_UNKNOWN_VARIABLE">, Type.TLiteral<"SOURCE_VARIABLE_ASSOCIATION_INVALID_VARIABLE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_PREMISE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_EXPRESSION">, Type.TLiteral<"SOURCE_ORPHANED">, Type.TLiteral<"EXPR_BOUND_PREMISE_EMPTY">]>;
+        code: Type.TUnion<[Type.TLiteral<"ARGUMENT_NO_CONCLUSION">, Type.TLiteral<"ARGUMENT_CONCLUSION_NOT_FOUND">, Type.TLiteral<"ARGUMENT_VARIABLE_ID_SYMBOL_MISMATCH">, Type.TLiteral<"ARGUMENT_VARIABLE_SYMBOL_AMBIGUOUS">, Type.TLiteral<"PREMISE_EMPTY">, Type.TLiteral<"PREMISE_ROOT_MISSING">, Type.TLiteral<"PREMISE_ROOT_MISMATCH">, Type.TLiteral<"EXPR_CHILD_COUNT_INVALID">, Type.TLiteral<"EXPR_BINARY_POSITIONS_INVALID">, Type.TLiteral<"EXPR_VARIABLE_UNDECLARED">, Type.TLiteral<"ASSIGNMENT_MISSING_VARIABLE">, Type.TLiteral<"ASSIGNMENT_UNKNOWN_VARIABLE">, Type.TLiteral<"SOURCE_VARIABLE_ASSOCIATION_INVALID_VARIABLE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_PREMISE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_EXPRESSION">, Type.TLiteral<"SOURCE_ORPHANED">, Type.TLiteral<"EXPR_BOUND_PREMISE_EMPTY">, Type.TLiteral<"DERIVATION_STRUCTURE_INVALID_AT_EVALUATION">]>;
         severity: Type.TUnion<[Type.TLiteral<"error">, Type.TLiteral<"warning">]>;
         message: Type.TString;
         premiseId: Type.TOptional<Type.TString>;
@@ -181,7 +181,7 @@ export declare const TCoreArgumentEvaluationResultSchema: Type.TObject<{
     validation: Type.TOptional<Type.TObject<{
         ok: Type.TBoolean;
         issues: Type.TArray<Type.TObject<{
-            code: Type.TUnion<[Type.TLiteral<"ARGUMENT_NO_CONCLUSION">, Type.TLiteral<"ARGUMENT_CONCLUSION_NOT_FOUND">, Type.TLiteral<"ARGUMENT_VARIABLE_ID_SYMBOL_MISMATCH">, Type.TLiteral<"ARGUMENT_VARIABLE_SYMBOL_AMBIGUOUS">, Type.TLiteral<"PREMISE_EMPTY">, Type.TLiteral<"PREMISE_ROOT_MISSING">, Type.TLiteral<"PREMISE_ROOT_MISMATCH">, Type.TLiteral<"EXPR_CHILD_COUNT_INVALID">, Type.TLiteral<"EXPR_BINARY_POSITIONS_INVALID">, Type.TLiteral<"EXPR_VARIABLE_UNDECLARED">, Type.TLiteral<"ASSIGNMENT_MISSING_VARIABLE">, Type.TLiteral<"ASSIGNMENT_UNKNOWN_VARIABLE">, Type.TLiteral<"SOURCE_VARIABLE_ASSOCIATION_INVALID_VARIABLE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_PREMISE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_EXPRESSION">, Type.TLiteral<"SOURCE_ORPHANED">, Type.TLiteral<"EXPR_BOUND_PREMISE_EMPTY">]>;
+            code: Type.TUnion<[Type.TLiteral<"ARGUMENT_NO_CONCLUSION">, Type.TLiteral<"ARGUMENT_CONCLUSION_NOT_FOUND">, Type.TLiteral<"ARGUMENT_VARIABLE_ID_SYMBOL_MISMATCH">, Type.TLiteral<"ARGUMENT_VARIABLE_SYMBOL_AMBIGUOUS">, Type.TLiteral<"PREMISE_EMPTY">, Type.TLiteral<"PREMISE_ROOT_MISSING">, Type.TLiteral<"PREMISE_ROOT_MISMATCH">, Type.TLiteral<"EXPR_CHILD_COUNT_INVALID">, Type.TLiteral<"EXPR_BINARY_POSITIONS_INVALID">, Type.TLiteral<"EXPR_VARIABLE_UNDECLARED">, Type.TLiteral<"ASSIGNMENT_MISSING_VARIABLE">, Type.TLiteral<"ASSIGNMENT_UNKNOWN_VARIABLE">, Type.TLiteral<"SOURCE_VARIABLE_ASSOCIATION_INVALID_VARIABLE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_PREMISE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_EXPRESSION">, Type.TLiteral<"SOURCE_ORPHANED">, Type.TLiteral<"EXPR_BOUND_PREMISE_EMPTY">, Type.TLiteral<"DERIVATION_STRUCTURE_INVALID_AT_EVALUATION">]>;
             severity: Type.TUnion<[Type.TLiteral<"error">, Type.TLiteral<"warning">]>;
             message: Type.TString;
             premiseId: Type.TOptional<Type.TString>;
@@ -343,7 +343,7 @@ export declare const TCoreCounterexampleSchema: Type.TObject<{
         validation: Type.TOptional<Type.TObject<{
             ok: Type.TBoolean;
             issues: Type.TArray<Type.TObject<{
-                code: Type.TUnion<[Type.TLiteral<"ARGUMENT_NO_CONCLUSION">, Type.TLiteral<"ARGUMENT_CONCLUSION_NOT_FOUND">, Type.TLiteral<"ARGUMENT_VARIABLE_ID_SYMBOL_MISMATCH">, Type.TLiteral<"ARGUMENT_VARIABLE_SYMBOL_AMBIGUOUS">, Type.TLiteral<"PREMISE_EMPTY">, Type.TLiteral<"PREMISE_ROOT_MISSING">, Type.TLiteral<"PREMISE_ROOT_MISMATCH">, Type.TLiteral<"EXPR_CHILD_COUNT_INVALID">, Type.TLiteral<"EXPR_BINARY_POSITIONS_INVALID">, Type.TLiteral<"EXPR_VARIABLE_UNDECLARED">, Type.TLiteral<"ASSIGNMENT_MISSING_VARIABLE">, Type.TLiteral<"ASSIGNMENT_UNKNOWN_VARIABLE">, Type.TLiteral<"SOURCE_VARIABLE_ASSOCIATION_INVALID_VARIABLE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_PREMISE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_EXPRESSION">, Type.TLiteral<"SOURCE_ORPHANED">, Type.TLiteral<"EXPR_BOUND_PREMISE_EMPTY">]>;
+                code: Type.TUnion<[Type.TLiteral<"ARGUMENT_NO_CONCLUSION">, Type.TLiteral<"ARGUMENT_CONCLUSION_NOT_FOUND">, Type.TLiteral<"ARGUMENT_VARIABLE_ID_SYMBOL_MISMATCH">, Type.TLiteral<"ARGUMENT_VARIABLE_SYMBOL_AMBIGUOUS">, Type.TLiteral<"PREMISE_EMPTY">, Type.TLiteral<"PREMISE_ROOT_MISSING">, Type.TLiteral<"PREMISE_ROOT_MISMATCH">, Type.TLiteral<"EXPR_CHILD_COUNT_INVALID">, Type.TLiteral<"EXPR_BINARY_POSITIONS_INVALID">, Type.TLiteral<"EXPR_VARIABLE_UNDECLARED">, Type.TLiteral<"ASSIGNMENT_MISSING_VARIABLE">, Type.TLiteral<"ASSIGNMENT_UNKNOWN_VARIABLE">, Type.TLiteral<"SOURCE_VARIABLE_ASSOCIATION_INVALID_VARIABLE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_PREMISE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_EXPRESSION">, Type.TLiteral<"SOURCE_ORPHANED">, Type.TLiteral<"EXPR_BOUND_PREMISE_EMPTY">, Type.TLiteral<"DERIVATION_STRUCTURE_INVALID_AT_EVALUATION">]>;
                 severity: Type.TUnion<[Type.TLiteral<"error">, Type.TLiteral<"warning">]>;
                 message: Type.TString;
                 premiseId: Type.TOptional<Type.TString>;
@@ -501,7 +501,7 @@ export declare const TCoreValidityCheckResultSchema: Type.TObject<{
     validation: Type.TOptional<Type.TObject<{
         ok: Type.TBoolean;
         issues: Type.TArray<Type.TObject<{
-            code: Type.TUnion<[Type.TLiteral<"ARGUMENT_NO_CONCLUSION">, Type.TLiteral<"ARGUMENT_CONCLUSION_NOT_FOUND">, Type.TLiteral<"ARGUMENT_VARIABLE_ID_SYMBOL_MISMATCH">, Type.TLiteral<"ARGUMENT_VARIABLE_SYMBOL_AMBIGUOUS">, Type.TLiteral<"PREMISE_EMPTY">, Type.TLiteral<"PREMISE_ROOT_MISSING">, Type.TLiteral<"PREMISE_ROOT_MISMATCH">, Type.TLiteral<"EXPR_CHILD_COUNT_INVALID">, Type.TLiteral<"EXPR_BINARY_POSITIONS_INVALID">, Type.TLiteral<"EXPR_VARIABLE_UNDECLARED">, Type.TLiteral<"ASSIGNMENT_MISSING_VARIABLE">, Type.TLiteral<"ASSIGNMENT_UNKNOWN_VARIABLE">, Type.TLiteral<"SOURCE_VARIABLE_ASSOCIATION_INVALID_VARIABLE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_PREMISE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_EXPRESSION">, Type.TLiteral<"SOURCE_ORPHANED">, Type.TLiteral<"EXPR_BOUND_PREMISE_EMPTY">]>;
+            code: Type.TUnion<[Type.TLiteral<"ARGUMENT_NO_CONCLUSION">, Type.TLiteral<"ARGUMENT_CONCLUSION_NOT_FOUND">, Type.TLiteral<"ARGUMENT_VARIABLE_ID_SYMBOL_MISMATCH">, Type.TLiteral<"ARGUMENT_VARIABLE_SYMBOL_AMBIGUOUS">, Type.TLiteral<"PREMISE_EMPTY">, Type.TLiteral<"PREMISE_ROOT_MISSING">, Type.TLiteral<"PREMISE_ROOT_MISMATCH">, Type.TLiteral<"EXPR_CHILD_COUNT_INVALID">, Type.TLiteral<"EXPR_BINARY_POSITIONS_INVALID">, Type.TLiteral<"EXPR_VARIABLE_UNDECLARED">, Type.TLiteral<"ASSIGNMENT_MISSING_VARIABLE">, Type.TLiteral<"ASSIGNMENT_UNKNOWN_VARIABLE">, Type.TLiteral<"SOURCE_VARIABLE_ASSOCIATION_INVALID_VARIABLE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_PREMISE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_EXPRESSION">, Type.TLiteral<"SOURCE_ORPHANED">, Type.TLiteral<"EXPR_BOUND_PREMISE_EMPTY">, Type.TLiteral<"DERIVATION_STRUCTURE_INVALID_AT_EVALUATION">]>;
             severity: Type.TUnion<[Type.TLiteral<"error">, Type.TLiteral<"warning">]>;
             message: Type.TString;
             premiseId: Type.TOptional<Type.TString>;
@@ -523,7 +523,7 @@ export declare const TCoreValidityCheckResultSchema: Type.TObject<{
             validation: Type.TOptional<Type.TObject<{
                 ok: Type.TBoolean;
                 issues: Type.TArray<Type.TObject<{
-                    code: Type.TUnion<[Type.TLiteral<"ARGUMENT_NO_CONCLUSION">, Type.TLiteral<"ARGUMENT_CONCLUSION_NOT_FOUND">, Type.TLiteral<"ARGUMENT_VARIABLE_ID_SYMBOL_MISMATCH">, Type.TLiteral<"ARGUMENT_VARIABLE_SYMBOL_AMBIGUOUS">, Type.TLiteral<"PREMISE_EMPTY">, Type.TLiteral<"PREMISE_ROOT_MISSING">, Type.TLiteral<"PREMISE_ROOT_MISMATCH">, Type.TLiteral<"EXPR_CHILD_COUNT_INVALID">, Type.TLiteral<"EXPR_BINARY_POSITIONS_INVALID">, Type.TLiteral<"EXPR_VARIABLE_UNDECLARED">, Type.TLiteral<"ASSIGNMENT_MISSING_VARIABLE">, Type.TLiteral<"ASSIGNMENT_UNKNOWN_VARIABLE">, Type.TLiteral<"SOURCE_VARIABLE_ASSOCIATION_INVALID_VARIABLE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_PREMISE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_EXPRESSION">, Type.TLiteral<"SOURCE_ORPHANED">, Type.TLiteral<"EXPR_BOUND_PREMISE_EMPTY">]>;
+                    code: Type.TUnion<[Type.TLiteral<"ARGUMENT_NO_CONCLUSION">, Type.TLiteral<"ARGUMENT_CONCLUSION_NOT_FOUND">, Type.TLiteral<"ARGUMENT_VARIABLE_ID_SYMBOL_MISMATCH">, Type.TLiteral<"ARGUMENT_VARIABLE_SYMBOL_AMBIGUOUS">, Type.TLiteral<"PREMISE_EMPTY">, Type.TLiteral<"PREMISE_ROOT_MISSING">, Type.TLiteral<"PREMISE_ROOT_MISMATCH">, Type.TLiteral<"EXPR_CHILD_COUNT_INVALID">, Type.TLiteral<"EXPR_BINARY_POSITIONS_INVALID">, Type.TLiteral<"EXPR_VARIABLE_UNDECLARED">, Type.TLiteral<"ASSIGNMENT_MISSING_VARIABLE">, Type.TLiteral<"ASSIGNMENT_UNKNOWN_VARIABLE">, Type.TLiteral<"SOURCE_VARIABLE_ASSOCIATION_INVALID_VARIABLE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_PREMISE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_EXPRESSION">, Type.TLiteral<"SOURCE_ORPHANED">, Type.TLiteral<"EXPR_BOUND_PREMISE_EMPTY">, Type.TLiteral<"DERIVATION_STRUCTURE_INVALID_AT_EVALUATION">]>;
                     severity: Type.TUnion<[Type.TLiteral<"error">, Type.TLiteral<"warning">]>;
                     message: Type.TString;
                     premiseId: Type.TOptional<Type.TString>;
@@ -688,7 +688,7 @@ export declare const ReviewResultSchema: Type.TObject<{
         validation: Type.TOptional<Type.TObject<{
             ok: Type.TBoolean;
             issues: Type.TArray<Type.TObject<{
-                code: Type.TUnion<[Type.TLiteral<"ARGUMENT_NO_CONCLUSION">, Type.TLiteral<"ARGUMENT_CONCLUSION_NOT_FOUND">, Type.TLiteral<"ARGUMENT_VARIABLE_ID_SYMBOL_MISMATCH">, Type.TLiteral<"ARGUMENT_VARIABLE_SYMBOL_AMBIGUOUS">, Type.TLiteral<"PREMISE_EMPTY">, Type.TLiteral<"PREMISE_ROOT_MISSING">, Type.TLiteral<"PREMISE_ROOT_MISMATCH">, Type.TLiteral<"EXPR_CHILD_COUNT_INVALID">, Type.TLiteral<"EXPR_BINARY_POSITIONS_INVALID">, Type.TLiteral<"EXPR_VARIABLE_UNDECLARED">, Type.TLiteral<"ASSIGNMENT_MISSING_VARIABLE">, Type.TLiteral<"ASSIGNMENT_UNKNOWN_VARIABLE">, Type.TLiteral<"SOURCE_VARIABLE_ASSOCIATION_INVALID_VARIABLE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_PREMISE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_EXPRESSION">, Type.TLiteral<"SOURCE_ORPHANED">, Type.TLiteral<"EXPR_BOUND_PREMISE_EMPTY">]>;
+                code: Type.TUnion<[Type.TLiteral<"ARGUMENT_NO_CONCLUSION">, Type.TLiteral<"ARGUMENT_CONCLUSION_NOT_FOUND">, Type.TLiteral<"ARGUMENT_VARIABLE_ID_SYMBOL_MISMATCH">, Type.TLiteral<"ARGUMENT_VARIABLE_SYMBOL_AMBIGUOUS">, Type.TLiteral<"PREMISE_EMPTY">, Type.TLiteral<"PREMISE_ROOT_MISSING">, Type.TLiteral<"PREMISE_ROOT_MISMATCH">, Type.TLiteral<"EXPR_CHILD_COUNT_INVALID">, Type.TLiteral<"EXPR_BINARY_POSITIONS_INVALID">, Type.TLiteral<"EXPR_VARIABLE_UNDECLARED">, Type.TLiteral<"ASSIGNMENT_MISSING_VARIABLE">, Type.TLiteral<"ASSIGNMENT_UNKNOWN_VARIABLE">, Type.TLiteral<"SOURCE_VARIABLE_ASSOCIATION_INVALID_VARIABLE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_PREMISE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_EXPRESSION">, Type.TLiteral<"SOURCE_ORPHANED">, Type.TLiteral<"EXPR_BOUND_PREMISE_EMPTY">, Type.TLiteral<"DERIVATION_STRUCTURE_INVALID_AT_EVALUATION">]>;
                 severity: Type.TUnion<[Type.TLiteral<"error">, Type.TLiteral<"warning">]>;
                 message: Type.TString;
                 premiseId: Type.TOptional<Type.TString>;
@@ -845,7 +845,7 @@ export declare const ReviewResultSchema: Type.TObject<{
         validation: Type.TOptional<Type.TObject<{
             ok: Type.TBoolean;
             issues: Type.TArray<Type.TObject<{
-                code: Type.TUnion<[Type.TLiteral<"ARGUMENT_NO_CONCLUSION">, Type.TLiteral<"ARGUMENT_CONCLUSION_NOT_FOUND">, Type.TLiteral<"ARGUMENT_VARIABLE_ID_SYMBOL_MISMATCH">, Type.TLiteral<"ARGUMENT_VARIABLE_SYMBOL_AMBIGUOUS">, Type.TLiteral<"PREMISE_EMPTY">, Type.TLiteral<"PREMISE_ROOT_MISSING">, Type.TLiteral<"PREMISE_ROOT_MISMATCH">, Type.TLiteral<"EXPR_CHILD_COUNT_INVALID">, Type.TLiteral<"EXPR_BINARY_POSITIONS_INVALID">, Type.TLiteral<"EXPR_VARIABLE_UNDECLARED">, Type.TLiteral<"ASSIGNMENT_MISSING_VARIABLE">, Type.TLiteral<"ASSIGNMENT_UNKNOWN_VARIABLE">, Type.TLiteral<"SOURCE_VARIABLE_ASSOCIATION_INVALID_VARIABLE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_PREMISE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_EXPRESSION">, Type.TLiteral<"SOURCE_ORPHANED">, Type.TLiteral<"EXPR_BOUND_PREMISE_EMPTY">]>;
+                code: Type.TUnion<[Type.TLiteral<"ARGUMENT_NO_CONCLUSION">, Type.TLiteral<"ARGUMENT_CONCLUSION_NOT_FOUND">, Type.TLiteral<"ARGUMENT_VARIABLE_ID_SYMBOL_MISMATCH">, Type.TLiteral<"ARGUMENT_VARIABLE_SYMBOL_AMBIGUOUS">, Type.TLiteral<"PREMISE_EMPTY">, Type.TLiteral<"PREMISE_ROOT_MISSING">, Type.TLiteral<"PREMISE_ROOT_MISMATCH">, Type.TLiteral<"EXPR_CHILD_COUNT_INVALID">, Type.TLiteral<"EXPR_BINARY_POSITIONS_INVALID">, Type.TLiteral<"EXPR_VARIABLE_UNDECLARED">, Type.TLiteral<"ASSIGNMENT_MISSING_VARIABLE">, Type.TLiteral<"ASSIGNMENT_UNKNOWN_VARIABLE">, Type.TLiteral<"SOURCE_VARIABLE_ASSOCIATION_INVALID_VARIABLE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_PREMISE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_EXPRESSION">, Type.TLiteral<"SOURCE_ORPHANED">, Type.TLiteral<"EXPR_BOUND_PREMISE_EMPTY">, Type.TLiteral<"DERIVATION_STRUCTURE_INVALID_AT_EVALUATION">]>;
                 severity: Type.TUnion<[Type.TLiteral<"error">, Type.TLiteral<"warning">]>;
                 message: Type.TString;
                 premiseId: Type.TOptional<Type.TString>;
@@ -867,7 +867,7 @@ export declare const ReviewResultSchema: Type.TObject<{
                 validation: Type.TOptional<Type.TObject<{
                     ok: Type.TBoolean;
                     issues: Type.TArray<Type.TObject<{
-                        code: Type.TUnion<[Type.TLiteral<"ARGUMENT_NO_CONCLUSION">, Type.TLiteral<"ARGUMENT_CONCLUSION_NOT_FOUND">, Type.TLiteral<"ARGUMENT_VARIABLE_ID_SYMBOL_MISMATCH">, Type.TLiteral<"ARGUMENT_VARIABLE_SYMBOL_AMBIGUOUS">, Type.TLiteral<"PREMISE_EMPTY">, Type.TLiteral<"PREMISE_ROOT_MISSING">, Type.TLiteral<"PREMISE_ROOT_MISMATCH">, Type.TLiteral<"EXPR_CHILD_COUNT_INVALID">, Type.TLiteral<"EXPR_BINARY_POSITIONS_INVALID">, Type.TLiteral<"EXPR_VARIABLE_UNDECLARED">, Type.TLiteral<"ASSIGNMENT_MISSING_VARIABLE">, Type.TLiteral<"ASSIGNMENT_UNKNOWN_VARIABLE">, Type.TLiteral<"SOURCE_VARIABLE_ASSOCIATION_INVALID_VARIABLE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_PREMISE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_EXPRESSION">, Type.TLiteral<"SOURCE_ORPHANED">, Type.TLiteral<"EXPR_BOUND_PREMISE_EMPTY">]>;
+                        code: Type.TUnion<[Type.TLiteral<"ARGUMENT_NO_CONCLUSION">, Type.TLiteral<"ARGUMENT_CONCLUSION_NOT_FOUND">, Type.TLiteral<"ARGUMENT_VARIABLE_ID_SYMBOL_MISMATCH">, Type.TLiteral<"ARGUMENT_VARIABLE_SYMBOL_AMBIGUOUS">, Type.TLiteral<"PREMISE_EMPTY">, Type.TLiteral<"PREMISE_ROOT_MISSING">, Type.TLiteral<"PREMISE_ROOT_MISMATCH">, Type.TLiteral<"EXPR_CHILD_COUNT_INVALID">, Type.TLiteral<"EXPR_BINARY_POSITIONS_INVALID">, Type.TLiteral<"EXPR_VARIABLE_UNDECLARED">, Type.TLiteral<"ASSIGNMENT_MISSING_VARIABLE">, Type.TLiteral<"ASSIGNMENT_UNKNOWN_VARIABLE">, Type.TLiteral<"SOURCE_VARIABLE_ASSOCIATION_INVALID_VARIABLE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_PREMISE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_EXPRESSION">, Type.TLiteral<"SOURCE_ORPHANED">, Type.TLiteral<"EXPR_BOUND_PREMISE_EMPTY">, Type.TLiteral<"DERIVATION_STRUCTURE_INVALID_AT_EVALUATION">]>;
                         severity: Type.TUnion<[Type.TLiteral<"error">, Type.TLiteral<"warning">]>;
                         message: Type.TString;
                         premiseId: Type.TOptional<Type.TString>;
@@ -1063,7 +1063,7 @@ export declare const ReviewStateSchema: Type.TObject<{
             validation: Type.TOptional<Type.TObject<{
                 ok: Type.TBoolean;
                 issues: Type.TArray<Type.TObject<{
-                    code: Type.TUnion<[Type.TLiteral<"ARGUMENT_NO_CONCLUSION">, Type.TLiteral<"ARGUMENT_CONCLUSION_NOT_FOUND">, Type.TLiteral<"ARGUMENT_VARIABLE_ID_SYMBOL_MISMATCH">, Type.TLiteral<"ARGUMENT_VARIABLE_SYMBOL_AMBIGUOUS">, Type.TLiteral<"PREMISE_EMPTY">, Type.TLiteral<"PREMISE_ROOT_MISSING">, Type.TLiteral<"PREMISE_ROOT_MISMATCH">, Type.TLiteral<"EXPR_CHILD_COUNT_INVALID">, Type.TLiteral<"EXPR_BINARY_POSITIONS_INVALID">, Type.TLiteral<"EXPR_VARIABLE_UNDECLARED">, Type.TLiteral<"ASSIGNMENT_MISSING_VARIABLE">, Type.TLiteral<"ASSIGNMENT_UNKNOWN_VARIABLE">, Type.TLiteral<"SOURCE_VARIABLE_ASSOCIATION_INVALID_VARIABLE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_PREMISE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_EXPRESSION">, Type.TLiteral<"SOURCE_ORPHANED">, Type.TLiteral<"EXPR_BOUND_PREMISE_EMPTY">]>;
+                    code: Type.TUnion<[Type.TLiteral<"ARGUMENT_NO_CONCLUSION">, Type.TLiteral<"ARGUMENT_CONCLUSION_NOT_FOUND">, Type.TLiteral<"ARGUMENT_VARIABLE_ID_SYMBOL_MISMATCH">, Type.TLiteral<"ARGUMENT_VARIABLE_SYMBOL_AMBIGUOUS">, Type.TLiteral<"PREMISE_EMPTY">, Type.TLiteral<"PREMISE_ROOT_MISSING">, Type.TLiteral<"PREMISE_ROOT_MISMATCH">, Type.TLiteral<"EXPR_CHILD_COUNT_INVALID">, Type.TLiteral<"EXPR_BINARY_POSITIONS_INVALID">, Type.TLiteral<"EXPR_VARIABLE_UNDECLARED">, Type.TLiteral<"ASSIGNMENT_MISSING_VARIABLE">, Type.TLiteral<"ASSIGNMENT_UNKNOWN_VARIABLE">, Type.TLiteral<"SOURCE_VARIABLE_ASSOCIATION_INVALID_VARIABLE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_PREMISE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_EXPRESSION">, Type.TLiteral<"SOURCE_ORPHANED">, Type.TLiteral<"EXPR_BOUND_PREMISE_EMPTY">, Type.TLiteral<"DERIVATION_STRUCTURE_INVALID_AT_EVALUATION">]>;
                     severity: Type.TUnion<[Type.TLiteral<"error">, Type.TLiteral<"warning">]>;
                     message: Type.TString;
                     premiseId: Type.TOptional<Type.TString>;
@@ -1220,7 +1220,7 @@ export declare const ReviewStateSchema: Type.TObject<{
             validation: Type.TOptional<Type.TObject<{
                 ok: Type.TBoolean;
                 issues: Type.TArray<Type.TObject<{
-                    code: Type.TUnion<[Type.TLiteral<"ARGUMENT_NO_CONCLUSION">, Type.TLiteral<"ARGUMENT_CONCLUSION_NOT_FOUND">, Type.TLiteral<"ARGUMENT_VARIABLE_ID_SYMBOL_MISMATCH">, Type.TLiteral<"ARGUMENT_VARIABLE_SYMBOL_AMBIGUOUS">, Type.TLiteral<"PREMISE_EMPTY">, Type.TLiteral<"PREMISE_ROOT_MISSING">, Type.TLiteral<"PREMISE_ROOT_MISMATCH">, Type.TLiteral<"EXPR_CHILD_COUNT_INVALID">, Type.TLiteral<"EXPR_BINARY_POSITIONS_INVALID">, Type.TLiteral<"EXPR_VARIABLE_UNDECLARED">, Type.TLiteral<"ASSIGNMENT_MISSING_VARIABLE">, Type.TLiteral<"ASSIGNMENT_UNKNOWN_VARIABLE">, Type.TLiteral<"SOURCE_VARIABLE_ASSOCIATION_INVALID_VARIABLE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_PREMISE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_EXPRESSION">, Type.TLiteral<"SOURCE_ORPHANED">, Type.TLiteral<"EXPR_BOUND_PREMISE_EMPTY">]>;
+                    code: Type.TUnion<[Type.TLiteral<"ARGUMENT_NO_CONCLUSION">, Type.TLiteral<"ARGUMENT_CONCLUSION_NOT_FOUND">, Type.TLiteral<"ARGUMENT_VARIABLE_ID_SYMBOL_MISMATCH">, Type.TLiteral<"ARGUMENT_VARIABLE_SYMBOL_AMBIGUOUS">, Type.TLiteral<"PREMISE_EMPTY">, Type.TLiteral<"PREMISE_ROOT_MISSING">, Type.TLiteral<"PREMISE_ROOT_MISMATCH">, Type.TLiteral<"EXPR_CHILD_COUNT_INVALID">, Type.TLiteral<"EXPR_BINARY_POSITIONS_INVALID">, Type.TLiteral<"EXPR_VARIABLE_UNDECLARED">, Type.TLiteral<"ASSIGNMENT_MISSING_VARIABLE">, Type.TLiteral<"ASSIGNMENT_UNKNOWN_VARIABLE">, Type.TLiteral<"SOURCE_VARIABLE_ASSOCIATION_INVALID_VARIABLE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_PREMISE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_EXPRESSION">, Type.TLiteral<"SOURCE_ORPHANED">, Type.TLiteral<"EXPR_BOUND_PREMISE_EMPTY">, Type.TLiteral<"DERIVATION_STRUCTURE_INVALID_AT_EVALUATION">]>;
                     severity: Type.TUnion<[Type.TLiteral<"error">, Type.TLiteral<"warning">]>;
                     message: Type.TString;
                     premiseId: Type.TOptional<Type.TString>;
@@ -1242,7 +1242,7 @@ export declare const ReviewStateSchema: Type.TObject<{
                     validation: Type.TOptional<Type.TObject<{
                         ok: Type.TBoolean;
                         issues: Type.TArray<Type.TObject<{
-                            code: Type.TUnion<[Type.TLiteral<"ARGUMENT_NO_CONCLUSION">, Type.TLiteral<"ARGUMENT_CONCLUSION_NOT_FOUND">, Type.TLiteral<"ARGUMENT_VARIABLE_ID_SYMBOL_MISMATCH">, Type.TLiteral<"ARGUMENT_VARIABLE_SYMBOL_AMBIGUOUS">, Type.TLiteral<"PREMISE_EMPTY">, Type.TLiteral<"PREMISE_ROOT_MISSING">, Type.TLiteral<"PREMISE_ROOT_MISMATCH">, Type.TLiteral<"EXPR_CHILD_COUNT_INVALID">, Type.TLiteral<"EXPR_BINARY_POSITIONS_INVALID">, Type.TLiteral<"EXPR_VARIABLE_UNDECLARED">, Type.TLiteral<"ASSIGNMENT_MISSING_VARIABLE">, Type.TLiteral<"ASSIGNMENT_UNKNOWN_VARIABLE">, Type.TLiteral<"SOURCE_VARIABLE_ASSOCIATION_INVALID_VARIABLE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_PREMISE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_EXPRESSION">, Type.TLiteral<"SOURCE_ORPHANED">, Type.TLiteral<"EXPR_BOUND_PREMISE_EMPTY">]>;
+                            code: Type.TUnion<[Type.TLiteral<"ARGUMENT_NO_CONCLUSION">, Type.TLiteral<"ARGUMENT_CONCLUSION_NOT_FOUND">, Type.TLiteral<"ARGUMENT_VARIABLE_ID_SYMBOL_MISMATCH">, Type.TLiteral<"ARGUMENT_VARIABLE_SYMBOL_AMBIGUOUS">, Type.TLiteral<"PREMISE_EMPTY">, Type.TLiteral<"PREMISE_ROOT_MISSING">, Type.TLiteral<"PREMISE_ROOT_MISMATCH">, Type.TLiteral<"EXPR_CHILD_COUNT_INVALID">, Type.TLiteral<"EXPR_BINARY_POSITIONS_INVALID">, Type.TLiteral<"EXPR_VARIABLE_UNDECLARED">, Type.TLiteral<"ASSIGNMENT_MISSING_VARIABLE">, Type.TLiteral<"ASSIGNMENT_UNKNOWN_VARIABLE">, Type.TLiteral<"SOURCE_VARIABLE_ASSOCIATION_INVALID_VARIABLE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_PREMISE">, Type.TLiteral<"SOURCE_EXPRESSION_ASSOCIATION_INVALID_EXPRESSION">, Type.TLiteral<"SOURCE_ORPHANED">, Type.TLiteral<"EXPR_BOUND_PREMISE_EMPTY">, Type.TLiteral<"DERIVATION_STRUCTURE_INVALID_AT_EVALUATION">]>;
                             severity: Type.TUnion<[Type.TLiteral<"error">, Type.TLiteral<"warning">]>;
                             message: Type.TString;
                             premiseId: Type.TOptional<Type.TString>;

package/dist/schemas/review.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"review.d.ts","sourceRoot":"","sources":["../../src/schemas/review.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,KAAK,MAAM,EAAE,MAAM,SAAS,CAAA;AAI3C,eAAO,MAAM,oBAAoB,0CAA4C,CAAA;AAC7E,MAAM,MAAM,eAAe,GAAG,MAAM,CAAC,OAAO,oBAAoB,CAAC,CAAA;AAGjE,eAAO,MAAM,yBAAyB,+RAQpC,CAAA;AAEF,eAAO,MAAM,0BAA0B,4SASrC,CAAA;AAEF,eAAO,MAAM,4BAA4B,2RASvC,CAAA;AAEF,eAAO,MAAM,8BAA8B,wNAMzC,CAAA;AAEF,eAAO,MAAM,8BAA8B,2RAQzC,CAAA;AAEF,eAAO,MAAM,qBAAqB,q3BAIhC,CAAA;AACF,eAAO,MAAM,wBAAwB,kgBAGnC,CAAA;AACF,MAAM,MAAM,oBAAoB,GAAG,MAAM,CAAC,OAAO,yBAAyB,CAAC,CAAA;AAC3E,MAAM,MAAM,qBAAqB,GAAG,MAAM,CAAC,OAAO,0BAA0B,CAAC,CAAA;AAC7E,MAAM,MAAM,uBAAuB,GAAG,MAAM,CACxC,OAAO,4BAA4B,CACtC,CAAA;AACD,MAAM,MAAM,yBAAyB,GAAG,MAAM,CAC1C,OAAO,8BAA8B,CACxC,CAAA;AACD,MAAM,MAAM,yBAAyB,GAAG,MAAM,CAC1C,OAAO,8BAA8B,CACxC,CAAA;AACD,MAAM,MAAM,gBAAgB,GAAG,MAAM,CAAC,OAAO,qBAAqB,CAAC,CAAA;AACnE,MAAM,MAAM,mBAAmB,GAAG,MAAM,CAAC,OAAO,wBAAwB,CAAC,CAAA;AAKzE,eAAO,MAAM,qBAAqB;;;;;;;EAOhC,CAAA;AACF,MAAM,MAAM,gBAAgB,GAAG,MAAM,CAAC,OAAO,qBAAqB,CAAC,CAAA;AAEnE,eAAO,MAAM,wBAAwB;;;;;;;;EAQnC,CAAA;AACF,MAAM,MAAM,mBAAmB,GAAG,MAAM,CAAC,OAAO,wBAAwB,CAAC,CAAA;AAEzE,eAAO,MAAM,iBAAiB,2FAI5B,CAAA;AACF,MAAM,MAAM,YAAY,GAAG,MAAM,CAAC,OAAO,iBAAiB,CAAC,CAAA;AAE3D,eAAO,MAAM,iBAAiB;;;;;;;;;;;;;;;;;;;;;;;;;;;EAY5B,CAAA;AACF,MAAM,MAAM,YAAY,GAAG,MAAM,CAAC,OAAO,iBAAiB,CAAC,CAAA;AAO3D,eAAO,MAAM,yBAAyB,ozBAkBpC,CAAA;AAEF,eAAO,MAAM,0BAA0B;;;;;;;EAOrC,CAAA;AACF,eAAO,MAAM,2BAA2B;;;;;;;;;;EAGtC,CAAA;AAEF,eAAO,MAAM,6BAA6B;;;;;;EAMxC,CAAA;AAEF,eAAO,MAAM,qCAAqC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IA0BhD,CAAA;AAEF,eAAO,MAAM,kCAAkC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAW7C,CAAA;AAEF,eAAO,MAAM,+BAA+B;;;EAM1C,CAAA;AAEF,eAAO,MAAM,mCAAmC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAuB9C,CAAA;AAEF,eAAO,MAAM,yBAAyB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAGpC,CAAA;AACF,eAAO,MAAM,8BAA8B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EASzC,CAAA;AAGF,eAAO,MAAM,kBAAkB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAO7B,CAAA;AACF,MAAM,MAAM,aAAa,GAAG,MAAM,CAAC,OAAO,kBAAkB,CAAC,CAAA;AAE7D,eAAO,MAAM,iBAAiB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAG5B,CAAA;AACF,MAAM,MAAM,YAAY,GAAG,MAAM,CAAC,OAAO,iBAAiB,CAAC,CAAA"}
+{"version":3,"file":"review.d.ts","sourceRoot":"","sources":["../../src/schemas/review.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,KAAK,MAAM,EAAE,MAAM,SAAS,CAAA;AAI3C,eAAO,MAAM,oBAAoB,0CAA4C,CAAA;AAC7E,MAAM,MAAM,eAAe,GAAG,MAAM,CAAC,OAAO,oBAAoB,CAAC,CAAA;AAGjE,eAAO,MAAM,yBAAyB,+RAQpC,CAAA;AAEF,eAAO,MAAM,0BAA0B,4SASrC,CAAA;AAEF,eAAO,MAAM,4BAA4B,2RASvC,CAAA;AAEF,eAAO,MAAM,8BAA8B,wNAMzC,CAAA;AAEF,eAAO,MAAM,8BAA8B,2RAQzC,CAAA;AAEF,eAAO,MAAM,qBAAqB,q3BAIhC,CAAA;AACF,eAAO,MAAM,wBAAwB,kgBAGnC,CAAA;AACF,MAAM,MAAM,oBAAoB,GAAG,MAAM,CAAC,OAAO,yBAAyB,CAAC,CAAA;AAC3E,MAAM,MAAM,qBAAqB,GAAG,MAAM,CAAC,OAAO,0BAA0B,CAAC,CAAA;AAC7E,MAAM,MAAM,uBAAuB,GAAG,MAAM,CACxC,OAAO,4BAA4B,CACtC,CAAA;AACD,MAAM,MAAM,yBAAyB,GAAG,MAAM,CAC1C,OAAO,8BAA8B,CACxC,CAAA;AACD,MAAM,MAAM,yBAAyB,GAAG,MAAM,CAC1C,OAAO,8BAA8B,CACxC,CAAA;AACD,MAAM,MAAM,gBAAgB,GAAG,MAAM,CAAC,OAAO,qBAAqB,CAAC,CAAA;AACnE,MAAM,MAAM,mBAAmB,GAAG,MAAM,CAAC,OAAO,wBAAwB,CAAC,CAAA;AAKzE,eAAO,MAAM,qBAAqB;;;;;;;EAOhC,CAAA;AACF,MAAM,MAAM,gBAAgB,GAAG,MAAM,CAAC,OAAO,qBAAqB,CAAC,CAAA;AAEnE,eAAO,MAAM,wBAAwB;;;;;;;;EAQnC,CAAA;AACF,MAAM,MAAM,mBAAmB,GAAG,MAAM,CAAC,OAAO,wBAAwB,CAAC,CAAA;AAEzE,eAAO,MAAM,iBAAiB,2FAI5B,CAAA;AACF,MAAM,MAAM,YAAY,GAAG,MAAM,CAAC,OAAO,iBAAiB,CAAC,CAAA;AAE3D,eAAO,MAAM,iBAAiB;;;;;;;;;;;;;;;;;;;;;;;;;;;EAY5B,CAAA;AACF,MAAM,MAAM,YAAY,GAAG,MAAM,CAAC,OAAO,iBAAiB,CAAC,CAAA;AAO3D,eAAO,MAAM,yBAAyB,i3BAmBpC,CAAA;AAEF,eAAO,MAAM,0BAA0B;;;;;;;EAOrC,CAAA;AACF,eAAO,MAAM,2BAA2B;;;;;;;;;;EAGtC,CAAA;AAEF,eAAO,MAAM,6BAA6B;;;;;;EAMxC,CAAA;AAEF,eAAO,MAAM,qCAAqC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;IA0BhD,CAAA;AAEF,eAAO,MAAM,kCAAkC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAW7C,CAAA;AAEF,eAAO,MAAM,+BAA+B;;;EAM1C,CAAA;AAEF,eAAO,MAAM,mCAAmC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAuB9C,CAAA;AAEF,eAAO,MAAM,yBAAyB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAGpC,CAAA;AACF,eAAO,MAAM,8BAA8B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EASzC,CAAA;AAGF,eAAO,MAAM,kBAAkB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAO7B,CAAA;AACF,MAAM,MAAM,aAAa,GAAG,MAAM,CAAC,OAAO,kBAAkB,CAAC,CAAA;AAE7D,eAAO,MAAM,iBAAiB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAG5B,CAAA;AACF,MAAM,MAAM,YAAY,GAAG,MAAM,CAAC,OAAO,iBAAiB,CAAC,CAAA"}

package/dist/schemas/review.js

@@ -102,7 +102,7 @@ export const ReviewDraftSchema = Type.Object({
 // ---- Core evaluation result mirror (full) ----
 // Mirrors @proposit/proposit-core dist/lib/types/evaluation.d.ts.
 // Snapshot-tested against a real core evaluation result in Task G1.
-// TCoreValidationCode enum (17 literals)
+// TCoreValidationCode enum (18 literals — mirrors core@0.11.0).
 export const TCoreValidationCodeSchema = Type.Union([
     Type.Literal("ARGUMENT_NO_CONCLUSION"),
     Type.Literal("ARGUMENT_CONCLUSION_NOT_FOUND"),
@@ -121,6 +121,7 @@ export const TCoreValidationCodeSchema = Type.Union([
     Type.Literal("SOURCE_EXPRESSION_ASSOCIATION_INVALID_EXPRESSION"),
     Type.Literal("SOURCE_ORPHANED"),
     Type.Literal("EXPR_BOUND_PREMISE_EMPTY"),
+    Type.Literal("DERIVATION_STRUCTURE_INVALID_AT_EVALUATION"),
 ]);
 export const TCoreValidationIssueSchema = Type.Object({
     code: TCoreValidationCodeSchema,

package/dist/schemas/review.js.map

@@ -1 +1 @@
-{"version":3,"file":"review.js","sourceRoot":"","sources":["../../src/schemas/review.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAe,MAAM,SAAS,CAAA;AAC3C,OAAO,EAAE,IAAI,EAAE,aAAa,EAAE,MAAM,aAAa,CAAA;AAEjD,6DAA6D;AAC7D,MAAM,CAAC,MAAM,oBAAoB,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,OAAO,EAAE,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAA;AAG7E,yBAAyB;AACzB,MAAM,CAAC,MAAM,yBAAyB,GAAG,IAAI,CAAC,KAAK,CAAC;IAChD,IAAI,CAAC,OAAO,CAAC,kBAAkB,CAAC;IAChC,IAAI,CAAC,OAAO,CAAC,2BAA2B,CAAC;IACzC,IAAI,CAAC,OAAO,CAAC,qBAAqB,CAAC;IACnC,IAAI,CAAC,OAAO,CAAC,kBAAkB,CAAC;IAChC,IAAI,CAAC,OAAO,CAAC,sBAAsB,CAAC;IACpC,IAAI,CAAC,OAAO,CAAC,0BAA0B,CAAC;IACxC,IAAI,CAAC,OAAO,CAAC,qBAAqB,CAAC;CACtC,CAAC,CAAA;AACF,0BAA0B;AAC1B,MAAM,CAAC,MAAM,0BAA0B,GAAG,IAAI,CAAC,KAAK,CAAC;IACjD,IAAI,CAAC,OAAO,CAAC,qBAAqB,CAAC;IACnC,IAAI,CAAC,OAAO,CAAC,8BAA8B,CAAC;IAC5C,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC;IACzB,IAAI,CAAC,OAAO,CAAC,wBAAwB,CAAC;IACtC,IAAI,CAAC,OAAO,CAAC,uBAAuB,CAAC;IACrC,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC;IACxB,IAAI,CAAC,OAAO,CAAC,cAAc,CAAC;IAC5B,IAAI,CAAC,OAAO,CAAC,gBAAgB,CAAC;CACjC,CAAC,CAAA;AACF,4BAA4B;AAC5B,MAAM,CAAC,MAAM,4BAA4B,GAAG,IAAI,CAAC,KAAK,CAAC;IACnD,IAAI,CAAC,OAAO,CAAC,uBAAuB,CAAC;IACrC,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC;IAC1B,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC;IAC3B,IAAI,CAAC,OAAO,CAAC,mBAAmB,CAAC;IACjC,IAAI,CAAC,OAAO,CAAC,mBAAmB,CAAC;IACjC,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC;IACzB,IAAI,CAAC,OAAO,CAAC,mBAAmB,CAAC;IACjC,IAAI,CAAC,OAAO,CAAC,gBAAgB,CAAC;CACjC,CAAC,CAAA;AACF,gCAAgC;AAChC,MAAM,CAAC,MAAM,8BAA8B,GAAG,IAAI,CAAC,KAAK,CAAC;IACrD,IAAI,CAAC,OAAO,CAAC,kBAAkB,CAAC;IAChC,IAAI,CAAC,OAAO,CAAC,wBAAwB,CAAC;IACtC,IAAI,CAAC,OAAO,CAAC,0BAA0B,CAAC;IACxC,IAAI,CAAC,OAAO,CAAC,oBAAoB,CAAC;IAClC,IAAI,CAAC,OAAO,CAAC,4BAA4B,CAAC;CAC7C,CAAC,CAAA;AACF,gCAAgC;AAChC,MAAM,CAAC,MAAM,8BAA8B,GAAG,IAAI,CAAC,KAAK,CAAC;IACrD,IAAI,CAAC,OAAO,CAAC,cAAc,CAAC;IAC5B,IAAI,CAAC,OAAO,CAAC,2BAA2B,CAAC;IACzC,IAAI,CAAC,OAAO,CAAC,sBAAsB,CAAC;IACpC,IAAI,CAAC,OAAO,CAAC,uBAAuB,CAAC;IACrC,IAAI,CAAC,OAAO,CAAC,iBAAiB,CAAC;IAC/B,IAAI,CAAC,OAAO,CAAC,0BAA0B,CAAC;IACxC,IAAI,CAAC,OAAO,CAAC,oBAAoB,CAAC;CACrC,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,qBAAqB,GAAG,IAAI,CAAC,KAAK,CAAC;IAC5C,yBAAyB;IACzB,0BAA0B;IAC1B,4BAA4B;CAC/B,CAAC,CAAA;AACF,MAAM,CAAC,MAAM,wBAAwB,GAAG,IAAI,CAAC,KAAK,CAAC;IAC/C,8BAA8B;IAC9B,8BAA8B;CACjC,CAAC,CAAA;AAeF,wBAAwB;AACxB,gEAAgE;AAChE,oFAAoF;AACpF,MAAM,CAAC,MAAM,qBAAqB,GAAG,IAAI,CAAC,MAAM,CAAC;IAC7C,YAAY,EAAE,IAAI;IAClB,OAAO,EAAE,IAAI;IACb,KAAK,EAAE,oBAAoB;IAC3B,UAAU,EAAE,IAAI,CAAC,QAAQ,CAAC,qBAAqB,CAAC;IAChD,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE;IACvB,SAAS,EAAE,aAAa;CAC3B,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,wBAAwB,GAAG,IAAI,CAAC,MAAM,CAAC;IAChD,YAAY,EAAE,IAAI;IAClB,SAAS,EAAE,IAAI;IACf,YAAY,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC;IACjC,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC;IACxE,QAAQ,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC;IAC1E,UAAU,EAAE,IAAI,CAAC,QAAQ,CAAC,wBAAwB,CAAC;IACnD,SAAS,EAAE,aAAa;CAC3B,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,iBAAiB,GAAG,IAAI,CAAC,KAAK,CAAC;IACxC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC;IACtB,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC;IACzB,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC;CACvB,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,iBAAiB,GAAG,IAAI,CAAC,MAAM,CAAC;IACzC,aAAa,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC;IAC9B,QAAQ,EAAE,IAAI;IACd,UAAU,EAAE,IAAI;IAChB,eAAe,EAAE,IAAI,CAAC,MAAM,EAAE;IAC9B,MAAM,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC;IAC3B,SAAS,EAAE,aAAa;IACxB,SAAS,EAAE,aAAa;IACxB,KAAK,EAAE,iBAAiB;IACxB,gBAAgB,EAAE,IAAI,CAAC,OAAO,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC;IAC9C,gBAAgB,EAAE,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,qBAAqB,CAAC;IAC1D,mBAAmB,EAAE,IAAI,CAAC,KAAK,CAAC,wBAAwB,CAAC;CAC5D,CAAC,CAAA;AAGF,iDAAiD;AACjD,kEAAkE;AAClE,oEAAoE;AAEpE,yCAAyC;AACzC,MAAM,CAAC,MAAM,yBAAyB,GAAG,IAAI,CAAC,KAAK,CAAC;IAChD,IAAI,CAAC,OAAO,CAAC,wBAAwB,CAAC;IACtC,IAAI,CAAC,OAAO,CAAC,+BAA+B,CAAC;IAC7C,IAAI,CAAC,OAAO,CAAC,sCAAsC,CAAC;IACpD,IAAI,CAAC,OAAO,CAAC,oCAAoC,CAAC;IAClD,IAAI,CAAC,OAAO,CAAC,eAAe,CAAC;IAC7B,IAAI,CAAC,OAAO,CAAC,sBAAsB,CAAC;IACpC,IAAI,CAAC,OAAO,CAAC,uBAAuB,CAAC;IACrC,IAAI,CAAC,OAAO,CAAC,0BAA0B,CAAC;IACxC,IAAI,CAAC,OAAO,CAAC,+BAA+B,CAAC;IAC7C,IAAI,CAAC,OAAO,CAAC,0BAA0B,CAAC;IACxC,IAAI,CAAC,OAAO,CAAC,6BAA6B,CAAC;IAC3C,IAAI,CAAC,OAAO,CAAC,6BAA6B,CAAC;IAC3C,IAAI,CAAC,OAAO,CAAC,8CAA8C,CAAC;IAC5D,IAAI,CAAC,OAAO,CAAC,+CAA+C,CAAC;IAC7D,IAAI,CAAC,OAAO,CAAC,kDAAkD,CAAC;IAChE,IAAI,CAAC,OAAO,CAAC,iBAAiB,CAAC;IAC/B,IAAI,CAAC,OAAO,CAAC,0BAA0B,CAAC;CAC3C,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,0BAA0B,GAAG,IAAI,CAAC,MAAM,CAAC;IAClD,IAAI,EAAE,yBAAyB;IAC/B,QAAQ,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC;IACtE,OAAO,EAAE,IAAI,CAAC,MAAM,EAAE;IACtB,SAAS,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;IACvC,YAAY,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;IAC1C,UAAU,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;CAC3C,CAAC,CAAA;AACF,MAAM,CAAC,MAAM,2BAA2B,GAAG,IAAI,CAAC,MAAM,CAAC;IACnD,EAAE,EAAE,IAAI,CAAC,OAAO,EAAE;IAClB,MAAM,EAAE,IAAI,CAAC,KAAK,CAAC,0BAA0B,CAAC;CACjD,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,6BAA6B,GAAG,IAAI,CAAC,MAAM,CAAC;IACrD,cAAc,EAAE,oBAAoB;IACpC,cAAc,EAAE,oBAAoB;IACpC,gBAAgB,EAAE,oBAAoB;IACtC,eAAe,EAAE,oBAAoB;IACrC,KAAK,EAAE,oBAAoB;CAC9B,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,qCAAqC,GAAG,IAAI,CAAC,KAAK,CAAC;IAC5D,IAAI,CAAC,MAAM,CAAC;QACR,IAAI,EAAE,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC;QAC7B,SAAS,EAAE,IAAI,CAAC,MAAM,EAAE;QACxB,gBAAgB,EAAE,IAAI,CAAC,MAAM,EAAE;QAC/B,SAAS,EAAE,oBAAoB;QAC/B,UAAU,EAAE,oBAAoB;QAChC,SAAS,EAAE,oBAAoB;QAC/B,cAAc,EAAE,oBAAoB;QACpC,cAAc,EAAE,oBAAoB;QACpC,eAAe,EAAE,oBAAoB;QACrC,KAAK,EAAE,oBAAoB;QAC3B,YAAY,EAAE,oBAAoB;KACrC,CAAC;IACF,IAAI,CAAC,MAAM,CAAC;QACR,IAAI,EAAE,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC;QACzB,SAAS,EAAE,IAAI,CAAC,MAAM,EAAE;QACxB,gBAAgB,EAAE,IAAI,CAAC,MAAM,EAAE;QAC/B,SAAS,EAAE,oBAAoB;QAC/B,UAAU,EAAE,oBAAoB;QAChC,SAAS,EAAE,oBAAoB;QAC/B,WAAW,EAAE,6BAA6B;QAC1C,WAAW,EAAE,6BAA6B;QAC1C,aAAa,EAAE,oBAAoB;QACnC,cAAc,EAAE,oBAAoB;KACvC,CAAC;CACL,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,kCAAkC,GAAG,IAAI,CAAC,MAAM,CAAC;IAC1D,SAAS,EAAE,IAAI,CAAC,MAAM,EAAE;IACxB,WAAW,EAAE,IAAI,CAAC,KAAK,CAAC;QACpB,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC;QACzB,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC;KAC7B,CAAC;IACF,gBAAgB,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;IAC9C,SAAS,EAAE,IAAI,CAAC,QAAQ,CAAC,oBAAoB,CAAC;IAC9C,gBAAgB,EAAE,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,oBAAoB,CAAC;IAClE,cAAc,EAAE,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,oBAAoB,CAAC;IAChE,mBAAmB,EAAE,IAAI,CAAC,QAAQ,CAAC,qCAAqC,CAAC;CAC5E,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,+BAA+B,GAAG,IAAI,CAAC,MAAM,CAAC;IACvD,SAAS,EAAE,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,oBAAoB,CAAC;IAC3D,mBAAmB,EAAE,IAAI,CAAC,MAAM,CAC5B,IAAI,CAAC,MAAM,EAAE,EACb,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,CACnE;CACJ,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,mCAAmC,GAAG,IAAI,CAAC,MAAM,CAAC;IAC3D,EAAE,EAAE,IAAI,CAAC,OAAO,EAAE;IAClB,UAAU,EAAE,IAAI,CAAC,QAAQ,CAAC,2BAA2B,CAAC;IACtD,UAAU,EAAE,IAAI,CAAC,QAAQ,CAAC,+BAA+B,CAAC;IAC1D,qBAAqB,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;IAC/D,UAAU,EAAE,IAAI,CAAC,QAAQ,CAAC,kCAAkC,CAAC;IAC7D,kBAAkB,EAAE,IAAI,CAAC,QAAQ,CAC7B,IAAI,CAAC,KAAK,CAAC,kCAAkC,CAAC,CACjD;IACD,kBAAkB,EAAE,IAAI,CAAC,QAAQ,CAC7B,IAAI,CAAC,KAAK,CAAC,kCAAkC,CAAC,CACjD;IACD,sBAAsB,EAAE,IAAI,CAAC,QAAQ,CAAC,oBAAoB,CAAC;IAC3D,yBAAyB,EAAE,IAAI,CAAC,QAAQ,CAAC,oBAAoB,CAAC;IAC9D,cAAc,EAAE,IAAI,CAAC,QAAQ,CAAC,oBAAoB,CAAC;IACnD,gBAAgB,EAAE,IAAI,CAAC,QAAQ,CAAC,oBAAoB,CAAC;IACrD,6BAA6B,EAAE,IAAI,CAAC,QAAQ,CAAC,oBAAoB,CAAC;IAClE,gEAAgE;IAChE,2EAA2E;IAC3E,sEAAsE;IACtE,wBAAwB,EAAE,IAAI,CAAC,QAAQ,CACnC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,oBAAoB,CAAC,CACnD;CACJ,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,yBAAyB,GAAG,IAAI,CAAC,MAAM,CAAC;IACjD,UAAU,EAAE,+BAA+B;IAC3C,MAAM,EAAE,mCAAmC;CAC9C,CAAC,CAAA;AACF,MAAM,CAAC,MAAM,8BAA8B,GAAG,IAAI,CAAC,MAAM,CAAC;IACtD,EAAE,EAAE,IAAI,CAAC,OAAO,EAAE;IAClB,UAAU,EAAE,IAAI,CAAC,QAAQ,CAAC,2BAA2B,CAAC;IACtD,OAAO,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;IACtC,kBAAkB,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;IAC5D,qBAAqB,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;IACnD,wBAAwB,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;IACtD,eAAe,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,yBAAyB,CAAC,CAAC;IACrE,SAAS,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;CAC3C,CAAC,CAAA;AAEF,mEAAmE;AACnE,MAAM,CAAC,MAAM,kBAAkB,GAAG,IAAI,CAAC,MAAM,CAAC;IAC1C,aAAa,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC;IAC9B,SAAS,EAAE,aAAa;IACxB,WAAW,EAAE,aAAa;IAC1B,oBAAoB,EAAE,IAAI,CAAC,MAAM,EAAE;IACnC,UAAU,EAAE,mCAAmC;IAC/C,aAAa,EAAE,IAAI,CAAC,QAAQ,CAAC,8BAA8B,CAAC;CAC/D,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,iBAAiB,GAAG,IAAI,CAAC,MAAM,CAAC;IACzC,KAAK,EAAE,iBAAiB;IACxB,UAAU,EAAE,IAAI,CAAC,QAAQ,CAAC,kBAAkB,CAAC;CAChD,CAAC,CAAA"}
+{"version":3,"file":"review.js","sourceRoot":"","sources":["../../src/schemas/review.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAe,MAAM,SAAS,CAAA;AAC3C,OAAO,EAAE,IAAI,EAAE,aAAa,EAAE,MAAM,aAAa,CAAA;AAEjD,6DAA6D;AAC7D,MAAM,CAAC,MAAM,oBAAoB,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,OAAO,EAAE,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAA;AAG7E,yBAAyB;AACzB,MAAM,CAAC,MAAM,yBAAyB,GAAG,IAAI,CAAC,KAAK,CAAC;IAChD,IAAI,CAAC,OAAO,CAAC,kBAAkB,CAAC;IAChC,IAAI,CAAC,OAAO,CAAC,2BAA2B,CAAC;IACzC,IAAI,CAAC,OAAO,CAAC,qBAAqB,CAAC;IACnC,IAAI,CAAC,OAAO,CAAC,kBAAkB,CAAC;IAChC,IAAI,CAAC,OAAO,CAAC,sBAAsB,CAAC;IACpC,IAAI,CAAC,OAAO,CAAC,0BAA0B,CAAC;IACxC,IAAI,CAAC,OAAO,CAAC,qBAAqB,CAAC;CACtC,CAAC,CAAA;AACF,0BAA0B;AAC1B,MAAM,CAAC,MAAM,0BAA0B,GAAG,IAAI,CAAC,KAAK,CAAC;IACjD,IAAI,CAAC,OAAO,CAAC,qBAAqB,CAAC;IACnC,IAAI,CAAC,OAAO,CAAC,8BAA8B,CAAC;IAC5C,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC;IACzB,IAAI,CAAC,OAAO,CAAC,wBAAwB,CAAC;IACtC,IAAI,CAAC,OAAO,CAAC,uBAAuB,CAAC;IACrC,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC;IACxB,IAAI,CAAC,OAAO,CAAC,cAAc,CAAC;IAC5B,IAAI,CAAC,OAAO,CAAC,gBAAgB,CAAC;CACjC,CAAC,CAAA;AACF,4BAA4B;AAC5B,MAAM,CAAC,MAAM,4BAA4B,GAAG,IAAI,CAAC,KAAK,CAAC;IACnD,IAAI,CAAC,OAAO,CAAC,uBAAuB,CAAC;IACrC,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC;IAC1B,IAAI,CAAC,OAAO,CAAC,aAAa,CAAC;IAC3B,IAAI,CAAC,OAAO,CAAC,mBAAmB,CAAC;IACjC,IAAI,CAAC,OAAO,CAAC,mBAAmB,CAAC;IACjC,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC;IACzB,IAAI,CAAC,OAAO,CAAC,mBAAmB,CAAC;IACjC,IAAI,CAAC,OAAO,CAAC,gBAAgB,CAAC;CACjC,CAAC,CAAA;AACF,gCAAgC;AAChC,MAAM,CAAC,MAAM,8BAA8B,GAAG,IAAI,CAAC,KAAK,CAAC;IACrD,IAAI,CAAC,OAAO,CAAC,kBAAkB,CAAC;IAChC,IAAI,CAAC,OAAO,CAAC,wBAAwB,CAAC;IACtC,IAAI,CAAC,OAAO,CAAC,0BAA0B,CAAC;IACxC,IAAI,CAAC,OAAO,CAAC,oBAAoB,CAAC;IAClC,IAAI,CAAC,OAAO,CAAC,4BAA4B,CAAC;CAC7C,CAAC,CAAA;AACF,gCAAgC;AAChC,MAAM,CAAC,MAAM,8BAA8B,GAAG,IAAI,CAAC,KAAK,CAAC;IACrD,IAAI,CAAC,OAAO,CAAC,cAAc,CAAC;IAC5B,IAAI,CAAC,OAAO,CAAC,2BAA2B,CAAC;IACzC,IAAI,CAAC,OAAO,CAAC,sBAAsB,CAAC;IACpC,IAAI,CAAC,OAAO,CAAC,uBAAuB,CAAC;IACrC,IAAI,CAAC,OAAO,CAAC,iBAAiB,CAAC;IAC/B,IAAI,CAAC,OAAO,CAAC,0BAA0B,CAAC;IACxC,IAAI,CAAC,OAAO,CAAC,oBAAoB,CAAC;CACrC,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,qBAAqB,GAAG,IAAI,CAAC,KAAK,CAAC;IAC5C,yBAAyB;IACzB,0BAA0B;IAC1B,4BAA4B;CAC/B,CAAC,CAAA;AACF,MAAM,CAAC,MAAM,wBAAwB,GAAG,IAAI,CAAC,KAAK,CAAC;IAC/C,8BAA8B;IAC9B,8BAA8B;CACjC,CAAC,CAAA;AAeF,wBAAwB;AACxB,gEAAgE;AAChE,oFAAoF;AACpF,MAAM,CAAC,MAAM,qBAAqB,GAAG,IAAI,CAAC,MAAM,CAAC;IAC7C,YAAY,EAAE,IAAI;IAClB,OAAO,EAAE,IAAI;IACb,KAAK,EAAE,oBAAoB;IAC3B,UAAU,EAAE,IAAI,CAAC,QAAQ,CAAC,qBAAqB,CAAC;IAChD,OAAO,EAAE,IAAI,CAAC,OAAO,EAAE;IACvB,SAAS,EAAE,aAAa;CAC3B,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,wBAAwB,GAAG,IAAI,CAAC,MAAM,CAAC;IAChD,YAAY,EAAE,IAAI;IAClB,SAAS,EAAE,IAAI;IACf,YAAY,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC;IACjC,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC;IACxE,QAAQ,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC;IAC1E,UAAU,EAAE,IAAI,CAAC,QAAQ,CAAC,wBAAwB,CAAC;IACnD,SAAS,EAAE,aAAa;CAC3B,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,iBAAiB,GAAG,IAAI,CAAC,KAAK,CAAC;IACxC,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC;IACtB,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC;IACzB,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC;CACvB,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,iBAAiB,GAAG,IAAI,CAAC,MAAM,CAAC;IACzC,aAAa,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC;IAC9B,QAAQ,EAAE,IAAI;IACd,UAAU,EAAE,IAAI;IAChB,eAAe,EAAE,IAAI,CAAC,MAAM,EAAE;IAC9B,MAAM,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC;IAC3B,SAAS,EAAE,aAAa;IACxB,SAAS,EAAE,aAAa;IACxB,KAAK,EAAE,iBAAiB;IACxB,gBAAgB,EAAE,IAAI,CAAC,OAAO,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC;IAC9C,gBAAgB,EAAE,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,qBAAqB,CAAC;IAC1D,mBAAmB,EAAE,IAAI,CAAC,KAAK,CAAC,wBAAwB,CAAC;CAC5D,CAAC,CAAA;AAGF,iDAAiD;AACjD,kEAAkE;AAClE,oEAAoE;AAEpE,gEAAgE;AAChE,MAAM,CAAC,MAAM,yBAAyB,GAAG,IAAI,CAAC,KAAK,CAAC;IAChD,IAAI,CAAC,OAAO,CAAC,wBAAwB,CAAC;IACtC,IAAI,CAAC,OAAO,CAAC,+BAA+B,CAAC;IAC7C,IAAI,CAAC,OAAO,CAAC,sCAAsC,CAAC;IACpD,IAAI,CAAC,OAAO,CAAC,oCAAoC,CAAC;IAClD,IAAI,CAAC,OAAO,CAAC,eAAe,CAAC;IAC7B,IAAI,CAAC,OAAO,CAAC,sBAAsB,CAAC;IACpC,IAAI,CAAC,OAAO,CAAC,uBAAuB,CAAC;IACrC,IAAI,CAAC,OAAO,CAAC,0BAA0B,CAAC;IACxC,IAAI,CAAC,OAAO,CAAC,+BAA+B,CAAC;IAC7C,IAAI,CAAC,OAAO,CAAC,0BAA0B,CAAC;IACxC,IAAI,CAAC,OAAO,CAAC,6BAA6B,CAAC;IAC3C,IAAI,CAAC,OAAO,CAAC,6BAA6B,CAAC;IAC3C,IAAI,CAAC,OAAO,CAAC,8CAA8C,CAAC;IAC5D,IAAI,CAAC,OAAO,CAAC,+CAA+C,CAAC;IAC7D,IAAI,CAAC,OAAO,CAAC,kDAAkD,CAAC;IAChE,IAAI,CAAC,OAAO,CAAC,iBAAiB,CAAC;IAC/B,IAAI,CAAC,OAAO,CAAC,0BAA0B,CAAC;IACxC,IAAI,CAAC,OAAO,CAAC,4CAA4C,CAAC;CAC7D,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,0BAA0B,GAAG,IAAI,CAAC,MAAM,CAAC;IAClD,IAAI,EAAE,yBAAyB;IAC/B,QAAQ,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,EAAE,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC;IACtE,OAAO,EAAE,IAAI,CAAC,MAAM,EAAE;IACtB,SAAS,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;IACvC,YAAY,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;IAC1C,UAAU,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;CAC3C,CAAC,CAAA;AACF,MAAM,CAAC,MAAM,2BAA2B,GAAG,IAAI,CAAC,MAAM,CAAC;IACnD,EAAE,EAAE,IAAI,CAAC,OAAO,EAAE;IAClB,MAAM,EAAE,IAAI,CAAC,KAAK,CAAC,0BAA0B,CAAC;CACjD,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,6BAA6B,GAAG,IAAI,CAAC,MAAM,CAAC;IACrD,cAAc,EAAE,oBAAoB;IACpC,cAAc,EAAE,oBAAoB;IACpC,gBAAgB,EAAE,oBAAoB;IACtC,eAAe,EAAE,oBAAoB;IACrC,KAAK,EAAE,oBAAoB;CAC9B,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,qCAAqC,GAAG,IAAI,CAAC,KAAK,CAAC;IAC5D,IAAI,CAAC,MAAM,CAAC;QACR,IAAI,EAAE,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC;QAC7B,SAAS,EAAE,IAAI,CAAC,MAAM,EAAE;QACxB,gBAAgB,EAAE,IAAI,CAAC,MAAM,EAAE;QAC/B,SAAS,EAAE,oBAAoB;QAC/B,UAAU,EAAE,oBAAoB;QAChC,SAAS,EAAE,oBAAoB;QAC/B,cAAc,EAAE,oBAAoB;QACpC,cAAc,EAAE,oBAAoB;QACpC,eAAe,EAAE,oBAAoB;QACrC,KAAK,EAAE,oBAAoB;QAC3B,YAAY,EAAE,oBAAoB;KACrC,CAAC;IACF,IAAI,CAAC,MAAM,CAAC;QACR,IAAI,EAAE,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC;QACzB,SAAS,EAAE,IAAI,CAAC,MAAM,EAAE;QACxB,gBAAgB,EAAE,IAAI,CAAC,MAAM,EAAE;QAC/B,SAAS,EAAE,oBAAoB;QAC/B,UAAU,EAAE,oBAAoB;QAChC,SAAS,EAAE,oBAAoB;QAC/B,WAAW,EAAE,6BAA6B;QAC1C,WAAW,EAAE,6BAA6B;QAC1C,aAAa,EAAE,oBAAoB;QACnC,cAAc,EAAE,oBAAoB;KACvC,CAAC;CACL,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,kCAAkC,GAAG,IAAI,CAAC,MAAM,CAAC;IAC1D,SAAS,EAAE,IAAI,CAAC,MAAM,EAAE;IACxB,WAAW,EAAE,IAAI,CAAC,KAAK,CAAC;QACpB,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC;QACzB,IAAI,CAAC,OAAO,CAAC,YAAY,CAAC;KAC7B,CAAC;IACF,gBAAgB,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;IAC9C,SAAS,EAAE,IAAI,CAAC,QAAQ,CAAC,oBAAoB,CAAC;IAC9C,gBAAgB,EAAE,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,oBAAoB,CAAC;IAClE,cAAc,EAAE,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,oBAAoB,CAAC;IAChE,mBAAmB,EAAE,IAAI,CAAC,QAAQ,CAAC,qCAAqC,CAAC;CAC5E,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,+BAA+B,GAAG,IAAI,CAAC,MAAM,CAAC;IACvD,SAAS,EAAE,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,oBAAoB,CAAC;IAC3D,mBAAmB,EAAE,IAAI,CAAC,MAAM,CAC5B,IAAI,CAAC,MAAM,EAAE,EACb,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,CACnE;CACJ,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,mCAAmC,GAAG,IAAI,CAAC,MAAM,CAAC;IAC3D,EAAE,EAAE,IAAI,CAAC,OAAO,EAAE;IAClB,UAAU,EAAE,IAAI,CAAC,QAAQ,CAAC,2BAA2B,CAAC;IACtD,UAAU,EAAE,IAAI,CAAC,QAAQ,CAAC,+BAA+B,CAAC;IAC1D,qBAAqB,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;IAC/D,UAAU,EAAE,IAAI,CAAC,QAAQ,CAAC,kCAAkC,CAAC;IAC7D,kBAAkB,EAAE,IAAI,CAAC,QAAQ,CAC7B,IAAI,CAAC,KAAK,CAAC,kCAAkC,CAAC,CACjD;IACD,kBAAkB,EAAE,IAAI,CAAC,QAAQ,CAC7B,IAAI,CAAC,KAAK,CAAC,kCAAkC,CAAC,CACjD;IACD,sBAAsB,EAAE,IAAI,CAAC,QAAQ,CAAC,oBAAoB,CAAC;IAC3D,yBAAyB,EAAE,IAAI,CAAC,QAAQ,CAAC,oBAAoB,CAAC;IAC9D,cAAc,EAAE,IAAI,CAAC,QAAQ,CAAC,oBAAoB,CAAC;IACnD,gBAAgB,EAAE,IAAI,CAAC,QAAQ,CAAC,oBAAoB,CAAC;IACrD,6BAA6B,EAAE,IAAI,CAAC,QAAQ,CAAC,oBAAoB,CAAC;IAClE,gEAAgE;IAChE,2EAA2E;IAC3E,sEAAsE;IACtE,wBAAwB,EAAE,IAAI,CAAC,QAAQ,CACnC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,EAAE,oBAAoB,CAAC,CACnD;CACJ,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,yBAAyB,GAAG,IAAI,CAAC,MAAM,CAAC;IACjD,UAAU,EAAE,+BAA+B;IAC3C,MAAM,EAAE,mCAAmC;CAC9C,CAAC,CAAA;AACF,MAAM,CAAC,MAAM,8BAA8B,GAAG,IAAI,CAAC,MAAM,CAAC;IACtD,EAAE,EAAE,IAAI,CAAC,OAAO,EAAE;IAClB,UAAU,EAAE,IAAI,CAAC,QAAQ,CAAC,2BAA2B,CAAC;IACtD,OAAO,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;IACtC,kBAAkB,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;IAC5D,qBAAqB,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;IACnD,wBAAwB,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;IACtD,eAAe,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,yBAAyB,CAAC,CAAC;IACrE,SAAS,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;CAC3C,CAAC,CAAA;AAEF,mEAAmE;AACnE,MAAM,CAAC,MAAM,kBAAkB,GAAG,IAAI,CAAC,MAAM,CAAC;IAC1C,aAAa,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC;IAC9B,SAAS,EAAE,aAAa;IACxB,WAAW,EAAE,aAAa;IAC1B,oBAAoB,EAAE,IAAI,CAAC,MAAM,EAAE;IACnC,UAAU,EAAE,mCAAmC;IAC/C,aAAa,EAAE,IAAI,CAAC,QAAQ,CAAC,8BAA8B,CAAC;CAC/D,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,iBAAiB,GAAG,IAAI,CAAC,MAAM,CAAC;IACzC,KAAK,EAAE,iBAAiB;IACxB,UAAU,EAAE,IAAI,CAAC,QAAQ,CAAC,kBAAkB,CAAC;CAChD,CAAC,CAAA"}

package/dist/schemas/snapshot.d.ts

@@ -90,6 +90,7 @@ export declare const ArgumentEngineSnapshotSchema: Type.TObject<{
             argumentVersion: Type.TNumber;
             role: Type.TUnion<[Type.TLiteral<"conclusion">, Type.TLiteral<"supporting">]>;
             title: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
+            type: Type.TUnion<[Type.TLiteral<"freeform">, Type.TLiteral<"derivation">]>;
             id: Type.TString;
         }>, Type.TObject<{
             checksum: Type.TOptional<Type.TString>;
@@ -155,10 +156,6 @@ export declare const ArgumentEngineSnapshotSchema: Type.TObject<{
         config: Type.TOptional<Type.TUnknown>;
     }>>;
     conclusionPremiseId: Type.TOptional<Type.TString>;
-    sources: Type.TOptional<Type.TObject<{
-        variableSourceAssociations: Type.TArray<Type.TUnknown>;
-        expressionSourceAssociations: Type.TArray<Type.TUnknown>;
-    }>>;
     config: Type.TOptional<Type.TUnknown>;
 }>;
 export type TArgumentEngineSnapshot = Static<typeof ArgumentEngineSnapshotSchema>;

package/dist/schemas/snapshot.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"snapshot.d.ts","sourceRoot":"","sources":["../../src/schemas/snapshot.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAE,KAAK,MAAM,EAAE,MAAM,SAAS,CAAA;AAsF3C,eAAO,MAAM,4BAA4B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAOvC,CAAA;AACF,MAAM,MAAM,uBAAuB,GAAG,MAAM,CACxC,OAAO,4BAA4B,CACtC,CAAA"}
+{"version":3,"file":"snapshot.d.ts","sourceRoot":"","sources":["../../src/schemas/snapshot.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAE,KAAK,MAAM,EAAE,MAAM,SAAS,CAAA;AAiF3C,eAAO,MAAM,4BAA4B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAMvC,CAAA;AACF,MAAM,MAAM,uBAAuB,GAAG,MAAM,CACxC,OAAO,4BAA4B,CACtC,CAAA"}

package/dist/schemas/snapshot.js

@@ -65,16 +65,11 @@ const PremiseEngineSnapshotSchema = Type.Object({
     expressions: ExpressionManagerSnapshotSchema,
     config: Type.Optional(Type.Unknown()),
 });
-const SourceManagerSnapshotSchema = Type.Object({
-    variableSourceAssociations: Type.Array(Type.Unknown()),
-    expressionSourceAssociations: Type.Array(Type.Unknown()),
-});
 export const ArgumentEngineSnapshotSchema = Type.Object({
     argument: OptionalChecksumArgument,
     variables: VariableManagerSnapshotSchema,
     premises: Type.Array(PremiseEngineSnapshotSchema),
     conclusionPremiseId: Type.Optional(Type.String()),
-    sources: Type.Optional(SourceManagerSnapshotSchema),
     config: Type.Optional(Type.Unknown()),
 });
 //# sourceMappingURL=snapshot.js.map

package/dist/schemas/snapshot.js.map

@@ -1 +1 @@
-{"version":3,"file":"snapshot.js","sourceRoot":"","sources":["../../src/schemas/snapshot.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAe,MAAM,SAAS,CAAA;AAC3C,OAAO,EACH,6BAA6B,EAC7B,wBAAwB,EACxB,0BAA0B,EAC1B,0BAA0B,GAC7B,MAAM,YAAY,CAAA;AACnB,OAAO,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAA;AACrD,OAAO,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAA;AAEtC,wDAAwD;AAExD,uBAAuB;AACvB,MAAM,+BAA+B,GAAG,IAAI,CAAC,MAAM,CAAC;IAChD,WAAW,EAAE,IAAI,CAAC,KAAK,CAAC,6BAA6B,CAAC;IACtD,MAAM,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;CACxC,CAAC,CAAA;AAEF,uEAAuE;AACvE,mEAAmE;AACnE,MAAM,sBAAsB,GAAG,IAAI,CAAC,MAAM,CAAC;IACvC,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;IACtC,kBAAkB,EAAE,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;IAC1D,gBAAgB,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;CACjD,CAAC,CAAA;AACF,MAAM,YAAY,GAAG;IACjB,UAAU;IACV,oBAAoB;IACpB,kBAAkB;CACZ,CAAA;AAEV,MAAM,wBAAwB,GAAG,IAAI,CAAC,KAAK,CAAC;IACxC,IAAI,CAAC,SAAS,CAAC;QACX,IAAI,CAAC,IAAI,CAAC,wBAAwB,EAAE,YAAY,CAAC;QACjD,sBAAsB;KACzB,CAAC;IACF,IAAI,CAAC,SAAS,CAAC;QACX,IAAI,CAAC,IAAI,CAAC,0BAA0B,EAAE,YAAY,CAAC;QACnD,sBAAsB;KACzB,CAAC;CACL,CAAC,CAAA;AAEF,MAAM,6BAA6B,GAAG,IAAI,CAAC,MAAM,CAAC;IAC9C,SAAS,EAAE,IAAI,CAAC,KAAK,CAAC,wBAAwB,CAAC;IAC/C,MAAM,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;CACxC,CAAC,CAAA;AAEF,oDAAoD;AACpD,MAAM,wBAAwB,GAAG,IAAI,CAAC,SAAS,CAAC;IAC5C,IAAI,CAAC,IAAI,CAAC,cAAc,EAAE;QACtB,UAAU;QACV,oBAAoB;QACpB,kBAAkB;KACrB,CAAC;IACF,IAAI,CAAC,MAAM,CAAC;QACR,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;QACtC,kBAAkB,EAAE,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;QAC1D,gBAAgB,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;KACjD,CAAC;CACL,CAAC,CAAA;AAEF,MAAM,uBAAuB,GAAG,IAAI,CAAC,SAAS,CAAC;IAC3C,IAAI,CAAC,IAAI,CAAC,0BAA0B,EAAE;QAClC,UAAU;QACV,oBAAoB;QACpB,kBAAkB;KACrB,CAAC;IACF,IAAI,CAAC,MAAM,CAAC;QACR,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;QACtC,kBAAkB,EAAE,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;QAC1D,gBAAgB,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;KACjD,CAAC;CACL,CAAC,CAAA;AAEF,MAAM,2BAA2B,GAAG,IAAI,CAAC,MAAM,CAAC;IAC5C,OAAO,EAAE,uBAAuB;IAChC,gBAAgB,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;IAC9C,WAAW,EAAE,+BAA+B;IAC5C,MAAM,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;CACxC,CAAC,CAAA;AAEF,MAAM,2BAA2B,GAAG,IAAI,CAAC,MAAM,CAAC;IAC5C,0BAA0B,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;IACtD,4BAA4B,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;CAC3D,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,4BAA4B,GAAG,IAAI,CAAC,MAAM,CAAC;IACpD,QAAQ,EAAE,wBAAwB;IAClC,SAAS,EAAE,6BAA6B;IACxC,QAAQ,EAAE,IAAI,CAAC,KAAK,CAAC,2BAA2B,CAAC;IACjD,mBAAmB,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;IACjD,OAAO,EAAE,IAAI,CAAC,QAAQ,CAAC,2BAA2B,CAAC;IACnD,MAAM,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;CACxC,CAAC,CAAA"}
+{"version":3,"file":"snapshot.js","sourceRoot":"","sources":["../../src/schemas/snapshot.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAe,MAAM,SAAS,CAAA;AAC3C,OAAO,EACH,6BAA6B,EAC7B,wBAAwB,EACxB,0BAA0B,EAC1B,0BAA0B,GAC7B,MAAM,YAAY,CAAA;AACnB,OAAO,EAAE,cAAc,EAAE,MAAM,sBAAsB,CAAA;AACrD,OAAO,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAA;AAEtC,wDAAwD;AAExD,uBAAuB;AACvB,MAAM,+BAA+B,GAAG,IAAI,CAAC,MAAM,CAAC;IAChD,WAAW,EAAE,IAAI,CAAC,KAAK,CAAC,6BAA6B,CAAC;IACtD,MAAM,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;CACxC,CAAC,CAAA;AAEF,uEAAuE;AACvE,mEAAmE;AACnE,MAAM,sBAAsB,GAAG,IAAI,CAAC,MAAM,CAAC;IACvC,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;IACtC,kBAAkB,EAAE,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;IAC1D,gBAAgB,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;CACjD,CAAC,CAAA;AACF,MAAM,YAAY,GAAG;IACjB,UAAU;IACV,oBAAoB;IACpB,kBAAkB;CACZ,CAAA;AAEV,MAAM,wBAAwB,GAAG,IAAI,CAAC,KAAK,CAAC;IACxC,IAAI,CAAC,SAAS,CAAC;QACX,IAAI,CAAC,IAAI,CAAC,wBAAwB,EAAE,YAAY,CAAC;QACjD,sBAAsB;KACzB,CAAC;IACF,IAAI,CAAC,SAAS,CAAC;QACX,IAAI,CAAC,IAAI,CAAC,0BAA0B,EAAE,YAAY,CAAC;QACnD,sBAAsB;KACzB,CAAC;CACL,CAAC,CAAA;AAEF,MAAM,6BAA6B,GAAG,IAAI,CAAC,MAAM,CAAC;IAC9C,SAAS,EAAE,IAAI,CAAC,KAAK,CAAC,wBAAwB,CAAC;IAC/C,MAAM,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;CACxC,CAAC,CAAA;AAEF,oDAAoD;AACpD,MAAM,wBAAwB,GAAG,IAAI,CAAC,SAAS,CAAC;IAC5C,IAAI,CAAC,IAAI,CAAC,cAAc,EAAE;QACtB,UAAU;QACV,oBAAoB;QACpB,kBAAkB;KACrB,CAAC;IACF,IAAI,CAAC,MAAM,CAAC;QACR,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;QACtC,kBAAkB,EAAE,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;QAC1D,gBAAgB,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;KACjD,CAAC;CACL,CAAC,CAAA;AAEF,MAAM,uBAAuB,GAAG,IAAI,CAAC,SAAS,CAAC;IAC3C,IAAI,CAAC,IAAI,CAAC,0BAA0B,EAAE;QAClC,UAAU;QACV,oBAAoB;QACpB,kBAAkB;KACrB,CAAC;IACF,IAAI,CAAC,MAAM,CAAC;QACR,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;QACtC,kBAAkB,EAAE,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC,CAAC;QAC1D,gBAAgB,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;KACjD,CAAC;CACL,CAAC,CAAA;AAEF,MAAM,2BAA2B,GAAG,IAAI,CAAC,MAAM,CAAC;IAC5C,OAAO,EAAE,uBAAuB;IAChC,gBAAgB,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;IAC9C,WAAW,EAAE,+BAA+B;IAC5C,MAAM,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;CACxC,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,4BAA4B,GAAG,IAAI,CAAC,MAAM,CAAC;IACpD,QAAQ,EAAE,wBAAwB;IAClC,SAAS,EAAE,6BAA6B;IACxC,QAAQ,EAAE,IAAI,CAAC,KAAK,CAAC,2BAA2B,CAAC;IACjD,mBAAmB,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;IACjD,MAAM,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;CACxC,CAAC,CAAA"}

package/dist/utils/embedding-text.d.ts

@@ -8,7 +8,7 @@ import type { TIEEEReference } from "../schemas/model/references.js";
  * Reused for both server-side embedding generation and
  * client-side fuzzy search display text.
  */
-export declare function extractSourceTitle(citation: TIEEEReference | {
+export declare function extractCitationTitle(citation: TIEEEReference | {
     type: "Other";
     text?: string;
 }): string | null;

package/dist/utils/embedding-text.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"embedding-text.d.ts","sourceRoot":"","sources":["../../src/utils/embedding-text.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,gCAAgC,CAAA;AAEpE;;;;;;;;GAQG;AACH,wBAAgB,kBAAkB,CAC9B,QAAQ,EAAE,cAAc,GAAG;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,IAAI,CAAC,EAAE,MAAM,CAAA;CAAE,GAC5D,MAAM,GAAG,IAAI,CAmFf"}
+{"version":3,"file":"embedding-text.d.ts","sourceRoot":"","sources":["../../src/utils/embedding-text.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,gCAAgC,CAAA;AAEpE;;;;;;;;GAQG;AACH,wBAAgB,oBAAoB,CAChC,QAAQ,EAAE,cAAc,GAAG;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,IAAI,CAAC,EAAE,MAAM,CAAA;CAAE,GAC5D,MAAM,GAAG,IAAI,CAmFf"}

package/dist/utils/embedding-text.js

@@ -7,7 +7,7 @@
  * Reused for both server-side embedding generation and
  * client-side fuzzy search display text.
  */
-export function extractSourceTitle(citation) {
+export function extractCitationTitle(citation) {
     let text = null;
     switch (citation.type) {
         // Unparsed URL sources (import path, quick drafts)

package/dist/utils/embedding-text.js.map

@@ -1 +1 @@
-{"version":3,"file":"embedding-text.js","sourceRoot":"","sources":["../../src/utils/embedding-text.ts"],"names":[],"mappings":"AAEA;;;;;;;;GAQG;AACH,MAAM,UAAU,kBAAkB,CAC9B,QAA2D;IAE3D,IAAI,IAAI,GAAkB,IAAI,CAAA;IAE9B,QAAQ,QAAQ,CAAC,IAAI,EAAE,CAAC;QACpB,mDAAmD;QACnD,KAAK,aAAa,CAAC,CAAC,CAAC;YACjB,MAAM,QAAQ,GAAG,QAGhB,CAAA;YACD,IAAI,GAAG,QAAQ,CAAC,IAAI,IAAI,QAAQ,CAAC,GAAG,CAAA;YACpC,MAAK;QACT,CAAC;QAED,gEAAgE;QAChE,KAAK,OAAO;YACR,IAAI,GAAI,QAA8B,CAAC,IAAI,IAAI,IAAI,CAAA;YACnD,MAAK;QAET,4CAA4C;QAC5C,KAAK,MAAM,CAAC;QACZ,KAAK,UAAU,CAAC;QAChB,KAAK,iBAAiB,CAAC;QACvB,KAAK,UAAU,CAAC;QAChB,KAAK,QAAQ,CAAC;QACd,KAAK,QAAQ,CAAC;QACd,KAAK,YAAY,CAAC;QAClB,KAAK,cAAc,CAAC;QACpB,KAAK,gBAAgB,CAAC;QACtB,KAAK,iBAAiB,CAAC;QACvB,KAAK,kBAAkB,CAAC;QACxB,KAAK,iBAAiB,CAAC;QACvB,KAAK,SAAS,CAAC;QACf,KAAK,UAAU,CAAC;QAChB,KAAK,gBAAgB,CAAC;QACtB,KAAK,UAAU,CAAC;QAChB,KAAK,OAAO,CAAC;QACb,KAAK,QAAQ,CAAC;QACd,KAAK,cAAc,CAAC;QACpB,KAAK,KAAK,CAAC;QACX,KAAK,uBAAuB,CAAC;QAC7B,KAAK,WAAW,CAAC;QACjB,KAAK,eAAe;YAChB,IAAI,GAAG,QAAQ,CAAC,KAAK,CAAA;YACrB,MAAK;QAET,mDAAmD;QACnD,KAAK,SAAS;YACV,IAAI,GAAG,QAAQ,CAAC,SAAS,CAAA;YACzB,MAAK;QACT,KAAK,aAAa;YACd,IAAI,GAAG,QAAQ,CAAC,YAAY,CAAA;YAC5B,MAAK;QACT,KAAK,MAAM;YACP,IAAI,GAAG,QAAQ,CAAC,SAAS,CAAA;YACzB,MAAK;QACT,KAAK,SAAS;YACV,IAAI,GAAG,QAAQ,CAAC,YAAY,CAAA;YAC5B,MAAK;QACT,KAAK,WAAW;YACZ,IAAI,GAAG,QAAQ,CAAC,QAAQ,CAAA;YACxB,MAAK;QAET,yCAAyC;QACzC,KAAK,uBAAuB;YACxB,IAAI,GAAG,QAAQ,CAAC,cAAc,CAAA;YAC9B,MAAK;QACT,KAAK,aAAa;YACd,IAAI,GAAG,GAAG,QAAQ,CAAC,MAAM,CAAC,UAAU,OAAO,QAAQ,CAAC,QAAQ,EAAE,CAAA;YAC9D,MAAK;QACT,KAAK,WAAW;YACZ,IAAI,GAAG,kBAAkB,QAAQ,CAAC,WAAW,CAAC,UAAU,EAAE,CAAA;YAC1D,MAAK;QACT,KAAK,uBAAuB;YACxB,IAAI,GAAG,sBAAsB,QAAQ,CAAC,MAAM,CAAC,UAAU,EAAE,CAAA;YACzD,MAAK;QACT,KAAK,OAAO;YACR,IAAI,GAAG,cAAc,QAAQ,CAAC,MAAM,CAAC,UAAU,OAAO,QAAQ,CAAC,SAAS,CAAC,UAAU,EAAE,CAAA;YACrF,MAAK;IACb,CAAC;IAED,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAA;IAClD,OAAO,IAAI,CAAA;AACf,CAAC"}
+{"version":3,"file":"embedding-text.js","sourceRoot":"","sources":["../../src/utils/embedding-text.ts"],"names":[],"mappings":"AAEA;;;;;;;;GAQG;AACH,MAAM,UAAU,oBAAoB,CAChC,QAA2D;IAE3D,IAAI,IAAI,GAAkB,IAAI,CAAA;IAE9B,QAAQ,QAAQ,CAAC,IAAI,EAAE,CAAC;QACpB,mDAAmD;QACnD,KAAK,aAAa,CAAC,CAAC,CAAC;YACjB,MAAM,QAAQ,GAAG,QAGhB,CAAA;YACD,IAAI,GAAG,QAAQ,CAAC,IAAI,IAAI,QAAQ,CAAC,GAAG,CAAA;YACpC,MAAK;QACT,CAAC;QAED,gEAAgE;QAChE,KAAK,OAAO;YACR,IAAI,GAAI,QAA8B,CAAC,IAAI,IAAI,IAAI,CAAA;YACnD,MAAK;QAET,4CAA4C;QAC5C,KAAK,MAAM,CAAC;QACZ,KAAK,UAAU,CAAC;QAChB,KAAK,iBAAiB,CAAC;QACvB,KAAK,UAAU,CAAC;QAChB,KAAK,QAAQ,CAAC;QACd,KAAK,QAAQ,CAAC;QACd,KAAK,YAAY,CAAC;QAClB,KAAK,cAAc,CAAC;QACpB,KAAK,gBAAgB,CAAC;QACtB,KAAK,iBAAiB,CAAC;QACvB,KAAK,kBAAkB,CAAC;QACxB,KAAK,iBAAiB,CAAC;QACvB,KAAK,SAAS,CAAC;QACf,KAAK,UAAU,CAAC;QAChB,KAAK,gBAAgB,CAAC;QACtB,KAAK,UAAU,CAAC;QAChB,KAAK,OAAO,CAAC;QACb,KAAK,QAAQ,CAAC;QACd,KAAK,cAAc,CAAC;QACpB,KAAK,KAAK,CAAC;QACX,KAAK,uBAAuB,CAAC;QAC7B,KAAK,WAAW,CAAC;QACjB,KAAK,eAAe;YAChB,IAAI,GAAG,QAAQ,CAAC,KAAK,CAAA;YACrB,MAAK;QAET,mDAAmD;QACnD,KAAK,SAAS;YACV,IAAI,GAAG,QAAQ,CAAC,SAAS,CAAA;YACzB,MAAK;QACT,KAAK,aAAa;YACd,IAAI,GAAG,QAAQ,CAAC,YAAY,CAAA;YAC5B,MAAK;QACT,KAAK,MAAM;YACP,IAAI,GAAG,QAAQ,CAAC,SAAS,CAAA;YACzB,MAAK;QACT,KAAK,SAAS;YACV,IAAI,GAAG,QAAQ,CAAC,YAAY,CAAA;YAC5B,MAAK;QACT,KAAK,WAAW;YACZ,IAAI,GAAG,QAAQ,CAAC,QAAQ,CAAA;YACxB,MAAK;QAET,yCAAyC;QACzC,KAAK,uBAAuB;YACxB,IAAI,GAAG,QAAQ,CAAC,cAAc,CAAA;YAC9B,MAAK;QACT,KAAK,aAAa;YACd,IAAI,GAAG,GAAG,QAAQ,CAAC,MAAM,CAAC,UAAU,OAAO,QAAQ,CAAC,QAAQ,EAAE,CAAA;YAC9D,MAAK;QACT,KAAK,WAAW;YACZ,IAAI,GAAG,kBAAkB,QAAQ,CAAC,WAAW,CAAC,UAAU,EAAE,CAAA;YAC1D,MAAK;QACT,KAAK,uBAAuB;YACxB,IAAI,GAAG,sBAAsB,QAAQ,CAAC,MAAM,CAAC,UAAU,EAAE,CAAA;YACzD,MAAK;QACT,KAAK,OAAO;YACR,IAAI,GAAG,cAAc,QAAQ,CAAC,MAAM,CAAC,UAAU,OAAO,QAAQ,CAAC,SAAS,CAAC,UAAU,EAAE,CAAA;YACrF,MAAK;IACb,CAAC;IAED,IAAI,CAAC,IAAI,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAA;IAClD,OAAO,IAAI,CAAA;AACf,CAAC"}