@proposit/shared 0.7.2 → 0.9.0

package/dist/schemas/model/claims.js

@@ -1,50 +1,123 @@
 import Type, {} from "typebox";
 import { EncodableDate, Nullable, UUID } from "../common.js";
 import { IEEEReferenceSchema } from "./references.js";
+import { CoreClaimAxiomaticTypeSchema, CoreClaimCitationTypeSchema, CoreClaimNormalTypeSchema, CoreClaimTypeSchema, } from "@proposit/proposit-core";
+// Re-export aliases so consumers that imported ClaimTypeSchema / TClaimType
+// from @proposit/shared/schemas keep working without code edits.
+export const ClaimTypeSchema = CoreClaimTypeSchema;
+export const AxiomKindSchema = Type.Union([
+    Type.Literal("definition", {
+        description: "The claim is true because of what the relevant words, categories, or concepts mean.",
+    }),
+    Type.Literal("stipulation", {
+        description: "Assumed locally for this argument; the argument defines or postulates it for its own purposes.",
+    }),
+    Type.Literal("logical-principle", {
+        description: "A basic principle of valid reasoning (for example, modus ponens or non-contradiction).",
+    }),
+    Type.Literal("mathematical-principle", {
+        description: "A basic mathematical identity, axiom, or quantitative rule.",
+    }),
+    Type.Literal("domain-rule", {
+        description: "Comes from a rule, standard, contract, doctrine, protocol, or authority internal to a system.",
+    }),
+    Type.Literal("background-assumption", {
+        description: "A foundational premise the argument relies on but does not prove.",
+    }),
+]);
+// Single source of truth for `digest`. Everything that needs digest inherits
+// from this rather than re-declaring the field.
+const ClaimMetadataFieldsSchema = Type.Object({
+    digest: Type.String(),
+});
+// Normal-only mutable fields. Citation/Axiomatic variants do NOT inherit from
+// this — they redeclare title/body/titleContentHash inline as Type.Null().
 export const MutableClaimFieldsSchema = Type.Object({
     title: Type.String(),
     body: Type.String(),
+    titleContentHash: Type.String(),
 });
