@proposit/proposit-core 2.5.0 → 3.1.0

package/dist/extensions/pipelines/ingestion/canonical-stages.d.ts

@@ -0,0 +1,12 @@
+/** Ordered stage ids of the scholar ingestion pipeline. */
+export declare const INGESTION_SCHOLAR_STAGE_IDS: readonly string[];
+/** Ordered stage ids of the scribe ingestion pipeline. */
+export declare const INGESTION_SCRIBE_STAGE_IDS: readonly string[];
+/**
+ * The ordered canonical stage ids for a pipeline id, or an empty list for an
+ * unknown / absent id (so a consumer degrades gracefully to whatever stages it
+ * actually observes). The ids are the stable pipeline identifiers set by the
+ * scholar / scribe factories.
+ */
+export declare function getCanonicalStageIds(pipelineId: string | undefined): readonly string[];
+//# sourceMappingURL=canonical-stages.d.ts.map

package/dist/extensions/pipelines/ingestion/canonical-stages.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"canonical-stages.d.ts","sourceRoot":"","sources":["../../../../src/extensions/pipelines/ingestion/canonical-stages.ts"],"names":[],"mappings":"AASA,2DAA2D;AAC3D,eAAO,MAAM,2BAA2B,EAAE,SAAS,MAAM,EAaxD,CAAA;AAED,0DAA0D;AAC1D,eAAO,MAAM,0BAA0B,EAAE,SAAS,MAAM,EAWvD,CAAA;AAED;;;;;GAKG;AACH,wBAAgB,oBAAoB,CAChC,UAAU,EAAE,MAAM,GAAG,SAAS,GAC/B,SAAS,MAAM,EAAE,CAMnB"}

package/dist/extensions/pipelines/ingestion/canonical-stages.js

@@ -0,0 +1,50 @@
+// Canonical stage-id ordering for the ingestion pipeline family.
+//
+// Each list is the ordered stage-id sequence the corresponding factory
+// (`createScholarPipeline` / `createScribePipeline`) produces — the single
+// source of truth a consumer can import to render or drive the pipeline's
+// stages without hardcoding its own copy. The lists are maintained by hand and
+// guarded against drift by a test that asserts each equals
+// `pipeline.stages.map((s) => s.id)`.
+/** Ordered stage ids of the scholar ingestion pipeline. */
+export const INGESTION_SCHOLAR_STAGE_IDS = [
+    "segmentation",
+    "claim-mention-extraction",
+    "citation-source-detection",
+    "axiom-indicator-detection",
+    "claim-canonicalization",
+    "claim-type-classification",
+    "claim-reference-validation",
+    "variable-assignment",
+    "relation-extraction",
+    "conclusion-selection",
+    "formula-compilation",
+    "formula-validation",
+];
+/** Ordered stage ids of the scribe ingestion pipeline. */
+export const INGESTION_SCRIBE_STAGE_IDS = [
+    "extract",
+    "claim-canonicalization",
+    "claim-type-classification",
+    "claim-reference-validation",
+    "variable-assignment",
+    "scribe-structure",
+    "relation-extraction",
+    "conclusion-selection",
+    "formula-compilation",
+    "formula-validation",
+];
+/**
+ * The ordered canonical stage ids for a pipeline id, or an empty list for an
+ * unknown / absent id (so a consumer degrades gracefully to whatever stages it
+ * actually observes). The ids are the stable pipeline identifiers set by the
+ * scholar / scribe factories.
+ */
+export function getCanonicalStageIds(pipelineId) {
+    if (pipelineId === "argument-ingestion-scholar")
+        return INGESTION_SCHOLAR_STAGE_IDS;
+    if (pipelineId === "argument-ingestion-scribe")
+        return INGESTION_SCRIBE_STAGE_IDS;
+    return [];
+}
+//# sourceMappingURL=canonical-stages.js.map

package/dist/extensions/pipelines/ingestion/canonical-stages.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"canonical-stages.js","sourceRoot":"","sources":["../../../../src/extensions/pipelines/ingestion/canonical-stages.ts"],"names":[],"mappings":"AAAA,iEAAiE;AACjE,EAAE;AACF,uEAAuE;AACvE,2EAA2E;AAC3E,0EAA0E;AAC1E,+EAA+E;AAC/E,2DAA2D;AAC3D,sCAAsC;AAEtC,2DAA2D;AAC3D,MAAM,CAAC,MAAM,2BAA2B,GAAsB;IAC1D,cAAc;IACd,0BAA0B;IAC1B,2BAA2B;IAC3B,2BAA2B;IAC3B,wBAAwB;IACxB,2BAA2B;IAC3B,4BAA4B;IAC5B,qBAAqB;IACrB,qBAAqB;IACrB,sBAAsB;IACtB,qBAAqB;IACrB,oBAAoB;CACvB,CAAA;AAED,0DAA0D;AAC1D,MAAM,CAAC,MAAM,0BAA0B,GAAsB;IACzD,SAAS;IACT,wBAAwB;IACxB,2BAA2B;IAC3B,4BAA4B;IAC5B,qBAAqB;IACrB,kBAAkB;IAClB,qBAAqB;IACrB,sBAAsB;IACtB,qBAAqB;IACrB,oBAAoB;CACvB,CAAA;AAED;;;;;GAKG;AACH,MAAM,UAAU,oBAAoB,CAChC,UAA8B;IAE9B,IAAI,UAAU,KAAK,4BAA4B;QAC3C,OAAO,2BAA2B,CAAA;IACtC,IAAI,UAAU,KAAK,2BAA2B;QAC1C,OAAO,0BAA0B,CAAA;IACrC,OAAO,EAAE,CAAA;AACb,CAAC"}

package/dist/extensions/pipelines/ingestion/index.d.ts

@@ -2,4 +2,5 @@ export { createScholarPipeline } from "./scholar/index.js";
 export type { TCreateScholarPipelineOptions } from "./scholar/index.js";
 export { createScribePipeline } from "./scribe/index.js";
 export type { TCreateScribePipelineOptions } from "./scribe/index.js";
+export { INGESTION_SCHOLAR_STAGE_IDS, INGESTION_SCRIBE_STAGE_IDS, getCanonicalStageIds, } from "./canonical-stages.js";
 //# sourceMappingURL=index.d.ts.map

package/dist/extensions/pipelines/ingestion/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../src/extensions/pipelines/ingestion/index.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,qBAAqB,EAAE,MAAM,oBAAoB,CAAA;AAC1D,YAAY,EAAE,6BAA6B,EAAE,MAAM,oBAAoB,CAAA;AACvE,OAAO,EAAE,oBAAoB,EAAE,MAAM,mBAAmB,CAAA;AACxD,YAAY,EAAE,4BAA4B,EAAE,MAAM,mBAAmB,CAAA"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../../src/extensions/pipelines/ingestion/index.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,qBAAqB,EAAE,MAAM,oBAAoB,CAAA;AAC1D,YAAY,EAAE,6BAA6B,EAAE,MAAM,oBAAoB,CAAA;AACvE,OAAO,EAAE,oBAAoB,EAAE,MAAM,mBAAmB,CAAA;AACxD,YAAY,EAAE,4BAA4B,EAAE,MAAM,mBAAmB,CAAA;AACrE,OAAO,EACH,2BAA2B,EAC3B,0BAA0B,EAC1B,oBAAoB,GACvB,MAAM,uBAAuB,CAAA"}

package/dist/extensions/pipelines/ingestion/index.js

@@ -2,4 +2,5 @@
 // Subpath: @proposit/proposit-core/pipelines/ingestion
 export { createScholarPipeline } from "./scholar/index.js";
 export { createScribePipeline } from "./scribe/index.js";
+export { INGESTION_SCHOLAR_STAGE_IDS, INGESTION_SCRIBE_STAGE_IDS, getCanonicalStageIds, } from "./canonical-stages.js";
 //# sourceMappingURL=index.js.map

package/dist/extensions/pipelines/ingestion/index.js.map

