АЛГЕБРАИЧЕСКАЯ БАШНЯ · COMPLETE N.A.Tenetko

schema=formal-automatic-algebraic-ui-tower/2 · revision=text|1|64|0|6|40progress=1/1 axes · sharedDispatcher=formal-long-operation-dispatcher/1Φ(ATOM_RANK) · sourceBasis=ru108.v1 · inputDomain=EXACT_INTEGERMeasure₀ · исходная типизированная скалярная проекция · atoms=40├─ ПРОИЗВОДНАЯ ВЕТВЬ│ ├─ DIFFERENCE^1 · atoms=39 · relations=0 · domain=EXACT_INTEGER│ ├─ DIFFERENCE^2 · atoms=38 · relations=0 · domain=EXACT_INTEGER│ ├─ DIFFERENCE^3 · atoms=37 · relations=0 · domain=EXACT_INTEGER│ └─ DIFFERENCE^4 · atoms=36 · relations=0 · domain=EXACT_INTEGER├─ RATIO · atoms=0 · relations=0 · domain=DOMAIN_NOT_APPLICABLE├─ PREFIX_SUM · atoms=40 · relations=5 · domain=EXACT_INTEGER├─ МОДУЛЯРНЫЕ ПРОЕКЦИИ│ ├─ MOD(2) · atoms=40 · relations=7 · domain=MODULAR(2)│ ├─ MOD(3) · atoms=40 · relations=4 · domain=MODULAR(3)│ ├─ MOD(4) · atoms=40 · relations=1 · domain=MODULAR(4)│ ├─ MOD(5) · atoms=40 · relations=1 · domain=MODULAR(5)│ ├─ MOD(6) · atoms=40 · relations=4 · domain=MODULAR(6)│ ├─ MOD(7) · atoms=40 · relations=1 · domain=MODULAR(7)│ └─ MOD(8) · atoms=40 · relations=1 · domain=MODULAR(8)├─ SHIFT(1) · atoms=39 · relations=0 · domain=EXACT_INTEGER├─ AFFINE(2,1) · atoms=40 · relations=0 · domain=EXACT_INTEGER└─ ДОКАЗАННЫЕ СВЯЗИ МЕЖДУ ВЕТВЯМИ├─ SHIFT_DIFFERENCE_COMMUTATION · atoms=0 · relations=1 · domain=RELATION├─ AFFINE_DIFFERENCE_TRANSPORT · atoms=0 · relations=1 · domain=RELATION├─ AFFINE_SHIFT_COMMUTATION · atoms=0 · relations=1 · domain=RELATION├─ SCALE_RATIO_INVARIANCE · atoms=0 · relations=0 · domain=DOMAIN_NOT_APPLICABLE├─ PREFIX_SUM_DIFFERENCE_SHIFT_TRANSPORT · atoms=0 · relations=1 · domain=RELATIONНАЙДЕННЫЕ ОТНОШЕНИЯtotal=28 · PROJECTED_STABLE=5; PROJECTED_PERIODIC=19; SHIFT_DIFFERENCE_COMMUTATION=1; AFFINE_DIFFERENCE_TRANSPORT=1; AFFINE_SHIFT_COMMUTATION=1; PREFIX_SUM_DIFFERENCE_SHIFT_TRANSPORT=1verifier=ADDRESSABLE_ON_DEMAND · domainOrResourceMisses=17ПРИМЕРЫ АДРЕСУЕМЫХ СВИДЕТЕЛЬСТВ#0 · PROJECTED_STABLE · span=[0,9) · axis=PREFIX_SUM(ATOM_RANK); domain=formal-prefix-sum-domain/1(ru108.v1); projectedValue=145#1 · PROJECTED_STABLE · span=[0,15) · axis=PREFIX_SUM(ATOM_RANK); domain=formal-prefix-sum-domain/1(ru108.v1); projectedValue=243#2 · PROJECTED_STABLE · span=[0,27) · axis=PREFIX_SUM(ATOM_RANK); domain=formal-prefix-sum-domain/1(ru108.v1); projectedValue=602#3 · PROJECTED_STABLE · span=[0,33) · axis=PREFIX_SUM(ATOM_RANK); domain=formal-prefix-sum-domain/1(ru108.v1); projectedValue=700#4 · PROJECTED_STABLE · span=[0,39) · axis=PREFIX_SUM(ATOM_RANK); domain=formal-prefix-sum-domain/1(ru108.v1); projectedValue=869#5 · PROJECTED_PERIODIC · span=[0,8) · axis=MOD_2(ATOM_RANK); coordinateDomain=formal-modular-domain/1(2;ru108.v1); exactDomain=MODULAR(2); period=3; projectedCycle=0 mod 2,1 mod 2,1 mod 2#6 · PROJECTED_PERIODIC · span=[5,11) · axis=MOD_2(ATOM_RANK); coordinateDomain=formal-modular-domain/1(2;ru108.v1); exactDomain=MODULAR(2); period=2; projectedCycle=1 mod 2,0 mod 2#7 · PROJECTED_PERIODIC · span=[8,15) · axis=MOD_2(ATOM_RANK); coordinateDomain=formal-modular-domain/1(2;ru108.v1); exactDomain=MODULAR(2); period=3; projectedCycle=0 mod 2,1 mod 2,0 mod 2#8 · PROJECTED_PERIODIC · span=[18,26) · axis=MOD_2(ATOM_RANK); coordinateDomain=formal-modular-domain/1(2;ru108.v1); exactDomain=MODULAR(2); period=3; projectedCycle=0 mod 2,1 mod 2,1 mod 2#9 · PROJECTED_PERIODIC · span=[23,29) · axis=MOD_2(ATOM_RANK); coordinateDomain=formal-modular-domain/1(2;ru108.v1); exactDomain=MODULAR(2); period=2; projectedCycle=1 mod 2,0 mod 2#10 · PROJECTED_PERIODIC · span=[26,33) · axis=MOD_2(ATOM_RANK); coordinateDomain=formal-modular-domain/1(2;ru108.v1); exactDomain=MODULAR(2); period=3; projectedCycle=0 mod 2,1 mod 2,0 mod 2#11 · PROJECTED_PERIODIC · span=[28,40) · axis=MOD_2(ATOM_RANK); coordinateDomain=formal-modular-domain/1(2;ru108.v1); exactDomain=MODULAR(2); period=6; projectedCycle=0 mod 2,0 mod 2,1 mod 2,0 mod 2,0 mod 2,0 mod 2РЕКУРСИВНЫЙ МАРШРУТOperatorAtom → existing FormalRuleDispatcher → RuleSystem → graph/nesting → RecognitionDelta → CandidateSpacerouteState=READY_FOR_CURRENT_REVISIONГРАНИЦЫderivedOutput≠Observation · Candidate≠FormalRule · admission=EXPLICIT_ONLYarchiveWrite=NO · worksetWrite=NO · candidateSpaceWrite=NO · storedResultTable=NO#логика #классификация