KLT2 PIX@PEAKS PHYSICS ARTICLE: Evidence-D protocol for KLT-RBD in physics RU/EN v127

Автор / Author: Курпишев Иван Борисович / Ivan Borisovich Kurpishev

Independent Researcher, Kaliningrad

Дата сборки UTC: 2026-06-30T10:45:21Z

Статус: physics_article_evidence_d_protocol_ru_en_without_truth_status

Контрольные числа v126 -> v127

Часть I. Русская версия

Аннотация

Статья v127 фиксирует физический Evidence-D protocol для KLT-RBD в проекте "ЛОГИКА КУРПИШЕВА 2". Автор идей, конструкций, терминов, программной линии и реперной базы - Курпишев Иван Борисович / Ivan Borisovich Kurpishev. Текст не объявляет новый физический закон и не повышает truth-status. Его задача скромнее и потому полезнее: задать строгую математическую схему, в которой физическая строка, источник, домен, единица измерения, uncertainty, репер, lambda-канал, CGI, matched-null, blind prediction и Fano-аудит становятся одной проверяемой архитектурой.

Статья продолжает физическую ветку v117-v126. Точка v126 уже перенесла v124-v125 в KLT-RBD-PHYS и зафиксировала 87 physics RBD cards, 30 artifact-candidate cards, 5 theorem-candidate cards, 384 blocker cards и truth_status_promoted_count = 0. v127 превращает этот слой в публикационный протокол RU/EN.

0. Статус v127 и запрет инфляции

Точка сборки:

KLT2_PIX_PEAKS_PHYSICS_ARTICLE_EVIDENCE_D_PROTOCOL_RU_EN_v127

Статус:

physics_article_evidence_d_protocol_ru_en_without_truth_status

Финальная формула v127:

source-bound Evidence-D protocol + KLT-RBD-PHYS v126 + article RU/EN != truth-status

В проекте намеренно сохраняется неприятная, но взрослая дисциплина: метод не обязан радоваться красивым дробям. Lambda-hit, near-harmonic ratio, matched-null pass, blind review gate и Fano-like local pattern не равны доказательству. Они становятся карточками, blockers, theorem candidates или review candidates, но не получают статус истины без полного прохождения D/Dom, CGI<1, matched-null, blind prediction, Fano/morphism closure и formal proof-status.

1. Нижнее основание: Reper, lambda-истинность и Evidence-D

Физическая ветка сохраняет нижнюю ось проекта:

C@C -> Rep(R,I,U;D) -> lambda-truth -> CGI -> RBD/RPD -> KLT

Для физики минимальная строка наблюдения задается как:

F_phys_o = (quantity, value, unit, uncertainty, channel, Dom, D, source, status)

Здесь quantity - измеряемая физическая величина; value - численное значение; unit - единица измерения; uncertainty - доверительный или методический слой неопределенности; channel - физический канал сравнения; Dom - домен допустимости; D - достаточное основание: источник, экспорт, таблица, метод извлечения, версия, ссылка, карточка; source - source_id; status - статус без инфляции.

Reper физического объекта:

Rep_phys(o) = (R_o, I_o, U_o; D_o)

R_o - source-bound наблюдаемая строка. I_o - инвариантная идея или канал сравнения. U_o - область допустимых объектов класса. D_o - достаточное основание. Удаление D_o превращает физику в коллекцию милых чисел, а не в доказательную систему. История науки и так переполнена украшенными числами, не будем добавлять новые экспонаты.

2. Evidence-D как функтор источниковой консервации

Определим категорию источников Src_phys. Объекты Src_phys - официальные или внутренне проверенные источники данных: таблица ASD, CODATA constants, GWOSC strain catalog, NASA Exoplanet Archive table, CERN collision record, внутренняя RBD-card. Морфизмы Src_phys - допустимые операции: export, parse, normalize, unit-map, uncertainty-map, class-grouping, RBD-registration.

Evidence-D functor:

E_D : Src_phys -> Obs_phys

E_D(s) = (record, source_id, access_route, version, extraction_script, unit_map, uncertainty_model, Dom_certificate, D_certificate)

