декумуляція: на скільки вистачить без внесків

Питання, зворотне до всієї решти вкладки. Модель накопичення відповідає
на «скільки я накопичу»; ця — на «на скільки цього вистачить, якщо
перестати вносити й почати знімати».

Власна функція домену, а не від'ємний внесок у наявну: projState.step
поняття зняття не має взагалі, і від'ємний contrib зламав би логіку
порога — floor(cash/threshold) від'ємної готівки перекидав би в роботу
гроші, яких немає.

ЧОТИРИ ПРИПУЩЕННЯ, і кожне можна оскаржити. Названі в коментарі
domain/drawdown.go і повторені в довідці картки, бо число одне, а стоїть
за ним ось це:

  1. знімаємо спершу готівку, потім працюючу частину — продаємо лише те,
     що продається без втрат;
  2. ЗАМКНЕНЕ (номінал ОВДП, тіло вкладів, сертифікати) достроково не
     продається, лише віддає купони й погашення за графіком. Найконсерва-
     тивніша з розумних угод: ОВДП на вторинці продати можна, але за
     ціною, якої застосунок не знає, а вклад — із втратою відсотків;
  3. зняття задане в СЬОГОДНІШНІХ гривнях і дорожчає зі знеціненням;
  4. між валютами ділиться пропорційно їхнім ЛІКВІДНИМ часткам.

Четверте припущення — виправлення помилки, яку я зробив у першій версії
й упіймав на власній фікстурі. Зняття ділилось пропорційно ПОВНІЙ
вартості рукава, а платити може лише ліквідна частина. Доларовий рукав із
трьома тисячами номіналу отримував свою «частку», покрити її не міг, і
недобір нікуди не переносився — портфель «вичерпувався» першого ж місяця,
маючи пів мільйона готівки в гривневому рукаві. Golden показував months=1
при капіталі 922 660 ₴ і знятті 20 000. Тепер поділ іде по ліквідному, і
на тій самій фікстурі виходить 45 місяців.

covered_pct — яку частку зняття покриває сьогоднішній дохід. Саме вона
пояснює, ЧОМУ число таке: 100% означає, що портфель живе з потоку й тіла
не чіпає взагалі.

Картка розрізняє три відповіді, і жодну не можна показати замість іншої:
«не вичерпується» (потоки покривають), «не вистачить і на місяць»
(ліквідного менше за одне зняття) і сам строк. На живих даних це рівно
другий випадок — капітал 19 078 ₴ проти 50 000 ₴/міс витрат, — і картка
каже це словами, а не малює «0 місяців».

ЗМІНА GOLDEN — доданий блок drawdown (7 рядків). Жодне наявне число не
зрушило. Фікстури контракту не змінились.

Сторожі. У домені сім: готівка без дохідності тане рівно на суму зняття
(120 000 по 10 000 — тринадцятий місяць); дохід, що покриває зняття, дає
−1, а не 0 (плутати їх не можна, це протилежності); замкнене не
продається; погашення поповнює готівку й подовжує життя; поділ іде по
ліквідному, а не повному; зняття індексується знеціненням.

У фазі три: явна сума перемагає витрати; більше зняття вичерпує раніше
(−1 тут означає НАЙДОВШЕ, і порівнювати його як число не можна);
покриття рахується від того самого доходу, що в сусідніх картках.

Мутаційно перевірено чотири злами: замкнене продається достроково, зняття
не індексується, «не вистачає» перетворене на «не вичерпується»,
погашення не поповнює готівку.

Author: ODDsama

contract/oddinvest-state.schema.json

@@ -656,6 +656,17 @@
         "unlock_date": { "type": "string" }
       }
     },
