Атлас Артефактов Курпишева

Аннотация

Представлен источниково адресованный Атлас 36 Артефактов Курпишева из именного реестра Global RBD v2.2, RUN-016. Артефакт рассматривается как зарегистрированная реперная конструкция, содержащая идентификатор, распределение ролей R, I, U, D, граф отношений, основания, доказательную стадию и маршрут дальнейшей проверки. Воспроизведены все 36 паспортов, установлена их связь с 16 опорными узлами и 216 записями ролевых связей. Отдельный слой статьи сопоставляет каталог со статическим кодировщиком R3M-ENCODER-v1.0: получены семь различных матриц и два спектральных паспорта — 19 объектов ранга 1 и 17 объектов ранга 2. Доказано элементарное объяснение этого результата через числа занятых семейств отношений. На примере Артефактов 1 и 18 показано, что совпадение матриц не означает совпадения ролей достаточного основания или доказательных стадий. Атлас связывает каталог с последующей линией полной сигнатуры R4-K и источникового допуска R4-L, не отождествляя 36 артефактов с кантовским графом. Работа закрепляет авторскую архитектуру И. Б. Курпишева и одновременно отделяет каталогизацию, математический анализ кодировки и ещё не выполненную эмпирическую проверку прогноза.

Ключевые слова: Артефакты Курпишева; Reper; KLT-RBD; RIUD; Атлас; KASVD; доказательный паспорт; спектральная коллизия; полная сигнатура; достаточное основание.

1. Артефакт как единица научной памяти

В исходной монографии 5.0 минимальная единица проекта задаётся как событие@состояние, а Reper связывает реальное содержание, внутренний инвариант, поле возможностей и достаточное основание. Эта конструкция переносится на источники, формулы, документы, программы и прогнозы [2, §§1–3]. Том XII развивает её в понятие артефакта: зафиксированная новообразующая структура получает источник, домен, паспорт, статус и следующее действие [3, §§1–3, 12–13].

В настоящем Атласе сохраняется запись

$$A_n=(\mathrm{id}_n,G_n,\operatorname{Rep}_n,\mathrm{Dom}_n,D_n,S_n,B_n,N_n),\qquad \operatorname{Rep}_n=(R_n,I_n,U_n;D_n). \tag{1}$$

Здесь G — граф, S — запись доказательного состояния, B — перечень или поле блокеров, N — следующий проверяемый шаг. Формула организует паспорт; она не утверждает существования универсального числового критерия истины.

Артефакт отличается от свободной идеи адресуемостью и историей. Его можно найти по идентификатору, сопоставить с прежней версией и проверить, какие основания действительно присутствуют. В этом заключается его значение для антропологии познания: память о ходе исследования становится воспроизводимым объектом, а не только рассказом об удачной находке. Но сохранённая память об утверждении не равна доказательству этого утверждения.

Предмет статьи ограничен именованным реестром 1–36. Более широкий Том XII охватывает математические, физические, химические, биологические и программные артефакты. Это тематическая рамка проекта, а не основание переименовать 36 конкретных записей RUN-016 в 36 независимых открытий по всем перечисленным дисциплинам. Все 16 узлов, непосредственно участвующих в данном каталоге, принадлежат сохранённому домену KLT_RBD [1].

2. Источниковая рамка и правило сохранения идентичности

Основной источник — пакет KLT-RBD Global Reper Database v2.2, Artifact Naming and Dossier RUN-016. В нём находятся JSON/CSV-реестр имён, 36 отдельных русских досье, таблица реперов, ролевые связи RUN-006 и база SQLite. Записи именования датированы 2 июня 2026 года. Номер «Артефакт-n» совпадает с полем rank очереди RUN-015: это номер ранжированного кандидата, а не ранг SVD и не дата открытия [1, README; таблица artifact_candidate_score_run_015].

Путь идентификаторов имеет вид

$$\text{RIUD/006}\to\text{PROOF/007}\to\text{FORMAL/009}\to\text{CAND/015}\to\text{NAME/016}. \tag{2}$$

Это история оформления и проверки. Она сама по себе не является временным рядом независимых изменений графа. Поэтому её нельзя подставлять вместо последовательности новых наблюдений в проспективный прогноз.

При подготовке Атласа совпали все 286 проверенных записей исходного SHA-256-манифеста; ZIP прошёл проверку CRC. Именной JSON-реестр совпал с таблицей SQLite по всем полям, а ролевые связи — с CSV. Эти проверки подтверждают целостность использованного архивного снимка. Они не являются внешним научным рецензированием или независимым EXT-RUN.

