refactor(layout): relocate proof guest and host build inputs
feat(snapshot): preserve source frames across valid edit traces