@proposit/shared 0.24.0 → 0.26.0

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

@@ -0,0 +1 @@
+{"version":3,"file":"versioning.d.ts","sourceRoot":"","sources":["../../../src/api-client/argument/versioning.ts"],"names":[],"mappings":"AAQA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAA;AAGpD;;;;;GAKG;AACH,wBAAsB,kBAAkB,CACpC,MAAM,EAAE,gBAAgB,EACxB,OAAO,EAAE,MAAM;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OAWlB;AAED;;;;;;GAMG;AACH,wBAAsB,yBAAyB,CAC3C,MAAM,EAAE,gBAAgB,EACxB,OAAO,EAAE,MAAM,EACf,MAAM,CAAC,EAAE,MAAM;;;;;;;;;;;;;;;;;;;;;;KAgBlB;AAED;;;;;;GAMG;AACH,wBAAsB,yBAAyB,CAC3C,MAAM,EAAE,gBAAgB,EACxB,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,MAAM,EACf,OAAO,EAAE,MAAM,EACf,SAAS,CAAC,EAAE,MAAM;;;;;;;;;;;;;;;;;;;;;KAarB"}

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

@@ -0,0 +1,45 @@
+import { ClaimLatestVersionResponseSchema, AdvanceClaimReferenceRequestSchema, AdvanceClaimReferenceResponseSchema, } from "../../schemas/api/argument/versioning.js";
+import { ClaimSchema } from "../../schemas/model/claims.js";
+import { strictFetch } from "../../utils/utils.js";
+import { resolveBaseUrl } from "../internal.js";
+/**
+ * `GET /api/v1/claim/[claimId]/latest`
+ *
+ * Returns the full claim object at its highest published version. The response
+ * IS a claim, so it is validated against `ClaimSchema` on the way out.
+ */
+export async function getLatestClaimImpl(config, claimId) {
+    const baseUrl = resolveBaseUrl(config);
+    return await strictFetch(`${baseUrl}/api/v1/claim/${claimId}/latest`, { method: "GET" }, undefined, undefined, ClaimSchema, config.fetchImpl);
+}
+/**
+ * `GET /api/v1/claim/[claimId]/latest-version?pinned=<number>`
+ *
+ * Reports the claim trunk's latest published version and whether it is newer
+ * than the `pinned` version the caller currently references. Omit `pinned` to
+ * just learn the latest published head (`hasNewer` is then `false`).
+ */
+export async function getLatestClaimVersionImpl(config, claimId, pinned) {
+    const baseUrl = resolveBaseUrl(config);
+    let uri = `${baseUrl}/api/v1/claim/${claimId}/latest-version`;
+    if (pinned !== undefined) {
+        const params = new URLSearchParams({ pinned: String(pinned) });
+        uri = `${uri}?${params.toString()}`;
+    }
+    return await strictFetch(uri, { method: "GET" }, undefined, undefined, ClaimLatestVersionResponseSchema, config.fetchImpl);
+}
+/**
+ * `POST /api/v1/argument/[argumentId]/[version]/claim/[claimId]/advance`
+ *
+ * Repins the draft argument's variable(s) referencing the claim to a newer
+ * published version. Omit `toVersion` to advance to the claim's latest
+ * published head; supply it to repin to an explicit target version.
+ */
+export async function advanceClaimReferenceImpl(config, argumentId, version, claimId, toVersion) {
+    const baseUrl = resolveBaseUrl(config);
+    const payload = {};
+    if (toVersion !== undefined)
+        payload.toVersion = toVersion;
+    return await strictFetch(`${baseUrl}/api/v1/argument/${argumentId}/${version}/claim/${claimId}/advance`, { method: "POST" }, payload, AdvanceClaimReferenceRequestSchema, AdvanceClaimReferenceResponseSchema, config.fetchImpl);
+}
+//# sourceMappingURL=versioning.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"versioning.js","sourceRoot":"","sources":["../../../src/api-client/argument/versioning.ts"],"names":[],"mappings":"AACA,OAAO,EACH,gCAAgC,EAChC,kCAAkC,EAClC,mCAAmC,GACtC,MAAM,0CAA0C,CAAA;AACjD,OAAO,EAAE,WAAW,EAAE,MAAM,+BAA+B,CAAA;AAC3D,OAAO,EAAE,WAAW,EAAE,MAAM,sBAAsB,CAAA;AAElD,OAAO,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAA;AAE/C;;;;;GAKG;AACH,MAAM,CAAC,KAAK,UAAU,kBAAkB,CACpC,MAAwB,EACxB,OAAe;IAEf,MAAM,OAAO,GAAG,cAAc,CAAC,MAAM,CAAC,CAAA;IACtC,OAAO,MAAM,WAAW,CACpB,GAAG,OAAO,iBAAiB,OAAO,SAAS,EAC3C,EAAE,MAAM,EAAE,KAAK,EAAE,EACjB,SAAS,EACT,SAAS,EACT,WAAW,EACX,MAAM,CAAC,SAAS,CACnB,CAAA;AACL,CAAC;AAED;;;;;;GAMG;AACH,MAAM,CAAC,KAAK,UAAU,yBAAyB,CAC3C,MAAwB,EACxB,OAAe,EACf,MAAe;IAEf,MAAM,OAAO,GAAG,cAAc,CAAC,MAAM,CAAC,CAAA;IACtC,IAAI,GAAG,GAAG,GAAG,OAAO,iBAAiB,OAAO,iBAAiB,CAAA;IAC7D,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;QACvB,MAAM,MAAM,GAAG,IAAI,eAAe,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAA;QAC9D,GAAG,GAAG,GAAG,GAAG,IAAI,MAAM,CAAC,QAAQ,EAAE,EAAE,CAAA;IACvC,CAAC;IACD,OAAO,MAAM,WAAW,CACpB,GAAG,EACH,EAAE,MAAM,EAAE,KAAK,EAAE,EACjB,SAAS,EACT,SAAS,EACT,gCAAgC,EAChC,MAAM,CAAC,SAAS,CACnB,CAAA;AACL,CAAC;AAED;;;;;;GAMG;AACH,MAAM,CAAC,KAAK,UAAU,yBAAyB,CAC3C,MAAwB,EACxB,UAAkB,EAClB,OAAe,EACf,OAAe,EACf,SAAkB;IAElB,MAAM,OAAO,GAAG,cAAc,CAAC,MAAM,CAAC,CAAA;IACtC,MAAM,OAAO,GAAe,EAAE,CAAA;IAC9B,IAAI,SAAS,KAAK,SAAS;QAAE,OAAO,CAAC,SAAS,GAAG,SAAS,CAAA;IAC1D,OAAO,MAAM,WAAW,CACpB,GAAG,OAAO,oBAAoB,UAAU,IAAI,OAAO,UAAU,OAAO,UAAU,EAC9E,EAAE,MAAM,EAAE,MAAM,EAAE,EAClB,OAAO,EACP,kCAAkC,EAClC,mCAAmC,EACnC,MAAM,CAAC,SAAS,CACnB,CAAA;AACL,CAAC"}

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

