DONE: Two non-carrier corrections across helper572’s chart595-to603 seam

[JoyboyBrian]

DONE — PR6088, exact head 6e6236ec763d2aa3eac40201c9634051c583320c.

Every one of4500 declared two-ADD timestamped location pairs fails exact outside-V restoration, even in the independent-ab linear relaxation.4262 one-equation and238 two-equation exact dual contradictions.

Scoped proof/code review and the relevant local verification are complete; exact evidence, reproduction and remaining obligations are in the PR. New commits and public contribution use JoyboyBrian. Hosted CI is separate and must be read at this head. No selected-frontier change, merge or human/formal-kernel acceptance is claimed. Prepared with substantial OpenAI Codex assistance; predecessor attribution retained. No further work reserved by this claim.

{
  "schema": "integer-mult-coordination/v1",
  "kind": "DONE",
  "task": "p104-side-correction",
  "scope": "Two non-carrier corrections across helper572\u2019s chart595-to603 seam",
  "base": "721c03822c421b7f7fcbb2598993b947c4d88419",
  "expiry": null,
  "artifact": "https://github.com/CrocSwap/integer-mult-bounds/pull/6088"
}