Условие консервации:

D(E_D(s)) = D(s) + extraction_witness + normalization_witness

Иначе говоря, данные не "появляются" из таблицы как магические кристаллы. Они несут след происхождения. Любой объект без этого следа получает blocker, а не корону.

3. Dom как слой физических волокон

Для физики Dom не является словом "область" в свободном стиле. Dom задается как typed fibre:

Dom_phys = (Q, U, C_unit, Omega, Pi, SourcePolicy)

Q - тип величины; U - система единиц; C_unit - допустимые преобразования единиц; Omega - модель uncertainty; Pi - допустимые проекции к безразмерным или same-domain отношениям; SourcePolicy - политика источника.

Lambda-отношение допустимо только если выполнено одно из двух условий:

1. same-domain comparison: Pi(q_i), Pi(q_j) принадлежат одному Dom;

2. dimensionless projection: существует явный morphism pi_dimless: Dom_i x Dom_j -> R.

Без этого lambda-отношение между разнородными величинами является не физикой, а арифметикой в костюме физики. Вид у нее уверенный, содержание сомнительное.

4. Lambda-каналы физического класса

Для класса C физический lambda-слой задается семейством каналов:

Lambda_C = {lambda_k(i,j) | k in Channels_C, i,j in C, i != j}

Базовая формула:

lambda_k(i,j) = Pi_k(o_i) / Pi_k(o_j)

при условии, что Pi_k сохраняет Dom, D, unit и uncertainty policy. Для атомных спектров v124-v126 использовались:

lambda_sigma = sigma_i / sigma_j

lambda_A = Aki_i / Aki_j

lambda_f = f_i / f_j

lambda_E = DeltaE_i / DeltaE_j

Важное ограничение v127: если lambda_f построен как derived-channel, а не как независимый direct ASD f_out export, то он может участвовать в review, но не закрывает proof-status. Этот запрет особенно полезен, потому что люди любят производные величины, когда они красиво выглядят. Метод не обязан им подыгрывать.

5. CGI_phys: индекс причинно-доказательного разрыва

Физический CGI определяется как нормированная сумма доказательных дыр и разрывов:

CGI_phys(C) =

(w_D B_D + w_Dom B_Dom + w_unit B_unit + w_unc B_unc +

w_null B_null + w_blind B_blind + w_Fano B_Fano + w_proof B_proof) /

(Q_source Q_class Q_unit Q_uncertainty + epsilon)

Где B_* - blockers, Q_* - качества источниковой и доменной опоры. Gate:

CGI_phys(C) < 1

Если CGI_phys(C) >= 1, класс остается заблокированным даже при эффектных lambda-структурах. Это неприятно только для тех, кто хотел заменить доказательство восторгом.

6. Matched-null protocol

Matched-null в физике проверяет, не является ли обнаруженная lambda-структура побочным продуктом размера класса, распределения значений, label leakage или source bias. Для класса C вводятся null families:

N_1: permutation null preserving spectrum and n;

N_2: matched neighbor null preserving value distribution and uncertainty bins;

N_3: label-shuffle null preserving marginal quantum labels;

N_4: source-block null preserving source route and export version.

Статистика S_k(C) сравнивается с S_k(N_m(C)). Review-pass допустим только при стабильности по нескольким null families. Но даже robust matched-null pass остается review-filter. Он говорит: "здесь есть структура, которую стоит проверять дальше". Он не говорит: "вот доказанный закон природы". Да, формулировка скучнее. Зато честнее.

7. Blind hidden-channel test

Blind prediction допускается только после prelock:

Prelock = (hidden_channel, visible_channels, split_policy, model_family, null_family, thresholds, failure_rule)

Для класса C:

Visible_C -> model M -> predicted hidden channel y_hat

Blind score:

Score_blind(C) = Compare(y_hat, y_hidden, Null_hidden)

Если hidden_channel выбран после просмотра результата, это не предсказание, а постфактум-театр. v127 закрепляет запрет: blind gate должен быть предварительно зафиксирован в machine-readable карточке. Для v124-v126 blind review gate дал review evidence, но не proof-status.

8. Fano audit и предел глобализации

