---
name: project-step1377-discovery-worker-fdr-gate-2026-08-23
description: STEP 1377 discovery-worker v0.4 fdr_gate — Python BH FDR primitive、rei-aios STEP 1371 sibling、defer (b) 完了 = defer 5 全完了
metadata: 
  node_type: memory
  type: project
  originSessionId: 1f71dc26-eff6-41db-8142-70648b0a0ec2
  modified: 2026-08-22T15:54:54.236Z
---

# STEP 1377 — discovery-worker v0.4 fdr_gate (defer (b) 完了 = defer 5 全完了)

Date: 2026-08-23
Status: 実装 + test 62/62 + docs + local commit `25eda74` 完了
契機: 藤本さん defer 5 項目 の 最後 (b) discovery-worker v0.2 統合

## 実装 (external repo: C:/Users/user/discovery-worker/)

新規 file 3:
- worker/fdr_gate.py (~360 行) — 単独 primitive、stdlib only
  - benjamini_hochberg(p_values, q) — pure BH FDR
  - map_multi_trial_to_d8(trials, fdr_q, alpha) — 8-rule decision table
  - spec_table() dump + CLI
- tests/test_fdr_gate.py (~250 行) — 62/62 PASS (17 part)
- docs/v0.4-notes.md — design + isolation contract + non-integration honest scope

## 決定表 (rei-aios STEP 1371 と 一字一句同じ、8 rule M1-M8)

5 値 activate (TRUE / FALSE / NEITHER / ZERO / BOTH)、INFINITY / FLOWING / SELF 予約。
Source marker 'multi-trial-fdr-verdict-mapping' で 静的引き当て機械保証 (TS 実装と同型)。

## Isolation contract

rei-aios / rei-* 全 sibling repo / SEED_KERNEL DB / external Rei stack へ dependency ゼロ。
stdlib only (math, json, sys, argparse, dataclasses, pathlib)。
Spec §1.5 network egress allowlist に rei-aios.pages.dev 禁止 → HTTP 経由 MCP 呼び出し不可
→ Python 独立実装が 唯一の道。

## Verify 実測 (62/62 PASS)

- Part 1 [1-3]: BH Wikipedia 教科書 (10 p、q=0.05、kMax=2、critical_p=0.008) + edge case
- Part 2 [4-11]: Rule M1-M8 全網羅、[9] chat-Claude 核心 M6 (naive=2, fdr=0 → NEITHER)
- Part 3 [12-14]: discovery-worker realistic:
  - 100 trials uniform null → naive=4, fdr=0 → NEITHER ✓
  - 1000 trials scaled → naive=49, fdr=0 → NEITHER ✓
  - 1 strong (1e-6) + 99 noise → naive=5, fdr=1 → BOTH ✓
- Part 4 [15-17]: spec + source marker + invalid input

## Non-integration honest scope (pipeline auto wire-up defer)

hunter_alpha (counterexample search) verdict = TRUE/FALSE/INFINITY/NEITHER、p-value なし。
hunter_beta (arXiv/OEIS prior-art) similarity score、p-value 変換は 別 layer。
fdr_gate は caller-provided p 前提、使い方 3 通り:
1. CLI: python worker/fdr_gate.py <trials.json> --fdr-q --alpha
2. Import: from fdr_gate import map_multi_trial_to_d8
3. Future v0.5+ hunter_gamma (p-value 生成 worker) を wire up 候補

## Rei stack 相補構造 (合計 7/8 値 activate、SELF のみ 予約)

| STEP | Domain | Activate |
|---|---|---|
| rei-aios 1350 | single measurement | TRUE/NEITHER/ZERO/INFINITY/FLOWING |
| rei-aios 1371 | multi-trial FDR (TypeScript) | TRUE/NEITHER/ZERO/FALSE/BOTH |
| rei-aios 1376 | sample-pair Welch t-test | TRUE/FALSE/NEITHER/INFINITY |
| **discovery-worker 1377** | **multi-trial FDR (Python 独立実装)** | **TRUE/NEITHER/ZERO/FALSE/BOTH (STEP 1371 sibling)** |

## defer 5 項目 全完了 status

| Item | Description | STEP | Status |
|---|---|---|---|
| (a) | rei-aios MCP wrapper + finding #32 | 1372 | ✅ (v2.8.2, 40 tools) |
| (b) | discovery-worker Python adapter | **1377 (本 STEP)** | **✅ (v0.4 fdr_gate)** |
| (c) | Welch-t 統合 | 1376 | ✅ (v2.8.3, 41 tools) |
| (d) | MEMORY.md compact | 1374 | ✅ (25.5→15.1 KB, −41%) |
| (e) | CLAUDE.md 15 STEP catch-up | 1374 | ✅ (1355-1370) |

**defer 5 全完了** (STEP 1371 → 1372 → 1374 → 1376 → 1377、5 STEP のうち 4 は 同日
2026-08-23 に SAC-4 43-46 write-time collision streak と 共に landed)。

## Honest scope

1. 「世界初」 主張ゼロ、BH 1995 = 30 年前既知、TS sibling の Python 移植
2. Pipeline auto-integration は defer (p-value 生成 worker 別途必要)
3. Remote 未設定 = local commit only (spec §1.4)
4. Isolation contract clean (rei-aios dependency ゼロ、stdlib only)
5. TS/Python 実装間の 決定表 同期は 現時点 manual、drift 検知 CI test 追加 candidate

## Site + docs

- URL: https://rei-aios.pages.dev/tools/step-1377-discovery-worker-fdr-adapter/
- external commit: discovery-worker `25eda74` (local only、no remote push)
- md5 mirror: e3101064c51a3da3f9be0e12f2d34b66

## 関連

- rei-aios STEP 1371 / 1372 / 1374 / 1376
- discovery-worker v0.3 bb019e8 (前 commit、merge_gate runtime)
- discovery-worker spec docs/discovery-worker-spec-v0.1-2026-08-22.md
- feedback-super-naming-siren-family-pattern (pipeline auto-integration の 「果たせない約束」 回避)