Interface TArgumentLifecycle<TArg, TPremise, TExpr, TVar>

Snapshot, rollback, and reactive subscription lifecycle. Static factory methods (fromSnapshot, fromData) are class-level only.

interface TArgumentLifecycle<
    TArg extends TCoreArgument = TCoreArgument,
    TPremise extends TCorePremise = TCorePremise,
    TExpr extends TCorePropositionalExpression = TCorePropositionalExpression,
    TVar extends TCorePropositionalVariable = TCorePropositionalVariable,
> {
    getSnapshot(): TReactiveSnapshot<TArg, TPremise, TExpr, TVar>;
    rollback(
        snapshot: TArgumentEngineSnapshot<TArg, TPremise, TExpr, TVar>,
    ): void;
    snapshot(): TArgumentEngineSnapshot<TArg, TPremise, TExpr, TVar>;
    subscribe(listener: () => void): () => void;
    validate(): TInvariantValidationResult;
}

Type Parameters

TArg extends TCoreArgument = TCoreArgument
TPremise extends TCorePremise = TCorePremise
TExpr extends TCorePropositionalExpression = TCorePropositionalExpression
TVar extends TCorePropositionalVariable = TCorePropositionalVariable

Implemented by

ArgumentEngine

Index

Methods

getSnapshot rollback snapshot subscribe validate

Methods

getSnapshot

getSnapshot(): TReactiveSnapshot<TArg, TPremise, TExpr, TVar>
Returns the current reactive snapshot for external store consumption.

Returns TReactiveSnapshot<TArg, TPremise, TExpr, TVar>
The reactive snapshot.
- Defined in src/lib/core/interfaces/argument-engine.interfaces.ts:579

rollback

rollback(snapshot: TArgumentEngineSnapshot<TArg, TPremise, TExpr, TVar>): void
Restores the engine to a previously captured snapshot state.
Parameters
- snapshot: TArgumentEngineSnapshot<TArg, TPremise, TExpr, TVar>
  The snapshot to restore from.
Returns void
- Defined in src/lib/core/interfaces/argument-engine.interfaces.ts:591

snapshot

snapshot(): TArgumentEngineSnapshot<TArg, TPremise, TExpr, TVar>
Returns a serializable snapshot of the full engine state.

Returns TArgumentEngineSnapshot<TArg, TPremise, TExpr, TVar>
The engine snapshot.
- Defined in src/lib/core/interfaces/argument-engine.interfaces.ts:585

subscribe(listener: () => void): () => void
Registers a listener that is called after every mutation.
Parameters
- listener: () => void
  The callback to invoke on mutation.
Returns () => void
An unsubscribe function that removes the listener.
- Defined in src/lib/core/interfaces/argument-engine.interfaces.ts:573

validate

validate(): TInvariantValidationResult
Run a comprehensive invariant validation sweep on the entire argument. Checks schema conformance, structural invariants, grammar rules, reference integrity, and checksum consistency.

Returns TInvariantValidationResult
- Defined in src/lib/core/interfaces/argument-engine.interfaces.ts:599