Redundant Code Words
A modeled error is an indexed bit flip in a checked physical word. Exact arithmetic here means exact results for the stated model inputs; measured inputs still carry uncertainty and significant-figure limits.
The protected word begins as 111.
A flip at index 1 changes the word to 101.