第 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 シェルで（1ブロックとして）実行し、各 wc、diff、find の前に予測を書きます。セットアップに失敗した場合、サブシェルが中断し、現在のディレクトリには何も書き込まれません。末尾には、作成したルートだけを指すリテラルな 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 の3つだけを列挙する。

少なくとも4つのデイ 01–03 の概念をカバーする復習計画を作成してください。各行に 概念｜証拠の状態｜次の無支援チェック｜日付｜抜けた場合の復習アクション を記録します。次に、自分の記録にある対処可能な証拠ギャップ（信じてはいるが検証していないこと）をすべて挙げます。宣言した範囲内に存在しない場合は、実際の現在の証拠と日付入りの新しい無支援再チェックを引用した明示的な「宣言した範囲では発見なし」でのみ認められます。既存のギャップは必ず開示し、隠してはいけません。計画の最後に予定した新規チェックで締めてください。その日に、新しいミューテーション/同一性スニペットを無支援で予測して検証します。