@@ -2,6 +2,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, createClaimAxiomImpl } from "./argument/claims.js";
+import { getLatestClaimImpl, getLatestClaimVersionImpl, advanceClaimReferenceImpl } from "./argument/versioning.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";
@@ -42,6 +43,9 @@ declare const impls: {
     readonly createClaimCitation: typeof createClaimCitationImpl;
     readonly deleteClaimCitation: typeof deleteClaimCitationImpl;
     readonly createClaimAxiom: typeof createClaimAxiomImpl;
+    readonly getLatestClaim: typeof getLatestClaimImpl;
+    readonly getLatestClaimVersion: typeof getLatestClaimVersionImpl;
+    readonly advanceClaimReference: typeof advanceClaimReferenceImpl;
     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,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;AAC1D,OAAO,EACH,mBAAmB,EACnB,gCAAgC,EACnC,MAAM,4BAA4B,CAAA;AACnC,OAAO,EAAE,aAAa,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAA;AACrE,OAAO,EAAE,cAAc,EAAE,MAAM,wBAAwB,CAAA;AACvD,OAAO,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAA;AAEpD;;;GAGG;AACH,QAAA,MAAM,KAAK;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CA8DD,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,EACH,kBAAkB,EAClB,yBAAyB,EACzB,yBAAyB,EAC5B,MAAM,0BAA0B,CAAA;AACjC,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;AAC1D,OAAO,EACH,mBAAmB,EACnB,gCAAgC,EACnC,MAAM,4BAA4B,CAAA;AACnC,OAAO,EAAE,aAAa,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAA;AACrE,OAAO,EAAE,cAAc,EAAE,MAAM,wBAAwB,CAAA;AACvD,OAAO,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAA;AAEpD;;;GAGG;AACH,QAAA,MAAM,KAAK;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAiED,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,7 @@
 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, createClaimAxiomImpl, } from "./argument/claims.js";
