Wizard AK-79 · Human-governed AIWizard AK-79 · ИИ под управлением человекаWizard AK-79 · ШІ під керуванням людини

One ecosystem.Одна экосистема.Одна екосистема. Every resultКаждый результатКожен результат links to its proof.ведёт к доказательству.веде до доказу.

A.K/79 research, Lean-checked proofs, published DOIs and the open monograph — connected in one place.Труды A.K/79, доказательства в Lean, опубликованные DOI и открытая монография — в одном месте.Праці A.K/79, докази в Lean, опубліковані DOI та відкрита монографія — в одному місці.

Explore researchСмотреть трудыДивитись праці See the ecosystem mapКарта экосистемыКарта екосистеми

MissionМиссияМісія

This is a direction we are working toward, not a proven result.Это направление работы, а не доказанный факт.Це напрям роботи, а не доведений факт.

0DOI-published recordsзаписи с DOIзаписи з DOI
0status levels for every claimуровней статуса у каждого утверждениярівнів статусу для кожного твердження
0stages from conjecture to literatureэтапов от гипотезы до литературыетапів від гіпотези до літератури
0final authority: the humanпоследнее слово — за человекомостаннє слово — за людиною

PrinciplesПринципыПринципи

Evidence, not adjectives.Доказательства, а не эпитеты.Докази, а не епітети.

Honesty over gloryЧестность дороже славыЧесність дорожча за славу

“Verified” means actually run. Everything else is marked “not verified”.«Проверено» — только то, что реально запускалось. Остальное — «не проверено».«Перевірено» — лише те, що реально запускалося. Решта — «не перевірено».

Every claim has a sourceУ каждого утверждения есть источникКожне твердження має джерело

Each statement links to a DOI, a Lean file or a commit.Каждое утверждение ведёт к DOI, файлу Lean или коммиту.Кожне твердження веде до DOI, файлу Lean або коміту.

Human final authorityПоследнее слово — за человекомОстаннє слово — за людиною

A provider-independent core. No paid APIs without the author’s approval.Ядро не привязано к провайдеру. Платные API — только с разрешения автора.Ядро не прив’язане до провайдера. Платні API — лише з дозволу автора.

How we present resultsКак мы подаём результатыЯк ми подаємо результати

From conjecture to proof — with receipts.От гипотезы до доказательства — с квитанциями.Від гіпотези до доказу — з квитанціями.

Lean blueprints show a theorem → Lean-code graph. We add the following by design; none of it is claimed as novel until compared with the literature.Lean blueprint даёт граф «теорема → код Lean». Мы добавляем по замыслу то, что ниже; новизна не заявляется до сравнения с литературой.Lean blueprint дає граф «теорема → код Lean». Ми додаємо за задумом наведене нижче; новизна не заявляється до порівняння з літературою.

01

ConjectureГипотезаГіпотеза

A statement is recorded with a status. An AI answer is data, not proof.Утверждение фиксируется со статусом. Ответ ИИ — данные, не доказательство.Твердження фіксується зі статусом. Відповідь ШІ — дані, а не доказ.

CONJECTURE
02

RecomputationПересчётПерерахунок

The result is recomputed. Reproducibility: command + sha256 + receipt per artifact.Результат пересчитывается. Воспроизводимость: команда + sha256 + квитанция у каждого артефакта.Результат перераховується. Відтворюваність: команда + sha256 + квитанція для кожного артефакту.

ONE CHECK
03

Independent certificationНезависимая сертификацияНезалежна сертифікація

“Proved” requires two independent checks (outside Lean).«Доказано» требует двух независимых проверок (кроме Lean).«Доведено» потребує двох незалежних перевірок (окрім Lean).

TWO CHECKS
04

LeanLeanLean

Lean trust boundaries are stated explicitly (kernel vs native_decide, axioms) plus a “not verified” list.Границы доверия Lean указаны явно (ядро и native_decide, аксиомы) и список «не проверено».Межі довіри Lean вказані явно (ядро та native_decide, аксіоми) і список «не перевірено».

LEAN
05

LiteratureЛитератураЛітература

Priority gate: “known / close / not found” with an exact reference — never “new” by default.Гейт приоритета: «известно / близко / не найдено» с точной ссылкой — «новое» по умолчанию не пишем.Гейт пріоритету: «відомо / близько / не знайдено» з точним посиланням — «нове» за замовчуванням не пишемо.

KNOWN

Status of every claimСтатус каждого утвержденияСтатус кожного твердження

LEANTWO CHECKSONE CHECKCONJECTUREREFUTEDKNOWN

Refuted claims are kept and shown, with the reason.Опровергнутое хранится и показывается, с причиной.Спростоване зберігається і показується, з причиною.

ResearchТрудыПраці

Every item has a permanent DOI — or is marked “in progress”.У каждого труда постоянный DOI — либо пометка «в работе».У кожної праці постійний DOI — або позначка «в роботі».

Lean proofsДоказательства LeanДокази Lean

The M024 archive contains Lean 4 files; a result is called certified only after a Lean 4.35.0 check without sorry. Per-theorem pages will appear with the monograph.Архив M024 содержит файлы Lean 4; результат считается подтверждённым только после проверки Lean 4.35.0 без sorry. Страницы по теоремам появятся вместе с монографией.Архів M024 містить файли Lean 4; результат вважається підтвердженим лише після перевірки Lean 4.35.0 без sorry. Сторінки по теоремах з’являться разом із монографією.

Literature and prior artЛитература и прототипыЛітература та прототипи

Reviews are stored in the repository; novelty is claimed only after a literature check.Разборы лежат в репозитории; новизна заявляется только после проверки литературы.Огляди лежать у репозиторії; новизна заявляється лише після перевірки літератури.

Prior-art review: route economyРазбор прототипов: экономия маршрутовРозбір прототипів: економія маршрутів docs/AK79_ROUTE_ECONOMY_PRIOR_ART_20261025.md

Ecosystem mapКарта экосистемыКарта екосистеми

How the parts connect.Как части связаны между собой.Як частини пов’язані між собою.

Drag to rotate. Click any node. Dashed = in progress.Тяните, чтобы вращать. Нажмите на узел. Пунктир — в работе.Тягніть, щоб обертати. Натисніть на вузол. Пунктир — в роботі.

The A.K/79 core is not disclosed: neither the canon, the prompts nor the internal design are published.Ядро A.K/79 не раскрывается: ни канон, ни промпты, ни внутреннее устройство не публикуются.Ядро A.K/79 не розкривається: ні канон, ні промпти, ні внутрішній устрій не публікуються.