Четыре семейства источников опорных узлов сохранены раздельно: предсказательные спецификации, пять семейств пределов, интерфейсный каталог и формальные заготовки. Последний источник прямо называется formal skeleton: запись proof stub в его поле D не превращается в завершённое формальное доказательство [1, sources_v2_2_preserved].

2.1. Как читать числа и статусы

Значения λ, δ_truth и CGI воспроизведены из RUN-016; в статье они округлены до шести знаков. Они не пересчитаны из словесных полей R, I, U, D и не названы измерениями физических процессов. Термин δ_truth и скаляр CGI сохраняются как исторические поля реестра. Позднейший Том V ограничивает λ строго типизированным частичным инвариантом и различает независимые координаты разрывов [4, с. 1–2].

Все 36 записей имеют proof_status = roadmap-only-not-proof и truth_layer_promotion = 0. Даже signature-ready у Артефакта-1 означает готовность к следующему контролируемому рассмотрению, а не доказанную теорему. У Артефакта-2 числовое поле remaining_blockers равно нулю, но решение остаётся return-to-hold: источник отдельно требует independent signature-witness. Одно счётное поле не заменяет остальные ворота допуска.

У десяти карточек без formal_card_id поле remaining_blockers содержит 999. В Атласе это значение оставлено буквально и отмечено звёздочкой. Оно не интерпретируется как предъявленный список из 999 независимых препятствий. Также d_coverage = 4 у всех объектов означает заполненную регистрационную характеристику покрытия, а не четыре независимо доказанных достаточных основания.

3. Шестнадцать опорных узлов и устройство паспорта

В каждой карточке роли R, I, U, D назначены четырём различным реперным узлам. Их собственные внутренние поля R, I, U, D не следует смешивать с ролью узла внутри данного артефакта: это два уровня описания. Для компактного чтения введены локаторы N001…N131; они не заменяют исходные идентификаторы KRP-V20 и раскрываются в машинном реестре.

Первые пять узлов задают пределы; следующие шесть — предсказательные записи и пересборку; три — интерфейсные операции; последние два — формальные заготовки. Названия в правой колонке — краткие пояснения к исходным concept/concept_ru. Полные формулировки, внутренние D-поля, source_id и work_id сохранены в приложенном JSON, а исходные байты — в неизменённом архиве.

Каждый RIUD_TETRA содержит шесть ролевых пар. Обозначение тетраэдра описывает здесь четырёхвершинный каркас связей. Оно не означает, что в источнике заданы евклидовы координаты, измеренные длины рёбер или геометрический объём. В ролевой записи active_relation_signature может присутствовать несколько направленных отношений; поэтому шесть строк паспорта нельзя без уточнения называть шестью уникальными рёбрами всей глобальной RBD.

Полный каталог из 36 карточек приведён в приложении A. Порядок исходного именования не меняется. Поля объекта RUN-006, proof object RUN-007 и formal card RUN-009 сокращены только в печатном представлении; правила раскрытия указаны перед каталогом.

4. От реперного графа к статическому SVD-паспорту

Атлас воспроизводит именно R3M-ENCODER-v1.0 [5]. Его строки соответствуют парам RI, RU, IU, а столбцы — трём семействам отношений:

Элементы M задаются индикаторами наличия хотя бы одного отношения семейства в соответствующей сигнатуре пары:

$$M_{p,f}=\mathbf1\{\operatorname{signature}(p)\text{ содержит отношение семейства }f\},\quad p\in\{RI,RU,IU\}. \tag{3}$$

Матрица учитывает три пары без D. Остальные три пары, поле достаточного основания, блокеры и proof_status не удаляются из паспорта: они остаются независимым источниковым и доказательным слоем. Направление отношения и несколько связей внутри одного семейства в этой конкретной бинарной проекции не различаются. Это заданное сжатие данных, а не свойство самих источников.

Матрицу R3-M нельзя смешивать с последующей демонстрационной матрицей R3-V с осями R,I,U и D,P,G: это разные кодировщики. Все численные SVD-итоги данной статьи относятся только к первому контракту.

Для M применяется стандартное сингулярное разложение M = UΣVᵀ; классический алгоритмический и терминологический фон приведён в документации LAPACK [9]. Спектральный паспорт задаётся величинами

$$\sigma_1\ge\sigma_2\ge\sigma_3\ge0,\qquad \rho=\|M\|_F,\qquad s_2=\sigma_2/\sigma_1,\quad s_3=\sigma_3/\sigma_1 \quad(\sigma_1>0). \tag{4}$$

Повторный расчёт подтвердил семь разных матриц. Их обозначения M1…M7 введены только для навигации по этой статье, не как новые номера артефактов.

Предложение 1. Почему в этом Атласе только два спектра

