# C1173 — State the domain of compatible row moves

## Question

When is a two-operation row transformation a valid nonnegative biography calculation?

## Inputs

```json
{}
```

## Sources

```json
[
  "C1152",
  "Strategy §§5B,5C,5G"
]
```

## Opened utc

2026-09-28T05:11:47.163056+00:00

## Results

```json
{
  "row_domains": {
    "path": "model/row_operation_domains.json",
    "sha256": "eaa724a2a5031a17aa72a8193ddeac33905c82448cef49c67467df70d7e698c6",
    "bytes": 436
  }
}
```

## Finding

The normal form is an integer-coordinate identity, but nonnegative intermediate biographies impose order-sensitive domains. Source admission is an additional requirement beyond those inequalities.

## Reassessment

Exhibit a complete positive endpoint for which one formal order leaves the nonnegative domain.

## Checks

```json
{
  "compatibility_symbolic": true,
  "domain_separation": true
}
```

## Closed utc

2026-09-28T05:11:47.163371+00:00

## Record provenance

Exact record hash: `bc7f7d8d293507df43bea6645ac593a973ecfa3849d12d764a069fd94cdc2886`

Source journal: `Research_Cycles/C1132_C1431_Recovered/journal.json`