# Cross-Domain Discovery · протокол экспериментов

Версия 1.44.0. Открыть рабочий раздел: `/discovery/`.

## Три режима

1. **Поиск структур**: заданные человеком уравнения и ограничения → сравнение операторов, коэффициентов и границ → кандидаты переноса метода. Начальные дескрипторы синтетические. Совпадение дескрипторов ещё требует сверки с исходной статьёй.
2. **Доказательства и контрпримеры**: фиксированная задача → ограниченный поиск → точный контрпример или явно неразрешённый случай.
3. **Проверка свидетельств**: замороженные параметры и исходники → отдельные Worker-процессы решения и проверки → подписанный пакет → повтор → граф свидетельств. Новизна и научная значимость не устанавливаются автоматически.

Эти режимы реализованы фиксированным кодом. Платных LLM-вызовов, автоматического чтения внешних статей или выполнения загруженного кода нет. Загруженный JSON задаёт параметры только зарегистрированных рецептов.

## Девять запускаемых рецептов

| Рецепт | Вычисление | Проверка и граница результата |
|---|---|---|
| `structure_match` | Сопоставление 2–16 дескрипторов | Оператор, коэффициенты и граничные условия; не автоматическая формализация статьи |
| `mutation_spectrum` | Одноточечный спектр частот мутаций, n=3…24, S=−8…8 | 96 членов положительного ряда в точной рациональной арифметике против квадратуры Симпсона с 4096/8192 интервалами; нейтральный контроль θ/i |
| `neutral_ecology` | Стационарное распределение конечной цепи рождения/смерти с иммиграцией, N≤100 | Рекурсия против точных бета-биномиальных весов, нормировка и детальный баланс; не полное вычисление Etienne или анализ лесных данных |
| `evolution_algebra` | Опубликованная трёхмерная алгебра над C | Рациональный ранг, умножение и исключение двух ветвей идемпотента; известный контрпример |
| `marginal_obstruction` | Четыре двоичные переменные и нечётные тройки | Перебор всех 16 состояний и точные проекции; не весь набор switched-triangle ограничений статьи |
| `integer_conjecture` | Поиск первого составного n²+n+c, n≤2000 | Деление против независимого решета; общий контрпример n=c−1 известен даже вне выбранного диапазона |
| `biharmonic_energy` | Масса и энергия радиального гауссиана для критического бигармонического NLS | Аналитические формулы против радиальной квадратуры; проверка условий теоремы, без PDE-траектории и времени коллапса |
| `ellipsoid_fit` | Точные уравнения xᵀSx=2 в двух измерениях | Рациональное исключение и положительная полуопределённость; недоопределённые случаи остаются неразрешёнными. Не асимптотический гауссовский порог |
| `graph_green` | Взвешенный лапласиан связного графа ≤12 вершин | Точные уравнения Кирхгофа и совпадение энергетического спаривания; не полная арифметическая теорема о кривых |

Для интеграла генетики используется

`ξ_i(S) = θ·C(n,i) ∫₀¹ x^(i−1)(1−x)^(n−i−1) [1−exp(−S(1−x))]/[1−exp(−S)] dx`.

При S=0 предел равен θ/i. Вход S допускает не более восьми десятичных знаков. Точные рациональные границы относятся к отношению рядов **до** преобразования в floating point и умножения на θ. Десятичный интервал включает отдельный допуск преобразования; точная дробь остатка сохраняется даже при численном underflow.

Для алгебры строки матрицы квадратов базиса: `[-2,0,2]`, `[0,1,-1]`, `[0,-1,1]`; смешанные произведения равны нулю. После ненулевого масштабирования и замены u=sx, v=sy, w=sz получаются `u(2u+1)=0`, `w=2u²−v`, `(4u²−1)v−4u⁴=0`. Ветвь u=0 даёт нулевой идемпотент; u=−1/2 даёт противоречие −1/4=0. Производный идеал имеет ранг 2 и совпадает со своим квадратом.

Для NLS рассматривается `i u_t = Δ²u − |u|^(8/d)u`, радиальные H²-данные, d≥2, `E = ||Δu||²/2 − ||u||_q^q/q`, q=2+8/d. Интерфейс ограничивает вычисления d≤8. Знак классифицируется через отношение положительных слагаемых с полосой неопределённости 1e−10. Проверка условий опубликованной теоремы не является новым доказательством.

## Запуск и перенос

В браузере выберите рецепт, измените параметры и нажмите **«Запустить и проверить»**. **«Проверить все 9 новых рецептов»** выполняет все новые примеры последовательно. Пакеты сохраняются в IndexedDB этого браузера; экспортируйте свидетельство для переноса. Импорт сначала проверяет хеши и подпись, затем отдельная кнопка повторяет вычисление. Самоподпись браузера не удостоверяет личность или научную организацию.

Полный исходный проект сохраняет те же 33 рецепта в Node.js 24 без установки вычислительных зависимостей:

