noisy-observation-recovery / logistic-map Home GitHub EN

研究記録 · 固定設計 · 運用的測定

有限観測からの有限段スケーリング量の回復

Phase A / B1 / B2 の研究記録。非確証的な Phase C の追試、探索的な Phase D0 新規シード再現プローブ、および D0 候補集合の事後再構成を併載する。

更新 2026-08-13 · ロジスティック写像 f_u(x)=u x(1-x) · 単一ペイロード/単一Observer/固定ノイズ場

本文書の性格

主研究記録は、単一のロジスティック写像ペイロードと単一の固定 Observer を用いた、小規模な固定設計(トイ)研究 Phase A/B1/B2 である。後続の Phase C は別の写像由来曲線と、別個に開発された二つの Observer を用いたが、その実行履歴と Observer 独立性の未定量性により証拠力は限定的である。Phase C は非確証的・仮説生成的な追試としてのみ保持され、主結論の裏付けには用いない。Phase D0 はさらに狭い事前特定の探索的プローブであり、B2 の delta_3 誤受理が同一 sigma における固定40新規シードで再現するかのみを問う。再現は観測されなかったが、これは固定標本の観測であって、安全性の証拠でも母集団誤り確率でもない。後の候補集合再構成は同じ40入力を事後的に再生成したものであり、当初封印された D0 出力とは明示的に別扱いで、記録された結果の記述的な計算論的分解を与えるにとどまる。すべての測定は運用的であり、記載されたペイロード・実装・ノイズ場・固定格子に限定される。一般理論、普遍性、母集団性能、安全性についての主張は一切含まない。

目次
  1. 第I部 — 研究記録
  2. 1. 概要(平易な要約)
  3. 2. 研究設問と主張の範囲
  4. 3. 対象量と実験上の役割
  5. 4. Phase A:理想条件下の回復
  6. 5. Phase B1:粗いノイズ格子での回復喪失
  7. 6. Phase B2:細分化格子と初回失敗帰属
  8. 7. 唯一の誤受理
  9. 8. 探索的追試(Phase C)
  10. 9. 探索的 Phase D0:新規シード再現プローブ
  11. 10. 再現性・封印・監査境界
  12. 11. 限界と明示的非主張
  13. 12. ファイル案内
  14. 13. 結論
  15. 14. 読者向け注記:残る限界
  16. 第II部 — インシデントノート(seed 41014)
  17. 単一事例に限定した事後参照診断
  18. 第III部 — ディスカッションノート
  19. 観測空間に現れた構造と、安定に再現する誤同定

第I部

研究記録:Phase A / B1 / B2(+C, D0)

出典:README_EN_2026-08-13_2.updated_phase_d0_posthoc.md

01概要(平易な要約)

ロジスティック写像 f_u(x)=u x(1-x) の周期倍分岐カスケードは、有限段の量を持つ。すなわち分岐パラメータ間隔の比 delta_k と、超安定軌道の状態空間スケール比 alpha_k である。Phase A/B が測定したのは、写像の式も、物理パラメータ名も、いかなる真値も与えられていない固定手続き(Observer)が、有限かつ匿名化された観測のみからこれら有限段の量を回復できるかである。

主フェーズは三つ実行された。

後続の探索的 Phase C 追試は §8 に別記する。数値要約は透明性のために保存するが、第4の主フェーズとも確証的証拠とも扱わない。観測された傾向が実在の現象を反映しているならば、ディスカッションノートの観測空間解釈と定性的に整合するが、その整合性は仮説であって主研究の結果ではない。

探索的 Phase D0 新規シード再現プローブは §9 に記す。B2 の事件条件そのもの(A3, sigma=1.6e-9)で、無変更の Observer は事前固定の未使用シード 41021–41060 に対し delta_3: ABSTAIN=39 / RECOVERED=1 / WRONG=0 を出力した。したがってこの固定集合では 41014 型の誤受理は再現しなかった。別途の事後再構成では、40件すべての ell=2 セルでゼロ参照関連候補が保持されていた。うち39件は代替候補も含み非一意で、これは39件の ABSTAIN と対応する。seed 41042 のみが参照のみの一意タプルを厳密に保持し RECOVERED となった。偽候補のみ、あるいは一意な偽候補のみの ell=2 セルは観測されなかった。これら固定集合の観測は、非再現性を確立するものでも母集団確率を推定するものでもない。

最重要の主結果は「ファイゲンバウム的な量が回復できた」ことではなく、次の二点である。

  1. 固定ロジスティック写像 Observer の破綻は、単一の共通機構に還元できなかった(80帰属行のうち33行が同一深さでの同時失敗、すなわち TIE)。
  2. Observer の ESTIMATE ラベルは、真の有限段構造が回復されたことの保証ではない。B1 の粗い格子で観測された「棄権のみによる喪失」という性質は、B2 の細分化格子にそのまま延長されなかった。

Phase B2 では、seed 41014・sigma 1.6e-9 の delta_3 で誤受理が1件観測された。保存入力に対する限定的なリプレイ/Decimal 診断は第II部を、同一保存入力に対する固定ランタイムでの局所受理経路の再現は §7.1 を参照。探索的 Phase C はこの事件の直接的追試ではない(対象・信号・ノイズスケール・採点単位・Observer がいずれも異なる、§8)。Phase D0 は A3 課題・凍結 Observer・事件時 sigma をそのまま再利用し、固定40新規シードを用いたが、単一条件の記述的再現プローブにとどまる(§9)。

↑ 先頭へ

02研究設問と主張の範囲

2.1研究設問

主研究は次の二問に限定される。

  1. 有限段の量 delta_2, delta_3, alpha_2, alpha_3 は、有限・匿名化・受動的な観測から運用的に回復できるか。
  2. 観測にガウスノイズを加えたとき、固定 Observer はどこで止まり(ABSTAIN)、どこで誤答するか(WRONG)。

主設問の固定文言は 03_PHASE_A/PLAN_PHASE_A_FINITE_LEVEL_RECOVERY.md §1、04_PHASE_B1/PLAN_PHASE_B1_GAUSSIAN_BREAKDOWN.md §1、05_PHASE_B2/PLAN_PHASE_B2_FIRST_FAILURE_ATTRIBUTION.md §1 に登録されている。Phase C は Observer 横断の追加設問を立てたが、その設問と結果は探索的追試(§8)に留め、主張には加えない。

2.2主張しないこと

↑ 先頭へ

03対象量と実験上の役割(Generator / Observer / Scorer)

3.1対象量

Phase A/B で採点されるのは、次の四つの有限段の量のみである。

Scorer が保持する真値(03_PHASE_A/results/truth.json、十進作業精度100桁、残差 <1e-60、ブラケット幅 <1e-50):

真値(先頭桁)
delta_24.7514462181782065490…
delta_34.6562510176513567607…
alpha_2-2.5318376593375099668…
alpha_3-2.5087181990346510327…

b_ks_k は別個の数列であり、独立に求解・相互検証されている(同ファイルの verification ブロック参照)。

Phase C が採点するのは観測座標上の不安定化位置1点であり、非公開真値は 37/71 である。上記4量の再推定でも、別の有限段スケーリング量の追加でもない。

3.2三役割の分離

→ 表は横スクロールします

役割知っているもの出力するもの
Generator写像の式、物理パラメータ u、初期状態、バーンイン、全設計値匿名化ペイロードのみ(アフィン座標 v in [0,1]、観測系列 yNK
Observerペイロードのみ。写像の名称・式、cb_ks_k、真値、既知定数は一切与えられない判定ごとに ESTIMATE(有限値付き)または ABSTAIN(理由コード付き)のみ
Scorer真値を非公開で保持。すべての Observer 判定が確定した後にのみ採点RECOVERED / WRONG / ABSTAIN
この二層のラベルを混同しないこと

ESTIMATE / ABSTAIN は Observer の生出力であり、RECOVERED / WRONG / ABSTAIN は真値開封後に Scorer が与える分類である。ESTIMATE は「正しかった」を意味しない。§7 がその具体的反例である。

Observer の ABSTAIN 理由コードは次の5種に固定されている:PERIOD_LEVEL_UNRESOLVEDBIFURCATION_BRACKET_UNRESOLVEDCRITICAL_REGION_UNOBSERVEDSUPERSTABLE_GEOMETRY_UNRESOLVEDBRANCH_OR_SIGN_UNRESOLVED03_PHASE_A/PLAN_….md §6)。

探索的 Phase C は同じ分離原理を用いるが、課題と契約は異なる。Generator は第二の写像由来スカラー観測曲線を非公開に定義し、各 Observer は不透明な対象IDと401点の順序付き (座標, 観測値) 対のみを見て、不安定化位置の ESTIMATEABSTAIN を一つ返す。二つの Observer は理由コード語彙も診断量も異なるため、Phase C は最終判定ステータスと推定位置のみを比較する。内部診断語は意味的に可換とは扱わない。以上は主 A/B 研究の範囲を変更しない。

↑ 先頭へ

04Phase A:理想条件下の有限段回復

4.1条件

4.2判定閾値の性格

分類閾値は relative_error <= 0.05 の一つだけである。これは統計的に導出された信頼区間ではなく、最小限の成立性を選別するために事前登録された運用(工学)閾値である。03_PHASE_A/results/phase_a_score.json"tolerance_is_nonstatistical_and_arbitrary": true と明記している。信頼区間、被覆率、FPR、多重比較補正はいずれの時点でも計算していない。

4.3結果

出典:03_PHASE_A/results/phase_a_score.json

分類件数
RECOVERED16
WRONG0
ABSTAIN0

最細格子(A3/A4)での相対誤差は delta_2: 3.60e-4delta_3: 5.77e-4alpha_2: 2.42e-6alpha_3: 7.30e-5。A3 の Observer 生出力は 03_PHASE_A/results/A3.json

