@proposit/proposit-core 0.12.1 → 1.0.0

package/dist/lib/types/grammar.d.ts

@@ -1,83 +0,0 @@
-/**
- * Individual structural rule toggles for expression tree grammar.
- *
- * Each boolean controls whether a specific structural constraint is enforced.
- * When `true`, violations throw (or auto-normalize if `TGrammarConfig.autoNormalize`
- * is also `true` — but only for operations that support it).
- */
-export type TGrammarOptions = {
-    /** Require a `formula` node between a parent operator and a non-`not` operator child. */
-    enforceFormulaBetweenOperators: boolean;
-};
-/**
- * Granular auto-normalization flags.
- *
- * Each flag controls a specific automatic structural correction during
- * expression mutation operations. Using this object instead of a plain
- * `boolean` for `autoNormalize` allows fine-grained control over which
- * normalizations are applied.
- */
-export type TAutoNormalizeConfig = {
-    /** Insert a formula node when wrapping/inserting creates operator-under-operator. */
-    wrapInsertFormula: boolean;
-    /** Insert a formula buffer when toggleNegation wraps a non-not operator in NOT. */
-    negationInsertFormula: boolean;
-    /** Collapse double negation (NOT(NOT(x)) → x) during toggleNegation and normalize. */
-    collapseDoubleNegation: boolean;
-    /** Collapse empty formulas/operators and promote single children after removal. */
-    collapseEmptyFormula: boolean;
-    /** Auto-redistribute sibling positions when a midpoint collision is detected. */
-    repositionOnCollision: boolean;
-    /** Absorb same-operator children through a formula after an operator swap in `updateExpression`. */
-    absorbSameOperator: boolean;
-};
-/**
- * Grammar enforcement configuration for expression trees.
- *
- * Controls which structural rules are enforced and whether violations are
- * automatically corrected.
- *
- * **`autoNormalize` scope:** Accepts `boolean | TAutoNormalizeConfig`.
- *
- * - `true` — enables all automatic normalizations (backward compatible).
- * - `false` — disables all automatic normalizations (backward compatible).
- * - `TAutoNormalizeConfig` — granular control over individual behaviors:
- *   - `wrapInsertFormula`: auto-insert formula buffers in `addExpression`,
- *     `insertExpression`, and `wrapExpression`.
- *   - `negationInsertFormula`: auto-insert a formula buffer when
- *     `toggleNegation` wraps a non-not operator in NOT.
- *   - `collapseDoubleNegation`: collapse NOT(NOT(x)) → x during
- *     `toggleNegation` and `normalize`.
- *   - `collapseEmptyFormula`: auto-collapse operators with 0/1 children
- *     and formulas whose bounded subtree has no binary operator after
- *     `removeExpression`.
- *   - `repositionOnCollision`: auto-redistribute sibling positions when
- *     a midpoint collision is detected.
- *   - `absorbSameOperator`: when an operator swap via `updateExpression`
- *     produces a same-operator nesting through a formula (e.g., AND →
- *     formula → AND), absorb the inner operator's children into the
- *     outer operator and remove the formula and inner operator.
- *
- * **Formula collapse rule:** A formula node is only justified if its bounded
- * subtree (stopping at the next nested formula) contains a binary operator
- * (`and` or `or`). Formulas wrapping only variables, `not` chains, or other
- * non-binary subtrees are automatically collapsed when `collapseEmptyFormula`
- * (or `autoNormalize: true`) is enabled.
- */
-export type TGrammarConfig = TGrammarOptions & {
-    /** When `true`, auto-fix all violations. When an object, granular control. */
-    autoNormalize: boolean | TAutoNormalizeConfig;
-};
-/**
- * Resolves a granular auto-normalize flag from the grammar config.
- *
- * - `true` → all flags enabled.
- * - `false` → all flags disabled.
- * - `TAutoNormalizeConfig` → returns the specific flag value.
- */
-export declare function resolveAutoNormalize(grammarConfig: TGrammarConfig, flag: keyof TAutoNormalizeConfig): boolean;
-/** Default config: all rules enforced, auto-normalize on. */
-export declare const DEFAULT_GRAMMAR_CONFIG: TGrammarConfig;
-/** Permissive config: no enforcement. Used by default in `fromData`. */
-export declare const PERMISSIVE_GRAMMAR_CONFIG: TGrammarConfig;
-//# sourceMappingURL=grammar.d.ts.map

