bibkey: cfmp2026fibonacciobstruction authors: trureturing contributors year: 2026 title: CFMP Fibonacci return observation obstruction doi: null url: https://github.com/the-omega-institute/trureturing/pull/11418 claim: A scoped framed-return congruence obstruction with exact positive-modulus kernel normal form and image condition. license: citation-only triage: anchor strata_touched: []
The cyclic CFMP return observation on integer pairs is
These are the additive low and high return parameters of the cyclic construction; they are not geometric edge lengths. The full discussion appears in Sections 133–139. The elementary coordinate calculations below explain the observation and its modular information loss.
Write
Expanding both coordinates gives
Thus first swaps the coordinates and then applies . In the coefficient basis of , is multiplication by , whose square is five. The substitution matrix is the ordinary Fibonacci matrix; identifying this particular readout does not identify the whole tetrahedron geometry with a Fibonacci evolution.
For , set . Direct substitution gives the two separate coordinate identities
If means , these identities show that both observed coordinates of and agree modulo . The complete integer description of this congruence kernel is
For necessity, write and . Then and , so take and . For sufficiency, the displayed input has output .
When , reducing this normal form modulo gives precisely
The first coordinates are distinct modulo : if , cancellation of the nonzero integer gives , which forces in the stated range. Every nonempty observation fibre is a translate of this kernel and has five residue classes. For , congruence modulo zero means equality; the normal form instead forces , and all shifts coincide. There is no five-element kernel in that case. Over the integers themselves, is injective; the five-element ambiguity concerns positive finite moduli divisible by five.
The corresponding image condition is
Indeed, , proving necessity even after reduction modulo . Conversely, if , then has output exactly . This equivalence also holds at as the image condition for the integer map.
At modulus , the five shifts are for . Their output differences are . This is the same factor-five obstruction; the factor seven contributes no additional kernel state to this readout. It supplies no implication for Robin’s criterion or RH.
The obstruction concerns framed return-parameter observations. Distinct residue parameters do not by themselves prove distinct unmarked manifolds, a general hyperbolic realization, or a counterexample to the minimum-six CFMP conjecture. Sections 133–139 separately give the fuller dynamics and geometric families; their finite auxiliary checks are in cfmp_fibonacci_ramification_check.py.