@@ -1 +1 @@
-{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../../src/extensions/pipelines/ingestion/index.ts"],"names":[],"mappings":"AAAA,+DAA+D;AAC/D,uDAAuD;AACvD,OAAO,EAAE,qBAAqB,EAAE,MAAM,oBAAoB,CAAA;AAE1D,OAAO,EAAE,oBAAoB,EAAE,MAAM,mBAAmB,CAAA"}
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../../../src/extensions/pipelines/ingestion/index.ts"],"names":[],"mappings":"AAAA,+DAA+D;AAC/D,uDAAuD;AACvD,OAAO,EAAE,qBAAqB,EAAE,MAAM,oBAAoB,CAAA;AAE1D,OAAO,EAAE,oBAAoB,EAAE,MAAM,mBAAmB,CAAA;AAExD,OAAO,EACH,2BAA2B,EAC3B,0BAA0B,EAC1B,oBAAoB,GACvB,MAAM,uBAAuB,CAAA"}

package/dist/lib/core/argument-engine.d.ts

@@ -1,5 +1,5 @@
 import { type TClaimBoundVariable, type TPremiseBoundVariable, type TCoreArgument, type TCoreClaim, type TCorePremise, type TCorePropositionalExpression, type TCorePropositionalVariable, type TOptionalChecksum } from "../schemata/index.js";
-import type { TCoreArgumentEvaluationOptions, TCoreArgumentEvaluationResult, TCoreArgumentRoleState, TCoreExpressionAssignment, TCoreValidationResult, TCoreValidityCheckOptions, TCoreValidityCheckResult } from "../types/evaluation.js";
+import type { TCoreArgumentEvaluationOptions, TCoreArgumentEvaluationResult, TCoreArgumentRoleState, TCoreExpressionAssignment, TCoreValidationResult, TCoreValidityCheckOptions, TCoreValidityCheckResult, TCoreVariableAssignment } from "../types/evaluation.js";
 import type { TCoreChecksumConfig } from "../types/checksum.js";
 import type { TCorePositionConfig } from "../utils/position.js";
 import type { TInvariantValidationResult } from "../types/validation.js";
@@ -506,6 +506,87 @@ export declare class ArgumentEngine<TArg extends TCoreArgument = TCoreArgument,
     private getAxiomaticBoundVariableIds;
     evaluate(assignment: TCoreExpressionAssignment, options?: TCoreArgumentEvaluationOptions): TCoreArgumentEvaluationResult;
     checkValidity(options?: TCoreValidityCheckOptions): TCoreValidityCheckResult;
+    /**
+     * Returns the ID of the claim-bound variable bound to `claimId` in this
+     * argument, or `undefined` if no such variable exists. Pure lookup — it
+     * never creates a variable (contrast `ensureClaimBoundVariable`).
+     *
+     * The engine's evaluation surface is variable-keyed, but consumers key
+     * their review/UI state by `claimId`; this accessor (with its inverse
+     * `getClaimIdForVariable`) is the documented seam for translating between
+     * the two.
+     *
+     * @since 3.1.0
+     */
+    getVariableIdForClaim(claimId: string): string | undefined;
+    /**
+     * Returns the `claimId` a claim-bound variable is bound to, or `undefined`
+     * when the variable is unknown or premise-bound (premise-bound variables
+     * have no claim). Inverse of `getVariableIdForClaim`.
+     *
+     * @since 3.1.0
+     */
+    getClaimIdForVariable(variableId: string): string | undefined;
+    /**
+     * Returns `true` iff the variable is claim-bound to a citation or
+     * axiomatic claim — the "grounded" claim types that a default assignment
+     * seeds `true`.
+     */
+    private isGroundedVariable;
+    /**
+     * Derives a default truth-value assignment for every variable in the
+     * argument, from claim type and immediate support structure alone. Values
+     * are `true` or `null` (unknown) — **never `false`**.
+     *
+     * `D(claim)` for the variable backing claim `c`:
+     * 1. `c` is a citation or axiomatic claim → `true`.
+     * 2. `c` is a normal claim: locate its derivation premise (the inference
+     *    whose consequent is `c`'s variable). Seed each variable referenced in
+     *    that premise's immediate antecedent `true` iff it is itself bound to a
+     *    citation/axiomatic claim, else `null`, and Kleene-evaluate the
+     *    antecedent once. Antecedent `true` → `true`; otherwise `null`. **No
+     *    recursion** — only the immediate antecedent claims' types are
+     *    inspected, never their own supports.
+     * 3. Anything else (no derivation premise, naked-Q derivation, a
+     *    premise-bound variable) → `null`.
+     *
+     * The returned map is **variable-keyed**; use `getVariableIdForClaim` /
+     * `getClaimIdForVariable` to translate to/from `claimId`.
+     *
+     * Consistency with the axiomatic pre-pass: `evaluate` force-sets
+     * axiomatic-bound variables `true` and **rejects** any explicit assignment
+     * for them (`AXIOM_VARIABLE_ASSIGNMENT_FORBIDDEN`). This map reports those
+     * same variables as `true` (the two agree), but the axiom keys must not be
+     * passed to `evaluate` directly. Feed the map through `evaluateWithDefaults`
+     * (which drops them), or strip axiomatic-bound keys before calling
+     * `evaluate` yourself.
+     *
+     * @since 3.1.0
+     */
+    deriveDefaultAssignment(): TCoreVariableAssignment;
+    /**
+     * Convenience: merge caller `overrides` over `deriveDefaultAssignment()`
+     * and `evaluate` in one call. Default-sourced **axiomatic-bound** keys are
+     * dropped before evaluation — the engine's pre-pass force-sets them `true`
+     * and rejects explicit axiom assignments, so passing the default `true`
+     * through would throw `AXIOM_VARIABLE_ASSIGNMENT_FORBIDDEN`. Dropping them
+     * keeps `deriveDefaultAssignment` (which reports axioms as `true`) and the
+     * pre-pass in agreement without double-applying. An `override` that names
+     * an axiomatic variable is left intact, so `evaluate` still enforces the
+     * one-way rule.
+     *
+     * **Citations are different from axioms.** The engine does *not* force
+     * citation-bound variables `true` and does *not* reject an explicit
+     * citation assignment — a citation is a free variable, so its default
+     * `true` is *kept* here (dropping it would leave the citation unknown at
+     * evaluation). Both citations and axioms read as `true` under defaults, but
+     * only the axiom `true` comes from the engine; the citation `true` is
+     * supplied by this map. That also makes citation defaults reviewer-
+     * overridable, whereas axioms stay locked.
+     *
+     * @since 3.1.0
+     */
+    evaluateWithDefaults(overrides?: TCoreVariableAssignment, options?: TCoreArgumentEvaluationOptions): TCoreArgumentEvaluationResult;
     /**
      * Override point for subclasses to prevent forking. When this returns
      * `false`, `forkArgument` will throw.

package/dist/lib/core/argument-engine.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"argument-engine.d.ts","sourceRoot":"","sources":["../../../src/lib/core/argument-engine.ts"],"names":[],"mappings":"AAAA,OAAO,EAGH,KAAK,mBAAmB,EACxB,KAAK,qBAAqB,EAC1B,KAAK,aAAa,EAClB,KAAK,UAAU,EAEf,KAAK,YAAY,EACjB,KAAK,4BAA4B,EACjC,KAAK,0BAA0B,EAC/B,KAAK,iBAAiB,EACzB,MAAM,sBAAsB,CAAA;AAC7B,OAAO,KAAK,EACR,8BAA8B,EAC9B,6BAA6B,EAC7B,sBAAsB,EACtB,yBAAyB,EACzB,qBAAqB,EACrB,yBAAyB,EACzB,wBAAwB,EAE3B,MAAM,wBAAwB,CAAA;AAC/B,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,sBAAsB,CAAA;AAC/D,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,sBAAsB,CAAA;AAC/D,OAAO,KAAK,EAAE,0BAA0B,EAAE,MAAM,wBAAwB,CAAA;AAaxE,OAAO,KAAK,EAAE,mBAAmB,EAAkB,MAAM,sBAAsB,CAAA;AAC/E,OAAO,KAAK,EACR,iBAAiB,EAEpB,MAAM,sBAAsB,CAAA;AAG7B,OAAO,EAAE,yBAAyB,EAAE,MAAM,qBAAqB,CAAA;AAmB/D,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,yBAAyB,CAAA;AAI/D,OAAO,EAEH,KAAK,eAAe,EACvB,MAAM,6BAA6B,CAAA;AAQpC,OAAO,KAAK,EAAE,YAAY,EAAE,UAAU,EAAE,MAAM,qBAAqB,CAAA;AAEnE,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,iCAAiC,CAAA;AAC3E,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,oCAAoC,CAAA;AAEhF,OAAO,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAA;AACnD,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,qBAAqB,CAAA;AAEjE,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,uBAAuB,CAAA;AACrE,OAAO,KAAK,EACR,YAAY,EACZ,mBAAmB,EACnB,0BAA0B,EAC1B,kBAAkB,EAClB,mBAAmB,EACnB,kBAAkB,EAClB,iBAAiB,EACjB,YAAY,EACZ,0BAA0B,EAC1B,YAAY,EACf,MAAM,uBAAuB,CAAA;AAE9B,wFAAwF;AACxF,eAAO,MAAM,iBAAiB,QAAO,MAAwC,CAAA;AAE7E,MAAM,MAAM,mBAAmB,GAAG;IAC9B,cAAc,CAAC,EAAE,mBAAmB,CAAA;IACpC,cAAc,CAAC,EAAE,mBAAmB,CAAA;IACpC;;;;;;;;;;;;;;;;OAgBG;IACH,QAAQ,CAAC,EAAE,WAAW,GAAG,YAAY,CAAA;IACrC,uFAAuF;IACvF,UAAU,CAAC,EAAE,MAAM,MAAM,CAAA;CAC5B,CAAA;AAED,MAAM,MAAM,uBAAuB,CAC/B,IAAI,SAAS,aAAa,GAAG,aAAa,EAC1C,QAAQ,SAAS,YAAY,GAAG,YAAY,EAC5C,KAAK,SAAS,4BAA4B,GAAG,4BAA4B,EACzE,IAAI,SAAS,0BAA0B,GAAG,0BAA0B,IACpE;IACA,QAAQ,EAAE,iBAAiB,CAAC,IAAI,CAAC,CAAA;IACjC,SAAS,EAAE,wBAAwB,CAAC,IAAI,CAAC,CAAA;IACzC,QAAQ,EAAE,sBAAsB,CAAC,QAAQ,EAAE,KAAK,CAAC,EAAE,CAAA;IACnD,mBAAmB,CAAC,EAAE,MAAM,CAAA;IAC5B,MAAM,CAAC,EAAE,mBAAmB,CAAA;CAC/B,CAAA;AAED;;;;;;GAMG;AACH,qBAAa,cAAc,CACvB,IAAI,SAAS,aAAa,GAAG,aAAa,EAC1C,QAAQ,SAAS,YAAY,GAAG,YAAY,EAC5C,KAAK,SAAS,4BAA4B,GAAG,4BAA4B,EACzE,IAAI,SAAS,0BAA0B,GAAG,0BAA0B,EACpE,MAAM,SAAS,UAAU,GAAG,UAAU,CAEtC,SAAQ,yBACR,YACI,YAAY,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,EACzC,mBAAmB,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,EAChD,0BAA0B,CAAC,KAAK,CAAC,EACjC,kBAAkB,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,EAC/C,mBAAmB,EACnB,kBAAkB,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,EAC/C,iBAAiB,CAAC,IAAI,CAAC,EACvB,YAAY,EACZ,0BAA0B,CAAC,UAAU,GAAG,WAAW,CAAC;IAExD,OAAO,CAAC,QAAQ,CAAyB;IACzC,OAAO,CAAC,QAAQ,CAAyD;IACzE,OAAO,CAAC,SAAS,CAAuB;IACxC,OAAO,CAAC,YAAY,CAAsB;IAC1C,OAAO,CAAC,mBAAmB,CAAoB;IAC/C,OAAO,CAAC,cAAc,CAAC,CAAqB;IAC5C,OAAO,CAAC,cAAc,CAAC,CAAqB;IAC5C,OAAO,CAAC,cAAc,CAA4B;IAClD,OAAO,CAAC,UAAU,CAAc;IAChC,OAAO,CAAC,qBAAqB,CAAQ;IAerC,OAAO,CAAC,UAAU,CAAQ;IAC1B,OAAO,CAAC,gCAAgC,CAA2B;IACnE,OAAO,CAAC,iCAAiC,CAA2B;IACpE,OAAO,CAAC,eAAe,CAAqB;IAC5C,OAAO,CAAC,SAAS,CAAwB;IACzC,OAAO,CAAC,aAAa,CAMpB;IACD,OAAO,CAAC,sBAAsB,CAEf;gBAGX,QAAQ,EAAE,iBAAiB,CAAC,IAAI,CAAC,EACjC,YAAY,EAAE,YAAY,CAAC,MAAM,CAAC,EAClC,OAAO,CAAC,EAAE,mBAAmB;IAmBjC,OAAO,CAAC,sBAAsB;IAS9B,OAAO,CAAC,gBAAgB;IA0CxB,OAAO,CAAC,oBAAoB;IAM5B,OAAO,CAAC,0BAA0B;IAiBlC,OAAO,CAAC,oBAAoB;IAUrB,SAAS,GAAI,UAAU,MAAM,IAAI,KAAG,CAAC,MAAM,IAAI,CAAC,CAKtD;IAED,SAAS,CAAC,iBAAiB,IAAI,IAAI;IAMnC,OAAO,CAAC,eAAe;IAUvB,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,oBAAoB,CAG3C;IAED,OAAO,CAAC,yBAAyB;IAQjC,OAAO,CAAC,wBAAwB;IAQhC,SAAS,CAAC,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,MAAM,CAAC,GAAG,CAAC;IA0BpC,WAAW,QAAO,iBAAiB,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,CAEtE;IAED,SAAS,CAAC,qBAAqB,IAAI,iBAAiB,CAChD,IAAI,EACJ,QAAQ,EACR,KAAK,EACL,IAAI,CACP;IAyED,OAAO,CAAC,oBAAoB;IAQ5B,OAAO,CAAC,sBAAsB;IAc9B,OAAO,CAAC,kBAAkB;IAc1B,OAAO,CAAC,iBAAiB;IAmCzB;;;;;;;OAOG;IACH,IAAW,QAAQ,IAAI,WAAW,GAAG,YAAY,CAEhD;IAED;;;;;;;;;;;;;;;;;;OAkBG;IACH,IAAW,WAAW,IAAI,MAAM,MAAM,CAErC;IAED;;;;;;;;;;;;;;;OAeG;IACI,WAAW,CAAC,CAAC,EAAE,WAAW,GAAG,YAAY,GAAG,IAAI;IAIvD;;;;;;;;;;;;;;;;;;OAkBG;IACI,YAAY,IAAI,OAAO;IAM9B;;;;;OAKG;IACI,UAAU,IAAI,IAAI;IAIlB,WAAW,IAAI,IAAI;IAUnB,SAAS,IAAI,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC;IAYpC,SAAS,CACZ,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAChC,mBAAmB,CAClB,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EACvB,KAAK,EACL,IAAI,EACJ,QAAQ,EACR,IAAI,CACP;IAoBM,YAAY,CACf,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GACjC,mBAAmB,CAClB,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EACvB,KAAK,EACL,IAAI,EACJ,QAAQ,EACR,IAAI,CACP;IAIM,eAAe,IAAI,MAAM;IA0BhC,6FAA6F;IAC7F,OAAO,CAAC,MAAM,CAAC,wBAAwB;IA4ChC,aAAa,IAAI,mBAAmB,CACvC,aAAa,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,EAC1C,KAAK,EACL,IAAI,EACJ,QAAQ,EACR,IAAI,CACP;IACM,aAAa,CAChB,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,SAAS,EAC3C,MAAM,EAAE,MAAM,GACf,mBAAmB,CAClB,aAAa,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,EAC1C,KAAK,EACL,IAAI,EACJ,QAAQ,EACR,IAAI,CACP;IACM,aAAa,CAChB,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAC/B,MAAM,CAAC,EAAE,MAAM,GAChB,mBAAmB,CAClB,aAAa,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,EAC1C,KAAK,EACL,IAAI,EACJ,QAAQ,EACR,IAAI,CACP;IACM,aAAa,CAAC,OAAO,EAAE;QAC1B,IAAI,CAAC,EAAE,UAAU,GAAG,YAAY,CAAA;QAChC,cAAc,CAAC,EAAE,MAAM,CAAA;QACvB,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;QAChC,MAAM,CAAC,EAAE,MAAM,CAAA;KAClB,GAAG,mBAAmB,CACnB,aAAa,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,EAC1C,KAAK,EACL,IAAI,EACJ,QAAQ,EACR,IAAI,CACP;IAyBM,mBAAmB,CACtB,EAAE,EAAE,MAAM,EACV,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAChC,MAAM,CAAC,EAAE,MAAM,GAChB,mBAAmB,CAClB,aAAa,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,EAC1C,KAAK,EACL,IAAI,EACJ,QAAQ,EACR,IAAI,CACP;IACM,mBAAmB,CACtB,EAAE,EAAE,MAAM,EACV,OAAO,EAAE;QACL,IAAI,CAAC,EAAE,UAAU,GAAG,YAAY,CAAA;QAChC,cAAc,CAAC,EAAE,MAAM,CAAA;QACvB,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;QAChC,MAAM,CAAC,EAAE,MAAM,CAAA;KAClB,GACF,mBAAmB,CAClB,aAAa,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,EAC1C,KAAK,EACL,IAAI,EACJ,QAAQ,EACR,IAAI,CACP;IAiMM,aAAa,CAChB,SAAS,EAAE,MAAM,GAClB,mBAAmB,CAAC,QAAQ,GAAG,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC;IAsElE,UAAU,CACb,SAAS,EAAE,MAAM,GAClB,aAAa,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,GAAG,SAAS;IAIlD,UAAU,CAAC,SAAS,EAAE,MAAM,GAAG,OAAO;IAItC,cAAc,IAAI,MAAM,EAAE;IAM1B,YAAY,IAAI,aAAa,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,EAAE;IAS5D,WAAW,CACd,QAAQ,EAAE,iBAAiB,CAAC,mBAAmB,CAAC,GAC5C,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAC5B,mBAAmB,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC;IA4CzD;;;;;;;;;;OAUG;IACI,wBAAwB,CAAC,OAAO,EAAE,MAAM,GAAG,mBAAmB;IA4C9D,qBAAqB,CACxB,QAAQ,EAAE,iBAAiB,CAAC,qBAAqB,CAAC,GAC9C,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAC5B,mBAAmB,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC;IAqCzD,uFAAuF;IAChF,6BAA6B,CAChC,QAAQ,EAAE,iBAAiB,CAAC,qBAAqB,CAAC,GAC9C,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAC5B,mBAAmB,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC;IA0CzD,2FAA2F;IACpF,sBAAsB,CACzB,QAAQ,EAAE,IAAI,CACV,iBAAiB,CAAC,qBAAqB,CAAC,EACxC,gBAAgB,CACnB,GACG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAC3B,mBAAmB,EAAE,MAAM,GAC5B,mBAAmB,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC;IAOlD,cAAc,CACjB,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GACjC,mBAAmB,CAAC,IAAI,GAAG,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC;IA8FrE,OAAO,CAAC,kBAAkB;IA8BnB,cAAc,CACjB,UAAU,EAAE,MAAM,GACnB,mBAAmB,CAAC,IAAI,GAAG,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC;IAM9D,YAAY,IAAI,IAAI,EAAE;IAItB,WAAW,CAAC,UAAU,EAAE,MAAM,GAAG,IAAI,GAAG,SAAS;IAIxD;;;;;;;;OAQG;IACI,QAAQ,CAAC,OAAO,EAAE,MAAM,EAAE,YAAY,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS;IAInE,WAAW,CAAC,UAAU,EAAE,MAAM,GAAG,OAAO;IAIxC,mBAAmB,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,GAAG,SAAS;IAIrD,kBAAkB,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE,IAAI,KAAK,CAAC,GAAG,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC;IAQ1D,0BAA0B,CAAC,SAAS,EAAE,MAAM,GAAG,IAAI,EAAE;IAOrD,aAAa,CAAC,YAAY,EAAE,MAAM,GAAG,KAAK,GAAG,SAAS;IAMtD,aAAa,CAAC,YAAY,EAAE,MAAM,GAAG,OAAO;IAI5C,sBAAsB,CAAC,YAAY,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS;IAIhE,yBAAyB,CAC5B,YAAY,EAAE,MAAM,GACrB,aAAa,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,GAAG,SAAS;IAMlD,iBAAiB,IAAI,KAAK,EAAE;IAQ5B,0BAA0B,CAAC,UAAU,EAAE,MAAM,GAAG,KAAK,EAAE;IAiBvD,mBAAmB,IAAI,KAAK,EAAE;IASrC;;;;;;;;;;;;;;;;;OAiBG;IACI,wBAAwB,CAC3B,YAAY,EAAE,MAAM,EACpB,MAAM,EAAE,OAAO,CAAC,KAAK,CAAC,GACvB,IAAI;IAUP;;;;;;;;;;;;;;;;;;;;;;;;OAwBG;IACI,qBAAqB,CACxB,KAAK,SAAS,oBAAoB,GAAG,oBAAoB,EAEzD,cAAc,EAAE,MAAM,EACtB,cAAc,EAAE,sBAAsB,CAAC,KAAK,CAAC,GAC9C,eAAe;IAIlB;;;;;OAKG;IACI,kBAAkB,CACrB,KAAK,SAAS,oBAAoB,GAAG,oBAAoB,EAEzD,cAAc,EAAE,MAAM,EACtB,WAAW,EAAE,sBAAsB,CAAC,KAAK,CAAC,GAC3C,eAAe;IAIlB;;;;;;;;;;;OAWG;IACI,2BAA2B,IAAI,SAAS,UAAU,EAAE;IAI3D;;;;;;;;;;;;;;OAcG;IACI,qBAAqB,IAAI,SAAS,UAAU,EAAE;IAIrD;;;;;;;;;;;;;;;OAeG;IACI,iCAAiC,CACpC,QAAQ,GAAE,YAAY,GAAG,yBAAwC,GAClE,SAAS,UAAU,EAAE;IAIxB;;;;;;;;;;;;;;OAcG;IACI,6BAA6B,IAAI,SAAS,UAAU,EAAE;IAI7D;;;;;;;;;;;;;;;;;;;;;;OAsBG;IACI,SAAS,CAAC,IAAI,GAAE,YAA4B,GAAG,IAAI;IAUnD,YAAY,IAAI,sBAAsB;IAQtC,oBAAoB,CACvB,SAAS,EAAE,MAAM,GAClB,mBAAmB,CAClB,sBAAsB,EACtB,KAAK,EACL,IAAI,EACJ,QAAQ,EACR,IAAI,CACP;IAkBM,sBAAsB,IAAI,mBAAmB,CAChD,sBAAsB,EACtB,KAAK,EACL,IAAI,EACJ,QAAQ,EACR,IAAI,CACP;IAuCM,oBAAoB,IACrB,aAAa,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,GAC1C,SAAS;IAOR,sBAAsB,IAAI,aAAa,CAC1C,IAAI,EACJ,QAAQ,EACR,KAAK,EACL,IAAI,CACP,EAAE;IAMI,QAAQ,IAAI,uBAAuB,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC;IAiCvE,wEAAwE;WAC1D,YAAY,CACtB,IAAI,SAAS,aAAa,GAAG,aAAa,EAC1C,QAAQ,SAAS,YAAY,GAAG,YAAY,EAC5C,KAAK,SAAS,4BAA4B,GACtC,4BAA4B,EAChC,IAAI,SAAS,0BAA0B,GAAG,0BAA0B,EACpE,MAAM,SAAS,UAAU,GAAG,UAAU,EAEtC,QAAQ,EAAE,uBAAuB,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,EAC9D,YAAY,EAAE,YAAY,CAAC,MAAM,CAAC,EAClC,oBAAoB,CAAC,EAAE,QAAQ,GAAG,QAAQ,EAC1C,UAAU,CAAC,EAAE,MAAM,MAAM,GAC1B,cAAc,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,CAAC;IAqGtD;;;;;OAKG;WACW,QAAQ,CAClB,IAAI,SAAS,aAAa,GAAG,aAAa,EAC1C,QAAQ,SAAS,YAAY,GAAG,YAAY,EAC5C,KAAK,SAAS,4BAA4B,GACtC,4BAA4B,EAChC,IAAI,SAAS,0BAA0B,GAAG,0BAA0B,EACpE,MAAM,SAAS,UAAU,GAAG,UAAU,EAEtC,QAAQ,EAAE,iBAAiB,CAAC,IAAI,CAAC,EACjC,YAAY,EAAE,YAAY,CAAC,MAAM,CAAC,EAClC,SAAS,EAAE,iBAAiB,CAAC,IAAI,CAAC,EAAE,EACpC,QAAQ,EAAE,iBAAiB,CAAC,QAAQ,CAAC,EAAE,EACvC,WAAW,EAAE,gBAAgB,CAAC,KAAK,CAAC,EAAE,EACtC,KAAK,EAAE,sBAAsB,EAC7B,MAAM,CAAC,EAAE,mBAAmB,EAC5B,oBAAoB,CAAC,EAAE,QAAQ,GAAG,QAAQ,GAC3C,cAAc,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,CAAC;IA8HtD;;;OAGG;IACH,OAAO,CAAC,MAAM,CAAC,uBAAuB;IA4FtC;;;OAGG;IACH,OAAO,CAAC,MAAM,CAAC,mBAAmB;IAiE3B,QAAQ,CACX,QAAQ,EAAE,uBAAuB,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,GAC/D,IAAI;IAUP,OAAO,CAAC,gBAAgB;IAuDjB,qBAAqB,CACxB,IAAI,EAAE,UAAU,GAAG,WAAW,GAC/B,MAAM,GAAG,IAAI;IAST,cAAc,IAAI,IAAI;IAuE7B,OAAO,CAAC,SAAS;IASjB,sEAAsE;IACtE,OAAO,CAAC,oBAAoB;IAM5B,OAAO,CAAC,sBAAsB;IAavB,0BAA0B,IAAI;QACjC,WAAW,EAAE,MAAM,EAAE,CAAA;QACrB,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE;YAAE,MAAM,EAAE,MAAM,CAAC;YAAC,UAAU,EAAE,MAAM,EAAE,CAAA;SAAE,CAAC,CAAA;QAC9D,QAAQ,EAAE,MAAM,CACZ,MAAM,EACN;YAAE,WAAW,EAAE,MAAM,EAAE,CAAC;YAAC,UAAU,EAAE,MAAM,EAAE,CAAA;SAAE,CAClD,CAAA;KACJ;IAMD,OAAO,CAAC,4BAA4B;IAMpC;;;;;;;;;;;;OAYG;IACI,QAAQ,CAAC,IAAI,EAAE,YAAY,GAAG,SAAS,UAAU,EAAE;IAI1D;;;;;;;;;;;;;;;;;OAiBG;IACI,kBAAkB,IAAI,0BAA0B;IAIvD;;;;;;OAMG;IACH,OAAO,CAAC,yBAAyB;IAuC1B,oBAAoB,IAAI,qBAAqB;IASpD;;;;;;;;;;;;;OAaG;IACI,4BAA4B,IAAI,0BAA0B;IAQjE,OAAO,CAAC,gCAAgC;IAcxC,OAAO,CAAE,2BAA2B;IAuBpC,OAAO,CAAC,mBAAmB;IAiC3B,OAAO,CAAC,mBAAmB;IAyC3B;;;;;OAKG;IACH,OAAO,CAAC,8BAA8B;IAetC;;;;;;;;OAQG;IACH,OAAO,CAAC,+BAA+B;IAoBvC;;;;OAIG;IACH,OAAO,CAAC,4BAA4B;IAI7B,QAAQ,CACX,UAAU,EAAE,yBAAyB,EACrC,OAAO,CAAC,EAAE,8BAA8B,GACzC,6BAA6B;IAezB,aAAa,CAChB,OAAO,CAAC,EAAE,yBAAyB,GACpC,wBAAwB;IAwB3B;;;OAGG;IACI,OAAO,IAAI,OAAO;IAIzB;;;OAGG;IACH,SAAS,CAAC,OAAO,CACb,gBAAgB,EAAE,MAAM,EACxB,qBAAqB,EAAE,MAAM,GAC9B,OAAO;CAGb"}
+{"version":3,"file":"argument-engine.d.ts","sourceRoot":"","sources":["../../../src/lib/core/argument-engine.ts"],"names":[],"mappings":"AAAA,OAAO,EAGH,KAAK,mBAAmB,EACxB,KAAK,qBAAqB,EAC1B,KAAK,aAAa,EAClB,KAAK,UAAU,EAEf,KAAK,YAAY,EACjB,KAAK,4BAA4B,EACjC,KAAK,0BAA0B,EAC/B,KAAK,iBAAiB,EACzB,MAAM,sBAAsB,CAAA;AAC7B,OAAO,KAAK,EACR,8BAA8B,EAC9B,6BAA6B,EAC7B,sBAAsB,EACtB,yBAAyB,EACzB,qBAAqB,EACrB,yBAAyB,EACzB,wBAAwB,EACxB,uBAAuB,EAC1B,MAAM,wBAAwB,CAAA;AAC/B,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,sBAAsB,CAAA;AAC/D,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,sBAAsB,CAAA;AAC/D,OAAO,KAAK,EAAE,0BAA0B,EAAE,MAAM,wBAAwB,CAAA;AAaxE,OAAO,KAAK,EAAE,mBAAmB,EAAkB,MAAM,sBAAsB,CAAA;AAC/E,OAAO,KAAK,EACR,iBAAiB,EAEpB,MAAM,sBAAsB,CAAA;AAG7B,OAAO,EAAE,yBAAyB,EAAE,MAAM,qBAAqB,CAAA;AAoB/D,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,yBAAyB,CAAA;AAI/D,OAAO,EAEH,KAAK,eAAe,EACvB,MAAM,6BAA6B,CAAA;AAQpC,OAAO,KAAK,EAAE,YAAY,EAAE,UAAU,EAAE,MAAM,qBAAqB,CAAA;AAEnE,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,iCAAiC,CAAA;AAC3E,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,oCAAoC,CAAA;AAEhF,OAAO,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAA;AACnD,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,qBAAqB,CAAA;AAEjE,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,uBAAuB,CAAA;AACrE,OAAO,KAAK,EACR,YAAY,EACZ,mBAAmB,EACnB,0BAA0B,EAC1B,kBAAkB,EAClB,mBAAmB,EACnB,kBAAkB,EAClB,iBAAiB,EACjB,YAAY,EACZ,0BAA0B,EAC1B,YAAY,EACf,MAAM,uBAAuB,CAAA;AAE9B,wFAAwF;AACxF,eAAO,MAAM,iBAAiB,QAAO,MAAwC,CAAA;AAE7E,MAAM,MAAM,mBAAmB,GAAG;IAC9B,cAAc,CAAC,EAAE,mBAAmB,CAAA;IACpC,cAAc,CAAC,EAAE,mBAAmB,CAAA;IACpC;;;;;;;;;;;;;;;;OAgBG;IACH,QAAQ,CAAC,EAAE,WAAW,GAAG,YAAY,CAAA;IACrC,uFAAuF;IACvF,UAAU,CAAC,EAAE,MAAM,MAAM,CAAA;CAC5B,CAAA;AAED,MAAM,MAAM,uBAAuB,CAC/B,IAAI,SAAS,aAAa,GAAG,aAAa,EAC1C,QAAQ,SAAS,YAAY,GAAG,YAAY,EAC5C,KAAK,SAAS,4BAA4B,GAAG,4BAA4B,EACzE,IAAI,SAAS,0BAA0B,GAAG,0BAA0B,IACpE;IACA,QAAQ,EAAE,iBAAiB,CAAC,IAAI,CAAC,CAAA;IACjC,SAAS,EAAE,wBAAwB,CAAC,IAAI,CAAC,CAAA;IACzC,QAAQ,EAAE,sBAAsB,CAAC,QAAQ,EAAE,KAAK,CAAC,EAAE,CAAA;IACnD,mBAAmB,CAAC,EAAE,MAAM,CAAA;IAC5B,MAAM,CAAC,EAAE,mBAAmB,CAAA;CAC/B,CAAA;AAED;;;;;;GAMG;AACH,qBAAa,cAAc,CACvB,IAAI,SAAS,aAAa,GAAG,aAAa,EAC1C,QAAQ,SAAS,YAAY,GAAG,YAAY,EAC5C,KAAK,SAAS,4BAA4B,GAAG,4BAA4B,EACzE,IAAI,SAAS,0BAA0B,GAAG,0BAA0B,EACpE,MAAM,SAAS,UAAU,GAAG,UAAU,CAEtC,SAAQ,yBACR,YACI,YAAY,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,EACzC,mBAAmB,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,EAChD,0BAA0B,CAAC,KAAK,CAAC,EACjC,kBAAkB,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,EAC/C,mBAAmB,EACnB,kBAAkB,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,EAC/C,iBAAiB,CAAC,IAAI,CAAC,EACvB,YAAY,EACZ,0BAA0B,CAAC,UAAU,GAAG,WAAW,CAAC;IAExD,OAAO,CAAC,QAAQ,CAAyB;IACzC,OAAO,CAAC,QAAQ,CAAyD;IACzE,OAAO,CAAC,SAAS,CAAuB;IACxC,OAAO,CAAC,YAAY,CAAsB;IAC1C,OAAO,CAAC,mBAAmB,CAAoB;IAC/C,OAAO,CAAC,cAAc,CAAC,CAAqB;IAC5C,OAAO,CAAC,cAAc,CAAC,CAAqB;IAC5C,OAAO,CAAC,cAAc,CAA4B;IAClD,OAAO,CAAC,UAAU,CAAc;IAChC,OAAO,CAAC,qBAAqB,CAAQ;IAerC,OAAO,CAAC,UAAU,CAAQ;IAC1B,OAAO,CAAC,gCAAgC,CAA2B;IACnE,OAAO,CAAC,iCAAiC,CAA2B;IACpE,OAAO,CAAC,eAAe,CAAqB;IAC5C,OAAO,CAAC,SAAS,CAAwB;IACzC,OAAO,CAAC,aAAa,CAMpB;IACD,OAAO,CAAC,sBAAsB,CAEf;gBAGX,QAAQ,EAAE,iBAAiB,CAAC,IAAI,CAAC,EACjC,YAAY,EAAE,YAAY,CAAC,MAAM,CAAC,EAClC,OAAO,CAAC,EAAE,mBAAmB;IAmBjC,OAAO,CAAC,sBAAsB;IAS9B,OAAO,CAAC,gBAAgB;IA0CxB,OAAO,CAAC,oBAAoB;IAM5B,OAAO,CAAC,0BAA0B;IAiBlC,OAAO,CAAC,oBAAoB;IAUrB,SAAS,GAAI,UAAU,MAAM,IAAI,KAAG,CAAC,MAAM,IAAI,CAAC,CAKtD;IAED,SAAS,CAAC,iBAAiB,IAAI,IAAI;IAMnC,OAAO,CAAC,eAAe;IAUvB,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,oBAAoB,CAG3C;IAED,OAAO,CAAC,yBAAyB;IAQjC,OAAO,CAAC,wBAAwB;IAQhC,SAAS,CAAC,cAAc,CAAC,CAAC,EAAE,EAAE,EAAE,MAAM,CAAC,GAAG,CAAC;IA0BpC,WAAW,QAAO,iBAAiB,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,CAEtE;IAED,SAAS,CAAC,qBAAqB,IAAI,iBAAiB,CAChD,IAAI,EACJ,QAAQ,EACR,KAAK,EACL,IAAI,CACP;IAyED,OAAO,CAAC,oBAAoB;IAQ5B,OAAO,CAAC,sBAAsB;IAc9B,OAAO,CAAC,kBAAkB;IAc1B,OAAO,CAAC,iBAAiB;IAmCzB;;;;;;;OAOG;IACH,IAAW,QAAQ,IAAI,WAAW,GAAG,YAAY,CAEhD;IAED;;;;;;;;;;;;;;;;;;OAkBG;IACH,IAAW,WAAW,IAAI,MAAM,MAAM,CAErC;IAED;;;;;;;;;;;;;;;OAeG;IACI,WAAW,CAAC,CAAC,EAAE,WAAW,GAAG,YAAY,GAAG,IAAI;IAIvD;;;;;;;;;;;;;;;;;;OAkBG;IACI,YAAY,IAAI,OAAO;IAM9B;;;;;OAKG;IACI,UAAU,IAAI,IAAI;IAIlB,WAAW,IAAI,IAAI;IAUnB,SAAS,IAAI,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC;IAYpC,SAAS,CACZ,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAChC,mBAAmB,CAClB,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EACvB,KAAK,EACL,IAAI,EACJ,QAAQ,EACR,IAAI,CACP;IAoBM,YAAY,CACf,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GACjC,mBAAmB,CAClB,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EACvB,KAAK,EACL,IAAI,EACJ,QAAQ,EACR,IAAI,CACP;IAIM,eAAe,IAAI,MAAM;IA0BhC,6FAA6F;IAC7F,OAAO,CAAC,MAAM,CAAC,wBAAwB;IA4ChC,aAAa,IAAI,mBAAmB,CACvC,aAAa,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,EAC1C,KAAK,EACL,IAAI,EACJ,QAAQ,EACR,IAAI,CACP;IACM,aAAa,CAChB,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,SAAS,EAC3C,MAAM,EAAE,MAAM,GACf,mBAAmB,CAClB,aAAa,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,EAC1C,KAAK,EACL,IAAI,EACJ,QAAQ,EACR,IAAI,CACP;IACM,aAAa,CAChB,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAC/B,MAAM,CAAC,EAAE,MAAM,GAChB,mBAAmB,CAClB,aAAa,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,EAC1C,KAAK,EACL,IAAI,EACJ,QAAQ,EACR,IAAI,CACP;IACM,aAAa,CAAC,OAAO,EAAE;QAC1B,IAAI,CAAC,EAAE,UAAU,GAAG,YAAY,CAAA;QAChC,cAAc,CAAC,EAAE,MAAM,CAAA;QACvB,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;QAChC,MAAM,CAAC,EAAE,MAAM,CAAA;KAClB,GAAG,mBAAmB,CACnB,aAAa,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,EAC1C,KAAK,EACL,IAAI,EACJ,QAAQ,EACR,IAAI,CACP;IAyBM,mBAAmB,CACtB,EAAE,EAAE,MAAM,EACV,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAChC,MAAM,CAAC,EAAE,MAAM,GAChB,mBAAmB,CAClB,aAAa,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,EAC1C,KAAK,EACL,IAAI,EACJ,QAAQ,EACR,IAAI,CACP;IACM,mBAAmB,CACtB,EAAE,EAAE,MAAM,EACV,OAAO,EAAE;QACL,IAAI,CAAC,EAAE,UAAU,GAAG,YAAY,CAAA;QAChC,cAAc,CAAC,EAAE,MAAM,CAAA;QACvB,MAAM,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;QAChC,MAAM,CAAC,EAAE,MAAM,CAAA;KAClB,GACF,mBAAmB,CAClB,aAAa,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,EAC1C,KAAK,EACL,IAAI,EACJ,QAAQ,EACR,IAAI,CACP;IAiMM,aAAa,CAChB,SAAS,EAAE,MAAM,GAClB,mBAAmB,CAAC,QAAQ,GAAG,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC;IAsElE,UAAU,CACb,SAAS,EAAE,MAAM,GAClB,aAAa,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,GAAG,SAAS;IAIlD,UAAU,CAAC,SAAS,EAAE,MAAM,GAAG,OAAO;IAItC,cAAc,IAAI,MAAM,EAAE;IAM1B,YAAY,IAAI,aAAa,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,EAAE;IAS5D,WAAW,CACd,QAAQ,EAAE,iBAAiB,CAAC,mBAAmB,CAAC,GAC5C,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAC5B,mBAAmB,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC;IA4CzD;;;;;;;;;;OAUG;IACI,wBAAwB,CAAC,OAAO,EAAE,MAAM,GAAG,mBAAmB;IA4C9D,qBAAqB,CACxB,QAAQ,EAAE,iBAAiB,CAAC,qBAAqB,CAAC,GAC9C,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAC5B,mBAAmB,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC;IAqCzD,uFAAuF;IAChF,6BAA6B,CAChC,QAAQ,EAAE,iBAAiB,CAAC,qBAAqB,CAAC,GAC9C,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAC5B,mBAAmB,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC;IA0CzD,2FAA2F;IACpF,sBAAsB,CACzB,QAAQ,EAAE,IAAI,CACV,iBAAiB,CAAC,qBAAqB,CAAC,EACxC,gBAAgB,CACnB,GACG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAC3B,mBAAmB,EAAE,MAAM,GAC5B,mBAAmB,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC;IAOlD,cAAc,CACjB,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GACjC,mBAAmB,CAAC,IAAI,GAAG,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC;IA8FrE,OAAO,CAAC,kBAAkB;IA8BnB,cAAc,CACjB,UAAU,EAAE,MAAM,GACnB,mBAAmB,CAAC,IAAI,GAAG,SAAS,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,CAAC;IAM9D,YAAY,IAAI,IAAI,EAAE;IAItB,WAAW,CAAC,UAAU,EAAE,MAAM,GAAG,IAAI,GAAG,SAAS;IAIxD;;;;;;;;OAQG;IACI,QAAQ,CAAC,OAAO,EAAE,MAAM,EAAE,YAAY,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS;IAInE,WAAW,CAAC,UAAU,EAAE,MAAM,GAAG,OAAO;IAIxC,mBAAmB,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,GAAG,SAAS;IAIrD,kBAAkB,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE,IAAI,KAAK,CAAC,GAAG,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC;IAQ1D,0BAA0B,CAAC,SAAS,EAAE,MAAM,GAAG,IAAI,EAAE;IAOrD,aAAa,CAAC,YAAY,EAAE,MAAM,GAAG,KAAK,GAAG,SAAS;IAMtD,aAAa,CAAC,YAAY,EAAE,MAAM,GAAG,OAAO;IAI5C,sBAAsB,CAAC,YAAY,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS;IAIhE,yBAAyB,CAC5B,YAAY,EAAE,MAAM,GACrB,aAAa,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,GAAG,SAAS;IAMlD,iBAAiB,IAAI,KAAK,EAAE;IAQ5B,0BAA0B,CAAC,UAAU,EAAE,MAAM,GAAG,KAAK,EAAE;IAiBvD,mBAAmB,IAAI,KAAK,EAAE;IASrC;;;;;;;;;;;;;;;;;OAiBG;IACI,wBAAwB,CAC3B,YAAY,EAAE,MAAM,EACpB,MAAM,EAAE,OAAO,CAAC,KAAK,CAAC,GACvB,IAAI;IAUP;;;;;;;;;;;;;;;;;;;;;;;;OAwBG;IACI,qBAAqB,CACxB,KAAK,SAAS,oBAAoB,GAAG,oBAAoB,EAEzD,cAAc,EAAE,MAAM,EACtB,cAAc,EAAE,sBAAsB,CAAC,KAAK,CAAC,GAC9C,eAAe;IAIlB;;;;;OAKG;IACI,kBAAkB,CACrB,KAAK,SAAS,oBAAoB,GAAG,oBAAoB,EAEzD,cAAc,EAAE,MAAM,EACtB,WAAW,EAAE,sBAAsB,CAAC,KAAK,CAAC,GAC3C,eAAe;IAIlB;;;;;;;;;;;OAWG;IACI,2BAA2B,IAAI,SAAS,UAAU,EAAE;IAI3D;;;;;;;;;;;;;;OAcG;IACI,qBAAqB,IAAI,SAAS,UAAU,EAAE;IAIrD;;;;;;;;;;;;;;;OAeG;IACI,iCAAiC,CACpC,QAAQ,GAAE,YAAY,GAAG,yBAAwC,GAClE,SAAS,UAAU,EAAE;IAIxB;;;;;;;;;;;;;;OAcG;IACI,6BAA6B,IAAI,SAAS,UAAU,EAAE;IAI7D;;;;;;;;;;;;;;;;;;;;;;OAsBG;IACI,SAAS,CAAC,IAAI,GAAE,YAA4B,GAAG,IAAI;IAUnD,YAAY,IAAI,sBAAsB;IAQtC,oBAAoB,CACvB,SAAS,EAAE,MAAM,GAClB,mBAAmB,CAClB,sBAAsB,EACtB,KAAK,EACL,IAAI,EACJ,QAAQ,EACR,IAAI,CACP;IAkBM,sBAAsB,IAAI,mBAAmB,CAChD,sBAAsB,EACtB,KAAK,EACL,IAAI,EACJ,QAAQ,EACR,IAAI,CACP;IAuCM,oBAAoB,IACrB,aAAa,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,GAC1C,SAAS;IAOR,sBAAsB,IAAI,aAAa,CAC1C,IAAI,EACJ,QAAQ,EACR,KAAK,EACL,IAAI,CACP,EAAE;IAMI,QAAQ,IAAI,uBAAuB,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC;IAiCvE,wEAAwE;WAC1D,YAAY,CACtB,IAAI,SAAS,aAAa,GAAG,aAAa,EAC1C,QAAQ,SAAS,YAAY,GAAG,YAAY,EAC5C,KAAK,SAAS,4BAA4B,GACtC,4BAA4B,EAChC,IAAI,SAAS,0BAA0B,GAAG,0BAA0B,EACpE,MAAM,SAAS,UAAU,GAAG,UAAU,EAEtC,QAAQ,EAAE,uBAAuB,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,EAC9D,YAAY,EAAE,YAAY,CAAC,MAAM,CAAC,EAClC,oBAAoB,CAAC,EAAE,QAAQ,GAAG,QAAQ,EAC1C,UAAU,CAAC,EAAE,MAAM,MAAM,GAC1B,cAAc,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,CAAC;IAqGtD;;;;;OAKG;WACW,QAAQ,CAClB,IAAI,SAAS,aAAa,GAAG,aAAa,EAC1C,QAAQ,SAAS,YAAY,GAAG,YAAY,EAC5C,KAAK,SAAS,4BAA4B,GACtC,4BAA4B,EAChC,IAAI,SAAS,0BAA0B,GAAG,0BAA0B,EACpE,MAAM,SAAS,UAAU,GAAG,UAAU,EAEtC,QAAQ,EAAE,iBAAiB,CAAC,IAAI,CAAC,EACjC,YAAY,EAAE,YAAY,CAAC,MAAM,CAAC,EAClC,SAAS,EAAE,iBAAiB,CAAC,IAAI,CAAC,EAAE,EACpC,QAAQ,EAAE,iBAAiB,CAAC,QAAQ,CAAC,EAAE,EACvC,WAAW,EAAE,gBAAgB,CAAC,KAAK,CAAC,EAAE,EACtC,KAAK,EAAE,sBAAsB,EAC7B,MAAM,CAAC,EAAE,mBAAmB,EAC5B,oBAAoB,CAAC,EAAE,QAAQ,GAAG,QAAQ,GAC3C,cAAc,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,CAAC;IA8HtD;;;OAGG;IACH,OAAO,CAAC,MAAM,CAAC,uBAAuB;IA4FtC;;;OAGG;IACH,OAAO,CAAC,MAAM,CAAC,mBAAmB;IAiE3B,QAAQ,CACX,QAAQ,EAAE,uBAAuB,CAAC,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,IAAI,CAAC,GAC/D,IAAI;IAUP,OAAO,CAAC,gBAAgB;IAuDjB,qBAAqB,CACxB,IAAI,EAAE,UAAU,GAAG,WAAW,GAC/B,MAAM,GAAG,IAAI;IAST,cAAc,IAAI,IAAI;IAuE7B,OAAO,CAAC,SAAS;IASjB,sEAAsE;IACtE,OAAO,CAAC,oBAAoB;IAM5B,OAAO,CAAC,sBAAsB;IAavB,0BAA0B,IAAI;QACjC,WAAW,EAAE,MAAM,EAAE,CAAA;QACrB,IAAI,EAAE,MAAM,CAAC,MAAM,EAAE;YAAE,MAAM,EAAE,MAAM,CAAC;YAAC,UAAU,EAAE,MAAM,EAAE,CAAA;SAAE,CAAC,CAAA;QAC9D,QAAQ,EAAE,MAAM,CACZ,MAAM,EACN;YAAE,WAAW,EAAE,MAAM,EAAE,CAAC;YAAC,UAAU,EAAE,MAAM,EAAE,CAAA;SAAE,CAClD,CAAA;KACJ;IAMD,OAAO,CAAC,4BAA4B;IAMpC;;;;;;;;;;;;OAYG;IACI,QAAQ,CAAC,IAAI,EAAE,YAAY,GAAG,SAAS,UAAU,EAAE;IAI1D;;;;;;;;;;;;;;;;;OAiBG;IACI,kBAAkB,IAAI,0BAA0B;IAIvD;;;;;;OAMG;IACH,OAAO,CAAC,yBAAyB;IAuC1B,oBAAoB,IAAI,qBAAqB;IASpD;;;;;;;;;;;;;OAaG;IACI,4BAA4B,IAAI,0BAA0B;IAQjE,OAAO,CAAC,gCAAgC;IAcxC,OAAO,CAAE,2BAA2B;IAuBpC,OAAO,CAAC,mBAAmB;IAiC3B,OAAO,CAAC,mBAAmB;IAyC3B;;;;;OAKG;IACH,OAAO,CAAC,8BAA8B;IAetC;;;;;;;;OAQG;IACH,OAAO,CAAC,+BAA+B;IAoBvC;;;;OAIG;IACH,OAAO,CAAC,4BAA4B;IAI7B,QAAQ,CACX,UAAU,EAAE,yBAAyB,EACrC,OAAO,CAAC,EAAE,8BAA8B,GACzC,6BAA6B;IAezB,aAAa,CAChB,OAAO,CAAC,EAAE,yBAAyB,GACpC,wBAAwB;IAoB3B;;;;;;;;;;;OAWG;IACI,qBAAqB,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS;IAajE;;;;;;OAMG;IACI,qBAAqB,CAAC,UAAU,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS;IAQpE;;;;OAIG;IACH,OAAO,CAAC,kBAAkB;IAO1B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OA6BG;IACI,uBAAuB,IAAI,uBAAuB;IAkEzD;;;;;;;;;;;;;;;;;;;;;OAqBG;IACI,oBAAoB,CACvB,SAAS,CAAC,EAAE,uBAAuB,EACnC,OAAO,CAAC,EAAE,8BAA8B,GACzC,6BAA6B;IAuBhC;;;OAGG;IACI,OAAO,IAAI,OAAO;IAIzB;;;OAGG;IACH,SAAS,CAAC,OAAO,CACb,gBAAgB,EAAE,MAAM,EACxB,qBAAqB,EAAE,MAAM,GAC9B,OAAO;CAGb"}

package/dist/lib/core/argument-engine.js

@@ -5,7 +5,7 @@ import { DEFAULT_CHECKSUM_CONFIG, normalizeChecksumConfig, serializeChecksumConf
 import { ChangeCollector } from "./change-collector.js";
 import { canonicalSerialize, computeHash, entityChecksum } from "./checksum.js";
 import { HierarchicalChecksumCache } from "./checksum-cache.js";
-import { evaluateArgument as evaluateArgumentStandalone, checkArgumentValidity as checkArgumentValidityStandalone, } from "./evaluation/argument-evaluation.js";
+import { evaluateArgument as evaluateArgumentStandalone, checkArgumentValidity as checkArgumentValidityStandalone, evaluateSubtreeKleene, } from "./evaluation/argument-evaluation.js";
 import { makeErrorIssue, makeValidationResult, } from "./evaluation/validation.js";
 import { validateArgument as validateArgumentStandalone, validateArgumentAfterPremiseMutation as validateAfterPremiseMutationStandalone, validateArgumentEvaluability as validateArgumentEvaluabilityStandalone, collectArgumentReferencedVariables as collectArgumentReferencedVariablesStandalone, } from "./argument-validation.js";
 import { normalizeArgument } from "../grammar/normalize.js";
@@ -1995,6 +1995,180 @@ export class ArgumentEngine extends HierarchicalChecksumCache {
             forcedTrueVariableIds,
         });
     }
+    /**
+     * Returns the ID of the claim-bound variable bound to `claimId` in this
+     * argument, or `undefined` if no such variable exists. Pure lookup — it
+     * never creates a variable (contrast `ensureClaimBoundVariable`).
+     *
+     * The engine's evaluation surface is variable-keyed, but consumers key
+     * their review/UI state by `claimId`; this accessor (with its inverse
+     * `getClaimIdForVariable`) is the documented seam for translating between
+     * the two.
+     *
+     * @since 3.1.0
+     */
+    getVariableIdForClaim(claimId) {
+        for (const variable of this.variables.toArray()) {
+            const base = variable;
+            if (isClaimBound(base) &&
+                base.claimId === claimId) {
+                return variable.id;
+            }
+        }
+        return undefined;
+    }
+    /**
+     * Returns the `claimId` a claim-bound variable is bound to, or `undefined`
+     * when the variable is unknown or premise-bound (premise-bound variables
+     * have no claim). Inverse of `getVariableIdForClaim`.
+     *
+     * @since 3.1.0
+     */
+    getClaimIdForVariable(variableId) {
+        const variable = this.variables.getVariable(variableId);
+        if (variable === undefined)
+            return undefined;
+        const base = variable;
+        if (!isClaimBound(base))
+            return undefined;
+        return base.claimId;
+    }
+    /**
+     * Returns `true` iff the variable is claim-bound to a citation or
+     * axiomatic claim — the "grounded" claim types that a default assignment
+     * seeds `true`.
+     */
+    isGroundedVariable(variable) {
+        if (!isClaimBound(variable))
+            return false;
+        const cb = variable;
+        const claim = this.claimLibrary.get(cb.claimId, cb.claimVersion);
+        return claim?.type === "citation" || claim?.type === "axiomatic";
+    }
+    /**
+     * Derives a default truth-value assignment for every variable in the
+     * argument, from claim type and immediate support structure alone. Values
+     * are `true` or `null` (unknown) — **never `false`**.
+     *
+     * `D(claim)` for the variable backing claim `c`:
+     * 1. `c` is a citation or axiomatic claim → `true`.
+     * 2. `c` is a normal claim: locate its derivation premise (the inference
+     *    whose consequent is `c`'s variable). Seed each variable referenced in
+     *    that premise's immediate antecedent `true` iff it is itself bound to a
+     *    citation/axiomatic claim, else `null`, and Kleene-evaluate the
+     *    antecedent once. Antecedent `true` → `true`; otherwise `null`. **No
+     *    recursion** — only the immediate antecedent claims' types are
+     *    inspected, never their own supports.
+     * 3. Anything else (no derivation premise, naked-Q derivation, a
+     *    premise-bound variable) → `null`.
+     *
+     * The returned map is **variable-keyed**; use `getVariableIdForClaim` /
+     * `getClaimIdForVariable` to translate to/from `claimId`.
+     *
+     * Consistency with the axiomatic pre-pass: `evaluate` force-sets
+     * axiomatic-bound variables `true` and **rejects** any explicit assignment
+     * for them (`AXIOM_VARIABLE_ASSIGNMENT_FORBIDDEN`). This map reports those
+     * same variables as `true` (the two agree), but the axiom keys must not be
+     * passed to `evaluate` directly. Feed the map through `evaluateWithDefaults`
+     * (which drops them), or strip axiomatic-bound keys before calling
+     * `evaluate` yourself.
+     *
+     * @since 3.1.0
+     */
+    deriveDefaultAssignment() {
+        // Index each derivation premise by the claim it derives, so a normal
+        // claim's immediate support is a one-pass lookup.
+        const derivationByClaimId = new Map();
+        for (const pm of this.listPremises()) {
+            const data = pm.toPremiseData();
+            if (data.type === "derivation") {
+                derivationByClaimId.set(data.derivedClaimId, pm);
+            }
+        }
+        // One global seed evaluates every antecedent: grounded variables are
+        // `true`, everything else `null`. Because non-grounded (incl. normal)
+        // variables stay `null` here, evaluating an antecedent inspects only
+        // its immediate claims' types — never their own supports.
+        const seed = {};
+        for (const variable of this.variables.toArray()) {
+            const base = variable;
+            seed[variable.id] = this.isGroundedVariable(base) ? true : null;
+        }
+        const result = {};
+        for (const variable of this.variables.toArray()) {
+            const base = variable;
+            if (this.isGroundedVariable(base)) {
+                result[variable.id] = true;
+                continue;
+            }
+            // Default to unknown; upgrade to `true` only for a normal claim
+            // whose derivation antecedent is grounded.
+            result[variable.id] = null;
+            if (!isClaimBound(base))
+                continue;
+            const claimId = base.claimId;
+            const pm = derivationByClaimId.get(claimId);
+            if (pm === undefined)
+                continue;
+            const root = pm.getRootExpression();
+            if (root?.type !== "operator")
+                continue;
+            const operator = root.operator;
+            if (operator !== "implies" && operator !== "iff")
+                continue;
+            // `getChildExpressions` returns children sorted by position, so the
+            // first is the antecedent slot and the last is the consequent
+            // (matching `validateDerivationStructure`). A well-formed
+            // derivation root has arity 2; anything short of that is malformed
+            // mid-edit and grounds nothing.
+            const children = pm.getChildExpressions(root.id);
+            if (children.length < 2)
+                continue;
+            const antecedent = children[0];
+            const antecedentValue = evaluateSubtreeKleene(antecedent.id, (id) => pm.getExpression(id), (parentId) => pm.getChildExpressions(parentId), seed);
+            if (antecedentValue === true)
+                result[variable.id] = true;
+        }
+        return result;
+    }
+    /**
+     * Convenience: merge caller `overrides` over `deriveDefaultAssignment()`
+     * and `evaluate` in one call. Default-sourced **axiomatic-bound** keys are
+     * dropped before evaluation — the engine's pre-pass force-sets them `true`
+     * and rejects explicit axiom assignments, so passing the default `true`
+     * through would throw `AXIOM_VARIABLE_ASSIGNMENT_FORBIDDEN`. Dropping them
+     * keeps `deriveDefaultAssignment` (which reports axioms as `true`) and the
+     * pre-pass in agreement without double-applying. An `override` that names
+     * an axiomatic variable is left intact, so `evaluate` still enforces the
+     * one-way rule.
+     *
+     * **Citations are different from axioms.** The engine does *not* force
+     * citation-bound variables `true` and does *not* reject an explicit
+     * citation assignment — a citation is a free variable, so its default
+     * `true` is *kept* here (dropping it would leave the citation unknown at
+     * evaluation). Both citations and axioms read as `true` under defaults, but
+     * only the axiom `true` comes from the engine; the citation `true` is
+     * supplied by this map. That also makes citation defaults reviewer-
+     * overridable, whereas axioms stay locked.
+     *
+     * @since 3.1.0
+     */
+    evaluateWithDefaults(overrides, options) {
+        const defaults = this.deriveDefaultAssignment();
+        const axiomaticIds = this.getAxiomaticBoundVariableIds();
+        const merged = {};
+        for (const [variableId, value] of Object.entries(defaults)) {
+            if (axiomaticIds.has(variableId))
+                continue;
+            merged[variableId] = value;
+        }
+        if (overrides) {
+            for (const [variableId, value] of Object.entries(overrides)) {
+                merged[variableId] = value;
+            }
+        }
+        return this.evaluate({ variables: merged, operatorAssignments: {} }, options);
+    }
     // -----------------------------------------------------------------
     // Forking
     // -----------------------------------------------------------------