A Ward-compatible local BV diagram assigns a cochain complex with differential to each admitted region and requires restrictions to commute with , strictly or through specified coherent homotopies.
Firewall. Solving the quantum master equation locally does not by itself produce coherent descent. Reconstructing an observable algebra also requires multiplicative structure, not only reconstruction of graded cohomology groups.