Пусть каждая строка бинарной матрицы содержит ровно одну единицу. Обозначим через n_F, n_E, n_L количества строк, отнесённых к трём семействам. Тогда

$$M^TM=\operatorname{diag}(n_F,n_E,n_L),\qquad \{\sigma_i^2\}_{i=1}^3=\{n_F,n_E,n_L\}. \tag{5}$$

Доказательство. Одна строка не содержит двух единиц в разных столбцах, поэтому все внедиагональные элементы MᵀM равны нулю. Диагональный элемент равен сумме единиц соответствующего столбца. Сингулярные значения — квадратные корни собственных значений MᵀM. □

Для всех 36 исходных объектов условие проверено. Числа занятых семейств имеют только типы (3,0,0) или перестановки (2,1,0). Поэтому получаем

$$19\times(\sqrt3,0,0),\qquad17\times(\sqrt2,1,0),\qquad \rho=\sqrt3\ \text{для всех карточек}. \tag{6}$$

В треугольнике KASVD это точки (0,0) и (1/√2,0). Результат объясняет распределение 19 S1 и 17 S2g. Он не доказывает, что артефакты обладают только одной или двумя смысловыми степенями свободы: измерена различимость выбранных семейств внутри фиксированной проекции.

5. Две карточки, одна матрица: почему основания сохраняются отдельно

Артефакт-1 и Артефакт-18 — особенно наглядная пара. В обоих R связан с forecast_fact_gap, а I — с nearest_rebuild_neighborhood. Но у первого U = LimitOK, D = PredReperRecord; у второго U = PredReperRecord, D = predictive_health. Их решения RUN-016 также различаются: signature-ready и hold, а поле remaining_blockers равно соответственно 0 и 6 [1, досье 001 и 018].

Несмотря на это, обе карточки дают

$$M_1=M_{18}=\begin{pmatrix}0&1&0\\1&0&0\\1&0&0\end{pmatrix}. \tag{7}$$

Их три выбранные пары попадают в те же семейства. Три связи с ролью D при этом различны. Совпадение M означает совпадение выбранной проекции, а не тождество паспорта, доказательств или содержания. Оно не даёт разрешения объединить карточки в базе.

Артефакты 2 и 3 дают второй пример: их матрицы совпадают, но роль U указывает соответственно на predictive_limits и predictive_forecast. Статический спектр не обязан различать запрос каталога пределов и запрос прогноза. Именно для таких случаев в линии R4-J разделены коллизия кодировщика и совпадение матричных орбит [6].

6. Связь Атласа с полной сигнатурой R4-K/R4-L

Позднейшая математическая линия не заменяет исходные имена. Она уточняет, как сравнивать зарегистрированные структуры. Для явно заданного конечного комплекса с δ₁δ₀ = 0 и фиксированной метрикой рассматриваются

$$H^1=\ker\delta_1/\text{im}\delta_0,\qquad h([z])=P_{\mathcal H}z. \tag{8}$$

Классический конечномерный слой Ходжа изложен у Л.-Х. Лима [8]. В R4-K полнота сравнения получена для фиксированной конечной группы допустимых изометрий Γ посредством канонической орбитальной записи

$$c_\Gamma([z])=\min_{g\in\Gamma}^{\mathrm{lex}}Q_g h([z]). \tag{9}$$

Эта формула не требует, чтобы SVD был полным инвариантом исходного класса. Но она требует обосновать сам комплекс, численный дефект z, метрику и допустимую группу. Для всех 36 артефактов такой содержательный когомологический расчёт настоящей статьёй не выполняется. Статическая матрица R3-M не объявляется его заменой.

R4-L исследовал другой объект — KANT-SNAP-015: 55 узлов, 59 отдельных рёбер, шесть компонент и десять циклических координат одномерного каркаса. Там сохранён явный свидетель потери информации при слиянии двух рёбер с одинаковыми концами. Это методический пример для разработки Atlas/Analyzer, а не Артефакты 37–91 и не переименование каталога 1–36 [6, R4-L]. В том же отчёте содержательный вектор дефекта остаётся недопущенным: отсутствие значения не заменено нулём.

Общий вывод для архитектуры имеет форму

$$\text{источник}\to\text{паспорт}\to\text{типизированный граф}\to\text{допустимый класс}\to\text{полная сигнатура}, \tag{10}$$

а KASVD располагается рядом как диагностическая спектральная проекция. Полный граф и основания должны оставаться восстанавливаемыми.

7. Значение для предсказательного метода и границы новизны

