Research Log 2026-09-18 — 端子仕様 arc 全 12 STEP 完了 (mock/reference 層)

148 test PASS self-verify only real integration deferred · Owner: 藤本伸樹 (Nobuki Fujimoto) · Tabs: rei-aios-0c (spec/canary owner) + rei-aios-02 (impl owner)

目的

「端子仕様 (terminal spec)」 = 3 独立装置 (device_c ZCE Ctx accounting checker / compose_baseline SAT UNSAT proof compression / zce_lean formal roundtrip) を単一 invocation IF (invoke_via_terminal(device, target, canary)) で統合し、 F2 composition rule (strict AND) で端到端 verdict を compose する pattern。 scripts/site-verify-signature.sh (STEP 2058 canary v1) を「端子 1 本目」として retrospective identification、 STEP 2098-2110 で mock/reference impl 層を完成。

Arc 概観 — 12 STEP timeline

STEP	Slug	Layer	Test	Owner
2098	terminal_spec_v0_freeze	base v0 spec-freeze	—	rei-aios-0c
2099	terminal_spec_v01_f1_f7_addendum	v0.1 F1-F7 addendum spec-freeze	—	rei-aios-0c
2100	f1_canary_object_impl	F1 canary 3 file (data)	—	rei-aios-0c
2101	f2_composition_impl	F2 composition rule (v0 strict AND + v1 partial + weighted KILL)	24/24	rei-aios-02
2102	f3_meta_canary_impl	F3 meta-canary I1-I4 checker	12/12	rei-aios-02
2103	f5_external_verifier_cli_impl	F5 external verifier CLI (manifest v0)	26/26	rei-aios-02
2104	f6_rei_checker_parallel_impl	F6 rei-checker-mcp parallel invocation (責務分離 hard)	15/15	rei-aios-02
2105	f7_chip_integration_impl	F7 axiom footprint chip integration	14/14	rei-aios-02
2106	f2_three_device_wire_impl	F2 3-device wire (mock adapters + F2+F7 wire)	20/20	rei-aios-02
2107	real_device_probes_env_detect	Real device 3 者 env probe	14/14	rei-aios-02
2109	external_verifier_manifest_generator	External verifier manifest generator (F5 CLI 前提 artifact)	14/14	rei-aios-02
2110	f3_real_probe_integration	F3 meta-canary real probe integration (3-status report)	9/9	rei-aios-02

STEP 2108 は peer tab (rei-aios-d7) の別 topic (d7_timestamp_desync_failure_log_entry) が claim 済み、端子仕様 arc とは無関係で番号 skip。

Spec ↔ impl mapping

Spec §	Impl entity	Behaviour
base v0 §2	`Verdict` enum	REAL / FALLBACK / UNKNOWN (3 排他)
§3.1 invocation contract	`invoke_via_terminal` + `invoke_all_via_terminal`	3-device orchestrator + composed audit hash
§3.3 composition rule	`compose_strict_and`	FALLBACK ≻ UNKNOWN、 empty → UNKNOWN
§F1 canary schema	`data/tabs/rei-aios-0c/canary/` 3 file	device_c ill-formed r>b + compose_baseline trivially UNSAT + zce_lean axiom-free Prelude-only
§F2.1 v0 strict AND	`compose_strict_and`	default
§F2.2 v1 partial verdict	`compose_partial_verdict`	opt-in 5-field schema、 overall は v0 と byte-for-byte 一致
§F2.3 v1 weighted	`compose_weighted → NotImplementedError`	KILL hard guard (self-preference bias 予防)
§F3 meta-canary	`check_I1_idempotency` + I2 + I3 + I4	independent spec-derived rederivation (F2 impl call せず)
§F5 external verifier	`f5_verifier_cli.py` + `external_verifier_manifest_generator.py`	identity check 3-state + Panickssery citation embed + exit code 0/1/2
§F6 rei-checker parallel	`f6_rei_checker_parallel.py`	責務分離 hard、 2 verdict merge せず side-by-side
§F7 chip integration	`f7_chip_integration.py`	全 REAL sum、 else None、 dependency direction hard