package/dist/lib/types/grammar.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"grammar.d.ts","sourceRoot":"","sources":["../../../src/lib/types/grammar.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AACH,MAAM,MAAM,eAAe,GAAG;IAC1B,yFAAyF;IACzF,8BAA8B,EAAE,OAAO,CAAA;CAC1C,CAAA;AAED;;;;;;;GAOG;AACH,MAAM,MAAM,oBAAoB,GAAG;IAC/B,qFAAqF;IACrF,iBAAiB,EAAE,OAAO,CAAA;IAC1B,mFAAmF;IACnF,qBAAqB,EAAE,OAAO,CAAA;IAC9B,sFAAsF;IACtF,sBAAsB,EAAE,OAAO,CAAA;IAC/B,mFAAmF;IACnF,oBAAoB,EAAE,OAAO,CAAA;IAC7B,iFAAiF;IACjF,qBAAqB,EAAE,OAAO,CAAA;IAC9B,oGAAoG;IACpG,kBAAkB,EAAE,OAAO,CAAA;CAC9B,CAAA;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgCG;AACH,MAAM,MAAM,cAAc,GAAG,eAAe,GAAG;IAC3C,8EAA8E;IAC9E,aAAa,EAAE,OAAO,GAAG,oBAAoB,CAAA;CAChD,CAAA;AAED;;;;;;GAMG;AACH,wBAAgB,oBAAoB,CAChC,aAAa,EAAE,cAAc,EAC7B,IAAI,EAAE,MAAM,oBAAoB,GACjC,OAAO,CAIT;AAED,6DAA6D;AAC7D,eAAO,MAAM,sBAAsB,EAAE,cAGpC,CAAA;AAED,wEAAwE;AACxE,eAAO,MAAM,yBAAyB,EAAE,cAGvC,CAAA"}

package/dist/lib/types/grammar.js

@@ -1,24 +0,0 @@
-/**
- * Resolves a granular auto-normalize flag from the grammar config.
- *
- * - `true` → all flags enabled.
- * - `false` → all flags disabled.
- * - `TAutoNormalizeConfig` → returns the specific flag value.
- */
-export function resolveAutoNormalize(grammarConfig, flag) {
-    const { autoNormalize } = grammarConfig;
-    if (typeof autoNormalize === "boolean")
-        return autoNormalize;
-    return autoNormalize[flag];
-}
-/** Default config: all rules enforced, auto-normalize on. */
-export const DEFAULT_GRAMMAR_CONFIG = {
-    enforceFormulaBetweenOperators: true,
-    autoNormalize: true,
-};
-/** Permissive config: no enforcement. Used by default in `fromData`. */
-export const PERMISSIVE_GRAMMAR_CONFIG = {
-    enforceFormulaBetweenOperators: false,
-    autoNormalize: false,
-};
-//# sourceMappingURL=grammar.js.map

package/dist/lib/types/grammar.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"grammar.js","sourceRoot":"","sources":["../../../src/lib/types/grammar.ts"],"names":[],"mappings":"AAyEA;;;;;;GAMG;AACH,MAAM,UAAU,oBAAoB,CAChC,aAA6B,EAC7B,IAAgC;IAEhC,MAAM,EAAE,aAAa,EAAE,GAAG,aAAa,CAAA;IACvC,IAAI,OAAO,aAAa,KAAK,SAAS;QAAE,OAAO,aAAa,CAAA;IAC5D,OAAO,aAAa,CAAC,IAAI,CAAC,CAAA;AAC9B,CAAC;AAED,6DAA6D;AAC7D,MAAM,CAAC,MAAM,sBAAsB,GAAmB;IAClD,8BAA8B,EAAE,IAAI;IACpC,aAAa,EAAE,IAAI;CACtB,CAAA;AAED,wEAAwE;AACxE,MAAM,CAAC,MAAM,yBAAyB,GAAmB;IACrD,8BAA8B,EAAE,KAAK;IACrC,aAAa,EAAE,KAAK;CACvB,CAAA"}