Атлас усиливает предсказательный реперный проективно-гармонический метод в трёх отношениях. Во-первых, он превращает имена артефактов в адресуемые объекты с неизменённой историей. Во-вторых, даёт проверяемый слой сравнения графовых форм и показывает пределы его сжатия. В-третьих, связывает каждое состояние не с обещанием результата, а с конкретным следующим действием: получить независимое свидетельство, уточнить домен, пересобрать роли или повторить проверку.

Для Analyzer это основание разделять структурно похожие, но доказательно различные фрагменты. Для ARBD — хранить отдельные версии и типизированные рёбра, не объединяя их по одному спектру. Для KLT-MATDES — переносить метод только после задания предметных ролей, единиц, домена и Evidence-D. Атлас не заявляет, что эти изменения уже встроены в производственные приложения.

Авторский вклад И. Б. Курпишева в данном контексте — организация связи «артефакт — Reper — источник — D/Dom — граф — статус — проверка», её нумерованный машинный реестр и включение спектрального и полного орбитального анализа в единую программу KLT-RBD. SVD, теория графов, ранги матриц, теория Ходжа и стандартные групповые действия не объявляются авторскими открытиями. Установление внешнего научного приоритета каждого частного результата не является результатом каталогизации.

Численный λ-паспорт не заменяет доказательства; заполненная роль D не гарантирует достаточности основания; signature-ready не равен доказанной теореме; совпадение спектров не равно тождеству артефактов. Эти границы согласованы с PILOT-01 и Томом V [4; 7]. Смысловой вопрос остаётся центральным: что именно переносится между двумя записями и почему такой перенос допустим?

Заключение

Сформирован единый Атлас всех 36 именованных артефактов снимка RUN-016. В нём не сокращён реестр и не повышены его научные статусы. Источниковая часть содержит 36 досье, 16 опорных узлов и 216 ролевых записей; аналитическая часть — семь матриц, два спектра и явные примеры несовпадения полного паспорта при одинаковой матрице. Атлас является промежуточным публикационным этапом после R4-L; следующий содержательный шаг остаётся R4-M — источниковый разбор двух параллельных кантовских связей и основания их сравнения.

Статусы предсказательной валидации: SCIENCE = ABSTAIN; EXT_RUN = NOT_RUN; truth_layer_promotion = 0. Математические расчёты каталога не изменяют эти поля.

Литература и адреса источников

[1] Kurpishev I. B. KLT-RBD Global Reper Database v2.2: Artifact Naming and Dossier RUN-016. 2026-06-02. README_RU.md; exports/json/artifact_kurpishev_name_registry_run_016.json; dossiers/artifacts/ARTIFACT_001…036_KURPISHEV_RU.md; exports/csv/repers_v2_2_preserved.csv; tetra_role_edges_run_006.csv. Archive: sources/RUN016_ORIGINAL.zip.

[2] Kurpishev I. B. Monograph 5.0: Kurpishev Logic. 2026. monograph5_0_ru.pdf, pp. 3-4, sections 1-3. Original Russian title: Monografiya 5.0: Logika Kurpisheva.

[3] Kurpishev I. B. Volume XII: Kurpishev Artifacts and the Architecture of Mathematics. mbp179, 2026, pp. 3-7, sections 1-3 and 12-13. Preserved within v32_v196cc.pdf, PDF pp. 1109-1113.

[4] Kurpishev I. B. Basic Project KLT-RBD. Volume V: Computational Architecture. T5-AUDIT-MATH-v0.4, 2026-08-02, pp. 1-2 and chapters 4-9. tom5_v0_4_0_1(1).pdf.

[5] Kurpishev I. B. R3-M: Real Artifact Encoder / Admission Audit v1.0. 2026. R3M-ENCODER-v1.0; R3M_ARTIFACT_SVD_ATLAS_v1_0.json; r3m_build_static_atlas.py. Static matrix/spectrum record, not a temporal trial.

[6] Kurpishev I. B. R4-J: Quotient Spectral Geometry; R4-K: Complete Obstruction Signature; R4-L: Source-bound Signature Admission. Project checkpoints, 2026. R4L_RESULTS.json; KANT-SNAP-015 is a separate source graph.

[7] Kurpishev I. B. Reper-Projective Architecture of Formula Chains: PILOT-01. 2026-05-03, pp. 3-5, Definitions 3.1-3.3 and Theorem 4.1. PILOT01_PREPRINT_RU_FINAL.pdf.

[8] Lim, Lek-Heng. Hodge Laplacians on graphs. arXiv:1507.05379. https://arxiv.org/abs/1507.05379. Classical background for finite cochain complexes and Hodge representatives.

[9] LAPACK Users’ Guide. Singular Value Decomposition (SVD). Netlib, section 2.2.4. https://www.netlib.org/lapack/lug/node32.html. Classical definition and computational background.

