refactor(layout): relocate proof guest and host build inputs

feat(protocol): equate fault resolution and retry with atomic stores