Day 06: 真偽値とテキスト/データの分岐

参考解答（truthiness.py）：

def presence(value):
    if value:
        return "present"
    return "missing"
for value in [[], [0], "", " ", 0, "0"]:
    print(repr(value), bool(value), presence(value))

正確な出力（Python 3.13 および 3.14）：

[] False missing
[0] True present
'' False missing
' ' True present
0 False missing
'0' True present

解説：[]、""、0 は偽なので、分岐は "missing" と報告します。[0]、" "、"0" は真なので "present" と報告します。紛らわしいのは 2 行です。空白だけのテキストはデータを持たないのに present と報告され、数値の 0 は実在する値なのに missing と報告されます。意味が重要な場面では、真偽値に頼らず明示的に判定してください（例：text.strip() == "" や value is None）。

変換規則：一度だけ strip する。空のテキストは "missing"。ASCII 数字だけのテキストは int(text) で変換して "zero" または "positive"。それ以外はすべて "invalid"。

参考実装（classify.py）：

def classify(raw):
    text = raw.strip()
    if text == "":
        return "missing"
    if text.isascii() and text.isdigit():
        number = int(text)
        if number == 0:
            return "zero"
        return "positive"
    return "invalid"
cases = [" 7 ", "", "0", "unknown", "   ", "\t\n", "　7", "007", "00",
         "Zero", "-3", "+7", "3.5", "1_000", "1 2", "７"]
for raw in cases:
    print(f"{raw!r:12} -> {classify(raw)}")

正確な出力（入力 → 出力の完全な対応表、Python 3.13 および 3.14）：

' 7 '        -> positive
''           -> missing
'0'          -> zero
'unknown'    -> invalid
'   '        -> missing
'\t\n'       -> missing
'\u30007'    -> positive
'007'        -> positive
'00'         -> zero
'Zero'       -> invalid
'-3'         -> invalid
'+7'         -> invalid
'3.5'        -> invalid
'1_000'      -> invalid
'1 2'        -> invalid
'７'          -> invalid

各ガードの理由：strip() によって ' ' と '\t\n' は空のテキストになるので "missing" になります（単純な bool() なら present と判定してしまいます）。また '\u30007'（全角スペース + 7）は '7' になります。'00' は 0 に変換されるので "zero" です。'７'.isdigit() が True で int('７') が 7 を返すにもかかわらず、isascii() の確認で '７' は拒否されます。符号・小数点・アンダースコア・内部の空白・単語は "invalid" であり、0 に変換されることはありません。

完全な手順（bash）。すべてのステップを同じターミナルで実行します。コマンドはすべて使い捨てリポジトリの中で実行されます。

ステップ 1：リポジトリを作成し、修正案を見る前に自分の期待出力を書きます。

work=$(mktemp -d)
cd "$work"
git init -q
cat > expected.txt <<'EOF'
' 7 ' -> positive
'' -> missing
'0' -> zero
'unknown' -> invalid
'   ' -> missing
' 0 ' -> zero
EOF

ステップ 2：バグのあるベースラインをコミットしてテストします。

cat > classify.py <<'EOF'
def classify(raw):
    if not raw:
        return "missing"
    if raw == "0":
        return "zero"
    return "positive"
for raw in [" 7 ", "", "0", "unknown", "   ", " 0 "]:
    print(f"{raw!r} -> {classify(raw)}")
EOF
git add classify.py
git -c user.name="Day06 Learner" -c [email protected] commit -q -m "Add baseline classify"
python3 classify.py > actual.txt
diff expected.txt actual.txt; echo "diff exit: $?"

出力：ベースラインは生のテキストの真偽値で分岐しているため、3 つの入力を誤判定します。

4,6c4,6
< 'unknown' -> invalid
< '   ' -> missing
< ' 0 ' -> zero
---
> 'unknown' -> positive
> '   ' -> positive
> ' 0 ' -> positive
diff exit: 1

ステップ 3：置き換え案（ここでは同じ 6 つの入力を使う Activity 02 の参考実装）を適用し、diff を確認します。

cat > classify.py <<'EOF'
def classify(raw):
    text = raw.strip()
    if text == "":
        return "missing"
    if text.isascii() and text.isdigit():
        number = int(text)
        if number == 0:
            return "zero"
        return "positive"
    return "invalid"
