Seven coordinatesСемь координат
st = (K,R,C,ε,A,ρ,H)Resource, inflow, expense, shock, adaptability, risk and adverse-regime horizon.
Ресурс, входящий поток, расход, удар, адаптивность, риск и горизонт неблагоприятного режима.
AMF-01 / RESOURCE → BUFFER → SELECTOR → ADMITTED TRANSITION
Adaptive market frugalityАдаптивная бережливость рынка
The aim is not to maximize reserves forever. It is to maintain a sufficient buffer while preserving the ability to spend, adapt and reduce risk.
Цель не в бесконечной максимизации запаса. Цель — поддерживать достаточный буфер, сохраняя способность тратить, адаптироваться и снижать риск.
K(t+1) = K(t) + R(t) - C(t) - IA(at) - ε(t)
K*(t) = ((ρ(t)+1)(H(t)+1)) / (A(t)+1)Risk and a longer adverse horizon raise the target. Adaptability lowers the need for passive reserve.
Риск и длинный неблагоприятный горизонт повышают цель. Адаптивность уменьшает потребность в пассивном запасе.
K*TARGET BUFFER
ЦЕЛЕВОЙ БУФЕР
ЦЕЛЕВОЙ БУФЕР
ρ / RISK
H / ADVERSE HORIZON
A / ADAPTABILITY
LIVE FUNCTION / ЖИВАЯ ФУНКЦИЯ
Live selector chamberЖивая камера селектора
Change the state. The scene computes the author-model target buffer, identifies one of three zones, selects an admissible action and projects the next resource state.
Меняйте состояние. Сцена вычисляет целевой буфер авторской модели, определяет одну из трёх зон, выбирает допустимое действие и строит следующий ресурсный шаг.
STATE FIELD / ПОЛЕ СОСТОЯНИЙ
BELOW / НИЖЕNEAR / РЯДОМABOVE / ВЫШЕ
01 / ACCUMULATEBuild bufferКопить
02 / HOLDHold regimeУдерживать
03 / ADAPTInvest in changeАдаптироваться
04 / RISKReduce exposureСнижать риск
05 / LIFESpend on qualityТратить на жизнь
K / RESOURCE0
K* / TARGET0
δ / BAND0
K(t+1)0
Selector(state) = holdMinimal formal coreМинимальное формальное ядро
The equations are explicit author choices. Lean verifies the consequences inside this model; it does not calibrate them against a market.
Уравнения являются явным авторским выбором. Lean проверяет следствия внутри модели, но не калибрует их по рынку.
Fail-closed resource stepРесурсный шаг с нижней границей
Kt+1 = Kt + Rt - (Ceff + IA + εt)Natural-number subtraction floors the resource at zero. This is a discrete safety convention, not an accounting standard.
Вычитание натуральных чисел ограничивает ресурс нулём. Это дискретное соглашение безопасности, а не стандарт бухгалтерского учёта.
Adaptive target bufferАдаптивный целевой буфер
K* = ((ρ+1)(H+1))/(A+1)
δ = ε + 1The +1 offsets keep the expression defined at zero. The shock-scaled band prevents a brittle equality test.
Смещения +1 сохраняют определённость при нуле. Полоса масштаба удара заменяет хрупкую проверку точного равенства.
No invented fallbackБез выдуманного отката
𝒜 = {accumulate, hold, adapt, reduceRisk, spendQuality}
preferred ∉ field ⇒ noneThe existing proof-carrying Selector returns an action only when that action is actually exposed by the current field.
Существующий проверяемый Selector возвращает действие лишь тогда, когда оно действительно присутствует в текущем поле.
Correction: Interface Strength and Buffer MathematicsПоправка: интерфейсная сила и математика буфера
Adaptive parsimony of the market is not weakness or passivity, but the ability to preserve a boundary under market disturbance.
Адаптивная бережливость рынка — это не слабость и не пассивность, а способность сохранять границу при рыночном возмущении.
“I can” is not “I am allowed to”«Я могу» не равно «Мне допустимо»
IX(s) ⊆ AX
AX ≠ IX(s)Let AX be all actions X can perform and IX(s) the interface-permitted actions. Strength is not the maximum action. It is the admissible choice CX(s,δmarket) ∈ Imarket(s) that preserves the admissible domain.
Пусть AX — все действия, на которые субъект X способен, а IX(s) — действия, разрешённые интерфейсом в состоянии s. Сила — не максимум действия. Сила — это допустимый выбор CX(s,δmarket) ∈ Imarket(s), сохраняющий допустимую область.
Disturbance does not act directlyВозмущение не действует напрямую
δmarket → buffer → CX
→ Imarket(s) → T(s,a) ∈ ΩcapitalThe buffer is an intermediate layer between disturbance and action. It does not suppress strength; it makes strength applicable. Excess strength outside the interface is destructive.
Буфер — это промежуточный слой между возмущением и действием. Он не подавляет силу, а делает её применимой. Избыточная сила вне интерфейса разрушительна.
Strength = the capacity to hold a boundary.
Market strength = holding the risk boundary under disturbance.Сила = способность удерживать границу.
Сила на рынке = удержание риск-границы при возмущении.The market does not punish weakness; it punishes excess strength outside the interface.
Рынок наказывает не слабость, а избыточную силу вне интерфейса.
Adaptive parsimony of the market is not the conservation of strength. It is strength that has passed through a buffer and therefore has not destroyed the boundary.
Адаптивная бережливость рынка — это не экономия силы. Это сила, прошедшая через буфер и потому не разрушившая границу.
Three zones. One policy.Три зоны. Одна политика.
Near is not a point but a shock-scaled interval. Above the interval, surplus must return to resilience or the live function of the system.
«Рядом» — не точка, а интервал масштаба удара. Выше интервала избыток должен возвращаться в устойчивость или живую функцию системы.
Below bufferНиже буфера
K + δ < K* ⇒ accumulatePriority is survival capacity: rebuild the missing reserve.
Приоритет — способность пережить режим: восстановить недостающий запас.
Near bufferОколо буфера
¬Below ∧ ¬Above ⇒ holdDo not oscillate around exact equality. Hold the current regime inside the tolerance band.
Не колебаться вокруг точного равенства. Удерживать режим внутри полосы допуска.
Above bufferВыше буфера
K* + δ < K ⇒ adapt ∨ reduceRisk ∨ spendQualityAdapt first when capability lags the horizon, then reduce positive risk, then fund life and quality.
Сначала адаптироваться, если способность отстаёт от горизонта; затем снижать положительный риск; после этого финансировать жизнь и качество.
Frugality is not greedБережливость не равна жадности
The distinction is behavioral and testable inside the model: what does the policy do after enough has become more than enough?
Различие поведенческое и проверяемое внутри модели: что делает политика после того, как достаточное стало избыточным?
GreedAt
AboveBuffer(s) ∧ action = accumulateAccumulation continues after the target band has already been exceeded. Adaptation, risk reduction and living quality receive nothing.
Накопление продолжается после превышения целевой полосы. Адаптация, снижение риска и качество жизни не получают ничего.
AdaptiveFrugalityAt
Below → accumulate
Near → hold
Above → adapt ∨ reduceRisk ∨ spendQualityReserve is bounded by purpose. Surplus is not destroyed; it is rerouted to the system's capacity to remain viable and alive.
Запас ограничен назначением. Избыток не уничтожается, а перенаправляется в способность системы оставаться устойчивой и живой.
Lean-checked surfaceПоверхность, проверенная Lean
The fresh module compiles in Lean 4 and reuses the existing Selector, Adapter, Policy, Passport and AdmittedTransition types.
Новый модуль компилируется в Lean 4 и переиспользует существующие типы Selector, Adapter, Policy, Passport и AdmittedTransition.
Below selects accumulationНижняя зона выбирает накопление
selector_below_bufferLEAN 4 / PASSNear selects holdПолоса выбирает удержание
selector_near_bufferLEAN 4 / PASSAbove never accumulatesВерхняя зона не накапливает
selector_above_buffer_not_accumulateLEAN 4 / PASSPolicy is adaptively frugalПолитика адаптивно бережлива
preferredAction_is_adaptively_frugalLEAN 4 / PASSGreed is rejected locallyЖадность локально исключена
preferredAction_is_not_greedy_atLEAN 4 / PASSSelection enters the passportВыбор входит в паспорт
selected_transition_is_admittedLEAN 4 / PASSExternal shouldersВнешние опоры
These sources motivate the problem and vocabulary. None validates the exact target-buffer equation or proves the author policy optimal.
Эти источники мотивируют проблему и словарь. Ни один из них не подтверждает точную формулу целевого буфера и не доказывает оптимальность авторской политики.
S-01 / RISKISO 31000:2018Risk management is embedded in context, decisions and monitoring.Управление риском встраивается в контекст, решения и мониторинг.
S-02 / CASH FLOWFederal Reserve SBCS 2025Employer firms report operating-expense and uneven-cash-flow challenges.Компании сообщают о трудностях с операционными расходами и неравномерным денежным потоком.
S-03 / SME FINANCEOECD 2026Liquidity and long-term productive investment must coexist under uncertainty.Ликвидность и долгосрочные продуктивные инвестиции должны сосуществовать в условиях неопределённости.
S-04 / CAPABILITYTeece, Pisano & ShuenDynamic capabilities shift attention from holdings to the ability to reconfigure.Динамические способности смещают внимание с объёма владения на способность перестраиваться.
S-05 / LEANToyota Production SystemJust-in-Time keeps what is needed, when needed, in the needed amount.Just-in-Time удерживает необходимое, когда оно нужно и в необходимом количестве.