[woklerx]

A persistent dirty connector needs the correction BCu when its source changes by Cu. The package proves and fully charges this correction, gives a two-call typed composition that removes two B executions, and compares a concrete noncommuting pilot: 43 to 31 XORs and 730 to 558 head steps. Independent engines check all 65,536 matrix quadruples and 32,768 dirty inputs. This remains a partial interface pilot.

Validation: Python 3.12 registered replay with source pins and scoped controls; selected-result integrity or baseline bindings and diff checks pass. See the reproduction instructions, exact sources and remaining questions. No selected source, certificate or kappa changes; no full selected circuit replay is claimed. Prepared by woklerx with substantial OpenAI Codex assistance, with predecessor attribution retained.

[Mister-Meeseeks]

100-PR batch review at 3852c2d03044895cebdc9b31b0c7131a617774d2.

Merged to main, preserving the original contributor commits and package attribution.

Reviewed scope: Persistent dirty connectors across source mutation require the BC adapter. Exact two-call pilot covers every 15-bit input and the matrix identities; multi-call extension states its early-write premise and charges adapters, without selecting a supplier.

The pinned scoped command passed; the batch ledger contains its command, input hashes, environment and log. This incorporates the research/tooling contribution and does not change the selected κ or discharge the inherited multiplication-theorem assumptions.

Batch review, attribution and evidence. Thank you for the contribution.