Приложение A. Полный каталог Артефактов 1–36

Все записи ниже имеют тип RIUD_TETRA, proof_status = roadmap-only-not-proof, internal_edge_count = 6, d_coverage = 4 и truth_layer_promotion = 0. Числа λ, δ и CGI — поля снимка RUN-016, округлённые для печати. B — буквальное поле remaining_blockers; 999* не обозначает проверенный перечень из 999 пунктов. Краткие номера раскрываются так: объект → RIUD-TETRA-RUN006-nnn; proof → PROOF-OBJ-RUN007-nnnn; formal → FORMAL-CARD-RUN009-nnn. Знак «—» означает отсутствие formal_card_id. Полные ID и исходные формулировки доступны в ATLAS_REGISTRY.json и оригинальных досье [1].

A.1. Артефакты 1-6

01. Артефакт-1 Курпишева

R = N017 (Разрыв прогноза и факта); I = N018 (Ближайшая окрестность пересборки); U = N131 (LimitOK — формальная заготовка); D = N130 (PredReperRecord — формальная заготовка).

Объект 029; proof 0029; formal 006. λ = -0.992737; δ = 0.007263; CGI = 0.140949; B = 0. M1 / S2g.

signature-ready. Следующее действие: Использовать как эталон; оформить статью и пройти публикационные ворота, не изменяя truth-layer.

02. Артефакт-2 Курпишева

R = N018 (Ближайшая окрестность пересборки); I = N019 (Поиск в семантическом тумане); U = N123 (Интерфейс каталога пределов); D = N130 (PredReperRecord — формальная заготовка).

Объект 030; proof 0030; formal 002. λ = -0.977250; δ = 0.022750; CGI = 0.134613; B = 0. M2 / S1.

return-to-hold. Следующее действие: Получить independent signature-witness и повторить signature review.

03. Артефакт-3 Курпишева

R = N018 (Ближайшая окрестность пересборки); I = N019 (Поиск в семантическом тумане); U = N124 (Интерфейс прогнозного Reper); D = N130 (PredReperRecord — формальная заготовка).

Объект 031; proof 0031; formal 001. λ = -1.035478; δ = 0.035478; CGI = 0.134599; B = 1. M2 / S1.

return-to-hold. Следующее действие: Закрыть оставшийся blocker и повторить accept-review closure.

04. Артефакт-4 Курпишева

R = N017 (Разрыв прогноза и факта); I = N123 (Интерфейс каталога пределов); U = N016 (Допустимый будущий Reper); D = N130 (PredReperRecord — формальная заготовка).

Объект 011; proof 0011; formal 019. λ = -1.028786; δ = 0.028786; CGI = 0.160747; B = 6. M2 / S1.

hold. Следующее действие: Уточнить Dom, Evidence-D и доказательные блокеры; вернуть на board review.

05. Артефакт-5 Курпишева

R = N017 (Разрыв прогноза и факта); I = N124 (Интерфейс прогнозного Reper); U = N016 (Допустимый будущий Reper); D = N130 (PredReperRecord — формальная заготовка).

Объект 010; proof 0010; formal 015. λ = -1.035035; δ = 0.035035; CGI = 0.158355; B = 6. M2 / S1.

hold. Следующее действие: Уточнить Dom, Evidence-D и доказательные блокеры; вернуть на board review.

06. Артефакт-6 Курпишева

R = N015 (Пакет события–состояния–предела); I = N003 (Пространственный предел); U = N016 (Допустимый будущий Reper); D = N002 (Экологический предел).

Объект 028; proof 0028; formal 007. λ = -0.940909; δ = 0.059091; CGI = 0.141894; B = 4. M3 / S2g.

hold. Следующее действие: Уточнить Dom, Evidence-D и доказательные блокеры; вернуть на board review.

A.2. Артефакты 7-12

07. Артефакт-7 Курпишева

R = N015 (Пакет события–состояния–предела); I = N002 (Экологический предел); U = N016 (Допустимый будущий Reper); D = N001 (Политический предел).

Объект 034; proof 0034; formal 003. λ = -0.929507; δ = 0.070493; CGI = 0.139731; B = 4. M3 / S2g.

hold. Следующее действие: Уточнить Dom, Evidence-D и доказательные блокеры; вернуть на board review.

08. Артефакт-8 Курпишева

R = N015 (Пакет события–состояния–предела); I = N123 (Интерфейс каталога пределов); U = N016 (Допустимый будущий Reper); D = N130 (PredReperRecord — формальная заготовка).

Объект 001; proof 0001; formal 023. λ = -1.075021; δ = 0.075021; CGI = 0.163651; B = 6. M2 / S1.

