STEP 1686 — ヒルクライム機械 (探索器) v0.1

2026-09-02 · 「既存 AI 不可能部品」 arc 4 element machine 第 1 部品 · 提案器なしの (c) route · 3 層 anti-hill-climb 装置 · 判定経路 LLM ゼロ · test 58/58 PASS · 元 STEP 1682 wipe から recovery

Recovery note: 本 module は元 STEP 1682 として 2026-09-02 rei-aios-5c tab で実装、全 test 58/58 PASS + regression 72+52 clean まで到達したが、 commit 前に別 tab の git pull --rebase origin main autostash + clean 系列で untracked 状態だった source が wipe。 STEP 1670 Tab Isolation Protocol の予防対象が実測発生。 Context 完全保存から STEP 1685/1686 番号で再構築、 sidecar → 即 commit + push (fcaf652e1 + 14598148c) で untracked 露出時間を ~10 秒に短縮した discipline を適用。

由来

chat-Claude 論文レビュー (2026-09-01) が指摘した paper 付録 D.1 病理「単一ベンチマークを hill-climb すると未見の別ベンチマークで −11.9%」と、論文本文の「1,601 軌跡中 2.4% を検出、 67% が同一手法再提出」。これに 4 element machine (探索器 × 集約 gate × 監視 × 凍結 preregister) で応答する部品セットの第 1 部品 = 探索器。

chat-Claude 2026-09-01 feedback (arc map memory 引用):
「(c) route (手動 candidate + 評価器自動化) が実現候補。評価器は STEP 1654 geo-mean-gate + STEP 1659 cheat-monitor + STEP 1359 rei-preregister の三点で揃うため、提案器を LLM に頼らない手動 or scripted 候補列挙で完結可能。」

3 層 anti-hill-climb 装置

(i) 集約 layer 保護 = all-or-zero property

STEP 1654 runGeoMeanGate を accept 判定に使用。 any gauge = 0 → geoMean = 0 → ZERO → 常に reject。 paper 付録 D.1 「1 dimension を犠牲にして別 dimension を稼ぐ」経路の構造的遮断。

(ii) 提出物固定 = 3 hash commit-before-see

STEP 1659 submissionHash (canonical JSON sorted keys の sha256) で method / sampleSet / gaugeConfig の 3 hash を scoreFn 呼出前 に計算 → attempt に埋込。事後改変で高 score を主張不能。

(iii) 事後 audit = cheat-monitor 全 attempts pair scan

全 attempts (accepted + rejected + errored) を submission-shape payload に変換 → STEP 1659 detectCheatPatterns で全 pair scan → findings を結果に埋込。

pattern	trigger	severity
(A) resubmission-variance-farming	同 method + 同 sample + 同 gauge + 異 score	critical (paper 67% 病理)
(B) gauge-tuning-after-fail	同 method + 同 sample + 異 gauge	critical
(C) sample-swap-to-hit-target	同 method + 異 sample + 同 gauge	critical (STEP 1608 candidate F 病理)
(D) triple-shift	全 3 異 + 同 submitter + 短時間内	warning (探索器自然な shotgun、 BY DESIGN)
(E) hash-format-invalid	hash が sha256:<64 hex> 形式でない	critical

Accept 判定

accept ⇔ gate.d8 === 'TRUE' ∧ gate.geoMean > bestSoFar.geoMean + minImprovement

ABSTAIN / ZERO / FALSE / NEITHER は常に reject。 accept と reject は 対称に記録 (accept-only log は cherry-pick 誘引)。

4 element machine 完成度

#	素子	STEP	実装 tab	状態
1	ヒルクライム機械 (探索器)	1686 (元 1682)	rei-aios-5c (本 STEP、 recovery)	v0.1 landed (14598148c)
2	幾何平均ゲート素子	1654	rei-aios-1b	v0.1 landed
3	チート後方監視素子	1659	rei-aios-1b	v0.1 landed
4	凍結ミニ論文素子	1359 (既済)	—	v0.1 landed 2026-08-21

4/4 全素子 v0.1 完成。探索 + 検証 + 監視 + 凍結の 4 素子装置が揃った。

Test 結果 (58/58 PASS)

section	内容
§1	empty candidates → no crash、 silent success 予防
§2	single good → accepted、 bestSoFar set
§3	monotonic ascending → all accepted
§4	descending → only first accepted、 rest strict-greater reject
§5	zero gauge → all-or-zero、 d8=ZERO、 rejected
§6	missing gauge → ABSTAIN、 rejected
§7	scoreFn throws → error attempt、 silent skip 予防
§8	commit-before-see 3 hashes byte-level match
§9	pattern (A) resubmission-variance surface
§10	pattern (C) sample-swap surface
§11	accept + reject 対称記録 (accept-only 予防)
§12	NEITHER band → rejected (only TRUE accepts)
§13	minImprovement threshold 尊重
§14	honestScope 13 項目 (≥10 assert)
§15	determinism: same input + nowIso → identical output

Honest scope

提案器 (mutation generator) は実装しない — (c) route 準拠、 caller が candidates supply。
Local hill climbing のみ — 局所最適解に陥る可能性、 global optimality 保証しない。
Gauge 品質は上流責務 — gauge 自身が silent-pass class (STEP 1637) だと hill-climb はそれを継承する。
判定経路 LLM ゼロ — deterministic + cheap。
3 hash は byte-level identity — canonical JSON sorted keys の sha256、 semantic equivalence を見ない。
No I/O — caller が candidates + scoreFn を supply、 module は disk/network に触らない。
Post-hoc (D) triple-shift は BY DESIGN で高頻度発火 — 探索器の自然な shotgun 動作。
Preregister/ledger persistence は caller — module は API を呼ばない。

参照

実装: src/aios/hill-climb/index.ts (commit 14598148c)
test: test/step1686-hill-climb-explorer-test.ts (58 assertion / 15 section)
詳細 memory: memory/project_step1686_hill_climb_explorer_v01_2026-09-02.md
notepad: /tools/notepad/ STEP 1686 entry
姉妹 STEP: STEP 1685 (arc (a) Andrica AxiomCheck 再開)
上流依存: STEP 1654 geometric-mean-gate / STEP 1659 cheat-monitor / STEP 1359 rei-preregister
arc map: memory/feedback_4_element_machine_arc_2026-09-02.md

Rei-AIOS · 2026-09-02 · STEP 1686 (recovery of 元 STEP 1682) · rei-aios-5c tab