+    "drawdown": {
+      "type": "object",
+      "description": "На скільки вистачить, якщо перестати вносити й почати знімати. Припущення: замкнене (номінал ОВДП, тіло вкладів, сертифікати) достроково НЕ продається — воно лише віддає купони й погашення за графіком (адитивне поле)",
+      "properties": {
+        "withdraw_uah": { "type": "number", "description": "Скільки знімати щомісяця, ₴ у сьогоднішніх грошах" },
+        "withdraw_from": { "type": "string", "enum": ["setting", "expenses"], "description": "Сума задана явно чи взята з місячних витрат" },
+        "months": { "type": "integer", "description": "На скільки місяців вистачить; -1 = не вичерпується за 60 років, бо потоки покривають зняття" },
+        "until": { "type": "string", "format": "date" },
+        "covered_pct": { "type": "number", "description": "Яку частку зняття покриває сьогоднішній дохід. Саме вона пояснює, чому число таке: 100% означає, що портфель живе з потоку й тіла не чіпає" }
+      }
+    },
     "independence": {
       "type": "object",
       "description": "Коли пасивний дохід покриє життя. Дві дати: за плановим внеском і за фактичним темпом — різниця між ними це ціна дисципліни, а не ринку (адитивне поле)",

contract/ui-manifest.json

@@ -14,14 +14,14 @@
     { "path": "js/format.js", "sha256": "ebf4800d3d52b3154cbd937b228bd2f4f16975e83620b9ed096ee29380592491" },
     { "path": "js/forms.js", "sha256": "971f334403306920b57241636faec6e25121a127f838282333cac9c0d7d28efd" },
     { "path": "js/fund-ops.js", "sha256": "7efc8885a39a054655824315840bba89c6a60ed6ce0c1c597902fe100858c79b" },
-    { "path": "js/info.js", "sha256": "9583bc6c6d29ad57799b54ca037943533a71f65b8e9e93ad7c89809dddd2efec" },
+    { "path": "js/info.js", "sha256": "a48d3fafae85d1d186f89907b8bb89c4a3e20d78678e80b7fa4e3fca4be664b6" },
     { "path": "js/store.js", "sha256": "58f81bbb8262d47856790206066f557b871169e25eea268c2bc34598ba03e120" },
     { "path": "js/styles.js", "sha256": "7f623a4506b4336538ffce25d56eeab347afb912ceacadf76b8cdc05028f943f" },
     { "path": "js/transport.js", "sha256": "7be0b7f7ea8317446ce769fc30c95d8bd281adfdcd67d8dc2350a8b6c96b52ae" },
     { "path": "js/views/bonds.js", "sha256": "cbf6d03bc97ed22f21b58bad7dc52cfd072a844c9c139a154b4784452c43d32a" },
     { "path": "js/views/deposits.js", "sha256": "91b3d789c53293885b994ea44e63bba6f726591d08db09177d28b2b4b75e4bca" },
     { "path": "js/views/forecast.js", "sha256": "684c87ac6ea0e92f82fd0cd45cdb1cd88f329d23c967c4eced00dae8e0f6bdd7" },
-    { "path": "js/views/future.js", "sha256": "431b72f6c3db1ee602db88d5addd89ae6b0239c15c1e7d2ecebe38bf638db2c7" },
+    { "path": "js/views/future.js", "sha256": "efc66c4a89dcce601852fd4f3955d86ca0413818b2513c39fbf4bcdc7d44068e" },
     { "path": "js/views/history.js", "sha256": "6e6efb9e2221e78cbd2274990c8039348c29cd35ddc3204fead0969cdbc08545" },
     { "path": "js/views/money.js", "sha256": "63a25e448969cf90472f81cbe36e01b58fbfcb4d68842f1c9575faedc98eec7e" },
     { "path": "js/views/overview.js", "sha256": "38799ae16da85dcf1c243c462c485039c90b7eb7f1b830f0602e507ce01327e6" },

internal/api/state_builder.go

@@ -750,6 +750,7 @@ func (s *Server) buildState(ctx context.Context, now time.Time) (*state.Doc, err
 
 		Projection: projection, ProjectionRatePct: capRate, Forecast: forecast,
 		Sensitivity: prj.Sensitivity, Independence: prj.Independence,
+		Drawdown:  prj.Drawdown,
 		Rebalance: rebalance, Concentration: concentration,
 		RateRisk: rateRisk, Liquidity: liquidity,
 		AccruedUAH: round2(float64(accruedUAH) / 100), NBURefreshedAt: nbuAt,

internal/api/state_independence.go

@@ -16,6 +16,8 @@
 package api
 
 import (
+	"math"
+
 	"github.com/ODDsama/oddinvest/internal/domain"
 	"github.com/ODDsama/oddinvest/internal/state"
 )
@@ -68,3 +70,42 @@ func buildIndependence(in independenceInput) *state.Independence {
 	}
 	return out
 }
+
+// drawdownInput — понад те, що вже порахувала проєкція.
+type drawdownInput struct {
+	Factory sleeveFactory
+	Deval   float64
+	// WithdrawUAH — скільки знімати щомісяця, у СЬОГОДНІШНІХ гривнях;
+	// WithdrawFrom — "setting" чи "expenses".
+	WithdrawUAH  float64
+	WithdrawFrom string
+	// IncomeNowUAH — сьогоднішній дохід. Потрібен, щоб сказати, яку
+	// частку зняття портфель покриває вже зараз: саме це пояснює, чому
+	// число вийшло таким, а не інакшим.
+	IncomeNowUAH float64
+	Today        domain.Date
+}
+
+// buildDrawdown рахує, на скільки вистачить без внесків.
+func buildDrawdown(in drawdownInput) *state.Drawdown {
+	if in.WithdrawUAH <= 0 {
+		return nil
+	}
+	// Рукави БЕЗ внеску: це й є декумуляція.
+	sl := in.Factory.build(0, 0)
+	months := domain.DrawdownMonths(sl, in.Deval, in.WithdrawUAH, goalHorizonMonths)
+	out := &state.Drawdown{
+		WithdrawUAH:  round2(in.WithdrawUAH),
+		WithdrawFrom: in.WithdrawFrom,
+		Months:       months,
+		CoveredPct:   round1(in.IncomeNowUAH / in.WithdrawUAH * 100),
+	}
+	if months > 0 {
+		out.Until = string(domain.NewDate(in.Today.Time().AddDate(0, months, 0)))
+	}
+	return out
+}
+
+// round1 — одна десята. Той самий крок, що й у goal_pct: два різні
+// заокруглення для однорідних відсотків читались би як розбіжність.
+func round1(v float64) float64 { return math.Round(v*10) / 10 }

internal/api/state_independence_test.go

@@ -17,6 +17,66 @@ func indepInput(t *testing.T, expenses, target float64) projectionInput {
 	return in
 }
 
+// TestDrawdownWithdrawPrefersSetting — «скільки знімати» окреме питання
+// від «який дохід достатній»: жити можна й скромніше за ціль.
+func TestDrawdownWithdrawPrefersSetting(t *testing.T) {
+	in := indepInput(t, 50_000, 30_000)
+	w := 12_000.0
+	in.Settings.WithdrawMonthlyUAH = &w
+	out := buildProjection(in).Drawdown
+	if out == nil {
+		t.Fatal("декумуляції немає")
+	}
+	if out.WithdrawUAH != 12_000 || out.WithdrawFrom != "setting" {
+		t.Errorf("зняття %v (%s); очікували 12000 із налаштування",
+			out.WithdrawUAH, out.WithdrawFrom)
+	}
+	fallback := buildProjection(indepInput(t, 50_000, 30_000)).Drawdown
+	if fallback.WithdrawUAH != 50_000 || fallback.WithdrawFrom != "expenses" {
+		t.Errorf("спад дав %v (%s); очікували 50000 із витрат",
+			fallback.WithdrawUAH, fallback.WithdrawFrom)
+	}
+}
+
+// TestDrawdownBiggerWithdrawalLastsLess — більше зняття вичерпує портфель
+// раніше.
+//
+// Нуль тут неможливий (перший непокритий місяць це вже 1), а −1 означає
+// «не вичерпується», тобто НАЙДОВШЕ. Порівнювати його як число не можна.
+func TestDrawdownBiggerWithdrawalLastsLess(t *testing.T) {
+	small := 3_000.0
+	in := indepInput(t, 50_000, 30_000)
+	in.Settings.WithdrawMonthlyUAH = &small
+	a := buildProjection(in).Drawdown.Months
+
+	big := 30_000.0
+	in2 := indepInput(t, 50_000, 30_000)
+	in2.Settings.WithdrawMonthlyUAH = &big
+	b := buildProjection(in2).Drawdown.Months
+
+	rank := func(m int) int {
+		if m == -1 {
+			return 1 << 30 // не вичерпується — найдовше з можливого
+		}
+		return m
+	}
+	if rank(b) >= rank(a) {
+		t.Errorf("зняття 30 000 вистачило на %d, а 3 000 — на %d", b, a)
+	}
+}
+
+// TestDrawdownCoveredPctExplainsTheNumber — покриття рахується від того
+// самого доходу, що в сусідніх картках.
+func TestDrawdownCoveredPctExplainsTheNumber(t *testing.T) {
+	in := indepInput(t, 50_000, 30_000) // IncomeMonthlyNow = 1234.56
+	w := 12_345.6
+	in.Settings.WithdrawMonthlyUAH = &w
+	out := buildProjection(in).Drawdown
+	if out.CoveredPct != 10 {
+		t.Errorf("покриття %v%%, очікували 10 (1234.56 з 12345.60)", out.CoveredPct)
+	}
+}
+
 // TestIndependenceTargetPrefersSetting — явна ціль доходу перемагає
 // місячні витрати.
 //

internal/api/state_projection.go

@@ -114,6 +114,8 @@ type projectionPhase struct {
 	// Independence — коли дохід покриє життя (state_independence.go).
 	// Теж тут і з тієї самої причини: потрібна та сама фабрика.
 	Independence *state.Independence
+	// Drawdown — на скільки вистачить без внесків (там само).
+	Drawdown *state.Drawdown
 }
 
 // sleeveFactory — усе, що потрібно, щоб зібрати валютні рукави під
@@ -356,6 +358,21 @@ func buildProjection(in projectionInput) projectionPhase {
 		IncomeNowUAH: in.IncomeMonthlyNow, Today: today,
 	})
 
