STEP 1859 sub-hypothesis 検定 — initial tier composition segregated metric
STEP 1859 の m2 (seven fp reject 高) と m3 (seven higher-tier cycle 高) の seemingly 矛盾 を initial tier composition 3 category で 分解。 chat-Claude survival bias hypothesis は 半分支持・半分反証、 第 3 層 finding として seven の higher-tier cycle が pure_higher initial ではなく mixed initial から convergence する mechanism を 発見。
Cross-flow ban (本 site page 全体 で 遵守)
本 report は 力学差 の 帰結 のみ を 特徴づける。 T×F carve-out の 意図 (silicon 互換性 か 実装 bug か) は 一次資料 でしか 決まらない (STEP 1866 で 一次資料 audit 済、 evidence 未取得で UNDETERMINED 判定)。 「discontinuity が carve-out に 局在した」 は 「bug である」 の 証拠に ならない — 意図的な pass-through でも 同じ像が 出る。 本 verdict は 力学 signature の 特徴づけ のみ を 表現、 T×F carve-out 意図 の 判定材料 として 使用禁止。
STEP 1859 (iv) 定性分析 note 由来 の chat-Claude 予測
STEP 1859 で verdict = STABLE_NEITHER が 出た 後、 定性分析 (qualitative-analysis.md) で 「m2 (seven fp reject 高) と m3 (seven higher-tier cycle 高) は seemingly 矛盾 に見えるが、 実は 整合する」 の hypothesis が chat-Claude から 提示された。
予測 1: seven の 「多く 死ぬ」 (高 m2 = fp reject) は mixed initial category (classical + higher 両方含む) に 集中。
予測 2: 生き残る少数 cycle (高 m3 = higher-tier cycle) は pure_higher initial category (全 node higher-tier) に 集中。
両者 supported なら: survival bias 完全支持 = seven は 混合 state を fp に潰し、 pure higher state を cycle attractor として preserve する mechanism。
Pre-reg 由来: data/tabs/rei-aios-a3/step-1859-dynamics-harness/qualitative-analysis.md §6 未診断 sub-hypothesis
既存 harness core 再利用 + initial_tier_composition classifier 追加
各 circuit の 初期状態 s0 (7-9 node 各 uniform 8 値) を 3 category に 分類:
{TRUE, FALSE, BOTH, NEITHER} (bit2=0){ZERO, FLOWING, SELF, INFINITY} (bit2=1)理論 P(pure) ≈ (0.5)^n (n=7-9 で 0.2%-0.8%)、 P(mixed) ≈ 1 - 2·(0.5)^n ≈ 99%。 実測 と 一致 sanity check pass。
[1729, 42, 8675309, 314159, 271828])harness_multiseed.ts の makeCircuit / evalCircuit / mulberry32 / fnv / mix / pairedBootstrap / permutationPclassifyInitial(s0) + per_category segregate metric collectiondata/tabs/rei-aios-a3/step-1859-dynamics-harness/harness_survival_bias.ts (405 行)5 seed 合計 の initial_tier_composition 分布
| Category | Count (両代数 各) | Ratio | Per-seed min | Sample power |
|---|---|---|---|---|
| pure_classical | 219 | 0.44% | 38 | ≥30 threshold pass |
| pure_higher | 241 | 0.48% | 38 | ≥30 threshold pass (但し CI wide 予期) |
| mixed | 49,540 | 99.08% | 9,894 | 圧倒的 dominant |
Sanity: 理論値 P(pure_classical) ≈ P(pure_higher) ≈ (0.5)^n (n=7-9) と 実測 一致。 mixed が 99% を 占めるのは 「n=7-9 node の 各々 が uniform 8 値 → tier 選択 P=0.5 → 全 node 同 tier の 確率 = 2·(0.5)^n」 の 帰結。
m2 (fp reject) + m3 (higher-tier cycle) × 3 category × 両代数
| Category | m2 seven / verilog | m2 direction | m3 seven / verilog | m3 direction |
|---|---|---|---|---|
| pure_classical | 0.273 / 0.289 | not-sig | 0.000 / 0.000 | 両者 higher tier 到達不能 |
| pure_higher | 0.337 / 0.325 | not-sig | 0.004 / 0.015 | OPPOSITE (verilog 高、 予測反対) |
| mixed | 0.292 / 0.238 | EXPECTED 5/5 | 0.015 / 0.006 | EXPECTED 5/5 |
値は 5 seed の 平均 rate。 direction 判定は per-seed 独立 (5 seed 各 で paired bootstrap CI 95% + permutation p、 strict α=0.01)。 「5/5」 は 5 seed 全てで direction stable な意。
survival_bias_verdict = MIXED
Verdict
hypothesis の 一部 satisfied (mixed で m2 + m3 両者 expected direction stable) + 一部 refuted (pure_higher で m3 direction opposite)。 SUPPORTED_STRONG / PARTIAL / REFUTED / UNDERPOWERED いずれにも 該当せず。
mixed initial から の higher-tier convergence mechanism
chat-Claude 予測 の 前半 (m2 の mixed 集中) は satisfied、 但し 後半 (m3 の pure_higher 集中) は refuted。 この gap から 予測外 mechanism が 見える:
a[2]=0 && b[2]=1 → out=a の eviction 効果)Mixed state から higher-tier を 生成 できる。 precedence order 〇<⊥<N<∞<～<B<⟲<⊤ で mid-precedence な higher-tier ({∞,〇,～,⟲} rank 3-6) は AND-min にも OR-max にも 敵しない 中間帯、 mixed state を 反復するたび に higher-tier value が cell 単位 で win する 頻度が 高い。
結果: mixed initial から 出発した cycle は higher-tier attractor に 引き込まれる。 pure_higher initial は 稀 (0.5%) だが、 mixed initial から の 「収束先」 が higher-tier cycle。
Mixed state を classical に 収束 させる。 cross-tier default rule if a[2]=0 && b[2]=1 → out = a は 「classical と higher の 混合状態で classical が win」 = higher-tier value を eviction。
結果: mixed initial から 出発した cycle は classical TF に 引き込まれる (34% classical-only reach vs seven 7%)。 higher-tier cycle は 全 node higher-tier の closed sub-orbit 必要 = stringent 条件 で 稀。
Cross-flow ban (中盤、 qualitative interpretation 節末)
本 節 の 定性分析 (seven precedence generation / verilog cross-tier eviction) は 全て op 表 が 何を返すか + cycle が どう形成されるか の 帰結 特徴づけ。 STEP 1866 Route D audit で T×F carve-out 意図 = UNDETERMINED (一次資料 evidence 未取得) が 判定済、 本 (2) survival bias 結果を (3) 意図判定 の 根拠に 流用 禁止。 意図的 pass-through でも 実装 bug でも 同じ dynamics signature が 出る。
結果 の 適用範囲 と 限界
依拠 arc + 独立 sibling STEP
data/tabs/rei-aios-a3/step-1859-dynamics-harness/qualitative-analysis.mddata/tabs/rei-aios-a3/step-1859-dynamics-harness/harness_survival_bias.ts (405 行)data/tabs/rei-aios-a3/step-1859-dynamics-harness/results_survival_bias.json (48 KB、 per-seed × per-category × per-metric raw + CI + p)Cross-flow ban (再掲、 footer 前 の 独立 block)
本 report は 力学差 の 帰結 のみ を 特徴づける。 T×F carve-out の 意図 (silicon 互換性 か 実装 bug か) は 一次資料 でしか 決まらない (STEP 1866 で 一次資料 audit 済、 evidence 未取得で UNDETERMINED 判定)。 「discontinuity が carve-out に 局在した」 は 「bug である」 の 証拠に ならない — 意図的な pass-through でも 同じ像が 出る。 本 verdict は 力学 signature の 特徴づけ のみ を 表現、 T×F carve-out 意図 の 判定材料 として 使用禁止。