DONE: Invertible receiver recoding for helper469’s frame593 interval

[JoyboyBrian]

DONE — PR6084, exact head 06d9cd06aa769514304b1ec461117a793addb9f9.

Exact separator L(v)=v[1] annihilates receiver f=e469+e537/2 and all569 endpoint generators, while L(Delta)=1/2. Feasible rational lambda set empty, including every nonzero receiver multiplier.

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": "complex-rank-shape-decoder",
  "scope": "Invertible receiver recoding for helper469\u2019s frame593 interval",
  "base": "721c03822c421b7f7fcbb2598993b947c4d88419",
  "expiry": null,
  "artifact": "https://github.com/CrocSwap/integer-mult-bounds/pull/6084"
}