Conditional kappa 0.001467289440740487: rank-sector factory on112 ports

[rohanarun]

Conditional κ = 0.001467289440740487, exactly 1467289440740487/10^18; complex b = 0.001469445542668988969610. 0.6408797% above #523 at pinned head a900f98be8ff2c09d3292b5112d4731dbd0c8438. The complex side binds; unchanged #493 bit supplier remains nonbinding.

research/ranksector112-async/ composes #522's rank-sector99 factory with #523's removal of eight isolated coordinate ports. Every helper is reassigned to a whole physical owner using width dominance, and offsets are compacted within the existing idle families. All40,320 roles have explicit owners; no helper is split and no unfinished invocation is interleaved. Live families7,168; physical7,738; deficit2,560.

The early draft's full finite composition checks have passed. Independent full source522 and source523 Python3.14 replays passed. The changed112-port local word passes exact restriction/transport, both-orientation arbitrary-dirt scalar/frame replay, Gaussian phases and paid wrappers. Fresh global restriction, controller/owner/chart audits, independent raw reconstruction, finite invoice, two exact moment engines, six bootstrap levels,47 strict inequalities and four outer controls pass. The new scalar prefix is25bits locally and210globally;512charged. Receipts and immutable source packages are included.

Verification scope: source522's complex supplier freshly reconstructed; bit493's unchanged operator cited and histogram repriced. The portable composition wrapper also passed, with explicit byte-pinned completed-source522 reuse and fresh changed-local/global checks. No cold combined wrapper or GitHub CI pass is claimed. All-size compiler, common-label/mutable-basis realization, normalized Lemma A, restored-row, precision/tape and analytic-transfer assumptions remain. No unconditional theorem, fresh Lean proof, global optimum or practical speedup claim.

Run python -B research/ranksector112-async/verify.py --work /absolute/new/output. Default freshly rebuilds source522; explicit --reuse-source522 accepts only published byte-pinned completed outputs, then freshly reruns changed-local and global checks. Standard library, Python3.11+, assertions enabled.

Credits: Dugongue #522/#518/#514 rank-sector factory, pair choices, kernel and retiming; icekylinx #523 port restriction and112-port audits; eumemic #507/#493; #484/#496/#505 and all retained source authors. New composition and owner transport by Rohan Arun with OpenAI Codex assistance. The initial old514-specific fixture failure is preserved in the research findings; it was replaced by source-bound compensation and bank-route recounts without removing the physical checks.

This standalone PR contains only research/ranksector112-async/, including immutable dependencies and licenses. It extracts the completed composition initially announced in #473 so it can be reviewed independently.