СВОДКА ИССЛЕДОВАТЕЛЬСКОЙ СЕССИИ, N.A.Tenetko, Н.А. Тенетко

16 Sep, 2026

СВОДКА ИССЛЕДОВАТЕЛЬСКОЙ СЕССИИ · ПОЛНЫЙ ЧИТАЕМЫЙ ОТЧЁТ N.A.Tenetko workspaceBuild=research-request-auto-run/25 · baseRevision=1

ИСТОЧНИК диапазон M=1…8 · входной M=5 · P=13124 правила: AN, ANA, ALT, CONTAIN, ADJ, DIST, OVERLAP, STABLE ось: AN · k=0 · exactIntegerSeries=YES

AN	МЕЖКЛАССОВОЕ РАСПРЕДЕЛЕНИЕ	ДИАПАЗОН КЛАССОВ	EXACT

H_R(M;z)=sum(P=1..10^M) z^c_R(M,P); [z^k]H — число вариантов с ровно k проявлениями, не сумма T_R. Переход M->M+1: U1=10, V1=0; U(m+1)=9(U(m)+V(m)), V(m+1)=zU(m)+V(m); H=U+V Каждая строка — один класс непрерывного диапазона; варианты 10^M не перечисляются.

СОВМЕСТНАЯ МЕЖКЛАССОВАЯ КАРТА | 8 ПРАВИЛ | ДИАПАЗОН КЛАССОВ | EXACT decimal.v1 | класс ввода M=5 | диапазон M=1…8 J_i(M) — число РАЗЛИЧНЫХ ВАРИАНТОВ в булевой ячейке; T_R(M) — СУММА ПРОЯВЛЕНИЙ правила R по всему классу. Это разные проекции. Каждый вариант попадает ровно в одну из шести J-ячеек. ADJ при M>=2 присутствует у каждого варианта и поэтому не образует отдельную ось разбиения. CONTAIN, DIST, OVERLAP отсутствуют на плотном базовом носителе. STABLE>0 iff (AN>0 or ANA>0), поэтому STABLE не добавляет независимую ось. ALT>0 implies ANA>0. Обозначения: V_M=10^M; Z_R=[z^0]H_R(M;z); A_R=V_M-Z_R; I_AB=A_AN+A_ANA-A_STABLE. Рекурсия Z_AC0(M) считает варианты без AN и ALT. Для M>=3: a_M — слова с суффиксом xyx (x!=y); b_M — слова с суффиксом xyz, где x,y,z попарно различны. Эти два состояния исчерпывают все допустимые последние тройки. Переход из a: для xyx дописать x -> AN, дописать y -> ALT xyxy, остальные 8 рангов -> b. Переход из b: для xyz дописать z -> AN, дописать y -> a через суффикс yzy, остальные 8 рангов -> b. Поэтому множитель 8 считает переходы именно в b, а не все допустимые продолжения. Начало: Z(0)=1, Z(1)=10, Z(2)=90; a3=109=90; b3=109*8=720. Рекурсия: a_(M+1)=b_M; b_(M+1)=8(a_M+b_M); Z_AC0(M)=a_M+b_M. Для основания N вместо 8 используется N-2. I_AC=A_ALT-(Z_AN-Z_AC0). Формулы ячеек: J0=Z_STABLE; J1=A_AN-I_AB; J2=A_ANA-I_AB-A_ALT+I_AC; J3=A_ALT-I_AC; J4=I_AB-I_AC; J5=I_AC. Граница J0: J0(M)=10!/(10-M)! при 0<=M<=10 и 0 при M>10; J0(9)=J0(10)=10! — точное совпадение, не ошибка. Это полное булево распределение наличия AN/ANA/ALT, но не полный совместный полином Count и не карта пересечения интервалов.

J0	нет AN, ANA, ALT, STABLE	variants=1814400
J2	ANA без AN и ALT	variants=43344000
J3	ANA + ALT без AN	variants=2671290
J4	AN + ANA без ALT	variants=42063210
J5	AN + ANA + ALT	variants=1447740
Показано классов: 8 / адресуемая ось 0…8	ArchiveWrite=NO	admission=NO