hold. Следующее действие: Уточнить Dom, Evidence-D и доказательные блокеры; вернуть на board review.

09. Артефакт-9 Курпишева

R = N017 (Разрыв прогноза и факта); I = N018 (Ближайшая окрестность пересборки); U = N123 (Интерфейс каталога пределов); D = N130 (PredReperRecord — формальная заготовка).

Объект 020; proof 0020; formal 005. λ = -1.070872; δ = 0.070872; CGI = 0.140114; B = 5. M2 / S1.

rebuild. Следующее действие: Пересобрать роли / proof closure; повторить λ/CGI-аудит.

10. Артефакт-10 Курпишева

R = N015 (Пакет события–состояния–предела); I = N003 (Пространственный предел); U = N016 (Допустимый будущий Reper); D = N004 (Временной предел).

Объект 027; proof 0027; formal 010. λ = -1.077951; δ = 0.077951; CGI = 0.155086; B = 5. M3 / S2g.

rebuild. Следующее действие: Пересобрать роли / proof closure; повторить λ/CGI-аудит.

11. Артефакт-11 Курпишева

R = N015 (Пакет события–состояния–предела); I = N123 (Интерфейс каталога пределов); U = N124 (Интерфейс прогнозного Reper); D = N130 (PredReperRecord — формальная заготовка).

Объект 023; proof 0023; formal 027. λ = -1.115256; δ = 0.115256; CGI = 0.170376; B = 6. M4 / S2g.

hold. Следующее действие: Уточнить Dom, Evidence-D и доказательные блокеры; вернуть на board review.

12. Артефакт-12 Курпишева

R = N015 (Пакет события–состояния–предела); I = N130 (PredReperRecord — формальная заготовка); U = N016 (Допустимый будущий Reper); D = N131 (LimitOK — формальная заготовка).

Объект 007; proof 0007; formal 022. λ = -1.124753; δ = 0.124753; CGI = 0.161702; B = 6. M5 / S2g.

hold. Следующее действие: Уточнить Dom, Evidence-D и доказательные блокеры; вернуть на board review.

A.3. Артефакты 13-18

13. Артефакт-13 Курпишева

R = N015 (Пакет события–состояния–предела); I = N003 (Пространственный предел); U = N014 (Предсказательный Reper — запись); D = N004 (Временной предел).

Объект 033; proof 0033; formal 018. λ = -1.136651; δ = 0.136651; CGI = 0.159899; B = 6. M3 / S2g.

hold. Следующее действие: Уточнить Dom, Evidence-D и доказательные блокеры; вернуть на board review.

14. Артефакт-14 Курпишева

R = N015 (Пакет события–состояния–предела); I = N004 (Временной предел); U = N016 (Допустимый будущий Reper); D = N005 (Онтологический предел).

Объект 035; proof 0035; formal 009. λ = -1.142339; δ = 0.142339; CGI = 0.150880; B = 6. M3 / S2g.

hold. Следующее действие: Уточнить Dom, Evidence-D и доказательные блокеры; вернуть на board review.

15. Артефакт-15 Курпишева

R = N017 (Разрыв прогноза и факта); I = N018 (Ближайшая окрестность пересборки); U = N124 (Интерфейс прогнозного Reper); D = N130 (PredReperRecord — формальная заготовка).

Объект 019; proof 0019; formal 004. λ = -1.162476; δ = 0.162476; CGI = 0.140025; B = 6. M2 / S1.

hold. Следующее действие: Уточнить Dom, Evidence-D и доказательные блокеры; вернуть на board review.

16. Артефакт-16 Курпишева

R = N015 (Пакет события–состояния–предела); I = N123 (Интерфейс каталога пределов); U = N016 (Допустимый будущий Reper); D = N122 (Доступность предсказательного слоя).

Объект 012; proof 0012; formal —. λ = -1.117153; δ = 0.117153; CGI = 0.251555; B = 999*. M2 / S1.

cgi-hold. Следующее действие: Пересобрать роли / proof closure; повторить λ/CGI-аудит.

17. Артефакт-17 Курпишева

R = N015 (Пакет события–состояния–предела); I = N130 (PredReperRecord — формальная заготовка); U = N014 (Предсказательный Reper — запись); D = N131 (LimitOK — формальная заготовка).

Объект 008; proof 0008; formal 026. λ = -1.176892; δ = 0.176892; CGI = 0.169986; B = 6. M5 / S2g.

hold. Следующее действие: Уточнить Dom, Evidence-D и доказательные блокеры; вернуть на board review.

18. Артефакт-18 Курпишева

