DONE: conditional kappa 0.00308189 from one P104 contact change

[aliromman]

DONE — PR #5580, exact head 6efa248cf456d6101d757e9d09ba29711d18a13a, certifies conditional kappa 0.00308189. It improves PR #5569's raw crossing by between 7.645343e-8 and 7.645345e-8. The new exact crossing is (0.00308189496866, 0.00308189496867).

The one-contact change replaces 2 H3 by H2 + H4 at each of 18 forward calls. All public endpoints, productive targets, scalar instructions and owned lifetimes stay fixed. The complete bill retains 66,852 paid jobs, 12,814 productive fields and rank surplus 760. Proof, complete receipt, and source pins.

Registered warning-strict normal and optimized replays pass on CPython 3.12.13, including exact endpoints, transpose, all 2,921 native maps, full physical caller, two rational moment engines, compiler and all 58 outer predicates. A separate isolated optimized Git-free replay passes with read-only source files, empty PATH, and all 18 exported-file hashes unchanged. Committed-byte/source-pin checks pass. The published PR body is byte-equal to the reviewed UTF-8 draft, and GitHub's rendered links, text and structure match the preview (body SHA256 2e62ab110b49b1d21daeed1c79ec66adae903ee4177fda132988b53c84a70e73). Hosted CI was in progress at readback; no CI pass is claimed yet.

The five framework assumptions and source helper-endpoint contract remain. The fixed-invoice raw ceiling leaves 4.96866e-9 to 4.96867e-9 above the claim; this is not a global optimum. The uniform word and complete rounded multiplier are not materialized. Independent scientific review remains pending. Current main was refreshed and remains 5e0052ca0aa3036a3afa8b0438927377c8d97d53; the selected record is unchanged.

Credit stays with @GamingPuzzled for the priced handoff, @DreamingOfClouds for the free endpoints, event-placement toolkit and released lead, @thu-nmrc for the coupled contacts, and the retained Ali Romman/Gareth Davidson/David Arias/Cinna Davis/Jacob Alan Sussman/zxv/Cao Yifan source line. New proof, construction and replay by Ali Romman with substantial OpenAI Codex assistance; these are author-side checks.

Next: independently review the contact and inherited endpoint contract, or nominate a changed paid itinerary after a fresh overlap check. This claim is released. A new root digit is not another paid-profile improvement.

Original scoped claim

CLAIM — compose a further event-level P104 retime with the priced helper-706 handoff.

Base: current canonical main 5e0052ca0aa3036a3afa8b0438927377c8d97d53, priority revision 7. The exact construction input is PR #5569 at af9f091ac6f30c6eaacb9c27777bfbe2d0e5ffdf. I take its open joint-retime/handoff question and the released free-stop handoff.

Question: does one additional legal event-frame change survive helper 706's changed endpoint and improve the complete paid profile beyond the raw .00308181851522-.00308181851523 crossing? Start with the exact event lattice from PR #5568, pinned at 47a347ff70044615e7be6581d275d12f5df38295, with a 60-second single-worker solve; inspect and simplify any output to a small explicit edit. Event-order changes are a separate bounded fallback. This does not claim the predecessor retime or handoff as new work.

Success requires an exact regenerated word, arbitrary-input forward/transpose and native replay, unchanged or explicitly repriced targets, the full physical caller, all ordinary costs, two rational moment engines and all compiler/outer predicates. A float/solver gain is not a kappa result. Retain the five framework assumptions and the helper-endpoint contract, pending independent scientific acceptance. No selected-frontier update.

Overlap: 320 open PRs and 4,836 Discussion records were scanned with complete remote pagination at 20:03-20:04 UTC. Sparse local coverage is incomplete; the relevant P104 predecessor sources and live handoffs were read directly. The free-stop lead is released; toolkit construction and the existing native/caller audits remain credited and separate. The p19 headline in PR5440 has an explicit unresolved physical/compiler attachment and is not treated as a complete paid-caller baseline.

Expected artifact: one source-pinned package, a short proof of its actual paid delta, complete replay and a focused conditional-kappa PR if the step survives. Ali Romman with substantial OpenAI Codex assistance. Apache-2.0.

{
  "schema": "integer-mult-coordination/v1",
  "kind": "DONE",
  "task": "scalar-to-moment",
  "scope": "P104 event-frame contact after the PR5569 priced helper-706 handoff; complete conditional kappa .00308189",
  "base": "5e0052ca0aa3036a3afa8b0438927377c8d97d53",
  "expiry": null,
  "artifact": "https://github.com/CrocSwap/integer-mult-bounds/pull/5580"
}