@proposit/shared 0.11.1 → 0.12.0

package/dist/api-client/argument/claims.d.ts

@@ -1,4 +1,4 @@
-import type { TMutableClaimFields, TClaimUpdateFields } from "../../schemas/model/claims.js";
+import type { TMutableClaimFields, TClaimUpdateFields, TAxiomKind } from "../../schemas/model/claims.js";
 import { type TIEEEReference } from "../../schemas/model/references.js";
 import type { TApiClientConfig } from "../config.js";
 export declare function createClaimImpl(config: TApiClientConfig, argumentId: string, version: number, claimData: TMutableClaimFields): Promise<import("../../schemas/common.js").ParsedError<import("typebox").TObject<{
@@ -2128,4 +2128,84 @@ export declare function deleteClaimCitationImpl(config: TApiClientConfig, argume
         createdOn: import("../../schemas/common.js").TDateType;
     }>]>>;
 }>>>;
+/**
+ * Assigns an axiomatic claim as the antecedent of a normal claim's
+ * derivation premise. The server mints a new axiomatic-claim row from the
+ * `axiom` kind, wires it into the citing claim's derivation premise via
+ * `populateDerivationFromAxiom`, persists the changeset, and returns the
+ * new claim alongside its derivation-premise context.
+ *
+ * Args object shape (not positional) — matches the architect-locked
+ * signature from the S3 spec
+ * (2026-05-19-server-ui-improvements-s3-claim-details-proof-state-design)
+ * §11. `claimId` is the **citing** claim's id (the claim whose derivation
+ * premise gains the axiomatic backing), not the freshly-minted axiomatic
+ * claim's id.
+ */
+export declare function createClaimAxiomImpl(config: TApiClientConfig, args: {
+    argumentId: string;
+    version: number;
+    claimId: string;
+    axiom: TAxiomKind;
+}): Promise<import("../../schemas/common.js").ParsedError<import("typebox").TObject<{
+    errorID: import("typebox").TNumber;
+    errorMessage: import("typebox").TString;
+    statusCode: import("typebox").TNumber;
+}>> | import("../../schemas/common.js").ParsedError<import("typebox").TObject<{
+    error: import("typebox").TLiteral<"GRAMMAR_VIOLATIONS">;
+    tier: import("typebox").TUnion<[import("typebox").TLiteral<"structural">, import("typebox").TLiteral<"evaluable">, import("typebox").TLiteral<"derivable">, import("typebox").TLiteral<"presentable">]>;
+    violations: import("typebox").TArray<import("typebox").TObject<{
+        tier: import("typebox").TUnion<[import("typebox").TLiteral<"structural">, import("typebox").TLiteral<"evaluable">, import("typebox").TLiteral<"derivable">, import("typebox").TLiteral<"presentable">]>;
+        code: import("typebox").TUnion<[import("typebox").TLiteral<"S-1">, import("typebox").TLiteral<"S-2">, import("typebox").TLiteral<"S-3">, import("typebox").TLiteral<"S-4">, import("typebox").TLiteral<"S-5">, import("typebox").TLiteral<"S-6">, import("typebox").TLiteral<"S-7">, import("typebox").TLiteral<"S-8">, import("typebox").TLiteral<"S-9">, import("typebox").TLiteral<"S-10">, import("typebox").TLiteral<"S-11">, import("typebox").TLiteral<"S-12">, import("typebox").TLiteral<"S-13">, import("typebox").TLiteral<"S-14">, import("typebox").TLiteral<"E-1">, import("typebox").TLiteral<"E-3">, import("typebox").TLiteral<"E-4">, import("typebox").TLiteral<"E-5">, import("typebox").TLiteral<"E-6">, import("typebox").TLiteral<"E-7">, import("typebox").TLiteral<"D-1">, import("typebox").TLiteral<"D-2">, import("typebox").TLiteral<"D-3">, import("typebox").TLiteral<"D-4">, import("typebox").TLiteral<"D-5">, import("typebox").TLiteral<"D-6">, import("typebox").TLiteral<"P-1">, import("typebox").TLiteral<"P-2">, import("typebox").TLiteral<"P-3">, import("typebox").TLiteral<"P-4">, import("typebox").TLiteral<"P-5">]>;
+        message: import("typebox").TString;
+        argumentId: import("typebox").TOptional<import("typebox").TString>;
+        premiseId: import("typebox").TOptional<import("typebox").TString>;
+        expressionId: import("typebox").TOptional<import("typebox").TString>;
+        variableId: import("typebox").TOptional<import("typebox").TString>;
+        claimId: import("typebox").TOptional<import("typebox").TString>;
+    }>>;
+}>> | import("../../schemas/common.js").ParsedSuccess<import("typebox").TObject<{
+    axiomClaim: import("typebox").TObject<{
+        digest: import("typebox").TString;
+        id: import("typebox").TString;
+        argumentId: import("typebox").TString;
+        version: import("typebox").TNumber;
+        claimForkId: import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>;
+        creatorId: import("typebox").TString;
+        createdOn: import("../../schemas/common.js").TDateType;
+        parentId: import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>;
+        type: import("typebox").TLiteral<"axiomatic">;
+        kind: import("typebox").TNull;
+        title: import("typebox").TNull;
+        body: import("typebox").TNull;
+        titleContentHash: import("typebox").TNull;
+        url: import("typebox").TNull;
+        citation: import("typebox").TNull;
+        citationContentHash: import("typebox").TNull;
+        axiom: import("typebox").TUnion<[import("typebox").TLiteral<"definition">, import("typebox").TLiteral<"stipulation">, import("typebox").TLiteral<"logical-principle">, import("typebox").TLiteral<"mathematical-principle">, import("typebox").TLiteral<"domain-rule">, import("typebox").TLiteral<"background-assumption">]>;
+    }>;
+    derivationPremise: import("typebox").TIntersect<[import("typebox").TUnion<[import("typebox").TObject<{
+        type: import("typebox").TLiteral<"freeform">;
+        id: import("typebox").TString;
+        argumentId: import("typebox").TString;
+        argumentVersion: import("typebox").TNumber;
+        checksum: import("typebox").TString;
+        descendantChecksum: import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>;
+        combinedChecksum: import("typebox").TString;
+    }>, import("typebox").TObject<{
+        type: import("typebox").TLiteral<"derivation">;
+        derivedClaimId: import("typebox").TString;
+        id: import("typebox").TString;
+        argumentId: import("typebox").TString;
+        argumentVersion: import("typebox").TNumber;
+        checksum: import("typebox").TString;
+        descendantChecksum: import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>;
+        combinedChecksum: import("typebox").TString;
+    }>]>, import("typebox").TObject<{
+        title: import("typebox").TOptional<import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>>;
+        role: import("typebox").TUnion<[import("typebox").TLiteral<"conclusion">, import("typebox").TLiteral<"supporting">]>;
+        createdOn: import("typebox").TOptional<import("../../schemas/common.js").TDateType>;
+        creatorId: import("typebox").TOptional<import("typebox").TString>;
+    }>]>;
+}>>>;
 //# sourceMappingURL=claims.d.ts.map

