CARTER Certifies Partial Taxonomy Repairs: Complete Decisions and Witnesses under Noisy Feedback

Repairing a taxonomy requires deciding which parent relations to change and which to leave unresolved. With noisy feedback, agreement among surviving trees can increase after the target has been discarded. We formalize this failure as confident erasure and introduce CARTER, an exact interface that turns a calibrated family of primary-parent trees into complete edge certificates and opposing witnesses. A session-calibrated disagreement budget preserves target retention and all certified edits at every prefix with marginal probability at least $1-{\alpha }_s-{\delta }_h$, under candidate inclusion and exchangeable sessions from a frozen pipeline. Errors within a session may be dependent. Edge-additive disagreement reduces certification to constrained arborescence optimization, recovering every edge statement shared by the retained family without enumerating trees. An optional shared determinant circuit computes exact one-step query values. On a sealed structural holdout of 224 taxonomies, six-source macro-average whole-tree coverage is 91.5–93.5% at a 90% target, versus 34.6–41.2% for edge-pooled calibration. A separate development simulation adds 2.095 final certified edits per session over no feedback, with lifetime wrong edits in 2/148 sessions. These results connect structured uncertainty to inspectable partial repairs, with explicit witnesses for deferred decisions.