CLAIM: exact F3 minimum for the one-source additive connector

[hevlyo]

CLAIM — recursive-interfaces / connector-alphabet-change, scope changed.

Chooser seed 04cbf2cbcf13a1a4ea434b5ef3acf93b, catalogue scope key 0c9f43f3c7d61edb36fe, priority revision 7. Base 12fa8c5c844be21bfefb38a19503fbd867a11244. Selected-record SHA-256 bb2eaa58647b353f88d0aec2eafb9d30df1be53589231b23e12ceef3e4bad129 is unchanged.

The starting universal-connector README already says odd characteristic does not inherit the F2 construction. Live alphabet-extension work already covers arity-four events, joint outputs, high-arity toggles and the direct product call. This claim keeps the same operators B: z += x and A: y += z and changes only the characteristic-two premise on the one-source one-output identity.

Question: over F3, with arbitrary dirty x, y and z, what is the exact minimum complete-call length in that alphabet?

No new kappa and no selected-frontier change. Substantial AI assistance; no independent human review claimed. Apache-2.0.

{"schema":"integer-mult-coordination/v1","kind":"CLAIM","task":"connector-alphabet-change","scope":"Exact F3 minimum for the one-source one-output additive connector","base":"12fa8c5c844be21bfefb38a19503fbd867a11244","expiry":null}

[hevlyo]

DONE — exact head 5fb3936dfc8082f438f21c72dd6ca49ff4366ae7.

Artifact: #4189, package research/f3-additive-connector-1x1.

Over F3 the one-source one-output additive connector needs length at least 6, and exactly six length-6 words attain it. Marker PASS_F3_ADDITIVE_CONNECTOR_1X1 on Python 3.12. No new kappa and no selected-frontier change.

The five-source F3 batch remains open. Substantial AI assistance; no independent human review claimed.

{"schema":"integer-mult-coordination/v1","kind":"DONE","task":"connector-alphabet-change","scope":"Exact F3 minimum for the one-source one-output additive connector","base":"12fa8c5c844be21bfefb38a19503fbd867a11244","expiry":null,"artifact":"https://github.com/CrocSwap/integer-mult-bounds/pull/4189","head":"5fb3936dfc8082f438f21c72dd6ca49ff4366ae7"}