観測事実:ノイズなしの4条件下で、匿名化観測のみから4量すべてが5%閾値内で回復された。

解釈(限定):推定手続きは最小限の成立性を満たす。これは4条件・決定論的ランのみを対象とし、統計的性能評価ではない。

↑ 先頭へ

05Phase B1:粗いノイズ格子での回復喪失

5.1設計

5.2結果

出典:04_PHASE_B1/results/summary.csv(32行)、breakdown_brackets.jsonrun_provenance.jsonstatus: COMPLETEobserver_runs: 141decision_records: 564

分類件数
RECOVERED244
WRONG0
ABSTAIN320

sigma=3e-9 における理由コード内訳:

対象理由コード(20件中)
delta_2, delta_3BIFURCATION_BRACKET_UNRESOLVED 20
alpha_2SUPERSTABLE_GEOMETRY_UNRESOLVED 20
alpha_3SUPERSTABLE_GEOMETRY_UNRESOLVED 19、CRITICAL_REGION_UNOBSERVED 1

sigma >= 1e-8 では4対象すべてが PERIOD_LEVEL_UNRESOLVED に落ちる。

5.3読み方の限界

観測事実:この粗い格子では、誤答を一切伴わず、棄権のみで回復が失われた(WRONG=0)。

解釈(限定):この粗い格子の範囲内では、固定 Observer は情報が不十分なとき、もっともらしい誤答を返すのではなく棄権する挙動を示した。

一般化しないこと

WRONG=0 は安全性の保証ではない。当該ブラケットは固定格子・固定20シード・固定 Observer に対する運用的境界であり、「このノイズ水準を超えると推定は数学的に不可能」を意味しない。実際、細分化格子では WRONG=1 が生じている(§6、§7)。

↑ 先頭へ

06Phase B2:細分化格子と初回失敗帰属

6.1設問と設計

B2 の問いは、B1 で4対象すべてが同一区間内で回復を失ったのは、上流の共通周期認識層が先に壊れたためか、delta 側ブラケットと alpha 側幾何が別々に壊れたためか、あるいは遷移がシードごとの混合であるためか、である。

6.2判定結果

出典:05_PHASE_B2/results/decision_summary.csv(40行)、PHASE_B2_FULL_RUN_VERIFICATION_V1.jsonstatus: PASS

内訳
Observer 生出力ESTIMATE 388 / ABSTAIN 336(計724)
Scorer(真値開封後)RECOVERED 387 / WRONG 1 / ABSTAIN 336

6.3初回 ABSTAIN 閾値

→ 表は横スクロールします

対象初回 ABSTAIN初回過半(n≥11)初回全シード(n=20)初回 WRONG
delta_21.4e-91.6e-91.8e-9null
delta_31.4e-91.6e-91.8e-91.6e-9
alpha_21.8e-92.6e-93.0e-9null
alpha_31.8e-92.6e-93.0e-9null

delta 側が alpha 側より低い sigma で棄権へ移るという順序は、20シードのほぼ全体で再現する(onset_order_by_seed:18シードで delta_2delta_3 が同着先行、seed 41014 と 41017 のみが delta 内で順序を分ける)。

これらの閾値は事前登録格子上の運用的な初回失敗であり、連続 sigma における真の閾値ではない。境界の精度は格子間隔までである。

6.480行の初回失敗帰属

20シード × 4対象 = 80行(first_failure_by_seed.csv)を阻害層に対応付けた結果:

阻害層件数
DELTA_BRACKET18
ALPHA_GEOMETRY29
MIXED/TIE33
PERIOD_COMMON0

MIXED/TIE は可読用の表示名であり、検証 JSON では同じ33行に JSON 安全キー MIXED_OR_TIE を用いている。)

6.5前兆と阻害の区別

80行すべてで first_precursor_sigma = 1e-9(B2 格子の最小の正 sigma)であり、first_precursor_nodes は対象ごとに PR_LABEL_MATCH[…,j=5941]PR_PERIOD_ACCEPT[…,p=8,j=5941] の二者同着である。

観測事実:ゼロノイズ参照では PASS していた周期層の述語が、公式の ABSTAIN よりずっと前に格子点 j=5941 で FAIL していた。前兆は B2 で測定した最小の正 sigma である 1e-9 の時点ですでに検出されており、真の発生開始は <= 1e-9 で左側打ち切りである。1e-9 で初めて生じた」とは書けない。

また、B1 の 1e-103e-10 で全判定が RECOVERED だったことは、これらのトレーサノードがそこで PASS していたことを含意しない。B1 は同じトレースを記録していない(トレースは B2 で導入)。この空白を埋める追加ランは実施していない。

解釈(限定):共通の前兆は早期に可視だった。しかし初回 ABSTAIN を直接引き起こした阻害原因としては、共通周期層は支持されなかったPERIOD_COMMON=0H_U_common_upstream.first_blocking_rows=0)。阻害ノードは主として delta 側のブラケット一意性、alpha 側の超安定幾何最小値の一意性であった。

注意:前兆は「より早く劣化した」ことを意味するにすぎず、因果的原因ではない。打ち切り区間の外への外挿は行っていない。

6.6B1 の WRONG=0 と B2 の WRONG=1 は矛盾しない

両者は同じ sigma 集合を測定していない

したがって正しい言明は「B1 の棄権のみの喪失は B1 の粗い格子内の観測であり、細分化格子全体には延長できない」である。B1 の結果は誤りではなく、その解像度が別の範囲を覆っている

↑ 先頭へ

07唯一の誤受理

出典:05_PHASE_B2/results/score_records.jsonlrun_index: 74)、observer_records.jsonl

A3 · seed 41014 · sigma 1.6e-9 · run 74 · delta_3

run_id
sigma_1.6e-09_seed_41014
Observer ステータス
ESTIMATE
推定値
13.918719211822673
真値
4.656251017651357
符号付き/絶対誤差
9.262468194171316
相対誤差
1.9892544794209492
Scorer 分類
WRONG

同一ランで delta_2BIFURCATION_BRACKET_UNRESOLVED により棄権していた。Observer の observable_audit によれば、このランの b_hat_v1: null, 2: 0.5025, 3: 0.9582258064516129, 4: 0.9909677419354839(ゼロノイズ A3 は 1: 0.0799…, 2: 0.8054…, 3: 0.9581…, 4: 0.9910…)。

保存入力に対する限定的なリプレイ/Decimal 診断(出力記録 result_41014.txt)は第II部を参照。

この1事例が示すこと(限定):固定 Observer の ESTIMATE ラベルは、真の有限段構造が安全に回復されたことを意味しない。

示さないこと:この sigma における誤り確率、他シードでの再現性、Observer 全体の欠陥、あるいはノイズが真に新しい分岐を作り出したこと。

7.1固定ランタイムでの局所受理経路の再現

2026-08-12、次の局所的な保存データ経路

観測値対 -> 周期残差 -> 閾値判定 -> 周期ラベル -> ブラケット候補 -> delta_3

を、同一の保存入力に対し、元の固定ランタイム(CPython 3.13.15、NumPy 2.3.2、凍結 observer.py SHA-256 A72C880213D617C9479D8F4C9DFD3E7F277169CBB236FB9C4EDFEE0B800D7EB4)で1回だけ再実行した。事件入力は既存の A3 ペイロードと既存の seed 41014 ノイズスライスから再構成し、真値と Scorer は読み込みも使用もせず、新規シードも新規シミュレーションも導入していない。出典:SEED_41014_FIXED_RUNTIME_LOCAL_PATH_REPRODUCTION.txt

これは新しい Phase でも、新しいシミュレーションでも、正式な第三者フォレンジックでも、一般的な失敗機構の発見でもない。

当該実行のすべてのチェックは True を報告し、最終ステータスは PASS であった:凍結 Observer 出力は公式の Observer 生記録と一致、凍結された事件ラベルは保存 B2 トレースと一致、凍結ゼロノイズラベルは保存ゼロ参照と一致、小規模な独立の残差/ラベル計算は凍結 Observer と一致、独立に列挙したブラケット候補は保存経路および凍結経路と一致、独立の残差配列は保存トレース配列と一致した。

6201格子点のうち、ゼロノイズ参照に対して周期ラベルが変化したのは厳密に4点であった:

jvラベル変化
1260.0203225806451612891 → 2
31160.502580645161290312 → 4
49940.805483870967741994 → 8
59410.958225806451612938 → 0

閾値はゼロノイズ配列・事件配列とも tau = 1.00000000000000002e-08 であった。

b_2 候補集合を支配する2点について:

→ 表は横スクロールします

失敗した周期残差 − tau通過した周期最大残差対ゼロノイズ差分ノイズ差分
j=31162 (1.09344222565255222e-8)+9.34422256525522034e-104 (6.92810875335680976e-9)t=31, t+2=330-1.09344221885107072e-8
j=49944 (1.01635164173607961e-8)+1.63516417360795931e-108 (9.49821643558834694e-9)t=16, t+4=20+1.61993712888275354e-9+8.54357929372000360e-9

j=3116 では最大対へのゼロノイズ寄与が厳密に 0 であり、この対における周期2の閾値超えは実質的にノイズ差分のみによる。j=4994 では観測された符号付き差分が +1.01635164173607961e-8 で、そのうちノイズ差分がおよそ84.1%を占める。

b_2 候補集合は次のように移動した(2つの保存ラベル配列からの帳簿的再構成であり、別途シミュレートした系列ではない):

段階ell=2 候補
ゼロノイズ基準(4993, 4994, gap=0)
保存された j=3116 のラベル変化を適用後(3115, 3116, gap=0), (4993, 4994, gap=0)
さらに保存された j=4994 のラベル変化を適用後(3115, 3116, gap=0)

