@proposit/shared 0.3.2 → 0.5.0

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

@@ -1 +1 @@
-{"version":3,"file":"claims.d.ts","sourceRoot":"","sources":["../../../src/schemas/api/claims.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAE,KAAK,MAAM,EAAE,MAAM,SAAS,CAAA;AAU3C,eAAO,MAAM,sBAAsB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAYjC,CAAA;AACF,MAAM,MAAM,iBAAiB,GAAG,MAAM,CAAC,OAAO,sBAAsB,CAAC,CAAA;AAErE,eAAO,MAAM,wBAAwB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAAqC,CAAA;AAC1E,MAAM,MAAM,mBAAmB,GAAG,MAAM,CAAC,OAAO,wBAAwB,CAAC,CAAA"}
+{"version":3,"file":"claims.d.ts","sourceRoot":"","sources":["../../../src/schemas/api/claims.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAE,KAAK,MAAM,EAAE,MAAM,SAAS,CAAA;AAS3C,eAAO,MAAM,sBAAsB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAWjC,CAAA;AACF,MAAM,MAAM,iBAAiB,GAAG,MAAM,CAAC,OAAO,sBAAsB,CAAC,CAAA;AAErE,eAAO,MAAM,wBAAwB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAAqC,CAAA;AAC1E,MAAM,MAAM,mBAAmB,GAAG,MAAM,CAAC,OAAO,wBAAwB,CAAC,CAAA"}

package/dist/schemas/api/claims.js

@@ -1,7 +1,6 @@
 import Type, {} from "typebox";
 import { ClaimSchema } from "../model/claims.js";
 import { PropositionalVariableSchema, PropositionalExpressionSchema, PropositionalPremiseSchema, } from "../logic.js";
-import { SourceSchemaNotStrict } from "../model/sources.js";
 import { UUID } from "../common.js";
 export const ClaimWithContextSchema = Type.Object({
     claim: ClaimSchema,
@@ -12,7 +11,6 @@ export const ClaimWithContextSchema = Type.Object({
     }),
     version: Type.Number(),
     variable: Type.Optional(PropositionalVariableSchema),
-    sources: Type.Optional(Type.Array(SourceSchemaNotStrict)),
     expressions: Type.Optional(Type.Array(PropositionalExpressionSchema)),
     premises: Type.Optional(Type.Array(PropositionalPremiseSchema)),
 });

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

@@ -1 +1 @@
-{"version":3,"file":"claims.js","sourceRoot":"","sources":["../../../src/schemas/api/claims.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAe,MAAM,SAAS,CAAA;AAC3C,OAAO,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAA;AAChD,OAAO,EACH,2BAA2B,EAC3B,6BAA6B,EAC7B,0BAA0B,GAC7B,MAAM,aAAa,CAAA;AACpB,OAAO,EAAE,qBAAqB,EAAE,MAAM,qBAAqB,CAAA;AAC3D,OAAO,EAAE,IAAI,EAAE,MAAM,cAAc,CAAA;AAEnC,MAAM,CAAC,MAAM,sBAAsB,GAAG,IAAI,CAAC,MAAM,CAAC;IAC9C,KAAK,EAAE,WAAW;IAClB,QAAQ,EAAE,IAAI,CAAC,MAAM,CAAC;QAClB,EAAE,EAAE,IAAI;QACR,KAAK,EAAE,IAAI,CAAC,MAAM,EAAE;QACpB,SAAS,EAAE,IAAI,CAAC,OAAO,EAAE;KAC5B,CAAC;IACF,OAAO,EAAE,IAAI,CAAC,MAAM,EAAE;IACtB,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,2BAA2B,CAAC;IACpD,OAAO,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,qBAAqB,CAAC,CAAC;IACzD,WAAW,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,6BAA6B,CAAC,CAAC;IACrE,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,0BAA0B,CAAC,CAAC;CAClE,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,wBAAwB,GAAG,IAAI,CAAC,KAAK,CAAC,sBAAsB,CAAC,CAAA"}
+{"version":3,"file":"claims.js","sourceRoot":"","sources":["../../../src/schemas/api/claims.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAe,MAAM,SAAS,CAAA;AAC3C,OAAO,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAA;AAChD,OAAO,EACH,2BAA2B,EAC3B,6BAA6B,EAC7B,0BAA0B,GAC7B,MAAM,aAAa,CAAA;AACpB,OAAO,EAAE,IAAI,EAAE,MAAM,cAAc,CAAA;AAEnC,MAAM,CAAC,MAAM,sBAAsB,GAAG,IAAI,CAAC,MAAM,CAAC;IAC9C,KAAK,EAAE,WAAW;IAClB,QAAQ,EAAE,IAAI,CAAC,MAAM,CAAC;QAClB,EAAE,EAAE,IAAI;QACR,KAAK,EAAE,IAAI,CAAC,MAAM,EAAE;QACpB,SAAS,EAAE,IAAI,CAAC,OAAO,EAAE;KAC5B,CAAC;IACF,OAAO,EAAE,IAAI,CAAC,MAAM,EAAE;IACtB,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,2BAA2B,CAAC;IACpD,WAAW,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,6BAA6B,CAAC,CAAC;IACrE,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,0BAA0B,CAAC,CAAC;CAClE,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,wBAAwB,GAAG,IAAI,CAAC,KAAK,CAAC,sBAAsB,CAAC,CAAA"}

package/dist/schemas/api/search.d.ts

@@ -10,7 +10,7 @@ export declare const ClaimSearchResultSchema: Type.TObject<{
     argumentId: Type.TString;
     version: Type.TNumber;
     title: Type.TString;
-    type: Type.TString;
+    kind: Type.TString;
     argumentTitle: Type.TString;
     distance: Type.TNumber;
 }>;
@@ -20,17 +20,17 @@ export declare const ClaimSearchResponseSchema: Type.TArray<Type.TObject<{
     argumentId: Type.TString;
     version: Type.TNumber;
     title: Type.TString;
-    type: Type.TString;
+    kind: Type.TString;
     argumentTitle: Type.TString;
     distance: Type.TNumber;
 }>>;
 export type TClaimSearchResponse = Static<typeof ClaimSearchResponseSchema>;
-export declare const SourceSearchRequestSchema: Type.TObject<{
+export declare const CitationSearchRequestSchema: Type.TObject<{
     q: Type.TString;
     limit: Type.TOptional<Type.TNumber>;
 }>;
-export type TSourceSearchRequest = Static<typeof SourceSearchRequestSchema>;
-export declare const SourceSearchResultSchema: Type.TObject<{
+export type TCitationSearchRequest = Static<typeof CitationSearchRequestSchema>;
+export declare const CitationSearchResultSchema: Type.TObject<{
     id: Type.TString;
     citation: Type.TAny;
     argumentTitle: Type.TString;
@@ -38,8 +38,8 @@ export declare const SourceSearchResultSchema: Type.TObject<{
     argumentVersion: Type.TNumber;
     distance: Type.TNumber;
 }>;
-export type TSourceSearchResult = Static<typeof SourceSearchResultSchema>;
-export declare const SourceSearchResponseSchema: Type.TArray<Type.TObject<{
+export type TCitationSearchResult = Static<typeof CitationSearchResultSchema>;
+export declare const CitationSearchResponseSchema: Type.TArray<Type.TObject<{
     id: Type.TString;
     citation: Type.TAny;
     argumentTitle: Type.TString;
@@ -47,7 +47,7 @@ export declare const SourceSearchResponseSchema: Type.TArray<Type.TObject<{
     argumentVersion: Type.TNumber;
     distance: Type.TNumber;
 }>>;
-export type TSourceSearchResponse = Static<typeof SourceSearchResponseSchema>;
+export type TCitationSearchResponse = Static<typeof CitationSearchResponseSchema>;
 export declare const EntitySearchRequestSchema: Type.TObject<{
     q: Type.TString;
     types: Type.TOptional<Type.TString>;
@@ -83,7 +83,7 @@ export declare const EntitySearchResponseSchema: Type.TObject<{
         argumentId: Type.TString;
         version: Type.TNumber;
         title: Type.TString;
-        type: Type.TString;
+        kind: Type.TString;
         argumentTitle: Type.TString;
         distance: Type.TNumber;
     }>>;
@@ -96,7 +96,7 @@ export declare const EntitySearchResponseSchema: Type.TObject<{
         argumentTitle: Type.TString;
         distance: Type.TNumber;
     }>>;
-    sources: Type.TArray<Type.TObject<{
+    citations: Type.TArray<Type.TObject<{
         id: Type.TString;
         citation: Type.TAny;
         argumentTitle: Type.TString;

package/dist/schemas/api/search.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"search.d.ts","sourceRoot":"","sources":["../../../src/schemas/api/search.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAE,KAAK,MAAM,EAAE,MAAM,SAAS,CAAA;AAK3C,eAAO,MAAM,wBAAwB;;;;EAInC,CAAA;AACF,MAAM,MAAM,mBAAmB,GAAG,MAAM,CAAC,OAAO,wBAAwB,CAAC,CAAA;AAEzE,eAAO,MAAM,uBAAuB;;;;;;;;EAQlC,CAAA;AACF,MAAM,MAAM,kBAAkB,GAAG,MAAM,CAAC,OAAO,uBAAuB,CAAC,CAAA;AAEvE,eAAO,MAAM,yBAAyB;;;;;;;;GAAsC,CAAA;AAC5E,MAAM,MAAM,oBAAoB,GAAG,MAAM,CAAC,OAAO,yBAAyB,CAAC,CAAA;AAI3E,eAAO,MAAM,yBAAyB;;;EAGpC,CAAA;AACF,MAAM,MAAM,oBAAoB,GAAG,MAAM,CAAC,OAAO,yBAAyB,CAAC,CAAA;AAE3E,eAAO,MAAM,wBAAwB;;;;;;;EAOnC,CAAA;AACF,MAAM,MAAM,mBAAmB,GAAG,MAAM,CAAC,OAAO,wBAAwB,CAAC,CAAA;AAEzE,eAAO,MAAM,0BAA0B;;;;;;;GAAuC,CAAA;AAC9E,MAAM,MAAM,qBAAqB,GAAG,MAAM,CAAC,OAAO,0BAA0B,CAAC,CAAA;AAI7E,eAAO,MAAM,yBAAyB;;;;EAIpC,CAAA;AACF,MAAM,MAAM,oBAAoB,GAAG,MAAM,CAAC,OAAO,yBAAyB,CAAC,CAAA;AAE3E,eAAO,MAAM,yBAAyB;;;;;;;;EAQpC,CAAA;AACF,MAAM,MAAM,oBAAoB,GAAG,MAAM,CAAC,OAAO,yBAAyB,CAAC,CAAA;AAE3E,eAAO,MAAM,0BAA0B;;;;;EAKrC,CAAA;AACF,MAAM,MAAM,qBAAqB,GAAG,MAAM,CAAC,OAAO,0BAA0B,CAAC,CAAA;AAE7E,eAAO,MAAM,0BAA0B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAKrC,CAAA;AACF,MAAM,MAAM,qBAAqB,GAAG,MAAM,CAAC,OAAO,0BAA0B,CAAC,CAAA"}
+{"version":3,"file":"search.d.ts","sourceRoot":"","sources":["../../../src/schemas/api/search.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAE,KAAK,MAAM,EAAE,MAAM,SAAS,CAAA;AAK3C,eAAO,MAAM,wBAAwB;;;;EAInC,CAAA;AACF,MAAM,MAAM,mBAAmB,GAAG,MAAM,CAAC,OAAO,wBAAwB,CAAC,CAAA;AAEzE,eAAO,MAAM,uBAAuB;;;;;;;;EAQlC,CAAA;AACF,MAAM,MAAM,kBAAkB,GAAG,MAAM,CAAC,OAAO,uBAAuB,CAAC,CAAA;AAEvE,eAAO,MAAM,yBAAyB;;;;;;;;GAAsC,CAAA;AAC5E,MAAM,MAAM,oBAAoB,GAAG,MAAM,CAAC,OAAO,yBAAyB,CAAC,CAAA;AAI3E,eAAO,MAAM,2BAA2B;;;EAGtC,CAAA;AACF,MAAM,MAAM,sBAAsB,GAAG,MAAM,CAAC,OAAO,2BAA2B,CAAC,CAAA;AAE/E,eAAO,MAAM,0BAA0B;;;;;;;EAOrC,CAAA;AACF,MAAM,MAAM,qBAAqB,GAAG,MAAM,CAAC,OAAO,0BAA0B,CAAC,CAAA;AAE7E,eAAO,MAAM,4BAA4B;;;;;;;GAExC,CAAA;AACD,MAAM,MAAM,uBAAuB,GAAG,MAAM,CACxC,OAAO,4BAA4B,CACtC,CAAA;AAID,eAAO,MAAM,yBAAyB;;;;EAIpC,CAAA;AACF,MAAM,MAAM,oBAAoB,GAAG,MAAM,CAAC,OAAO,yBAAyB,CAAC,CAAA;AAE3E,eAAO,MAAM,yBAAyB;;;;;;;;EAQpC,CAAA;AACF,MAAM,MAAM,oBAAoB,GAAG,MAAM,CAAC,OAAO,yBAAyB,CAAC,CAAA;AAE3E,eAAO,MAAM,0BAA0B;;;;;EAKrC,CAAA;AACF,MAAM,MAAM,qBAAqB,GAAG,MAAM,CAAC,OAAO,0BAA0B,CAAC,CAAA;AAE7E,eAAO,MAAM,0BAA0B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAKrC,CAAA;AACF,MAAM,MAAM,qBAAqB,GAAG,MAAM,CAAC,OAAO,0BAA0B,CAAC,CAAA"}

package/dist/schemas/api/search.js

@@ -11,17 +11,17 @@ export const ClaimSearchResultSchema = Type.Object({
     argumentId: UUID,
     version: Type.Number(),
     title: Type.String(),
-    type: Type.String(),
+    kind: Type.String(),
     argumentTitle: Type.String(),
     distance: Type.Number(),
 });
 export const ClaimSearchResponseSchema = Type.Array(ClaimSearchResultSchema);
-// ── Source Search ──────────────────────────────────────────────────────────
-export const SourceSearchRequestSchema = Type.Object({
+// ── Citation Search ────────────────────────────────────────────────────────
+export const CitationSearchRequestSchema = Type.Object({
     q: Type.String({ minLength: 3 }),
     limit: Type.Optional(Type.Number({ minimum: 1, maximum: 50, default: 20 })),
 });
-export const SourceSearchResultSchema = Type.Object({
+export const CitationSearchResultSchema = Type.Object({
     id: UUID,
     citation: Type.Any(),
     argumentTitle: Type.String(),
@@ -29,7 +29,7 @@ export const SourceSearchResultSchema = Type.Object({
     argumentVersion: Type.Number(),
     distance: Type.Number(),
 });
-export const SourceSearchResponseSchema = Type.Array(SourceSearchResultSchema);
+export const CitationSearchResponseSchema = Type.Array(CitationSearchResultSchema);
 // ── Entity Search (Profile) ────────────────────────────────────────────────
 export const EntitySearchRequestSchema = Type.Object({
     q: Type.String({ minLength: 3 }),
@@ -55,6 +55,6 @@ export const EntitySearchResponseSchema = Type.Object({
     arguments: Type.Array(ArgumentSearchResultSchema),
     claims: Type.Array(ClaimSearchResultSchema),
     premises: Type.Array(PremiseSearchResultSchema),
-    sources: Type.Array(SourceSearchResultSchema),
+    citations: Type.Array(CitationSearchResultSchema),
 });
 //# sourceMappingURL=search.js.map

package/dist/schemas/api/search.js.map

@@ -1 +1 @@
-{"version":3,"file":"search.js","sourceRoot":"","sources":["../../../src/schemas/api/search.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAe,MAAM,SAAS,CAAA;AAC3C,OAAO,EAAE,IAAI,EAAE,MAAM,cAAc,CAAA;AAEnC,8EAA8E;AAE9E,MAAM,CAAC,MAAM,wBAAwB,GAAG,IAAI,CAAC,MAAM,CAAC;IAChD,CAAC,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC;IAChC,KAAK,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,CAAC;IAC3E,UAAU,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC;CAClC,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,uBAAuB,GAAG,IAAI,CAAC,MAAM,CAAC;IAC/C,EAAE,EAAE,IAAI;IACR,UAAU,EAAE,IAAI;IAChB,OAAO,EAAE,IAAI,CAAC,MAAM,EAAE;IACtB,KAAK,EAAE,IAAI,CAAC,MAAM,EAAE;IACpB,IAAI,EAAE,IAAI,CAAC,MAAM,EAAE;IACnB,aAAa,EAAE,IAAI,CAAC,MAAM,EAAE;IAC5B,QAAQ,EAAE,IAAI,CAAC,MAAM,EAAE;CAC1B,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,yBAAyB,GAAG,IAAI,CAAC,KAAK,CAAC,uBAAuB,CAAC,CAAA;AAG5E,8EAA8E;AAE9E,MAAM,CAAC,MAAM,yBAAyB,GAAG,IAAI,CAAC,MAAM,CAAC;IACjD,CAAC,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC;IAChC,KAAK,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,CAAC;CAC9E,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,wBAAwB,GAAG,IAAI,CAAC,MAAM,CAAC;IAChD,EAAE,EAAE,IAAI;IACR,QAAQ,EAAE,IAAI,CAAC,GAAG,EAAE;IACpB,aAAa,EAAE,IAAI,CAAC,MAAM,EAAE;IAC5B,UAAU,EAAE,IAAI;IAChB,eAAe,EAAE,IAAI,CAAC,MAAM,EAAE;IAC9B,QAAQ,EAAE,IAAI,CAAC,MAAM,EAAE;CAC1B,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,0BAA0B,GAAG,IAAI,CAAC,KAAK,CAAC,wBAAwB,CAAC,CAAA;AAG9E,8EAA8E;AAE9E,MAAM,CAAC,MAAM,yBAAyB,GAAG,IAAI,CAAC,MAAM,CAAC;IACjD,CAAC,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC;IAChC,KAAK,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;IACnC,KAAK,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,CAAC;CAC9E,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,yBAAyB,GAAG,IAAI,CAAC,MAAM,CAAC;IACjD,EAAE,EAAE,IAAI;IACR,UAAU,EAAE,IAAI;IAChB,eAAe,EAAE,IAAI,CAAC,MAAM,EAAE;IAC9B,KAAK,EAAE,IAAI,CAAC,MAAM,EAAE;IACpB,IAAI,EAAE,IAAI,CAAC,MAAM,EAAE;IACnB,aAAa,EAAE,IAAI,CAAC,MAAM,EAAE;IAC5B,QAAQ,EAAE,IAAI,CAAC,MAAM,EAAE;CAC1B,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,0BAA0B,GAAG,IAAI,CAAC,MAAM,CAAC;IAClD,EAAE,EAAE,IAAI;IACR,OAAO,EAAE,IAAI,CAAC,MAAM,EAAE;IACtB,KAAK,EAAE,IAAI,CAAC,MAAM,EAAE;IACpB,QAAQ,EAAE,IAAI,CAAC,MAAM,EAAE;CAC1B,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,0BAA0B,GAAG,IAAI,CAAC,MAAM,CAAC;IAClD,SAAS,EAAE,IAAI,CAAC,KAAK,CAAC,0BAA0B,CAAC;IACjD,MAAM,EAAE,IAAI,CAAC,KAAK,CAAC,uBAAuB,CAAC;IAC3C,QAAQ,EAAE,IAAI,CAAC,KAAK,CAAC,yBAAyB,CAAC;IAC/C,OAAO,EAAE,IAAI,CAAC,KAAK,CAAC,wBAAwB,CAAC;CAChD,CAAC,CAAA"}
+{"version":3,"file":"search.js","sourceRoot":"","sources":["../../../src/schemas/api/search.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAe,MAAM,SAAS,CAAA;AAC3C,OAAO,EAAE,IAAI,EAAE,MAAM,cAAc,CAAA;AAEnC,8EAA8E;AAE9E,MAAM,CAAC,MAAM,wBAAwB,GAAG,IAAI,CAAC,MAAM,CAAC;IAChD,CAAC,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC;IAChC,KAAK,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,CAAC;IAC3E,UAAU,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC;CAClC,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,uBAAuB,GAAG,IAAI,CAAC,MAAM,CAAC;IAC/C,EAAE,EAAE,IAAI;IACR,UAAU,EAAE,IAAI;IAChB,OAAO,EAAE,IAAI,CAAC,MAAM,EAAE;IACtB,KAAK,EAAE,IAAI,CAAC,MAAM,EAAE;IACpB,IAAI,EAAE,IAAI,CAAC,MAAM,EAAE;IACnB,aAAa,EAAE,IAAI,CAAC,MAAM,EAAE;IAC5B,QAAQ,EAAE,IAAI,CAAC,MAAM,EAAE;CAC1B,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,yBAAyB,GAAG,IAAI,CAAC,KAAK,CAAC,uBAAuB,CAAC,CAAA;AAG5E,8EAA8E;AAE9E,MAAM,CAAC,MAAM,2BAA2B,GAAG,IAAI,CAAC,MAAM,CAAC;IACnD,CAAC,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC;IAChC,KAAK,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,CAAC;CAC9E,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,0BAA0B,GAAG,IAAI,CAAC,MAAM,CAAC;IAClD,EAAE,EAAE,IAAI;IACR,QAAQ,EAAE,IAAI,CAAC,GAAG,EAAE;IACpB,aAAa,EAAE,IAAI,CAAC,MAAM,EAAE;IAC5B,UAAU,EAAE,IAAI;IAChB,eAAe,EAAE,IAAI,CAAC,MAAM,EAAE;IAC9B,QAAQ,EAAE,IAAI,CAAC,MAAM,EAAE;CAC1B,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,4BAA4B,GAAG,IAAI,CAAC,KAAK,CAClD,0BAA0B,CAC7B,CAAA;AAKD,8EAA8E;AAE9E,MAAM,CAAC,MAAM,yBAAyB,GAAG,IAAI,CAAC,MAAM,CAAC;IACjD,CAAC,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,CAAC;IAChC,KAAK,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,EAAE,CAAC;IACnC,KAAK,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,CAAC,EAAE,OAAO,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC,CAAC;CAC9E,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,yBAAyB,GAAG,IAAI,CAAC,MAAM,CAAC;IACjD,EAAE,EAAE,IAAI;IACR,UAAU,EAAE,IAAI;IAChB,eAAe,EAAE,IAAI,CAAC,MAAM,EAAE;IAC9B,KAAK,EAAE,IAAI,CAAC,MAAM,EAAE;IACpB,IAAI,EAAE,IAAI,CAAC,MAAM,EAAE;IACnB,aAAa,EAAE,IAAI,CAAC,MAAM,EAAE;IAC5B,QAAQ,EAAE,IAAI,CAAC,MAAM,EAAE;CAC1B,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,0BAA0B,GAAG,IAAI,CAAC,MAAM,CAAC;IAClD,EAAE,EAAE,IAAI;IACR,OAAO,EAAE,IAAI,CAAC,MAAM,EAAE;IACtB,KAAK,EAAE,IAAI,CAAC,MAAM,EAAE;IACpB,QAAQ,EAAE,IAAI,CAAC,MAAM,EAAE;CAC1B,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,0BAA0B,GAAG,IAAI,CAAC,MAAM,CAAC;IAClD,SAAS,EAAE,IAAI,CAAC,KAAK,CAAC,0BAA0B,CAAC;IACjD,MAAM,EAAE,IAAI,CAAC,KAAK,CAAC,uBAAuB,CAAC;IAC3C,QAAQ,EAAE,IAAI,CAAC,KAAK,CAAC,yBAAyB,CAAC;IAC/C,SAAS,EAAE,IAAI,CAAC,KAAK,CAAC,0BAA0B,CAAC;CACpD,CAAC,CAAA"}

package/dist/schemas/logic.d.ts

@@ -178,7 +178,8 @@ export declare const PropositionalVariableSchema: Type.TUnion<[Type.TIntersect<[
 export type TPropositionalVariable = Static<typeof PropositionalVariableSchema>;
 export declare const PremiseRoleType: Type.TUnion<[Type.TLiteral<"conclusion">, Type.TLiteral<"supporting">]>;
 export type TPremiseRoleType = Static<typeof PremiseRoleType>;
-export declare const PropositionalPremiseSchema: Type.TIntersect<[Type.TObject<{
+export declare const PropositionalPremiseSchema: Type.TIntersect<[Type.TUnion<[Type.TObject<{
+    type: Type.TLiteral<"freeform">;
     id: Type.TString;
     argumentId: Type.TString;
     argumentVersion: Type.TNumber;
@@ -186,6 +187,15 @@ export declare const PropositionalPremiseSchema: Type.TIntersect<[Type.TObject<{
     descendantChecksum: Type.TUnion<[Type.TString, Type.TNull]>;
     combinedChecksum: Type.TString;
 }>, Type.TObject<{
+    type: Type.TLiteral<"derivation">;
+    derivedClaimId: Type.TString;
+    id: Type.TString;
+    argumentId: Type.TString;
+    argumentVersion: Type.TNumber;
+    checksum: Type.TString;
+    descendantChecksum: Type.TUnion<[Type.TString, Type.TNull]>;
+    combinedChecksum: Type.TString;
+}>]>, Type.TObject<{
     title: Type.TOptional<Type.TUnion<[Type.TString, Type.TNull]>>;
     role: Type.TUnion<[Type.TLiteral<"conclusion">, Type.TLiteral<"supporting">]>;
     createdOn: Type.TOptional<import("./common.js").TDateType>;

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

@@ -1 +1 @@
-{"version":3,"file":"logic.d.ts","sourceRoot":"","sources":["../../src/schemas/logic.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAE,KAAK,MAAM,EAAE,MAAM,SAAS,CAAA;AAgB3C,eAAO,MAAM,mBAAmB,gIAA0B,CAAA;AAC1D,MAAM,MAAM,oBAAoB,GAAG,MAAM,CAAC,OAAO,mBAAmB,CAAC,CAAA;AAGrE,eAAO,MAAM,4BAA4B,+FAAmC,CAAA;AAC5E,MAAM,MAAM,6BAA6B,GAAG,MAAM,CAC9C,OAAO,4BAA4B,CACtC,CAAA;AASD,eAAO,MAAM,qCAAqC;;;;;;;;;;;;;;;;;IAIhD,CAAA;AACF,MAAM,MAAM,gCAAgC,GAAG,MAAM,CACjD,OAAO,qCAAqC,CAC/C,CAAA;AAGD,eAAO,MAAM,wBAAwB;;;;;;;;;;;;;;;;;IAInC,CAAA;AACF,MAAM,MAAM,mBAAmB,GAAG,MAAM,CAAC,OAAO,wBAAwB,CAAC,CAAA;AAGzE,eAAO,MAAM,uBAAuB;;;;;;;;;;;;;;;;;IAIlC,CAAA;AACF,MAAM,MAAM,kBAAkB,GAAG,MAAM,CAAC,OAAO,uBAAuB,CAAC,CAAA;AAGvE,eAAO,MAAM,6BAA6B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;MAIxC,CAAA;AACF,MAAM,MAAM,gCAAgC,GAAG,MAAM,CACjD,OAAO,6BAA6B,CACvC,CAAA;AAGD,MAAM,MAAM,wBAAwB,CAChC,CAAC,SAAS,6BAA6B,GAAG,6BAA6B,IACvE,OAAO,CAAC,gCAAgC,EAAE;IAAE,IAAI,EAAE,CAAC,CAAA;CAAE,CAAC,CAAA;AAW1D,eAAO,MAAM,wBAAwB;;;;;;;;;;;;;IAGnC,CAAA;AACF,MAAM,MAAM,mBAAmB,GAAG,MAAM,CAAC,OAAO,wBAAwB,CAAC,CAAA;AAGzE,eAAO,MAAM,0BAA0B;;;;;;;;;;;;;;IAGrC,CAAA;AACF,MAAM,MAAM,qBAAqB,GAAG,MAAM,CAAC,OAAO,0BAA0B,CAAC,CAAA;AAK7E,eAAO,MAAM,2BAA2B;;;;;;;;;;;;;;;;;;;;;;;;;;;MAGtC,CAAA;AACF,MAAM,MAAM,sBAAsB,GAAG,MAAM,CAAC,OAAO,2BAA2B,CAAC,CAAA;AAG/E,eAAO,MAAM,eAAe,yEAG1B,CAAA;AACF,MAAM,MAAM,gBAAgB,GAAG,MAAM,CAAC,OAAO,eAAe,CAAC,CAAA;AAG7D,eAAO,MAAM,0BAA0B;;;;;;;;;;;;IAQrC,CAAA;AACF,MAAM,MAAM,qBAAqB,GAAG,MAAM,CAAC,OAAO,0BAA0B,CAAC,CAAA"}
+{"version":3,"file":"logic.d.ts","sourceRoot":"","sources":["../../src/schemas/logic.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAE,KAAK,MAAM,EAAE,MAAM,SAAS,CAAA;AAgB3C,eAAO,MAAM,mBAAmB,gIAA0B,CAAA;AAC1D,MAAM,MAAM,oBAAoB,GAAG,MAAM,CAAC,OAAO,mBAAmB,CAAC,CAAA;AAGrE,eAAO,MAAM,4BAA4B,+FAAmC,CAAA;AAC5E,MAAM,MAAM,6BAA6B,GAAG,MAAM,CAC9C,OAAO,4BAA4B,CACtC,CAAA;AASD,eAAO,MAAM,qCAAqC;;;;;;;;;;;;;;;;;IAIhD,CAAA;AACF,MAAM,MAAM,gCAAgC,GAAG,MAAM,CACjD,OAAO,qCAAqC,CAC/C,CAAA;AAGD,eAAO,MAAM,wBAAwB;;;;;;;;;;;;;;;;;IAInC,CAAA;AACF,MAAM,MAAM,mBAAmB,GAAG,MAAM,CAAC,OAAO,wBAAwB,CAAC,CAAA;AAGzE,eAAO,MAAM,uBAAuB;;;;;;;;;;;;;;;;;IAIlC,CAAA;AACF,MAAM,MAAM,kBAAkB,GAAG,MAAM,CAAC,OAAO,uBAAuB,CAAC,CAAA;AAGvE,eAAO,MAAM,6BAA6B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;MAIxC,CAAA;AACF,MAAM,MAAM,gCAAgC,GAAG,MAAM,CACjD,OAAO,6BAA6B,CACvC,CAAA;AAGD,MAAM,MAAM,wBAAwB,CAChC,CAAC,SAAS,6BAA6B,GAAG,6BAA6B,IACvE,OAAO,CAAC,gCAAgC,EAAE;IAAE,IAAI,EAAE,CAAC,CAAA;CAAE,CAAC,CAAA;AAW1D,eAAO,MAAM,wBAAwB;;;;;;;;;;;;;IAGnC,CAAA;AACF,MAAM,MAAM,mBAAmB,GAAG,MAAM,CAAC,OAAO,wBAAwB,CAAC,CAAA;AAGzE,eAAO,MAAM,0BAA0B;;;;;;;;;;;;;;IAGrC,CAAA;AACF,MAAM,MAAM,qBAAqB,GAAG,MAAM,CAAC,OAAO,0BAA0B,CAAC,CAAA;AAK7E,eAAO,MAAM,2BAA2B;;;;;;;;;;;;;;;;;;;;;;;;;;;MAGtC,CAAA;AACF,MAAM,MAAM,sBAAsB,GAAG,MAAM,CAAC,OAAO,2BAA2B,CAAC,CAAA;AAG/E,eAAO,MAAM,eAAe,yEAG1B,CAAA;AACF,MAAM,MAAM,gBAAgB,GAAG,MAAM,CAAC,OAAO,eAAe,CAAC,CAAA;AAG7D,eAAO,MAAM,0BAA0B;;;;;;;;;;;;;;;;;;;;;;IAQrC,CAAA;AACF,MAAM,MAAM,qBAAqB,GAAG,MAAM,CAAC,OAAO,0BAA0B,CAAC,CAAA"}