trusty-mpm 1.7.8

//! The merged-PR reclaim's proof rule for a branch with no pull request of its
//! own, and the branch deletion that follows a reclaim (#8109).
//!
//! Why: on 2026-09-16 `tm session prune-worktrees --merged-prs` reclaimed a
//! `…-wt` worktree whose branch never had a pull request, and left the branch
//! behind. Gate 5 did not misread a missing pull request: #7267's rung 3 found
//! PR #514, opened from a sibling `…-v2` branch whose head descends from the
//! tree's HEAD, and answered `Merged`. Gate 6 then passed, because the tree was
//! clean and its commits sat on `origin/…-wt`. Being on some remote ref, or
//! inside another pull request's history, is not proof the content landed.
//! #7771's published route has the same gap.
//!
//! What: [`own_pr_gate`] (survey) and [`own_pr_refusal`] (pre-delete) admit a
//! tree whose branch has no merged pull request of its own only when the
//! landed-content probe answers [`LandedContent::Landed`] — the `merge-tree`
//! no-op check. Every other answer keeps the tree, a failed or timed-out
//! lookup included. [`delete_reclaimed_branch`] then deletes the reclaimed
//! tree's branch under the same proof.
//! Test: `worktree_reclaim_branch_tests`.

use std::cell::OnceCell;
use std::path::Path;

use crate::core::pr_cleanup::plan::{holder_of, kept_branch, parse_worktree_list};
use crate::core::worktree_landed_content::{LandedContent, LandingAdmission};

use super::worktree_reclaim::BranchPrState;
use super::worktree_reclaim_landed::{LandedContentProbe, PUBLISHED_BASE, ReclaimProof};
use super::worktree_reclaim_verdict::{ReclaimGate, ReclaimVerdict};
use super::worktree_safety::{git_command, git_stdout};

/// Re-judge a reclaimable survey verdict for a branch with no merged pull
/// request of its own (#8109).
///
/// Why: see the module doc. Rung 3's match, #7889's route (c) and #7771's
/// published route each grant without the `merge-tree` proof.
/// What: unchanged when no probe is offered (the doctor's read-only survey),
/// when the verdict already refuses, when `by_name` is `Merged`, or when the
/// verdict is #7889's own route-(b) grant. Otherwise asks `landed_content`:
/// `Landed` becomes [`ReclaimVerdict::ReclaimableLandedContent`] naming the
/// base, so the decision line states why; anything else refuses at gate 5.
/// Test: `worktree_8109_a_no_pr_unlanded_worktree_is_kept`,
/// `worktree_8109_a_failed_pr_lookup_keeps_the_worktree`,
/// `worktree_8109_a_head_commit_match_is_not_the_branchs_own_pr`.
pub(super) fn own_pr_gate(
    path: &Path,
    verdict: ReclaimVerdict,
    by_name: &BranchPrState,
    landed_content: LandedContentProbe<'_>,
) -> ReclaimVerdict {
    let Some(ask) = landed_content else {
        return verdict;
    };
    if !verdict.is_reclaimable() || matches!(by_name, BranchPrState::Merged { .. }) {
        return verdict;
    }
    // #7889's `no_pr_verdict` builds this variant only from a `Landed` answer.
    if let ReclaimVerdict::ReclaimableLandedContent { base } = &verdict
        && base != PUBLISHED_BASE
    {
        return verdict;
    }
    let content = ask(path).content;
    match own_pr_refusal(by_name, &content) {
        None => landed_grant(&content).unwrap_or(verdict),
        Some(reason) => ReclaimVerdict::blocked(
            ReclaimGate::PrState,
            format!(
                "{reason}; the earlier grant ({}) was withdrawn",
                verdict.decision()
            ),
        ),
    }
}

/// The refusal for a branch with no merged pull request of its own whose
/// content is not proven landed, or `None` when it may go (#8109).
///
/// Why: the pre-delete re-check and the survey must refuse in the same words.
/// What: `None` when `by_name` is `Merged` or `content` is `Landed`. Otherwise
/// the refusal names the by-name answer and the probe's own note, so a failed
/// lookup and residual content read differently.
/// Test: `worktree_8109_a_no_pr_unlanded_worktree_is_kept`,
/// `worktree_8109_a_failed_pr_lookup_keeps_the_worktree`.
pub(super) fn own_pr_refusal(by_name: &BranchPrState, content: &LandedContent) -> Option<String> {
    if matches!(by_name, BranchPrState::Merged { .. }) || content.is_landed() {
        return None;
    }
    Some(format!(
        "no merged pull request carries this branch's own name ({}), so only content already \
         on the base can admit it, and {} (#8109)",
        describe(by_name),
        content.note()
    ))
}

/// `Landed` as the grant it is, logged at the reclaim decision (#8109).
fn landed_grant(content: &LandedContent) -> Option<ReclaimVerdict> {
    match content {
        LandedContent::Landed { base, .. } => {
            Some(ReclaimVerdict::ReclaimableLandedContent { base: base.clone() })
        }
        _ => None,
    }
}

