「時間・次元観測器群 SPEC v0」 (8 observer × 5 Phase 段階実装) の Phase 0 = 既存ライブラリとの差分 audit を実施。SPEC v0 §「必須の制約」が「新規実装の前に、既存ライブラリを組み合わせた場合との差分を README に明記する」を義務化しているため、Phase 1 実装着手前の必須 gate。
| # | Observer | Local reusable (rei-aios) | External library | Verdict | 主要 gap |
|---|---|---|---|---|---|
| 1 | 記録器 | data/step-claim-log.jsonl, src/aios/eternal/, src/aios/snapshot/, src/aios/learning/, activity-log |
SQLite append-only / EventStoreDB / PG bitemporal | (b) wrapper | as-of retrieval 統合 API 未実装、8 器共通 event schema なし |
| 2 | 予測器 | src/axiom-os/prediction-uncertainty-engine.ts (D-FUMT₈ 8 値化された predictor with uncertainty、そのまま流用可) |
darts / GluonTS / statsmodels | (a) 既存で足りる | leak-防止 test harness を追加、外部 library との backend 切替 abstraction |
| 3 | 検証器 | src/aios/stopping-condition/, src/mcp/halting-diagnostic-lens.ts, metacognition-depth-lens.ts, src/aios/lenses/ |
darts.backtest / sklearn TimeSeriesSplit / backtrader | (b) wrapper | 予測器 output と検証器 input の型統合、予測距離別 bin 集計 |
| 4 | 予報器 | src/aios/radar/, src/aios/daily/daily-invention-reporter.ts, daily-banner.json, research-radar |
Prefect / Airflow / Dagster / MLflow | (b) wrapper | 予測器を包む convention を rei-aios 内で確立 (Prefect 導入は overkill) |
| 5 | 称号判定 | 近い: src/aios/stopping-condition/ promotion_gates (domain 違う) |
OPA/Rego / cel-go / drools (全て overkill) | (c) 新規実装 | 検証器成績 → 称号 registry (config-driven、コード直書き禁止) 未整備 |
| 6 | 復元器 | 直接的な既存なし (但し予測器 engine の 過去向き利用が可能) | sklearn IterativeImputer / darts.imputation / fancyimpute | (b) wrapper | leak-防止 test harness を予測器と共通化 |
| 7 | 投影器 | src/aios/octatheoria/projection.ts, src/aios/weaver-level-b/projection.ts, MANDALA observatory 系, src/renderer/components/observatory/*.tsx |
UMAP / PCA (sklearn) / PHATE / t-SNE + Plotly | (b) wrapper | 「断面切替」 UI convention 未確立、既存 projection.ts は octatheoria domain 特化 |
| 8 | 探索器 | src/aios/discovery/, src/aios/radar/, src/aios/paranormal-occult-lens/, research-radar (探索実績あり) |
Hypothesis / CBMC / grid + coverage tools | (c) 新規実装 | 「否定結果のみ主張、的中率は主張しない」 anti-overclaim convention を型で強制する framework 不在 |
prediction-uncertainty-engine.ts をそのまま流用)| domain | 完全再利用 | 部分再利用 (a+b) | 新規実装 |
|---|---|---|---|
| 影響観測器 (STEP 2156、12 observer × 3 requirement) | 0 | 3 件 (activity-log 弱 / benchtop MCP / lens 系) | 主要部分 |
| 時間・次元観測器 (本 STEP 2244、8 observer) | 1 件 (予測器) | 6 件 | 2 件 |
時間・次元 domain の方が既存資産が多い理由 = prediction-uncertainty-engine.ts (STEP 100) が既に D-FUMT₈ で uncertainty を表現する predictor として存在するのが大きい。
Observation envelope が prior art、再利用検討)Prediction / PredictionResolution 型は既存)prediction-uncertainty-engine.ts の「そのまま流用可」 判定は 型定義 (Prediction / PredictionResolution) と設計思想 (D-FUMT₈ uncertainty) の一致による、実際の Phase 1 実装で API 齟齬が出る可能性ありprediction-uncertainty-engine.ts 再利用 + G2 leak-防止 test harness) + 検証器 (G3 型統合) + バックテストBacklinks: