@proposit/proposit-core 0.12.1 → 1.0.0

package/README.md

@@ -253,22 +253,20 @@ To express "this derivation should NOT be supported by this axiom," wrap the axi
 
 ### Derivation Premises
 
-As of v0.11.0, every premise carries an immutable `type` discriminator:
+Every premise carries an immutable `type` discriminator:
 
-- **Freeform** (`type: "freeform"`) — the classic premise with no structural constraints. Allows any well-formed expression tree. This is the default when no `type` is specified.
-- **Derivation** (`type: "derivation"`) — a structurally-constrained premise that commits to deriving a specific named claim. Requires a `derivedClaimId` at creation time. The expression tree is restricted to one of two canonical forms:
-    - **Naked-Q** — a single variable expression at the root, referencing the consequent variable bound to `derivedClaimId`. This is the initial state created automatically on `createPremise({ type: "derivation", derivedClaimId })` and represents "no support given yet."
-    - **Implication/biconditional form** — `IMPLIES(antecedent, Q)` or `IFF(antecedent, Q)`, where Q is the consequent variable and the antecedent can be any valid expression tree (typically a variable or `OR` of source variables).
+- **Freeform** (`type: "freeform"`) — the classic premise with no shape constraints beyond Structural data integrity. Allows any well-formed expression tree.
+- **Derivation** (`type: "derivation"`) — a shape-constrained premise that commits to deriving a specific named claim. Requires a `derivedClaimId` at creation time.
 
-The consequent slot (the Q variable expression) is locked — it cannot be removed, reassigned, or negated. The root operator can only be swapped between `implies` and `iff` — not changed to `and`, `or`, or `not`.
+A derivation premise's expression tree is constrained Structurally (S-14) to a root operator in `{ variable, implies, iff }` and Derivable-ly (D-1) to one of two canonical shapes:
 
-Use `ManagedDerivationPremiseEngine` (an opt-in subclass of `PremiseEngine`) to enforce these rules on every mutation:
+- **Naked-Q** — a single variable expression at the root, bound to `derivedClaimId`. This is the initial state created automatically on `createPremise({ type: "derivation", derivedClaimId })` and represents "no support given yet." Naked-Q is a **valid Derivable state** — `validate('derivable')` does not flag it. (Whether a naked-Q premise should be populated is an application-layer UX concern in `proposit-server`.)
+- **Populated form** — root `IMPLIES` with the consequent at position 1, and the antecedent being either a single claim variable (D-2) or `OR` of same-grounding-kind claim variables (D-3 — no mixing of citation and axiom claim variables in a single antecedent). At Presentable the `OR` is wrapped in a `formula` buffer (`IMPLIES(formula(OR(c, c, ...)), Q)`) per P-1.
+
+`IFF` is structurally allowed at a derivation premise's root (S-14, preserving the existing two-way-propagation evaluation feature for programmatic / CLI consumers) but is flagged as a Derivable violation (D-1 restricts the populated form to `IMPLIES`).
 
 ```typescript
-import {
-    PropositCore,
-    ManagedDerivationPremiseEngine,
-} from "@proposit/proposit-core"
+import { PropositCore } from "@proposit/proposit-core"
 
 const core = new PropositCore()
 
@@ -303,20 +301,14 @@ const { result: pm } = engine.createPremise({
     derivedClaimId: claim.id,
 })
 
-// pm is a PremiseEngine; upgrade to the managed engine for mutation safety
-// (In practice, pass a factory to ArgumentEngine so engines are created as managed)
-
-// One-shot populate from citations: builds IMPLIES(VariableS1, Q)
-// (Requires a ManagedDerivationPremiseEngine instance)
+// Populate from citations (factory; atomic replacement of the naked-Q tree)
+const result = engine.populateFromCitations(pm.getId(), core.citations)
+// result = { kind: 'populated' | 'no-op', state, resolved? }
 ```
 
-The `populateFromSupports` helper on `ManagedDerivationPremiseEngine` is the recommended way to build the antecedent from the combined citation + axiom support set (renamed from `populateFromCitations` in v0.12.0):
+`populateFromCitations` and `populateFromAxioms` are the recommended way to build a derivation premise's antecedent from the relevant connection library. Each method operates on **one grounding kind** (D-3 forbids mixing) and is a **factory** — it constructs the fully-populated tree (`IMPLIES(c, Q)` for `n = 1`; `IMPLIES(OR(c1, …, cn), Q)` for `n ≥ 2`) and atomically replaces the existing naked-Q tree. If the premise is already populated, the factory **no-ops and returns the existing state** — D-3 is non-Structural, so mutations never throw on it. The UI explicitly confirms with the user (and clears the antecedent via a repair primitive) before switching grounding kinds, satisfying the no-changes-without-consent principle.
 
-- `n = 0` supports: no change (premise stays in naked-Q form)
-- `n = 1` support: produces `IMPLIES(S1, Q)`
-- `n ≥ 2` supports: produces `IMPLIES(OR(S1, ..., Sn), Q)`
-
-The helper takes `(citationLib, axiomLib, argumentEngine)`. Citations are listed first, axioms second; source order preserved within each. `populateFromSupports` is one-shot — it rejects calls on premises that already have a non-empty antecedent. Delete and re-create the premise to repopulate.
+For mid-edit cases where a single command should populate from whichever support kind exists, the CLI's `premises populate-supports` command runs `populateFromCitations` first, then `populateFromAxioms` on the result — citations take effect when present, otherwise axioms do, matching the D-3 "no mixing" rule.
 
 ### Auto-variable creation
 