この1つの固定保存入力については、偽の b_2 候補が j=3116 で生成され、ゼロノイズの b_2 候補が j=4994 で除去され、その結果偽候補が一意となって受理された。同じ局所経路は元の固定ランタイムで再現され、保存トレースおよび公式の Observer 生記録と一致した。得られたブラケット b_2=0.5025b_3=0.9582258064516129b_4=0.9909677419354839delta_3=13.918719211822673 を与え、再現されたブラケット値からの独立計算も同じ数値を返した。

これは1つの固定保存入力に対する局所的な再現経路である。根本原因の証明ではなく、一般的な失敗機構でも、頻度でも、Observer 全体の安全性結論でもない。

因果主張を伴わない付随観測が二つある:j=126 は偽の 1 → 2 候補を追加し b_1 候補を2つにした。これは delta_2 の棄権と整合する。また j=59418 → 0 となり、b_3 ブラケットを gap 0 から gap 1 に変えた。j=5941 をここで 13.9187 という推定値の原因として記述してはいない。

7.2読み取り専用の近傍比較と固定20シード候補集合比較

事件経路の再現後、すでに封印済みのゼロノイズおよび B2 トレース配列から、別途の軽量な比較を行った。観測の生成、Observer の再実行、保存成果物の変更、シード追加、sigma 追加はいずれも行っていない。比較では margin = residual - tau を用い(margin <= 0 が PASS)、Observer の探索順序 p=1,2,4,8,16 を保持した。以下の臨界マージン述語とは、最初の PASS までに検査された述語のうち |margin| が最小のもの(PASS がなければ5周期すべての中で最小のもの)を指し、必ずしも最初の PASS 自体ではない。

seed 41014 について、6,201格子点は次のように機械的に分割された:

クラス運用的定義件数
A最終周期ラベルが変化4
B最初の PASS 以前に符号変化があったがラベルは不変0
C周期述語の PASS/FAIL 符号がすべて不変6,191
Dラベル不変。最初の PASS より後の述語のみ符号変化6

B=0 は「最初の PASS でラベルを決める」規則の帰結であり、新たに観測された頑健性ではない。最初の PASS 以前で符号が変われば、必然的に最初の PASS の位置も変わるためである。C のうち29点は事件トレースで |臨界マージン| <= 1e-9 であった。これらは閾値近傍の非交差であり、29件のラベル反転事象ではない。6つの D 点は j=419, 498, 501, 1242, 2329, 3480 で、先行する PASS の背後に隠れた周期述語の変化に対応する。

同じ計算を、同一の保存水準 sigma=1.6e-9 で、B2 の固定20ノイズ場すべてに適用した:

→ 表は横スクロールします

Seedラベル変化 A1e-9 以内の CD 点全述語交差臨界マージン最大移動
4100142715211.085e-8
4100251712171.063e-8
4100361611171.146e-8
4100471412191.053e-8
4100531711161.051e-8
4100672012201.112e-8
410078187201.131e-8
4100832311151.147e-8
4100962314211.045e-8
4101062310161.097e-8
4101142411171.068e-8
4101262511211.093e-8
4101372418261.075e-8
410144296111.093e-8
4101561415211.076e-8
4101642212181.091e-8
4101722013151.003e-8
4101862713201.048e-8
410197247151.062e-8
4102082810191.095e-8

この固定20場において、A は 2〜8(中央値6)、閾値近傍 C 部分集合は 14〜29(中央値23)、D は 6〜18(中央値11.5)、全述語交差は 11〜26(中央値18.5)であった。seed 41014 は閾値近傍 C 部分集合が最大だったが、ラベル変化は4件のみ、D 点は最少、述語交差も最少であり、臨界マージン最大移動は7位であった。したがって保存された比較は、41014 を単に「最も広く撹乱された場」と記述することを支持しない。

4つの事件位置もシード間で分離した。j=5941 はこの sigma で20場すべてにおいて 8 → 0 に変化しており、事件固有ではない。j=126j=3116j=4994 のラベル変化は seed 41014 のみで生じた。j=4994 では、他の14シードが後段の述語のみ変化(クラス D)し、5シードはすべての述語符号を保持した。

ブラケット候補の比較には、左ラベル 2^(ell-1) を見つけ、ゼロラベルを最大4個まで飛ばし、続く 2^ell を受理するという凍結規則を用いた。ゼロノイズの候補集合は一意であった:

ellゼロノイズ候補 (left, right, gap)
1(495, 496, 0)
2(4993, 4994, 0)
3(5940, 5941, 0)
4(6143, 6145, 1)

共通の j=5941 変化により ell=3 ブラケットは (5940, 5942, 1) へ拡張されるため、厳密なタプル同一性だけで判定すると、同じ局所境界を「除去された候補」と「新たに現れた偽候補」と誤って呼ぶことになる。そこでこの比較では、現在の候補の閉区間 [left,right] がゼロノイズ候補区間と重なる場合をゼロ参照関連、重ならない場合を非参照候補と呼ぶ。これは運用的な関連付け規則であり、物理的真値へのアクセスではない。

80のシード×ell セルにわたり、厳密なタプル追加は104件、厳密な除去は22件であった。除去のうち21件は同一のゼロ参照関連境界のシフトまたは拡張である。非参照候補の追加は83件、直接の 一意 → 非一意 変化は35件、非一意 → 一意 の変化は0件、ゼロ参照関連候補を保持したセルは79/80、非参照候補のみを含むセルが1件であった。候補集合が空のセルはない。保存ラベル配列から再構成した候補の一意性と中点は、80/80のセルで保存された Observer 監査と一致した。

唯一の例外セルは seed 41014 の ell=2 であった:

ゼロノイズ: {(4993, 4994, gap=0)}
seed 41014: {(3115, 3116, gap=0)}

ell=2 では、他の18シードがゼロ参照関連候補を保持しつつ1つ以上の非参照候補を追加して非一意となり、seed 41017 は参照候補のみを保持し、seed 41014 のみが参照関連候補を失って別の候補を一意に保持した。seed 41014 では、ell=1 は参照関連候補が残ったまま新候補が加わったため非一意、ell=3 は1点分の gap 拡張の後も同じ境界に一意に関連付けられ、ell=4 は不変であった。結果として delta_3 の入力トポロジーは、一意な非参照 ell=2 候補と、一意な参照関連 ell=3ell=4 候補の組み合わせとなった。

ell=2 で直接観測された端点変化は 参照のみ一意 → 非参照のみ一意 である。§7.1 の中間系列 {参照} → {参照, 非参照} → {非参照} は、2つの保存ラベル変化を選んだ順序で適用して得た帳簿的分解であることを明示する。ゼロ/最終トレースにおいて観測された 非一意 → 一意 遷移ではなく、時間的・因果的順序を確立するものでもない。

これらの比較は、1つの保存 sigma 水準、1つの固定ペイロード、1つの Observer、B2 以前に選定された20の固定ノイズ場に対する記述的結果である。これらの場を母集団標本に変えるものでも、誤り確率を推定するものでも、閾値近傍の個数が誤推定を引き起こしたことを示すものでも、一般的な失敗機構を確立するものでも、ガードを検証するものでもない。

↑ 先頭へ

08探索的追試(Phase C:証拠力は限定的)

本節の地位

Phase C は本記録の確証的中核には属さない。その結果は透明性のための探索的記録としてのみ保存される。Phase A/B1/B2 の結論を強化・検証・独立に追試するものではない。以下でディスカッションノートに引かれる関連はすべて条件付きである。報告された傾向が基礎にある現象を反映しているならば、その解釈と両立し、将来の厳密な検証を動機づけうる、というにとどまる。

8.1設問と固定設計

Phase C はロジスティック写像の有限段の量から離れ、より狭い探索的比較設問を立てた。すなわち、別個に開発・封印された二つの Observer が同一の匿名化ノイズ付き曲線を受け取ったとき、最終判定は事前特定の Observer 固有パターン、Observer 横断パターン、いずれをも支持しないか、のいずれを支持するか。

これはディスカッションノートの観測空間/対象構造の区別に動機づけられているが、その区別を間接的に扱うにすぎない。対象系も課題も変更しており、B2 の seed 41014 入力を第二の検出器で検証してはいない。

非公開の Generator は次を用いる:

f_mu(x) = mu*x*(1-x^2)
signal(mu) = 1 - |3 - 2*mu|
u_i = i/400,  mu_i = 1.63 + 0.71*u_i,  i=0,...,400

信号は登録された不動点分枝の局所安定性マージンである。登録座標区間では正から非正への遷移が1回だけあり、非公開真値は u = 37/71 = 0.5211267605633803…。Observer には写像、式、元パラメータ、真値、ノイズ構成、sigma、採点許容差、事例間の関係のいずれも与えられていない。

固定ノイズ場は記述的反復であり確率標本ではない。許容差と比較カットオフは運用的選択であり信頼限界ではない。

8.2事前登録された実験水準の規則

Phase C のペイロード生成前、かついずれの Observer の実行前に、Stage 1 v4 が3つの可能な結論を固定した:OBSERVER_SPECIFIC_PATTERNCROSS_OBSERVER_PATTERNINCONCLUSIVE。要約すると:

これらの閾値は固定された判定規則であり、統計的に較正された仮説検定ではない。通過・不通過に p 値的解釈はない。

8.3報告された Run 4 の結果(記述のみ)

出典:Phase C Run 4 STAGE6/scoring_output.json(SHA-256 bd0c275caa84c544eaa9f8b293a6bd614ba9d2fc20b25185938fdd2c90b6e297schema_version: phase-c-score-v4、採点200行、実験結論 INCONCLUSIVE)。Stage 6 完了マーカーの SHA-256 は 61bf5dc0db3f8ae7a57c4dc3fd6a4d1bcf21f69e4b99f5bf4c50dd45bbc87c03

Observer採点ESTIMATEABSTAINRECOVEREDWRONG技術的失敗
O110052485020
O210059415720

→ 表は横スクロールします

