Interface TPremiseIdentity<TArg, TPremise, TExpr, TVar>

Premise entity identity and metadata access.

interface TPremiseIdentity<
    TArg extends TCoreArgument = TCoreArgument,
    TPremise extends TCorePremise = TCorePremise,
    TExpr extends TCorePropositionalExpression = TCorePropositionalExpression,
    TVar extends TCorePropositionalVariable = TCorePropositionalVariable,
> {
    getExtras(): Record<string, unknown>;
    getId(): string;
    setExtras(
        extras: Record<string, unknown>,
    ): TCoreMutationResult<
        Record<string, unknown>,
        TExpr,
        TVar,
        TPremise,
        TArg,
    >;
    toPremiseData(): TPremise;
    updateExtras(
        updates: Record<string, unknown>,
    ): TCoreMutationResult<
        Record<string, unknown>,
        TExpr,
        TVar,
        TPremise,
        TArg,
    >;
}

Type Parameters

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

Implemented by

PremiseEngine

Index

Methods

getExtras getId setExtras toPremiseData updateExtras

Methods

getExtras

getExtras(): Record<string, unknown>
Returns the premise's extra metadata record.

Returns Record<string, unknown>
The extras record.
- Defined in src/lib/core/interfaces/premise-engine.interfaces.ts:535

getId

getId(): string
Returns the premise ID.

Returns string
The premise ID string.
- Defined in src/lib/core/interfaces/premise-engine.interfaces.ts:521

setExtras

setExtras(
extras: Record<string, unknown>,
): TCoreMutationResult<Record<string, unknown>, TExpr, TVar, TPremise, TArg>
Replaces the premise's extra metadata record.
Parameters
- extras: Record<string, unknown>
  The new extras record.
Returns TCoreMutationResult<Record<string, unknown>, TExpr, TVar, TPremise, TArg>
The new extras record and a changeset with the modified premise.
- Defined in src/lib/core/interfaces/premise-engine.interfaces.ts:542

toPremiseData

toPremiseData(): TPremise
Returns a serializable premise representation containing only identity/metadata and checksum. Use getRootExpressionId(), getExpressions(), getReferencedVariableIds() for runtime state.

Returns TPremise
The premise data entity.
- Defined in src/lib/core/interfaces/premise-engine.interfaces.ts:529

updateExtras

updateExtras(
updates: Record<string, unknown>,
): TCoreMutationResult<Record<string, unknown>, TExpr, TVar, TPremise, TArg>
Shallow-merges updates into the premise's existing extras.
Parameters
- updates: Record<string, unknown>
  Key-value pairs to merge into the current extras.
Returns TCoreMutationResult<Record<string, unknown>, TExpr, TVar, TPremise, TArg>
The merged extras record and a changeset with the modified premise.
- Defined in src/lib/core/interfaces/premise-engine.interfaces.ts:551