-export const ClaimUpdateRequestSchema = Type.Interface([MutableClaimFieldsSchema], {
-    digest: Type.String(),
-});
-export const ClaimKinds = {
+// Update request: Normal mutable fields + digest. Update is Normal-only in
+// this bump (creation/update for Citation/Axiomatic comes later).
+export const ClaimUpdateRequestSchema = Type.Interface([MutableClaimFieldsSchema, ClaimMetadataFieldsSchema], {});
+// Presentation taxonomy — Normal-claim-only. `kind` is null on Citation and
+// Axiomatic claims.
+export const NormalClaimKinds = {
     CLAIM: "claim",
     CONCLUSION: "conclusion",
     DEFINITION: "definition",
     CRITERION: "criterion",
 };
-const ChildClaimKinds = Type.Union([
-    Type.Literal(ClaimKinds.DEFINITION),
-    Type.Literal(ClaimKinds.CRITERION),
+const NormalClaimChildKindsSchema = Type.Union([
+    Type.Literal(NormalClaimKinds.DEFINITION),
+    Type.Literal(NormalClaimKinds.CRITERION),
 ]);
-const LogicalClaimKinds = Type.Union([
-    Type.Literal(ClaimKinds.CONCLUSION),
-    Type.Literal(ClaimKinds.CLAIM),
+const NormalClaimLogicalKindsSchema = Type.Union([
+    Type.Literal(NormalClaimKinds.CONCLUSION),
+    Type.Literal(NormalClaimKinds.CLAIM),
 ]);
-export const ClaimKindsSchema = Type.Union([ChildClaimKinds, LogicalClaimKinds]);
-export const ClaimTypeSchema = Type.Union([
-    Type.Literal("normal"),
-    Type.Literal("citation"),
+export const NormalClaimKindsSchema = Type.Union([
+    NormalClaimChildKindsSchema,
+    NormalClaimLogicalKindsSchema,
 ]);
-export const ClaimSchema = Type.Interface([ClaimUpdateRequestSchema], {
+// Identity / lineage fields shared by all variants, with digest inherited.
+const ClaimSharedFieldsSchema = Type.Interface([ClaimMetadataFieldsSchema], {
     id: UUID,
     argumentId: UUID,
     version: Type.Number(),
     claimForkId: Nullable(UUID),
     creatorId: UUID,
     createdOn: EncodableDate,
-    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(Nullable(IEEEReferenceSchema)),
-    citationContentHash: Type.Optional(Nullable(Type.String())),
 });
-export const ClaimWithChildrenSchema = Type.Interface([ClaimSchema], {
+export const NormalClaimSchema = Type.Interface([ClaimSharedFieldsSchema, MutableClaimFieldsSchema], {
+    type: CoreClaimNormalTypeSchema,
+    kind: NormalClaimKindsSchema,
+    url: Type.Null(),
+    citation: Type.Null(),
+    citationContentHash: Type.Null(),
+    axiom: Type.Null(),
+});
+export const CitationClaimSchema = Type.Interface([ClaimSharedFieldsSchema], {
+    type: CoreClaimCitationTypeSchema,
+    kind: Type.Null(),
+    title: Type.Null(),
+    body: Type.Null(),
+    titleContentHash: Type.Null(),
+    url: Type.String(),
+    citation: IEEEReferenceSchema,
+    citationContentHash: Type.String(),
+    axiom: Type.Null(),
+});
+export const AxiomaticClaimSchema = Type.Interface([ClaimSharedFieldsSchema], {
+    type: CoreClaimAxiomaticTypeSchema,
+    kind: Type.Null(),
+    title: Type.Null(),
+    body: Type.Null(),
+    titleContentHash: Type.Null(),
+    url: Type.Null(),
+    citation: Type.Null(),
+    citationContentHash: Type.Null(),
+    axiom: AxiomKindSchema,
+});
+export const ClaimSchema = Type.Union([
+    NormalClaimSchema,
+    CitationClaimSchema,
+    AxiomaticClaimSchema,
+]);
+export function isNormalClaim(claim) {
+    return claim.type === "normal";
+}
+export function isCitationClaim(claim) {
+    return claim.type === "citation";
+}
+export function isAxiomaticClaim(claim) {
+    return claim.type === "axiomatic";
+}
+// Re-based on NormalClaimSchema. Server's getClaims() filters by
+// type='normal' before populating childClaimIds/childCitationIds, so this
+// type accurately describes only Normal-with-children rows.
+export const ClaimWithChildrenSchema = Type.Interface([NormalClaimSchema], {
     childClaimIds: Type.Array(UUID),
     childCitationIds: Type.Array(UUID),
 });

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;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,QAAQ,CAAC,mBAAmB,CAAC,CAAC;IACtD,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"}
+{"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;AACrD,OAAO,EACH,4BAA4B,EAC5B,2BAA2B,EAC3B,yBAAyB,EACzB,mBAAmB,GACtB,MAAM,yBAAyB,CAAA;AAEhC,4EAA4E;AAC5E,iEAAiE;AACjE,MAAM,CAAC,MAAM,eAAe,GAAG,mBAAmB,CAAA;AAGlD,MAAM,CAAC,MAAM,eAAe,GAAG,IAAI,CAAC,KAAK,CAAC;IACtC,IAAI,CAAC,OAAO,CAAC,YAAY,EAAE;QACvB,WAAW,EACP,qFAAqF;KAC5F,CAAC;IACF,IAAI,CAAC,OAAO,CAAC,aAAa,EAAE;QACxB,WAAW,EACP,gGAAgG;KACvG,CAAC;IACF,IAAI,CAAC,OAAO,CAAC,mBAAmB,EAAE;QAC9B,WAAW,EACP,wFAAwF;KAC/F,CAAC;IACF,IAAI,CAAC,OAAO,CAAC,wBAAwB,EAAE;QACnC,WAAW,EACP,6DAA6D;KACpE,CAAC;IACF,IAAI,CAAC,OAAO,CAAC,aAAa,EAAE;QACxB,WAAW,EACP,+FAA+F;KACtG,CAAC;IACF,IAAI,CAAC,OAAO,CAAC,uBAAuB,EAAE;QAClC,WAAW,EACP,mEAAmE;KAC1E,CAAC;CACL,CAAC,CAAA;AAGF,6EAA6E;AAC7E,gDAAgD;AAChD,MAAM,yBAAyB,GAAG,IAAI,CAAC,MAAM,CAAC;IAC1C,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE;CACxB,CAAC,CAAA;AAEF,8EAA8E;AAC9E,2EAA2E;AAC3E,MAAM,CAAC,MAAM,wBAAwB,GAAG,IAAI,CAAC,MAAM,CAAC;IAChD,KAAK,EAAE,IAAI,CAAC,MAAM,EAAE;IACpB,IAAI,EAAE,IAAI,CAAC,MAAM,EAAE;IACnB,gBAAgB,EAAE,IAAI,CAAC,MAAM,EAAE;CAClC,CAAC,CAAA;AAGF,2EAA2E;AAC3E,kEAAkE;AAClE,MAAM,CAAC,MAAM,wBAAwB,GAAG,IAAI,CAAC,SAAS,CAClD,CAAC,wBAAwB,EAAE,yBAAyB,CAAC,EACrD,EAAE,CACL,CAAA;AAGD,4EAA4E;AAC5E,oBAAoB;AACpB,MAAM,CAAC,MAAM,gBAAgB,GAAG;IAC5B,KAAK,EAAE,OAAO;IACd,UAAU,EAAE,YAAY;IACxB,UAAU,EAAE,YAAY;IACxB,SAAS,EAAE,WAAW;CAChB,CAAA;AAEV,MAAM,2BAA2B,GAAG,IAAI,CAAC,KAAK,CAAC;IAC3C,IAAI,CAAC,OAAO,CAAC,gBAAgB,CAAC,UAAU,CAAC;IACzC,IAAI,CAAC,OAAO,CAAC,gBAAgB,CAAC,SAAS,CAAC;CAC3C,CAAC,CAAA;AACF,MAAM,6BAA6B,GAAG,IAAI,CAAC,KAAK,CAAC;IAC7C,IAAI,CAAC,OAAO,CAAC,gBAAgB,CAAC,UAAU,CAAC;IACzC,IAAI,CAAC,OAAO,CAAC,gBAAgB,CAAC,KAAK,CAAC;CACvC,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,sBAAsB,GAAG,IAAI,CAAC,KAAK,CAAC;IAC7C,2BAA2B;IAC3B,6BAA6B;CAChC,CAAC,CAAA;AAGF,2EAA2E;AAC3E,MAAM,uBAAuB,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,yBAAyB,CAAC,EAAE;IACxE,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,QAAQ,EAAE,QAAQ,CAAC,IAAI,CAAC;CAC3B,CAAC,CAAA;AAEF,MAAM,CAAC,MAAM,iBAAiB,GAAG,IAAI,CAAC,SAAS,CAC3C,CAAC,uBAAuB,EAAE,wBAAwB,CAAC,EACnD;IACI,IAAI,EAAE,yBAAyB;IAC/B,IAAI,EAAE,sBAAsB;IAC5B,GAAG,EAAE,IAAI,CAAC,IAAI,EAAE;IAChB,QAAQ,EAAE,IAAI,CAAC,IAAI,EAAE;IACrB,mBAAmB,EAAE,IAAI,CAAC,IAAI,EAAE;IAChC,KAAK,EAAE,IAAI,CAAC,IAAI,EAAE;CACrB,CACJ,CAAA;AAGD,MAAM,CAAC,MAAM,mBAAmB,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,uBAAuB,CAAC,EAAE;IACzE,IAAI,EAAE,2BAA2B;IACjC,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE;IACjB,KAAK,EAAE,IAAI,CAAC,IAAI,EAAE;IAClB,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE;IACjB,gBAAgB,EAAE,IAAI,CAAC,IAAI,EAAE;IAC7B,GAAG,EAAE,IAAI,CAAC,MAAM,EAAE;IAClB,QAAQ,EAAE,mBAAmB;IAC7B,mBAAmB,EAAE,IAAI,CAAC,MAAM,EAAE;IAClC,KAAK,EAAE,IAAI,CAAC,IAAI,EAAE;CACrB,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,oBAAoB,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,uBAAuB,CAAC,EAAE;IAC1E,IAAI,EAAE,4BAA4B;IAClC,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE;IACjB,KAAK,EAAE,IAAI,CAAC,IAAI,EAAE;IAClB,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE;IACjB,gBAAgB,EAAE,IAAI,CAAC,IAAI,EAAE;IAC7B,GAAG,EAAE,IAAI,CAAC,IAAI,EAAE;IAChB,QAAQ,EAAE,IAAI,CAAC,IAAI,EAAE;IACrB,mBAAmB,EAAE,IAAI,CAAC,IAAI,EAAE;IAChC,KAAK,EAAE,eAAe;CACzB,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,WAAW,GAAG,IAAI,CAAC,KAAK,CAAC;IAClC,iBAAiB;IACjB,mBAAmB;IACnB,oBAAoB;CACvB,CAAC,CAAA;AAGF,MAAM,UAAU,aAAa,CAAC,KAAa;IACvC,OAAO,KAAK,CAAC,IAAI,KAAK,QAAQ,CAAA;AAClC,CAAC;AACD,MAAM,UAAU,eAAe,CAAC,KAAa;IACzC,OAAO,KAAK,CAAC,IAAI,KAAK,UAAU,CAAA;AACpC,CAAC;AACD,MAAM,UAAU,gBAAgB,CAAC,KAAa;IAC1C,OAAO,KAAK,CAAC,IAAI,KAAK,WAAW,CAAA;AACrC,CAAC;AAED,iEAAiE;AACjE,0EAA0E;AAC1E,4DAA4D;AAC5D,MAAM,CAAC,MAAM,uBAAuB,GAAG,IAAI,CAAC,SAAS,CAAC,CAAC,iBAAiB,CAAC,EAAE;IACvE,aAAa,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC;IAC/B,gBAAgB,EAAE,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC;CACrC,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">, Type.TLiteral<"DERIVATION_STRUCTURE_INVALID_AT_EVALUATION">]>;
+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">]>;
 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">, Type.TLiteral<"DERIVATION_STRUCTURE_INVALID_AT_EVALUATION">]>;
+    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">]>;
     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">, Type.TLiteral<"DERIVATION_STRUCTURE_INVALID_AT_EVALUATION">]>;
+        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">]>;
         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">, Type.TLiteral<"DERIVATION_STRUCTURE_INVALID_AT_EVALUATION">]>;
+            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">]>;
             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">, Type.TLiteral<"DERIVATION_STRUCTURE_INVALID_AT_EVALUATION">]>;
+                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">]>;
                 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">, Type.TLiteral<"DERIVATION_STRUCTURE_INVALID_AT_EVALUATION">]>;
+            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">]>;
             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">, Type.TLiteral<"DERIVATION_STRUCTURE_INVALID_AT_EVALUATION">]>;
+                    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">]>;
                     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">, Type.TLiteral<"DERIVATION_STRUCTURE_INVALID_AT_EVALUATION">]>;
+                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">]>;
                 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">, Type.TLiteral<"DERIVATION_STRUCTURE_INVALID_AT_EVALUATION">]>;
+                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">]>;
                 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">, Type.TLiteral<"DERIVATION_STRUCTURE_INVALID_AT_EVALUATION">]>;
+                        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">]>;
                         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">, Type.TLiteral<"DERIVATION_STRUCTURE_INVALID_AT_EVALUATION">]>;
+                    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">]>;
                     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">, Type.TLiteral<"DERIVATION_STRUCTURE_INVALID_AT_EVALUATION">]>;
+                    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">]>;
                     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">, Type.TLiteral<"DERIVATION_STRUCTURE_INVALID_AT_EVALUATION">]>;
+                            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">]>;
                             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,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"}
+{"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;AAe3D,eAAO,MAAM,yBAAyB,m2BAmBpC,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,15 @@ 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 (18 literals — mirrors core@0.11.0).
+// TCoreValidationCode enum (18 literals — mirrors core@1.0.0).
+//
+// Core 1.0 Phase D4 deleted `DERIVATION_STRUCTURE_INVALID_AT_EVALUATION`
+// (the pre-1.0 evaluation-time throw on naked-Q derivation premises);
+// naked-Q is now an evaluation no-op per spec §4.2, and broken-tree
+// derivation premises continue to surface as the unchanged
+// `DERIVATION_STRUCTURE_INVALID` code. This schema must match core's
+// runtime emitter exactly — keep the literal list synchronized when
+// bumping `@proposit/proposit-core`.
 export const TCoreValidationCodeSchema = Type.Union([
     Type.Literal("ARGUMENT_NO_CONCLUSION"),
     Type.Literal("ARGUMENT_CONCLUSION_NOT_FOUND"),
@@ -121,7 +129,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"),
+    Type.Literal("DERIVATION_STRUCTURE_INVALID"),
 ]);
 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,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"}
+{"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,+DAA+D;AAC/D,EAAE;AACF,yEAAyE;AACzE,sEAAsE;AACtE,oEAAoE;AACpE,2DAA2D;AAC3D,qEAAqE;AACrE,oEAAoE;AACpE,qCAAqC;AACrC,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,8BAA8B,CAAC;CAC/C,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/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@proposit/shared",
-  "version": "0.7.2",
+  "version": "0.9.0",
   "description": "Runtime-agnostic TypeScript shared between proposit-server and proposit-mobile. Schemas, engine, api-client, and utilities.",
   "license": "MIT",
   "homepage": "https://github.com/Proposit-App/proposit-shared",
@@ -38,6 +38,11 @@
       "import": "./dist/schemas/api/auth/index.js",
       "default": "./dist/schemas/api/auth/index.js"
     },
+    "./schemas/api/grammar-violations": {
+      "types": "./dist/schemas/api/grammar-violations.d.ts",
+      "import": "./dist/schemas/api/grammar-violations.js",
+      "default": "./dist/schemas/api/grammar-violations.js"
+    },
     "./schemas/api/reaction": {
       "types": "./dist/schemas/api/reaction/index.d.ts",
       "import": "./dist/schemas/api/reaction/index.js",
@@ -53,6 +58,11 @@
       "import": "./dist/schemas/api/user/index.js",
       "default": "./dist/schemas/api/user/index.js"
     },
+    "./schemas/grammar": {
+      "types": "./dist/schemas/grammar/index.d.ts",
+      "import": "./dist/schemas/grammar/index.js",
+      "default": "./dist/schemas/grammar/index.js"
+    },
     "./schemas/*": {
       "types": "./dist/schemas/*.d.ts",
       "import": "./dist/schemas/*.js",
@@ -126,14 +136,14 @@
     "access": "public"
   },
   "peerDependencies": {
-    "@proposit/proposit-core": "^0.11.2"
+    "@proposit/proposit-core": "^1.0.0"
   },
   "dependencies": {
     "typebox": "^1.1.14"
   },
   "devDependencies": {
     "@eslint/js": "^9.39.4",
-    "@proposit/proposit-core": "^0.11.2",
+    "@proposit/proposit-core": "^1.0.0",
     "@types/node": "^25.5.2",
     "eslint": "^9.39.4",
     "eslint-plugin-check-file": "^3.3.1",