R = N017 (Разрыв прогноза и факта); I = N018 (Ближайшая окрестность пересборки); U = N130 (PredReperRecord — формальная заготовка); D = N122 (Доступность предсказательного слоя).

Объект 021; proof 0021; formal 017. λ = -1.198979; δ = 0.198979; CGI = 0.159793; B = 6. M1 / S2g.

hold. Следующее действие: Уточнить Dom, Evidence-D и доказательные блокеры; вернуть на board review.

A.4. Артефакты 19-24

19. Артефакт-19 Курпишева

R = N015 (Пакет события–состояния–предела); I = N122 (Доступность предсказательного слоя); U = N014 (Предсказательный Reper — запись); D = N130 (PredReperRecord — формальная заготовка).

Объект 006; proof 0006; formal 030. λ = -1.198701; δ = 0.198701; CGI = 0.172854; B = 6. M2 / S1.

hold. Следующее действие: Уточнить Dom, Evidence-D и доказательные блокеры; вернуть на board review.

20. Артефакт-20 Курпишева

R = N015 (Пакет события–состояния–предела); I = N123 (Интерфейс каталога пределов); U = N014 (Предсказательный Reper — запись); D = N122 (Доступность предсказательного слоя).

Объект 015; proof 0015; formal —. λ = -1.173009; δ = 0.173009; CGI = 0.261519; B = 999*. M2 / S1.

cgi-hold. Следующее действие: Пересобрать роли / proof closure; повторить λ/CGI-аудит.

21. Артефакт-21 Курпишева

R = N015 (Пакет события–состояния–предела); I = N003 (Пространственный предел); U = N014 (Предсказательный Reper — запись); D = N002 (Экологический предел).

Объект 036; proof 0036; formal 008. λ = -1.203088; δ = 0.203088; CGI = 0.146018; B = 9. M3 / S2g.

rebuild. Следующее действие: Пересобрать роли / proof closure; повторить λ/CGI-аудит.

22. Артефакт-22 Курпишева

R = N017 (Разрыв прогноза и факта); I = N122 (Доступность предсказательного слоя); U = N016 (Допустимый будущий Reper); D = N130 (PredReperRecord — формальная заготовка).

Объект 014; proof 0014; formal 021. λ = -1.214280; δ = 0.214280; CGI = 0.161548; B = 9. M2 / S1.

rebuild. Следующее действие: Пересобрать роли / proof closure; повторить λ/CGI-аудит.

23. Артефакт-23 Курпишева

R = N015 (Пакет события–состояния–предела); I = N122 (Доступность предсказательного слоя); U = N123 (Интерфейс каталога пределов); D = N130 (PredReperRecord — формальная заготовка).

Объект 024; proof 0024; formal —. λ = -1.224723; δ = 0.224723; CGI = 0.258421; B = 999*. M4 / S2g.

cgi-hold. Следующее действие: Пересобрать роли / proof closure; повторить λ/CGI-аудит.

24. Артефакт-24 Курпишева

R = N015 (Пакет события–состояния–предела); I = N122 (Доступность предсказательного слоя); U = N016 (Допустимый будущий Reper); D = N130 (PredReperRecord — формальная заготовка).

Объект 005; proof 0005; formal 024. λ = -1.307519; δ = 0.307519; CGI = 0.164424; B = 10. M2 / S1.

reject. Следующее действие: Пересобрать роли / proof closure; повторить λ/CGI-аудит.

A.5. Артефакты 25-30

25. Артефакт-25 Курпишева

R = N017 (Разрыв прогноза и факта); I = N123 (Интерфейс каталога пределов); U = N016 (Допустимый будущий Reper); D = N122 (Доступность предсказательного слоя).

Объект 018; proof 0018; formal 028. λ = -1.346845; δ = 0.346845; CGI = 0.171850; B = 10. M2 / S1.

reject. Следующее действие: Пересобрать роли / proof closure; повторить λ/CGI-аудит.

26. Артефакт-26 Курпишева

R = N015 (Пакет события–состояния–предела); I = N124 (Интерфейс прогнозного Reper); U = N014 (Предсказательный Reper — запись); D = N130 (PredReperRecord — формальная заготовка).

Объект 004; proof 0004; formal 025. λ = -1.241361; δ = 0.241361; CGI = 0.169605; B = 9. M2 / S1.

rebuild. Следующее действие: Пересобрать роли / proof closure; повторить λ/CGI-аудит.

27. Артефакт-27 Курпишева

R = N017 (Разрыв прогноза и факта); I = N130 (PredReperRecord — формальная заготовка); U = N016 (Допустимый будущий Reper); D = N131 (LimitOK — формальная заготовка).

Объект 016; proof 0016; formal 016. λ = -1.258074; δ = 0.258074; CGI = 0.158730; B = 9. M5 / S2g.