/// A by-name pull-request answer, in words.
fn describe(state: &BranchPrState) -> String {
    match state {
        BranchPrState::NoPr => "no pull request was found".to_string(),
        BranchPrState::Unknown => "the pull-request state could not be determined".to_string(),
        BranchPrState::LookupFailed { reason } => format!("the lookup failed: {reason}"),
        BranchPrState::Open { pr } => format!("PR #{pr} is open"),
        BranchPrState::ClosedUnmerged { pr } => format!("PR #{pr} closed unmerged"),
        BranchPrState::Merged { pr } => format!("PR #{pr} merged"),
    }
}

/// What [`delete_reclaimed_branch`] did with a reclaimed tree's branch (#8109).
#[derive(Debug, Clone, PartialEq, Eq)]
pub(crate) enum BranchCleanup {
    /// The compare-and-delete at the proven `HEAD` removed it.
    Deleted,
    /// Left in place, and why.
    Kept(String),
    /// No such branch any more — the remover's own `session/<leaf>` cleanup,
    /// or an operator, got there first.
    Absent,
}

/// Delete a reclaimed worktree's branch, only after its tree is gone and only
/// on the landed proof (#8109).
///
/// Why: the 2026-09-16 reclaim removed the tree and left `…-wt` behind. A
/// squash merge leaves the branch looking unmerged to git, so `branch -d`
/// proves nothing; deletion is safe only on the `merge-tree` proof, which the
/// caller took before the removal and whose judged `HEAD` it hands in as
/// `proven_head` ([`ReclaimProof::head`]).
/// What: keeps the branch when `proven_head` is not a full 40- or 64-hex
/// object name, when the worktree listing cannot be read or names no tree, or
/// when any tree — the main checkout included — has it checked out
/// ([`holder_of`]). A quiet miss on the ref is [`BranchCleanup::Absent`]; any
/// other lookup failure keeps it. Then one compare-and-delete,
/// `git update-ref --no-deref -d refs/heads/<branch> <proven_head>`, which git
/// refuses unless the tip is still `proven_head` — a moved tip keeps the
/// branch, and a symref branch never deletes the branch it names.
/// Test: `worktree_8109_a_reclaimed_landed_worktree_loses_its_branch`,
/// `worktree_8109_a_branch_checked_out_elsewhere_is_kept`,
/// `worktree_8109_a_branch_that_moved_after_the_proof_is_kept`,
/// `worktree_8109_a_failed_compare_and_delete_keeps_the_branch`,
/// `worktree_8109_a_symref_branch_never_deletes_its_target`,
/// `worktree_8109_an_unproven_sha_keeps_the_branch`.
pub(crate) fn delete_reclaimed_branch(
    repo_root: &Path,
    branch: &str,
    proven_head: &str,
) -> BranchCleanup {
    // #8109 critic: an empty old value makes `update-ref -d` unconditional, so
    // only a full SHA-1 or SHA-256 object name may reach it.
    let proven = proven_head.trim();
    if !is_full_object_name(proven) {
        return BranchCleanup::Kept(format!(
            "the proven HEAD `{proven}` is not a full object name, so no compare-and-delete \
             can rest on it"
        ));
    }
    let listing = match git_stdout(repo_root, &["worktree", "list", "--porcelain"]) {
        Ok(listing) => listing,
        Err(e) => return BranchCleanup::Kept(format!("the worktree listing failed: {e}")),
    };
    let standing = parse_worktree_list(&listing);
    if standing.is_empty() {
        return BranchCleanup::Kept("the worktree listing named no tree".to_string());
    }
    if let Some(holder) = holder_of(&standing, branch) {
        return BranchCleanup::Kept(kept_branch(branch, holder));
    }
    let tip_ref = format!("refs/heads/{branch}");
    // #8109 critic: only a quiet miss is `Absent`; every other failure keeps.
    let lookup = git_command(repo_root, &["rev-parse", "--verify", "--quiet", &tip_ref]).output();
    match lookup {
        Err(e) => return BranchCleanup::Kept(format!("the tip lookup could not run: {e}")),
        Ok(out) if !out.status.success() => {
            if out.status.code() == Some(1) && out.stdout.is_empty() && out.stderr.is_empty() {
                return BranchCleanup::Absent;
            }
            return BranchCleanup::Kept(format!(
                "the tip lookup failed ({}): {}",
                out.status,
                String::from_utf8_lossy(&out.stderr).trim()
            ));
        }
        Ok(_) => {}
    }
    // #8109 critic: compare-and-delete in one step, so the tip cannot move
    // between the comparison and the deletion. `--no-deref` deletes the branch
    // ref itself, never the branch a symref names.
    match git_stdout(
        repo_root,
        &["update-ref", "--no-deref", "-d", &tip_ref, proven],
    ) {
        Ok(_) => {
            // `branch -D` also drops the branch's config section; best-effort,
            // since most reclaimed branches have none.
            let section = format!("branch.{branch}");
            if let Err(e) = git_stdout(repo_root, &["config", "--remove-section", &section]) {
                tracing::debug!(branch, "worktree-reclaim: no branch config removed — {e}");
            }
            BranchCleanup::Deleted
        }
        Err(e) => BranchCleanup::Kept(format!(
            "the compare-and-delete at the proven `{proven}` was refused — its tip moved, or \
             the ref could not be locked: {e}"
        )),
    }
}