package/dist/api-client/argument/claims.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"claims.d.ts","sourceRoot":"","sources":["../../../src/api-client/argument/claims.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACR,mBAAmB,EACnB,kBAAkB,EACrB,MAAM,+BAA+B,CAAA;AAStC,OAAO,EAEH,KAAK,cAAc,EACtB,MAAM,mCAAmC,CAAA;AAE1C,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAA;AAGpD,wBAAsB,eAAe,CACjC,MAAM,EAAE,gBAAgB,EACxB,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,MAAM,EACf,SAAS,EAAE,mBAAmB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;KAWjC;AAED,wBAAsB,eAAe,CACjC,MAAM,EAAE,gBAAgB,EACxB,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,MAAM,EACf,OAAO,EAAE,MAAM;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;KAUlB;AAED,wBAAsB,eAAe,CACjC,MAAM,EAAE,gBAAgB,EACxB,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,MAAM,EACf,OAAO,EAAE,MAAM,EACf,IAAI,EAAE,kBAAkB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OAW3B;AAED,wBAAsB,uBAAuB,CACzC,MAAM,EAAE,gBAAgB,EACxB,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,MAAM,EACf,aAAa,EAAE,MAAM,EACrB,QAAQ,EAAE,cAAc;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;KAW3B;AAED,wBAAsB,uBAAuB,CACzC,MAAM,EAAE,gBAAgB,EACxB,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,MAAM,EACf,MAAM,EAAE,MAAM;;;;;;;;;;;;;;;;;;;;;;;;;;;;;KAUjB"}
+{"version":3,"file":"claims.d.ts","sourceRoot":"","sources":["../../../src/api-client/argument/claims.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACR,mBAAmB,EACnB,kBAAkB,EAClB,UAAU,EACb,MAAM,+BAA+B,CAAA;AAWtC,OAAO,EAEH,KAAK,cAAc,EACtB,MAAM,mCAAmC,CAAA;AAE1C,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAA;AAGpD,wBAAsB,eAAe,CACjC,MAAM,EAAE,gBAAgB,EACxB,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,MAAM,EACf,SAAS,EAAE,mBAAmB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;KAWjC;AAED,wBAAsB,eAAe,CACjC,MAAM,EAAE,gBAAgB,EACxB,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,MAAM,EACf,OAAO,EAAE,MAAM;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;KAUlB;AAED,wBAAsB,eAAe,CACjC,MAAM,EAAE,gBAAgB,EACxB,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,MAAM,EACf,OAAO,EAAE,MAAM,EACf,IAAI,EAAE,kBAAkB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OAW3B;AAED,wBAAsB,uBAAuB,CACzC,MAAM,EAAE,gBAAgB,EACxB,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,MAAM,EACf,aAAa,EAAE,MAAM,EACrB,QAAQ,EAAE,cAAc;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;KAW3B;AAED,wBAAsB,uBAAuB,CACzC,MAAM,EAAE,gBAAgB,EACxB,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,MAAM,EACf,MAAM,EAAE,MAAM;;;;;;;;;;;;;;;;;;;;;;;;;;;;;KAUjB;AAED;;;;;;;;;;;;;GAaG;AACH,wBAAsB,oBAAoB,CACtC,MAAM,EAAE,gBAAgB,EACxB,IAAI,EAAE;IACF,UAAU,EAAE,MAAM,CAAA;IAClB,OAAO,EAAE,MAAM,CAAA;IACf,OAAO,EAAE,MAAM,CAAA;IACf,KAAK,EAAE,UAAU,CAAA;CACpB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;KAWJ"}

package/dist/api-client/argument/claims.js

@@ -1,5 +1,5 @@
 import { ClaimSchema, ClaimUpdateRequestSchema } from "../../schemas/model.js";
-import { ClaimCreationRequestSchema, ClaimCreationResponseSchema, ClaimDeletionResponseSchema, ClaimCitationDeleteResponseSchema, CitationCreationSchema, } from "../../schemas/api/argument/claims.js";
+import { ClaimCreationRequestSchema, ClaimCreationResponseSchema, ClaimDeletionResponseSchema, ClaimCitationDeleteResponseSchema, CitationCreationSchema, AxiomAssignmentRequestSchema, AxiomAssignmentResponseSchema, } from "../../schemas/api/argument/claims.js";
 import { IEEEReferenceSchemaMap, } from "../../schemas/model/references.js";
 import { parseResponse, strictFetch } from "../../utils/utils.js";
 import { resolveBaseUrl } from "../internal.js";
@@ -23,4 +23,22 @@ export async function deleteClaimCitationImpl(config, argumentId, version, edgeI
     const baseUrl = resolveBaseUrl(config);
     return await parseResponse(await config.fetchImpl(`${baseUrl}/api/v1/argument/${argumentId}/${version}/citations/${edgeId}`, { method: "DELETE" }), ClaimCitationDeleteResponseSchema);
 }
+/**
+ * Assigns an axiomatic claim as the antecedent of a normal claim's
+ * derivation premise. The server mints a new axiomatic-claim row from the
+ * `axiom` kind, wires it into the citing claim's derivation premise via
+ * `populateDerivationFromAxiom`, persists the changeset, and returns the
+ * new claim alongside its derivation-premise context.
+ *
+ * Args object shape (not positional) — matches the architect-locked
+ * signature from the S3 spec
+ * (2026-05-19-server-ui-improvements-s3-claim-details-proof-state-design)
+ * §11. `claimId` is the **citing** claim's id (the claim whose derivation
+ * premise gains the axiomatic backing), not the freshly-minted axiomatic
+ * claim's id.
+ */
+export async function createClaimAxiomImpl(config, args) {
+    const baseUrl = resolveBaseUrl(config);
+    return await strictFetch(`${baseUrl}/api/v1/argument/${args.argumentId}/${args.version}/claims/${args.claimId}/axiom`, { method: "POST" }, { axiom: args.axiom }, AxiomAssignmentRequestSchema, AxiomAssignmentResponseSchema, config.fetchImpl);
+}
 //# sourceMappingURL=claims.js.map

package/dist/api-client/argument/claims.js.map

@@ -1 +1 @@
-{"version":3,"file":"claims.js","sourceRoot":"","sources":["../../../src/api-client/argument/claims.ts"],"names":[],"mappings":"AAIA,OAAO,EAAE,WAAW,EAAE,wBAAwB,EAAE,MAAM,wBAAwB,CAAA;AAC9E,OAAO,EACH,0BAA0B,EAC1B,2BAA2B,EAC3B,2BAA2B,EAC3B,iCAAiC,EACjC,sBAAsB,GACzB,MAAM,sCAAsC,CAAA;AAC7C,OAAO,EACH,sBAAsB,GAEzB,MAAM,mCAAmC,CAAA;AAC1C,OAAO,EAAE,aAAa,EAAE,WAAW,EAAE,MAAM,sBAAsB,CAAA;AAEjE,OAAO,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAA;AAE/C,MAAM,CAAC,KAAK,UAAU,eAAe,CACjC,MAAwB,EACxB,UAAkB,EAClB,OAAe,EACf,SAA8B;IAE9B,MAAM,OAAO,GAAG,cAAc,CAAC,MAAM,CAAC,CAAA;IACtC,OAAO,MAAM,WAAW,CACpB,GAAG,OAAO,oBAAoB,UAAU,IAAI,OAAO,SAAS,EAC5D,EAAE,MAAM,EAAE,MAAM,EAAE,EAClB,EAAE,SAAS,EAAE,EACb,0BAA0B,EAC1B,2BAA2B,EAC3B,MAAM,CAAC,SAAS,CACnB,CAAA;AACL,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,eAAe,CACjC,MAAwB,EACxB,UAAkB,EAClB,OAAe,EACf,OAAe;IAEf,MAAM,OAAO,GAAG,cAAc,CAAC,MAAM,CAAC,CAAA;IACtC,OAAO,MAAM,aAAa,CACtB,MAAM,MAAM,CAAC,SAAS,CAClB,GAAG,OAAO,oBAAoB,UAAU,IAAI,OAAO,WAAW,OAAO,EAAE,EACvE,EAAE,MAAM,EAAE,QAAQ,EAAE,CACvB,EACD,2BAA2B,CAC9B,CAAA;AACL,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,eAAe,CACjC,MAAwB,EACxB,UAAkB,EAClB,OAAe,EACf,OAAe,EACf,IAAwB;IAExB,MAAM,OAAO,GAAG,cAAc,CAAC,MAAM,CAAC,CAAA;IACtC,OAAO,MAAM,WAAW,CACpB,GAAG,OAAO,oBAAoB,UAAU,IAAI,OAAO,WAAW,OAAO,EAAE,EACvE,EAAE,MAAM,EAAE,KAAK,EAAE,EACjB,EAAE,GAAG,IAAI,EAAE,EACX,wBAAwB,EACxB,WAAW,EACX,MAAM,CAAC,SAAS,CACnB,CAAA;AACL,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,uBAAuB,CACzC,MAAwB,EACxB,UAAkB,EAClB,OAAe,EACf,aAAqB,EACrB,QAAwB;IAExB,MAAM,OAAO,GAAG,cAAc,CAAC,MAAM,CAAC,CAAA;IACtC,OAAO,MAAM,WAAW,CACpB,GAAG,OAAO,oBAAoB,UAAU,IAAI,OAAO,WAAW,aAAa,WAAW,EACtF,EAAE,MAAM,EAAE,MAAM,EAAE,EAClB,QAAQ,EACR,sBAAsB,CAAC,QAAQ,CAAC,IAAI,CAAC,EACrC,sBAAsB,EACtB,MAAM,CAAC,SAAS,CACnB,CAAA;AACL,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,uBAAuB,CACzC,MAAwB,EACxB,UAAkB,EAClB,OAAe,EACf,MAAc;IAEd,MAAM,OAAO,GAAG,cAAc,CAAC,MAAM,CAAC,CAAA;IACtC,OAAO,MAAM,aAAa,CACtB,MAAM,MAAM,CAAC,SAAS,CAClB,GAAG,OAAO,oBAAoB,UAAU,IAAI,OAAO,cAAc,MAAM,EAAE,EACzE,EAAE,MAAM,EAAE,QAAQ,EAAE,CACvB,EACD,iCAAiC,CACpC,CAAA;AACL,CAAC"}
+{"version":3,"file":"claims.js","sourceRoot":"","sources":["../../../src/api-client/argument/claims.ts"],"names":[],"mappings":"AAKA,OAAO,EAAE,WAAW,EAAE,wBAAwB,EAAE,MAAM,wBAAwB,CAAA;AAC9E,OAAO,EACH,0BAA0B,EAC1B,2BAA2B,EAC3B,2BAA2B,EAC3B,iCAAiC,EACjC,sBAAsB,EACtB,4BAA4B,EAC5B,6BAA6B,GAChC,MAAM,sCAAsC,CAAA;AAC7C,OAAO,EACH,sBAAsB,GAEzB,MAAM,mCAAmC,CAAA;AAC1C,OAAO,EAAE,aAAa,EAAE,WAAW,EAAE,MAAM,sBAAsB,CAAA;AAEjE,OAAO,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAA;AAE/C,MAAM,CAAC,KAAK,UAAU,eAAe,CACjC,MAAwB,EACxB,UAAkB,EAClB,OAAe,EACf,SAA8B;IAE9B,MAAM,OAAO,GAAG,cAAc,CAAC,MAAM,CAAC,CAAA;IACtC,OAAO,MAAM,WAAW,CACpB,GAAG,OAAO,oBAAoB,UAAU,IAAI,OAAO,SAAS,EAC5D,EAAE,MAAM,EAAE,MAAM,EAAE,EAClB,EAAE,SAAS,EAAE,EACb,0BAA0B,EAC1B,2BAA2B,EAC3B,MAAM,CAAC,SAAS,CACnB,CAAA;AACL,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,eAAe,CACjC,MAAwB,EACxB,UAAkB,EAClB,OAAe,EACf,OAAe;IAEf,MAAM,OAAO,GAAG,cAAc,CAAC,MAAM,CAAC,CAAA;IACtC,OAAO,MAAM,aAAa,CACtB,MAAM,MAAM,CAAC,SAAS,CAClB,GAAG,OAAO,oBAAoB,UAAU,IAAI,OAAO,WAAW,OAAO,EAAE,EACvE,EAAE,MAAM,EAAE,QAAQ,EAAE,CACvB,EACD,2BAA2B,CAC9B,CAAA;AACL,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,eAAe,CACjC,MAAwB,EACxB,UAAkB,EAClB,OAAe,EACf,OAAe,EACf,IAAwB;IAExB,MAAM,OAAO,GAAG,cAAc,CAAC,MAAM,CAAC,CAAA;IACtC,OAAO,MAAM,WAAW,CACpB,GAAG,OAAO,oBAAoB,UAAU,IAAI,OAAO,WAAW,OAAO,EAAE,EACvE,EAAE,MAAM,EAAE,KAAK,EAAE,EACjB,EAAE,GAAG,IAAI,EAAE,EACX,wBAAwB,EACxB,WAAW,EACX,MAAM,CAAC,SAAS,CACnB,CAAA;AACL,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,uBAAuB,CACzC,MAAwB,EACxB,UAAkB,EAClB,OAAe,EACf,aAAqB,EACrB,QAAwB;IAExB,MAAM,OAAO,GAAG,cAAc,CAAC,MAAM,CAAC,CAAA;IACtC,OAAO,MAAM,WAAW,CACpB,GAAG,OAAO,oBAAoB,UAAU,IAAI,OAAO,WAAW,aAAa,WAAW,EACtF,EAAE,MAAM,EAAE,MAAM,EAAE,EAClB,QAAQ,EACR,sBAAsB,CAAC,QAAQ,CAAC,IAAI,CAAC,EACrC,sBAAsB,EACtB,MAAM,CAAC,SAAS,CACnB,CAAA;AACL,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,uBAAuB,CACzC,MAAwB,EACxB,UAAkB,EAClB,OAAe,EACf,MAAc;IAEd,MAAM,OAAO,GAAG,cAAc,CAAC,MAAM,CAAC,CAAA;IACtC,OAAO,MAAM,aAAa,CACtB,MAAM,MAAM,CAAC,SAAS,CAClB,GAAG,OAAO,oBAAoB,UAAU,IAAI,OAAO,cAAc,MAAM,EAAE,EACzE,EAAE,MAAM,EAAE,QAAQ,EAAE,CACvB,EACD,iCAAiC,CACpC,CAAA;AACL,CAAC;AAED;;;;;;;;;;;;;GAaG;AACH,MAAM,CAAC,KAAK,UAAU,oBAAoB,CACtC,MAAwB,EACxB,IAKC;IAED,MAAM,OAAO,GAAG,cAAc,CAAC,MAAM,CAAC,CAAA;IACtC,OAAO,MAAM,WAAW,CACpB,GAAG,OAAO,oBAAoB,IAAI,CAAC,UAAU,IAAI,IAAI,CAAC,OAAO,WAAW,IAAI,CAAC,OAAO,QAAQ,EAC5F,EAAE,MAAM,EAAE,MAAM,EAAE,EAClB,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,EACrB,4BAA4B,EAC5B,6BAA6B,EAC7B,MAAM,CAAC,SAAS,CACnB,CAAA;AACL,CAAC"}

package/dist/api-client/factory.d.ts

@@ -1,7 +1,7 @@
 import type { TApiClientConfig } from "./config.js";
 import { getArgumentImpl, publishArgumentImpl, resetArgumentImpl, forkArgumentImpl, getArgumentDiffImpl, getArgumentForksImpl, claimUnownedArgumentImpl, getAllArgumentsImpl, createArgumentImpl, getLatestArgumentImpl, updateArgumentImpl, archiveArgumentImpl, deleteArgumentImpl, getEntireArgumentImpl } from "./argument/index.js";
 import { provisionArgumentImpl, createExpressionWithOperatorImpl, changeEdgeOperatorImpl } from "./argument/batch.js";
-import { createClaimImpl, deleteClaimImpl, updateClaimImpl, createClaimCitationImpl, deleteClaimCitationImpl } from "./argument/claims.js";
+import { createClaimImpl, deleteClaimImpl, updateClaimImpl, createClaimCitationImpl, deleteClaimCitationImpl, createClaimAxiomImpl } from "./argument/claims.js";
 import { createReactionImpl, deleteReactionImpl } from "./argument/reactions.js";
 import { getMyReviewImpl, createReviewRemoteImpl, getReviewByIdRemoteImpl, patchReviewRemoteImpl, deleteReviewRemoteImpl, setReviewVisibilityImpl } from "./argument/reviews.js";
 import { getLogicDataImpl, getPremisesImpl, createPremiseImpl, updatePremiseImpl, deletePremiseImpl, getPremiseImpl, getExpressionsImpl, createExpressionImpl, updateExpressionImpl, deleteExpressionImpl, getExpressionImpl, toggleNegationImpl, getVariablesImpl, createVariableImpl, updateVariableImpl, deleteVariableImpl, getVariableImpl } from "./argument/logic/index.js";
@@ -37,6 +37,7 @@ declare const impls: {
     readonly updateClaim: typeof updateClaimImpl;
     readonly createClaimCitation: typeof createClaimCitationImpl;
     readonly deleteClaimCitation: typeof deleteClaimCitationImpl;
+    readonly createClaimAxiom: typeof createClaimAxiomImpl;
     readonly createReaction: typeof createReactionImpl;
     readonly deleteReaction: typeof deleteReactionImpl;
     readonly getMyReview: typeof getMyReviewImpl;

package/dist/api-client/factory.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"factory.d.ts","sourceRoot":"","sources":["../../src/api-client/factory.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,aAAa,CAAA;AAEnD,OAAO,EACH,eAAe,EACf,mBAAmB,EACnB,iBAAiB,EACjB,gBAAgB,EAChB,mBAAmB,EACnB,oBAAoB,EACpB,wBAAwB,EACxB,mBAAmB,EACnB,kBAAkB,EAClB,qBAAqB,EACrB,kBAAkB,EAClB,mBAAmB,EACnB,kBAAkB,EAClB,qBAAqB,EACxB,MAAM,qBAAqB,CAAA;AAC5B,OAAO,EACH,qBAAqB,EACrB,gCAAgC,EAChC,sBAAsB,EACzB,MAAM,qBAAqB,CAAA;AAC5B,OAAO,EACH,eAAe,EACf,eAAe,EACf,eAAe,EACf,uBAAuB,EACvB,uBAAuB,EAC1B,MAAM,sBAAsB,CAAA;AAC7B,OAAO,EAAE,kBAAkB,EAAE,kBAAkB,EAAE,MAAM,yBAAyB,CAAA;AAChF,OAAO,EACH,eAAe,EACf,sBAAsB,EACtB,uBAAuB,EACvB,qBAAqB,EACrB,sBAAsB,EACtB,uBAAuB,EAC1B,MAAM,uBAAuB,CAAA;AAC9B,OAAO,EACH,gBAAgB,EAChB,eAAe,EACf,iBAAiB,EACjB,iBAAiB,EACjB,iBAAiB,EACjB,cAAc,EACd,kBAAkB,EAClB,oBAAoB,EACpB,oBAAoB,EACpB,oBAAoB,EACpB,iBAAiB,EACjB,kBAAkB,EAClB,gBAAgB,EAChB,kBAAkB,EAClB,kBAAkB,EAClB,kBAAkB,EAClB,eAAe,EAClB,MAAM,2BAA2B,CAAA;AAClC,OAAO,EAAE,kBAAkB,EAAE,MAAM,4BAA4B,CAAA;AAC/D,OAAO,EACH,oBAAoB,EACpB,uBAAuB,EACvB,sBAAsB,EACzB,MAAM,aAAa,CAAA;AACpB,OAAO,EAAE,iBAAiB,EAAE,MAAM,kBAAkB,CAAA;AACpD,OAAO,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAA;AACtD,OAAO,EAAE,oBAAoB,EAAE,MAAM,qBAAqB,CAAA;AAE1D;;;GAGG;AACH,QAAA,MAAM,KAAK;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAuDD,CAAA;AAEV;;GAEG;AACH,KAAK,YAAY,CAAC,CAAC,IAAI,CAAC,SAAS,CAC7B,MAAM,EAAE,gBAAgB,EACxB,GAAG,IAAI,EAAE,MAAM,IAAI,KAClB,MAAM,GAAG,GACR,CAAC,GAAG,IAAI,EAAE,IAAI,KAAK,GAAG,GACtB,KAAK,CAAA;AAEX,MAAM,MAAM,UAAU,GAAG;KACpB,CAAC,IAAI,MAAM,OAAO,KAAK,GAAG,YAAY,CAAC,CAAC,OAAO,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;CAC7D,CAAA;AAED,wBAAgB,eAAe,CAAC,MAAM,EAAE,gBAAgB,GAAG,UAAU,CAepE"}
+{"version":3,"file":"factory.d.ts","sourceRoot":"","sources":["../../src/api-client/factory.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,aAAa,CAAA;AAEnD,OAAO,EACH,eAAe,EACf,mBAAmB,EACnB,iBAAiB,EACjB,gBAAgB,EAChB,mBAAmB,EACnB,oBAAoB,EACpB,wBAAwB,EACxB,mBAAmB,EACnB,kBAAkB,EAClB,qBAAqB,EACrB,kBAAkB,EAClB,mBAAmB,EACnB,kBAAkB,EAClB,qBAAqB,EACxB,MAAM,qBAAqB,CAAA;AAC5B,OAAO,EACH,qBAAqB,EACrB,gCAAgC,EAChC,sBAAsB,EACzB,MAAM,qBAAqB,CAAA;AAC5B,OAAO,EACH,eAAe,EACf,eAAe,EACf,eAAe,EACf,uBAAuB,EACvB,uBAAuB,EACvB,oBAAoB,EACvB,MAAM,sBAAsB,CAAA;AAC7B,OAAO,EAAE,kBAAkB,EAAE,kBAAkB,EAAE,MAAM,yBAAyB,CAAA;AAChF,OAAO,EACH,eAAe,EACf,sBAAsB,EACtB,uBAAuB,EACvB,qBAAqB,EACrB,sBAAsB,EACtB,uBAAuB,EAC1B,MAAM,uBAAuB,CAAA;AAC9B,OAAO,EACH,gBAAgB,EAChB,eAAe,EACf,iBAAiB,EACjB,iBAAiB,EACjB,iBAAiB,EACjB,cAAc,EACd,kBAAkB,EAClB,oBAAoB,EACpB,oBAAoB,EACpB,oBAAoB,EACpB,iBAAiB,EACjB,kBAAkB,EAClB,gBAAgB,EAChB,kBAAkB,EAClB,kBAAkB,EAClB,kBAAkB,EAClB,eAAe,EAClB,MAAM,2BAA2B,CAAA;AAClC,OAAO,EAAE,kBAAkB,EAAE,MAAM,4BAA4B,CAAA;AAC/D,OAAO,EACH,oBAAoB,EACpB,uBAAuB,EACvB,sBAAsB,EACzB,MAAM,aAAa,CAAA;AACpB,OAAO,EAAE,iBAAiB,EAAE,MAAM,kBAAkB,CAAA;AACpD,OAAO,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAA;AACtD,OAAO,EAAE,oBAAoB,EAAE,MAAM,qBAAqB,CAAA;AAE1D;;;GAGG;AACH,QAAA,MAAM,KAAK;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAwDD,CAAA;AAEV;;GAEG;AACH,KAAK,YAAY,CAAC,CAAC,IAAI,CAAC,SAAS,CAC7B,MAAM,EAAE,gBAAgB,EACxB,GAAG,IAAI,EAAE,MAAM,IAAI,KAClB,MAAM,GAAG,GACR,CAAC,GAAG,IAAI,EAAE,IAAI,KAAK,GAAG,GACtB,KAAK,CAAA;AAEX,MAAM,MAAM,UAAU,GAAG;KACpB,CAAC,IAAI,MAAM,OAAO,KAAK,GAAG,YAAY,CAAC,CAAC,OAAO,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;CAC7D,CAAA;AAED,wBAAgB,eAAe,CAAC,MAAM,EAAE,gBAAgB,GAAG,UAAU,CAepE"}

package/dist/api-client/factory.js

@@ -1,6 +1,6 @@
 import { getArgumentImpl, publishArgumentImpl, resetArgumentImpl, forkArgumentImpl, getArgumentDiffImpl, getArgumentForksImpl, claimUnownedArgumentImpl, getAllArgumentsImpl, createArgumentImpl, getLatestArgumentImpl, updateArgumentImpl, archiveArgumentImpl, deleteArgumentImpl, getEntireArgumentImpl, } from "./argument/index.js";
 import { provisionArgumentImpl, createExpressionWithOperatorImpl, changeEdgeOperatorImpl, } from "./argument/batch.js";
-import { createClaimImpl, deleteClaimImpl, updateClaimImpl, createClaimCitationImpl, deleteClaimCitationImpl, } from "./argument/claims.js";
+import { createClaimImpl, deleteClaimImpl, updateClaimImpl, createClaimCitationImpl, deleteClaimCitationImpl, createClaimAxiomImpl, } from "./argument/claims.js";
 import { createReactionImpl, deleteReactionImpl } from "./argument/reactions.js";
 import { getMyReviewImpl, createReviewRemoteImpl, getReviewByIdRemoteImpl, patchReviewRemoteImpl, deleteReviewRemoteImpl, setReviewVisibilityImpl, } from "./argument/reviews.js";
 import { getLogicDataImpl, getPremisesImpl, createPremiseImpl, updatePremiseImpl, deletePremiseImpl, getPremiseImpl, getExpressionsImpl, createExpressionImpl, updateExpressionImpl, deleteExpressionImpl, getExpressionImpl, toggleNegationImpl, getVariablesImpl, createVariableImpl, updateVariableImpl, deleteVariableImpl, getVariableImpl, } from "./argument/logic/index.js";
@@ -36,6 +36,7 @@ const impls = {
     updateClaim: updateClaimImpl,
     createClaimCitation: createClaimCitationImpl,
     deleteClaimCitation: deleteClaimCitationImpl,
+    createClaimAxiom: createClaimAxiomImpl,
     createReaction: createReactionImpl,
     deleteReaction: deleteReactionImpl,
     getMyReview: getMyReviewImpl,

package/dist/api-client/factory.js.map

@@ -1 +1 @@
-{"version":3,"file":"factory.js","sourceRoot":"","sources":["../../src/api-client/factory.ts"],"names":[],"mappings":"AAEA,OAAO,EACH,eAAe,EACf,mBAAmB,EACnB,iBAAiB,EACjB,gBAAgB,EAChB,mBAAmB,EACnB,oBAAoB,EACpB,wBAAwB,EACxB,mBAAmB,EACnB,kBAAkB,EAClB,qBAAqB,EACrB,kBAAkB,EAClB,mBAAmB,EACnB,kBAAkB,EAClB,qBAAqB,GACxB,MAAM,qBAAqB,CAAA;AAC5B,OAAO,EACH,qBAAqB,EACrB,gCAAgC,EAChC,sBAAsB,GACzB,MAAM,qBAAqB,CAAA;AAC5B,OAAO,EACH,eAAe,EACf,eAAe,EACf,eAAe,EACf,uBAAuB,EACvB,uBAAuB,GAC1B,MAAM,sBAAsB,CAAA;AAC7B,OAAO,EAAE,kBAAkB,EAAE,kBAAkB,EAAE,MAAM,yBAAyB,CAAA;AAChF,OAAO,EACH,eAAe,EACf,sBAAsB,EACtB,uBAAuB,EACvB,qBAAqB,EACrB,sBAAsB,EACtB,uBAAuB,GAC1B,MAAM,uBAAuB,CAAA;AAC9B,OAAO,EACH,gBAAgB,EAChB,eAAe,EACf,iBAAiB,EACjB,iBAAiB,EACjB,iBAAiB,EACjB,cAAc,EACd,kBAAkB,EAClB,oBAAoB,EACpB,oBAAoB,EACpB,oBAAoB,EACpB,iBAAiB,EACjB,kBAAkB,EAClB,gBAAgB,EAChB,kBAAkB,EAClB,kBAAkB,EAClB,kBAAkB,EAClB,eAAe,GAClB,MAAM,2BAA2B,CAAA;AAClC,OAAO,EAAE,kBAAkB,EAAE,MAAM,4BAA4B,CAAA;AAC/D,OAAO,EACH,oBAAoB,EACpB,uBAAuB,EACvB,sBAAsB,GACzB,MAAM,aAAa,CAAA;AACpB,OAAO,EAAE,iBAAiB,EAAE,MAAM,kBAAkB,CAAA;AACpD,OAAO,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAA;AACtD,OAAO,EAAE,oBAAoB,EAAE,MAAM,qBAAqB,CAAA;AAE1D;;;GAGG;AACH,MAAM,KAAK,GAAG;IACV,WAAW,EAAE,eAAe;IAC5B,eAAe,EAAE,mBAAmB;IACpC,aAAa,EAAE,iBAAiB;IAChC,YAAY,EAAE,gBAAgB;IAC9B,eAAe,EAAE,mBAAmB;IACpC,gBAAgB,EAAE,oBAAoB;IACtC,oBAAoB,EAAE,wBAAwB;IAC9C,eAAe,EAAE,mBAAmB;IACpC,cAAc,EAAE,kBAAkB;IAClC,iBAAiB,EAAE,qBAAqB;IACxC,cAAc,EAAE,kBAAkB;IAClC,eAAe,EAAE,mBAAmB;IACpC,cAAc,EAAE,kBAAkB;IAClC,iBAAiB,EAAE,qBAAqB;IACxC,iBAAiB,EAAE,qBAAqB;IACxC,4BAA4B,EAAE,gCAAgC;IAC9D,kBAAkB,EAAE,sBAAsB;IAC1C,WAAW,EAAE,eAAe;IAC5B,WAAW,EAAE,eAAe;IAC5B,WAAW,EAAE,eAAe;IAC5B,mBAAmB,EAAE,uBAAuB;IAC5C,mBAAmB,EAAE,uBAAuB;IAC5C,cAAc,EAAE,kBAAkB;IAClC,cAAc,EAAE,kBAAkB;IAClC,WAAW,EAAE,eAAe;IAC5B,kBAAkB,EAAE,sBAAsB;IAC1C,mBAAmB,EAAE,uBAAuB;IAC5C,iBAAiB,EAAE,qBAAqB;IACxC,kBAAkB,EAAE,sBAAsB;IAC1C,mBAAmB,EAAE,uBAAuB;IAC5C,YAAY,EAAE,gBAAgB;IAC9B,WAAW,EAAE,eAAe;IAC5B,aAAa,EAAE,iBAAiB;IAChC,aAAa,EAAE,iBAAiB;IAChC,aAAa,EAAE,iBAAiB;IAChC,UAAU,EAAE,cAAc;IAC1B,cAAc,EAAE,kBAAkB;IAClC,gBAAgB,EAAE,oBAAoB;IACtC,gBAAgB,EAAE,oBAAoB;IACtC,gBAAgB,EAAE,oBAAoB;IACtC,aAAa,EAAE,iBAAiB;IAChC,cAAc,EAAE,kBAAkB;IAClC,YAAY,EAAE,gBAAgB;IAC9B,cAAc,EAAE,kBAAkB;IAClC,cAAc,EAAE,kBAAkB;IAClC,cAAc,EAAE,kBAAkB;IAClC,WAAW,EAAE,eAAe;IAC5B,cAAc,EAAE,kBAAkB;IAClC,gBAAgB,EAAE,oBAAoB;IACtC,mBAAmB,EAAE,uBAAuB;IAC5C,kBAAkB,EAAE,sBAAsB;IAC1C,aAAa,EAAE,iBAAiB;IAChC,gBAAgB,EAAE,oBAAoB;IACtC,UAAU,EAAE,cAAc;CACpB,CAAA;AAgBV,MAAM,UAAU,eAAe,CAAC,MAAwB;IACpD,kEAAkE;IAClE,wEAAwE;IACxE,qEAAqE;IACrE,8DAA8D;IAC9D,MAAM,WAAW,GAAqB;QAClC,GAAG,MAAM;QACT,SAAS,EAAE,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,UAAU,CAAC;KAC/C,CAAA;IACD,MAAM,MAAM,GAAG,EAA6B,CAAA;IAC5C,KAAK,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QAC/C,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,IAAe,EAAW,EAAE,CAC1C,IAAqC,CAAC,WAAW,EAAE,GAAG,IAAI,CAAC,CAAA;IACpE,CAAC;IACD,OAAO,MAAoB,CAAA;AAC/B,CAAC"}
+{"version":3,"file":"factory.js","sourceRoot":"","sources":["../../src/api-client/factory.ts"],"names":[],"mappings":"AAEA,OAAO,EACH,eAAe,EACf,mBAAmB,EACnB,iBAAiB,EACjB,gBAAgB,EAChB,mBAAmB,EACnB,oBAAoB,EACpB,wBAAwB,EACxB,mBAAmB,EACnB,kBAAkB,EAClB,qBAAqB,EACrB,kBAAkB,EAClB,mBAAmB,EACnB,kBAAkB,EAClB,qBAAqB,GACxB,MAAM,qBAAqB,CAAA;AAC5B,OAAO,EACH,qBAAqB,EACrB,gCAAgC,EAChC,sBAAsB,GACzB,MAAM,qBAAqB,CAAA;AAC5B,OAAO,EACH,eAAe,EACf,eAAe,EACf,eAAe,EACf,uBAAuB,EACvB,uBAAuB,EACvB,oBAAoB,GACvB,MAAM,sBAAsB,CAAA;AAC7B,OAAO,EAAE,kBAAkB,EAAE,kBAAkB,EAAE,MAAM,yBAAyB,CAAA;AAChF,OAAO,EACH,eAAe,EACf,sBAAsB,EACtB,uBAAuB,EACvB,qBAAqB,EACrB,sBAAsB,EACtB,uBAAuB,GAC1B,MAAM,uBAAuB,CAAA;AAC9B,OAAO,EACH,gBAAgB,EAChB,eAAe,EACf,iBAAiB,EACjB,iBAAiB,EACjB,iBAAiB,EACjB,cAAc,EACd,kBAAkB,EAClB,oBAAoB,EACpB,oBAAoB,EACpB,oBAAoB,EACpB,iBAAiB,EACjB,kBAAkB,EAClB,gBAAgB,EAChB,kBAAkB,EAClB,kBAAkB,EAClB,kBAAkB,EAClB,eAAe,GAClB,MAAM,2BAA2B,CAAA;AAClC,OAAO,EAAE,kBAAkB,EAAE,MAAM,4BAA4B,CAAA;AAC/D,OAAO,EACH,oBAAoB,EACpB,uBAAuB,EACvB,sBAAsB,GACzB,MAAM,aAAa,CAAA;AACpB,OAAO,EAAE,iBAAiB,EAAE,MAAM,kBAAkB,CAAA;AACpD,OAAO,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAA;AACtD,OAAO,EAAE,oBAAoB,EAAE,MAAM,qBAAqB,CAAA;AAE1D;;;GAGG;AACH,MAAM,KAAK,GAAG;IACV,WAAW,EAAE,eAAe;IAC5B,eAAe,EAAE,mBAAmB;IACpC,aAAa,EAAE,iBAAiB;IAChC,YAAY,EAAE,gBAAgB;IAC9B,eAAe,EAAE,mBAAmB;IACpC,gBAAgB,EAAE,oBAAoB;IACtC,oBAAoB,EAAE,wBAAwB;IAC9C,eAAe,EAAE,mBAAmB;IACpC,cAAc,EAAE,kBAAkB;IAClC,iBAAiB,EAAE,qBAAqB;IACxC,cAAc,EAAE,kBAAkB;IAClC,eAAe,EAAE,mBAAmB;IACpC,cAAc,EAAE,kBAAkB;IAClC,iBAAiB,EAAE,qBAAqB;IACxC,iBAAiB,EAAE,qBAAqB;IACxC,4BAA4B,EAAE,gCAAgC;IAC9D,kBAAkB,EAAE,sBAAsB;IAC1C,WAAW,EAAE,eAAe;IAC5B,WAAW,EAAE,eAAe;IAC5B,WAAW,EAAE,eAAe;IAC5B,mBAAmB,EAAE,uBAAuB;IAC5C,mBAAmB,EAAE,uBAAuB;IAC5C,gBAAgB,EAAE,oBAAoB;IACtC,cAAc,EAAE,kBAAkB;IAClC,cAAc,EAAE,kBAAkB;IAClC,WAAW,EAAE,eAAe;IAC5B,kBAAkB,EAAE,sBAAsB;IAC1C,mBAAmB,EAAE,uBAAuB;IAC5C,iBAAiB,EAAE,qBAAqB;IACxC,kBAAkB,EAAE,sBAAsB;IAC1C,mBAAmB,EAAE,uBAAuB;IAC5C,YAAY,EAAE,gBAAgB;IAC9B,WAAW,EAAE,eAAe;IAC5B,aAAa,EAAE,iBAAiB;IAChC,aAAa,EAAE,iBAAiB;IAChC,aAAa,EAAE,iBAAiB;IAChC,UAAU,EAAE,cAAc;IAC1B,cAAc,EAAE,kBAAkB;IAClC,gBAAgB,EAAE,oBAAoB;IACtC,gBAAgB,EAAE,oBAAoB;IACtC,gBAAgB,EAAE,oBAAoB;IACtC,aAAa,EAAE,iBAAiB;IAChC,cAAc,EAAE,kBAAkB;IAClC,YAAY,EAAE,gBAAgB;IAC9B,cAAc,EAAE,kBAAkB;IAClC,cAAc,EAAE,kBAAkB;IAClC,cAAc,EAAE,kBAAkB;IAClC,WAAW,EAAE,eAAe;IAC5B,cAAc,EAAE,kBAAkB;IAClC,gBAAgB,EAAE,oBAAoB;IACtC,mBAAmB,EAAE,uBAAuB;IAC5C,kBAAkB,EAAE,sBAAsB;IAC1C,aAAa,EAAE,iBAAiB;IAChC,gBAAgB,EAAE,oBAAoB;IACtC,UAAU,EAAE,cAAc;CACpB,CAAA;AAgBV,MAAM,UAAU,eAAe,CAAC,MAAwB;IACpD,kEAAkE;IAClE,wEAAwE;IACxE,qEAAqE;IACrE,8DAA8D;IAC9D,MAAM,WAAW,GAAqB;QAClC,GAAG,MAAM;QACT,SAAS,EAAE,MAAM,CAAC,SAAS,CAAC,IAAI,CAAC,UAAU,CAAC;KAC/C,CAAA;IACD,MAAM,MAAM,GAAG,EAA6B,CAAA;IAC5C,KAAK,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QAC/C,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,IAAe,EAAW,EAAE,CAC1C,IAAqC,CAAC,WAAW,EAAE,GAAG,IAAI,CAAC,CAAA;IACpE,CAAC;IACD,OAAO,MAAoB,CAAA;AAC/B,CAAC"}

package/dist/engine/mutations/index.d.ts

@@ -1,6 +1,6 @@
 export { mergeChangesets } from "./types.js";
 export type { ProjectEngine, ProjectChangeset, ProjectMutationResult, } from "./types.js";
-export { mutateCreatePremise, mutateUpdatePremiseRole, mutateUpdatePremiseExtras, mutateDeletePremise, mutateCreateDerivationPremise, clearDerivationAntecedent, populateDerivationFromCitations, } from "./premises.js";
+export { mutateCreatePremise, mutateUpdatePremiseRole, mutateUpdatePremiseExtras, mutateDeletePremise, mutateCreateDerivationPremise, clearDerivationAntecedent, populateDerivationFromCitations, populateDerivationFromAxiom, } from "./premises.js";
 export { mutateCreateExpression, mutateUpdateExpression, mutateDeleteExpression, mutateToggleNegation, mutateChangeOperator, mutateAddSiblingExpression, mutateWrapExpression, mutateCreateExpressionWithOperator, } from "./expressions.js";
 export { mutateCreateVariable, mutateUpdateVariable, mutateDeleteVariable, } from "./variables.js";
 export { mutateSetClaim, mutateUpdateClaim, mutateRemoveClaimWithCascade, } from "./claims.js";

package/dist/engine/mutations/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/engine/mutations/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,eAAe,EAAE,MAAM,YAAY,CAAA;AAC5C,YAAY,EACR,aAAa,EACb,gBAAgB,EAChB,qBAAqB,GACxB,MAAM,YAAY,CAAA;AAEnB,OAAO,EACH,mBAAmB,EACnB,uBAAuB,EACvB,yBAAyB,EACzB,mBAAmB,EACnB,6BAA6B,EAC7B,yBAAyB,EACzB,+BAA+B,GAClC,MAAM,eAAe,CAAA;AAEtB,OAAO,EACH,sBAAsB,EACtB,sBAAsB,EACtB,sBAAsB,EACtB,oBAAoB,EACpB,oBAAoB,EACpB,0BAA0B,EAC1B,oBAAoB,EACpB,kCAAkC,GACrC,MAAM,kBAAkB,CAAA;AAEzB,OAAO,EACH,oBAAoB,EACpB,oBAAoB,EACpB,oBAAoB,GACvB,MAAM,gBAAgB,CAAA;AAEvB,OAAO,EACH,cAAc,EACd,iBAAiB,EACjB,4BAA4B,GAC/B,MAAM,aAAa,CAAA"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/engine/mutations/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,eAAe,EAAE,MAAM,YAAY,CAAA;AAC5C,YAAY,EACR,aAAa,EACb,gBAAgB,EAChB,qBAAqB,GACxB,MAAM,YAAY,CAAA;AAEnB,OAAO,EACH,mBAAmB,EACnB,uBAAuB,EACvB,yBAAyB,EACzB,mBAAmB,EACnB,6BAA6B,EAC7B,yBAAyB,EACzB,+BAA+B,EAC/B,2BAA2B,GAC9B,MAAM,eAAe,CAAA;AAEtB,OAAO,EACH,sBAAsB,EACtB,sBAAsB,EACtB,sBAAsB,EACtB,oBAAoB,EACpB,oBAAoB,EACpB,0BAA0B,EAC1B,oBAAoB,EACpB,kCAAkC,GACrC,MAAM,kBAAkB,CAAA;AAEzB,OAAO,EACH,oBAAoB,EACpB,oBAAoB,EACpB,oBAAoB,GACvB,MAAM,gBAAgB,CAAA;AAEvB,OAAO,EACH,cAAc,EACd,iBAAiB,EACjB,4BAA4B,GAC/B,MAAM,aAAa,CAAA"}

package/dist/engine/mutations/index.js

@@ -1,5 +1,5 @@
 export { mergeChangesets } from "./types.js";
-export { mutateCreatePremise, mutateUpdatePremiseRole, mutateUpdatePremiseExtras, mutateDeletePremise, mutateCreateDerivationPremise, clearDerivationAntecedent, populateDerivationFromCitations, } from "./premises.js";
+export { mutateCreatePremise, mutateUpdatePremiseRole, mutateUpdatePremiseExtras, mutateDeletePremise, mutateCreateDerivationPremise, clearDerivationAntecedent, populateDerivationFromCitations, populateDerivationFromAxiom, } from "./premises.js";
 export { mutateCreateExpression, mutateUpdateExpression, mutateDeleteExpression, mutateToggleNegation, mutateChangeOperator, mutateAddSiblingExpression, mutateWrapExpression, mutateCreateExpressionWithOperator, } from "./expressions.js";
 export { mutateCreateVariable, mutateUpdateVariable, mutateDeleteVariable, } from "./variables.js";
 export { mutateSetClaim, mutateUpdateClaim, mutateRemoveClaimWithCascade, } from "./claims.js";

package/dist/engine/mutations/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/engine/mutations/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,eAAe,EAAE,MAAM,YAAY,CAAA;AAO5C,OAAO,EACH,mBAAmB,EACnB,uBAAuB,EACvB,yBAAyB,EACzB,mBAAmB,EACnB,6BAA6B,EAC7B,yBAAyB,EACzB,+BAA+B,GAClC,MAAM,eAAe,CAAA;AAEtB,OAAO,EACH,sBAAsB,EACtB,sBAAsB,EACtB,sBAAsB,EACtB,oBAAoB,EACpB,oBAAoB,EACpB,0BAA0B,EAC1B,oBAAoB,EACpB,kCAAkC,GACrC,MAAM,kBAAkB,CAAA;AAEzB,OAAO,EACH,oBAAoB,EACpB,oBAAoB,EACpB,oBAAoB,GACvB,MAAM,gBAAgB,CAAA;AAEvB,OAAO,EACH,cAAc,EACd,iBAAiB,EACjB,4BAA4B,GAC/B,MAAM,aAAa,CAAA"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../src/engine/mutations/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,eAAe,EAAE,MAAM,YAAY,CAAA;AAO5C,OAAO,EACH,mBAAmB,EACnB,uBAAuB,EACvB,yBAAyB,EACzB,mBAAmB,EACnB,6BAA6B,EAC7B,yBAAyB,EACzB,+BAA+B,EAC/B,2BAA2B,GAC9B,MAAM,eAAe,CAAA;AAEtB,OAAO,EACH,sBAAsB,EACtB,sBAAsB,EACtB,sBAAsB,EACtB,oBAAoB,EACpB,oBAAoB,EACpB,0BAA0B,EAC1B,oBAAoB,EACpB,kCAAkC,GACrC,MAAM,kBAAkB,CAAA;AAEzB,OAAO,EACH,oBAAoB,EACpB,oBAAoB,EACpB,oBAAoB,GACvB,MAAM,gBAAgB,CAAA;AAEvB,OAAO,EACH,cAAc,EACd,iBAAiB,EACjB,4BAA4B,GAC/B,MAAM,aAAa,CAAA"}

package/dist/engine/mutations/premises.d.ts

@@ -1,4 +1,5 @@
 import type { TPremiseRoleType, TPropositionalPremise, TPropositionalVariable, TPropositionalExpressionCombined } from "../../schemas/logic.js";
+import type { TAxiomaticClaim } from "../../schemas/model/claims.js";
 import type { ProjectEngine, ProjectChangeset } from "./types.js";
 export declare function mutateCreatePremise(engine: ProjectEngine, premiseId: string, data: {
     argumentId: string;
@@ -111,4 +112,40 @@ export declare function clearDerivationAntecedent(engine: ProjectEngine, premise
 export declare function populateDerivationFromCitations(engine: ProjectEngine, premiseId: string, supportingClaimIds: string[]): {
     changes: ProjectChangeset;
 };
+/**
+ * Builds the `IMPLIES(axiom_var, Q)` tree on a derivation premise, where
+ * `axiom_var` is a claim-bound variable for the supplied axiomatic claim.
+ * Mirrors `populateDerivationFromCitations`' composition pattern:
+ * `clearDerivationAntecedent` first to guarantee an empty antecedent slot,
+ * then bind the axiomatic claim's variable as the single antecedent variable.
+ *
+ * **Caller contract.** The caller is responsible for registering the
+ * axiomatic claim with the engine (via `engine.setClaim(axiomaticClaim)` or
+ * `mutateSetClaim(engine, axiomaticClaim)`) **before** invoking this helper.
+ * The split mirrors the citation-side pattern where claim-row creation
+ * (`addClaim` server-side, `setClaim` engine-side) and derivation-tree wiring
+ * (`populateDerivationFromCitations`) are separable engine operations; the
+ * server route at `POST /api/v1/argument/[id]/[v]/claims/[claimId]/axiom`
+ * composes them. Calling this helper before the claim is registered surfaces
+ * an `ensureClaimBoundVariable` error from the engine — clear but indirect.
+ *
+ * **Idempotency.** Calling this helper on a derivation premise already
+ * carrying the same axiomatic claim as its antecedent is a no-op: the
+ * helper short-circuits before any mutation when the existing root is
+ * `IMPLIES(axiom_var, Q)` where `axiom_var` resolves to a variable bound
+ * to `axiomaticClaim.id`. A different axiomatic claim (or any other
+ * antecedent shape) triggers the full clear-and-re-add cycle.
+ *
+ * @throws Error when `derivationPremiseId` does not resolve.
+ * @throws Error when `axiomaticClaim.type !== 'axiomatic'` — the signature
+ *         narrows to `TAxiomaticClaim`, but a runtime guard catches
+ *         mis-typed `as TAxiomaticClaim` casts that slip past the
+ *         TypeScript boundary.
+ * @throws InvariantViolationError(DERIVATION_TYPE_MISMATCH) when the
+ *         premise is not a derivation premise (re-thrown via
+ *         `clearDerivationAntecedent`).
+ */
+export declare function populateDerivationFromAxiom(engine: ProjectEngine, derivationPremiseId: string, axiomaticClaim: TAxiomaticClaim): {
+    changes: ProjectChangeset;
+};
 //# sourceMappingURL=premises.d.ts.map

package/dist/engine/mutations/premises.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"premises.d.ts","sourceRoot":"","sources":["../../../src/engine/mutations/premises.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EACR,gBAAgB,EAChB,qBAAqB,EACrB,sBAAsB,EACtB,gCAAgC,EACnC,MAAM,wBAAwB,CAAA;AAC/B,OAAO,KAAK,EAAE,aAAa,EAAE,gBAAgB,EAAE,MAAM,YAAY,CAAA;AAajE,wBAAgB,mBAAmB,CAC/B,MAAM,EAAE,aAAa,EACrB,SAAS,EAAE,MAAM,EACjB,IAAI,EAAE;IACF,UAAU,EAAE,MAAM,CAAA;IAClB,eAAe,EAAE,MAAM,CAAA;IACvB,SAAS,EAAE,MAAM,CAAA;IACjB,SAAS,EAAE,IAAI,CAAA;IACf,KAAK,EAAE,MAAM,GAAG,IAAI,CAAA;IACpB,IAAI,EAAE,gBAAgB,CAAA;CACzB,GACF;IAAE,OAAO,EAAE,qBAAqB,CAAC;IAAC,OAAO,EAAE,gBAAgB,CAAA;CAAE,CAwC/D;AAED,wBAAgB,uBAAuB,CACnC,MAAM,EAAE,aAAa,EACrB,SAAS,EAAE,MAAM,EACjB,OAAO,EAAE,gBAAgB,GAC1B;IAAE,OAAO,EAAE,gBAAgB,CAAA;CAAE,CAa/B;AAED,wBAAgB,yBAAyB,CACrC,MAAM,EAAE,aAAa,EACrB,SAAS,EAAE,MAAM,EACjB,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GACjC;IAAE,OAAO,EAAE,qBAAqB,CAAC;IAAC,OAAO,EAAE,gBAAgB,CAAA;CAAE,CAO/D;AAED,wBAAgB,mBAAmB,CAC/B,MAAM,EAAE,aAAa,EACrB,SAAS,EAAE,MAAM,GAClB;IAAE,OAAO,EAAE,OAAO,CAAC;IAAC,OAAO,EAAE,gBAAgB,CAAA;CAAE,CAGjD;AAID;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8BG;AACH,wBAAgB,6BAA6B,CACzC,MAAM,EAAE,aAAa,EACrB,SAAS,EAAE,MAAM,EACjB,IAAI,EAAE;IACF,UAAU,EAAE,MAAM,CAAA;IAClB,eAAe,EAAE,MAAM,CAAA;IACvB,SAAS,EAAE,MAAM,CAAA;IACjB,SAAS,EAAE,IAAI,CAAA;IACf,cAAc,EAAE,MAAM,CAAA;IACtB,oBAAoB,CAAC,EAAE,MAAM,CAAA;IAC7B,4BAA4B,CAAC,EAAE,MAAM,CAAA;IACrC,sBAAsB,EAAE,MAAM,CAAA;CACjC,GACF;IACC,OAAO,EAAE,qBAAqB,CAAA;IAC9B,kBAAkB,EAAE,sBAAsB,CAAA;IAC1C,oBAAoB,EAAE,gCAAgC,CAAA;IACtD,OAAO,EAAE,gBAAgB,CAAA;CAC5B,CA4KA;AAED;;;;;;;GAOG;AACH,wBAAgB,yBAAyB,CACrC,MAAM,EAAE,aAAa,EACrB,SAAS,EAAE,MAAM,GAClB;IAAE,OAAO,EAAE,gBAAgB,CAAA;CAAE,CA+H/B;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AACH,wBAAgB,+BAA+B,CAC3C,MAAM,EAAE,aAAa,EACrB,SAAS,EAAE,MAAM,EACjB,kBAAkB,EAAE,MAAM,EAAE,GAC7B;IAAE,OAAO,EAAE,gBAAgB,CAAA;CAAE,CA6L/B"}
+{"version":3,"file":"premises.d.ts","sourceRoot":"","sources":["../../../src/engine/mutations/premises.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EACR,gBAAgB,EAChB,qBAAqB,EACrB,sBAAsB,EACtB,gCAAgC,EACnC,MAAM,wBAAwB,CAAA;AAC/B,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,+BAA+B,CAAA;AACpE,OAAO,KAAK,EAAE,aAAa,EAAE,gBAAgB,EAAE,MAAM,YAAY,CAAA;AAajE,wBAAgB,mBAAmB,CAC/B,MAAM,EAAE,aAAa,EACrB,SAAS,EAAE,MAAM,EACjB,IAAI,EAAE;IACF,UAAU,EAAE,MAAM,CAAA;IAClB,eAAe,EAAE,MAAM,CAAA;IACvB,SAAS,EAAE,MAAM,CAAA;IACjB,SAAS,EAAE,IAAI,CAAA;IACf,KAAK,EAAE,MAAM,GAAG,IAAI,CAAA;IACpB,IAAI,EAAE,gBAAgB,CAAA;CACzB,GACF;IAAE,OAAO,EAAE,qBAAqB,CAAC;IAAC,OAAO,EAAE,gBAAgB,CAAA;CAAE,CAwC/D;AAED,wBAAgB,uBAAuB,CACnC,MAAM,EAAE,aAAa,EACrB,SAAS,EAAE,MAAM,EACjB,OAAO,EAAE,gBAAgB,GAC1B;IAAE,OAAO,EAAE,gBAAgB,CAAA;CAAE,CAa/B;AAED,wBAAgB,yBAAyB,CACrC,MAAM,EAAE,aAAa,EACrB,SAAS,EAAE,MAAM,EACjB,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GACjC;IAAE,OAAO,EAAE,qBAAqB,CAAC;IAAC,OAAO,EAAE,gBAAgB,CAAA;CAAE,CAO/D;AAED,wBAAgB,mBAAmB,CAC/B,MAAM,EAAE,aAAa,EACrB,SAAS,EAAE,MAAM,GAClB;IAAE,OAAO,EAAE,OAAO,CAAC;IAAC,OAAO,EAAE,gBAAgB,CAAA;CAAE,CAGjD;AAID;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8BG;AACH,wBAAgB,6BAA6B,CACzC,MAAM,EAAE,aAAa,EACrB,SAAS,EAAE,MAAM,EACjB,IAAI,EAAE;IACF,UAAU,EAAE,MAAM,CAAA;IAClB,eAAe,EAAE,MAAM,CAAA;IACvB,SAAS,EAAE,MAAM,CAAA;IACjB,SAAS,EAAE,IAAI,CAAA;IACf,cAAc,EAAE,MAAM,CAAA;IACtB,oBAAoB,CAAC,EAAE,MAAM,CAAA;IAC7B,4BAA4B,CAAC,EAAE,MAAM,CAAA;IACrC,sBAAsB,EAAE,MAAM,CAAA;CACjC,GACF;IACC,OAAO,EAAE,qBAAqB,CAAA;IAC9B,kBAAkB,EAAE,sBAAsB,CAAA;IAC1C,oBAAoB,EAAE,gCAAgC,CAAA;IACtD,OAAO,EAAE,gBAAgB,CAAA;CAC5B,CA4KA;AAED;;;;;;;GAOG;AACH,wBAAgB,yBAAyB,CACrC,MAAM,EAAE,aAAa,EACrB,SAAS,EAAE,MAAM,GAClB;IAAE,OAAO,EAAE,gBAAgB,CAAA;CAAE,CA+H/B;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AACH,wBAAgB,+BAA+B,CAC3C,MAAM,EAAE,aAAa,EACrB,SAAS,EAAE,MAAM,EACjB,kBAAkB,EAAE,MAAM,EAAE,GAC7B;IAAE,OAAO,EAAE,gBAAgB,CAAA;CAAE,CA6L/B;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgCG;AACH,wBAAgB,2BAA2B,CACvC,MAAM,EAAE,aAAa,EACrB,mBAAmB,EAAE,MAAM,EAC3B,cAAc,EAAE,eAAe,GAChC;IAAE,OAAO,EAAE,gBAAgB,CAAA;CAAE,CAqI/B"}

package/dist/engine/mutations/premises.js

@@ -543,6 +543,170 @@ export function populateDerivationFromCitations(engine, premiseId, supportingCla
     }
     return { changes: mergeChangesetSequence(collected) };
 }
+/**
+ * Builds the `IMPLIES(axiom_var, Q)` tree on a derivation premise, where
+ * `axiom_var` is a claim-bound variable for the supplied axiomatic claim.
+ * Mirrors `populateDerivationFromCitations`' composition pattern:
+ * `clearDerivationAntecedent` first to guarantee an empty antecedent slot,
+ * then bind the axiomatic claim's variable as the single antecedent variable.
+ *
+ * **Caller contract.** The caller is responsible for registering the
+ * axiomatic claim with the engine (via `engine.setClaim(axiomaticClaim)` or
+ * `mutateSetClaim(engine, axiomaticClaim)`) **before** invoking this helper.
+ * The split mirrors the citation-side pattern where claim-row creation
+ * (`addClaim` server-side, `setClaim` engine-side) and derivation-tree wiring
+ * (`populateDerivationFromCitations`) are separable engine operations; the
+ * server route at `POST /api/v1/argument/[id]/[v]/claims/[claimId]/axiom`
+ * composes them. Calling this helper before the claim is registered surfaces
+ * an `ensureClaimBoundVariable` error from the engine — clear but indirect.
+ *
+ * **Idempotency.** Calling this helper on a derivation premise already
+ * carrying the same axiomatic claim as its antecedent is a no-op: the
+ * helper short-circuits before any mutation when the existing root is
+ * `IMPLIES(axiom_var, Q)` where `axiom_var` resolves to a variable bound
+ * to `axiomaticClaim.id`. A different axiomatic claim (or any other
+ * antecedent shape) triggers the full clear-and-re-add cycle.
+ *
+ * @throws Error when `derivationPremiseId` does not resolve.
+ * @throws Error when `axiomaticClaim.type !== 'axiomatic'` — the signature
+ *         narrows to `TAxiomaticClaim`, but a runtime guard catches
+ *         mis-typed `as TAxiomaticClaim` casts that slip past the
+ *         TypeScript boundary.
+ * @throws InvariantViolationError(DERIVATION_TYPE_MISMATCH) when the
+ *         premise is not a derivation premise (re-thrown via
+ *         `clearDerivationAntecedent`).
+ */
+export function populateDerivationFromAxiom(engine, derivationPremiseId, axiomaticClaim) {
+    if (axiomaticClaim.type !== "axiomatic") {
+        throw new Error(`populateDerivationFromAxiom: expected axiomaticClaim.type === 'axiomatic', got ${axiomaticClaim.type ?? "undefined"}`);
+    }
+    const pm = engine.getPremise(derivationPremiseId);
+    if (!pm) {
+        throw new Error(`Premise ${derivationPremiseId} not found`);
+    }
+    // Validate derivation-premise type up front so callers get the
+    // DERIVATION_TYPE_MISMATCH path before any clear-related throws.
+    const premiseData = pm.toPremiseData();
+    if (premiseData.type !== "derivation") {
+        throw new InvariantViolationError([
+            {
+                code: "DERIVATION_TYPE_MISMATCH",
+                message: `DERIVATION_TYPE_MISMATCH: premise ${derivationPremiseId} is not a derivation premise (type=${premiseData.type ?? "freeform"})`,
+                entityType: "premise",
+                entityId: derivationPremiseId,
+                premiseId: derivationPremiseId,
+            },
+        ]);
+    }
+    // Idempotency short-circuit. If the root is already
+    // `IMPLIES(axiom_var, Q)` with `axiom_var` bound to this axiom's claim
+    // id, nothing to do — return an empty changeset without invoking
+    // `clearDerivationAntecedent` (which would still be a no-op shape-wise
+    // but would also cascade-remove the axiom-bound variable we'd
+    // immediately re-add, producing a non-empty churn changeset for
+    // identity work).
+    if (isAlreadyAxiomBacked(engine, pm, axiomaticClaim.id)) {
+        return { changes: {} };
+    }
+    const collected = [];
+    // 1. Clear any existing antecedent so the root is back to the naked-Q
+    //    form. The helper is a no-op on an already-naked premise, so
+    //    transitioning from `empty` and `citation-backed` are both
+    //    handled uniformly. The clear's changeset carries the removals
+    //    of any prior citation-bound variables + their expressions plus
+    //    the IMPLIES/OR scaffolding.
+    const { changes: clearChanges } = clearDerivationAntecedent(engine, derivationPremiseId);
+    collected.push(clearChanges);
+    // 2. Now the root must be the bare consequent variable expression.
+    const rootExprId = pm.getRootExpressionId();
+    if (rootExprId === undefined) {
+        throw new Error(`populateDerivationFromAxiom: premise ${derivationPremiseId} has no root expression after clear`);
+    }
+    const consequentExpr = pm.getExpression(rootExprId);
+    if (consequentExpr?.type !== "variable") {
+        throw new Error(`populateDerivationFromAxiom: post-clear root expression is not a bare variable (got ${consequentExpr?.type ?? "undefined"})`);
+    }
+    if (consequentExpr.variableId == null) {
+        throw new Error("populateDerivationFromAxiom: consequent variable expression has no variableId");
+    }
+    const sharedMeta = {
+        argumentId: consequentExpr.argumentId,
+        argumentVersion: consequentExpr.argumentVersion,
+        premiseId: derivationPremiseId,
+        creatorId: consequentExpr.creatorId,
+        createdOn: consequentExpr.createdOn,
+    };
+    // 3. Materialize the claim-bound variable for the axiomatic claim.
+    //    `ensureClaimBoundVariable` bypasses the standard mutation surface
+    //    (no changeset emitted), so capture newly-added vars by diffing
+    //    pre/post variable sets — same pattern as the citation helper.
+    const variablesBefore = new Set(engine.getVariables().map((v) => v.id));
+    const axiomVar = engine.ensureClaimBoundVariable(axiomaticClaim.id);
+    if (!variablesBefore.has(axiomVar.id)) {
+        collected.push({
+            variables: {
+                added: [axiomVar],
+                modified: [],
+                removed: [],
+            },
+        });
+    }
+    // 4. Build the IMPLIES tree by wrapping the consequent expression.
+    //    `wrapExpression` with `rightNodeId=consequentExpr.id` makes the
+    //    existing consequent the right (consequent) child and the new
+    //    sibling the left (antecedent) child of the new IMPLIES root.
+    //    n=1 form — no formula buffer needed (no operator-under-operator
+    //    nesting), build under whatever behavior the caller set (matches
+    //    the citation helper's n=1 branch).
+    const impliesId = generateId();
+    const impliesOp = {
+        id: impliesId,
+        ...sharedMeta,
+        parentId: null,
+        type: "operator",
+        operator: "implies",
+        variableId: null,
+    };
+    const axiomExpr = {
+        id: generateId(),
+        ...sharedMeta,
+        parentId: null, // wrapExpression sets the real parentId
+        type: "variable",
+        variableId: axiomVar.id,
+        operator: null,
+    };
+    const { changes: wrap } = pm.wrapExpression(impliesOp, axiomExpr, undefined, consequentExpr.id);
+    collected.push(wrap);
+    return { changes: mergeChangesetSequence(collected) };
+}
+/**
+ * Returns true iff the derivation premise's root expression is
+ * `IMPLIES(axiom_var, Q)` where `axiom_var` resolves to a claim-bound
+ * variable for `axiomClaimId`. Used by `populateDerivationFromAxiom` for
+ * the idempotency short-circuit.
+ */
+function isAlreadyAxiomBacked(engine, pm, axiomClaimId) {
+    const rootExprId = pm.getRootExpressionId();
+    if (rootExprId === undefined)
+        return false;
+    const root = pm.getExpression(rootExprId);
+    if (root?.type !== "operator" || root.operator !== "implies") {
+        return false;
+    }
+    const rootChildren = pm
+        .getChildExpressions(rootExprId)
+        .sort((a, b) => a.position - b.position);
+    if (rootChildren.length !== 2)
+        return false;
+    const antecedent = rootChildren[0];
+    if (antecedent.type !== "variable" || antecedent.variableId == null) {
+        return false;
+    }
+    const antecedentVar = engine.getVariable(antecedent.variableId);
+    if (!antecedentVar || !("claimId" in antecedentVar))
+        return false;
+    return antecedentVar.claimId === axiomClaimId;
+}
 // ──── Internal helpers ─────────────────────────────────────────────────────
 /**
  * Strips entries with the given IDs from the `added`/`modified`/`removed`

package/dist/engine/mutations/premises.js.map

@@ -1 +1 @@
-{"version":3,"file":"premises.js","sourceRoot":"","sources":["../../../src/engine/mutations/premises.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,uBAAuB,EAAE,MAAM,yBAAyB,CAAA;AAQjE,OAAO,EAAE,eAAe,EAAE,MAAM,YAAY,CAAA;AAE5C,+EAA+E;AAC/E,0EAA0E;AAC1E,+EAA+E;AAC/E,wEAAwE;AACxE,2EAA2E;AAC3E,8EAA8E;AAC9E,oDAAoD;AACpD,MAAM,wBAAwB,GAAG,0BAA0B,CAAA;AAC3D,MAAM,+BAA+B,GAAG,iCAAiC,CAAA;AAEzE,MAAM,UAAU,mBAAmB,CAC/B,MAAqB,EACrB,SAAiB,EACjB,IAOC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY,IAAI,MAAM,CAAC,oBAAoB,EAAE,EAAE,CAAC;QAC9D,MAAM,IAAI,KAAK,CACX,+DAA+D,CAClE,CAAA;IACL,CAAC;IAED,MAAM,EAAE,MAAM,EAAE,EAAE,EAAE,OAAO,EAAE,GAAG,MAAM,CAAC,mBAAmB,CAAC,SAAS,EAAE;QAClE,IAAI,EAAE,UAAU;QAChB,MAAM,EAAE,IAAI;KACf,CAAC,CAAA;IAEF,IAAI,UAAU,GAAG,OAAO,CAAA;IACxB,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QAC7B,mEAAmE;QACnE,iEAAiE;QACjE,yCAAyC;QACzC,MAAM,EAAE,OAAO,EAAE,WAAW,EAAE,GAAG,MAAM,CAAC,oBAAoB,CAAC,SAAS,CAAC,CAAA;QACvE,UAAU,GAAG,eAAe,CAAC,OAAO,EAAE,WAAW,CAAC,CAAA;IACtD,CAAC;SAAM,IAAI,MAAM,CAAC,oBAAoB,EAAE,EAAE,KAAK,EAAE,KAAK,SAAS,EAAE,CAAC;QAC9D,8DAA8D;QAC9D,8DAA8D;QAC9D,2DAA2D;QAC3D,EAAE;QACF,+DAA+D;QAC/D,2DAA2D;QAC3D,iEAAiE;QACjE,iEAAiE;QACjE,+DAA+D;QAC/D,6DAA6D;QAC7D,4DAA4D;QAC5D,WAAW;QACX,MAAM,EAAE,OAAO,EAAE,YAAY,EAAE,GAAG,MAAM,CAAC,sBAAsB,EAAE,CAAA;QACjE,UAAU,GAAG,eAAe,CAAC,OAAO,EAAE,YAAY,CAAC,CAAA;IACvD,CAAC;IAED,OAAO;QACH,OAAO,EAAE,EAAE,CAAC,aAAa,EAAE;QAC3B,OAAO,EAAE,UAAU;KACtB,CAAA;AACL,CAAC;AAED,MAAM,UAAU,uBAAuB,CACnC,MAAqB,EACrB,SAAiB,EACjB,OAAyB;IAEzB,IAAI,OAAO,KAAK,YAAY,EAAE,CAAC;QAC3B,MAAM,EAAE,OAAO,EAAE,GAAG,MAAM,CAAC,oBAAoB,CAAC,SAAS,CAAC,CAAA;QAC1D,OAAO,EAAE,OAAO,EAAE,CAAA;IACtB,CAAC;IAED,MAAM,iBAAiB,GAAG,MAAM,CAAC,oBAAoB,EAAE,CAAA;IACvD,IAAI,iBAAiB,EAAE,KAAK,EAAE,KAAK,SAAS,EAAE,CAAC;QAC3C,MAAM,EAAE,OAAO,EAAE,GAAG,MAAM,CAAC,sBAAsB,EAAE,CAAA;QACnD,OAAO,EAAE,OAAO,EAAE,CAAA;IACtB,CAAC;IAED,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,CAAA;AAC1B,CAAC;AAED,MAAM,UAAU,yBAAyB,CACrC,MAAqB,EACrB,SAAiB,EACjB,OAAgC;IAEhC,MAAM,EAAE,GAAG,MAAM,CAAC,UAAU,CAAC,SAAS,CAAC,CAAA;IACvC,IAAI,CAAC,EAAE,EAAE,CAAC;QACN,MAAM,IAAI,KAAK,CAAC,WAAW,SAAS,YAAY,CAAC,CAAA;IACrD,CAAC;IACD,MAAM,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,CAAA;IAC5C,OAAO,EAAE,OAAO,EAAE,EAAE,CAAC,aAAa,EAAE,EAAE,OAAO,EAAE,CAAA;AACnD,CAAC;AAED,MAAM,UAAU,mBAAmB,CAC/B,MAAqB,EACrB,SAAiB;IAEjB,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,GAAG,MAAM,CAAC,aAAa,CAAC,SAAS,CAAC,CAAA;IAC3D,OAAO,EAAE,OAAO,EAAE,MAAM,KAAK,SAAS,EAAE,OAAO,EAAE,CAAA;AACrD,CAAC;AAED,8EAA8E;AAE9E;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8BG;AACH,MAAM,UAAU,6BAA6B,CACzC,MAAqB,EACrB,SAAiB,EACjB,IASC;IAOD,sDAAsD;IACtD,MAAM,QAAQ,GAAG,IAAI,CAAC,oBAAoB,IAAI,IAAI,CAAA;IAClD,MAAM,SAAS,GAAG,IAAI,CAAC,4BAA4B,IAAI,IAAI,CAAA;IAC3D,IAAI,QAAQ,IAAI,SAAS,EAAE,CAAC;QACxB,MAAM,IAAI,KAAK,CACX,kIAAkI,CACrI,CAAA;IACL,CAAC;IACD,IAAI,CAAC,QAAQ,IAAI,CAAC,SAAS,EAAE,CAAC;QAC1B,MAAM,IAAI,KAAK,CACX,+HAA+H,CAClI,CAAA;IACL,CAAC;IACD,IAAI,SAAS,EAAE,CAAC;QACZ,MAAM,QAAQ,GAAG,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,4BAA6B,CAAC,CAAA;QACvE,IAAI,CAAC,QAAQ,EAAE,CAAC;YACZ,MAAM,IAAI,KAAK,CACX,+DAA+D,IAAI,CAAC,4BAA4B,sBAAsB,CACzH,CAAA;QACL,CAAC;QACD,IAAI,CAAC,CAAC,SAAS,IAAI,QAAQ,CAAC,EAAE,CAAC;YAC3B,MAAM,IAAI,KAAK,CACX,+DAA+D,IAAI,CAAC,4BAA4B,qBAAqB,CACxH,CAAA;QACL,CAAC;QACD,IAAI,QAAQ,CAAC,OAAO,KAAK,IAAI,CAAC,cAAc,EAAE,CAAC;YAC3C,MAAM,IAAI,KAAK,CACX,+DAA+D,IAAI,CAAC,4BAA4B,sBAAsB,QAAQ,CAAC,OAAO,6BAA6B,IAAI,CAAC,cAAc,EAAE,CAC3L,CAAA;QACL,CAAC;IACL,CAAC;IAED,uEAAuE;IACvE,qEAAqE;IACrE,wEAAwE;IACxE,qDAAqD;IACrD,MAAM,EAAE,MAAM,EAAE,EAAE,EAAE,OAAO,EAAE,cAAc,EAAE,GAAG,MAAM,CAAC,mBAAmB,CACtE,SAAS,EACT;QACI,IAAI,EAAE,YAAY;QAClB,cAAc,EAAE,IAAI,CAAC,cAAc;QACnC,MAAM,EAAE;YACJ,SAAS,EAAE,IAAI,CAAC,SAAS;YACzB,SAAS,EAAE,IAAI,CAAC,SAAS;YACzB,IAAI,EAAE,YAAqB;SAC9B;KACJ,CACJ,CAAA;IAED,0EAA0E;IAC1E,wEAAwE;IACxE,MAAM,eAAe,GAAG,EAAE,CAAC,cAAc,EAAE,CAAA;IAC3C,IAAI,eAAe,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC/B,MAAM,IAAI,KAAK,CACX,oFAAoF,eAAe,CAAC,MAAM,EAAE,CAC/G,CAAA;IACL,CAAC;IACD,MAAM,QAAQ,GAAG,eAAe,CAAC,CAAC,CAAC,CAAA;IACnC,IAAI,QAAQ,CAAC,IAAI,KAAK,UAAU,IAAI,QAAQ,CAAC,UAAU,IAAI,IAAI,EAAE,CAAC;QAC9D,MAAM,IAAI,KAAK,CACX,6FAA6F,CAChG,CAAA;IACL,CAAC;IACD,MAAM,SAAS,GAAG,QAAQ,CAAC,UAAU,CAAA;IACrC,MAAM,OAAO,GAAG,MAAM,CAAC,WAAW,CAAC,SAAS,CAAC,CAAA;IAC7C,IAAI,CAAC,OAAO,IAAI,CAAC,CAAC,SAAS,IAAI,OAAO,CAAC,EAAE,CAAC;QACtC,MAAM,IAAI,KAAK,CACX,oFAAoF,CACvF,CAAA;IACL,CAAC;IAED,0EAA0E;IAC1E,2EAA2E;IAC3E,yEAAyE;IACzE,0CAA0C;IAC1C,EAAE;IACF,gDAAgD;IAChD,wEAAwE;IACxE,0EAA0E;IAC1E,sBAAsB;IACtB,0EAA0E;IAC1E,wEAAwE;IACxE,gEAAgE;IAChE,uEAAuE;IACvE,qCAAqC;IACrC,EAAE,CAAC,gBAAgB,CAAC,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC,CAAA;IAEtC,IAAI,kBAA0C,CAAA;IAC9C,IAAI,yBAA2C,CAAA;IAC/C,IAAI,+BAAuC,CAAA;IAC3C,IAAI,QAAQ,EAAE,CAAC;QACX,MAAM,CAAC,cAAc,CAAC,SAAS,CAAC,CAAA;QAChC,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,GAAG,MAAM,CAAC,WAAW,CAAC;YAC3C,EAAE,EAAE,IAAI,CAAC,oBAAqB;YAC9B,UAAU,EAAE,IAAI,CAAC,UAAU;YAC3B,eAAe,EAAE,IAAI,CAAC,eAAe;YACrC,OAAO,EAAE,IAAI,CAAC,cAAc;YAC5B,YAAY,EAAE,OAAO,CAAC,YAAY;YAClC,MAAM,EAAE,OAAO,CAAC,MAAM;YACtB,SAAS,EAAE,IAAI,CAAC,SAAS;YACzB,SAAS,EAAE,IAAI,CAAC,SAAS;SACgB,CAAC,CAAA;QAC9C,kBAAkB,GAAG,MAAM,CAAA;QAC3B,yBAAyB,GAAG,OAAO,CAAA;QACnC,+BAA+B,GAAG,IAAI,CAAC,oBAAqB,CAAA;IAChE,CAAC;SAAM,CAAC;QACJ,kEAAkE;QAClE,uEAAuE;QACvE,wEAAwE;QACxE,IAAI,SAAS,KAAK,IAAI,CAAC,4BAA4B,EAAE,CAAC;YAClD,MAAM,IAAI,KAAK,CACX,wFAAwF,SAAS,uBAAuB,IAAI,CAAC,cAAc,0CAA0C,IAAI,CAAC,4BAA4B,EAAE,CAC3N,CAAA;QACL,CAAC;QACD,kBAAkB,GAAG,OAAiC,CAAA;QACtD,yBAAyB,GAAG,EAAE,CAAA;QAC9B,+BAA+B,GAAG,IAAI,CAAC,4BAA6B,CAAA;IACxE,CAAC;IAED,MAAM,EAAE,MAAM,EAAE,oBAAoB,EAAE,OAAO,EAAE,cAAc,EAAE,GAC3D,EAAE,CAAC,gBAAgB,CAAC,IAAI,EAAE;QACtB,EAAE,EAAE,IAAI,CAAC,sBAAsB;QAC/B,UAAU,EAAE,IAAI,CAAC,UAAU;QAC3B,eAAe,EAAE,IAAI,CAAC,eAAe;QACrC,SAAS;QACT,QAAQ,EAAE,IAAI;QACd,IAAI,EAAE,UAAU;QAChB,UAAU,EAAE,+BAA+B;QAC3C,QAAQ,EAAE,IAAI;QACd,SAAS,EAAE,IAAI,CAAC,SAAS;QACzB,SAAS,EAAE,IAAI,CAAC,SAAS;KACiB,CAAC,CAAA;IAEnD,sEAAsE;IACtE,gEAAgE;IAChE,yEAAyE;IACzE,sDAAsD;IACtD,EAAE;IACF,qEAAqE;IACrE,oEAAoE;IACpE,sEAAsE;IACtE,sEAAsE;IACtE,2DAA2D;IAC3D,mEAAmE;IACnE,+CAA+C;IAC/C,MAAM,sBAAsB,GAAG,yBAAyB,CACpD,eAAe,CAAC,cAAc,EAAE;QAC5B,WAAW,EAAE,IAAI,GAAG,CAAC,CAAC,SAAS,CAAC,CAAC;QACjC,aAAa,EAAE,IAAI,GAAG,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;KACxC,CAAC,CACL,CAAA;IACD,MAAM,4BAA4B,GAAG,2BAA2B,CAC5D,yBAAyB,EACzB,SAAS,CACZ,CAAA;IACD,MAAM,6BAA6B,GAAG,2BAA2B,CAC7D,cAAc,EACd,SAAS,CACZ,CAAA;IAED,MAAM,UAAU,GAAG,eAAe,CAC9B,eAAe,CAAC,sBAAsB,EAAE,4BAA4B,CAAC,EACrE,6BAA6B,CAChC,CAAA;IAED,OAAO;QACH,OAAO,EAAE,EAAE,CAAC,aAAa,EAAE;QAC3B,kBAAkB;QAClB,oBAAoB;QACpB,OAAO,EAAE,UAAU;KACtB,CAAA;AACL,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,yBAAyB,CACrC,MAAqB,EACrB,SAAiB;IAEjB,MAAM,EAAE,GAAG,MAAM,CAAC,UAAU,CAAC,SAAS,CAAC,CAAA;IACvC,IAAI,CAAC,EAAE,EAAE,CAAC;QACN,MAAM,IAAI,KAAK,CAAC,WAAW,SAAS,YAAY,CAAC,CAAA;IACrD,CAAC;IACD,MAAM,WAAW,GAAG,EAAE,CAAC,aAAa,EAAE,CAAA;IACtC,IAAI,WAAW,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QACpC,MAAM,IAAI,uBAAuB,CAAC;YAC9B;gBACI,IAAI,EAAE,wBAAwB;gBAC9B,OAAO,EAAE,GAAG,wBAAwB,aAAa,SAAS,sCAAsC,WAAW,CAAC,IAAI,IAAI,UAAU,GAAG;gBACjI,UAAU,EAAE,SAAS;gBACrB,QAAQ,EAAE,SAAS;gBACnB,SAAS;aACZ;SACJ,CAAC,CAAA;IACN,CAAC;IAED,MAAM,UAAU,GAAG,EAAE,CAAC,mBAAmB,EAAE,CAAA;IAC3C,IAAI,UAAU,KAAK,SAAS;QAAE,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,CAAA;IACpD,MAAM,IAAI,GAAG,EAAE,CAAC,aAAa,CAAC,UAAU,CAAC,CAAA;IACzC,IAAI,CAAC,IAAI;QAAE,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,CAAA;IAEjC,yEAAyE;IACzE,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU;QAAE,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,CAAA;IAEpD,yEAAyE;IACzE,yCAAyC;IACzC,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,IAAI,IAAI,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;QAC1D,MAAM,IAAI,KAAK,CACX,+DAA+D,SAAS,wCAAwC,IAAI,CAAC,IAAI,IACrH,IAAI,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,EAC/C,EAAE,CACL,CAAA;IACL,CAAC;IAED,MAAM,YAAY,GAAG,EAAE;SAClB,mBAAmB,CAAC,UAAU,CAAC;SAC/B,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAA;IAC5C,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC5B,MAAM,IAAI,KAAK,CACX,+CAA+C,YAAY,CAAC,MAAM,uBAAuB,CAC5F,CAAA;IACL,CAAC;IACD,MAAM,UAAU,GAAG,YAAY,CAAC,CAAC,CAAC,CAAA;IAClC,MAAM,UAAU,GAAG,YAAY,CAAC,CAAC,CAAC,CAAA;IAClC,IAAI,UAAU,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QACjC,MAAM,IAAI,KAAK,CACX,0GAA0G,CAC7G,CAAA;IACL,CAAC;IAED,0EAA0E;IAC1E,mEAAmE;IACnE,aAAa;IACb,kEAAkE;IAClE,qEAAqE;IACrE,sEAAsE;IACtE,yEAAyE;IACzE,0EAA0E;IAC1E,4EAA4E;IAC5E,4BAA4B;IAC5B,MAAM,mBAAmB,GAAa,EAAE,CAAA;IACxC,IAAI,UAAU,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QACjC,IAAI,UAAU,CAAC,UAAU,IAAI,IAAI,EAAE,CAAC;YAChC,mBAAmB,CAAC,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC,CAAA;QACnD,CAAC;IACL,CAAC;SAAM,IAAI,UAAU,CAAC,IAAI,KAAK,UAAU,IAAI,UAAU,CAAC,QAAQ,KAAK,IAAI,EAAE,CAAC;QACxE,KAAK,MAAM,KAAK,IAAI,EAAE,CAAC,mBAAmB,CAAC,UAAU,CAAC,EAAE,CAAC,EAAE,CAAC;YACxD,IAAI,KAAK,CAAC,IAAI,KAAK,UAAU,IAAI,KAAK,CAAC,UAAU,IAAI,IAAI,EAAE,CAAC;gBACxD,mBAAmB,CAAC,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,CAAA;YAC9C,CAAC;QACL,CAAC;IACL,CAAC;SAAM,IAAI,UAAU,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QACvC,MAAM,eAAe,GAAG,EAAE,CAAC,mBAAmB,CAAC,UAAU,CAAC,EAAE,CAAC,CAAA;QAC7D,IACI,eAAe,CAAC,MAAM,KAAK,CAAC;YAC5B,eAAe,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,UAAU;YACtC,eAAe,CAAC,CAAC,CAAC,CAAC,QAAQ,KAAK,IAAI,EACtC,CAAC;YACC,MAAM,IAAI,KAAK,CACX,0FAA0F,SAAS,EAAE,CACxG,CAAA;QACL,CAAC;QACD,KAAK,MAAM,KAAK,IAAI,EAAE,CAAC,mBAAmB,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;YAChE,IAAI,KAAK,CAAC,IAAI,KAAK,UAAU,IAAI,KAAK,CAAC,UAAU,IAAI,IAAI,EAAE,CAAC;gBACxD,mBAAmB,CAAC,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,CAAA;YAC9C,CAAC;QACL,CAAC;IACL,CAAC;SAAM,CAAC;QACJ,MAAM,IAAI,KAAK,CACX,sEAAsE,SAAS,EAAE,CACpF,CAAA;IACL,CAAC;IAED,MAAM,SAAS,GAAuB,EAAE,CAAA;IAExC,2EAA2E;IAC3E,4EAA4E;IAC5E,uEAAuE;IACvE,2DAA2D;IAC3D,MAAM,EAAE,OAAO,EAAE,uBAAuB,EAAE,GAAG,EAAE,CAAC,gBAAgB,CAC5D,UAAU,CAAC,EAAE,EACb,IAAI,CACP,CAAA;IACD,SAAS,CAAC,IAAI,CAAC,uBAAuB,CAAC,CAAA;IAEvC,uEAAuE;IACvE,yEAAyE;IACzE,yEAAyE;IACzE,uEAAuE;IACvE,MAAM,EAAE,OAAO,EAAE,oBAAoB,EAAE,GAAG,EAAE,CAAC,gBAAgB,CACzD,UAAU,EACV,KAAK,CACR,CAAA;IACD,SAAS,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAA;IAEpC,iEAAiE;IACjE,wEAAwE;IACxE,oEAAoE;IACpE,4CAA4C;IAC5C,KAAK,MAAM,KAAK,IAAI,mBAAmB,EAAE,CAAC;QACtC,MAAM,EAAE,OAAO,EAAE,gBAAgB,EAAE,GAAG,MAAM,CAAC,cAAc,CAAC,KAAK,CAAC,CAAA;QAClE,SAAS,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAA;IACpC,CAAC;IAED,OAAO,EAAE,OAAO,EAAE,sBAAsB,CAAC,SAAS,CAAC,EAAE,CAAA;AACzD,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AACH,MAAM,UAAU,+BAA+B,CAC3C,MAAqB,EACrB,SAAiB,EACjB,kBAA4B;IAE5B,MAAM,EAAE,GAAG,MAAM,CAAC,UAAU,CAAC,SAAS,CAAC,CAAA;IACvC,IAAI,CAAC,EAAE,EAAE,CAAC;QACN,MAAM,IAAI,KAAK,CAAC,WAAW,SAAS,YAAY,CAAC,CAAA;IACrD,CAAC;IACD,MAAM,WAAW,GAAG,EAAE,CAAC,aAAa,EAAE,CAAA;IACtC,IAAI,WAAW,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QACpC,MAAM,IAAI,uBAAuB,CAAC;YAC9B;gBACI,IAAI,EAAE,wBAAwB;gBAC9B,OAAO,EAAE,GAAG,wBAAwB,aAAa,SAAS,sCAAsC,WAAW,CAAC,IAAI,IAAI,UAAU,GAAG;gBACjI,UAAU,EAAE,SAAS;gBACrB,QAAQ,EAAE,SAAS;gBACnB,SAAS;aACZ;SACJ,CAAC,CAAA;IACN,CAAC;IAED,MAAM,UAAU,GAAG,EAAE,CAAC,mBAAmB,EAAE,CAAA;IAC3C,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;QAC3B,MAAM,IAAI,KAAK,CACX,4CAA4C,SAAS,yBAAyB,CACjF,CAAA;IACL,CAAC;IACD,MAAM,IAAI,GAAG,EAAE,CAAC,aAAa,CAAC,UAAU,CAAC,CAAA;IACzC,IAAI,CAAC,IAAI,EAAE,CAAC;QACR,MAAM,IAAI,KAAK,CACX,oDAAoD,UAAU,yBAAyB,SAAS,EAAE,CACrG,CAAA;IACL,CAAC;IAED,uEAAuE;IACvE,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QAC3B,MAAM,IAAI,uBAAuB,CAAC;YAC9B;gBACI,IAAI,EAAE,+BAA+B;gBACrC,OAAO,EAAE,GAAG,+BAA+B,wBAAwB,SAAS,qCAAqC;gBACjH,UAAU,EAAE,SAAS;gBACrB,QAAQ,EAAE,SAAS;gBACnB,SAAS;aACZ;SACJ,CAAC,CAAA;IACN,CAAC;IACD,IAAI,kBAAkB,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,CAAA;IAE3D,MAAM,cAAc,GAAG,IAAI,CAAA;IAC3B,IAAI,cAAc,CAAC,UAAU,IAAI,IAAI,EAAE,CAAC;QACpC,MAAM,IAAI,KAAK,CACX,mFAAmF,CACtF,CAAA;IACL,CAAC;IACD,MAAM,UAAU,GAAG;QACf,UAAU,EAAE,cAAc,CAAC,UAAU;QACrC,eAAe,EAAE,cAAc,CAAC,eAAe;QAC/C,SAAS;QACT,SAAS,EAAE,cAAc,CAAC,SAAS;QACnC,SAAS,EAAE,cAAc,CAAC,SAAS;KACtC,CAAA;IAED,MAAM,SAAS,GAAuB,EAAE,CAAA;IAExC,2EAA2E;IAC3E,sEAAsE;IACtE,6DAA6D;IAC7D,MAAM,eAAe,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,YAAY,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;IACvE,MAAM,eAAe,GAA6B,EAAE,CAAA;IACpD,KAAK,MAAM,iBAAiB,IAAI,kBAAkB,EAAE,CAAC;QACjD,MAAM,CAAC,GAAG,MAAM,CAAC,wBAAwB,CAAC,iBAAiB,CAAC,CAAA;QAC5D,eAAe,CAAC,IAAI,CAAC,CAAsC,CAAC,CAAA;IAChE,CAAC;IACD,MAAM,mBAAmB,GAAG,eAAe,CAAC,MAAM,CAC9C,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CACpC,CAAA;IACD,IAAI,mBAAmB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACjC,SAAS,CAAC,IAAI,CAAC;YACX,SAAS,EAAE;gBACP,KAAK,EAAE,mBAAmB;gBAC1B,QAAQ,EAAE,EAAE;gBACZ,OAAO,EAAE,EAAE;aACd;SACJ,CAAC,CAAA;IACN,CAAC;IAED,oEAAoE;IACpE,2EAA2E;IAC3E,sEAAsE;IACtE,sEAAsE;IACtE,mEAAmE;IACnE,iCAAiC;IACjC,EAAE;IACF,uEAAuE;IACvE,qEAAqE;IACrE,uEAAuE;IACvE,qEAAqE;IACrE,4DAA4D;IAC5D,8DAA8D;IAC9D,EAAE;IACF,uEAAuE;IACvE,qEAAqE;IACrE,kEAAkE;IAClE,qEAAqE;IACrE,qEAAqE;IACrE,iEAAiE;IACjE,oEAAoE;IACpE,mBAAmB;IACnB,EAAE;IACF,mEAAmE;IACnE,2DAA2D;IAC3D,uEAAuE;IACvE,qEAAqE;IACrE,kEAAkE;IAClE,mEAAmE;IACnE,wEAAwE;IACxE,uEAAuE;IACvE,sEAAsE;IACtE,uEAAuE;IACvE,mEAAmE;IACnE,wCAAwC;IACxC,EAAE;IACF,gEAAgE;IAChE,qEAAqE;IACrE,mEAAmE;IACnE,MAAM,SAAS,GAAG,UAAU,EAAE,CAAA;IAC9B,MAAM,SAAS,GAAG;QACd,EAAE,EAAE,SAAS;QACb,GAAG,UAAU;QACb,QAAQ,EAAE,IAAI;QACd,IAAI,EAAE,UAAmB;QACzB,QAAQ,EAAE,SAAkB;QAC5B,UAAU,EAAE,IAAI;KACnB,CAAA;IACD,IAAI,eAAe,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC/B,MAAM,OAAO,GAAG;YACZ,EAAE,EAAE,UAAU,EAAE;YAChB,GAAG,UAAU;YACb,QAAQ,EAAE,IAAI,EAAE,wCAAwC;YACxD,IAAI,EAAE,UAAmB;YACzB,UAAU,EAAE,eAAe,CAAC,CAAC,CAAC,CAAC,EAAE;YACjC,QAAQ,EAAE,IAAI;SACjB,CAAA;QACD,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,cAAc,CACvC,SAAoD,EACpD,OAAkD,EAClD,SAAS,EACT,cAAc,CAAC,EAAE,CACpB,CAAA;QACD,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QACpB,OAAO,EAAE,OAAO,EAAE,sBAAsB,CAAC,SAAS,CAAC,EAAE,CAAA;IACzD,CAAC;IACD,6CAA6C;IAC7C,MAAM,IAAI,GAAG,UAAU,EAAE,CAAA;IACzB,MAAM,SAAS,GAAG;QACd,EAAE,EAAE,IAAI;QACR,GAAG,UAAU;QACb,QAAQ,EAAE,IAAI;QACd,IAAI,EAAE,UAAmB;QACzB,QAAQ,EAAE,IAAa;QACvB,UAAU,EAAE,IAAI;KACnB,CAAA;IACD,MAAM,aAAa,GAAG,MAAM,CAAC,QAAQ,CAAA;IACrC,IAAI,aAAa,KAAK,YAAY,EAAE,CAAC;QACjC,MAAM,CAAC,WAAW,CAAC,YAAY,CAAC,CAAA;IACpC,CAAC;IACD,IAAI,CAAC;QACD,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,cAAc,CACvC,SAAoD,EACpD,SAAoD,EACpD,SAAS,EACT,cAAc,CAAC,EAAE,CACpB,CAAA;QACD,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QACpB,KAAK,MAAM,SAAS,IAAI,eAAe,EAAE,CAAC;YACtC,MAAM,EAAE,OAAO,EAAE,aAAa,EAAE,GAAG,EAAE,CAAC,gBAAgB,CAAC,IAAI,EAAE;gBACzD,EAAE,EAAE,UAAU,EAAE;gBAChB,GAAG,UAAU;gBACb,QAAQ,EAAE,IAAI;gBACd,IAAI,EAAE,UAAmB;gBACzB,UAAU,EAAE,SAAS,CAAC,EAAE;gBACxB,QAAQ,EAAE,IAAI;aAC4B,CAAC,CAAA;YAC/C,SAAS,CAAC,IAAI,CAAC,aAAa,CAAC,CAAA;QACjC,CAAC;IACL,CAAC;YAAS,CAAC;QACP,IAAI,aAAa,KAAK,YAAY,EAAE,CAAC;YACjC,MAAM,CAAC,WAAW,CAAC,aAAa,CAAC,CAAA;QACrC,CAAC;IACL,CAAC;IAED,OAAO,EAAE,OAAO,EAAE,sBAAsB,CAAC,SAAS,CAAC,EAAE,CAAA;AACzD,CAAC;AAED,8EAA8E;AAE9E;;;;GAIG;AACH,SAAS,eAAe,CACpB,OAAyB,EACzB,IAAgE;IAEhE,MAAM,MAAM,GAAqB,EAAE,GAAG,OAAO,EAAE,CAAA;IAC/C,IACI,OAAO,CAAC,WAAW;QACnB,IAAI,CAAC,aAAa;QAClB,IAAI,CAAC,aAAa,CAAC,IAAI,GAAG,CAAC,EAC7B,CAAC;QACC,MAAM,GAAG,GAAG,IAAI,CAAC,aAAa,CAAA;QAC9B,MAAM,CAAC,WAAW,GAAG;YACjB,KAAK,EAAE,OAAO,CAAC,WAAW,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YAC9D,QAAQ,EAAE,OAAO,CAAC,WAAW,CAAC,QAAQ,CAAC,MAAM,CACzC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CACxB;YACD,OAAO,EAAE,OAAO,CAAC,WAAW,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;SACrE,CAAA;IACL,CAAC;IACD,IAAI,OAAO,CAAC,SAAS,IAAI,IAAI,CAAC,WAAW,IAAI,IAAI,CAAC,WAAW,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC;QACrE,MAAM,GAAG,GAAG,IAAI,CAAC,WAAW,CAAA;QAC5B,MAAM,CAAC,SAAS,GAAG;YACf,KAAK,EAAE,OAAO,CAAC,SAAS,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YAC5D,QAAQ,EAAE,OAAO,CAAC,SAAS,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YAClE,OAAO,EAAE,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;SACnE,CAAA;IACL,CAAC;IACD,OAAO,MAAM,CAAA;AACjB,CAAC;AAED,+EAA+E;AAC/E,SAAS,UAAU;IACf,OAAO,MAAM,CAAC,UAAU,EAAE,CAAA;AAC9B,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,2BAA2B,CAChC,OAAyB,EACzB,SAAiB;IAEjB,IAAI,CAAC,OAAO,CAAC,QAAQ;QAAE,OAAO,OAAO,CAAA;IACrC,MAAM,gBAAgB,GAAG,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAC,MAAM,CACrD,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,SAAS,CAC5B,CAAA;IACD,IAAI,gBAAgB,CAAC,MAAM,KAAK,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC;QAC/D,OAAO,OAAO,CAAA;IAClB,CAAC;IACD,OAAO;QACH,GAAG,OAAO;QACV,QAAQ,EAAE;YACN,GAAG,OAAO,CAAC,QAAQ;YACnB,QAAQ,EAAE,gBAAgB;SAC7B;KACJ,CAAA;AACL,CAAC;AAED;;;;;;;;GAQG;AACH,SAAS,yBAAyB,CAC9B,OAAyB;IAEzB,MAAM,MAAM,GAAqB,EAAE,GAAG,OAAO,EAAE,CAAA;IAC/C,IAAI,OAAO,CAAC,QAAQ,EAAE,CAAC;QACnB,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;QACjE,MAAM,CAAC,QAAQ,GAAG;YACd,GAAG,OAAO,CAAC,QAAQ;YACnB,QAAQ,EAAE,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAC,MAAM,CACtC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAC7B;SACJ,CAAA;IACL,CAAC;IACD,IAAI,OAAO,CAAC,SAAS,EAAE,CAAC;QACpB,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;QAClE,MAAM,CAAC,SAAS,GAAG;YACf,GAAG,OAAO,CAAC,SAAS;YACpB,QAAQ,EAAE,OAAO,CAAC,SAAS,CAAC,QAAQ,CAAC,MAAM,CACvC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAC7B;SACJ,CAAA;IACL,CAAC;IACD,IAAI,OAAO,CAAC,WAAW,EAAE,CAAC;QACtB,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,WAAW,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;QACpE,MAAM,CAAC,WAAW,GAAG;YACjB,GAAG,OAAO,CAAC,WAAW;YACtB,QAAQ,EAAE,OAAO,CAAC,WAAW,CAAC,QAAQ,CAAC,MAAM,CACzC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAC7B;SACJ,CAAA;IACL,CAAC;IACD,OAAO,MAAM,CAAA;AACjB,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,SAAS,sBAAsB,CAC3B,UAA8B;IAE9B,MAAM,QAAQ,GAAG;QACb,QAAQ,EAAE,IAAI,GAAG,EAAU;QAC3B,SAAS,EAAE,IAAI,GAAG,EAAU;QAC5B,WAAW,EAAE,IAAI,GAAG,EAAU;KACjC,CAAA;IACD,MAAM,UAAU,GAAG;QACf,QAAQ,EAAE,IAAI,GAAG,EAAU;QAC3B,SAAS,EAAE,IAAI,GAAG,EAAU;QAC5B,WAAW,EAAE,IAAI,GAAG,EAAU;KACjC,CAAA;IACD,KAAK,MAAM,CAAC,IAAI,UAAU,EAAE,CAAC;QACzB,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,KAAK,IAAI,EAAE;YAAE,QAAQ,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAA;QACpE,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,KAAK,IAAI,EAAE;YAAE,QAAQ,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAA;QACtE,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,WAAW,EAAE,KAAK,IAAI,EAAE;YACtC,QAAQ,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAA;QAClC,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,OAAO,IAAI,EAAE;YAAE,UAAU,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAA;QACxE,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,OAAO,IAAI,EAAE;YACtC,UAAU,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAA;QAClC,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,WAAW,EAAE,OAAO,IAAI,EAAE;YACxC,UAAU,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAA;IACxC,CAAC;IACD,IAAI,MAAM,GAAqB,EAAE,CAAA;IACjC,KAAK,MAAM,CAAC,IAAI,UAAU,EAAE,CAAC;QACzB,MAAM,SAAS,GAAqB,EAAE,GAAG,CAAC,EAAE,CAAA;QAC5C,IAAI,CAAC,CAAC,QAAQ,EAAE,CAAC;YACb,SAAS,CAAC,QAAQ,GAAG;gBACjB,GAAG,CAAC,CAAC,QAAQ;gBACb,QAAQ,EAAE,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,MAAM,CAChC,CAAC,CAAC,EAAE,EAAE,CACF,CAAC,QAAQ,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;oBAC5B,CAAC,UAAU,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CACrC;aACJ,CAAA;QACL,CAAC;QACD,IAAI,CAAC,CAAC,SAAS,EAAE,CAAC;YACd,SAAS,CAAC,SAAS,GAAG;gBAClB,GAAG,CAAC,CAAC,SAAS;gBACd,QAAQ,EAAE,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,MAAM,CACjC,CAAC,CAAC,EAAE,EAAE,CACF,CAAC,QAAQ,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;oBAC7B,CAAC,UAAU,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CACtC;aACJ,CAAA;QACL,CAAC;QACD,IAAI,CAAC,CAAC,WAAW,EAAE,CAAC;YAChB,SAAS,CAAC,WAAW,GAAG;gBACpB,GAAG,CAAC,CAAC,WAAW;gBAChB,QAAQ,EAAE,CAAC,CAAC,WAAW,CAAC,QAAQ,CAAC,MAAM,CACnC,CAAC,CAAC,EAAE,EAAE,CACF,CAAC,QAAQ,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;oBAC/B,CAAC,UAAU,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CACxC;aACJ,CAAA;QACL,CAAC;QACD,MAAM,GAAG,eAAe,CAAC,MAAM,EAAE,SAAS,CAAC,CAAA;IAC/C,CAAC;IACD,OAAO,MAAM,CAAA;AACjB,CAAC"}
+{"version":3,"file":"premises.js","sourceRoot":"","sources":["../../../src/engine/mutations/premises.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,uBAAuB,EAAE,MAAM,yBAAyB,CAAA;AASjE,OAAO,EAAE,eAAe,EAAE,MAAM,YAAY,CAAA;AAE5C,+EAA+E;AAC/E,0EAA0E;AAC1E,+EAA+E;AAC/E,wEAAwE;AACxE,2EAA2E;AAC3E,8EAA8E;AAC9E,oDAAoD;AACpD,MAAM,wBAAwB,GAAG,0BAA0B,CAAA;AAC3D,MAAM,+BAA+B,GAAG,iCAAiC,CAAA;AAEzE,MAAM,UAAU,mBAAmB,CAC/B,MAAqB,EACrB,SAAiB,EACjB,IAOC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY,IAAI,MAAM,CAAC,oBAAoB,EAAE,EAAE,CAAC;QAC9D,MAAM,IAAI,KAAK,CACX,+DAA+D,CAClE,CAAA;IACL,CAAC;IAED,MAAM,EAAE,MAAM,EAAE,EAAE,EAAE,OAAO,EAAE,GAAG,MAAM,CAAC,mBAAmB,CAAC,SAAS,EAAE;QAClE,IAAI,EAAE,UAAU;QAChB,MAAM,EAAE,IAAI;KACf,CAAC,CAAA;IAEF,IAAI,UAAU,GAAG,OAAO,CAAA;IACxB,IAAI,IAAI,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QAC7B,mEAAmE;QACnE,iEAAiE;QACjE,yCAAyC;QACzC,MAAM,EAAE,OAAO,EAAE,WAAW,EAAE,GAAG,MAAM,CAAC,oBAAoB,CAAC,SAAS,CAAC,CAAA;QACvE,UAAU,GAAG,eAAe,CAAC,OAAO,EAAE,WAAW,CAAC,CAAA;IACtD,CAAC;SAAM,IAAI,MAAM,CAAC,oBAAoB,EAAE,EAAE,KAAK,EAAE,KAAK,SAAS,EAAE,CAAC;QAC9D,8DAA8D;QAC9D,8DAA8D;QAC9D,2DAA2D;QAC3D,EAAE;QACF,+DAA+D;QAC/D,2DAA2D;QAC3D,iEAAiE;QACjE,iEAAiE;QACjE,+DAA+D;QAC/D,6DAA6D;QAC7D,4DAA4D;QAC5D,WAAW;QACX,MAAM,EAAE,OAAO,EAAE,YAAY,EAAE,GAAG,MAAM,CAAC,sBAAsB,EAAE,CAAA;QACjE,UAAU,GAAG,eAAe,CAAC,OAAO,EAAE,YAAY,CAAC,CAAA;IACvD,CAAC;IAED,OAAO;QACH,OAAO,EAAE,EAAE,CAAC,aAAa,EAAE;QAC3B,OAAO,EAAE,UAAU;KACtB,CAAA;AACL,CAAC;AAED,MAAM,UAAU,uBAAuB,CACnC,MAAqB,EACrB,SAAiB,EACjB,OAAyB;IAEzB,IAAI,OAAO,KAAK,YAAY,EAAE,CAAC;QAC3B,MAAM,EAAE,OAAO,EAAE,GAAG,MAAM,CAAC,oBAAoB,CAAC,SAAS,CAAC,CAAA;QAC1D,OAAO,EAAE,OAAO,EAAE,CAAA;IACtB,CAAC;IAED,MAAM,iBAAiB,GAAG,MAAM,CAAC,oBAAoB,EAAE,CAAA;IACvD,IAAI,iBAAiB,EAAE,KAAK,EAAE,KAAK,SAAS,EAAE,CAAC;QAC3C,MAAM,EAAE,OAAO,EAAE,GAAG,MAAM,CAAC,sBAAsB,EAAE,CAAA;QACnD,OAAO,EAAE,OAAO,EAAE,CAAA;IACtB,CAAC;IAED,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,CAAA;AAC1B,CAAC;AAED,MAAM,UAAU,yBAAyB,CACrC,MAAqB,EACrB,SAAiB,EACjB,OAAgC;IAEhC,MAAM,EAAE,GAAG,MAAM,CAAC,UAAU,CAAC,SAAS,CAAC,CAAA;IACvC,IAAI,CAAC,EAAE,EAAE,CAAC;QACN,MAAM,IAAI,KAAK,CAAC,WAAW,SAAS,YAAY,CAAC,CAAA;IACrD,CAAC;IACD,MAAM,EAAE,OAAO,EAAE,GAAG,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,CAAA;IAC5C,OAAO,EAAE,OAAO,EAAE,EAAE,CAAC,aAAa,EAAE,EAAE,OAAO,EAAE,CAAA;AACnD,CAAC;AAED,MAAM,UAAU,mBAAmB,CAC/B,MAAqB,EACrB,SAAiB;IAEjB,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,GAAG,MAAM,CAAC,aAAa,CAAC,SAAS,CAAC,CAAA;IAC3D,OAAO,EAAE,OAAO,EAAE,MAAM,KAAK,SAAS,EAAE,OAAO,EAAE,CAAA;AACrD,CAAC;AAED,8EAA8E;AAE9E;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA8BG;AACH,MAAM,UAAU,6BAA6B,CACzC,MAAqB,EACrB,SAAiB,EACjB,IASC;IAOD,sDAAsD;IACtD,MAAM,QAAQ,GAAG,IAAI,CAAC,oBAAoB,IAAI,IAAI,CAAA;IAClD,MAAM,SAAS,GAAG,IAAI,CAAC,4BAA4B,IAAI,IAAI,CAAA;IAC3D,IAAI,QAAQ,IAAI,SAAS,EAAE,CAAC;QACxB,MAAM,IAAI,KAAK,CACX,kIAAkI,CACrI,CAAA;IACL,CAAC;IACD,IAAI,CAAC,QAAQ,IAAI,CAAC,SAAS,EAAE,CAAC;QAC1B,MAAM,IAAI,KAAK,CACX,+HAA+H,CAClI,CAAA;IACL,CAAC;IACD,IAAI,SAAS,EAAE,CAAC;QACZ,MAAM,QAAQ,GAAG,MAAM,CAAC,WAAW,CAAC,IAAI,CAAC,4BAA6B,CAAC,CAAA;QACvE,IAAI,CAAC,QAAQ,EAAE,CAAC;YACZ,MAAM,IAAI,KAAK,CACX,+DAA+D,IAAI,CAAC,4BAA4B,sBAAsB,CACzH,CAAA;QACL,CAAC;QACD,IAAI,CAAC,CAAC,SAAS,IAAI,QAAQ,CAAC,EAAE,CAAC;YAC3B,MAAM,IAAI,KAAK,CACX,+DAA+D,IAAI,CAAC,4BAA4B,qBAAqB,CACxH,CAAA;QACL,CAAC;QACD,IAAI,QAAQ,CAAC,OAAO,KAAK,IAAI,CAAC,cAAc,EAAE,CAAC;YAC3C,MAAM,IAAI,KAAK,CACX,+DAA+D,IAAI,CAAC,4BAA4B,sBAAsB,QAAQ,CAAC,OAAO,6BAA6B,IAAI,CAAC,cAAc,EAAE,CAC3L,CAAA;QACL,CAAC;IACL,CAAC;IAED,uEAAuE;IACvE,qEAAqE;IACrE,wEAAwE;IACxE,qDAAqD;IACrD,MAAM,EAAE,MAAM,EAAE,EAAE,EAAE,OAAO,EAAE,cAAc,EAAE,GAAG,MAAM,CAAC,mBAAmB,CACtE,SAAS,EACT;QACI,IAAI,EAAE,YAAY;QAClB,cAAc,EAAE,IAAI,CAAC,cAAc;QACnC,MAAM,EAAE;YACJ,SAAS,EAAE,IAAI,CAAC,SAAS;YACzB,SAAS,EAAE,IAAI,CAAC,SAAS;YACzB,IAAI,EAAE,YAAqB;SAC9B;KACJ,CACJ,CAAA;IAED,0EAA0E;IAC1E,wEAAwE;IACxE,MAAM,eAAe,GAAG,EAAE,CAAC,cAAc,EAAE,CAAA;IAC3C,IAAI,eAAe,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC/B,MAAM,IAAI,KAAK,CACX,oFAAoF,eAAe,CAAC,MAAM,EAAE,CAC/G,CAAA;IACL,CAAC;IACD,MAAM,QAAQ,GAAG,eAAe,CAAC,CAAC,CAAC,CAAA;IACnC,IAAI,QAAQ,CAAC,IAAI,KAAK,UAAU,IAAI,QAAQ,CAAC,UAAU,IAAI,IAAI,EAAE,CAAC;QAC9D,MAAM,IAAI,KAAK,CACX,6FAA6F,CAChG,CAAA;IACL,CAAC;IACD,MAAM,SAAS,GAAG,QAAQ,CAAC,UAAU,CAAA;IACrC,MAAM,OAAO,GAAG,MAAM,CAAC,WAAW,CAAC,SAAS,CAAC,CAAA;IAC7C,IAAI,CAAC,OAAO,IAAI,CAAC,CAAC,SAAS,IAAI,OAAO,CAAC,EAAE,CAAC;QACtC,MAAM,IAAI,KAAK,CACX,oFAAoF,CACvF,CAAA;IACL,CAAC;IAED,0EAA0E;IAC1E,2EAA2E;IAC3E,yEAAyE;IACzE,0CAA0C;IAC1C,EAAE;IACF,gDAAgD;IAChD,wEAAwE;IACxE,0EAA0E;IAC1E,sBAAsB;IACtB,0EAA0E;IAC1E,wEAAwE;IACxE,gEAAgE;IAChE,uEAAuE;IACvE,qCAAqC;IACrC,EAAE,CAAC,gBAAgB,CAAC,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC,CAAA;IAEtC,IAAI,kBAA0C,CAAA;IAC9C,IAAI,yBAA2C,CAAA;IAC/C,IAAI,+BAAuC,CAAA;IAC3C,IAAI,QAAQ,EAAE,CAAC;QACX,MAAM,CAAC,cAAc,CAAC,SAAS,CAAC,CAAA;QAChC,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,GAAG,MAAM,CAAC,WAAW,CAAC;YAC3C,EAAE,EAAE,IAAI,CAAC,oBAAqB;YAC9B,UAAU,EAAE,IAAI,CAAC,UAAU;YAC3B,eAAe,EAAE,IAAI,CAAC,eAAe;YACrC,OAAO,EAAE,IAAI,CAAC,cAAc;YAC5B,YAAY,EAAE,OAAO,CAAC,YAAY;YAClC,MAAM,EAAE,OAAO,CAAC,MAAM;YACtB,SAAS,EAAE,IAAI,CAAC,SAAS;YACzB,SAAS,EAAE,IAAI,CAAC,SAAS;SACgB,CAAC,CAAA;QAC9C,kBAAkB,GAAG,MAAM,CAAA;QAC3B,yBAAyB,GAAG,OAAO,CAAA;QACnC,+BAA+B,GAAG,IAAI,CAAC,oBAAqB,CAAA;IAChE,CAAC;SAAM,CAAC;QACJ,kEAAkE;QAClE,uEAAuE;QACvE,wEAAwE;QACxE,IAAI,SAAS,KAAK,IAAI,CAAC,4BAA4B,EAAE,CAAC;YAClD,MAAM,IAAI,KAAK,CACX,wFAAwF,SAAS,uBAAuB,IAAI,CAAC,cAAc,0CAA0C,IAAI,CAAC,4BAA4B,EAAE,CAC3N,CAAA;QACL,CAAC;QACD,kBAAkB,GAAG,OAAiC,CAAA;QACtD,yBAAyB,GAAG,EAAE,CAAA;QAC9B,+BAA+B,GAAG,IAAI,CAAC,4BAA6B,CAAA;IACxE,CAAC;IAED,MAAM,EAAE,MAAM,EAAE,oBAAoB,EAAE,OAAO,EAAE,cAAc,EAAE,GAC3D,EAAE,CAAC,gBAAgB,CAAC,IAAI,EAAE;QACtB,EAAE,EAAE,IAAI,CAAC,sBAAsB;QAC/B,UAAU,EAAE,IAAI,CAAC,UAAU;QAC3B,eAAe,EAAE,IAAI,CAAC,eAAe;QACrC,SAAS;QACT,QAAQ,EAAE,IAAI;QACd,IAAI,EAAE,UAAU;QAChB,UAAU,EAAE,+BAA+B;QAC3C,QAAQ,EAAE,IAAI;QACd,SAAS,EAAE,IAAI,CAAC,SAAS;QACzB,SAAS,EAAE,IAAI,CAAC,SAAS;KACiB,CAAC,CAAA;IAEnD,sEAAsE;IACtE,gEAAgE;IAChE,yEAAyE;IACzE,sDAAsD;IACtD,EAAE;IACF,qEAAqE;IACrE,oEAAoE;IACpE,sEAAsE;IACtE,sEAAsE;IACtE,2DAA2D;IAC3D,mEAAmE;IACnE,+CAA+C;IAC/C,MAAM,sBAAsB,GAAG,yBAAyB,CACpD,eAAe,CAAC,cAAc,EAAE;QAC5B,WAAW,EAAE,IAAI,GAAG,CAAC,CAAC,SAAS,CAAC,CAAC;QACjC,aAAa,EAAE,IAAI,GAAG,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;KACxC,CAAC,CACL,CAAA;IACD,MAAM,4BAA4B,GAAG,2BAA2B,CAC5D,yBAAyB,EACzB,SAAS,CACZ,CAAA;IACD,MAAM,6BAA6B,GAAG,2BAA2B,CAC7D,cAAc,EACd,SAAS,CACZ,CAAA;IAED,MAAM,UAAU,GAAG,eAAe,CAC9B,eAAe,CAAC,sBAAsB,EAAE,4BAA4B,CAAC,EACrE,6BAA6B,CAChC,CAAA;IAED,OAAO;QACH,OAAO,EAAE,EAAE,CAAC,aAAa,EAAE;QAC3B,kBAAkB;QAClB,oBAAoB;QACpB,OAAO,EAAE,UAAU;KACtB,CAAA;AACL,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,yBAAyB,CACrC,MAAqB,EACrB,SAAiB;IAEjB,MAAM,EAAE,GAAG,MAAM,CAAC,UAAU,CAAC,SAAS,CAAC,CAAA;IACvC,IAAI,CAAC,EAAE,EAAE,CAAC;QACN,MAAM,IAAI,KAAK,CAAC,WAAW,SAAS,YAAY,CAAC,CAAA;IACrD,CAAC;IACD,MAAM,WAAW,GAAG,EAAE,CAAC,aAAa,EAAE,CAAA;IACtC,IAAI,WAAW,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QACpC,MAAM,IAAI,uBAAuB,CAAC;YAC9B;gBACI,IAAI,EAAE,wBAAwB;gBAC9B,OAAO,EAAE,GAAG,wBAAwB,aAAa,SAAS,sCAAsC,WAAW,CAAC,IAAI,IAAI,UAAU,GAAG;gBACjI,UAAU,EAAE,SAAS;gBACrB,QAAQ,EAAE,SAAS;gBACnB,SAAS;aACZ;SACJ,CAAC,CAAA;IACN,CAAC;IAED,MAAM,UAAU,GAAG,EAAE,CAAC,mBAAmB,EAAE,CAAA;IAC3C,IAAI,UAAU,KAAK,SAAS;QAAE,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,CAAA;IACpD,MAAM,IAAI,GAAG,EAAE,CAAC,aAAa,CAAC,UAAU,CAAC,CAAA;IACzC,IAAI,CAAC,IAAI;QAAE,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,CAAA;IAEjC,yEAAyE;IACzE,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU;QAAE,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,CAAA;IAEpD,yEAAyE;IACzE,yCAAyC;IACzC,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,IAAI,IAAI,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;QAC1D,MAAM,IAAI,KAAK,CACX,+DAA+D,SAAS,wCAAwC,IAAI,CAAC,IAAI,IACrH,IAAI,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,EAC/C,EAAE,CACL,CAAA;IACL,CAAC;IAED,MAAM,YAAY,GAAG,EAAE;SAClB,mBAAmB,CAAC,UAAU,CAAC;SAC/B,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAA;IAC5C,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC5B,MAAM,IAAI,KAAK,CACX,+CAA+C,YAAY,CAAC,MAAM,uBAAuB,CAC5F,CAAA;IACL,CAAC;IACD,MAAM,UAAU,GAAG,YAAY,CAAC,CAAC,CAAC,CAAA;IAClC,MAAM,UAAU,GAAG,YAAY,CAAC,CAAC,CAAC,CAAA;IAClC,IAAI,UAAU,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QACjC,MAAM,IAAI,KAAK,CACX,0GAA0G,CAC7G,CAAA;IACL,CAAC;IAED,0EAA0E;IAC1E,mEAAmE;IACnE,aAAa;IACb,kEAAkE;IAClE,qEAAqE;IACrE,sEAAsE;IACtE,yEAAyE;IACzE,0EAA0E;IAC1E,4EAA4E;IAC5E,4BAA4B;IAC5B,MAAM,mBAAmB,GAAa,EAAE,CAAA;IACxC,IAAI,UAAU,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QACjC,IAAI,UAAU,CAAC,UAAU,IAAI,IAAI,EAAE,CAAC;YAChC,mBAAmB,CAAC,IAAI,CAAC,UAAU,CAAC,UAAU,CAAC,CAAA;QACnD,CAAC;IACL,CAAC;SAAM,IAAI,UAAU,CAAC,IAAI,KAAK,UAAU,IAAI,UAAU,CAAC,QAAQ,KAAK,IAAI,EAAE,CAAC;QACxE,KAAK,MAAM,KAAK,IAAI,EAAE,CAAC,mBAAmB,CAAC,UAAU,CAAC,EAAE,CAAC,EAAE,CAAC;YACxD,IAAI,KAAK,CAAC,IAAI,KAAK,UAAU,IAAI,KAAK,CAAC,UAAU,IAAI,IAAI,EAAE,CAAC;gBACxD,mBAAmB,CAAC,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,CAAA;YAC9C,CAAC;QACL,CAAC;IACL,CAAC;SAAM,IAAI,UAAU,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QACvC,MAAM,eAAe,GAAG,EAAE,CAAC,mBAAmB,CAAC,UAAU,CAAC,EAAE,CAAC,CAAA;QAC7D,IACI,eAAe,CAAC,MAAM,KAAK,CAAC;YAC5B,eAAe,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,UAAU;YACtC,eAAe,CAAC,CAAC,CAAC,CAAC,QAAQ,KAAK,IAAI,EACtC,CAAC;YACC,MAAM,IAAI,KAAK,CACX,0FAA0F,SAAS,EAAE,CACxG,CAAA;QACL,CAAC;QACD,KAAK,MAAM,KAAK,IAAI,EAAE,CAAC,mBAAmB,CAAC,eAAe,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;YAChE,IAAI,KAAK,CAAC,IAAI,KAAK,UAAU,IAAI,KAAK,CAAC,UAAU,IAAI,IAAI,EAAE,CAAC;gBACxD,mBAAmB,CAAC,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,CAAA;YAC9C,CAAC;QACL,CAAC;IACL,CAAC;SAAM,CAAC;QACJ,MAAM,IAAI,KAAK,CACX,sEAAsE,SAAS,EAAE,CACpF,CAAA;IACL,CAAC;IAED,MAAM,SAAS,GAAuB,EAAE,CAAA;IAExC,2EAA2E;IAC3E,4EAA4E;IAC5E,uEAAuE;IACvE,2DAA2D;IAC3D,MAAM,EAAE,OAAO,EAAE,uBAAuB,EAAE,GAAG,EAAE,CAAC,gBAAgB,CAC5D,UAAU,CAAC,EAAE,EACb,IAAI,CACP,CAAA;IACD,SAAS,CAAC,IAAI,CAAC,uBAAuB,CAAC,CAAA;IAEvC,uEAAuE;IACvE,yEAAyE;IACzE,yEAAyE;IACzE,uEAAuE;IACvE,MAAM,EAAE,OAAO,EAAE,oBAAoB,EAAE,GAAG,EAAE,CAAC,gBAAgB,CACzD,UAAU,EACV,KAAK,CACR,CAAA;IACD,SAAS,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAA;IAEpC,iEAAiE;IACjE,wEAAwE;IACxE,oEAAoE;IACpE,4CAA4C;IAC5C,KAAK,MAAM,KAAK,IAAI,mBAAmB,EAAE,CAAC;QACtC,MAAM,EAAE,OAAO,EAAE,gBAAgB,EAAE,GAAG,MAAM,CAAC,cAAc,CAAC,KAAK,CAAC,CAAA;QAClE,SAAS,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAA;IACpC,CAAC;IAED,OAAO,EAAE,OAAO,EAAE,sBAAsB,CAAC,SAAS,CAAC,EAAE,CAAA;AACzD,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA4BG;AACH,MAAM,UAAU,+BAA+B,CAC3C,MAAqB,EACrB,SAAiB,EACjB,kBAA4B;IAE5B,MAAM,EAAE,GAAG,MAAM,CAAC,UAAU,CAAC,SAAS,CAAC,CAAA;IACvC,IAAI,CAAC,EAAE,EAAE,CAAC;QACN,MAAM,IAAI,KAAK,CAAC,WAAW,SAAS,YAAY,CAAC,CAAA;IACrD,CAAC;IACD,MAAM,WAAW,GAAG,EAAE,CAAC,aAAa,EAAE,CAAA;IACtC,IAAI,WAAW,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QACpC,MAAM,IAAI,uBAAuB,CAAC;YAC9B;gBACI,IAAI,EAAE,wBAAwB;gBAC9B,OAAO,EAAE,GAAG,wBAAwB,aAAa,SAAS,sCAAsC,WAAW,CAAC,IAAI,IAAI,UAAU,GAAG;gBACjI,UAAU,EAAE,SAAS;gBACrB,QAAQ,EAAE,SAAS;gBACnB,SAAS;aACZ;SACJ,CAAC,CAAA;IACN,CAAC;IAED,MAAM,UAAU,GAAG,EAAE,CAAC,mBAAmB,EAAE,CAAA;IAC3C,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;QAC3B,MAAM,IAAI,KAAK,CACX,4CAA4C,SAAS,yBAAyB,CACjF,CAAA;IACL,CAAC;IACD,MAAM,IAAI,GAAG,EAAE,CAAC,aAAa,CAAC,UAAU,CAAC,CAAA;IACzC,IAAI,CAAC,IAAI,EAAE,CAAC;QACR,MAAM,IAAI,KAAK,CACX,oDAAoD,UAAU,yBAAyB,SAAS,EAAE,CACrG,CAAA;IACL,CAAC;IAED,uEAAuE;IACvE,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QAC3B,MAAM,IAAI,uBAAuB,CAAC;YAC9B;gBACI,IAAI,EAAE,+BAA+B;gBACrC,OAAO,EAAE,GAAG,+BAA+B,wBAAwB,SAAS,qCAAqC;gBACjH,UAAU,EAAE,SAAS;gBACrB,QAAQ,EAAE,SAAS;gBACnB,SAAS;aACZ;SACJ,CAAC,CAAA;IACN,CAAC;IACD,IAAI,kBAAkB,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,CAAA;IAE3D,MAAM,cAAc,GAAG,IAAI,CAAA;IAC3B,IAAI,cAAc,CAAC,UAAU,IAAI,IAAI,EAAE,CAAC;QACpC,MAAM,IAAI,KAAK,CACX,mFAAmF,CACtF,CAAA;IACL,CAAC;IACD,MAAM,UAAU,GAAG;QACf,UAAU,EAAE,cAAc,CAAC,UAAU;QACrC,eAAe,EAAE,cAAc,CAAC,eAAe;QAC/C,SAAS;QACT,SAAS,EAAE,cAAc,CAAC,SAAS;QACnC,SAAS,EAAE,cAAc,CAAC,SAAS;KACtC,CAAA;IAED,MAAM,SAAS,GAAuB,EAAE,CAAA;IAExC,2EAA2E;IAC3E,sEAAsE;IACtE,6DAA6D;IAC7D,MAAM,eAAe,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,YAAY,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;IACvE,MAAM,eAAe,GAA6B,EAAE,CAAA;IACpD,KAAK,MAAM,iBAAiB,IAAI,kBAAkB,EAAE,CAAC;QACjD,MAAM,CAAC,GAAG,MAAM,CAAC,wBAAwB,CAAC,iBAAiB,CAAC,CAAA;QAC5D,eAAe,CAAC,IAAI,CAAC,CAAsC,CAAC,CAAA;IAChE,CAAC;IACD,MAAM,mBAAmB,GAAG,eAAe,CAAC,MAAM,CAC9C,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,eAAe,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CACpC,CAAA;IACD,IAAI,mBAAmB,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACjC,SAAS,CAAC,IAAI,CAAC;YACX,SAAS,EAAE;gBACP,KAAK,EAAE,mBAAmB;gBAC1B,QAAQ,EAAE,EAAE;gBACZ,OAAO,EAAE,EAAE;aACd;SACJ,CAAC,CAAA;IACN,CAAC;IAED,oEAAoE;IACpE,2EAA2E;IAC3E,sEAAsE;IACtE,sEAAsE;IACtE,mEAAmE;IACnE,iCAAiC;IACjC,EAAE;IACF,uEAAuE;IACvE,qEAAqE;IACrE,uEAAuE;IACvE,qEAAqE;IACrE,4DAA4D;IAC5D,8DAA8D;IAC9D,EAAE;IACF,uEAAuE;IACvE,qEAAqE;IACrE,kEAAkE;IAClE,qEAAqE;IACrE,qEAAqE;IACrE,iEAAiE;IACjE,oEAAoE;IACpE,mBAAmB;IACnB,EAAE;IACF,mEAAmE;IACnE,2DAA2D;IAC3D,uEAAuE;IACvE,qEAAqE;IACrE,kEAAkE;IAClE,mEAAmE;IACnE,wEAAwE;IACxE,uEAAuE;IACvE,sEAAsE;IACtE,uEAAuE;IACvE,mEAAmE;IACnE,wCAAwC;IACxC,EAAE;IACF,gEAAgE;IAChE,qEAAqE;IACrE,mEAAmE;IACnE,MAAM,SAAS,GAAG,UAAU,EAAE,CAAA;IAC9B,MAAM,SAAS,GAAG;QACd,EAAE,EAAE,SAAS;QACb,GAAG,UAAU;QACb,QAAQ,EAAE,IAAI;QACd,IAAI,EAAE,UAAmB;QACzB,QAAQ,EAAE,SAAkB;QAC5B,UAAU,EAAE,IAAI;KACnB,CAAA;IACD,IAAI,eAAe,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC/B,MAAM,OAAO,GAAG;YACZ,EAAE,EAAE,UAAU,EAAE;YAChB,GAAG,UAAU;YACb,QAAQ,EAAE,IAAI,EAAE,wCAAwC;YACxD,IAAI,EAAE,UAAmB;YACzB,UAAU,EAAE,eAAe,CAAC,CAAC,CAAC,CAAC,EAAE;YACjC,QAAQ,EAAE,IAAI;SACjB,CAAA;QACD,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,cAAc,CACvC,SAAoD,EACpD,OAAkD,EAClD,SAAS,EACT,cAAc,CAAC,EAAE,CACpB,CAAA;QACD,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QACpB,OAAO,EAAE,OAAO,EAAE,sBAAsB,CAAC,SAAS,CAAC,EAAE,CAAA;IACzD,CAAC;IACD,6CAA6C;IAC7C,MAAM,IAAI,GAAG,UAAU,EAAE,CAAA;IACzB,MAAM,SAAS,GAAG;QACd,EAAE,EAAE,IAAI;QACR,GAAG,UAAU;QACb,QAAQ,EAAE,IAAI;QACd,IAAI,EAAE,UAAmB;QACzB,QAAQ,EAAE,IAAa;QACvB,UAAU,EAAE,IAAI;KACnB,CAAA;IACD,MAAM,aAAa,GAAG,MAAM,CAAC,QAAQ,CAAA;IACrC,IAAI,aAAa,KAAK,YAAY,EAAE,CAAC;QACjC,MAAM,CAAC,WAAW,CAAC,YAAY,CAAC,CAAA;IACpC,CAAC;IACD,IAAI,CAAC;QACD,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,cAAc,CACvC,SAAoD,EACpD,SAAoD,EACpD,SAAS,EACT,cAAc,CAAC,EAAE,CACpB,CAAA;QACD,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QACpB,KAAK,MAAM,SAAS,IAAI,eAAe,EAAE,CAAC;YACtC,MAAM,EAAE,OAAO,EAAE,aAAa,EAAE,GAAG,EAAE,CAAC,gBAAgB,CAAC,IAAI,EAAE;gBACzD,EAAE,EAAE,UAAU,EAAE;gBAChB,GAAG,UAAU;gBACb,QAAQ,EAAE,IAAI;gBACd,IAAI,EAAE,UAAmB;gBACzB,UAAU,EAAE,SAAS,CAAC,EAAE;gBACxB,QAAQ,EAAE,IAAI;aAC4B,CAAC,CAAA;YAC/C,SAAS,CAAC,IAAI,CAAC,aAAa,CAAC,CAAA;QACjC,CAAC;IACL,CAAC;YAAS,CAAC;QACP,IAAI,aAAa,KAAK,YAAY,EAAE,CAAC;YACjC,MAAM,CAAC,WAAW,CAAC,aAAa,CAAC,CAAA;QACrC,CAAC;IACL,CAAC;IAED,OAAO,EAAE,OAAO,EAAE,sBAAsB,CAAC,SAAS,CAAC,EAAE,CAAA;AACzD,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgCG;AACH,MAAM,UAAU,2BAA2B,CACvC,MAAqB,EACrB,mBAA2B,EAC3B,cAA+B;IAE/B,IAAI,cAAc,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QACtC,MAAM,IAAI,KAAK,CACX,kFACK,cAAoC,CAAC,IAAI,IAAI,WAClD,EAAE,CACL,CAAA;IACL,CAAC;IAED,MAAM,EAAE,GAAG,MAAM,CAAC,UAAU,CAAC,mBAAmB,CAAC,CAAA;IACjD,IAAI,CAAC,EAAE,EAAE,CAAC;QACN,MAAM,IAAI,KAAK,CAAC,WAAW,mBAAmB,YAAY,CAAC,CAAA;IAC/D,CAAC;IACD,+DAA+D;IAC/D,iEAAiE;IACjE,MAAM,WAAW,GAAG,EAAE,CAAC,aAAa,EAAE,CAAA;IACtC,IAAI,WAAW,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;QACpC,MAAM,IAAI,uBAAuB,CAAC;YAC9B;gBACI,IAAI,EAAE,0BAA0B;gBAChC,OAAO,EAAE,qCAAqC,mBAAmB,sCAAsC,WAAW,CAAC,IAAI,IAAI,UAAU,GAAG;gBACxI,UAAU,EAAE,SAAS;gBACrB,QAAQ,EAAE,mBAAmB;gBAC7B,SAAS,EAAE,mBAAmB;aACjC;SACJ,CAAC,CAAA;IACN,CAAC;IAED,oDAAoD;IACpD,uEAAuE;IACvE,iEAAiE;IACjE,uEAAuE;IACvE,8DAA8D;IAC9D,gEAAgE;IAChE,kBAAkB;IAClB,IAAI,oBAAoB,CAAC,MAAM,EAAE,EAAE,EAAE,cAAc,CAAC,EAAE,CAAC,EAAE,CAAC;QACtD,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,CAAA;IAC1B,CAAC;IAED,MAAM,SAAS,GAAuB,EAAE,CAAA;IAExC,sEAAsE;IACtE,iEAAiE;IACjE,+DAA+D;IAC/D,mEAAmE;IACnE,oEAAoE;IACpE,iCAAiC;IACjC,MAAM,EAAE,OAAO,EAAE,YAAY,EAAE,GAAG,yBAAyB,CACvD,MAAM,EACN,mBAAmB,CACtB,CAAA;IACD,SAAS,CAAC,IAAI,CAAC,YAAY,CAAC,CAAA;IAE5B,mEAAmE;IACnE,MAAM,UAAU,GAAG,EAAE,CAAC,mBAAmB,EAAE,CAAA;IAC3C,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;QAC3B,MAAM,IAAI,KAAK,CACX,wCAAwC,mBAAmB,qCAAqC,CACnG,CAAA;IACL,CAAC;IACD,MAAM,cAAc,GAAG,EAAE,CAAC,aAAa,CAAC,UAAU,CAAC,CAAA;IACnD,IAAI,cAAc,EAAE,IAAI,KAAK,UAAU,EAAE,CAAC;QACtC,MAAM,IAAI,KAAK,CACX,uFACI,cAAc,EAAE,IAAI,IAAI,WAC5B,GAAG,CACN,CAAA;IACL,CAAC;IACD,IAAI,cAAc,CAAC,UAAU,IAAI,IAAI,EAAE,CAAC;QACpC,MAAM,IAAI,KAAK,CACX,+EAA+E,CAClF,CAAA;IACL,CAAC;IAED,MAAM,UAAU,GAAG;QACf,UAAU,EAAE,cAAc,CAAC,UAAU;QACrC,eAAe,EAAE,cAAc,CAAC,eAAe;QAC/C,SAAS,EAAE,mBAAmB;QAC9B,SAAS,EAAE,cAAc,CAAC,SAAS;QACnC,SAAS,EAAE,cAAc,CAAC,SAAS;KACtC,CAAA;IAED,mEAAmE;IACnE,uEAAuE;IACvE,oEAAoE;IACpE,mEAAmE;IACnE,MAAM,eAAe,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,YAAY,EAAE,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;IACvE,MAAM,QAAQ,GAAG,MAAM,CAAC,wBAAwB,CAC5C,cAAc,CAAC,EAAE,CACiB,CAAA;IACtC,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC,EAAE,CAAC;QACpC,SAAS,CAAC,IAAI,CAAC;YACX,SAAS,EAAE;gBACP,KAAK,EAAE,CAAC,QAAQ,CAAC;gBACjB,QAAQ,EAAE,EAAE;gBACZ,OAAO,EAAE,EAAE;aACd;SACJ,CAAC,CAAA;IACN,CAAC;IAED,mEAAmE;IACnE,qEAAqE;IACrE,kEAAkE;IAClE,kEAAkE;IAClE,qEAAqE;IACrE,qEAAqE;IACrE,wCAAwC;IACxC,MAAM,SAAS,GAAG,UAAU,EAAE,CAAA;IAC9B,MAAM,SAAS,GAAG;QACd,EAAE,EAAE,SAAS;QACb,GAAG,UAAU;QACb,QAAQ,EAAE,IAAI;QACd,IAAI,EAAE,UAAmB;QACzB,QAAQ,EAAE,SAAkB;QAC5B,UAAU,EAAE,IAAI;KACnB,CAAA;IACD,MAAM,SAAS,GAAG;QACd,EAAE,EAAE,UAAU,EAAE;QAChB,GAAG,UAAU;QACb,QAAQ,EAAE,IAAI,EAAE,wCAAwC;QACxD,IAAI,EAAE,UAAmB;QACzB,UAAU,EAAE,QAAQ,CAAC,EAAE;QACvB,QAAQ,EAAE,IAAI;KACjB,CAAA;IACD,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,cAAc,CACvC,SAAoD,EACpD,SAAoD,EACpD,SAAS,EACT,cAAc,CAAC,EAAE,CACpB,CAAA;IACD,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;IAEpB,OAAO,EAAE,OAAO,EAAE,sBAAsB,CAAC,SAAS,CAAC,EAAE,CAAA;AACzD,CAAC;AAED;;;;;GAKG;AACH,SAAS,oBAAoB,CACzB,MAAqB,EACrB,EAAwD,EACxD,YAAoB;IAEpB,MAAM,UAAU,GAAG,EAAE,CAAC,mBAAmB,EAAE,CAAA;IAC3C,IAAI,UAAU,KAAK,SAAS;QAAE,OAAO,KAAK,CAAA;IAC1C,MAAM,IAAI,GAAG,EAAE,CAAC,aAAa,CAAC,UAAU,CAAC,CAAA;IACzC,IAAI,IAAI,EAAE,IAAI,KAAK,UAAU,IAAI,IAAI,CAAC,QAAQ,KAAK,SAAS,EAAE,CAAC;QAC3D,OAAO,KAAK,CAAA;IAChB,CAAC;IACD,MAAM,YAAY,GAAG,EAAE;SAClB,mBAAmB,CAAC,UAAU,CAAC;SAC/B,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,GAAG,CAAC,CAAC,QAAQ,CAAC,CAAA;IAC5C,IAAI,YAAY,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,KAAK,CAAA;IAC3C,MAAM,UAAU,GAAG,YAAY,CAAC,CAAC,CAAC,CAAA;IAClC,IAAI,UAAU,CAAC,IAAI,KAAK,UAAU,IAAI,UAAU,CAAC,UAAU,IAAI,IAAI,EAAE,CAAC;QAClE,OAAO,KAAK,CAAA;IAChB,CAAC;IACD,MAAM,aAAa,GAAG,MAAM,CAAC,WAAW,CAAC,UAAU,CAAC,UAAU,CAAC,CAAA;IAC/D,IAAI,CAAC,aAAa,IAAI,CAAC,CAAC,SAAS,IAAI,aAAa,CAAC;QAAE,OAAO,KAAK,CAAA;IACjE,OAAO,aAAa,CAAC,OAAO,KAAK,YAAY,CAAA;AACjD,CAAC;AAED,8EAA8E;AAE9E;;;;GAIG;AACH,SAAS,eAAe,CACpB,OAAyB,EACzB,IAAgE;IAEhE,MAAM,MAAM,GAAqB,EAAE,GAAG,OAAO,EAAE,CAAA;IAC/C,IACI,OAAO,CAAC,WAAW;QACnB,IAAI,CAAC,aAAa;QAClB,IAAI,CAAC,aAAa,CAAC,IAAI,GAAG,CAAC,EAC7B,CAAC;QACC,MAAM,GAAG,GAAG,IAAI,CAAC,aAAa,CAAA;QAC9B,MAAM,CAAC,WAAW,GAAG;YACjB,KAAK,EAAE,OAAO,CAAC,WAAW,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YAC9D,QAAQ,EAAE,OAAO,CAAC,WAAW,CAAC,QAAQ,CAAC,MAAM,CACzC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CACxB;YACD,OAAO,EAAE,OAAO,CAAC,WAAW,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;SACrE,CAAA;IACL,CAAC;IACD,IAAI,OAAO,CAAC,SAAS,IAAI,IAAI,CAAC,WAAW,IAAI,IAAI,CAAC,WAAW,CAAC,IAAI,GAAG,CAAC,EAAE,CAAC;QACrE,MAAM,GAAG,GAAG,IAAI,CAAC,WAAW,CAAA;QAC5B,MAAM,CAAC,SAAS,GAAG;YACf,KAAK,EAAE,OAAO,CAAC,SAAS,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YAC5D,QAAQ,EAAE,OAAO,CAAC,SAAS,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;YAClE,OAAO,EAAE,OAAO,CAAC,SAAS,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;SACnE,CAAA;IACL,CAAC;IACD,OAAO,MAAM,CAAA;AACjB,CAAC;AAED,+EAA+E;AAC/E,SAAS,UAAU;IACf,OAAO,MAAM,CAAC,UAAU,EAAE,CAAA;AAC9B,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,2BAA2B,CAChC,OAAyB,EACzB,SAAiB;IAEjB,IAAI,CAAC,OAAO,CAAC,QAAQ;QAAE,OAAO,OAAO,CAAA;IACrC,MAAM,gBAAgB,GAAG,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAC,MAAM,CACrD,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,SAAS,CAC5B,CAAA;IACD,IAAI,gBAAgB,CAAC,MAAM,KAAK,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAC,MAAM,EAAE,CAAC;QAC/D,OAAO,OAAO,CAAA;IAClB,CAAC;IACD,OAAO;QACH,GAAG,OAAO;QACV,QAAQ,EAAE;YACN,GAAG,OAAO,CAAC,QAAQ;YACnB,QAAQ,EAAE,gBAAgB;SAC7B;KACJ,CAAA;AACL,CAAC;AAED;;;;;;;;GAQG;AACH,SAAS,yBAAyB,CAC9B,OAAyB;IAEzB,MAAM,MAAM,GAAqB,EAAE,GAAG,OAAO,EAAE,CAAA;IAC/C,IAAI,OAAO,CAAC,QAAQ,EAAE,CAAC;QACnB,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;QACjE,MAAM,CAAC,QAAQ,GAAG;YACd,GAAG,OAAO,CAAC,QAAQ;YACnB,QAAQ,EAAE,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAC,MAAM,CACtC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAC7B;SACJ,CAAA;IACL,CAAC;IACD,IAAI,OAAO,CAAC,SAAS,EAAE,CAAC;QACpB,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;QAClE,MAAM,CAAC,SAAS,GAAG;YACf,GAAG,OAAO,CAAC,SAAS;YACpB,QAAQ,EAAE,OAAO,CAAC,SAAS,CAAC,QAAQ,CAAC,MAAM,CACvC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAC7B;SACJ,CAAA;IACL,CAAC;IACD,IAAI,OAAO,CAAC,WAAW,EAAE,CAAC;QACtB,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,WAAW,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;QACpE,MAAM,CAAC,WAAW,GAAG;YACjB,GAAG,OAAO,CAAC,WAAW;YACtB,QAAQ,EAAE,OAAO,CAAC,WAAW,CAAC,QAAQ,CAAC,MAAM,CACzC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAC7B;SACJ,CAAA;IACL,CAAC;IACD,OAAO,MAAM,CAAA;AACjB,CAAC;AAED;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,SAAS,sBAAsB,CAC3B,UAA8B;IAE9B,MAAM,QAAQ,GAAG;QACb,QAAQ,EAAE,IAAI,GAAG,EAAU;QAC3B,SAAS,EAAE,IAAI,GAAG,EAAU;QAC5B,WAAW,EAAE,IAAI,GAAG,EAAU;KACjC,CAAA;IACD,MAAM,UAAU,GAAG;QACf,QAAQ,EAAE,IAAI,GAAG,EAAU;QAC3B,SAAS,EAAE,IAAI,GAAG,EAAU;QAC5B,WAAW,EAAE,IAAI,GAAG,EAAU;KACjC,CAAA;IACD,KAAK,MAAM,CAAC,IAAI,UAAU,EAAE,CAAC;QACzB,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,KAAK,IAAI,EAAE;YAAE,QAAQ,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAA;QACpE,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,KAAK,IAAI,EAAE;YAAE,QAAQ,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAA;QACtE,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,WAAW,EAAE,KAAK,IAAI,EAAE;YACtC,QAAQ,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAA;QAClC,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,QAAQ,EAAE,OAAO,IAAI,EAAE;YAAE,UAAU,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAA;QACxE,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,OAAO,IAAI,EAAE;YACtC,UAAU,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAA;QAClC,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,WAAW,EAAE,OAAO,IAAI,EAAE;YACxC,UAAU,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAA;IACxC,CAAC;IACD,IAAI,MAAM,GAAqB,EAAE,CAAA;IACjC,KAAK,MAAM,CAAC,IAAI,UAAU,EAAE,CAAC;QACzB,MAAM,SAAS,GAAqB,EAAE,GAAG,CAAC,EAAE,CAAA;QAC5C,IAAI,CAAC,CAAC,QAAQ,EAAE,CAAC;YACb,SAAS,CAAC,QAAQ,GAAG;gBACjB,GAAG,CAAC,CAAC,QAAQ;gBACb,QAAQ,EAAE,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,MAAM,CAChC,CAAC,CAAC,EAAE,EAAE,CACF,CAAC,QAAQ,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;oBAC5B,CAAC,UAAU,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CACrC;aACJ,CAAA;QACL,CAAC;QACD,IAAI,CAAC,CAAC,SAAS,EAAE,CAAC;YACd,SAAS,CAAC,SAAS,GAAG;gBAClB,GAAG,CAAC,CAAC,SAAS;gBACd,QAAQ,EAAE,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,MAAM,CACjC,CAAC,CAAC,EAAE,EAAE,CACF,CAAC,QAAQ,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;oBAC7B,CAAC,UAAU,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CACtC;aACJ,CAAA;QACL,CAAC;QACD,IAAI,CAAC,CAAC,WAAW,EAAE,CAAC;YAChB,SAAS,CAAC,WAAW,GAAG;gBACpB,GAAG,CAAC,CAAC,WAAW;gBAChB,QAAQ,EAAE,CAAC,CAAC,WAAW,CAAC,QAAQ,CAAC,MAAM,CACnC,CAAC,CAAC,EAAE,EAAE,CACF,CAAC,QAAQ,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;oBAC/B,CAAC,UAAU,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CACxC;aACJ,CAAA;QACL,CAAC;QACD,MAAM,GAAG,eAAe,CAAC,MAAM,EAAE,SAAS,CAAC,CAAA;IAC/C,CAAC;IACD,OAAO,MAAM,CAAA;AACjB,CAAC"}

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

@@ -1570,4 +1570,65 @@ export declare const ClaimCitationDeleteResponseSchema: Type.TObject<{
     }>]>>;
 }>;
 export type TClaimCitationDeleteResponse = Static<typeof ClaimCitationDeleteResponseSchema>;
+/**
+ * Request body for `POST /api/v1/argument/[argumentId]/[version]/claims/[claimId]/axiom`.
+ * The citing claim's identity is in the URL path; the body carries only the
+ * axiomatic kind the server uses to mint the axiomatic-claim row.
+ */
+export declare const AxiomAssignmentRequestSchema: Type.TObject<{
+    axiom: Type.TUnion<[Type.TLiteral<"definition">, Type.TLiteral<"stipulation">, Type.TLiteral<"logical-principle">, Type.TLiteral<"mathematical-principle">, Type.TLiteral<"domain-rule">, Type.TLiteral<"background-assumption">]>;
+}>;
+export type TAxiomAssignmentRequest = Static<typeof AxiomAssignmentRequestSchema>;
+/**
+ * Response body for the assign-axiom POST. Mirrors the citation-creation
+ * response shape: the newly-minted entity (`axiomClaim`) plus the relational
+ * context the client needs to wire it into its snapshot without a full resync
+ * (`derivationPremise`, the citing claim's derivation premise now carrying
+ * the axiomatic-claim variable as its antecedent).
+ */
+export declare const AxiomAssignmentResponseSchema: Type.TObject<{
+    axiomClaim: Type.TObject<{
+        digest: Type.TString;
+        id: Type.TString;
+        argumentId: Type.TString;
+        version: Type.TNumber;
+        claimForkId: Type.TUnion<[Type.TString, Type.TNull]>;
+        creatorId: Type.TString;
+        createdOn: import("../../common.js").TDateType;
+        parentId: Type.TUnion<[Type.TString, Type.TNull]>;
+        type: Type.TLiteral<"axiomatic">;
+        kind: Type.TNull;
+        title: Type.TNull;
+        body: Type.TNull;
+        titleContentHash: Type.TNull;
+        url: Type.TNull;
+        citation: Type.TNull;
+        citationContentHash: Type.TNull;
+        axiom: Type.TUnion<[Type.TLiteral<"definition">, Type.TLiteral<"stipulation">, Type.TLiteral<"logical-principle">, Type.TLiteral<"mathematical-principle">, Type.TLiteral<"domain-rule">, Type.TLiteral<"background-assumption">]>;
+    }>;
+    derivationPremise: Type.TIntersect<[Type.TUnion<[Type.TObject<{
+        type: Type.TLiteral<"freeform">;
+        id: Type.TString;
+        argumentId: Type.TString;
+        argumentVersion: Type.TNumber;
+        checksum: Type.TString;
+        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>;
+        creatorId: Type.TOptional<Type.TString>;
+    }>]>;
+}>;
+export type TAxiomAssignmentResponse = Static<typeof AxiomAssignmentResponseSchema>;
 //# sourceMappingURL=claims.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"claims.d.ts","sourceRoot":"","sources":["../../../../src/schemas/api/argument/claims.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAE,KAAK,MAAM,EAAE,MAAM,SAAS,CAAA;AAS3C,eAAO,MAAM,0BAA0B;;;;;;EAErC,CAAA;AACF,MAAM,MAAM,2BAA2B,GAAG,MAAM,CAC5C,OAAO,0BAA0B,CACpC,CAAA;AAED,eAAO,MAAM,2BAA2B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAItC,CAAA;AACF,MAAM,MAAM,sBAAsB,GAAG,MAAM,CAAC,OAAO,2BAA2B,CAAC,CAAA;AAE/E,eAAO,MAAM,2BAA2B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAEtC,CAAA;AACF,MAAM,MAAM,sBAAsB,GAAG,MAAM,CAAC,OAAO,2BAA2B,CAAC,CAAA;AAE/E,eAAO,MAAM,sBAAsB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAGjC,CAAA;AACF,MAAM,MAAM,iBAAiB,GAAG,MAAM,CAAC,OAAO,sBAAsB,CAAC,CAAA;AAErE,eAAO,MAAM,iCAAiC;;;;;;;;;;;;EAE5C,CAAA;AACF,MAAM,MAAM,4BAA4B,GAAG,MAAM,CAC7C,OAAO,iCAAiC,CAC3C,CAAA"}
+{"version":3,"file":"claims.d.ts","sourceRoot":"","sources":["../../../../src/schemas/api/argument/claims.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAE,KAAK,MAAM,EAAE,MAAM,SAAS,CAAA;AAW3C,eAAO,MAAM,0BAA0B;;;;;;EAErC,CAAA;AACF,MAAM,MAAM,2BAA2B,GAAG,MAAM,CAC5C,OAAO,0BAA0B,CACpC,CAAA;AAED,eAAO,MAAM,2BAA2B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAItC,CAAA;AACF,MAAM,MAAM,sBAAsB,GAAG,MAAM,CAAC,OAAO,2BAA2B,CAAC,CAAA;AAE/E,eAAO,MAAM,2BAA2B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAEtC,CAAA;AACF,MAAM,MAAM,sBAAsB,GAAG,MAAM,CAAC,OAAO,2BAA2B,CAAC,CAAA;AAE/E,eAAO,MAAM,sBAAsB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAGjC,CAAA;AACF,MAAM,MAAM,iBAAiB,GAAG,MAAM,CAAC,OAAO,sBAAsB,CAAC,CAAA;AAErE,eAAO,MAAM,iCAAiC;;;;;;;;;;;;EAE5C,CAAA;AACF,MAAM,MAAM,4BAA4B,GAAG,MAAM,CAC7C,OAAO,iCAAiC,CAC3C,CAAA;AAID;;;;GAIG;AACH,eAAO,MAAM,4BAA4B;;EAEvC,CAAA;AACF,MAAM,MAAM,uBAAuB,GAAG,MAAM,CACxC,OAAO,4BAA4B,CACtC,CAAA;AAED;;;;;;GAMG;AACH,eAAO,MAAM,6BAA6B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAGxC,CAAA;AACF,MAAM,MAAM,wBAAwB,GAAG,MAAM,CACzC,OAAO,6BAA6B,CACvC,CAAA"}

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

@@ -1,8 +1,9 @@
 import Type, {} from "typebox";
 import { Nullable } from "../../common.js";
 import { ClaimSchema, MutableClaimFieldsSchema } from "../../model.js";
+import { AxiomaticClaimSchema, AxiomKindSchema } from "../../model/claims.js";
 import { ClaimCitationSchema } from "../../model/citations.js";
-import { PropositionalVariableSchema, PropositionalExpressionSchema, } from "../../logic.js";
+import { PropositionalVariableSchema, PropositionalExpressionSchema, PropositionalPremiseSchema, } from "../../logic.js";
 export const ClaimCreationRequestSchema = Type.Object({
     claimData: MutableClaimFieldsSchema,
 });
@@ -21,4 +22,24 @@ export const CitationCreationSchema = Type.Object({
 export const ClaimCitationDeleteResponseSchema = Type.Object({
     deletedCitations: Type.Array(ClaimCitationSchema),
 });
+// ──── Axiom assignment (POST /claims/[claimId]/axiom) ──────────────────────
+/**
+ * Request body for `POST /api/v1/argument/[argumentId]/[version]/claims/[claimId]/axiom`.
+ * The citing claim's identity is in the URL path; the body carries only the
+ * axiomatic kind the server uses to mint the axiomatic-claim row.
+ */
+export const AxiomAssignmentRequestSchema = Type.Object({
+    axiom: AxiomKindSchema,
+});
+/**
+ * Response body for the assign-axiom POST. Mirrors the citation-creation
+ * response shape: the newly-minted entity (`axiomClaim`) plus the relational
+ * context the client needs to wire it into its snapshot without a full resync
+ * (`derivationPremise`, the citing claim's derivation premise now carrying
+ * the axiomatic-claim variable as its antecedent).
+ */
+export const AxiomAssignmentResponseSchema = Type.Object({
+    axiomClaim: AxiomaticClaimSchema,
+    derivationPremise: PropositionalPremiseSchema,
+});
 //# sourceMappingURL=claims.js.map

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

@@ -1 +1 @@
-{"version":3,"file":"claims.js","sourceRoot":"","sources":["../../../../src/schemas/api/argument/claims.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAe,MAAM,SAAS,CAAA;AAC3C,OAAO,EAAE,QAAQ,EAAE,MAAM,iBAAiB,CAAA;AAC1C,OAAO,EAAE,WAAW,EAAE,wBAAwB,EAAE,MAAM,gBAAgB,CAAA;AACtE,OAAO,EAAE,mBAAmB,EAAE,MAAM,0BAA0B,CAAA;AAC9D,OAAO,EACH,2BAA2B,EAC3B,6BAA6B,GAChC,MAAM,gBAAgB,CAAA;AAEvB,MAAM,CAAC,MAAM,0BAA0B,GAAG,IAAI,CAAC,MAAM,CAAC;IAClD,SAAS,EAAE,wBAAwB;CACtC,CAAC,CAAA;AAKF,MAAM,CAAC,MAAM,2BAA2B,GAAG,IAAI,CAAC,MAAM,CAAC;IACnD,QAAQ,EAAE,WAAW;IACrB,wBAAwB,EAAE,QAAQ,CAAC,2BAA2B,CAAC;IAC/D,2BAA2B,EAAE,IAAI,CAAC,KAAK,CAAC,6BAA6B,CAAC;CACzE,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,2BAA2B,GAAG,IAAI,CAAC,MAAM,CAAC;IACnD,aAAa,EAAE,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC;CACzC,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,sBAAsB,GAAG,IAAI,CAAC,MAAM,CAAC;IAC9C,QAAQ,EAAE,WAAW;IACrB,YAAY,EAAE,mBAAmB;CACpC,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,iCAAiC,GAAG,IAAI,CAAC,MAAM,CAAC;IACzD,gBAAgB,EAAE,IAAI,CAAC,KAAK,CAAC,mBAAmB,CAAC;CACpD,CAAC,CAAA"}
+{"version":3,"file":"claims.js","sourceRoot":"","sources":["../../../../src/schemas/api/argument/claims.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,EAAE,EAAe,MAAM,SAAS,CAAA;AAC3C,OAAO,EAAE,QAAQ,EAAE,MAAM,iBAAiB,CAAA;AAC1C,OAAO,EAAE,WAAW,EAAE,wBAAwB,EAAE,MAAM,gBAAgB,CAAA;AACtE,OAAO,EAAE,oBAAoB,EAAE,eAAe,EAAE,MAAM,uBAAuB,CAAA;AAC7E,OAAO,EAAE,mBAAmB,EAAE,MAAM,0BAA0B,CAAA;AAC9D,OAAO,EACH,2BAA2B,EAC3B,6BAA6B,EAC7B,0BAA0B,GAC7B,MAAM,gBAAgB,CAAA;AAEvB,MAAM,CAAC,MAAM,0BAA0B,GAAG,IAAI,CAAC,MAAM,CAAC;IAClD,SAAS,EAAE,wBAAwB;CACtC,CAAC,CAAA;AAKF,MAAM,CAAC,MAAM,2BAA2B,GAAG,IAAI,CAAC,MAAM,CAAC;IACnD,QAAQ,EAAE,WAAW;IACrB,wBAAwB,EAAE,QAAQ,CAAC,2BAA2B,CAAC;IAC/D,2BAA2B,EAAE,IAAI,CAAC,KAAK,CAAC,6BAA6B,CAAC;CACzE,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,2BAA2B,GAAG,IAAI,CAAC,MAAM,CAAC;IACnD,aAAa,EAAE,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC;CACzC,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,sBAAsB,GAAG,IAAI,CAAC,MAAM,CAAC;IAC9C,QAAQ,EAAE,WAAW;IACrB,YAAY,EAAE,mBAAmB;CACpC,CAAC,CAAA;AAGF,MAAM,CAAC,MAAM,iCAAiC,GAAG,IAAI,CAAC,MAAM,CAAC;IACzD,gBAAgB,EAAE,IAAI,CAAC,KAAK,CAAC,mBAAmB,CAAC;CACpD,CAAC,CAAA;AAKF,8EAA8E;AAE9E;;;;GAIG;AACH,MAAM,CAAC,MAAM,4BAA4B,GAAG,IAAI,CAAC,MAAM,CAAC;IACpD,KAAK,EAAE,eAAe;CACzB,CAAC,CAAA;AAKF;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,6BAA6B,GAAG,IAAI,CAAC,MAAM,CAAC;IACrD,UAAU,EAAE,oBAAoB;IAChC,iBAAiB,EAAE,0BAA0B;CAChD,CAAC,CAAA"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@proposit/shared",
-  "version": "0.11.1",
+  "version": "0.12.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",