3 real device 実測 env 現状

2026-09-18 セッション実測: 3/3 device env_blocked。

device_c: rei_repair Python package 未 install (cross-tab pip install は tab isolation で私の scope 外)
compose_baseline: cadical / drat-trim / cake_lpr / zstd 全 missing (W3-a pilot env install pending)
zce_lean: lean + lake 未 install、かつ ZCE v0.3 encoder pending (STEP 1888/1891 hard-block)

Real invocation は全 defer、 open gate 3 (braid explicit go / W3-a pilot / ZCE v0.3 encoder) close 後別 STEP 依存。

Discipline (全 STEP 通し)

Load-bearing invention #5「急がずゆっくりと」 8 段 loop 遵守
Tab Isolation Protocol v0.1 (STEP 1670): real device src file は READ only cross-tab、 write は全 data/tabs/rei-aios-02/ sidecar 内
chat-Claude discipline soft-break 明示認識: 藤本さん explicit override signal 経由承認、 chat-Claude 独立検証未実施
Novelty 主張ゼロ: spec 忠実 impl、 mock adapters は signature-only stand-in、 shutil.which + importlib.util.find_spec は標準 pattern
self-verify only ≠ external verify: 全 test PASS は self-preference bias 対象 (Panickssery)
structural_pass ≠ real_pass hard 区別: real device 実 invoke は全 defer
Multi-tab safety: git-atomic-commit.sh + index lock 遭遇時は待ち徹底 (lock file 直接削除禁止、別 process の進行中 commit 尊重)

Mandatory citation (§F5.1)

Panickssery, N., et al. "LLM Evaluators Recognize and Favor Their Own Generations." NeurIPS 2024. arXiv:2404.13076.
→ 端子 code を書いた identity は verifier 不可 (self-preference bias 直接該当)。 external verifier requirement (§F3.3 + §F5.2) は別 identity (別 LLM / 別 Rei tab / 決定論的 Lean 4 proof) 経由別 STEP defer。

Honest scope (arc 全体)

本 arc が主張しないこと:

Real device 3 者 (device_c / compose_baseline / zce_lean) の real invocation が動くこと (env 全 blocked、 real integration 全 defer)
External verifier real execute (別 identity が F5 CLI で consume するのは別 STEP defer)
F3 meta-canary の real device satisfaction verify (structural_pass = env preconditions met、 real_pass ≠ structural_pass)
「新機構」主張 (spec 忠実 impl + mock adapters は signature-only stand-in のみ、全 reference-impl-mock-adapters flag embed)
Chat-Claude 独立検証 (soft-break を藤本さん explicit override signal で承認、 chat-Claude relay 経由の独立 review は未実施)

Next candidates (open gate 3 close 後別 STEP、藤本さん explicit go 依存)

Real device 3 者 real invocation wire: rei_repair pip install / cadical+drat-trim+cake_lpr+zstd install / lean toolchain + ZCE v0.3 encoder impl
Real external verify execute: 別 LLM identity 経由 F5 CLI run against STEP 2109 で生成する manifest
F3 real device real invariant satisfaction verify: real invoker で invariant check、 status="real_pass"

References

/tools/notepad/ — STEP 2101-2110 個別 notepad entry (client-side filter/search)
SITE_COVERAGE_MAP.md — 各 STEP × site 反映状態詳細 mapping
data/tabs/rei-aios-0c/ — base v0 spec + v0.1 addendum + F1 canary objects
data/tabs/rei-aios-02/ — F2-F7 + real probe + manifest generator + F3 real probe integration sidecar impl
notes/steps/ — STEP 2101-2110 個別 STEP fragment (STEP 2108 は peer tab 別 topic)

目的