1项目需求与验收契约
闭卷画出项目需求与验收契约的拓扑、报文状态机、公式与失败证据。
计算机网络与协议实验 · 小纸条
选一章打印。双面打印（按长边翻页）后沿虚线剪开，每张卡片正面题目、背面答案。
第 1 页 · 正面（题目）
2协议格式与状态机设计
闭卷画出协议格式与状态机设计的拓扑、报文状态机、公式与失败证据。
3实现：并发本地服务
闭卷画出实现：并发本地服务的拓扑、报文状态机、公式与失败证据。
4可观测性与离线抓包证据
闭卷画出可观测性与离线抓包证据的拓扑、报文状态机、公式与失败证据。
5安全与故障注入验收
闭卷画出安全与故障注入验收的拓扑、报文状态机、公式与失败证据。
6性能测量与容量结论
闭卷画出性能测量与容量结论的拓扑、报文状态机、公式与失败证据。
7综合答辩与迁移复盘
闭卷画出综合答辩与迁移复盘的拓扑、报文状态机、公式与失败证据。
第 1 页 · 背面（答案）
机制：消息必须有版本、类型、长度、请求ID和错误语义，双方状态机只允许显式迁移；实验：画客户端和服务端双状态机并对每条消息验证当前状态与长度；边界：新增字段需考虑向前向后兼容，未知类型不能落入默认成功。
机制：把用户场景写成协议动作、性能SLO、安全约束和可运行测试，先定义失败再写实现；实验：为本地文件同步服务写消息格式、状态码、超时、重试和验收矩阵；边界：需求中的快速安全可靠必须量化，否则无法测试也无法取舍。
机制：为每个请求记录ID、阶段时延、字节、重试和结果，并生成可离线分析的报文摘要；实验：让日志与协议分析器按请求ID对齐，复原一次成功和一次超时；边界：日志含密钥或完整敏感载荷会制造新风险，观测字段也需最小化。
机制：用长度前缀TCP协议、selector或有界工作池实现多客户端请求响应；实验：在localhost随机端口运行服务，自动测试分片、并发、超长和半关闭；边界：不得依赖公网、固定端口、root权限或人工输入，资源必须在测试后释放。
机制：固定客户端数、消息大小和持续时间，报告好吞吐、p95/p99、错误率和资源上限；实验：做阶梯负载找到首个SLO失守点，再给安全容量与余量；边界：最高瞬时QPS不是可持续容量，客户端瓶颈和协调遗漏会产生假结论。
机制：验证长度上限、认证、重放去重、默认拒绝，并注入断连、丢响应和过载；实验：以攻击/故障用例表记录输入、预期、实际、首个偏差和修复回归；边界：通过正常功能不代表安全，异常处理也不能泄漏内部路径或密钥。
机制：答辩必须从现象沿报文、状态、代码、指标和边界闭环，并说明换网络条件后怎样迁移；实验：提交协议文档、代码测试、抓包摘要、故障证据、容量报告和已知限制；边界：展示成功演示而没有失败证据不合格；不能复现的手工步骤不算工程交付。