Manuscript VIII-B@3 · VIII-B-v3.tex · definition · 3aa6baa1
Definition: Canonical promised forward configuration
A finite algebraic table and reversible realization › The source promise · lines 1867–1875
VIII-B@3#def:forward-domain
A forward configuration consists of a fixed canonical classical word , with definite token and packet indices, together with an arbitrary matter state satisfying (eq:promise) for that token. Spectators and external references may be included in . The required history and work words are zero.