第88日：独立習得度リトリーバル — AI不使用の証跡確認

{
"declared_condition": "independent",
"time_cap_minutes": 105,
"tasks": [
{"domain":"PY","task_id":"PY-1","recovery_day":"day-09","declared_condition":"independent"},
{"domain":"PY","task_id":"PY-2","recovery_day":"day-11","declared_condition":"independent"},
{"domain":"PY","task_id":"PY-3","recovery_day":"day-12","declared_condition":"independent"},
{"domain":"GIT","task_id":"GIT-1","recovery_day":"day-14","declared_condition":"independent"},
{"domain":"GIT","task_id":"GIT-2","recovery_day":"day-80","declared_condition":"independent"},
{"domain":"GIT","task_id":"GIT-3","recovery_day":"day-81","declared_condition":"independent"},
{"domain":"MATH","task_id":"M-1","recovery_day":"day-19","declared_condition":"independent"},
{"domain":"MATH","task_id":"M-2","recovery_day":"day-25","declared_condition":"independent"},
{"domain":"MATH","task_id":"M-3","recovery_day":"day-27","declared_condition":"independent"},
{"domain":"GRAD","task_id":"G-1","recovery_day":"day-31","declared_condition":"independent"},
{"domain":"GRAD","task_id":"G-2","recovery_day":"day-32","declared_condition":"independent"},
{"domain":"GRAD","task_id":"G-3","recovery_day":"day-33","declared_condition":"independent"},
{"domain":"MODEL","task_id":"MR-1","recovery_day":"day-50","declared_condition":"independent"},
{"domain":"MODEL","task_id":"MR-2","recovery_day":"day-65","declared_condition":"independent"},
{"domain":"MODEL","task_id":"MR-3","recovery_day":"day-83","declared_condition":"independent"}
]
}
assert len(tasks) == 15 # 実際は15行すべて列挙すること

PY-1:
from collections import Counter
import re, unittest

def top_k_words(text, k):
words = re.findall(r"[a-z0-9']+", text.lower())
counts = Counter(words)
ranked = sorted(counts.items(), key=lambda kv: (-kv[1], kv[0]))
return [w for w, _ in ranked[:k]]

class TestTopK(unittest.TestCase):
def test_counts(self): self.assertEqual(top_k_words('b a a b c', 1), ['a'])
def test_ties(self): self.assertEqual(top_k_words('b a', 2), ['a', 'b'])
def test_empty(self): self.assertEqual(top_k_words('', 3), [])
def test_k_large(self): self.assertEqual(top_k_words('x', 5), ['x'])

GIT-1（使い捨てリポジトリ）:
git branch fix/login # コミットを新ブランチに保持
git checkout main
git reset --hard origin/main # mainを復元；使い捨てクローンのみ安全
git checkout fix/login
git reflog # 失われた先端を特定: git branch rescued

DBG-1: KeyError 'total' → キー未初期化が最も疑わしい。最初のコマンド: python -m unittest -v または print/pdb ブレークポイント。7対6のoff-by-one → range/sliceの境界包含が疑わしい。最初のコマンド: インデックストレースを出力してwindow境界を検査。

M-1: df/da=b+1=4.0、df/db=a=2.0。検証: (f(2.00001,3)−f(1.99999,3))/(2e-5)≈4.0±1e-6。
M-2: 1040+256+6144=7440 — run_artifact.json の parameter_ledger.total_parameters と一致。
M-3: 位置tがt+1を読むと未来トークンが漏洩し、次トークン損失が自明に解けて自己回帰生成が破綻する。上三角マスクはsoftmax前に j>t のロジットを -inf にして注意重みをゼロ化する。
M-4: 学習可能32768 vs 密1,048,576（約3.1%）。アダプタ出力は凍結基底重みの出力に加算前に alpha/r=32/16=2.0 でスケーリングされる。
M-5: exp(4.0372)≈56.7 — tinyshakespeareの10ステップCPUスモークでは高いが健全。配管の検証であり収束ではない。反証：訓練損失上昇、NaN/Inf勾配、チェックポイント再読込不一致。

{
"honesty_rules": "Independent checks evidence unaided ability only; assisted results never substitute; unmet criteria remain visibly unmet; no official certification is implied.",
"scores": {"PY-1": 2, "PY-2": 1, "GIT-1": 2, "M-1": 2, "MR-1": 1},
"domain_subtotals": {"PY": 5, "GIT": 5, "MATH": 5, "GRAD": 6, "MODEL": 5},
"domain_pass": {"PY": true, "GIT": true, "MATH": true, "GRAD": true, "MODEL": true},
"ledger": [
{"task_id":"PY-2","miss_type":"slip","recovery_day":"day-11","next_attempt_date":"2026-11-01"},
{"task_id":"MR-1","miss_type":"concept_gap","recovery_day":"day-50","next_attempt_date":"2026-11-02"}
]
}