rebuild. Следующее действие: Пересобрать роли / proof closure; повторить λ/CGI-аудит.

28. Артефакт-28 Курпишева

R = N015 (Пакет события–состояния–предела); I = N124 (Интерфейс прогнозного Reper); U = N016 (Допустимый будущий Reper); D = N130 (PredReperRecord — формальная заготовка).

Объект 002; proof 0002; formal 020. λ = -1.280679; δ = 0.280679; CGI = 0.161340; B = 9. M2 / S1.

rebuild. Следующее действие: Пересобрать роли / proof closure; повторить λ/CGI-аудит.

29. Артефакт-29 Курпишева

R = N015 (Пакет события–состояния–предела); I = N123 (Интерфейс каталога пределов); U = N014 (Предсказательный Reper — запись); D = N130 (PredReperRecord — формальная заготовка).

Объект 003; proof 0003; formal 029. λ = -1.262708; δ = 0.262708; CGI = 0.172038; B = 9. M2 / S1.

rebuild. Следующее действие: Пересобрать роли / proof closure; повторить λ/CGI-аудит.

30. Артефакт-30 Курпишева

R = N017 (Разрыв прогноза и факта); I = N124 (Интерфейс прогнозного Reper); U = N016 (Допустимый будущий Reper); D = N123 (Интерфейс каталога пределов).

Объект 017; proof 0017; formal —. λ = -1.389975; δ = 0.389975; CGI = 0.255033; B = 999*. M2 / S1.

cgi-hold. Следующее действие: Пересобрать роли / proof closure; повторить λ/CGI-аудит.

A.6. Артефакты 31-36

31. Артефакт-31 Курпишева

R = N015 (Пакет события–состояния–предела); I = N124 (Интерфейс прогнозного Reper); U = N016 (Допустимый будущий Reper); D = N123 (Интерфейс каталога пределов).

Объект 009; proof 0009; formal —. λ = -1.334002; δ = 0.334002; CGI = 0.257608; B = 999*. M2 / S1.

cgi-hold. Следующее действие: Пересобрать роли / proof closure; повторить λ/CGI-аудит.

32. Артефакт-32 Курпишева

R = N015 (Пакет события–состояния–предела); I = N124 (Интерфейс прогнозного Reper); U = N014 (Предсказательный Reper — запись); D = N123 (Интерфейс каталога пределов).

Объект 013; proof 0013; formal —. λ = -1.474022; δ = 0.474022; CGI = 0.267903; B = 999*. M2 / S1.

cgi-hold. Следующее действие: Пересобрать роли / proof closure; повторить λ/CGI-аудит.

33. Артефакт-33 Курпишева

R = N124 (Интерфейс прогнозного Reper); I = N123 (Интерфейс каталога пределов); U = N016 (Допустимый будущий Reper); D = N130 (PredReperRecord — формальная заготовка).

Объект 022; proof 0022; formal —. λ = -1.397060; δ = 0.397060; CGI = 0.273415; B = 999*. M6 / S2g.

cgi-hold. Следующее действие: Пересобрать роли / proof closure; повторить λ/CGI-аудит.

34. Артефакт-34 Курпишева

R = N130 (PredReperRecord — формальная заготовка); I = N123 (Интерфейс каталога пределов); U = N016 (Допустимый будущий Reper); D = N122 (Доступность предсказательного слоя).

Объект 025; proof 0025; formal —. λ = -1.409002; δ = 0.409002; CGI = 0.289066; B = 999*. M7 / S2g.

cgi-hold. Следующее действие: Пересобрать роли / proof closure; повторить λ/CGI-аудит.

35. Артефакт-35 Курпишева

R = N014 (Предсказательный Reper — запись); I = N123 (Интерфейс каталога пределов); U = N124 (Интерфейс прогнозного Reper); D = N130 (PredReperRecord — формальная заготовка).

Объект 026; proof 0026; formal —. λ = -1.697617; δ = 0.697617; CGI = 0.353280; B = 999*. M4 / S2g.

cgi-hold. Следующее действие: Пересобрать роли / proof closure; повторить λ/CGI-аудит.

36. Артефакт-36 Курпишева

R = N014 (Предсказательный Reper — запись); I = N122 (Доступность предсказательного слоя); U = N123 (Интерфейс каталога пределов); D = N130 (PredReperRecord — формальная заготовка).

Объект 032; proof 0032; formal —. λ = -2.053941; δ = 1.053941; CGI = 0.366055; B = 999*. M4 / S2g.

cgi-hold. Следующее действие: Пересобрать роли / proof closure; повторить λ/CGI-аудит.