Function webdev_deploy_with 

pub async fn webdev_deploy_with(
    api: &dyn GatewayApi,
    project: &str,
    with_script_exec: bool,
    rotate_secret: bool,
    config_path: &Path,
    profile_name: &str,
    with_testing: bool,
    tag_delete: Option<TagDeleteRequest>,
) -> Result<WebdevDeployResult, CoreError>

webdev_deploy plus, with tag_delete, the tagDelete route (26-17, D-13) in the same import. The allowlist is the repo’s deploy/project.yaml tag_providers; the route secret follows the scriptExec rules independently (generated when none is stored or on its rotate, persisted 0600 as webdev_tag_delete_secret before the upload, never output). Every install value is checked before any secret is stored and before any gateway request.