Definition. Observed feedback transcript [ftip-008D]
Definition. Observed feedback transcript [ftip-008D]
Fix a finite declared protocol \(\mathsf P\) from Definition [ftip-007Q] and a finite feedback world \(w\) from Definition [ftip-008C]. Draw \(U\sim \lambda \) and, for \(0\leq n<N\), set
\[ \begin {aligned} A_n&=a_n(U,A_0,F_0,\ldots ,A_{n-1},F_{n-1}),\\ F_n&\sim K_{n,w}(\,\cdot \mid A_0,F_0,\ldots ,A_n). \end {aligned} \]The resulting observed feedback transcript is
\[ T_w^{\mathsf P}=(U,A_0,F_0,\ldots ,A_{N-1},F_{N-1}). \]All protocol randomness is included in \(U\). Immutable rollout records and typed feedback events may be components of the finite action and feedback sets, as in Definition [ftip-0051] and Definition [ftip-0053].