MDL×DCC is a candidate cross-domain computational kernel for systems with large search spaces, hidden structure, several methods and finite compute. MDL asks which description earns its cost. DCC decides how the search should move—when to exploit, explore, switch, escalate or reopen.MDL×DCC je kandidat za meddomensko računsko jedro sistemov z velikimi iskalnimi prostori, skrito strukturo, več metodami in omejenimi računskimi viri. MDL sprašuje, kateri opis upraviči svoj strošek. DCC odloča, kako naj se iskanje premika—kdaj izkoriščati, raziskovati, preklopiti, eskalirati ali ponovno odpreti problem.
MDL and adaptive control are not individually new. The candidate contribution is their coupling into one reusable research grammar: discover structure, govern the search process, preserve losses, and allow even the governor to be replaced.MDL in prilagodljivo upravljanje sama po sebi nista nova. Kandidatni prispevek je njuna povezava v ponovno uporabno raziskovalno slovnico: odkrij strukturo, upravljaj proces iskanja, ohrani poraze in dovoli, da se zamenja tudi sam upravljalnik.
If the transfer survives strong domains and independent teams, MDL×DCC could become infrastructure for search-heavy computing rather than a domain-specific trick.Če prenos preživi močne domene in neodvisne ekipe, bi MDL×DCC lahko postal infrastruktura za računsko zahtevno iskanje, ne domensko specifičen trik.
Optimization, compression, constraint solving, architecture search, interactive reasoning and natural sequence data have already produced executable or inspectable branches.Optimizacija, stiskanje, reševanje omejitev, iskanje arhitektur, interaktivno sklepanje in naravna zaporedja so že ustvarili izvršljive ali pregledljive veje.
The question is how far the kernel transfers, where it breaks, and whether a simpler controller explains the same gains at lower total cost.Vprašanje je, kako daleč se jedro prenese, kje se zlomi in ali enostavnejši upravljalnik pojasni iste dobitke z nižjim celotnim stroškom.
The question is no longer whether one toy problem can be made to work. It is whether the recurring transfer survives hard baselines, held-out problems, total-cost accounting and independent replication—and, if it does, how far it scales.Vprašanje ni več, ali lahko eno igračasto nalogo pripravimo do delovanja. Vprašanje je, ali ponavljajoči se prenos preživi močne primerjalne sisteme, neodvisne preizkusne probleme, obračun celotnega stroška in neodvisno ponovitev—in če preživi, kako daleč se lahko razširi.
The architecture separates the question “which candidate earns its description cost?” from “how should the search behave now?”Arhitektura loči vprašanje »kateri kandidat upraviči strošek svojega opisa?« od vprašanja »kako naj se iskanje vede zdaj?«
A candidate is not rewarded merely for fitting the data. Its model, parameters, exceptions, residual and required side information all count. The shortest valid total description wins inside the frozen encoding and test.Kandidat ni nagrajen samo zato, ker se prilega podatkom. Štejejo model, parametri, izjeme, residual in zahtevane stranske informacije. Znotraj vnaprej določenega kodiranja in testa zmaga najkrajši veljavni celotni opis.
L_total = L(structure) + L(residual) + L(required side information)DCC observes progress, diversity, stagnation, cost and other declared process signals. It can allocate budget, change strictness, switch method, widen exploration, exploit a stable regime or reopen the representation.DCC opazuje napredek, raznolikost, stagnacijo, strošek in druge določene procesne signale. Lahko dodeli proračun, spremeni strogost, preklopi metodo, razširi raziskovanje, izkoristi stabilen režim ali ponovno odpre reprezentacijo.
state → measure → govern → observe result → updateSensors, control laws, representations and recursive levels can themselves become candidates. A governor earns its place only if its performance, complexity and assurance cost beat alternatives.Senzorji, kontrolni zakoni, reprezentacije in rekurzivni nivoji lahko sami postanejo kandidati. Upravljalnik si mesto zasluži le, če njegova zmogljivost, kompleksnost in strošek zagotavljanja premagajo alternative.
MDL selects DCC ↔ DCC governs MDL searchImmediate compression is not always progress. The Demon branch asks whether a measured process signal predicts useful future gain against operator-matched controls—sometimes differentiation must precede cascade and later compression.Takojšnje stiskanje ni vedno napredek. Veja Demon sprašuje, ali izmerjeni procesni signal napoveduje koristni prihodnji dobitek proti kontrolam z izenačenimi operatorji—včasih mora diferenciacija priti pred kaskado in poznejšim stiskanjem.
A domain becomes a plausible MDL×DCC target when several of the following conditions coexist.Domena postane verjeten cilj MDL×DCC, kadar hkrati obstaja več spodnjih pogojev.
The observable surface is large, but useful regularities may admit a shorter model, generator, hierarchy or representation.Opazna površina je velika, vendar lahko uporabne zakonitosti dovolijo krajši model, generator, hierarhijo ali reprezentacijo.
No single encoding is obviously correct. Different views reveal different neighborhoods, invariants or residuals.Nobeno kodiranje ni očitno pravilno. Različni pogledi razkrijejo različne soseske, invariante ali residuale.
One solver, operator or model is strong only in part of the landscape. Static global choice wastes information.En reševalnik, operator ali model je močan le v delu prostora. Statična globalna izbira zapravlja informacije.
The hard question is not only what works, but which candidate deserves the next unit of time, memory, precision or experiment budget.Težko vprašanje ni le, kaj deluje, ampak kateri kandidat si zasluži naslednjo enoto časa, pomnilnika, natančnosti ali eksperimentalnega proračuna.
Search can converge too early, repeat a coherent mistake, or scatter without accumulating structure. Governance must detect both.Iskanje lahko prehitro konvergira, ponavlja koherentno napako ali se razprši brez kopičenja strukture. Upravljanje mora zaznati oboje.
A useful system preserves provenance, losses and verified updates so the next decision is causally different—not merely accompanied by a longer log.Uporaben sistem ohrani provenienco, poraze in preverjene posodobitve, da je naslednja odločitev vzročno drugačna—ne le spremljana z daljšim dnevnikom.
The strongest case is not one record. It is the variety of arenas and controls—and the fact that negative results remain visible.Najmočnejši argument ni en rekord. Je raznolikost aren in kontrol—ter dejstvo, da negativni rezultati ostajajo vidni.
The Python arena has reached exact optima on smaller public instances and sub-1% work on NU3496. The deeper research object is multi-scale geometry, late-run improvement and governed operator allocation—not another TSP product.Python arena je dosegla natančne optimume na manjših javnih instancah in rezultat pod 1 % odstopanja na NU3496. Glavni raziskovalni predmet so večskalna geometrija, pozni napredek in upravljana alokacija operatorjev—ne še en TSP izdelek.
Current records and exact run evidence belong on the source page.Trenutni rekordi in natančni dokazi runov ostajajo na izvorni strani.ExecutableIzvršljivoThe v0.5 comparison aggregated 6,156 run-summary rows across 29 gates and found 8 promotion candidates against operator-matched controls. The strongest signal is process-side differentiation and cascade potential.Primerjava v0.5 je združila 6.156 povzetkov runov prek 29 preizkusnih vrat in našla 8 kandidatov za promocijo proti kontrolam z izenačenimi operatorji. Najmočnejši signal je procesna diferenciacija in potencial kaskade.
A decision-quality signal, not proof of a universal Sudoku solver.Signal kakovosti odločanja, ne dokaz univerzalnega Sudoku reševalnika.Measured signalIzmerjen signalThe reader layer detects families, affinity and macrostructure in architecture spaces. The exploitation/governance layer remains open and does not yet consistently beat stronger simple finishers.Bralni sloj zazna družine, afiniteto in makrostrukturo v prostorih arhitektur. Sloj izkoriščanja/upravljanja ostaja odprt in še ne premaguje dosledno močnejših preprostih zaključnih metod.
A live falsifier is preserved instead of hidden.Živi falsifikator je ohranjen, ne skrit.Allocator openRazdeljevanje ostaja odprtoThe ARC programme uses held-out ablations and matched behavioral comparisons. Primary results did not promote full DCC, full MDL or one favored configuration as generally superior; targeted effects were retained separately.Program ARC uporablja ablacije na zadržanih primerih in primerjane vedenjske razlike. Primarni rezultati niso promovirali polnega DCC, polnega MDL ali ene favorizirane konfiguracije kot splošno boljše; ciljni učinki so ostali ločeni.
Useful causal discipline, not an ARC superiority claim.Uporabna vzročna disciplina, ne trditev o superiornosti na ARC.Mixed evidenceMešani dokaziThe public branch reports strong deterministic sequence signals and 8Z-LO compression results across a 50-genome corpus. It is the clearest bridge from engineered search spaces into natural sequence data.Javna veja poroča o močnih determinističnih signalih v zaporedjih in rezultatih 8Z-LO stiskanja na korpusu 50 genomov. To je najjasnejši most iz umetno definiranih iskalnih prostorov v naravna zaporedja.
Independent biostatistical replication and functional prediction remain required.Še vedno sta potrebni neodvisna biostatistična ponovitev in funkcionalna napoved.Replication neededPotrebna ponovitevMathematical generators are emitted only when the complete description earns its cost and exact reconstruction passes. 8zip deliberately separates compatible standard-ZIP optimization from the experimental FPLB laboratory.Matematični generator se uporabi le, ko celoten opis upraviči svoj strošek in natančna rekonstrukcija uspe. 8zip namenoma ločuje združljivo optimizacijo standardnega ZIP-a od eksperimentalnega laboratorija FPLB.
Compression wins are byte-accounted; domain-wide superiority is not assumed.Zmage pri stiskanju so bajtno obračunane; splošna superiornost ni predpostavljena.Verified restorePreverjena obnovaThe v0.2 positive-control page reports 550 cases with zero DCC invariant violations, zero path breaks and zero false sphere classifications, with DCC-beam advantages over MDL-only in harder regimes.Stran pozitivne kontrole v0.2 poroča o 550 primerih brez kršitev DCC invariantov, brez prekinitev poti in brez napačnih klasifikacij sfere ter o prednosti DCC-beam nad MDL-only v težjih režimih.
A calibration mirror—not a rediscovery or proof of the theorem.Kalibracijsko ogledalo—ne ponovni dokaz izreka.CalibrationKalibracijaAMR exposed a DCC selector failure despite a useful structural kernel. PiX preserved the absence of a real-byte win and weak scheduler competitiveness. These failures remain visible because they define the next discriminating test.AMR je razkril napako DCC selektorja kljub uporabnemu strukturnemu jedru. PiX je ohranil odsotnost zmage na realnih bajtih in šibko konkurenčnost schedulerja. Ti porazi ostajajo vidni, ker določajo naslednji razlikovalni test.
A general kernel must survive its own failed transfers.Splošno jedro mora preživeti tudi lastne neuspele prenose.Useful lossUporaben porazAmbition earns credibility only when the failure conditions are stated before the result.Ambicija si prisluži kredibilnost le, ko so pogoji poraza določeni pred rezultatom.
| Loss conditionPogoj poraza | What it would meanKaj bi to pomenilo | What remains usefulKaj ostane uporabno |
|---|---|---|
| A simpler feature-matched controller ties or winsEnostavnejši funkcionalno izenačen upravljalnik izenači ali zmaga | DCC has not earned distinct mechanism credit in that scope.DCC v tem obsegu ni zaslužil statusa posebnega mehanizma. | The interface, sensors or benchmark may still be valuable.Vmesnik, senzorji ali primerjalna naloga so lahko še vedno dragoceni. |
| The gain vanishes on held-out instances or domainsDobitek izgine na zadržanih preizkusnih instancah ali domenah | The effect was tuned, leaked, or narrower than claimed.Učinek je bil prilagojen, kontaminiran ali ožji od trditve. | The discovered failure family becomes the next test fixture.Odkrita družina napak postane naslednji preizkusni primer. |
| Coordination and compute cost exceed the benefitStrošek koordinacije in računanja preseže korist | The architecture loses on its own MDL criterion.Arhitektura izgubi po lastnem merilu MDL. | A smaller projection or single component may survive.Manjša projekcija ali posamezna komponenta lahko preživi. |
| Human seed or candidate curation explains the resultČloveško seme ali izbor kandidatov pojasni rezultat | Credit belongs to the human–AI process, not autonomous governance.Zasluga pripada procesu človek–AI, ne avtonomnemu upravljanju. | The co-creation method may still be the transferable asset.Metoda soustvarjanja je lahko še vedno prenosljiv rezultat. |
| No robust transfer survives structurally different domainsNoben robusten prenos ne preživi strukturno različnih domen | MDL×DCC is a family of domain tricks, not a general kernel.MDL×DCC je družina domenskih trikov, ne splošno jedro. | The strongest domain-specific implementations remain.Najmočnejše domensko specifične implementacije ostanejo. |
A failed mechanism can leave behind a better measurement, a benchmark, a negative result, a new representation or a sharper question. Scope may shrink without laundering the loss.Neuspešen mehanizem lahko pusti boljšo meritev, primerjalno nalogo, negativni rezultat, novo reprezentacijo ali ostrejše vprašanje. Obseg se lahko zoži, ne da bi poraz prikrili.
These are targets, not achievements. They are listed because their problem anatomy matches the kernel—and because success or failure would be scientifically and economically meaningful.To so cilji, ne dosežki. Navedeni so, ker se anatomija njihovih problemov ujema z jedrom—in ker bi bil uspeh ali poraz znanstveno in gospodarsko pomemben.
Sequence-to-structure search combines hierarchical representations, expensive scoring and many competing operators—the regime MDL×DCC is intended to govern.Iskanje od zaporedja do strukture združuje hierarhične reprezentacije, drago vrednotenje in veliko tekmujočih operatorjev—režim, ki naj bi ga upravljal MDL×DCC.
No folding result is claimed.Ne poročamo o rezultatu na zvijanju proteinov.Large combinatorial spaces, expensive simulators and multi-objective filters create a natural test for structure-aware allocation.Veliki kombinatorni prostori, dragi simulatorji in večciljni filtri tvorijo naraven test za strukturno ozaveščeno alokacijo.
Untested transfer target.Še nepreizkušen cilj prenosa.An active lane already exposes the split between reading a search space and successfully allocating search inside it.Aktivna veja že razkriva razliko med branjem iskalnega prostora in uspešno alokacijo iskanja v njem.
Active, not solved.Aktivno, ne rešeno.Dynamic environments, multiple solvers, long horizons and changing constraints make static optimization brittle.Dinamična okolja, več reševalnikov, dolgi horizonti in spreminjajoče se omejitve naredijo statično optimizacijo krhko.
TSP is a seed, not the endpoint.TSP je seme, ne končna točka.Compute itself becomes the scarce resource: which job, model, solver or fidelity level deserves the next unit?Računska zmogljivost sama postane redek vir: katera naloga, model, reševalnik ali nivo natančnosti si zasluži naslednjo enoto?
Partner benchmark required.Potrebna je partnerska primerjalna naloga.The target is not only a better answer, but a better next question, assay or evidence portfolio under cost and uncertainty.Cilj ni le boljši odgovor, temveč boljše naslednje vprašanje, test ali portfelj dokazov ob strošku in negotovosti.
AI8 is the proposed research-intelligence branch.AI8 je predlagana veja raziskovalne inteligence.Different regimes reward different models. A live governor may matter more than one globally optimized static policy.Različni režimi nagrajujejo različne modele. Živi upravljalnik je lahko pomembnejši od ene globalno optimizirane statične politike.
Requires safety-bounded deployment.Zahteva varnostno omejeno uvedbo.AI8 asks whether the same kernel can govern persistent research state, worker allocation, reopening, validation and durable writeback.AI8 sprašuje, ali lahko isto jedro upravlja trajno raziskovalno stanje, razporejanje izvajalnih agentov, ponovno odpiranje, validacijo in trajni preverjeni zapis.
Architecture detailed; integrated runtime not built.Arhitektura je podrobna; integrirani runtime še ni zgrajen.The right first collaboration is bounded: one benchmark, one matched baseline set, one frozen budget, and a result that can honestly be positive, null or negative.Prvo pravo sodelovanje je omejeno: en benchmark, en primerljiv nabor referenčnih sistemov, en vnaprej določen proračun in rezultat, ki je lahko pošteno pozitiven, ničeln ali negativen.
Do not accept that MDL×DCC is general. Give it a problem, a baseline and an independent evaluator strong enough that the claim can become much stronger—or fail decisively.Ne sprejmi, da je MDL×DCC splošen. Daj mu problem, močan primerjalni sistem in neodvisnega ocenjevalca, dovolj močne, da se trditev bistveno okrepi—ali odločno pade.
The outreach page is the map. The linked rooms contain the exact project statements, results and limitations.Ta predstavitvena stran je zemljevid. Povezane strani vsebujejo natančne projektne trditve, rezultate in omejitve.
A serious objection, a benchmark we have not seen, an independent replication, a domain transfer, or access to the right compute can all be the beginning of the next branch.Resen ugovor, primerjalna naloga, ki je še nismo videli, neodvisna ponovitev, prenos v novo domeno ali dostop do ustreznih računskih virov so lahko začetek naslednje veje.