Interpretation and mathematical conclusion

The natural application is an exactly solvable benchmark for information-flow diagnostics and recovery certification. A sequential evaporation-like model would require newly specified fresh output registers, an access schedule, internal dynamics, and a complete environment at every step. Such a construction is not obtained by relabeling $\eta$ as time.