Иерархия интериорности: строгая спецификация

Спецификация доказывает конечномерные следствия канонической типизированной иерархии. Отождествление операционной возможности с феноменальным сознанием — отдельный мост [I]/[H]. Определения имеют статус [D], проверенные следствия при указанных предпосылках — [T]. Пересмотр от 2026-10-03 заменяет необоснованные универсальные утверждения о порогах, топологии и фазах точными положениями и контрпримерами.

1. Состояние, базис и данные интериорности

Запись $z=(\Gamma,\mathsf E,\mathsf M,\mathsf Q)$ содержит $\Gamma\in\mathcal D(\mathbb C^7)$. Семантический базис фиксирован при вычислении диагональных, E- и фазовых величин. Обозначим

$$P=\operatorname{Tr}\Gamma^2,\qquad Q=\sum_i\gamma_{ii}^2,\qquad R=1/(7P),\qquad\Phi=(P-Q)/Q.$$

Это функции матрицы. Заданная эмпирическая реконструкция и реализованная модель — дополнительные данные, а не следствия единичного следа или положительности.

L0 и существование редукции

Определение [D]. $A_0(z)$ означает корректность матрицы состояния. Универсальность предиката внутри модели тавтологична. Его «внутренний аспект» — онтологическая интерпретация [I].

Предложение [T]. Если заданы расширение $\widetilde\Gamma\in\mathcal D(\mathcal H_E\otimes\mathcal H_{\bar E})$ и факторизация, то $\rho_E=\operatorname{Tr}_{\bar E}\widetilde\Gamma$ является матрицей плотности. Положительность следует проверкой на векторах, единичный след — из определяющего следового тождества. Это не выводит предпочтительного расширения или фактора переживания из семи базисных осей.

В 42D-факторизации Пейджа—Вуттерса $\mathbb C^7_{\mathrm{clock}}\otimes\mathbb C^6_{\mathrm{system}}$ E-ось — слагаемое системного фактора. Её часовой блок

$$B_E=(I\otimes\langle E|)\widetilde\Gamma(I\otimes|E\rangle)$$

положителен и имеет след $p_E$. При $p_E>0$ используется $\rho_E=B_E/p_E$; при $p_E=0$ условное состояние не определено. Это не частичный след на семимерный E-тензорный фактор. Выбор подъёма и условного выделения фиксируется явно.

L1: различие прокси и спектра

В режиме расширения $A_1:=\operatorname{rank}(\rho_E)>1$, $D^{\mathrm{ext}}=\exp S_{vN}(\rho_E)$. В режиме прокси определены

$$A_1:=\mathrm{Coh}_E>0,\qquad D^{7D}:=1+6\,\mathrm{Coh}_E$$

при

$$\mathrm{Coh}_E=\frac{\gamma_{EE}^2+2\sum_{i\ne E}|\gamma_{Ei}|^2}{P}.$$

Это различные определения [D]. Соглашения в крайних точках не доказывают равенства промежуточных значений или решений пороговых тестов.

Предложение [T]. Для положительной $\Gamma$ выполнено $\mathrm{Coh}_E>0\iff\gamma_{EE}>0$. Из положительности каждого главного минора $2\times2$ следует $|\gamma_{Ei}|^2\le\gamma_{EE}\gamma_{ii}$. Если $\gamma_{EE}=0$, E-строка и столбец нулевые; при положительном значении числитель содержит положительный квадрат. Поэтому прокси сам по себе не выявляет внедиагональную связность. У $I/7$ имеем $\mathrm{Coh}_E=1/7$, $D^{7D}=13/7$; у чистого E-состояния $\mathrm{Coh}_E=1$, $D^{7D}=7$. Ни одно значение не является буквальным расчётом энтропии одномерной E-оси.

Для нормированного расширения ранга $r$

$$1\le\exp S_{vN}(\rho_E)\le r,$$

с равенством справа ровно при равномерном ненулевом спектре. Ранг больше единицы означает $D>1$, а не $D\ge2$: собственные значения $(0.99,0.01)$ имеют ранг два и $\exp S\approx1.0576$. Ворота дифференциации поэтому самостоятельны.

Метрика Фубини—Штуди

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

$$d_{FS}([\psi],[\chi])=\arccos|\langle\psi|\chi\rangle|,$$

