STEP 1402 — d8_ledger_query v0.1

MCP tool 44 tools (auto-count) Date: 2026-08-24 / Tool: d8_ledger_query in rei-aios v2.8.5

1. 経緯

STEP 1401 で rei-checker-mcp v0.3.0a1 wired = verify() → ledger.jsonl (d_fumt8 field 記録)。 pending-lean4-neither-mcp-connector (c) pickup = rei-aios MCP 側から rei-checker ledger を D-FUMT₈ aggregation で consume する tool。藤本さん directive 「(c) ledger_query 実装」選択 → 実装。

2. Design (単方向 flow で spec §1.3 保護継承)

rei-checker-mcp verify()  →  ledger.jsonl (d_fumt8 field)  [Option X, STEP 1401]
                                    │
                                    ▼
rei-aios d8_ledger_query  ─── reads, filters, aggregates  [本 STEP 1402]
                                    │
                                    ▼
                          downstream analysis / reporting

Read-only invariant: 本 tool は ledger を 一切書かない、 rei-checker が既に書いた field を読むのみ = spec §1.3 (rei-checker) 保護継承。「新 API surface 追加」ではなく「既存 surface 消費」。

3. API (5 filter + 6 aggregation)

Input parameters

ledgerPath?: string — auto-detect (Windows/Linux 2 candidate) or explicit
filter?: {verdict?, reasonCode?, dFumt8?, since?, until?} — 5 field AND 合成、全 optional string
limit?: number — default 100、 max 10000、 tail return
includeAggregation?: boolean — default true
includeRows?: boolean — default true、 false で aggregation のみ

Output aggregation fields

field	type	description
totalRows	number	filter 後の rows 数
byVerdict	Record<string, number>	verdict 別 count (VALID/INVALID/UNDECIDED)
byReasonCode	Record<string, number>	reason_code 別 count
byDFumt8	Record<string, number>	D-FUMT₈ 8 値別 count
decisionRate	number	(VALID+INVALID) / total、 0.0..1.0
d_fumt8_coverage	number	rows with d_fumt8 / total、 backward compat marker

4. Graceful edge case handling

Ledger 不在 → ledgerExists: false + 空 aggregation + graceful (error でない)
Malformed rows → silent skip + malformedRowsCount に count
Pre-v0.3 rows → d_fumt8 field 欠如 = d_fumt8_coverage < 1.0 で明示 (retroactive inference しない)
Filter 未指定 → 全 rows aggregate
limit=0 → rows 空 + aggregation は全 filtered set

5. test 実測 (81/81 PASS)

16 part 網羅: ledger 不在 / happy path / filter × 4 / combined / backward compat / malformed / limit tail / opt-out / invalid input / limit=0 / source marker / spec-as-data / honest scope。

6. MCP e2e stdio smoke (real ledger consume)

Rei MCP Server v2.8.5 起動済み（stdio モード・44ツール
  (auto-count、 finding #32 systemic 対策 STEP 1378)・起動時インデックス構築）

Real C:/Users/user/rei-checker-mcp/ledger.jsonl query result:

{
  "totalRowsRead": 11,
  "aggregation": {
    "byVerdict": {"UNDECIDED": 5, "VALID": 6},
    "byReasonCode": {"TIMEOUT": 5},
    "byDFumt8": {"NEITHER": 2, "TRUE": 2},
    "decisionRate": 0.545,
    "d_fumt8_coverage": 0.364    ← 4/11 v0.3+ rows、 backward compat 動作
  },
  "source": "d8-ledger-query"
}

7. Rei stack alignment

Rei stack MCP 9 systems の消費 pipeline 第 1 号: rei-checker-mcp (9th、 STEP 1401) → rei-aios (1st) の cross-project consumption
D-FUMT₈ surface STEP 1349/1350/1371/1376/1377/1379/1397 は全て rei-aios 内 producer、本 STEP は rei-checker からの inter-project consumer = D-FUMT₈ ecosystem に cross-project data flow 追加
source marker discipline: source: 'd8-ledger-query' で rei-checker 'rei-checker-d-fumt8-mapping' + rei-aios connectors 'static-truth-table' / measurement 'measurement-verdict-mapping' 全区別可能

8. Lean 4+NEITHER pending 全 close

#	option	status
(a)	Andrica verify	⏸ 別 STEP candidate
(b)	rei-checker-mcp v0.3 拡張	✅ STEP 1401
(c)	ledger_query 実装	✅ 本 STEP 1402
(d)	(b)+(c) セット	✅ 完了
(e)	別方針	該当なし

9. Honest scope (7 条)

Read-only invariant = ledger write 一切なし、rei-checker spec §1.3 継承保護
novelty ゼロ = JSONL parse + filter + aggregate 標準 pattern、 novelty は Rei stack 内 rei-checker → rei-aios cross-project 初 arc のみ
Auto-detect は Windows/Linux 2 candidate のみ、 macOS 等は明示 override 必要
Aggregation は filtered set 集計 (「全 ledger」ではない)、混同注意
Pre-v0.3 rows は retroactive inference しない、 d_fumt8_coverage < 1.0 で明示
Recent-N tail = ledger 全体 return しない、 aggregation は全 filtered set
SAC-4 47 教訓 Phase 3-19 継続 = pre-staged 0 件 confirm 後明示 file add、 write-time STEP number verify

10. 次 candidate (別 STEP)

v0.2 = histogram output (時間経過)、 spec-as-data 引数 flag 化
(a) Andrica verify = rei-checker-mcp v0.3 経由 STEP 1387 予告実現
rei-aios stats aggregation との統合 = decision_rate cross-project dashboard
Multiple ledger sources merge = 複数 rei-checker instance の union query

11. 関連

memory: project_step1402 (詳細)
STEP 1401 (前提、 producer side)
pending-lean4-neither (本 STEP で (c) 完了、全 close)
STEP 1349/1350/1371/1376/1377/1379/1397 (rei-aios D-FUMT₈ surface、本 STEP は cross-project consumer で相補)
STEP 1378 (MCP tool count auto-count、本 STEP で 43→44 auto 反映)
STEP 1380 (spec-as-data pattern 継承)

STEP 1402 — Rei stack / rei-aios v2.8.5 44 tools / 2026-08-24