Freiman word guards: boundary
ProvedFreiman.lower_guard_boundaryfreimanword-guards
Only the last proper prefixes of 31313 matter at a new word boundary; the six source suffix classes supply this finite context.
Preamble
import Definitions.Def_Freiman_lowerWordGuardData open Freiman
Formal statement
theorem Freiman.lower_guard_boundary : LowerGuardBoundaryLaw := by sorry
Source
Freiman report, 'The complete boundary table for selected words', Appendix app:selection-words, report/source/staging/parts/word_certificates.tex; global_selection.tex admissibility argument; certificates/word_selection/selection_words_printed.json, word_guards.json and source_bindings.json; verification/families/word_selection/verify_word_guards.py.