design: contracts index