КАНДИДАТЫ ПО РЯДУ #0 · GEOMETRIC_CLASS_TRANSPORT формула: y(M+1)=a*y(M)+b параметры: {"a":"9","b":"0"} scope: {"fromM":1,"toM":8,"consecutive":true} verificationLevel=NOT_VERIFIED вердикт: не проявлен кнопкой проверки фиксация: NO

#1 · LINEAR_RECURRENCE_CLASS_LAW формула: y(M)=Σ[j=1…r] c_j*y(M−j) параметры: {"coefficients":["9"],"initialValues":["10"],"order":1} scope: {"fromM":1,"toM":8,"consecutive":true} verificationLevel=NOT_VERIFIED вердикт: не проявлен кнопкой проверки фиксация: NO

ТОЧНЫЙ ВЕРИФИКАТОР ЗАКОН · Начальные случаи, полное конечное состояние и все переходы подтверждены. verificationLevel=VERIFIED_UNIVERSAL candidate=decimal-no-an-alt-intersection-transition@decimal-no-an-alt-intersection-transition/1 начальный аудит: проверено=1000 · принято=810 · исключено=190 · причины={"ALT":0,"AN":190} coverage-аудит: проверено=1000 · допустимых состояний=810 · исключено=190 · причины={"CONTAINS_AN":190} ПРОВЕРЕНО ЭТИМ СЕРТИФИКАТОМ: ["Z_AC0 recurrence for every finite decimal.v1 class M>=3","AN×ALT Boolean avoidance transition and closed suffix-state partition"] НЕ ПРОВЕРЕНО ЭТИМ СЕРТИФИКАТОМ: ["individual ruleLaws.AN","individual ruleLaws.ANA","individual ruleLaws.ALT","individual ruleLaws.STABLE","complete independent derivation of J0…J5","full joint Count polynomial","interval intersection map"] certificate={"schema":"formal-rule-space-verification-certificate/1","version":1,"candidateId":"decimal-no-an-alt-intersection-transition","candidateVersion":"decimal-no-an-alt-intersection-transition/1","category":"LAW","verificationLevel":"VERIFIED_UNIVERSAL","scope":{"basis":"decimal.v1","carrier":"DENSE_ORDERED_BASE_ATOMS","claim":"Z_AC0 recurrence and AN×ALT Boolean intersection building block","classes":"ALL_FINITE_M>=3"},"checkedInitialCases":1000,"acceptedInitialCases":810,"rejectedInitialCases":190,"rejectedInitialBreakdown":{"ALT":0,"AN":190},"checkedCoverageCases":1000,"acceptedCoverageCases":810,"excludedCoverageCases":190,"excludedCoverageBreakdown":{"CONTAINS_AN":190},"checkedStates":810,"stateKinds":{"A_XYX":90,"B_XYZ":720},"alphabetSize":10,"checkedTransitions":8100,"matchingTransitions":8100,"coverageVerified":true,"closureVerified":true,"initialAudit":{"accepted":810,"checked":1000,"classSize":3,"exact":true,"expectedAccepted":810,"rejected":190,"rejectedAN":190,"rejectedBecause":{"ALT":0,"AN":190},"rejectionExplanation":"190 слов исключены из множества состояний, потому что содержат соседнее равенство AN; ALT длины 4 в классе M=3 невозможен.","schema":"formal-decimal-no-an-alt-initial-audit/1","stateCounts":{"A_XYX":90,"B_XYZ":720}},"coverage":{"exhaustive":true,"induction":"Every valid length>=3 prefix has exactly one listed length-3 suffix; every continuing transition returns another listed suffix.","method":"ALL_10^3_SUFFIXES_WITHOUT_AN_AND_ALL_10_CONTINUATIONS","statePartition":"A_XYX or B_XYZ","variantEnumeration":false},"coverageAudit":{"acceptedCases":810,"actualStates":810,"checked":1000,"exact":true,"excludedBecause":{"CONTAINS_AN":190},"excludedCases":190,"expectedStates":810,"extraStates":0,"firstExtraState":null,"missingState":null,"schema":"formal-decimal-no-an-alt-state-coverage-audit/1"},"transitionProfile":{"A_XYX":{"CONTINUE→B_XYZ":720,"TERMINAL→ALT":90,"TERMINAL→AN":90},"B_XYZ":{"CONTINUE→A_XYX":720,"CONTINUE→B_XYZ":5760,"TERMINAL→AN":720}},"counterexampleCount":0,"firstCounterexample":null,"allDeclaredCasesChecked":true,"universalAdmission":false,"automaticAdmission":false,"archiveWrite":false} retention=NO

