# C750 — Reconstruct every MT rounded lifespan

## Question

Where do the two lifespan operations diverge?

## Inputs

```json
{}
```

## Sources

```json
[
  "File51a §3.4 and §16.1 literal tables"
]
```

## Opened utc

2026-09-28T01:52:42.609294+00:00

## Results

```json
{
  "parts": [
    930,
    910,
    905,
    910,
    895,
    960,
    365,
    965,
    775,
    950,
    600,
    440,
    435,
    465,
    240,
    235,
    230,
    150,
    205,
    175,
    180,
    145
  ],
  "whole": [
    930,
    910,
    905,
    910,
    895,
    960,
    365,
    970,
    775,
    950,
    600,
    440,
    435,
    465,
    240,
    240,
    230,
    150,
    205,
    175,
    180,
    145,
    135,
    135,
    135,
    120
  ],
  "nonzero_defects": {
    "Methuselah": -5,
    "Reu": -5
  }
}
```

## Finding

Methuselah and Reu both give parts-minus-total = −5. The source tables agree; the unrestricted uniqueness sentence about Methuselah needs qualification.

## Reassessment

Record the first 20-step checkpoint, including the common regular comparison frame.

## Checks

```json
{
  "regular_literal": true,
  "cumulative_literal": true,
  "two_cases": true
}
```

## Closed utc

2026-09-28T01:52:42.609797+00:00

## Record provenance

Exact record hash: `8bba33144aa8c8d8485ca8c3eeb7162b3d9b29d65e9f8250da436a6a67be4c40`

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