feat(WP-0013): IHF Phase 12 — Platform Memory and Continuous Learning

Closes the long-range feedback loop: outcome signals now enrich the full
traceability chain and feed back into routing, triage, and AI proposals.

Schema (T01):
- outcome_correlations (CHECK correlation_type)
- pattern_performance_records
- adaptive_threshold_configs
- institutional_knowledge_entries (GIN tsvector FTS)
- learning_insights (CHECK insight_type)
- ALTER TABLE decision_records + requirement_candidates: outcome_summary JSONB
- AFTER INSERT trigger trg_enrich_lineage on outcome_signals
- contracts/core/ updated (outcome-summary-columns-v1, append-only addendum)

Correlation engine (T02):
- Application/Helper/CorrelationEngine.hs: pure annotation→outcome SQL
- Web/Controller/OutcomeCorrelations.hs: ComputeCorrelationsAction + index

Pattern performance (T03):
- Web/Controller/PatternPerformance.hs: ComputePatternPerformanceAction

Adaptive thresholds (T04):
- Web/Controller/AdaptiveThresholds.hs: CalibrateThresholdsAction
- Application/Helper/FrictionScore.hs: applyAdaptiveWeights

Institutional knowledge (T05):
- DistilDecisionAction in DecisionRecords controller
- Web/Controller/InstitutionalKnowledge.hs: QueryKnowledgeBaseAction

Lineage enrichment (T06):
- Web/Controller/LineageEnrichment.hs: EnrichLineageAction (batch backfill)
- enrich_lineage_on_outcome_batch() PL/pgSQL helper in migration

Learning dashboard (T07):
- Web/Controller/LearningDashboard.hs: 5-panel autoRefresh view
- "Learning" nav link in FrontController

API v2 learning endpoints (T08):
- GET /api/v2/outcome-correlations, /pattern-performance, /knowledge-base/{id}
- OpenAPI schemas: OutcomeCorrelation, PatternPerformanceRecord, InstitutionalKnowledgeEntry

GAAF scorecard + docs (T09):
- Core 3.8→3.9, Functional 3.6→3.8, overall 3.61→3.68
- CLAUDE.md: IHF v0.2 complete, no active workplan

Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>

Web/Controller/DecisionRecords.hs

@@ -11,6 +11,8 @@ import IHP.ControllerPrelude
 import Application.Helper.AgentBridge (callAgent, checkGovernancePolicy, bridgeErrorMessage)
 import Application.Helper.ModelRouter (resolveAgent)
 import Data.List (intercalate)
+import IHP.ModelSupport (sqlQuery)
+import qualified Data.Aeson as A
 
 validOutcomes :: [Text]
 validOutcomes = ["accepted", "rejected", "deferred", "split", "merged", "reframed"]
@@ -242,3 +244,60 @@ instance Controller DecisionRecordsController where
                                             |> createRecord
                                         setSuccessMessage "Implementation proposal created"
                                         redirectTo ShowDecisionRecordAction { decisionRecordId }
+
+    -- T05 / Phase 12: Distil decision into institutional knowledge entry
+    action DistilDecisionAction { decisionRecordId } = do
+        record <- fetch decisionRecordId
+        outcomes <- sqlQuery
+            "SELECT os.signal_type, os.value FROM outcome_signals os \
+            \ JOIN deployment_records dep ON dep.id = os.deployment_id \
+            \ WHERE dep.decision_id = ?"
+            [decisionRecordId]
+            :: IO [(Text, Maybe Double)]
+        let signalText = intercalate ", " $
+                map (\(st, mv) -> st <> maybe "" (\v -> "=" <> show v) mv) outcomes
+            prompt = "Distil this decision into a 2-3 sentence institutional knowledge entry. "
+                  <> "Include the outcome data.\n\nDecision: " <> record.title
+                  <> "\nRationale: " <> record.rationale
+                  <> "\nOutcome: " <> record.outcome
+                  <> "\nSignals: " <> signalText
+        -- Resolve hub from requirement chain
+        mHubId <- case record.requirementId of
+            Nothing  -> pure Nothing
+            Just rid -> do
+                mReq <- fetchOneOrNothing rid
+                pure $ case mReq >>= (.sourceWidgetId) of
+                    Nothing -> Nothing
+                    Just _  -> Nothing  -- hub resolution via widget lookup below
+        mHubIdResolved <- case record.requirementId of
+            Nothing  -> pure Nothing
+            Just rid -> do
+                mReq <- fetchOneOrNothing rid
+                case mReq >>= (.sourceWidgetId) of
+                    Nothing  -> pure Nothing
+                    Just wid -> fmap (.hubId) <$> fetchOneOrNothing @Widget wid
+        case mHubIdResolved of
+            Nothing -> do
+                setErrorMessage "Cannot resolve hub — ensure decision has a linked requirement with a source widget"
+                redirectTo ShowDecisionRecordAction { decisionRecordId }
+            Just hubId -> do
+                mAgent <- resolveAgent hubId "synthesis"
+                case mAgent of
+                    Nothing -> do
+                        setErrorMessage "No routing policy for 'synthesis' task type"
+                        redirectTo ShowDecisionRecordAction { decisionRecordId }
+                    Just agent -> do
+                        result <- liftIO $ callAgent agent prompt
+                        case result of
+                            Left err -> do
+                                setErrorMessage ("Distillation failed: " <> bridgeErrorMessage err)
+                                redirectTo ShowDecisionRecordAction { decisionRecordId }
+                            Right resp -> do
+                                newRecord @InstitutionalKnowledgeEntry
+                                    |> set #hubId hubId
+                                    |> set #decisionRecordId (Just decisionRecordId)
+                                    |> set #summary resp.content
+                                    |> set #tags (A.toJSON ["decision" :: Text])
+                                    |> createRecord
+                                setSuccessMessage "Knowledge entry created"
+                                redirectTo ShowDecisionRecordAction { decisionRecordId }