Registry · Definition IV.D272 tau-effective formalized

IV.D272 — Propagation operator

The propagation operator Phi_{n,n+1} : H_partial[n] -> H_partial[n+1] is induced by the refinement inclusion Z/p_n# Z -> Z/p_{n+1}# Z on the profinite address system. It maps boundary holonomy data at primorial stage n to stage n+1, providing discrete-step dynamics that replaces the Schrodinger equation.

Book IV Part 1 Ch. 7

Lean Formalization

Module: TauLib.BookIV.Arena.ActorsDynamics

Symbol: Tau.BookIV.Arena.PropagationOperator