STEP 2245 — 時間・次元観測器群 SPEC v0 Phase 1 baseline

rei-aios-bf tab / 2026-09-26 / STEP 2244 Phase 0 audit の直後起工

1. 目的

「時間・次元観測器群 SPEC v0」 (8 observer × 5 Phase) の Phase 1 = 記録器 + 予測器 + 検証器 + バックテスト baseline 実装 + G1-G3 gap fill。STEP 2244 audit で Phase 1 進行判定 = 可 の直後起工、藤本さん explicit 「(i) でお願い致します」応答。

2. 実装 file 一覧

器	file	行数目安	状態
記録器 (Recorder)	`src/aios/time-dim-observers/recorder.ts`	~90	✅ 実装
予測器 (LeakSafePredictor)	`src/aios/time-dim-observers/predictor.ts`	~90	✅ 実装 (G2 leak guard 込み)
検証器 (Validator)	`src/aios/time-dim-observers/validator.ts`	~130	✅ 実装 (G3 型統合)
バックテスト (runBacktest)	`src/aios/time-dim-observers/backtest.ts`	~80	✅ 実装
合成データ (synthetic)	`src/aios/time-dim-observers/synthetic.ts`	~60	✅ 実装 (AR(1) + sine + mulberry32)
統合 event schema (G1)	`src/aios/time-dim-observers/types.ts`	~80	✅ 実装 (`Observation<V>` envelope)
test	`test/step2245-time-dim-observers-baseline-test.ts`	~250	✅ 46/46 PASS
README (SPEC v0 §必須の制約差分明記)	`src/aios/time-dim-observers/README.md`	~100	✅ 実装

3. Gap fill 達成状況

Gap	内容	Phase 1 status
G1	統合 event schema (8 器共通の `Observation<V>` envelope)	✅ 実装 (types.ts)
G2	leak-防止 test harness (strategy に t 以降を見せない)	✅ 構造的 enforce (predictor + spy test)
G3	予測器 → 検証器型統合 (`Prediction` / `PredictionResolution`)	✅ re-export で共有
G4	称号 registry (config-driven)	⏸ Phase 2 defer
G5	探索器 anti-overclaim convention	⏸ Phase 5 defer

4. Test 結果

npx tsx test/step2245-time-dim-observers-baseline-test.ts
── 1. Recorder ──
── 2. LeakSafePredictor (G2 leak-防止) ──
── 3. Validator ──
── 4. Backtest (walk-forward) ──
── 5. Leak-prevention integration ──

結果: 46 passed, 0 failed

Section 5 の Leak-prevention integration test で、backtest ループ全体を通じ strategy 関数が t 以降の観測値を一度も見ていないことを audit spy で確認 (violations.length === 0)。

5. できること / できないこと (Phase 1 baseline の範囲)

できること

追記専用の時系列記録を in-memory で保持し、任意時点 t で「その時点までに分かっていた記録」を切り出す (as-of retrieval)
時点 t までの記録だけを入力に、任意の strategy 関数で点予測 + 区間 + D-FUMT₈ 8 値の不確実性ラベルを作る
予測 vs 実測を照合し、方向的中率 / 区間内率 / MAE / RMSE を全体 + 予測距離 bin 別に集計する
合成データ (AR(1) / sine) で walk-forward backtest を回し、成績を報告する
リーク防止 (G2): strategy 関数には recorder.asOf(t) の frozen slice のみを渡し、生の recorder は渡さない設計。leak 検出テストが同梱

できないこと (Phase 1 baseline の意図的範囲)

永続化: in-memory のみ、Phase 2+ で SQLite append-only or JSONL adapter
確率的予測モデル: strategy 関数を外から差し込む方式、SARIMAX / darts / GluonTS は strategy 内で呼ぶ想定
称号判定: 「予知」「予言」の付与 (Phase 2)
距離別成績の有意性検定: 単なる集計値、t-test 等は別 layer
時間軸以外の観測器 (復元器 / 投影器 / 探索器) は未実装

6. 既存 library との差分 (SPEC v0 §「必須の制約」準拠)

記録器: EventStoreDB / PG bitemporal / Datomic が同等機能を提供、但し embed 重い。本 baseline は単一 .ts の in-memory 実装で 8 器統合 Observation<V> envelope を供給 (wrapper 相当、STEP 2244 audit の (b) 判定と一致)
予測器: darts / GluonTS / statsmodels は実 forecasting model 提供、本 baseline は STEP 100 PredictionUncertaintyEngine を wrap し strategy 入力 window を構造的に t 以下に絞る (leak 防止が library level で構造保証、user 責任にせず)
検証器: darts.backtest / sklearn TimeSeriesSplit と同等以上、本 baseline は同 Prediction 型で型統合 (G3)、horizon bin 別 score が SPEC v0 「予測距離別の成績」の直接記述
バックテスト: darts.backtest が最短距離、本 baseline は strategy を外部化した wrapper で同等機能

7. 主張しないこと

予測精度の一般性 (strategy が constant の baseline のみ)
実データでの動作 (合成データ AR(1) + sine のみ検証)
SPEC v0 の 8 器全体で「これで足りる」 (Phase 2-5 未実装)
「時間・次元観測器群」の「次元」側 (投影器 = Phase 4) は本 Phase では扱わない

8. 次 Phase 候補

Phase 2: 予報器 (定期実行 + 配信層) + 称号判定 (G4 config-driven registry)
Phase 3: 復元器 (過去向き予測、G2 leak-防止 test harness 再利用)
Phase 4: 投影器 (高次元 → 2D/3D、断面切替) — STEP 1020 OctaTheoria projection 系再利用検討
Phase 5: 探索器 (G5 anti-overclaim convention、「否定結果のみ」を型で強制)

Backlinks:

STEP 2244 — Phase 0 prior art audit (前提)
Tools index
Rei-AIOS Home Hub
Memory Mirror
Prior art in-repo: STEP 100 prediction-uncertainty-engine.ts / STEP 1020 OctaTheoria Observation envelope