SigmaO1 E/A/R/WO2 E/A/R/W位置一致/共同推定ステータス一致/20
020/0/20/020/0/20/020/2020
0.0120/0/20/019/1/19/019/1919
0.0259/11/9/014/6/14/07/711
0.053/17/1/26/14/4/21/113
0.100/20/0/00/20/0/0比較不能(共同推定0)20

100対象全体で共同推定は47件あり、47件すべてが固定の位置一致規則を満たした。ステータス一致度は 0.83、O2 の推定率・回復率はいずれも O1 を 0.07 上回った。0.07 の差は Observer 固有の閾値 0.25 に達せず、二つの回復率(0.500.57)は Observer 横断要件 0.60 に達しなかった。Phase C 自身の規則の内部においても結果は INCONCLUSIVE である。O2 の勝利でも、Observer 非依存パターンの確認でも、主記録が用いる証拠でもない。

8.4Phase A/B1/B2 との条件付き比較

→ 表は横スクロールします

設問Phase A/B1/B2Phase C支持される読み
クリーン入力での回復Phase A:16/16 RECOVERED両 Observer:sigma=0 で 20/20信頼できるなら同じ定性的形状。Phase C の20クリーン事例は複製曲線
観測ノイズ付加による劣化B1/B2 で回復が低下0.010.05 で回復が低下信頼できるなら定性的に類似。共通の数値ノイズスケールは含意しない
最大試験ノイズでの棄権B1:十分高い試験 sigma で全対象棄権両 Observer:0.10 で 20/20 ABSTAIN信頼できるなら各固定格子内で定性的に類似
Observer 変更後の一致A/B1/B2 では未検証共同推定で 47/47 の位置一致単一の運用的一致半径下での探索的観測
Observer 非依存の破綻パターンA/B1/B2 では未検証形式的結論 INCONCLUSIVE確立されていない

絶対的な sigma 値、回復率、理由コードを二つの研究間で数値比較してはならない。生成信号、観測スケール、ノイズ分布、対象量、許容差、判定規則がいずれも異なる。したがって Phase C は探索的な関連演習であり、B1/B2 閾値の追試ではない。この表は定性的類推の可能性を記録するものであって、主結果への追加証拠ではない。

条件付きでは、この傾向はディスカッションノートの分解

ノイズ実現 + 有限観測 + 判定規則 -> 運用的構造

と両立する。示唆的なのは、明瞭な事例では位置が同様に特定されたと報告される一方、Phase C の4件の誤受理はすべて、もう一方の規則による棄権と対になっていた点である。信頼できるならば、曖昧なパターンが判定規則との相互作用を通じて認証済み構造になる、という仮説に適合する。ただし Phase C はこの命題を実証しない。seed 41014 の入力を別 Observer で検証しておらず、Phase C 自身の証拠上の限界により、この傾向を仮説形成以上に格上げできない。

8.5Phase C の4件の誤推定に関する事後記述

封印済み Stage 6 出力の読み取り専用解析により、4件の WRONG 行がすべて sigma=0.05 で見つかった(O1 が2件、O2 が2件)。この4対象すべてにおいて、対になる Observer は棄権していた。解析成果物の SHA-256 は 4f954dd8944d750031bfca2edfa0ff64a1840295e091a0049d52ce91afe39d2a。100対象の同時分類は次のとおり:

対の結果件数
両方 RECOVERED47
O1 RECOVERED / O2 WRONG0
O1 WRONG / O2 RECOVERED0
両方 WRONG0
O1 ESTIMATE / O2 ABSTAIN5
O1 ABSTAIN / O2 ESTIMATE12
両方 ABSTAIN36

すなわち4件の誤受理は、同一対象に対するもう一方の Phase C 判定規則の下では誤受理として再現しなかった。これは事後的な記述結果であり、事前登録された実験結論の一部ではない。一方の Observer が他方を一般的に防護できることを示すものでも、B2 の事件と Phase C の誤りが機構を共有することを確立するものでもない。

8.6実行履歴と厳密性に関する留保

Phase C には有用な機械的統制がある。Stage 1 v4 の生成器、真値、固定事例、採点規則、比較規則、実験水準の結論は、ペイロード生成前かつ Observer 出力前に封印された。Observer の推論実装はペイロード公開前に封印された。Run 4 の生出力は真値開封前に封印された。Run 4 は各 Observer について 100/100 対象を完了し、再試行なし、技術的失敗なし、生データの改変なし、結果後の閾値変更なしであった。これらの統制は報告された Run 4 ファイルの完全性を支持するが、本演習を確証的にするものではなく、以下のより広い信頼性上の限界を解消するものでもない。

それでもなお、これは無傷の一発勝負の独立追試ではない。先行する3回の実行試行が保存されており、いずれも運用上の理由で失敗した:

  1. Run 1:O1 の封印メタデータがエントリポイント引数を重複させ、推定器が起動しなかった。O2 は完了。
  2. Run 2:両バッチが完了したが、封印識別子 O2 が生識別子 O2-independent-multiscale-v1 と一致しなかったため Stage 5 が O2 の全行を却下。公開出力スキーマはいずれの文字列も許容していたが、内部の厳密な識別子束縛要件がプリフライトで捕捉されていなかった。
  3. Run 3:試行の親ディレクトリが存在せず O1 は最初のプロセス前に停止。O2 は37対象を記録した時点で、外部の120秒呼び出し制限によりバッチが打ち切られた。

Run 4 の前に実行基盤を改訂し、ダミー入力で試験した。コマンド構成と識別子束縛を確認し、対象タイムアウトとバッチタイムアウトを分離し、呼び出しタイムアウト要件を引き上げ、版管理された基盤マニフェストを封印した。科学的設計、ペイロード、真値、Scorer、採点閾値、Observer の推論コードは無変更と報告されており、修正されたのは封印メタデータと実行基盤のみである。その上で同一の固定ペイロードバイトを Run 4 で使用した。Run 1–3 では真値開封も採点も行っていない。

この履歴自体が Run 4 の集計を覆すものではないが、Phase C が手つかずの一回限りの試行であったという主張は弱まる。基盤マニフェストは Run 4 のバッチ証跡に記録されたが、STAGE3_COMPLETE の内部には束縛されていない。加えて、二つの Observer は関連する AI 支援ワークフローで作られた別実装であって、独立した研究室ではなく、アルゴリズム的独立性の程度は定量化されていない。すべての封印と大半の相互検証は、同一の実装系統・運用者系統の内部にとどまる。

したがって妥当な読み方は控えめである。Run 4 は基盤修復後の固定設計の記述的出力を保存しているが、その形式的結論は INCONCLUSIVE のままであり、主張を支えるだけの証拠力はない。ハッシュや完了チェックを科学的妥当性検証と混同してはならない。

↑ 先頭へ

09探索的 Phase D0:41014 条件での新規シード再現プローブ

9.1固定設問と設計

Phase D0 は意図的に狭い設問を一つだけ立てた。無変更の Observer は、B2 の事件条件そのものにおいて、未使用のノイズ場に対し delta_3 で再び WRONG を生じるか。sigma 依存の失敗領域の地図化、原因特定、ガード評価、Observer 比較、一般の誤り確率推定を目的とした設計ではない。

実行前に次が固定・ハッシュ封印された:

プローブの地位は EXPLORATORY_PRE_SPECIFIED_RECURRENCE_PROBE と固定された。事前の計画・設計・ランナーのハッシュは、その後の生封印によって厳密に再現された。

9.2結果

記録された実行は、固定40シードと160判定のすべてを retry_count=0replacement_seed_count=0 で完了した。delta_3 の主要行は次のとおり:

Scorer 分類件数
RECOVERED1
WRONG0
ABSTAIN39

唯一の回復行は seed 41042 で、推定値 4.667487684729068、真値 4.656251017651357、相対誤差 0.0024132434(約 0.241%)。39件の棄権はすべて BIFURCATION_BRACKET_UNRESOLVED を用いた。WRONG 行が存在しなかったため、事前特定された 41014 型の下流指紋を観測できる新規の誤答事例も存在しない。path_resembles_41014_count=0 を独立した否定的な機構検証と読んではならない。

固定された解釈キーは NO_RECURRENCE_OBSERVED_IN_FIXED_40_SEEDS である。平たく言えば、このプローブは 41014 型の2件目の誤受理を捕まえなかった。当該失敗が再現しえないこと、その頻度がゼロであること、Observer が安全であることを示すものではない。他のすべての sigma 値と他のすべての Observer も未検証のままである。

9.3封印と監査チェック

40件の生記録には厳密にシード 41021–41060、40個の相異なるノイズ場ハッシュ、共通の単一 sigma、シードあたり4つの Observer 判定が含まれる。その SHA-256 は 148A738D984CAF5592B80E7C1845A43518AA06E30A92BC1CE959BEDA0E1F22B4RAW_SEAL.jsontruth_opened:false を記録し、当該生ファイルを封印済みの計画・設計・ランナー・A3 ペイロード・Observer ソース・ランタイム実行体に束縛する。自身の SHA-256 は D9CFA8E46F4F9F92F992F9F83AE24418D9567BF6AFEE17F4F5D024FFE01DF89B。真値アクセス記録は採点前にこの生封印ハッシュを参照する。最終の採点記録と要約のハッシュはそれぞれ 413A0F66E5BE613E15EF052CA0B678A66FEA1AF46F8B9C480F238670389128667084B7240A191042E469FBDC558FD511C5A9C43FFF06583DA1354E947AD14730 であり、現行の全ファイルは COMPLETE.json に記録されたハッシュを再現する。

これらのチェックは、同一のローカル運用者・実装系統の内部における同一性と実行順序の整合性を支持する。独立追試でも、形式的な改竄耐性監査でも、Observer の科学的妥当性検証でもない。

9.4事後の候補集合再構成(当初の D0 封印には含まれない)

