N.A.Tenetko — Sequence Pattern Lab, Formal, Logic
N.A.Tenetko — Sequence Pattern Lab, Formal, Logic Date: 06.09.2026, 19:08:37 ═══════════════════════════════════════════════════════════
INPUT SEQUENCE ─────────────── 000100020003000400050006000700233323232323238746826308000900100011001200130014001500160017001800190020002100220030003100320033003400350036003700380020043004400450046004700480049005011112223334343555666778882838486686723
Length: 219 digits
═══════════════════════════════════════════════════════════ MDL ANALYSIS ═══════════════════════════════════════════════════════════
Source description: 727.5 бит Rule description: 525.2 бит Savings: 27.8% Compression ratio: 1.39× Verified: YES
BEST RULE ─────────────── «00» ⊕ «0» ⊕ «1» ⊕ «00» ⊕ «020003000400…238746826308» ⊕ pad(9 + i·(1), 4), i < 14 ⊕ pad(30 + i·(1), 4), i < 7 ⊕ «003700380020…838486686723» ───────────────
МНОГОМЕРНЫЕ ОТНОШЕНИЯ НАД ФОРМАЛЬНОЙ БАШНЕЙ · ПОЛНОЕ ОКНО N.A.Tenetko schema=formal-derived-relation-space-view/1; layer=DERIVED_LIVE; dependency=FormalRelations108 exact snapshot; ownDefinitions=YES; ownOccurrences=YES sourceClass=509; window=[0,40) counts=ALT:0; CONTAIN:0; ADJ:4; DIST:6; OVERLAP:13; SEQ:0; SYM:0; STABLE:0 identityExport=complete; omittedDefinitions=0; exportedIdentityChars=3161 duplicateAudit=PASS; definitionIdentityDuplicates=0; exactOccurrenceDuplicates=0; occurrenceReferenceDuplicates=0; expectedRecurrentOccurrences=0
D5 DIST @source[4…18) sourceLevel=L0 children=3 gap=1 leftEnd=7 rightStart=9 childSpans=4:8,8:9,9:18 canonicalChars=92 D8 DIST @source[4…25) sourceLevel=L0 children=5 gap=3 leftEnd=7 rightStart=11 childSpans=4:8,8:9,9:10,10:11,11:25 canonicalChars=126 D9 DIST @source[4…33) sourceLevel=L0 children=6 gap=4 leftEnd=7 rightStart=12 childSpans=4:8,8:9,9:10,10:11,11:12,12:33 canonicalChars=164 D10 DIST @source[4…22) sourceLevel=L0 children=9 gap=7 leftEnd=7 rightStart=15 childSpans=4:8,8:9,9:10,10:11,11:12,12:13,13:14,14:15,15:22 canonicalChars=111 D3 ADJ @source[7…31) sourceLevel=L0 children=2 gap=0 leftEnd=15 rightStart=16 childSpans=7:16,16:31 canonicalChars=137 D6 DIST @source[7…21) sourceLevel=L0 children=3 gap=1 leftEnd=15 rightStart=17 childSpans=7:16,16:17,17:21 canonicalChars=91 D7 DIST @source[9…36) sourceLevel=L0 children=4 gap=2 leftEnd=17 rightStart=20 childSpans=9:18,18:19,19:20,20:36 canonicalChars=151 D2 ADJ @source[17…32) sourceLevel=L0 children=2 gap=0 leftEnd=20 rightStart=21 childSpans=17:21,21:32 canonicalChars=93 D1 ADJ @source[3…37) sourceLevel=L0 children=2 gap=0 leftEnd=29 rightStart=30 childSpans=3:30,30:37 canonicalChars=186 D4 ADJ @source[16…38) sourceLevel=L0 children=2 gap=0 leftEnd=30 rightStart=31 childSpans=16:31,31:38 canonicalChars=126 D18 OVERLAP @source[1…24) sourceLevel=L0 children=2 end=22 length=21 start=2 childSpans=1:23,2:24 canonicalChars=246 D17 OVERLAP @source[2…30) sourceLevel=L0 children=2 end=23 length=21 start=3 childSpans=2:24,3:30 canonicalChars=269 D12 OVERLAP @source[4…16) sourceLevel=L0 children=2 end=7 length=1 start=7 childSpans=4:8,7:16 canonicalChars=93 D23 OVERLAP @source[7…18) sourceLevel=L0 children=2 end=15 length=7 start=9 childSpans=7:16,9:18 canonicalChars=117 D22 OVERLAP @source[9…25) sourceLevel=L0 children=2 end=17 length=7 start=11 childSpans=9:18,11:25 canonicalChars=141 D15 OVERLAP @source[11…33) sourceLevel=L0 children=2 end=24 length=13 start=12 childSpans=11:25,12:33 canonicalChars=200 D19 OVERLAP @source[9…22) sourceLevel=L0 children=2 end=17 length=3 start=15 childSpans=9:18,15:22 canonicalChars=107 D21 OVERLAP @source[15…31) sourceLevel=L0 children=2 end=21 length=6 start=16 childSpans=15:22,16:31 canonicalChars=134 D13 OVERLAP @source[9…21) sourceLevel=L0 children=2 end=17 length=1 start=17 childSpans=9:18,17:21 canonicalChars=92 D11 OVERLAP @source[17…36) sourceLevel=L0 children=2 end=20 length=1 start=20 childSpans=17:21,20:36 canonicalChars=123 D14 OVERLAP @source[16…32) sourceLevel=L0 children=2 end=30 length=10 start=21 childSpans=16:31,21:32 canonicalChars=153 D16 OVERLAP @source[21…37) sourceLevel=L0 children=2 end=31 length=2 start=30 childSpans=21:32,30:37 canonicalChars=114 D20 OVERLAP @source[30…38) sourceLevel=L0 children=2 end=36 length=6 start=31 childSpans=30:37,31:38 canonicalChars=95
СТРУКТУРНАЯ АДРЕСАЦИЯ ПРОИЗВОДНЫХ DEFINITION schema=structural-coordinate-report108/2; codec=operator-definition-binary/v2; order=binary-class-symmetric-order/1; positionMode=virtual coordinateOutput=compact prefix; complete coordinate is reconstructed from rule + parameters + structural references; canonical identity is computed; huge position is not materialized ALPHABET level=1 idAlias=MA108:L1:N23:rule-v2 entries=23 immutable=YES persistentEntryTable=NO exactOrder=reconstructed Definition rows by localRank D13 rule=OVERLAP level=1 localRank=0 alphabetIdAlias=MA108:L1:N23:rule-v2 coordinate=DC:operator-definition-binary/v2:C1473:111010110010000101001001… position=virtual canonicalChars=92 D12 rule=OVERLAP level=1 localRank=1 alphabetIdAlias=MA108:L1:N23:rule-v2 coordinate=DC:operator-definition-binary/v2:C1483:111010110010000101001001… position=virtual canonicalChars=93 D6 rule=DIST level=1 localRank=2 alphabetIdAlias=MA108:L1:N23:rule-v2 coordinate=DC:operator-definition-binary/v2:C1566:111010110010000100101001… position=virtual canonicalChars=91 D20 rule=OVERLAP level=1 localRank=3 alphabetIdAlias=MA108:L1:N23:rule-v2 coordinate=DC:operator-definition-binary/v2:C1570:111010110010000101001001… position=virtual canonicalChars=95 D5 rule=DIST level=1 localRank=4 alphabetIdAlias=MA108:L1:N23:rule-v2 coordinate=DC:operator-definition-binary/v2:C1576:111010110010000100101001… position=virtual canonicalChars=92 D2 rule=ADJ level=1 localRank=5 alphabetIdAlias=MA108:L1:N23:rule-v2 coordinate=DC:operator-definition-binary/v2:C1663:111010110010000100001001… position=virtual canonicalChars=93 D19 rule=OVERLAP level=1 localRank=6 alphabetIdAlias=MA108:L1:N23:rule-v2 coordinate=DC:operator-definition-binary/v2:C1826:111010110010000101001001… position=virtual canonicalChars=107 D16 rule=OVERLAP level=1 localRank=7 alphabetIdAlias=MA108:L1:N23:rule-v2 coordinate=DC:operator-definition-binary/v2:C2032:111010110010000101001001… position=virtual canonicalChars=114 D10 rule=DIST level=1 localRank=8 alphabetIdAlias=MA108:L1:N23:rule-v2 coordinate=DC:operator-definition-binary/v2:C2034:111010110010000100101001… position=virtual canonicalChars=111 D23 rule=OVERLAP level=1 localRank=9 alphabetIdAlias=MA108:L1:N23:rule-v2 coordinate=DC:operator-definition-binary/v2:C2062:111010110010000101001001… position=virtual canonicalChars=117 D11 rule=OVERLAP level=1 localRank=10 alphabetIdAlias=MA108:L1:N23:rule-v2 coordinate=DC:operator-definition-binary/v2:C2256:111010110010000101001001… position=virtual canonicalChars=123 D8 rule=DIST level=1 localRank=11 alphabetIdAlias=MA108:L1:N23:rule-v2 coordinate=DC:operator-definition-binary/v2:C2387:111010110010000100101001… position=virtual canonicalChars=126 D4 rule=ADJ level=1 localRank=12 alphabetIdAlias=MA108:L1:N23:rule-v2 coordinate=DC:operator-definition-binary/v2:C2464:111010110010000100001001… position=virtual canonicalChars=126 D21 rule=OVERLAP level=1 localRank=13 alphabetIdAlias=MA108:L1:N23:rule-v2 coordinate=DC:operator-definition-binary/v2:C2500:111010110010000101001001… position=virtual canonicalChars=134 D22 rule=OVERLAP level=1 localRank=14 alphabetIdAlias=MA108:L1:N23:rule-v2 coordinate=DC:operator-definition-binary/v2:C2639:111010110010000101001001… position=virtual canonicalChars=141 D3 rule=ADJ level=1 localRank=15 alphabetIdAlias=MA108:L1:N23:rule-v2 coordinate=DC:operator-definition-binary/v2:C2710:111010110010000100001001… position=virtual canonicalChars=137 D14 rule=OVERLAP level=1 localRank=16 alphabetIdAlias=MA108:L1:N23:rule-v2 coordinate=DC:operator-definition-binary/v2:C2962:111010110010000101001001… position=virtual canonicalChars=153 D7 rule=DIST level=1 localRank=17 alphabetIdAlias=MA108:L1:N23:rule-v2 coordinate=DC:operator-definition-binary/v2:C3045:111010110010000100101001… position=virtual canonicalChars=151 D9 rule=DIST level=1 localRank=18 alphabetIdAlias=MA108:L1:N23:rule-v2 coordinate=DC:operator-definition-binary/v2:C3297:111010110010000100101001… position=virtual canonicalChars=164 D1 rule=ADJ level=1 localRank=19 alphabetIdAlias=MA108:L1:N23:rule-v2 coordinate=DC:operator-definition-binary/v2:C3862:111010110010000100001001… position=virtual canonicalChars=186 D15 rule=OVERLAP level=1 localRank=20 alphabetIdAlias=MA108:L1:N23:rule-v2 coordinate=DC:operator-definition-binary/v2:C4029:111010110010000101001001… position=virtual canonicalChars=200 D18 rule=OVERLAP level=1 localRank=21 alphabetIdAlias=MA108:L1:N23:rule-v2 coordinate=DC:operator-definition-binary/v2:C5086:111010110010000101001001… position=virtual canonicalChars=246 D17 rule=OVERLAP level=1 localRank=22 alphabetIdAlias=MA108:L1:N23:rule-v2 coordinate=DC:operator-definition-binary/v2:C5651:111010110010000101001001… position=virtual canonicalChars=269
ОПРЕДЕЛЕНИЯ D1 rule=ADJ occurrences=1 shape=ADJ:gap=0:left=ANA:right=ANA identity=ADJ(L0;gap=0;131:ANA(2:L9;3:L663:L193:L283:L663:L223:L153:L242:L53:L253:L293:L803:L663:L133:L152:L73:L143:L153:L663:L183:L122:L52:L43:L203:L313:L26)34:ANA(3:L13;3:L663:L252:L02:L33:L15)) D2 rule=ADJ occurrences=1 shape=ADJ:gap=0:left=ANA:right=ANA identity=ADJ(L0;gap=0;20:ANA(3:L15;2:L73:L14)53:ANA(3:L66;3:L183:L122:L52:L43:L203:L313:L262:L93:L13)) D3 rule=ADJ occurrences=1 shape=ADJ:gap=0:left=ANA:right=ANA identity=ADJ(L0;gap=0;45:ANA(3:L66;3:L223:L153:L242:L53:L253:L293:L80)72:ANA(3:L13;3:L152:L73:L143:L153:L663:L183:L122:L52:L43:L203:L313:L262:L9)) D4 rule=ADJ occurrences=1 shape=ADJ:gap=0:left=ANA:right=ANA identity=ADJ(L0;gap=0;72:ANA(3:L13;3:L152:L73:L143:L153:L663:L183:L122:L52:L43:L203:L313:L262:L9)34:ANA(3:L66;3:L252:L02:L33:L153:L13)) D5 rule=DIST occurrences=1 shape=DIST:gap=1:left=ANA:right=ANA identity=DIST(L0;gap=1;21:ANA(3:L66;3:L193:L28)3:L2245:ANA(3:L15;3:L242:L53:L253:L293:L803:L663:L13)) D6 rule=DIST occurrences=1 shape=DIST:gap=1:left=ANA:right=ANA identity=DIST(L0;gap=1;45:ANA(3:L66;3:L223:L153:L242:L53:L253:L293:L80)3:L1320:ANA(3:L15;2:L73:L14)) D7 rule=DIST occurrences=1 shape=DIST:gap=2:left=ANA:right=ANA identity=DIST(L0;gap=2;45:ANA(3:L15;3:L242:L53:L253:L293:L803:L663:L13)2:L73:L1476:ANA(3:L15;3:L663:L183:L122:L52:L43:L203:L313:L262:L93:L133:L663:L252:L02:L3)) D8 rule=DIST occurrences=1 shape=DIST:gap=3:left=ANA:right=ANA identity=DIST(L0;gap=3;21:ANA(3:L66;3:L193:L28)3:L223:L153:L2469:ANA(2:L5;3:L253:L293:L803:L663:L133:L152:L73:L143:L153:L663:L183:L12)) D9 rule=DIST occurrences=1 shape=DIST:gap=4:left=ANA:right=ANA identity=DIST(L0;gap=4;21:ANA(3:L66;3:L193:L28)3:L223:L153:L242:L5102:ANA(3:L25;3:L293:L803:L663:L133:L152:L73:L143:L153:L663:L183:L122:L52:L43:L203:L313:L262:L93:L133:L66)) D10 rule=DIST occurrences=1 shape=DIST:gap=7:left=ANA:right=ANA identity=DIST(L0;gap=7;21:ANA(3:L66;3:L193:L28)3:L223:L153:L242:L53:L253:L293:L8035:ANA(3:L66;3:L133:L152:L73:L143:L15)) D11 rule=OVERLAP occurrences=1 shape=OVERLAP:length=1:left=ANA:right=ANA identity=OVERLAP(L0;length=1;20:ANA(3:L15;2:L73:L14)76:ANA(3:L15;3:L663:L183:L122:L52:L43:L203:L313:L262:L93:L133:L663:L252:L02:L3)) D12 rule=OVERLAP occurrences=1 shape=OVERLAP:length=1:left=ANA:right=ANA identity=OVERLAP(L0;length=1;21:ANA(3:L66;3:L193:L28)45:ANA(3:L66;3:L223:L153:L242:L53:L253:L293:L80)) D13 rule=OVERLAP occurrences=1 shape=OVERLAP:length=1:left=ANA:right=ANA identity=OVERLAP(L0;length=1;45:ANA(3:L15;3:L242:L53:L253:L293:L803:L663:L13)20:ANA(3:L15;2:L73:L14)) D14 rule=OVERLAP occurrences=1 shape=OVERLAP:length=10:left=ANA:right=ANA identity=OVERLAP(L0;length=10;72:ANA(3:L13;3:L152:L73:L143:L153:L663:L183:L122:L52:L43:L203:L313:L262:L9)53:ANA(3:L66;3:L183:L122:L52:L43:L203:L313:L262:L93:L13)) D15 rule=OVERLAP occurrences=1 shape=OVERLAP:length=13:left=ANA:right=ANA identity=OVERLAP(L0;length=13;69:ANA(2:L5;3:L253:L293:L803:L663:L133:L152:L73:L143:L153:L663:L183:L12)102:ANA(3:L25;3:L293:L803:L663:L133:L152:L73:L143:L153:L663:L183:L122:L52:L43:L203:L313:L262:L93:L133:L66)) D16 rule=OVERLAP occurrences=1 shape=OVERLAP:length=2:left=ANA:right=ANA identity=OVERLAP(L0;length=2;53:ANA(3:L66;3:L183:L122:L52:L43:L203:L313:L262:L93:L13)34:ANA(3:L13;3:L663:L252:L02:L33:L15)) D17 rule=OVERLAP occurrences=1 shape=OVERLAP:length=21:left=ANA:right=ANA identity=OVERLAP(L0;length=21;108:ANA(3:L12;2:L93:L663:L193:L283:L663:L223:L153:L242:L53:L253:L293:L803:L663:L133:L152:L73:L143:L153:L663:L18)131:ANA(2:L9;3:L663:L193:L283:L663:L223:L153:L242:L53:L253:L293:L803:L663:L133:L152:L73:L143:L153:L663:L183:L122:L52:L43:L203:L313:L26)) D18 rule=OVERLAP occurrences=1 shape=OVERLAP:length=21:left=ANA:right=ANA identity=OVERLAP(L0;length=21;108:ANA(3:L18;3:L122:L93:L663:L193:L283:L663:L223:L153:L242:L53:L253:L293:L803:L663:L133:L152:L73:L143:L153:L66)108:ANA(3:L12;2:L93:L663:L193:L283:L663:L223:L153:L242:L53:L253:L293:L803:L663:L133:L152:L73:L143:L153:L663:L18)) D19 rule=OVERLAP occurrences=1 shape=OVERLAP:length=3:left=ANA:right=ANA identity=OVERLAP(L0;length=3;45:ANA(3:L15;3:L242:L53:L253:L293:L803:L663:L13)35:ANA(3:L66;3:L133:L152:L73:L143:L15)) D20 rule=OVERLAP occurrences=1 shape=OVERLAP:length=6:left=ANA:right=ANA identity=OVERLAP(L0;length=6;34:ANA(3:L13;3:L663:L252:L02:L33:L15)34:ANA(3:L66;3:L252:L02:L33:L153:L13)) D21 rule=OVERLAP occurrences=1 shape=OVERLAP:length=6:left=ANA:right=ANA identity=OVERLAP(L0;length=6;35:ANA(3:L66;3:L133:L152:L73:L143:L15)72:ANA(3:L13;3:L152:L73:L143:L153:L663:L183:L122:L52:L43:L203:L313:L262:L9)) D22 rule=OVERLAP occurrences=1 shape=OVERLAP:length=7:left=ANA:right=ANA identity=OVERLAP(L0;length=7;45:ANA(3:L15;3:L242:L53:L253:L293:L803:L663:L13)69:ANA(2:L5;3:L253:L293:L803:L663:L133:L152:L73:L143:L153:L663:L183:L12)) D23 rule=OVERLAP occurrences=1 shape=OVERLAP:length=7:left=ANA:right=ANA identity=OVERLAP(L0;length=7;45:ANA(3:L66;3:L223:L153:L242:L53:L253:L293:L80)45:ANA(3:L15;3:L242:L53:L253:L293:L803:L663:L13))
КАРТА ФОРМАЛЬНЫХ ЗАКОНОМЕРНОСТЕЙ N.A.Tenetko schema=formal-pattern-catalog-view/11; registry=formal-rule-registry/1; discovery=formal-discovery-baseline/1; generatorIR=formal-generator-ir-passport/14; ruleSystems=formal-rule-system-discovery/1; ruleSystemGraphs=formal-rule-system-graph-discovery/1; ruleSystemNesting=formal-rule-system-nesting-discovery/1; recursiveRuleSystems=formal-rule-system-recursive-closure/1 registeredRules=10; baselineDiscoveryFamilies=10; canonicalGeneratorLaws=18; visibleCandidateChannels=16; observedRuleSystems=2; observedRuleSystemGraphs=0; observedNestedRuleSystems=0; recursiveAdmittedOutputs=0 Эти величины описывают разные оси и НЕ СКЛАДЫВАЮТСЯ в число независимых типов.
A · НАЙДЕНО В ТЕКУЩЕМ ВВОДЕ state=LIVE; observationRevision=11; window=[0,40) of 509 activeRuleKinds=4; activeRules=ANA,ADJ,DIST,OVERLAP; highestRelationLevel=L1 primaryOccurrences=15; primaryDefinitions=15; recurrentDefinitions=0 derivedOccurrences=23; derivedDefinitions=23 COUNTS · AN=0; ANA=15; ADJ=4; ALT=0; CONTAIN=0; DIST=6; OVERLAP=13; SEQ=0; STABLE=0; SYM=0
УРОВНИ ТЕКУЩЕЙ ФОРМАЛЬНОЙ БАШНИ L0 → L1 · input=40 · relations=15 · ANA=15 L1 → L2 · input=15 · relations=0 · закономерности не найдены
A.G · СОСТОЯНИЯ G=BETWEEN И ОТНОШЕНИЯ МЕЖДУ НИМИ schema=formal-separation-analysis108/1; atom=formal-separation-operator-atom/1; dispatcher=formal-rule-dispatcher/1 G atoms=15; AN over G=0; ANA over G=0; levels=L1 G является новым адресуемым объектом анализа; применяются существующие admitted AN/ANA, новое правило автоматически не создаётся. G1 · L1 · G(20,5217254058408828712895072253388887166135) · source=[2,22) · parent=ANA G2 · L1 · G(20,4148581046237254700674636170398115650779) · source=[3,23) · parent=ANA G3 · L1 · G(25,419649062328670371570673765977135592488612914193519) · source=[4,29) · parent=ANA G4 · L1 · G(2,2081) · source=[5,7) · parent=ANA G5 · L1 · G(7,35134906083165) · source=[8,15) · parent=ANA G6 · L1 · G(7,38161888848806) · source=[10,17) · parent=ANA G7 · L1 · G(12,589331775991730072136709) · source=[12,24) · parent=ANA G8 · L1 · G(19,118867232822366539748516160396411732559) · source=[13,32) · parent=ANA G9 · L1 · G(5,1787614504) · source=[16,21) · parent=ANA G10 · L1 · G(13,37938820186862026212531826) · source=[17,30) · parent=ANA G11 · L1 · G(2,771) · source=[18,20) · parent=ANA G12 · L1 · G(14,17995124539302123668975467924) · source=[21,35) · parent=ANA G13 · L1 · G(9,335232022878345146) · source=[22,31) · parent=ANA G14 · L1 · G(5,9010720276) · source=[31,36) · parent=ANA G15 · L1 · G(5,3401259026) · source=[32,37) · parent=ANA ОТНОШЕНИЯ НАД G повторения или возвраты одинаковых G в выбранном окне не найдены persistent=NO; sourceOfTruth=NO; storedGapTable=NO; storedRelationTable=NO; archiveWrite=NO; automaticAdmission=NO
A.RS · НАБЛЮДАЕМЫЕ СИСТЕМЫ ПРАВИЛ canonicalCandidates=2; sourceItems=38; minimumSupport=2 Точная повторная композиция сохраняется как один canonical RuleSystemCandidate; до verifier и explicit admission она не является правилом.
A.RSG · НАБЛЮДАЕМЫЕ ВЕТВЯЩИЕСЯ СИСТЕМЫ canonicalGraphCandidates=0; observedBranchingGraphs=23; bounds=depth≤4, nodes≤64, edges≤128 Одинаковая ordered graph topology с точными версиями правил становится RuleSystemGraphCandidate только после второго наблюдения.
A.RSN · ВЛОЖЕННЫЕ СИСТЕМЫ · ПАУТИНА В ПАУТИНЕ canonicalNestingCandidates=0; parentsWithNesting=0; nestedAtoms=0 Вложенная система выводится из уже наблюдаемого bounded RuleSystem-графа по canonical node; произвольный поиск подграфов и таблица маршрутов отсутствуют.
A.RS∞ · РЕКУРСИВНАЯ ПАУТИНА ПАУТИН admittedSystems=0; levelsBuilt=0; exactOutputs=0; nextGraphCandidates=0; nextNestingCandidates=0 Только проверенное и явно admitted правило исполняется над наблюдаемой структурой; его точный результат становится OperatorAtom следующего уровня. RecognitionDelta → CandidateSpace · recursiveGraph=0; recursiveNesting=0; canonicalNovelty=WAITING_FOR_RECOGNITION; verifier=REQUIRED; admission=EXPLICIT_ONLY
НАБЛЮДАЕМЫЙ ВЕКТОР МОЩНОСТИ СИСТЕМЫ · БЕЗ ЛОЖНОГО СКАЛЯРНОГО SCORE schema=formal-system-diversity-vector/1; scope=CURRENT_LIVE_WINDOW; profileCoverage=2/2; profileState=COMPLETE ЦЕПОЧКИ · candidates=2; ruleKinds=3; distinctTransitions=2; maxStages=2; stageHistogram=2:2 ГРАФЫ · candidates=0; topologyProfiles=0; ruleKinds=0; maxNodes=0; maxEdges=0; maxDepth=0; branchNodes=0; sharedNodes=0; graphsWithShared=0 ВЛОЖЕННОСТЬ · candidates=0; topologyProfiles=0; parentSystems=0; maxNestedNodes=0; maxNestedEdges=0; maxNestedDepth=0; maxEntryDepth=0 ПЕРЕХОДЫ МЕЖДУ ПРАВИЛАМИ · ANA→ADJ,ANA→OVERLAP КЛАССЫ ГРАФОВ · NONE КЛАССЫ ВЛОЖЕННОСТИ · NONE ПРЕДСТАВИТЕЛИ ЦЕПОЧЕК · ANA→ADJ | ANA→OVERLAP ПРЕДСТАВИТЕЛИ ВЛОЖЕННОСТИ · NONE ИНТЕРПРЕТАЦИЯ · оси не складываются; candidate count ≠ число admitted rules; observed power ≠ formal validity. collapse=CANONICAL_STRUCTURE_AND_DIMENSION_PROFILE; exactCandidates=COUNT_FOCUS_RESTORE; storedSummaryTable=NO; archiveWrite=NO; sourceOfTruth=NO
РАЗРЕЗ ПРОЯВЛЕНИЙ · ПРАВИЛО × ЦЕЛЕВОЙ УРОВЕНЬ L1 · total=38 · ADJ=4; ANA=15; DIST=6; OVERLAP=13 BOUNDARY · анализируется выбранное адресное окно, а не весь носитель
АКТИВНАЯ ПРОЕКЦИЯ=STRUCTURE
ПОЛНЫЙ АДРЕСУЕМЫЙ СОСТАВ ВЫБРАННОЙ ПРОЕКЦИИ · filterRule=ALL; filterLevel=ALL; definitions=38 DERIVED D1 · L1 · ADJ · coordinate=DC:operator-definition-binary/v2:C3862:111010110010000100001001… · rank=19 · occurrences=1 · spans=[3,37) · children=ANA · params={gap=0,leftEnd=29,rightStart=30} · identity=ADJ(L0;gap=0;131:ANA(2:L9;3:L663:L193:L283:L663:L223:L153:L242:L53:L253:L293:L803:L663:L133:L152:L73:L143:L153:L663:L183:L122:L52:L43:L203:L313:L26)34:ANA(3:L13;3:L663:L252:L02:L33:L15)) ↳ O1 · source=[3,37) · ordinal=8 · children=2 · childRules=ANA · gap=0,leftEnd=29,rightStart=30 DERIVED D2 · L1 · ADJ · coordinate=DC:operator-definition-binary/v2:C1663:111010110010000100001001… · rank=5 · occurrences=1 · spans=[17,32) · children=ANA · params={gap=0,leftEnd=20,rightStart=21} · identity=ADJ(L0;gap=0;20:ANA(3:L15;2:L73:L14)53:ANA(3:L66;3:L183:L122:L52:L43:L203:L313:L262:L93:L13)) ↳ O1 · source=[17,32) · ordinal=7 · children=2 · childRules=ANA · gap=0,leftEnd=20,rightStart=21 DERIVED D3 · L1 · ADJ · coordinate=DC:operator-definition-binary/v2:C2710:111010110010000100001001… · rank=15 · occurrences=1 · spans=[7,31) · children=ANA · params={gap=0,leftEnd=15,rightStart=16} · identity=ADJ(L0;gap=0;45:ANA(3:L66;3:L223:L153:L242:L53:L253:L293:L80)72:ANA(3:L13;3:L152:L73:L143:L153:L663:L183:L122:L52:L43:L203:L313:L262:L9)) ↳ O1 · source=[7,31) · ordinal=4 · children=2 · childRules=ANA · gap=0,leftEnd=15,rightStart=16 DERIVED D4 · L1 · ADJ · coordinate=DC:operator-definition-binary/v2:C2464:111010110010000100001001… · rank=12 · occurrences=1 · spans=[16,38) · children=ANA · params={gap=0,leftEnd=30,rightStart=31} · identity=ADJ(L0;gap=0;72:ANA(3:L13;3:L152:L73:L143:L153:L663:L183:L122:L52:L43:L203:L313:L262:L9)34:ANA(3:L66;3:L252:L02:L33:L153:L13)) ↳ O1 · source=[16,38) · ordinal=9 · children=2 · childRules=ANA · gap=0,leftEnd=30,rightStart=31 PRIMARY F1.1 · L1 · ANA · coordinate=DC:operator-definition-binary/v2:C1527:111010110010011010100011… · rank=8 · occurrences=1 · spans=[11,25) · children=base · scale=12 · identity=ANA(2:L5;3:L253:L293:L803:L663:L133:L152:L73:L143:L153:L663:L183:L12) ↳ O1 · source=[11,25) · ordinal=7 · children=14 · childRules=base PRIMARY F1.2 · L1 · ANA · coordinate=DC:operator-definition-binary/v2:C3020:111010110010011010100001… · rank=14 · occurrences=1 · spans=[3,30) · children=base · scale=25 · identity=ANA(2:L9;3:L663:L193:L283:L663:L223:L153:L242:L53:L253:L293:L803:L663:L133:L152:L73:L143:L153:L663:L183:L122:L52:L43:L203:L313:L26) ↳ O1 · source=[3,30) · ordinal=8 · children=27 · childRules=base PRIMARY F1.3 · L1 · ANA · coordinate=DC:operator-definition-binary/v2:C2455:111010110010011010100001… · rank=13 · occurrences=1 · spans=[2,24) · children=base · scale=20 · identity=ANA(3:L12;2:L93:L663:L193:L283:L663:L223:L153:L242:L53:L253:L293:L803:L663:L133:L152:L73:L143:L153:L663:L18) ↳ O1 · source=[2,24) · ordinal=6 · children=22 · childRules=base PRIMARY F1.4 · L1 · ANA · coordinate=DC:operator-definition-binary/v2:C1624:111010110010011010100011… · rank=9 · occurrences=1 · spans=[16,31) · children=base · scale=13 · identity=ANA(3:L13;3:L152:L73:L143:L153:L663:L183:L122:L52:L43:L203:L313:L262:L9) ↳ O1 · source=[16,31) · ordinal=9 · children=15 · childRules=base PRIMARY F1.5 · L1 · ANA · coordinate=DC:operator-definition-binary/v2:C706:111010110010011010100111… · rank=3 · occurrences=1 · spans=[30,37) · children=base · scale=5 · identity=ANA(3:L13;3:L663:L252:L02:L33:L15) ↳ O1 · source=[30,37) · ordinal=13 · children=7 · childRules=base PRIMARY F1.6 · L1 · ANA · coordinate=DC:operator-definition-binary/v2:C365:111010110010011010100100… · rank=0 · occurrences=1 · spans=[17,21) · children=base · scale=2 · identity=ANA(3:L15;2:L73:L14) ↳ O1 · source=[17,21) · ordinal=3 · children=4 · childRules=base PRIMARY F1.7 · L1 · ANA · coordinate=DC:operator-definition-binary/v2:C952:111010110010011010100010… · rank=6 · occurrences=1 · spans=[9,18) · children=base · scale=7 · identity=ANA(3:L15;3:L242:L53:L253:L293:L803:L663:L13) ↳ O1 · source=[9,18) · ordinal=2 · children=9 · childRules=base PRIMARY F1.8 · L1 · ANA · coordinate=DC:operator-definition-binary/v2:C1733:111010110010011010100001… · rank=10 · occurrences=1 · spans=[20,36) · children=base · scale=14 · identity=ANA(3:L15;3:L663:L183:L122:L52:L43:L203:L313:L262:L93:L133:L663:L252:L02:L3) ↳ O1 · source=[20,36) · ordinal=12 · children=16 · childRules=base PRIMARY F1.9 · L1 · ANA · coordinate=DC:operator-definition-binary/v2:C2455:111010110010011010100001… · rank=12 · occurrences=1 · spans=[1,23) · children=base · scale=20 · identity=ANA(3:L18;3:L122:L93:L663:L193:L283:L663:L223:L153:L242:L53:L253:L293:L803:L663:L133:L152:L73:L143:L153:L66) ↳ O1 · source=[1,23) · ordinal=5 · children=22 · childRules=base PRIMARY F1.10 · L1 · ANA · coordinate=DC:operator-definition-binary/v2:C2328:111010110010011010100001… · rank=11 · occurrences=1 · spans=[12,33) · children=base · scale=19 · identity=ANA(3:L25;3:L293:L803:L663:L133:L152:L73:L143:L153:L663:L183:L122:L52:L43:L203:L313:L262:L93:L133:L66) ↳ O1 · source=[12,33) · ordinal=11 · children=21 · childRules=base PRIMARY F1.11 · L1 · ANA · coordinate=DC:operator-definition-binary/v2:C716:111010110010011010100111… · rank=4 · occurrences=1 · spans=[15,22) · children=base · scale=5 · identity=ANA(3:L66;3:L133:L152:L73:L143:L15) ↳ O1 · source=[15,22) · ordinal=4 · children=7 · childRules=base PRIMARY F1.12 · L1 · ANA · coordinate=DC:operator-definition-binary/v2:C1166:111010110010011010100010… · rank=7 · occurrences=1 · spans=[21,32) · children=base · scale=9 · identity=ANA(3:L66;3:L183:L122:L52:L43:L203:L313:L262:L93:L13) ↳ O1 · source=[21,32) · ordinal=10 · children=11 · childRules=base PRIMARY F1.13 · L1 · ANA · coordinate=DC:operator-definition-binary/v2:C375:111010110010011010100100… · rank=1 · occurrences=1 · spans=[4,8) · children=base · scale=2 · identity=ANA(3:L66;3:L193:L28) ↳ O1 · source=[4,8) · ordinal=0 · children=4 · childRules=base PRIMARY F1.14 · L1 · ANA · coordinate=DC:operator-definition-binary/v2:C952:111010110010011010100010… · rank=5 · occurrences=1 · spans=[7,16) · children=base · scale=7 · identity=ANA(3:L66;3:L223:L153:L242:L53:L253:L293:L80) ↳ O1 · source=[7,16) · ordinal=1 · children=9 · childRules=base PRIMARY F1.15 · L1 · ANA · coordinate=DC:operator-definition-binary/v2:C706:111010110010011010100111… · rank=2 · occurrences=1 · spans=[31,38) · children=base · scale=5 · identity=ANA(3:L66;3:L252:L02:L33:L153:L13) ↳ O1 · source=[31,38) · ordinal=14 · children=7 · childRules=base DERIVED D5 · L1 · DIST · coordinate=DC:operator-definition-binary/v2:C1576:111010110010000100101001… · rank=4 · occurrences=1 · spans=[4,18) · children=ANA+base · params={gap=1,leftEnd=7,rightStart=9} · identity=DIST(L0;gap=1;21:ANA(3:L66;3:L193:L28)3:L2245:ANA(3:L15;3:L242:L53:L253:L293:L803:L663:L13)) ↳ O1 · source=[4,18) · ordinal=0 · children=3 · childRules=ANA+base · gap=1,leftEnd=7,rightStart=9 DERIVED D6 · L1 · DIST · coordinate=DC:operator-definition-binary/v2:C1566:111010110010000100101001… · rank=2 · occurrences=1 · spans=[7,21) · children=ANA+base · params={gap=1,leftEnd=15,rightStart=17} · identity=DIST(L0;gap=1;45:ANA(3:L66;3:L223:L153:L242:L53:L253:L293:L80)3:L1320:ANA(3:L15;2:L73:L14)) ↳ O1 · source=[7,21) · ordinal=5 · children=3 · childRules=ANA+base · gap=1,leftEnd=15,rightStart=17 DERIVED D7 · L1 · DIST · coordinate=DC:operator-definition-binary/v2:C3045:111010110010000100101001… · rank=17 · occurrences=1 · spans=[9,36) · children=ANA+base · params={gap=2,leftEnd=17,rightStart=20} · identity=DIST(L0;gap=2;45:ANA(3:L15;3:L242:L53:L253:L293:L803:L663:L13)2:L73:L1476:ANA(3:L15;3:L663:L183:L122:L52:L43:L203:L313:L262:L93:L133:L663:L252:L02:L3)) ↳ O1 · source=[9,36) · ordinal=6 · children=4 · childRules=ANA+base · gap=2,leftEnd=17,rightStart=20 DERIVED D8 · L1 · DIST · coordinate=DC:operator-definition-binary/v2:C2387:111010110010000100101001… · rank=11 · occurrences=1 · spans=[4,25) · children=ANA+base · params={gap=3,leftEnd=7,rightStart=11} · identity=DIST(L0;gap=3;21:ANA(3:L66;3:L193:L28)3:L223:L153:L2469:ANA(2:L5;3:L253:L293:L803:L663:L133:L152:L73:L143:L153:L663:L183:L12)) ↳ O1 · source=[4,25) · ordinal=1 · children=5 · childRules=ANA+base · gap=3,leftEnd=7,rightStart=11 DERIVED D9 · L1 · DIST · coordinate=DC:operator-definition-binary/v2:C3297:111010110010000100101001… · rank=18 · occurrences=1 · spans=[4,33) · children=ANA+base · params={gap=4,leftEnd=7,rightStart=12} · identity=DIST(L0;gap=4;21:ANA(3:L66;3:L193:L28)3:L223:L153:L242:L5102:ANA(3:L25;3:L293:L803:L663:L133:L152:L73:L143:L153:L663:L183:L122:L52:L43:L203:L313:L262:L93:L133:L66)) ↳ O1 · source=[4,33) · ordinal=2 · children=6 · childRules=ANA+base · gap=4,leftEnd=7,rightStart=12 DERIVED D10 · L1 · DIST · coordinate=DC:operator-definition-binary/v2:C2034:111010110010000100101001… · rank=8 · occurrences=1 · spans=[4,22) · children=ANA+base · params={gap=7,leftEnd=7,rightStart=15} · identity=DIST(L0;gap=7;21:ANA(3:L66;3:L193:L28)3:L223:L153:L242:L53:L253:L293:L8035:ANA(3:L66;3:L133:L152:L73:L143:L15)) ↳ O1 · source=[4,22) · ordinal=3 · children=9 · childRules=ANA+base · gap=7,leftEnd=7,rightStart=15 DERIVED D11 · L1 · OVERLAP · coordinate=DC:operator-definition-binary/v2:C2256:111010110010000101001001… · rank=10 · occurrences=1 · spans=[17,36) · children=ANA · params={end=20,length=1,start=20} · identity=OVERLAP(L0;length=1;20:ANA(3:L15;2:L73:L14)76:ANA(3:L15;3:L663:L183:L122:L52:L43:L203:L313:L262:L93:L133:L663:L252:L02:L3)) ↳ O1 · source=[17,36) · ordinal=19 · children=2 · childRules=ANA · end=20,length=1,start=20 DERIVED D12 · L1 · OVERLAP · coordinate=DC:operator-definition-binary/v2:C1483:111010110010000101001001… · rank=1 · occurrences=1 · spans=[4,16) · children=ANA · params={end=7,length=1,start=7} · identity=OVERLAP(L0;length=1;21:ANA(3:L66;3:L193:L28)45:ANA(3:L66;3:L223:L153:L242:L53:L253:L293:L80)) ↳ O1 · source=[4,16) · ordinal=12 · children=2 · childRules=ANA · end=7,length=1,start=7 DERIVED D13 · L1 · OVERLAP · coordinate=DC:operator-definition-binary/v2:C1473:111010110010000101001001… · rank=0 · occurrences=1 · spans=[9,21) · children=ANA · params={end=17,length=1,start=17} · identity=OVERLAP(L0;length=1;45:ANA(3:L15;3:L242:L53:L253:L293:L803:L663:L13)20:ANA(3:L15;2:L73:L14)) ↳ O1 · source=[9,21) · ordinal=18 · children=2 · childRules=ANA · end=17,length=1,start=17 DERIVED D14 · L1 · OVERLAP · coordinate=DC:operator-definition-binary/v2:C2962:111010110010000101001001… · rank=16 · occurrences=1 · spans=[16,32) · children=ANA · params={end=30,length=10,start=21} · identity=OVERLAP(L0;length=10;72:ANA(3:L13;3:L152:L73:L143:L153:L663:L183:L122:L52:L43:L203:L313:L262:L9)53:ANA(3:L66;3:L183:L122:L52:L43:L203:L313:L262:L93:L13)) ↳ O1 · source=[16,32) · ordinal=20 · children=2 · childRules=ANA · end=30,length=10,start=21 DERIVED D15 · L1 · OVERLAP · coordinate=DC:operator-definition-binary/v2:C4029:111010110010000101001001… · rank=20 · occurrences=1 · spans=[11,33) · children=ANA · params={end=24,length=13,start=12} · identity=OVERLAP(L0;length=13;69:ANA(2:L5;3:L253:L293:L803:L663:L133:L152:L73:L143:L153:L663:L183:L12)102:ANA(3:L25;3:L293:L803:L663:L133:L152:L73:L143:L153:L663:L183:L122:L52:L43:L203:L313:L262:L93:L133:L66)) ↳ O1 · source=[11,33) · ordinal=15 · children=2 · childRules=ANA · end=24,length=13,start=12 DERIVED D16 · L1 · OVERLAP · coordinate=DC:operator-definition-binary/v2:C2032:111010110010000101001001… · rank=7 · occurrences=1 · spans=[21,37) · children=ANA · params={end=31,length=2,start=30} · identity=OVERLAP(L0;length=2;53:ANA(3:L66;3:L183:L122:L52:L43:L203:L313:L262:L93:L13)34:ANA(3:L13;3:L663:L252:L02:L33:L15)) ↳ O1 · source=[21,37) · ordinal=21 · children=2 · childRules=ANA · end=31,length=2,start=30 DERIVED D17 · L1 · OVERLAP · coordinate=DC:operator-definition-binary/v2:C5651:111010110010000101001001… · rank=22 · occurrences=1 · spans=[2,30) · children=ANA · params={end=23,length=21,start=3} · identity=OVERLAP(L0;length=21;108:ANA(3:L12;2:L93:L663:L193:L283:L663:L223:L153:L242:L53:L253:L293:L803:L663:L133:L152:L73:L143:L153:L663:L18)131:ANA(2:L9;3:L663:L193:L283:L663:L223:L153:L242:L53:L253:L293:L803:L663:L133:L152:L73:L143:L153:L663:L183:L122:L52:L43:L203:L313:L26)) ↳ O1 · source=[2,30) · ordinal=11 · children=2 · childRules=ANA · end=23,length=21,start=3 DERIVED D18 · L1 · OVERLAP · coordinate=DC:operator-definition-binary/v2:C5086:111010110010000101001001… · rank=21 · occurrences=1 · spans=[1,24) · children=ANA · params={end=22,length=21,start=2} · identity=OVERLAP(L0;length=21;108:ANA(3:L18;3:L122:L93:L663:L193:L283:L663:L223:L153:L242:L53:L253:L293:L803:L663:L133:L152:L73:L143:L153:L66)108:ANA(3:L12;2:L93:L663:L193:L283:L663:L223:L153:L242:L53:L253:L293:L803:L663:L133:L152:L73:L143:L153:L663:L18)) ↳ O1 · source=[1,24) · ordinal=10 · children=2 · childRules=ANA · end=22,length=21,start=2 DERIVED D19 · L1 · OVERLAP · coordinate=DC:operator-definition-binary/v2:C1826:111010110010000101001001… · rank=6 · occurrences=1 · spans=[9,22) · children=ANA · params={end=17,length=3,start=15} · identity=OVERLAP(L0;length=3;45:ANA(3:L15;3:L242:L53:L253:L293:L803:L663:L13)35:ANA(3:L66;3:L133:L152:L73:L143:L15)) ↳ O1 · source=[9,22) · ordinal=16 · children=2 · childRules=ANA · end=17,length=3,start=15 DERIVED D20 · L1 · OVERLAP · coordinate=DC:operator-definition-binary/v2:C1570:111010110010000101001001… · rank=3 · occurrences=1 · spans=[30,38) · children=ANA · params={end=36,length=6,start=31} · identity=OVERLAP(L0;length=6;34:ANA(3:L13;3:L663:L252:L02:L33:L15)34:ANA(3:L66;3:L252:L02:L33:L153:L13)) ↳ O1 · source=[30,38) · ordinal=22 · children=2 · childRules=ANA · end=36,length=6,start=31 DERIVED D21 · L1 · OVERLAP · coordinate=DC:operator-definition-binary/v2:C2500:111010110010000101001001… · rank=13 · occurrences=1 · spans=[15,31) · children=ANA · params={end=21,length=6,start=16} · identity=OVERLAP(L0;length=6;35:ANA(3:L66;3:L133:L152:L73:L143:L15)72:ANA(3:L13;3:L152:L73:L143:L153:L663:L183:L122:L52:L43:L203:L313:L262:L9)) ↳ O1 · source=[15,31) · ordinal=17 · children=2 · childRules=ANA · end=21,length=6,start=16 DERIVED D22 · L1 · OVERLAP · coordinate=DC:operator-definition-binary/v2:C2639:111010110010000101001001… · rank=14 · occurrences=1 · spans=[9,25) · children=ANA · params={end=17,length=7,start=11} · identity=OVERLAP(L0;length=7;45:ANA(3:L15;3:L242:L53:L253:L293:L803:L663:L13)69:ANA(2:L5;3:L253:L293:L803:L663:L133:L152:L73:L143:L153:L663:L183:L12)) ↳ O1 · source=[9,25) · ordinal=14 · children=2 · childRules=ANA · end=17,length=7,start=11 DERIVED D23 · L1 · OVERLAP · coordinate=DC:operator-definition-binary/v2:C2062:111010110010000101001001… · rank=9 · occurrences=1 · spans=[7,18) · children=ANA · params={end=15,length=7,start=9} · identity=OVERLAP(L0;length=7;45:ANA(3:L66;3:L223:L153:L242:L53:L253:L293:L80)45:ANA(3:L15;3:L242:L53:L253:L293:L803:L663:L13)) ↳ O1 · source=[7,18) · ordinal=13 · children=2 · childRules=ANA · end=15,length=7,start=9 Каждая строка адресует существующую Definition; spans показывают её Occurrence, а не отдельную сохранённую таблицу.
E · КАНДИДАТЫ ТЕКУЩЕГО RECOGNITION DELTA state=NOT_CREATED; deltaId=NONE COMPOSE = — DEFINITION_TREE = — ITERATE = — NEST = — PARAMETER_BIND = — PARAMETER_PERMUTE = — RULE_SYSTEM_GRAPH · РЕКУРСИВНЫЙ ВЫХОД = — RULE_SYSTEM_NESTING · РЕКУРСИВНЫЙ ВЫХОД = — REPEAT = — RULE_MEASURE_LEVEL = — RULE_MEASURE_SCHEMA_PERMUTE_TRANSPORT = — RULE_MEASURE_SCHEMA_REUSE = — RULE_SYSTEM_GRAPH = — RULE_SYSTEM_NESTING = — PARAMETERIZED_BUILD_SHAPE = — BUILD_SHAPE = —
B · ЗАРЕГИСТРИРОВАННЫЕ ТОЧНЫЕ RELATION-ПРАВИЛА (10) 01 · AN · core · formal-rule/AN/v1 maximal immediate run of equal complete identity, repeatCount K >= 2 02 · ANA · core · formal-rule/ANA/v1 nearest previous equal complete identity separated by a typed non-empty BETWEEN state G(N,P) 03 · ALT · core · formal-rule/ALT/v1 maximal period-2 alternation of two distinct identities, length >= 4 04 · SEQ · core · formal-rule/SEQ/v1 contiguous tandem repetition with exact minimal period >= 2 05 · SYM · core · formal-rule/SYM/v1 maximal non-trivial mirror symmetry not reduced to a uniform AN run 06 · CONTAIN · core · formal-rule/CONTAIN/v1 explicit parent coverage of its ordered direct children 07 · ADJ · core · formal-rule/ADJ/v1 nearest completed previous structural occurrence with gap = 0 08 · DIST · core · formal-rule/DIST/v1 nearest completed previous structural occurrence with gap > 0 09 · OVERLAP · core · formal-rule/OVERLAP/v1 nearest previous crossing interval excluding containment 10 · STABLE · core · formal-rule/STABLE/v1 repeated exact identity or equal formal shape on multiple source levels
C · DISCOVERY-СЕМЕЙСТВА ТЕКУЩЕГО BASELINE (10) 01 · BUILD_SHAPE 02 · PARAMETERIZED_BUILD_SHAPE 03 · COMPOSE 04 · REPEAT 05 · NEST 06 · DEFINITION_TREE 07 · PARAMETER_BIND 08 · PARAMETER_PERMUTE 09 · ITERATE 10 · META_RELATION
D · КАНОНИЧЕСКИЕ ЗАКОНЫ FORMAL GENERATOR IR (18) 01 · COMPOSE_ASSOCIATIVE_FLATTEN · CANONICALIZATION 02 · COMPOSE_SINGLETON_IDENTITY · CANONICALIZATION 03 · REPEAT_ONE_IDENTITY · CANONICALIZATION 04 · BIND_EQUIVALENCE_CLOSURE_AND_ORDER · CANONICALIZATION 05 · BIND_NESTED_COMPOSITION · CANONICALIZATION 06 · BIND_PERMUTE_TRANSPORT · CANONICALIZATION 07 · BIND_LINKED_CORRESPONDING_BRANCH_GROUPS · CANONICALIZATION 08 · BIND_LINKED_SUBTREE_GROUP_COMPOSITION · CANONICALIZATION 09 · BIND_PERMUTE_LINKED_BRANCH_TRANSPORT · CANONICALIZATION 10 · RULE_MEASURE_LINKED_SUBTREE_LEVEL_COMPOSITION · LAW PASSPORT 11 · RULE_MEASURE_SCHEMA_SHARED_PARAMETER_SUBGENERATOR · LAW PASSPORT 12 · RULE_MEASURE_SCHEMA_PERMUTED_PARAMETER_SUBGENERATOR · LAW PASSPORT 13 · RULE_MEASURE_SCHEMA_RELATIVE_PERMUTE_COMPOSITION · LAW PASSPORT 14 · RULE_MEASURE_SCHEMA_RELATIVE_PERMUTE_CHAIN_CLOSURE · LAW PASSPORT 15 · EMPTY_BIND_IDENTITY · CANONICALIZATION 16 · IDENTITY_PERMUTATION · CANONICALIZATION 17 · PERMUTE_NESTED_COMPOSITION · CANONICALIZATION 18 · COMPOSED_IDENTITY_PERMUTATION · CANONICALIZATION
ГРАНИЦЫ ИНТЕРПРЕТАЦИИ registered rule = точный admitted OperatorAtom; candidate = сохранённая новизна вне реестра до verifier + explicit admission RuleSystemCandidate = каноническая повторная композиция admitted стадий; её наблюдение, проверка и полезность не дают automatic admission RuleSystemGraphCandidate = повторно наблюдаемая bounded ветвящаяся система; ordered edges и shared DAG nodes входят в canonical identity, но кандидат остаётся вне реестра до exact verifier и explicit admission RuleSystemNestingCandidate = реально наблюдаемая rooted система внутри RuleSystemGraph; nested root и parent graph входят в canonical identity, но не создают правило без exact verifier и explicit admission Recursive RuleSystem closure = только admitted exact rule → RelationOperatorAtom следующего уровня; candidate никогда не исполняется и не обучает систему автоматически одна структура может иметь несколько relation-координат, уровней и генераторных описаний новый канонический admitted FormalRule расширяет пространство; потенциальное число рекурсивных композиций заранее не фиксируется futureRegistryRules=AUTO; futureDiscoveryBaselineClasses=AUTO; futureGeneratorIRLaws=AUTO; futureCandidateChannels=AUTO persistent=NO; sourceOfTruth=NO; storedPatternTable=NO; archiveWrite=NO; automaticAdmission=NO
ФОРМАЛЬНАЯ РЕЛЯЦИОННАЯ БАШНЯ · ПОЛНОЕ ОКНО N.A.Tenetko sourceClass=509; window=[0,40) sourceWindowCoordinate=Coordinate108(class=40; position=767754709787092216856424615204756054259832099329469258772548802459339559573554369) identityExport=complete; omittedDefinitions=0; exportedIdentityChars=953
АРХИТЕКТУРНЫЙ ПАСПОРТ ОПЕРАТОРНОЙ БАШНИ basis=ru108.v1; sourceLevel=L0; sourceClass=509; addressedWindow=[0,40) builtTransitions=2; productiveTransitions=1; definitions=15; occurrences=15; recurrentDefinitions=0 coordinateLaw=P=1+sum(rank_i*radix^(class-1-i)); inverse=rankAt(i); longPosition=virtual identity=rule+parameters+ordered structural references; aliases=interface-only; Definition/Occurrence=separated reconstruction=top occurrence -> ordered children -> previous level -> source ranks; childOrderReversible=YES storage=potentialSpace:NO; fullVariantTable:NO; copiedLowerLevels:NO; persistentAlphabetEntryTable:NO duplicateAudit=PASS; definitionIdentityDuplicates=0; exactOccurrenceDuplicates=0; occurrenceReferenceDuplicates=0; expectedRecurrentOccurrences=0 TOWER L0 -> L1 · inputClass=40 · inputAlphabet=ru108.v1:L0:fixed108 · radix=108 · AN=0 · ANA=15 · outputOccurrences=15 · outputDefinitions=15 · recurrent=0 · sourceCoverage=[1,38) address=Coordinate(alphabetId=ru108.v1:L0:fixed108; class=40; position=virtual/projection); outputAtom=AVAILABLE; nextInput=ordered L1 occurrences TOWER L1 -> L2 · inputClass=15 · inputAlphabet=MA108:L1:N15:rule-v2 · radix=15 · AN=0 · ANA=0 · outputOccurrences=0 · outputDefinitions=0 · recurrent=0 · sourceCoverage=NONE address=Coordinate(alphabetId=MA108:L1:N15:rule-v2; class=15; position=virtual/projection); outputAtom=NONE; nextInput=STOP termination=NO_NEW_AN_ANA; windowExact=YES; sourceWindowTruncated=YES
LEVEL 0 → 1 · input=40 · relations=15 · alphabet=ru108.v1:L0:fixed108 · q=108 F1.9 = L18⟨G:20,5217254058408828712895072253388887166135⟩L18 @source[1…23) children=22 canonicalChars=108 F1.3 = L12⟨G:20,4148581046237254700674636170398115650779⟩L12 @source[2…24) children=22 canonicalChars=108 F1.2 = L9⟨G:25,419649062328670371570673765977135592488612914193519⟩L9 @source[3…30) children=27 canonicalChars=131 F1.13 = L66⟨G:2,2081⟩L66 @source[4…8) children=4 canonicalChars=21 F1.14 = L66⟨G:7,35134906083165⟩L66 @source[7…16) children=9 canonicalChars=45 F1.7 = L15⟨G:7,38161888848806⟩L15 @source[9…18) children=9 canonicalChars=45 F1.1 = L5⟨G:12,589331775991730072136709⟩L5 @source[11…25) children=14 canonicalChars=69 F1.10 = L25⟨G:19,118867232822366539748516160396411732559⟩L25 @source[12…33) children=21 canonicalChars=102 F1.11 = L66⟨G:5,1787614504⟩L66 @source[15…22) children=7 canonicalChars=35 F1.4 = L13⟨G:13,37938820186862026212531826⟩L13 @source[16…31) children=15 canonicalChars=72 F1.6 = L15⟨G:2,771⟩L15 @source[17…21) children=4 canonicalChars=20 F1.8 = L15⟨G:14,17995124539302123668975467924⟩L15 @source[20…36) children=16 canonicalChars=76 F1.12 = L66⟨G:9,335232022878345146⟩L66 @source[21…32) children=11 canonicalChars=53 F1.5 = L13⟨G:5,9010720276⟩L13 @source[30…37) children=7 canonicalChars=34 F1.15 = L66⟨G:5,3401259026⟩L66 @source[31…38) children=7 canonicalChars=34
LEVEL 1 → 2 · input=15 · relations=0 · alphabet=MA108:L1:N15:rule-v2 · q=15
СТРУКТУРНАЯ АДРЕСАЦИЯ DEFINITION schema=structural-coordinate-report108/2; codec=operator-definition-binary/v2; order=binary-class-symmetric-order/1; positionMode=virtual coordinateOutput=compact prefix; complete coordinate is reconstructed from rule + parameters + structural references; canonical identity is computed; huge position is not materialized ALPHABET level=1 idAlias=MA108:L1:N15:rule-v2 entries=15 immutable=YES exactOrder=Definition rows by localRank F1.6 level=1 localRank=0 alphabetIdAlias=MA108:L1:N15:rule-v2 coordinate=DC:operator-definition-binary/v2:C365:111010110010011010100100… position=virtual canonicalChars=20 F1.13 level=1 localRank=1 alphabetIdAlias=MA108:L1:N15:rule-v2 coordinate=DC:operator-definition-binary/v2:C375:111010110010011010100100… position=virtual canonicalChars=21 F1.15 level=1 localRank=2 alphabetIdAlias=MA108:L1:N15:rule-v2 coordinate=DC:operator-definition-binary/v2:C706:111010110010011010100111… position=virtual canonicalChars=34 F1.5 level=1 localRank=3 alphabetIdAlias=MA108:L1:N15:rule-v2 coordinate=DC:operator-definition-binary/v2:C706:111010110010011010100111… position=virtual canonicalChars=34 F1.11 level=1 localRank=4 alphabetIdAlias=MA108:L1:N15:rule-v2 coordinate=DC:operator-definition-binary/v2:C716:111010110010011010100111… position=virtual canonicalChars=35 F1.14 level=1 localRank=5 alphabetIdAlias=MA108:L1:N15:rule-v2 coordinate=DC:operator-definition-binary/v2:C952:111010110010011010100010… position=virtual canonicalChars=45 F1.7 level=1 localRank=6 alphabetIdAlias=MA108:L1:N15:rule-v2 coordinate=DC:operator-definition-binary/v2:C952:111010110010011010100010… position=virtual canonicalChars=45 F1.12 level=1 localRank=7 alphabetIdAlias=MA108:L1:N15:rule-v2 coordinate=DC:operator-definition-binary/v2:C1166:111010110010011010100010… position=virtual canonicalChars=53 F1.1 level=1 localRank=8 alphabetIdAlias=MA108:L1:N15:rule-v2 coordinate=DC:operator-definition-binary/v2:C1527:111010110010011010100011… position=virtual canonicalChars=69 F1.4 level=1 localRank=9 alphabetIdAlias=MA108:L1:N15:rule-v2 coordinate=DC:operator-definition-binary/v2:C1624:111010110010011010100011… position=virtual canonicalChars=72 F1.8 level=1 localRank=10 alphabetIdAlias=MA108:L1:N15:rule-v2 coordinate=DC:operator-definition-binary/v2:C1733:111010110010011010100001… position=virtual canonicalChars=76 F1.10 level=1 localRank=11 alphabetIdAlias=MA108:L1:N15:rule-v2 coordinate=DC:operator-definition-binary/v2:C2328:111010110010011010100001… position=virtual canonicalChars=102 F1.9 level=1 localRank=12 alphabetIdAlias=MA108:L1:N15:rule-v2 coordinate=DC:operator-definition-binary/v2:C2455:111010110010011010100001… position=virtual canonicalChars=108 F1.3 level=1 localRank=13 alphabetIdAlias=MA108:L1:N15:rule-v2 coordinate=DC:operator-definition-binary/v2:C2455:111010110010011010100001… position=virtual canonicalChars=108 F1.2 level=1 localRank=14 alphabetIdAlias=MA108:L1:N15:rule-v2 coordinate=DC:operator-definition-binary/v2:C3020:111010110010011010100001… position=virtual canonicalChars=131
ОПРЕДЕЛЕНИЯ F1.1 level=1 rule=ANA occurrences=1 identity=ANA(2:L5;3:L253:L293:L803:L663:L133:L152:L73:L143:L153:L663:L183:L12) F1.2 level=1 rule=ANA occurrences=1 identity=ANA(2:L9;3:L663:L193:L283:L663:L223:L153:L242:L53:L253:L293:L803:L663:L133:L152:L73:L143:L153:L663:L183:L122:L52:L43:L203:L313:L26) F1.3 level=1 rule=ANA occurrences=1 identity=ANA(3:L12;2:L93:L663:L193:L283:L663:L223:L153:L242:L53:L253:L293:L803:L663:L133:L152:L73:L143:L153:L663:L18) F1.4 level=1 rule=ANA occurrences=1 identity=ANA(3:L13;3:L152:L73:L143:L153:L663:L183:L122:L52:L43:L203:L313:L262:L9) F1.5 level=1 rule=ANA occurrences=1 identity=ANA(3:L13;3:L663:L252:L02:L33:L15) F1.6 level=1 rule=ANA occurrences=1 identity=ANA(3:L15;2:L73:L14) F1.7 level=1 rule=ANA occurrences=1 identity=ANA(3:L15;3:L242:L53:L253:L293:L803:L663:L13) F1.8 level=1 rule=ANA occurrences=1 identity=ANA(3:L15;3:L663:L183:L122:L52:L43:L203:L313:L262:L93:L133:L663:L252:L02:L3) F1.9 level=1 rule=ANA occurrences=1 identity=ANA(3:L18;3:L122:L93:L663:L193:L283:L663:L223:L153:L242:L53:L253:L293:L803:L663:L133:L152:L73:L143:L153:L66) F1.10 level=1 rule=ANA occurrences=1 identity=ANA(3:L25;3:L293:L803:L663:L133:L152:L73:L143:L153:L663:L183:L122:L52:L43:L203:L313:L262:L93:L133:L66) F1.11 level=1 rule=ANA occurrences=1 identity=ANA(3:L66;3:L133:L152:L73:L143:L15) F1.12 level=1 rule=ANA occurrences=1 identity=ANA(3:L66;3:L183:L122:L52:L43:L203:L313:L262:L93:L13) F1.13 level=1 rule=ANA occurrences=1 identity=ANA(3:L66;3:L193:L28) F1.14 level=1 rule=ANA occurrences=1 identity=ANA(3:L66;3:L223:L153:L242:L53:L253:L293:L80) F1.15 level=1 rule=ANA occurrences=1 identity=ANA(3:L66;3:L252:L02:L33:L153:L13)