СВОДКА ИССЛЕДОВАТЕЛЬСКОЙ СЕССИИ · ПОЛНЫЙ ЧИТАЕМЫЙ ОТЧЁТ
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
decimal.v1 | класс ввода M=5 | диапазон M=1…8 | k=0
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 не перечисляются.
M=1 | variants with exactly k=0: 10 | without=10 | with=0 | T=0
M=2 | variants with exactly k=0: 90 | without=90 | with=10 | T=10
M=3 | variants with exactly k=0: 810 | without=810 | with=190 | T=190
M=4 | variants with exactly k=0: 7290 | without=7290 | with=2710 | T=2800
-> M=5 | variants with exactly k=0: 65610 | without=65610 | with=34390 | T=37000
M=6 | variants with exactly k=0: 590490 | without=590490 | with=409510 | T=460000
M=7 | variants with exactly k=0: 5314410 | without=5314410 | with=4685590 | T=5500000
M=8 | variants with exactly k=0: 47829690 | without=47829690 | with=52170310 | T=64000000
Показано классов: 8 / адресуемая ось 0…8 | ArchiveWrite=NO | admission=NO
СОВМЕСТНАЯ МЕЖКЛАССОВАЯ КАРТА | 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=10*9=90; b3=10*9*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 и не карта пересечения интервалов.
M=1 | variants=10^1
J0 | нет AN, ANA, ALT, STABLE | variants=10
J1 | только AN | variants=0
J2 | ANA без AN и ALT | variants=0
J3 | ANA + ALT без AN | variants=0
J4 | AN + ANA без ALT | variants=0
J5 | AN + ANA + ALT | variants=0
M=2 | variants=10^2
J0 | нет AN, ANA, ALT, STABLE | variants=90
J1 | только AN | variants=10
J2 | ANA без AN и ALT | variants=0
J3 | ANA + ALT без AN | variants=0
J4 | AN + ANA без ALT | variants=0
J5 | AN + ANA + ALT | variants=0
M=3 | variants=10^3
J0 | нет AN, ANA, ALT, STABLE | variants=720
J1 | только AN | variants=190
J2 | ANA без AN и ALT | variants=90
J3 | ANA + ALT без AN | variants=0
J4 | AN + ANA без ALT | variants=0
J5 | AN + ANA + ALT | variants=0
M=4 | variants=10^4
J0 | нет AN, ANA, ALT, STABLE | variants=5040
J1 | только AN | variants=2440
J2 | ANA без AN и ALT | variants=2160
J3 | ANA + ALT без AN | variants=90
J4 | AN + ANA без ALT | variants=270
J5 | AN + ANA + ALT | variants=0
M=5 <- current input class | variants=10^5
J0 | нет AN, ANA, ALT, STABLE | variants=30240
J1 | только AN | variants=24850
J2 | ANA без AN и ALT | variants=33840
J3 | ANA + ALT без AN | variants=1530
J4 | AN + ANA без ALT | variants=9360
J5 | AN + ANA + ALT | variants=180
M=6 | variants=10^6
J0 | нет AN, ANA, ALT, STABLE | variants=151200
J1 | только AN | variants=209260
J2 | ANA без AN и ALT | variants=419040
J3 | ANA + ALT без AN | variants=20250
J4 | AN + ANA без ALT | variants=195300
J5 | AN + ANA + ALT | variants=4950
M=7 | variants=10^7
J0 | нет AN, ANA, ALT, STABLE | variants=604800
J1 | только AN | variants=1472950
J2 | ANA без AN и ALT | variants=4469760
J3 | ANA + ALT без AN | variants=239850
J4 | AN + ANA без ALT | variants=3120210
J5 | AN + ANA + ALT | variants=92430
M=8 | variants=10^8
J0 | нет AN, ANA, ALT, STABLE | variants=1814400
J1 | только AN | variants=8659360
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)=a*y(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_j*y(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