これらのトレースは、固定された Phase D0 の入力と凍結された生成/Observer 規則から事後に再構成されたものである。当初封印された Phase D0 出力成果物には含まれていない。

再構成では、封印済み A3 同一性と固定規則 SeedSequence([20260811, seed])PCG64DXSM から、sigma=1.6e-9 でシード 41021–41060 を再生成した。候補解析の前に、再生成した40件のノイズ場 SHA-256 はすべて当初の D0 生記録のハッシュと一致した。次いで凍結 Observer 出力、再構成した b_hat_v、ラベルが、保存記録または凍結ラベル関数と 40/40 で一致した。導出配列はシードごとに (6201,) のラベルベクトル1本と、周期 1,2,4,8,16 に対する (6201,5) の残差配列1本を含む。

候補規則と参照関連付け規則は §7.2 の固定20シード比較から変更していない。候補とは、左ラベル 2^(ell-1)、間に挟まるゼロラベルが最大4個、右ラベル 2^ell であり、現在の候補はその閉区間インデックス区間がゼロ参照候補区間と重なるとき参照関連とする。ここでの 参照 はゼロノイズの計算参照であって物理的真値ではない。

ell=2 のゼロ参照候補は (4993,4994,0) であった。再構成された40セルは次のとおり:

ell=2 の状態シード数
参照関連候補を保持40/40
参照を喪失0/40
代替候補を追加39/40
一意 → 非一意39/40
偽候補のみ0/40
一意な偽候補のみ0/40
候補数ゼロ0/40
参照のみ一意(厳密)1/40

39件の delta_3 ABSTAIN 行はすべて同じ十分条件を ell=2 に持っていた。すなわち参照関連候補は残ったが代替候補も1つ以上存在し、候補集合が非一意であった。その ell=2 候補数は2〜8であった。唯一の RECOVERED 行 seed 41042 は (4993,4994,0) を厳密に保持し、中点 0.8054032258064516、代替候補なしであった。

40シード × 4段 = 160セル全体では:

→ 表は横スクロールします

ell参照保持代替追加一意→非一意非一意→一意偽のみ一意な偽のみ候補0
140990000
24039390000
34019190000
440550000
合計16072720000

160セルの内訳は、参照のみ一意(厳密)が67、タプルが変化した参照関連一意が21、参照+代替の非一意が72であった。厳密なタプル追加は203件、厳密な除去は40件。除去40件はすべて ell=3 で生じ、置換区間はなおゼロ参照区間と重なるため、いずれの場合も参照関連性は保持された。

seed 41014 の保存された ell=2 端点 — (4993,4994,0) が不在で、代替の (3115,3116,0) が一意に残った状態 — とは異なり、新規40件には参照喪失や一意な偽候補のみの ell=2 セルは存在しなかった。限定された結論は次のとおりである:事後再構成された40件の新規シードトレースにおいて、一意な偽候補のみの ell=2 候補状態は観測されなかった。これは非再現性、確率、安全性、一般的因果機構のいずれをも確立しない。

導出パッケージは別途保管されている。MANIFEST_SHA256.txt の SHA-256 は FC435F96D0D961BFE399F54ABD66A08AD6BD4757D50BD2BC4BE9EA9919FBBFD4derived_trace_arrays.npz979047706699A1A33B4ACD2B7BD934A2C313B420CEEC4F9CA312DD558287F7F5summary.json8E0770646FFA82104D3E3C16CC0D916EC0751CE88C772ADC9A04382A3F55D499。元の D0 ソースツリーは再構成の前後でバイト同一のままであった。

↑ 先頭へ

10再現性・封印・監査境界

10.1実行順序

  1. Phase A:決定論的4ラン → 16判定 → 真値開封 → Scorer 採点。
  2. Phase B1:Phase A の16ファイルを不変マニフェストとして一度封印し、ベンチマーク前後および本実行後に、その都度別個の監査ファイルへ再チェックした(expected=16 / observed=16 / missing=0 / extra=0 / mismatch=0。本実行後監査は pass: true と Phase A 実装マニフェスト 27/27 一致を報告)。真値は全 Observer 出力が確定した後にのみ開封された。
  3. Phase B2
    • sigma=0 のゼロノイズ完全トレース参照を最初に作成・封印。
    • 180の正 sigma ランそれぞれについて、凍結 Observer 出力を先にライトワンスで確定させ、その後にのみ診断トレーサを実行。
    • 181項目(180トレース+1参照)すべてについて、トレーサが再構成した判定を凍結 Observer とオブジェクト水準で比較(reconstruction_matches: 181)。
    • Observer の生出力と全トレースは、真値開封および Scorer 実行の前に observer_trace_seal_manifest.json でハッシュ封印されたtruth_opened: falsetruth_access_record.jsonpurpose: SCORER_ONLYraw_seal_sha256 参照を記録)。
    • 本実行検証:PHASE_B2_FULL_RUN_VERIFICATION_V1.jsonstatus: PASS、実装マニフェスト 67/67、ラン成果物 16/16、基準チェック 17/17、端点一致 41、エラー台帳なしを報告。
  4. 探索的 Phase C Run 4(主要な証拠連鎖には含まれない):
    • Stage 1 v4 が、ペイロード生成前に非公開設計、Generator、真値、Scorer、比較規則、実験結論規則、公開インタフェースを封印。
    • O1 と O2 は100対象の公開前に別個に開発・封印された。公開内容は両者にバイト同一。
    • 失敗した Run 1–3(§8.6)の後、封印済み Execution Infrastructure v2 をダミー対象で回帰試験。Run 4 は200の新規 Observer プロセスを起動し、各 Observer につき 100/100 の有効な生出力を再試行なしで得た。
    • Stage 5 が真値アクセス前に200件の生出力すべてを検証・封印。Stage 6 が真値を実体化し、凍結 Scorer を一度だけ呼び出した。Stage 6 マーカーは、生ハッシュ不一致・改変・再生成・Observer 再実行・技術的失敗・結果後の閾値追加のいずれもないことを記録している。
  5. 探索的 Phase D0(主要な証拠連鎖には含まれない):計画・固定設計・ランナーを実行前に封印。単一の固定 sigma で厳密に40の新規シードが160判定を生成。生記録を truth_opened:false で封印し、真値アクセス記録がその生封印を束縛した後、凍結 Scorer が160分類を生成した。COMPLETE.jsonstatus:COMPLETE、再試行ゼロ、代替シードゼロを記録。
  6. 事後の D0 候補再構成(当初の D0 封印には含まれない):D0 完了後、同じ40の決定論的入力を別の出力ツリーで再生成した。再構成したラベル・残差・候補集合を記述的に用いる前に、ノイズハッシュと Observer 出力が 40/40 で一致した。当初の D0 成果物は一切変更していない。

各 Phase の PLAN は、執筆時点で許容範囲と停止状態を固定する事前登録文書であり、事後に COMPLETE へ書き換えてはいない。ベンチマークと本実行は、それぞれ別個かつ後続の承認成果物によって許可された(元環境では Phase A PHASE_A_FULL_RUN_APPROVAL_V1.json、B1 PHASE_B1_FULL_RUN_APPROVAL_V1.json = 7CCBD452…、B2 FULL_RUN_APPROVAL_V1.json = C93AD681…)。B2 の承認は fixed_design_sha256=5B564B6E…、181ラン/724判定/180正トレース/1ゼロ参照/724分類を、再試行なし・代替シードなしで許可している。承認文書自体は配布パッケージに含まれていない。

10.2ランタイム

Phase A/B1/B2 と当初の D0 実行は CPython 3.13.15/NumPy 2.3.2(Windows, AMD64)を用いた。B1 と B2 はいずれも実行の前提条件として厳密なバージョン一致を要求する(run_provenance.jsonruntime_fingerprint)。D0 はさらに事前封印と生封印で実行体の SHA-256 を束縛した。後の事後 D0 候補再構成は CPython 3.12.13/NumPy 2.3.5 を用いたが、ハッシュ束縛された同一の A3 ペイロードと Observer ソースを使用し、再生成されたノイズハッシュおよび保存された Observer 出力全体は 40/40 で一致した。Phase C の O1/O2 は同一のローカル Windows ホスト上で CPython 3.14.5 に封印され、実行体パス、バイナリハッシュ、バージョン出力ハッシュが各 Observer 封印に記録されている。

10.3監査境界(保証されないこと)

↑ 先頭へ

11限界と明示的非主張

11.1設計上の限界

11.2明示的非主張

本研究は次のいずれも主張しない。

11.3未実行

Phase D0 は sigma=1.6e-9 における狭い新規シード評価を1件与えるのみであり、事前固定の複数 sigma 水準にわたるより広い Phase B3 は未実行である。第三の Observer、独立研究室による追試、および妥当性ガードや系列間整合ガードの設計・実装・評価も未実行である。Phase C 自体は §8.6 に述べた限定付きの Run 4 の意味での探索的実行記録としてのみ完了しており、完了した確証的研究ではない。

↑ 先頭へ

12ファイル案内

(相対パスは配布パッケージのルートから。)

→ 表は横スクロールします

