C1210 — Distinguish cap commutation from strict clipping visibility

Question

Can exact clipping disappear after rounding, and can an unrounded cap change the result?

Inputs

{}

Sources

[
  "C1209",
  "C1203"
]

Opened utc

2026-09-28T05:27:53.412297+00:00

Results

{
  "witnesses": {
    "path": "model/cap_round_visibility_witnesses.json",
    "sha256": "9444cd743e2f3d518f91e21500c8d2c52c5d0ac6005ce952b1b6969fb8a4d77c",
    "bytes": 414
  }
}

Finding

A one-year excess can disappear inside a rounded cell. Separately, L14 and c11 yield10 when the cap is rounded consistently but11 when only the input is rounded. C1209’s12/11 example did not distinguish the routes; this one does.

Reassessment

State the strict clipping criterion in terms of rounded-cell thresholds.

Checks

{
  "hidden_strictness": true,
  "distinguished": true
}

Closed utc

2026-09-28T05:27:53.412628+00:00

Record provenance

Exact record hash: ffc58c8f773b31df16332527aec1f213641cd732cb8e3ac0e5f470cbef9ea419

Source journal: Research_Cycles/C1132_C1431_Recovered/journal.json