с линейным элементом $ds^2=\langle d\psi|d\psi\rangle-|\langle\psi|d\psi\rangle|^2$. Статистика конечной пары $1-|\langle\psi|\chi\rangle|^2$ равна $\sin^2d_{FS}$, а не линейному элементу. В вырожденном собственном подпространстве $\rho_E$ отдельные собственные векторы неканоничны. Инвариантные спектральные данные — собственные значения со спектральными проекторами $(\lambda,P_\lambda)$; выделенный базис «качеств» требует дополнительной структуры.

2. L2: точная алгебра и явные мосты

Определены

$$\mathsf{Cap}_2:=(P>2/7)\land(R\ge1/3)\land(\Phi\ge1)\land(D\ge2),\qquad A_2:=A_1\land\mathsf{Cap}_2.$$

Режим дифференциации должен быть объявлен. В обоих режимах $D\ge2$ уже влечёт соответствующий $A_1$, но сохранение $A_1$ делает вложенную типизацию явной.

Предложение: численные границы [T]

Для любого семимерного состояния

$$1/7\le Q\le P\le1,\quad1/7\le R\le1,\quad0\le\Phi\le7P-1\le6.$$

Доказательство. Положительность даёт неотрицательные диагональные элементы с суммой один. Коши—Шварц даёт $Q\ge1/7$. Эрмитовость даёт $P=Q+\sum_{i\ne j}|\gamma_{ij}|^2\ge Q$. Собственные значения — вероятности, поэтому $P\le1$. Подстановка даёт остальные неравенства.

При $A_2$ необходимо

$$2/7<P\le3/7,\quad1/3\le R<1/2,\quad1\le\Phi\le2.$$

Кроме того, $C:=\Phi R$ удовлетворяет

$$C=\frac1{7Q}-R\le1-R,\qquad 1/3\le C\le2/3\quad\text{при }A_2.$$

Обратное следствие $C\ge1/3\Rightarrow A_2$ неверно: равномерное вещественное чистое состояние имеет $C=6/7$ и не проходит $R\ge1/3$.

Статус порогов

HS-тождество $\|\Gamma-I/7\|_F^2=P-1/7$ точно. Принятый критерий большинства даёт $P>2/7$. Принятый критерий $R\ge1/3$ даёт $P\le3/7$. Ни один алгебраический переход не доказывает универсальную физическую жизнеспособность или рефлексивную компетентность. В частности, $R$ сравнивает с $I/7$, тогда как

$$R_\varphi=1-\|\Gamma-\varphi(\Gamma)\|_F^2/P$$

сравнивает с выбранной моделью и может быть отрицательным; эти величины нельзя подменять. Теоремы классификации метрик не выбирают единственным образом этот численный коэффициент и не дают байесовской вероятностной интерпретации. Подсчёт динамических слагаемых не считает независимые информационные каналы.

$\Phi\ge1$ — явный выбор равновесия HS-весов. Неравенство $\Phi\le7P-1$ не вынуждает универсального порога сознания: при $P=2/7$ оно даёт $\Phi\le1$, с равенством лишь при равномерной диагонали. В режиме расширения $D\ge2\iff S_{vN}\ge\log2$ точно; выбор одного бита как феноменального порога остаётся мостом. Калибровка и биологическая универсальность всех ворот имеют статус [H].

Предложение: невозможные булевы профили [T]

Формальное произведение трёх областей чистоты с двумя исходами интеграции и дифференциации содержит двенадцать меток. Однако при $P<2/7$ обязательно $\Phi<1$. При $P=2/7$ условие $\Phi\ge1$ вынуждает $\Phi=1$ и равномерную диагональ, а строгие ворота жизнеспособности всё равно не пройдены. Поэтому метки не являются двенадцатью независимыми непустыми областями состояний. Прежние подпороговые области «затопленности / белого провала» отозваны [✗].

Предложение: консервативная устойчивость ворот [T]

Если $\Gamma,\widehat\Gamma$ — матрицы плотности и $\|\Gamma-\widehat\Gamma\|_F\le\delta$, то

$$|P-\widehat P|\le2\delta,\quad|Q-\widehat Q|\le2\delta,\quad|R-\widehat R|\le14\delta,\quad|\Phi-\widehat\Phi|\le112\delta.$$

