Module ownership 

Portable claims retain both original signatures and optionally matched first admission testimony. Structural verification never enrolls an issuer.

Structs

OriginalClaim

OriginalResolution

Functions

verify_claims

Conflicts are preserved, never selected by arrival order. The caller admits each claim independently and treats multiple accepted claims as unavailable.

verify_resolutions