C941 — Identify the cumulative carry condition

Question

Which source feature chooses the convergent branch?

Inputs

{}

Sources

[
  "C938–940"
]

Opened utc

2026-09-28T03:38:57.864024+00:00

Results

{
  "source_carry": [
    1,
    0
  ],
  "condition": {
    "path": "model/cumulative_branch_condition.json",
    "sha256": "3f78df424cb42b90e957a9442344a88de8b55ec16066738f53b2274a6e0d4c70",
    "bytes": 308
  }
}

Finding

At fixed total12600 and this register, convergence is equivalent to no tens-to-hundreds carry in the original two-core addition. The source917+343 has tens sum5 and selects that branch. Its exact breakpoint contains more information than the outer equality requires.

Reassessment

Derive the exact990 displacement from the single carry exchange.

Checks

{
  "branch": true,
  "carry": true
}

Closed utc

2026-09-28T03:38:57.864383+00:00

Record provenance

Exact record hash: 0ad08745f84361dcb1ff5acb3f543ac1904d1b618e6158a60658db668ce4a7e2

Source journal: Research_Cycles/C0932_C1131/journal.json