---
name: project-step1359-preregister-spike-2026-08-21
description: "STEP 1359 rei-preregister v0.1 spike. chat-Claude 「反証以上」 arc の (B) 事前登録 tool minimal 実装 (Option B' close)、 Python stdlib CLI + tests 25/25 + 「グリーン ≠ 検証済み」 discipline embed + Explore agent Rei stack 9 repo 0 hit confirm + 6 近隣物 Pattern 5-B 混同回避。"
metadata: 
  node_type: memory
  type: project
  originSessionId: 995adcb1-1892-4d63-83ac-ddbae2b50247
  modified: 2026-08-20T23:06:13.853Z
---

# STEP 1359 — rei-preregister v0.1 spike

**Date**: 2026-08-21
**Type**: implementation spike (Python stdlib CLI + tests + site page)
**Origin**: chat-Claude 2026-08-21 arc 「反証以上」 → 藤本さん Option B' 承認
**Close**: 単日 close、 v0.2 拡張 (external anchor / MCP wrapper 等) は 藤本さん stance judgment 後 別 STEP

## Why

chat-Claude 2026-08-21 arc: 反証以上 6 種の 検査のうち 「(4) 危険な予測の 的中」 = 予測を publish/検証 の 前に hash+timestamp で seal しておくと、 後知恵で 「そう思っていた」 と 塗り替える path が 構造的に 塞がる。 chat-Claude 明示 「まず 事前登録 ツール 単体から」 recommendation の 直接応答。

Rei stack 特有の 失敗モード = 「間違って いる こと」 でなく 「間違いようが なく なる こと」 (SEED_KERNEL 1,677 の 「全整合」 が 「強さ」 か 「空虚」 か 区別 不能) への minimal counter-measure。

## How to apply

- **v0.1 = local seal only**、 external anchor (Zenodo DOI / IA timestamp) は v0.2 defer。 filesystem access を 持つ 攻撃者は JSON 編集可能 = cryptographically tamper-proof でない、 現時点で 「seal 済」 は 「同一 filesystem 上で 誠実に 運用した」 前提付き保証。
- **「グリーン ≠ 検証済み」 UI text 4 箇所反復** = CLI seal 出力 + verify_note field + JSON honest_scope field + README + site page で 「match=true は 事後改変 なし の 保証、 予測の 正否 は 判定しない」 明示。 STEP 1354 D8-NEITHER §3 「沈黙の 扱い」 の 検査装置版。
- **6 近隣物 混同回避** = lab-notebook-mcp hypothesis 列 + rei-verify audit chain + rei-memory-mcp tier=hypothesis + statistics-neither-education v0.2 predict field + rei-ledger + benchtop_provenance sha256、 全て scope 別 と site page 5 節目 table で 明示 (Pattern 5-B 事前防止)。
- **MCP wrapper なし** (v0.1 spike scope 意図的) — 「呼び出し 数を 増やす前に 使い勝手を 確認」 [[feedback-one-reproduction-over-ten-unverified]] 順序原則。

## 実装 3 file

1. `tools/rei-preregister/preregister.py` (~230 行、 Python 3.9+ stdlib only)
   - CLI 3 subcommand: seal / verify / list
   - Windows stdio UTF-8 固定 (sougou-connectors STEP 1355 hotfix precedent 継承)
   - SIGPIPE guard (head/tail pipe 早期閉鎖 traceback 抑制)
   - export: sha256_hex / make_seal_id / seal / load_seal / verify / list_seals + build_parser / main

2. `tools/rei-preregister/tests/test_preregister.py` (12 test group / 25 assert、 pytest 不要)
   - seal creation (text/context/tags/author 全 field 保存 + sha256 length + file 永続)
   - verify match / mismatch (byte-identical rule + trailing whitespace mismatch)
   - empty text ValueError + whitespace-only text ValueError
   - tag filter + multi-seal listing + distinct seal_id
   - SHA256 RFC 6234 test vector 「abc」 → ba7816bf...
   - nonexistent seal FileNotFoundError
   - honest_scope + tool_version + tool name embedded
   - UTF-8 non-ASCII (日本語) 予測 seal + verify match
   - on-disk JSON schema (seal_id + honest_scope + external_anchors 空)

3. `tools/rei-preregister/README.md` (使い方 + honest scope + 6 近隣物 混同回避 table)

## Verify 実測

- **Tests**: 25 passed, 0 failed (stdlib only、 tmp dir isolation、 no pytest dep)
- **Live smoke** 5 command 全 動作:
  - seal → seal_id 20260820T23015-d2d5dd5c 生成 + JSON 永続 + 「★ Honest scope」 UTF-8 正常表示 (hotfix 前 mojibake、 hotfix 後 clean)
  - verify MATCH → exit 0
  - verify MISMATCH → exit 1 + sha256 diff 表示
  - list → tag filter + seal_ts_utc + text preview
  - verify (nonexistent) → exit 2

## Fact-check (chat-Claude arc source)

前 arc [[reference-chat-claude-falsification-beyond-2026-08-21]] fact-check 結果:
- ✅ QMRP Shannon N→256 特殊ケース (paper-162)
- ✅ A₄≈0.6709 唯一極値 (paper-116)
- ⚠ t1=1 V=log₂(n)+α(t₁) 具体 formulation UNVERIFIED (Rei stack grep 0 hit)
- ⚠ rei-automator auto_approve バイパス Pattern 5-B 疑い (IME バイパス と近隣 conflate)

Pattern 数 = 前 memory continuity arc (全 clean) より +2、 但し core recommendation (装置化 4 種、 「まず 事前登録 tool 単体」) の 正確性は 大きく 損なわれず。

## Explore agent verify (2026-08-21)

