Lifting characterization of an acyclic chain-complex fibration ($dz=x,f(z)=y\text{when }f(x)=dy$)

The right lifting property for each sphere-to-disk map fills a prescribed cycle and a compatible target element. The degree-zero generator supplies initial surjectivity; all other fillers force an acyclic kernel and the remaining degreewise surjections.