/// Exactly 40 (SHA-1) or 64 (SHA-256) hex characters (#8109 critic).
fn is_full_object_name(sha: &str) -> bool {
    matches!(sha.len(), 40 | 64) && sha.bytes().all(|b| b.is_ascii_hexdigit())
}

/// One candidate's landed proof, taken at most once in its pre-delete pass
/// (#8109).
///
/// Why: the admission can take 40 s (a 30 s fetch and a 10 s `gh` search). The
/// pre-delete re-check asks it for a no-PR candidate, and the branch deletion
/// needs it for every candidate; asking twice doubled that cost and let the two
/// readers judge different trees.
/// What: `prove` runs on the first [`OnceProof::get`] and never again; the
/// re-check reads the admission through [`OnceProof::admission`].
/// Test: `worktree_8109_a_commit_after_the_proof_keeps_the_branch`,
/// `worktree_8109_a_reclaimed_landed_worktree_loses_its_branch`.
pub(super) struct OnceProof<'a> {
    path: &'a Path,
    prove: &'a dyn Fn(&Path) -> ReclaimProof,
    taken: OnceCell<ReclaimProof>,
}

impl<'a> OnceProof<'a> {
    /// A proof of `path` not yet taken.
    pub(super) fn new(path: &'a Path, prove: &'a dyn Fn(&Path) -> ReclaimProof) -> Self {
        Self {
            path,
            prove,
            taken: OnceCell::new(),
        }
    }

    /// The proof, taken now if nothing has asked yet.
    pub(super) fn get(&self) -> &ReclaimProof {
        self.taken.get_or_init(|| (self.prove)(self.path))
    }

    /// The admission, in the shape a [`LandedContentProbe`] returns.
    pub(super) fn admission(&self, asked: &Path) -> LandingAdmission {
        debug_assert_eq!(asked, self.path, "one OnceProof judges one tree");
        self.get().admission.clone()
    }
}

/// The proof a candidate's removal and branch deletion rest on, or the refusal
/// (#8109).
///
/// Why: the branch deletion must compare the tip against the SHA the proof
/// judged, never a `HEAD` re-read after it returned.
/// What: [`own_pr_refusal`] against the proof's content; `Ok` hands back the
/// same proof, whose `head` is what [`cleanup_reclaimed_branch`] deletes at.
/// Test: `worktree_8109_a_commit_after_the_proof_keeps_the_branch`.
pub(super) fn deletion_proof(
    by_name: &BranchPrState,
    proof: &OnceProof<'_>,
) -> Result<ReclaimProof, String> {
    let taken = proof.get();
    match own_pr_refusal(by_name, &taken.admission.content) {
        Some(reason) => Err(reason),
        None => Ok(taken.clone()),
    }
}

/// [`delete_reclaimed_branch`] for one reclaimed tree, logged (#8109).
///
/// What: nothing without a branch; the branch kept, and logged, unless the
/// proof is `Landed` and carries the `HEAD` it judged; otherwise the deletion
/// at that `HEAD` and one line naming its outcome.
/// Test: `worktree_8109_a_reclaimed_landed_worktree_loses_its_branch`,
/// `worktree_8109_an_own_pr_reclaim_without_landed_proof_keeps_the_branch`.
pub(super) fn cleanup_reclaimed_branch(
    repo_root: &Path,
    path: &Path,
    branch: Option<&str>,
    proof: &ReclaimProof,
) {
    let Some(branch) = branch else {
        return;
    };
    let (Some(head), LandedContent::Landed { base, .. }) =
        (proof.head.as_deref(), &proof.admission.content)
    else {
        tracing::info!(
            path = %path.display(),
            branch,
            "worktree-reclaim: kept the reclaimed worktree's branch — {} (#8109)",
            proof.admission.content.note()
        );
        return;
    };
    match delete_reclaimed_branch(repo_root, branch, head) {
        BranchCleanup::Deleted => tracing::info!(
            path = %path.display(),
            branch,
            head,
            "worktree-reclaim: deleted the reclaimed worktree's branch — its content is \
             already on {base} (#8109)"
        ),
        BranchCleanup::Kept(why) => tracing::warn!(
            path = %path.display(),
            branch,
            "worktree-reclaim: kept the reclaimed worktree's branch — {why} (#8109)"
        ),
        BranchCleanup::Absent => tracing::debug!(
            path = %path.display(),
            branch,
            "worktree-reclaim: the reclaimed worktree's branch is already gone (#8109)"
        ),
    }
}

#[cfg(test)]
#[path = "worktree_reclaim_branch_tests.rs"]
mod worktree_reclaim_branch_tests;