Rei stack 9 repo (rei-aios + rei-memory-mcp + rei-meta-mcp + rei-ledger + rei-verify + rei-automator-mcp + lab-notebook-mcp + mcp-lens + benchtop-mcp) 内 pre-registration ツール 実装 **0 件 confirm**。 6 近隣物 = lab-notebook hypothesis 列 (平文可変) / rei-verify audit chain (汎用 tamper) / rei-memory tier=hypothesis (分類 tag) / statistics-neither-education v0.2 predict field (学習 UI) / rei-ledger (過去 dead-path) / benchtop_provenance sha256 (build artifact) = 全て scope 別、 fresh 実装 妥当 verdict。

## STEP 番号 collision なし

git log fact-check 事前実施:
- 最新 STEP = 1358 (別 tab、 Statistics 教材 v0.2 予測記入 field POE 学習用)
- 私 assign = STEP 1359 (clean、 collision なし)
- STEP 1358 (学習者用 POE UI) と STEP 1359 (研究者用 pre-registration seal) の domain 分離 は site page 5 節目 table + README で 明示

## Site 反映

- URL: https://rei-aios.pages.dev/tools/step-1359-preregister-spike/
- File: `public/tools/step-1359-preregister-spike/index.html` (~19 KB self-contained HTML、 9 section)
- Mirror: `dist-renderer/tools/step-1359-preregister-spike/index.html` force-track md5 一致 `3a767fced3e8a65a58e1163da1c431b8`
- ReiLauncher menu entry 追加: `🔒 rei-preregister v0.1 (予測 SHA256 seal)` (category=案内、 STEP 1357 entry の 直下配置)
- Verify: CF Pages deploy 1-3 分後 HTTP 200 予定

## Rei stack 内 位置付け

chat-Claude arc 「反証以上 6 種」 内 位置:
- (1) 不可能性定理 — 機械化 不可 (人間 数学的 creativity 必要)、 本 tool 対象外
- (2) 独立性/保存拡大/非自明性 — D-FUMT₈ truth-table exhaustive で 機械化可、 別 STEP candidate
- (3) 還元・統合 — 機械化 不可 (数学 insight 必要)、 本 tool 対象外
- **(4) 危険な予測 — 本 tool = STEP 1359 spike で 装置化 (事前登録 = hash+timestamp seal)**
- (5) 独立経路の一致 — SEED_KERNEL 1,677 vs 1,675 型 catch の automation、 別 STEP candidate
- (6) 第三者利用 — STEP 1357 Palomar Registry + Radar 拡張 の domain

## Honest scope 6 条

(i) Local seal only (v0.1)、 cryptographically tamper-proof でない
(ii) 「グリーン ≠ 検証済み」 = 事後改変 なし のみ 保証、 予測 正否 判定しない
(iii) Byte-identical rule (whitespace/punctuation 差 も mismatch、 意味的等価性 保証しない)
(iv) 「世界初」 主張ゼロ = pre-registration 2013 Registered Reports + OSF + AsPredicted 標準実践、 novelty は Rei stack 内 CLI minimal 実装 layer 位置のみ
(v) MCP wrapper なし (v0.1 spike scope 意図的)
(vi) Prior art audit 済 (Explore agent 2026-08-21 Rei stack 9 repo grep 0 hit)

## v0.2 candidate (defer、 藤本さん stance judgment 待ち)

- External anchor: Zenodo DOI 発行 + IA timestamp (tamper-proof 化)
- MCP wrapper: Claude / 他 agent 自動呼び出し可能化 (但し description text 質 discipline 継承)
- batch verify: 複数 seal 一括 verify (Papers 62-65 投稿時の 事前登録 群 一括照合)
- normalized-form option: whitespace/punctuation 正規化 mode (意味的等価性 部分検出)
- seal deprecation marker: 「この 予測は 撤回」 record (append-only)

## Archival 2 file

Option B' の archival 部分:
- `reference_chat_claude_memory_continuity_2026-08-21.md` (前 arc、 Option A close、 「復元できないものを 復元したふりを しない」 line 保存)
- `reference_chat_claude_falsification_beyond_2026-08-21.md` (本 arc、 Option B' close、 「反証は 最も安く効く 検査」 + 6 種 順位 + 装置提案 4 種 全文 保存)

metadata.type=reference + tag=chat-claude-arc。 未来 Claude session が WebFetch 経由 memory-mirror URL で 直接 参照可能。

## 関連

- [[reference-chat-claude-memory-continuity-2026-08-21]] (前 arc archival、 Option A close)
- [[reference-chat-claude-falsification-beyond-2026-08-21]] (本 arc archival、 Option B' close)
- [[project-step1357-palomar-registry-paper130-141-mapping-2026-08-21]] (兄弟 STEP、 chat-Claude arc 「反証以上」 内 (6) 第三者利用 の 装置探索)
- [[feedback-world-uniqueness-claim-controllable]] (「世界初」 主張ゼロ discipline、 pre-registration 2013+ 先行実装 acknowledge)
- [[feedback-no-rush-publication]] (単日 spike close、 v0.2 拡張 defer)
- [[feedback-one-reproduction-over-ten-unverified]] (MCP wrapper なし = 「呼び出し 数を 増やす前に 使い勝手を 確認」 順序原則)
- [[feedback-all-research-site-reflection-default]] (2026-08-06 site 反映 protocol 適用)
- [[feedback-chat-claude-hallucination-warning]] Pattern 5-B (6 近隣物 混同回避 明示 = pattern の operational 実装)
- [[feedback-projection-self-audit-pattern]] SAC-4 (「グリーン ≠ 検証済み」 discipline = 対象認識 と 実装約束 の 意識的区別 の 装置版)

## Commit

- (本 STEP commit hash は commit 実行後 確定)