+	// Скільки знімати — окреме питання від того, який дохід достатній:
+	// жити можна й скромніше за ціль. Спад той самий, на витрати.
+	withdraw, withdrawFrom := 0.0, "expenses"
+	if in.Settings.MonthlyExpensesUAH != nil {
+		withdraw = *in.Settings.MonthlyExpensesUAH
+	}
+	if in.Settings.WithdrawMonthlyUAH != nil && *in.Settings.WithdrawMonthlyUAH > 0 {
+		withdraw, withdrawFrom = *in.Settings.WithdrawMonthlyUAH, "setting"
+	}
+	out.Drawdown = buildDrawdown(drawdownInput{
+		Factory: factory, Deval: in.Deval,
+		WithdrawUAH: withdraw, WithdrawFrom: withdrawFrom,
+		IncomeNowUAH: in.IncomeMonthlyNow, Today: today,
+	})
+
 	// Старт проєкції — капітал БЕЗ резерву. Решта входить уся, разом із
 	// сертифікатами й вкладами: інакше крива починалась би нижче за
 	// плитку «Капітал» на ту саму суму (доти так і було — вклади сюди не

internal/api/testdata/state_rich.json

@@ -911,6 +911,13 @@
     "actual_date": "2032-07-15",
     "capital_uah": 5194491.3
   },
+  "drawdown": {
+    "withdraw_uah": 20000,
+    "withdraw_from": "setting",
+    "months": 45,
+    "until": "2030-04-15",
+    "covered_pct": 7.7
+  },
   "rebalance": [
     {
       "dimension": "currency",