Khalim Conn-Kowlessar 5620f49f18 docs(modelling): ADR-0016 amendment — optimiser objective is least-cost-to-target ... The original ADR-0016 mis-specified the warm-start objective as maximise-gain- subject-to-budget (with the target a repair floor); the rebuild faithfully implemented that wrong objective. The intended behaviour is the legacy StrategicOptimiser Case 1: minimise cost subject to (true) SAP gain >= target and cost <= budget, falling back to max-gain-within-budget only when the target is unreachable. For Increasing EPC this is least-cost-to-target: cheapest package reaching the band, stops at the target (no overshoot into a higher band), surplus budget unspent. Also records: target predicate sap_continuous >= band floor (conservative, no legacy slack — re-score+repair supersede it); ventilation-aware selection (the forced dependency, -1 to -5 SAP, is folded into candidate evaluation with a real negative role-1 signal, not just injected afterwards); presence-vs-awareness enforcement; warm-start+re-score+repair structure and scalability rationale kept. Sharpened the CONTEXT.md Optimised Package definition to match. Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>		2026-06-03 15:26:02 +00:00
..
adr	docs(modelling): ADR-0016 amendment — optimiser objective is least-cost-to-target	2026-06-03 15:26:02 +00:00
migrations	docs(modelling): #1157 Plan-persistence design review	2026-06-03 11:12:54 +00:00
HANDOVER_ARA_NEXT.md	docs: correct SAP calculator path in CONTEXT (domain/sap → domain/sap10_calculator)	2026-06-01 18:56:41 +00:00
HANDOVER_MODELLING.md	docs(modelling): handover — ventilation now a generator + dependency delegates	2026-06-03 14:09:32 +00:00