champion-premise-false-evidence

Champion: premise-false evidence rules (#8593)

Reference for the two places champion-issue-promo.md decides whether a proposal's central factual claim is false: "The premise-false finding kind" (writing the finding) and "Premise-false close gate" (re-running it on the N=2 pass, the one place Champion may close an issue). The rules themselves are stated there; this file carries the resolver and the evidence table they point at.

What went wrong (#8494)

On 2026-09-21 the close gate closed a sound proposal not planned. Both of its recurring findings were "verified via" a grep of a .loom/docs/*.md path against origin/main, each returning no output — and both premises were true at that commit. Since #7842 every .loom/docs/*.md with a defaults/docs/ counterpart is a symlink: its tree entry is mode 120000, so reading it through git (git show origin/main:<path>, git cat-file -p, git archive) yields the link-target string (../../defaults/docs/x.md), never the document.

Every grep/wc over that read comes back empty whatever the document says. The gate's own escape hatch — "if any re-run check now shows the premise IS true, go to Step 1" — could not fire either, because the N=2 re-run was told to re-run the cited check verbatim, so it reproduced the identical false negative.

Resolve a cited path before checking it

resolve_main_path() {   # the blob git will actually read, bounded to 3 hops
  local p="$1" i
  for i in 1 2 3; do
    [ "$(git ls-tree origin/main -- "$p" | awk '{print $1}')" = 120000 ] || break
    p="$(dirname "$p")/$(git show "origin/main:$p")"   # relative to the LINK's dir
    # collapse "." / ".." lexically — the target is a path IN A COMMIT, so
    # realpath/readlink (which stat the working tree) are both wrong here
    p="$(printf '%s' "$p" | awk -F/ '{n=0;for(i=1;i<=NF;i++){if($i=="."||$i=="")continue;
      if($i==".."){if(n>0)n--;continue}a[++n]=$i}s=a[1];for(i=2;i<=n;i++)s=s"/"a[i];print s}')"
  done
  printf '%s\n' "$p"
}

P=$(resolve_main_path ".loom/docs/transcript-token-ingest.md")
# → defaults/docs/transcript-token-ingest.md
git show "origin/main:$P" | grep -c '30-day fuse'   # 3, not (no output)