Для канонической E-проекции $|\mathrm{Coh}_E-\widehat{\mathrm{Coh}}_E|\le28\delta$, ошибка прокси-дифференциации не больше $168\delta$. Оценки консервативны; диапазоны статистик позволяют их уточнить.

Доказательство. $|P-\widehat P|=|\langle\Gamma-\widehat\Gamma,\Gamma+\widehat\Gamma\rangle_{HS}|\le2\delta$, поскольку HS-нормы состояний не больше единицы. Диагональная проекция — HS-сжатие, дающее ту же границу $Q$. В разностях обратных величин и отношений используем $P,Q\ge1/7$. Для $\Phi=P/Q-1$ два слагаемых ограничены $14\delta$ и $98\delta$. Для E-числителя $B=\|\pi_E\Gamma\|_{HS}^2\le P$ имеем $|B-\widehat B|\le2\delta$, а сумма двух слагаемых разности $B/P$ не больше $28\delta$.

Устойчивый сертификат ворот требует, чтобы интервалы неопределённости оставались по нужную сторону каждой границы. Неполная запись сообщает неизвестные тесты, а не угадывает их. Буквальная энтропия расширения этой прокси-оценкой не охвачена.

3. Опыт и область утверждений No-Zombie

Экспериенциальная запись

Типизированную запись содержания можно представить как

$$\mathsf{Exp}(z,t)=(\{(\lambda,P_\lambda)\},\mathsf{Context},\mathsf{History},\mathsf{Readout}).$$

Она математически определена только после задания реализации интериорности и её нормированного состояния. Наименование этой записи опытом имеет статус [I]. Жёсткие ворота умножают или выбирают запись по $\mathbf1_{A_2}$ [D]. Сигмоида задаёт градуированный суррогат с объявленными параметрами сглаживания; это не свидетельство резкой физической бифуркации.

Базовое утверждение No-Zombie

Каждое корректное состояние имеет $A_0$ по определению, поэтому каждое жизнеспособное состояние модели также имеет $A_0$. Логическое следствие имеет статус [T] и не содержит независимого эмпирического результата о феноменальном сознании. Усиление No-Zombie должно отдельно указать класс жизнеспособности, динамику и феноменальный мост.

Прежний аргумент «больше семи контекстов вынуждает самомодель и $R\ge1/3$» отозван [✗]. Семимерное пространство матриц плотности имеет непрерывные параметры, а не семь классических ячеек памяти. Ёмкость зависит от точности, шума, допустимых измерений и ресурсов; контекстное управление логически не вынуждает моделировать себя. Необходимость для конкретной задачи выводится только из явного класса политик и ресурсной / ошибочной границы с последующей доказанной связью с предложенной статистикой рефлексии.

4. Сертификаты метамодели и вложенная иерархия

L3 [D]

Для объявленного конечного или моделируемого семейства проб $\mathsf Q_2$ и реализованной метамодели определены

$$e_2=\sup_q d_B(\widehat\rho_2(q),\rho_2(q)),\qquad v_2=\sup_{q,q'}d_B(\rho_2(q),\rho_2(q')).$$

Сертификат $\mathsf{MetaCert}_2:=(e_2\le\varepsilon_2)\land(v_2\ge a_2>2\varepsilon_2)$; $A_3:=A_2\land\mathsf{MetaCert}_2$. Цели — независимо наблюдаемые отклики первой модели на объявленные пробы. Обучение и тестирование не должны задавать цель собственным выходом метамодели. Выбор проб, допусков и отождествление с рефлексивной глубиной — операционное предложение [D]/[Pr], а не универсальный категориальный вывод.

