rulvar API reference

---

rulvar API reference / @rulvar/core / foldTermination

Function: foldTermination()

function foldTermination(entries): 
  | {
  account: TerminationAccount;
  denials: {
     seq: number;
     value: TerminationDeniedValue;
  }[];
  init: TerminationInitValue;
  initRef: number;
}
  | undefined;

Defined in: packages/core/src/journal/termination.ts:553

The replay fold: rebuilds the account from termination.init and the debiting decision entries, asserting every embedded balance-after against the recomputation. A divergence raises the typed journal-integrity error at exactly the diverging entry; denials are re-issued from termination.denied with zero live calls.

Parameters

Parameter	Type
entries	readonly JournalEntry[]

Returns

| { account: TerminationAccount; denials: { seq: number; value: TerminationDeniedValue; }[]; init: TerminationInitValue; initRef: number; } | undefined