Manuscript VIII-C@3 · VIII-C-v3.tex · section · 3b070436

Initial state, token, and permissions

An explicit promised sourced history › Initial state, token, and permissions · lines 1443–1483

VIII-C@3#eq:source-state, VIII-C@3#eq:hybrid

Back to manuscript

Use a surviving source qubit with

For the history, supply token , and take

Because , is a state and

The same word is defined on every state satisfying this fixed-token promise, including compatible spectator extensions.

Initially install , independently of the source state, and set

with incoming mode and source stage zero. All original names occupy valid persistent incoming labels. Choose , , and slots . Each flow segment has .

The chronological word is

Displayed formulas in this passage

  • VIII-C@3#eq:source-state · line 1450

  • VIII-C@3#eq:hybrid · line 1474

  • unlabeled · line 1446

  • unlabeled · line 1456

  • unlabeled · line 1464