feat: add outcome-driven feedback deactivation - #112
Conversation
soft-start contributionのcredited deltaと同一contributionのsibling normalization deltaを一体で永続化し、帰属可能なnegative outcomeだけを可逆に不活性化します。correctedと olled_backはbaseline floorを保ってexact reversalし、supersededはedgeを削除せずdormant化し、独立した後続confirmedで再活性化します。 default-offのcore/MCP/config provenance、mechanics test、fresh private snapshot向けresult-free protocol・runner・verifier・preflightを追加します。このcommitではdevelopment/holdout outputを生成せず、観測はsquash merge後のsuccessor Issueへ分離します。
|
Lin: pair review phase 2 - findings now[P1] Interleaved sibling reversal can exceed maximum_edge_weight
現commitのpublic APIだけで、Bを1.9から開始し、A confirmation後にBを独立soft-start/confirmed、最後にAをcorrectedとしたところ、 該当境界: laterなし。 accepted
|
判定: - Accept [P1]: sibling normalization の逆適用後に、後続の credited contribution と合成された edge が maximum_edge_weight を超える問題を受理した。単純な上限 clip だけでは後続 contribution の逆適用時に切り詰め量を復元できず、exact reversal を失うため。 - Reject: なし。 修正: - edge ごとに journal 開始時の weight、reinforced count、上限を保存し、active な signed mutation の総和から逆適用後の状態を再構成する。 - near-ceiling sibling mutation と後続 credited contribution の交錯順序を固定した独立回帰テストを追加する。 - frozen manifest、protocol、gate、audit、既存 mechanics assertion の bytes は変更しない。
lipluscodex
left a comment
lipluscodex
left a comment
There was a problem hiding this comment.
Lin: Self-review PASS
Issue #111の目的、対象、制約、freeze-only完了条件に対してPR diff、CI、result-free境界を確認しました。
- default-offで既存audit-only contractとconfig fingerprintを維持
- corrected / rolled_backはtraceとsaved credited pathへ帰属可能なactive contributionだけを逆適用
- credited deltaと同一contributionのsibling normalization deltaを一つのsigned journal単位として永続化
- supersededは削除せずdormant化し、独立saved-path confirmationでreactivation
- baseline / count / maximumとactive mutationからedge stateを再構成し、interleaving時もboundedかつ順序可逆
- idempotency、restart、transaction atomicity、locality、MCP receipt / schema / description parityを回帰で確認
- development / holdoutは未実行、registered output不在、freeze artifactとprivate snapshotの境界を維持
- 親finding [P1]はAcceptされ、独立回帰と264件full suite、CI / Optional MCP greenで収束
Now findingなし。Observationとlocal adoptionはIssue本文どおりsuccessorへ残します。
1 participant
Closes #111
soft-start contributionのcredited加算と同一contributionのsibling normalization減算を一体で永続化し、帰属可能なnegative outcomeのexact reversalとdormancy / reactivationをdefault-offで追加します。
mechanics、core/MCP receipt、config provenance、docsと、fresh private snapshot向けresult-free protocol / runner / verifierを固定します。development / holdoutは実行せず、観測をsuccessor Issueへ分離します。