Skip to content

eval: freeze baseline-aware soft-start comparison - #107

Merged
lipluscodex merged 1 commit into
mainfrom
issue-106-baseline-aware-soft-start-eval
Aug 21, 2026
Merged

eval: freeze baseline-aware soft-start comparison#107
lipluscodex merged 1 commit into
mainfrom
issue-106-baseline-aware-soft-start-eval

Conversation

@lipluscodex

Copy link
Copy Markdown
Member

Closes #106

baseline-aware soft-start snapshot v2をfresh snapshot、新規namespace、新規caseでresult-free固定します。initial evidence stateからq3 first mutationを導出し、capacity、privacy、exclusive output、v1 development edge isolation、8 hard gateを登録しました。

#105のsquash merge後に証明不能となったv1 developmentの事前不在だけを現在検証可能な境界へ修正し、historical protocol blob、result-free audit literal、development observed verifier、holdout不在を維持します。v1のprotocol、gate、result、audit、manifestのbytesは変更しません。

このPRはfreeze-onlyです。developmentとholdoutは実行せず、registered output不在のままmerge後の別Issueへ引き継ぎます。

Issue #106 のfresh snapshot比較をv2 namespaceでresult-free固定する。initial evidence stateからq3 first mutationを導出し、capacity、v1 development edge isolation、privacy、exclusive output、historical verification、8 hard gate、tests、normative docsを登録する。#105 squash後のv1 verificationはprotocol blob hashと既存observed verifierへ分離し、v1 artifact bytesを変更しない。development / holdout resultは生成しない。
@lipluscodex lipluscodex self-assigned this Aug 21, 2026
@lipluscodex lipluscodex linked an issue Aug 21, 2026 that may be closed by this pull request

@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.

親セルフレビュー: PASS

  • #106はfreeze-onlyへ正しく収束し、baseline-aware v2のdevelopment / holdout registered outputは両方不在です。
  • q3/s1 first mutationはregistered initial evidence countからmax(1, quorum - initial_count)で導出し、event budget内にfirst mutationとquorum後のfresh activationを両方観測できることをpreflightで要求します。
  • fresh snapshot、新namespace、新caseを使用し、v1 observed development credited edgeをdevelopmentから除外しています。baseline exact match、trace path、capacity、privacy、source hash / schema / row countをresult生成前に検証します。
  • v1 frozen protocol / manifest / fixture / schedule / gate / audit / observed result bytesは不変です。squash後に再証明不能なdevelopment事前不在だけを、historical protocol blob、audit literal、development observed verifier、holdout不在という現在検証可能な境界へ修正しています。
  • freezeとobservationを別Issue / PRへ分離するため、#107 squash merge後もmanifest first-addition commitにregistered outputが存在しないことをGit historyから検証できます。
  • public artifactにsnapshot本体、node本文、absolute private path、credential-shaped valueは検出されません。source DB / live configは不変です。
  • git diff --check、親側重点11 tests、eval smoke、full 251 tests、result-free preflight 19 checks、GitHub CI、Optional MCP adapterはpass。残存blocking findingはありません。

次の処理: squash merge。development / conditional holdoutはmerge後の別Issue / PRで一度だけ実行します。

@lipluscodex
lipluscodex merged commit d73d115 into main Aug 21, 2026
2 checks passed
@lipluscodex
lipluscodex deleted the issue-106-baseline-aware-soft-start-eval branch August 21, 2026 01:39
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.

eval: make soft-start snapshot comparison baseline-aware

1 participant