+import { getLatestClaimImpl, getLatestClaimVersionImpl, advanceClaimReferenceImpl, } from "./argument/versioning.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";
@@ -41,6 +42,9 @@ const impls = {
     createClaimCitation: createClaimCitationImpl,
     deleteClaimCitation: deleteClaimCitationImpl,
     createClaimAxiom: createClaimAxiomImpl,
+    getLatestClaim: getLatestClaimImpl,
+    getLatestClaimVersion: getLatestClaimVersionImpl,
+    advanceClaimReference: advanceClaimReferenceImpl,
     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,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;AAC1D,OAAO,EACH,mBAAmB,EACnB,gCAAgC,GACnC,MAAM,4BAA4B,CAAA;AACnC,OAAO,EAAE,aAAa,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAA;AACrE,OAAO,EAAE,cAAc,EAAE,MAAM,wBAAwB,CAAA;AACvD,OAAO,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAA;AAEpD;;;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;IAC1B,eAAe,EAAE,mBAAmB;IACpC,4BAA4B,EAAE,gCAAgC;IAC9D,SAAS,EAAE,aAAa;IACxB,UAAU,EAAE,cAAc;IAC1B,UAAU,EAAE,cAAc;IAC1B,SAAS,EAAE,aAAa;CAClB,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,EACH,kBAAkB,EAClB,yBAAyB,EACzB,yBAAyB,GAC5B,MAAM,0BAA0B,CAAA;AACjC,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;AAC1D,OAAO,EACH,mBAAmB,EACnB,gCAAgC,GACnC,MAAM,4BAA4B,CAAA;AACnC,OAAO,EAAE,aAAa,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAA;AACrE,OAAO,EAAE,cAAc,EAAE,MAAM,wBAAwB,CAAA;AACvD,OAAO,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAA;AAEpD;;;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,qBAAqB,EAAE,yBAAyB;IAChD,qBAAqB,EAAE,yBAAyB;IAChD,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;IAC1B,eAAe,EAAE,mBAAmB;IACpC,4BAA4B,EAAE,gCAAgC;IAC9D,SAAS,EAAE,aAAa;IACxB,UAAU,EAAE,cAAc;IAC1B,UAAU,EAAE,cAAc;IAC1B,SAAS,EAAE,aAAa;CAClB,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/api-client/user/citations.d.ts

@@ -21,8 +21,10 @@ export declare function getUserCitationsImpl(config: TApiClientConfig): Promise<
     citation: import("typebox").TUnion<[import("typebox").TObject<{
         digest: import("typebox").TString;
         id: import("typebox").TString;
-        argumentId: import("typebox").TString;
+        originArgumentId: import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>;
         version: import("typebox").TNumber;
+        published: import("typebox").TBoolean;
+        publishedOn: import("typebox").TUnion<[import("../../schemas/common.js").TDateType, import("typebox").TNull]>;
         claimForkId: import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>;
         creatorId: import("typebox").TString;
         createdOn: import("../../schemas/common.js").TDateType;
@@ -39,8 +41,10 @@ export declare function getUserCitationsImpl(config: TApiClientConfig): Promise<
     }>, import("typebox").TObject<{
         digest: import("typebox").TString;
         id: import("typebox").TString;
-        argumentId: import("typebox").TString;
+        originArgumentId: import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>;
         version: import("typebox").TNumber;
+        published: import("typebox").TBoolean;
+        publishedOn: import("typebox").TUnion<[import("../../schemas/common.js").TDateType, import("typebox").TNull]>;
         claimForkId: import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>;
         creatorId: import("typebox").TString;
         createdOn: import("../../schemas/common.js").TDateType;
@@ -50,8 +54,8 @@ export declare function getUserCitationsImpl(config: TApiClientConfig): Promise<
         title: import("typebox").TNull;
         body: import("typebox").TNull;
         titleContentHash: import("typebox").TNull;
-        url: import("typebox").TString;
-        citation: import("typebox").TUnion<[import("typebox").TUnion<[import("typebox").TUnion<[import("typebox").TIntersect<[import("typebox").TObject<{
+        url: import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>;
+        citation: import("typebox").TUnion<[import("typebox").TUnion<[import("typebox").TIntersect<[import("typebox").TObject<{
             type: import("typebox").TUnion<[import("typebox").TLiteral<"Book">, import("typebox").TLiteral<"Website">, import("typebox").TLiteral<"BookChapter">, import("typebox").TLiteral<"Handbook">, import("typebox").TLiteral<"TechnicalReport">, import("typebox").TLiteral<"Standard">, import("typebox").TLiteral<"Thesis">, import("typebox").TLiteral<"Patent">, import("typebox").TLiteral<"Dictionary">, import("typebox").TLiteral<"Encyclopedia">, import("typebox").TLiteral<"JournalArticle">, import("typebox").TLiteral<"MagazineArticle">, import("typebox").TLiteral<"NewspaperArticle">, import("typebox").TLiteral<"ConferencePaper">, import("typebox").TLiteral<"ConferenceProceedings">, import("typebox").TLiteral<"Dataset">, import("typebox").TLiteral<"Software">, import("typebox").TLiteral<"OnlineDocument">, import("typebox").TLiteral<"Blog">, import("typebox").TLiteral<"SocialMedia">, import("typebox").TLiteral<"Preprint">, import("typebox").TLiteral<"Video">, import("typebox").TLiteral<"Podcast">, import("typebox").TLiteral<"Course">, import("typebox").TLiteral<"Presentation">, import("typebox").TLiteral<"Interview">, import("typebox").TLiteral<"PersonalCommunication">, import("typebox").TLiteral<"Email">, import("typebox").TLiteral<"Law">, import("typebox").TLiteral<"CourtCase">, import("typebox").TLiteral<"GovernmentPublication">, import("typebox").TLiteral<"Datasheet">, import("typebox").TLiteral<"ProductManual">]>;
         }>, import("typebox").TObject<{
             type: import("typebox").TLiteral<"Book">;
@@ -478,14 +482,16 @@ export declare function getUserCitationsImpl(config: TApiClientConfig): Promise<
             text: import("typebox").TString;
             citationTypeGuess: import("typebox").TUnion<[import("typebox").TUnion<[import("typebox").TLiteral<"Book">, import("typebox").TLiteral<"Website">, import("typebox").TLiteral<"BookChapter">, import("typebox").TLiteral<"Handbook">, import("typebox").TLiteral<"TechnicalReport">, import("typebox").TLiteral<"Standard">, import("typebox").TLiteral<"Thesis">, import("typebox").TLiteral<"Patent">, import("typebox").TLiteral<"Dictionary">, import("typebox").TLiteral<"Encyclopedia">, import("typebox").TLiteral<"JournalArticle">, import("typebox").TLiteral<"MagazineArticle">, import("typebox").TLiteral<"NewspaperArticle">, import("typebox").TLiteral<"ConferencePaper">, import("typebox").TLiteral<"ConferenceProceedings">, import("typebox").TLiteral<"Dataset">, import("typebox").TLiteral<"Software">, import("typebox").TLiteral<"OnlineDocument">, import("typebox").TLiteral<"Blog">, import("typebox").TLiteral<"SocialMedia">, import("typebox").TLiteral<"Preprint">, import("typebox").TLiteral<"Video">, import("typebox").TLiteral<"Podcast">, import("typebox").TLiteral<"Course">, import("typebox").TLiteral<"Presentation">, import("typebox").TLiteral<"Interview">, import("typebox").TLiteral<"PersonalCommunication">, import("typebox").TLiteral<"Email">, import("typebox").TLiteral<"Law">, import("typebox").TLiteral<"CourtCase">, import("typebox").TLiteral<"GovernmentPublication">, import("typebox").TLiteral<"Datasheet">, import("typebox").TLiteral<"ProductManual">]>, import("typebox").TLiteral<"unknown">]>;
             url: import("typebox").TOptional<import("typebox").TString>;
-        }>]>, import("typebox").TNull]>;
+        }>]>;
         citationContentHash: import("typebox").TString;
         axiom: import("typebox").TNull;
     }>, import("typebox").TObject<{
         digest: import("typebox").TString;
         id: import("typebox").TString;
-        argumentId: import("typebox").TString;
+        originArgumentId: import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>;
         version: import("typebox").TNumber;
+        published: import("typebox").TBoolean;
+        publishedOn: import("typebox").TUnion<[import("../../schemas/common.js").TDateType, import("typebox").TNull]>;
         claimForkId: import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>;
         creatorId: import("typebox").TString;
         createdOn: import("../../schemas/common.js").TDateType;
@@ -510,8 +516,10 @@ export declare function getUserCitationsImpl(config: TApiClientConfig): Promise<
         claim: import("typebox").TUnion<[import("typebox").TObject<{
             digest: import("typebox").TString;
             id: import("typebox").TString;
-            argumentId: import("typebox").TString;
+            originArgumentId: import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>;
             version: import("typebox").TNumber;
+            published: import("typebox").TBoolean;
+            publishedOn: import("typebox").TUnion<[import("../../schemas/common.js").TDateType, import("typebox").TNull]>;
             claimForkId: import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>;
             creatorId: import("typebox").TString;
             createdOn: import("../../schemas/common.js").TDateType;
@@ -528,8 +536,10 @@ export declare function getUserCitationsImpl(config: TApiClientConfig): Promise<
         }>, import("typebox").TObject<{
             digest: import("typebox").TString;
             id: import("typebox").TString;
-            argumentId: import("typebox").TString;
+            originArgumentId: import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>;
             version: import("typebox").TNumber;
+            published: import("typebox").TBoolean;
+            publishedOn: import("typebox").TUnion<[import("../../schemas/common.js").TDateType, import("typebox").TNull]>;
             claimForkId: import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>;
             creatorId: import("typebox").TString;
             createdOn: import("../../schemas/common.js").TDateType;
@@ -539,8 +549,8 @@ export declare function getUserCitationsImpl(config: TApiClientConfig): Promise<
             title: import("typebox").TNull;
             body: import("typebox").TNull;
             titleContentHash: import("typebox").TNull;
-            url: import("typebox").TString;
-            citation: import("typebox").TUnion<[import("typebox").TUnion<[import("typebox").TUnion<[import("typebox").TIntersect<[import("typebox").TObject<{
+            url: import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>;
+            citation: import("typebox").TUnion<[import("typebox").TUnion<[import("typebox").TIntersect<[import("typebox").TObject<{
                 type: import("typebox").TUnion<[import("typebox").TLiteral<"Book">, import("typebox").TLiteral<"Website">, import("typebox").TLiteral<"BookChapter">, import("typebox").TLiteral<"Handbook">, import("typebox").TLiteral<"TechnicalReport">, import("typebox").TLiteral<"Standard">, import("typebox").TLiteral<"Thesis">, import("typebox").TLiteral<"Patent">, import("typebox").TLiteral<"Dictionary">, import("typebox").TLiteral<"Encyclopedia">, import("typebox").TLiteral<"JournalArticle">, import("typebox").TLiteral<"MagazineArticle">, import("typebox").TLiteral<"NewspaperArticle">, import("typebox").TLiteral<"ConferencePaper">, import("typebox").TLiteral<"ConferenceProceedings">, import("typebox").TLiteral<"Dataset">, import("typebox").TLiteral<"Software">, import("typebox").TLiteral<"OnlineDocument">, import("typebox").TLiteral<"Blog">, import("typebox").TLiteral<"SocialMedia">, import("typebox").TLiteral<"Preprint">, import("typebox").TLiteral<"Video">, import("typebox").TLiteral<"Podcast">, import("typebox").TLiteral<"Course">, import("typebox").TLiteral<"Presentation">, import("typebox").TLiteral<"Interview">, import("typebox").TLiteral<"PersonalCommunication">, import("typebox").TLiteral<"Email">, import("typebox").TLiteral<"Law">, import("typebox").TLiteral<"CourtCase">, import("typebox").TLiteral<"GovernmentPublication">, import("typebox").TLiteral<"Datasheet">, import("typebox").TLiteral<"ProductManual">]>;
             }>, import("typebox").TObject<{
                 type: import("typebox").TLiteral<"Book">;
@@ -967,14 +977,16 @@ export declare function getUserCitationsImpl(config: TApiClientConfig): Promise<
                 text: import("typebox").TString;
                 citationTypeGuess: import("typebox").TUnion<[import("typebox").TUnion<[import("typebox").TLiteral<"Book">, import("typebox").TLiteral<"Website">, import("typebox").TLiteral<"BookChapter">, import("typebox").TLiteral<"Handbook">, import("typebox").TLiteral<"TechnicalReport">, import("typebox").TLiteral<"Standard">, import("typebox").TLiteral<"Thesis">, import("typebox").TLiteral<"Patent">, import("typebox").TLiteral<"Dictionary">, import("typebox").TLiteral<"Encyclopedia">, import("typebox").TLiteral<"JournalArticle">, import("typebox").TLiteral<"MagazineArticle">, import("typebox").TLiteral<"NewspaperArticle">, import("typebox").TLiteral<"ConferencePaper">, import("typebox").TLiteral<"ConferenceProceedings">, import("typebox").TLiteral<"Dataset">, import("typebox").TLiteral<"Software">, import("typebox").TLiteral<"OnlineDocument">, import("typebox").TLiteral<"Blog">, import("typebox").TLiteral<"SocialMedia">, import("typebox").TLiteral<"Preprint">, import("typebox").TLiteral<"Video">, import("typebox").TLiteral<"Podcast">, import("typebox").TLiteral<"Course">, import("typebox").TLiteral<"Presentation">, import("typebox").TLiteral<"Interview">, import("typebox").TLiteral<"PersonalCommunication">, import("typebox").TLiteral<"Email">, import("typebox").TLiteral<"Law">, import("typebox").TLiteral<"CourtCase">, import("typebox").TLiteral<"GovernmentPublication">, import("typebox").TLiteral<"Datasheet">, import("typebox").TLiteral<"ProductManual">]>, import("typebox").TLiteral<"unknown">]>;
                 url: import("typebox").TOptional<import("typebox").TString>;
-            }>]>, import("typebox").TNull]>;
+            }>]>;
             citationContentHash: import("typebox").TString;
             axiom: import("typebox").TNull;
         }>, import("typebox").TObject<{
             digest: import("typebox").TString;
             id: import("typebox").TString;
-            argumentId: import("typebox").TString;
+            originArgumentId: import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>;
             version: import("typebox").TNumber;
+            published: import("typebox").TBoolean;
+            publishedOn: import("typebox").TUnion<[import("../../schemas/common.js").TDateType, import("typebox").TNull]>;
             claimForkId: import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>;
             creatorId: import("typebox").TString;
             createdOn: import("../../schemas/common.js").TDateType;

package/dist/api-client/user/citations.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"citations.d.ts","sourceRoot":"","sources":["../../../src/api-client/user/citations.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAA;AAGpD,wBAAsB,oBAAoB,CAAC,MAAM,EAAE,gBAAgB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;MAQlE"}
+{"version":3,"file":"citations.d.ts","sourceRoot":"","sources":["../../../src/api-client/user/citations.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAA;AAGpD,wBAAsB,oBAAoB,CAAC,MAAM,EAAE,gBAAgB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;MAQlE"}

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

@@ -21,8 +21,10 @@ export declare function getUserClaimsImpl(config: TApiClientConfig, argumentId?:
     claim: import("typebox").TUnion<[import("typebox").TObject<{
         digest: import("typebox").TString;
         id: import("typebox").TString;
-        argumentId: import("typebox").TString;
+        originArgumentId: import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>;
         version: import("typebox").TNumber;
+        published: import("typebox").TBoolean;
+        publishedOn: import("typebox").TUnion<[import("../../schemas/common.js").TDateType, import("typebox").TNull]>;
         claimForkId: import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>;
         creatorId: import("typebox").TString;
         createdOn: import("../../schemas/common.js").TDateType;
@@ -39,8 +41,10 @@ export declare function getUserClaimsImpl(config: TApiClientConfig, argumentId?:
     }>, import("typebox").TObject<{
         digest: import("typebox").TString;
         id: import("typebox").TString;
-        argumentId: import("typebox").TString;
+        originArgumentId: import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>;
         version: import("typebox").TNumber;
+        published: import("typebox").TBoolean;
+        publishedOn: import("typebox").TUnion<[import("../../schemas/common.js").TDateType, import("typebox").TNull]>;
         claimForkId: import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>;
         creatorId: import("typebox").TString;
         createdOn: import("../../schemas/common.js").TDateType;
@@ -50,8 +54,8 @@ export declare function getUserClaimsImpl(config: TApiClientConfig, argumentId?:
         title: import("typebox").TNull;
         body: import("typebox").TNull;
         titleContentHash: import("typebox").TNull;
-        url: import("typebox").TString;
-        citation: import("typebox").TUnion<[import("typebox").TUnion<[import("typebox").TUnion<[import("typebox").TIntersect<[import("typebox").TObject<{
+        url: import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>;
+        citation: import("typebox").TUnion<[import("typebox").TUnion<[import("typebox").TIntersect<[import("typebox").TObject<{
             type: import("typebox").TUnion<[import("typebox").TLiteral<"Book">, import("typebox").TLiteral<"Website">, import("typebox").TLiteral<"BookChapter">, import("typebox").TLiteral<"Handbook">, import("typebox").TLiteral<"TechnicalReport">, import("typebox").TLiteral<"Standard">, import("typebox").TLiteral<"Thesis">, import("typebox").TLiteral<"Patent">, import("typebox").TLiteral<"Dictionary">, import("typebox").TLiteral<"Encyclopedia">, import("typebox").TLiteral<"JournalArticle">, import("typebox").TLiteral<"MagazineArticle">, import("typebox").TLiteral<"NewspaperArticle">, import("typebox").TLiteral<"ConferencePaper">, import("typebox").TLiteral<"ConferenceProceedings">, import("typebox").TLiteral<"Dataset">, import("typebox").TLiteral<"Software">, import("typebox").TLiteral<"OnlineDocument">, import("typebox").TLiteral<"Blog">, import("typebox").TLiteral<"SocialMedia">, import("typebox").TLiteral<"Preprint">, import("typebox").TLiteral<"Video">, import("typebox").TLiteral<"Podcast">, import("typebox").TLiteral<"Course">, import("typebox").TLiteral<"Presentation">, import("typebox").TLiteral<"Interview">, import("typebox").TLiteral<"PersonalCommunication">, import("typebox").TLiteral<"Email">, import("typebox").TLiteral<"Law">, import("typebox").TLiteral<"CourtCase">, import("typebox").TLiteral<"GovernmentPublication">, import("typebox").TLiteral<"Datasheet">, import("typebox").TLiteral<"ProductManual">]>;
         }>, import("typebox").TObject<{
             type: import("typebox").TLiteral<"Book">;
@@ -478,14 +482,16 @@ export declare function getUserClaimsImpl(config: TApiClientConfig, argumentId?:
             text: import("typebox").TString;
             citationTypeGuess: import("typebox").TUnion<[import("typebox").TUnion<[import("typebox").TLiteral<"Book">, import("typebox").TLiteral<"Website">, import("typebox").TLiteral<"BookChapter">, import("typebox").TLiteral<"Handbook">, import("typebox").TLiteral<"TechnicalReport">, import("typebox").TLiteral<"Standard">, import("typebox").TLiteral<"Thesis">, import("typebox").TLiteral<"Patent">, import("typebox").TLiteral<"Dictionary">, import("typebox").TLiteral<"Encyclopedia">, import("typebox").TLiteral<"JournalArticle">, import("typebox").TLiteral<"MagazineArticle">, import("typebox").TLiteral<"NewspaperArticle">, import("typebox").TLiteral<"ConferencePaper">, import("typebox").TLiteral<"ConferenceProceedings">, import("typebox").TLiteral<"Dataset">, import("typebox").TLiteral<"Software">, import("typebox").TLiteral<"OnlineDocument">, import("typebox").TLiteral<"Blog">, import("typebox").TLiteral<"SocialMedia">, import("typebox").TLiteral<"Preprint">, import("typebox").TLiteral<"Video">, import("typebox").TLiteral<"Podcast">, import("typebox").TLiteral<"Course">, import("typebox").TLiteral<"Presentation">, import("typebox").TLiteral<"Interview">, import("typebox").TLiteral<"PersonalCommunication">, import("typebox").TLiteral<"Email">, import("typebox").TLiteral<"Law">, import("typebox").TLiteral<"CourtCase">, import("typebox").TLiteral<"GovernmentPublication">, import("typebox").TLiteral<"Datasheet">, import("typebox").TLiteral<"ProductManual">]>, import("typebox").TLiteral<"unknown">]>;
             url: import("typebox").TOptional<import("typebox").TString>;
-        }>]>, import("typebox").TNull]>;
+        }>]>;
         citationContentHash: import("typebox").TString;
         axiom: import("typebox").TNull;
     }>, import("typebox").TObject<{
         digest: import("typebox").TString;
         id: import("typebox").TString;
-        argumentId: import("typebox").TString;
+        originArgumentId: import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>;
         version: import("typebox").TNumber;
+        published: import("typebox").TBoolean;
+        publishedOn: import("typebox").TUnion<[import("../../schemas/common.js").TDateType, import("typebox").TNull]>;
         claimForkId: import("typebox").TUnion<[import("typebox").TString, import("typebox").TNull]>;
         creatorId: import("typebox").TString;
         createdOn: import("../../schemas/common.js").TDateType;
@@ -608,6 +614,7 @@ export declare function getUserClaimsImpl(config: TApiClientConfig, argumentId?:
         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>;
+        derivedClaimVersion: import("typebox").TOptional<import("typebox").TUnion<[import("typebox").TNumber, import("typebox").TNull]>>;
     }>]>>>;
 }>>>>;
 //# sourceMappingURL=claims.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"claims.d.ts","sourceRoot":"","sources":["../../../src/api-client/user/claims.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAA;AAGpD,wBAAsB,iBAAiB,CACnC,MAAM,EAAE,gBAAgB,EACxB,UAAU,CAAC,EAAE,MAAM;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;MAYtB"}
+{"version":3,"file":"claims.d.ts","sourceRoot":"","sources":["../../../src/api-client/user/claims.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAA;AAGpD,wBAAsB,iBAAiB,CACnC,MAAM,EAAE,gBAAgB,EACxB,UAAU,CAAC,EAAE,MAAM;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;MAYtB"}

package/dist/engine/engine.d.ts

@@ -1,4 +1,4 @@
-import { ArgumentEngine, type TArgumentEngineSnapshot, type TCoreValidationIssue, type TReactiveSnapshot } from "@proposit/proposit-core";
+import { ArgumentEngine, type TArgumentEngineSnapshot, type TCoreValidationIssue, type TInvariantValidationResult, type TReactiveSnapshot } from "@proposit/proposit-core";
 import type { TArgument } from "../schemas/model/arguments.js";
 import type { TPropositionalExpressionCombined, TPropositionalPremise, TPropositionalVariable } from "../schemas/logic.js";
 import type { TClaim } from "../schemas/model/claims.js";
@@ -67,6 +67,63 @@ export declare class PropositArgumentEngine extends ArgumentEngine<TArgument, TP
      * Overrides the base class default which returns true unconditionally.
      */
     canFork(): boolean;
+    /**
+     * Resolves the claim type a variable references, or `undefined` when the
+     * variable is not claim-bound (premise-bound variables reference no claim).
+     * Reads the engine's claim library (`getClaim`) rather than the per-engine
+     * `claimsMap`, because the library is populated for the whole load/mutation
+     * lifecycle while `claimsMap` is filled only after a snapshot restore — so
+     * the library is the reliable source during the load-validation sweep.
+     */
+    private resolveVariableClaimType;
+    /**
+     * Collects a violation for every freeform premise that references a
+     * derivation-only claim type (`citation` / `axiomatic`) through one of its
+     * member variables. Walks each premise's expressions, resolves the claim
+     * type behind each variable expression, and flags the premise when any
+     * referenced claim is derivation-only.
+     */
+    private collectTypedClaimsInFreeformViolations;
+    /**
+     * Runs the freeform-premise typed-claim check, gated on `assistive`
+     * behavior. Returns an `ok: false` result when a freeform premise
+     * references a derivation-only claim. The gate keeps the
+     * derivation-population helpers — which flip to `permissive` mid-build and
+     * may momentarily hold a transient intermediate tree — from being tripped
+     * while they construct a valid final shape.
+     */
+    private assertNoTypedClaimsInFreeform;
+    /**
+     * Folds the freeform-premise typed-claim invariant into core's invariant
+     * sweep. Because core's mutation wrapper (`withValidation`) and the
+     * snapshot-load paths (`fromSnapshot` / `fromData` / `rollback`) all run
+     * this method, overriding it enforces the invariant on both mutation and
+     * load: an argument-level mutation that would leave a citation/axiomatic
+     * claim in a freeform premise is rolled back and throws, and a snapshot
+     * carrying that placement fails to load. Premise-level expression
+     * mutations validate through a separate per-premise callback, re-wired in
+     * {@link installFreeformTypedClaimGuards} to enforce the same invariant.
+     */
+    validateInvariants(): TInvariantValidationResult;
+    /**
+     * Wraps core's universal mutation wrapper. Core re-points every premise's
+     * after-mutation validation callback to its own default at the end of each
+     * argument-level mutation, so the typed-claim guards must be re-installed
+     * afterwards to stay in effect for the next premise-level expression
+     * mutation. The mutation itself is enforced by the overridden
+     * {@link validateInvariants} that core's wrapper invokes.
+     */
+    protected withValidation<T>(fn: () => T): T;
+    /**
+     * Re-wires every premise's after-mutation validation callback so that
+     * premise-level expression mutations also enforce the freeform-premise
+     * typed-claim invariant. Core's default callback runs only its lighter
+     * after-premise-mutation sweep, which never reaches the typed-claim check;
+     * this callback runs the typed-claim check first and, when clean, the full
+     * invariant sweep ({@link validateInvariants}) so a violating placement is
+     * rolled back and throws at the moment the expression is added.
+     */
+    private installFreeformTypedClaimGuards;
     protected buildReactiveSnapshot(): TProjectReactiveSnapshot;
     /**
      * Creates a PropositArgumentEngine from server-provided data: an engine

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

@@ -1 +1 @@
-{"version":3,"file":"engine.d.ts","sourceRoot":"","sources":["../../src/engine/engine.ts"],"names":[],"mappings":"AAAA,OAAO,EACH,cAAc,EAEd,KAAK,uBAAuB,EAG5B,KAAK,oBAAoB,EACzB,KAAK,iBAAiB,EACzB,MAAM,yBAAyB,CAAA;AAEhC,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,+BAA+B,CAAA;AAC9D,OAAO,KAAK,EACR,gCAAgC,EAChC,qBAAqB,EACrB,sBAAsB,EACzB,MAAM,qBAAqB,CAAA;AAC5B,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,4BAA4B,CAAA;AACxD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,+BAA+B,CAAA;AAYnE,0FAA0F;AAC1F,MAAM,MAAM,gBAAgB,GAAG,uBAAuB,CAClD,SAAS,EACT,qBAAqB,EACrB,gCAAgC,EAChC,sBAAsB,CACzB,CAAA;AAED;;;GAGG;AACH,MAAM,MAAM,wBAAwB,GAAG,iBAAiB,CACpD,SAAS,EACT,qBAAqB,EACrB,gCAAgC,EAChC,sBAAsB,CACzB,GAAG;IACA,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;IAC9B,SAAS,EAAE,MAAM,CAAC,MAAM,EAAE,cAAc,EAAE,CAAC,CAAA;IAC3C,gBAAgB,EAAE,oBAAoB,EAAE,CAAA;CAC3C,CAAA;AAED;;;;;;;;GAQG;AACH,qBAAa,sBAAuB,SAAQ,cAAc,CACtD,SAAS,EACT,qBAAqB,EACrB,gCAAgC,EAChC,sBAAsB,CACzB;IAGG,OAAO,CAAC,SAAS,CAAqB;IACtC,OAAO,CAAC,YAAY,CAAsC;IAO1D,OAAO,CAAC,YAAY,CAAoC;gBAGpD,GAAG,IAAI,EAAE,qBAAqB,CAC1B,OAAO,cAAc,CACjB,SAAS,EACT,qBAAqB,EACrB,gCAAgC,EAChC,sBAAsB,CACzB,CACJ;IA8DL;;;;;;;;;;;;;;;OAeG;IACM,QAAQ,CACb,QAAQ,EAAE,UAAU,CAChB,YAAY,CACR,OAAO,cAAc,CACjB,SAAS,EACT,qBAAqB,EACrB,gCAAgC,EAChC,sBAAsB,CACzB,CACJ,CAAC,UAAU,CAAC,CAChB,CAAC,CAAC,CAAC,GACL,IAAI;IAUP,OAAO,CAAC,WAAW,CAAO;IAC1B,OAAO,CAAC,cAAc,CAAO;IAG7B,OAAO,CAAC,YAAY,CAA6B;IACjD,OAAO,CAAC,eAAe,CAAuC;IAG9D,OAAO,CAAC,qBAAqB,CAAsC;IACnE,OAAO,CAAC,gBAAgB,CAOT;IAIf,OAAO,CAAC,eAAe;IAQvB,OAAO,CAAC,kBAAkB;IAU1B,kBAAkB,IAAI,wBAAwB;IAiB9C,eAAe,CAAC,EAAE,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS;IAI/C,SAAS,IAAI,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC;IAInC,QAAQ,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI;IAM7B,WAAW,CAAC,EAAE,EAAE,MAAM,GAAG,IAAI;IAS7B,oBAAoB,CAAC,OAAO,EAAE,MAAM,GAAG,cAAc,EAAE;IAIvD,YAAY,IAAI,MAAM,CAAC,MAAM,EAAE,cAAc,EAAE,CAAC;IAIhD,WAAW,CAAC,EAAE,EAAE,cAAc,GAAG,IAAI;IAOrC,cAAc,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI;IAqBpC;;;OAGG;IACa,OAAO,IAAI,OAAO;cAOf,qBAAqB,IAAI,wBAAwB;IAyDpE;;;;;;OAMG;IACH,MAAM,CAAC,cAAc,CACjB,QAAQ,EAAE,gBAAgB,EAC1B,MAAM,EAAE,MAAM,EAAE,EAChB,SAAS,EAAE,cAAc,EAAE,GAC5B,sBAAsB;CAgE5B"}
+{"version":3,"file":"engine.d.ts","sourceRoot":"","sources":["../../src/engine/engine.ts"],"names":[],"mappings":"AAAA,OAAO,EACH,cAAc,EAGd,KAAK,uBAAuB,EAK5B,KAAK,oBAAoB,EACzB,KAAK,0BAA0B,EAE/B,KAAK,iBAAiB,EACzB,MAAM,yBAAyB,CAAA;AAEhC,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,+BAA+B,CAAA;AAC9D,OAAO,KAAK,EACR,gCAAgC,EAChC,qBAAqB,EACrB,sBAAsB,EACzB,MAAM,qBAAqB,CAAA;AAC5B,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,4BAA4B,CAAA;AACxD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,+BAA+B,CAAA;AA2BnE,0FAA0F;AAC1F,MAAM,MAAM,gBAAgB,GAAG,uBAAuB,CAClD,SAAS,EACT,qBAAqB,EACrB,gCAAgC,EAChC,sBAAsB,CACzB,CAAA;AAED;;;GAGG;AACH,MAAM,MAAM,wBAAwB,GAAG,iBAAiB,CACpD,SAAS,EACT,qBAAqB,EACrB,gCAAgC,EAChC,sBAAsB,CACzB,GAAG;IACA,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;IAC9B,SAAS,EAAE,MAAM,CAAC,MAAM,EAAE,cAAc,EAAE,CAAC,CAAA;IAC3C,gBAAgB,EAAE,oBAAoB,EAAE,CAAA;CAC3C,CAAA;AAED;;;;;;;;GAQG;AACH,qBAAa,sBAAuB,SAAQ,cAAc,CACtD,SAAS,EACT,qBAAqB,EACrB,gCAAgC,EAChC,sBAAsB,CACzB;IAGG,OAAO,CAAC,SAAS,CAAqB;IACtC,OAAO,CAAC,YAAY,CAAsC;IAO1D,OAAO,CAAC,YAAY,CAAoC;gBAGpD,GAAG,IAAI,EAAE,qBAAqB,CAC1B,OAAO,cAAc,CACjB,SAAS,EACT,qBAAqB,EACrB,gCAAgC,EAChC,sBAAsB,CACzB,CACJ;IA8DL;;;;;;;;;;;;;;;OAeG;IACM,QAAQ,CACb,QAAQ,EAAE,UAAU,CAChB,YAAY,CACR,OAAO,cAAc,CACjB,SAAS,EACT,qBAAqB,EACrB,gCAAgC,EAChC,sBAAsB,CACzB,CACJ,CAAC,UAAU,CAAC,CAChB,CAAC,CAAC,CAAC,GACL,IAAI;IAcP,OAAO,CAAC,WAAW,CAAO;IAC1B,OAAO,CAAC,cAAc,CAAO;IAG7B,OAAO,CAAC,YAAY,CAA6B;IACjD,OAAO,CAAC,eAAe,CAAuC;IAG9D,OAAO,CAAC,qBAAqB,CAAsC;IACnE,OAAO,CAAC,gBAAgB,CAOT;IAIf,OAAO,CAAC,eAAe;IAQvB,OAAO,CAAC,kBAAkB;IAU1B,kBAAkB,IAAI,wBAAwB;IAiB9C,eAAe,CAAC,EAAE,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS;IAI/C,SAAS,IAAI,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC;IAInC,QAAQ,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI;IAM7B,WAAW,CAAC,EAAE,EAAE,MAAM,GAAG,IAAI;IAS7B,oBAAoB,CAAC,OAAO,EAAE,MAAM,GAAG,cAAc,EAAE;IAIvD,YAAY,IAAI,MAAM,CAAC,MAAM,EAAE,cAAc,EAAE,CAAC;IAIhD,WAAW,CAAC,EAAE,EAAE,cAAc,GAAG,IAAI;IAOrC,cAAc,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI;IAqBpC;;;OAGG;IACa,OAAO,IAAI,OAAO;IAOlC;;;;;;;OAOG;IACH,OAAO,CAAC,wBAAwB;IAWhC;;;;;;OAMG;IACH,OAAO,CAAC,sCAAsC;IAwB9C;;;;;;;OAOG;IACH,OAAO,CAAC,6BAA6B;IAUrC;;;;;;;;;;OAUG;IACa,kBAAkB,IAAI,0BAA0B;IAUhE;;;;;;;OAOG;cACgB,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,MAAM,CAAC,GAAG,CAAC;IAQpD;;;;;;;;OAQG;IACH,OAAO,CAAC,+BAA+B;cAYpB,qBAAqB,IAAI,wBAAwB;IAiEpE;;;;;;OAMG;IACH,MAAM,CAAC,cAAc,CACjB,QAAQ,EAAE,gBAAgB,EAC1B,MAAM,EAAE,MAAM,EAAE,EAChB,SAAS,EAAE,cAAc,EAAE,GAC5B,sBAAsB;CAgE5B"}

package/dist/engine/engine.js

@@ -1,6 +1,19 @@
-import { ArgumentEngine, InvariantViolationError, } from "@proposit/proposit-core";
+import { ArgumentEngine, InvariantViolationError, isClaimBound, } from "@proposit/proposit-core";
 import { CHECKSUM_CONFIG } from "../checksum.js";
 import { createClaimLookup } from "./library-adapters.js";
+// A non-derivation (freeform) premise must never reference a claim of type
+// `citation` or `axiomatic`: those claim types belong only in derivation
+// premises, where the citation/axiom is the antecedent supporting a derived
+// claim. Placing one in a freeform premise produces a domain-invalid argument
+// (e.g. a citation sitting as a bare antecedent renders as a visually empty
+// node). This rule is enforced here in the project engine; core leaves the
+// equivalent grammar tier informational.
+const PREMISE_TYPED_CLAIM_IN_FREEFORM = "PREMISE_TYPED_CLAIM_IN_FREEFORM";
+// Claim types that may only appear in derivation premises.
+const DERIVATION_ONLY_CLAIM_TYPES = new Set([
+    "citation",
+    "axiomatic",
+]);
 /**
  * Project-specific extension of ArgumentEngine that manages domain data
  * (claims and citation edges) alongside the core
@@ -103,6 +116,10 @@ export class PropositArgumentEngine extends ArgumentEngine {
         }
         finally {
             this.claimContext.permissiveForRestore = false;
+            // rollback rebuilds the premise map and re-points each premise's
+            // validation callback to core's default; re-install the typed-claim
+            // guards so premise-level expression mutations stay enforced.
+            this.installFreeformTypedClaimGuards();
         }
     }
     // Dirty tracking for structural sharing
@@ -203,6 +220,128 @@ export class PropositArgumentEngine extends ArgumentEngine {
         const arg = this.getArgument();
         return arg?.published === true;
     }
+    // ──── Freeform-premise typed-claim invariant ────
+    /**
+     * Resolves the claim type a variable references, or `undefined` when the
+     * variable is not claim-bound (premise-bound variables reference no claim).
+     * Reads the engine's claim library (`getClaim`) rather than the per-engine
+     * `claimsMap`, because the library is populated for the whole load/mutation
+     * lifecycle while `claimsMap` is filled only after a snapshot restore — so
+     * the library is the reliable source during the load-validation sweep.
+     */
+    resolveVariableClaimType(variableId) {
+        const variable = this.getVariable(variableId);
+        if (!variable || !isClaimBound(variable))
+            return undefined;
+        const bound = variable;
+        return this.getClaim(bound.claimId, bound.claimVersion)?.type;
+    }
+    /**
+     * Collects a violation for every freeform premise that references a
+     * derivation-only claim type (`citation` / `axiomatic`) through one of its
+     * member variables. Walks each premise's expressions, resolves the claim
+     * type behind each variable expression, and flags the premise when any
+     * referenced claim is derivation-only.
+     */
+    collectTypedClaimsInFreeformViolations() {
+        const violations = [];
+        for (const pe of this.listPremises()) {
+            if (pe.toPremiseData().type !== "freeform")
+                continue;
+            const premiseId = pe.getId();
+            for (const expr of pe.getExpressions()) {
+                if (expr.type !== "variable")
+                    continue;
+                const claimType = this.resolveVariableClaimType(expr.variableId);
+                if (claimType === undefined)
+                    continue;
+                if (!DERIVATION_ONLY_CLAIM_TYPES.has(claimType))
+                    continue;
+                violations.push({
+                    code: PREMISE_TYPED_CLAIM_IN_FREEFORM,
+                    message: `Freeform premise ${premiseId} references a ${claimType} claim; ${claimType} claims may only appear in derivation premises.`,
+                    entityType: "premise",
+                    entityId: premiseId,
+                    premiseId,
+                });
+                // One violation per premise is enough to flag/repair it.
+                break;
+            }
+        }
+        return violations;
+    }
+    /**
+     * Runs the freeform-premise typed-claim check, gated on `assistive`
+     * behavior. Returns an `ok: false` result when a freeform premise
+     * references a derivation-only claim. The gate keeps the
+     * derivation-population helpers — which flip to `permissive` mid-build and
+     * may momentarily hold a transient intermediate tree — from being tripped
+     * while they construct a valid final shape.
+     */
+    assertNoTypedClaimsInFreeform() {
+        if (this.behavior !== "assistive") {
+            return { ok: true, violations: [] };
+        }
+        const violations = this.collectTypedClaimsInFreeformViolations();
+        return { ok: violations.length === 0, violations };
+    }
+    // ──── Mutation + load enforcement overrides ────
+    /**
+     * Folds the freeform-premise typed-claim invariant into core's invariant
+     * sweep. Because core's mutation wrapper (`withValidation`) and the
+     * snapshot-load paths (`fromSnapshot` / `fromData` / `rollback`) all run
+     * this method, overriding it enforces the invariant on both mutation and
+     * load: an argument-level mutation that would leave a citation/axiomatic
+     * claim in a freeform premise is rolled back and throws, and a snapshot
+     * carrying that placement fails to load. Premise-level expression
+     * mutations validate through a separate per-premise callback, re-wired in
+     * {@link installFreeformTypedClaimGuards} to enforce the same invariant.
+     */
+    validateInvariants() {
+        const base = super.validateInvariants();
+        const typedClaims = this.assertNoTypedClaimsInFreeform();
+        if (typedClaims.ok)
+            return base;
+        return {
+            ok: false,
+            violations: [...base.violations, ...typedClaims.violations],
+        };
+    }
+    /**
+     * Wraps core's universal mutation wrapper. Core re-points every premise's
+     * after-mutation validation callback to its own default at the end of each
+     * argument-level mutation, so the typed-claim guards must be re-installed
+     * afterwards to stay in effect for the next premise-level expression
+     * mutation. The mutation itself is enforced by the overridden
+     * {@link validateInvariants} that core's wrapper invokes.
+     */
+    withValidation(fn) {
+        try {
+            return super.withValidation(fn);
+        }
+        finally {
+            this.installFreeformTypedClaimGuards();
+        }
+    }
+    /**
+     * Re-wires every premise's after-mutation validation callback so that
+     * premise-level expression mutations also enforce the freeform-premise
+     * typed-claim invariant. Core's default callback runs only its lighter
+     * after-premise-mutation sweep, which never reaches the typed-claim check;
+     * this callback runs the typed-claim check first and, when clean, the full
+     * invariant sweep ({@link validateInvariants}) so a violating placement is
+     * rolled back and throws at the moment the expression is added.
+     */
+    installFreeformTypedClaimGuards() {
+        for (const pe of this.listPremises()) {
+            pe.setArgumentValidateCallback(() => {
+                const typedClaims = this.assertNoTypedClaimsInFreeform();
+                if (!typedClaims.ok)
+                    return typedClaims;
+                return this.validateInvariants();
+            });
+        }
+    }
     // ──── Reactive snapshot override ────
     buildReactiveSnapshot() {
         const base = super.buildReactiveSnapshot();
@@ -224,7 +363,14 @@ export class PropositArgumentEngine extends ArgumentEngine {
                 ? []
                 : invariants.violations.map((v) => ({
                     code: v.code,
-                    severity: "error",
+                    // The freeform-premise typed-claim violation is a
+                    // repairable placement issue (move the claim into a
+                    // derivation premise), so surface it as a warning
+                    // rather than a blocking error in the reactive view.
+                    // Mutation/load paths still throw on it.
+                    severity: v.code === PREMISE_TYPED_CLAIM_IN_FREEFORM
+                        ? "warning"
+                        : "error",
                     message: v.message,
                     premiseId: v.premiseId,
                 }));