feat: add soft-start feedback reinforcement

[lipluscodex]

目的

hard quorum の q3 と confirmed-only の二択を置き換える、default-off の soft-start feedback candidate を追加する。relation trace 上の最初の新規 used で小さな provisional update を適用し、最初の confirmed で一回分の通常強化を完成させ、後続 confirmation を減衰加算できるようにする。

前提

• 現在の local MCP deployment は used + quorum 3 + sibling normalization 1.0 を明示 opt-in している。
• confirmed-triggered diminishing candidate と controlled comparison は実装・観測済みだが、used から confirmed まで serving weight は変わらない。
• Decision Structure の current target は soft-start feedback reinforcement に更新済み: https://github.com/Liplus-Project/neuron-graph-rag/wiki/soft-start-feedback-reinforcement
• q3、confirmed-only、real-task shadow v1/v2/v3 の既存 protocol、packet、snapshot、observed artifact は frozen evidence である。
• 既存 frozen tests が current working tree hash を historical source hash として扱い後続変更を拒否する問題は fix: decouple frozen verification from current tree #101 で先に解消する。本issueは fix: decouple frozen verification from current tree #101 に依存する。

制約

• candidate は明示 opt-in とし、library / MCP CLI default、legacy engine/storage identity、現在の local database をこの issue では変更しない。
• soft-start ratio は有限な 0 より大きく 1 より小さい値として明示設定し、最初の used で通常 bounded update の ratio 分だけ credited path を強化する。
• 最初の独立 confirmed は 1 - ratio 分を適用し、used と合わせて一回分を超えない。二回目以降は既存の confirmation decay schedule を使う。
• same-source sibling normalization は used では発火させず、confirmed の actual credited delta だけへ適用する。
• retrieved / selected / validated、duplicate trace、duplicate stage、idempotency replay、lexical、zero-hop、別 source、uncredited edge は weight を変更しない。
• corrected / rolled_back / superseded は自動 negative reinforcement または rollback に接続しない。
• feedback、source-use、confirmation state、credited update、sibling update、receipt は transaction 内で atomic にする。
• 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 v1 / v2 / v3 の manifest、fixture、packet、snapshot、registered hash、observed result、metric、gate、解釈を変更・再実行・再集計・遡及流用しない。historical source verificationのcurrent-tree couplingだけを fix: decouple frozen verification from current tree #101 で登録commit bytesへ修正する。
• この issue は mechanics と synthetic regression を扱う。採用値の比較、live database mutation、serving cutover は fresh result-free successor evaluation の別 issue に残す。

完了条件

• explicit soft-start candidate が core と optional MCP から利用できる。
• used ratio、first-confirmed remainder、later decay、maximum weight、restart persistence、idempotency、mutation locality、transaction rollback、core/MCP receipt parity を回帰テストで固定する。
• ratio 0 / 1 / NaN / infinity、confirmed candidate との不整合な設定を database open 前に拒否する。
• existing q1/s0、q3/s1、confirmed-only behavior と frozen evidence が不変である。
• README、requirements、MCP contract、confirmed feedback docs、Decision Structure index が実装境界と successor evaluation requirementを反映する。
• core と optional MCP の全テストが green になる。

対象ファイル

• src/neuron_graph_rag/evidence_feedback.py / feedback.py / storage.py / models.py - candidate mechanics、ledger、persistence、receipt
• src/neuron_graph_rag_mcp/server.py - 明示設定と schema parity
• tests/ - mechanics、rollback、restart、MCP contract regression
• README.md / docs/requirements.md / docs/optional-mcp-interface.md / docs/confirmed-outcome-feedback-reinforcement.md - public contract
• docs/Decision-Structure.md - soft-start judgment node の索引

Related

• fix: decouple frozen verification from current tree #101 - historical frozen source verification の前提修正

[lipluscodex]

Failure report: frozen verifier premise conflict

Issue #100 の soft-start mechanics、optional MCP、public contract、synthetic regression の実装途中で、完了条件と frozen evidence 境界が両立しないことを確認しました。

Exact blocker

既存の frozen test は、登録済み source commit の bytes ではなく current working tree の bytes を直接 SHA-256 照合しています。一方、Issue #100 はその照合対象である次のファイルの更新を明示的に要求しています。

• README.md
• docs/requirements.md
• docs/Decision-Structure.md
• src/neuron_graph_rag/config_provenance.py
• src/neuron_graph_rag_mcp/server.py
• tests/test_mcp_adapter.py

そのため、frozen manifest、observed artifact、packet、既存 test assertion の bytes を変更せず、Issue #100 の要求変更を行い、かつ全 test を green にする経路がありません。successor verifier を新規追加して登録 source commit の bytes を読むようにしても、既存 unittest discover は current-tree hash assertion を引き続き実行するため解消しません。

確認した failure は次のとおりです。

• test_canonical_gate_evaluation: docs/Decision-Structure.md の current-tree hash mismatch
• test_feedback_policy_comparison_evaluation: README.md の current-tree hash mismatch
• test_real_task_shadow_v2: src/neuron_graph_rag/config_provenance.py の current-tree hash mismatch
• test_sibling_normalization_evaluation: docs/requirements.md の current-tree hash mismatch

Preserved work

worktree には未 commit の差分として、soft-start ratio、first-confirmed remainder、later decay、maximum weight、restart persistence、idempotency、mutation locality、transaction rollback、core/MCP receipt parity、CLI pre-open validation、関連文書を保持しています。frozen artifact、packet、observed result、既存 frozen test assertion は変更していません。commit、push、PR 作成も行っていません。

新規・既存の関連回帰 28 tests は green です。

• tests.test_feedback_ledger
• tests.test_soft_start_feedback
• tests.test_confirmed_outcome_feedback
• tests.test_mcp_adapter

前提修正の別 Issue で frozen verifier を current working tree から登録 source commit の bytes へ安全に分離した後、この worktree から再開できます。