TTP EXTENSION · MEMBERSHIP AUTHORITY EQUIVOCATION

One epoch must not have two authentic membership histories.

SAME AUTHORITY + SAME MEMBERSHIP EPOCH + DIFFERENT AUTHENTIC MEMBERSHIP DIGESTS = EQUIVOCATION EVIDENCE.

A signature proves who issued one membership record. It does not prove the issuer did not sign another incompatible record for the same epoch. Consequential authorization therefore needs cross-view consistency, not only local signature validity.

Required comparison

Decision rule

AUTHENTICATE MEMBERSHIP M
        ↓
LOOK FOR AUTHENTIC PEER VIEW M_peer
AT SAME NAMESPACE + EPOCH
        ↓
same issuer?
same epoch?
same predecessor?
different membership digest?
        ↓
all true?
  ├─ yes → membership_authority_equivocation_detected
  │        → quarantine issuer
  │        → hold all disputed branches
  │        → 0 consequence
  └─ no
       ↓
CHECK MEMBERSHIP CURRENTNESS / ANTI-ROLLBACK
       ↓
VALIDATE QUORUM + HEAD + AUTHORITY VIEW
       ↓
FENCED CONSEQUENCE

Recovery

fork digests = [A, B]
        ↓
fresh higher epoch
        +
non-equivocating recovery authority
or explicit governance resolution
        +
bind A and B explicitly
        +
fresh quorum
        ↓
resume

I111–I114

Failure disposition

membership_authority_equivocation_detected
→ no branch selection
→ no adoption
→ no external effect
→ preserve both records
→ quarantine issuer
→ obtain explicit higher-epoch resolution

This rule does not define production PKI, BFT reconfiguration, governance voting, transparency-log architecture or consensus finality. It defines the evidence invariant that same-epoch authentic membership forks must fail closed.

Open Verified Report #038Back to TTP v1.0 →