Ближайшие продолженияNearby continuations
Gᵣ(Cₜ) = {g | near(Cₜ,g)}Поле перечисляет возможные исследовательские ходы. Оно ещё ничего не выбирает.
The field enumerates possible research moves. It does not choose one.
AMF-02 / GOAL FIELD → GUARD → SELECTOR → TRACE
Жизнь рыночной гипотезыA living market hypothesis
Не оракул и не торговый исполнитель. Это машина, которая сопровождает одну замороженную идею, выбирает ближайшее допустимое исследовательское действие и бережёт внимание и вычисления.
Not an oracle and not a trade executor. This machine stewards one frozen idea, selects the nearest admissible research action, and preserves attention and compute.
Cₜ ─Gᵣ→ candidates ─Q*→ admissible ─π→ action
Cₜ₊₁ = apply(Cₜ, action) · identity(Cₜ₊₁)=ι · Traceₜ ⪯ Traceₜ₊₁Сначала поле кандидатов, затем фиксированный допуск, затем ранжирование. Прошлое не переписывается после исхода.
Candidate field first, fixed admission second, ranking third. The past is not rewritten after the outcome.
GᵣGOAL FIELD
Q*FIXED GUARD
πSELECTOR
ρₜTRACE
ι · BLESS/USDT · 5m · LONG · t₀
КРАСНАЯ ГРАНИЦА: эта композиция управляет жизнью карточки, а не доказывает направление цены.RED BOUNDARY: this composition governs a card lifecycle; it does not prove price direction.
Не куча. Три операции.Not a pile. Three operations.
Модель намеренно меньше корпуса. В вычислительное ядро входят только построение допустимого поля, охраняемый выбор и ресурсная бережливость. Остальные ридеры задают происхождение или границы.
The model is deliberately smaller than the corpus. Its computational core contains only admissible-field construction, guarded choice, and resource frugality. Other readers provide provenance or boundaries.
Допуск до ранжированияAdmission before ranking
Aₜ={g∈Gᵣ(Cₜ) | Q*(Cₜ,Hₜ,g)=1}Проверка является самостоятельным действием. Шум расширяет проверку, но не получает власть над селектором.
Verification is an action of its own. Noise may widen inspection, but it does not capture the selector.
Дорогой вызов — по событиюExpensive calls are event-driven
callModel ⇒ fresh ∧ eventful ∧ compute>0Обычный тик не обязан вызывать LLM. Машина расходует внимание и вычисления только после прохождения ворот.
A routine tick need not call an LLM. Attention and compute are spent only after the gates pass.
Идентичность и следIdentity and trace
identity(Cₜ₊₁)=ι
Traceₜ ⪯ Traceₜ₊₁Это два заимствованных инварианта, а не импорт всей архитектуры цифровой жизни.
These are two borrowed invariants, not an import of the whole digital-life architecture.
Дисбаланс не обещает циклImbalance does not promise a cycle
localImbalance ⇏ ClosedOrbitITC не управляет селектором. Он запрещает повысить локальный сигнал до утверждения «цена обязана вернуться».
ITC does not run the selector. It prevents a local signal from becoming “price must return.”
Исполнение пока отсутствуетExecution is absent for now
selection ≠ external authorityAgent Zero нужен для подписанного физического исполнения и доверительных квитанций. У AMF-02 нет торговых ключей и права отправлять ордера.
Agent Zero belongs to signed physical execution and trust receipts. AMF-02 has no trading keys and no order authority.
Эксперимент второго наблюдателяSecond-observer experiment
Это буквальный прикладной запрос Дениса, а не ещё одна теория рынка. Машина читает ту же карточку, выдаёт проверяемый аналитический срез и помогает человеку не потерять сигнал из-за усталости.
This is Denys's literal applied request, not another market theory. The machine reads the same card, emits an auditable analytical view, and helps a human avoid losing signal through fatigue.
D-EXP-01 / RESEARCH QUESTION
Может ли дополнительный машинный слой снизить замыливание глаза, время анализа и случайные развороты решения — без обещания угадать будущее?
Can an additional machine layer reduce analyst fatigue, review time, and accidental decision reversals—without promising to predict the future?
Независимый взгляд здесь означает не «всегда рискнуть», а обязательный содержательный выход: поддерживает, ослабляет или не различает тезис; на каких данных; что опровергает; когда пересмотреть. Общая фраза «лучше подождать» без недостающего поля и следующего шага контракт не проходит.
An independent view does not mean “always take risk.” It means a mandatory substantive output: supports, weakens, or cannot distinguish the thesis; on what data; what invalidates it; and when to review. A generic “better wait” without a missing field and next action fails the contract.
CARDзамороженная идеяfrozen idea
OPTIONAL SNAPSHOTданные только по воротамdata only through a gate
VERDICTsupport · weaken · indeterminate
TRACE / GRAFANAсила, возражения, стоимостьstrength, objections, cost
OUTCOME / AUDITисход без переписывания прошлогоoutcome without hindsight edits
EVENT FIELD / ПОЛЕ СОБЫТИЯ · D-EXP-01
Это смысловой двойник исходного поля AMF‑01. Здесь измеряется не запас K и не направление цены, а только интенсивность наблюдаемого события относительно порога допуска к дорогому обзору.
This is a semantic twin of the original AMF‑01 field. It measures neither reserve K nor price direction—only observed event intensity relative to the expensive-review admission threshold.
BELOW / TICKNEAR / VERIFYABOVE / EVENT
Eₜ / EVENT66
θcall / THRESHOLD70
δ / BAND±5
EVENT GATENEAR
ZONE = NEAR · inspect freshness/conflict · model call not yet admitted
BOUNDARY. Зона ABOVE открывает только событийные ворота. Для `callModel` всё ещё нужны свежесть, отсутствие приоритетной проверки и compute > 0.ABOVE opens the event gate only. `callModel` still requires freshness, no higher-priority verification, and compute > 0.
MODE A / BASELINE
Только карточкаCard only
Достаточно для первого дешёвого прогона: проверить структуру идеи, найти внутренние противоречия и получить второй взгляд на уже подготовленные признаки.
Enough for the first inexpensive pass: inspect idea structure, find internal conflicts, and obtain a second view of already prepared features.
- Обязательно: instrument, venue, timeframe, side, t₀, horizon.Required: instrument, venue, timeframe, side, t₀, horizon.
- Тезис, подтверждение, инвалидизация, признаки и версия их расчёта.Thesis, confirmation, invalidation, features, and their calculation version.
- Источник и время среза; без них карточка считается несвежей.Source and snapshot time; without them the card is stale.
MODE B / ENRICHED
Карточка + биржаCard + exchange
Нужно, когда вердикт зависит от текущего режима, карточка устарела или появился сильный конфликт. API обновляет данные по событию; LLM не вызывается на каждую свечу.
Needed when the verdict depends on the current regime, the card is stale, or a strong conflict appears. The API refreshes data on events; the LLM is not called on every candle.
- Свечи и объём; funding/open interest для дериватива.Candles and volume; funding/open interest for a derivative.
- Спред или стакан — только если от них зависит тезис.Spread or order book only when the thesis depends on them.
- Сырой timestamp и источник остаются в следе.Raw timestamp and source remain in the trace.
Контракт независимого вердиктаIndependent-verdict contract
Модель не принимает торговое решение за человека. Она обязана занять одну из трёх аналитических позиций и показать её опоры, ограничения и ближайшую проверку.
The model does not make the trade decision for the human. It must take one of three analytical positions and expose its support, limits, and nearest check.
verdict ∈ {SUPPORTS, WEAKENS, INDETERMINATE}
INDETERMINATE ⇒ missingData ≠ ∅ ∧ nextReview ≠ ∅
strengthScore ∈ [0,100] · strengthScore ≠ calibratedProbability
INDETERMINATE ⇒ missingData ≠ ∅ ∧ nextReview ≠ ∅
strengthScore ∈ [0,100] · strengthScore ≠ calibratedProbability
VERDICTПоддерживает / ослабляет / не различаетSupports / weakens / indeterminate
STRENGTHЭкспериментальная шкала, не вероятностьExperimental score, not probability
EVIDENCE ±За и против — раздельноFor and against, separately
INVALIDATIONЧто закрывает тезисWhat closes the thesis
MISSING DATAЧего не хватает для различенияWhat prevents distinction
NEXT REVIEWСобытие или срок, не «когда-нибудь»Event or time, never “someday”
Асинхронный след и проекция GrafanaAsynchronous trace and Grafana projection
Участникам не нужно быть онлайн одновременно. Карточка, обновление, вердикт и исход добавляются отдельными записями. Ни выходные, ни более поздний результат не дают права переписать первоначальную гипотезу.
Participants need not be online together. Card, refresh, verdict, and outcome are appended as separate records. Neither time off nor a later result grants permission to rewrite the original thesis.
ρ₀ · 48GENESIS / CARD
ρ₁ · 52REFRESH
ρ₂ · 74EVENT / MODEL
ρ₃ · 61COUNTEREVIDENCE
ρ₄ · AUDITOUTCOME APPENDED
GRAFANA = PROJECTION, NOT SOURCE. Панель читает timestamp, dataMode, strengthScore, counterevidence, verdict, phase, modelCalls и cost из append-only следа. Она показывает, слабеет или усиливается идея, но не меняет карточку и не доказывает прогноз. Числа на графике — демонстрационная трасса.The panel reads timestamp, dataMode, strengthScore, counterevidence, verdict, phase, modelCalls, and cost from the append-only trace. It shows whether an idea weakens or strengthens, but cannot mutate the card or prove a forecast. Plot values are an illustrative trace.
Одинаковые карточкиSame cards
HUMAN vs HUMAN+MODELИсход скрыт до фиксации обоих ответов. Иначе проверяется знание будущего, а не помощь наблюдателю.
Outcome stays hidden until both answers are frozen. Otherwise the test measures hindsight, not observer support.
Время и усталостьTime and fatigue
reviewTime · fatigue · reversalsСравниваются медианное время карточки, субъективная усталость и необоснованные смены решения внутри сессии.
Compare median review time, self-reported fatigue, and unsupported decision reversals within a session.
Не пропустил ли сигналDid it preserve signal?
missedEvidence · contradictionRateСчитаются пропущенные признаки, внутренние противоречия и случаи, когда модель вовремя потребовала недостающие данные.
Count missed evidence, internal contradictions, and cases where the model requested missing data in time.
Цена освобождённого часаCost per hour freed
(model + data + ops) / hoursSavedЭксперимент успешен не из-за одного удачного движения цены, а если качество не падает при меньшей нагрузке и ограниченной стоимости.
Success is not one favorable price move. Quality must hold while workload falls and cost remains bounded.
Камера одного тезисаA chamber for one thesis
Ползунки образуют наблюдаемый срез. Селектор сначала проверяет терминальное состояние, инвалидизацию и свежесть, затем выбирает проверку, модельный обзор или дешёвое ожидание.
The controls form an observable snapshot. The selector checks terminal state, invalidation, and freshness before choosing verification, model review, or inexpensive waiting.
ι / CARD-2026-08-25-BLESS-5M-LONGидентичность замороженаidentity frozen · t₀ · horizon · invalidation
PHASE / ФАЗАOPEN
SELECTED / ВЫБОРAWAIT
COMPUTE / ВЫЗОВЫ3
TRACE / СЛЕД1
Gᵣ(Cₜ) → Aₜ → π(Aₜ)
01 / AWAITЖдатьAwait
02 / REFRESHДанныеRefresh
03 / VERIFYПроверитьVerify
04 / MODELМодельModel
05 / CLOSEЗакрытьClose
06 / ARCHIVEАрхивArchive
TERMINAL
INVALIDATION
FRESHNESS
VERIFICATION
COMPUTE
π(Cₜ)=awaitNext · compute preserved · identity PASSЧто с чем действительно связаноWhat is actually connected
Связь указана по роли. Красный узел не импортируется в текущий вычислитель. Это предотвращает превращение корпуса в список громких имён.
Each connection is labeled by role. The red node is not imported into the current computation. This prevents the corpus from becoming a list of impressive names.
Поле целейGoal field
Даёт формуSupplies the form Gᵣ → Aₜ → π.
Охраняемый выборGuarded choice
Отделяет подозрение, проверку и действие.Separates suspicion, verification, and action.
ОткрытьOpen ↗Живущий следLiving trace
Даёт identity и append-only prefix — только эти два свойства.Supplies identity and append-only prefix — only these two properties.
ОткрытьOpen ↗Честный невыводHonest non-inference
Локальный дисбаланс не повышается до гарантированного цикла.Local imbalance is not promoted to a guaranteed cycle.
ОткрытьOpen ↗Только после полномочийOnly after authority
Подключается, если агент начнёт изменять внешний мир. Сейчас не является зависимостью.Connects only if the agent begins mutating the external world. It is not a dependency now.
Посмотреть границуInspect boundary ↗Проверено ровно ядроExactly the core is checked
Самодостаточный Lean‑носитель проверен Lean 4.32.2. Он не импортирует рынок, вероятностную калибровку или исполнитель торговых приказов.
The self-contained Lean carrier was checked with Lean 4.32.2. It imports neither a market, probability calibration, nor a trade executor.
Выбор находится в полеChoice belongs to the field
choose_mem_goalFieldLEAN 4.32.2 / PASSВыбор проходит контрактChoice passes the contract
choose_is_admissibleLEAN 4.32.2 / PASSВызов модели охраняетсяModel calls are gated
callModel_requires_gateLEAN 4.32.2 / PASSДействие сохраняет карточкуAction preserves card identity
apply_preserves_identityLEAN 4.32.2 / PASSКаждый шаг продолжает следEvery step extends the trace
apply_extends_traceLEAN 4.32.2 / PASSЗакрытая карточка не воскресаетA closed card cannot resurrect
closed_card_cannot_reopen
archive_is_absorbingLEAN 4.32.2 / PASSAMF‑01 сохранён целикомAMF‑01 preserved intact
Исходная полноэкранная камера опубликована отдельной страницей в своей первоначальной композиции. Ниже остаётся встроенная проекция, но она больше не заменяет оригинальный ридер.
The original full-screen chamber is published as a separate page in its initial composition. The embedded projection remains below, but no longer substitutes for the original reader.
AMF-01 / BUFFER
K*(t)=((ρ(t)+1)(H(t)+1))/(A(t)+1)
Below → accumulate
Near → hold
Above → adapt ∨ reduceRisk ∨ spendQualityСтатус: прежний Lean‑модуль и шесть заявленных теорем сохраняют свой исходный статус.
Status: the earlier Lean module and its six stated theorems preserve their original status.
AdaptiveMarketFrugality.lean ↗AMF-02 / STEWARD
goalField → admissible → choose → apply
routine tick ⇒ compute preserved
callModel ⇒ fresh ∧ eventful ∧ budgetСтатус: новый конечный операционный носитель. Он проверяет селектор карточки, а не качество рыночного сигнала.
Status: a new finite operational carrier. It checks the card selector, not market-signal quality.
AdaptiveMarketHypothesisSteward.lean ↗STATE FIELD / ПОЛЕ СОСТОЯНИЙ · AMF-01 ORIGINAL
Восстановленная интерактивная геометрия исходного ридера. Она показывает ресурс K относительно адаптивной цели K* и не интерпретируется как цена, вероятность или торговый сигнал.
Restored interactive geometry from the original reader. It shows resource K relative to adaptive target K* and is not interpreted as price, probability, or a trade signal.
BELOW / НИЖЕNEAR / РЯДОМABOVE / ВЫШЕ
01 / ACCUMULATEКопитьBuild buffer
02 / HOLDУдерживатьHold
03 / ADAPTАдаптироватьсяAdapt
04 / RISKСнижать рискReduce risk
05 / LIFEТратить на жизньSpend quality
K / RESOURCE0
K* / TARGET0
δ / BAND0
K(t+1)0
Selector(state) = hold