确定性与概率性的分层治理。 今天的四道基础题分别落在存储层（事务隔离与写偏斜）、语言运行时层（序列化与校验的信任边界）、评测层（LLM-as-a-Judge 的偏差与标定）、安全层（记忆与上下文投毒）。两道场景题则聚焦同一个工程母题：当上游不可信或不可用时，系统的哪一层必须给出确定性保证。S01 是 Agent 侧——工具失败被模型误读为业务结论并触发重复写；S02 是通用侧——异步复制下”读己之所写”的契约缺失。LeetCode 训练”二分答案”，对应工程里”找满足 SLO 的最小资源量”这一类问题。

今日主题：能力边界与隔离边界。今天 7 道题串一条主线——系统里哪些约束必须由确定性机制保证，哪些才能交给概率性组件。B01 讲容器 CPU 配额这类”看不见的硬约束”如何伪装成延迟问题；B02 讲契约（API）是唯一能对抗不可控调用方的手段；B03 讲 Agent 的自主度应该在哪里收紧；B04 讲能力封装的上下文成本与它不是安全边界；S01 把这几条合起来，落在多租户隔离这个必须靠确定性机制兜底的场景；S02 是纯通用工程侧的对称问题——在不停机的前提下改变系统契约；L01 用单调栈训练”把 O(n²) 的暴力扫描压缩成一次有序扫描”的思维。

今天刻意补齐索引中标注「尚未覆盖」的四个一级类型，并按配置 v4 首次把通用工程能力放进当日配额。七道题的共同主线是：当外部依赖、模型输出与流量都不可控时，系统里哪几件事必须由我们保证确定。

今天刻意补齐题库中尚未覆盖过的两个一级类型（数据库与存储、LLM 应用工程），并把题库配置 v3 新增的「MCP 官方扩展体系：能力协商、默认关闭与显式 opt-in、不支持时的降级回退」「MCP Tasks」「subscriptions/listen」落到真实场景中。三件事指向同一个能力：把概率性的模型输出，接到确定性的工程约束上。

主题：能力边界与工程可靠性——上下文工程、无状态互操作协议、持久化执行、轨迹级评测、最小代理原则。