Keyboard shortcuts

Press ← or → to navigate between chapters

Press ? to show this help

Press Esc to hide this help

Morphism Iteration Bound Presentation

This Blueprint mirror records the machine-checked source module.

Formalization. D5/S1/Words/RankOneMorphismIterationBoundPresentation (✓ 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

  • State

  • indexed

  • expand

  • state_card

  • expand_length

  • expand_image_length

  • transition

  • uniform

  • coding

  • uniform_indexed

  • uniform_expand

  • iterated_expand

  • heights

  • heights_append

  • coding_indexed

  • coding_expand

  • finite_height_identity

  • Truth anchor: D5/S1/Words/RankOneMorphismIterationBoundPresentation