区分パス内容
Phase A PLAN03_PHASE_A/PLAN_PHASE_A_FINITE_LEVEL_RECOVERY.md固定条件、Observer 規則、真値定義、採点規則
Phase A 結果03_PHASE_A/results/phase_a_score.json16判定の採点、要約、真値開封後の診断
Phase A 生出力03_PHASE_A/results/A3.jsonA3 の Observer 生出力(ゼロノイズ参照)
Phase A 真値03_PHASE_A/results/truth.json100桁真値と求根検証
Phase A 実装03_PHASE_A/implementation/Observer / Scorer / Generator ソース、契約、マニフェスト
Phase B1 PLAN04_PHASE_B1/PLAN_PHASE_B1_GAUSSIAN_BREAKDOWN.md凍結ハッシュ、ノイズ設計、ブラケット判定規則
Phase B1 結果04_PHASE_B1/results/summary.csv固定32行の集計
Phase B1 ブラケット04_PHASE_B1/results/breakdown_brackets.json4対象の回復喪失ブラケット
Phase B1 生出力04_PHASE_B1/results/seed_records.jsonl141ランの来歴と Observer 出力
Phase B1 監査04_PHASE_B1/results/phase_a_audit_postfullrun.jsonPhase A 不変性の事後監査
Phase B2 PLAN05_PHASE_B2/PLAN_PHASE_B2_FIRST_FAILURE_ATTRIBUTION.mdDAG、ノード登録、封印順序、完了条件
Phase B2 判定05_PHASE_B2/results/decision_summary.csv40行(4対象 × 10 sigma)
Phase B2 帰属05_PHASE_B2/results/first_failure_by_seed.csv初回失敗/前兆の80行
Phase B2 パターン05_PHASE_B2/results/transition_patterns.json閾値、開始順序、同着、非単調性
Phase B2 採点05_PHASE_B2/results/score_records.jsonl724件の Scorer 分類
Phase B2 封印05_PHASE_B2/results/observer_trace_seal_manifest.json生封印(truth_opened: false
Phase B2 検証05_PHASE_B2/results/PHASE_B2_FULL_RUN_VERIFICATION_V1.json本実行検証 PASS
インシデント06_INCIDENT_41014/diagnose_41014.py単発・未監査の参照診断スクリプト
インシデント出力result_41014.txt当該スクリプトの標準出力を事後保存したもの。事件の数値の出典
局所経路再現SEED_41014_FIXED_RUNTIME_LOCAL_PATH_REPRODUCTION.txt2026-08-12 の固定ランタイム局所経路再現の記録(§7.1)
局所経路チェッカSEED_41014_FIXED_RUNTIME_LOCAL_PATH_CHECK.py当該記録を生成した読み取り専用チェッカ
インシデントノートINCIDENT_41014_NOTE.md§7 の単一事例に限定した事後ノート(第II部
ディスカッションノートDISCUSSION_NOTE_OBSERVATION_SPACE_STRUCTURE_EN.md入力パターン、運用的認証、対象系の構造を分離(第III部
会話ログ01_LOGS/log 6–8, 9–13, 14, 16, 17–22解釈、放棄されたフォレンジック枠組み、単発診断、読み取り専用 41014 比較、Phase C 履歴。封印済み JSON に優越しない
背景02_BACKGROUND/LITERATURE_REVIEW.md, REVIEW_SCOPE.md2026-08-10 実施の別個の先行研究レビュー。数値主張には使用しない

Phase C の成果物(固定設計、公開契約、Run 4 採点と完了、事後の誤答事例解析、実行履歴)および Phase D0 の成果物(事前仕様、ランナー、生出力と封印、真値アクセス記録、採点と要約、完了)は、現在は元の配布パッケージの外部、ローカル作業ツリーに存在する。別途保管された事後 D0 候補再構成(導出配列、候補記録、結果結合、検証、要約と完全性マニフェスト)も同様である。

証拠の優先順位

封印済み結果/CSV/JSON/来歴/検証 > 各 Phase の PLAN または固定仕様・構成・実装 > 会話ログ中の解釈 > 単発診断 > 失敗履歴。ログの文言が形式的成果物と矛盾する場合は形式的成果物が優先する。ログに現れる称賛、推奨、憶測、将来計画は測定事実ではない。

当初の D0 判定については、封印済み D0 成果物が優先する。別途の導出パッケージは §9.4 に報告された再現可能な再構成ラベル・残差・候補集合分類についてのみ権威を持ち、遡って当初の D0 封印の一部となることはない。

↑ 先頭へ

13結論

理想条件下では、固定された盲目的 Observer は匿名化された有限観測のみから4つの有限段の量すべてを5%閾値内で回復した(Phase A、16/16)。観測ガウスノイズ下では、粗い格子で4対象すべてが 1e-9 < sigma <= 3e-9 の内側で回復を失い、その格子内では誤答を伴わなかった(Phase B1、WRONG=0)。同じ区間を細分化すると、破綻の直接原因は共通の周期認識層ではなく、delta 側のブラケット一意性と alpha 側の超安定幾何に分かれ、80行中33行が同一深さで同時に失敗した(Phase B2、PERIOD_COMMON=0)。そして粗い格子では現れなかった誤受理が1件出現した。

sigma=1.6e-9 における読み取り専用比較は、この B2 事例を固定20場の中に位置づけた。seed 41014 はラベル変化や述語変化が最多の場ではなかった。区別されるのは保存されたブラケットトポロジーであり、より限定的である。80のシード×段セルのうち、その ell=2 セルだけがゼロ参照関連の一意候補を一意な非参照候補に置き換えていた。ただしこの比較は、当該トポロジーが母集団水準のリスク指標であることも、一般的因果機構であることも示していない。

次いで事前特定された探索的 D0 プローブが、同じ A3/sigma 条件で無変更の Observer を40の未使用シードに適用した。結果は delta_3: RECOVERED=1 / WRONG=0 / ABSTAIN=39 であり、41014 型の2件目の誤受理は見つからなかった。別途の事後再構成では、39件の棄権すべてが参照関連 ell=2 候補を保持しつつ代替候補も含み非一意であったこと、seed 41042 のみが参照のみの一意タプルを厳密に保持し回復したことが示された。40件すべてが参照関連 ell=2 候補を保持し、41014 で観測された一意な偽候補のみの端点を持つものはなかった。したがって正しい記録は「この固定40シードでは再現は観測されず、事後再構成トレースにおいて一意な偽候補のみの ell=2 状態も観測されなかった」であって、「事件は再現しえない」ではない。この結果は母集団率を与えず、誤受理が起きたという B2 の主要事実を変えない。

したがって主要な判断は二重である。試験された有限かつクリーンな条件下で運用的回復可能性が示されたこと、そして観測ノイズの付加が固定手続きを回復から棄権へ移すと同時に誤受理をも許したことである。とりわけ、ESTIMATE はアルゴリズム的な認証であって、対象系の構造が回復された証明ではない

これら主要な知見は、単一のロジスティック写像ペイロード、単一の Observer、固定ノイズ場、運用閾値、固定 sigma 格子に結び付いたままである。主研究のいずれも、情報理論的限界、母集団誤り率、普遍的安全性、新たな一般理論を示していない。

探索的注記のみ

Phase C は、クリーンな回復から劣化を経て高ノイズでの棄権に至る同様の記述的進行を報告した。また共同推定における 47/47 の位置一致を報告する一方、各 Observer が2件ずつ誤受理を出し、4件すべてで対になる Observer が棄権した。Phase C は非確証的であり、その固定結論は INCONCLUSIVE であるため、これらの観測はいずれも上記の結論の補強には用いない。もしこの傾向が実在するならば、運用的構造は有限観測と判定規則の相互作用に依存するというディスカッションノートの仮説と両立するが、それを検証するには新たな厳密実験が必要である。

↑ 先頭へ

14読者向け注記(本記録の外):残る限界

以下は研究記録の主張ではなく、結果の読み過ぎを防ぐための注記である。

  1. 前兆の発生開始は左側打ち切りである。B2 の周期層前兆は、測定された最小の正 sigma である 1e-9 の時点ですでに検出されていたため、真の開始は <= 1e-9 である。B1 のより小さい sigma では同じトレースを記録していない。
  2. 41014 のリプレイ/Decimal 診断と、41014 の固定ランタイム局所経路再現は別物であり、いずれも正式なフォレンジックではない。前者(result_41014.txt、第II部)は保存入力を再生し下流の算術を Decimal 50/100/200 桁で再評価した単発・未監査の参照診断であり、原因についても安全性についても結論しない。§7.1 の内容によって正式なフォレンジック結果へ格上げされることもない。後者(§7.1)は元の固定ランタイムで局所経路を再実行し、狭い独立計算・保存 B2 トレース・公式生記録と相互照合した。いずれも同一の固定保存入力1件に限定される。
  3. §7.1 が記録するのは局所的な再現経路であって原因ではない。根本原因、一般的失敗機構、頻度、Observer 全体の安全性結論のいずれも確立しておらず、ガードや修復も検証していない。
  4. 同一 Observer での再現については、狭い新規シードプローブ1件と、同じ入力の事後分解があるのみで、頻度研究ではない。先行する読み取り専用比較は、当初20場のうち seed 41014 のみに非参照のみ一意の ell=2 トポロジーを見出した。次いで Phase D0 が同じ sigma で40の未使用シードを検証し WRONG=0 を観測した。後の再構成トレースでは参照関連 ell=2 候補が 40/40 で保持され、代替候補も存在した39件が非一意、seed 41042 のみが参照のみ一意(厳密)であった。これはシード、sigma 値、検出器、確率モデルのいずれも追加しておらず、非再現性や安全性を確立しない。
  5. Phase C のクリーン件数は反復事例の帳簿である。sigma=0 の20対象は、ノイズ場にゼロを掛けるため観測値が同一である。20/20 は不透明な対象IDと分離プロセスをまたぐ安定した処理を確認するものであって、20の異なるクリーン信号による証拠ではない。
  6. Phase C の INCONCLUSIVE は魅力的な記述的パターンに優先する。47/47 の共同推定位置一致と、クリーンから棄権へ至る定性的曲線は報告された固定標本の要約だが、いずれも固定された実験水準の規則や、Phase C を非確証的として扱う決定を覆さない。
  7. Phase C の誤答事例の結合は事後的である。4件の誤推定がすべて棄権と対になり 両方 WRONG=0 であった事実は、B2 との比較のため Stage 6 の後に抽出された。後の登録仮説を動機づけうるが、Phase C の主要結論ではない。
  8. Run 4 は基盤修復の後に行われた。Run 1–3 も記録の一部として残る。修復は封印の識別子/引数と実行基盤に限られ、科学的設計と Observer の推論コードは無変更と報告されているが、この履歴により、無傷の単回試行による追試としての提示はなお妨げられる。
↑ 先頭へ

第II部

インシデントノート:seed 41014 における誤受理

出典:INCIDENT_41014_NOTE_EN.md · A3 / seed 41014 / sigma 1.6e-9 / run 74 / delta_3

本文書の性格

単一のスクリプトが生成した事後・未監査の参照診断である。正式な第三者フォレンジックでも、独立実装による完全検証でも、Observer 全体の安全性評価でもない。

範囲:厳密に1事例A3 / seed 41014 / sigma 1.6e-9 / run 74 / delta_3。他シード、他 sigma、他の量、他 Phase は範囲外。

地位:形式的な Phase A–B2 の結果を何も変更しない。また Phase A–B2 への信頼を高める根拠として用いてはならない。

i.1何が起きたか(平易な要約)

ある Phase B2 のランで、Observer は delta_3 を棄権せず 13.918719211822673 を出力した。真値は 4.656251017651357 であり、相対誤差は約 1.99(約199%)である。同じランで delta_2 はブラケットが得られず棄権していた。

その後、保存入力ファイルと凍結 Observer を用いて当該事例を厳密に1回だけ再実行し、続いて同じ入力を高精度(Decimal)に昇格して下流計算のみをやり直した。結果は次のとおり:

したがって「binary64 の丸めが主因である」という説明は本診断の範囲内では弱い。数値的には、delta_3 が用いる最初のブラケット b_2 が本来よりはるかに左の位置で受理され、その変位が比の計算で増幅された、という観測と整合する。

i.2形式的結果としての単一事例

出典:05_PHASE_B2/results/score_records.jsonlrun_index: 74)、observer_records.jsonl

項目
run_idsigma_1.6e-09_seed_41014
条件A3
Observer ステータスESTIMATE
推定値13.918719211822673
真値4.656251017651357
相対誤差1.9892544794209492
Scorer 分類WRONG
同一ランの delta_2ABSTAINBIFURCATION_BRACKET_UNRESOLVED
同一ランの alpha_2, alpha_3いずれも ESTIMATERECOVERED

当該ランの observable_audit.b_hat_v(Observer が匿名化座標 v 上で受理した分岐点候補):

ellこのランゼロノイズ A3 参照
1null(未解決)0.07991935483870968
20.50250.8054032258064516
30.95822580645161290.9581451612903226
40.99096774193548390.9909677419354839

ゼロノイズ参照は 03_PHASE_A/results/A3.json

i.3実施した診断

使用スクリプト:06_INCIDENT_41014/diagnose_41014.py(SHA-256 E54AD11346099676F60E3F57A14BF149EA820C90D52E1E5FF98EF0079CB42ADC。本配布パッケージ内のファイルと一致することを確認済み)。

このスクリプトは元環境の絶対パスを参照する単発スクリプトであり、README 執筆用の抜粋である本配布パッケージ単独では再実行できない。A3 ペイロード、ノイズ場、約2GB の B2 トレース、固定ランタイムは意図的に同梱していない。

スクリプトが行うのは次の二つのみである。

  1. 凍結リプレイ:保存された A3 ペイロードと B1 のノイズ場から binary64 の y64 を再構成し、凍結 Observer を1回実行して、公式の B2 生出力とオブジェクト水準で比較する。
  2. Decimal 再評価:同じ保存 binary64 入力を Decimal 50 / 100 / 200 桁へ昇格し、周期ラベル判定、ブラケット候補、下流の delta_3 算術のみを再計算する。

スクリプトは真値も Scorer も読まない。自らの範囲を明示しており、冒頭に REFERENCE DIAGNOSTIC ONLY; NO FORENSIC RELIABILITY CLAIM、末尾に one fixed stored input; no cause or safety conclusion と記している。

出力の来歴

数値はテキストファイル result_41014.txt3,753 バイト、SHA-256 F2EDE3AF717889347A5DA224CC20AF9DCE90C5B6AE3200CB1F65A9EAD4FDA7CA)に由来する。

このファイルは新規の計算ではない。直前に実行され終了コード 0 で終了した diagnose_41014.py の標準出力を、スクリプトを再実行せずに事後保存したものである。

診断時の環境および入力ハッシュ(同ファイルに記録):

項目
Python / NumPyCPython 3.13.15 / NumPy 2.3.2
observer.py SHA-256A72C880213D617C9479D8F4C9DFD3E7F277169CBB236FB9C4EDFEE0B800D7EB4
A3 ペイロード SHA-25614D404ACC81690174682CA5B31C758A40B465DCD81104307E7A5652C6BD04D18
ノイズ場 SHA-2560EAB212E1EC8CC001DFBEF3CF8E5FAD4A15540754109B737FC0404E1861E2B3E

これらは B1 および B2 で封印された値と一致する。

i.4診断結果(観測事実)

binary64 凍結リプレイ

項目結果
official_object_matchTrue
delta_3_matchTrue
delta_3ESTIMATE / 13.918719211822673
所要時間0.377932 秒
候補端点(格子インデックス)ell=2: (3115, 3116, gap 0) / ell=3: (5940, 5942, gap 1) / ell=4: (6143, 6145, gap 1)

Decimal 50 / 100 / 200 桁

3精度いずれも次の結果を与えた:

項目結果
labels_changed_vs_binary640
label_counts{0: 18, 1: 495, 2: 4496, 4: 946, 8: 203, 16: 43}
候補端点binary64 リプレイと同一
ステータスESTIMATE
estimate_difference_vs_binary64_exact-2.663871964896043478955143200E-14(3精度で同一)
所要時間0.840536 / 0.688308 / 0.965334 秒

Decimal 100 / 200 桁で記録されたブラケット値:

b_2 = 0.502500000000000002220446049250313080847263336181640625
b_3 = 0.958225806451612871494916134906816296279430389404296875
b_4 = 0.99096774193548387010821443254826590418815612792968750

delta_3 = (b_3 - b_2) / (b_4 - b_3) = 13.91871921182264593805302584132463227397693395010716...

最終ラベル

項目結果
precision_paths_stable_50_100_200True
changed_path_from_binary64False
FINAL_LABELREPLAY_MATCH_AND_PRECISION_STABLE

本来の位置(ゼロノイズでは約 0.8054)から大きく左へ動いたのは b_2 のみである。大きな分子と小さな分母の組み合わせが比を約13.9まで増幅する。

付随的観測ell=3 候補ブラケット内の唯一の未解決点は格子インデックス j=5941 であり、これは Phase B2 の80行すべての first_precursor_nodes に現れるインデックスと同じである。これは観測事実の併置であって、因果的関連の主張ではない。

i.5限定的解釈

本診断の範囲内で述べうるのは、厳密に次の一文のみである。

binary64 の丸めのみが主因であるという説明は弱く、観測された計算経路は、偽の b_2 ブラケット受理と下流の比増幅という近接機構と整合する。

「整合する」であって「証明された」ではない。ノイズ実現がそのラベル配置を生んだ根本原因が確立されたとは主張しない。

実装水準の近接機構(記述)

delta_2 が棄権した同じランで delta_3ESTIMATE に到達しえたのは、Observer が各 k を独立に判定し、delta_3 に必要な局所条件のみが満たされたためである(ell=2,3,4 それぞれにブラケット候補1つ、分母が正)。系列間の整合性を要求するガードは存在しなかった。delta_2 の成否との結合も、ブラケット間隔が妥当な系列を成すかの検査も、比が期待範囲から大きく外れた場合の再検査もない。

これは実装の記述であって、そのようなガードを加えれば改善するという主張ではない。いかなる新しいガードの有効性も全く未検証である。

b_1=null について

run 74 では b_hat_v[1] が未解決であり、これが delta_2ABSTAIN を直接説明する。delta_3b_1 を用いないため、自身の局所条件だけで ESTIMATE に到達した。

未解決の b_1 と偽の b_2 受理が同一のノイズ誘起ラベル崩壊から生じたかどうかは、現存資料からは判定できない。共通原因は主張しない。これは系列間整合性が検査されなかった一事例としてのみ記録する。

i.6本ノートが示さないこと

i.7診断自体の限界

i.8第三者が再現を試みる場合

シードと sigma を渡してノイズを再生成しても、RNG 系統が異なれば同じノイズ列は得られないため、13.9187 は保証されない。再現を試みるには、シードではなく次を与えられる必要がある:

↑ 先頭へ

第III部

ディスカッションノート:観測空間に現れた構造と、安定に再現する誤同定

出典:DISCUSSION_NOTE_OBSERVATION_SPACE_STRUCTURE_EN.updated_ambiguity_question.md

本ノートの地位

本ノートは Phase A、B1、B2 の結果の形式的報告ではない。Phase B2 で観測された唯一の誤受理と、それに続く限定的なリプレイ/Decimal 診断から見えてきたものを整理する討議文書である。測定された事実、それらの事実が許す解釈、未検証のまま残る仮説の三つを区別して保つ。

d.1何が起きたか

対象は Phase B2 の次の単一事例である。

この実験でノイズが加えられたのは、ロジスティック写像の内部状態ではない。ノイズなしで生成された観測系列を y_0 と書くと、Observer に渡された値は

y_obs = y_0 + sigma · Z

である。写像のパラメータ、初期状態、内部状態、真値はいずれも変更していない。

したがって写像そのものに新たな 2→4 分岐が生じたわけではない。生じたのは、実際に Observer に渡されたノイズ付き観測系列が、凍結 Observer によって 2→4 境界として認証される局所的配置を含んでいた、ということである。

d.2観測系列の内部では、それは構造だった

ここで Observer が採用したブラケットはおおよそ

b_2 = 0.5025, b_3 ≈ 0.95823, b_4 ≈ 0.99097

であり、これが

delta_3 = (b_3 - b_2) / (b_4 - b_3) ≈ 13.9187

を与えた。異常な推定値は、無関係な算術の暴走から噴き出したのではない。計算経路が存在する。Observer はずっと左の候補を b_2 として受理し、続く比の計算がその位置の変位を大きく増幅した。

保存された binary64 入力を用いたリプレイでは、公式の生結果が再現された。さらに、その入力を Decimal 50、100、200 桁へ昇格して下流の算術を再評価した範囲では、周期ラベル、候補端点、ステータスは変化せず、delta_3 の数値差は末尾桁でおよそ 2.66e-14 にとどまった。

この意味で、seed 41014 の保存観測系列に対して、Observer が認証した局所パターンは安定であった。同じ入力と同じ判定規則の組み合わせは、同じ構造認証と同じ誤推定を再現した。

d.3「偽」と「実在」は矛盾しない

本事例は三つの層を分離する必要を示す。

本事例におけるその位置づけ
ノイズなし写像の構造b_2=0.5025 は回復されるべき真の有限段境界ではない
ノイズ付き観測系列Observer の周期条件を満たす局所的な遷移様パターンが存在していた
Observer の認証そのパターンを真の有限段構造として受理し、誤った delta_3 を出力した

したがってこの構造は、機械が何もないところから作り出した幻覚ではない。Observer は入力値の実際の配置を読んでいた。しかしその配置に割り当てた意味は、回復されるべきノイズなし写像の構造には対応していなかった。

次のように言える。観測空間の特徴としては実在であり、推定対象への対応としては偽であった。

d.4安定な再現は真理を保証しない

通常、結果が再現し、計算精度を上げても判定が変わらなければ、その結果への信頼は高まる。しかしここで安定していたのは「正しい構造の回復」ではなく「同じ観測系列に対する同じ構造認証」であった。

すなわち、次の二つは別物である。

  1. 判定経路が計算的に安定であること
  2. 認証された構造が、回復されるべきものに正しく対応していること

seed 41014 では (1) が確認され、(2) は Scorer によって否定された。

これは再現性を軽視すべきということではない。再現性が保証する対象を精密に画定しなければならない、ということである。同じ入力を同じ規則で読めば、再現するのは正しい認証だけではない。安定な誤同定もまた再現する。

d.5Observer は何を「作った」のか

Observer は観測値そのものを生成していない。ノイズ付きの値は、ノイズなし観測系列とノイズ場の合成によって作られた。

他方、どの局所配置が周期2として、周期4として、あるいは遷移ブラケットとして切り出されるかは、Observer の規則が決める。したがって本事例の構造は、観測系列だけに属するのでも Observer だけに属するのでもなく、次の関係の内部で生じるものと見るほうが正確である。

ノイズ実現 + 有限観測 + 判定規則 → 運用的構造

Observer は入力のどこにも存在しない値を捏造したのではない。入力の中から自らの局所条件に合致するパターンを選び出し、そのパターンを回復対象と同種の構造として認証した。この「選択と意味の割り当て」が誤受理を招いた。

d.6局所的整合性と大域的整合性

ここでの Observer は個々の局所条件を確かに検査していた。必要な周期ラベルが存在すること、ブラケット候補が得られること、比の分母が正であること、などである。

しかし少なくともここで辿られた経路では、次のような系列横断の問いは判定条件に含まれていなかった。

その結果、各部分が局所条件を満たすことと、それらの組み合わせが意味のある有限段構造を成すこととの区別が引かれなかった可能性がある。

これは追加ガードの有効性を示す結果ではない。どの整合条件を導入すべきか、またそれが正しい推定まで安易に ABSTAIN へ送らないかは、未検証のままである。

d.7現在未解決のこと

次の点は、この単一の事件からは決着しない。

とりわけ、同じ保存入力に対して繰り返し計算することと、別のノイズ実現の下で現象が再発することは別物である。前者は確認された。後の事前特定 Phase D0 プローブは、同じ A3/sigma 条件で固定40新規シードにおいて追加の delta_3 WRONG を観測しなかった。同じ入力に対する別途の事後再構成でも、一意な偽候補のみの ell=2 候補状態は見つからなかった。これらは限定された固定集合の観測であって、再現確率でも安全性の結果でもない。

d.8研究メモ:局所摂動下での伝播と保存

動機となった驚きは二面的である。すなわち、極めて小さな摂動がこれほど遠くまで伝播しえたことだけでなく、他の多くの摂動入力においては、曖昧さが可視のまま残る程度に参照関連構造が十分保存されていたこと、の両方である。

これにより、seed 41014 自体を研究対象とする見方から重心が移る。seed 41014 が有用なのは対照事例としてであり、二つの問いを同時に露わにするからである。

  1. 伝播:局所的な閾値超えが、いかにして周期ラベルを変え、候補の同一性を変え、ブラケットを観測軸上の遠方へ移し、さらに比によって大きな最終誤差へと増幅されうるのか。
  2. 保存:他所で局所ラベルや候補集合が摂動されているとき、何が参照関連候補を保存し、あるいは撹乱を非一意性として可視に保ち、その結果 Observer が一意の代替を認証するのではなく ABSTAIN できるようにするのか。

固定候補集合の比較は第二の問いを具体化する。当初20場の sigma=1.6e-9 では、18の ell=2 セルが参照関連候補を保持しつつ1つ以上の代替を追加して非一意となった。seed 41017 は参照のみ一意(厳密)のままだった。seed 41014 のみが参照関連候補を失い、一意な非参照代替を保持した。後の40件の D0 入力の事後再構成では、参照関連 ell=2 候補が 40/40 で保持された。うち39件は代替も含み非一意で、39件の delta_3 ABSTAIN に対応し、seed 41042 は参照のみ一意(厳密)で RECOVERED であった。

これらの観測は、有用な記述的区別を示唆する:

局所摂動 ├─ 参照保持 + 代替あり → 検出可能な曖昧さ / ABSTAIN └─ 参照喪失 + 一意な代替 → 偽の一意性 / WRONG の可能性

これはまだ一般的機構ではない。第一行は固定比較で観測された ell=2 候補状態のコンパクトな記述であり、第二行は seed 41014 の保存された端点の記述である。参照を保持するあらゆる摂動が安全であること、あらゆる一意な代替が誤りであること、候補の同一性のみがすべての段で最終判定を決めることを示すものではない。

したがって未解決の問いは単に「なぜ 41014 は失敗したのか」ではない。次である:

広範な局所判定の摂動の下で、不確実性が候補の多重性や参照の保持として観測可能なまま残るのはどのような構造的条件によるのか。また、どのような配置ではその不確実性が一意だが誤った代替として消えてしまうのか。

同じことだが、なぜ事件の経路では撹乱がそこまで伝播し、なぜ他の多くの経路では同等の撹乱が吸収され、あるいは曖昧さとして露出したのか。

既存の記録は問いを絞り込むが、答えはしない。局所ラベルや述語の変化数だけでは不十分である。seed 41014 は最も広く摂動された場ではなかった。最大移動量や閾値近傍の個数だけも、確立された分離指標ではない。重要でありうるのは配置である。すなわち、どこで遷移が起きるか、どの周期述語がどの方向に変化するか、そしてそれらの変化が参照同一性、代替の生成、候補集合の濃度へ、どのように同時に写像されるかである。

そのため本メモにおいて ABSTAIN は単なる性能上の失敗結果ではない。それは曖昧さが判定規則にとって観測可能なまま残っていたことの証拠である。関心の対象は次の変換となる。

局所残差の移動 → ラベル配置 → 候補集合のトポロジー → 可視の曖昧さ、あるいは偽の一意性

これは完了した固定研究から促された問いであって、追加の結果でも、すでに検証された提案でもない。シードの追加、新しい sigma 水準、ガード、因果主張のいずれをも承認しない。

d.9本事例が提起する中心的問い

本事例で重要なのは「ノイズが実在の分岐を作ったか」ではない。より直接的な問いは次である。

観測データの内部に安定なパターンが存在するとき、それを対象系の構造の回復とみなしてよいのは、いかなる条件が満たされたときか。

Phase A の理想条件下では、Observer の運用的構造は真値と一致した。B1 ではノイズが強まるにつれ多くの判定が ABSTAIN へ移った。B2 の seed 41014 では、観測系列上の構造認証は安定なまま、真値との対応が外れた。

総合すると、これらの結果は「構造が見えていること」と「対象の構造を正しく回復したこと」の間にある境界の具体例を与える。

d.10暫定的まとめ

seed 41014 のノイズ付き有限観測系列は、凍結 Observer が一貫して 2→4 遷移として認証する局所的な遷移様パターンを含んでいた。その認証は、保存入力のリプレイ下でも、Decimal 50、100、200 桁での下流再評価下でも安定であった。

しかしその安定性は、ノイズなし写像の有限段構造が正しく回復されたことを意味しなかった。観測系列に実際に存在するパターンが、Observer の局所規則によって意味のある分岐系列として認証され、比の計算を経て再現可能な誤推定となった。

本事例が示唆するのは、手続きが単に「ノイズに弱かった」ということではない。有限観測から構造を読み出すときには、入力に存在する規則的特徴、検出器が構成する運用的構造、そして対象系について主張したい構造の三つを分けて扱わねばならない、ということである。後続の固定シード比較はこれに補完的な問いを加える。すなわち、局所摂動がいかにして安定な誤同定へ伝播しうるかだけでなく、広範な局所撹乱にもかかわらず候補の同一性と可視の曖昧さがいかにして保存されうるか、である。

ただしこれは現段階の討議であり、他シードでの反復、独立検出器による確認、追加ガードの評価を経た一般的結論ではない。

↑ 先頭へ