C750 — Reconstruct every MT rounded lifespan

Question

Where do the two lifespan operations diverge?

Inputs

{}

Sources

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

Opened utc

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

Results

{
  "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

{
  "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