Repository navigation

Say Which Merge-Bot Proofs Are Tracked Rather Than an Audit Report Recording Them - #2413

Merged

ptr727 merged 2 commits into

feature/pilot-proof-attribution

Oct 5, 2026

Merged

Say Which Merge-Bot Proofs Are Tracked Rather Than an Audit Report Recording Them#2413
ptr727 merged 2 commits into
developfrom
feature/pilot-proof-attribution

Commits on Oct 5, 2026
- Say the Pilot Owes the Hub's Unprovable Proofs Rather Than a Report Recording Them
  
  ptr727
  and
  claude
  committed
  f6c60e1
- Name Which Merge-Bot Proofs Are Tracked and Point at #2412 for the Rest
  
  ptr727
  and
  claude
  committed
  0b37123