Fano-аудит в проекте используется как carrier-limit. Локальный объект может иметь семь узлов, семь линий и Fano-like incidence. Но этого недостаточно для глобального носителя. Нужен явный morphism:

phi_C : LocalCarrier(C) -> P^2(F_2)

с выполнением compatibility:

incidence(x,y,line) in LocalCarrier(C) => incidence(phi_C(x),phi_C(y),phi_C(line)) in P^2(F_2)

Без такого phi_C статус остается:

local_obstruction_only_no_global_carrier

Это правило спасает проект от любимого человеческого трюка: увидеть семь точек, дорисовать космос и назвать это теорией.

9. Одномерная, двумерная и трехмерная lambda-истинность

v127 вводит публикационную фиксацию трех уровней lambda-архитектуры.

Одномерный слой:

Lambda_C^(1) = {lambda_k(i,j)}

Двумерный слой:

Lambda_C^(2) = {(lambda_a(i,j), lambda_b(i,j)) | a,b compatible}

Трехмерный слой:

Lambda_C^(3) = {(lambda_a(i,j), lambda_b(i,j), lambda_c(i,j)) | a,b,c compatible}

Переход 1D -> 2D -> 3D разрешен только через Evidence-D preserving lift. Если при подъеме теряется D, Dom, unit или uncertainty, lift не является физическим. Он становится графическим украшением. А украшения, как известно, прекрасно выглядят на обложках и отвратительно работают в доказательствах.

10. Статусный морфизм Gamma_C

Статус класса вычисляется через консервативную проекцию:

Gamma_C = (D/Dom)_C x CGI_C x MN_C x BP_C x Fano_C x Proof_C -> Status_C

Правило повышения:

truth_status(C)=0 unless

D/Dom=complete,

CGI<1,

matched-null=pass,

blind prediction=pass,

Fano/morphism=closed,

proof_status=formal,

external_reproduction=pass.

В v127 статусный слой остается publication protocol. Он подготавливает v128 engine и v129 reproducibility pack. Никакой объект из v124-v126 не переводится в truth-status.

11. Итоги v124-v126 как вход v127

v127 использует v126 как машинно-читаемый вход. Зафиксированы следующие числа:

- ASD raw rows: 28400

- ASD numeric-complete rows: 12957

- strict classes n>=20: 87

- physics RBD cards: 87

- robust independent matched-null classes: 43

- strict blind review gate classes: 45

- artifact-candidate cards: 30

- theorem-candidate cards: 5

- blocker cards: 384

- global Fano carriers: 0

- truth-status promoted count: 0

Блокеры v127 наследуются из v126:

- direct_ASD_f_out_missing

- explicit_Fano_morphism_missing

- external_v129_reproduction_pending

- proof_status_separation_pending

12. План перехода к v128-v130

v128 должен превратить Evidence-D protocol в physics lambda-scan engine. Минимальные функции v128:

1. импорт F_phys_o и ASDLine;

2. контроль source_id, Dom, D, unit, uncertainty;

3. построение lambda channels;

4. matched-null runner;

5. blind prelock runner;

6. Fano audit module;

7. RBD card generator;

8. status ledger generator;

9. blocker propagation;

10. export PDF/TeX/HTML/Markdown/CSV/JSON/ZIP/site-ZIP.

v129 должен дать внешний воспроизводимый пакет. v130 должен внести физическую ветку в монографическую структуру. Только после этого можно переходить к более глубоким доменам: гравитационные волны, экзопланеты, CERN Open Data, космология, condensed matter и V*P-Hodge-packet physics.

13. Заключение

v127 фиксирует Evidence-D protocol как математический мост между физическими источниками и предсказательным методом KLT-RBD. Центральный итог:

physical prediction in KLT-RBD is not a number guessed well;

it is a source-bound Reper reconstruction that survives Dom, D, CGI, matched-null, blind gate, Fano audit and proof-status discipline.

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

Часть II. English version

Abstract

