Keyboard shortcuts

Press ← or → to navigate between chapters

Press ? to show this help

Press Esc to hide this help

Morphism Iteration Bound Cyclic

This Blueprint mirror records the machine-checked source module.

Formalization. D5/S1/Words/RankOneMorphismIterationBoundCyclic (✓ std3).

Source. Repository-derived.

Commentary.

The module provides the finite-state and word-combinatorial suppliers used by D5/S1/Words/RankOneMorphismIterationBound.effective_iteration_bound. Its declarations are kernel-checked in the actual binary rank-one morphism setting; no proxy fixed word or frequency-only replacement is used.

Declarations

  • cutBlocks

  • cutBlocks_length

  • cutBlocks_flatten

  • cutBlocks_mem_length

  • charge_take_add

  • cutBlocks_zero

  • parikh_flatten_constant

  • length_flatten_constant

  • block_charge_zero

  • zero_block_boundaries

  • blocks_of_boundaries

  • CutSamples

  • NormalizedWitness

  • normalized_original

  • Truth anchor: D5/S1/Words/RankOneMorphismIterationBoundCyclic