```sh
node scripts/run-catalog.mjs --db data/research.sqlite
node scripts/run-catalog.mjs --recipe mutation_spectrum --db data/research.sqlite
node scripts/run-catalog.mjs --input request.json --db data/research.sqlite --cycle study-001
```

Пример `request.json` (или используйте **«Экспорт задачи»**):

```json
{
  "schema": "zeroexternal.discovery.request.v1",
  "recipe": "mutation_spectrum",
  "title": "Нейтральный контроль",
  "statement": "Воспроизводится ли θ/i при S=0?",
  "parameters": {"sample_size": 12, "selection": 0, "theta": 1}
}
```

Предел файла — 32 КБ, вопроса — 1600 символов. Схема параметров: `/runtime/engine/discovery-input.schema.json`; семантические ограничения проверяет `validateDiscoveryParameters`. Node-план сохраняет вопрос, параметры, критерии и хеши исходников. Повтор одного плана в том же цикле идемпотентен. Браузерный и Node-пакеты имеют разные существующие форматы; импорт в браузер принимает подписанный **browser evidence**, а не произвольный SQLite-экспорт. Node-свидетельство можно читать через `/api/runtime/runs/:id` своего standalone-развёртывания.

Общий серверный API остаётся ограниченным фиксированными параметрами по умолчанию. Пользовательские параметры исполняются в вашем браузере или локальном CLI. Часовой 18-кейсовый resident-цикл не изменён.

## Исходные работы и полное воспроизведение

- [Claude-shaped science, Anthropic, 1 октября 2026](https://www.anthropic.com/research/claude-shaped-science): перенос математических методов между дисциплинами, выбор значимого вопроса профильным исследователем.
- [BootLoops](https://github.com/BootLoops-ai/bootloops): отдельный Python 3.12-инструментарий с собственными зависимостями. Он не выдаётся здесь за встроенную Node-библиотеку.
- [Mutationflow, предварительная рукопись](https://bootloops.ai/mutationflow.pdf): одноточечный интеграл воспроизводится; геномные данные, анализ миллиардов пар и вывод о gene conversion в этот runtime не загружены.
- [Biodiversity](https://bootloops.ai/summaries/biodiversity.html): источник исследовательского подхода; конечная нейтральная цепь здесь является отдельно указанной моделью.
- [Meta, 2 октября 2026](https://research.meta.ai/blog/solving-open-research-problems-together): направленный поиск решений открытых задач совместно с математиками.
- [Evolution algebra](https://ai.meta.com/research/publications/on-solvable-evolution-algebras-and-a-conjecture-by-garcia-martinez-and-perez-rodriguez/): воспроизводится Example 2.1.
- [Alpha-cycle relaxation](https://ai.meta.com/research/publications/tightness-of-the-cycle-based-relaxation-for-completed-length-three-alpha-cycles/): воспроизводится конкретное препятствие совместному распределению.
- [Biharmonic NLS](https://ai.meta.com/research/publications/finite-time-blow-up-of-radial-negative-energy-solutions-for-the-mass-critical-biharmonic-nonlinear-schrodinger-equation/): проверяются гипотезы для выбранного гауссовского профиля.
- [Gaussian ellipsoid fitting](https://ai.meta.com/research/publications/the-strict-threshold-for-gaussian-ellipsoid-fitting/): реализована конечная рациональная задача, не доказательство порога.
- [Local-height / string two-point function](https://ai.meta.com/research/publications/string-two-point-function-height-function-on-a-curve/): реализован конечный графовый компонент.
- [Semiabelian groups need not be monomial](https://ai.meta.com/research/publications/semiabelian-groups-need-not-be-monomial/): отдельный фиксированный скрипт `/discovery/kida.g` требует GAP 4.16.1 и SmallGrp 1.7.0. Он проверяет `SmallGroup(384,20127)` и выдаёт успех только при найденном свидетельстве полуабелевости и отрицательном результате `TestMonomial`. **В этой поставке GAP не установлен и скрипт не исполнялся**; это подготовленный локальный запуск, не прошедший браузерный эксперимент. Пример после установки зависимостей: `gap -q public/discovery/kida.g`; ограничьте время отдельного процесса своим окружением.
- **ART**: в двух указанных публикациях нет достаточного первоисточника ART, последовательностей и протокола валидации. Сохранена карточка недостающих исходных данных; работающий биологический эксперимент не имитируется.

## Расширение протокола

Новый вычислительный рецепт добавляется в `discovery-catalog.mjs` и `discovery-core.mjs` вместе с точной областью применимости, ограничениями входа, проверяемыми критериями и отдельными математическими контролями. Далее добавляются JSON Schema, тесты, запись в `build-source-manifest.py`; регенерируются pins и выполняется `pnpm test:release`. Импорт JSON не регистрирует новый код.

Граф сохраняет задачу, план, метод, результат, проверку, свидетельство и отдельный узел запроса научной рецензии. Состояние результата остаётся ограниченным его математическим утверждением. Пользовательская заметка не меняет его на «научное открытие». Отрицательные и неразрешённые исходы сохраняются наравне с положительными.