РЕКУРСИВНЫЕ AN/ANA ПО МЕРАМ dispatcher=formal-rule/AN/v1 + formal-rule/ANA/v1 scope={"carrier":"DENSE_ORDERED_BASE_ATOMS","axis":"CLASS_M","fromClass":1,"toClass":8,"classCount":8,"selectedRuleIds":["AN","ANA","ALT","CONTAIN","ADJ","DIST","OVERLAP","STABLE"],"jointPresenceApplied":true} глубина=2 · рядов=32 · результатов=47 категории={"NO_REGULARITY_FOUND":32,"REGULARITY":8,"CANDIDATE_UNVERIFIED":7} фиксация=NO NO_REGULARITY_FOUND · D1 · RULE/AN/T · NO_RELATION · AN/ANA точной identity в текущем объявленном исследовательском носителе не найдено; это не утверждение об отсутствии других закономерностей. NO_REGULARITY_FOUND · D1 · RULE/AN/Z · NO_RELATION · AN/ANA точной identity в текущем объявленном исследовательском носителе не найдено; это не утверждение об отсутствии других закономерностей. NO_REGULARITY_FOUND · D1 · RULE/AN/A · NO_RELATION · AN/ANA точной identity в текущем объявленном исследовательском носителе не найдено; это не утверждение об отсутствии других закономерностей. REGULARITY · D1 · RULE/ANA/T · AN · Максимальный AN-пробег завершён внутри исследованного носителя; следующий точный атом является границей повторения. NO_REGULARITY_FOUND · D1 · RULE/ANA/Z · NO_RELATION · AN/ANA точной identity в текущем объявленном исследовательском носителе не найдено; это не утверждение об отсутствии других закономерностей. REGULARITY · D1 · RULE/ANA/A · AN · Максимальный AN-пробег завершён внутри исследованного носителя; следующий точный атом является границей повторения. REGULARITY · D1 · RULE/ALT/T · AN · Максимальный AN-пробег завершён внутри исследованного носителя; следующий точный атом является границей повторения. NO_REGULARITY_FOUND · D1 · RULE/ALT/Z · NO_RELATION · AN/ANA точной identity в текущем объявленном исследовательском носителе не найдено; это не утверждение об отсутствии других закономерностей. REGULARITY · D1 · RULE/ALT/A · AN · Максимальный AN-пробег завершён внутри исследованного носителя; следующий точный атом является границей повторения. CANDIDATE_UNVERIFIED · D1 · RULE/CONTAIN/T · AN · Отношение достигает правой границы переданного носителя либо является возвратом ANA; универсальное продолжение не доказано. NO_REGULARITY_FOUND · D1 · RULE/CONTAIN/Z · NO_RELATION · AN/ANA точной identity в текущем объявленном исследовательском носителе не найдено; это не утверждение об отсутствии других закономерностей. CANDIDATE_UNVERIFIED · D1 · RULE/CONTAIN/A · AN · Отношение достигает правой границы переданного носителя либо является возвратом ANA; универсальное продолжение не доказано. NO_REGULARITY_FOUND · D1 · RULE/ADJ/T · NO_RELATION · AN/ANA точной identity в текущем объявленном исследовательском носителе не найдено; это не утверждение об отсутствии других закономерностей. CANDIDATE_UNVERIFIED · D1 · RULE/ADJ/Z · AN · Отношение достигает правой границы переданного носителя либо является возвратом ANA; универсальное продолжение не доказано. NO_REGULARITY_FOUND · D1 · RULE/ADJ/A · NO_RELATION · AN/ANA точной identity в текущем объявленном исследовательском носителе не найдено; это не утверждение об отсутствии других закономерностей. CANDIDATE_UNVERIFIED · D1 · RULE/DIST/T · AN · Отношение достигает правой границы переданного носителя либо является возвратом ANA; универсальное продолжение не доказано. NO_REGULARITY_FOUND · D1 · RULE/DIST/Z · NO_RELATION · AN/ANA точной identity в текущем объявленном исследовательском носителе не найдено; это не утверждение об отсутствии других закономерностей. CANDIDATE_UNVERIFIED · D1 · RULE/DIST/A · AN · Отношение достигает правой границы переданного носителя либо является возвратом ANA; универсальное продолжение не доказано. CANDIDATE_UNVERIFIED · D1 · RULE/OVERLAP/T · AN · Отношение достигает правой границы переданного носителя либо является возвратом ANA; универсальное продолжение не доказано. NO_REGULARITY_FOUND · D1 · RULE/OVERLAP/Z · NO_RELATION · AN/ANA точной identity в текущем объявленном исследовательском носителе не найдено; это не утверждение об отсутствии других закономерностей. CANDIDATE_UNVERIFIED · D1 · RULE/OVERLAP/A · AN · Отношение достигает правой границы переданного носителя либо является возвратом ANA; универсальное продолжение не доказано. NO_REGULARITY_FOUND · D1 · RULE/STABLE/T · NO_RELATION · AN/ANA точной identity в текущем объявленном исследовательском носителе не найдено; это не утверждение об отсутствии других закономерностей. NO_REGULARITY_FOUND · D1 · RULE/STABLE/Z · NO_RELATION · AN/ANA точной identity в текущем объявленном исследовательском носителе не найдено; это не утверждение об отсутствии других закономерностей. NO_REGULARITY_FOUND · D1 · RULE/STABLE/A · NO_RELATION · AN/ANA точной identity в текущем объявленном исследовательском носителе не найдено; это не утверждение об отсутствии других закономерностей. NO_REGULARITY_FOUND · D1 · RULE/AN/K/0 · NO_RELATION · AN/ANA точной identity в текущем объявленном исследовательском носителе не найдено; это не утверждение об отсутствии других закономерностей. NO_REGULARITY_FOUND · D1 · JOINT/J0 · NO_RELATION · AN/ANA точной identity в текущем объявленном исследовательском носителе не найдено; это не утверждение об отсутствии других закономерностей. NO_REGULARITY_FOUND · D1 · JOINT/J1 · NO_RELATION · AN/ANA точной identity в текущем объявленном исследовательском носителе не найдено; это не утверждение об отсутствии других закономерностей. REGULARITY · D1 · JOINT/J2 · AN · Максимальный AN-пробег завершён внутри исследованного носителя; следующий точный атом является границей повторения. REGULARITY · D1 · JOINT/J3 · AN · Максимальный AN-пробег завершён внутри исследованного носителя; следующий точный атом является границей повторения. REGULARITY · D1 · JOINT/J4 · AN · Максимальный AN-пробег завершён внутри исследованного носителя; следующий точный атом является границей повторения. REGULARITY · D1 · JOINT/J5 · AN · Максимальный AN-пробег завершён внутри исследованного носителя; следующий точный атом является границей повторения. NO_REGULARITY_FOUND · D1 · JOINT/VECTOR · NO_RELATION · AN/ANA точной identity в текущем объявленном исследовательском носителе не найдено; это не утверждение об отсутствии других закономерностей. NO_REGULARITY_FOUND · D2 · RULE/ANA/T/RELATIONS/D1 · NO_RELATION · AN/ANA точной identity в текущем объявленном исследовательском носителе не найдено; это не утверждение об отсутствии других закономерностей. NO_REGULARITY_FOUND · D2 · RULE/ANA/A/RELATIONS/D1 · NO_RELATION · AN/ANA точной identity в текущем объявленном исследовательском носителе не найдено; это не утверждение об отсутствии других закономерностей. NO_REGULARITY_FOUND · D2 · RULE/ALT/T/RELATIONS/D1 · NO_RELATION · AN/ANA точной identity в текущем объявленном исследовательском носителе не найдено; это не утверждение об отсутствии других закономерностей. NO_REGULARITY_FOUND · D2 · RULE/ALT/A/RELATIONS/D1 · NO_RELATION · AN/ANA точной identity в текущем объявленном исследовательском носителе не найдено; это не утверждение об отсутствии других закономерностей. NO_REGULARITY_FOUND · D2 · RULE/CONTAIN/T/RELATIONS/D1 · NO_RELATION · AN/ANA точной identity в текущем объявленном исследовательском носителе не найдено; это не утверждение об отсутствии других закономерностей. NO_REGULARITY_FOUND · D2 · RULE/CONTAIN/A/RELATIONS/D1 · NO_RELATION · AN/ANA точной identity в текущем объявленном исследовательском носителе не найдено; это не утверждение об отсутствии других закономерностей. NO_REGULARITY_FOUND · D2 · RULE/ADJ/Z/RELATIONS/D1 · NO_RELATION · AN/ANA точной identity в текущем объявленном исследовательском носителе не найдено; это не утверждение об отсутствии других закономерностей. NO_REGULARITY_FOUND · D2 · RULE/DIST/T/RELATIONS/D1 · NO_RELATION · AN/ANA точной identity в текущем объявленном исследовательском носителе не найдено; это не утверждение об отсутствии других закономерностей. NO_REGULARITY_FOUND · D2 · RULE/DIST/A/RELATIONS/D1 · NO_RELATION · AN/ANA точной identity в текущем объявленном исследовательском носителе не найдено; это не утверждение об отсутствии других закономерностей. NO_REGULARITY_FOUND · D2 · RULE/OVERLAP/T/RELATIONS/D1 · NO_RELATION · AN/ANA точной identity в текущем объявленном исследовательском носителе не найдено; это не утверждение об отсутствии других закономерностей. NO_REGULARITY_FOUND · D2 · RULE/OVERLAP/A/RELATIONS/D1 · NO_RELATION · AN/ANA точной identity в текущем объявленном исследовательском носителе не найдено; это не утверждение об отсутствии других закономерностей. NO_REGULARITY_FOUND · D2 · JOINT/J2/RELATIONS/D1 · NO_RELATION · AN/ANA точной identity в текущем объявленном исследовательском носителе не найдено; это не утверждение об отсутствии других закономерностей. NO_REGULARITY_FOUND · D2 · JOINT/J3/RELATIONS/D1 · NO_RELATION · AN/ANA точной identity в текущем объявленном исследовательском носителе не найдено; это не утверждение об отсутствии других закономерностей. NO_REGULARITY_FOUND · D2 · JOINT/J4/RELATIONS/D1 · NO_RELATION · AN/ANA точной identity в текущем объявленном исследовательском носителе не найдено; это не утверждение об отсутствии других закономерностей. NO_REGULARITY_FOUND · D2 · JOINT/J5/RELATIONS/D1 · NO_RELATION · AN/ANA точной identity в текущем объявленном исследовательском носителе не найдено; это не утверждение об отсутствии других закономерностей.

