3/ECC Framework Review: Identified key issues including strong binding between computation graph and witness (forcing re-setup on each witness change) and reshape bugs for non-power-of-two dimensions. ...