DC-TXV-06

For each era, the certificate-deposit classification map(state, cert) is a closed, total, era-versioned function: every certificate variant resolves to exactly one of new_deposit(coin) | refund(coin) | neutral | explicit_reject, with the coin sourced from the cert (Conway explicit-deposit variants, tags 7/8) or the protocol parameter (legacy variants, tags 0/1). An unrecognized cert tag, malformed cert CBOR, or undecodable withdrawals field is a deterministic reject, never a silent neutral. State-dependent cases that cannot be accounted (e.g. pool re-registration charged as a new deposit) reject with a structured UnsupportedStateDependentDepositAccounting error rather than guessing. Incomplete classification is a forbidden false-accept path feeding the value-conservation equation.