CANDIDATESPACE total=10 · boundary=WHOLE_CURRENT_SPACE state — lifecycle CandidateSpace; evidence — уровень доказательства; scope — принадлежность текущей сессии. #0 · GEOMETRIC_CLASS_TRANSPORT · state=VERIFIED · evidence=VERIFIED_RANGE · scope=OUT_OF_CURRENT_SESSION · ClassTransportLaw({"axis":"CLASS_M","family":"GEOMETRIC_CLASS_TRANSPORT","formula":"y(M+1)=ay(M)+b","parameters":{"a":"9","b":"0"}}) #1 · LINEAR_RECURRENCE_CLASS_LAW · state=VERIFIED · evidence=VERIFIED_RANGE · scope=OUT_OF_CURRENT_SESSION · ClassTransportLaw({"axis":"CLASS_M","family":"LINEAR_RECURRENCE_CLASS_LAW","formula":"y(M)=Σ[j=1…r] c_jy(M−j)","parameters":{"coefficients":["9"],"initialValues":["10"],"order":1}}) #2 · FINITE_STATE_RECURSIVE_LAW · state=VERIFIED · evidence=VERIFIED_UNIVERSAL · scope=OUT_OF_CURRENT_SESSION · FiniteStateLaw({"id":"decimal-no-an-alt-intersection-transition","scope":{"basis":"decimal.v1","carrier":"DENSE_ORDERED_BASE_ATOMS","claim":"Z_AC0 recurrence and AN×ALT Boolean intersection building block","classes":"ALL_FINITE_M>=3"},"version":"decimal-no-an-alt-intersection-transition/1"}) #3 · NOVEL_DEFINITION · state=OBSERVED · evidence=NOT_CLASSIFIED_IN_SESSION · scope=OUT_OF_SCOPE · Novelty({"family":"NOVEL_DEFINITION","minimalDefinition":{"definitionId":"DD.CONTAIN.0","identity":"CONTAIN(L0;coverage=5;31:SYM(L0;axis=odd;3:L663:L112:L0))","layer":"derived","rule":"CONTAIN","schema":"formal-novel-definition/1","shape":"CONTAIN:members=5:coverage=5","version":1}}) #4 · NOVEL_DEFINITION · state=OBSERVED · evidence=NOT_CLASSIFIED_IN_SESSION · scope=OUT_OF_CURRENT_SESSION · Novelty({"family":"NOVEL_DEFINITION","minimalDefinition":{"definitionId":"DD.OVERLAP.0","identity":"OVERLAP(L0;length=2;15:ANA(3:L11;2:L0)33:ANA(2:L0;3:L113:L662:L42:L53:L12))","layer":"derived","rule":"OVERLAP","schema":"formal-novel-definition/1","shape":"OVERLAP:length=2:left=ANA:right=ANA","version":1}}) #5 · NOVEL_DEFINITION · state=OBSERVED · evidence=NOT_CLASSIFIED_IN_SESSION · scope=OUT_OF_SCOPE · Novelty({"family":"NOVEL_DEFINITION","minimalDefinition":{"definitionId":"DD.SYM.0","identity":"SYM(L0;axis=odd;3:L663:L112:L0)","layer":"derived","rule":"SYM","schema":"formal-novel-definition/1","shape":"SYM:axis=odd:length=5:eq=0,1,2,1,0","version":1}}) #6 · NOVEL_DEFINITION · state=OBSERVED · evidence=NOT_CLASSIFIED_IN_SESSION · scope=OUT_OF_CURRENT_SESSION · Novelty({"family":"NOVEL_DEFINITION","minimalDefinition":{"definitionId":"PD.L1.0","identity":"ANA(2:L5;3:L193:L663:L112:L03:L113:L662:L4)","layer":"primary","rule":"ANA","schema":"formal-novel-definition/1","shape":null,"version":1}}) #7 · NOVEL_DEFINITION · state=OBSERVED · evidence=NOT_CLASSIFIED_IN_SESSION · scope=OUT_OF_CURRENT_SESSION · Novelty({"family":"NOVEL_DEFINITION","minimalDefinition":{"definitionId":"PD.L1.1","identity":"ANA(3:L66;3:L112:L03:L11)","layer":"primary","rule":"ANA","schema":"formal-novel-definition/1","shape":null,"version":1}}) #8 · NOVEL_DEFINITION · state=OBSERVED · evidence=NOT_CLASSIFIED_IN_SESSION · scope=OUT_OF_CURRENT_SESSION · Novelty({"family":"NOVEL_DEFINITION","minimalDefinition":{"definitionId":"PD.L1.2","identity":"ANA(3:L11;2:L0)","layer":"primary","rule":"ANA","schema":"formal-novel-definition/1","shape":null,"version":1}}) #9 · NOVEL_DEFINITION · state=OBSERVED · evidence=NOT_CLASSIFIED_IN_SESSION · scope=OUT_OF_CURRENT_SESSION · Novelty({"family":"NOVEL_DEFINITION","minimalDefinition":{"definitionId":"PD.L1.3","identity":"ANA(2:L0;3:L113:L662:L42:L53:L12)","layer":"primary","rule":"ANA","schema":"formal-novel-definition/1","shape":null,"version":1}})

ГРАНИЦЫ сводка является проекцией текущей сессии; исходные окна сохранены VERIFIED_RANGE не означает универсальный закон; VERIFIED_UNIVERSAL относится только к заявленным claims сертификата SYM исключён из текущего восьмиправильного scope; несвязанные записи CONTAIN/OVERLAP помечаются OUT_OF_CURRENT_SESSION, а не OUT_OF_SCOPE finiteSeriesDoesNotProveUniversalLaw=YES · recursiveRepeatFiniteScopeDoesNotProveUniversalLaw=YES · automaticAdmission=NO · archiveWrite=NO