Закон разреженной статичной симметрии Правила симметричных потоков Н.А. Тенетко для десятичной системы счисления
Закон разреженной статичной симметрии Правила симметричных потоков Н.А. Тенетко для десятичной системы счисления LaTEX
Закономерность между классами
Н.А. Тенетко
Сначала важно разделить два уровня.
Само первичное разбиение не меняет пропорцию:
[ \frac{T_n}{10^n}=\frac12. ]
То есть в любом классе ровно одна симметричная пара на две последовательности. Это постоянный инвариант всех классов.
Но при переходе по классам строго закономерно меняется состав этих пар: I-static, R-static и переходящие пары.
Чтобы не смешивать оператор отражения ® и число R-static пар, далее число R-static пар обозначается через (J_n).
Обозначим:
[ T_n=5\cdot10^{n-1} ]
— полное число первичных симметричных пар,
[ S_n=I_n+J_n ]
— полное число статичных пар.
Для статичной части выполняется:
[ S_{2k}=10^k, ]
[ S_{2k+1}=5\cdot10^k. ]
Рассмотрим относительную долю статичных пар среди всех первичных пар:
[ \rho_n=\frac{S_n}{T_n}. ]
Получаем:
[ \boxed{ \rho_{2k}=2\cdot10^{-k} } ]
и:
[ \boxed{ \rho_{2k+1}=10^{-k}. } ]
Для первых восьми классов:
| класс (n) | всего пар (T_n) | статичных (S_n) | доля статичных | доля переходящих |
|---|---|---|---|---|
| 1 | 5 | 5 | 100% | 0% |
| 2 | 50 | 10 | 20% | 80% |
| 3 | 500 | 50 | 10% | 90% |
| 4 | 5 000 | 100 | 2% | 98% |
| 5 | 50 000 | 500 | 1% | 99% |
| 6 | 500 000 | 1 000 | 0,2% | 99,8% |
| 7 | 5 000 000 | 5 000 | 0,1% | 99,9% |
| 8 | 50 000 000 | 10 000 | 0,02% | 99,98% |
Отсюда непосредственно следует:
[ \boxed{ \rho_{n+2}=\frac{\rho_n}{10}. } ]
То есть:
при увеличении длины последовательности на два разряда относительная доля статичных симметричных пар уменьшается ровно в 10 раз.
При этом абсолютное количество статичных пар не уменьшается:
[ \boxed{ S_{n+2}=10S_n. } ]
Следовательно:
[ \boxed{ \text{статичных структур становится в 10 раз больше,} \qquad \text{но их относительная плотность становится в 10 раз меньше}. } ]
Причина состоит в том, что полный класс за те же два шага увеличивается в (100) раз:
[ 10^n \rightarrow 10^{n+2}
100\cdot10^n, ]
тогда как статичная часть увеличивается только в (10) раз:
[ S_n\rightarrow10S_n. ]
Таким образом, это не случайный числовой эффект, а точный закон масштабирования.
1. Двухтактная структура соседних классов
Последовательность долей статичных пар имеет вид:
[ 1,\quad 0.2,\quad 0.1,\quad 0.02,\quad 0.01,\quad 0.002,\quad 0.001,\ldots ]
Переходы между соседними классами чередуются:
[ \boxed{ \div5,\quad \div2,\quad \div5,\quad \div2,\ldots } ]
Из нечётного класса в следующий чётный:
[ \boxed{ \rho_{2k+2}
\frac{\rho_{2k+1}}5 }, \qquad k\ge0. ]
Из чётного класса в следующий нечётный:
[ \boxed{ \rho_{2k+1}
\frac{\rho_{2k}}2 }, \qquad k\ge1. ]
Поэтому возникает двухтактная структура:
[ \boxed{ \div5 \rightarrow \div2 \rightarrow \div5 \rightarrow \div2 \rightarrow\cdots } ]
и полный цикл двух классов всегда даёт:
[ \boxed{ \div10 }. ]
Для абсолютного числа статичных пар действует обратная двухтактная последовательность.
Из нечётного класса в следующий чётный:
[ S_{2k+2}
2S_{2k+1}. ]
Из чётного класса в следующий нечётный:
[ S_{2k+1}
5S_{2k}. ]
Следовательно:
[ \boxed{ \times2 \rightarrow \times5 \rightarrow \times2 \rightarrow \times5 \rightarrow\cdots } ]
и полный двухклассовый цикл даёт:
[ \boxed{ \times10 }. ]
2. Доли I-static и R-static
Для I-static:
[ \frac{I_{2k}}{T_{2k}}
\frac{I_{2k+1}}{T_{2k+1}}
10^{-k}, \qquad k\ge1. ]
Следовательно:
[ \boxed{ \text{доля I-static одинакова в классе }2k \text{ и следующем классе }2k+1. } ]
Например:
[ n=2:\quad10%, ]
[ n=3:\quad10%. ]
Затем:
[ n=4:\quad1%, ]
[ n=5:\quad1%. ]
Затем:
[ n=6:\quad0.1%, ]
[ n=7:\quad0.1%. ]
Таким образом, доля I-static образует двухклассовые ступени:
[ \boxed{ 1;\quad 0.1,0.1;\quad 0.01,0.01;\quad 0.001,0.001;\ldots } ]
Первое значение (1) относится к классу (n=1).
R-static имеют другую структуру:
[ \boxed{ 0,\quad 0.1,\quad 0,\quad 0.01,\quad 0,\quad 0.001,\ldots } ]
То есть R-static существуют только в чётных классах.
В каждом чётном классе:
[ \boxed{ I_{2k}=J_{2k}. } ]
Следовательно, среди статичных структур каждого чётного класса:
[ \boxed{ 50%\ I\text{-static} + 50%\ R\text{-static}. } ]
Для каждого нечётного класса:
[ J_{2k+1}=0. ]
Следовательно:
[ \boxed{ 100%\ I\text{-static} + 0%\ R\text{-static}. } ]
Внутренний состав статичной части чередуется:
[ \boxed{ 100/0 \leftrightarrow 50/50 \leftrightarrow 100/0 \leftrightarrow 50/50 \leftrightarrow\cdots } ]
3. Отношение переходящей и статичной частей
Обозначим через (Q_n) число переходящих первичных пар.
Тогда:
[ Q_n=T_n-S_n. ]
Отношение переходящих пар к статичным для первых классов:
[ n=2:\quad4:1, ]
[ n=3:\quad9:1, ]
[ n=4:\quad49:1, ]
[ n=5:\quad99:1, ]
[ n=6:\quad499:1, ]
[ n=7:\quad999:1, ]
[ n=8:\quad4999:1, ]
[ n=9:\quad9999:1. ]
Таким образом, возникают две последовательности, соответствующие двум линиям чётности.
Для чётных классов:
[ \boxed{ 4,\ 49,\ 499,\ 4999,\ldots } ]
Для нечётных классов:
[ \boxed{ 9,\ 99,\ 999,\ 9999,\ldots } ]
Формально:
[ \boxed{ \frac{Q_{2k}}{S_{2k}}
5\cdot10^{k-1}-1 } ]
и:
[ \boxed{ \frac{Q_{2k+1}}{S_{2k+1}}
10^k-1. } ]
Следовательно:
[ \boxed{ \frac{Q_n}{T_n}\longrightarrow1. } ]
То есть при росте класса переходящая часть становится доминирующей, а статичные пары образуют всё более разреженную, но строго закономерную структуру.
4. Мета-пары
На пространстве переходящих первичных пар дополнение индуцирует инволюцию без неподвижных точек.
Поэтому переходящие пары разбиваются попарно на мета-пары:
[ M_n=\frac{Q_n}{2}. ]
Поскольку:
[ Q_n=T_n-S_n, ]
получаем:
[ \boxed{ M_n
\frac{T_n-S_n}{2}. } ]
Доля мета-пар относительно полного числа первичных пар:
[ \frac{M_n}{T_n}
\frac{T_n-S_n}{2T_n}
\frac12-\frac{\rho_n}{2}. ]
Для первых классов:
[ 0,\quad 0.4,\quad 0.45,\quad 0.49,\quad 0.495,\quad 0.499,\quad 0.4995,\quad 0.4999,\ldots ]
Следовательно:
[ \boxed{ \frac{M_n}{T_n} \longrightarrow \frac12. } ]
При этом отклонение доли мета-пар от (1/2) равно:
[ \frac12-\frac{M_n}{T_n}
\frac{\rho_n}{2}. ]
Так как:
[ \rho_{n+2}
\frac{\rho_n}{10}, ]
получаем:
[ \boxed{ \frac12-\frac{M_{n+2}}{T_{n+2}}
\frac1{10} \left( \frac12-\frac{M_n}{T_n} \right). } ]
То есть отклонение доли мета-пар от (1/2) каждые два класса уменьшается ровно в (10) раз.
5. Точный рекурсивный закон мета-уровня
Из:
[ M_n=\frac{T_n-S_n}{2}, ]
[ T_{n+2}=100T_n, ]
[ S_{n+2}=10S_n ]
следует:
[ M_{n+2}
\frac{100T_n-10S_n}{2}. ]
Поскольку:
[ 100M_n
\frac{100T_n-100S_n}{2}, ]
получаем:
[ M_{n+2}
100M_n + \frac{90S_n}{2}. ]
Следовательно:
[ \boxed{ M_{n+2}
100M_n+45S_n. } ]
Таким образом, на мета-уровне существует не предположительный, а точный рекурсивный закон.
Он отличается от двухтактной мультипликативной структуры статичной части:
[ \times2,\quad\times5, ]
поскольку мета-уровень зависит одновременно от уже существующих мета-пар и от статичных пар предыдущего класса.
6. Главный закон масштабирования
Основной двухклассовый переход:
[ \boxed{ n\rightarrow n+2 } ]
даёт:
[ \boxed{ S_{n+2}=10S_n, \qquad T_{n+2}=100T_n, \qquad \frac{S_{n+2}}{T_{n+2}}
\frac1{10}\frac{S_n}{T_n}. } ]
То есть для классов одной чётности:
[ n,\ n+2,\ n+4,\ldots ]
действуют точные рекурсивные законы масштабирования:
- полное число первичных пар: (\times100);
- число статичных пар: (\times10);
- относительная плотность статичной части: (\div10);
- переходящая доля стремится к (100%);
- доля мета-пар стремится к (50%);
- мета-уровень подчиняется закону [ M_{n+2}=100M_n+45S_n. ]
Таким образом, рассматриваемая закономерность относится не к отдельной паре и не к отдельному классу, а к движению по пространству всех десятичных классов.
Она является количественной проекцией рекурсивного операторного самоподобия Правила симметричных потоков.
7. Данные исчерпывающего перебора
Полученные при полном переборе данные:
| (n) | (T) — пары | I-static | R-static | (S) | (Q) — переходящие | (M) — мета-пары | (\rho=S/T) |
|---|---|---|---|---|---|---|---|
| 1 | 5 | 5 | 0 | 5 | 0 | 0 | 1 |
| 2 | 50 | 5 | 5 | 10 | 40 | 20 | 0,2 |
| 3 | 500 | 50 | 0 | 50 | 450 | 225 | 0,1 |
| 4 | 5 000 | 50 | 50 | 100 | 4 900 | 2 450 | 0,02 |
| 5 | 50 000 | 500 | 0 | 500 | 49 500 | 24 750 | 0,01 |
| 6 | 500 000 | 500 | 500 | 1 000 | 499 000 | 249 500 | 0,002 |
| 7 | 5 000 000 | 5 000 | 0 | 5 000 | 4 995 000 | 2 497 500 | 0,001 |
| 8 | 50 000 000 | 5 000 | 5 000 | 10 000 | 49 990 000 | 24 995 000 | 0,0002 |
Всего непосредственно проверено:
111 111 110 десятичных последовательностей
Результат:
все наблюдаемые агрегаты совпали с формулами
расхождений: 0
сохранено последовательностей: 0
сохранено пар: 0
агрегатных строк: 8
Эксперимент подтвердил:
T(n)/10ⁿ = 1/2
S(n+2) = 10·S(n)
T(n+2) = 100·T(n)
ρ(n+2) = ρ(n)/10
ρ(2k+1) → ρ(2k+2): ÷5
ρ(2k) → ρ(2k+1): ÷2
I-static: двухклассовые ступени
R-static: только чётные классы
чётные классы: 50% I + 50% R
нечётные классы: 100% I + 0% R
Также подтверждены последовательности отношений:
Q/S для чётных: 4, 49, 499, 4999, ...
Q/S для нечётных: 9, 99, 999, ...
M/T: 0; 0,4; 0,45; 0,49; 0,495; 0,499; 0,4995; 0,4999
В интерфейсе можно выбрать предел 1…8, запустить или остановить эксперимент, скопировать JSON-пакет свидетельств и явно сохранить его в Архив мер.
Встроенные сервисные, плагинные и экспортные проверки завершились без ошибок, а все наблюдаемые агрегаты совпали с формулами.
8. Статус результата
Межклассовые отношения выше получены прямым математическим выводом для произвольной длины (n).
Экспериментальный полный перебор классов:
[ n=1,\ldots,8 ]
выполняет другую функцию: проверяет соответствие конкретной инженерной реализации математически определённому правилу и полученным формулам.
Поэтому необходимо различать:
[ \boxed{ \text{математический вывод закона} } ]
и:
[ \boxed{ \text{исчерпывающую инженерную валидацию его реализации}. } ]
Они не заменяют друг друга, а проверяют одну и ту же конструкцию на разных уровнях.
ПРОТОКОЛ ВОСПРОИЗВОДИМОГО ЭКСПЕРИМЕНТА
Закон разреженной статичной симметрии десятичных классов
Правило симметричных потоков (P_{10}) · Н.А. Тенетко
В приведённом ниже машинном протоколе обозначение C соответствует оператору (C_{10}) математической части.
================================================================================
ПРОТОКОЛ ВОСПРОИЗВОДИМОГО ЭКСПЕРИМЕНТА
Закон разреженной статичной симметрии десятичных классов
Правило симметричных потоков P10 · Н.А. Тенетко
================================================================================
[1] ИДЕНТИФИКАЦИЯ ПРОГОНА
started_at_utc=2026-08-18T12:51:11.652Z
completed_at_utc=2026-08-18T12:52:14.324Z
elapsed_ms=62671.505
node=v24.19.0
platform=darwin
arch=arm64
cwd=/Users/air_m4/Documents/1 visual
command=node tests/decimal-symmetric-flows-experiment.js --max=8
max_class=8
mode=explicit-exhaustive-integrity-check
randomness=none
stored_sequences=0
stored_pairs=0
stored_aggregate_rows=8
rss_before_bytes=50561024
rss_after_bytes=201293824
[2] ХЕШИ ПРОВЕРЯЕМОГО КОДА И ДАННЫХ
plugin_file=plugins/decimal-symmetric-flows.js
plugin_sha256=3303bd7c28a194d91c6e63215a06460d1db0988b79c687e9bf4ff7a7b861c345
experiment_script_file=tests/decimal-symmetric-flows-experiment.js
experiment_script_sha256=ab10077e9eac9ae8bad38c556cb11a63732afc60006ad31bdec32ecde29565fc
index_sha256=b47543977092691e88ff054d6bf014fc59284f86d09583e6a4ca67a600291fdf
evidence_schema=sparse-static-symmetry-experiment-evidence/1
evidence_sha256=9bc5c52271da19ba2086866bec132951e8e10134e4f8852049328f454a0684c0
[3] АЛГОРИТМ ЭКСПЕРИМЕНТА
Для каждого n перебираются все X от 00…0 до 99…9 с сохранением длины.
Для каждого X непосредственно вычисляются R(X), C(X) и P10(X).
Для каждого X непосредственно проверяются P10(P10(X))=X, P10(X)!=X и R(C(X))=C(R(X)).
Пара учитывается один раз, только когда X является её канонической стороной.
I-static определяется условием X=R(X).
R-static определяется условиями X!=R(X) и R(X)=C(X).
Остальные канонические пары считаются transitioning-R.
Meta учитывается один раз сравнением канонических идентификаторов Pair и C(Pair).
Формулы не используются для получения наблюдаемых счётчиков.
После завершения наблюдаемые счётчики отдельно сравниваются с формулами.
[4] ВСТРОЕННЫЕ ТЕСТЫ
service_self_test=PASS errors=[]
plugin_self_test=PASS errors=[]
export_round_trip=PASS errors=[]
[5] КОНКРЕТНЫЕ СВИДЕТЕЛЬСТВА ПРАВИЛА
X=0 n=1 R=0 C=9 P10=9 canonical=0 type=I-static C(Pair)={0,9} involution=PASS fixed_point_free=PASS
X=09 n=2 R=90 C=90 P10=90 canonical=09 type=R-static C(Pair)={09,90} involution=PASS fixed_point_free=PASS
X=12 n=2 R=21 C=87 P10=21 canonical=12 type=transitioning-R C(Pair)={78,87} involution=PASS fixed_point_free=PASS
X=121 n=3 R=121 C=878 P10=878 canonical=121 type=I-static C(Pair)={121,878} involution=PASS fixed_point_free=PASS
X=0017 n=4 R=7100 C=9982 P10=7100 canonical=0017 type=transitioning-R C(Pair)={2899,9982} involution=PASS fixed_point_free=PASS
X=9009 n=4 R=9009 C=0990 P10=0990 canonical=0990 type=I-static C(Pair)={0990,9009} involution=PASS fixed_point_free=PASS
[6] ДАННЫЕ КАЖДОГО ИСЧЕРПЫВАЮЩЕГО КЛАССА
--------------------------------------------------------------------------------
class_n=1
completed_elapsed_ms=5.047
cumulative_processed=10
class_sequences_observed=10
pairs_observed=5 pairs_expected=5
i_static_observed=5 i_static_expected=5
r_static_observed=0 r_static_expected=0
static_observed=5 static_expected=5
transitioning_observed=0 transitioning_expected=0
meta_observed=0 meta_expected=0
rho_observed=1
transitioning_share_observed=0
meta_share_observed=0
transitioning_to_static=0:1
class_match=PASS
--------------------------------------------------------------------------------
class_n=2
completed_elapsed_ms=5.088
cumulative_processed=110
class_sequences_observed=100
pairs_observed=50 pairs_expected=50
i_static_observed=5 i_static_expected=5
r_static_observed=5 r_static_expected=5
static_observed=10 static_expected=10
transitioning_observed=40 transitioning_expected=40
meta_observed=20 meta_expected=20
rho_observed=0.2
transitioning_share_observed=0.8
meta_share_observed=0.4
transitioning_to_static=4:1
class_match=PASS
--------------------------------------------------------------------------------
class_n=3
completed_elapsed_ms=5.426
cumulative_processed=1110
class_sequences_observed=1000
pairs_observed=500 pairs_expected=500
i_static_observed=50 i_static_expected=50
r_static_observed=0 r_static_expected=0
static_observed=50 static_expected=50
transitioning_observed=450 transitioning_expected=450
meta_observed=225 meta_expected=225
rho_observed=0.1
transitioning_share_observed=0.9
meta_share_observed=0.45
transitioning_to_static=9:1
class_match=PASS
--------------------------------------------------------------------------------
class_n=4
completed_elapsed_ms=16.648
cumulative_processed=11110
class_sequences_observed=10000
pairs_observed=5000 pairs_expected=5000
i_static_observed=50 i_static_expected=50
r_static_observed=50 r_static_expected=50
static_observed=100 static_expected=100
transitioning_observed=4900 transitioning_expected=4900
meta_observed=2450 meta_expected=2450
rho_observed=0.02
transitioning_share_observed=0.98
meta_share_observed=0.49
transitioning_to_static=49:1
class_match=PASS
--------------------------------------------------------------------------------
class_n=5
completed_elapsed_ms=58.102
cumulative_processed=111110
class_sequences_observed=100000
pairs_observed=50000 pairs_expected=50000
i_static_observed=500 i_static_expected=500
r_static_observed=0 r_static_expected=0
static_observed=500 static_expected=500
transitioning_observed=49500 transitioning_expected=49500
meta_observed=24750 meta_expected=24750
rho_observed=0.01
transitioning_share_observed=0.99
meta_share_observed=0.495
transitioning_to_static=99:1
class_match=PASS
--------------------------------------------------------------------------------
class_n=6
completed_elapsed_ms=523.148
cumulative_processed=1111110
class_sequences_observed=1000000
pairs_observed=500000 pairs_expected=500000
i_static_observed=500 i_static_expected=500
r_static_observed=500 r_static_expected=500
static_observed=1000 static_expected=1000
transitioning_observed=499000 transitioning_expected=499000
meta_observed=249500 meta_expected=249500
rho_observed=0.002
transitioning_share_observed=0.998
meta_share_observed=0.499
transitioning_to_static=499:1
class_match=PASS
--------------------------------------------------------------------------------
class_n=7
completed_elapsed_ms=5673.799
cumulative_processed=11111110
class_sequences_observed=10000000
pairs_observed=5000000 pairs_expected=5000000
i_static_observed=5000 i_static_expected=5000
r_static_observed=0 r_static_expected=0
static_observed=5000 static_expected=5000
transitioning_observed=4995000 transitioning_expected=4995000
meta_observed=2497500 meta_expected=2497500
rho_observed=0.001
transitioning_share_observed=0.999
meta_share_observed=0.4995
transitioning_to_static=999:1
class_match=PASS
--------------------------------------------------------------------------------
class_n=8
completed_elapsed_ms=62671.449
cumulative_processed=111111110
class_sequences_observed=100000000
pairs_observed=50000000 pairs_expected=50000000
i_static_observed=5000 i_static_expected=5000
r_static_observed=5000 r_static_expected=5000
static_observed=10000 static_expected=10000
transitioning_observed=49990000 transitioning_expected=49990000
meta_observed=24995000 meta_expected=24995000
rho_observed=0.0002
transitioning_share_observed=0.9998
meta_share_observed=0.4999
transitioning_to_static=4999:1
class_match=PASS
[7] ФОРМУЛЬНЫЙ ПАСПОРТ ЗАКОНА ДЛЯ ТЕХ ЖЕ КЛАССОВ
next2_scope=formula+exhaustive означает, что классы n и n+2 оба полностью перебраны.
next2_scope=closed-form-only означает проверку тождества по формулам без перебора класса n+2.
n=1 rho=1 rho_percent=100% I/T=1 R/T=0 Q:S=0:1 M/T=0 composition="100% I-static + 0% R-static" next2_scope=formula+exhaustive S_next2_x10=PASS T_next2_x100=PASS rho_next2_div10=PASS
n=2 rho=0.2 rho_percent=20% I/T=0.1 R/T=0.1 Q:S=4:1 M/T=0.4 composition="50% I-static + 50% R-static" next2_scope=formula+exhaustive S_next2_x10=PASS T_next2_x100=PASS rho_next2_div10=PASS
n=3 rho=0.1 rho_percent=10% I/T=0.1 R/T=0 Q:S=9:1 M/T=0.45 composition="100% I-static + 0% R-static" next2_scope=formula+exhaustive S_next2_x10=PASS T_next2_x100=PASS rho_next2_div10=PASS
n=4 rho=0.02 rho_percent=2% I/T=0.01 R/T=0.01 Q:S=49:1 M/T=0.49 composition="50% I-static + 50% R-static" next2_scope=formula+exhaustive S_next2_x10=PASS T_next2_x100=PASS rho_next2_div10=PASS
n=5 rho=0.01 rho_percent=1% I/T=0.01 R/T=0 Q:S=99:1 M/T=0.495 composition="100% I-static + 0% R-static" next2_scope=formula+exhaustive S_next2_x10=PASS T_next2_x100=PASS rho_next2_div10=PASS
n=6 rho=0.002 rho_percent=0.2% I/T=0.001 R/T=0.001 Q:S=499:1 M/T=0.499 composition="50% I-static + 50% R-static" next2_scope=formula+exhaustive S_next2_x10=PASS T_next2_x100=PASS rho_next2_div10=PASS
n=7 rho=0.001 rho_percent=0.1% I/T=0.001 R/T=0 Q:S=999:1 M/T=0.4995 composition="100% I-static + 0% R-static" next2_scope=closed-form-only S_next2_x10=PASS T_next2_x100=PASS rho_next2_div10=PASS
n=8 rho=0.0002 rho_percent=0.02% I/T=0.0001 R/T=0.0001 Q:S=4999:1 M/T=0.4999 composition="50% I-static + 50% R-static" next2_scope=closed-form-only S_next2_x10=PASS T_next2_x100=PASS rho_next2_div10=PASS
[8] ПРОВЕРКИ МЕЖДУ КЛАССАМИ
closed-form=PASS statement="наблюдаемые агрегаты совпали с формулами каждого класса"
pair-half=PASS statement="T(n)/10^n=1/2"
involution-global=PASS statement="P10(P10(X))=X для каждой проверенной последовательности"
fixed-point-global=PASS statement="P10(X)!=X для каждой проверенной последовательности"
commutation-global=PASS statement="R(C(X))=C(R(X)) для каждой проверенной последовательности"
r-even-only=PASS statement="R-static существуют только в чётных классах"
static-composition=PASS statement="состав статичной части пульсирует 50/50 и 100/0"
neighbor-1=PASS statement="rho(2)=rho(1)/5"
neighbor-2=PASS statement="rho(3)=rho(2)/2"
i-step-2=PASS statement="доля I-static одинакова в классах 2 и 3"
neighbor-3=PASS statement="rho(4)=rho(3)/5"
neighbor-4=PASS statement="rho(5)=rho(4)/2"
i-step-4=PASS statement="доля I-static одинакова в классах 4 и 5"
neighbor-5=PASS statement="rho(6)=rho(5)/5"
neighbor-6=PASS statement="rho(7)=rho(6)/2"
i-step-6=PASS statement="доля I-static одинакова в классах 6 и 7"
neighbor-7=PASS statement="rho(8)=rho(7)/5"
static-scale-1=PASS statement="S(3)=10*S(1)"
pair-scale-1=PASS statement="T(3)=100*T(1)"
density-scale-1=PASS statement="rho(3)=rho(1)/10"
static-scale-2=PASS statement="S(4)=10*S(2)"
pair-scale-2=PASS statement="T(4)=100*T(2)"
density-scale-2=PASS statement="rho(4)=rho(2)/10"
static-scale-3=PASS statement="S(5)=10*S(3)"
pair-scale-3=PASS statement="T(5)=100*T(3)"
density-scale-3=PASS statement="rho(5)=rho(3)/10"
static-scale-4=PASS statement="S(6)=10*S(4)"
pair-scale-4=PASS statement="T(6)=100*T(4)"
density-scale-4=PASS statement="rho(6)=rho(4)/10"
static-scale-5=PASS statement="S(7)=10*S(5)"
pair-scale-5=PASS statement="T(7)=100*T(5)"
density-scale-5=PASS statement="rho(7)=rho(5)/10"
static-scale-6=PASS statement="S(8)=10*S(6)"
pair-scale-6=PASS statement="T(8)=100*T(6)"
density-scale-6=PASS statement="rho(8)=rho(6)/10"
[9] ИТОГ
processed_sequences=111111110
invariants_checked=111111110
involution_failures=0
fixed_point_failures=0
commutation_failures=0
aggregate_rows=8
failed_checks=0
all_observed_values_match_closed_form=PASS
result=PASS
conclusion=Экспериментально подтверждено на полном пространстве классов 1…8; математическое доказательство остаётся формульным выводом.
================================================================================