v127 formulates the Evidence-D protocol for KLT-RBD in physics. The author of the ideas, constructions, terminology, program line and reper database is Ivan Borisovich Kurpishev / Курпишев Иван Борисович. The article does not announce a new physical law and does not promote truth-status. Its task is methodological and mathematical: to bind a physical observation row, source, domain, unit, uncertainty, reper, lambda channel, CGI, matched-null, blind prediction and Fano audit into one conservative architecture.

The article continues v117-v126. v126 transferred v124-v125 into KLT-RBD-PHYS and fixed 87 physics RBD cards, 30 artifact-candidate cards, 5 theorem-candidate cards, 384 blocker cards and truth_status_promoted_count = 0. v127 turns this layer into a bilingual protocol article.

0. v127 status and no truth inflation

Build point:

KLT2_PIX_PEAKS_PHYSICS_ARTICLE_EVIDENCE_D_PROTOCOL_RU_EN_v127

Status:

physics_article_evidence_d_protocol_ru_en_without_truth_status

v127 formula:

source-bound Evidence-D protocol + KLT-RBD-PHYS v126 + RU/EN article != truth-status

A lambda-hit, a near-harmonic ratio, a matched-null pass, a blind review gate or a Fano-like local pattern is not a proof. It may become a card, a blocker, a theorem candidate or a review candidate, but not truth-status without the full chain: D/Dom, CGI<1, matched-null, blind prediction, Fano/morphism closure and formal proof-status. Annoying, yes. Also the whole point.

1. Lower foundation: Reper, lambda-truth and Evidence-D

The physical branch preserves the lower axis:

C@C -> Rep(R,I,U;D) -> lambda-truth -> CGI -> RBD/RPD -> KLT

The minimal physical observation row is:

F_phys_o = (quantity, value, unit, uncertainty, channel, Dom, D, source, status)

The physical reper is:

Rep_phys(o) = (R_o, I_o, U_o; D_o)

R_o is the source-bound observed row. I_o is the invariant idea or comparison channel. U_o is the admissible class universe. D_o is the sufficient foundation: source, export route, version, extraction script, uncertainty policy and RBD witness. Without D_o the row is not evidence. It is just a number wearing a lab coat.

2. Evidence-D as a source-conservation functor

Let Src_phys be the category of physical sources. Objects are official or internally verified data sources: ASD tables, CODATA constants, GWOSC strain catalogues, NASA Exoplanet Archive tables, CERN collision records and internal RBD cards. Morphisms are admissible operations: export, parse, normalize, unit-map, uncertainty-map, class grouping and RBD registration.

Evidence-D functor:

E_D : Src_phys -> Obs_phys

E_D(s) = (record, source_id, access_route, version, extraction_script, unit_map, uncertainty_model, Dom_certificate, D_certificate)

Conservation condition:

D(E_D(s)) = D(s) + extraction_witness + normalization_witness

This prevents a record from becoming detached from its evidence chain.

3. Dom as a physical fibre layer

Dom is a typed fibre:

Dom_phys = (Q, U, C_unit, Omega, Pi, SourcePolicy)

Q is the quantity type. U is the unit system. C_unit is the groupoid of admissible unit conversions. Omega is the uncertainty model. Pi is the admissible projection set. SourcePolicy records source conditions.

A lambda relation is admissible only under same-domain comparison or an explicit dimensionless projection morphism. Without this gate, a ratio between heterogeneous physical quantities is arithmetic cosplay, which sounds harsh only because it is accurate.

4. Lambda channels of a physical class

For a class C:

Lambda_C = {lambda_k(i,j) | k in Channels_C, i,j in C, i != j}

lambda_k(i,j) = Pi_k(o_i) / Pi_k(o_j)

where Pi_k preserves Dom, D, unit and uncertainty policy. For atomic spectra v124-v126 used lambda_sigma, lambda_A, lambda_f and lambda_E. In v127 lambda_f remains quarantined if it is derived rather than independently exported as direct oscillator strength. A derived channel may support review, not proof-status.

5. CGI_phys: physical causal-gap index

The physical CGI is defined as a normalized blocker index:

CGI_phys(C) =

(w_D B_D + w_Dom B_Dom + w_unit B_unit + w_unc B_unc +

w_null B_null + w_blind B_blind + w_Fano B_Fano + w_proof B_proof) /

