namespace Bitvault;

public record Opened;