@proposit/shared 0.5.1 → 0.6.1

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, } from "./premises.js";
+export { mutateCreatePremise, mutateUpdatePremiseRole, mutateUpdatePremiseExtras, mutateDeletePremise, mutateCreateDerivationPremise, clearDerivationAntecedent, populateDerivationFromCitations, } 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,GACtB,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,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"}

package/dist/engine/mutations/index.js

@@ -1,5 +1,5 @@
 export { mergeChangesets } from "./types.js";
-export { mutateCreatePremise, mutateUpdatePremiseRole, mutateUpdatePremiseExtras, mutateDeletePremise, } from "./premises.js";
+export { mutateCreatePremise, mutateUpdatePremiseRole, mutateUpdatePremiseExtras, mutateDeletePremise, mutateCreateDerivationPremise, clearDerivationAntecedent, populateDerivationFromCitations, } 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,GACtB,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,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"}

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

@@ -1,4 +1,4 @@
-import type { TPremiseRoleType, TPropositionalPremise } from "../../schemas/logic.js";
+import type { TPremiseRoleType, TPropositionalPremise, TPropositionalVariable, TPropositionalExpressionCombined } from "../../schemas/logic.js";
 import type { ProjectEngine, ProjectChangeset } from "./types.js";
 export declare function mutateCreatePremise(engine: ProjectEngine, premiseId: string, data: {
     argumentId: string;
@@ -22,4 +22,59 @@ export declare function mutateDeletePremise(engine: ProjectEngine, premiseId: st
     removed: boolean;
     changes: ProjectChangeset;
 };
+/**
+ * Atomically creates a derivation premise + claim-bound consequent variable +
+ * naked-Q variable expression. The naked-Q form (single variable expression at
+ * the root) is the only valid empty antecedent shape; populate the antecedent
+ * via `populateDerivationFromCitations` once citations exist.
+ *
+ * All three IDs are caller-controlled so the live engine path produces the same
+ * row IDs as the server's raw-SQL migration backfill, simplifying post-migration
+ * verification.
+ *
+ * @throws InvariantViolationError(CREATE_DERIVATION_CLAIM_NOT_FOUND) when
+ *         `derivedClaimId` does not resolve in the engine's claim library.
+ */
+export declare function mutateCreateDerivationPremise(engine: ProjectEngine, premiseId: string, data: {
+    argumentId: string;
+    argumentVersion: number;
+    creatorId: string;
+    createdOn: Date;
+    derivedClaimId: string;
+    consequentVariableId: string;
+    consequentExpressionId: string;
+}): {
+    premise: TPropositionalPremise;
+    consequentVariable: TPropositionalVariable;
+    consequentExpression: TPropositionalExpressionCombined;
+    changes: ProjectChangeset;
+};
+/**
+ * Removes the IMPLIES/OR antecedent subtree from a populated derivation
+ * premise, leaving the premise in the naked-Q form (just the consequent
+ * variable as root). Idempotent: a no-op when the premise is already naked.
+ *
+ * @throws InvariantViolationError(DERIVATION_TYPE_MISMATCH) when `premiseId`
+ *         resolves to a non-derivation premise.
+ */
+export declare function clearDerivationAntecedent(engine: ProjectEngine, premiseId: string): {
+    changes: ProjectChangeset;
+};
+/**
+ * Builds the `IMPLIES(OR(citation_var_1, …, citation_var_n), Q)` tree on a
+ * naked derivation premise. For `n=1`, produces `IMPLIES(citation_var_1, Q)`.
+ * For `n=0`, returns an empty changeset.
+ *
+ * Caller-supplied `sourceClaimIds` ordering determines the OR's child positions
+ * (or the single-source antecedent for n=1).
+ *
+ * @throws InvariantViolationError(DERIVATION_TYPE_MISMATCH) when `premiseId`
+ *         resolves to a non-derivation premise.
+ * @throws InvariantViolationError(DERIVATION_ANTECEDENT_NON_EMPTY) when the
+ *         premise's root expression is already an IMPLIES (caller forgot to
+ *         call `clearDerivationAntecedent` first).
+ */
+export declare function populateDerivationFromCitations(engine: ProjectEngine, premiseId: string, sourceClaimIds: string[]): {
+    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":"AAAA,OAAO,KAAK,EACR,gBAAgB,EAChB,qBAAqB,EACxB,MAAM,wBAAwB,CAAA;AAC/B,OAAO,KAAK,EAAE,aAAa,EAAE,gBAAgB,EAAE,MAAM,YAAY,CAAA;AAGjE,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,CA+B/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"}
+{"version":3,"file":"premises.d.ts","sourceRoot":"","sources":["../../../src/engine/mutations/premises.ts"],"names":[],"mappings":"AAKA,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;AAQjE,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,CA+B/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;;;;;;;;;;;;GAYG;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,EAAE,MAAM,CAAA;IAC5B,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,CA+GA;AAED;;;;;;;GAOG;AACH,wBAAgB,yBAAyB,CACrC,MAAM,EAAE,aAAa,EACrB,SAAS,EAAE,MAAM,GAClB;IAAE,OAAO,EAAE,gBAAgB,CAAA;CAAE,CA2G/B;AAED;;;;;;;;;;;;;GAaG;AACH,wBAAgB,+BAA+B,CAC3C,MAAM,EAAE,aAAa,EACrB,SAAS,EAAE,MAAM,EACjB,cAAc,EAAE,MAAM,EAAE,GACzB;IAAE,OAAO,EAAE,gBAAgB,CAAA;CAAE,CAoJ/B"}

package/dist/engine/mutations/premises.js

@@ -1,4 +1,9 @@
+import { InvariantViolationError, PERMISSIVE_GRAMMAR_CONFIG, } from "@proposit/proposit-core";
 import { mergeChangesets } from "./types.js";
+// Error codes mirrored from `@proposit/proposit-core`. Surfaced in messages so
+// callers (server, tests) can match on string codes without importing core.
+const DERIVATION_TYPE_MISMATCH = "DERIVATION_TYPE_MISMATCH";
+const DERIVATION_ANTECEDENT_NON_EMPTY = "DERIVATION_ANTECEDENT_NON_EMPTY";
 export function mutateCreatePremise(engine, premiseId, data) {
     if (data.role === "conclusion" && engine.getConclusionPremise()) {
         throw new Error("A conclusion premise already exists for this argument version");
@@ -51,4 +56,499 @@ export function mutateDeletePremise(engine, premiseId) {
     const { result, changes } = engine.removePremise(premiseId);
     return { removed: result !== undefined, changes };
 }
+// ──── Derivation premise mutations ─────────────────────────────────────────
+/**
+ * Atomically creates a derivation premise + claim-bound consequent variable +
+ * naked-Q variable expression. The naked-Q form (single variable expression at
+ * the root) is the only valid empty antecedent shape; populate the antecedent
+ * via `populateDerivationFromCitations` once citations exist.
+ *
+ * All three IDs are caller-controlled so the live engine path produces the same
+ * row IDs as the server's raw-SQL migration backfill, simplifying post-migration
+ * verification.
+ *
+ * @throws InvariantViolationError(CREATE_DERIVATION_CLAIM_NOT_FOUND) when
+ *         `derivedClaimId` does not resolve in the engine's claim library.
+ */
+export function mutateCreateDerivationPremise(engine, premiseId, data) {
+    // 1. Create the derivation premise. Core auto-creates: a premise-bound
+    //    variable for the new premise, a claim-bound consequent variable
+    //    (engine-generated id), and a naked-Q variable expression rooted on
+    //    that consequent variable (engine-generated id).
+    const { result: pm, changes: premiseChanges } = engine.createPremiseWithId(premiseId, {
+        type: "derivation",
+        derivedClaimId: data.derivedClaimId,
+        extras: {
+            creatorId: data.creatorId,
+            createdOn: data.createdOn,
+            role: "supporting",
+        },
+    });
+    // 2. Identify the auto-generated entities so we can swap their IDs for the
+    //    caller-minted ones.
+    const autoExpressions = pm.getExpressions();
+    if (autoExpressions.length !== 1) {
+        throw new Error(`mutateCreateDerivationPremise: expected exactly one auto-created expression, got ${autoExpressions.length}`);
+    }
+    const autoExpr = autoExpressions[0];
+    if (autoExpr.type !== "variable" || autoExpr.variableId == null) {
+        throw new Error("mutateCreateDerivationPremise: auto-created naked-Q expression is not a variable expression");
+    }
+    const autoVarId = autoExpr.variableId;
+    const autoVar = engine.getVariable(autoVarId);
+    if (!autoVar || !("claimId" in autoVar)) {
+        throw new Error("mutateCreateDerivationPremise: auto-created consequent variable is not claim-bound");
+    }
+    // 3. Update the engine's internal state to use caller-minted IDs. The
+    //    intermediate changesets from these calls are discarded; we filter
+    //    the auto entities out of `premiseChanges` (step 4) so the merged
+    //    result never references them.
+    pm.removeExpression(autoExpr.id, true);
+    engine.removeVariable(autoVarId);
+    const { result: consequentVariable, changes: addVarChanges } = engine.addVariable({
+        id: data.consequentVariableId,
+        argumentId: data.argumentId,
+        argumentVersion: data.argumentVersion,
+        claimId: data.derivedClaimId,
+        claimVersion: autoVar.claimVersion,
+        symbol: autoVar.symbol,
+        creatorId: data.creatorId,
+        createdOn: data.createdOn,
+    });
+    const { result: consequentExpression, changes: addExprChanges } = pm.appendExpression(null, {
+        id: data.consequentExpressionId,
+        argumentId: data.argumentId,
+        argumentVersion: data.argumentVersion,
+        premiseId,
+        parentId: null,
+        type: "variable",
+        variableId: data.consequentVariableId,
+        operator: null,
+        creatorId: data.creatorId,
+        createdOn: data.createdOn,
+    });
+    // 4. Strip the auto entities from the create-premise changeset so the
+    //    merged result reflects only: the premise, the auto-created
+    //    premise-bound variable (engine-managed; not caller-minted), and the
+    //    caller-minted consequent variable + naked-Q expression.
+    //
+    // Also normalize the changeset so the premise doesn't appear in both
+    // `added` and `modified`. Core's createPremiseWithId for derivation
+    // emits both because the auto naked-Q expression's `appendExpression`
+    // triggers a checksum-change `modifiedPremise` entry that gets merged
+    // alongside the outer `addedPremise`. Subsequent mutations
+    // (addVariable, appendExpression on the same premise) emit further
+    // `modifiedPremise` entries that we also drop.
+    const filteredPremiseChanges = sanitizeAddedThenModified(withoutEntities(premiseChanges, {
+        variableIds: new Set([autoVarId]),
+        expressionIds: new Set([autoExpr.id]),
+    }));
+    const droppedModifiedAddVarChanges = withoutPremiseModifications(addVarChanges, premiseId);
+    const droppedModifiedAddExprChanges = withoutPremiseModifications(addExprChanges, premiseId);
+    const allChanges = mergeChangesets(mergeChangesets(filteredPremiseChanges, droppedModifiedAddVarChanges), droppedModifiedAddExprChanges);
+    return {
+        premise: pm.toPremiseData(),
+        consequentVariable,
+        consequentExpression,
+        changes: allChanges,
+    };
+}
+/**
+ * Removes the IMPLIES/OR antecedent subtree from a populated derivation
+ * premise, leaving the premise in the naked-Q form (just the consequent
+ * variable as root). Idempotent: a no-op when the premise is already naked.
+ *
+ * @throws InvariantViolationError(DERIVATION_TYPE_MISMATCH) when `premiseId`
+ *         resolves to a non-derivation premise.
+ */
+export function clearDerivationAntecedent(engine, premiseId) {
+    const pm = engine.getPremise(premiseId);
+    if (!pm) {
+        throw new Error(`Premise ${premiseId} not found`);
+    }
+    const premiseData = pm.toPremiseData();
+    if (premiseData.type !== "derivation") {
+        throw new InvariantViolationError([
+            {
+                code: DERIVATION_TYPE_MISMATCH,
+                message: `${DERIVATION_TYPE_MISMATCH}: premise ${premiseId} is not a derivation premise (type=${premiseData.type ?? "freeform"})`,
+                entityType: "premise",
+                entityId: premiseId,
+                premiseId,
+            },
+        ]);
+    }
+    const rootExprId = pm.getRootExpressionId();
+    if (rootExprId === undefined)
+        return { changes: {} };
+    const root = pm.getExpression(rootExprId);
+    if (!root)
+        return { changes: {} };
+    // Naked-Q: root is the consequent variable expression. Nothing to clear.
+    if (root.type === "variable")
+        return { changes: {} };
+    // Populated form: root must be IMPLIES with antecedent at position 0 and
+    // the consequent variable at position 1.
+    if (root.type !== "operator" || root.operator !== "implies") {
+        throw new Error(`clearDerivationAntecedent: unexpected root type for premise ${premiseId} — expected variable or implies, got ${root.type}/${root.type === "operator" ? root.operator : ""}`);
+    }
+    const rootChildren = pm
+        .getChildExpressions(rootExprId)
+        .sort((a, b) => a.position - b.position);
+    if (rootChildren.length !== 2) {
+        throw new Error(`clearDerivationAntecedent: IMPLIES root has ${rootChildren.length} children, expected 2`);
+    }
+    const antecedent = rootChildren[0];
+    const consequent = rootChildren[1];
+    if (consequent.type !== "variable") {
+        throw new Error("clearDerivationAntecedent: expected consequent (position 1 child of IMPLIES) to be a variable expression");
+    }
+    // Collect citation-bound variable IDs so we can cascade-remove them after
+    // the antecedent expressions are gone. n=1: antecedent is the lone
+    // citation variable expression. n≥2: antecedent is an OR with one citation
+    // variable child per source.
+    const citationVariableIds = [];
+    if (antecedent.type === "variable") {
+        if (antecedent.variableId != null) {
+            citationVariableIds.push(antecedent.variableId);
+        }
+    }
+    else if (antecedent.type === "operator" && antecedent.operator === "or") {
+        for (const child of pm.getChildExpressions(antecedent.id)) {
+            if (child.type === "variable" && child.variableId != null) {
+                citationVariableIds.push(child.variableId);
+            }
+        }
+    }
+    else {
+        throw new Error(`clearDerivationAntecedent: unexpected antecedent shape for premise ${premiseId}`);
+    }
+    const collected = [];
+    // 1. Remove the antecedent subtree (cascade=true). The cascade removes the
+    //    OR (if present) and all citation variable expressions in one shot.
+    //    The IMPLIES root is unaffected; the consequent variable expression is
+    //    unaffected (it's the position-1 child).
+    const { changes: removeAntecedentChanges } = pm.removeExpression(antecedent.id, true);
+    collected.push(removeAntecedentChanges);
+    // 2. Remove IMPLIES with cascade=false, which "promotes" the remaining
+    //    child (the consequent variable expression) to take IMPLIES's slot —
+    //    its parentId becomes null, position becomes IMPLIES's old position.
+    //    The consequent expression appears as `modified` in the changeset.
+    withGrammarConfig(pm, PERMISSIVE_GRAMMAR_CONFIG, () => {
+        const { changes: removeImpliesChanges } = pm.removeExpression(rootExprId, false);
+        collected.push(removeImpliesChanges);
+    });
+    // 3. Cascade citation-bound variable removals. By this point the
+    //    expressions referencing them are already gone, so removeVariable's
+    //    expression-cascade is a no-op and only the variable add/remove
+    //    bookkeeping shows up in the changeset.
+    for (const varId of citationVariableIds) {
+        const { changes: removeVarChanges } = engine.removeVariable(varId);
+        collected.push(removeVarChanges);
+    }
+    return { changes: mergeChangesetSequence(collected) };
+}
+/**
+ * Builds the `IMPLIES(OR(citation_var_1, …, citation_var_n), Q)` tree on a
+ * naked derivation premise. For `n=1`, produces `IMPLIES(citation_var_1, Q)`.
+ * For `n=0`, returns an empty changeset.
+ *
+ * Caller-supplied `sourceClaimIds` ordering determines the OR's child positions
+ * (or the single-source antecedent for n=1).
+ *
+ * @throws InvariantViolationError(DERIVATION_TYPE_MISMATCH) when `premiseId`
+ *         resolves to a non-derivation premise.
+ * @throws InvariantViolationError(DERIVATION_ANTECEDENT_NON_EMPTY) when the
+ *         premise's root expression is already an IMPLIES (caller forgot to
+ *         call `clearDerivationAntecedent` first).
+ */
+export function populateDerivationFromCitations(engine, premiseId, sourceClaimIds) {
+    const pm = engine.getPremise(premiseId);
+    if (!pm) {
+        throw new Error(`Premise ${premiseId} not found`);
+    }
+    const premiseData = pm.toPremiseData();
+    if (premiseData.type !== "derivation") {
+        throw new InvariantViolationError([
+            {
+                code: DERIVATION_TYPE_MISMATCH,
+                message: `${DERIVATION_TYPE_MISMATCH}: premise ${premiseId} is not a derivation premise (type=${premiseData.type ?? "freeform"})`,
+                entityType: "premise",
+                entityId: premiseId,
+                premiseId,
+            },
+        ]);
+    }
+    const rootExprId = pm.getRootExpressionId();
+    if (rootExprId === undefined) {
+        throw new Error(`populateDerivationFromCitations: premise ${premiseId} has no root expression`);
+    }
+    const root = pm.getExpression(rootExprId);
+    if (!root) {
+        throw new Error(`populateDerivationFromCitations: root expression ${rootExprId} not found in premise ${premiseId}`);
+    }
+    // The antecedent must be empty — root is the bare consequent variable.
+    if (root.type !== "variable") {
+        throw new InvariantViolationError([
+            {
+                code: DERIVATION_ANTECEDENT_NON_EMPTY,
+                message: `${DERIVATION_ANTECEDENT_NON_EMPTY}: derivation premise ${premiseId} already has a non-empty antecedent`,
+                entityType: "premise",
+                entityId: premiseId,
+                premiseId,
+            },
+        ]);
+    }
+    if (sourceClaimIds.length === 0)
+        return { changes: {} };
+    const consequentExpr = root;
+    if (consequentExpr.variableId == null) {
+        throw new Error("populateDerivationFromCitations: consequent variable expression has no variableId");
+    }
+    const sharedMeta = {
+        argumentId: consequentExpr.argumentId,
+        argumentVersion: consequentExpr.argumentVersion,
+        premiseId,
+        creatorId: consequentExpr.creatorId,
+        createdOn: consequentExpr.createdOn,
+    };
+    const collected = [];
+    // 1. Materialize a claim-bound variable for each source claim. Capture the
+    //    newly-added ones (ensureClaimBoundVariable bypasses the standard
+    //    mutation surface and produces no changeset of its own).
+    const variablesBefore = new Set(engine.getVariables().map((v) => v.id));
+    const sourceVariables = [];
+    for (const sourceClaimId of sourceClaimIds) {
+        const v = engine.ensureClaimBoundVariable(sourceClaimId);
+        sourceVariables.push(v);
+    }
+    const newlyAddedVariables = sourceVariables.filter((v) => !variablesBefore.has(v.id));
+    if (newlyAddedVariables.length > 0) {
+        collected.push({
+            variables: {
+                added: newlyAddedVariables,
+                modified: [],
+                removed: [],
+            },
+        });
+    }
+    // 2. Build the IMPLIES + antecedent 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. The
+    //    consequent appears in the wrap's changeset as `modified` (its
+    //    parentId/position changed).
+    withGrammarConfig(pm, PERMISSIVE_GRAMMAR_CONFIG, () => {
+        const impliesId = generateId();
+        const impliesOp = {
+            id: impliesId,
+            ...sharedMeta,
+            parentId: null,
+            type: "operator",
+            operator: "implies",
+            variableId: null,
+        };
+        if (sourceVariables.length === 1) {
+            const sibling = {
+                id: generateId(),
+                ...sharedMeta,
+                parentId: null, // wrapExpression sets the real parentId
+                type: "variable",
+                variableId: sourceVariables[0].id,
+                operator: null,
+            };
+            const { changes: wrap } = pm.wrapExpression(impliesOp, sibling, undefined, consequentExpr.id);
+            collected.push(wrap);
+            return;
+        }
+        // n ≥ 2: wrap with IMPLIES(OR, Q) and append citation children to OR.
+        const orId = generateId();
+        const orSibling = {
+            id: orId,
+            ...sharedMeta,
+            parentId: null,
+            type: "operator",
+            operator: "or",
+            variableId: null,
+        };
+        const { changes: wrap } = pm.wrapExpression(impliesOp, orSibling, undefined, consequentExpr.id);
+        collected.push(wrap);
+        for (const sourceVar of sourceVariables) {
+            const { changes: appendChanges } = pm.appendExpression(orId, {
+                id: generateId(),
+                ...sharedMeta,
+                parentId: orId,
+                type: "variable",
+                variableId: sourceVar.id,
+                operator: null,
+            });
+            collected.push(appendChanges);
+        }
+    });
+    return { changes: mergeChangesetSequence(collected) };
+}
+// ──── Internal helpers ─────────────────────────────────────────────────────
+/**
+ * Strips entries with the given IDs from the `added`/`modified`/`removed`
+ * arrays of a changeset. Used to drop engine-auto-generated entities so the
+ * caller-facing changeset only references caller-minted IDs.
+ */
+function withoutEntities(changes, omit) {
+    const result = { ...changes };
+    if (changes.expressions &&
+        omit.expressionIds &&
+        omit.expressionIds.size > 0) {
+        const ids = omit.expressionIds;
+        result.expressions = {
+            added: changes.expressions.added.filter((e) => !ids.has(e.id)),
+            modified: changes.expressions.modified.filter((e) => !ids.has(e.id)),
+            removed: changes.expressions.removed.filter((e) => !ids.has(e.id)),
+        };
+    }
+    if (changes.variables && omit.variableIds && omit.variableIds.size > 0) {
+        const ids = omit.variableIds;
+        result.variables = {
+            added: changes.variables.added.filter((v) => !ids.has(v.id)),
+            modified: changes.variables.modified.filter((v) => !ids.has(v.id)),
+            removed: changes.variables.removed.filter((v) => !ids.has(v.id)),
+        };
+    }
+    return result;
+}
+/**
+ * Runs `fn` with `pm.grammarConfig` swapped to `nextConfig`, restoring the
+ * original config after `fn` returns or throws. Mirrors the technique used by
+ * core's `ManagedDerivationPremiseEngine.populateFromCitations`, which needs
+ * permissive grammar to place an `OR` operator directly under `IMPLIES`
+ * without a formula buffer.
+ */
+function withGrammarConfig(pm, nextConfig, fn) {
+    // grammarConfig is `protected` on PremiseEngine. Casting to access it is
+    // intentional: the alternative — exposing it publicly in core — would be a
+    // larger surface change for a single use-case.
+    const target = pm;
+    const saved = target.grammarConfig;
+    pm.setGrammarConfig(nextConfig);
+    try {
+        return fn();
+    }
+    finally {
+        pm.setGrammarConfig(saved);
+    }
+}
+/** Generates a fresh UUID for engine-auto-generated antecedent expressions. */
+function generateId() {
+    return crypto.randomUUID();
+}
+/**
+ * Drops a premise id from the `modified` bucket of a changeset. Used when
+ * combining a changeset that *added* a premise with later changesets that
+ * report the same premise as `modified` (e.g. an `appendExpression` call
+ * marks the parent premise as modified). The merged result needs only the
+ * `added` entry — the `modified` entry is redundant and `mergeChangesets`
+ * rejects ids appearing in both buckets.
+ */
+function withoutPremiseModifications(changes, premiseId) {
+    if (!changes.premises)
+        return changes;
+    const filteredModified = changes.premises.modified.filter((p) => p.id !== premiseId);
+    if (filteredModified.length === changes.premises.modified.length) {
+        return changes;
+    }
+    return {
+        ...changes,
+        premises: {
+            ...changes.premises,
+            modified: filteredModified,
+        },
+    };
+}
+/**
+ * Drops every entity that appears in `added` from the `modified` bucket of
+ * the same category. Required because core's `createPremiseWithId` for
+ * derivation type emits the new premise in BOTH `added` (outer collector) and
+ * `modified` (the inner naked-Q expression's `flushAndBuildChangeset` pushes
+ * a `modifiedPremise` entry as the premise's checksum changes). Both entries
+ * describe the same row; the `added` entry's data is the latest snapshot, so
+ * the `modified` entry is redundant.
+ */
+function sanitizeAddedThenModified(changes) {
+    const result = { ...changes };
+    if (changes.premises) {
+        const addedIds = new Set(changes.premises.added.map((p) => p.id));
+        result.premises = {
+            ...changes.premises,
+            modified: changes.premises.modified.filter((p) => !addedIds.has(p.id)),
+        };
+    }
+    if (changes.variables) {
+        const addedIds = new Set(changes.variables.added.map((v) => v.id));
+        result.variables = {
+            ...changes.variables,
+            modified: changes.variables.modified.filter((v) => !addedIds.has(v.id)),
+        };
+    }
+    if (changes.expressions) {
+        const addedIds = new Set(changes.expressions.added.map((e) => e.id));
+        result.expressions = {
+            ...changes.expressions,
+            modified: changes.expressions.modified.filter((e) => !addedIds.has(e.id)),
+        };
+    }
+    return result;
+}
+/**
+ * Merges a list of changesets, treating later `added` entries for the same id
+ * as superseding earlier `modified` entries (and vice versa). This is needed
+ * when the engine reports the same entity in different buckets across
+ * sequential mutations — e.g. an `appendExpression` adds an OR and its
+ * subsequent `appendExpression` reports OR's descendant-checksum change as a
+ * `modified` entry, which would otherwise trip `mergeChangesets`'s
+ * single-bucket invariant.
+ *
+ * Resolution rule per id:
+ *   - If the id is `added` in ANY changeset, drop all `modified` entries for
+ *     that id (the `added` row will reflect the final post-merge state).
+ *   - `removed` entries are preserved; if `added` and `removed` for the same
+ *     id appear, that's a logic error and `mergeChangesets` will surface it.
+ */
+function mergeChangesetSequence(changesets) {
+    const addedIds = {
+        premises: new Set(),
+        variables: new Set(),
+        expressions: new Set(),
+    };
+    for (const c of changesets) {
+        for (const p of c.premises?.added ?? [])
+            addedIds.premises.add(p.id);
+        for (const v of c.variables?.added ?? [])
+            addedIds.variables.add(v.id);
+        for (const e of c.expressions?.added ?? [])
+            addedIds.expressions.add(e.id);
+    }
+    let result = {};
+    for (const c of changesets) {
+        const sanitized = { ...c };
+        if (c.premises) {
+            sanitized.premises = {
+                ...c.premises,
+                modified: c.premises.modified.filter((p) => !addedIds.premises.has(p.id)),
+            };
+        }
+        if (c.variables) {
+            sanitized.variables = {
+                ...c.variables,
+                modified: c.variables.modified.filter((v) => !addedIds.variables.has(v.id)),
+            };
+        }
+        if (c.expressions) {
+            sanitized.expressions = {
+                ...c.expressions,
+                modified: c.expressions.modified.filter((e) => !addedIds.expressions.has(e.id)),
+            };
+        }
+        result = mergeChangesets(result, sanitized);
+    }
+    return result;
+}
 //# sourceMappingURL=premises.js.map

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

@@ -1 +1 @@
-{"version":3,"file":"premises.js","sourceRoot":"","sources":["../../../src/engine/mutations/premises.ts"],"names":[],"mappings":"AAKA,OAAO,EAAE,eAAe,EAAE,MAAM,YAAY,CAAA;AAE5C,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,iEAAiE;QACjE,kEAAkE;QAClE,qCAAqC;QACrC,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"}
+{"version":3,"file":"premises.js","sourceRoot":"","sources":["../../../src/engine/mutations/premises.ts"],"names":[],"mappings":"AAAA,OAAO,EACH,uBAAuB,EACvB,yBAAyB,GAE5B,MAAM,yBAAyB,CAAA;AAQhC,OAAO,EAAE,eAAe,EAAE,MAAM,YAAY,CAAA;AAE5C,+EAA+E;AAC/E,4EAA4E;AAC5E,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,iEAAiE;QACjE,kEAAkE;QAClE,qCAAqC;QACrC,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;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,6BAA6B,CACzC,MAAqB,EACrB,SAAiB,EACjB,IAQC;IAOD,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,2EAA2E;IAC3E,yBAAyB;IACzB,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,sEAAsE;IACtE,uEAAuE;IACvE,sEAAsE;IACtE,mCAAmC;IACnC,EAAE,CAAC,gBAAgB,CAAC,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC,CAAA;IACtC,MAAM,CAAC,cAAc,CAAC,SAAS,CAAC,CAAA;IAEhC,MAAM,EAAE,MAAM,EAAE,kBAAkB,EAAE,OAAO,EAAE,aAAa,EAAE,GACxD,MAAM,CAAC,WAAW,CAAC;QACf,EAAE,EAAE,IAAI,CAAC,oBAAoB;QAC7B,UAAU,EAAE,IAAI,CAAC,UAAU;QAC3B,eAAe,EAAE,IAAI,CAAC,eAAe;QACrC,OAAO,EAAE,IAAI,CAAC,cAAc;QAC5B,YAAY,EAAE,OAAO,CAAC,YAAY;QAClC,MAAM,EAAE,OAAO,CAAC,MAAM;QACtB,SAAS,EAAE,IAAI,CAAC,SAAS;QACzB,SAAS,EAAE,IAAI,CAAC,SAAS;KACgB,CAAC,CAAA;IAElD,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,IAAI,CAAC,oBAAoB;QACrC,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,6DAA6D;IAC7D,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,aAAa,EACb,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,2EAA2E;IAC3E,6BAA6B;IAC7B,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,CAAC;QACJ,MAAM,IAAI,KAAK,CACX,sEAAsE,SAAS,EAAE,CACpF,CAAA;IACL,CAAC;IAED,MAAM,SAAS,GAAuB,EAAE,CAAA;IAExC,2EAA2E;IAC3E,wEAAwE;IACxE,2EAA2E;IAC3E,6CAA6C;IAC7C,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,iBAAiB,CAAC,EAAE,EAAE,yBAAyB,EAAE,GAAG,EAAE;QAClD,MAAM,EAAE,OAAO,EAAE,oBAAoB,EAAE,GAAG,EAAE,CAAC,gBAAgB,CACzD,UAAU,EACV,KAAK,CACR,CAAA;QACD,SAAS,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAA;IACxC,CAAC,CAAC,CAAA;IAEF,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;;;;;;;;;;;;;GAaG;AACH,MAAM,UAAU,+BAA+B,CAC3C,MAAqB,EACrB,SAAiB,EACjB,cAAwB;IAExB,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,cAAc,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,CAAA;IAEvD,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,aAAa,IAAI,cAAc,EAAE,CAAC;QACzC,MAAM,CAAC,GAAG,MAAM,CAAC,wBAAwB,CAAC,aAAa,CAAC,CAAA;QACxD,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,iBAAiB,CAAC,EAAE,EAAE,yBAAyB,EAAE,GAAG,EAAE;QAClD,MAAM,SAAS,GAAG,UAAU,EAAE,CAAA;QAC9B,MAAM,SAAS,GAAG;YACd,EAAE,EAAE,SAAS;YACb,GAAG,UAAU;YACb,QAAQ,EAAE,IAAI;YACd,IAAI,EAAE,UAAmB;YACzB,QAAQ,EAAE,SAAkB;YAC5B,UAAU,EAAE,IAAI;SACnB,CAAA;QACD,IAAI,eAAe,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YAC/B,MAAM,OAAO,GAAG;gBACZ,EAAE,EAAE,UAAU,EAAE;gBAChB,GAAG,UAAU;gBACb,QAAQ,EAAE,IAAI,EAAE,wCAAwC;gBACxD,IAAI,EAAE,UAAmB;gBACzB,UAAU,EAAE,eAAe,CAAC,CAAC,CAAC,CAAC,EAAE;gBACjC,QAAQ,EAAE,IAAI;aACjB,CAAA;YACD,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,cAAc,CACvC,SAAoD,EACpD,OAAkD,EAClD,SAAS,EACT,cAAc,CAAC,EAAE,CACpB,CAAA;YACD,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;YACpB,OAAM;QACV,CAAC;QACD,sEAAsE;QACtE,MAAM,IAAI,GAAG,UAAU,EAAE,CAAA;QACzB,MAAM,SAAS,GAAG;YACd,EAAE,EAAE,IAAI;YACR,GAAG,UAAU;YACb,QAAQ,EAAE,IAAI;YACd,IAAI,EAAE,UAAmB;YACzB,QAAQ,EAAE,IAAa;YACvB,UAAU,EAAE,IAAI;SACnB,CAAA;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,CAAC,CAAA;IAEF,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;;;;;;GAMG;AACH,SAAS,iBAAiB,CACtB,EAAoD,EACpD,UAA0B,EAC1B,EAAW;IAEX,yEAAyE;IACzE,2EAA2E;IAC3E,+CAA+C;IAC/C,MAAM,MAAM,GAAG,EAAkD,CAAA;IACjE,MAAM,KAAK,GAAG,MAAM,CAAC,aAAa,CAAA;IAClC,EAAE,CAAC,gBAAgB,CAAC,UAAU,CAAC,CAAA;IAC/B,IAAI,CAAC;QACD,OAAO,EAAE,EAAE,CAAA;IACf,CAAC;YAAS,CAAC;QACP,EAAE,CAAC,gBAAgB,CAAC,KAAK,CAAC,CAAA;IAC9B,CAAC;AACL,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;;;;;;;;;;;;;;GAcG;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,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;IACtC,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,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CACtC;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,CAAC,CAAC,QAAQ,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CACvC;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,CAAC,CAAC,QAAQ,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CACzC;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/engine/text-tree.d.ts

@@ -7,6 +7,7 @@ export type TTextTreeItem = {
     premiseId: string;
     role: "conclusion" | "supporting";
     title: string | null;
+    premiseType: "freeform" | "derivation";
 } | {
     type: "claim";
     expressionId: string;
@@ -14,6 +15,7 @@ export type TTextTreeItem = {
     claimId: string | null;
     claimTitle: string;
     claimBody: string;
+    claimType: "normal" | "citation";
     negated: boolean;
     isConclusion: boolean;
     depth: number;

package/dist/engine/text-tree.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"text-tree.d.ts","sourceRoot":"","sources":["../../src/engine/text-tree.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,aAAa,CAAA;AAC3D,OAAO,KAAK,EAER,oBAAoB,EACvB,MAAM,qBAAqB,CAAA;AAE5B,iDAAiD;AACjD,eAAO,MAAM,eAAe,EAAE,MAAM,CAChC,OAAO,CAAC,oBAAoB,EAAE,KAAK,CAAC,EACpC,MAAM,CAMT,CAAA;AAED,MAAM,MAAM,aAAa,GACnB;IACI,IAAI,EAAE,gBAAgB,CAAA;IACtB,SAAS,EAAE,MAAM,CAAA;IACjB,IAAI,EAAE,YAAY,GAAG,YAAY,CAAA;IACjC,KAAK,EAAE,MAAM,GAAG,IAAI,CAAA;CACvB,GACD;IACI,IAAI,EAAE,OAAO,CAAA;IACb,YAAY,EAAE,MAAM,CAAA;IACpB,UAAU,EAAE,MAAM,CAAA;IAClB,OAAO,EAAE,MAAM,GAAG,IAAI,CAAA;IACtB,UAAU,EAAE,MAAM,CAAA;IAClB,SAAS,EAAE,MAAM,CAAA;IACjB,OAAO,EAAE,OAAO,CAAA;IAChB,YAAY,EAAE,OAAO,CAAA;IACrB,KAAK,EAAE,MAAM,CAAA;CAChB,GACD;IACI,IAAI,EAAE,UAAU,CAAA;IAChB,QAAQ,EAAE,OAAO,CAAC,oBAAoB,EAAE,KAAK,CAAC,CAAA;IAC9C,KAAK,EAAE,MAAM,CAAA;IACb,KAAK,EAAE,MAAM,CAAA;CAChB,GACD;IACI,IAAI,EAAE,eAAe,CAAA;IACrB,SAAS,EAAE,MAAM,CAAA;CACpB,CAAA;AAEP;;;GAGG;AACH,wBAAgB,oBAAoB,CAChC,QAAQ,EAAE,wBAAwB,EAClC,SAAS,EAAE,MAAM,GAClB,aAAa,EAAE,CAmBjB;AA4GD,wBAAgB,aAAa,CACzB,QAAQ,EAAE,wBAAwB,GACnC,aAAa,EAAE,CA0BjB"}
+{"version":3,"file":"text-tree.d.ts","sourceRoot":"","sources":["../../src/engine/text-tree.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,aAAa,CAAA;AAC3D,OAAO,KAAK,EAER,oBAAoB,EACvB,MAAM,qBAAqB,CAAA;AAE5B,iDAAiD;AACjD,eAAO,MAAM,eAAe,EAAE,MAAM,CAChC,OAAO,CAAC,oBAAoB,EAAE,KAAK,CAAC,EACpC,MAAM,CAMT,CAAA;AAED,MAAM,MAAM,aAAa,GACnB;IACI,IAAI,EAAE,gBAAgB,CAAA;IACtB,SAAS,EAAE,MAAM,CAAA;IACjB,IAAI,EAAE,YAAY,GAAG,YAAY,CAAA;IACjC,KAAK,EAAE,MAAM,GAAG,IAAI,CAAA;IACpB,WAAW,EAAE,UAAU,GAAG,YAAY,CAAA;CACzC,GACD;IACI,IAAI,EAAE,OAAO,CAAA;IACb,YAAY,EAAE,MAAM,CAAA;IACpB,UAAU,EAAE,MAAM,CAAA;IAClB,OAAO,EAAE,MAAM,GAAG,IAAI,CAAA;IACtB,UAAU,EAAE,MAAM,CAAA;IAClB,SAAS,EAAE,MAAM,CAAA;IACjB,SAAS,EAAE,QAAQ,GAAG,UAAU,CAAA;IAChC,OAAO,EAAE,OAAO,CAAA;IAChB,YAAY,EAAE,OAAO,CAAA;IACrB,KAAK,EAAE,MAAM,CAAA;CAChB,GACD;IACI,IAAI,EAAE,UAAU,CAAA;IAChB,QAAQ,EAAE,OAAO,CAAC,oBAAoB,EAAE,KAAK,CAAC,CAAA;IAC9C,KAAK,EAAE,MAAM,CAAA;IACb,KAAK,EAAE,MAAM,CAAA;CAChB,GACD;IACI,IAAI,EAAE,eAAe,CAAA;IACrB,SAAS,EAAE,MAAM,CAAA;CACpB,CAAA;AAEP;;;GAGG;AACH,wBAAgB,oBAAoB,CAChC,QAAQ,EAAE,wBAAwB,EAClC,SAAS,EAAE,MAAM,GAClB,aAAa,EAAE,CAmBjB;AA+GD,wBAAgB,aAAa,CACzB,QAAQ,EAAE,wBAAwB,GACnC,aAAa,EAAE,CA+BjB"}

package/dist/engine/text-tree.js

@@ -45,12 +45,14 @@ function walkPremiseExpression(args) {
         let claimId = null;
         let claimTitle = "";
         let claimBody = "";
+        let claimType = "normal";
         if (variable && "claimId" in variable) {
             claimId = variable.claimId;
             const claim = claims[variable.claimId];
             if (claim) {
                 claimTitle = claim.title;
                 claimBody = claim.body;
+                claimType = claim.type ?? "normal";
             }
         }
         items.push({
@@ -60,6 +62,7 @@ function walkPremiseExpression(args) {
             claimId,
             claimTitle,
             claimBody,
+            claimType,
             negated,
             isConclusion,
             depth,
@@ -124,11 +127,17 @@ export function buildTextTree(snapshot) {
         return 0;
     });
     for (const [premiseId, premiseSnap] of sortedPremises) {
+        // Derivation premises render via citation badges + naked-Q indicator on
+        // claim cards, computed from snapshot helpers — they should not produce
+        // premise-header → operator → claim items in the flat text walk.
+        if (premiseSnap.premise.type === "derivation")
+            continue;
         items.push({
             type: "premise-header",
             premiseId,
             role: premiseId === conclusionPremiseId ? "conclusion" : "supporting",
             title: premiseSnap.premise.title ?? null,
+            premiseType: premiseSnap.premise.type ?? "freeform",
         });
         items.push(...buildPremiseTextTree(snapshot, premiseId));
     }

package/dist/engine/text-tree.js.map

@@ -1 +1 @@
-{"version":3,"file":"text-tree.js","sourceRoot":"","sources":["../../src/engine/text-tree.ts"],"names":[],"mappings":"AAMA,iDAAiD;AACjD,MAAM,CAAC,MAAM,eAAe,GAGxB;IACA,GAAG,EAAE,KAAK;IACV,EAAE,EAAE,IAAI;IACR,OAAO,EAAE,YAAY;IACrB,GAAG,EAAE,wBAAwB;CAChC,CAAA;AA+BD;;;GAGG;AACH,MAAM,UAAU,oBAAoB,CAChC,QAAkC,EAClC,SAAiB;IAEjB,MAAM,WAAW,GAAG,QAAQ,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAA;IAChD,IAAI,CAAC,WAAW;QAAE,OAAO,EAAE,CAAA;IAC3B,MAAM,YAAY,GAAG,QAAQ,CAAC,KAAK,CAAC,mBAAmB,KAAK,SAAS,CAAA;IACrE,MAAM,UAAU,GAAG,WAAW,CAAC,gBAAgB,CAAA;IAC/C,IAAI,CAAC,UAAU;QAAE,OAAO,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,SAAS,EAAE,CAAC,CAAA;IAE9D,MAAM,KAAK,GAAoB,EAAE,CAAA;IACjC,qBAAqB,CAAC;QAClB,MAAM,EAAE,UAAU;QAClB,kBAAkB,EAAE,WAAW,CAAC,WAAW;QAC3C,SAAS,EAAE,QAAQ,CAAC,SAAS;QAC7B,MAAM,EAAE,QAAQ,CAAC,MAAM;QACvB,OAAO,EAAE,KAAK;QACd,KAAK,EAAE,CAAC;QACR,YAAY;QACZ,KAAK;KACR,CAAC,CAAA;IACF,OAAO,KAAK,CAAA;AAChB,CAAC;AAED,SAAS,mBAAmB,CACxB,QAAgB,EAChB,kBAAoE;IAEpE,OAAO,MAAM,CAAC,MAAM,CAAC,kBAAkB,CAAC;SACnC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,QAAQ,CAAC;SACtC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,QAAQ,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,IAAI,CAAC,CAAC,CAAC,CAAA;AAC9D,CAAC;AAED,SAAS,qBAAqB,CAAC,IAS9B;IACG,MAAM,EACF,MAAM,EACN,kBAAkB,EAClB,SAAS,EACT,MAAM,EACN,OAAO,EACP,KAAK,EACL,YAAY,EACZ,KAAK,GACR,GAAG,IAAI,CAAA;IACR,MAAM,IAAI,GAAG,kBAAkB,CAAC,MAAM,CAAC,CAAA;IACvC,IAAI,CAAC,IAAI;QAAE,OAAM;IAEjB,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QAC3B,MAAM,QAAQ,GAAG,SAAS,CAAC,IAAI,CAAC,UAAU,CAAC,CAAA;QAC3C,IAAI,OAAO,GAAkB,IAAI,CAAA;QACjC,IAAI,UAAU,GAAG,EAAE,CAAA;QACnB,IAAI,SAAS,GAAG,EAAE,CAAA;QAClB,IAAI,QAAQ,IAAI,SAAS,IAAI,QAAQ,EAAE,CAAC;YACpC,OAAO,GAAG,QAAQ,CAAC,OAAO,CAAA;YAC1B,MAAM,KAAK,GAAG,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAA;YACtC,IAAI,KAAK,EAAE,CAAC;gBACR,UAAU,GAAG,KAAK,CAAC,KAAK,CAAA;gBACxB,SAAS,GAAG,KAAK,CAAC,IAAI,CAAA;YAC1B,CAAC;QACL,CAAC;QACD,KAAK,CAAC,IAAI,CAAC;YACP,IAAI,EAAE,OAAO;YACb,YAAY,EAAE,IAAI,CAAC,EAAE;YACrB,UAAU,EAAE,IAAI,CAAC,UAAU;YAC3B,OAAO;YACP,UAAU;YACV,SAAS;YACT,OAAO;YACP,YAAY;YACZ,KAAK;SACR,CAAC,CAAA;QACF,OAAM;IACV,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAC1B,MAAM,QAAQ,GAAG,mBAAmB,CAAC,MAAM,EAAE,kBAAkB,CAAC,CAAA;QAChE,KAAK,MAAM,KAAK,IAAI,QAAQ,EAAE,CAAC;YAC3B,qBAAqB,CAAC;gBAClB,GAAG,IAAI;gBACP,MAAM,EAAE,KAAK,CAAC,EAAE;gBAChB,KAAK,EAAE,KAAK,GAAG,CAAC;aACnB,CAAC,CAAA;QACN,CAAC;QACD,OAAM;IACV,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QAC3B,IAAI,IAAI,CAAC,QAAQ,KAAK,KAAK,EAAE,CAAC;YAC1B,MAAM,QAAQ,GAAG,mBAAmB,CAAC,MAAM,EAAE,kBAAkB,CAAC,CAAA;YAChE,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACtB,qBAAqB,CAAC;oBAClB,GAAG,IAAI;oBACP,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE;oBACtB,OAAO,EAAE,CAAC,OAAO;iBACpB,CAAC,CAAA;YACN,CAAC;YACD,OAAM;QACV,CAAC;QACD,MAAM,QAAQ,GAAG,mBAAmB,CAAC,MAAM,EAAE,kBAAkB,CAAC,CAAA;QAChE,MAAM,WAAW,GACb,IAAI,CAAC,QAAQ,KAAK,SAAS,IAAI,IAAI,CAAC,QAAQ,KAAK,KAAK,CAAA;QAC1D,MAAM,eAAe,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC,GAAG,QAAQ,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAA;QAExE,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,eAAe,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAC9C,qBAAqB,CAAC;gBAClB,GAAG,IAAI;gBACP,MAAM,EAAE,eAAe,CAAC,CAAC,CAAC,CAAC,EAAE;gBAC7B,OAAO,EAAE,KAAK;aACjB,CAAC,CAAA;YACF,IAAI,CAAC,GAAG,eAAe,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACjC,KAAK,CAAC,IAAI,CAAC;oBACP,IAAI,EAAE,UAAU;oBAChB,QAAQ,EAAE,IAAI,CAAC,QAAQ;oBACvB,KAAK,EAAE,eAAe,CAAC,IAAI,CAAC,QAAQ,CAAC;oBACrC,KAAK;iBACR,CAAC,CAAA;YACN,CAAC;QACL,CAAC;IACL,CAAC;AACL,CAAC;AAED,MAAM,UAAU,aAAa,CACzB,QAAkC;IAElC,MAAM,KAAK,GAAoB,EAAE,CAAA;IACjC,MAAM,mBAAmB,GAAG,QAAQ,CAAC,KAAK,CAAC,mBAAmB,CAAA;IAE9D,mDAAmD;IACnD,MAAM,cAAc,GAAG,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAA;IACxD,MAAM,cAAc,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,EAAE;QACxD,MAAM,aAAa,GAAG,GAAG,KAAK,mBAAmB,CAAA;QACjD,MAAM,aAAa,GAAG,GAAG,KAAK,mBAAmB,CAAA;QACjD,IAAI,aAAa,IAAI,CAAC,aAAa;YAAE,OAAO,CAAC,CAAC,CAAA;QAC9C,IAAI,CAAC,aAAa,IAAI,aAAa;YAAE,OAAO,CAAC,CAAA;QAC7C,OAAO,CAAC,CAAA;IACZ,CAAC,CAAC,CAAA;IAEF,KAAK,MAAM,CAAC,SAAS,EAAE,WAAW,CAAC,IAAI,cAAc,EAAE,CAAC;QACpD,KAAK,CAAC,IAAI,CAAC;YACP,IAAI,EAAE,gBAAgB;YACtB,SAAS;YACT,IAAI,EACA,SAAS,KAAK,mBAAmB,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,YAAY;YACnE,KAAK,EAAE,WAAW,CAAC,OAAO,CAAC,KAAK,IAAI,IAAI;SAC3C,CAAC,CAAA;QACF,KAAK,CAAC,IAAI,CAAC,GAAG,oBAAoB,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC,CAAA;IAC5D,CAAC;IAED,OAAO,KAAK,CAAA;AAChB,CAAC"}
+{"version":3,"file":"text-tree.js","sourceRoot":"","sources":["../../src/engine/text-tree.ts"],"names":[],"mappings":"AAMA,iDAAiD;AACjD,MAAM,CAAC,MAAM,eAAe,GAGxB;IACA,GAAG,EAAE,KAAK;IACV,EAAE,EAAE,IAAI;IACR,OAAO,EAAE,YAAY;IACrB,GAAG,EAAE,wBAAwB;CAChC,CAAA;AAiCD;;;GAGG;AACH,MAAM,UAAU,oBAAoB,CAChC,QAAkC,EAClC,SAAiB;IAEjB,MAAM,WAAW,GAAG,QAAQ,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAA;IAChD,IAAI,CAAC,WAAW;QAAE,OAAO,EAAE,CAAA;IAC3B,MAAM,YAAY,GAAG,QAAQ,CAAC,KAAK,CAAC,mBAAmB,KAAK,SAAS,CAAA;IACrE,MAAM,UAAU,GAAG,WAAW,CAAC,gBAAgB,CAAA;IAC/C,IAAI,CAAC,UAAU;QAAE,OAAO,CAAC,EAAE,IAAI,EAAE,eAAe,EAAE,SAAS,EAAE,CAAC,CAAA;IAE9D,MAAM,KAAK,GAAoB,EAAE,CAAA;IACjC,qBAAqB,CAAC;QAClB,MAAM,EAAE,UAAU;QAClB,kBAAkB,EAAE,WAAW,CAAC,WAAW;QAC3C,SAAS,EAAE,QAAQ,CAAC,SAAS;QAC7B,MAAM,EAAE,QAAQ,CAAC,MAAM;QACvB,OAAO,EAAE,KAAK;QACd,KAAK,EAAE,CAAC;QACR,YAAY;QACZ,KAAK;KACR,CAAC,CAAA;IACF,OAAO,KAAK,CAAA;AAChB,CAAC;AAED,SAAS,mBAAmB,CACxB,QAAgB,EAChB,kBAAoE;IAEpE,OAAO,MAAM,CAAC,MAAM,CAAC,kBAAkB,CAAC;SACnC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,KAAK,QAAQ,CAAC;SACtC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,QAAQ,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,QAAQ,IAAI,CAAC,CAAC,CAAC,CAAA;AAC9D,CAAC;AAED,SAAS,qBAAqB,CAAC,IAS9B;IACG,MAAM,EACF,MAAM,EACN,kBAAkB,EAClB,SAAS,EACT,MAAM,EACN,OAAO,EACP,KAAK,EACL,YAAY,EACZ,KAAK,GACR,GAAG,IAAI,CAAA;IACR,MAAM,IAAI,GAAG,kBAAkB,CAAC,MAAM,CAAC,CAAA;IACvC,IAAI,CAAC,IAAI;QAAE,OAAM;IAEjB,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QAC3B,MAAM,QAAQ,GAAG,SAAS,CAAC,IAAI,CAAC,UAAU,CAAC,CAAA;QAC3C,IAAI,OAAO,GAAkB,IAAI,CAAA;QACjC,IAAI,UAAU,GAAG,EAAE,CAAA;QACnB,IAAI,SAAS,GAAG,EAAE,CAAA;QAClB,IAAI,SAAS,GAA0B,QAAQ,CAAA;QAC/C,IAAI,QAAQ,IAAI,SAAS,IAAI,QAAQ,EAAE,CAAC;YACpC,OAAO,GAAG,QAAQ,CAAC,OAAO,CAAA;YAC1B,MAAM,KAAK,GAAG,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAA;YACtC,IAAI,KAAK,EAAE,CAAC;gBACR,UAAU,GAAG,KAAK,CAAC,KAAK,CAAA;gBACxB,SAAS,GAAG,KAAK,CAAC,IAAI,CAAA;gBACtB,SAAS,GAAG,KAAK,CAAC,IAAI,IAAI,QAAQ,CAAA;YACtC,CAAC;QACL,CAAC;QACD,KAAK,CAAC,IAAI,CAAC;YACP,IAAI,EAAE,OAAO;YACb,YAAY,EAAE,IAAI,CAAC,EAAE;YACrB,UAAU,EAAE,IAAI,CAAC,UAAU;YAC3B,OAAO;YACP,UAAU;YACV,SAAS;YACT,SAAS;YACT,OAAO;YACP,YAAY;YACZ,KAAK;SACR,CAAC,CAAA;QACF,OAAM;IACV,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QAC1B,MAAM,QAAQ,GAAG,mBAAmB,CAAC,MAAM,EAAE,kBAAkB,CAAC,CAAA;QAChE,KAAK,MAAM,KAAK,IAAI,QAAQ,EAAE,CAAC;YAC3B,qBAAqB,CAAC;gBAClB,GAAG,IAAI;gBACP,MAAM,EAAE,KAAK,CAAC,EAAE;gBAChB,KAAK,EAAE,KAAK,GAAG,CAAC;aACnB,CAAC,CAAA;QACN,CAAC;QACD,OAAM;IACV,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QAC3B,IAAI,IAAI,CAAC,QAAQ,KAAK,KAAK,EAAE,CAAC;YAC1B,MAAM,QAAQ,GAAG,mBAAmB,CAAC,MAAM,EAAE,kBAAkB,CAAC,CAAA;YAChE,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACtB,qBAAqB,CAAC;oBAClB,GAAG,IAAI;oBACP,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE;oBACtB,OAAO,EAAE,CAAC,OAAO;iBACpB,CAAC,CAAA;YACN,CAAC;YACD,OAAM;QACV,CAAC;QACD,MAAM,QAAQ,GAAG,mBAAmB,CAAC,MAAM,EAAE,kBAAkB,CAAC,CAAA;QAChE,MAAM,WAAW,GACb,IAAI,CAAC,QAAQ,KAAK,SAAS,IAAI,IAAI,CAAC,QAAQ,KAAK,KAAK,CAAA;QAC1D,MAAM,eAAe,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC,GAAG,QAAQ,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAA;QAExE,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,eAAe,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;YAC9C,qBAAqB,CAAC;gBAClB,GAAG,IAAI;gBACP,MAAM,EAAE,eAAe,CAAC,CAAC,CAAC,CAAC,EAAE;gBAC7B,OAAO,EAAE,KAAK;aACjB,CAAC,CAAA;YACF,IAAI,CAAC,GAAG,eAAe,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACjC,KAAK,CAAC,IAAI,CAAC;oBACP,IAAI,EAAE,UAAU;oBAChB,QAAQ,EAAE,IAAI,CAAC,QAAQ;oBACvB,KAAK,EAAE,eAAe,CAAC,IAAI,CAAC,QAAQ,CAAC;oBACrC,KAAK;iBACR,CAAC,CAAA;YACN,CAAC;QACL,CAAC;IACL,CAAC;AACL,CAAC;AAED,MAAM,UAAU,aAAa,CACzB,QAAkC;IAElC,MAAM,KAAK,GAAoB,EAAE,CAAA;IACjC,MAAM,mBAAmB,GAAG,QAAQ,CAAC,KAAK,CAAC,mBAAmB,CAAA;IAE9D,mDAAmD;IACnD,MAAM,cAAc,GAAG,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAA;IACxD,MAAM,cAAc,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,EAAE;QACxD,MAAM,aAAa,GAAG,GAAG,KAAK,mBAAmB,CAAA;QACjD,MAAM,aAAa,GAAG,GAAG,KAAK,mBAAmB,CAAA;QACjD,IAAI,aAAa,IAAI,CAAC,aAAa;YAAE,OAAO,CAAC,CAAC,CAAA;QAC9C,IAAI,CAAC,aAAa,IAAI,aAAa;YAAE,OAAO,CAAC,CAAA;QAC7C,OAAO,CAAC,CAAA;IACZ,CAAC,CAAC,CAAA;IAEF,KAAK,MAAM,CAAC,SAAS,EAAE,WAAW,CAAC,IAAI,cAAc,EAAE,CAAC;QACpD,wEAAwE;QACxE,wEAAwE;QACxE,iEAAiE;QACjE,IAAI,WAAW,CAAC,OAAO,CAAC,IAAI,KAAK,YAAY;YAAE,SAAQ;QACvD,KAAK,CAAC,IAAI,CAAC;YACP,IAAI,EAAE,gBAAgB;YACtB,SAAS;YACT,IAAI,EACA,SAAS,KAAK,mBAAmB,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,YAAY;YACnE,KAAK,EAAE,WAAW,CAAC,OAAO,CAAC,KAAK,IAAI,IAAI;YACxC,WAAW,EAAE,WAAW,CAAC,OAAO,CAAC,IAAI,IAAI,UAAU;SACtD,CAAC,CAAA;QACF,KAAK,CAAC,IAAI,CAAC,GAAG,oBAAoB,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC,CAAA;IAC5D,CAAC;IAED,OAAO,KAAK,CAAA;AAChB,CAAC"}

package/package.json

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