for raw in [" 7 ", "", "0", "unknown", "   ", " 0 "]:
    print(f"{raw!r} -> {classify(raw)}")
EOF
git diff
git diff --stat

出力：

diff --git a/classify.py b/classify.py
index 35040ac..bc9c7bf 100644
--- a/classify.py
+++ b/classify.py
@@ -1,8 +1,12 @@
 def classify(raw):
-    if not raw:
+    text = raw.strip()
+    if text == "":
         return "missing"
-    if raw == "0":
-        return "zero"
-    return "positive"
+    if text.isascii() and text.isdigit():
+        number = int(text)
+        if number == 0:
+            return "zero"
+        return "positive"
+    return "invalid"
 for raw in [" 7 ", "", "0", "unknown", "   ", " 0 "]:
     print(f"{raw!r} -> {classify(raw)}")
 classify.py | 12 ++++++++----
 1 file changed, 8 insertions(+), 4 deletions(-)

ステップ 4：ステージする前に検証します。

python3 classify.py > actual.txt
diff expected.txt actual.txt; echo "diff exit: $?"
git diff --check; echo "check exit: $?"
git status --short

出力：

diff exit: 0
check exit: 0
 M classify.py
?? actual.txt
?? expected.txt

ステップ 5：レビューしたファイルだけをステージしてコミットします。

git add classify.py
git diff --cached --name-only
git -c user.name="Day06 Learner" -c [email protected] commit -q -m "Classify by normalized text"
git log -1 --format=%s
git diff --stat HEAD~1 HEAD
git status --short

出力：

classify.py
Classify by normalized text
 classify.py | 12 ++++++++----
 1 file changed, 8 insertions(+), 4 deletions(-)
?? actual.txt
?? expected.txt

Git 2.56 と Python 3.13/3.14 で検証済みです。git -c user.name=... -c user.email=... はその 1 回のコミットの作者だけを設定し、Git の設定は変更しません。証拠として expected.txt、2 回の diff の結果、クリーンな git diff --check、1 ファイルだけのコミットを保存してください。エージェントのレビューは Agent 支援として記録し、独立した習得の証明にはなりません。

完全な解答例（bash。Python ファイルは新しい使い捨てリポジトリの中で作成・コミットされます）：

work=$(mktemp -d)
cd "$work"
git init -q
cat > quantity.py <<'EOF'
def quantity_message(raw):
    text = raw.strip()
    if text == "":
        return "missing: enter a whole number"
    if text.isascii() and text.isdigit():
        number = int(text)
        if number == 0:
            return "zero: nothing to order"
        return f"ok: {number}"
    return f"invalid: {text!r} is not a whole number"
cases = {
    "": "missing: enter a whole number",
    "0": "zero: nothing to order",
    "unknown": "invalid: 'unknown' is not a whole number",
    " 12 ": "ok: 12",
}
for raw, expected in cases.items():
    actual = quantity_message(raw)
    assert actual == expected, (raw, actual, expected)
    print(f"{raw!r} -> {actual}")
print("all 4 cases passed")
EOF
python3 quantity.py
git add quantity.py
git diff --cached --check && echo "diff check clean"
git diff --cached --name-only
git -c user.name="Day06 Learner" -c [email protected] commit -q -m "Add quantity_message with edge-case checks"
git log -1 --format=%s
git status --short; echo "status exit: $?"

正確な出力（Python 3.13/3.14、Git 2.56）：

'' -> missing: enter a whole number
'0' -> zero: nothing to order
'unknown' -> invalid: 'unknown' is not a whole number
' 12 ' -> ok: 12
all 4 cases passed
diff check clean
quantity.py
Add quantity_message with edge-case checks
status exit: 0

驚いた結果の解説例：bool("0") は True なので、if raw: と書いた分岐はテキスト "0" を present と扱います。bool(" ") も True なので、空白だけのテキストも present に見えます。そのためこの関数は生の真偽値では決して分岐せず、先に strip してから text == "" で明示的に比較します。もう 1 つの驚き：int(" 7 ") も int("７") も 7 を返します。int() 自体が空白を取り除き、ASCII 以外の数字も受け入れるからです。isascii() and isdigit() の確認によって、受け入れる入力を仕様どおりに保っています。

安全な diff の記録：git diff --cached --name-only には quantity.py だけが表示され、git diff --cached --check はクリーンで、コミット後の git status --short は何も出力しません。