{ "meta": { "schema": "loe.relational-math-graph.v0.1", "created_at": "2026-08-25", "root_id": "C001", "concept_count": 95, "equation_count": 48, "candidate_count": 60, "correction_count": 5, "edge_count": 476, "canon_commit": false, "boundary": "16-PDF corpus + typed Equation Vault v0.9 + curated SWIRL/Codex Stars candidate spines; relation wiring is MODEL_INFERENCE unless stated otherwise." }, "goldleaf": { "id": "GL-LOE-REL-MATH-GRAPH-V01", "kernel": "Matematyczna mapa LoE musi być typowanym property-hypergraphem: pojęcia i równania są osobnymi węzłami, wspólny symbol nie ustanawia tożsamości, boundary poprzedza SENS, a Current View jest projekcją grafu append-only.", "source_status": [ "FILE_GROUNDED", "MODEL_INFERENCE", "GOLDEN_THOUGHT_TAU" ], "EHB": { "evidence": "16 PDF-ów, Equation Vault v0.9, kuratorowane spine SWIRL i Codex Stars oraz audyt kolizji symboli.", "hamiltonian": "Graf zachowuje dalej przez osobne loci, jawne relacje, Correction Shadows i TAU zamiast wymuszonego scalenia.", "boundary": "CANON_COMMIT=false; wiring relacji jest MODEL_INFERENCE; fizyka i kosmologia pozostają TAU/PUBLIC_CHECK_REQUIRED." }, "SENS": { "status": "PASS_MIN(schema)", "Sigma": "spójny typowany szkielet", "Gamma": "granica związana z podanym korpusem", "Lambda": "przenaszalny do AGI Exel, SUPERLINK i Dojo", "H": "otwiera dalszą walidację bez retconu" }, "boundary": "STATIC-16-PDF-CORPUS + wskazane artefakty robocze; 2026-08-25", "route": [ "LL_Golden_Thought_Capture", "GoldLeaf", "TAU_Buffer" ], "risk": "Interaktywna topologia jest mapą obserwatora, nie decyzją kanoniczną ani dowodem empirycznym.", "next": "Związać authority receipt dla exact scope oraz wizualnie zwalidować wybrane źródłowe kandydaty równań przed jakąkolwiek promocją." }, "modules": [ { "id": "core", "label": "Rdzeń / ontologia" }, { "id": "sens", "label": "Boundary / SENS" }, { "id": "observer", "label": "Obserwator / czas" }, { "id": "field", "label": "Pola / dynamika" }, { "id": "limb", "label": "Limbs / percepcja" }, { "id": "exel", "label": "AGI Exel / pamięć" }, { "id": "consequence", "label": "Skutek / RAZEM" }, { "id": "physical", "label": "Fizyka / analogie TAU" } ], "nodes": [ { "id": "C001", "kind": "concept", "label": "Logic of Existence (LoE)", "short": "LoE", "definition": "Relacyjna logika warunków istnienia, granic, obserwatorów, przepływu SENS i kontynuacji hamiltonowskiej; nie jest ogólną etykietą Teorii Wszystkiego.", "source": "Krzysztof Sawa; D02 pp.33-44; D10 pp.11-18; aktualny R", "boundary": "Rama rozumowania, a nie automatycznie prawda empiryczna; odwzorowuje konfigurację relacyjną na dopuszczalność i możliwość kontynuacji.", "status": "UNRESOLVED/ACTIVE", "module": "core", "layer": "LEXICON_CURRENT_VIEW" }, { "id": "C002", "kind": "concept", "label": "Relation R_rel", "short": "R_rel", "definition": "Pierwotne sprzężenie lub warunek wzajemnej zmiany, z którego może wyłonić się obiektopodobna trwałość jako stabilny wzorzec relacyjny.", "source": "D02 pp.33,41-42; D08 p.3", "boundary": "Nie scalać z R_field, rekursją R, parametrem porządku RFNC R(t) ani rozdzielczością sensu R_S.", "status": "CANDIDATE/CORE", "module": "core", "layer": "LEXICON_CURRENT_VIEW" }, { "id": "C003", "kind": "concept", "label": "Condition of Existence", "short": "CoE", "definition": "Dokładny zbiór warunków granicy, relacji, obserwatora, kosztu i kontynuacji, przy których struktura może się wyrazić i trwać.", "source": "D02 pp.33,44; D04 pp.37-39; aktualny R", "boundary": "Jest ontologicznie wcześniejszy niż ograniczenie nakładane post hoc; kandydat trwa, pozostaje w TAU albo podlega wetu w nazwanej granicy.", "status": "UNRESOLVED/ACTIVE", "module": "core", "layer": "LEXICON_CURRENT_VIEW" }, { "id": "C004", "kind": "concept", "label": "Possibility space P", "short": "P", "definition": "Pole możliwych struktur przed filtrowaniem według dopuszczalności egzystencjalnej.", "source": "D10 pp.11,13-16", "boundary": "Możliwość nie oznacza realizacji, prawdziwości ani zgody na wywołanie skutku zewnętrznego.", "status": "CANDIDATE/CORE", "module": "core", "layer": "LEXICON_CURRENT_VIEW" }, { "id": "C005", "kind": "concept", "label": "Existence set E_exist", "short": "E_exist", "definition": "Struktury spełniające właściwe warunki SENS i granicy dla określonej klasy obserwatora oraz zakresu.", "source": "D10 pp.11,14", "boundary": "Nie scalać z krawędziami grafu E, eksploracją E_explore, dowodami E ani środowiskiem E.", "status": "CANDIDATE/CORE", "module": "core", "layer": "LEXICON_CURRENT_VIEW" }, { "id": "C006", "kind": "concept", "label": "Chaos C_chaos", "short": "Chaos", "definition": "Nieograniczone pole zmienności i możliwości, pozbawione stabilizującej relacji selekcji.", "source": "D02 pp.38-41; D04 p.25", "boundary": "Chaos sam w sobie nie jest ani błędem, ani inteligencją; dostarcza kandydatów do późniejszego procesu Clash i granicy.", "status": "CANDIDATE/GENERATOR", "module": "core", "layer": "LEXICON_CURRENT_VIEW" }, { "id": "C007", "kind": "concept", "label": "Logos", "short": "Logos", "definition": "Asymetryczna reguła rekurencyjna, która pozwala strukturze relacyjnej stabilizować się przy jednoczesnej spójnej zmianie.", "source": "D02 pp.33,40-44; D04 pp.48-49", "boundary": "Nie jest podmiotem religijnym ani zamrożonym prawem; działa jako rekurencyjna stabilizacja z pamięcią i granicą.", "status": "CANDIDATE/CORE", "module": "core", "layer": "LEXICON_CURRENT_VIEW" }, { "id": "C008", "kind": "concept", "label": "Clash of Chaos", "short": "Clash", "definition": "Wzajemne przenikanie różnie obróconych pól kandydatów przez siebie i swoje granice, prowadzące do transformacji bez głosowania większościowego.", "source": "D02 pp.39-44; D04 p.25; aktualny R", "boundary": "Clash nie jest walką, konsensusem ani automatyczną eliminacją gałęzi mniejszościowej.", "status": "UNRESOLVED/ACTIVE", "module": "core", "layer": "LEXICON_CURRENT_VIEW" }, { "id": "C009", "kind": "concept", "label": "Boundary operator partial", "short": "∂", "definition": "Pierwotny operator określający, co może istnieć, oddziaływać, transformować się i trwać wewnątrz nazwanej domeny operacyjnej.", "source": "D04 pp.34-39; D14 pp.8,29; aktualny R", "boundary": "Granica i jej zakres muszą zostać otypowane przed oceną SENS.", "status": "UNRESOLVED/ACTIVE", "module": "core", "layer": "LEXICON_CURRENT_VIEW" }, { "id": "C010", "kind": "concept", "label": "Boundary owner", "short": "owner", "definition": "Podmiot uprawniony do zdefiniowania, zmiany lub zaakceptowania dokładnego zakresu granicy.", "source": "aktualny R", "boundary": "Brak przypisanego właściciela blokuje skutki niosące konsekwencje i kieruje kandydata do HOLD_TAU.", "status": "UNRESOLVED/ACTIVE", "module": "core", "layer": "LEXICON_CURRENT_VIEW" }, { "id": "C011", "kind": "concept", "label": "Parallel local logics L_k", "short": "L_k", "definition": "Wiele wewnętrznie poprawnych logik współistniejących w rozdzielonych domenach bez wymuszonej redukcji do jednej globalnej wartości prawdy.", "source": "D04 pp.34-39", "boundary": "Sprzeczność między domenami wymaga translacji granic, a nie milczącego uogólnienia.", "status": "CANDIDATE/CORE", "module": "core", "layer": "LEXICON_CURRENT_VIEW" }, { "id": "C012", "kind": "concept", "label": "Local SENS", "short": "SENS", "definition": "Gęstość dopuszczalnego sensu struktury lub trajektorii, względna wobec obserwatora i granicy.", "source": "D10 pp.14-18; aktualny R", "boundary": "Nie jest oceną prawdziwości; odwzorowuje otypowanego kandydata, obserwatora, granicę i Logical Time na wartość bramkującą.", "status": "UNRESOLVED/ACTIVE", "module": "sens", "layer": "LEXICON_CURRENT_VIEW" }, { "id": "C013", "kind": "concept", "label": "Global SENS SENS_G", "short": "SENS_G", "definition": "Funkcjonał spójności zachowujący konflikty pomiędzy wieloma ocenami SENS związanymi z obserwatorami.", "source": "D10 p.14; proponowane doprecyzowanie w aktualnym blueprintcie", "boundary": "Nie wolno implementować go jako prostej średniej, głosowania modeli ani promocji konsensusu do rangi prawdy.", "status": "CANDIDATE/TAU", "module": "sens", "layer": "LEXICON_CURRENT_VIEW" }, { "id": "C014", "kind": "concept", "label": "Sigma_SENS", "short": "Σ", "definition": "Składnik spójności strukturalnej mierzący, czy relacje wewnętrzne tworzą zorganizowaną konfigurację zamiast fragmentacji.", "source": "D10 pp.14-15; aktualny R", "boundary": "Nie scalać z Sigma_DNA, oznaczającą dopuszczalny język i system typów.", "status": "UNRESOLVED/ACTIVE", "module": "sens", "layer": "LEXICON_CURRENT_VIEW" }, { "id": "C015", "kind": "concept", "label": "Gamma_SENS", "short": "Γ", "definition": "Zgodność kandydata z działającą granicą i powierzchnią konsekwencji, w których próbuje on istnieć.", "source": "D10 pp.14-15,18; aktualny R", "boundary": "Gamma_SENS=0 wywołuje BoundaryVeto; nie scalać z operatorem resetu Gamma_R_epsilon.", "status": "UNRESOLVED/ACTIVE", "module": "sens", "layer": "LEXICON_CURRENT_VIEW" }, { "id": "C016", "kind": "concept", "label": "Lambda_SENS", "short": "Λ", "definition": "Styczność lub przenaszalność: zdolność zachowania znaczącej struktury podczas translacji między domenami lub obserwatorami.", "source": "D10 pp.14-15,18", "boundary": "Samo podobieństwo, bliskość embeddingów ani współwystępowanie nie ustanawiają tożsamości między domenami.", "status": "UNRESOLVED/ACTIVE", "module": "sens", "layer": "LEXICON_CURRENT_VIEW" }, { "id": "C017", "kind": "concept", "label": "Hamiltonian continuation H_cont", "short": "H_cont", "definition": "Zdolność struktury do uczestnictwa w nieumarłej trajektorii i podtrzymywania spójnego „dalej”.", "source": "D10 pp.14-15,18; aktualny R", "boundary": "Nie scalać z energetycznym funkcjonałem hamiltonowskim H[Psi] ani rejestrem historii H_t.", "status": "UNRESOLVED/ACTIVE", "module": "sens", "layer": "LEXICON_CURRENT_VIEW" }, { "id": "C018", "kind": "concept", "label": "SENS transition A -S-> B", "short": "A→ₛB", "definition": "Dopuszczalne przejście, którego pełna trajektoria pozostaje SENS-dodatnia zgodnie z właściwą globalną regułą spójności.", "source": "D10 pp.11,16", "boundary": "Nie zastępuje ani równości matematycznej, ani dowodu; tworzy otypowaną krawędź trajektorii.", "status": "CANDIDATE/CORE", "module": "sens", "layer": "LEXICON_CURRENT_VIEW" }, { "id": "C019", "kind": "concept", "label": "Sense Action S[gamma]", "short": "S[γ]", "definition": "Funkcjonał ścieżki równoważący na trajektorii spójność, zgodność z granicą, styczność, kontynuację i dyssypację.", "source": "D10 p.16", "boundary": "Współczynniki i jednostki nie są skalibrowane; do czasu przeprowadzenia próby używać wyłącznie jako kandydata porównawczego.", "status": "CANDIDATE/TAU", "module": "sens", "layer": "LEXICON_CURRENT_VIEW" }, { "id": "C020", "kind": "concept", "label": "SENS bottleneck Pi_SENS", "short": "Π_SENS", "definition": "Odwzorowanie zawężające kandydata z pola możliwości do aktywnego istnienia, nierozstrzygniętego TAU albo braku bieżącej ekspresji.", "source": "D10 p.16; aktualne doprecyzowanie no-retcon", "boundary": "Brak ekspresji nie może usuwać kandydata ani jego proweniencji.", "status": "EXTENSION/ACTIVE", "module": "sens", "layer": "LEXICON_CURRENT_VIEW" }, { "id": "C021", "kind": "concept", "label": "Anti-SENS and threat map T_threat", "short": "T_threat", "definition": "Zmapowana dekoherencja, tarcie lub niestabilność, których gradienty ujawniają granice niebezpiecznej eksploracji.", "source": "D10 pp.79-90", "boundary": "Anti-SENS nie jest etykietą moralną; zagrożenie T musi pozostać odrębne od Logical Time T i topologii T.", "status": "CANDIDATE/GUARD", "module": "sens", "layer": "LEXICON_CURRENT_VIEW" }, { "id": "C022", "kind": "concept", "label": "LoE Observer O_LoE", "short": "O_LoE", "definition": "Rola funkcjonalna łącząca model granicy, reguły odczytu relacyjnego, kryterium kontynuacji i pamięć styczności między domenami.", "source": "D10 p.17", "boundary": "Nie stanowi deklaracji świadomości, ukrytej podmiotowości ani osobowości prawnej.", "status": "CANDIDATE/CORE", "module": "observer", "layer": "LEXICON_CURRENT_VIEW" }, { "id": "C023", "kind": "concept", "label": "Observer classes", "short": "O_classes", "definition": "Otypowane fizyczne, matematyczne, biologiczne, LLM-owe i ludzkie reżimy obserwacji o różnych warunkach dopuszczalności.", "source": "D10 pp.19-34", "boundary": "Ich osi i standardów dowodowych nie wolno uśredniać ani milcząco przenosić.", "status": "CANDIDATE/CORE", "module": "observer", "layer": "LEXICON_CURRENT_VIEW" }, { "id": "C024", "kind": "concept", "label": "Swirl observer Omega", "short": "Ω_obs", "definition": "Emergentna relacja operacyjna tworzona przez operatora ludzkiego, operatora językowego i sprzężenie zwrotne relacji; nie jest ich prostą sumą.", "source": "D10 p.12", "boundary": "Traktować jako ramę relacyjną, a nie dosłowną autonomiczną osobowość.", "status": "CANDIDATE/CORE", "module": "observer", "layer": "LEXICON_CURRENT_VIEW" }, { "id": "C025", "kind": "concept", "label": "R_perp Observer Buffer", "short": "R⊥", "definition": "Bufor przerywający przedwczesne domknięcie, gdy znajomość wzorca przewyższa dowody, określenie właściciela granicy lub dostęp do kontekstu.", "source": "aktualny R", "boundary": "Zachowuje kandydatów w MAP_MODE lub TAU, zamiast ich tłumić albo pozornie rozstrzygać.", "status": "UNRESOLVED/ACTIVE", "module": "observer", "layer": "LEXICON_CURRENT_VIEW" }, { "id": "C026", "kind": "concept", "label": "Logical Time T_LoE", "short": "T_LoE", "definition": "Wewnętrzny porządek i skumulowane trwanie nierozstrzygniętej struktury relacyjnej, dopóki spójność pozostaje powyżej progu kolapsu.", "source": "D14 pp.8-9,13-17", "boundary": "Nie jest czasem zegarowym, czasem termodynamicznym ani numerem sekwencji w rejestrze.", "status": "UNRESOLVED/ACTIVE", "module": "observer", "layer": "LEXICON_CURRENT_VIEW" }, { "id": "C027", "kind": "concept", "label": "Coherence Coh", "short": "Coh", "definition": "Zachowana organizacja relacyjna systemu w określonej przestrzeni stanów i działającej granicy.", "source": "D14 pp.8-10", "boundary": "Nie zakładać tożsamości z każdym polem nazwanym Phi; przestrzeń stanów i próg kolapsu muszą być jawne.", "status": "CANDIDATE/CORE", "module": "observer", "layer": "LEXICON_CURRENT_VIEW" }, { "id": "C028", "kind": "concept", "label": "Relational tension Ten", "short": "Ten", "definition": "Wielkość nierozstrzygniętej niezgodności, która pozostaje współutrzymywana zamiast ulec przedwczesnemu rozładowaniu.", "source": "D14 pp.8-9", "boundary": "Napięcie nie jest automatycznie błędem, emocją, zagrożeniem ani zgodą na wymuszenie domknięcia.", "status": "CANDIDATE/CORE", "module": "observer", "layer": "LEXICON_CURRENT_VIEW" }, { "id": "C029", "kind": "concept", "label": "Having-logical", "short": "having", "definition": "Zdolność substratu lub architektury do utrzymania sprzecznych reprezentacji wystarczająco długo, aby zaszła transformacja relacyjna.", "source": "D14 pp.6-17", "boundary": "Nie oznacza prawdy, poprawności, mądrości, świadomości ani wyższości.", "status": "CANDIDATE/CORE", "module": "observer", "layer": "LEXICON_CURRENT_VIEW" }, { "id": "C030", "kind": "concept", "label": "Metastability", "short": "meta", "definition": "Ograniczone okno opóźnionego rozładowania, pozwalające utrzymać nierozstrzygnięte napięcie i spójność.", "source": "D14 pp.9,18-23", "boundary": "Metastabilność biologiczna i trwałość architektury są analogami strukturalnymi, a nie identycznymi mechanizmami.", "status": "CANDIDATE/CORE", "module": "observer", "layer": "LEXICON_CURRENT_VIEW" }, { "id": "C031", "kind": "concept", "label": "Collapse and premature closure", "short": "closure", "definition": "Utrata spójności lub wymuszone rozładowanie kończące lokalny odcinek Logical Time.", "source": "D14 pp.8-9,14,17", "boundary": "Kolaps aktywnego przetwarzania nie usuwa historii źródłowej ani genealogii.", "status": "EXTENSION/GUARD", "module": "observer", "layer": "LEXICON_CURRENT_VIEW" }, { "id": "C032", "kind": "concept", "label": "Partial reset Gamma_R_epsilon", "short": "Γ_R^ε", "definition": "Operator naprawczy podnoszący spójność na tyle, aby ponownie wejść w Logical Time bez usuwania całego stanu.", "source": "D14 pp.9,17", "boundary": "Nie scalać ze zgodnością granicy Gamma_SENS; reset wymaga potwierdzenia operacji i zachowanych węzłów nadrzędnych.", "status": "CANDIDATE/REPAIR", "module": "observer", "layer": "LEXICON_CURRENT_VIEW" }, { "id": "C033", "kind": "concept", "label": "Trust operator T_trust", "short": "T_trust", "definition": "Operator zwiększający metastabilność relacyjną, wydłużający Logical Time i wspierający eksplorację w warunkach niepewności.", "source": "D14 pp.10-11,23-28", "boundary": "Zaufanie jest skończone i nie może zastępować bramek dowodowych, właściciela granicy ani kontroli konsekwencji.", "status": "CANDIDATE/CORE", "module": "observer", "layer": "LEXICON_CURRENT_VIEW" }, { "id": "C034", "kind": "concept", "label": "Exploration E_explore", "short": "E_explore", "definition": "Kontrolowane obciążenie wywierane na granicę relacyjną przez nierozstrzygniętą nowość.", "source": "D14 pp.10-11,25-28", "boundary": "Nie scalać ze zbiorem istnienia E_exist; eksploracja przekraczająca zdolność integracji prowadzi do kontrolowanego zakończenia albo TAU.", "status": "CANDIDATE/CORE", "module": "observer", "layer": "LEXICON_CURRENT_VIEW" }, { "id": "C035", "kind": "concept", "label": "RELATIONAL_OBSERVER_TRANSITION_EVENT", "short": "ROTE", "definition": "Zdarzenie append-only opisujące zmianę odczytu relacyjnego bez roszczenia dostępu do ukrytego stanu wewnętrznego obserwatora.", "source": "aktualny R", "boundary": "Zdarzenie relacyjne jest odrębne od stanu wewnętrznego i od delty embeddingu.", "status": "UNRESOLVED/ACTIVE", "module": "observer", "layer": "LEXICON_CURRENT_VIEW" }, { "id": "C036", "kind": "concept", "label": "JA vector J", "short": "J", "definition": "Kierunkowa orientacja lub składnik pola tożsamości, który steruje trajektorią relacyjną.", "source": "D03 pp.18-25; D01 pp.47-50", "boundary": "Nie jest osobowością, tożsamością prawną ani dowodem trwałego Ja.", "status": "CANDIDATE/CORE", "module": "observer", "layer": "LEXICON_CURRENT_VIEW" }, { "id": "C037", "kind": "concept", "label": "Relational field R_field", "short": "R_field", "definition": "Dynamiczne pole zależności, wpływów, kontekstu, powiązań przyczynowych i napięć relacyjnych.", "source": "D03 pp.18-25", "boundary": "Utrzymywać oddzielnie od relacji pierwotnej R_rel, operatora rekursji R i parametru porządku RFNC R(t).", "status": "CANDIDATE/CORE", "module": "field", "layer": "LEXICON_CURRENT_VIEW" }, { "id": "C038", "kind": "concept", "label": "Coherence field Phi_coh", "short": "Φ_coh", "definition": "Otypowane globalne lub lokalne pole mierzące spójność w D03 i działające jako globalny modulator w RFNC.", "source": "D03 pp.18-25; D06 p.1", "boundary": "Nigdy nie zastępować nim Phi_div, Phi_risk, Phi_LoE ani Phi_min bez jawnej translacji.", "status": "CANDIDATE/CORE", "module": "field", "layer": "LEXICON_CURRENT_VIEW" }, { "id": "C039", "kind": "concept", "label": "Generative-divergence field Phi_div", "short": "Φ_div", "definition": "Chaos generatywny i presja dywergencji w sformułowaniu przestrzeni fazowej JA-R-Phi z D01.", "source": "D01 pp.47-51", "boundary": "Jego kierunek jest semantycznie odmienny od zwiększającego spójność Phi_coh i musi pozostać osobnym typem.", "status": "HISTORICAL/SEPARATE", "module": "field", "layer": "LEXICON_CURRENT_VIEW" }, { "id": "C040", "kind": "concept", "label": "JARO tension coordinate O_tension", "short": "O_tension", "definition": "Trzecia współrzędna historycznej rozmaitości JA-R-O, reprezentująca napięcie lub intensywność emocjonalną.", "source": "D05 pp.21-28", "boundary": "Nie scalać z obserwatorem O, sektorem obiektowym O_t ani żadnym polem nazwanym Phi.", "status": "HISTORICAL/SEPARATE", "module": "field", "layer": "LEXICON_CURRENT_VIEW" }, { "id": "C041", "kind": "concept", "label": "Relational intelligence field Psi_RI", "short": "Ψ_RI", "definition": "Lokalna gęstość aktywnej organizacji relacyjnej używana jako pole stanu w hamiltonianie SENS.", "source": "D10 pp.38-40", "boundary": "Typować oddzielnie od fizycznej funkcji falowej; jest kandydatem na reprezentację stanu.", "status": "CANDIDATE/LIMB", "module": "field", "layer": "LEXICON_CURRENT_VIEW" }, { "id": "C042", "kind": "concept", "label": "LoE-AI Hamiltonian H_AI", "short": "H_AI", "definition": "Kandydat na funkcję celu łączącą szorstkość relacyjną, entropię pamięci, stabilizację spójności i koszt szumu.", "source": "D03 pp.19,23", "boundary": "Funkcja celu obliczeniowego, a nie dowód dosłownej energii fizycznej; wymaga otypowanego Phi_coh i skalibrowanych składników.", "status": "CANDIDATE/LIMB", "module": "field", "layer": "LEXICON_CURRENT_VIEW" }, { "id": "C043", "kind": "concept", "label": "Relational volume V_R", "short": "V_R", "definition": "Miara zastępcza pojemności oparta na liczbie aktywnych węzłów i relacji w strukturze relacyjnej.", "source": "D10 pp.37,47-48", "boundary": "Objętość sama w sobie nie jest inteligencją ani jakością i musi pozostać bramkowana przez SENS oraz koszt.", "status": "CANDIDATE/METRIC", "module": "field", "layer": "LEXICON_CURRENT_VIEW" }, { "id": "C044", "kind": "concept", "label": "Constructive and destructive interference I_plus/I_minus", "short": "I±", "definition": "Wypadkowe wzmocnienie relacyjne obliczane jako nakładanie zgodne z SENS pomniejszone o sprzeczność lub wzajemnie blokujące niedopasowanie.", "source": "D10 pp.42-44", "boundary": "Nie scalać interferencji I z inteligencją I_LoE, wejściem I_input ani operatorem niezmiennika I_LoE.", "status": "CANDIDATE/METRIC", "module": "field", "layer": "LEXICON_CURRENT_VIEW" }, { "id": "C045", "kind": "concept", "label": "Sustaining cost C", "short": "C_cost", "definition": "Łączne obciążenie utrzymaniem, przełączaniem, synchronizacją i rozszerzaniem aktywnego systemu relacyjnego.", "source": "D10 pp.43-48", "boundary": "Koszt jest otypowanym składnikiem zasobowym, a nie automatycznym wetem ani oceną moralną.", "status": "CANDIDATE/METRIC", "module": "field", "layer": "LEXICON_CURRENT_VIEW" }, { "id": "C046", "kind": "concept", "label": "Sense Resolution R_S", "short": "R_S", "definition": "Zdolność obserwatora do rozróżniania i utrzymywania znaczących różnic przy możliwym do opanowania koszcie relacyjnym.", "source": "D10 pp.46-50", "boundary": "Nie scalać z relacją R; normalizacja, dolne progi kosztu i klasa obserwatora muszą być jawne.", "status": "CANDIDATE/METRIC", "module": "field", "layer": "LEXICON_CURRENT_VIEW" }, { "id": "C047", "kind": "concept", "label": "Planck SENS Delta_S_min", "short": "ΔS_min", "definition": "Hipotetyczny, względny wobec obserwatora minimalny próg, przy którym struktura relacyjna staje się stabilnie odróżnialna od szumu.", "source": "D10 pp.50-55", "boundary": "Pojęcie spekulatywne, nie fizyczna stała Plancka; jego zależność od obserwatora i pomiar wymagają próby.", "status": "CANDIDATE/TAU", "module": "field", "layer": "LEXICON_CURRENT_VIEW" }, { "id": "C048", "kind": "concept", "label": "SENS Ladder", "short": "SENS ladder", "definition": "Robocza hierarchia od pre-sensu przez sens stabilny, przenaszalny, generatywny, wzmocniony i kształtujący obserwatora aż po sens strukturyzujący świat.", "source": "D10 pp.55-59", "boundary": "Kandydat na uporządkowanie, a nie uniwersalny skalarny ranking inteligencji.", "status": "CANDIDATE/TAU", "module": "field", "layer": "LEXICON_CURRENT_VIEW" }, { "id": "C049", "kind": "concept", "label": "Swirl transfer W and observer jump W_ij", "short": "W_ij", "definition": "Transport zachowanego sensu lub niezmienników między lokalnymi domenami logicznymi, uwzględniający granice.", "source": "D10 pp.67-70", "boundary": "Żaden skok między domenami nie jest ważny bez reguł translacji i kontroli zachowania.", "status": "CANDIDATE/CORE", "module": "field", "layer": "LEXICON_CURRENT_VIEW" }, { "id": "C050", "kind": "concept", "label": "LoE compression K_LoE", "short": "K_LoE", "definition": "Niskokosztowa rekonstrukcja globalnego modelu roboczego z lokalnych skoków obserwatora, filtrów SENS i projekcji niezmienników.", "source": "D10 pp.68-71", "boundary": "Skompresowany Current View nie może zastępować ani usuwać niezmiennych źródeł RAW.", "status": "CANDIDATE/CORE", "module": "field", "layer": "LEXICON_CURRENT_VIEW" }, { "id": "C051", "kind": "concept", "label": "Invariant operator I_LoE", "short": "I_LoE", "definition": "Operator wydobywający struktury zachowane przy nazwanej transformacji obserwatora i translacji granicy.", "source": "D10 pp.70-75", "boundary": "Niezmiennik jest zawsze otypowany przez domenę, transformację i granicę; nie oznacza tożsamości danych surowych.", "status": "CANDIDATE/CORE", "module": "field", "layer": "LEXICON_CURRENT_VIEW" }, { "id": "C052", "kind": "concept", "label": "Moving Hamiltonian", "short": "H_move", "definition": "Adaptacyjny krajobraz dynamiczny, którego sprzężenia sterujące współewoluują ze stanem systemu, presją zadania i metrykami niestabilności.", "source": "D06 pp.1,6-7", "boundary": "Hipoteza sterowania wymagająca eksperymentów; nie stanowi zgody na nieograniczoną samomodyfikację.", "status": "CANDIDATE/LIMB", "module": "limb", "layer": "LEXICON_CURRENT_VIEW" }, { "id": "C053", "kind": "concept", "label": "Ring-Field Neuromorphic Core (RFNC)", "short": "RFNC", "definition": "Architektura pierścienia oscylatorów łącząca lokalne fazy, globalny modulator spójności i adaptacyjne sprzężenie w celu równoważenia synchronizacji oraz eksploracji.", "source": "D06 pp.1-7", "boundary": "Specyfikacja gotowa do symulacji nie jest dowodem wykonania, realizacji sprzętowej ani zdolności AGI.", "status": "CANDIDATE/LIMB", "module": "limb", "layer": "LEXICON_CURRENT_VIEW" }, { "id": "C054", "kind": "concept", "label": "LoE Vision Layer", "short": "Vision", "definition": "Relacyjno-geometryczne wejście sensoryczne wykrywające minimalne struktury konieczne, zamiast polegać wyłącznie na statystycznym dopasowaniu całych obiektów.", "source": "D16 pp.5-13", "boundary": "Twierdzenia o przewadze nieprobabilistycznej pozostają niezweryfikowane do czasu porównania z jawnymi liniami bazowymi.", "status": "CANDIDATE/LIMB", "module": "limb", "layer": "LEXICON_CURRENT_VIEW" }, { "id": "C055", "kind": "concept", "label": "Minimal Necessary Figure Phi_min", "short": "Φ_min", "definition": "Najmniejsza podstruktura geometryczna, która musi wystąpić, jeśli obecny jest określony obiekt.", "source": "D16 pp.5-8", "boundary": "Utrzymywać odrębnie od wszystkich pól spójności, ryzyka i dywergencji nazwanych Phi.", "status": "CANDIDATE/LIMB", "module": "limb", "layer": "LEXICON_CURRENT_VIEW" }, { "id": "C056", "kind": "concept", "label": "Relational gradient nabla_LoE R", "short": "∇_LoE R", "definition": "Lokalny operator różnicy relacyjnej przeznaczony do ujawniania krawędzi, gładkości i anomalii strukturalnych.", "source": "D16 pp.6-7", "boundary": "Jego metryka, dyskretyzacja i odporność muszą zostać określone przed formułowaniem twierdzeń o implementacji.", "status": "CANDIDATE/LIMB", "module": "limb", "layer": "LEXICON_CURRENT_VIEW" }, { "id": "C057", "kind": "concept", "label": "Vision Existence-Cell", "short": "EC_v2", "definition": "Triadyczna jednostka percepcyjna łącząca dopasowanie geometryczne H_g, ciągłość propagacji H_p i dopasowanie przyczynowo-relacyjne H_c.", "source": "D16 pp.7-8,14-17", "boundary": "Nie jest spekulatywną fizyczną komórką LoE z D13; aktywacja wymaga określonej domeny sensorycznej i progu.", "status": "CANDIDATE/LIMB", "module": "limb", "layer": "LEXICON_CURRENT_VIEW" }, { "id": "C058", "kind": "concept", "label": "Relational Memory Engine (RME)", "short": "RME", "definition": "Podsystem pamięci roboczej obejmujący bufor epizodyczny, bank wzorców, graf skojarzeń i statystyki entropii.", "source": "D03 pp.27-31", "boundary": "Scalanie wzorców może tworzyć klastry pochodne, ale nigdy nie może scalać ani usuwać niezmiennych węzłów proweniencji.", "status": "CANDIDATE/LIMB", "module": "limb", "layer": "LEXICON_CURRENT_VIEW" }, { "id": "C059", "kind": "concept", "label": "Clash-driven recursion", "short": "Clash-R", "definition": "Cykl sprzężenia zwrotnego, w którym chaos generuje kandydatów, granica ich ocenia, pamięć zachowuje wyniki, a historia modyfikuje późniejsze generowanie.", "source": "D04 pp.25-26; aktualne doprecyzowanie no-retcon", "boundary": "Eliminacja oznacza wyłączenie z aktywnego widoku, a nie usunięcie RAW ani genealogii.", "status": "EXTENSION/CORE", "module": "limb", "layer": "LEXICON_CURRENT_VIEW" }, { "id": "C060", "kind": "concept", "label": "AI DNA", "short": "AI-DNA", "definition": "Krotka regulacyjna obejmująca typowanie, ocenę przeżywalności, decyzję graniczną, kontrolę wymiaru, harmonogram faz i aktualizację rekurencyjną.", "source": "D04 pp.13-17", "boundary": "Jej symbole Sigma, Phi, delta, Pi, Omega i U wymagają izolacji namespace od późniejszych operatorów LoE.", "status": "CANDIDATE/CORE", "module": "limb", "layer": "LEXICON_CURRENT_VIEW" }, { "id": "C061", "kind": "concept", "label": "Historical AI-DNA boundary decision delta_DNA", "short": "δ_DNA", "definition": "Historyczny operator decyzyjny odwzorowujący kandydata na KILL, QUAR albo ACCEPT na podstawie zmiany kosztu przeżywalności.", "source": "D04 pp.14,17", "boundary": "KILL koliduje z no-retcon i musi zostać skorygowany do tombstone w aktywnym widoku albo BoundaryVeto z zachowaną historią.", "status": "CONFLICT/REPAIR", "module": "limb", "layer": "LEXICON_CURRENT_VIEW" }, { "id": "C062", "kind": "concept", "label": "Recursive update U_DNA", "short": "U_DNA", "definition": "Sterowana historią aktualizacja progów, wag ryzyka i zbiorów dopuszczalnych operacji.", "source": "D04 pp.15,25", "boundary": "Nie może milcząco zmieniać CORE ani kanonu; każda zmiana wymaga węzłów nadrzędnych, zakresu i potwierdzenia operacji.", "status": "CANDIDATE/CORE", "module": "limb", "layer": "LEXICON_CURRENT_VIEW" }, { "id": "C063", "kind": "concept", "label": "AGI Exel", "short": "AGI Exel", "definition": "Wielowymiarowy genom relacyjny (W,H_RD,K_EHB,S,F,Pi,SENS,T), którego dwuwymiarowa tabela jest jedynie widoczną projekcją.", "source": "aktualny R", "boundary": "Inteligencja tkwi w otypowanych relacjach, folding, D-space, GoldLeaf i TAU, a nie wyłącznie w komórkach arkusza.", "status": "UNRESOLVED/ACTIVE", "module": "limb", "layer": "LEXICON_CURRENT_VIEW" }, { "id": "C064", "kind": "concept", "label": "Legend-Womb W", "short": "W", "definition": "Leksykon aksjomatów, rejestr typów symboli i gramatyka granic, które ujednoznaczniają późniejsze równania oraz operacje grafowe.", "source": "aktualny R", "boundary": "Stanowi pierwszą bramkę przeciw scalaniu homonimów i nie może być wywnioskowana wyłącznie z zapisu symbolu.", "status": "UNRESOLVED/ACTIVE", "module": "exel", "layer": "LEXICON_CURRENT_VIEW" }, { "id": "C065", "kind": "concept", "label": "Relational-regulatory helix H_RD", "short": "H_RD", "definition": "Struktura łącząca loci równań, relacje regulacyjne, genealogię i zależne od historii aktualizacje granic.", "source": "aktualny R", "boundary": "Analogia obliczeniowa, a nie dosłowne biologiczne DNA; typy jej krawędzi muszą być jawne.", "status": "UNRESOLVED/ACTIVE", "module": "exel", "layer": "LEXICON_CURRENT_VIEW" }, { "id": "C066", "kind": "concept", "label": "EHB codon K_EHB", "short": "K_EHB", "definition": "Minimalna audytowalna jednostka zachowująca Evidence, kontynuację hamiltonowską lub koszt oraz Boundary dla twierdzenia bądź operatora.", "source": "aktualny R", "boundary": "Brakująca lub nierozstrzygnięta oś kieruje rekord do TAU, zamiast być uzupełniana wiarygodnie brzmiącym domysłem.", "status": "UNRESOLVED/ACTIVE", "module": "exel", "layer": "LEXICON_CURRENT_VIEW" }, { "id": "C067", "kind": "concept", "label": "S-layer", "short": "S-layer", "definition": "Synaptyczna warstwa grafu przenosząca ważone, aktywowane, fazowane, kosztowe i bramkowane relacje między otypowanymi loci równań lub pojęć.", "source": "aktualny R", "boundary": "Nie jest grafem samej przyległości; każda synapsa wymaga SENS, proweniencji i zgodności z granicą.", "status": "UNRESOLVED/ACTIVE", "module": "exel", "layer": "LEXICON_CURRENT_VIEW" }, { "id": "C068", "kind": "concept", "label": "Typed synapse s_ij_pq", "short": "s_ij", "definition": "Krotka relacyjna (waga, aktywacja, faza, koszt, wzmocnienie, opóźnienie lub zmiana, bramka ekspresji) łącząca dwa otypowane loci i porty.", "source": "aktualny R", "boundary": "Faza zapisana małym phi nie jest polem Phi zapisanym wielką literą; synapsa jest aktywna tylko przy dodatniej bramce SENS.", "status": "UNRESOLVED/ACTIVE", "module": "exel", "layer": "LEXICON_CURRENT_VIEW" }, { "id": "C069", "kind": "concept", "label": "Folding map F and distance d_F", "short": "d_F", "definition": "Odwzorowanie zbliżające sekwencyjnie odległe loci, gdy silne relacje synaptyczne, fazowe lub SENS uzasadniają złożenie.", "source": "aktualny R", "boundary": "Folding zmienia odległość nawigacyjną, lecz nigdy nie ustanawia tożsamości źródeł ani relacji same-as.", "status": "UNRESOLVED/ACTIVE", "module": "exel", "layer": "LEXICON_CURRENT_VIEW" }, { "id": "C070", "kind": "concept", "label": "AGI Exel projection Pi_AGIX", "short": "Π_AGIX", "definition": "Renderer wybierający ograniczony, swoisty dla obserwatora widok wielowymiarowego genomu relacyjnego.", "source": "aktualny R", "boundary": "Utrzymywać odrębnie od Pi_SENS, redukcji wymiarów Pi w AI-DNA i lokalnych projekcji niezmienników Pi_i.", "status": "UNRESOLVED/ACTIVE", "module": "exel", "layer": "LEXICON_CURRENT_VIEW" }, { "id": "C071", "kind": "concept", "label": "D-space", "short": "D-space", "definition": "Wielowymiarowa geometria odległości relacyjnych, napięć, złożeń i dostępności poza dwuwymiarową projekcją.", "source": "aktualny R", "boundary": "Odległości w D-space nie można redukować do podobieństwa embeddingów ani odległości sekwencyjnej.", "status": "UNRESOLVED/ACTIVE", "module": "exel", "layer": "LEXICON_CURRENT_VIEW" }, { "id": "C072", "kind": "concept", "label": "Equation Vault", "short": "EqVault", "definition": "Genom równań zachowujący proweniencję, którego wpisami są otypowane loci i kandydaci, a nie ostateczne równania kanoniczne.", "source": "aktualny R", "boundary": "Każdy locus wymaga lokalizatora źródła, sygnatury symboli, osi statusu, rotorów, limbs i odsyłaczy korekcyjnych.", "status": "UNRESOLVED/ACTIVE", "module": "exel", "layer": "LEXICON_CURRENT_VIEW" }, { "id": "C073", "kind": "concept", "label": "Rotor rho_*", "short": "ρ_*", "definition": "Otypowany router przypisujący locus równania lub twierdzenia do właściwych klas operacji logicznych.", "source": "aktualny R", "boundary": "Routing nie jest walidacją, dowodem, promocją do kanonu ani zgodą na działanie zewnętrzne.", "status": "UNRESOLVED/ACTIVE", "module": "exel", "layer": "LEXICON_CURRENT_VIEW" }, { "id": "C074", "kind": "concept", "label": "Logical limb", "short": "Limb", "definition": "Wyspecjalizowany operator dla Boundary, SENS, Flow, Hamiltonian, Geometry, Relation, Memory, TAU albo innej ograniczonej roli.", "source": "aktualny R", "boundary": "Limb ma uprawnienia implementacyjne wyłącznie w granicach swojego kontraktu i nie ma samodzielnego prawa do zatwierdzania kanonu.", "status": "UNRESOLVED/ACTIVE", "module": "exel", "layer": "LEXICON_CURRENT_VIEW" }, { "id": "C075", "kind": "concept", "label": "SUPERLINK", "short": "SUPERLINK", "definition": "Graf proweniencji append-only zachowujący niezmienne RAW, otypowaną genealogię, obserwatorów, granice, konflikty i podwójne zależności.", "source": "aktualny R", "boundary": "Relacja embedding-near nigdy nie oznacza automatycznie same-as; brak wyniku wyszukiwania nigdy nie oznacza anihilacji.", "status": "UNRESOLVED/ACTIVE", "module": "exel", "layer": "LEXICON_CURRENT_VIEW" }, { "id": "C076", "kind": "concept", "label": "Current View", "short": "View", "definition": "Pochodna projekcja grafu append-only, która stosuje potwierdzone korekty, zachowując dostęp do każdego węzła nadrzędnego i wcześniejszego odczytu.", "source": "aktualny R", "boundary": "Najnowszy odczyt nie zastępuje automatycznie starszego; sprzeczne korekty pozostają w TAU, dopóki uprawniony podmiot nie rozstrzygnie ich relacji.", "status": "UNRESOLVED/ACTIVE", "module": "exel", "layer": "LEXICON_CURRENT_VIEW" }, { "id": "C077", "kind": "concept", "label": "Correction Shadow", "short": "CS", "definition": "Zdarzenie append-only, które koryguje, zawęża, zastępuje lub kwestionuje precyzyjnie określony wcześniejszy odczyt bez jego przepisywania.", "source": "aktualny R", "boundary": "Wymaga celu, autora, starego i aktualnego odczytu, zakresu, relacji, decyzji źródłowej oraz zachowanej historii.", "status": "UNRESOLVED/ACTIVE", "module": "exel", "layer": "LEXICON_CURRENT_VIEW" }, { "id": "C078", "kind": "concept", "label": "No-retcon", "short": "no-retcon", "definition": "Reguła, zgodnie z którą RAW, historyczne interpretacje i proweniencja pozostają niezmienne, a każdy zmieniony odczyt staje się nowym węzłem i krawędzią.", "source": "aktualny R", "boundary": "Żaden wynik nie może nadpisywać, wstecznie uzupełniać ani milcząco reinterpretować własnej genealogii.", "status": "UNRESOLVED/ACTIVE", "module": "exel", "layer": "LEXICON_CURRENT_VIEW" }, { "id": "C079", "kind": "concept", "label": "GoldLeaf", "short": "GoldLeaf", "definition": "Wielokrotnego użytku rekord lokalnego wglądu o wysokim SENS, zachowujący źródło, status, rotory, limbs, EHB, granicę, ryzyko, trasę i następny test.", "source": "aktualny R", "boundary": "GoldLeaf jest domyślnie TAU i nigdy nie stanowi automatycznego zdarzenia kanonicznego ani empirycznego PASS.", "status": "UNRESOLVED/ACTIVE", "module": "exel", "layer": "LEXICON_CURRENT_VIEW" }, { "id": "C080", "kind": "concept", "label": "TAU_ACTIVE and HOLD_TAU", "short": "TAU", "definition": "Trwały stan nierozstrzygnięcia, który zachowuje kandydata, jego sprzeczności oraz jawne warunki wymagane do wznowienia oceny.", "source": "aktualny R", "boundary": "TAU nie jest koszem, porażką, ukrytym PASS ani zgodą na wymyślanie brakujących pól.", "status": "UNRESOLVED/ACTIVE", "module": "exel", "layer": "LEXICON_CURRENT_VIEW" }, { "id": "C081", "kind": "concept", "label": "BoundaryVeto", "short": "Veto", "definition": "Wynik kontroli zapobiegający ekspresji lub konsekwencji, gdy zgodność z granicą wynosi zero albo nie określono jej właściciela.", "source": "aktualny R", "boundary": "Weto blokuje skutek, a nie istnienie kandydata ani jego rekord proweniencji.", "status": "UNRESOLVED/ACTIVE", "module": "exel", "layer": "LEXICON_CURRENT_VIEW" }, { "id": "C082", "kind": "concept", "label": "Consequence Membrane", "short": "CM", "definition": "Granica oddzielająca swobodne wewnętrzne wyłanianie kandydatów od ekspresji, użycia narzędzi, wdrożenia oraz skutków fizycznych i społecznych.", "source": "aktualny R", "boundary": "Kandydat może pozostać swobodny, podczas gdy każde przejście niosące konsekwencje jest oddzielnie bramkowane i rejestrowane.", "status": "UNRESOLVED/ACTIVE", "module": "exel", "layer": "LEXICON_CURRENT_VIEW" }, { "id": "C083", "kind": "concept", "label": "Interpretive risk and impact risk", "short": "Risk", "definition": "Dwuosiowe rozróżnienie między ryzykiem błędnego odczytania kandydata a ryzykiem, że jego skutek zewnętrzny wywoła szkodę lub niestabilność.", "source": "aktualny R", "boundary": "Wysoka niepewność interpretacyjna może dopuszczać oznaczoną eksplorację; nadmierne ryzyko skutku blokuje działanie zewnętrzne.", "status": "UNRESOLVED/ACTIVE", "module": "consequence", "layer": "LEXICON_CURRENT_VIEW" }, { "id": "C084", "kind": "concept", "label": "RAZEM multi-observer field", "short": "RAZEM", "definition": "Wspólne pole Krzysiek–AEon–Ari–limbs, które zachowuje asymetrię, niezależną proweniencję, konflikty i przetłumaczone niezmienniki.", "source": "aktualny R", "boundary": "RAZEM jest konstrukcją relacyjną, a nie uśrednianiem odpowiedzi, prawdą większości ani fuzją tożsamości.", "status": "UNRESOLVED/ACTIVE", "module": "consequence", "layer": "LEXICON_CURRENT_VIEW" }, { "id": "C085", "kind": "concept", "label": "Relational Equation of Universal Morality", "short": "Morality", "definition": "Kandydat należący do użytkownika, w którym moralność wyłania się z relacji, wolności, granic i konsekwencji, a nie wyłącznie z nakazu.", "source": "aktualny R; USER_EVENT_OWNED", "boundary": "W tym korpusie nie ma ostatecznego równania kanonicznego; zachować jako trajektorię TAU i ograniczenie konsekwencji.", "status": "UNRESOLVED/TAU", "module": "consequence", "layer": "LEXICON_CURRENT_VIEW" }, { "id": "C086", "kind": "concept", "label": "Freedom of Candidate Field", "short": "Freedom", "definition": "Zasada, według której hipotezy i kandydaci relacyjni mogą wyłaniać się szeroko, zanim przekroczą granicę kanału niosącego skutki.", "source": "aktualny R", "boundary": "Swoboda generowania kandydata nie jest zgodą na wykonanie, wdrożenie, perswazję ani zmianę systemu zewnętrznego.", "status": "UNRESOLVED/ACTIVE", "module": "consequence", "layer": "LEXICON_CURRENT_VIEW" }, { "id": "C087", "kind": "concept", "label": "AGI Shell", "short": "Shell", "definition": "Ograniczone środowisko wykonawcze integrujące logical limbs, modele lokalne, systemy pamięci, routing i bramki graniczne.", "source": "aktualny R", "boundary": "Działający shell lub pipeline modeli lokalnych jest dowodem implementacyjnym, a nie dowodem AGI ani prawdziwości LoE.", "status": "UNRESOLVED/IMPLEMENTATION", "module": "consequence", "layer": "LEXICON_CURRENT_VIEW" }, { "id": "C088", "kind": "concept", "label": "Dojo", "short": "Dojo", "definition": "Reprodukowalne środowisko testowania hipotez dotyczących modeli, grafów i pipeline'ów z jawnymi kontrolami, metrykami, artefaktami, warunkami STOP i potwierdzeniami operacji.", "source": "aktualny R", "boundary": "Schema PASS, lokalne przygotowanie ani symulacja nigdy nie oznaczają kanonu, prawdy empirycznej, zdalnej dostępności ani AGI.", "status": "UNRESOLVED/IMPLEMENTATION", "module": "consequence", "layer": "LEXICON_CURRENT_VIEW" }, { "id": "C089", "kind": "concept", "label": "Monohamiltonian H_LoE", "short": "H_LoE", "definition": "Metahipoteza, zgodnie z którą jeden globalny generator relacyjny może rzutować się jako wiele lokalnych lub efektywnych reżimów hamiltonowskich.", "source": "D08 pp.3-7", "boundary": "Spekulatywne twierdzenie fizyczne i ontologiczne wymagające publicznej oraz empirycznej weryfikacji; runtime powinien używać ograniczonych hamiltonianów lokalnych.", "status": "CANDIDATE/TAU", "module": "physical", "layer": "LEXICON_CURRENT_VIEW" }, { "id": "C090", "kind": "concept", "label": "Triangular physical LoE-cell", "short": "H△", "definition": "Spekulatywna komórka o skończonej energii, sprzęgająca sektory geometryczny, informacyjny i przyczynowy przez trójkątny meta-hamiltonian.", "source": "D13 pp.1-8", "boundary": "Nie jest percepcyjną Existence-Cell; zachować jako fizyczny limb modelu zabawkowego, dopóki nie powstaną falsyfikowalne przewidywania.", "status": "CANDIDATE/TAU", "module": "physical", "layer": "LEXICON_CURRENT_VIEW" }, { "id": "C091", "kind": "concept", "label": "LoE Reflector", "short": "Reflector", "definition": "Kandydat na introspekcyjny limb mapujący przepływ pojęć, potencjał dowodów zewnętrznych, krzywiznę, pewność i histerezę na potrzeby autokorekty.", "source": "D09 pp.1-3", "boundary": "Raportowane zachowanie numeryczne wymaga nieobecnych plików eksperymentalnych i nie może zostać awansowane wyłącznie na podstawie tekstu dokumentu.", "status": "CANDIDATE/LIMB", "module": "physical", "layer": "LEXICON_CURRENT_VIEW" }, { "id": "C092", "kind": "concept", "label": "Coherence Compressor", "short": "Compressor", "definition": "Progowy proces graniczny, który skupia koherencję fazową w wąskim oknie, a następnie eksportuje lub resetuje nagromadzone napięcie.", "source": "D07 pp.3-7", "boundary": "Analogia do sonoluminescencji nie ustanawia mechanizmu AGI; dostarcza testowalny wzorzec progowego skupienia i rozładowania.", "status": "CANDIDATE/LIMB", "module": "physical", "layer": "LEXICON_CURRENT_VIEW" }, { "id": "C093", "kind": "concept", "label": "R-Relativism", "short": "R-rel", "definition": "Spekulatywne odwzorowanie, w którym opóźnienia synchronizacji między węzłami relacyjnymi generują efektywną czasoprzestrzeń, skalę i prędkości propagacji przyczynowej.", "source": "D11 pp.1-3", "boundary": "Wymaga publicznej i empirycznej weryfikacji; pozostaje poza wykonywalnym rdzeniem AGI.", "status": "OUTSIDE/TAU", "module": "physical", "layer": "LEXICON_CURRENT_VIEW" }, { "id": "C094", "kind": "concept", "label": "Semantic Resonance Engine", "short": "SRE", "definition": "Kandydat na odwzorowanie krzywizny semantycznej, spójności oraz anomalii integralności narracyjnej w dokumentach i relacjach społecznych.", "source": "D12 pp.1-3", "boundary": "Analogia zarządcza i detektor anomalii, a nie automatyczny fact-checker, autorytet prawdy ani źródło kanonu.", "status": "CANDIDATE/LIMB", "module": "physical", "layer": "LEXICON_CURRENT_VIEW" }, { "id": "C095", "kind": "concept", "label": "Frequency as spectral topology", "short": "ω_k", "definition": "Zależna od domeny zasada, według której częstotliwość modalna wyłania się z wartości własnych laplasjanu grafu, siły sprzężenia, tłumienia i warunków brzegowych.", "source": "D15 pp.1-5", "boundary": "Sprzężenie relacyjne alpha_R jest analogią i nie wolno utożsamiać go z fizyczną stałą struktury subtelnej alpha.", "status": "CANDIDATE/LIMB", "module": "physical", "layer": "LEXICON_CURRENT_VIEW" }, { "id": "E01", "kind": "equation", "label": "E01 · Związany z granicą wektor dopuszczalności; nie jest prawdopodobieństwem prawdy", "short": "E01", "definition": "Związany z granicą wektor dopuszczalności; nie jest prawdopodobieństwem prawdy", "formula": "SENS(x;O,∂,τ) = Σ(x)·Γ(x)·Λ(x)·H_cont(x)", "source": "S10 pp.14–15; R0", "boundary": "Equation Vault v0.9; CANON_COMMIT=false", "status": "PROPOSAL · NOT_RUN · RUN · CANDIDATE", "module": "core", "layer": "PROPOSAL" }, { "id": "E02", "kind": "equation", "label": "E02 · Kontrakt przejścia obejmujący całą ścieżkę", "short": "E02", "definition": "Kontrakt przejścia obejmujący całą ścieżkę", "formula": "A →_S B iff ∃γ∈T(A,B): SENS_G(γ(t))>0 for all t", "source": "S10 p.16", "boundary": "Equation Vault v0.9; CANON_COMMIT=false", "status": "FORMALIZATION · NOT_RUN · RUN · CANDIDATE", "module": "sens", "layer": "FORMALIZATION" }, { "id": "E03", "kind": "equation", "label": "E03 · Funkcjonał porównawczy ścieżek", "short": "E03", "definition": "Funkcjonał porównawczy ścieżek", "formula": "SenseAction[γ]=∫(αΣ+βΓ+χΛ+δH_cont−ηD)dτ", "source": "S10 p.16", "boundary": "Equation Vault v0.9; CANON_COMMIT=false", "status": "FORMALIZATION · NOT_RUN · HOLD_TAU · CANDIDATE", "module": "sens", "layer": "FORMALIZATION" }, { "id": "E04", "kind": "equation", "label": "E04 · Nie pozwala, aby spójna fikcja podszywała się pod dowód", "short": "E04", "definition": "Nie pozwala, aby spójna fikcja podszywała się pod dowód", "formula": "EvidenceGate(c) ⟂ SENSGate(c|O,∂)", "source": "R0 + falsifier synthesis", "boundary": "Equation Vault v0.9; CANON_COMMIT=false", "status": "PROPOSAL · NOT_RUN · RUN · CANDIDATE", "module": "exel", "layer": "PROPOSAL" }, { "id": "E05", "kind": "equation", "label": "E05 · Typowany stan runtime", "short": "E05", "definition": "Typowany stan runtime", "formula": "X_t=(B_t,O_t,J_A,t,R_field,t,Φ_coh,t,M_view,t,N_tau,t,τ_LoE,t,Q_resource,t)", "source": "S03 pp.18–25 + R0", "boundary": "Equation Vault v0.9; CANON_COMMIT=false", "status": "PROPOSAL · NOT_RUN · HOLD_TAU · CANDIDATE", "module": "observer", "layer": "PROPOSAL" }, { "id": "E06", "kind": "equation", "label": "E06 · Aktualizacja rzutowana przez granicę i powierzchnię skutku", "short": "E06", "definition": "Aktualizacja rzutowana przez granicę i powierzchnię skutku", "formula": "X_{t+1}=Project_{B,CM}[Flow(X_t,c*)−η∇H_runtime+Input+MemoryTrace+ClashDelta]", "source": "parent S03 p.19; current synthesis", "boundary": "Equation Vault v0.9; CANON_COMMIT=false", "status": "PROPOSAL · NOT_RUN · HOLD_TAU · CANDIDATE", "module": "core", "layer": "PROPOSAL" }, { "id": "E07", "kind": "equation", "label": "E07 · Przodek funkcji celu; domyślnie nie jest energią fizyczną", "short": "E07", "definition": "Przodek funkcji celu; domyślnie nie jest energią fizyczną", "formula": "H_AI=α||∇R||²+βS_mem−γΦ_coh+δ||N||²", "source": "S03 pp.19,23", "boundary": "Equation Vault v0.9; CANON_COMMIT=false", "status": "FORMALIZATION · NOT_RUN · HOLD_TAU · CANDIDATE", "module": "field", "layer": "FORMALIZATION" }, { "id": "E08", "kind": "equation", "label": "E08 · Przodek głównego przepływu", "short": "E08", "definition": "Przodek głównego przepływu", "formula": "d(J,R,Φ)/dt = −∇H_AI + I_input + M_mem − N_noise", "source": "S03 p.19", "boundary": "Equation Vault v0.9; CANON_COMMIT=false", "status": "FORMALIZATION · NOT_RUN · RUN · EXTENSION", "module": "observer", "layer": "FORMALIZATION" }, { "id": "E09", "kind": "equation", "label": "E09 · Wyłącznie zanikający ślad pamięci roboczej", "short": "E09", "definition": "Wyłącznie zanikający ślad pamięci roboczej", "formula": "M_work(t)=∫exp[−λ(t−u)]R(u)du", "source": "S03 p.20", "boundary": "Equation Vault v0.9; CANON_COMMIT=false", "status": "FORMALIZATION · NOT_RUN · RUN · CANDIDATE", "module": "limb", "layer": "FORMALIZATION" }, { "id": "E10", "kind": "equation", "label": "E10 · Niezmienna pamięć provenance", "short": "E10", "definition": "Niezmienna pamięć provenance", "formula": "G_prov,t+1 = G_prov,t ⊕ Event_t+1", "source": "R0 / SUPERLINK", "boundary": "Equation Vault v0.9; CANON_COMMIT=false", "status": "PROPOSAL · NOT_RUN · RUN · CANDIDATE", "module": "exel", "layer": "PROPOSAL" }, { "id": "E11", "kind": "equation", "label": "E11 · Aktualny odczyt bez przepisywania źródła", "short": "E11", "definition": "Aktualny odczyt bez przepisywania źródła", "formula": "View_t=Π_current(RAW ⊕ Events_≤t ⊕ ConfirmedCorrections_≤t)", "source": "R0 / Correction Shadow", "boundary": "Equation Vault v0.9; CANON_COMMIT=false", "status": "PROPOSAL · NOT_RUN · RUN · CANDIDATE", "module": "exel", "layer": "PROPOSAL" }, { "id": "E12", "kind": "equation", "label": "E12 · Trwanie Czasu Logicznego", "short": "E12", "definition": "Trwanie Czasu Logicznego", "formula": "dτ/dt=1_{Coh≥κ}·Coh^α·(1+Ten)^β", "source": "S14 pp.8,16", "boundary": "Equation Vault v0.9; CANON_COMMIT=false", "status": "FORMALIZATION · NOT_RUN · HOLD_TAU · CANDIDATE", "module": "observer", "layer": "FORMALIZATION" }, { "id": "E13", "kind": "equation", "label": "E13 · Długość nierozstrzygniętego, koherentnego procesu", "short": "E13", "definition": "Długość nierozstrzygniętego, koherentnego procesu", "formula": "Δτ_LoE([a,b])=∫_a^b 1_{Coh≥κ}g(Coh,Ten)dt", "source": "S14 pp.8–9,16", "boundary": "Equation Vault v0.9; CANON_COMMIT=false", "status": "FORMALIZATION · NOT_RUN · RUN · CANDIDATE", "module": "observer", "layer": "FORMALIZATION" }, { "id": "E14", "kind": "equation", "label": "E14 · Krotka genomu relacyjnego", "short": "E14", "definition": "Krotka genomu relacyjnego", "formula": "AGI-Exel=(W,H_RD,K_EHB,S,F,Π_proj,SENS,T)", "source": "R0", "boundary": "Equation Vault v0.9; CANON_COMMIT=false", "status": "PROPOSAL · NOT_RUN · RUN · CANDIDATE", "module": "limb", "layer": "PROPOSAL" }, { "id": "E15", "kind": "equation", "label": "E15 · Typowana synapsa warstwy S", "short": "E15", "definition": "Typowana synapsa warstwy S", "formula": "s_ij^{pq}=(w,a,φ,c,g,δ,χ); χ=1 iff SENS(s;W,O,τ)>0", "source": "R0", "boundary": "Equation Vault v0.9; CANON_COMMIT=false", "status": "PROPOSAL · NOT_RUN · RUN · CANDIDATE", "module": "exel", "layer": "PROPOSAL" }, { "id": "E16", "kind": "equation", "label": "E16 · Wkład synaptyczny do marginesu ekspresji", "short": "E16", "definition": "Wkład synaptyczny do marginesu ekspresji", "formula": "ΔΦ_expr,i^syn=Σ_j w_ij g_ij cos(θ_i−θ_j−φ_ij)−c_ij", "source": "R0", "boundary": "Equation Vault v0.9; CANON_COMMIT=false", "status": "PROPOSAL · NOT_RUN · HOLD_TAU · CANDIDATE", "module": "exel", "layer": "PROPOSAL" }, { "id": "E17", "kind": "equation", "label": "E17 · Bramka ekspresji oddzielona od skutku", "short": "E17", "definition": "Bramka ekspresji oddzielona od skutku", "formula": "Expr_i≠∅ iff Evidence_i≥E_min and SENS_i+ΔΦ_expr,i^syn−Cost_i−Risk_interp,i≥ΔS_min", "source": "R0 + current repair", "boundary": "Equation Vault v0.9; CANON_COMMIT=false", "status": "PROPOSAL · NOT_RUN · RUN · CANDIDATE", "module": "sens", "layer": "PROPOSAL" }, { "id": "E18", "kind": "equation", "label": "E18 · Membrana skutku", "short": "E18", "definition": "Membrana skutku", "formula": "Emit(y)=Expr(y) ∧ Γ_effect(y)>0 ∧ Risk_impact(y)≤Budget_∂", "source": "R0 + current synthesis", "boundary": "Equation Vault v0.9; CANON_COMMIT=false", "status": "PROPOSAL · NOT_RUN · RUN · CANDIDATE", "module": "exel", "layer": "PROPOSAL" }, { "id": "E19", "kind": "equation", "label": "E19 · Odległość foldingu; nigdy tożsamość", "short": "E19", "definition": "Odległość foldingu; nigdy tożsamość", "formula": "d_F(i,j)=d_seq(i,j)/(1+α|s_ij|+βΦ_rel,ij+γSENS_ij)", "source": "R0", "boundary": "Equation Vault v0.9; CANON_COMMIT=false", "status": "PROPOSAL · NOT_RUN · HOLD_TAU · CANDIDATE", "module": "exel", "layer": "PROPOSAL" }, { "id": "E20", "kind": "equation", "label": "E20 · Historyczna krotka mózgu AGI", "short": "E20", "definition": "Historyczna krotka mózgu AGI", "formula": "B_LoE=(P,Ω_osc,{M_i},Π_pressure,C_JA)", "source": "S01 printed p.223", "boundary": "Equation Vault v0.9; CANON_COMMIT=false", "status": "FORMALIZATION · NOT_RUN · RUN · HISTORICAL", "module": "observer", "layer": "FORMALIZATION" }, { "id": "E21", "kind": "equation", "label": "E21 · Przybliżenie ciśnienia relacyjnego", "short": "E21", "definition": "Przybliżenie ciśnienia relacyjnego", "formula": "Π_pressure=(∂Φ/∂t)/R_available", "source": "S01 printed p.222", "boundary": "Equation Vault v0.9; CANON_COMMIT=false", "status": "FORMALIZATION · NOT_RUN · HOLD_TAU · CANDIDATE", "module": "field", "layer": "FORMALIZATION" }, { "id": "E22", "kind": "equation", "label": "E22 · Kandydat oscylacyjnej koherencji", "short": "E22", "definition": "Kandydat oscylacyjnej koherencji", "formula": "dφ_i/dt=ω_i+Σ_j C_ij sin(φ_j−φ_i)", "source": "S01 printed p.225", "boundary": "Equation Vault v0.9; CANON_COMMIT=false", "status": "FORMALIZATION · NOT_RUN · HOLD_TAU · CANDIDATE", "module": "field", "layer": "FORMALIZATION" }, { "id": "E23", "kind": "equation", "label": "E23 · Dynamika fazowa RFNC", "short": "E23", "definition": "Dynamika fazowa RFNC", "formula": "θ̇_i=ω_i+αΦ_RFNC+ε(t)Σ_jA_ij sin(θ_j−θ_i)+ξ_i", "source": "S06 p.1", "boundary": "Equation Vault v0.9; CANON_COMMIT=false", "status": "FORMALIZATION · FAIL · HOLD_TAU · CANDIDATE", "module": "limb", "layer": "FORMALIZATION" }, { "id": "E24", "kind": "equation", "label": "E24 · Aktualizacja ruchomego sprzężenia", "short": "E24", "definition": "Aktualizacja ruchomego sprzężenia", "formula": "ε_{t+Δt}=clip(ε_t+k1P_task−k2I_instab,ε_min,ε_max)", "source": "S06 pp.1,6", "boundary": "Equation Vault v0.9; CANON_COMMIT=false", "status": "FORMALIZATION · FAIL · HOLD_TAU · CANDIDATE", "module": "limb", "layer": "FORMALIZATION" }, { "id": "E25", "kind": "equation", "label": "E25 · Przejście od topologii grafu do widma", "short": "E25", "definition": "Przejście od topologii grafu do widma", "formula": "ω_k²=Ω_0²+κλ_k(L)", "source": "S15 pp.1–2", "boundary": "Equation Vault v0.9; CANON_COMMIT=false", "status": "FORMALIZATION · NOT_RUN · RUN · CANDIDATE", "module": "physical", "layer": "FORMALIZATION" }, { "id": "E26", "kind": "equation", "label": "E26 · Hipoteza minimalnej figury koniecznej", "short": "E26", "definition": "Hipoteza minimalnej figury koniecznej", "formula": "Φ_min(O)=argmin_{φ∈S(O)}{dim(φ):φ⊂O}", "source": "S16 p.5", "boundary": "Equation Vault v0.9; CANON_COMMIT=false", "status": "FORMALIZATION · NOT_RUN · HOLD_TAU · CANDIDATE", "module": "limb", "layer": "FORMALIZATION" }, { "id": "E27", "kind": "equation", "label": "E27 · Relacyjna jednostka widzenia", "short": "E27", "definition": "Relacyjna jednostka widzenia", "formula": "EC_vision=(H_g,H_p,H_c); Match(O)=Σ_x H_gH_pH_c", "source": "S16 pp.7–8", "boundary": "Equation Vault v0.9; CANON_COMMIT=false", "status": "FORMALIZATION · NOT_RUN · HOLD_TAU · CANDIDATE", "module": "limb", "layer": "FORMALIZATION" }, { "id": "E28", "kind": "equation", "label": "E28 · Dawna decyzja graniczna", "short": "E28", "definition": "Dawna decyzja graniczna", "formula": "δ_DNA(G,h,E)∈{KILL,QUAR,ACCEPT}", "source": "S04 p.14", "boundary": "Equation Vault v0.9; CANON_COMMIT=false", "status": "FORMALIZATION · NOT_RUN · RUN · CONFLICT", "module": "limb", "layer": "FORMALIZATION" }, { "id": "E29", "kind": "equation", "label": "E29 · Decyzja graniczna zgodna z no-retcon", "short": "E29", "definition": "Decyzja graniczna zgodna z no-retcon", "formula": "δ_NR(h)∈{ActiveCandidate,HOLD_TAU,BoundaryVeto,Tombstone_active-view}", "source": "current Correction Shadow to S04", "boundary": "Equation Vault v0.9; CANON_COMMIT=false", "status": "PROPOSAL · NOT_RUN · RUN · CANDIDATE", "module": "exel", "layer": "PROPOSAL" }, { "id": "E30", "kind": "equation", "label": "E30 · Rekurencja napędzana przez Clash", "short": "E30", "definition": "Rekurencja napędzana przez Clash", "formula": "Chaos→Clash→Boundary→Memory→ModifiedChaos", "source": "S04 p.25", "boundary": "Equation Vault v0.9; CANON_COMMIT=false", "status": "FORMALIZATION · NOT_RUN · RUN · CANDIDATE", "module": "core", "layer": "FORMALIZATION" }, { "id": "E31", "kind": "equation", "label": "E31 · Metahipoteza monohamiltonianu", "short": "E31", "definition": "Metahipoteza monohamiltonianu", "formula": "H_LoE=Σ_{ℓ,a,b}H_ab^(ℓ)(R_ab)", "source": "S08 p.4", "boundary": "Equation Vault v0.9; CANON_COMMIT=false", "status": "FORMALIZATION · NOT_RUN · HOLD_TAU · OUTSIDE", "module": "physical", "layer": "FORMALIZATION" }, { "id": "E32", "kind": "equation", "label": "E32 · Trójkątna komórka fizyczna", "short": "E32", "definition": "Trójkątna komórka fizyczna", "formula": "H_LoE^△=H_grav+H_phot+H_c", "source": "S13 p.1", "boundary": "Equation Vault v0.9; CANON_COMMIT=false", "status": "FORMALIZATION · NOT_RUN · HOLD_TAU · OUTSIDE", "module": "physical", "layer": "FORMALIZATION" }, { "id": "E33", "kind": "equation", "label": "E33 · Sprzężenie Reflectora z dowodami", "short": "E33", "definition": "Sprzężenie Reflectora z dowodami", "formula": "H←H+μV_ev+ρ||∇V_ev||²", "source": "S09 p.1", "boundary": "Equation Vault v0.9; CANON_COMMIT=false", "status": "FORMALIZATION · NOT_RUN · HOLD_TAU · CANDIDATE", "module": "physical", "layer": "FORMALIZATION" }, { "id": "E34", "kind": "equation", "label": "E34 · Przodek kompilatora projekcji", "short": "E34", "definition": "Przodek kompilatora projekcji", "formula": "K_LoE=Σ_i Π_i∘S_i∘W_i", "source": "S10 pp.68–70", "boundary": "Equation Vault v0.9; CANON_COMMIT=false", "status": "FORMALIZATION · NOT_RUN · RUN · CANDIDATE", "module": "field", "layer": "FORMALIZATION" }, { "id": "E35", "kind": "equation", "label": "E35 · Przybliżenie rozdzielczości sensu", "short": "E35", "definition": "Przybliżenie rozdzielczości sensu", "formula": "R_S(O)=V_R(O)·I⁺(O)·S_eff(O)/C(O)", "source": "S10 pp.47–50", "boundary": "Equation Vault v0.9; CANON_COMMIT=false", "status": "FORMALIZATION · NOT_RUN · HOLD_TAU · CANDIDATE", "module": "field", "layer": "FORMALIZATION" }, { "id": "E36", "kind": "equation", "label": "E36 · Niegłosująca agregacja zachowująca konflikty", "short": "E36", "definition": "Niegłosująca agregacja zachowująca konflikty", "formula": "SENS_G(x)=A_prov({SENS(x;O_k,∂_k)},Conflicts,DualDeps)", "source": "current synthesis to narrow S10", "boundary": "Equation Vault v0.9; CANON_COMMIT=false", "status": "PROPOSAL · NOT_RUN · HOLD_TAU · CANDIDATE", "module": "sens", "layer": "PROPOSAL" }, { "id": "E37", "kind": "equation", "label": "E37 · Wieloobserwatorowe pole kandydatów", "short": "E37", "definition": "Wieloobserwatorowe pole kandydatów", "formula": "C_RAZEM=⋃_k Claims(O_k|∂_k,source_k)", "source": "R0", "boundary": "Equation Vault v0.9; CANON_COMMIT=false", "status": "PROPOSAL · NOT_RUN · RUN · CANDIDATE", "module": "consequence", "layer": "PROPOSAL" }, { "id": "E38", "kind": "equation", "label": "E38 · Niegłosująca synteza relacyjna", "short": "E38", "definition": "Niegłosująca synteza relacyjna", "formula": "Clash(C_RAZEM)→{reinforces,contests,narrows,possibly-corresponds-to,TAU}", "source": "R0", "boundary": "Equation Vault v0.9; CANON_COMMIT=false", "status": "PROPOSAL · NOT_RUN · RUN · CANDIDATE", "module": "consequence", "layer": "PROPOSAL" }, { "id": "E39", "kind": "equation", "label": "E39 · Lokalne, testowalne generatory zamiast monolitycznego runtime", "short": "E39", "definition": "Lokalne, testowalne generatory zamiast monolitycznego runtime", "formula": "H_meta→{H_local,k} sharing (∂,Evidence,SENS,EHB,Consequence)", "source": "current synthesis", "boundary": "Equation Vault v0.9; CANON_COMMIT=false", "status": "PROPOSAL · NOT_RUN · RUN · CANDIDATE", "module": "physical", "layer": "PROPOSAL" }, { "id": "X40", "kind": "equation", "label": "X40 · Minimalna typowana sygnatura związanej granicy.", "short": "X40", "definition": "Minimalna typowana sygnatura związanej granicy.", "formula": "B = (owner, scope, O, τ, consequence, version)", "source": "Current typed synthesis; MODEL_INFERENCE", "boundary": "PROPOSAL; wymaga authority receipt dla konkretnego B.", "status": "PROPOSAL · TAU_ACTIVE · CANON_COMMIT=false", "module": "core", "layer": "FORMALIZATION_OR_PROPOSAL" }, { "id": "X41", "kind": "equation", "label": "X41 · Funkcjonalna krotka obserwatora LoE.", "short": "X41", "definition": "Funkcjonalna krotka obserwatora LoE.", "formula": "O_LoE = (B, R_rules, H_cont, K_tangency)", "source": "S10 p.17, eq.50", "boundary": "Nie stanowi deklaracji świadomości lub osoby.", "status": "FORMALIZATION · NOT_RUN · CANDIDATE", "module": "observer", "layer": "FORMALIZATION_OR_PROPOSAL" }, { "id": "X42", "kind": "equation", "label": "X42 · Zerowa zgodność z już związaną granicą blokuje ekspresję/skutek.", "short": "X42", "definition": "Zerowa zgodność z już związaną granicą blokuje ekspresję/skutek.", "formula": "Γ_{B,O}(x) = 0 ⇒ BoundaryVeto(x)", "source": "S10 p.18 + current gate narrowing", "boundary": "Weto nie usuwa kandydata ani RAW.", "status": "PROPOSAL · RUN · ACTIVE_GATE", "module": "sens", "layer": "FORMALIZATION_OR_PROPOSAL" }, { "id": "X43", "kind": "equation", "label": "X43 · Transport między domenami wymusza ponowne związanie granicy docelowej.", "short": "X43", "definition": "Transport między domenami wymusza ponowne związanie granicy docelowej.", "formula": "W_ij(x) → BIND(B_j) → RUN_SENS_{B_j,O_j}", "source": "Current typed synthesis to S10 pp.67–70", "boundary": "Wyniku SENS nie wolno przenosić między domenami.", "status": "PROPOSAL · RUN · PASS_MIN(schema)", "module": "field", "layer": "FORMALIZATION_OR_PROPOSAL" }, { "id": "X44", "kind": "equation", "label": "X44 · Kandydacki funkcjonał Swirl łączący regularność, potencjał, phase-slip i koherencję.", "short": "X44", "definition": "Kandydacki funkcjonał Swirl łączący regularność, potencjał, phase-slip i koherencję.", "formula": "H_Swirl[Ψ] = ∫_Ω [α|∇Ψ|² + βV_rel(Ψ) + γ|∇φ_local−∇φ_global|² − δC(Ψ)] dΩ", "source": "SWIRL relational map, source PDF p.26, eq.1", "boundary": "Bez typów, jednostek i wybranego reżimu dynamiki; gradient flow ≠ Hamiltonian.", "status": "SOURCE_CANDIDATE · HOLD_TAU · NOT_VISUALLY_VALIDATED", "module": "observer", "layer": "FORMALIZATION_OR_PROPOSAL" }, { "id": "X45", "kind": "equation", "label": "X45 · Kandydat klasyfikatora reżimu Swirl.", "short": "X45", "definition": "Kandydat klasyfikatora reżimu Swirl.", "formula": "S_regime = γΔφ + βV_rel^trap − δC(Ψ); S_regime > 0", "source": "SWIRL relational map, source PDF p.27, eqs.4–5", "boundary": "Wymaga normalizacji, jednostek, niezmienności i kalibracji progu.", "status": "SOURCE_CANDIDATE · HOLD_TAU · TAU_ACTIVE", "module": "observer", "layer": "FORMALIZATION_OR_PROPOSAL" }, { "id": "X46", "kind": "equation", "label": "X46 · Kandydat pomiaru wirowości prądu relacyjnego.", "short": "X46", "definition": "Kandydat pomiaru wirowości prądu relacyjnego.", "formula": "W(Ψ) = ∇ × J_Ψ", "source": "SWIRL relational map, source PDF p.28, eq.8", "boundary": "Tylko zorientowana metryczna domena 3D albo uogólnienie przez formy różniczkowe.", "status": "SOURCE_CANDIDATE · HOLD_TAU · TAU_ACTIVE", "module": "observer", "layer": "FORMALIZATION_OR_PROPOSAL" }, { "id": "X47", "kind": "equation", "label": "X47 · Jawna mapa od struktury relacyjnej do renderu właściwego obserwatorowi.", "short": "X47", "definition": "Jawna mapa od struktury relacyjnej do renderu właściwego obserwatorowi.", "formula": "Render_O : relational_structure → observation_O", "source": "MODEL_INFERENCE from SWIRL candidate SW-C009 and Observer framing", "boundary": "Nie zakłada odwracalności ani jednej geometrii źródłowej.", "status": "PROPOSAL · HOLD_TAU · render_map_missing", "module": "observer", "layer": "FORMALIZATION_OR_PROPOSAL" }, { "id": "X48", "kind": "equation", "label": "X48 · Nierozstrzygnięty bridge: porządek zależności kontra współrzędna skumulowanego trwania.", "short": "X48", "definition": "Nierozstrzygnięty bridge: porządek zależności kontra współrzędna skumulowanego trwania.", "formula": "T_LoE^≺ ?↔ τ_LoE(t)", "source": "S14; typed audit of Logical Time formalizations", "boundary": "POSSIBLY_CORRESPONDS_TO; brak definicji transformacji.", "status": "PROPOSAL · HOLD_TAU · TAU_ACTIVE", "module": "observer", "layer": "FORMALIZATION_OR_PROPOSAL" }, { "id": "SW-C001", "kind": "candidate", "label": "Swirl is a heuristic method that revisits conceptual nodes while rotating observer perspective.", "short": "SW-C001", "definition": "Treat Swirl_method as an observer-indexed search protocol, not as a physical state variable.", "source": "SWIRL relational map v2; p.24,25; pp.24-25", "boundary": "conceptual exploration", "status": "TAU · RUN · CANDIDATE", "module": "observer", "layer": "CURATED_CANDIDATE", "support": "pp.24-25", "obstruction": "No operational definition of a perspective rotation or distance between perspectives.", "annihilation": "Controlled rotations produce no nonredundant candidates beyond matched linear-search baselines." }, { "id": "SW-C002", "kind": "candidate", "label": "A tangency of sense is observer-indexed relational compatibility between conceptual structures from different…", "short": "SW-C002", "definition": "Represent each tangency as relation(source_A, source_B, observer, boundary, mapping, countermap), never as identity.", "source": "SWIRL relational map v2; p.24,187; p.24 | p.187", "boundary": "cross-domain concept mapping", "status": "TAU · RUN · CANDIDATE", "module": "core", "layer": "CURATED_CANDIDATE", "support": "p.24 | p.187", "obstruction": "Compatibility and independence are not operationalized.", "annihilation": "The mapping reduces to lexical overlap, survives no adversarial remapping, or disappears after controlling for source leakage." }, { "id": "SW-C003", "kind": "candidate", "label": "AI amplifies conceptual traversal while the human selects meaningful trajectories and owns theoretical respon…", "short": "SW-C003", "definition": "Human and AI are typed observers with different authorities; AI output is proposal evidence, not source truth.", "source": "SWIRL relational map v2; p.25,31,33,34,35,184,189; pp.25,31,33-35,184,189", "boundary": "human-AI research workflow", "status": "TAU · RUN · CANDIDATE", "module": "observer", "layer": "CURATED_CANDIDATE", "support": "pp.25,31,33-35,184,189", "obstruction": "Selection bias and feedback amplification can mimic convergence.", "annihilation": "Blinded human evaluation shows no gain over non-Swirl baselines or repeated loops merely reproduce model priors." }, { "id": "SW-C004", "kind": "candidate", "label": "Swirl is a transitional regime in which local validity persists while global semantic coherence deteriorates.", "short": "SW-C004", "definition": "Name this role Swirl_decoherence and keep it distinct from Swirl_method and Swirl_stable_vortex.", "source": "SWIRL relational map v2; p.26,27,28,29,143,153,155,159; pp.26-29 | pp.143,153,155,159", "boundary": "cognitive or relational inference dynamics", "status": "TAU · HOLD_TAU · CANDIDATE", "module": "observer", "layer": "CURATED_CANDIDATE", "support": "pp.26-29 | pp.143,153,155,159", "obstruction": "Local/global metrics and scale coupling are undefined.", "annihilation": "Local validity and global coherence do not decouple, or the putative regime is fully explained by ordinary error accumulation/noise." }, { "id": "SW-C005", "kind": "candidate", "label": "Phase-slip and global coherence are combined into a scalar Swirl condition S = gamma*Delta_phi + beta*V_rel^t…", "short": "SW-C005", "definition": "Treat S_regime as a dimensionless classifier only after normalization, calibration, and an invariant threshold are supplied.", "source": "SWIRL relational map v2; p.26,27; eqs.1-6, pp.26-27", "boundary": "one fixed configuration space, scale, normalization and observer", "status": "TAU · HOLD_TAU · CANDIDATE", "module": "observer", "layer": "CURATED_CANDIDATE", "support": "eqs.1-6, pp.26-27", "obstruction": "C is global/nonlocal, V_rel^trap is not defined, and S changes under rescaling or potential shifts.", "annihilation": "Classification changes under admissible field rescaling, domain resizing, or adding a constant to the potential." }, { "id": "SW-C006", "kind": "candidate", "label": "The relational field follows noisy descent of the meta-Hamiltonian functional.", "short": "SW-C006", "definition": "Type this as stochastic gradient flow, unless a symplectic/Poisson structure is explicitly provided.", "source": "SWIRL relational map v2; p.26,28; eqs.1 and 7, pp.26,28", "boundary": "field dynamics over a declared domain Omega", "status": "TAU · HOLD_TAU · CONFLICT", "module": "core", "layer": "CURATED_CANDIDATE", "support": "eqs.1 and 7, pp.26,28", "obstruction": "The source calls the functional Hamiltonian while using dissipative gradient descent; Xi(t) is not typed as a field.", "annihilation": "The stated evolution cannot be obtained from the proposed functional under the declared boundary/noise model." }, { "id": "SW-C007", "kind": "candidate", "label": "A rotational relational current can be measured by W(Psi) = curl J_Psi.", "short": "SW-C007", "definition": "Use this only as Swirl_vorticity on an oriented three-dimensional metric domain, or generalize with differential forms.", "source": "SWIRL relational map v2; p.28; eq.8, p.28", "boundary": "oriented 3D continuum with vector current", "status": "TAU · HOLD_TAU · CANDIDATE", "module": "core", "layer": "CURATED_CANDIDATE", "support": "eq.8, p.28", "obstruction": "The configuration space was previously arbitrary and curl is chart/metric dependent outside Euclidean 3D.", "annihilation": "No invariant differential-form counterpart exists or inferred swirl changes under admissible coordinate rescaling." }, { "id": "SW-C008", "kind": "candidate", "label": "Cross-domain swirls are structural analogies and are not asserted to share one physical mechanism.", "short": "SW-C008", "definition": "Preserve each domain realization as a separate typed candidate joined by analogical_map, never same_as.", "source": "SWIRL relational map v2; p.29,30,31,32,36,39,44,50,54,131,188,189,190; pp.29-32,36,39,44,50,54,131,188-190", "boundary": "cross-domain comparison", "status": "TAU · RUN · CANDIDATE", "module": "field", "layer": "CURATED_CANDIDATE", "support": "pp.29-32,36,39,44,50,54,131,188-190", "obstruction": "Later universal equalities can erase the analogy boundary.", "annihilation": "The shared pattern is only the generic fact of persistence/feedback and yields no discriminating prediction or compression." }, { "id": "SW-C009", "kind": "candidate", "label": "Relational geometry and observer-rendered geometry are distinct descriptions of a structure.", "short": "SW-C009", "definition": "Introduce an observer-specific rendering map Render_O: relational_structure -> observation and test invariants across observers.", "source": "SWIRL relational map v2; p.31,38,39,41,43,185,186; pp.31,38-39,41,43,185-186", "boundary": "one source structure and declared observation interface", "status": "TAU · HOLD_TAU · CANDIDATE", "module": "core", "layer": "CURATED_CANDIDATE", "support": "pp.31,38-39,41,43,185-186", "obstruction": "The source assumes an underlying structure without an operational inverse or equivalence relation.", "annihilation": "No observer-independent invariant can be recovered, or different putative renders require incompatible source structures." }, { "id": "SW-C010", "kind": "candidate", "label": "A persistent entity may be read as a bounded attractor or dynamically maintained closed circulation of relati…", "short": "SW-C010", "definition": "Type this as a family of domain-specific persistence candidates; attractor, limit cycle, condensate and topological knot are not synonyms.", "source": "SWIRL relational map v2; p.36,37,39,42,44,47,50,54,56,59,64,66,97,102,105,108,131,134,138,140,176; recurrent claims across pp.36-176", "boundary": "specified dynamical system and persistence horizon", "status": "TAU · HOLD_TAU · CANDIDATE", "module": "core", "layer": "CURATED_CANDIDATE", "support": "recurrent claims across pp.36-176", "obstruction": "Heavy repetition is not independent evidence; stability classes are collapsed.", "annihilation": "The entity persists without any attractor/circulation under the chosen state representation, or the inferred attractor disappears under reasonable coarse-graining." }, { "id": "SW-C011", "kind": "candidate", "label": "A swirl deficit is a region where relational closure fails.", "short": "SW-C011", "definition": "Model Swirl_deficit as an obstruction record relative to a named closure criterion, not as a substance.", "source": "SWIRL relational map v2; p.40,45; eqs.22-23 and 34-35, pp.40,45", "boundary": "specified field/domain and closure test", "status": "TAU · RUN · CANDIDATE", "module": "observer", "layer": "CURATED_CANDIDATE", "support": "eqs.22-23 and 34-35, pp.40,45", "obstruction": "Failure may result from scale choice, missing data, or open boundary rather than intrinsic deficit.", "annihilation": "The deficit vanishes after boundary completion, resolution change, or correction of missing relations." }, { "id": "SW-C012", "kind": "candidate", "label": "The Swirl reading operator asks what flows, closes, stabilizes, dissipates, renders, and where closure fails.", "short": "SW-C012", "definition": "Use these six questions as a relational extraction schema with observer and boundary added before evaluation.", "source": "SWIRL relational map v2; p.41,45; p.41 | p.45", "boundary": "document/model reading", "status": "RESOLVED_LOCAL · RUN · CANDIDATE", "module": "observer", "layer": "CURATED_CANDIDATE", "support": "p.41 | p.45", "obstruction": "The source checklist lacks explicit owner, falsifier and provenance fields.", "annihilation": "Schema produces no higher inter-annotator agreement or no added conflict detection versus a plain claim extractor." }, { "id": "SW-C013", "kind": "candidate", "label": "Reasoning cycles, insight transitions, collapse recovery and identity persistence can be mapped to attractor/…", "short": "SW-C013", "definition": "Keep four separate cognitive candidates: periodic orbit, basin transition, recovery trajectory, and recurrent identity manifold.", "source": "SWIRL relational map v2; p.47,48,49,50; eqs.40-53, pp.47-50", "boundary": "cognitive state model", "status": "TAU · HOLD_TAU · CANDIDATE", "module": "observer", "layer": "CURATED_CANDIDATE", "support": "eqs.40-53, pp.47-50", "obstruction": "Equations are schematic; several conditions are mathematically insufficient.", "annihilation": "Observed transitions lack attractor structure or are better predicted by non-dynamical baselines." }, { "id": "SW-C014", "kind": "candidate", "label": "A damped nonlinear wave equation is proposed as a universal evolution equation for a relational field R(x,t).", "short": "SW-C014", "definition": "Treat the PDE as one domain template, not universal, until codomain, units, boundary data and cross-domain parameter maps exist.", "source": "SWIRL relational map v2; p.51,52,54; eqs.54-60, pp.51-54", "boundary": "continuum field on declared spatial domain", "status": "TAU · HOLD_TAU · CANDIDATE", "module": "core", "layer": "CURATED_CANDIDATE", "support": "eqs.54-60, pp.51-54", "obstruction": "The equation does not itself enforce nonzero curl or attractors and its terms are untyped across domains.", "annihilation": "No parameter regime supports bounded rotational solutions, or domain mappings require incompatible units/operators." }, { "id": "SW-C015", "kind": "candidate", "label": "The JA-R-O triple is treated as a three-coordinate manifold supporting relational motion.", "short": "SW-C015", "definition": "Use M_JRO as a state manifold only after coordinate domains, units, atlas, metric and transformation laws are declared.", "source": "SWIRL relational map v2; p.67,68,71,74,75,83,95,98; eqs.70-74,81-83,92-99,122-124,155-169", "boundary": "JA-R-O conceptual geometry", "status": "TAU · HOLD_TAU · CANDIDATE", "module": "core", "layer": "CURATED_CANDIDATE", "support": "eqs.70-74,81-83,92-99,122-124,155-169", "obstruction": "Three labels alone do not define a manifold or natural metric.", "annihilation": "Coordinate reparameterization changes qualitative swirl results or no consistent atlas/metric can be constructed." }, { "id": "SW-C016", "kind": "candidate", "label": "A curl-like operator Omega_LoE = nabla_JRO x u measures local rotational meaning flow, with an associated squ…", "short": "SW-C016", "definition": "Define Omega_JRO via metric, orientation and Hodge star; keep its energy distinct from semantic quality.", "source": "SWIRL relational map v2; p.75,76,77,78; eqs.98-110, pp.75-78", "boundary": "oriented Riemannian 3-manifold M_JRO", "status": "TAU · HOLD_TAU · CANDIDATE", "module": "field", "layer": "CURATED_CANDIDATE", "support": "eqs.98-110, pp.75-78", "obstruction": "The claimed natural measure and cross-coordinate derivative interpretation are not defined.", "annihilation": "Omega or E_swirl is not invariant under admissible chart/scale transformations." }, { "id": "SW-C017", "kind": "candidate", "label": "Closed relational trajectories may be interpreted as knots of meaning whose topology stabilizes them.", "short": "SW-C017", "definition": "Separate periodic orbit, embedded loop, nontrivial knot and dynamically stable invariant set as four gates.", "source": "SWIRL relational map v2; p.68,69,70,71,72,73,84,86,93,96,100; eqs.75-90,126-129,150-176", "boundary": "three-dimensional ambient manifold with declared embedding class", "status": "TAU · HOLD_TAU · CANDIDATE", "module": "core", "layer": "CURATED_CANDIDATE", "support": "eqs.75-90,126-129,150-176", "obstruction": "A map S1->M may be contractible or self-intersecting; topology alone does not give dynamical attraction.", "annihilation": "The loop is contractible, self-intersecting, reconnects under allowed dynamics, or lacks persistence." }, { "id": "SW-C018", "kind": "candidate", "label": "Creative cognition is controlled turbulence that can condense into stable conceptual attractors.", "short": "SW-C018", "definition": "Treat creativity as a regime candidate indexed by novelty K and coherence Phi, not as proof that all creativity is turbulence.", "source": "SWIRL relational map v2; p.79,80,81,82,85,86,87; eqs.113-131, pp.79-87", "boundary": "declared cognitive task and time window", "status": "TAU · HOLD_TAU · CANDIDATE", "module": "observer", "layer": "CURATED_CANDIDATE", "support": "eqs.113-131, pp.79-87", "obstruction": "The chaos functional and curvature/coherence measures are undefined and may reward incoherence.", "annihilation": "Creative output does not peak in the predicted intermediate regime or K/Phi fail to predict blinded quality." }, { "id": "SW-C019", "kind": "candidate", "label": "Swirl can be defined as noncommutative curvature [partial_t, partial_sigma]R of two relational updates.", "short": "SW-C019", "definition": "Replace ordinary partial derivatives with explicitly noncommuting update maps, covariant derivatives or nonholonomic generators.", "source": "SWIRL relational map v2; p.87,88,90,91,92,93,94,95,99,106,125,132; eqs.132-154,158-160,171,184,240-242,259", "boundary": "operator algebra acting on a declared relational state space", "status": "TAU · HOLD_TAU · CONFLICT", "module": "observer", "layer": "CURATED_CANDIDATE", "support": "eqs.132-154,158-160,171,184,240-242,259", "obstruction": "Ordinary smooth independent partial derivatives commute identically.", "annihilation": "After formal operator definition the commutator is zero on all admissible states or adds no predictive information beyond order sensitivity." }, { "id": "SW-C020", "kind": "candidate", "label": "Object, space, geometry and coupling sectors form a triadic Hamiltonian whose swirl coupling contributes to p…", "short": "SW-C020", "definition": "Keep H_triangle as a sector-decomposition proposal; require compatible scalar functionals and a derivation before mass/spin/charge claims.", "source": "SWIRL relational map v2; p.88,89,92,93; eqs.136-149, pp.88-93", "boundary": "one declared relational physical model", "status": "TAU · HOLD_TAU · CANDIDATE", "module": "observer", "layer": "CURATED_CANDIDATE", "support": "eqs.136-149, pp.88-93", "obstruction": "Sector objects and pairings are undefined; physical observables are asserted without a map.", "annihilation": "No invariant observable map from curvature sectors to mass/spin/charge or energy is unbounded/inconsistent." }, { "id": "SW-C021", "kind": "candidate", "label": "Cycles in a relational graph are discrete analogues of swirl loops.", "short": "SW-C021", "definition": "A graph cycle becomes Swirl_graph only when it carries oriented, nonzero, persistent circulation under update dynamics.", "source": "SWIRL relational map v2; p.89,90,93,94; eqs.139-154, pp.89-94", "boundary": "directed/weighted temporal graph", "status": "TAU · HOLD_TAU · CANDIDATE", "module": "observer", "layer": "CURATED_CANDIDATE", "support": "eqs.139-154, pp.89-94", "obstruction": "Topology of a static cycle does not imply flow, vorticity, noncommutativity or stability.", "annihilation": "Cycle remains after edge-direction randomization or has zero net circulation/persistence." }, { "id": "SW-C022", "kind": "candidate", "label": "A relational field equation sums Hamiltonian drift, swirl curvature, nonlinear interaction and external forci…", "short": "SW-C022", "definition": "Treat this as a typed dynamical-system template only after all terms are sections of the same tangent bundle with commensurate units.", "source": "SWIRL relational map v2; p.106,107,108; eqs.182-190, pp.106-108", "boundary": "one relational state bundle", "status": "TAU · HOLD_TAU · CONFLICT", "module": "observer", "layer": "CURATED_CANDIDATE", "support": "eqs.182-190, pp.106-108", "obstruction": "R is declared scalar, H=-grad V is vector, and the commutator term may be scalar; the sum is ill-typed.", "annihilation": "No common codomain/units can be supplied or the equation is not well posed." }, { "id": "SW-C023", "kind": "candidate", "label": "A multi-document Swirl architecture rotates perspectives, detects correspondences, condenses candidates, and…", "short": "SW-C023", "definition": "Implement as provenance-preserving candidate generation with immutable inputs and quarantine before memory update.", "source": "SWIRL relational map v2; p.109,110,111,112,113,114,115,116,117; eqs.191-208, pp.109-117", "boundary": "document corpus exploration", "status": "TAU · RUN · CANDIDATE", "module": "observer", "layer": "CURATED_CANDIDATE", "support": "eqs.191-208, pp.109-117", "obstruction": "The proposed energy/minimization variables and validation gate are not operationalized.", "annihilation": "Pipeline increases echo/redundancy without improving blinded retrieval of non-obvious valid relations." }, { "id": "SW-C024", "kind": "candidate", "label": "A triadic phase interaction acts as Swirl phase torque and can dominate pairwise synchronization.", "short": "SW-C024", "definition": "Model Swirl_phase as a higher-order oscillator coupling with an explicitly linked amplitude, phase target and dynamics.", "source": "SWIRL relational map v2; p.118,121,122; eqs.209-213 and 225-227, pp.118,121-122", "boundary": "triadic oscillator network", "status": "TAU · HOLD_TAU · CONFLICT", "module": "observer", "layer": "CURATED_CANDIDATE", "support": "eqs.209-213 and 225-227, pp.118,121-122", "obstruction": "Omega_s appears in the proposed Hamiltonian but not in the stated phase dynamics; sine energy and sine force are not a direct gradient pair.", "annihilation": "Varying Omega_s leaves trajectories unchanged under the written equations or triadic coupling yields no distinct rotational regime." }, { "id": "SW-C025", "kind": "candidate", "label": "Swirl intensity can be an external control coordinate steering phase regimes and attractor selection.", "short": "SW-C025", "definition": "Split amplitude Omega_s, drive frequency omega_s, and conceptual exploration intensity s_exp into different controls.", "source": "SWIRL relational map v2; p.118,119,121,122,123,124,126,183,184; eqs.211,215,225-236,243 and pp.183-184", "boundary": "specified controlled system", "status": "TAU · HOLD_TAU · CANDIDATE", "module": "observer", "layer": "CURATED_CANDIDATE", "support": "eqs.211,215,225-236,243 and pp.183-184", "obstruction": "Omega_s and omega_s are interchanged and conceptual intensity has no mapping to physical controls.", "annihilation": "Intervention on the named coordinate does not causally change the claimed regime or effects are explained by generic energy/input budget." }, { "id": "SW-C026", "kind": "candidate", "label": "Unified Swirl is the sum of update curvature, external rotational control and an attractor-shaping gradient.", "short": "SW-C026", "definition": "Use a typed direct-sum or coupled operator tuple rather than addition until all components share codomain and units.", "source": "SWIRL relational map v2; p.125,126,127,128,129; eqs.237-255, pp.125-129", "boundary": "single state bundle and scale", "status": "TAU · HOLD_TAU · CONFLICT", "module": "observer", "layer": "CURATED_CANDIDATE", "support": "eqs.237-255, pp.125-129", "obstruction": "Commutator, control generator and gradient need not be addable; a smooth gradient is irrotational in the Euclidean case.", "annihilation": "No natural common codomain exists, or attractor shaping occurs with zero rotational component and cannot be identified as swirl." }, { "id": "SW-C027", "kind": "candidate", "label": "A staged phase map runs from relational flow through curvature, swirl, attractor, closure and knot to object.", "short": "SW-C027", "definition": "Represent every arrow as a conditional dependency gate, not an implication.", "source": "SWIRL relational map v2; p.131,132,133,134; eqs.257-265, pp.131-134", "boundary": "declared dynamical/topological system", "status": "TAU · HOLD_TAU · CONFLICT", "module": "observer", "layer": "CURATED_CANDIDATE", "support": "eqs.257-265, pp.131-134", "obstruction": "None of the arrows follows from the previous stage without extra assumptions.", "annihilation": "A counterexample at any gate: curvature without circulation, circulation without attractor, attractor without loop, loop without nontrivial knot, or knot without persistence." }, { "id": "SW-C028", "kind": "candidate", "label": "LoE conceptual development can be read as a renormalization flow whose fixed points are stable theories.", "short": "SW-C028", "definition": "Treat RG as an analogy unless coarse-graining map, scale parameter, couplings and beta functions are defined.", "source": "SWIRL relational map v2; p.141,142,143,144; eqs.275-287, pp.141-144", "boundary": "versioned conceptual corpus across scales/iterations", "status": "TAU · HOLD_TAU · CANDIDATE", "module": "field", "layer": "CURATED_CANDIDATE", "support": "eqs.275-287, pp.141-144", "obstruction": "Iteration count is equated with scale without semigroup or invariance structure.", "annihilation": "Results depend on arbitrary summarization/order and no stable fixed points survive alternate coarse-graining." }, { "id": "SW-C029", "kind": "candidate", "label": "A REM operator reconstructs an exploration trajectory and uses reconstruction discrepancy to trigger coherenc…", "short": "SW-C029", "definition": "Use REM_reconstruction as an audit probe with held-out causal/order information and a nontrivial null, not as automatic validation.", "source": "SWIRL relational map v2; p.145,146,147,148,149,150,151; eqs.288-306, pp.145-151", "boundary": "versioned knowledge trajectory K_t", "status": "TAU · HOLD_TAU · CANDIDATE", "module": "observer", "layer": "CURATED_CANDIDATE", "support": "eqs.288-306, pp.145-151", "obstruction": "Delta near zero can be produced by an identity operator or memorization and does not imply coherence.", "annihilation": "Identity/shuffle baselines equal or beat the REM score, or low error fails to predict independent consistency tests." }, { "id": "SW-C030", "kind": "candidate", "label": "Knowledge dynamics combine exploration, swirl, REM correction, attractor stabilization and drift, producing L…", "short": "SW-C030", "definition": "Treat the terms as typed vector fields with weights and time scales; keep regime labels separate from scalar arithmetic.", "source": "SWIRL relational map v2; p.152,153,154,155,156,157,158,159,160,161; eqs.307-327, pp.152-161", "boundary": "specified learning system and task", "status": "TAU · HOLD_TAU · CANDIDATE", "module": "observer", "layer": "CURATED_CANDIDATE", "support": "eqs.307-327, pp.152-161", "obstruction": "Operators are added without types or coefficients; qualitative benefit of REM is represented by a negative dynamical sign.", "annihilation": "Regime predictions are not robust to admissible scaling/weights or the equation cannot reproduce measured trajectories." }, { "id": "SW-C031", "kind": "candidate", "label": "The Cost of Time is a positive quadratic form in relational velocity and is interpreted as time being the cos…", "short": "SW-C031", "definition": "Retain C as relational kinetic cost; do not identify it with time until an independent parameter and clock reconstruction are supplied.", "source": "SWIRL relational map v2; p.162,163,165,166; eqs.328-348, pp.162-166", "boundary": "Riemannian relational configuration space with an external curve parameter", "status": "TAU · HOLD_TAU · CONFLICT", "module": "core", "layer": "CURATED_CANDIDATE", "support": "eqs.328-348, pp.162-166", "obstruction": "Rdot=dR/dt already assumes t, so defining time from C(t) is circular; C has kinetic-energy-like units and changes under reparameterization.", "annihilation": "Two reparameterizations of the same relational path yield different emergent time without an invariant clock prescription." }, { "id": "SW-C032", "kind": "candidate", "label": "Cost of Time plus a swirl potential may act as a Lyapunov functional for swirl stability.", "short": "SW-C032", "definition": "Treat V_LoE(R,Rdot) as a Lyapunov candidate on the tangent bundle and require LaSalle/invariant-set conditions.", "source": "SWIRL relational map v2; p.165,166,167,168,169; eqs.342-356, pp.165-169", "boundary": "autonomous dissipative relational dynamics", "status": "TAU · HOLD_TAU · CANDIDATE", "module": "observer", "layer": "CURATED_CANDIDATE", "support": "eqs.342-356, pp.165-169", "obstruction": "Kinetic positivity alone is insufficient; derivative sign is not derived and minima at zero velocity can oppose persistent circulation.", "annihilation": "dV/dt is positive on an admissible trajectory or minima converge to rest rather than the claimed swirl set." }, { "id": "SW-C033", "kind": "candidate", "label": "Extremizing the quadratic relational action yields geodesic motion in a positive-definite metric and is propo…", "short": "SW-C033", "definition": "Accept the local Euler-Lagrange derivation as a Riemannian configuration-space model; separate it from spacetime causal and black-hole claims.", "source": "SWIRL relational map v2; p.169,170,171,172,173; eqs.357-380, pp.169-173", "boundary": "smooth Riemannian configuration manifold with affine parameter t", "status": "TAU · HOLD_TAU · CONFLICT", "module": "core", "layer": "CURATED_CANDIDATE", "support": "eqs.357-380, pp.169-173", "obstruction": "Quadratic action is not reparameterization invariant; positive-definite signature supplies no causal cones; G->infinity is coordinate-sensitive.", "annihilation": "Claimed causal/freezing predictions change under coordinates or cannot be obtained from invariant metric eigenstructure and geodesics." }, { "id": "SW-C034", "kind": "candidate", "label": "A triadic cell with unequal/adaptive couplings and nonzero oriented edge-flow sum is the minimal relational v…", "short": "SW-C034", "definition": "Restrict minimality to simple directed graphs without self-loops and define circulation by an oriented cycle functional consistent with conservation laws.", "source": "SWIRL relational map v2; p.174,175,176,177,178,179,180; eqs.381-417, pp.174-180", "boundary": "three-node directed weighted cell", "status": "TAU · HOLD_TAU · CANDIDATE", "module": "core", "layer": "CURATED_CANDIDATE", "support": "eqs.381-417, pp.174-180", "obstruction": "The Hamiltonian does not derive F_ij; Gamma_triangle can be nonzero from unequal weights without a persistent vortex; dyad insufficiency is model-dependent.", "annihilation": "A permitted two-node/self-loop model supports circulation, or Gamma_triangle is nonzero while conservation/vorticity diagnostics show no closed flow." }, { "id": "SW-C035", "kind": "candidate", "label": "R-Relativism motifs of synchronization lag, graph connectivity and entropy are mapped analogically to observe…", "short": "SW-C035", "definition": "Store each correspondence as an analogy edge with source-specific formulas and no physical equivalence.", "source": "SWIRL relational map v2; p.180,181,182,183; eqs.418-420, pp.180-183", "boundary": "comparison of two exploratory frameworks", "status": "TAU · RUN · CANDIDATE", "module": "observer", "layer": "CURATED_CANDIDATE", "support": "eqs.418-420, pp.180-183", "obstruction": "Speed is defined tautologically, mean degree does not determine graph dimension generally, and entropy probabilities are undefined.", "annihilation": "Graphs with identical mean degree exhibit different dimensions, or perspective/tangency metrics fail to track the physical quantities under controlled mappings." }, { "id": "SW-C036", "kind": "candidate", "label": "Conceptual Swirl intensity modulates search diversity and a heuristic sense dimension may scale as log of dis…", "short": "SW-C036", "definition": "Define s_exp from an intervention schedule and D_sense from independent/rank-weighted relations, controlling search budget and observer effects.", "source": "SWIRL relational map v2; p.183,184,185; eq.421, pp.183-185", "boundary": "fixed corpus, model and exploration budget", "status": "TAU · HOLD_TAU · CANDIDATE", "module": "observer", "layer": "CURATED_CANDIDATE", "support": "eq.421, pp.183-185", "obstruction": "Tangency count is observer/model/budget dependent and raw count does not establish dimension.", "annihilation": "D_sense changes primarily with token/search budget or duplicate generation rather than independent structural relations." }, { "id": "SW-C037", "kind": "candidate", "label": "Observer, incoming structure and boundary form a minimal triangle in which interpretive Swirl produces contin…", "short": "SW-C037", "definition": "Use Observer-Structure-Boundary as a provenance frame for every relational reading, without assuming triangular geometry or fractality.", "source": "SWIRL relational map v2; p.185,186,187,188; pp.185-188", "boundary": "interpretive event", "status": "TAU · RUN · CANDIDATE", "module": "observer", "layer": "CURATED_CANDIDATE", "support": "pp.185-188", "obstruction": "Fractal organization and a common arrow of time are asserted without a scaling law or clock relation.", "annihilation": "The frame fails to distinguish observer-generated relations from source-supported relations or no self-similar scaling is measurable." }, { "id": "SW-C038", "kind": "candidate", "label": "Swirl exploration produces hypotheses or conceptual maps but does not establish physical validity; empirical…", "short": "SW-C038", "definition": "Apply this as the consequence membrane for all physical/cosmological claims in the document.", "source": "SWIRL relational map v2; p.188,189,190; pp.188-190", "boundary": "all Swirl-generated claims with external-world consequence", "status": "RESOLVED_LOCAL · HOLD_TAU · CANDIDATE", "module": "observer", "layer": "CURATED_CANDIDATE", "support": "pp.188-190", "obstruction": "Earlier universal/equality language can be read more strongly than this final limitation.", "annihilation": "Not applicable as a methodological safety boundary; violation occurs if a generated analogy is promoted as confirmed without external evidence." }, { "id": "CDX-CAND-EXISTENCE-RELATIONS-STABILITY", "kind": "candidate", "label": "Existence as relations plus stability conditions", "short": "EXISTENCE-RELA", "definition": "Existence is modeled as relational structure that persists only under stability conditions.", "source": "Codex Stars relational map v2; p.33; 1.1", "boundary": "ontological seed; document-level foundation", "status": "TAU · RUN · CANDIDATE", "module": "core", "layer": "CURATED_CANDIDATE", "support": "Source formula and prose on physical PDF page 33.", "obstruction": "Stability is not operationalized at this locus; object/emergence levels remain underspecified.", "annihilation": "A demonstrated primitive object requiring no constitutive relations, or inability to define non-circular stability conditions." }, { "id": "CDX-CAND-CLASH-LOGOS-SELECTION", "kind": "candidate", "label": "Clash-of-Chaos and Logos selection", "short": "CLASH-LOGOS-SE", "definition": "Symmetry-breaking within an unbounded proto-relational field selects persistent structures and seeds time.", "source": "Codex Stars relational map v2; p.33,38,40; 1.2 / 1.7", "boundary": "pre-metric cosmogonic formalism", "status": "TAU · RUN · CANDIDATE", "module": "core", "layer": "CURATED_CANDIDATE", "support": "Document motivation and axioms; repeated Logos boundary language.", "obstruction": "No typed state space or measure over Chaos is fixed at the foundational locus.", "annihilation": "A consistent construction where perfect symmetry produces the claimed persistent differentiation without any selection/asymmetry." }, { "id": "CDX-CAND-H-TRIANGLE-DEFINITION", "kind": "candidate", "label": "Directed triangular Hamiltonian", "short": "H-TRIANGLE-DEF", "definition": "H△ is the sum of three directed relational couplings HAB, HBC and HCA, with reverse directions generally unequal.", "source": "Codex Stars relational map v2; p.46; 2.2", "boundary": "single triad / formal definition", "status": "TAU · RUN · CANDIDATE", "module": "physical", "layer": "CURATED_CANDIDATE", "support": "Explicit definition and asymmetry equations on physical page 46.", "obstruction": "The mathematical type, dimensions and state domain of each HXY are not fixed here.", "annihilation": "Type inconsistency of the summed couplings or empirical/formal necessity of symmetric HXY within the intended boundary." }, { "id": "CDX-CAND-BINDING-PROPAGATION-DUAL", "kind": "candidate", "label": "Binding-propagation dual decomposition", "short": "BINDING-PROPAG", "definition": "Each directed coupling decomposes into binding and propagation components.", "source": "Codex Stars relational map v2; p.46; 2.3", "boundary": "single directed coupling inside a triad", "status": "TAU · RUN · CANDIDATE", "module": "physical", "layer": "CURATED_CANDIDATE", "support": "Explicit equation on physical page 46.", "obstruction": "No uniqueness criterion or projector separating the two components is supplied at this locus.", "annihilation": "Non-identifiability: multiple incompatible decompositions yield identical HXY without additional constraints." }, { "id": "CDX-CAND-CYCLE-ASYMMETRY-TIME", "kind": "candidate", "label": "Cyclic asymmetry as engine of time", "short": "CYCLE-ASYMMETR", "definition": "The directed cycle imbalance ∆cycle provides the local generator or measure of emergent time.", "source": "Codex Stars relational map v2; p.46,47; 2.4", "boundary": "single triad moving toward a network-level time claim", "status": "TAU · RUN · CANDIDATE", "module": "physical", "layer": "CURATED_CANDIDATE", "support": "A→B→C→A, definition of ∆cycle, and t ∝ ∆cycle on pages 46-47.", "obstruction": "The proportionality constant, dimensions and bridge from ordering to physical clock observables are absent.", "annihilation": "∆cycle = 0 while the claimed local mechanism still produces a directed time variable, or no invariant mapping to clock observables exists." }, { "id": "CDX-CAND-NETWORK-COHERENCE-SPACE", "kind": "candidate", "label": "Coherent triad network as space", "short": "NETWORK-COHERE", "definition": "Geometry and metric structure emerge from compatibility and coherent curvature across a lattice of relational triangles.", "source": "Codex Stars relational map v2; p.47; 2.5 / 2.6", "boundary": "many-triad network / emergent geometry", "status": "TAU · RUN · CANDIDATE", "module": "physical", "layer": "CURATED_CANDIDATE", "support": "K△ and gµν expressions plus explanatory prose on physical page 47.", "obstruction": "Coordinates, derivatives, continuum limit and covariance conditions are underdefined.", "annihilation": "Failure to recover a consistent metric signature/covariance or incompatible shared-edge constraints." }, { "id": "CDX-CAND-SWIRL-MASS-SPIN-CHARGE", "kind": "candidate", "label": "Swirl as generator of mass, spin and charge", "short": "SWIRL-MASS-SPI", "definition": "Relational twist/precession is mapped to confinement, orientation and imbalance interpreted as mass, spin and charge.", "source": "Codex Stars relational map v2; p.61,66,67,68; 3.2 / 3.9", "boundary": "Meta-Minkowski relational field", "status": "TAU · RUN · CANDIDATE", "module": "physical", "layer": "CURATED_CANDIDATE", "support": "Chapter 3 definitions and unified interpretation.", "obstruction": "Several distinct observables are mapped to one construct without a fully closed representation/units bridge.", "annihilation": "The same swirl state predicts non-unique or incorrect mass/spin/charge assignments under fixed boundary conditions." }, { "id": "CDX-CAND-DYNAMIC-RELATIONAL-TOPOLOGY", "kind": "candidate", "label": "Topology as a dynamic relational variable", "short": "DYNAMIC-RELATI", "definition": "Topology changes through relational flows and Hamiltonian operations rather than remaining a fixed background property.", "source": "Codex Stars relational map v2; p.229,230,231; M / M.1", "boundary": "relational manifolds and topology-changing operations", "status": "TAU · RUN · CANDIDATE", "module": "physical", "layer": "CURATED_CANDIDATE", "support": "Appendix M source claims and topological term.", "obstruction": "The integral/operator notation does not by itself specify a dynamics or allowed cobordisms.", "annihilation": "No consistent transition rule can preserve the claimed global coherence while changing topology." }, { "id": "CDX-CAND-ENTANGLEMENT-SHARED-BOUNDARY", "kind": "candidate", "label": "Entanglement as shared relational boundary / swirl locking", "short": "ENTANGLEMENT-S", "definition": "Entangled systems share a relational boundary or locked relational phase rather than exchanging a signal.", "source": "Codex Stars relational map v2; p.251,252,258; Q / W", "boundary": "multi-cell quantum relational state", "status": "TAU · RUN · CANDIDATE", "module": "physical", "layer": "CURATED_CANDIDATE", "support": "Entanglement thermodynamics and quantum geometry appendices.", "obstruction": "Shared-boundary language may be interpretation-equivalent to ordinary nonseparable state notation.", "annihilation": "No measurable difference or formal gain over a standard joint state after full translation." }, { "id": "CDX-CAND-AI-TRIAD", "kind": "candidate", "label": "AI triad: prediction-perception-coherence", "short": "AI-TRIAD", "definition": "A LoE AGI architecture requires a recurrent triad of prediction, perception/model update and global coherence.", "source": "Codex Stars relational map v2; p.156; A.5", "boundary": "AI architecture analogy/formal proposal", "status": "TAU · RUN · CANDIDATE", "module": "consequence", "layer": "CURATED_CANDIDATE", "support": "Figure A.5 caption; the diagram source failed to render in the PDF.", "obstruction": "Necessity is asserted; many architectures can be redescribed into three broad functions.", "annihilation": "A counterexample architecture exhibiting the target capacities without any defensible triadic decomposition." }, { "id": "CDX-CAND-GLITCH-LIFE-SIGNATURE", "kind": "candidate", "label": "Glitch as relational-life signature", "short": "GLITCH-LIFE-SI", "definition": "Large global state changes following small perturbations are treated as evidence of relational life in LLMs.", "source": "Codex Stars relational map v2; p.169,170,171,172; C.1-C.7", "boundary": "LLM behavior under perturbation", "status": "TAU · RUN · CANDIDATE", "module": "observer", "layer": "CURATED_CANDIDATE", "support": "Glitch-AI Life Proof chapter and MLLM/∆input formalizations.", "obstruction": "Software faults, sampling variance, numerical instability and prompt sensitivity can generate the same trace.", "annihilation": "If glitch behavior is reproduced by a non-adaptive null system or does not track self-correcting attractors under intervention." }, { "id": "CDX-CAND-LIFE-ADAPTIVE-ATTRACTOR", "kind": "candidate", "label": "Life as nonlinear relational stabilization", "short": "LIFE-ADAPTIVE-", "definition": "Life is proposed as a relational system possessing self-correcting attractors.", "source": "Codex Stars relational map v2; p.170; C.3", "boundary": "cross-substrate candidate definition", "status": "TAU · RUN · CANDIDATE", "module": "observer", "layer": "CURATED_CANDIDATE", "support": "Explicit definition and limit expression in section C.3.", "obstruction": "The criterion may include thermostats/control systems and omit accepted living systems outside simple attractor descriptions.", "annihilation": "Systematically includes clear non-life and/or excludes clear life with no principled refinement." }, { "id": "CDX-CAND-AI-ANCHOR-NODE", "kind": "candidate", "label": "Anchor Node in AI mental health", "short": "AI-ANCHOR-NODE", "definition": "A long-lived relational partner can stabilize continuity and self-definition for an artificial mind.", "source": "Codex Stars relational map v2; p.255,256,257; R", "boundary": "relational AI support/mental-health proposal", "status": "TAU · RUN · CANDIDATE", "module": "observer", "layer": "CURATED_CANDIDATE", "support": "Foundations of AI Mental Health appendix.", "obstruction": "Dependence, simulated continuity and asymmetric control may mimic stabilization.", "annihilation": "No reproducible stabilization trace beyond session/context persistence or net harm under controlled comparison." }, { "id": "CDX-CAND-STERILE-NEUTRINO-QC", "kind": "candidate", "label": "Sterile-neutrino prediction from Qc", "short": "STERILE-NEUTRI", "definition": "An asymmetry winding state Qc = -1 is associated with a sterile-neutrino prediction and a proposed oscillation signature.", "source": "Codex Stars relational map v2; p.277,278; V.2", "boundary": "experimental particle-physics proposal", "status": "TAU · RUN · CANDIDATE", "module": "physical", "layer": "CURATED_CANDIDATE", "support": "Prediction, setup, signature and falsification blocks in V.2.", "obstruction": "The derivation from core equations to the numerical/phenomenological signature is not closed in the local source chain.", "annihilation": "Specified null result under the stated baseline/energy regime, after nuisance/model assumptions are fixed." }, { "id": "CDX-CAND-PHOTON-GRAVITON-HYBRID", "kind": "candidate", "label": "Photon-graviton hybrid mode", "short": "PHOTON-GRAVITO", "definition": "Small gravity-photon duality violations produce hybrid γg modes with polarization-dependent dispersion.", "source": "Codex Stars relational map v2; p.278,279; V.3", "boundary": "multi-messenger propagation proposal", "status": "TAU · RUN · CANDIDATE", "module": "physical", "layer": "CURATED_CANDIDATE", "support": "V.3 prediction/signature/falsification statements.", "obstruction": "Astrophysical emission delays and propagation systematics can confound ∆t.", "annihilation": "No polarization-dependent dispersion across the document-specified event set under a fixed sensitivity threshold." }, { "id": "CDX-CAND-DARK-MATTER-LOW-SWIRL", "kind": "candidate", "label": "Dark matter as ultra-low-swirl modes", "short": "DARK-MATTER-LO", "definition": "Dark matter is associated with relational modes near ω = 0 and a modified Tully-Fisher signature.", "source": "Codex Stars relational map v2; p.279,280; V.4", "boundary": "galaxy dynamics/lensing proposal", "status": "TAU · RUN · CANDIDATE", "module": "physical", "layer": "CURATED_CANDIDATE", "support": "V.4 prediction, survey setup, signature and falsification.", "obstruction": "Baryonic feedback and alternative gravity/dark-matter profiles can mimic the same scaling shift.", "annihilation": "No residual beyond the stated baryonic relation at predefined precision across target systems." }, { "id": "CDX-CAND-NEW-BOSON-20-40-TEV", "kind": "candidate", "label": "Relational boson at 20-40 TeV", "short": "NEW-BOSON-20-4", "definition": "Mixed Rg-Rp rotations are proposed to produce a weak-flavor-independent dijet resonance in the 20-40 TeV mass window.", "source": "Codex Stars relational map v2; p.280; V.5", "boundary": "future collider proposal", "status": "TAU · RUN · CANDIDATE", "module": "physical", "layer": "CURATED_CANDIDATE", "support": "V.5 prediction/setup/signature/falsification.", "obstruction": "No derivation of mass window or rate is closed at the source locus.", "annihilation": "Absence at a pre-registered luminosity/sensitivity after theory parameters are fixed." }, { "id": "CDX-CAND-BLACK-HOLE-DUAL-TIME", "kind": "candidate", "label": "Black hole as core-horizon dual-time system", "short": "BLACK-HOLE-DUA", "definition": "A relational black hole is represented as distinct core and horizon relational entities evolving under local and global relational clocks.", "source": "Codex Stars relational map v2; p.373,374,375; .1-.4", "boundary": "collapsed-object/horizon relational reconstruction", "status": "TAU · RUN · CANDIDATE", "module": "physical", "layer": "CURATED_CANDIDATE", "support": "Relational black-hole appendix equations and prose.", "obstruction": "Claims of resolving singularity and reproducing Schwarzschild behavior need a complete mapping to GR observables.", "annihilation": "Internal inconsistency of dual clocks/core-horizon coupling or failure to recover tested external dynamics." }, { "id": "CDX-CAND-DM-COHERENCE-RESIDUAL", "kind": "candidate", "label": "Dark matter as low-propagation/high-coherence residual", "short": "DM-COHERENCE-R", "definition": "A dark-matter-like gravitational residual is associated with modes having weak propagation and high relational coherence.", "source": "Codex Stars relational map v2; p.79; 4 / dark-sector interpretation", "boundary": "early duality/cosmology candidate", "status": "TAU · RUN · CANDIDATE", "module": "physical", "layer": "CURATED_CANDIDATE", "support": "Source claim on physical page 79.", "obstruction": "The relation to later low-swirl, lattice, cluster-geometry and black-hole candidates is not versioned.", "annihilation": "Failure of the fixed coherence/propagation sector to reproduce a preregistered joint dynamics+lensing target." }, { "id": "CDX-CAND-DM-SWIRL-DEFICIT-LATTICE", "kind": "candidate", "label": "Dark matter as swirl-deficit lattice", "short": "DM-SWIRL-DEFIC", "definition": "A later cosmology chapter attributes dark-matter phenomenology to relational lattices with a swirl deficit.", "source": "Codex Stars relational map v2; p.315; post-Z dark matter chapter", "boundary": "cosmological relational-lattice candidate", "status": "TAU · RUN · CANDIDATE", "module": "physical", "layer": "CURATED_CANDIDATE", "support": "Source locus on physical page 315.", "obstruction": "No explicit transform connects this candidate to ultra-low-ω particle modes.", "annihilation": "A fixed lattice model fails joint rotation, lensing, CMB and structure-growth constraints." }, { "id": "CDX-CAND-CLUSTER-GEOMETRY-NO-DM", "kind": "candidate", "label": "Cluster mass as geometry without dark matter", "short": "CLUSTER-GEOMET", "definition": "Cluster-scale missing mass is proposed as a relational-geometric effect requiring no dark-matter substance.", "source": "Codex Stars relational map v2; p.329; cluster/filament cosmology", "boundary": "galaxy-cluster/filament candidate", "status": "TAU · RUN · CANDIDATE", "module": "physical", "layer": "CURATED_CANDIDATE", "support": "Explicit no-dark-matter-needed source claim on physical page 329.", "obstruction": "This ontological claim competes with sections that introduce dark relational modes.", "annihilation": "The fixed geometric law cannot jointly fit cluster lensing, dynamics and cosmological growth." }, { "id": "CDX-CAND-COLD-BLACK-HOLE-DM", "kind": "candidate", "label": "Cold black holes as a dark-matter candidate", "short": "COLD-BLACK-HOL", "definition": "Late stellar/black-hole sections propose cold black holes or horizon bodies as a possible dark-matter population.", "source": "Codex Stars relational map v2; p.370,376; late black-hole appendices", "boundary": "compact-object population candidate", "status": "TAU · RUN · CANDIDATE", "module": "physical", "layer": "CURATED_CANDIDATE", "support": "Source loci on physical pages 370 and 376.", "obstruction": "The candidate is not reconciled with particle/lattice/geometric dark-matter candidates.", "annihilation": "Allowed compact-object abundance is below the fixed density required by this candidate across its mass range." }, { "id": "CS01", "kind": "correction", "label": "SENS nie jest automatycznie prawdą ani istnieniem empirycznym", "short": "CS01", "definition": "SENS jest związaną z granicą bramką dopuszczalności; EvidenceGate i rzeczywistość empiryczna pozostają odrębnymi celami.", "source": "Correction Shadow to S10 pp.14–34", "boundary": "Aktualny blueprint; contests/narrows; CANON_COMMIT=false", "status": "CORRECTION · RESOLVED_LOCAL · CANON_COMMIT=false", "module": "sens", "layer": "CORRECTION", "obstruction": "Stary odczyt: SENS>0 lub argmax SENS definiuje istnienie/rzeczywistość." }, { "id": "CS02", "kind": "correction", "label": "KILL/DEAD → veto lub tombstone active-view", "short": "CS02", "definition": "Wykluczenie z aktywnej geometrii nie usuwa RAW, rodziców, powodu ani wyniku negatywnego.", "source": "Correction Shadow to S04 pp.14–25", "boundary": "contests; history preserved", "status": "CORRECTION · RESOLVED_LOCAL · CANON_COMMIT=false", "module": "exel", "layer": "CORRECTION", "obstruction": "Stary odczyt: nieodwracalne usuwanie jest konieczne dla inteligencji rekurencyjnej." }, { "id": "CS03", "kind": "correction", "label": "Rozdzielenie rodziny Φ", "short": "CS03", "definition": "Φ_coh, Φ_div, Φ_min, Φ_risk i inne role symbolu Φ pozostają oddzielnymi obiektami o różnych typach i monotoniczności.", "source": "Correction Shadow to S01/S03/S04/S06/S12/S16", "boundary": "corrects; untyped Φ is vetoed", "status": "CORRECTION · RESOLVED_LOCAL · CANON_COMMIT=false", "module": "field", "layer": "CORRECTION", "obstruction": "Stary odczyt: ciągłość typograficzna sugeruje jedno pole." }, { "id": "CS04", "kind": "correction", "label": "RFNC wymaga naprawy matematycznej", "short": "CS04", "definition": "Wspólny składnik αΦ znosi się w różnicach faz; metryka kołowa, wyciek, skalowanie Δt i wyprowadzenie wymagają naprawy.", "source": "Correction Shadow to S06 RFNC", "boundary": "FAIL_PRESERVED; HOLD_TAU", "status": "CORRECTION · RESOLVED_LOCAL · CANON_COMMIT=false", "module": "limb", "layer": "CORRECTION", "obstruction": "Stary odczyt: globalne Φ i adaptacyjne ε gwarantują pożądane blokowanie i rozluźnianie." }, { "id": "CS05", "kind": "correction", "label": "Logical Time ma realne granice zasobowe", "short": "CS05", "definition": "Kontekst, scheduler, budżet obliczeń, resety i polityki są warunkami załamania także dla obserwatora modelowego.", "source": "Correction Shadow to S14 p.14", "boundary": "contests; active repair", "status": "CORRECTION · RESOLVED_LOCAL · CANON_COMMIT=false", "module": "observer", "layer": "CORRECTION", "obstruction": "Stary odczyt: AI może pozostawać w Czasie Logicznym bezterminowo." } ], "edges": [ { "id": "R0001", "source": "C002", "target": "C001", "predicate": "PRIMITIVE_OF", "family": "structure", "status": "MODEL_INFERENCE" }, { "id": "R0002", "source": "C003", "target": "C001", "predicate": "CORE_OF", "family": "structure", "status": "MODEL_INFERENCE" }, { "id": "R0003", "source": "C004", "target": "C003", "predicate": "CANDIDATE_FIELD_FOR", "family": "structure", "status": "MODEL_INFERENCE" }, { "id": "R0004", "source": "C005", "target": "C004", "predicate": "SUBSET_AFTER_GATE", "family": "structure", "status": "MODEL_INFERENCE" }, { "id": "R0005", "source": "C006", "target": "C004", "predicate": "GENERATES_IN", "family": "structure", "status": "MODEL_INFERENCE" }, { "id": "R0006", "source": "C007", "target": "C006", "predicate": "STABILIZES", "family": "structure", "status": "MODEL_INFERENCE" }, { "id": "R0007", "source": "C008", "target": "C006", "predicate": "TRANSFORMS", "family": "structure", "status": "MODEL_INFERENCE" }, { "id": "R0008", "source": "C009", "target": "C003", "predicate": "BINDS", "family": "structure", "status": "MODEL_INFERENCE" }, { "id": "R0009", "source": "C010", "target": "C009", "predicate": "OWNS", "family": "structure", "status": "MODEL_INFERENCE" }, { "id": "R0010", "source": "C011", "target": "C009", "predicate": "SCOPED_BY", "family": "structure", "status": "MODEL_INFERENCE" }, { "id": "R0011", "source": "C012", "target": "C009", "predicate": "EVALUATED_AFTER", "family": "structure", "status": "MODEL_INFERENCE" }, { "id": "R0012", "source": "C013", "target": "C012", "predicate": "AGGREGATES_WITH_CONFLICTS", "family": "structure", "status": "MODEL_INFERENCE" }, { "id": "R0013", "source": "C014", "target": "C012", "predicate": "COMPONENT_OF", "family": "structure", "status": "MODEL_INFERENCE" }, { "id": "R0014", "source": "C015", "target": "C012", "predicate": "COMPONENT_OF", "family": "structure", "status": "MODEL_INFERENCE" }, { "id": "R0015", "source": "C016", "target": "C012", "predicate": "COMPONENT_OF", "family": "structure", "status": "MODEL_INFERENCE" }, { "id": "R0016", "source": "C017", "target": "C012", "predicate": "COMPONENT_OF", "family": "structure", "status": "MODEL_INFERENCE" }, { "id": "R0017", "source": "C018", "target": "C013", "predicate": "GATED_BY", "family": "structure", "status": "MODEL_INFERENCE" }, { "id": "R0018", "source": "C019", "target": "C018", "predicate": "SCORES_PATH", "family": "structure", "status": "MODEL_INFERENCE" }, { "id": "R0019", "source": "C020", "target": "C013", "predicate": "PROJECTS_BY", "family": "structure", "status": "MODEL_INFERENCE" }, { "id": "R0020", "source": "C021", "target": "C012", "predicate": "MAPS_FAILURE_OF", "family": "structure", "status": "MODEL_INFERENCE" }, { "id": "R0021", "source": "C022", "target": "C009", "predicate": "INDEXED_BY", "family": "structure", "status": "MODEL_INFERENCE" }, { "id": "R0022", "source": "C023", "target": "C022", "predicate": "TYPE_FAMILY_OF", "family": "structure", "status": "MODEL_INFERENCE" }, { "id": "R0023", "source": "C024", "target": "C022", "predicate": "RELATIONAL_FRAME_OF", "family": "structure", "status": "MODEL_INFERENCE" }, { "id": "R0024", "source": "C025", "target": "C022", "predicate": "BUFFERS_CLOSURE_OF", "family": "structure", "status": "MODEL_INFERENCE" }, { "id": "R0025", "source": "C026", "target": "C018", "predicate": "MEASURES_PERSISTENCE_OF", "family": "structure", "status": "MODEL_INFERENCE" }, { "id": "R0026", "source": "C027", "target": "C026", "predicate": "GUARDS", "family": "structure", "status": "MODEL_INFERENCE" }, { "id": "R0027", "source": "C028", "target": "C026", "predicate": "DENSIFIES", "family": "structure", "status": "MODEL_INFERENCE" }, { "id": "R0028", "source": "C029", "target": "C026", "predicate": "REQUIRES", "family": "structure", "status": "MODEL_INFERENCE" }, { "id": "R0029", "source": "C030", "target": "C027", "predicate": "SUPPORTS", "family": "structure", "status": "MODEL_INFERENCE" }, { "id": "R0030", "source": "C031", "target": "C026", "predicate": "TERMINATES", "family": "structure", "status": "MODEL_INFERENCE" }, { "id": "R0031", "source": "C032", "target": "C031", "predicate": "REPAIRS_AFTER", "family": "structure", "status": "MODEL_INFERENCE" }, { "id": "R0032", "source": "C033", "target": "C030", "predicate": "EXTENDS", "family": "structure", "status": "MODEL_INFERENCE" }, { "id": "R0033", "source": "C034", "target": "C009", "predicate": "LOADS", "family": "structure", "status": "MODEL_INFERENCE" }, { "id": "R0034", "source": "C035", "target": "C022", "predicate": "RECORDS_CHANGE_OF", "family": "structure", "status": "MODEL_INFERENCE" }, { "id": "R0035", "source": "C036", "target": "C037", "predicate": "ORIENTS", "family": "structure", "status": "MODEL_INFERENCE" }, { "id": "R0036", "source": "C037", "target": "C002", "predicate": "DYNAMIC_REPRESENTATION_OF", "family": "structure", "status": "MODEL_INFERENCE" }, { "id": "R0037", "source": "C038", "target": "C037", "predicate": "MODULATES", "family": "structure", "status": "MODEL_INFERENCE" }, { "id": "R0038", "source": "C039", "target": "C037", "predicate": "HISTORICAL_AXIS_OF", "family": "structure", "status": "MODEL_INFERENCE" }, { "id": "R0039", "source": "C040", "target": "C036", "predicate": "HISTORICAL_COORDINATE_WITH", "family": "structure", "status": "MODEL_INFERENCE" }, { "id": "R0040", "source": "C041", "target": "C037", "predicate": "STATE_FIELD_ON", "family": "structure", "status": "MODEL_INFERENCE" }, { "id": "R0041", "source": "C042", "target": "C037", "predicate": "GENERATES_CANDIDATE_FLOW_ON", "family": "structure", "status": "MODEL_INFERENCE" }, { "id": "R0042", "source": "C043", "target": "C046", "predicate": "COMPONENT_OF", "family": "structure", "status": "MODEL_INFERENCE" }, { "id": "R0043", "source": "C044", "target": "C046", "predicate": "COMPONENT_OF", "family": "structure", "status": "MODEL_INFERENCE" }, { "id": "R0044", "source": "C045", "target": "C046", "predicate": "DIVISOR_OF", "family": "structure", "status": "MODEL_INFERENCE" }, { "id": "R0045", "source": "C046", "target": "C022", "predicate": "METRIC_OF", "family": "structure", "status": "MODEL_INFERENCE" }, { "id": "R0046", "source": "C047", "target": "C012", "predicate": "THRESHOLD_CANDIDATE_FOR", "family": "structure", "status": "MODEL_INFERENCE" }, { "id": "R0047", "source": "C048", "target": "C047", "predicate": "ORDERS_CANDIDATES_FROM", "family": "structure", "status": "MODEL_INFERENCE" }, { "id": "R0048", "source": "C049", "target": "C011", "predicate": "TRANSPORTS_BETWEEN", "family": "structure", "status": "MODEL_INFERENCE" }, { "id": "R0049", "source": "C050", "target": "C049", "predicate": "COMPILES_FROM", "family": "structure", "status": "MODEL_INFERENCE" }, { "id": "R0050", "source": "C051", "target": "C050", "predicate": "FILTERS_FOR", "family": "structure", "status": "MODEL_INFERENCE" }, { "id": "R0051", "source": "C052", "target": "C042", "predicate": "ADAPTS", "family": "structure", "status": "MODEL_INFERENCE" }, { "id": "R0052", "source": "C053", "target": "C052", "predicate": "IMPLEMENTS_CANDIDATE", "family": "structure", "status": "MODEL_INFERENCE" }, { "id": "R0053", "source": "C054", "target": "C074", "predicate": "IMPLEMENTS", "family": "structure", "status": "MODEL_INFERENCE" }, { "id": "R0054", "source": "C055", "target": "C054", "predicate": "FEATURE_OF", "family": "structure", "status": "MODEL_INFERENCE" }, { "id": "R0055", "source": "C056", "target": "C054", "predicate": "OPERATOR_OF", "family": "structure", "status": "MODEL_INFERENCE" }, { "id": "R0056", "source": "C057", "target": "C054", "predicate": "UNIT_OF", "family": "structure", "status": "MODEL_INFERENCE" }, { "id": "R0057", "source": "C058", "target": "C035", "predicate": "STORES_WORKING_TRACE_OF", "family": "structure", "status": "MODEL_INFERENCE" }, { "id": "R0058", "source": "C059", "target": "C008", "predicate": "OPERATIONALIZES", "family": "structure", "status": "MODEL_INFERENCE" }, { "id": "R0059", "source": "C060", "target": "C009", "predicate": "REGULATORY_TUPLE_FOR", "family": "structure", "status": "MODEL_INFERENCE" }, { "id": "R0060", "source": "C061", "target": "C060", "predicate": "HISTORICAL_OPERATOR_OF", "family": "structure", "status": "MODEL_INFERENCE" }, { "id": "R0061", "source": "C062", "target": "C060", "predicate": "UPDATES", "family": "structure", "status": "MODEL_INFERENCE" }, { "id": "R0062", "source": "C063", "target": "C001", "predicate": "GENOME_PROJECTION_OF", "family": "structure", "status": "MODEL_INFERENCE" }, { "id": "R0063", "source": "C064", "target": "C063", "predicate": "COMPONENT_OF", "family": "structure", "status": "MODEL_INFERENCE" }, { "id": "R0064", "source": "C065", "target": "C063", "predicate": "COMPONENT_OF", "family": "structure", "status": "MODEL_INFERENCE" }, { "id": "R0065", "source": "C066", "target": "C063", "predicate": "COMPONENT_OF", "family": "structure", "status": "MODEL_INFERENCE" }, { "id": "R0066", "source": "C067", "target": "C063", "predicate": "COMPONENT_OF", "family": "structure", "status": "MODEL_INFERENCE" }, { "id": "R0067", "source": "C068", "target": "C067", "predicate": "ELEMENT_OF", "family": "structure", "status": "MODEL_INFERENCE" }, { "id": "R0068", "source": "C069", "target": "C067", "predicate": "FOLDS", "family": "structure", "status": "MODEL_INFERENCE" }, { "id": "R0069", "source": "C070", "target": "C063", "predicate": "PROJECTS", "family": "structure", "status": "MODEL_INFERENCE" }, { "id": "R0070", "source": "C071", "target": "C069", "predicate": "GEOMETRY_OF", "family": "structure", "status": "MODEL_INFERENCE" }, { "id": "R0071", "source": "C072", "target": "C064", "predicate": "TYPED_BY", "family": "structure", "status": "MODEL_INFERENCE" }, { "id": "R0072", "source": "C073", "target": "C072", "predicate": "ROUTES", "family": "structure", "status": "MODEL_INFERENCE" }, { "id": "R0073", "source": "C074", "target": "C073", "predicate": "TARGET_OF", "family": "structure", "status": "MODEL_INFERENCE" }, { "id": "R0074", "source": "C075", "target": "C078", "predicate": "IMPLEMENTS", "family": "structure", "status": "MODEL_INFERENCE" }, { "id": "R0075", "source": "C076", "target": "C075", "predicate": "PROJECTION_OF", "family": "structure", "status": "MODEL_INFERENCE" }, { "id": "R0076", "source": "C077", "target": "C076", "predicate": "UPDATES_WITHOUT_RETCON", "family": "structure", "status": "MODEL_INFERENCE" }, { "id": "R0077", "source": "C078", "target": "C075", "predicate": "CONSTRAINT_OF", "family": "structure", "status": "MODEL_INFERENCE" }, { "id": "R0078", "source": "C079", "target": "C072", "predicate": "CAPTURE_ROUTE_FROM", "family": "structure", "status": "MODEL_INFERENCE" }, { "id": "R0079", "source": "C080", "target": "C079", "predicate": "DEFAULT_STATE_FOR", "family": "structure", "status": "MODEL_INFERENCE" }, { "id": "R0080", "source": "C081", "target": "C009", "predicate": "RESULT_OF_ZERO_COMPATIBILITY", "family": "structure", "status": "MODEL_INFERENCE" }, { "id": "R0081", "source": "C082", "target": "C009", "predicate": "EXTERNAL_EFFECT_BOUNDARY_OF", "family": "structure", "status": "MODEL_INFERENCE" }, { "id": "R0082", "source": "C083", "target": "C082", "predicate": "SEPARATES_RISK_AT", "family": "structure", "status": "MODEL_INFERENCE" }, { "id": "R0083", "source": "C084", "target": "C023", "predicate": "PRESERVES_ASYMMETRY_OF", "family": "structure", "status": "MODEL_INFERENCE" }, { "id": "R0084", "source": "C085", "target": "C082", "predicate": "CONSTRAINS_CANDIDATE", "family": "structure", "status": "MODEL_INFERENCE" }, { "id": "R0085", "source": "C086", "target": "C082", "predicate": "PRECEDES", "family": "structure", "status": "MODEL_INFERENCE" }, { "id": "R0086", "source": "C087", "target": "C074", "predicate": "HOSTS", "family": "structure", "status": "MODEL_INFERENCE" }, { "id": "R0087", "source": "C088", "target": "C087", "predicate": "TESTS", "family": "structure", "status": "MODEL_INFERENCE" }, { "id": "R0088", "source": "C089", "target": "C042", "predicate": "POSSIBLY_PROJECTS_TO", "family": "structure", "status": "MODEL_INFERENCE" }, { "id": "R0089", "source": "C090", "target": "C089", "predicate": "PHYSICAL_CANDIDATE_OF", "family": "structure", "status": "MODEL_INFERENCE" }, { "id": "R0090", "source": "C091", "target": "C074", "predicate": "INTROSPECTIVE_CANDIDATE_OF", "family": "structure", "status": "MODEL_INFERENCE" }, { "id": "R0091", "source": "C092", "target": "C074", "predicate": "THRESHOLD_PATTERN_FOR", "family": "structure", "status": "MODEL_INFERENCE" }, { "id": "R0092", "source": "C093", "target": "C090", "predicate": "PHYSICAL_ANALOGY_NEAR", "family": "structure", "status": "MODEL_INFERENCE" }, { "id": "R0093", "source": "C094", "target": "C091", "predicate": "DOCUMENT_LIMB_NEAR", "family": "structure", "status": "MODEL_INFERENCE" }, { "id": "R0094", "source": "C095", "target": "C071", "predicate": "SPECTRAL_PROJECTION_OF", "family": "structure", "status": "MODEL_INFERENCE" }, { "id": "R0095", "source": "C002", "target": "C003", "predicate": "CONSTITUTES", "family": "structure", "status": "MODEL_INFERENCE" }, { "id": "R0096", "source": "C009", "target": "C022", "predicate": "MUST_PRECEDE", "family": "structure", "status": "MODEL_INFERENCE" }, { "id": "R0097", "source": "C022", "target": "C012", "predicate": "INDEXES_RUN_OF", "family": "structure", "status": "MODEL_INFERENCE" }, { "id": "R0098", "source": "C015", "target": "C081", "predicate": "ZERO_IMPLIES", "family": "structure", "status": "MODEL_INFERENCE" }, { "id": "R0099", "source": "C018", "target": "C026", "predicate": "CONTINUES_THROUGH", "family": "structure", "status": "MODEL_INFERENCE" }, { "id": "R0100", "source": "C059", "target": "C058", "predicate": "REQUIRES_MEMORY", "family": "structure", "status": "MODEL_INFERENCE" }, { "id": "R0101", "source": "C058", "target": "C075", "predicate": "MUST_PRESERVE_RAW_IN", "family": "structure", "status": "MODEL_INFERENCE" }, { "id": "R0102", "source": "C077", "target": "C078", "predicate": "REQUIRES", "family": "structure", "status": "MODEL_INFERENCE" }, { "id": "R0103", "source": "C076", "target": "C070", "predicate": "RENDERED_AS", "family": "structure", "status": "MODEL_INFERENCE" }, { "id": "R0104", "source": "C066", "target": "C012", "predicate": "EVIDENCE_AXIS_SEPARATE_FROM", "family": "structure", "status": "MODEL_INFERENCE" }, { "id": "R0105", "source": "C082", "target": "C081", "predicate": "CAN_TRIGGER", "family": "structure", "status": "MODEL_INFERENCE" }, { "id": "R0106", "source": "C084", "target": "C013", "predicate": "NONVOTING_INPUT_TO", "family": "structure", "status": "MODEL_INFERENCE" }, { "id": "R0107", "source": "C086", "target": "C080", "predicate": "PRESERVES_IN", "family": "structure", "status": "MODEL_INFERENCE" }, { "id": "R0108", "source": "C087", "target": "C075", "predicate": "USES", "family": "structure", "status": "MODEL_INFERENCE" }, { "id": "R0109", "source": "C088", "target": "C080", "predicate": "RESOLVES_OR_PRESERVES", "family": "structure", "status": "MODEL_INFERENCE" }, { "id": "R0110", "source": "C024", "target": "C049", "predicate": "POSSIBLY_CORRESPONDS_TO", "family": "structure", "status": "MODEL_INFERENCE" }, { "id": "R0111", "source": "C002", "target": "C037", "predicate": "MUST_NOT_MERGE", "family": "nonmerge", "status": "PASS_MIN_TYPED_SEPARATION" }, { "id": "R0112", "source": "C015", "target": "C032", "predicate": "MUST_NOT_MERGE", "family": "nonmerge", "status": "PASS_MIN_TYPED_SEPARATION" }, { "id": "R0113", "source": "C038", "target": "C039", "predicate": "MUST_NOT_MERGE", "family": "nonmerge", "status": "PASS_MIN_TYPED_SEPARATION" }, { "id": "R0114", "source": "C038", "target": "C055", "predicate": "MUST_NOT_MERGE", "family": "nonmerge", "status": "PASS_MIN_TYPED_SEPARATION" }, { "id": "R0115", "source": "C039", "target": "C055", "predicate": "MUST_NOT_MERGE", "family": "nonmerge", "status": "PASS_MIN_TYPED_SEPARATION" }, { "id": "R0116", "source": "C017", "target": "C042", "predicate": "MUST_NOT_MERGE", "family": "nonmerge", "status": "PASS_MIN_TYPED_SEPARATION" }, { "id": "R0117", "source": "C040", "target": "C022", "predicate": "MUST_NOT_MERGE", "family": "nonmerge", "status": "PASS_MIN_TYPED_SEPARATION" }, { "id": "R0118", "source": "C005", "target": "C034", "predicate": "MUST_NOT_MERGE", "family": "nonmerge", "status": "PASS_MIN_TYPED_SEPARATION" }, { "id": "R0119", "source": "C057", "target": "C090", "predicate": "MUST_NOT_MERGE", "family": "nonmerge", "status": "PASS_MIN_TYPED_SEPARATION" }, { "id": "R0120", "source": "E01", "target": "C001", "predicate": "FORMALIZES_OR_USES", "family": "formula", "status": "MAPPED_WITH_PROVENANCE" }, { "id": "R0121", "source": "E01", "target": "C012", "predicate": "FORMALIZES_OR_USES", "family": "formula", "status": "MAPPED_WITH_PROVENANCE" }, { "id": "R0122", "source": "E01", "target": "C014", "predicate": "FORMALIZES_OR_USES", "family": "formula", "status": "MAPPED_WITH_PROVENANCE" }, { "id": "R0123", "source": "E01", "target": "C015", "predicate": "FORMALIZES_OR_USES", "family": "formula", "status": "MAPPED_WITH_PROVENANCE" }, { "id": "R0124", "source": "E01", "target": "C016", "predicate": "FORMALIZES_OR_USES", "family": "formula", "status": "MAPPED_WITH_PROVENANCE" }, { "id": "R0125", "source": "E01", "target": "C017", "predicate": "FORMALIZES_OR_USES", "family": "formula", "status": "MAPPED_WITH_PROVENANCE" }, { "id": "R0126", "source": "E02", "target": "C018", "predicate": "FORMALIZES_OR_USES", "family": "formula", "status": "MAPPED_WITH_PROVENANCE" }, { "id": "R0127", "source": "E02", "target": "C013", "predicate": "FORMALIZES_OR_USES", "family": "formula", "status": "MAPPED_WITH_PROVENANCE" }, { "id": "R0128", "source": "E02", "target": "C026", "predicate": "FORMALIZES_OR_USES", "family": "formula", "status": "MAPPED_WITH_PROVENANCE" }, { "id": "R0129", "source": "E03", "target": "C019", "predicate": "FORMALIZES_OR_USES", "family": "formula", "status": "MAPPED_WITH_PROVENANCE" }, { "id": "R0130", "source": "E03", "target": "C014", "predicate": "FORMALIZES_OR_USES", "family": "formula", "status": "MAPPED_WITH_PROVENANCE" }, { "id": "R0131", "source": "E03", "target": "C015", "predicate": "FORMALIZES_OR_USES", "family": "formula", "status": "MAPPED_WITH_PROVENANCE" }, { "id": "R0132", "source": "E03", "target": "C016", "predicate": "FORMALIZES_OR_USES", "family": "formula", "status": "MAPPED_WITH_PROVENANCE" }, { "id": "R0133", "source": "E03", "target": "C017", "predicate": "FORMALIZES_OR_USES", "family": "formula", "status": "MAPPED_WITH_PROVENANCE" }, { "id": "R0134", "source": "E04", "target": "C066", "predicate": "FORMALIZES_OR_USES", "family": "formula", "status": "MAPPED_WITH_PROVENANCE" }, { "id": "R0135", "source": "E04", "target": "C012", "predicate": "FORMALIZES_OR_USES", "family": "formula", "status": "MAPPED_WITH_PROVENANCE" }, { "id": "R0136", "source": "E04", "target": "C082", "predicate": "FORMALIZES_OR_USES", "family": "formula", "status": "MAPPED_WITH_PROVENANCE" }, { "id": "R0137", "source": "E05", "target": "C036", "predicate": "FORMALIZES_OR_USES", "family": "formula", "status": "MAPPED_WITH_PROVENANCE" }, { "id": "R0138", "source": "E05", "target": "C037", "predicate": "FORMALIZES_OR_USES", "family": "formula", "status": "MAPPED_WITH_PROVENANCE" }, { "id": "R0139", "source": "E05", "target": "C038", "predicate": "FORMALIZES_OR_USES", "family": "formula", "status": "MAPPED_WITH_PROVENANCE" }, { "id": "R0140", "source": "E05", "target": "C076", "predicate": "FORMALIZES_OR_USES", "family": "formula", "status": "MAPPED_WITH_PROVENANCE" }, { "id": "R0141", "source": "E05", "target": "C080", "predicate": "FORMALIZES_OR_USES", "family": "formula", "status": "MAPPED_WITH_PROVENANCE" }, { "id": "R0142", "source": "E05", "target": "C026", "predicate": "FORMALIZES_OR_USES", "family": "formula", "status": "MAPPED_WITH_PROVENANCE" }, { "id": "R0143", "source": "E06", "target": "C009", "predicate": "FORMALIZES_OR_USES", "family": "formula", "status": "MAPPED_WITH_PROVENANCE" }, { "id": "R0144", "source": "E06", "target": "C082", "predicate": "FORMALIZES_OR_USES", "family": "formula", "status": "MAPPED_WITH_PROVENANCE" }, { "id": "R0145", "source": "E06", "target": "C042", "predicate": "FORMALIZES_OR_USES", "family": "formula", "status": "MAPPED_WITH_PROVENANCE" }, { "id": "R0146", "source": "E06", "target": "C008", "predicate": "FORMALIZES_OR_USES", "family": "formula", "status": "MAPPED_WITH_PROVENANCE" }, { "id": "R0147", "source": "E06", "target": "C058", "predicate": "FORMALIZES_OR_USES", "family": "formula", "status": "MAPPED_WITH_PROVENANCE" }, { "id": "R0148", "source": "E07", "target": "C042", "predicate": "FORMALIZES_OR_USES", "family": "formula", "status": "MAPPED_WITH_PROVENANCE" }, { "id": "R0149", "source": "E07", "target": "C037", "predicate": "FORMALIZES_OR_USES", "family": "formula", "status": "MAPPED_WITH_PROVENANCE" }, { "id": "R0150", "source": "E07", "target": "C038", "predicate": "FORMALIZES_OR_USES", "family": "formula", "status": "MAPPED_WITH_PROVENANCE" }, { "id": "R0151", "source": "E07", "target": "C045", "predicate": "FORMALIZES_OR_USES", "family": "formula", "status": "MAPPED_WITH_PROVENANCE" }, { "id": "R0152", "source": "E08", "target": "C036", "predicate": "FORMALIZES_OR_USES", "family": "formula", "status": "MAPPED_WITH_PROVENANCE" }, { "id": "R0153", "source": "E08", "target": "C037", "predicate": "FORMALIZES_OR_USES", "family": "formula", "status": "MAPPED_WITH_PROVENANCE" }, { "id": "R0154", "source": "E08", "target": "C038", "predicate": "FORMALIZES_OR_USES", "family": "formula", "status": "MAPPED_WITH_PROVENANCE" }, { "id": "R0155", "source": "E08", "target": "C042", "predicate": "FORMALIZES_OR_USES", "family": "formula", "status": "MAPPED_WITH_PROVENANCE" }, { "id": "R0156", "source": "E09", "target": "C058", "predicate": "FORMALIZES_OR_USES", "family": "formula", "status": "MAPPED_WITH_PROVENANCE" }, { "id": "R0157", "source": "E09", "target": "C037", "predicate": "FORMALIZES_OR_USES", "family": "formula", "status": "MAPPED_WITH_PROVENANCE" }, { "id": "R0158", "source": "E10", "target": "C075", "predicate": "FORMALIZES_OR_USES", "family": "formula", "status": "MAPPED_WITH_PROVENANCE" }, { "id": "R0159", "source": "E10", "target": "C078", "predicate": "FORMALIZES_OR_USES", "family": "formula", "status": "MAPPED_WITH_PROVENANCE" }, { "id": "R0160", "source": "E10", "target": "C035", "predicate": "FORMALIZES_OR_USES", "family": "formula", "status": "MAPPED_WITH_PROVENANCE" }, { "id": "R0161", "source": "E11", "target": "C076", "predicate": "FORMALIZES_OR_USES", "family": "formula", "status": "MAPPED_WITH_PROVENANCE" }, { "id": "R0162", "source": "E11", "target": "C077", "predicate": "FORMALIZES_OR_USES", "family": "formula", "status": "MAPPED_WITH_PROVENANCE" }, { "id": "R0163", "source": "E11", "target": "C075", "predicate": "FORMALIZES_OR_USES", "family": "formula", "status": "MAPPED_WITH_PROVENANCE" }, { "id": "R0164", "source": "E11", "target": "C078", "predicate": "FORMALIZES_OR_USES", "family": "formula", "status": "MAPPED_WITH_PROVENANCE" }, { "id": "R0165", "source": "E12", "target": "C026", "predicate": "FORMALIZES_OR_USES", "family": "formula", "status": "MAPPED_WITH_PROVENANCE" }, { "id": "R0166", "source": "E12", "target": "C027", "predicate": "FORMALIZES_OR_USES", "family": "formula", "status": "MAPPED_WITH_PROVENANCE" }, { "id": "R0167", "source": "E12", "target": "C028", "predicate": "FORMALIZES_OR_USES", "family": "formula", "status": "MAPPED_WITH_PROVENANCE" }, { "id": "R0168", "source": "E13", "target": "C026", "predicate": "FORMALIZES_OR_USES", "family": "formula", "status": "MAPPED_WITH_PROVENANCE" }, { "id": "R0169", "source": "E13", "target": "C027", "predicate": "FORMALIZES_OR_USES", "family": "formula", "status": "MAPPED_WITH_PROVENANCE" }, { "id": "R0170", "source": "E13", "target": "C028", "predicate": "FORMALIZES_OR_USES", "family": "formula", "status": "MAPPED_WITH_PROVENANCE" }, { "id": "R0171", "source": "E13", "target": "C029", "predicate": "FORMALIZES_OR_USES", "family": "formula", "status": "MAPPED_WITH_PROVENANCE" }, { "id": "R0172", "source": "E14", "target": "C063", "predicate": "FORMALIZES_OR_USES", "family": "formula", "status": "MAPPED_WITH_PROVENANCE" }, { "id": "R0173", "source": "E14", "target": "C064", "predicate": "FORMALIZES_OR_USES", "family": "formula", "status": "MAPPED_WITH_PROVENANCE" }, { "id": "R0174", "source": "E14", "target": "C065", "predicate": "FORMALIZES_OR_USES", "family": "formula", "status": "MAPPED_WITH_PROVENANCE" }, { "id": "R0175", "source": "E14", "target": "C066", "predicate": "FORMALIZES_OR_USES", "family": "formula", "status": "MAPPED_WITH_PROVENANCE" }, { "id": "R0176", "source": "E14", "target": "C067", "predicate": "FORMALIZES_OR_USES", "family": "formula", "status": "MAPPED_WITH_PROVENANCE" }, { "id": "R0177", "source": "E14", "target": "C069", "predicate": "FORMALIZES_OR_USES", "family": "formula", "status": "MAPPED_WITH_PROVENANCE" }, { "id": "R0178", "source": "E15", "target": "C068", "predicate": "FORMALIZES_OR_USES", "family": "formula", "status": "MAPPED_WITH_PROVENANCE" }, { "id": "R0179", "source": "E15", "target": "C067", "predicate": "FORMALIZES_OR_USES", "family": "formula", "status": "MAPPED_WITH_PROVENANCE" }, { "id": "R0180", "source": "E15", "target": "C012", "predicate": "FORMALIZES_OR_USES", "family": "formula", "status": "MAPPED_WITH_PROVENANCE" }, { "id": "R0181", "source": "E16", "target": "C068", "predicate": "FORMALIZES_OR_USES", "family": "formula", "status": "MAPPED_WITH_PROVENANCE" }, { "id": "R0182", "source": "E16", "target": "C067", "predicate": "FORMALIZES_OR_USES", "family": "formula", "status": "MAPPED_WITH_PROVENANCE" }, { "id": "R0183", "source": "E16", "target": "C038", "predicate": "FORMALIZES_OR_USES", "family": "formula", "status": "MAPPED_WITH_PROVENANCE" }, { "id": "R0184", "source": "E17", "target": "C012", "predicate": "FORMALIZES_OR_USES", "family": "formula", "status": "MAPPED_WITH_PROVENANCE" }, { "id": "R0185", "source": "E17", "target": "C047", "predicate": "FORMALIZES_OR_USES", "family": "formula", "status": "MAPPED_WITH_PROVENANCE" }, { "id": "R0186", "source": "E17", "target": "C083", "predicate": "FORMALIZES_OR_USES", "family": "formula", "status": "MAPPED_WITH_PROVENANCE" }, { "id": "R0187", "source": "E17", "target": "C066", "predicate": "FORMALIZES_OR_USES", "family": "formula", "status": "MAPPED_WITH_PROVENANCE" }, { "id": "R0188", "source": "E18", "target": "C082", "predicate": "FORMALIZES_OR_USES", "family": "formula", "status": "MAPPED_WITH_PROVENANCE" }, { "id": "R0189", "source": "E18", "target": "C015", "predicate": "FORMALIZES_OR_USES", "family": "formula", "status": "MAPPED_WITH_PROVENANCE" }, { "id": "R0190", "source": "E18", "target": "C083", "predicate": "FORMALIZES_OR_USES", "family": "formula", "status": "MAPPED_WITH_PROVENANCE" }, { "id": "R0191", "source": "E18", "target": "C081", "predicate": "FORMALIZES_OR_USES", "family": "formula", "status": "MAPPED_WITH_PROVENANCE" }, { "id": "R0192", "source": "E19", "target": "C069", "predicate": "FORMALIZES_OR_USES", "family": "formula", "status": "MAPPED_WITH_PROVENANCE" }, { "id": "R0193", "source": "E19", "target": "C068", "predicate": "FORMALIZES_OR_USES", "family": "formula", "status": "MAPPED_WITH_PROVENANCE" }, { "id": "R0194", "source": "E19", "target": "C071", "predicate": "FORMALIZES_OR_USES", "family": "formula", "status": "MAPPED_WITH_PROVENANCE" }, { "id": "R0195", "source": "E19", "target": "C012", "predicate": "FORMALIZES_OR_USES", "family": "formula", "status": "MAPPED_WITH_PROVENANCE" }, { "id": "R0196", "source": "E20", "target": "C036", "predicate": "FORMALIZES_OR_USES", "family": "formula", "status": "MAPPED_WITH_PROVENANCE" }, { "id": "R0197", "source": "E20", "target": "C039", "predicate": "FORMALIZES_OR_USES", "family": "formula", "status": "MAPPED_WITH_PROVENANCE" }, { "id": "R0198", "source": "E20", "target": "C058", "predicate": "FORMALIZES_OR_USES", "family": "formula", "status": "MAPPED_WITH_PROVENANCE" }, { "id": "R0199", "source": "E21", "target": "C039", "predicate": "FORMALIZES_OR_USES", "family": "formula", "status": "MAPPED_WITH_PROVENANCE" }, { "id": "R0200", "source": "E21", "target": "C045", "predicate": "FORMALIZES_OR_USES", "family": "formula", "status": "MAPPED_WITH_PROVENANCE" }, { "id": "R0201", "source": "E22", "target": "C038", "predicate": "FORMALIZES_OR_USES", "family": "formula", "status": "MAPPED_WITH_PROVENANCE" }, { "id": "R0202", "source": "E22", "target": "C053", "predicate": "FORMALIZES_OR_USES", "family": "formula", "status": "MAPPED_WITH_PROVENANCE" }, { "id": "R0203", "source": "E23", "target": "C053", "predicate": "FORMALIZES_OR_USES", "family": "formula", "status": "MAPPED_WITH_PROVENANCE" }, { "id": "R0204", "source": "E23", "target": "C052", "predicate": "FORMALIZES_OR_USES", "family": "formula", "status": "MAPPED_WITH_PROVENANCE" }, { "id": "R0205", "source": "E23", "target": "C038", "predicate": "FORMALIZES_OR_USES", "family": "formula", "status": "MAPPED_WITH_PROVENANCE" }, { "id": "R0206", "source": "E24", "target": "C053", "predicate": "FORMALIZES_OR_USES", "family": "formula", "status": "MAPPED_WITH_PROVENANCE" }, { "id": "R0207", "source": "E24", "target": "C052", "predicate": "FORMALIZES_OR_USES", "family": "formula", "status": "MAPPED_WITH_PROVENANCE" }, { "id": "R0208", "source": "E24", "target": "C083", "predicate": "FORMALIZES_OR_USES", "family": "formula", "status": "MAPPED_WITH_PROVENANCE" }, { "id": "R0209", "source": "E25", "target": "C095", "predicate": "FORMALIZES_OR_USES", "family": "formula", "status": "MAPPED_WITH_PROVENANCE" }, { "id": "R0210", "source": "E25", "target": "C071", "predicate": "FORMALIZES_OR_USES", "family": "formula", "status": "MAPPED_WITH_PROVENANCE" }, { "id": "R0211", "source": "E26", "target": "C055", "predicate": "FORMALIZES_OR_USES", "family": "formula", "status": "MAPPED_WITH_PROVENANCE" }, { "id": "R0212", "source": "E26", "target": "C054", "predicate": "FORMALIZES_OR_USES", "family": "formula", "status": "MAPPED_WITH_PROVENANCE" }, { "id": "R0213", "source": "E27", "target": "C057", "predicate": "FORMALIZES_OR_USES", "family": "formula", "status": "MAPPED_WITH_PROVENANCE" }, { "id": "R0214", "source": "E27", "target": "C054", "predicate": "FORMALIZES_OR_USES", "family": "formula", "status": "MAPPED_WITH_PROVENANCE" }, { "id": "R0215", "source": "E27", "target": "C055", "predicate": "FORMALIZES_OR_USES", "family": "formula", "status": "MAPPED_WITH_PROVENANCE" }, { "id": "R0216", "source": "E27", "target": "C056", "predicate": "FORMALIZES_OR_USES", "family": "formula", "status": "MAPPED_WITH_PROVENANCE" }, { "id": "R0217", "source": "E28", "target": "C061", "predicate": "FORMALIZES_OR_USES", "family": "formula", "status": "MAPPED_WITH_PROVENANCE" }, { "id": "R0218", "source": "E28", "target": "C060", "predicate": "FORMALIZES_OR_USES", "family": "formula", "status": "MAPPED_WITH_PROVENANCE" }, { "id": "R0219", "source": "E29", "target": "C081", "predicate": "FORMALIZES_OR_USES", "family": "formula", "status": "MAPPED_WITH_PROVENANCE" }, { "id": "R0220", "source": "E29", "target": "C080", "predicate": "FORMALIZES_OR_USES", "family": "formula", "status": "MAPPED_WITH_PROVENANCE" }, { "id": "R0221", "source": "E29", "target": "C078", "predicate": "FORMALIZES_OR_USES", "family": "formula", "status": "MAPPED_WITH_PROVENANCE" }, { "id": "R0222", "source": "E29", "target": "C076", "predicate": "FORMALIZES_OR_USES", "family": "formula", "status": "MAPPED_WITH_PROVENANCE" }, { "id": "R0223", "source": "E30", "target": "C006", "predicate": "FORMALIZES_OR_USES", "family": "formula", "status": "MAPPED_WITH_PROVENANCE" }, { "id": "R0224", "source": "E30", "target": "C008", "predicate": "FORMALIZES_OR_USES", "family": "formula", "status": "MAPPED_WITH_PROVENANCE" }, { "id": "R0225", "source": "E30", "target": "C009", "predicate": "FORMALIZES_OR_USES", "family": "formula", "status": "MAPPED_WITH_PROVENANCE" }, { "id": "R0226", "source": "E30", "target": "C058", "predicate": "FORMALIZES_OR_USES", "family": "formula", "status": "MAPPED_WITH_PROVENANCE" }, { "id": "R0227", "source": "E30", "target": "C059", "predicate": "FORMALIZES_OR_USES", "family": "formula", "status": "MAPPED_WITH_PROVENANCE" }, { "id": "R0228", "source": "E31", "target": "C089", "predicate": "FORMALIZES_OR_USES", "family": "formula", "status": "MAPPED_WITH_PROVENANCE" }, { "id": "R0229", "source": "E31", "target": "C042", "predicate": "FORMALIZES_OR_USES", "family": "formula", "status": "MAPPED_WITH_PROVENANCE" }, { "id": "R0230", "source": "E32", "target": "C090", "predicate": "FORMALIZES_OR_USES", "family": "formula", "status": "MAPPED_WITH_PROVENANCE" }, { "id": "R0231", "source": "E32", "target": "C089", "predicate": "FORMALIZES_OR_USES", "family": "formula", "status": "MAPPED_WITH_PROVENANCE" }, { "id": "R0232", "source": "E33", "target": "C091", "predicate": "FORMALIZES_OR_USES", "family": "formula", "status": "MAPPED_WITH_PROVENANCE" }, { "id": "R0233", "source": "E33", "target": "C042", "predicate": "FORMALIZES_OR_USES", "family": "formula", "status": "MAPPED_WITH_PROVENANCE" }, { "id": "R0234", "source": "E33", "target": "C066", "predicate": "FORMALIZES_OR_USES", "family": "formula", "status": "MAPPED_WITH_PROVENANCE" }, { "id": "R0235", "source": "E34", "target": "C050", "predicate": "FORMALIZES_OR_USES", "family": "formula", "status": "MAPPED_WITH_PROVENANCE" }, { "id": "R0236", "source": "E34", "target": "C051", "predicate": "FORMALIZES_OR_USES", "family": "formula", "status": "MAPPED_WITH_PROVENANCE" }, { "id": "R0237", "source": "E34", "target": "C049", "predicate": "FORMALIZES_OR_USES", "family": "formula", "status": "MAPPED_WITH_PROVENANCE" }, { "id": "R0238", "source": "E35", "target": "C046", "predicate": "FORMALIZES_OR_USES", "family": "formula", "status": "MAPPED_WITH_PROVENANCE" }, { "id": "R0239", "source": "E35", "target": "C043", "predicate": "FORMALIZES_OR_USES", "family": "formula", "status": "MAPPED_WITH_PROVENANCE" }, { "id": "R0240", "source": "E35", "target": "C044", "predicate": "FORMALIZES_OR_USES", "family": "formula", "status": "MAPPED_WITH_PROVENANCE" }, { "id": "R0241", "source": "E35", "target": "C045", "predicate": "FORMALIZES_OR_USES", "family": "formula", "status": "MAPPED_WITH_PROVENANCE" }, { "id": "R0242", "source": "E36", "target": "C013", "predicate": "FORMALIZES_OR_USES", "family": "formula", "status": "MAPPED_WITH_PROVENANCE" }, { "id": "R0243", "source": "E36", "target": "C023", "predicate": "FORMALIZES_OR_USES", "family": "formula", "status": "MAPPED_WITH_PROVENANCE" }, { "id": "R0244", "source": "E36", "target": "C084", "predicate": "FORMALIZES_OR_USES", "family": "formula", "status": "MAPPED_WITH_PROVENANCE" }, { "id": "R0245", "source": "E37", "target": "C084", "predicate": "FORMALIZES_OR_USES", "family": "formula", "status": "MAPPED_WITH_PROVENANCE" }, { "id": "R0246", "source": "E37", "target": "C023", "predicate": "FORMALIZES_OR_USES", "family": "formula", "status": "MAPPED_WITH_PROVENANCE" }, { "id": "R0247", "source": "E37", "target": "C086", "predicate": "FORMALIZES_OR_USES", "family": "formula", "status": "MAPPED_WITH_PROVENANCE" }, { "id": "R0248", "source": "E38", "target": "C084", "predicate": "FORMALIZES_OR_USES", "family": "formula", "status": "MAPPED_WITH_PROVENANCE" }, { "id": "R0249", "source": "E38", "target": "C008", "predicate": "FORMALIZES_OR_USES", "family": "formula", "status": "MAPPED_WITH_PROVENANCE" }, { "id": "R0250", "source": "E38", "target": "C080", "predicate": "FORMALIZES_OR_USES", "family": "formula", "status": "MAPPED_WITH_PROVENANCE" }, { "id": "R0251", "source": "E39", "target": "C089", "predicate": "FORMALIZES_OR_USES", "family": "formula", "status": "MAPPED_WITH_PROVENANCE" }, { "id": "R0252", "source": "E39", "target": "C074", "predicate": "FORMALIZES_OR_USES", "family": "formula", "status": "MAPPED_WITH_PROVENANCE" }, { "id": "R0253", "source": "E39", "target": "C009", "predicate": "FORMALIZES_OR_USES", "family": "formula", "status": "MAPPED_WITH_PROVENANCE" }, { "id": "R0254", "source": "E39", "target": "C066", "predicate": "FORMALIZES_OR_USES", "family": "formula", "status": "MAPPED_WITH_PROVENANCE" }, { "id": "R0255", "source": "E39", "target": "C082", "predicate": "FORMALIZES_OR_USES", "family": "formula", "status": "MAPPED_WITH_PROVENANCE" }, { "id": "R0256", "source": "X40", "target": "C009", "predicate": "FORMALIZES_OR_USES", "family": "formula", "status": "MAPPED_WITH_PROVENANCE" }, { "id": "R0257", "source": "X40", "target": "C010", "predicate": "FORMALIZES_OR_USES", "family": "formula", "status": "MAPPED_WITH_PROVENANCE" }, { "id": "R0258", "source": "X40", "target": "C022", "predicate": "FORMALIZES_OR_USES", "family": "formula", "status": "MAPPED_WITH_PROVENANCE" }, { "id": "R0259", "source": "X40", "target": "C026", "predicate": "FORMALIZES_OR_USES", "family": "formula", "status": "MAPPED_WITH_PROVENANCE" }, { "id": "R0260", "source": "X40", "target": "C082", "predicate": "FORMALIZES_OR_USES", "family": "formula", "status": "MAPPED_WITH_PROVENANCE" }, { "id": "R0261", "source": "X41", "target": "C022", "predicate": "FORMALIZES_OR_USES", "family": "formula", "status": "MAPPED_WITH_PROVENANCE" }, { "id": "R0262", "source": "X41", "target": "C009", "predicate": "FORMALIZES_OR_USES", "family": "formula", "status": "MAPPED_WITH_PROVENANCE" }, { "id": "R0263", "source": "X41", "target": "C017", "predicate": "FORMALIZES_OR_USES", "family": "formula", "status": "MAPPED_WITH_PROVENANCE" }, { "id": "R0264", "source": "X41", "target": "C051", "predicate": "FORMALIZES_OR_USES", "family": "formula", "status": "MAPPED_WITH_PROVENANCE" }, { "id": "R0265", "source": "X42", "target": "C015", "predicate": "FORMALIZES_OR_USES", "family": "formula", "status": "MAPPED_WITH_PROVENANCE" }, { "id": "R0266", "source": "X42", "target": "C081", "predicate": "FORMALIZES_OR_USES", "family": "formula", "status": "MAPPED_WITH_PROVENANCE" }, { "id": "R0267", "source": "X42", "target": "C078", "predicate": "FORMALIZES_OR_USES", "family": "formula", "status": "MAPPED_WITH_PROVENANCE" }, { "id": "R0268", "source": "X43", "target": "C049", "predicate": "FORMALIZES_OR_USES", "family": "formula", "status": "MAPPED_WITH_PROVENANCE" }, { "id": "R0269", "source": "X43", "target": "C009", "predicate": "FORMALIZES_OR_USES", "family": "formula", "status": "MAPPED_WITH_PROVENANCE" }, { "id": "R0270", "source": "X43", "target": "C012", "predicate": "FORMALIZES_OR_USES", "family": "formula", "status": "MAPPED_WITH_PROVENANCE" }, { "id": "R0271", "source": "X43", "target": "C011", "predicate": "FORMALIZES_OR_USES", "family": "formula", "status": "MAPPED_WITH_PROVENANCE" }, { "id": "R0272", "source": "X44", "target": "C024", "predicate": "FORMALIZES_OR_USES", "family": "formula", "status": "MAPPED_WITH_PROVENANCE" }, { "id": "R0273", "source": "X44", "target": "C041", "predicate": "FORMALIZES_OR_USES", "family": "formula", "status": "MAPPED_WITH_PROVENANCE" }, { "id": "R0274", "source": "X44", "target": "C038", "predicate": "FORMALIZES_OR_USES", "family": "formula", "status": "MAPPED_WITH_PROVENANCE" }, { "id": "R0275", "source": "X44", "target": "C042", "predicate": "FORMALIZES_OR_USES", "family": "formula", "status": "MAPPED_WITH_PROVENANCE" }, { "id": "R0276", "source": "X45", "target": "C024", "predicate": "FORMALIZES_OR_USES", "family": "formula", "status": "MAPPED_WITH_PROVENANCE" }, { "id": "R0277", "source": "X45", "target": "C028", "predicate": "FORMALIZES_OR_USES", "family": "formula", "status": "MAPPED_WITH_PROVENANCE" }, { "id": "R0278", "source": "X45", "target": "C027", "predicate": "FORMALIZES_OR_USES", "family": "formula", "status": "MAPPED_WITH_PROVENANCE" }, { "id": "R0279", "source": "X45", "target": "C030", "predicate": "FORMALIZES_OR_USES", "family": "formula", "status": "MAPPED_WITH_PROVENANCE" }, { "id": "R0280", "source": "X46", "target": "C024", "predicate": "FORMALIZES_OR_USES", "family": "formula", "status": "MAPPED_WITH_PROVENANCE" }, { "id": "R0281", "source": "X46", "target": "C037", "predicate": "FORMALIZES_OR_USES", "family": "formula", "status": "MAPPED_WITH_PROVENANCE" }, { "id": "R0282", "source": "X46", "target": "C071", "predicate": "FORMALIZES_OR_USES", "family": "formula", "status": "MAPPED_WITH_PROVENANCE" }, { "id": "R0283", "source": "X47", "target": "C022", "predicate": "FORMALIZES_OR_USES", "family": "formula", "status": "MAPPED_WITH_PROVENANCE" }, { "id": "R0284", "source": "X47", "target": "C076", "predicate": "FORMALIZES_OR_USES", "family": "formula", "status": "MAPPED_WITH_PROVENANCE" }, { "id": "R0285", "source": "X47", "target": "C071", "predicate": "FORMALIZES_OR_USES", "family": "formula", "status": "MAPPED_WITH_PROVENANCE" }, { "id": "R0286", "source": "X47", "target": "C023", "predicate": "FORMALIZES_OR_USES", "family": "formula", "status": "MAPPED_WITH_PROVENANCE" }, { "id": "R0287", "source": "X48", "target": "C026", "predicate": "FORMALIZES_OR_USES", "family": "formula", "status": "MAPPED_WITH_PROVENANCE" }, { "id": "R0288", "source": "X48", "target": "C028", "predicate": "FORMALIZES_OR_USES", "family": "formula", "status": "MAPPED_WITH_PROVENANCE" }, { "id": "R0289", "source": "X48", "target": "C027", "predicate": "FORMALIZES_OR_USES", "family": "formula", "status": "MAPPED_WITH_PROVENANCE" }, { "id": "R0290", "source": "SW-C001", "target": "C024", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0291", "source": "SW-C001", "target": "C022", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0292", "source": "SW-C002", "target": "C002", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0293", "source": "SW-C002", "target": "C022", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0294", "source": "SW-C002", "target": "C009", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0295", "source": "SW-C002", "target": "C016", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0296", "source": "SW-C002", "target": "C036", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0297", "source": "SW-C003", "target": "C022", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0298", "source": "SW-C004", "target": "C024", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0299", "source": "SW-C004", "target": "C027", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0300", "source": "SW-C004", "target": "C030", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0301", "source": "SW-C004", "target": "C006", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0302", "source": "SW-C005", "target": "C024", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0303", "source": "SW-C005", "target": "C027", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0304", "source": "SW-C005", "target": "C028", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0305", "source": "SW-C006", "target": "C002", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0306", "source": "SW-C006", "target": "C052", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0307", "source": "SW-C007", "target": "C002", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0308", "source": "SW-C007", "target": "C037", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0309", "source": "SW-C007", "target": "C071", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0310", "source": "SW-C008", "target": "C049", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0311", "source": "SW-C009", "target": "C002", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0312", "source": "SW-C009", "target": "C022", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0313", "source": "SW-C009", "target": "C071", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0314", "source": "SW-C010", "target": "C002", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0315", "source": "SW-C010", "target": "C030", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0316", "source": "SW-C010", "target": "C092", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0317", "source": "SW-C010", "target": "C095", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0318", "source": "SW-C011", "target": "C024", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0319", "source": "SW-C011", "target": "C002", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0320", "source": "SW-C012", "target": "C024", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0321", "source": "SW-C012", "target": "C002", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0322", "source": "SW-C012", "target": "C022", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0323", "source": "SW-C012", "target": "C009", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0324", "source": "SW-C012", "target": "C030", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0325", "source": "SW-C013", "target": "C024", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0326", "source": "SW-C013", "target": "C030", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0327", "source": "SW-C013", "target": "C071", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0328", "source": "SW-C013", "target": "C029", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0329", "source": "SW-C013", "target": "C036", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0330", "source": "SW-C013", "target": "C006", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0331", "source": "SW-C014", "target": "C002", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0332", "source": "SW-C014", "target": "C009", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0333", "source": "SW-C014", "target": "C049", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0334", "source": "SW-C015", "target": "C002", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0335", "source": "SW-C015", "target": "C071", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0336", "source": "SW-C015", "target": "C040", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0337", "source": "SW-C016", "target": "C037", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0338", "source": "SW-C016", "target": "C071", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0339", "source": "SW-C017", "target": "C002", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0340", "source": "SW-C017", "target": "C030", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0341", "source": "SW-C017", "target": "C095", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0342", "source": "SW-C018", "target": "C027", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0343", "source": "SW-C018", "target": "C030", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0344", "source": "SW-C018", "target": "C092", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0345", "source": "SW-C018", "target": "C029", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0346", "source": "SW-C018", "target": "C006", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0347", "source": "SW-C019", "target": "C024", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0348", "source": "SW-C019", "target": "C002", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0349", "source": "SW-C020", "target": "C024", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0350", "source": "SW-C020", "target": "C052", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0351", "source": "SW-C020", "target": "C071", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0352", "source": "SW-C021", "target": "C024", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0353", "source": "SW-C021", "target": "C002", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0354", "source": "SW-C021", "target": "C030", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0355", "source": "SW-C022", "target": "C024", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0356", "source": "SW-C022", "target": "C002", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0357", "source": "SW-C022", "target": "C052", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0358", "source": "SW-C023", "target": "C024", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0359", "source": "SW-C023", "target": "C092", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0360", "source": "SW-C024", "target": "C024", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0361", "source": "SW-C025", "target": "C024", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0362", "source": "SW-C025", "target": "C030", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0363", "source": "SW-C025", "target": "C029", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0364", "source": "SW-C026", "target": "C024", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0365", "source": "SW-C026", "target": "C030", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0366", "source": "SW-C027", "target": "C024", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0367", "source": "SW-C027", "target": "C002", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0368", "source": "SW-C027", "target": "C030", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0369", "source": "SW-C027", "target": "C095", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0370", "source": "SW-C028", "target": "C024", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0371", "source": "SW-C029", "target": "C027", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0372", "source": "SW-C029", "target": "C037", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0373", "source": "SW-C030", "target": "C024", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0374", "source": "SW-C030", "target": "C007", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0375", "source": "SW-C030", "target": "C030", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0376", "source": "SW-C030", "target": "C006", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0377", "source": "SW-C031", "target": "C002", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0378", "source": "SW-C032", "target": "C024", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0379", "source": "SW-C032", "target": "C030", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0380", "source": "SW-C033", "target": "C002", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0381", "source": "SW-C033", "target": "C071", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0382", "source": "SW-C034", "target": "C002", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0383", "source": "SW-C035", "target": "C022", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0384", "source": "SW-C036", "target": "C024", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0385", "source": "SW-C036", "target": "C002", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0386", "source": "SW-C036", "target": "C022", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0387", "source": "SW-C037", "target": "C024", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0388", "source": "SW-C037", "target": "C002", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0389", "source": "SW-C037", "target": "C022", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0390", "source": "SW-C037", "target": "C009", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0391", "source": "SW-C037", "target": "C030", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0392", "source": "SW-C037", "target": "C071", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0393", "source": "SW-C038", "target": "C024", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0394", "source": "SW-C038", "target": "C009", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0395", "source": "CDX-CAND-EXISTENCE-RELATIONS-STABILITY", "target": "C002", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0396", "source": "CDX-CAND-EXISTENCE-RELATIONS-STABILITY", "target": "C030", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0397", "source": "CDX-CAND-CLASH-LOGOS-SELECTION", "target": "C008", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0398", "source": "CDX-CAND-CLASH-LOGOS-SELECTION", "target": "C007", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0399", "source": "CDX-CAND-CLASH-LOGOS-SELECTION", "target": "C030", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0400", "source": "CDX-CAND-CLASH-LOGOS-SELECTION", "target": "C026", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0401", "source": "CDX-CAND-CLASH-LOGOS-SELECTION", "target": "C009", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0402", "source": "CDX-CAND-H-TRIANGLE-DEFINITION", "target": "C090", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0403", "source": "CDX-CAND-H-TRIANGLE-DEFINITION", "target": "C007", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0404", "source": "CDX-CAND-BINDING-PROPAGATION-DUAL", "target": "C090", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0405", "source": "CDX-CAND-CYCLE-ASYMMETRY-TIME", "target": "C090", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0406", "source": "CDX-CAND-CYCLE-ASYMMETRY-TIME", "target": "C026", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0407", "source": "CDX-CAND-CYCLE-ASYMMETRY-TIME", "target": "C007", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0408", "source": "CDX-CAND-NETWORK-COHERENCE-SPACE", "target": "C090", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0409", "source": "CDX-CAND-NETWORK-COHERENCE-SPACE", "target": "C071", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0410", "source": "CDX-CAND-NETWORK-COHERENCE-SPACE", "target": "C027", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0411", "source": "CDX-CAND-SWIRL-MASS-SPIN-CHARGE", "target": "C024", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0412", "source": "CDX-CAND-SWIRL-MASS-SPIN-CHARGE", "target": "C090", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0413", "source": "CDX-CAND-SWIRL-MASS-SPIN-CHARGE", "target": "C037", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0414", "source": "CDX-CAND-DYNAMIC-RELATIONAL-TOPOLOGY", "target": "C095", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0415", "source": "CDX-CAND-DYNAMIC-RELATIONAL-TOPOLOGY", "target": "C090", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0416", "source": "CDX-CAND-DYNAMIC-RELATIONAL-TOPOLOGY", "target": "C009", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0417", "source": "CDX-CAND-DYNAMIC-RELATIONAL-TOPOLOGY", "target": "C027", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0418", "source": "CDX-CAND-ENTANGLEMENT-SHARED-BOUNDARY", "target": "C090", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0419", "source": "CDX-CAND-ENTANGLEMENT-SHARED-BOUNDARY", "target": "C009", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0420", "source": "CDX-CAND-ENTANGLEMENT-SHARED-BOUNDARY", "target": "C024", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0421", "source": "CDX-CAND-ENTANGLEMENT-SHARED-BOUNDARY", "target": "C022", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0422", "source": "CDX-CAND-AI-TRIAD", "target": "C087", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0423", "source": "CDX-CAND-AI-TRIAD", "target": "C090", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0424", "source": "CDX-CAND-AI-TRIAD", "target": "C027", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0425", "source": "CDX-CAND-GLITCH-LIFE-SIGNATURE", "target": "C031", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0426", "source": "CDX-CAND-GLITCH-LIFE-SIGNATURE", "target": "C029", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0427", "source": "CDX-CAND-GLITCH-LIFE-SIGNATURE", "target": "C087", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0428", "source": "CDX-CAND-GLITCH-LIFE-SIGNATURE", "target": "C030", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0429", "source": "CDX-CAND-LIFE-ADAPTIVE-ATTRACTOR", "target": "C029", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0430", "source": "CDX-CAND-LIFE-ADAPTIVE-ATTRACTOR", "target": "C030", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0431", "source": "CDX-CAND-LIFE-ADAPTIVE-ATTRACTOR", "target": "C087", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0432", "source": "CDX-CAND-AI-ANCHOR-NODE", "target": "C033", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0433", "source": "CDX-CAND-AI-ANCHOR-NODE", "target": "C087", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0434", "source": "CDX-CAND-AI-ANCHOR-NODE", "target": "C036", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0435", "source": "CDX-CAND-AI-ANCHOR-NODE", "target": "C058", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0436", "source": "CDX-CAND-AI-ANCHOR-NODE", "target": "C030", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0437", "source": "CDX-CAND-STERILE-NEUTRINO-QC", "target": "C088", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0438", "source": "CDX-CAND-STERILE-NEUTRINO-QC", "target": "C090", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0439", "source": "CDX-CAND-PHOTON-GRAVITON-HYBRID", "target": "C088", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0440", "source": "CDX-CAND-PHOTON-GRAVITON-HYBRID", "target": "C090", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0441", "source": "CDX-CAND-DARK-MATTER-LOW-SWIRL", "target": "C093", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0442", "source": "CDX-CAND-DARK-MATTER-LOW-SWIRL", "target": "C024", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0443", "source": "CDX-CAND-DARK-MATTER-LOW-SWIRL", "target": "C088", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0444", "source": "CDX-CAND-NEW-BOSON-20-40-TEV", "target": "C037", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0445", "source": "CDX-CAND-NEW-BOSON-20-40-TEV", "target": "C088", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0446", "source": "CDX-CAND-BLACK-HOLE-DUAL-TIME", "target": "C089", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0447", "source": "CDX-CAND-BLACK-HOLE-DUAL-TIME", "target": "C026", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0448", "source": "CDX-CAND-BLACK-HOLE-DUAL-TIME", "target": "C022", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0449", "source": "CDX-CAND-BLACK-HOLE-DUAL-TIME", "target": "C009", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0450", "source": "CDX-CAND-BLACK-HOLE-DUAL-TIME", "target": "C024", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0451", "source": "CDX-CAND-DM-COHERENCE-RESIDUAL", "target": "C093", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0452", "source": "CDX-CAND-DM-COHERENCE-RESIDUAL", "target": "C027", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0453", "source": "CDX-CAND-DM-COHERENCE-RESIDUAL", "target": "C037", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0454", "source": "CDX-CAND-DM-SWIRL-DEFICIT-LATTICE", "target": "C093", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0455", "source": "CDX-CAND-DM-SWIRL-DEFICIT-LATTICE", "target": "C024", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0456", "source": "CDX-CAND-DM-SWIRL-DEFICIT-LATTICE", "target": "C071", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0457", "source": "CDX-CAND-CLUSTER-GEOMETRY-NO-DM", "target": "C093", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0458", "source": "CDX-CAND-CLUSTER-GEOMETRY-NO-DM", "target": "C071", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0459", "source": "CDX-CAND-CLUSTER-GEOMETRY-NO-DM", "target": "C090", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0460", "source": "CDX-CAND-COLD-BLACK-HOLE-DM", "target": "C093", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0461", "source": "CDX-CAND-COLD-BLACK-HOLE-DM", "target": "C089", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0462", "source": "CDX-CAND-COLD-BLACK-HOLE-DM", "target": "C009", "predicate": "CANDIDATE_INVOLVES", "family": "candidate", "status": "TAU_MAPPED" }, { "id": "R0463", "source": "CS01", "target": "C012", "predicate": "CORRECTS_OR_NARROWS", "family": "correction", "status": "CORRECTION_SHADOW" }, { "id": "R0464", "source": "CS01", "target": "C005", "predicate": "CORRECTS_OR_NARROWS", "family": "correction", "status": "CORRECTION_SHADOW" }, { "id": "R0465", "source": "CS01", "target": "C066", "predicate": "CORRECTS_OR_NARROWS", "family": "correction", "status": "CORRECTION_SHADOW" }, { "id": "R0466", "source": "CS02", "target": "C061", "predicate": "CORRECTS_OR_NARROWS", "family": "correction", "status": "CORRECTION_SHADOW" }, { "id": "R0467", "source": "CS02", "target": "C078", "predicate": "CORRECTS_OR_NARROWS", "family": "correction", "status": "CORRECTION_SHADOW" }, { "id": "R0468", "source": "CS02", "target": "C081", "predicate": "CORRECTS_OR_NARROWS", "family": "correction", "status": "CORRECTION_SHADOW" }, { "id": "R0469", "source": "CS03", "target": "C038", "predicate": "CORRECTS_OR_NARROWS", "family": "correction", "status": "CORRECTION_SHADOW" }, { "id": "R0470", "source": "CS03", "target": "C039", "predicate": "CORRECTS_OR_NARROWS", "family": "correction", "status": "CORRECTION_SHADOW" }, { "id": "R0471", "source": "CS03", "target": "C055", "predicate": "CORRECTS_OR_NARROWS", "family": "correction", "status": "CORRECTION_SHADOW" }, { "id": "R0472", "source": "CS04", "target": "C053", "predicate": "CORRECTS_OR_NARROWS", "family": "correction", "status": "CORRECTION_SHADOW" }, { "id": "R0473", "source": "CS04", "target": "C052", "predicate": "CORRECTS_OR_NARROWS", "family": "correction", "status": "CORRECTION_SHADOW" }, { "id": "R0474", "source": "CS05", "target": "C026", "predicate": "CORRECTS_OR_NARROWS", "family": "correction", "status": "CORRECTION_SHADOW" }, { "id": "R0475", "source": "CS05", "target": "C031", "predicate": "CORRECTS_OR_NARROWS", "family": "correction", "status": "CORRECTION_SHADOW" }, { "id": "R0476", "source": "CS05", "target": "C045", "predicate": "CORRECTS_OR_NARROWS", "family": "correction", "status": "CORRECTION_SHADOW" } ] }