v165 переводит предыдущие математические и доменные правила в программную карту KLT-RBD5.10. Главная задача - создать dashboard import/export release, который не является финальной промышленной платформой, но уже задаёт реалистичную архитектуру: локальная SQLite-база, импортные контракты, экспорт отчётов, контроль статусов, файл site-delta до 250 MB и отдельные блоки сайта.
Минимальная рабочая архитектура:
1. Input layer: документы, таблицы, API-выгрузки, PDF, XML, Excel, TeX/HTML/MD, научные тексты, сметы, химические таблицы, белковые и ДНК-идентификаторы. 2. Normalization layer: приведение к source-bound rows с hash, source_id, Dom, D, unit, uncertainty. 3. Reper layer: построение Rep(R,I,U;D), PIX, PEAKS и channel registry. 4. Evidence gate layer: D/Dom, null, blind, proof, Fano/morphism, reproduction. 5. Dashboard layer: отображение claim-status, blockers, theorem candidates, domain maps, import jobs. 6. Export layer: PDF report, site page, SQLite snapshot, package ZIP, SHA256SUMS.
Важное правило v165: dashboard не должен выглядеть как «готово», если статус не закрыт. Поэтому UI должен показывать классы: definition_core, review_seed, theorem_candidate, formal_theorem_under_axioms, blocker, publication_verified_status_zero. Нельзя делать интерфейс, где любой импорт автоматически превращается в зелёный отчёт. Это не dashboard, а цифровой макияж.
KLT-RBD5.10 TextWork связывает тексты монографии с proof-ledger. Каждый параграф может стать text_unit, каждое утверждение - claim_node, каждая формула - formula_node, каждая зависимость - dependency_edge, каждый недостающий источник - blocker_card. Для монографии это означает, что переписывание томов перестаёт быть литературным процессом и становится доказательным процессом.
Import/export release v165 должен поддерживать следующие контуры:
- Import PHYS: ASD, arXiv/math physics, loop certificate candidates. - Import CHEM: PubChem/NIST route, reaction and kinetic class candidates. - Import BIO: UniProt/RCSB routes, protein feature and structure candidates. - Import DNA: NCBI/Ensembl routes, sequence and variant candidates. - Import TEXT: monograph paragraphs, formulas, theorem statements, reviewer responses. - Export SITE: add-only pages, canonical index from Index.docx, no-loss links. - Export REPORT: PDF report for reviewer/grant/site. - Export DB: SQLite snapshot.
Для сайта v165 установлено правило: корневые index.html и Index.html строятся только из Index.docx как canonical source. Новые блоки добавляются перед закрытием main, без переписывания шапки, стиля, старых карточек и прежней структуры. Сайт не рекламная витрина, а архивный хранитель проекта. Если сайт теряет старый файл, он не обновлён, а повреждён. Увы, HTML иногда приходится воспитывать как непослушный шкаф с ссылками.
Теорема v165-001 (Dashboard non-promotion theorem). Пусть Dsh - dashboard KLT-RBD5.10, отображающий объект C с вычисленными индексами, графом связей и карточками. Если хотя бы один из gates {D/Dom, Stat, Null, Blind, Fano/Morphism, Proof, Repro} не закрыт, то Dsh(C) не может иметь статус publication_verified_status. Доказательство следует из определения status operator: dashboard является отображением статуса, а не источником доказательства. Следовательно, UI не может повышать статус объекта. QED.
Смысл для грантовой и промышленной версии прост: KLT-RBD5.10 должен быть убедителен именно тем, что умеет показывать ограничения. Для государственных закупок, строительного аудита, финансовых моделей, логистики, физики, химии, биологии и ДНК это одна и та же этика вычисления: лучше честный blocker, чем красивый ложный отчёт.
2. Подробная архитектура dashboard release. KLT-RBD5.10 должен поддерживать несколько типов пользователей: исследователь, разработчик, аудитор, редактор монографии, внешний рецензент, заказчик пилота. Для каждого из них dashboard показывает разные уровни, но не меняет статус объекта. Пользовательский интерфейс не имеет права делать то, что не сделал proof-ledger.
Researcher view показывает источники, Reper cards, lambda channels, theorem candidates, Fano barriers and morphism gaps. Developer view показывает import jobs, schema validation, hash checks, sqlite integrity, export logs. Auditor view показывает risks, gaps, overlaps, missing D, duplicated objects, underfunding links, overclaiming warnings. Editor view показывает claim-status, paragraph-to-proof links, volume map and blocker table. Reviewer view показывает what is proved / what is not claimed.
Import contract v165. Каждый импорт обязан иметь SourceManifest. Для файлов это имя, формат, дата, hash, источник и версия. Для API - endpoint, query parameters, date, response hash and normalized schema. Для документов - title, author/source, page/section anchor, extraction method and confidence. Без SourceManifest импорт может быть exploratory only.
Export contract v165. Каждый экспорт должен выдавать human-readable PDF, site-safe page, SQLite snapshot, SHA256SUMS and package manifest. При этом CSV/JSON/HTML могут лежать внутри машинного пакета, но не должны навязываться пользователю как отдельные файлы ответа, если это запрещено рабочими правилами чата. Отчёт должен быть понятен не-математику, а machine layer должен оставаться проверяемым.
Site contract v165. Главная страница строится из Index.docx. Это не просьба, а invariant. Любое обновление должно иметь вид: read Index.docx -> preserve original HTML -> insert add-only block before </main> -> write index.html and Index.html. Запрещено переписывать шапку, CSS, старые карточки и прежнюю структуру без отдельного прямого указания. Сайт хранит корпус, а не демонстрирует настроение сборщика.
Monograph contract v165. Каждый том имеет volume_id, chapter_id, source anchors, claim-status, proof-ledger links, blockers and next action. Это нужно для того, чтобы многотомная «Логика Курпишева» не распалась на философские, математические, физические и программные острова. Том должен быть связан с программой, программа - с базой, база - с источниками, источники - с Reper, Reper - с D.
Dashboard theorem v165-001 означает следующее: если программа показывает красивый граф, но в графе отсутствуют proof-object или reproduction, dashboard обязан показать предупреждение. Если пользователь хочет «зелёный отчёт», а объект не прошёл gates, программа должна сопротивляться. В этом месте KLT-RBD становится не просто инструментом анализа, а дисциплиной ответственного вывода.
Практическая применимость к государственным закупкам и строительному аудиту очевидна: смета часто разрушает проект не только завышением, но и недофинансированием критического узла, наложением работ, разрывом последовательности, дублированием позиции или отсутствием документального основания. KLT-RBD переводит эти проблемы в graph/risk/blocker language. Это не заменяет экспертизу, но делает её менее зависимой от человеческой слепоты и заинтересованности.
Практическая применимость к научным работам состоит в formula-chain audit: программа показывает, где автор перескочил через определение, где theorem-candidate назван theorem, где классический prior art выдан за новый вклад, где local pattern необоснованно глобализован. Для монографии это особенно важно, потому что проект содержит сильные авторские идеи, и именно поэтому их нельзя ослаблять статусной инфляцией.
Итоговый roadmap после v165: v166 расширяет Volume II примерами и контрпримерами; v167 открывает Volume III с формальным NAPG core; v168 собирает dashboard package with import/export command set. После этого можно переходить к более глубокому сшиванию физики, химии, биологии и ДНК через Evidence-D morphism map.