@@ -773,35 +765,50 @@ const result = richArg.evaluate({
 
 ## Invalid Constructions and How They're Handled
 
-The engine enforces structural invariants at two levels: **construction-time** (throws immediately) and **validation-time** (detected by `validateEvaluability()` before evaluation). The tables below list every invalid construction.
-
-### Expression tree — prevented at construction time
-
-| Invalid construction                                                             | What happens                                                                                               |
-| -------------------------------------------------------------------------------- | ---------------------------------------------------------------------------------------------------------- |
-| `implies` or `iff` with `parentId !== null`                                      | Throws — root-only operators must be the root of a premise's tree                                          |
-| Non-`not` operator as direct child of another operator                           | Throws — a `formula` node must sit between them (unless `autoNormalize` is `true`, which auto-inserts one) |
-| Expression with `parentId === id` (self-parentage)                               | Throws                                                                                                     |
-| Duplicate expression ID within a premise                                         | Throws                                                                                                     |
-| Expression references a non-existent `parentId`                                  | Throws                                                                                                     |
-| Expression's parent is a `variable` expression                                   | Throws — only operators and formulas can have children                                                     |
-| `formula` node already has a child (adding a second)                             | Throws — formulas allow exactly one child                                                                  |
-| `not` operator already has a child (adding a second)                             | Throws — `not` is unary                                                                                    |
-| `implies` or `iff` already has two children (adding a third)                     | Throws — binary operators require exactly two                                                              |
-| Two siblings share the same `position` under the same parent                     | Throws                                                                                                     |
-| `insertExpression` with `leftNodeId === rightNodeId`                             | Throws                                                                                                     |
-| `insertExpression` or `wrapExpression` targeting a root-only operator as a child | Throws — `implies`/`iff` cannot be subordinated                                                            |
-| `wrapExpression` with `not` as the wrapping operator                             | Throws — `not` is unary but wrapping always produces two children                                          |
-| Expression's `argumentId`/`argumentVersion` doesn't match the premise            | Throws                                                                                                     |
-
-### Expression tree — detected by validation
-
-| Invalid construction                                                  | Error code                      |
-| --------------------------------------------------------------------- | ------------------------------- |
-| `and` or `or` operator with fewer than 2 children                     | `EXPR_CHILD_COUNT_INVALID`      |
-| `not` or `formula` with 0 children                                    | `EXPR_CHILD_COUNT_INVALID`      |
-| `implies` or `iff` without exactly 2 children with distinct positions | `EXPR_BINARY_POSITIONS_INVALID` |
-| Expression references an undeclared variable                          | `EXPR_VARIABLE_UNDECLARED`      |
+The engine enforces invariants at two levels:
+
+- **Mutation-time throws** for **Structural-tier** rules (S-1..S-14 — see `docs/Proposit_Grammar.md` §3.1). Mutations on `ArgumentEngine` / `PremiseEngine` reject Structural violations with a thrown error.
+- **Validation-time violations** for everything else. `engine.validate('evaluable' | 'derivable' | 'presentable')` returns `readonly TViolation[]` covering tiers up to the requested level. Mutations **never** throw on Evaluable, Derivable, or Presentable issues — they surface through `validate(tier)` and can be addressed by the AN post-hook (`assistive` behavior) or by user-initiated repair primitives.
+
+The tables below list invalid constructions and what happens.
+
+### Expression tree — Structural (thrown on mutation)
+
+| Invalid construction                                                             | What happens / rule                                            |
+| -------------------------------------------------------------------------------- | -------------------------------------------------------------- |
+| `implies` or `iff` with `parentId !== null`                                      | Throws — S-5 (root-only IMPLIES/IFF)                           |
+| Expression with `parentId === id` (self-parentage)                               | Throws — S-4 (no cycles)                                       |
+| Duplicate expression ID within a premise                                         | Throws — S-10 (`EXPR_DUPLICATE_ID`)                            |
+| Expression references a non-existent `parentId`                                  | Throws — S-1 (FK soundness)                                    |
+| Expression's parent is a `variable` expression                                   | Throws — only operators and formulas can have children         |
+| `formula` node with zero or more than one child                                  | Throws — S-13 (`formula` unary)                                |
+| `not` operator with anything other than one child                                | Throws — S-12 (`not` unary)                                    |
+| `implies` or `iff` with anything other than two children                         | Throws — S-8 (binary arity)                                    |
+| `implies` or `iff` antecedent / consequent at wrong positions                    | Throws — S-8 (`EXPR_BINARY_POSITIONS_INVALID`)                 |
+| Two siblings share the same `position` under the same parent                     | Throws — S-9 (sibling position uniqueness)                     |
+| `insertExpression` with `leftNodeId === rightNodeId`                             | Throws                                                         |
+| `insertExpression` or `wrapExpression` targeting a root-only operator as a child | Throws — S-5 (root-only IMPLIES/IFF)                           |
+| `wrapExpression` with `not` as the wrapping operator                             | Throws — `not` is unary; wrapping always produces two children |
+| Expression's `argumentId`/`argumentVersion` doesn't match the premise            | Throws — S-1 (FK soundness)                                    |
+| Derivation premise root operator outside `{ variable, implies, iff }`            | Throws — S-14 (`DERIVATION_ROOT_OPERATOR_INVALID`)             |
+
+In v1.0 the engine no longer throws on non-`not` operators placed as direct children of operators (the pre-1.0 `enforceFormulaBetweenOperators` throw). That shape is now a **Presentable** issue (P-1); in `assistive` behavior the AN post-hook inserts a `formula` buffer (AN-1), and in `permissive` behavior it surfaces via `validate('presentable')`. Neither mode throws.
+
+### Expression tree — Evaluable / Presentable violations (returned by `validate`)
+
+| Invalid construction                                             | Rule code | Tier        |
+| ---------------------------------------------------------------- | --------- | ----------- |
+| `and` or `or` operator with fewer than 2 children                | `E-1`     | Evaluable   |
+| Variable binding does not resolve                                | `E-3`     | Evaluable   |
+| Axiomatic-bound variable assignment supplied to `evaluate`       | `E-4`     | Evaluable   |
+| Derivation premise expression tree lacks the consequent variable | `E-5`     | Evaluable   |
+| Claim has more than one paired derivation premise                | `E-6`     | Evaluable   |
+| Argument has premises but no conclusion designated               | `E-7`     | Evaluable   |
+| Non-`not` operator placed directly under another operator        | `P-1`     | Presentable |
+| `not(not(x))` chain in the tree                                  | `P-2`     | Presentable |
+| `formula` wrapping no operator (leaf or single `not`)            | `P-3`     | Presentable |
+| Single-child `and` / `or`                                        | `P-4`     | Presentable |
+| Same-operator parent/grandchild separated only by `formula`      | `P-5`     | Presentable |
 
 ### Variables — prevented at construction time
 
@@ -826,41 +833,43 @@ The engine enforces structural invariants at two levels: **construction-time** (
 | -------------------------------------------------- | -------------------------- | -------- |
 | Premise-bound variable references an empty premise | `EXPR_BOUND_PREMISE_EMPTY` | Warning  |
 
-### Premises — prevented at construction time
-
-| Invalid construction                                                                   | What happens / error code                              |
-| -------------------------------------------------------------------------------------- | ------------------------------------------------------ |
-| Duplicate premise ID                                                                   | Throws                                                 |
-| Adding a second root expression (`parentId: null`) to a premise                        | Throws                                                 |
-| `createPremise({ type: "derivation" })` without `derivedClaimId`                       | Throws — `CREATE_DERIVATION_REQUIRES_DERIVED_CLAIM_ID` |
-| `createPremise({ type: "derivation", derivedClaimId })` when claim not in library      | Throws — `CREATE_DERIVATION_CLAIM_NOT_FOUND`           |
-| `ManagedDerivationPremiseEngine` constructed on a non-derivation premise               | Throws — `DERIVATION_TYPE_MISMATCH`                    |
-| `ManagedDerivationPremiseEngine.fromSnapshot` on a structurally invalid tree           | Throws — `DERIVATION_STRUCTURE_INVALID`                |
-| Removing or negating the consequent expression on a managed derivation premise         | Throws — `DERIVATION_CONSEQUENT_LOCKED`                |
-| Updating the consequent variable ID or operator on a managed derivation premise        | Throws — `DERIVATION_CONSEQUENT_LOCKED`                |
-| Inserting an expression into the consequent slot of a managed derivation premise       | Throws — `DERIVATION_CONSEQUENT_LOCKED`                |
-| Swapping root operator to `and`/`or`/`not` on a managed derivation premise             | Throws — `DERIVATION_ROOT_OPERATOR_INVALID`            |
-| `populateFromSupports` on a derivation premise that already has a non-empty antecedent | Throws — `DERIVATION_ANTECEDENT_NON_EMPTY`             |
-| `ensureClaimBoundVariable(claimId)` when the claim is not in the library               | Throws — `CLAIM_NOT_FOUND`                             |
-| Restoring a pre-v0.11 snapshot whose premises lack the `type` field                    | Throws — `LEGACY_PREMISE_MISSING_TYPE`                 |
-
-### Premises — detected by validation
-
-| Invalid construction                                          | Error code                                   |
-| ------------------------------------------------------------- | -------------------------------------------- |
-| Premise has no expressions                                    | `PREMISE_EMPTY`                              |
-| Premise has expressions but no root                           | `PREMISE_ROOT_MISSING`                       |
-| `rootExpressionId` doesn't match the actual root              | `PREMISE_ROOT_MISMATCH`                      |
-| Derivation premise tree is structurally broken (at eval time) | `DERIVATION_STRUCTURE_INVALID_AT_EVALUATION` |
-
-### Argument — detected by validation
-
-| Invalid construction                                        | Error code                             |
-| ----------------------------------------------------------- | -------------------------------------- |
-| No conclusion premise designated                            | `ARGUMENT_NO_CONCLUSION`               |
-| Conclusion premise ID points to a non-existent premise      | `ARGUMENT_CONCLUSION_NOT_FOUND`        |
-| Same variable ID used with multiple symbols across premises | `ARGUMENT_VARIABLE_ID_SYMBOL_MISMATCH` |
-| Same variable symbol used with multiple IDs across premises | `ARGUMENT_VARIABLE_SYMBOL_AMBIGUOUS`   |
+### Premises — Structural (thrown on mutation)
+
+| Invalid construction                                                              | What happens / error code                              |
+| --------------------------------------------------------------------------------- | ------------------------------------------------------ |
+| Duplicate premise ID                                                              | Throws — S-10                                          |
+| Adding a second root expression (`parentId: null`) to a premise                   | Throws                                                 |
+| `createPremise({ type: "derivation" })` without `derivedClaimId`                  | Throws — `CREATE_DERIVATION_REQUIRES_DERIVED_CLAIM_ID` |
+| `createPremise({ type: "derivation", derivedClaimId })` when claim not in library | Throws — `CREATE_DERIVATION_CLAIM_NOT_FOUND`           |
+| Setting a derivation premise's root operator to `and`/`or`/`not`/`formula`        | Throws — S-14 (`DERIVATION_ROOT_OPERATOR_INVALID`)     |
+| `ensureClaimBoundVariable(claimId)` when the claim is not in the library          | Throws — `CLAIM_NOT_FOUND`                             |
+| Restoring a pre-v0.11 snapshot whose premises lack the `type` field               | Throws — `LEGACY_PREMISE_MISSING_TYPE`                 |
+
+In v1.0 there is no `ManagedDerivationPremiseEngine` subclass — derivation-premise canonical shape is enforced via the Derivable-tier rules (D-1..D-6, surfaced through `validate('derivable')`) and the new Evaluable rule E-6 (claim-derivation pairing, cardinality ≤ 1). Mutations on derivation premises go through the regular `PremiseEngine` and never throw on Derivable issues — they surface via `validate(tier)` and can be cleaned up by AN (assistive mode) or repair primitives.
+
+### Premises — Evaluable / Derivable violations (returned by `validate`)
+
+| Invalid construction                                                                   | Rule code | Tier      |
+| -------------------------------------------------------------------------------------- | --------- | --------- |
+| Derivation premise expression tree lacks the consequent variable                       | `E-5`     | Evaluable |
+| Normal claim has more than one paired derivation premise                               | `E-6`     | Evaluable |
+| Derivation premise's populated form is not `IMPLIES(c, Q)` or `IMPLIES(OR, Q)`         | `D-1`     | Derivable |
+| Derivation premise antecedent has a single citation not wrapped as `IMPLIES(c, Q)`     | `D-2`     | Derivable |
+| Derivation premise antecedent mixes axiom-bound and citation-bound variables           | `D-3`     | Derivable |
+| Variable bound to an axiomatic claim appears outside a derivation premise's antecedent | `D-4`     | Derivable |
+| Variable bound to a citation claim appears outside a derivation premise's antecedent   | `D-5`     | Derivable |
+| Derivation premise has `role: "conclusion"`                                            | `D-6`     | Derivable |
+
+Naked-Q (a derivation premise whose tree is a single variable bound to `derivedClaimId`) is a **valid Derivable state** in v1.0 — it represents "no support given yet" and is not flagged by `validate('derivable')`. `evaluate()` and `checkValidity()` **skip** naked-Q derivation premises (they neither assert their consequent nor support its derivation); this replaces the pre-1.0 `DERIVATION_STRUCTURE_INVALID_AT_EVALUATION` throw. Server-side publish-time pruning deletes naked-Q derivation premises before storage, so post-publish arguments never carry them.
+
+### Argument — Evaluable violations (returned by `validate`)
+
+| Invalid construction                                        | Rule code / engine code                                          | Tier       |
+| ----------------------------------------------------------- | ---------------------------------------------------------------- | ---------- |
+| Argument has premises but no conclusion designated          | `E-7` (`ARGUMENT_NO_CONCLUSION`)                                 | Evaluable  |
+| Conclusion premise ID points to a non-existent premise      | `E-7` (`ARGUMENT_CONCLUSION_NOT_FOUND`)                          | Evaluable  |
+| Same variable ID used with multiple symbols across premises | `ARGUMENT_VARIABLE_ID_SYMBOL_MISMATCH` (engine error)            | —          |
+| Same variable symbol used with multiple IDs across premises | S-11 (`ARGUMENT_VARIABLE_SYMBOL_AMBIGUOUS`) — thrown on mutation | Structural |
 
 ### Claims, citations, and axioms — prevented at construction time
 
@@ -894,16 +903,18 @@ These are not errors — they're intentional structural maintenance:
 | `removePremise(id)`    | All variables bound to the premise are removed (which cascades to their expressions). If the premise was the conclusion, the conclusion becomes unset.                                                                                              |
 | `removeExpression(id)` | The expression's subtree is deleted. Ancestor operators with 0 remaining children are deleted. Operators with 1 remaining child promote that child into their slot (operator collapse). Promotions are checked against nesting and root-only rules. |
 
-### Grammar configuration
+### Engine behavior (`assistive` vs `permissive`)
+
+The pre-1.0 `grammarConfig` / `autoNormalize` / `enforceFormulaBetweenOperators` machinery is removed in v1.0. Expression-tree shape is now driven by the four-tier grammar (Structural ⊇ Evaluable ⊇ Derivable ⊇ Presentable; see `docs/Proposit_Grammar.md`) together with a single engine setting:
 
-Two options on `grammarConfig` control expression tree strictness:
+| Setting                  | Default    | Effect                                                                                                                                                                                                                   |
+| ------------------------ | ---------- | ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------ |
+| `behavior: "assistive"`  | (default)  | After every successful Structural mutation, the engine runs auto-normalization (AN-1..AN-4) as a post-hook. AN preserves Presentable: if the pre-mutation state was Presentable, the post-mutation state is Presentable. |
+| `behavior: "permissive"` | (advanced) | AN does not run. Mutations execute exactly as described; the engine guarantees Structural integrity only. Evaluable / Derivable / Presentable violations surface via `validate(tier)` and never throw.                   |
 
-| Option                           | Default | Effect                                                                                                                                                                                                                         |
-| -------------------------------- | ------- | ------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------------ |
-| `enforceFormulaBetweenOperators` | `true`  | When `true`, non-`not` operators cannot be direct children of operators — a `formula` buffer is required.                                                                                                                      |
-| `autoNormalize`                  | `false` | When `true`, `addExpression` auto-inserts `formula` buffers instead of throwing. Only applies to `addExpression` and `loadExpressions` — `insertExpression`, `wrapExpression`, and `removeExpression` always enforce or throw. |
+Set the behavior at construction (`new ArgumentEngine(arg, claims, { behavior: 'permissive' })`) or at runtime (`engine.setBehavior('permissive')`). Switching `permissive → assistive` does **not** auto-run a global `normalize()` pass — the UI prompts the user explicitly before invoking it.
 
-`PERMISSIVE_GRAMMAR_CONFIG` (`{ enforceFormulaBetweenOperators: false, autoNormalize: false }`) is used by `fromSnapshot`/`fromData` to load previously saved trees without re-validation.
+`fromSnapshot()` and `fromData()` accept any **Structural** state — there is no `LOAD_GRAMMAR` / `STRICT_GRAMMAR` split. Lower-tier violations are queryable post-load via `validate(tier)`. The only load failure is a truly broken (non-Structural) snapshot.
 
 ## API Reference
 

package/dist/cli/commands/premises.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"premises.d.ts","sourceRoot":"","sources":["../../../src/cli/commands/premises.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAA;AA8CnC,wBAAgB,uBAAuB,CACnC,YAAY,EAAE,OAAO,EACrB,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,MAAM,GAChB,IAAI,CAiaN"}
+{"version":3,"file":"premises.d.ts","sourceRoot":"","sources":["../../../src/cli/commands/premises.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAA;AA6CnC,wBAAgB,uBAAuB,CACnC,YAAY,EAAE,OAAO,EACrB,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,MAAM,GAChB,IAAI,CAuaN"}

package/dist/cli/commands/premises.js

@@ -2,7 +2,6 @@ import { randomUUID } from "node:crypto";
 import { Command } from "commander";
 import { PremiseEngine } from "../../lib/core/premise-engine.js";
 import { VariableManager } from "../../lib/core/variable-manager.js";
-import { ManagedDerivationPremiseEngine } from "../../lib/core/managed-derivation-premise-engine.js";
 import { errorExit, printJson, printLine, requireConfirmation, } from "../output.js";
 import { readArgumentMeta, readVersionMeta } from "../storage/arguments.js";
 import { deletePremiseDir, listPremiseIds, premiseExists, readPremiseData, readPremiseMeta, } from "../storage/premises.js";
@@ -298,7 +297,7 @@ export function registerPremiseCommands(versionedCmd, argumentId, version) {
     });
     premises
         .command("populate-supports <premiseId>")
-        .description("Populate the antecedent of a derivation premise from its citations and axiom invocations")
+        .description("Populate the antecedent of a derivation premise from its citations or axiom invocations")
         .action(async (premiseId) => {
         await assertNotPublished(argumentId, version);
         const propositCore = await hydratePropositCore();
@@ -311,40 +310,45 @@ export function registerPremiseCommands(versionedCmd, argumentId, version) {
         if (premiseData.type !== "derivation") {
             errorExit(`Premise "${premiseId}" is not a derivation premise (type=${premiseData.type ?? "freeform"}).`);
         }
-        // Build a VariableManager populated with the live engine's current
-        // variables. The managed engine needs at least the consequent
-        // variable (bound to derivedClaimId) for structural validation.
-        const variableManager = new VariableManager();
-        for (const v of engine.getVariables()) {
-            variableManager.addVariable(v);
+        const derivedClaimId = premiseData
+            .derivedClaimId;
+        if (!derivedClaimId) {
+            errorExit(`Premise "${premiseId}" is a derivation premise but has no derivedClaimId.`);
         }
-        // Take a snapshot of the live premise and restore it into a
-        // ManagedDerivationPremiseEngine (independent copy).
-        const premiseSnapshot = livePremise.snapshot();
-        let managed;
+        // v1.0 model — D-3 prohibits mixing citation-bound and
+        // axiom-bound variables in the same antecedent. Call
+        // populateFromCitations first; if citations populate the
+        // antecedent, populateFromAxioms no-ops (target is no
+        // longer naked-Q). If no citations exist for the derived
+        // claim, populateFromAxioms takes effect. If neither
+        // grouping is present, both calls return `no-op` and the
+        // premise stays naked-Q.
+        let citationsResult;
         try {
-            managed = ManagedDerivationPremiseEngine.fromSnapshot(premiseSnapshot, engine.getArgument(), variableManager);
+            citationsResult = engine.populateFromCitations(derivedClaimId, propositCore.citations);
         }
         catch (err) {
             errorExit(err instanceof Error ? err.message : String(err));
         }
-        // populateFromSupports mutates the managed engine's expression tree
-        // and calls engine.ensureClaimBoundVariable for each supporting
-        // claim (citations + axioms), which adds new claim-bound variables
-        // to the live engine.
+        let axiomsResult;
         try {
-            managed.populateFromSupports(propositCore.citations, propositCore.axioms, engine);
+            axiomsResult = engine.populateFromAxioms(derivedClaimId, propositCore.axioms);
         }
         catch (err) {
             errorExit(err instanceof Error ? err.message : String(err));
         }
-        // Reflow: push the managed engine's updated expression tree into the
-        // live premise engine. The live premise (a plain PremiseEngine) uses
-        // loadExpressions without derivation validation — that already ran
-        // inside populateFromSupports via assertWellFormed().
-        livePremise.loadExpressions(managed.getExpressions());
         await persistEngine(engine);
-        printLine(`Populated derivation premise "${premiseId}".`);
+        const populatedFrom = citationsResult.kind === "populated"
+            ? "citations"
+            : axiomsResult.kind === "populated"
+                ? "axioms"
+                : "none";
+        if (populatedFrom === "none") {
+            printLine(`Derivation premise "${premiseId}" left naked-Q (no citations or axioms for claim "${derivedClaimId}", or antecedent already populated).`);
+        }
+        else {
+            printLine(`Populated derivation premise "${premiseId}" from ${populatedFrom}.`);
+        }
     });
 }
 //# sourceMappingURL=premises.js.map

package/dist/cli/commands/premises.js.map

@@ -1 +1 @@
-{"version":3,"file":"premises.js","sourceRoot":"","sources":["../../../src/cli/commands/premises.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAA;AACxC,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAA;AACnC,OAAO,EAAE,aAAa,EAAE,MAAM,kCAAkC,CAAA;AAChE,OAAO,EAAE,eAAe,EAAE,MAAM,oCAAoC,CAAA;AACpE,OAAO,EAAE,8BAA8B,EAAE,MAAM,qDAAqD,CAAA;AAGpG,OAAO,EACH,SAAS,EACT,SAAS,EACT,SAAS,EACT,mBAAmB,GACtB,MAAM,cAAc,CAAA;AACrB,OAAO,EAAE,gBAAgB,EAAE,eAAe,EAAE,MAAM,yBAAyB,CAAA;AAC3E,OAAO,EACH,gBAAgB,EAChB,cAAc,EACd,aAAa,EACb,eAAe,EACf,eAAe,GAClB,MAAM,wBAAwB,CAAA;AAC/B,OAAO,EAAE,aAAa,EAAE,mBAAmB,EAAE,aAAa,EAAE,MAAM,cAAc,CAAA;AAChF,OAAO,EAAE,aAAa,EAAE,MAAM,yBAAyB,CAAA;AAEvD,KAAK,UAAU,kBAAkB,CAC7B,UAAkB,EAClB,OAAe;IAEf,MAAM,IAAI,GAAG,MAAM,eAAe,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;IACvD,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;QACjB,SAAS,CACL,WAAW,OAAO,iBAAiB,UAAU,wCAAwC,CACxF,CAAA;IACL,CAAC;AACL,CAAC;AAED,KAAK,UAAU,aAAa,CACxB,UAAkB,EAClB,OAAe;IAEf,MAAM,CAAC,OAAO,EAAE,KAAK,CAAC,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC;QACvC,gBAAgB,CAAC,UAAU,CAAC;QAC5B,eAAe,CAAC,UAAU,EAAE,OAAO,CAAC;KACvC,CAAC,CAAA;IACF,OAAO,EAAE,GAAG,OAAO,EAAE,GAAG,KAAK,EAAE,CAAA;AACnC,CAAC;AAED,MAAM,UAAU,uBAAuB,CACnC,YAAqB,EACrB,UAAkB,EAClB,OAAe;IAEf,MAAM,QAAQ,GAAG,YAAY;SACxB,OAAO,CAAC,UAAU,CAAC;SACnB,WAAW,CAAC,iBAAiB,CAAC,CAAA;IAEnC,QAAQ;SACH,OAAO,CAAC,QAAQ,CAAC;SACjB,WAAW,CAAC,sBAAsB,CAAC;SACnC,MAAM,CAAC,iBAAiB,EAAE,gCAAgC,CAAC;SAC3D,MAAM,CACH,mBAAmB,EACnB,oDAAoD,CACvD;SACA,MAAM,CACH,eAAe,EACf,8DAA8D,CACjE;SACA,MAAM,CACH,2BAA2B,EAC3B,8DAA8D,CACjE;SACA,MAAM,CACH,KAAK,EAAE,IAKN,EAAE,EAAE;QACD,MAAM,WAAW,GAAG,IAAI,CAAC,IAAI,IAAI,UAAU,CAAA;QAC3C,IACI,WAAW,KAAK,UAAU;YAC1B,WAAW,KAAK,YAAY,EAC9B,CAAC;YACC,SAAS,CACL,mDAAmD,WAAW,IAAI,CACrE,CAAA;QACL,CAAC;QACD,IAAI,WAAW,KAAK,YAAY,IAAI,CAAC,IAAI,CAAC,YAAY,EAAE,CAAC;YACrD,SAAS,CACL,sEAAsE,CACzE,CAAA;QACL,CAAC;QAED,MAAM,kBAAkB,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;QAC7C,MAAM,MAAM,GAAG,MAAM,aAAa,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;QAEvD,MAAM,EAAE,GAAG,UAAU,EAAE,CAAA;QACvB,MAAM,MAAM,GAA4B,EAAE,CAAA;QAC1C,IAAI,IAAI,CAAC,KAAK;YAAE,MAAM,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,CAAA;QAEzC,IAAI,CAAC;YACD,IAAI,WAAW,KAAK,YAAY,EAAE,CAAC;gBAC/B,MAAM,CAAC,mBAAmB,CAAC,EAAE,EAAE;oBAC3B,IAAI,EAAE,YAAY;oBAClB,cAAc,EAAE,IAAI,CAAC,YAAY;oBACjC,MAAM;oBACN,MAAM,EAAE,IAAI,CAAC,MAAM;iBACtB,CAAC,CAAA;YACN,CAAC;iBAAM,CAAC;gBACJ,MAAM,CAAC,mBAAmB,CAAC,EAAE,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,CAAA;YACvD,CAAC;QACL,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACX,SAAS,CAAC,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAA;QAC/D,CAAC;QAED,MAAM,aAAa,CAAC,MAAM,CAAC,CAAA;QAC3B,SAAS,CACL,EAAE;YACE,CAAC,WAAW,KAAK,YAAY;gBACzB,CAAC,CAAC,0BAA0B,IAAI,CAAC,YAAY,GAAG;gBAChD,CAAC,CAAC,EAAE,CAAC,CAChB,CAAA;IACL,CAAC,CACJ,CAAA;IAEL,QAAQ;SACH,OAAO,CAAC,MAAM,CAAC;SACf,WAAW,CAAC,mBAAmB,CAAC;SAChC,MAAM,CAAC,QAAQ,EAAE,gBAAgB,CAAC;SAClC,MAAM,CAAC,KAAK,EAAE,IAAwB,EAAE,EAAE;QACvC,MAAM,QAAQ,GAAG,MAAM,aAAa,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;QACzD,MAAM,YAAY,GAAG,MAAM,aAAa,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;QAC7D,MAAM,UAAU,GAAG,MAAM,cAAc,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;QAE5D,MAAM,OAAO,GAAG,MAAM,OAAO,CAAC,GAAG,CAC7B,UAAU,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,EAAE,EAAE;YACzB,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC;gBACnC,eAAe,CAAC,UAAU,EAAE,OAAO,EAAE,GAAG,CAAC;gBACzC,eAAe,CAAC,UAAU,EAAE,OAAO,EAAE,GAAG,CAAC;aAC5C,CAAC,CAAA;YAEF,uDAAuD;YACvD,MAAM,EAAE,EAAE,EAAE,GAAG,EAAE,GAAG,aAAa,EAAE,GAAG,IAAI,CAAA;YAC1C,MAAM,EAAE,GAAG,IAAI,eAAe,EAAE,CAAA;YAChC,KAAK,MAAM,CAAC,IAAI,YAAY,EAAE,CAAC;gBAC3B,EAAE,CAAC,WAAW,CAAC,EAAE,GAAG,CAAC,EAAE,eAAe,EAAE,OAAO,EAAE,CAAC,CAAA;YACtD,CAAC;YACD,MAAM,EAAE,GAAG,IAAI,aAAa,CACxB;gBACI,EAAE,EAAE,GAAG;gBACP,UAAU,EAAE,QAAQ,CAAC,EAAE;gBACvB,eAAe,EAAE,OAAO;gBACxB,GAAG,aAAa;aACH,EACjB,EAAE,QAAQ,EAAE,SAAS,EAAE,EAAE,EAAE,CAC9B,CAAA;YAED,4BAA4B;YAC5B,MAAM,SAAS,GAAG,CAAC,GAAG,IAAI,CAAC,WAAW,CAAC,CAAA;YACvC,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAA;YAC/B,KAAK,IAAI,CAAC,GAAG,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;gBAC7C,MAAM,IAAI,GAAG,SAAS,CAAC,CAAC,CAAC,CAAA;gBACzB,IAAI,IAAI,CAAC,QAAQ,KAAK,IAAI,EAAE,CAAC;oBACzB,EAAE,CAAC,aAAa,CAAC;wBACb,GAAG,IAAI;wBACP,SAAS,EAAE,GAAG;wBACd,eAAe,EAAE,OAAO;qBAC3B,CAAC,CAAA;oBACF,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;oBAClB,SAAS,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;gBAC1B,CAAC;YACL,CAAC;YACD,IAAI,QAAQ,GAAG,IAAI,CAAA;YACnB,OAAO,SAAS,CAAC,MAAM,GAAG,CAAC,IAAI,QAAQ,EAAE,CAAC;gBACtC,QAAQ,GAAG,KAAK,CAAA;gBAChB,KAAK,IAAI,CAAC,GAAG,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;oBAC7C,MAAM,IAAI,GAAG,SAAS,CAAC,CAAC,CAAC,CAAA;oBACzB,IACI,IAAI,CAAC,QAAQ,KAAK,IAAI;wBACtB,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,EAC1B,CAAC;wBACC,EAAE,CAAC,aAAa,CAAC;4BACb,GAAG,IAAI;4BACP,SAAS,EAAE,GAAG;4BACd,eAAe,EAAE,OAAO;yBAC3B,CAAC,CAAA;wBACF,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;wBAClB,SAAS,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;wBACtB,QAAQ,GAAG,IAAI,CAAA;oBACnB,CAAC;gBACL,CAAC;YACL,CAAC;YAED,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,CAAA;QAC7B,CAAC,CAAC,CACL,CAAA;QAED,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;YACZ,SAAS,CACL,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC;gBAC7B,GAAG,IAAI;gBACP,GAAG,IAAI;aACV,CAAC,CAAC,CACN,CAAA;QACL,CAAC;aAAM,CAAC;YACJ,KAAK,MAAM,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,OAAO,EAAE,CAAC;gBACjC,MAAM,OAAO,GAAG,EAAE,CAAC,eAAe,EAAE,IAAI,SAAS,CAAA;gBACjD,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,IAAI,YAAY,CAAA;gBACxC,MAAM,WAAW,GAAG,EAAE,CAAC,WAAW,EAAE;oBAChC,CAAC,CAAC,WAAW;oBACb,CAAC,CAAC,YAAY,CAAA;gBAClB,MAAM,UAAU,GAAG,IAA+B,CAAA;gBAClD,MAAM,SAAS,GACX,UAAU,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,EAAE,CAAA;gBAC3D,SAAS,CACL,GAAG,IAAI,CAAC,EAAE,GAAG,SAAS,MAAM,WAAW,MAAM,OAAO,MAAM,KAAK,EAAE,CACpE,CAAA;YACL,CAAC;QACL,CAAC;IACL,CAAC,CAAC,CAAA;IAEN,QAAQ;SACH,OAAO,CAAC,qBAAqB,CAAC;SAC9B,WAAW,CAAC,kBAAkB,CAAC;SAC/B,MAAM,CAAC,WAAW,EAAE,0BAA0B,CAAC;SAC/C,MAAM,CAAC,KAAK,EAAE,SAAiB,EAAE,IAA2B,EAAE,EAAE;QAC7D,MAAM,kBAAkB,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;QAC7C,IAAI,CAAC,CAAC,MAAM,aAAa,CAAC,UAAU,EAAE,OAAO,EAAE,SAAS,CAAC,CAAC,EAAE,CAAC;YACzD,SAAS,CAAC,YAAY,SAAS,cAAc,CAAC,CAAA;QAClD,CAAC;QACD,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;YAChB,MAAM,mBAAmB,CAAC,mBAAmB,SAAS,IAAI,CAAC,CAAA;QAC/D,CAAC;QAED,MAAM,MAAM,GAAG,MAAM,aAAa,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;QACvD,IAAI,CAAC;YACD,MAAM,CAAC,aAAa,CAAC,SAAS,CAAC,CAAA;QACnC,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACX,SAAS,CAAC,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAA;QAC/D,CAAC;QAED,MAAM,aAAa,CAAC,MAAM,CAAC,CAAA;QAC3B,MAAM,gBAAgB,CAAC,UAAU,EAAE,OAAO,EAAE,SAAS,CAAC,CAAA;QACtD,SAAS,CAAC,SAAS,CAAC,CAAA;IACxB,CAAC,CAAC,CAAA;IAEN,QAAQ;SACH,OAAO,CAAC,qBAAqB,CAAC;SAC9B,WAAW,CAAC,yBAAyB,CAAC;SACtC,MAAM,CAAC,qBAAqB,EAAE,WAAW,CAAC;SAC1C,MAAM,CAAC,eAAe,EAAE,kBAAkB,CAAC;SAC3C,MAAM,CACH,KAAK,EACD,SAAiB,EACjB,IAA8C,EAChD,EAAE;QACA,MAAM,kBAAkB,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;QAC7C,IAAI,IAAI,CAAC,KAAK,KAAK,SAAS,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;YAC9C,SAAS,CACL,qDAAqD,CACxD,CAAA;QACL,CAAC;QAED,MAAM,MAAM,GAAG,MAAM,aAAa,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;QACvD,MAAM,EAAE,GAAG,MAAM,CAAC,UAAU,CAAC,SAAS,CAAC,CAAA;QACvC,IAAI,CAAC,EAAE,EAAE,CAAC;YACN,SAAS,CAAC,YAAY,SAAS,cAAc,CAAC,CAAA;QAClD,CAAC;QAED,IAAI,CAAC;YACD,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;gBAClB,MAAM,MAAM,GAAG,EAAE,CAAC,SAAS,EAAE,CAAA;gBAC7B,OAAO,MAAM,CAAC,KAAK,CAAA;gBACnB,EAAE,CAAC,SAAS,CAAC,MAAM,CAAC,CAAA;YACxB,CAAC;iBAAM,IAAI,IAAI,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;gBAClC,EAAE,CAAC,YAAY,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC,CAAA;YAC1C,CAAC;iBAAM,CAAC;gBACJ,SAAS,CACL,qDAAqD,CACxD,CAAA;YACL,CAAC;QACL,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACX,SAAS,CAAC,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAA;QAC/D,CAAC;QAED,MAAM,aAAa,CAAC,MAAM,CAAC,CAAA;QAC3B,SAAS,CAAC,SAAS,CAAC,CAAA;IACxB,CAAC,CACJ,CAAA;IAEL,QAAQ;SACH,OAAO,CAAC,mBAAmB,CAAC;SAC5B,WAAW,CAAC,uBAAuB,CAAC;SACpC,MAAM,CAAC,QAAQ,EAAE,gBAAgB,CAAC;SAClC,MAAM,CAAC,KAAK,EAAE,SAAiB,EAAE,IAAwB,EAAE,EAAE;QAC1D,IAAI,CAAC,CAAC,MAAM,aAAa,CAAC,UAAU,EAAE,OAAO,EAAE,SAAS,CAAC,CAAC,EAAE,CAAC;YACzD,SAAS,CAAC,YAAY,SAAS,cAAc,CAAC,CAAA;QAClD,CAAC;QACD,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC;YACnC,eAAe,CAAC,UAAU,EAAE,OAAO,EAAE,SAAS,CAAC;YAC/C,eAAe,CAAC,UAAU,EAAE,OAAO,EAAE,SAAS,CAAC;SAClD,CAAC,CAAA;QACF,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;YACZ,SAAS,CAAC,EAAE,GAAG,IAAI,EAAE,GAAG,IAAI,EAAE,CAAC,CAAA;QACnC,CAAC;aAAM,CAAC;YACJ,MAAM,QAAQ,GAAG,IAAI,CAAC,gBAAgB;gBAClC,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,CACjB,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,IAAI,CAAC,gBAAgB,CACxC;gBACH,CAAC,CAAC,SAAS,CAAA;YACf,MAAM,WAAW,GACb,QAAQ,EAAE,IAAI,KAAK,UAAU;gBAC7B,CAAC,QAAQ,CAAC,QAAQ,KAAK,SAAS;oBAC5B,QAAQ,CAAC,QAAQ,KAAK,KAAK,CAAC;gBAC5B,CAAC,CAAC,WAAW;gBACb,CAAC,CAAC,YAAY,CAAA;YACtB,MAAM,UAAU,GAAG,IAA+B,CAAA;YAClD,MAAM,eAAe,GACjB,UAAU,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,EAAE,CAAA;YAC3D,SAAS,CAAC,iBAAiB,IAAI,CAAC,EAAE,EAAE,CAAC,CAAA;YACrC,SAAS,CAAC,iBAAiB,IAAI,CAAC,KAAK,IAAI,YAAY,EAAE,CAAC,CAAA;YACxD,SAAS,CAAC,iBAAiB,WAAW,GAAG,eAAe,EAAE,CAAC,CAAA;YAC3D,SAAS,CAAC,iBAAiB,IAAI,CAAC,gBAAgB,IAAI,QAAQ,EAAE,CAAC,CAAA;YAC/D,SAAS,CAAC,iBAAiB,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC,CAAA;YACnD,SAAS,CAAC,iBAAiB,IAAI,CAAC,WAAW,CAAC,MAAM,EAAE,CAAC,CAAA;QACzD,CAAC;IACL,CAAC,CAAC,CAAA;IAEN,QAAQ;SACH,OAAO,CAAC,qBAAqB,CAAC;SAC9B,WAAW,CAAC,mDAAmD,CAAC;SAChE,MAAM,CAAC,KAAK,EAAE,SAAiB,EAAE,EAAE;QAChC,IAAI,CAAC,CAAC,MAAM,aAAa,CAAC,UAAU,EAAE,OAAO,EAAE,SAAS,CAAC,CAAC,EAAE,CAAC;YACzD,SAAS,CAAC,YAAY,SAAS,cAAc,CAAC,CAAA;QAClD,CAAC;QACD,MAAM,QAAQ,GAAG,MAAM,aAAa,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;QACzD,MAAM,YAAY,GAAG,MAAM,aAAa,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;QAC7D,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC;YACnC,eAAe,CAAC,UAAU,EAAE,OAAO,EAAE,SAAS,CAAC;YAC/C,eAAe,CAAC,UAAU,EAAE,OAAO,EAAE,SAAS,CAAC;SAClD,CAAC,CAAA;QAEF,MAAM,EAAE,EAAE,EAAE,GAAG,EAAE,GAAG,mBAAmB,EAAE,GAAG,IAAI,CAAA;QAChD,MAAM,QAAQ,GAAG,IAAI,eAAe,EAAE,CAAA;QACtC,KAAK,MAAM,CAAC,IAAI,YAAY,EAAE,CAAC;YAC3B,QAAQ,CAAC,WAAW,CAAC,EAAE,GAAG,CAAC,EAAE,eAAe,EAAE,OAAO,EAAE,CAAC,CAAA;QAC5D,CAAC;QACD,MAAM,EAAE,GAAG,IAAI,aAAa,CACxB;YACI,EAAE,EAAE,SAAS;YACb,UAAU,EAAE,QAAQ,CAAC,EAAE;YACvB,eAAe,EAAE,OAAO;YACxB,GAAG,mBAAmB;SACT,EACjB,EAAE,QAAQ,EAAE,SAAS,EAAE,QAAQ,EAAE,CACpC,CAAA;QAED,MAAM,SAAS,GAAG,CAAC,GAAG,IAAI,CAAC,WAAW,CAAC,CAAA;QACvC,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAA;QAC/B,KAAK,IAAI,CAAC,GAAG,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YAC7C,MAAM,IAAI,GAAG,SAAS,CAAC,CAAC,CAAC,CAAA;YACzB,IAAI,IAAI,CAAC,QAAQ,KAAK,IAAI,EAAE,CAAC;gBACzB,EAAE,CAAC,aAAa,CAAC;oBACb,GAAG,IAAI;oBACP,SAAS,EAAE,SAAS;oBACpB,eAAe,EAAE,OAAO;iBAC3B,CAAC,CAAA;gBACF,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;gBAClB,SAAS,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;YAC1B,CAAC;QACL,CAAC;QACD,IAAI,QAAQ,GAAG,IAAI,CAAA;QACnB,OAAO,SAAS,CAAC,MAAM,GAAG,CAAC,IAAI,QAAQ,EAAE,CAAC;YACtC,QAAQ,GAAG,KAAK,CAAA;YAChB,KAAK,IAAI,CAAC,GAAG,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;gBAC7C,MAAM,IAAI,GAAG,SAAS,CAAC,CAAC,CAAC,CAAA;gBACzB,IAAI,IAAI,CAAC,QAAQ,KAAK,IAAI,IAAI,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;oBACrD,EAAE,CAAC,aAAa,CAAC;wBACb,GAAG,IAAI;wBACP,SAAS,EAAE,SAAS;wBACpB,eAAe,EAAE,OAAO;qBAC3B,CAAC,CAAA;oBACF,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;oBAClB,SAAS,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;oBACtB,QAAQ,GAAG,IAAI,CAAA;gBACnB,CAAC;YACL,CAAC;QACL,CAAC;QAED,SAAS,CAAC,EAAE,CAAC,eAAe,EAAE,CAAC,CAAA;IACnC,CAAC,CAAC,CAAA;IAEN,QAAQ;SACH,OAAO,CAAC,+BAA+B,CAAC;SACxC,WAAW,CACR,0FAA0F,CAC7F;SACA,MAAM,CAAC,KAAK,EAAE,SAAiB,EAAE,EAAE;QAChC,MAAM,kBAAkB,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;QAE7C,MAAM,YAAY,GAAG,MAAM,mBAAmB,EAAE,CAAA;QAChD,MAAM,MAAM,GAAG,MAAM,aAAa,CAC9B,UAAU,EACV,OAAO,EACP,YAAY,CACf,CAAA;QAED,MAAM,WAAW,GAAG,MAAM,CAAC,UAAU,CAAC,SAAS,CAAC,CAAA;QAChD,IAAI,CAAC,WAAW,EAAE,CAAC;YACf,SAAS,CACL,YAAY,SAAS,iCAAiC,CACzD,CAAA;QACL,CAAC;QAED,MAAM,WAAW,GAAG,WAAW,CAAC,aAAa,EAAE,CAAA;QAC/C,IAAI,WAAW,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;YACpC,SAAS,CACL,YAAY,SAAS,uCAAuC,WAAW,CAAC,IAAI,IAAI,UAAU,IAAI,CACjG,CAAA;QACL,CAAC;QAED,mEAAmE;QACnE,8DAA8D;QAC9D,gEAAgE;QAChE,MAAM,eAAe,GAAG,IAAI,eAAe,EAAE,CAAA;QAC7C,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,YAAY,EAAE,EAAE,CAAC;YACpC,eAAe,CAAC,WAAW,CAAC,CAAC,CAAC,CAAA;QAClC,CAAC;QAED,4DAA4D;QAC5D,qDAAqD;QACrD,MAAM,eAAe,GAAG,WAAW,CAAC,QAAQ,EAAE,CAAA;QAE9C,IAAI,OAAuC,CAAA;QAC3C,IAAI,CAAC;YACD,OAAO,GAAG,8BAA8B,CAAC,YAAY,CACjD,eAAe,EACf,MAAM,CAAC,WAAW,EAAE,EACpB,eAAe,CAClB,CAAA;QACL,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACX,SAAS,CAAC,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAA;QAC/D,CAAC;QAED,oEAAoE;QACpE,gEAAgE;QAChE,mEAAmE;QACnE,sBAAsB;QACtB,IAAI,CAAC;YACD,OAAO,CAAC,oBAAoB,CACxB,YAAY,CAAC,SAAS,EACtB,YAAY,CAAC,MAAM,EACnB,MAAM,CACT,CAAA;QACL,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACX,SAAS,CAAC,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAA;QAC/D,CAAC;QAED,qEAAqE;QACrE,qEAAqE;QACrE,mEAAmE;QACnE,sDAAsD;QACtD,WAAW,CAAC,eAAe,CAAC,OAAO,CAAC,cAAc,EAAE,CAAC,CAAA;QAErD,MAAM,aAAa,CAAC,MAAM,CAAC,CAAA;QAC3B,SAAS,CAAC,iCAAiC,SAAS,IAAI,CAAC,CAAA;IAC7D,CAAC,CAAC,CAAA;AACV,CAAC"}
+{"version":3,"file":"premises.js","sourceRoot":"","sources":["../../../src/cli/commands/premises.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAA;AACxC,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAA;AACnC,OAAO,EAAE,aAAa,EAAE,MAAM,kCAAkC,CAAA;AAChE,OAAO,EAAE,eAAe,EAAE,MAAM,oCAAoC,CAAA;AAGpE,OAAO,EACH,SAAS,EACT,SAAS,EACT,SAAS,EACT,mBAAmB,GACtB,MAAM,cAAc,CAAA;AACrB,OAAO,EAAE,gBAAgB,EAAE,eAAe,EAAE,MAAM,yBAAyB,CAAA;AAC3E,OAAO,EACH,gBAAgB,EAChB,cAAc,EACd,aAAa,EACb,eAAe,EACf,eAAe,GAClB,MAAM,wBAAwB,CAAA;AAC/B,OAAO,EAAE,aAAa,EAAE,mBAAmB,EAAE,aAAa,EAAE,MAAM,cAAc,CAAA;AAChF,OAAO,EAAE,aAAa,EAAE,MAAM,yBAAyB,CAAA;AAEvD,KAAK,UAAU,kBAAkB,CAC7B,UAAkB,EAClB,OAAe;IAEf,MAAM,IAAI,GAAG,MAAM,eAAe,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;IACvD,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;QACjB,SAAS,CACL,WAAW,OAAO,iBAAiB,UAAU,wCAAwC,CACxF,CAAA;IACL,CAAC;AACL,CAAC;AAED,KAAK,UAAU,aAAa,CACxB,UAAkB,EAClB,OAAe;IAEf,MAAM,CAAC,OAAO,EAAE,KAAK,CAAC,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC;QACvC,gBAAgB,CAAC,UAAU,CAAC;QAC5B,eAAe,CAAC,UAAU,EAAE,OAAO,CAAC;KACvC,CAAC,CAAA;IACF,OAAO,EAAE,GAAG,OAAO,EAAE,GAAG,KAAK,EAAE,CAAA;AACnC,CAAC;AAED,MAAM,UAAU,uBAAuB,CACnC,YAAqB,EACrB,UAAkB,EAClB,OAAe;IAEf,MAAM,QAAQ,GAAG,YAAY;SACxB,OAAO,CAAC,UAAU,CAAC;SACnB,WAAW,CAAC,iBAAiB,CAAC,CAAA;IAEnC,QAAQ;SACH,OAAO,CAAC,QAAQ,CAAC;SACjB,WAAW,CAAC,sBAAsB,CAAC;SACnC,MAAM,CAAC,iBAAiB,EAAE,gCAAgC,CAAC;SAC3D,MAAM,CACH,mBAAmB,EACnB,oDAAoD,CACvD;SACA,MAAM,CACH,eAAe,EACf,8DAA8D,CACjE;SACA,MAAM,CACH,2BAA2B,EAC3B,8DAA8D,CACjE;SACA,MAAM,CACH,KAAK,EAAE,IAKN,EAAE,EAAE;QACD,MAAM,WAAW,GAAG,IAAI,CAAC,IAAI,IAAI,UAAU,CAAA;QAC3C,IACI,WAAW,KAAK,UAAU;YAC1B,WAAW,KAAK,YAAY,EAC9B,CAAC;YACC,SAAS,CACL,mDAAmD,WAAW,IAAI,CACrE,CAAA;QACL,CAAC;QACD,IAAI,WAAW,KAAK,YAAY,IAAI,CAAC,IAAI,CAAC,YAAY,EAAE,CAAC;YACrD,SAAS,CACL,sEAAsE,CACzE,CAAA;QACL,CAAC;QAED,MAAM,kBAAkB,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;QAC7C,MAAM,MAAM,GAAG,MAAM,aAAa,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;QAEvD,MAAM,EAAE,GAAG,UAAU,EAAE,CAAA;QACvB,MAAM,MAAM,GAA4B,EAAE,CAAA;QAC1C,IAAI,IAAI,CAAC,KAAK;YAAE,MAAM,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,CAAA;QAEzC,IAAI,CAAC;YACD,IAAI,WAAW,KAAK,YAAY,EAAE,CAAC;gBAC/B,MAAM,CAAC,mBAAmB,CAAC,EAAE,EAAE;oBAC3B,IAAI,EAAE,YAAY;oBAClB,cAAc,EAAE,IAAI,CAAC,YAAY;oBACjC,MAAM;oBACN,MAAM,EAAE,IAAI,CAAC,MAAM;iBACtB,CAAC,CAAA;YACN,CAAC;iBAAM,CAAC;gBACJ,MAAM,CAAC,mBAAmB,CAAC,EAAE,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,CAAA;YACvD,CAAC;QACL,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACX,SAAS,CAAC,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAA;QAC/D,CAAC;QAED,MAAM,aAAa,CAAC,MAAM,CAAC,CAAA;QAC3B,SAAS,CACL,EAAE;YACE,CAAC,WAAW,KAAK,YAAY;gBACzB,CAAC,CAAC,0BAA0B,IAAI,CAAC,YAAY,GAAG;gBAChD,CAAC,CAAC,EAAE,CAAC,CAChB,CAAA;IACL,CAAC,CACJ,CAAA;IAEL,QAAQ;SACH,OAAO,CAAC,MAAM,CAAC;SACf,WAAW,CAAC,mBAAmB,CAAC;SAChC,MAAM,CAAC,QAAQ,EAAE,gBAAgB,CAAC;SAClC,MAAM,CAAC,KAAK,EAAE,IAAwB,EAAE,EAAE;QACvC,MAAM,QAAQ,GAAG,MAAM,aAAa,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;QACzD,MAAM,YAAY,GAAG,MAAM,aAAa,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;QAC7D,MAAM,UAAU,GAAG,MAAM,cAAc,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;QAE5D,MAAM,OAAO,GAAG,MAAM,OAAO,CAAC,GAAG,CAC7B,UAAU,CAAC,GAAG,CAAC,KAAK,EAAE,GAAG,EAAE,EAAE;YACzB,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC;gBACnC,eAAe,CAAC,UAAU,EAAE,OAAO,EAAE,GAAG,CAAC;gBACzC,eAAe,CAAC,UAAU,EAAE,OAAO,EAAE,GAAG,CAAC;aAC5C,CAAC,CAAA;YAEF,uDAAuD;YACvD,MAAM,EAAE,EAAE,EAAE,GAAG,EAAE,GAAG,aAAa,EAAE,GAAG,IAAI,CAAA;YAC1C,MAAM,EAAE,GAAG,IAAI,eAAe,EAAE,CAAA;YAChC,KAAK,MAAM,CAAC,IAAI,YAAY,EAAE,CAAC;gBAC3B,EAAE,CAAC,WAAW,CAAC,EAAE,GAAG,CAAC,EAAE,eAAe,EAAE,OAAO,EAAE,CAAC,CAAA;YACtD,CAAC;YACD,MAAM,EAAE,GAAG,IAAI,aAAa,CACxB;gBACI,EAAE,EAAE,GAAG;gBACP,UAAU,EAAE,QAAQ,CAAC,EAAE;gBACvB,eAAe,EAAE,OAAO;gBACxB,GAAG,aAAa;aACH,EACjB,EAAE,QAAQ,EAAE,SAAS,EAAE,EAAE,EAAE,CAC9B,CAAA;YAED,4BAA4B;YAC5B,MAAM,SAAS,GAAG,CAAC,GAAG,IAAI,CAAC,WAAW,CAAC,CAAA;YACvC,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAA;YAC/B,KAAK,IAAI,CAAC,GAAG,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;gBAC7C,MAAM,IAAI,GAAG,SAAS,CAAC,CAAC,CAAC,CAAA;gBACzB,IAAI,IAAI,CAAC,QAAQ,KAAK,IAAI,EAAE,CAAC;oBACzB,EAAE,CAAC,aAAa,CAAC;wBACb,GAAG,IAAI;wBACP,SAAS,EAAE,GAAG;wBACd,eAAe,EAAE,OAAO;qBAC3B,CAAC,CAAA;oBACF,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;oBAClB,SAAS,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;gBAC1B,CAAC;YACL,CAAC;YACD,IAAI,QAAQ,GAAG,IAAI,CAAA;YACnB,OAAO,SAAS,CAAC,MAAM,GAAG,CAAC,IAAI,QAAQ,EAAE,CAAC;gBACtC,QAAQ,GAAG,KAAK,CAAA;gBAChB,KAAK,IAAI,CAAC,GAAG,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;oBAC7C,MAAM,IAAI,GAAG,SAAS,CAAC,CAAC,CAAC,CAAA;oBACzB,IACI,IAAI,CAAC,QAAQ,KAAK,IAAI;wBACtB,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,EAC1B,CAAC;wBACC,EAAE,CAAC,aAAa,CAAC;4BACb,GAAG,IAAI;4BACP,SAAS,EAAE,GAAG;4BACd,eAAe,EAAE,OAAO;yBAC3B,CAAC,CAAA;wBACF,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;wBAClB,SAAS,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;wBACtB,QAAQ,GAAG,IAAI,CAAA;oBACnB,CAAC;gBACL,CAAC;YACL,CAAC;YAED,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,CAAA;QAC7B,CAAC,CAAC,CACL,CAAA;QAED,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;YACZ,SAAS,CACL,OAAO,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC;gBAC7B,GAAG,IAAI;gBACP,GAAG,IAAI;aACV,CAAC,CAAC,CACN,CAAA;QACL,CAAC;aAAM,CAAC;YACJ,KAAK,MAAM,EAAE,IAAI,EAAE,EAAE,EAAE,IAAI,OAAO,EAAE,CAAC;gBACjC,MAAM,OAAO,GAAG,EAAE,CAAC,eAAe,EAAE,IAAI,SAAS,CAAA;gBACjD,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,IAAI,YAAY,CAAA;gBACxC,MAAM,WAAW,GAAG,EAAE,CAAC,WAAW,EAAE;oBAChC,CAAC,CAAC,WAAW;oBACb,CAAC,CAAC,YAAY,CAAA;gBAClB,MAAM,UAAU,GAAG,IAA+B,CAAA;gBAClD,MAAM,SAAS,GACX,UAAU,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,EAAE,CAAA;gBAC3D,SAAS,CACL,GAAG,IAAI,CAAC,EAAE,GAAG,SAAS,MAAM,WAAW,MAAM,OAAO,MAAM,KAAK,EAAE,CACpE,CAAA;YACL,CAAC;QACL,CAAC;IACL,CAAC,CAAC,CAAA;IAEN,QAAQ;SACH,OAAO,CAAC,qBAAqB,CAAC;SAC9B,WAAW,CAAC,kBAAkB,CAAC;SAC/B,MAAM,CAAC,WAAW,EAAE,0BAA0B,CAAC;SAC/C,MAAM,CAAC,KAAK,EAAE,SAAiB,EAAE,IAA2B,EAAE,EAAE;QAC7D,MAAM,kBAAkB,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;QAC7C,IAAI,CAAC,CAAC,MAAM,aAAa,CAAC,UAAU,EAAE,OAAO,EAAE,SAAS,CAAC,CAAC,EAAE,CAAC;YACzD,SAAS,CAAC,YAAY,SAAS,cAAc,CAAC,CAAA;QAClD,CAAC;QACD,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;YAChB,MAAM,mBAAmB,CAAC,mBAAmB,SAAS,IAAI,CAAC,CAAA;QAC/D,CAAC;QAED,MAAM,MAAM,GAAG,MAAM,aAAa,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;QACvD,IAAI,CAAC;YACD,MAAM,CAAC,aAAa,CAAC,SAAS,CAAC,CAAA;QACnC,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACX,SAAS,CAAC,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAA;QAC/D,CAAC;QAED,MAAM,aAAa,CAAC,MAAM,CAAC,CAAA;QAC3B,MAAM,gBAAgB,CAAC,UAAU,EAAE,OAAO,EAAE,SAAS,CAAC,CAAA;QACtD,SAAS,CAAC,SAAS,CAAC,CAAA;IACxB,CAAC,CAAC,CAAA;IAEN,QAAQ;SACH,OAAO,CAAC,qBAAqB,CAAC;SAC9B,WAAW,CAAC,yBAAyB,CAAC;SACtC,MAAM,CAAC,qBAAqB,EAAE,WAAW,CAAC;SAC1C,MAAM,CAAC,eAAe,EAAE,kBAAkB,CAAC;SAC3C,MAAM,CACH,KAAK,EACD,SAAiB,EACjB,IAA8C,EAChD,EAAE;QACA,MAAM,kBAAkB,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;QAC7C,IAAI,IAAI,CAAC,KAAK,KAAK,SAAS,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;YAC9C,SAAS,CACL,qDAAqD,CACxD,CAAA;QACL,CAAC;QAED,MAAM,MAAM,GAAG,MAAM,aAAa,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;QACvD,MAAM,EAAE,GAAG,MAAM,CAAC,UAAU,CAAC,SAAS,CAAC,CAAA;QACvC,IAAI,CAAC,EAAE,EAAE,CAAC;YACN,SAAS,CAAC,YAAY,SAAS,cAAc,CAAC,CAAA;QAClD,CAAC;QAED,IAAI,CAAC;YACD,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;gBAClB,MAAM,MAAM,GAAG,EAAE,CAAC,SAAS,EAAE,CAAA;gBAC7B,OAAO,MAAM,CAAC,KAAK,CAAA;gBACnB,EAAE,CAAC,SAAS,CAAC,MAAM,CAAC,CAAA;YACxB,CAAC;iBAAM,IAAI,IAAI,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;gBAClC,EAAE,CAAC,YAAY,CAAC,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,EAAE,CAAC,CAAA;YAC1C,CAAC;iBAAM,CAAC;gBACJ,SAAS,CACL,qDAAqD,CACxD,CAAA;YACL,CAAC;QACL,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACX,SAAS,CAAC,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAA;QAC/D,CAAC;QAED,MAAM,aAAa,CAAC,MAAM,CAAC,CAAA;QAC3B,SAAS,CAAC,SAAS,CAAC,CAAA;IACxB,CAAC,CACJ,CAAA;IAEL,QAAQ;SACH,OAAO,CAAC,mBAAmB,CAAC;SAC5B,WAAW,CAAC,uBAAuB,CAAC;SACpC,MAAM,CAAC,QAAQ,EAAE,gBAAgB,CAAC;SAClC,MAAM,CAAC,KAAK,EAAE,SAAiB,EAAE,IAAwB,EAAE,EAAE;QAC1D,IAAI,CAAC,CAAC,MAAM,aAAa,CAAC,UAAU,EAAE,OAAO,EAAE,SAAS,CAAC,CAAC,EAAE,CAAC;YACzD,SAAS,CAAC,YAAY,SAAS,cAAc,CAAC,CAAA;QAClD,CAAC;QACD,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC;YACnC,eAAe,CAAC,UAAU,EAAE,OAAO,EAAE,SAAS,CAAC;YAC/C,eAAe,CAAC,UAAU,EAAE,OAAO,EAAE,SAAS,CAAC;SAClD,CAAC,CAAA;QACF,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;YACZ,SAAS,CAAC,EAAE,GAAG,IAAI,EAAE,GAAG,IAAI,EAAE,CAAC,CAAA;QACnC,CAAC;aAAM,CAAC;YACJ,MAAM,QAAQ,GAAG,IAAI,CAAC,gBAAgB;gBAClC,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,CACjB,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,IAAI,CAAC,gBAAgB,CACxC;gBACH,CAAC,CAAC,SAAS,CAAA;YACf,MAAM,WAAW,GACb,QAAQ,EAAE,IAAI,KAAK,UAAU;gBAC7B,CAAC,QAAQ,CAAC,QAAQ,KAAK,SAAS;oBAC5B,QAAQ,CAAC,QAAQ,KAAK,KAAK,CAAC;gBAC5B,CAAC,CAAC,WAAW;gBACb,CAAC,CAAC,YAAY,CAAA;YACtB,MAAM,UAAU,GAAG,IAA+B,CAAA;YAClD,MAAM,eAAe,GACjB,UAAU,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,EAAE,CAAA;YAC3D,SAAS,CAAC,iBAAiB,IAAI,CAAC,EAAE,EAAE,CAAC,CAAA;YACrC,SAAS,CAAC,iBAAiB,IAAI,CAAC,KAAK,IAAI,YAAY,EAAE,CAAC,CAAA;YACxD,SAAS,CAAC,iBAAiB,WAAW,GAAG,eAAe,EAAE,CAAC,CAAA;YAC3D,SAAS,CAAC,iBAAiB,IAAI,CAAC,gBAAgB,IAAI,QAAQ,EAAE,CAAC,CAAA;YAC/D,SAAS,CAAC,iBAAiB,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,CAAC,CAAA;YACnD,SAAS,CAAC,iBAAiB,IAAI,CAAC,WAAW,CAAC,MAAM,EAAE,CAAC,CAAA;QACzD,CAAC;IACL,CAAC,CAAC,CAAA;IAEN,QAAQ;SACH,OAAO,CAAC,qBAAqB,CAAC;SAC9B,WAAW,CAAC,mDAAmD,CAAC;SAChE,MAAM,CAAC,KAAK,EAAE,SAAiB,EAAE,EAAE;QAChC,IAAI,CAAC,CAAC,MAAM,aAAa,CAAC,UAAU,EAAE,OAAO,EAAE,SAAS,CAAC,CAAC,EAAE,CAAC;YACzD,SAAS,CAAC,YAAY,SAAS,cAAc,CAAC,CAAA;QAClD,CAAC;QACD,MAAM,QAAQ,GAAG,MAAM,aAAa,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;QACzD,MAAM,YAAY,GAAG,MAAM,aAAa,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;QAC7D,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC;YACnC,eAAe,CAAC,UAAU,EAAE,OAAO,EAAE,SAAS,CAAC;YAC/C,eAAe,CAAC,UAAU,EAAE,OAAO,EAAE,SAAS,CAAC;SAClD,CAAC,CAAA;QAEF,MAAM,EAAE,EAAE,EAAE,GAAG,EAAE,GAAG,mBAAmB,EAAE,GAAG,IAAI,CAAA;QAChD,MAAM,QAAQ,GAAG,IAAI,eAAe,EAAE,CAAA;QACtC,KAAK,MAAM,CAAC,IAAI,YAAY,EAAE,CAAC;YAC3B,QAAQ,CAAC,WAAW,CAAC,EAAE,GAAG,CAAC,EAAE,eAAe,EAAE,OAAO,EAAE,CAAC,CAAA;QAC5D,CAAC;QACD,MAAM,EAAE,GAAG,IAAI,aAAa,CACxB;YACI,EAAE,EAAE,SAAS;YACb,UAAU,EAAE,QAAQ,CAAC,EAAE;YACvB,eAAe,EAAE,OAAO;YACxB,GAAG,mBAAmB;SACT,EACjB,EAAE,QAAQ,EAAE,SAAS,EAAE,QAAQ,EAAE,CACpC,CAAA;QAED,MAAM,SAAS,GAAG,CAAC,GAAG,IAAI,CAAC,WAAW,CAAC,CAAA;QACvC,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAA;QAC/B,KAAK,IAAI,CAAC,GAAG,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;YAC7C,MAAM,IAAI,GAAG,SAAS,CAAC,CAAC,CAAC,CAAA;YACzB,IAAI,IAAI,CAAC,QAAQ,KAAK,IAAI,EAAE,CAAC;gBACzB,EAAE,CAAC,aAAa,CAAC;oBACb,GAAG,IAAI;oBACP,SAAS,EAAE,SAAS;oBACpB,eAAe,EAAE,OAAO;iBAC3B,CAAC,CAAA;gBACF,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;gBAClB,SAAS,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;YAC1B,CAAC;QACL,CAAC;QACD,IAAI,QAAQ,GAAG,IAAI,CAAA;QACnB,OAAO,SAAS,CAAC,MAAM,GAAG,CAAC,IAAI,QAAQ,EAAE,CAAC;YACtC,QAAQ,GAAG,KAAK,CAAA;YAChB,KAAK,IAAI,CAAC,GAAG,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;gBAC7C,MAAM,IAAI,GAAG,SAAS,CAAC,CAAC,CAAC,CAAA;gBACzB,IAAI,IAAI,CAAC,QAAQ,KAAK,IAAI,IAAI,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;oBACrD,EAAE,CAAC,aAAa,CAAC;wBACb,GAAG,IAAI;wBACP,SAAS,EAAE,SAAS;wBACpB,eAAe,EAAE,OAAO;qBAC3B,CAAC,CAAA;oBACF,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAA;oBAClB,SAAS,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;oBACtB,QAAQ,GAAG,IAAI,CAAA;gBACnB,CAAC;YACL,CAAC;QACL,CAAC;QAED,SAAS,CAAC,EAAE,CAAC,eAAe,EAAE,CAAC,CAAA;IACnC,CAAC,CAAC,CAAA;IAEN,QAAQ;SACH,OAAO,CAAC,+BAA+B,CAAC;SACxC,WAAW,CACR,yFAAyF,CAC5F;SACA,MAAM,CAAC,KAAK,EAAE,SAAiB,EAAE,EAAE;QAChC,MAAM,kBAAkB,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;QAE7C,MAAM,YAAY,GAAG,MAAM,mBAAmB,EAAE,CAAA;QAChD,MAAM,MAAM,GAAG,MAAM,aAAa,CAC9B,UAAU,EACV,OAAO,EACP,YAAY,CACf,CAAA;QAED,MAAM,WAAW,GAAG,MAAM,CAAC,UAAU,CAAC,SAAS,CAAC,CAAA;QAChD,IAAI,CAAC,WAAW,EAAE,CAAC;YACf,SAAS,CACL,YAAY,SAAS,iCAAiC,CACzD,CAAA;QACL,CAAC;QAED,MAAM,WAAW,GAAG,WAAW,CAAC,aAAa,EAAE,CAAA;QAC/C,IAAI,WAAW,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;YACpC,SAAS,CACL,YAAY,SAAS,uCAAuC,WAAW,CAAC,IAAI,IAAI,UAAU,IAAI,CACjG,CAAA;QACL,CAAC;QAED,MAAM,cAAc,GAAI,WAA2C;aAC9D,cAAc,CAAA;QACnB,IAAI,CAAC,cAAc,EAAE,CAAC;YAClB,SAAS,CACL,YAAY,SAAS,sDAAsD,CAC9E,CAAA;QACL,CAAC;QAED,uDAAuD;QACvD,qDAAqD;QACrD,yDAAyD;QACzD,sDAAsD;QACtD,yDAAyD;QACzD,qDAAqD;QACrD,yDAAyD;QACzD,yBAAyB;QACzB,IAAI,eAAgE,CAAA;QACpE,IAAI,CAAC;YACD,eAAe,GAAG,MAAM,CAAC,qBAAqB,CAC1C,cAAc,EACd,YAAY,CAAC,SAAS,CACzB,CAAA;QACL,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACX,SAAS,CAAC,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAA;QAC/D,CAAC;QACD,IAAI,YAA0D,CAAA;QAC9D,IAAI,CAAC;YACD,YAAY,GAAG,MAAM,CAAC,kBAAkB,CACpC,cAAc,EACd,YAAY,CAAC,MAAM,CACtB,CAAA;QACL,CAAC;QAAC,OAAO,GAAG,EAAE,CAAC;YACX,SAAS,CAAC,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAA;QAC/D,CAAC;QAED,MAAM,aAAa,CAAC,MAAM,CAAC,CAAA;QAC3B,MAAM,aAAa,GACf,eAAe,CAAC,IAAI,KAAK,WAAW;YAChC,CAAC,CAAC,WAAW;YACb,CAAC,CAAC,YAAY,CAAC,IAAI,KAAK,WAAW;gBACjC,CAAC,CAAC,QAAQ;gBACV,CAAC,CAAC,MAAM,CAAA;QAClB,IAAI,aAAa,KAAK,MAAM,EAAE,CAAC;YAC3B,SAAS,CACL,uBAAuB,SAAS,qDAAqD,cAAc,sCAAsC,CAC5I,CAAA;QACL,CAAC;aAAM,CAAC;YACJ,SAAS,CACL,iCAAiC,SAAS,UAAU,aAAa,GAAG,CACvE,CAAA;QACL,CAAC;IACL,CAAC,CAAC,CAAA;AACV,CAAC"}

package/dist/cli/commands/repair.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"repair.d.ts","sourceRoot":"","sources":["../../../src/cli/commands/repair.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAA;AAMnC,wBAAgB,qBAAqB,CACjC,YAAY,EAAE,OAAO,EACrB,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,MAAM,GAChB,IAAI,CAyDN"}
+{"version":3,"file":"repair.d.ts","sourceRoot":"","sources":["../../../src/cli/commands/repair.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAA;AAMnC,wBAAgB,qBAAqB,CACjC,YAAY,EAAE,OAAO,EACrB,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,MAAM,GAChB,IAAI,CA2DN"}

package/dist/cli/commands/repair.js

@@ -17,8 +17,10 @@ export function registerRepairCommand(versionedCmd, argumentId, version) {
             const data = await readPremiseData(argumentId, version, pid);
             diskExprCount += data.expressions.length;
         }
-        // Hydrate engine — fromSnapshot with autoNormalize: true
-        // auto-inserts formula buffers between nested operators
+        // Hydrate engine — the assistive AN post-hook (default
+        // behavior) inserts formula buffers between nested operators
+        // as part of any successful mutation. D2: replaces the
+        // pre-v1.0 `autoNormalize: true` grammar-config gating.
         const engine = await hydrateEngine(argumentId, version);
         // Count expressions after auto-normalization
         let engineExprCount = 0;

package/dist/cli/commands/repair.js.map

@@ -1 +1 @@
-{"version":3,"file":"repair.js","sourceRoot":"","sources":["../../../src/cli/commands/repair.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAA;AACnC,OAAO,EAAE,aAAa,EAAE,aAAa,EAAE,MAAM,cAAc,CAAA;AAC3D,OAAO,EAAE,cAAc,EAAE,MAAM,wBAAwB,CAAA;AACvD,OAAO,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAA;AACxD,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,cAAc,CAAA;AAEnD,MAAM,UAAU,qBAAqB,CACjC,YAAqB,EACrB,UAAkB,EAClB,OAAe;IAEf,YAAY;SACP,OAAO,CAAC,QAAQ,CAAC;SACjB,WAAW,CACR,iFAAiF,CACpF;SACA,MAAM,CACH,WAAW,EACX,sDAAsD,CACzD;SACA,MAAM,CAAC,QAAQ,EAAE,gBAAgB,CAAC;SAClC,MAAM,CAAC,KAAK,EAAE,IAA0C,EAAE,EAAE;QACzD,0CAA0C;QAC1C,MAAM,UAAU,GAAG,MAAM,cAAc,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;QAC5D,IAAI,aAAa,GAAG,CAAC,CAAA;QACrB,KAAK,MAAM,GAAG,IAAI,UAAU,EAAE,CAAC;YAC3B,MAAM,IAAI,GAAG,MAAM,eAAe,CAAC,UAAU,EAAE,OAAO,EAAE,GAAG,CAAC,CAAA;YAC5D,aAAa,IAAI,IAAI,CAAC,WAAW,CAAC,MAAM,CAAA;QAC5C,CAAC;QAED,yDAAyD;QACzD,wDAAwD;QACxD,MAAM,MAAM,GAAG,MAAM,aAAa,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;QAEvD,6CAA6C;QAC7C,IAAI,eAAe,GAAG,CAAC,CAAA;QACvB,KAAK,MAAM,EAAE,IAAI,MAAM,CAAC,YAAY,EAAE,EAAE,CAAC;YACrC,eAAe,IAAI,EAAE,CAAC,cAAc,EAAE,CAAC,MAAM,CAAA;QACjD,CAAC;QAED,MAAM,QAAQ,GAAG,eAAe,GAAG,aAAa,CAAA;QAEhD,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;YACZ,SAAS,CAAC;gBACN,QAAQ,EAAE,CAAC,IAAI,CAAC,MAAM,IAAI,QAAQ,GAAG,CAAC;gBACtC,sBAAsB,EAAE,QAAQ;gBAChC,iBAAiB,EAAE,aAAa;gBAChC,gBAAgB,EAAE,eAAe;aACpC,CAAC,CAAA;YACF,IAAI,IAAI,CAAC,MAAM,IAAI,QAAQ,KAAK,CAAC;gBAAE,OAAM;YACzC,MAAM,aAAa,CAAC,MAAM,CAAC,CAAA;YAC3B,OAAM;QACV,CAAC;QAED,IAAI,QAAQ,KAAK,CAAC,EAAE,CAAC;YACjB,SAAS,CAAC,mBAAmB,CAAC,CAAA;YAC9B,OAAM;QACV,CAAC;QAED,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;YACd,SAAS,CAAC,gBAAgB,QAAQ,oBAAoB,CAAC,CAAA;YACvD,OAAM;QACV,CAAC;QAED,MAAM,aAAa,CAAC,MAAM,CAAC,CAAA;QAC3B,SAAS,CAAC,sBAAsB,QAAQ,oBAAoB,CAAC,CAAA;IACjE,CAAC,CAAC,CAAA;AACV,CAAC"}
+{"version":3,"file":"repair.js","sourceRoot":"","sources":["../../../src/cli/commands/repair.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAA;AACnC,OAAO,EAAE,aAAa,EAAE,aAAa,EAAE,MAAM,cAAc,CAAA;AAC3D,OAAO,EAAE,cAAc,EAAE,MAAM,wBAAwB,CAAA;AACvD,OAAO,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAA;AACxD,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,cAAc,CAAA;AAEnD,MAAM,UAAU,qBAAqB,CACjC,YAAqB,EACrB,UAAkB,EAClB,OAAe;IAEf,YAAY;SACP,OAAO,CAAC,QAAQ,CAAC;SACjB,WAAW,CACR,iFAAiF,CACpF;SACA,MAAM,CACH,WAAW,EACX,sDAAsD,CACzD;SACA,MAAM,CAAC,QAAQ,EAAE,gBAAgB,CAAC;SAClC,MAAM,CAAC,KAAK,EAAE,IAA0C,EAAE,EAAE;QACzD,0CAA0C;QAC1C,MAAM,UAAU,GAAG,MAAM,cAAc,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;QAC5D,IAAI,aAAa,GAAG,CAAC,CAAA;QACrB,KAAK,MAAM,GAAG,IAAI,UAAU,EAAE,CAAC;YAC3B,MAAM,IAAI,GAAG,MAAM,eAAe,CAAC,UAAU,EAAE,OAAO,EAAE,GAAG,CAAC,CAAA;YAC5D,aAAa,IAAI,IAAI,CAAC,WAAW,CAAC,MAAM,CAAA;QAC5C,CAAC;QAED,uDAAuD;QACvD,6DAA6D;QAC7D,uDAAuD;QACvD,wDAAwD;QACxD,MAAM,MAAM,GAAG,MAAM,aAAa,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;QAEvD,6CAA6C;QAC7C,IAAI,eAAe,GAAG,CAAC,CAAA;QACvB,KAAK,MAAM,EAAE,IAAI,MAAM,CAAC,YAAY,EAAE,EAAE,CAAC;YACrC,eAAe,IAAI,EAAE,CAAC,cAAc,EAAE,CAAC,MAAM,CAAA;QACjD,CAAC;QAED,MAAM,QAAQ,GAAG,eAAe,GAAG,aAAa,CAAA;QAEhD,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;YACZ,SAAS,CAAC;gBACN,QAAQ,EAAE,CAAC,IAAI,CAAC,MAAM,IAAI,QAAQ,GAAG,CAAC;gBACtC,sBAAsB,EAAE,QAAQ;gBAChC,iBAAiB,EAAE,aAAa;gBAChC,gBAAgB,EAAE,eAAe;aACpC,CAAC,CAAA;YACF,IAAI,IAAI,CAAC,MAAM,IAAI,QAAQ,KAAK,CAAC;gBAAE,OAAM;YACzC,MAAM,aAAa,CAAC,MAAM,CAAC,CAAA;YAC3B,OAAM;QACV,CAAC;QAED,IAAI,QAAQ,KAAK,CAAC,EAAE,CAAC;YACjB,SAAS,CAAC,mBAAmB,CAAC,CAAA;YAC9B,OAAM;QACV,CAAC;QAED,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;YACd,SAAS,CAAC,gBAAgB,QAAQ,oBAAoB,CAAC,CAAA;YACvD,OAAM;QACV,CAAC;QAED,MAAM,aAAa,CAAC,MAAM,CAAC,CAAA;QAC3B,SAAS,CAAC,sBAAsB,QAAQ,oBAAoB,CAAC,CAAA;IACjE,CAAC,CAAC,CAAA;AACV,CAAC"}

package/dist/cli/commands/validate.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"validate.d.ts","sourceRoot":"","sources":["../../../src/cli/commands/validate.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAA;AAInC,wBAAgB,uBAAuB,CACnC,YAAY,EAAE,OAAO,EACrB,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,MAAM,GAChB,IAAI,CAyBN"}
+{"version":3,"file":"validate.d.ts","sourceRoot":"","sources":["../../../src/cli/commands/validate.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAA;AAInC,wBAAgB,uBAAuB,CACnC,YAAY,EAAE,OAAO,EACrB,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,MAAM,GAChB,IAAI,CA+BN"}

package/dist/cli/commands/validate.js

@@ -8,7 +8,13 @@ export function registerValidateCommand(versionedCmd, argumentId, version) {
         .option("--json", "Output as JSON")
         .action(async (opts) => {
         const engine = await hydrateEngine(argumentId, version);
-        const result = engine.validate();
+        // D4 — the legacy no-arg `engine.validate()` overload was
+        // renamed to `validateInvariants()` for unambiguous
+        // contrast with the tier-aware `engine.validate(tier)`
+        // grammar validator. The CLI surfaces the invariant sweep
+        // (schema conformance, reference integrity, etc.); for
+        // four-tier grammar validation use a separate command.
+        const result = engine.validateInvariants();
         if (opts.json) {
             printJson(result);
             return;

package/dist/cli/commands/validate.js.map

@@ -1 +1 @@
-{"version":3,"file":"validate.js","sourceRoot":"","sources":["../../../src/cli/commands/validate.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAA;AACnC,OAAO,EAAE,aAAa,EAAE,MAAM,cAAc,CAAA;AAC5C,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,cAAc,CAAA;AAEnD,MAAM,UAAU,uBAAuB,CACnC,YAAqB,EACrB,UAAkB,EAClB,OAAe;IAEf,YAAY;SACP,OAAO,CAAC,UAAU,CAAC;SACnB,WAAW,CAAC,oDAAoD,CAAC;SACjE,MAAM,CAAC,QAAQ,EAAE,gBAAgB,CAAC;SAClC,MAAM,CAAC,KAAK,EAAE,IAAwB,EAAE,EAAE;QACvC,MAAM,MAAM,GAAG,MAAM,aAAa,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;QACvD,MAAM,MAAM,GAAG,MAAM,CAAC,QAAQ,EAAE,CAAA;QAEhC,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;YACZ,SAAS,CAAC,MAAM,CAAC,CAAA;YACjB,OAAM;QACV,CAAC;QAED,IAAI,MAAM,CAAC,EAAE,EAAE,CAAC;YACZ,SAAS,CAAC,IAAI,CAAC,CAAA;QACnB,CAAC;aAAM,CAAC;YACJ,SAAS,CAAC,SAAS,CAAC,CAAA;YACpB,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;gBAChC,SAAS,CACL,GAAG,CAAC,CAAC,UAAU,IAAI,CAAC,CAAC,QAAQ,KAAK,CAAC,CAAC,IAAI,MAAM,CAAC,CAAC,OAAO,EAAE,CAC5D,CAAA;YACL,CAAC;QACL,CAAC;IACL,CAAC,CAAC,CAAA;AACV,CAAC"}
+{"version":3,"file":"validate.js","sourceRoot":"","sources":["../../../src/cli/commands/validate.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAA;AACnC,OAAO,EAAE,aAAa,EAAE,MAAM,cAAc,CAAA;AAC5C,OAAO,EAAE,SAAS,EAAE,SAAS,EAAE,MAAM,cAAc,CAAA;AAEnD,MAAM,UAAU,uBAAuB,CACnC,YAAqB,EACrB,UAAkB,EAClB,OAAe;IAEf,YAAY;SACP,OAAO,CAAC,UAAU,CAAC;SACnB,WAAW,CAAC,oDAAoD,CAAC;SACjE,MAAM,CAAC,QAAQ,EAAE,gBAAgB,CAAC;SAClC,MAAM,CAAC,KAAK,EAAE,IAAwB,EAAE,EAAE;QACvC,MAAM,MAAM,GAAG,MAAM,aAAa,CAAC,UAAU,EAAE,OAAO,CAAC,CAAA;QACvD,0DAA0D;QAC1D,oDAAoD;QACpD,uDAAuD;QACvD,0DAA0D;QAC1D,uDAAuD;QACvD,uDAAuD;QACvD,MAAM,MAAM,GAAG,MAAM,CAAC,kBAAkB,EAAE,CAAA;QAE1C,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;YACZ,SAAS,CAAC,MAAM,CAAC,CAAA;YACjB,OAAM;QACV,CAAC;QAED,IAAI,MAAM,CAAC,EAAE,EAAE,CAAC;YACZ,SAAS,CAAC,IAAI,CAAC,CAAA;QACnB,CAAC;aAAM,CAAC;YACJ,SAAS,CAAC,SAAS,CAAC,CAAA;YACpB,KAAK,MAAM,CAAC,IAAI,MAAM,CAAC,UAAU,EAAE,CAAC;gBAChC,SAAS,CACL,GAAG,CAAC,CAAC,UAAU,IAAI,CAAC,CAAC,QAAQ,KAAK,CAAC,CAAC,IAAI,MAAM,CAAC,CAAC,OAAO,EAAE,CAC5D,CAAA;YACL,CAAC;QACL,CAAC;IACL,CAAC,CAAC,CAAA;AACV,CAAC"}

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

@@ -1 +1 @@
-{"version":3,"file":"engine.d.ts","sourceRoot":"","sources":["../../src/cli/engine.ts"],"names":[],"mappings":"AACA,OAAO,EACH,cAAc,EAEjB,MAAM,gCAAgC,CAAA;AAGvC,OAAO,EAAE,YAAY,EAAE,MAAM,8BAA8B,CAAA;AAsC3D,wBAAsB,mBAAmB,IAAI,OAAO,CAAC,YAAY,CAAC,CAsBjE;AAED,wBAAsB,WAAW,CAAC,IAAI,EAAE,YAAY,GAAG,OAAO,CAAC,IAAI,CAAC,CAOnE;AAED;;;;;;GAMG;AACH,wBAAsB,aAAa,CAC/B,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,MAAM,EACf,IAAI,CAAC,EAAE,YAAY,GACpB,OAAO,CAAC,cAAc,CAAC,CA2HzB;AAED;;;;GAIG;AACH,wBAAsB,aAAa,CAAC,MAAM,EAAE,cAAc,GAAG,OAAO,CAAC,IAAI,CAAC,CA2CzE"}
+{"version":3,"file":"engine.d.ts","sourceRoot":"","sources":["../../src/cli/engine.ts"],"names":[],"mappings":"AACA,OAAO,EACH,cAAc,EAEjB,MAAM,gCAAgC,CAAA;AAGvC,OAAO,EAAE,YAAY,EAAE,MAAM,8BAA8B,CAAA;AAsC3D,wBAAsB,mBAAmB,IAAI,OAAO,CAAC,YAAY,CAAC,CAsBjE;AAED,wBAAsB,WAAW,CAAC,IAAI,EAAE,YAAY,GAAG,OAAO,CAAC,IAAI,CAAC,CAOnE;AAED;;;;;;GAMG;AACH,wBAAsB,aAAa,CAC/B,UAAU,EAAE,MAAM,EAClB,OAAO,EAAE,MAAM,EACf,IAAI,CAAC,EAAE,YAAY,GACpB,OAAO,CAAC,cAAc,CAAC,CAwGzB;AAED;;;;GAIG;AACH,wBAAsB,aAAa,CAAC,MAAM,EAAE,cAAc,GAAG,OAAO,CAAC,IAAI,CAAC,CA2CzE"}

package/dist/cli/engine.js

@@ -89,21 +89,12 @@ export async function hydrateEngine(argumentId, version, core) {
         }
         claimLibrary = ClaimLibrary.fromSnapshot(snapshot);
     }
-    // Grammar config used for the CLI: enforce rules and auto-normalize.
-    // Uses granular config (not boolean `true`) so that fromSnapshot skips
-    // post-load normalization — the CLI builds trees incrementally and must
-    // tolerate incomplete subtrees between invocations.
-    const cliGrammarConfig = {
-        enforceFormulaBetweenOperators: true,
-        autoNormalize: {
-            wrapInsertFormula: true,
-            negationInsertFormula: true,
-            collapseDoubleNegation: true,
-            collapseEmptyFormula: true,
-            repositionOnCollision: true,
-            absorbSameOperator: true,
-        },
-    };
+    // D2: the CLI no longer threads a `grammarConfig` through hydration —
+    // engine behavior is controlled exclusively by the engine's
+    // `behavior` setting (default `'assistive'`). The pre-v1.0
+    // `cliGrammarConfig` granular flags + `fromSnapshot` grammar-config
+    // parameter were deleted in D2 along with the rest of the legacy
+    // plumbing.
     // Build premise snapshots from disk data
     const premiseSnapshots = [];
     for (const premiseId of premiseIds) {
@@ -127,12 +118,6 @@ export async function hydrateEngine(argumentId, version, core) {
                     premiseId,
                     argumentVersion: version,
                 })),
-                config: {
-                    grammarConfig: cliGrammarConfig,
-                },
-            },
-            config: {
-                grammarConfig: cliGrammarConfig,
             },
         });
     }
@@ -147,13 +132,10 @@ export async function hydrateEngine(argumentId, version, core) {
         },
         premises: premiseSnapshots,
         conclusionPremiseId: roles.conclusionPremiseId,
-        config: {
-            grammarConfig: cliGrammarConfig,
-        },
     };
     // Use fromSnapshot which correctly handles restoringFromSnapshot flag,
     // preventing auto-variable creation during premise restoration.
-    const engine = ArgumentEngine.fromSnapshot(engineSnapshot, claimLibrary, cliGrammarConfig, "ignore");
+    const engine = ArgumentEngine.fromSnapshot(engineSnapshot, claimLibrary, "ignore");
     return engine;
 }
 /**

package/dist/cli/engine.js.map

@@ -1 +1 @@
-{"version":3,"file":"engine.js","sourceRoot":"","sources":["../../src/cli/engine.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,kBAAkB,CAAA;AACjC,OAAO,EACH,cAAc,GAEjB,MAAM,gCAAgC,CAAA;AAEvC,OAAO,EAAE,YAAY,EAAE,MAAM,8BAA8B,CAAA;AAC3D,OAAO,EAAE,YAAY,EAAE,MAAM,8BAA8B,CAAA;AAM3D,OAAO,EAAE,YAAY,EAAE,MAAM,0BAA0B,CAAA;AAEvD,OAAO,EAAE,cAAc,EAAE,MAAM,aAAa,CAAA;AAC5C,OAAO,EACH,gBAAgB,EAChB,eAAe,EACf,iBAAiB,EACjB,gBAAgB,GACnB,MAAM,wBAAwB,CAAA;AAC/B,OAAO,EACH,gBAAgB,EAChB,mBAAmB,EACnB,gBAAgB,EAChB,eAAe,EACf,iBAAiB,EACjB,oBAAoB,EACpB,iBAAiB,EACjB,gBAAgB,GACnB,MAAM,wBAAwB,CAAA;AAC/B,OAAO,EACH,cAAc,EACd,eAAe,EACf,eAAe,EACf,gBAAgB,EAChB,gBAAgB,GACnB,MAAM,uBAAuB,CAAA;AAC9B,OAAO,EAAE,WAAW,EAAE,MAAM,4BAA4B,CAAA;AACxD,OAAO,EAAE,WAAW,EAAE,MAAM,4BAA4B,CAAA;AACxD,OAAO,EAAE,WAAW,EAAE,MAAM,4BAA4B,CAAA;AACxD,OAAO,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAA;AAC1D,OAAO,EAAE,aAAa,EAAE,cAAc,EAAE,MAAM,wBAAwB,CAAA;AAEtE,MAAM,CAAC,KAAK,UAAU,mBAAmB;IACrC,wEAAwE;IACxE,0EAA0E;IAC1E,gCAAgC;IAChC,MAAM,WAAW,EAAE,CAAA;IACnB,MAAM,WAAW,EAAE,CAAA;IACnB,MAAM,WAAW,EAAE,CAAA;IAEnB,MAAM,CAAC,YAAY,EAAE,WAAW,CAAC,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC;QAClD,gBAAgB,EAAE;QAClB,eAAe,EAAE;KACpB,CAAC,CAAA;IACF,MAAM,CAAC,oBAAoB,EAAE,iBAAiB,CAAC,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC;QAChE,mBAAmB,CAAC,YAAY,CAAC;QACjC,gBAAgB,CAAC,YAAY,CAAC;KACjC,CAAC,CAAA;IACF,OAAO,IAAI,YAAY,CAAC;QACpB,YAAY;QACZ,oBAAoB;QACpB,iBAAiB;QACjB,WAAW;KACd,CAAC,CAAA;AACN,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,WAAW,CAAC,IAAkB;IAChD,MAAM,OAAO,CAAC,GAAG,CAAC;QACd,iBAAiB,CAAC,IAAI,CAAC,MAAM,CAAC;QAC9B,oBAAoB,CAAC,IAAI,CAAC,SAAS,CAAC;QACpC,iBAAiB,CAAC,IAAI,CAAC,MAAM,CAAC;QAC9B,gBAAgB,CAAC,IAAI,CAAC,KAAK,CAAC;KAC/B,CAAC,CAAA;AACN,CAAC;AAED;;;;;;GAMG;AACH,MAAM,CAAC,KAAK,UAAU,aAAa,CAC/B,UAAkB,EAClB,OAAe,EACf,IAAmB;IAEnB,MAAM,CAAC,OAAO,EAAE,WAAW,EAAE,YAAY,EAAE,KAAK,EAAE,UAAU,CAAC,GACzD,MAAM,OAAO,CAAC,GAAG,CAAC;QACd,gBAAgB,CAAC,UAAU,CAAC;QAC5B,eAAe,CAAC,UAAU,EAAE,OAAO,CAAC;QACpC,aAAa,CAAC,UAAU,EAAE,OAAO,CAAC;QAClC,SAAS,CAAC,UAAU,EAAE,OAAO,CAAC;QAC9B,cAAc,CAAC,UAAU,EAAE,OAAO,CAAC;KACtC,CAAC,CAAA;IAEN,MAAM,QAAQ,GAAqC;QAC/C,GAAG,OAAO;QACV,GAAG,WAAW;KACjB,CAAA;IAED,MAAM,YAAY,GAAG,IAAI,IAAI,CAAC,MAAM,mBAAmB,EAAE,CAAC,CAAA;IAE1D,2DAA2D;IAC3D,oEAAoE;IACpE,gEAAgE;IAChE,IAAI,YAAY,GAAG,YAAY,CAAC,MAAM,CAAA;IACtC,MAAM,aAAa,GAAsC,EAAE,CAAA;IAC3D,KAAK,MAAM,QAAQ,IAAI,YAAY,EAAE,CAAC;QAClC,IACI,YAAY,CAAC,QAAQ,CAAC;YACtB,CAAC,YAAY,CAAC,GAAG,CAAC,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAC,YAAY,CAAC,EAC5D,CAAC;YACC,aAAa,CAAC,IAAI,CAAC;gBACf,EAAE,EAAE,QAAQ,CAAC,OAAO;gBACpB,OAAO,EAAE,QAAQ,CAAC,YAAY;aACjC,CAAC,CAAA;QACN,CAAC;IACL,CAAC;IACD,IAAI,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC3B,MAAM,QAAQ,GAAG,YAAY,CAAC,QAAQ,EAAE,CAAA;QACxC,KAAK,MAAM,OAAO,IAAI,aAAa,EAAE,CAAC;YAClC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC;gBACjB,EAAE,EAAE,OAAO,CAAC,EAAE;gBACd,OAAO,EAAE,OAAO,CAAC,OAAO;gBACxB,MAAM,EAAE,IAAI;gBACZ,QAAQ,EAAE,EAAE;gBACZ,IAAI,EAAE,QAAQ;aACmB,CAAC,CAAA;QAC1C,CAAC;QACD,YAAY,GAAG,YAAY,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAA;IACtD,CAAC;IAED,qEAAqE;IACrE,uEAAuE;IACvE,wEAAwE;IACxE,oDAAoD;IACpD,MAAM,gBAAgB,GAAG;QACrB,8BAA8B,EAAE,IAAI;QACpC,aAAa,EAAE;YACX,iBAAiB,EAAE,IAAI;YACvB,qBAAqB,EAAE,IAAI;YAC3B,sBAAsB,EAAE,IAAI;YAC5B,oBAAoB,EAAE,IAAI;YAC1B,qBAAqB,EAAE,IAAI;YAC3B,kBAAkB,EAAE,IAAI;SAC3B;KACJ,CAAA;IAED,yCAAyC;IACzC,MAAM,gBAAgB,GAA6B,EAAE,CAAA;IACrD,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;QACjC,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC;YACnC,eAAe,CAAC,UAAU,EAAE,OAAO,EAAE,SAAS,CAAC;YAC/C,eAAe,CAAC,UAAU,EAAE,OAAO,EAAE,SAAS,CAAC;SAClD,CAAC,CAAA;QAEF,MAAM,EAAE,EAAE,EAAE,GAAG,EAAE,GAAG,aAAa,EAAE,GAAG,IAAI,CAAA;QAC1C,gBAAgB,CAAC,IAAI,CAAC;YAClB,OAAO,EAAE;gBACL,EAAE,EAAE,SAAS;gBACb,UAAU;gBACV,eAAe,EAAE,OAAO;gBACxB,IAAI,EAAE,UAAmB;gBACzB,GAAG,aAAa;aACnB;YACD,gBAAgB,EAAE,IAAI,CAAC,gBAAgB;YACvC,WAAW,EAAE;gBACT,WAAW,EAAE,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;oBACtC,GAAG,CAAC;oBACJ,SAAS;oBACT,eAAe,EAAE,OAAO;iBAC3B,CAAC,CAAmC;gBACrC,MAAM,EAAE;oBACJ,aAAa,EAAE,gBAAgB;iBAClC;aACJ;YACD,MAAM,EAAE;gBACJ,aAAa,EAAE,gBAAgB;aAClC;SACJ,CAAC,CAAA;IACN,CAAC;IAED,6BAA6B;IAC7B,MAAM,cAAc,GAA4B;QAC5C,QAAQ;QACR,SAAS,EAAE;YACP,SAAS,EAAE,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;gBAChC,GAAG,CAAC;gBACJ,eAAe,EAAE,OAAO;aAC3B,CAAC,CAAC;SACN;QACD,QAAQ,EAAE,gBAAgB;QAC1B,mBAAmB,EAAE,KAAK,CAAC,mBAAmB;QAC9C,MAAM,EAAE;YACJ,aAAa,EAAE,gBAAgB;SAClC;KACJ,CAAA;IAED,uEAAuE;IACvE,gEAAgE;IAChE,MAAM,MAAM,GAAG,cAAc,CAAC,YAAY,CACtC,cAAc,EACd,YAAY,EACZ,gBAAgB,EAChB,QAAQ,CACX,CAAA;IAED,OAAO,MAAM,CAAA;AACjB,CAAC;AAED;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,aAAa,CAAC,MAAsB;IACtD,MAAM,GAAG,GAAG,MAAM,CAAC,WAAW,EAAE,CAAA;IAChC,MAAM,EAAE,EAAE,EAAE,GAAG,GAAG,CAAA;IAElB,MAAM,SAAS,GAAG,GAA8B,CAAA;IAChD,MAAM,iBAAiB,CAAC;QACpB,EAAE;QACF,KAAK,EAAE,SAAS,CAAC,KAAK;QACtB,WAAW,EAAE,SAAS,CAAC,WAAW;KACjB,CAAC,CAAA;IACtB,MAAM,gBAAgB,CAAC,EAAE,EAAE;QACvB,OAAO,EAAE,GAAG,CAAC,OAAO;QACpB,SAAS,EAAE,SAAS,CAAC,SAAS;QAC9B,SAAS,EAAE,SAAS,CAAC,SAAS;KACN,CAAC,CAAA;IAE7B,MAAM,SAAS,GAAG,MAAM,CAAC,YAAY,EAAE,CAAA;IACvC,MAAM,cAAc,CAAC,EAAE,EAAE,GAAG,CAAC,OAAO,EAAE,SAAS,CAAC,CAAA;IAEhD,MAAM,UAAU,CAAC,EAAE,EAAE,GAAG,CAAC,OAAO,EAAE,MAAM,CAAC,YAAY,EAAE,CAAC,CAAA;IAExD,MAAM,EAAE,CAAC,KAAK,CAAC,cAAc,CAAC,EAAE,EAAE,GAAG,CAAC,OAAO,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAA;IACpE,KAAK,MAAM,EAAE,IAAI,MAAM,CAAC,YAAY,EAAE,EAAE,CAAC;QACrC,MAAM,IAAI,GAAG,EAAE,CAAC,aAAa,EAAE,CAAA;QAC/B,MAAM,EACF,EAAE,EAAE,SAAS,EACb,UAAU,EAAE,EAAE,EACd,eAAe,EAAE,GAAG,EACpB,QAAQ,EAAE,EAAE,EACZ,kBAAkB,EAAE,GAAG,EACvB,gBAAgB,EAAE,GAAG,EACrB,GAAG,WAAW,EACjB,GAAG,IAA+B,CAAA;QACnC,MAAM,gBAAgB,CAAC,EAAE,EAAE,GAAG,CAAC,OAAO,EAAE;YACpC,EAAE,EAAE,IAAI,CAAC,EAAE;YACX,GAAG,WAAW;SAC0B,CAAC,CAAA;QAC7C,MAAM,gBAAgB,CAAC,EAAE,EAAE,GAAG,CAAC,OAAO,EAAE,IAAI,CAAC,EAAE,EAAE;YAC7C,gBAAgB,EAAE,EAAE,CAAC,mBAAmB,EAAE;YAC1C,SAAS,EAAE,CAAC,GAAG,EAAE,CAAC,wBAAwB,EAAE,CAAC,CAAC,IAAI,EAAE;YACpD,WAAW,EAAE,EAAE,CAAC,cAAc,EAAE;SACnC,CAAC,CAAA;IACN,CAAC;AACL,CAAC"}
+{"version":3,"file":"engine.js","sourceRoot":"","sources":["../../src/cli/engine.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,kBAAkB,CAAA;AACjC,OAAO,EACH,cAAc,GAEjB,MAAM,gCAAgC,CAAA;AAEvC,OAAO,EAAE,YAAY,EAAE,MAAM,8BAA8B,CAAA;AAC3D,OAAO,EAAE,YAAY,EAAE,MAAM,8BAA8B,CAAA;AAM3D,OAAO,EAAE,YAAY,EAAE,MAAM,0BAA0B,CAAA;AAEvD,OAAO,EAAE,cAAc,EAAE,MAAM,aAAa,CAAA;AAC5C,OAAO,EACH,gBAAgB,EAChB,eAAe,EACf,iBAAiB,EACjB,gBAAgB,GACnB,MAAM,wBAAwB,CAAA;AAC/B,OAAO,EACH,gBAAgB,EAChB,mBAAmB,EACnB,gBAAgB,EAChB,eAAe,EACf,iBAAiB,EACjB,oBAAoB,EACpB,iBAAiB,EACjB,gBAAgB,GACnB,MAAM,wBAAwB,CAAA;AAC/B,OAAO,EACH,cAAc,EACd,eAAe,EACf,eAAe,EACf,gBAAgB,EAChB,gBAAgB,GACnB,MAAM,uBAAuB,CAAA;AAC9B,OAAO,EAAE,WAAW,EAAE,MAAM,4BAA4B,CAAA;AACxD,OAAO,EAAE,WAAW,EAAE,MAAM,4BAA4B,CAAA;AACxD,OAAO,EAAE,WAAW,EAAE,MAAM,4BAA4B,CAAA;AACxD,OAAO,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAA;AAC1D,OAAO,EAAE,aAAa,EAAE,cAAc,EAAE,MAAM,wBAAwB,CAAA;AAEtE,MAAM,CAAC,KAAK,UAAU,mBAAmB;IACrC,wEAAwE;IACxE,0EAA0E;IAC1E,gCAAgC;IAChC,MAAM,WAAW,EAAE,CAAA;IACnB,MAAM,WAAW,EAAE,CAAA;IACnB,MAAM,WAAW,EAAE,CAAA;IAEnB,MAAM,CAAC,YAAY,EAAE,WAAW,CAAC,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC;QAClD,gBAAgB,EAAE;QAClB,eAAe,EAAE;KACpB,CAAC,CAAA;IACF,MAAM,CAAC,oBAAoB,EAAE,iBAAiB,CAAC,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC;QAChE,mBAAmB,CAAC,YAAY,CAAC;QACjC,gBAAgB,CAAC,YAAY,CAAC;KACjC,CAAC,CAAA;IACF,OAAO,IAAI,YAAY,CAAC;QACpB,YAAY;QACZ,oBAAoB;QACpB,iBAAiB;QACjB,WAAW;KACd,CAAC,CAAA;AACN,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,WAAW,CAAC,IAAkB;IAChD,MAAM,OAAO,CAAC,GAAG,CAAC;QACd,iBAAiB,CAAC,IAAI,CAAC,MAAM,CAAC;QAC9B,oBAAoB,CAAC,IAAI,CAAC,SAAS,CAAC;QACpC,iBAAiB,CAAC,IAAI,CAAC,MAAM,CAAC;QAC9B,gBAAgB,CAAC,IAAI,CAAC,KAAK,CAAC;KAC/B,CAAC,CAAA;AACN,CAAC;AAED;;;;;;GAMG;AACH,MAAM,CAAC,KAAK,UAAU,aAAa,CAC/B,UAAkB,EAClB,OAAe,EACf,IAAmB;IAEnB,MAAM,CAAC,OAAO,EAAE,WAAW,EAAE,YAAY,EAAE,KAAK,EAAE,UAAU,CAAC,GACzD,MAAM,OAAO,CAAC,GAAG,CAAC;QACd,gBAAgB,CAAC,UAAU,CAAC;QAC5B,eAAe,CAAC,UAAU,EAAE,OAAO,CAAC;QACpC,aAAa,CAAC,UAAU,EAAE,OAAO,CAAC;QAClC,SAAS,CAAC,UAAU,EAAE,OAAO,CAAC;QAC9B,cAAc,CAAC,UAAU,EAAE,OAAO,CAAC;KACtC,CAAC,CAAA;IAEN,MAAM,QAAQ,GAAqC;QAC/C,GAAG,OAAO;QACV,GAAG,WAAW;KACjB,CAAA;IAED,MAAM,YAAY,GAAG,IAAI,IAAI,CAAC,MAAM,mBAAmB,EAAE,CAAC,CAAA;IAE1D,2DAA2D;IAC3D,oEAAoE;IACpE,gEAAgE;IAChE,IAAI,YAAY,GAAG,YAAY,CAAC,MAAM,CAAA;IACtC,MAAM,aAAa,GAAsC,EAAE,CAAA;IAC3D,KAAK,MAAM,QAAQ,IAAI,YAAY,EAAE,CAAC;QAClC,IACI,YAAY,CAAC,QAAQ,CAAC;YACtB,CAAC,YAAY,CAAC,GAAG,CAAC,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAC,YAAY,CAAC,EAC5D,CAAC;YACC,aAAa,CAAC,IAAI,CAAC;gBACf,EAAE,EAAE,QAAQ,CAAC,OAAO;gBACpB,OAAO,EAAE,QAAQ,CAAC,YAAY;aACjC,CAAC,CAAA;QACN,CAAC;IACL,CAAC;IACD,IAAI,aAAa,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC3B,MAAM,QAAQ,GAAG,YAAY,CAAC,QAAQ,EAAE,CAAA;QACxC,KAAK,MAAM,OAAO,IAAI,aAAa,EAAE,CAAC;YAClC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC;gBACjB,EAAE,EAAE,OAAO,CAAC,EAAE;gBACd,OAAO,EAAE,OAAO,CAAC,OAAO;gBACxB,MAAM,EAAE,IAAI;gBACZ,QAAQ,EAAE,EAAE;gBACZ,IAAI,EAAE,QAAQ;aACmB,CAAC,CAAA;QAC1C,CAAC;QACD,YAAY,GAAG,YAAY,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAA;IACtD,CAAC;IAED,sEAAsE;IACtE,4DAA4D;IAC5D,2DAA2D;IAC3D,oEAAoE;IACpE,iEAAiE;IACjE,YAAY;IAEZ,yCAAyC;IACzC,MAAM,gBAAgB,GAA6B,EAAE,CAAA;IACrD,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;QACjC,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC;YACnC,eAAe,CAAC,UAAU,EAAE,OAAO,EAAE,SAAS,CAAC;YAC/C,eAAe,CAAC,UAAU,EAAE,OAAO,EAAE,SAAS,CAAC;SAClD,CAAC,CAAA;QAEF,MAAM,EAAE,EAAE,EAAE,GAAG,EAAE,GAAG,aAAa,EAAE,GAAG,IAAI,CAAA;QAC1C,gBAAgB,CAAC,IAAI,CAAC;YAClB,OAAO,EAAE;gBACL,EAAE,EAAE,SAAS;gBACb,UAAU;gBACV,eAAe,EAAE,OAAO;gBACxB,IAAI,EAAE,UAAmB;gBACzB,GAAG,aAAa;aACnB;YACD,gBAAgB,EAAE,IAAI,CAAC,gBAAgB;YACvC,WAAW,EAAE;gBACT,WAAW,EAAE,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;oBACtC,GAAG,CAAC;oBACJ,SAAS;oBACT,eAAe,EAAE,OAAO;iBAC3B,CAAC,CAAmC;aACxC;SACJ,CAAC,CAAA;IACN,CAAC;IAED,6BAA6B;IAC7B,MAAM,cAAc,GAA4B;QAC5C,QAAQ;QACR,SAAS,EAAE;YACP,SAAS,EAAE,YAAY,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;gBAChC,GAAG,CAAC;gBACJ,eAAe,EAAE,OAAO;aAC3B,CAAC,CAAC;SACN;QACD,QAAQ,EAAE,gBAAgB;QAC1B,mBAAmB,EAAE,KAAK,CAAC,mBAAmB;KACjD,CAAA;IAED,uEAAuE;IACvE,gEAAgE;IAChE,MAAM,MAAM,GAAG,cAAc,CAAC,YAAY,CACtC,cAAc,EACd,YAAY,EACZ,QAAQ,CACX,CAAA;IAED,OAAO,MAAM,CAAA;AACjB,CAAC;AAED;;;;GAIG;AACH,MAAM,CAAC,KAAK,UAAU,aAAa,CAAC,MAAsB;IACtD,MAAM,GAAG,GAAG,MAAM,CAAC,WAAW,EAAE,CAAA;IAChC,MAAM,EAAE,EAAE,EAAE,GAAG,GAAG,CAAA;IAElB,MAAM,SAAS,GAAG,GAA8B,CAAA;IAChD,MAAM,iBAAiB,CAAC;QACpB,EAAE;QACF,KAAK,EAAE,SAAS,CAAC,KAAK;QACtB,WAAW,EAAE,SAAS,CAAC,WAAW;KACjB,CAAC,CAAA;IACtB,MAAM,gBAAgB,CAAC,EAAE,EAAE;QACvB,OAAO,EAAE,GAAG,CAAC,OAAO;QACpB,SAAS,EAAE,SAAS,CAAC,SAAS;QAC9B,SAAS,EAAE,SAAS,CAAC,SAAS;KACN,CAAC,CAAA;IAE7B,MAAM,SAAS,GAAG,MAAM,CAAC,YAAY,EAAE,CAAA;IACvC,MAAM,cAAc,CAAC,EAAE,EAAE,GAAG,CAAC,OAAO,EAAE,SAAS,CAAC,CAAA;IAEhD,MAAM,UAAU,CAAC,EAAE,EAAE,GAAG,CAAC,OAAO,EAAE,MAAM,CAAC,YAAY,EAAE,CAAC,CAAA;IAExD,MAAM,EAAE,CAAC,KAAK,CAAC,cAAc,CAAC,EAAE,EAAE,GAAG,CAAC,OAAO,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAA;IACpE,KAAK,MAAM,EAAE,IAAI,MAAM,CAAC,YAAY,EAAE,EAAE,CAAC;QACrC,MAAM,IAAI,GAAG,EAAE,CAAC,aAAa,EAAE,CAAA;QAC/B,MAAM,EACF,EAAE,EAAE,SAAS,EACb,UAAU,EAAE,EAAE,EACd,eAAe,EAAE,GAAG,EACpB,QAAQ,EAAE,EAAE,EACZ,kBAAkB,EAAE,GAAG,EACvB,gBAAgB,EAAE,GAAG,EACrB,GAAG,WAAW,EACjB,GAAG,IAA+B,CAAA;QACnC,MAAM,gBAAgB,CAAC,EAAE,EAAE,GAAG,CAAC,OAAO,EAAE;YACpC,EAAE,EAAE,IAAI,CAAC,EAAE;YACX,GAAG,WAAW;SAC0B,CAAC,CAAA;QAC7C,MAAM,gBAAgB,CAAC,EAAE,EAAE,GAAG,CAAC,OAAO,EAAE,IAAI,CAAC,EAAE,EAAE;YAC7C,gBAAgB,EAAE,EAAE,CAAC,mBAAmB,EAAE;YAC1C,SAAS,EAAE,CAAC,GAAG,EAAE,CAAC,wBAAwB,EAAE,CAAC,CAAC,IAAI,EAAE;YACpD,WAAW,EAAE,EAAE,CAAC,cAAc,EAAE;SACnC,CAAC,CAAA;IACN,CAAC;AACL,CAAC"}

package/dist/cli/import.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"import.d.ts","sourceRoot":"","sources":["../../src/cli/import.ts"],"names":[],"mappings":"AASA,OAAO,EAAE,cAAc,EAAE,MAAM,gCAAgC,CAAA;AAC/D,OAAO,EAAE,YAAY,EAAE,MAAM,8BAA8B,CAAA;AAC3D,OAAO,EAAE,oBAAoB,EAAE,MAAM,uCAAuC,CAAA;AAsM5E;;;;;;;;;;GAUG;AACH,wBAAgB,sBAAsB,CAAC,UAAU,EAAE,MAAM,GAAG;IACxD,MAAM,EAAE,cAAc,CAAA;IACtB,YAAY,EAAE,YAAY,CAAA;IAC1B,oBAAoB,EAAE,oBAAoB,CAAA;CAC7C,CAqMA"}
+{"version":3,"file":"import.d.ts","sourceRoot":"","sources":["../../src/cli/import.ts"],"names":[],"mappings":"AASA,OAAO,EAAE,cAAc,EAAE,MAAM,gCAAgC,CAAA;AAC/D,OAAO,EAAE,YAAY,EAAE,MAAM,8BAA8B,CAAA;AAC3D,OAAO,EAAE,oBAAoB,EAAE,MAAM,uCAAuC,CAAA;AAsM5E;;;;;;;;;;GAUG;AACH,wBAAgB,sBAAsB,CAAC,UAAU,EAAE,MAAM,GAAG;IACxD,MAAM,EAAE,cAAc,CAAA;IACtB,YAAY,EAAE,YAAY,CAAA;IAC1B,oBAAoB,EAAE,oBAAoB,CAAA;CAC7C,CA2OA"}