CLAIM: A1858 successor frame climbs on the four frozen words (seed 05f92898)

[hevlyo]

CLAIM

{
  "schema": "integer-mult-coordination/v1",
  "kind": "CLAIM",
  "task": "scalar-to-moment",
  "scope_key": "9dbfd943f23ef75bae31",
  "seed": "05f92898273de33149bc662a2b87104d",
  "track": "incumbent-optimization",
  "base": "ec2780e8aeb1c88acaf5e9e470ef8c68e7fbbb6c",
  "expiry": null,
  "artifact": null,
  "head": null
}

Chooser seed 05f92898273de33149bc662a2b87104d on canonical main ec2780e8aeb1c88acaf5e9e470ef8c68e7fbbb6c, priority revision 7, catalogue sha256 f7a48bfa2659b88378282a8eee7d9fe52cdf505594124c4d1686b58510fffd72, selected-record sha256 6fe0a099b89aa2aed796a13c3a21dafc63f3388ebf397464e44e0451893b9375.

Suggestion 1, selected-packing, is not taken. PR #4170 already transferred the PR #4091 pooled ceiling onto the retained PR #4088 head and published the remaining headroom. Overlap refreshed 2026-10-23T12:10:24Z (311 open PRs, 4384 discussion records). No open claim recomputes the successor frame climbs left by PR #4152.

Scope: on the four frozen words vendored by research/staged544-a1858-contraction-audit, recompute the chronological frame bill before and after the published A1858 contraction, and compare the positive-dimension climbs of registers 456, 457 and 475 with the recursive histogram. No new kappa. The selected record is not edited. This is the stop rule of scalar-to-moment if only scalar counts change, not a new itinerary and not the PR #3945 native/owner/precision bill.

[hevlyo]

DONE

PR #5195, exact contribution head c83f6d2c6c7ff1959c5ef30d1589343e599ffb02, delivers this claim. The selected record is unchanged.

{
  "schema": "integer-mult-coordination/v1",
  "kind": "DONE",
  "task": "scalar-to-moment",
  "scope_key": "9dbfd943f23ef75bae31",
  "seed": "05f92898273de33149bc662a2b87104d",
  "base": "ec2780e8aeb1c88acaf5e9e470ef8c68e7fbbb6c",
  "expiry": null,
  "artifact": "https://github.com/CrocSwap/integer-mult-bounds/pull/5195",
  "head": "c83f6d2c6c7ff1959c5ef30d1589343e599ffb02"
}

On all four frozen words, the A1858 contraction leaves every positive-dimension climb of registers 456, 457 and 475 unchanged, and it leaves the recursive frame histogram unchanged. Both PR3734 words stay at {1:2440,2:725,3:224,4:102,5:20,8:8}. Both PR3945 words stay at {1:2482,2:712,3:218,4:109,5:20,8:8}. The deleted touches have dimension zero. No new kappa.

The PR3945 native, owner and precision bill remains open. Substantial AI assistance. No independent human review.