Finite encodings and reversible composition

Each command is a finite function on canonical blocks. Extend it to a total Boolean function $f_i:\{0,1{\}}^B\to \{0,1{\}}^B$ by preserving invalid code data and setting a declared rejection flag. A semantic matter promise is not operationally tested by this extension.