面向对象实现与设计的一致性 — 软件工程填空题

某设计模型为类 LibraryCard 定义了属性 cardNo、status 和操作 renew()、reportLost()，其中 status 为可导航的双向关联成员。实现阶段，程序员甲为提高存取效率，用每次根据借阅日志实时推算的方式替代了 status 属性的存储，并在代码中新增了设计模型中不存在的操作 freeze()。程序员乙则严格按设计模型逐项实现了全部属性与操作，未做任何增删改。依据「实现与设计的一致性」原则，甲的做法共违反了____处（违反处按偏离设计模型的独立改动计数）。