第 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 及其他檔案未改動）；仍可用帶標籤操練補丁練習回饋流程，但記為操練證據，絕不得作為Agent 輸出。

在新的 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 學習日概念的補救計畫。每行記錄：概念｜證據狀態｜下一次無輔助檢查｜日期｜遺漏時的補救行動。然後列出你記錄中全部可執行的證據缺口（你相信但未驗證的事）；若宣告範圍內沒有，只有引用實際當前證據並承諾帶日期的新無輔助複查的明確「宣告範圍內未發現」才可接受——已有缺口必須披露，不得隱藏。最後以一次預定的新檢查收尾：在該日期無輔助預測一個新的修改/同一性程式碼片段並驗證。