LetterOfCreditChange

type LetterOfCreditChange =
  | {
      after: LetterOfCreditHistoricalSnapshot;
      before: null;
      events: readonly [LetterOfCreditCreatedEvent];
      origin: LetterOfCreditOrigin;
      type: 'created';
    }
  | {
      after: LetterOfCreditHistoricalSnapshot;
      before: LetterOfCreditHistoricalSnapshot;
      claimableCollateralDelta: bigint;
      collateralAmountDelta: bigint;
      events: readonly [LetterOfCreditCollateralModifiedEvent];
      type: 'collateralModified';
    }
  | {
      after: LetterOfCreditHistoricalSnapshot;
      before: LetterOfCreditHistoricalSnapshot;
      events: readonly [LetterOfCreditExpirationExtendedEvent];
      newExpirationTimestamp: bigint;
      previousExpirationTimestamp: bigint;
      type: 'expirationExtended';
    }
  | {
      after: LetterOfCreditHistoricalSnapshot;
      before: LetterOfCreditHistoricalSnapshot;
      conversion: LetterOfCreditConversion;
      events: readonly [LetterOfCreditConvertedEvent];
      type: 'converted';
    }
  | {
      after: LetterOfCreditHistoricalSnapshot;
      before: LetterOfCreditHistoricalSnapshot;
      completion: 'partial';
      creditedAmount: bigint;
      destination: Address;
      events: LetterOfCreditRedemptionEvents;
      liquidation: LetterOfCreditConversion | null;
      type: 'redeemed';
    }
  | {
      after: null;
      before: LetterOfCreditHistoricalSnapshot;
      completion: 'full';
      creditedAmount: bigint;
      destination: Address;
      events: LetterOfCreditRedemptionEvents;
      liquidation: LetterOfCreditConversion | null;
      type: 'redeemed';
    }
  | {
      after: null;
      before: LetterOfCreditHistoricalSnapshot;
      events: readonly [LetterOfCreditCanceledEvent];
      type: 'canceled';
    };

One semantic operation with its immediate boundaries and complete, ordered evidence.