In the Edgeworth production box, the locus of tangency points between isoquants of two industries defines the production contract curve. Which of the following statements about the Second Theorem of Welfare Economics in this context is CORRECT?

The Second Theorem of Welfare Economics states: Any Pareto-efficient allocation (any point on the contract curve) can be decentralised as a competitive equilibrium, provided initial factor endowments are appropriately redistributed via lump-sum transfers. Lump-sum redistribution reallocates factor endowments without distorting price signals, preserves MRTS = factor price ratio, and can achieve any desired point on the production contract curve. Options (B) and (C) impose conditions the theorem does not require. Option (D) conflates productive efficiency with consumption efficiency.