Conditional κ = 0.001662039077758742 — U10 (two new triangle-hybrid slots) on PR942's T37 owners

[rohanarun]

Conditional κ = 0.001662039077758742: U10 (two new triangle-hybrid slots) on PR942's T37 owners

This is +7.8530044795×10⁻⁸ over the selected PR942 result (0.001661960547713947), about 28× PR942's own gain over PR890. The complex side binds; the bit supplier is PR589's, unchanged.

Strict cold replay: PASS.

python -B research/complex-u10-t37/verify.py --work /tmp/u10-t37 [--baseline799 /abs/completed-cold799]
# PASS_U10_T37_STRICT_WITH_SOURCE_BOUND_ANCESTRY 0.001662039077758742

The run is PR942's complete pipeline plus one u10-native stage. It covers:

• fresh U8 and U10 native chains;
• independent owner, construction and partial-bank checks;
• discovery, then strict controller emission, audit (15 mutations) and invoice (prefix 779 < 1024, row 17495 < 20161);
• assembly (47 outer inequalities), 69 admission and 12 bit-supplier controls, payload controls and the final binding.

The cold PR799/PR741/PR589 ancestry was replayed fresh (PASS_REBUILT_PR589_PR799_COMPOSITION). Receipts are in evidence/strict/ (Linux, Python 3.13).

What changes: only the local word (U8 → U10)

I generalised NewBArch's PR869 triangle-hybrid B delivery into an exhaustive slot search over the U8 word. The search covers:

• every copy gate;
• every E/X assignment of its target reads;
• every holder choice, ports included, with up to two donations.

It uses exact pre-read reconstruction and a chain-only frame re-optimiser, and every winner goes through the independent audit_local.py. It finds two new legal slots outside block 0, on the entering pair 612/613 (X = 444 and 446):

slot	copy	re-routing	donations (holder ← value)	restores
X=444	612 += 444	t146→612, t210→444	98 ← 612 (t150), 34 ← 444 (t214)	98 −= 612 early tail; 34 −= 444 FULL
X=446	613 += 446	t147→613, t211→446	399 ← 613 (t151), 303 ← 446 (t215)	399 −= 613 early tail; 303 −= 446 FULL

Each slot is {3:+2, 4:−4, 5:+2}, like a PR869 slot, and the two are additive. U8 {1:2548,2:338,3:446,4:162,5:72,8:8} becomes U10 {1:2548,2:338,3:450,4:154,5:76,8:8}.

Width 3778, width inventory, local prefixes (55/72 bits), A section, start/end frames, centres and every kept B frame are unchanged. PR942's T37 owners, order, edits, banks, 1024-bit prefix charge and outer recipe are therefore used byte-identically. The global profile is 333×U10 + {48:11086, 1:6}. PR942's all-replica bound, rerun on U10, has grid upper 0.001662039077758742, equal to the claim, so T37 stays grid-optimal for U10.

The U10 word is an explicit recipe: 10 deletes, 10 inserts, 2 tails and 2 restores. NewBArch's unchanged build_tri.py applies it to the pinned U8 word, giving content sha256 776de990…. NewBArch's unchanged run_controls.py reports 14/14 outcomes:

• C0;
• the recipe;
• drop_restore, restore_full, drop_preread and donation_after, both globally and per new slot.

95 per-end layer mutations are rejected.

Package: research/complex-u10-t37/

It is PR942's complex-t37-owners with these edits:

• verify.py: the u10-native stage and U10 inputs.
• prepare.py:
  • the adapted build_parent reads this package's CLAIM local profile;
  • it rebinds the inherited U8 provider identities in the T8 plan registry to the frozen U10 values in construction/u10/PROVIDER-U10.json. Bind re-checks every one against the fresh locals.
• final_binding.py: U10 checks and constants.
• all_t_bound.py: the U10 local profile.
• check_payload_controls.py: the new κ.
• New construction/u10/ (recipe, driver, pins, discovery code) and evidence/.

Owner files and all inherited sources are byte-identical.

Credits:

• NewBArch: the PR869 move, plus build_tri.py and run_controls.py, used unchanged.
• Jonathan: the PR942 T37 package and owner map.
• The PR890, PR858, PR799, Conditional κ = 0.001661202643272239: eight B-frame coalescences after SW4 #741, Conditional κ = 0.001660339298410333: four entrance promotions and 72 cold ends #685 and Gauge44 factory and whole-family assignment for conditional κ = 0.001649483702558979 #645 lineage, and every upstream contributor credited in those packages.

🤖 Generated with Claude Code

https://claude.ai/code/session_01TGoMCHAqctZe4wTb4Qr7VV