Предложение (нетривиальность) [T]. Постоянное предсказание не проходит этот сертификат. Иначе по неравенству треугольника $d_B(\rho_2(q),\rho_2(q'))\le2\varepsilon_2$ для всех пар, что противоречит $v_2\ge a_2>2\varepsilon_2$.

Прежнее доказательство T-67 квадратичных компонент отозвано [✗]. Ненулевой дифференциал может иметь ядро; CPTP-канал может быть замещающим с нулевым дифференциалом. Три выбранных слагаемых генератора и одна модификация не устанавливают четырёх статистически независимых каналов или универсального порога предсказания $1/4$.

Метастабильность требует динамики

Прежняя универсальная теорема метастабильности отозвана [✗]. Условная локальная устойчивость [C]. Для гладкого конечномерного потока во внутренней точке равновесия, если все собственные значения касательного якобиана имеют отрицательные вещественные части, равновесие локально асимптотически устойчиво. Для удержания $A_3$ необходим положительный запас его сертификата и сохранение возмущений в соответствующей окрестности. Время выхода при шуме требует заданного случайного процесса. Fidelity сама по себе не задаёт ни якобиана, ни времени жизни.

L4 [D]

Определим $\mathsf{MetaCert}_n$ для каждого $n\ge2$ на объявленных пространствах выходов и проб. Зададим забывающие отображения $r_n$ между выходами и $p_n$ между семействами проб, удовлетворяющие

$$r_n(\widehat\rho_{n+1}(q))=\widehat\rho_n(p_nq)$$

в идеальной модели и аналогичной согласованности целей. При приближённой согласованности бюджет ошибок входит в сертификат. Тогда $A_4:=A_3\land\bigwedge_{n\ge3}\mathsf{MetaCert}_n\land\mathsf{Compatible}$. Определение обеспечивает вложенность. Оно не доказывает физической реализуемости или недостижимости.

Прежнее условие $P>6/7$ и его «доказательство устойчивости» отозваны [✗]: $A_4$ наследует от $A_2$ ограничение $P\le3/7$. Конечномерность не отождествляет порог чистоты с гомотопической степенью.

5. Что действительно доказывает итерация модели

Используем корневую fidelity

$$f(\rho,\sigma)=\operatorname{Tr}\sqrt{\sqrt\rho\,\sigma\sqrt\rho},\qquad F=f^2,\qquad d_B^2=2-2f.$$

Конвенция квадрата указана, чтобы исключить неоднозначность порогов. Это стандартные метрики состояний, а не каноническое $R$.

Исправленное утверждение о сходимости [T]

Если орбита отображения состояний $T$, $\rho_n=T^n\rho_0$, сходится к $\rho_*$, то по непрерывности $f(\rho_{n-1},\rho_n)\to1$. Достаточное условие — равномерное сжатие $d(T\rho,T\sigma)\le qd(\rho,\sigma)$ с $q<1$ на полном инвариантном метрическом пространстве состояний; тогда сходимость даёт теорема Банаха. CPTP обеспечивает нерасширяемость в соответствующих метриках, но не строгое сжатие и не единственную неподвижную точку.

Для канонической модели

$$\varphi_{\mathrm{coh}}(\rho)=(1-R(\rho))\mathcal D_\alpha(\rho)+R(\rho)I/7,$$

где $\mathcal D_\alpha$ сохраняет диагональ и умножает внедиагональные элементы на $1-\alpha$, $0\le\alpha\le1$, имеем точную оценку

$$\|\varphi_{\mathrm{coh}}(\rho)-I/7\|_F\le\frac67\|\rho-I/7\|_F.$$

Доказательство. $1-R\le6/7$, $\mathcal D_\alpha(I/7)=I/7$, а диагонально-внедиагональное разложение делает $\mathcal D_\alpha$ HS-сжатием. Итерируем оценку. Поэтому любая орбита сходится к $I/7$, последовательные fidelity стремятся к единице, хотя этот аттрактор не проходит L2. Оценка относительно неподвижной точки не утверждает сжатия между любой парой состояний.

Для случая Фано $\alpha=2/3$ и ненулевой начальной внедиагональной части реальное сохранение когерентности канонической моделью равно

$$S^{(n)}_{\varphi_{\mathrm{coh}}}=3^{-n}\prod_{j=0}^{n-1}(1-R(\rho_j))\le(2/7)^n.$$

Равенство $S^{(n)}=3^{-n}$ верно для итерации самого линейного канала Фано, а не полной зависимой от состояния канонической модели. Стремление fidelity к единице и когерентности к нулю совместимы и не устанавливают углубления когниции.

При $\rho_*=I/7$ все последовательные fidelity уже равны единице на конечном порядке. У унитарного CPTP-канала, переставляющего два ортогональных чистых состояния, последовательные fidelity нулевые. Поэтому из CPTP не следуют ни недостижимость единицы на конечном порядке, ни универсальная положительность.

Отозванный аргумент от чистоты к топологии

Прежние универсальная устойчивость L4 и доказательство $P>6/7$ отозваны [✗]. Концентрация собственных значений может ограничивать матричные расстояния. Она не обнуляет $\pi_6$ отдельно назначенного объекта опыта, не стабилизирует башню Постникова и не заставляет самомодель избегать неподвижных точек.

6. Категориальная структура: точная область вывода

Башня Постникова относится к объекту $X$ в $\infty$-топосе:

$$\cdots\to\tau_{\le3}X\to\tau_{\le2}X\to\tau_{\le1}X\to\tau_{\le0}X.$$

Имеется сравнение $X\to\varprojlim_n\tau_{\le n}X$; его эквивалентность — соответствующая предпосылка сходимости данного объекта. Эта запись не задаёт канонического восстановления прямым колимитом или нормы Бюреса между категориями. Стандартные источники: Kerodon §3.5, определение башни Постникова; Lurie, Higher Topos Theory §§5.5.6, 7.2.1.

Контрпримеры [T]. Дискретное множество нуль-усечено, его башня стабилизируется немедленно. Представимый предпучок на обычной категории имеет значения в множествах и потому нуль-усечён; усечение не восстанавливает разные численные L-ворота. Всё пространство матриц плотности выпукло и, следовательно, стягиваемо. Нетривиальная топология может возникнуть в отдельно выбранном пространстве лучей или подпространстве ограничений, но выбор и связь с операционными сертификатами требуют моста. Из усечения не следует «каждый уровень имеет $\pi_n\ne0$».

Нет теоремы об исчерпании физической глубины пятью метками

Текущая таксономия имеет пять меток по определению. Между L3 и идеальным L4 всех порядков можно сохранять конечные сертифицированные глубины $n=2,3,\ldots$ как дополнительную статистику. Нет теоремы, что все системы имеют не более трёх порядков метамодели. Ограниченный показатель, полученный повторением канала Фано и сравнением с выбранными порогами, ограничивает этот показатель, а не всякую возможную реализацию рефлексивной глубины.

Иерархия ассоциаторов

Законы композиции и аксиомы когерентности задаются для выбранной высшей категории. Неассоциативность октонионов, бикатегориальные ассоциаторы и статистическая зависимость каналов — разные структуры. Подсчёт ячеек не определяет калиброванные байесовские априорные вероятности или порог метакогниции. Высшая категория опыта может предлагаться [Pr]; её операционная реализация требует функтора и теоремы соответствия.

7. Gap: корректная теорема

Для $s(z)=\mathbf G(\Gamma)$ классификация факторизуется через $s$ ровно тогда, когда постоянна на слоях. Доказательство [T]: $L=\ell\circ s$ влечёт постоянство; обратно, определим $\ell(s(z))=L(z)$, что корректно именно при постоянстве. Это критерий факторизации, а не инъекция из уровней в профили.

Пусть $u=(1,\ldots,1)/\sqrt7$ и $\Gamma(t)=(1-t)I/7+tuu^\dagger$. Все Gap нулевые, но

$$P=(1+6t^2)/7,\quad R=1/(1+6t^2),\quad\Phi=6t^2.$$

При $t=0.45$ все три численных воротных условия выполнены; при $t=0.65$ рефлексия не проходит. В явно объявленном прокси

$$\mathrm{Coh}_E(t)=\frac{1+12t^2}{7(1+6t^2)},\qquad D^{7D}(t)=1+6\mathrm{Coh}_E(t),$$

и оба состояния проходят $A_1$ и $D^{7D}\ge2$. Следовательно, различается сам определённый прокси-предикат L2 в 7D при одинаковых фазовых профилях. Усиленный алгебраический контрпример не устанавливает физического сознания ни в одном состоянии. В буквальном режиме расширения дифференциация и подъём являются дополнительными данными.

При действительной ошибке матричной самомодели $\delta$ и нижней границе амплитуды $m>\delta$ ошибка отдельного фазового канала не больше $2\delta/m$. Без границы статистика разрывна в нуле. Точное доказательство, исправление чётного ранга и отзыв хэмминговского моста непрозрачности: идентифицируемость Gap.

8. Пороги не являются автоматически бифуркациями

Пересечение численных ворот не обязано менять устойчивость аттрактора. Одномерная градиентная редукция $\dot x=-\partial_xV$ имеет потенциальную особенность $A_k$ только при соответствующем вырождении и трансверсальном развёртывании. В потенциальной конвенции:

Тип	Росток	Существенные управляющие параметры
Складка $A_2$	$x^3$	1
Касп $A_3$	$x^4$	2
Ласточкин хвост $A_4$	$x^5$	3

Для $A_4$ требуются $V'=V''=V'''=V''''=0$, $V^{(5)}\ne0$ в критической точке, корректная гладкая редукция и трансверсальность трёх направлений развёртывания. Наличие трёх параметров само по себе недостаточно; приближённая симметрия или потенциал четвёртой степени условий не устанавливают. Связь полученных ветвей с $A_k(z)$ — ещё один явный шаг. Источник соответствующих нормальных форм векторного поля: Ghrist, Applied Dynamical Systems, глава о бифуркациях.

9. Стратификация и локальность маргиналов

L-метки сами по себе не включают и не выключают нелинейное слагаемое. Его ворота и расширение задаются уравнением эволюции. В частности, L0 универсален и может иметь любое допустимое $R$, включая $R=1$ при $I/7$.

Тождество маргинала [T]. Для фиксированного сохраняющего след локального канала $\mathcal T_A$

$$\operatorname{Tr}_A[(\mathcal T_A\otimes\mathrm{id}_B)(\Gamma_{AB})]=\Gamma_B.$$

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

10. Алгоритм классификации

Требуются корректная матрица плотности и объявленный режим интериорности.
P = sum_ij |gamma_ij|^2; Q = sum_i gamma_ii^2
R = 1/(7*P); Phi = (P-Q)/Q
Прокси: Coh_E = (gamma_EE^2 + 2*sum_i!=E |gamma_Ei|^2)/P
        A1 = Coh_E > 0; D = 1 + 6*Coh_E
Расширение: требуется нормированная объявленная rho_E
            A1 = rank(rho_E) > 1; D = exp(-Tr(rho_E log rho_E))
A2 = A1 and P > 2/7 and R >= 1/3 and Phi >= 1 and D >= 2
A3 = A2 and проверенный MetaCert_2
A4 = A3 and проверенные согласованные сертификаты всех высших порядков
Вернуть наибольший проверенный A_k и неизвестные / зависящие от запаса тесты.

Квадраты норм используются последовательно. Валидация состояния, энтропия расширения и сертификаты метамодели — различные операции. Численные расчёты имеют сложность $O(N^2)$; проверка положительности и спектральные операции обычно требуют $O(N^3)$ для плотных матриц. Предикат всех порядков не сертифицируется только численной итерацией отображения конечное число раз.

11. Реестр зависимостей и отзывов

Прежнее утверждение	Текущая область
Разные L-уровни вынуждают разные Gap-профили	[✗]; критерий слоёв и явный контрпример
Три проверочных бита требуют три ненулевых попарных Gap	[✗]; мост к наблюдаемым открыт [Pr]
T-67: категориальный подсчёт вынуждает $K=4$ и fidelity-порог L3	[✗]; калиброванный сертификат метамодели [D]/[Pr]
T-86: универсальная недостижимость L4 из Постникова и неполноты	[✗]; обратная башня и условная ресурсная граница
$P>6/7$ определяет вложенный L4	[✗]; несовместимо с наследуемым окном L2
CPTP сам по себе вынуждает строгое сжатие и положительные последовательные fidelity	[✗]; явные предпосылки сжатия / сходимости
Двенадцать булевых меток ворот — двенадцать непустых областей	[✗]; ограничение $\Phi\le7P-1$ [T]
T-41: три параметра вынуждают переход $A_4$	[✗]; нужны критерии нормальной формы
Адаптивный перенос универсально вынуждает каноническое $R\ge1/3$	[✗]; необходим явный мост задачи и ресурсов

Корректные неравенства сохраняются как математические инструменты. Их физическая интерпретация и измерительный мост — отдельные обязательства; смена статусной метки их не выполняет.