Type Alias TLogicEngineOptions

type TLogicEngineOptions = {
    behavior?: "assistive" | "permissive";
    checksumConfig?: TCoreChecksumConfig;
    generateId?: () => string;
    positionConfig?: TCorePositionConfig;
}

Index

Properties

behavior? checksumConfig? generateId? positionConfig?

Properties

`Optional`behavior

behavior?: "assistive" | "permissive"

Engine behavior. Controls whether the auto-normalization (AN) rule set runs as a post-hook after every successful Structural mutation.

'assistive' (default): AN runs after every successful Structural mutation. AN preserves Presentable — if the pre-mutation state was Presentable, the post-mutation state is Presentable.
'permissive': AN does not run. The engine accepts mutations that leave the argument outside the Presentable/Derivable/Evaluable tiers (down to but not including Structural, which is always guaranteed).

Switchable at runtime via engine.setBehavior(...). See docs/Proposit_Grammar.md §4 for the full contract.

Since

1.0.0

`Optional`checksumConfig

checksumConfig?: TCoreChecksumConfig

`Optional`generateId

generateId?: () => string

UUID generator for new entity IDs. Defaults to globalThis.crypto.randomUUID().

`Optional`positionConfig

positionConfig?: TCorePositionConfig