Skip to content

fix: prove source-grounded frozen tests after observation - #207

Merged
lipluscodex merged 1 commit into
mainfrom
206-fix-source-grounded-frozen-tests-after-observation
Sep 5, 2026
Merged

fix: prove source-grounded frozen tests after observation#207
lipluscodex merged 1 commit into
mainfrom
206-fix-source-grounded-frozen-tests-after-observation

Conversation

@lipluscodex

Copy link
Copy Markdown
Member

Closes #206

v2 の凍結済み評価 identity を byte 同一で継承し、別 protocol ID と append-only registry を持つ result-free v3 を追加します。
同じ frozen test module 全体を result-free と synthetic post-observation の双方で実行し、development-closed / holdout-eligible、freeze verifier、tamper / gap / overwrite を fail closed に検証します。

v2 の凍結済み corpus/query/gold/gate bytes を直接継承する v3 protocol と、分離された append-only registry を追加する。frozen test module 全体を result-free、development-closed、holdout-eligible の一時状態で実行し、synthetic runner で freeze identity と runtime scope の再入も検証する。実 development / holdout は実行しない。
@lipluscodex lipluscodex linked an issue Sep 5, 2026 that may be closed by this pull request
@lipluscodex lipluscodex self-assigned this Sep 5, 2026

@lipluscodex lipluscodex left a comment

Copy link
Copy Markdown
Member Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Lin: Self-review PASS for #206.

凍結後の観測成果物が存在してもテストが成立するという要件を確認しました。v1/v2の凍結ファイルを変更せず、v3の独立したレジストリで扱っています。

親側でwhole-module probeを実行し、result-free / development-closed / holdout-eligibleの3状態でそれぞれ7テスト成功を確認済みです。実際の一時Git凍結を使ったrunnerテストも含まれます。実装側の764テスト成功報告に加え、現在のhead 6835463b0d4a7a6d7be5bc720fc0bc63a1557e18のCIとOptional MCP adapterがともにSUCCESSです。

これは観測ライフサイクルの修正の合格であり、検索性能の合格ではありません。実クエリ観測は未実行で、性能はマージ後の新規development観測で判定します。

@lipluscodex
lipluscodex merged commit 51a3384 into main Sep 5, 2026
2 checks passed
@lipluscodex
lipluscodex deleted the 206-fix-source-grounded-frozen-tests-after-observation branch September 5, 2026 15:36
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

bug: prove source-grounded frozen tests after observation

1 participant