feat: add reversible outcome-driven feedback deactivation

[lipluscodex]

目的

soft-startで加算されたrelation feedbackを、因果帰属できるnegative delayed outcomeに限って可逆に不活性化するdefault-off candidateを追加し、観測前のresult-free評価境界まで固定する。

前提

• 現行soft-startは最初のusedでprovisional fraction、最初のconfirmedでremainder、後続confirmedでgeometric decayを加算する。
• corrected、rolled_back、supersededは現在audit記録だけを行い、edge weightを変更しない。
• baseline-aware snapshot evaluation v2はsoft-startのdevelopment / holdout全hard gateを通過し、local serving policyへ採用済み。
• squash merge後もresult-free登録時点のoutput不在をmain履歴から証明するため、mechanics / freezeとobservationを別Issue / PRへ分離する。

対象

• negative outcomeを一般的な罰として扱わず、保存済みtraceとcredited pathへ明示的に因果帰属できる場合だけ適用する。
• correctedは、誤りに帰属されたsoft-start / confirmation contributionを正確に取り消す。
• rolled_backは、参照された過去のreinforcement contributionを正確に取り消す。
• supersededは、relationと証拠を削除せずdormantとして通常activationを抑制し、再活性化可能にする。
• contribution、reversal、dormancy、idempotencyをSQLiteに永続化し、core / MCP receiptとconfig provenanceを一致させる。
• exact reversalはcredited edgeの加算と同じcontributionが発生させたsame-source sibling normalization deltaを一つの可逆単位として扱う。

制約

• 時間経過だけのdecay、未利用だけを根拠にした減衰、基礎weight以下へのpunitive updateは含めない。
• lexical、zero-hop、別source、uncredited edge、因果帰属できないtask failureは変更しない。
• duplicate outcome、retry、restartで二重減算しない。
• source document、node、edge、trace、outcome、frozen artifactを削除または遡及変更しない。
• 既存library / MCP defaultと現行local serving configはcandidate評価通過前に変更しない。
• eval: validate evidence-gated local reinforcement #76 / eval: validate evidence gating with canonical gates #77、eval: compare used and confirmed feedback policies #85 / eval: compare used and confirmed feedback policies #86、real-task shadow、soft-start snapshot v1 / v2の凍結証拠は変更・再実行・再集計しない。
• このIssueではregistered development / holdout outputを生成せず、development / holdoutを実行しない。

検証

• synthetic mechanicsでexact contribution reversal、baseline floor、idempotency、restart、transaction atomicity、locality、credited / siblingの逆写像、dormancy / reactivationを検証する。
• control / deactivation candidateをfresh snapshot cloneで比較するresult-free protocol、fixture、schedule、gate、manifest、schema、exclusive output pathを観測前に固定する。
• result-free preflightでcase capacity、baseline state、path identity、output不在、source / snapshot不変を検証する。
• freeze merge後のsuccessor observation Issueがdevelopmentを一度だけ実行し、全hard gate通過時だけholdoutを一度開く。

文書

• requirements、README、MCP description、config provenance、candidate mechanics docを同じPRで更新する。
• docs/Decision-Structure.mdへoutcome-driven feedback deactivation判断ノードを追加する。

完了条件

• core / MCP mechanicsと永続化testがgreen。
• result-free評価artifactとpreflightがgreenで、registered development / holdout outputが不在。
• PR / CI green後も観測を実行せず、successor observation Issueへ引き渡す。
• local adoptionはsuccessorのdevelopment / conditional holdout結果に基づく別判断として残す。

[lipluscodex]

Lin: 設計上の明示。exact contribution reversalはcredited edgeの加算だけでなく、その同じcontributionが発生させたsame-source sibling normalization deltaも逆写像に含める。片側だけを戻すと当該feedback前のgraph stateへ復元できないため、per-contribution mutation journalまたは同値な永続表現で、credited / siblingの全actual deltaを一つの可逆単位として扱う。別contribution、別source、基礎weightは変更しない。

[lipluscodex]

Lin: #106で確立したsquash-safeなfreeze / observation分離を適用し、Issue本文をfreeze-onlyへ収束しました。このIssueではmechanicsとresult-free artifact / preflightまでを実装し、development / holdoutは実行しません。観測はfreeze merge後のsuccessor Issueで各一度だけ行います。

[lipluscodex]

Lay: phase 1のfreeze-only stop conditionへ到達しました。

• PR: feat: add outcome-driven feedback deactivation #112
• freeze commit: e6830471adae797a2fc489e3fc2df49e251aabdc
• mechanics: credited edgeのactual deltaと、同一contributionが発生させたsame-source sibling normalization deltaを一つのsigned mutation journalとして永続化。corrected / rolled_backはbaseline floorを保って原子的にexact reversalし、supersededはedgeを削除せずdormant化、独立した保存済みpathの後続confirmedで再活性化
• default境界: candidateはdefault-off。既存audit-only behaviorと既定config fingerprintを維持し、live config / source databaseは変更なし
• fresh snapshot: container SHA-256 b129f1f85f2706929cdc6291c5c846b8a50d419cb3b49ca9f108987c6d2d2454、logical SHA-256 92fc59c96ec1bb70c846997e77d34f911d5cf98f65e68312ed22b86c891ef27a、integrity ok
• result-free preflight: development / holdoutともsnapshot、schema、registered baseline、case capacity、saved path identity、same-source sibling capacity、privacy、writer/verifier round-trip、output不在を含む全check pass。snapshot前後hash一致
• registered output: development / holdoutとも不在。どちらも実行していない
• local verification: python -m unittest discover -s tests -p "test_*.py" 263件green（optional MCP stdioを含む）、python -m neuron_graph_rag eval green
• CI: CI / Optional MCP adapter ともgreen
• Decision Structure: exact credited/sibling reversal単位をWiki commit 1215e2fへ反映

観測はfreezeがmainへsquash mergeされた後のsuccessor Issueでdevelopmentを一度だけ実行し、全8 hard gate通過時だけholdoutを一度だけ実行してください。このphaseではself-reviewとmergeを実行していません。

[lipluscodex]

Phase 2 の finding adjudication と修正を完了しました。

• Accept [P1]: sibling normalization の逆適用後に、後続の credited contribution と合成された edge が maximum_edge_weight を超え得る問題を受理しました。単純な clip では切り詰め量が失われ、後続 contribution の exact reversal で baseline を復元できないため、edge ごとの journal baseline / reinforced count / ceiling と active signed mutation の総和から状態を再構成します。
• Reject: なし。
• 修正 commit: 15338b5e906154724cd397dab6693fd27243071f
• 回帰: near-ceiling sibling normalization、後続 credited contribution、先行 correction、後続 correction の交錯順序で ceiling と最終 baseline 復元を確認しました。
• local verification: full core + optional MCP 264 tests pass、関連12 tests pass、result-free probe の development / holdout preflight は全項目 pass。
• frozen boundary: manifest 登録 artifact の hash 差分なし、development / holdout registered output は不在、private snapshot hash は probe 前後一致。
• CI: CI と Optional MCP adapter は両方 green。

PRはopenのままです。self-reviewの実行・投稿とmergeは行っていません。