实施计划¶

1. 闸门。 针对仅分页查询、总计、下一页和状态顺序，逐条独立判定最新列表记录； 当所有行都通过时保留 all，否则在 all_record_ordinals 中指明通过的行； 并按各自的成员关系输出每一行。
2. 计数器。 将 number 项数成员计作条目总量。
3. 消费者。 一个辅助函数用于判断某个视图是否在某一行上列出了全部内容； 服务端、写闸门的列表检查以及插入重试都会用到它， 且它可在无参数调用时对任意此类行作出判断。
4. 缺失。 当一次读取显示某个实体不存在时，将其从每个写入对其集合的声明中移除； 因此，若某次写入不再剩下任何实体，它就不再计入该集合。
5. 测试与文档。 以领域测试和服务端测试作为验收清单； 环境状态文档中的成员关系行，以及代理-环境文档中的列表应答行。