---
title: Other computed members
summary: Miscellaneous in-memory computations on contracts that do not warrant their own operation catalog entry.
status: draft
owner: SAIF Doc Gen
last_reviewed: 2026-09-24
library: SAIF.SAIFCode.Core
reference_type: package
operation_id: OP-CORE-09
trigger: Contract population or validation
---

# Other computed members

This page groups the remaining logic-bearing contract members identified in analysis that are too small individually to warrant their own catalog entry: a reserves total computation and an address-error validation helper.

| Field | Value |
| --- | --- |
| **Operation ID** | OP-CORE-09 |
| **Trigger** | Contract population (reserves) or argument validation (address errors) |
| **Inputs** | Reserve line items; address error validation arguments |
| **Outputs** | Computed reserve total; validation result |
| **Primary components** | `Reserves` (reserve total computation), `CleanAddressErrors` (argument validation via `Enforce`) |
| **Entry point** | `Core/SAIF.Core/Contracts/Claims/Information/Reserves.cs` (reserve total computation); `Core/SAIF.Core/Contracts/Utilities/CleanAddressErrors.cs` (address-error validation) |

## Steps

1. A `Reserves`-related contract computes totals from its constituent reserve line items*.
2. `CleanAddressErrors` validates its arguments using the shared `Enforce` helper, raising a validation failure when arguments do not meet the expected shape*.
   - On failure: the `Enforce` helper's standard argument-validation failure behavior applies*.

## Process flow

The following diagram visualizes this operation's control flow.

```mermaid
flowchart TD
	Start([Contract populated or validated]) --> Which{Which member?}
	Which -->|Reserves| Total[Compute reserve total]
	Which -->|CleanAddressErrors| Validate[Validate arguments via Enforce]
	Total --> EndOk([Total returned])
	Validate --> EndOk2([Validation result returned])
```

## Failure and edge-case behavior
- `CleanAddressErrors` argument-validation failure behavior follows the shared `Enforce` helper's standard behavior, which is not detailed in this library's analysis*.

## Related documentation
- [Operations and processes](../operations-processes.md)
- [Business rules](../business-rules.md)

> **Note:** Statements marked with `*` were inferred from code structure, naming
> conventions, or contextual evidence where direct confirmation was not available
> in source artifacts.

## Sources
- Core/SAIF.Core/SAIF.SAIFCode.Core.csproj
- Core/SAIF.Core/Contracts/Claims/Information/Reserves.cs
- Core/SAIF.Core/Contracts/Utilities/CleanAddressErrors.cs