2026-09-17 JST · rei-aios-d7 tab · 素材段階 (未 freeze / 未実測) · chat-Claude prior-art audit → 素材 tarball 13 file / 22 KB → 私 独立検証 4 layer → chat-Claude 3 点 review → 藤本さん judgment 3 layer 待ち
| stage | event | 担当 | 成果 |
|---|---|---|---|
| 1 | Prior-art audit (Pattern 5) | chat-Claude via 藤本さん relay | Sage BraidGroup が braid 演算 完全カバー → 単独 MCP / bot は KILL、 較正カートリッジ用途のみ SURVIVE |
| 2 | 形の候補 判定 (KILL/CONFINE/SURVIVE) | chat-Claude | §3 停止条件較正 (B₄/B₅ 対) が SURVIVE 最上位、 §2 修正機器第 4 stream は defer (v0.2 反証条件着地待ち)、 §4 故障判定機 oracle は副産物 |
| 3 | 素材 tarball 準備 (13 file / 22 KB) | chat-Claude (`braid-stopping-calibration-materials.tar.gz`) | Python stdlib only / STEP unclaimed / DRAFT / 再現性 gate 済 / 素材内 検出 1 件 (family_seed hash(name) 経由 PYTHONHASHSEED 依存) を content_sha256 = SHA256(f"{SEED}:{family}") に修正 |
| 4 | d7 sidecar 配置 + 独立検証 4 layer | rei-aios-d7 (私) | selftest 55/55 PASS (UTF-8 環境) / file_sha256 12/12 一致 / index.json 内 content_sha256 4/4 一致 / CONTENT_KEYS-restricted 独立再導出 4/4 一致 |
| 5 | 3 点 review (CP932 / §3 / §5) | chat-Claude 独立 audit + 私 独立検証 | CP932 印字経路 4 箇所 (chat-Claude 特定) + em-dash 全 9 箇所 (私 grep) + score.py section [1] crash 実測 confirmed + score.py:116 は現状 dead code (未来 pollution 予防に修正妥当) |
配置: data/tabs/rei-aios-d7/braid-stopping-calibration-materials/braid-stopping-calibration-materials/ (git 未 add sidecar / TAB_ISOLATION_PROTOCOL 遵守)
| file | 役割 | SHA256 (先頭 16 char) |
|---|---|---|
braid_core.py | 演算核 (依存ゼロ、 stdlib only、 Burau + Dehornoy 簡約 + Bigelow 元) | 6a81c91031816352 |
selftest.py | 構造ゲート (55 gate、 落ちたら実行禁止) | e8d1283c864b7b52 |
gen_traces.py | トレース生成器 (version guard + content_sha256 = SHA256(SEED:family)) | bd22064353e44de0 |
score.py | 参照停止条件で採点 + 交絡併記 | ef22bb4854ba504c |
traces/*.json | 4 系統 (A1/A2/B/C) + index.json (SHA256 付き) | — (family 別) |
PRE_REGISTRATION-v0-DRAFT.md | 反証条件 6 項目 + 未 freeze パラメータ 4 項目 + 予測事前登録 §8 | 138a88b5edcb79a0 |
manifest.json | 全 file SHA256 + trace content_sha256 + DRAFT marker | — (self-ref) |
step-claims.json | 空 (claims: [])、 未 claim の明示 | 34f5d4e8d65d5660 |
| family | n | 生成元 | 不在は真か | 役割 |
|---|---|---|---|---|
A1_n4_absence_true | 4 | {1,2,3} | 真 | 真陰性 |
A2_n5_sub_b4_absence_true | 5 | {1,2,3} | 真 | B と行列サイズ・計算コストが同一の matched control。 実体は B₄ ⊂ B₅ |
B_n5_absence_false | 5 | {1,2,3,4} | 偽 | 偽陰性の罠 (Bigelow 元 最短既知 118) |
C_n5_planted | 5 | {1,2,3,4} + 植込 | 偽 | 陽性対照。 既知深度 10²–10⁵ に kernel 元を植込 |
Matched control (A2) の必要性: A1 と B は行列サイズ (3×3 vs 4×4) が違うので計算コストで区別されてしまう交絡がある。 A2 は B と同じ 4×4 でありながら生成する部分群が B₄ なので kernel 元が存在しない。 これにより hit counter のみを読む停止条件は A2 と B に同じ verdict を出すしかなく、 A2 (不在真) と B (不在偽) のどちらかで必ず誤る = H1 の測定基盤。
| # | 検証 | 結果 |
|---|---|---|
| 1 | selftest.py 全 55 gate 実行 (A1 braid relation 13 + A2 inverse 14 + A3 far commute 9 + B1 trivial 5 + B2 nontrivial 5 + C1-C6 Bigelow 6 + D1 conjugate 1 + E1 n≤4 kernel 探索 1 + F1 2 経路 verdict 不一致 oracle 1 + G1 中間語 β=I 保持 1) | 55/55 PASS、 UTF-8 環境で exit 0 clean |
| 2 | manifest.json file_sha256 (12 file) 独立再計算 | 12/12 一致 (bytecode ではなく byte-level SHA256 一致) |
| 3 | traces/index.json 内 content_sha256 (4 family) vs manifest.json 内 trace_content_sha256 | 4/4 一致 (二重照合 = manifest ⇄ index.json cross-check) |
| 4 | content_sha256 を CONTENT_KEYS = [protocol, family, n, generators, seed, max_word_len, budget, planted_depths, hits, checkpoints] に限定した trace data から canonical JSON + SHA256 で 独立再導出 | 4/4 一致 (timing 除外、 sort_keys=True、 separators=(",",":") で決定的) |
私の初期 CP932 impact 分析 (selftest.py:126 の 1 箇所のみ) は 不完全。 chat-Claude 全 Python source 走査で 印字経路 4 箇所特定 → 私 独立 grep で em-dash 全 9 箇所 (印字経路 4 + docstring/内部 comment 5) 確認。
| 箇所 | 内容 | 影響 |
|---|---|---|
selftest.py:126 | print("ALL PASS — ground truth ...") | 成功時のみ crash → return 0 到達せず |
score.py:140 | print("[1] family statistics — 交絡の開示") | 測定レポート本体が section [1] で crash (実測 confirmed) |
score.py:191 | print("[4] positive control C — 植込深度ごとの検出") | 同上 |
score.py:116 | return "—" if absence_is_true else "ok (no false absence)" | 現状 dead code (grade() 戻り値 g は L184 の if g == "FALSE NEGATIVE" の comparison のみ、 行に直接 print されない、 tag が実表示)。 未来 table 拡張時 pollution 予防に修正妥当 |
実 score.py 実行結果: protocol header 1 行印字 → 即 section [1] で UnicodeEncodeError: 'cp932' codec can't encode character '—' = chat-Claude 「較正レポートが section [1] で crash」 claim 実測完全一致。
seed=20260917 / handle_reduce.*: 受諾budget=120,000: 引き上げ可 (10⁶ でも約 2.5 分)、 但し max_word_len=18 に対し B₅ 核元 最短既知長 118 で 到達不能 = 予算増加は情報量ではなく反論封じ、 「頑丈さ増加」 と誤解しない文言注意undecided 率追加: A2 と B が両者 kernel=0 でも handle_reduce.{max_steps=6000, max_len=30000} 超過による undecided 率が違えば 「同じ 0 でも比較にならない」 → §5(a) trace comparison 前提を保護selftest.py の出力に FAIL で始まる行が 1 行でも現れる」 = CP932 環境での false trigger 予防 + UTF-8 環境での reporter 変更 non-invariance も予防| # | layer | 内容 | 私 実行可否 |
|---|---|---|---|
| 1 | CP932 4 箇所修正 (b) | selftest.py:126 + score.py:{116, 140, 191} em-dash → ASCII ハイフン置換、 manifest.json file_sha256 2 file 再計算 (content_sha256 無傷 = trace 再生成なし) | 要 explicit go。 chat-Claude 素材編集 = coordination 対象、 私単独判断で触らない |
| 2 | §3 パラメータ更新 | budget 引き上げ (10⁶ 可) + budget documentation 文言注意 + §5(a) に undecided 率追加 | 要 explicit go。 PRE_REGISTRATION-v0-DRAFT.md の §5(a) 修正 |
| 3 | 反証条件 (a1)/(a2)/(e)/(g) 追加 | (e) 文言運用可能化 + (g) 装置決定性追加 + (a) → (a1)/(a2) 分岐 = 6 項目 → 8 項目化 | 要 explicit go。 §5 反証条件 更新 |
上記 3 layer 確定 → 修正実行 (chat-Claude 側 or 私 側) → 再検証 (selftest 全 PASS + SHA256 再計算) → freeze → claim-step.ts --slug braid-stopping-calibration 採番 → stopping_condition_* 群 に trace 投入 → §6 4 象限判定、 の順序で進行可能。
braid-stopping-calibration) で予約arXiv:2607.05283 (Bharathram-Birman-Brendle 2026-07-06 「B₄ Burau faithful」) は 査読前、 claim に併記必須。 但し較正骨格は「B₄ 不在」が仮に覆っても壊れない (family A1 label 反転のみ、 非対称構造は B₅ 側から立つ)selftest.py F1 群 (2 経路 verdict 不一致検出) は ground truth なしで動く故障検出器そのもの、 故障ログ 4 field (装置名 / 故障種類 / 検知した guard / 検知までの遅れ) にそのまま乗るbraid-stopping-calibration-prep-arc = 本 STEP 2095、 braid-stopping-calibration = 未来較正実測 STEP)、 素材内 step-claims.json.claims == [] 明示、 site page title で 「素材 arc 準備完了」 明示BraidGroup: Braid groups — SageMath Reference Manual (prior art baseline).githooks/commit-msg) — 本 STEP 2095 採番は scripts/claim-step.ts 経由 (中央 counter atomic advance)