cseq 実装・検証成績書
初回リリース候補 / Windows第一対象 / 2026-10-08
R0 初回リリースGate
PASS
全pytest
241 / 241
G2B / G2C / G3
DONE
深い性能評価
DEFERRED
判定概要
汎用性・正しさ・ユーザー明示のUI / Runtime / Marker機能を初回リリース必達とし、極端な性能最適化は後段へ分離した。現時点のWindows release candidateはR0 GateをPASSしている。
実装・検証マトリクス
| 領域 | 項目 | 状態 | 証拠・到達点 |
|---|---|---|---|
| 配布・導入 | Windows wheel clean install | PASS | wheel単体から新規venvへinstall。pip check PASS |
| Parser | Tree-sitter C Fast Syntax | PASS | tree-sitter 0.26.0 / tree-sitter-c 0.24.2 / ABI 15 |
| Parser | Selective Clang refinement | PASS | macro / function pointer / preprocessor / vendor extensionを必要時のみsemantic refinement |
| Parser | 外部関数分離 | PASS | stdio.hを含むsampleでも内部定義はdispatch/leaf/mainのみ。puts=EXTERNAL_DECLARED |
| Parser | Indirect callback | PASS | function pointerをINDIRECT_EXACTとして保持・説明可能 |
| 品質Gate | G2B Tree-sitter Front-end | DONE | Windows実物runtime・統合acceptance PASS |
| 品質Gate | G2C Parser移行受入 | DONE | Golden / Differential / Property / Fuzz / Functional E2E / fallback診断を全てPASS |
| 品質Gate | G3 横断品質監査 | DONE | 決定論性 / cache invalidation / Silent Drop監査 72件PASS |
| 全回帰 | pytest | PASS | 241 PASS / 0 FAIL / 0 SKIP |
| 統合検証 | Windows integrated acceptance | PASS | failed_groups=[] |
| Functional | POC-01～POC-09 | PASS | direct/external, callback, fail-soft, RTOS loop, runtime marker, CPU rule, marker direct, PlantUML/HTML, overlay |
| Marker | 直接書換え | PASS | hash precondition + manifest + undo |
| Marker | Overlay | PASS | 元sourceを変更せずmarker注入済みコピーを生成 |
| Runtime | Windows UTF-8 BOMログ | PASS | CPU=CORE_7 / task / timestamp / markerを正常抽出 |
| UI | Interactive HTML | PASS | search / viewport / LOD / Canvas / path query / trace diff / marker suggestion |
| 出力 | PlantUML | PASS | Sequence IRから生成 |
| Binary | Windows PE/COFF + DWARF | PASS | Windows実機で検証済み |
| 性能 | 極限性能深掘り | DEFERRED | 初回リリース阻害なし。1M/10M/100Mの細かな数値追求はリリース後 |
Functional acceptance
- POC-01 Direct Call基本精度 / External分離: PASS
- POC-02 Indirect Callback説明可能性: PASS
- POC-03 未知構文のfail-soft保持: PASS
- POC-04 RTOS無限loop有限表示: PASS
- POC-05 Runtime Marker観測・静的経路復元: PASS
- POC-06 一般化CPU Rule: PASS
- POC-07 Marker直接編集の最小差分・可逆性: PASS
- POC-08 PlantUML / HTML同一Sequence IR: PASS
- POC-09 Marker Overlay原本非変更: PASS
- POC-10 1M event級の深性能: DEFERRED（初回リリース阻害なし）
配布ドキュメント
cseq docs readme— READMEcseq docs design— 設計書（清書版）cseq docs report— 本HTML成績書cseq docs all --output-dir docs— 3点一括出力
残件
- 実会社ソースでのpilotは代表source提供時に実施。
- G4/G5に相当する1M/10M/100M級の深い性能測定・最適化は初回リリース後。
- 性能改善時もSilent Drop禁止、汎用性、UI必達条件を崩さない。