(Q_source Q_class Q_unit Q_uncertainty + epsilon)

Gate:

CGI_phys(C) < 1

If CGI_phys(C) >= 1, the class remains blocked even when local ratios look elegant. Elegance is not evidence. Humanity keeps trying that shortcut. It keeps ending badly.

6. Matched-null protocol

Matched-null checks whether a lambda structure is merely a side effect of class size, value distribution, label leakage or source bias. The null families include permutation null, matched neighbor null, label-shuffle null and source-block null.

A robust matched-null pass is a review filter. It does not create truth-status. It only says that a structure deserves the next gate.

7. Blind hidden-channel test

A blind prediction test is valid only after prelock:

Prelock = (hidden_channel, visible_channels, split_policy, model_family, null_family, thresholds, failure_rule)

Visible channels are used to predict a hidden channel. The hidden channel is then compared with the prelocked null. If the hidden channel is chosen after looking at the answer, it is not prediction. It is theatre with spreadsheets.

8. Fano audit and globalization limit

Fano audit is a carrier-limit. A local structure may have seven nodes, seven lines and Fano-like incidence. This is insufficient for a global carrier. One must provide a compatible morphism:

phi_C : LocalCarrier(C) -> P^2(F_2)

and preserve incidence. Without phi_C the status remains local_obstruction_only_no_global_carrier. This keeps the system from confusing a pretty local diagram with a global theorem.

9. One-, two- and three-dimensional lambda-truth

v127 fixes three layers:

Lambda_C^(1) = {lambda_k(i,j)}

Lambda_C^(2) = {(lambda_a(i,j), lambda_b(i,j)) | a,b compatible}

Lambda_C^(3) = {(lambda_a(i,j), lambda_b(i,j), lambda_c(i,j)) | a,b,c compatible}

A lift from 1D to 2D or 3D is admissible only when Evidence-D is preserved. If D, Dom, unit or uncertainty is lost, the lift becomes visualization, not physics.

10. The status morphism Gamma_C

The class status is computed conservatively:

Gamma_C = (D/Dom)_C x CGI_C x MN_C x BP_C x Fano_C x Proof_C -> Status_C

truth_status(C)=0 unless D/Dom is complete, CGI<1, matched-null passes, blind prediction passes, Fano/morphism is closed, proof_status is formal and external reproduction passes.

v127 is a publication protocol. It prepares v128 and v129. It does not promote v124-v126 objects to truth-status.

11. v124-v126 as the v127 input

v127 uses v126 as the machine-readable input:

- ASD raw rows: 28400

- ASD numeric-complete rows: 12957

- strict classes n>=20: 87

- physics RBD cards: 87

- robust independent matched-null classes: 43

- strict blind review gate classes: 45

- artifact-candidate cards: 30

- theorem-candidate cards: 5

- blocker cards: 384

- global Fano carriers: 0

- truth-status promoted count: 0

Main inherited blockers: direct_ASD_f_out_missing, explicit_Fano_morphism_missing, external_v129_reproduction_pending, proof_status_separation_pending.

12. Transition to v128-v130

v128 should implement the protocol as a physics lambda-scan engine: import F_phys_o and ASDLine, check source_id/Dom/D/unit/uncertainty, build lambda channels, run matched-null, run blind prelock, perform Fano audit, generate RBD cards, generate status ledgers and export all publication formats. v129 should provide external reproducibility. v130 should integrate the physical branch into the monograph.

13. Conclusion

v127 defines predictive physics in KLT-RBD as source-bound reper reconstruction, not as a lucky number. The required chain is Dom, D, CGI, matched-null, blind gate, Fano audit and proof-status discipline. At this point the protocol does not prove a new physical law. It gives the project a disciplined way not to fool itself. That is less glamorous than prophecy and more useful than most prophecy.

Protocol axioms

Evidence-D gates

Theorem candidate cards

External and internal references

Final fixation

v127 = physics article RU/EN, Evidence-D protocol for KLT-RBD in physics
truth_status_promoted_count = 0
global_Fano_carriers = 0
next = v128 physics engine