第 03: 恢复演练：诊断失败的环境

构建损坏的装置并复现失败（整块粘贴；若设置失败，或不执行模块的检查发现 helper 已可解析，会在写入前中止）：

(
set -e
SBX_ROOT=$(mktemp -d "${TMPDIR:-/tmp}/d03env.XXXXXX")
[ -n "$SBX_ROOT" ]
[ -d "$SBX_ROOT" ]
[ -w "$SBX_ROOT" ]
[ -x "$SBX_ROOT" ]
probe_rc=0
python3 -c "import sys, importlib.util
try:
    spec = importlib.util.find_spec('helper')
except Exception:
    sys.exit(4)
sys.exit(3 if spec is not None else 0)" || probe_rc=$?
if [ "$probe_rc" -ne 0 ]; then
  if [ "$probe_rc" -eq 3 ]; then
    echo "abort: ambient Python config already resolves 'helper' - the intended failure cannot be demonstrated"
  else
    echo "abort: helper-resolvability probe failed (rc=$probe_rc) - cannot verify the precondition safely"
  fi
  exit 1
fi
mkdir "$SBX_ROOT/env-drill"
cd "$SBX_ROOT/env-drill"
mkdir tools
printf 'def greet():\n    return "ok"\n' > tools/helper.py
printf 'from helper import greet\nprint(greet())\n' > app.py
rc=0
python3 app.py 2>err.txt || rc=$?
cat err.txt
grep -q "ModuleNotFoundError: No module named 'helper'" err.txt
echo "expected failure observed (rc=$rc)"
printf 'export SBX_ROOT=%q\n' "$SBX_ROOT"
)

运行前预测错误。粘贴打印的 export SBX_ROOT= 行，然后收集证据：

(
set -e
: "${SBX_ROOT:?run the setup block first, then paste its printed export line}"
[ -d "$SBX_ROOT/env-drill" ]
cd "$SBX_ROOT/env-drill"
python3 -c "import sys, os; print([os.path.abspath(p or '.') for p in sys.path])"
ls tools
)

仅对本次调用应用可论证的最小修正并复查，将 PYTHONPATH 与记录的原始值比较——代码块会打印明确的 set/unset 标记和取值，因此未设置、空、非空的原始状态都可区分地证明未改变：

(
set -e
: "${SBX_ROOT:?run the setup block first, then paste its printed export line}"
[ -d "$SBX_ROOT/env-drill" ]
cd "$SBX_ROOT/env-drill"
pp_state() { if [ "${PYTHONPATH+x}" = x ]; then printf 'PYTHONPATH %s: set value=<%s>\n' "$1" "$PYTHONPATH"; else printf 'PYTHONPATH %s: unset\n' "$1"; fi }
pp_state before
PYTHONPATH=tools python3 app.py
pp_state after
printf 'rm -r -- %q\n' "$SBX_ROOT"
)

记录症状、证据、修复、为何最小的理由，以及复查结果。

独立行为检查（自己编写，保存为 check_clamp.py）：

from calc import clamp
assert clamp(5, 0, 10) == 5
assert clamp(-3, 0, 10) == 0
assert clamp(99, 0, 10) == 10
try:
    clamp(2, 10, 0)
except ValueError:
    pass
else:
    raise AssertionError('clamp must reject lo > hi')
print('clamp checks passed')

对产出的代码运行 python3 check_clamp.py。若失败，写出精确反馈（哪个用例、预期值与实际值、疑似原因），要求修正，捕获差异（git diff 或对所存副本 diff -u），并重跑检查。需记录：失败输出、你的反馈、差异、通过的复查。若首次即通过，记录通过输出和实质性证据评审（逐条追踪各 assert、验证 lo > hi 的 ValueError 路径、确认 add 及其他文件未改动）；仍可用带标签操练补丁练习反馈流程，但记为操练证据，绝不得作为智能体输出。

在新的 Bash shell 中运行下面整个代码块（作为一整块），在每个 wc、diff、find 之前写下预测。设置失败会中止子 shell，当前目录不会被写入任何内容。末尾会打印一条只指向所创建根目录的字面 rm -r -- <private-root> 清理命令；仅在想删除时才运行：

(
set -e
SBX_ROOT=$(mktemp -d "${TMPDIR:-/tmp}/d03rpt.XXXXXX")
[ -n "$SBX_ROOT" ]
[ -d "$SBX_ROOT" ]
[ -w "$SBX_ROOT" ]
[ -x "$SBX_ROOT" ]
mkdir "$SBX_ROOT/report-sandbox"
cd "$SBX_ROOT/report-sandbox"
mkdir data archive
printf 'month,total\njan,10\nfeb,20\n' > data/sales-q1.csv
wc -l data/sales-q1.csv
cp data/sales-q1.csv archive/sales-q1.bak
diff data/sales-q1.csv archive/sales-q1.bak
printf 'draft note\n' > data/readme.txt
mv data/readme.txt archive/notes.txt
find . -type f | sort
printf 'rm -r -- %q\n' "$SBX_ROOT"
)

须满足的成果物检查：备份与原文件逐字节一致；移动后 data/readme.txt 不再存在；最终 find 输出恰好列出 ./archive/notes.txt、./archive/sales-q1.bak、./data/sales-q1.csv 三项。

产出一份覆盖至少四个第 01–03 学习日概念的补救计划。每行记录：概念｜证据状态｜下一次无辅助检查｜日期｜遗漏时的补救行动。然后列出你记录中全部可执行的证据缺口（你相信但未验证的事）；若声明范围内没有，只有引用实际当前证据并承诺带日期的新无辅助复查的明确“声明范围内未发现”才可接受——已有缺口必须披露，不得隐藏。最后以一次预定的新检查收尾：在该日期无辅助预测一个新的修改/同一性代码片段并验证。